| Name | industrial/anbulagan/ medium-sat/partial-5-13-s.cnf |
| MD5SUM | 8440e7259e120363fc65b24385da09e8 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 6.31104 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 184675 |
| Number of clauses | 842981 |
| Sum of the clauses size | 1930752 |
| Maximum clause length | 10 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 13965 |
| Number of clauses of size 2 | 674001 |
| Number of clauses of size 3 | 120435 |
| Number of clauses of size 4 | 3840 |
| Number of clauses of size 5 | 15360 |
| Number of clauses of size over 5 | 15380 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| SApperloT base (complete) | 1831424 | SAT | 6.31104 | 6.31187 |
| glucose 1.0 (complete) | 1772634 | SAT | 33.6959 | 33.7169 |
| precosat 236 (complete) | 1772631 | SAT | 95.4765 | 95.6573 |
| MXC 2009-03-10 (complete) | 1772637 | SAT | 130.461 | 130.496 |
| Rsat 2009-03-22 (complete) | 1772639 | SAT | 158.379 | 158.471 |
| SATzilla2009_I 2009-03-22 (complete) | 1772640 | SAT | 168.548 | 168.765 |
| clasp 1.2.0-SAT09-32 (complete) | 1831423 | SAT | 179.628 | 179.788 |
| LySAT i/2009-03-20 (complete) | 1772633 | SAT | 184.646 | 184.73 |
| ManySAT 1.1 aimd 1/2009-03-20 (complete) | 1772636 | SAT | 188.562 | 98.4921 |
| kw 2009-03-20 (complete) | 1772635 | SAT | 202.177 | 202.245 |
| minisat_cumr p-2009-03-18 (complete) | 1837044 | SAT | 345.22 | 346.295 |
| MiniSAT 09z 2009-03-22 (complete) | 1837045 | SAT | 473.735 | 473.987 |
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1772632 | SAT | 486.087 | 487.349 |
| CircUs 2009-03-23 (complete) | 1772638 | SAT | 694.328 | 694.699 |
| SAT07 reference solver: picosat 535 (complete) | 1824776 | SAT | 695.576 | 695.839 |
| SAT07 reference solver: Rsat 2007-02-08 (complete) | 1824775 | SAT | 1414 | 1414.63 |
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--