Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/counting-clq/ unsat-set-a-fclqcolor-20-13-14.sat05-1278.reshuffled-07.cnf | ? | 1199.86 | 1200.25 | 336456 |
crafted/Hard/contest05/phnf/ phnf-size10-exclusive-equilarge_l1.used-as.sat04-893.sat05-4187.reshuffled-07.cnf | ? | 1199.87 | 1200.35 | 335028 |
crafted/Hard/contest05/QG/ QG7-gensys-icl100.sat05-3226.reshuffled-07.cnf | ? | 1199.92 | 1200.79 | 335238 |
crafted/Hard/contest04/others/ equilarge_l2.sat05-519.reshuffled-07.cnf | ? | 1199.96 | 1200.46 | 334356 |
crafted/Hard/contest05/QG/ QG7a-gensys-ukn009.sat05-3849.reshuffled-07.cnf | ? | 1199.98 | 1200.32 | 335322 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/IBM_FV_2002_13_rule_1/ SAT_dat.k55.cnf | ? | 1199.85 | 1200.17 | 328638 |
industrial/IBM_FV_2002_31_1_rule_1/ SAT_dat.k65.cnf | ? | 1199.86 | 1200.28 | 329940 |
industrial/anbulagan/ hard-unsat/total-10-17-u.cnf | ? | 1199.86 | 1200.33 | 313411 |
industrial/anbulagan/ hard-sat/partial-10-13-s.cnf | ? | 1199.87 | 1200.32 | 312931 |
industrial/anbulagan/ hard-unsat/partial-5-13-u.cnf | ? | 1199.94 | 1200.31 | 313611 |
industrial/fuhs/medium/ AProVE07-02.cnf | ? | 1199.96 | 1200.44 | 314371 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq7.cnf | ? (MO) | 1173 | 1173.47 | 331158 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/jarvisalo/ eq.atree.braun.12.unsat.cnf | ? (exit code) | 1199.41 | 1199.76 | 319017 |
industrial/jarvisalo/ eq.atree.braun.13.unsat.cnf | ? (exit code) | 1199.43 | 1199.91 | 319099 |
industrial/fuhs/hard/ AProVE07-03.cnf | ? (exit code) | 1199.55 | 1199.88 | 314851 |
industrial/fuhs/hard/ AProVE07-08.cnf | ? (exit code) | 1199.62 | 1199.99 | 314811 |