| Home | • | Intro | • | Login | • | Public results | • | Specs | • | Thanks | • | SMT-LIB | • | SMT-COMP |
|---|
The SMT-Exec service runs on a cluster of 11 machines at The University of Iowa. Some relevant information about these machines:
Nine are 2.4 GHz AMD Opteron 250s, configured for single core, 64-bit processing
Two are 2.53 GHz Intel Xeon E5540s, configured for single core, 64-bit processing
All eleven execution nodes have the same software configuration:
| Home | • | Intro | • | Login | • | Public results | • | Specs | • | Thanks | • | SMT-LIB | • | SMT-COMP |
|---|