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

Result page for benchmark
crafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n220-s24359701-sat.cnf
MD5SUMceff918324677440f95867755c4e7133
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark6.70998
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses528
Sum of the clauses size1320
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2440
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 588
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
sattime+ 2011-03-02 (incomplete)3499813SAT 6.70998 6.75344
MPhaseSAT 2011-02-15 (complete)3445683SAT 29.4405 29.4404
sattime 2011-03-02 (incomplete)3427139SAT 36.7894 36.7891
Satisfiability Solver Selector 2011-03-18 (complete)3275260SAT 334.92 335.093
ppfolio seq (complete)3275262SAT 569.724 569.729
ppfolio par (complete)3275261SAT 867.483 108.515
claspmt 2.0-R4095 [DEPRECATED] (complete)3322381SAT 16048.4 2298.23
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499282? (exit code) 4999.16 4999.02
glucose 2 (complete)3303392? (TO) 5000.01 4999.92
jMiniSat 2011 (complete)3438657? (TO) 5000.02 4999.03
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275263? (TO) 5000.04 4999.91
SAT07 reference solver: minisat SAT 2007 (complete)3275264? (TO) 5000.05 4999.91
sathys 2011-04-01 (complete)3438655? (TO) 5000.05 5000.02
clasp 2.0-R4092-crafted (complete)3423019? (TO) 5000.06 4999.92
QuteRSat 2011-05-12 (fixed) (complete)3420987? (TO) 5000.07 4999.84
PicoSAT 941 (complete)3438654? (TO) 5000.09 5000.02
RestartSAT B95 (complete)3420988? (TO) 5000.1 5000.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421819? (TO) 5000.1 5000.03
SApperloT2010 2011-05-15 (fixed) (complete)3438653? (TO) 5000.12 5000.02
Sol 2011-04-04 (complete)3394405? (TO) 5000.12 4957.77
priss 1.0 (complete)3499281? (TO) 20400.4 5100.02
Plingeling 587f (fixed) (complete)3394404? (TO) 40000.3 5011.16
SArTagnan 2011-05-15 (fixed) (complete)3438656? (TO) 40000.5 5009.81
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421519? (TO) 40000.6 5010.65
claspmt 2.0-R4095-patched (fixed) (complete)3380986? (TO) 40000.6 5012.43

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 0