Home Intro Login Public results Specs Thanks SMT-LIB SMT-COMP

Machine Specifications

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
Valid XHTML 1.0 Valid CSS!