Name | APPLICATIONS/aprove09/ AProVE09-10.cnf |
MD5SUM | 8906ffdee2616e35f08782ac5b24588e |
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.42 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 67186 |
Number of clauses | 245335 |
Sum of the clauses size | 639643 |
Maximum clause length | 1250 |
Minimum clause length | 1 |
Number of clauses of size 1 | 1 |
Number of clauses of size 2 | 123646 |
Number of clauses of size 3 | 107493 |
Number of clauses of size 4 | 8907 |
Number of clauses of size 5 | 1467 |
Number of clauses of size over 5 | 3821 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
ManySAT 1.1 aimd 0/2009-03-20 (4 threads) (complete) | 1779826 | SAT | 3.42 | 2.67843 |
ManySAT 1.1 aimd 1/2009-03-20 (4 threads) (complete) | 1779829 | SAT | 4.52 | 2.95637 |
ManySAT 1.1 aimd 2/2009-03-20 (4 threads) (complete) | 1779832 | SAT | 5.17 | 3.11413 |
satake 2009-03-22 (4 threads) (complete) | 1779835 | SAT | 6.59 | 2.40512 |
satake 2009-03-22 (16 threads) (complete) | 1779837 | ? (exit code) | 36.4343 | 11.2676 |
ttsth-5-0 2009-03-19 (4 threads) (complete) | 1779838 | ? (MO) | 566.85 | 171.934 |
ttsth-5-0 2009-03-19 (16 threads) (complete) | 1779840 | ? (MO) | 779.545 | 92.1992 |
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--