Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? (MO) | 16.08 | 16.1157 | 1774503 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
velev-pipe-sat-1.0-b10.cnf | ? (exit code) | 13.24 | 13.2454 | 1775263 |
velev-pipe-sat-1.0-b7.cnf | ? (exit code) | 104.932 | 104.976 | 1775233 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? (exit code) | 118.093 | 118.141 | 1773303 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? (exit code) | 287.22 | 287.333 | 1773293 |
industrial/narain/ clauses-8.cnf | ? (exit code) | 4627.13 | 4629.29 | 1773183 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf | ? (exit code) | 5683.02 | 5685.51 | 1773273 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf | ? (exit code) | 9362.38 | 9362.31 | 1773263 |