| Name | random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1752604460-10.SAT.shuffled.cnf |
| MD5SUM | 26af42426194a43df413cae8f2aea334 |
| 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.012997 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 400 |
| Number of clauses | 1704 |
| Sum of the clauses size | 5112 |
| Maximum clause length | 3 |
| Minimum clause length | 3 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 0 |
| Number of clauses of size 3 | 1704 |
| 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 |
|---|---|---|---|---|
| adaptnovelty 2007-02-08 | 369646 | SAT | 0.012997 | 0.013396 |
| ranov 2007-02-08 | 423741 | SAT | 0.123981 | 0.123226 |
| adaptg2wsat+ 2007-02-08 | 371803 | SAT | 0.181971 | 0.187293 |
| adaptg2wsat0 2007-02-08 | 369644 | SAT | 0.183971 | 0.185786 |
| sapsrt 2007-02-08 | 371804 | SAT | 0.403937 | 0.406057 |
| SATzilla RANDOM | 423739 | SAT | 0.71489 | 0.716862 |
| gnovelty+ 2007-02-08 | 369645 | SAT | 0.868867 | 0.871411 |
| March KS 2007-02-08 | 371802 | SAT | 2.02169 | 2.02477 |
| KCNFS 2004 | 426836 | SAT | 16.5565 | 16.561 |
| DEWSATZ 1A 2007-02-08 | 426837 | SAT | 96.6393 | 96.666 |
| minisat SAT 2007 | 426835 | SAT | 429.503 | 429.624 |
| SAT7 2007-02-08 | 426834 | SAT | 617.168 | 617.396 |
| MiraXT v3 | 426195 | SAT | 1136.36 | 569.735 |
| MXC 2007-02-08 | 424518 | SAT | 1504.63 | 1505.12 |