Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/Hard/contest05/counting-php/ harder-fphp-070-069.sat05-1240.reshuffled-07.cnf | ? (MO) | 3814.73 | 3815.82 | 456268 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
crafted/spence/ medium/s65-100.cnf | ? (exit code) | 0.011997 | 0.0135079 | 455854 |
crafted/Medium/contest05/sabharwal/ counting-clqcolor-unsat-set-b-clqcolor-08-06-07.sat05-1257.reshuffled-07.cnf | ? (exit code) | 0.026994 | 0.0317731 | 456040 |
crafted/Medium/contest05/others/ pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf | ? (exit code) | 0.026995 | 0.056451 | 456103 |
crafted/Difficult/contest05/others/ pmg-13-UNSAT.sat05-3941.reshuffled-07.cnf | ? (exit code) | 0.028995 | 0.030036 | 456499 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/anbulagan/ hard-sat/partial-10-19-s.cnf | ? (MO) | 6431.23 | 6433.31 | 355606 |
industrial/anbulagan/ hard-unsat/partial-10-19-u.cnf | ? (MO) | 6823.07 | 6825.11 | 355637 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq8.cnf | ? (MO) | 6992.41 | 6994.41 | 355727 |
industrial/anbulagan/ hard-sat/partial-10-15-s.cnf | ? (MO) | 7848.15 | 7850.62 | 355607 |
industrial/vliw_unsat_2.0/ 9dlx_vliw_at_b_iq9.cnf | ? (MO) | 8072.7 | 8075.41 | 355722 |
industrial/anbulagan/ hard-sat/partial-5-19-s.cnf | ? (MO) | 8423.5 | 8428.52 | 355605 |
industrial/anbulagan/ hard-unsat/partial-5-19-u.cnf | ? (MO) | 8893.77 | 8896.21 | 355617 |
industrial/anbulagan/ hard-sat/partial-10-17-s.cnf | ? (MO) | 9653.92 | 9657.81 | 355604 |
Benchmark Name | Answer | CPU time | Wall clock time | TraceID |
---|---|---|---|---|
industrial/jarvisalo/ eq.atree.braun.7.unsat.cnf | ? (exit code) | 0.037993 | 0.0402589 | 355659 |