| Name | industrial/anbulagan/ medium-sat/partial-5-15-s.cnf |
| MD5SUM | aeddf6934ba21adf4a25a76bc314ef43 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 163.041 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 218494 |
| Number of clauses | 1013700 |
| Sum of the clauses size | 2333596 |
| Maximum clause length | 10 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 16379 |
| Number of clauses of size 2 | 796846 |
| Number of clauses of size 3 | 159775 |
| Number of clauses of size 4 | 4520 |
| Number of clauses of size 5 | 18080 |
| Number of clauses of size over 5 | 18100 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| precosat 236 (complete) | 1772641 | SAT | 163.041 | 163.291 |
| MXC 2009-03-10 (complete) | 1772647 | SAT | 248.279 | 248.402 |
| SATzilla2009_I 2009-03-22 (complete) | 1772650 | SAT | 251.515 | 251.694 |
| kw 2009-03-20 (complete) | 1772645 | SAT | 268.227 | 268.327 |
| MiniSAT 09z 2009-03-22 (complete) | 1837047 | SAT | 452.748 | 452.907 |
| minisat_cumr p-2009-03-18 (complete) | 1837046 | SAT | 533.116 | 537.774 |
| SAT07 reference solver: picosat 535 (complete) | 1824778 | SAT | 640.812 | 641.134 |
| glucose 1.0 (complete) | 1772644 | SAT | 743.3 | 743.665 |
| ManySAT 1.1 aimd 1/2009-03-20 (complete) | 1772646 | SAT | 836.774 | 424.283 |
| LySAT i/2009-03-20 (complete) | 1772643 | SAT | 896.26 | 896.628 |
| CircUs 2009-03-23 (complete) | 1772648 | SAT | 1102.37 | 1102.92 |
| Rsat 2009-03-22 (complete) | 1772649 | SAT | 1259.98 | 1261.27 |
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1772642 | SAT | 1399.66 | 1400.29 |
| SAT07 reference solver: Rsat 2007-02-08 (complete) | 1824777 | SAT | 3305.46 | 3306.23 |
| SApperloT base (complete) | 1831426 | SAT | 4550.7 | 4552.73 |
| clasp 1.2.0-SAT09-32 (complete) | 1831425 | ? (MO) | 7128.25 | 7130.77 |
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--