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-21_404.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_404.cnf
MD5SUM213e4c0c58f043e67e86cf993698317a
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark8.22675
Satisfiable
(Un)Satisfiability was proved
Number of variables202
Number of clauses22023
Sum of the clauses size98860
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 267
Number of clauses of size 320125
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51831

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime 2011-03-02 (incomplete)3262055SAT 8.22675 8.22855
clasp 2.0-R4092-crafted (complete)3300460SAT 35.8615 35.8629
Satisfiability Solver Selector 2011-03-18 (complete)3262087SAT 35.89 36.1612
sattime2011 2011-03-02 (incomplete)3262054SAT 44.7062 44.7102
sattime+ 2011-03-02 (incomplete)3262060SAT 49.3725 49.3716
priss 1.0 (complete)3262076SAT 61.9916 15.8683
riss Auto (complete)3262073SAT 80.2328 80.2333
riss 1.0 (complete)3262071SAT 85.33 85.3286
shortsattime+ 2011-03-02 (incomplete)3262059SAT 92.7119 92.7131
ppfolio seq (complete)3262086SAT 95.6935 95.6942
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3262084SAT 101.617 100.933
SApperloT2010 2011-05-15 (fixed) (complete)3379781SAT 156.185 156.187
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3262091SAT 157.044 157.041
ppfolio par (complete)3262085SAT 175.705 44.0452
shortsattime2011 2011-03-02 (incomplete)3262056SAT 176.128 176.126
PicoSAT 941 (complete)3262077SAT 189.256 189.251
adaptg2wsat2011 2011-03-02 (incomplete)3262058SAT 203.411 203.408
rcl 2011-04-01 (complete)3262082SAT 218.252 218.259
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3262051SAT 280.244 280.238
RestartSAT B95 (complete)3262061SAT 317.577 317.569
QuteRSat 2011-03-01 [DEPRECATED] (complete)3262080SAT 341.378 341.37
SApperloT 2011-03-23 (complete)3262093SAT 355.965 355.974
riss Auto (1200 s timeout) (complete)3472929SAT 359.883 359.873
glucose 2 (complete)3262088SAT 391.368 391.363
synit_sat 2011-03-03 (complete)3262057SAT 392.919 392.917
claspmt 2.0-R4095-patched (fixed) (complete)3373181SAT 499.668 125.923
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274500SAT 619.22 619.222
sathys 2011-04-01 (complete)3262083SAT 622.746 622.737
SArTagnan 2011-03-24 [DEPRECATED] (complete)3262092SAT 622.871 155.956
SAT07 reference solver: minisat SAT 2007 (complete)3274502SAT 702.265 702.259
jMiniSat 2011 (complete)3279958SAT 722.299 721.785
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449698SAT 754.31 754.424
claspmt 2.0-R4095 [DEPRECATED] (complete)3299560SAT 957.985 240.148
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370481SAT 1019.76 1019.78
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3262070SAT 1027.26 1027.23
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3262069SAT 1105.88 277.051
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369281SAT 1115.53 279.409
RestartSAT A75 (complete)3262062SAT 1121.06 1121.03
STRUCTure 0.1 (complete)3313105SAT 1147.14 288.894
STRUCTure 0.1 (hbr=2) (complete)3311905SAT 1171.54 295.024
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368081SAT 1279.31 1279.27
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366881SAT 1721.24 431.422
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3262067SAT 1730.38 433.158
Plingeling 587 [DEPRECATED] (complete)3262078SAT 3036.81 760.866
Plingeling 587f (fixed) (complete)3371081SAT 3062.67 767.993
riss Exp (complete)3262072? (TO) 1299.97 1300.01
UmSat 2011-05-12 (fixed) (complete)3379181? (TO) 1299.98 1300.03
MPhaseSAT_M 2011-02-16 (complete)3262052? (TO) 1300.03 1300.01
Lingeling 587 [DEPRECATED] (complete)3262079? (TO) 1300.04 1300.01
MPhaseSAT 2011-02-15 (complete)3262050? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3262066? (TO) 1300.05 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376781? (TO) 1300.05 1300.02
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3262068? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3262053? (TO) 1300.05 1300.01
Black Hole SAT 2011-03-08 (complete)3262064? (TO) 1300.05 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274501? (TO) 1300.05 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3262063? (TO) 1300.05 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375581? (TO) 1300.06 1300.02
Lingeling 587f (fixed) (complete)3371681? (TO) 1300.07 1300.02
tts 5-4 (complete)3262089? (TO) 1300.09 1300.13
Sol 2011-04-04 (complete)3262081? (TO) 1306.82 1300.03
priss UP (complete)3262074? (TO) 2331.85 1300.02
priss Auto (complete)3262075? (TO) 4800.04 1201.72
CryptoMiniSat TechDemo-Alpha-mt (complete)3262065? (TO) 4800.4 1203.63
SArTagnan 2011-05-15 (fixed) (complete)3386025? (TO) 4800.41 1223.46
ttsth 5-4 (complete)3262090? (TO) 4800.54 1202.37

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 0