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_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.87165
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)3274488SAT 8.87165 8.87575
SArTagnan 2011-03-24 [DEPRECATED] (complete)3261916SAT 9.24459 2.33043
sattime 2011-03-02 (incomplete)3261879SAT 22.5796 22.5795
PicoSAT 941 (complete)3261901SAT 24.1543 24.1539
SAT07 reference solver: minisat SAT 2007 (complete)3274490SAT 29.5095 29.5139
QuteRSat 2011-03-01 [DEPRECATED] (complete)3261904SAT 31.2153 31.2182
Lingeling 587 [DEPRECATED] (complete)3261903SAT 40.3099 40.3122
Lingeling 587f (fixed) (complete)3371680SAT 41.0518 41.056
shortsattime2011 2011-03-02 (incomplete)3261880SAT 45.805 45.805
shortsattime+ 2011-03-02 (incomplete)3261883SAT 56.5514 56.5502
riss Auto (complete)3261897SAT 60.0359 60.0339
riss 1.0 (complete)3261895SAT 62.5315 62.5332
MPhaseSAT_M 2011-02-16 (complete)3261876SAT 63.1014 63.1012
MPhaseSAT 2011-02-15 (complete)3261874SAT 63.1494 63.1505
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3261894SAT 63.6343 63.6338
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370480SAT 63.8193 63.8187
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449694SAT 85.79 85.9464
claspmt 2.0-R4095-patched (fixed) (complete)3373180SAT 92.5719 23.3991
riss Auto (1200 s timeout) (complete)3472925SAT 119.318 119.317
sattime2011 2011-03-02 (incomplete)3261878SAT 119.994 119.991
rcl 2011-04-01 (complete)3261906SAT 121.749 121.837
clasp 2.0-R4092-crafted (complete)3300459SAT 125.009 125.008
claspmt 2.0-R4095 [DEPRECATED] (complete)3299559SAT 125.472 31.5129
sattime+ 2011-03-02 (incomplete)3261884SAT 138.649 138.649
RestartSAT B95 (complete)3261885SAT 140.493 140.49
Plingeling 587 [DEPRECATED] (complete)3261902SAT 163.226 40.9839
Plingeling 587f (fixed) (complete)3371080SAT 163.809 41.1961
priss UP (complete)3261898SAT 182.151 104.219
glucose 2 (complete)3261912SAT 182.354 182.355
QuteRSat 2011-05-12 (fixed) (complete)3376780SAT 238.182 238.199
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3261908SAT 243.459 241.849
Sol 2011-04-04 (complete)3261905SAT 262.351 259.943
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369280SAT 267.066 67.7083
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3261893SAT 267.345 67.6779
SApperloT 2011-03-23 (complete)3261917SAT 307.389 307.382
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366880SAT 314.029 78.6964
Satisfiability Solver Selector 2011-03-18 (complete)3261911SAT 316.24 316.39
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3261891SAT 316.291 79.1895
adaptg2wsat2011 2011-03-02 (incomplete)3261882SAT 322.05 322.28
synit_sat 2011-03-03 (complete)3261881SAT 349.661 349.657
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368080SAT 379.821 379.81
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3261892SAT 384.486 384.474
march_rw 2011-03-02 (complete)3261877SAT 421.689 421.678
SApperloT2010 2011-05-15 (fixed) (complete)3379780SAT 467.358 467.413
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3261915SAT 516.055 516.044
ppfolio par (complete)3261909SAT 614.949 153.952
ppfolio seq (complete)3261910SAT 682.204 682.185
RestartSAT A75 (complete)3261886SAT 946.519 946.489
priss Auto (complete)3261899SAT 1175.2 294.245
jMiniSat 2011 (complete)3279957SAT 1182.55 1182
priss 1.0 (complete)3261900SAT 1805.4 452.018
SArTagnan 2011-05-15 (fixed) (complete)3386024SAT 2283.65 765.662
STRUCTure 0.1 (hbr=2) (complete)3311904SAT 3582.46 901.318
STRUCTure 0.1 (complete)3313104SAT 3987.14 1003.11
sathys 2011-04-01 (complete)3261907? (TO) 1300.03 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3261875? (TO) 1300.04 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274489? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375580? (TO) 1300.04 1300.02
UmSat 2011-02-25 [DEPRECATED] (complete)3261887? (TO) 1300.05 1300.02
UmSat 2011-05-12 (fixed) (complete)3379180? (TO) 1300.05 1300.02
riss Exp (complete)3261896? (TO) 1300.06 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3261890? (TO) 1300.06 1300.01
Black Hole SAT 2011-03-08 (complete)3261888? (TO) 1300.06 1300.01
tts 5-4 (complete)3261913? (TO) 1300.13 1300.09
CryptoMiniSat TechDemo-Alpha-mt (complete)3261889? (TO) 4800.38 1201.52
ttsth 5-4 (complete)3261914? (TO) 4800.4 1202.38

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