SAT 2011 Competition: main competition (phase 2): solvers results per benchmarks

Result page for benchmark
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_399.cnf
MD5SUM693b5fe291cecff45feff3be98a908cf
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.19075
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses21294
Sum of the clauses size93307
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2265
Number of clauses of size 319364
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51665

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275703SAT 8.19075 8.18985
PicoSAT 941 (complete)3439094SAT 21.8547 21.8943
SAT07 reference solver: minisat SAT 2007 (complete)3275704SAT 29.2286 29.2276
Satisfiability Solver Selector 2011-03-18 (complete)3275700SAT 38.42 38.5174
sattime+ 2011-03-02 (incomplete)3499901SAT 53.2139 53.2137
MPhaseSAT 2011-02-15 (complete)3445771SAT 63.0224 63.0282
sattime 2011-03-02 (incomplete)3427227SAT 107.621 107.618
clasp 2.0-R4092-crafted (complete)3423107SAT 125.082 125.08
RestartSAT B95 (complete)3421164SAT 137.426 137.482
glucose 2 (complete)3303480SAT 171.741 171.737
ppfolio par (complete)3275701SAT 198.093 24.8269
claspmt 2.0-R4095-patched (fixed) (complete)3381074SAT 210.503 26.5
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421607SAT 244.047 30.6123
Sol 2011-04-04 (complete)3394581SAT 248.176 244.911
claspmt 2.0-R4095 [DEPRECATED] (complete)3322469SAT 261.625 37.5844
ppfolio seq (complete)3275702SAT 264.324 264.315
Plingeling 587f (fixed) (complete)3394580SAT 330.97 41.7364
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421907SAT 370.149 370.149
SApperloT2010 2011-05-15 (fixed) (complete)3439093SAT 461.866 461.86
QuteRSat 2011-05-12 (fixed) (complete)3421163SAT 605.163 605.143
priss 1.0 (complete)3499457SAT 999.394 249.915
SArTagnan 2011-05-15 (fixed) (complete)3439096SAT 1018.43 127.604
jMiniSat 2011 (complete)3439097SAT 1113.29 1112.7
sathys 2011-04-01 (complete)3439095SAT 1208.35 1208.32
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499458SAT 1767.43 1767.39

Additionnal information

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 161
162 163 164 165 166 167 168 169 170 171 172 173 174 175 -176 177 -178 179 180 181 182 183 -184 185 186 187 188 189 190 191 192 -193 194 195
196 197 198 199 200 0