Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/palacios/medium/ cube-11-h13-unsat.cnf | ? (MO) | 407.791 | 407.976 | 1772991 |
industrial/palacios/medium/ cube-11-h14-sat.cnf | ? (MO) | 430.543 | 430.796 | 1772981 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | Signal 6 | 45.4461 | 203.71 | 1774501 |