| Name | random/2+p/p0.7/v6500/ unif2p-p0.7-v6500-c17355-S2060375179-19-SAT.cnf |
| MD5SUM | 2436f6f433943d85ff751898805eafae |
| Bench Category | RANDOM (random instances) |
| Best result obtained on this benchmark | SAT |
| Best CPU time to get the best result obtained on this benchmark | 0.563913 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 6500 |
| Number of clauses | 17354 |
| Sum of the clauses size | 46856 |
| Maximum clause length | 3 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 5206 |
| Number of clauses of size 3 | 12148 |
| 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 |
|---|---|---|---|---|
| adaptg2wsat0 2007-02-08 | 369831 | SAT | 0.563913 | 0.56655 |
| sapsrt 2007-02-08 | 371903 | SAT | 1.35779 | 1.36369 |
| adaptg2wsat+ 2007-02-08 | 371902 | SAT | 1.72174 | 1.72439 |
| adaptnovelty 2007-02-08 | 369833 | SAT | 1.84172 | 1.84714 |
| ranov 2007-02-08 | 423875 | SAT | 2.06269 | 2.12884 |
| SATzilla RANDOM | 423873 | SAT | 2.12668 | 2.12973 |
| gnovelty+ 2007-02-08 | 369832 | SAT | 4.31334 | 4.5064 |
| March KS 2007-02-08 | 371901 | SAT | 174.411 | 174.462 |
| KCNFS 2004 | 426863 | SAT | 850.757 | 851.031 |
| SAT7 2007-02-08 | 425527 | SAT | 2740.62 | 2741.4 |
| MiraXT v3 | 426864 | SAT | 2986.04 | 1497.09 |
| minisat SAT 2007 | 425114 | SAT | 3443.66 | 3444.95 |
| MXC 2007-02-08 | 424705 | SAT | 3765.01 | 3766.49 |
| DEWSATZ 1A 2007-02-08 | 425939 | ? (TO) | 5000.06 | 5001.51 |