Home	•	Intro	•	Rules	•	Participants	•	Results	•	Tools	•	Bench	•	Org	•	SMT-LIB

Machine Specifications

OS: GNU/Linux version 2.4.20
Processor: Pentium 4, 2.6 GHz
Memory: 512 MB
Cache: 512 KB
GCC: version 3.2.2

Machines used in the competition will have the following specifications:

Home	•	Intro	•	Rules	•	Participants	•	Results	•	Tools	•	Bench	•	Org	•	SMT-LIB

Last modified: Sun 13 Nov 2005 11:13 PST