Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf | ? | 8.98763 | 8.99278 | 330899 |
industrial/narain/ clauses-10.cnf | ? | 9.56654 | 9.5783 | 320650 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug10.cnf | ? | 12.2641 | 12.2745 | 331319 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug3.cnf | ? | 12.2791 | 12.2855 | 331529 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? | 12.3241 | 12.3313 | 331613 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug7.cnf | ? | 12.3501 | 12.3693 | 331445 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug6.cnf | ? | 12.3501 | 12.358 | 331277 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? | 12.3901 | 12.4023 | 331235 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug9.cnf | ? | 12.4161 | 12.4346 | 331361 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug4.cnf | ? | 12.907 | 12.9238 | 331403 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug1.cnf | ? | 12.986 | 12.9994 | 331487 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug2.cnf | ? | 13.052 | 13.0721 | 331571 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf | ? (MO) | 9.67253 | 9.67774 | 331109 |
industrial/narain/ clauses-8.cnf | ? (MO) | 454.72 | 455.015 | 320568 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf | ? (MO) | 609.291 | 609.694 | 331151 |