Return-Path: Delivery-Date: Received: from ted.cs.uidaho.edu by swan.cl.cam.ac.uk with SMTP (PP-6.2); Mon, 28 Sep 1992 15:30:13 +0100 Received: by ted.cs.uidaho.edu (16.6/1.34) id AA03366; Mon, 28 Sep 92 07:21:04 -0700 Sender: info-hol-request@edu.uidaho.cs.ted Errors-To: info-hol-request@edu.uidaho.cs.ted Precedence: bulk Received: from scylla.oracorp.com by ted.cs.uidaho.edu (16.6/1.34) id AA03361; Mon, 28 Sep 92 07:20:57 -0700 Received: from sparta.oracorp.com by oracorp.com (4.1/2.1-ORA Corporation) id AA29806; Mon, 28 Sep 92 10:19:52 EDT Date: Mon, 28 Sep 92 10:19:48 EDT From: shb@com.oracorp Received: by sparta.oracorp.com (4.1/1.3-ORA Corporation) id AA17106; Mon, 28 Sep 92 10:19:48 EDT Message-Id: <9209281419.AA17106@sparta.oracorp.com> To: info-hol@edu.uidaho.cs.ted Subject: Memory and performance Cc: tom@com.oracorp Can anyone give me a rough idea of the effect of more main memory vrs. CPU speed on HOL's performance? I have a choice between two SPARCs, one with 24MB and another with a faster CPU but only 16MB. I'll probably be doing security proofs that involve huge expressions. Any suggestions? If it doesn't make much difference, I'll take the 16MB machine because it has a nicer monitor. Steve Brackin ORA