| 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 |
|---|
Last modified: Tue 09 Feb 2016 16:01 CST