| Name | random/OnTreshold/5SAT/v70/ unif-k5-r21.3-v70-c1491-S2081149830-10.SAT.shuffled.cnf |
| MD5SUM | d0cf7e3234604bad410cc03581b4891e |
| 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.009998 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 70 |
| Number of clauses | 1491 |
| Sum of the clauses size | 7455 |
| Maximum clause length | 5 |
| Minimum clause length | 5 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 1491 |
| Number of clauses of size over 5 | 0 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| adaptnovelty 2007-02-08 | 369367 | SAT | 0.009998 | 0.0119129 |
| sapsrt 2007-02-08 | 371511 | SAT | 0.015997 | 0.017043 |
| gnovelty+ 2007-02-08 | 369366 | SAT | 0.026995 | 0.0283209 |
| adaptg2wsat+ 2007-02-08 | 371510 | SAT | 0.062989 | 0.062878 |
| MXC 2007-02-08 | 426546 | SAT | 0.06299 | 0.076499 |
| adaptg2wsat0 2007-02-08 | 369365 | SAT | 0.075988 | 0.078126 |
| ranov 2007-02-08 | 423438 | SAT | 0.19097 | 0.193428 |
| KCNFS 2004 | 426549 | SAT | 0.269958 | 0.27156 |
| MiraXT v3 | 426551 | SAT | 0.276957 | 0.149983 |
| March KS 2007-02-08 | 371509 | SAT | 2.14067 | 2.14131 |
| DEWSATZ 1A 2007-02-08 | 426550 | SAT | 3.2725 | 3.27452 |
| SAT7 2007-02-08 | 426547 | SAT | 4.34734 | 4.35008 |
| SATzilla RANDOM | 423436 | SAT | 5.02623 | 5.12351 |
| minisat SAT 2007 | 426548 | SAT | 24.1883 | 24.1972 |