| Name | APPLICATIONS/c32sat/ post-c32s-gcdm16-22.cnf |
| MD5SUM | 8d2a42a37522a445646cc07d2396ea2a |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 96.8573 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 129652 |
| Number of clauses | 386749 |
| Sum of the clauses size | 902413 |
| Maximum clause length | 3 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 1 |
| Number of clauses of size 2 | 257832 |
| Number of clauses of size 3 | 128916 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 0 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| precosat 236 (complete) | 1774541 | SAT | 96.8573 | 97.0213 |
| glucose 1.0 (complete) | 1774544 | SAT | 191.15 | 191.26 |
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1774542 | SAT | 201.834 | 201.891 |
| Rsat 2009-03-22 (complete) | 1774549 | SAT | 204.568 | 204.68 |
| LySAT i/2009-03-20 (complete) | 1774543 | SAT | 209.136 | 209.143 |
| MiniSAT 09z 2009-03-22 (complete) | 1837427 | SAT | 249.371 | 249.511 |
| minisat_cumr p-2009-03-18 (complete) | 1837426 | SAT | 282.33 | 282.47 |
| MXC 2009-03-10 (complete) | 1774547 | SAT | 314.996 | 315.077 |
| ManySAT 1.1 aimd 1/2009-03-20 (complete) | 1774546 | SAT | 334.525 | 170.192 |
| CircUs 2009-03-23 (complete) | 1774548 | SAT | 488.837 | 489.066 |
| kw 2009-03-20 (complete) | 1774545 | SAT | 537.151 | 537.354 |
| clasp 1.2.0-SAT09-32 (complete) | 1831805 | SAT | 685.095 | 685.106 |
| SAT07 reference solver: Rsat 2007-02-08 (complete) | 1825309 | SAT | 786.174 | 786.484 |
| SAT07 reference solver: picosat 535 (complete) | 1825310 | SAT | 1708.22 | 1708.73 |
| SApperloT base (complete) | 1831806 | SAT | 2357.59 | 2358.4 |
| SATzilla2009_I 2009-03-22 (complete) | 1774550 | SAT | 3070.07 | 3071.17 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:--too large--