| Name | crafted/Hard/contest04/connamacher/ connm-ue-csp-sat-n800-d0.02-s925928766.sat05-538.reshuffled-07.cnf |
| MD5SUM | c2cb7643bd8a1926480278b8bba0ef3d |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 773.277 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 700 |
| Number of clauses | 8767 |
| Sum of the clauses size | 26476 |
| Maximum clause length | 4 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 8592 |
| Number of clauses of size 4 | 175 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MXC 2009-03-10 (complete) | 1783613 | UNSAT | 773.277 | 773.507 |
| SApperloT base (complete) | 1784783 | UNSAT | 963.206 | 963.444 |
| clasp 1.2.0-SAT09-32 (complete) | 1784778 | UNSAT | 1145.94 | 1146.25 |
| SAT07 reference solver: minisat SAT 2007 (complete) | 1784780 | UNSAT | 1658.02 | 1658.52 |
| IUT_BMB_SAT 1.0 (complete) | 1784779 | UNSAT | 1715.39 | 1715.86 |
| LySAT c/2009-03-20 (complete) | 1824933 | UNSAT | 1823.98 | 1824.46 |
| SATzilla2009_C 2009-03-22 (complete) | 1825650 | UNSAT | 2413.05 | 2414.17 |
| precosat 236 (complete) | 1783610 | UNSAT | 2844.99 | 2845.74 |
| glucose 1.0 (complete) | 1783612 | UNSAT | 3810.39 | 3811.36 |
| SAT07 reference solver: SATzilla CRAFTED (complete) | 1784781 | ? (exit code) | 4998.95 | 5001.24 |
| VARSAT-industrial 2009-03-22 (complete) | 1784782 | ? (TO) | 5000.11 | 5001.61 |
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1783611 | ? (TO) | 5000.11 | 5001.41 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: