Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf | ? | 9.74152 | 9.747 | 330900 |
industrial/narain/ clauses-10.cnf | ? | 10.2214 | 10.2279 | 320651 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf | ? | 12.6581 | 12.6645 | 331320 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? | 12.6831 | 12.6897 | 331614 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf | ? | 12.6961 | 12.7014 | 331488 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 12.901 | 12.9152 | 331236 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf | ? | 12.955 | 12.9661 | 331362 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf | ? | 13.339 | 13.3464 | 331404 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf | ? | 13.389 | 13.4016 | 331530 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf | ? | 13.424 | 13.4302 | 331572 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf | ? | 13.464 | 13.4688 | 331446 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf | ? | 13.6889 | 13.6956 | 331278 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf | ? (MO) | 9.77051 | 9.77644 | 331110 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf | ? (MO) | 679.955 | 680.395 | 331152 |
industrial/narain/ clauses-8.cnf | ? (MO) | 681.637 | 681.6 | 320569 |