Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 2.16267 | 2.17199 | 1773299 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? | 2.17767 | 2.18468 | 1773309 |
velev-vliw-uns-4.0-9C1.cnf | ? | 13.9859 | 14.0166 | 1775359 |
velev-vliw-uns-4.0-9-i1.cnf | ? | 29.0506 | 190.678 | 1773369 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? (MO) | 8.55 | 8.6135 | 1774509 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf | ? (MO) | 7630.18 | 7634.34 | 1773219 |