Return-Path: Delivery-Date: Received: from leopard.cs.byu.edu (no rfc931) by swan.cl.cam.ac.uk with SMTP (PP-6.5) outside ac.uk; Wed, 2 Nov 1994 10:55:55 +0000 Received: by leopard.cs.byu.edu (1.38.193.4/16.2) id AA15083; Wed, 2 Nov 1994 03:52:34 -0700 Sender: info-hol-request@lal.cs.byu.edu Errors-To: info-hol-request@lal.cs.byu.edu Precedence: bulk Received: from iraun1.ira.uka.de by leopard.cs.byu.edu with SMTP (1.38.193.4/16.2) id AA15078; Wed, 2 Nov 1994 03:52:27 -0700 Received: from i80fs2.ira.uka.de by iraun1.ira.uka.de with SMTP (PP); Wed, 2 Nov 1994 11:42:00 +0100 Received: from ira.uka.de by i80fs2.ira.uka.de id <19942-0@i80fs2.ira.uka.de>; Wed, 2 Nov 1994 11:45:30 +0100 Date: Wed, 2 Nov 94 11:45:29 EST From: reetz To: es774@eng.warwick.ac.uk Cc: info-hol@leopard.cs.byu.edu Subject: RE: hardware configuration of your PC for HOL90 Message-Id: <"i80fs2.ira.944:02.11.94.10.45.31"@ira.uka.de> Karim writes: >It would be interesting to know the hardware configuration of your PC. What >Megs of RAM it has? Is it a 486 or pentium machine. In my experience, a 486/33Mhz/ISA-Board, 20MB main memory, 64MB swap, Linux kernel 1.0.8, is definitely NOT fun. As soon as swap space is needed, performance is just crashing down. IMHO you need enough memory to pretend swapping. Ralf. (**************************************************************) (* *) (* Ralf Reetz *) (* *) (* University of Karlsruhe *) (* Institut fuer Rechnerentwurf und Fehlertoleranz *) (* 76128 Karlsruhe, Zirkel 2, Postfach 6980, Germany *) (* *) (* e-mail: reetz@ira.uka.de *) (* WWW: http://goethe.ira.uka.de/people/reetz/reetz.html *) (* *) (**************************************************************)