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--