| Name | APPLICATIONS/bioinfo/ q_query_3_l42_lambda.cnf |
| MD5SUM | f7e4b8eacc29c0297225e4db3860ba3b |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 7.74382 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 30006 |
| Number of clauses | 148836 |
| Sum of the clauses size | 428633 |
| Maximum clause length | 9 |
| Minimum clause length | 1 |
| Number of clauses of size 1 | 3956 |
| Number of clauses of size 2 | 37657 |
| Number of clauses of size 3 | 86475 |
| Number of clauses of size 4 | 14306 |
| Number of clauses of size 5 | 6316 |
| Number of clauses of size over 5 | 126 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| LySAT i/2009-03-20 (complete) | 1774363 | SAT | 7.74382 | 7.75353 |
| SATzilla2009_I 2009-03-22 (complete) | 1774370 | SAT | 8.63669 | 8.64343 |
| MiniSat 2.1 (Sat-race'08 Edition) (complete) | 1774362 | SAT | 12.4471 | 12.4604 |
| glucose 1.0 (complete) | 1774364 | SAT | 15.8986 | 15.9114 |
| Rsat 2009-03-22 (complete) | 1774369 | SAT | 16.3695 | 16.387 |
| kw 2009-03-20 (complete) | 1774365 | SAT | 28.3297 | 28.3379 |
| MXC 2009-03-10 (complete) | 1774367 | SAT | 36.0175 | 36.0291 |
| SApperloT base (complete) | 1831770 | SAT | 43.9533 | 43.9635 |
| SAT07 reference solver: picosat 535 (complete) | 1825274 | SAT | 52.2191 | 52.2494 |
| SAT07 reference solver: Rsat 2007-02-08 (complete) | 1825273 | SAT | 76.4714 | 76.5144 |
| clasp 1.2.0-SAT09-32 (complete) | 1831769 | SAT | 82.1265 | 82.1665 |
| minisat_cumr p-2009-03-18 (complete) | 1837390 | SAT | 84.7341 | 84.8096 |
| MiniSAT 09z 2009-03-22 (complete) | 1837391 | SAT | 85.279 | 85.314 |
| CircUs 2009-03-23 (complete) | 1774368 | SAT | 90.4603 | 90.5043 |
| precosat 236 (complete) | 1774361 | SAT | 96.5163 | 96.5658 |
| ManySAT 1.1 aimd 1/2009-03-20 (complete) | 1774366 | SAT | 125.309 | 64.2733 |
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--