| Name | CRAFTED/parity-games/ instance_n6_i7_pp_ci_ce.cnf |
| MD5SUM | 2ba7146c43b8082afe1c2f5c23a97bd0 |
| Bench Category | CRAFTED (crafted instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 84.5391 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 8484 |
| Number of clauses | 74640 |
| Sum of the clauses size | 243102 |
| Maximum clause length | 30 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 15431 |
| Number of clauses of size 3 | 33298 |
| Number of clauses of size 4 | 18962 |
| Number of clauses of size 5 | 5508 |
| Number of clauses of size over 5 | 1441 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1784511 | UNSAT | 84.5391 | 84.5563 |
| clasp 1.2.0-SAT09-32 (complete) | 1786128 | UNSAT | 125.084 | 125.116 |
| SApperloT base (complete) | 1786133 | UNSAT | 138.019 | 138.053 |
| MXC 2009-03-10 (complete) | 1784513 | UNSAT | 138.772 | 138.809 |
| precosat 236 (complete) | 1784510 | UNSAT | 148.603 | 148.655 |
| glucose 1.0 (complete) | 1784512 | UNSAT | 148.965 | 149.034 |
| SAT07 reference solver: minisat SAT 2007 (complete) | 1786130 | UNSAT | 162.052 | 162.127 |
| IUT_BMB_SAT 1.0 (complete) | 1786129 | UNSAT | 202.034 | 202.116 |
| LySAT c/2009-03-20 (complete) | 1825542 | UNSAT | 205.142 | 205.228 |
| VARSAT-industrial 2009-03-22 (complete) | 1786132 | UNSAT | 215.668 | 215.715 |
| SAT07 reference solver: SATzilla CRAFTED (complete) | 1786131 | UNSAT | 218.633 | 218.74 |
| SATzilla2009_C 2009-03-22 (complete) | 1825875 | UNSAT | 236.507 | 236.662 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found: