Name | APPLICATIONS/aprove09/ AProVE09-15.cnf |
MD5SUM | 1f63372992bc329c286ff481059b0ff7 |
Bench Category | APPLICATION (applications instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 3.38049 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 94663 |
Number of clauses | 305105 |
Sum of the clauses size | 772319 |
Maximum clause length | 3 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 142994 |
Number of clauses of size 3 | 162110 |
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 |
---|---|---|---|---|
Rsat 2009-03-22 (complete) | 1774289 | SAT | 3.38049 | 3.38938 |
glucose 1.0 (complete) | 1774284 | SAT | 7.15891 | 7.16579 |
MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1774282 | SAT | 7.2039 | 7.20693 |
CircUs 2009-03-23 (complete) | 1774288 | SAT | 7.45887 | 7.52246 |
MXC 2009-03-10 (complete) | 1774287 | SAT | 8.61869 | 8.62127 |
SATzilla2009_I 2009-03-22 (complete) | 1774290 | SAT | 9.96848 | 9.98397 |
MiniSAT 09z 2009-03-22 (complete) | 1837375 | SAT | 10.5044 | 10.5253 |
SApperloT base (complete) | 1831754 | SAT | 10.5774 | 10.5799 |
minisat_cumr p-2009-03-18 (complete) | 1837374 | SAT | 13.302 | 13.3345 |
clasp 1.2.0-SAT09-32 (complete) | 1831753 | SAT | 13.376 | 13.4346 |
SAT07 reference solver: Rsat 2007-02-08 (complete) | 1825227 | SAT | 18.8771 | 18.8943 |
LySAT i/2009-03-20 (complete) | 1774283 | SAT | 21.7287 | 21.7452 |
ManySAT 1.1 aimd 1/2009-03-20 (complete) | 1774286 | SAT | 23.1175 | 13.321 |
precosat 236 (complete) | 1774281 | SAT | 24.7642 | 24.8506 |
kw 2009-03-20 (complete) | 1774285 | SAT | 26.618 | 26.6279 |
SAT07 reference solver: picosat 535 (complete) | 1825228 | SAT | 38.3122 | 38.3698 |
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--