Return-Path: Return-Path: Received: from nsf.ac.uk by swan.cl.cam.ac.uk via JANET with NIFTP to fgate (PP) id <14922-0@swan.cl.cam.ac.uk>; Tue, 9 Apr 1991 12:51:49 +0100 Received: from vax.nsfnet-relay.ac.uk by sun2.nsfnet-relay.ac.uk with SMTP inbound id <9804-7@sun2.nsfnet-relay.ac.uk>; Tue, 9 Apr 1991 12:48:01 +0100 Received: from iris.ucdavis.edu by vax.NSFnet-Relay.AC.UK via NSFnet with SMTP id aa05303; 9 Apr 91 12:46 BST Received: by iris.eecs.ucdavis.edu (5.57/UCD.EECS.6.0) id AA27464; Tue, 9 Apr 91 03:30:18 -0700 Received: from sun2.nsfnet-relay.ac.uk ([128.86.8.45]) by oxalis.eecs.ucdavis.edu (4.0/3.14) id AA02502; Tue, 9 Apr 91 03:30:17 PDT Received: from computer-lab.cambridge.ac.uk by sun2.nsfnet-relay.ac.uk via JANET with NIFTP id <7613-0@sun2.nsfnet-relay.ac.uk>; Tue, 9 Apr 1991 11:27:17 +0100 Received: from cl.cam.ac.uk by swan.cl.cam.ac.uk with SMTP (PP) id <12427-0@swan.cl.cam.ac.uk>; Tue, 9 Apr 1991 11:29:26 +0100 Received: by uk.ac.cam.cl.scoter (4.0/SMI-3.0DEV3) id AA11218; Tue, 9 Apr 91 11:29:23 BST Date: Tue, 9 Apr 91 11:29:23 BST From: John.Van-Tassel@uk.ac.cam.cl Message-Id: <9104091029.AA11218@uk.ac.cam.cl.scoter> To: foss@edu.ucdavis.eecs.oxalis, info-hol@edu.ucdavis.eecs.oxalis Subject: Re: Ports of HOL to different architecutres and Lisp implementations? Hi, Here's a list of various machines that HOL runs on, allong with their performance on the HOL Multiplier benchmark. It's mostly 1.11, but I've put in a few 1.12 numbers as well. JVT Multiplier Benchmark Results Machine Version Lisp Total Time -----------+---------+--------------------+------------- Sun3 | 1.11 | Franz Lisp (38.92) | 418.1 sec -----------+---------+--------------------+------------- Sun3 | 1.11 | AKCL | 1566.0 sec -----------+---------+--------------------+------------- Sun3 | 1.11 | Allegro | 1136.2 sec -----------+---------+--------------------+------------- Sun386i | 1.12 | AKCL | 1251.6 sec -----------+---------+--------------------+------------- Sparc SLC | 1.11 | Allegro | 293.9 sec -----------+---------+--------------------+------------- Sparc1 | 1.11 | AKCL | 536.0 sec -----------+---------+--------------------+------------- Sparc1 | 1.11 | Allegro | 275.9 sec -----------+---------+--------------------+------------- Sparc1+ | 1.11 | AKCL | 483.5 sec -----------+---------+--------------------+------------- Sparc1+ | 1.11 | Allegro | 248.0 sec -----------+---------+--------------------+------------- SparcServ | 1.11 | AKCL | 469.4 sec -----------+---------+--------------------+------------- SparcServ | 1.11 | Allegro | 219.5 sec -----------+---------+--------------------+------------- SparcServ | 1.11 | Lucid | 221.2 sec -----------+---------+--------------------+------------- Sparc2 | 1.11 | Allegro | 153.1 sec -----------+---------+--------------------+------------- DS3100 | 1.11 | IBCL | 451.6 sec -----------+---------+--------------------+------------- DS3100 | 1.11 | Allegro | 340.8 sec -----------+---------+--------------------+------------- DS5000/200 | 1.12 | KCL | 292.3 sec -----------+---------+--------------------+------------- DS5400 | 1.10 | Allegro | 197.5 sec ++ -----------+---------+--------------------+------------- hp9000/375 | 1.11 | AKCL | 807.4 sec -----------+---------+--------------------+------------- hp9000/370 | 1.11 | AKCL | 1080.3 sec -----------+---------+--------------------+------------- hp9000/350 | 1.11 | AKCL | 1625.4 sec -----------+---------+--------------------+------------- NeXT | 1.12 | Allegro | 770.6 sec -----------+---------+--------------------+------------- MacII | 1.05 | Procyon | 1097.1 sec -----------+---------+--------------------+------------- ++ run on a completely empty machine.