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 |