machinedesc atlas	x86 800MHz PentM (6d8)
machinedesc boris	x86 333MHz Pent2 (652)
machinedesc cruncher	x86 133MHz Pentium (52c)
machinedesc daedalus	ppc32 600MHz PPC 750CXe
machinedesc dancer	amd64 2000MHz A64~X2 (15,35,2)
machinedesc fireball	x86 1900MHz Pent4 (f12)
machinedesc geespaz	ppc64 2000MHz PPC~G5 970
machinedesc gggg	ppc32 533MHz PPC~G4 7410
machinedesc hald	sparcv9 1050MHz UltraSPARC IV
machinedesc icarus	sparcv9 900MHz UltraSPARC III
machinedesc katana	amd64 2137MHz Core~2~Duo (6f6)
machinedesc katana32	x86 2137MHz Core~2~Duo (6f6)
machinedesc latour	amd64 2394MHz Core~2~Quad (6fb)
machinedesc mace	amd64 2000MHz A64~X2 (15,75,2)
machinedesc mace32	x86 2000MHz A64~X2 (15,75,2)
machinedesc neumann	x86 1000MHz Pent3 (68a)
machinedesc orpheus	x86 448MHz Pent3 (672)
machinedesc pclin118	x86 3000MHz Pent4 (f41)
machinedesc pclin153	amd64 3000MHz Pent4 (f43)
machinedesc poema	x86 2800MHz Xeon (f29)
machinedesc silverton	x86 853MHz Pent3 (686)
machinedesc shell	x86 3200MHz PentD (f47)
machinedesc shellold	x86 3400MHz Pent4 (f29)
machinedesc speed	amd64 3000MHz PentD (f64)
machinedesc svlin001	amd64 3000MHz PentD (f64)
machinedesc svlin002	x86 3000MHz Pent4 (f41)
machinedesc svlin003	x86 2800MHz Xeon (f29)
machinedesc td140	x86 3200MHz Xeon (f25)
machinedesc td152	x86 1400MHz Pent3 (6b1)
machinedesc td156	ia64 1400MHz Itanium II
machinedesc td159	amd64 2391MHz Opteron (f5a)
machinedesc td160	ia64 1600MHz Itanium II
machinedesc td162	amd64 3000MHz Xeon~5160 (6f6)
machinedesc td178	ia64 1500MHz Itanium II
machinedesc td185	x86 3000MHz Xeon (f26)
machinedesc td186	x86 3200MHz Xeon (f25)
machinedesc td189	amd64 2192MHz Opteron (f58)
machinedesc td191	hppa 1000MHz PA-RISC 8900
machinedesc thoth	x86 900MHz Athlon (622)
machinedesc tigger	ppc64 1452MHz POWER4
machinedesc vieux	x86 1196MHz Celeron (6b1)
machinedesc whisper	x86 1300MHz PentM (695)
machinedesc nmi0008	sparcv9 300MHz UltraSPARC IIi
machinedesc nmi0013	x86 2658MHz Xeon (f25)
machinedesc nmi0020	ia64 997MHz Itanium II
machinedesc nmi0024	x86 2791MHz Xeon (f27)
machinedesc nmi0025	ia64 900MHz Itanium II
machinedesc nmi0036	x86 2667MHz Xeon (f25)
machinedesc nmi0042	ppc32 400MHz PPC~G4 7400
machinedesc nmi0048	ppc64 2300MHz PPC~G5 970
machinedesc nmi0051	sparcv9 900MHz UltraSPARC III
machinedesc nmi0055	ppc32 450MHz POWER3
machinedesc nmi0056	amd64 2800MHz Xeon (f41)
machinedesc nmi0057	amd64 2800MHz Xeon (f41)
machinedesc nmi0058	ia64 997MHz Itanium II
machinedesc nmi0059	x86 2800MHz Xeon (f29)
machinedesc nmi0060	x86 2801MHz Xeon (f41)
machinedesc nmi0061	x86 2801MHz Xeon (f41)
machinedesc nmi0062	x86 2801MHz Xeon (f41)
machinedesc nmi0063	x86 2800MHz Xeon (f41)
machinedesc nmi0065	ia64 1396MHz Itanium II
machinedesc nmi0068	x86 1833MHz Core~Duo
machinedesc nmi0070	ppc32 1333MHz PPC~G4 7450?
machinedesc nmi0076	x86 2996MHz Xeon (f41)
machinedesc nmi0079	x86 2995MHz Xeon (f41)
machinedesc nmi0083	x86 2400MHz Pent4 (f24)
machinedesc nmi0084	x86 2996MHz Pent4 (f41)
machinedesc nmi0086	x86 2401MHz Pent4 (f24)
machinedesc nmi0090	amd64 3000MHz Xeon (f4a)
machinedesc nmi0099	x86 3391MHz PentD (f64)
machinedesc nmi0100	x86 3000MHz Xeon (f4a)
machinedesc nmi0102	x86 3000MHz Xeon (f4a)
machinedesc nmi0104	amd64 3392MHz PentD (f64)
machinedesc nmi0154	ppc64 2097MHz POWER5
machinedesc nmi0161	amd64 3392MHz PentD (f64)
machinedesc nmi0241	amd64 3392MHz PentD (f64)
machinedesc nmibuild14	ppc32 1200MHz POWER4
machinedesc nmibuild15	x86 2658MHz Xeon (f25)
machinedesc nmibuild16	x86 2658MHz Xeon (f25)
machinedesc nmibuild17	x86 2658MHz Xeon (f29)
machinedesc nmibuild21	x86 2659MHz Xeon (f25)
machinedesc nmibuild22	x86 2658MHz Xeon (f25)
machinedesc nmibuild26	x86 2659MHz Xeon (f25)
machinedesc nmibuild40	x86 2802MHz Xeon (f29)
machinedesc nmips3	ppc64 3192MHz Cell PPE
machinedesc nmisles8amd64	amd64 1403MHz Opteron (f58)
machinedesc nmisolaris10	sparcv9 1200MHz UltraSPARC III
machinedesc nmitest4	x86 2400MHz Pent4 (f24)
machinedesc nmiv003	x86 1390MHz Pent4 (f18)