Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? (MO) | 2.67 | 2.71593 | 1774510 |
velev-vliw-uns-4.0-9-i1.cnf | ? (MO) | 6423.82 | 6426.28 | 1773370 |
APPLICATIONS/diagnosis/ ACG-20-10p0.cnf | ? (MO) | 8209.01 | 8212.04 | 1774690 |
APPLICATIONS/diagnosis/ ACG-20-10p1.cnf | ? (MO) | 9856.18 | 9861.04 | 1774750 |