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

Result page for benchmark
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-22_462.cnf
MD5SUM4975f32607352c0a4d9db1abea12627a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark5.62714
Satisfiable
(Un)Satisfiability was proved
Number of variables231
Number of clauses28738
Sum of the clauses size129678
Maximum clause length22
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 277
Number of clauses of size 326363
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 52298

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
ppfolio seq (complete)3262526SAT 5.62714 5.62816
ppfolio par (complete)3262525SAT 7.15 1.89197
Satisfiability Solver Selector 2011-03-18 (complete)3262527SAT 37.76 40.9838
STRUCTure 0.1 (complete)3313107SAT 80.2618 20.8728
shortsattime2011 2011-03-02 (incomplete)3262496SAT 96.1374 96.1381
claspmt 2.0-R4095 [DEPRECATED] (complete)3299562SAT 106.445 26.8123
SApperloT 2011-03-23 (complete)3262533SAT 179.302 179.299
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274533SAT 231.056 231.053
sattime+ 2011-03-02 (incomplete)3262500SAT 254.45 254.447
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3262524SAT 312.342 311.404
sattime 2011-03-02 (incomplete)3262495SAT 418.871 418.865
shortsattime+ 2011-03-02 (incomplete)3262499SAT 547.006 546.988
sattime2011 2011-03-02 (incomplete)3262494SAT 705.282 705.262
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449709SAT 985.73 985.9
glucose 2 (complete)3262528SAT 1010.85 1010.85
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3262491SAT 1017.17 1017.14
SAT07 reference solver: minisat SAT 2007 (complete)3274535SAT 1294.74 1294.71
claspmt 2.0-R4095-patched (fixed) (complete)3373183SAT 2096.17 525.401
riss Auto (1200 s timeout) (complete)3472940? (TO) 1200.04 1200.03
sathys 2011-04-01 (complete)3262523? (TO) 1299 1300.01
riss Exp (complete)3262512? (TO) 1299.97 1300.01
PicoSAT 941 (complete)3262517? (TO) 1300.01 1300.01
riss Auto (complete)3262513? (TO) 1300.01 1300.01
clasp 2.0-R4092-crafted (complete)3300462? (TO) 1300.02 1300.01
Black Hole SAT 2011-03-08 (complete)3262504? (TO) 1300.03 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3262498? (TO) 1300.04 1300.01
rcl 2011-04-01 (complete)3262522? (TO) 1300.04 1300.01
MPhaseSAT 2011-02-15 (complete)3262490? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3262508? (TO) 1300.04 1300.01
riss 1.0 (complete)3262511? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3262510? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3262506? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3262502? (TO) 1300.04 1300.01
march_rw 2011-03-02 (complete)3262493? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370483? (TO) 1300.05 1300.02
QuteRSat 2011-05-12 (fixed) (complete)3376783? (TO) 1300.05 1300.03
QuteRSat 2011-03-01 [DEPRECATED] (complete)3262520? (TO) 1300.05 1300.02
Lingeling 587f (fixed) (complete)3371683? (TO) 1300.05 1300.02
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274534? (TO) 1300.05 1300.02
RestartSAT B95 (complete)3262501? (TO) 1300.05 1300.01
MPhaseSAT_M 2011-02-16 (complete)3262492? (TO) 1300.05 1300.01
synit_sat 2011-03-03 (complete)3262497? (TO) 1300.06 1300.02
UmSat 2011-05-12 (fixed) (complete)3379183? (TO) 1300.06 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375583? (TO) 1300.06 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368083? (TO) 1300.06 1300.02
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3262531? (TO) 1300.06 1300.03
Lingeling 587 [DEPRECATED] (complete)3262519? (TO) 1300.06 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3262503? (TO) 1300.06 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3379783? (TO) 1300.08 1300.04
tts 5-4 (complete)3262529? (TO) 1300.27 1300.24
jMiniSat 2011 (complete)3279960? (TO) 1300.86 1300.02
Sol 2011-04-04 (complete)3262521? (TO) 1307.22 1300.03
priss UP (complete)3262514? (TO) 2422.78 1300.02
SArTagnan 2011-05-15 (fixed) (complete)3386027? (TO) 3983.46 1300.08
SArTagnan 2011-03-24 [DEPRECATED] (complete)3262532? (TO) 4800.09 1201.66
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369283? (TO) 4800.1 1202.24
Plingeling 587 [DEPRECATED] (complete)3262518? (TO) 4800.17 1201.72
STRUCTure 0.1 (hbr=2) (complete)3311907? (TO) 4800.23 1207.63
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3262509? (TO) 4800.27 1201.73
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366883? (TO) 4800.32 1203.45
priss Auto (complete)3262515? (TO) 4800.32 1201.82
Plingeling 587f (fixed) (complete)3371083? (TO) 4800.34 1203.93
CryptoMiniSat TechDemo-Alpha-mt (complete)3262505? (TO) 4800.35 1201.72
ttsth 5-4 (complete)3262530? (TO) 4800.38 1202.38
priss 1.0 (complete)3262516? (TO) 4800.38 1201.82
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3262507? (TO) 4800.44 1201.74

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 201 202 203 -204 205 206 207 208 209 210 211 212 213 214 215 -216 217 218 219 220 -221 -222 223 224 225 226 227 228 229 230
231 0