Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? (MO) | 17.88 | 18.0132 | 1825301 |
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf | ? (MO) | 6715.6 | 6718.01 | 1824807 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf | ? (MO) | 6828.15 | 6831.31 | 1824901 |
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf | ? (MO) | 7544.08 | 7546.11 | 1824771 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf | ? (MO) | 7901.37 | 7906.41 | 1824891 |