Name | RANDOM/LARGE/7SAT/UNKNOWN/160/ unif-k7-r85-v160-c13600-S1849057034-020.cnf |
MD5SUM | 33aa10492d14e1883d707891a0a1cdfc |
Bench Category | RANDOM (random instances) |
Best result obtained on this benchmark | SAT |
Best CPU time to get the best result obtained on this benchmark | 27.0959 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 160 |
Number of clauses | 13600 |
Sum of the clauses size | 95200 |
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 | 13600 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
adaptg2wsat2009++ 2009-03-23 (incomplete) | 1628596 | SAT | 27.0959 | 27.1019 |
SAT07 reference solver: gnovelty+ 2007-02-08 (incomplete) | 1631647 | SAT | 783.002 | 783.346 |
gnovelty+2 2009-03-22 (incomplete) | 1628597 | SAT | 1401 | 1401.41 |
TNM 2009-03-22 (incomplete) | 1631646 | SAT | 1606.68 | 1607.09 |
SATzilla2009_R 2009-03-22 (complete) | 1630254 | SAT | 1685.74 | 1686.13 |
SAT07 reference solver: adaptg2wsat+ 2007-02-08 (incomplete) | 1631648 | SAT | 1688.85 | 1689.55 |
iPAWS 2009-03-22 (incomplete) | 1630864 | SAT | 2285.63 | 2286.3 |
hybridGM3 3 (incomplete) | 1627204 | SAT | 2769.21 | 2770.01 |
gNovelty+-T 2009-03-22 (incomplete) | 1782998 | SAT | 3470.92 | 3471.81 |
SAT07 reference solver: SATzilla RANDOM (complete) | 1626070 | ? | 4999.28 | 5000.75 |
SAT07 reference solver: March KS 2007-02-08 (complete) | 1626071 | ? (TO) | 5000.06 | 5002.42 |
march_hi hi (complete) | 1627814 | ? (TO) | 5000.11 | 5001.45 |
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 -61 62 63 -64 -65 66 67 68 69 70 71 72 73 -74 75 -76 77 78 79 -80 -81 82 -83 -84 -85 86 -87 -88 89 90 -91 -92 -93 94 95 -96 -97 98 -99 -100 101 -102 -103 104 -105 -106 107 108 109 -110 111 -112 113 -114 115 116 -117 118 -119 -120 -121 -122 123 -124 -125 126 -127 -128 -129 -130 131 -132 133 134 135 136 137 138 -139 140 -141 142 -143 144 -145 146 -147 148 149 -150 -151 -152 -153 154 -155 -156 157 -158 -159 -160 0