| Name | random/OnTreshold/3SAT/v400/ unif-k3-r4.26-v400-c1704-S1031412672-05.SAT.shuffled.cnf |
| MD5SUM | 2e3fcbe567f2903b00fec23f53309ef8 |
| 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.022995 |
| 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 |
|---|---|---|---|---|
| adaptg2wsat0 2007-02-08 | 369647 | SAT | 0.022995 | 0.024012 |
| gnovelty+ 2007-02-08 | 369648 | SAT | 0.11998 | 0.122612 |
| sapsrt 2007-02-08 | 371807 | SAT | 0.191969 | 0.227898 |
| ranov 2007-02-08 | 423744 | SAT | 0.349946 | 0.362684 |
| adaptg2wsat+ 2007-02-08 | 371806 | SAT | 0.362943 | 0.364346 |
| adaptnovelty 2007-02-08 | 369649 | SAT | 0.600907 | 0.603036 |
| KCNFS 2004 | 426841 | SAT | 4.51831 | 4.52179 |
| SATzilla RANDOM | 423742 | SAT | 4.52131 | 4.59867 |
| March KS 2007-02-08 | 371805 | SAT | 26.545 | 26.5556 |
| SAT7 2007-02-08 | 426839 | SAT | 329.485 | 329.57 |
| MiraXT v3 | 426196 | SAT | 330.581 | 165.802 |
| MXC 2007-02-08 | 426838 | SAT | 461.755 | 461.939 |
| minisat SAT 2007 | 426840 | SAT | 481.647 | 481.813 |
| DEWSATZ 1A 2007-02-08 | 426842 | SAT | 1209.23 | 1209.75 |