Name | RANDOM/MEDIUM/7SAT/SATISFIABLE/60/ unif-k7-r89-v60-c5340-S178043354-076.cnf |
MD5SUM | 1d34e3663c561a89d93a195f39097223 |
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.591909 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 60 |
Number of clauses | 5340 |
Sum of the clauses size | 37380 |
Maximum clause length | 7 |
Minimum clause length | 7 |
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 | 0 |
Number of clauses of size over 5 | 5340 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1632322 | SAT | 0.591909 | 0.59188 |
SATzilla2009_R 2009-03-22 (complete) | 1630479 | SAT | 0.666898 | 0.666509 |
gnovelty+2 2009-03-22 (incomplete) | 1629272 | SAT | 0.961853 | 0.96315 |
TNM 2009-03-22 (incomplete) | 1632321 | SAT | 1.65175 | 1.65276 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1632323 | SAT | 2.24866 | 2.25006 |
hybridGM3 3 (incomplete) | 1627429 | SAT | 2.36964 | 2.3712 |
iPAWS 2009-03-22 (incomplete) | 1631089 | SAT | 3.17552 | 3.17747 |
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1629271 | SAT | 3.3175 | 3.31902 |
gNovelty+-T 2009-03-22 (incomplete) | 1783223 | SAT | 3.55146 | 3.5526 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626520 | SAT | 6.39703 | 6.40279 |
march_hi hi (complete) | 1628039 | SAT | 223.359 | 223.435 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626521 | SAT | 254.828 | 254.963 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:-1 -2 3 -4 -5 6 -7 -8 -9 -10 11 -12 13 14 -15 16 -17 -18 19 -20 -21 -22 -23 24 -25 -26 -27 28 -29 30 31 -32 33 34 35 -36 -37 -38 -39 40 -41 -42 43 -44 -45 46 47 48 -49 -50 51 52 53 54 -55 -56 57 -58 59 -60 0