Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
APPLICATIONS/c32sat/ post-cbmc-zfcp-2.8-u2-noholes.cnf | ? (MO) | 3.85641 | 3.89332 | 1774505 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug5.cnf | ? (MO) | 84.9321 | 85.3897 | 1773295 |
industrial/vliw_sat_4.0/ 9vliw_m_9stages_iq3_C1_bug8.cnf | ? (MO) | 89.5764 | 89.6262 | 1773305 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf | ? (MO) | 114.949 | 115.374 | 1773215 |
industrial/narain/ clauses-8.cnf | ? (MO) | 124.895 | 125.2 | 1773185 |
APPLICATIONS/bitverif/ maxxororand/maxxororand128.cnf | ? (MO) | 207.527 | 208.297 | 1773785 |
APPLICATIONS/bitverif/ minxorminand/minxorminand128.cnf | ? (MO) | 260.684 | 261.691 | 1773625 |
velev-pipe-sat-1.0-b10.cnf | ? (MO) | 925.952 | 926.572 | 1775265 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf | ? (MO) | 3199.06 | 3200.07 | 1773265 |