Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/fuhs/medium/ AProVE07-11.cnf | ? (MO) | 5.79412 | 5.3157 | 314443 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq6.cnf | ? (MO) | 654.185 | 371.686 | 330982 |
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf | ? (MO) | 1080.81 | 558.256 | 313483 |