| Name | crafted/Medium/contest05/others/ QG7-gensys-icl001.sat05-2926.reshuffled-07.cnf |
| MD5SUM | 98a64f12169bd41f7a54fe2b2f678456 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 27.9827 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 432 |
| Number of clauses | 14889 |
| Sum of the clauses size | 59645 |
| Maximum clause length | 13 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 35 |
| Number of clauses of size 2 | 1078 |
| Number of clauses of size 3 | 8535 |
| Number of clauses of size 4 | 11 |
| Number of clauses of size 5 | 13 |
| Number of clauses of size over 5 | 5217 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| clasp 1.2.0-SAT09-32 (complete) | 1784682 | UNSAT | 27.9827 | 27.9906 |
| SApperloT base (complete) | 1784687 | UNSAT | 37.3343 | 37.347 |
| LySAT c/2009-03-20 (complete) | 1824917 | UNSAT | 37.3383 | 37.3596 |
| IUT_BMB_SAT 1.0 (complete) | 1784683 | UNSAT | 40.2739 | 40.295 |
| VARSAT-industrial 2009-03-22 (complete) | 1784686 | UNSAT | 42.4675 | 42.4838 |
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1783547 | UNSAT | 47.4548 | 47.4668 |
| SAT07 reference solver: minisat SAT 2007 (complete) | 1784684 | UNSAT | 48.1317 | 48.1674 |
| glucose 1.0 (complete) | 1783548 | UNSAT | 50.5873 | 50.6127 |
| precosat 236 (complete) | 1783546 | UNSAT | 57.1373 | 57.1573 |
| SAT07 reference solver: SATzilla CRAFTED (complete) | 1784685 | UNSAT | 62.5055 | 62.5448 |
| MXC 2009-03-10 (complete) | 1783549 | UNSAT | 93.1298 | 93.1602 |
| SATzilla2009_C 2009-03-22 (complete) | 1825634 | UNSAT | 122.429 | 122.49 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: