| Name | crafted/Difficult/contest05/QG/ QG6-gensys-icl009.sat05-2721.reshuffled-07.cnf |
| MD5SUM | 2fe12e7483e7a74328d483192a8a2746 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 70.9812 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 1477 |
| Number of clauses | 7989 |
| Sum of the clauses size | 66949 |
| Maximum clause length | 16 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 33 |
| Number of clauses of size 2 | 284 |
| Number of clauses of size 3 | 1202 |
| Number of clauses of size 4 | 154 |
| Number of clauses of size 5 | 924 |
| Number of clauses of size over 5 | 5392 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| ReVivAl 0.23 2009-03-18 (complete) | 1806323 | UNSAT | 70.9812 | 71.016 |
| minisat2-simp 070721 (complete) | 1806319 | UNSAT | 78.4081 | 78.4356 |
| ReVivAl 0.23 + SatElite 2009-03-18 (complete) | 1806322 | UNSAT | 80.9807 | 81.0079 |
| kw_pre 2009-03-21 (complete) | 1806320 | UNSAT | 101.974 | 102.022 |
| SatElite + ReVivAl 0.23 2009-03-18 (complete) | 1806321 | UNSAT | 139.787 | 139.842 |
| minisat2-core 070721 (complete) | 1806325 | UNSAT | 379.024 | 379.161 |
| IUT_BMB_SIM 1.0 (complete) | 1806324 | UNSAT | 433.262 | 433.46 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: