| Name | APPLICATIONS/bioinfo/ q_query_3_l39_lambda.cnf |
| MD5SUM | cc949593da8c10735a1b7ac8b30d4e4d |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 1.06584 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 27735 |
| Number of clauses | 136449 |
| Sum of the clauses size | 392486 |
| Maximum clause length | 9 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 3722 |
| Number of clauses of size 2 | 35083 |
| Number of clauses of size 3 | 78429 |
| Number of clauses of size 4 | 13232 |
| Number of clauses of size 5 | 5866 |
| Number of clauses of size over 5 | 117 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1774422 | SAT | 1.06584 | 1.06629 |
| Rsat 2009-03-22 (complete) | 1774429 | SAT | 2.17967 | 2.18552 |
| MiniSAT 09z 2009-03-22 (complete) | 1837403 | SAT | 2.19867 | 2.20201 |
| MXC 2009-03-10 (complete) | 1774427 | SAT | 4.11537 | 4.11662 |
| SAT07 reference solver: Rsat 2007-02-08 (complete) | 1825285 | SAT | 5.58515 | 5.59834 |
| glucose 1.0 (complete) | 1774424 | SAT | 7.40987 | 7.42163 |
| minisat_cumr p-2009-03-18 (complete) | 1837402 | SAT | 8.05477 | 8.06287 |
| SApperloT base (complete) | 1831782 | SAT | 8.45771 | 8.46045 |
| LySAT i/2009-03-20 (complete) | 1774423 | SAT | 8.62469 | 8.64028 |
| kw 2009-03-20 (complete) | 1774425 | SAT | 9.14661 | 9.14904 |
| precosat 236 (complete) | 1774421 | SAT | 10.1225 | 10.1482 |
| CircUs 2009-03-23 (complete) | 1774428 | SAT | 11.7952 | 11.8094 |
| SATzilla2009_I 2009-03-22 (complete) | 1774430 | SAT | 13.7939 | 13.8262 |
| ManySAT 1.1 aimd 1/2009-03-20 (complete) | 1774426 | SAT | 14.4528 | 8.49132 |
| SAT07 reference solver: picosat 535 (complete) | 1825286 | SAT | 15.2787 | 15.2936 |
| clasp 1.2.0-SAT09-32 (complete) | 1831781 | SAT | 65.865 | 65.9029 |
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--