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

Machine Specifications

OS: GNU/Linux version 2.6.14
Processor: Pentium 4, 3.00 GHz
Memory: 2 Gb (1.5 GB memory limit for solver processes enforced)
Cache: 2 Mb
GCC: version 4.0.2

Machines used in the competition will have the following specifications:

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

Last modified: Thu 20 Jul 2006 19:50 PDT