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

Result page for benchmark
crafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/spence/sgen/
sgen3-n200-s39840374-sat.cnf
MD5SUM085a3847e14185843eddf941accab006
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark1.84272
Satisfiable
(Un)Satisfiability was proved
Number of variables200
Number of clauses480
Sum of the clauses size1200
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2400
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 580
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)3499809SAT 1.84272 1.84322
MPhaseSAT 2011-02-15 (complete)3445679SAT 2.56261 2.56266
sattime 2011-03-02 (incomplete)3427135SAT 3.35649 3.35652
ppfolio seq (complete)3275242SAT 36.7324 36.7304
ppfolio par (complete)3275241SAT 109.61 13.7168
claspmt 2.0-R4095-patched (fixed) (complete)3380982SAT 299.106 37.5116
Satisfiability Solver Selector 2011-03-18 (complete)3275240SAT 318.62 318.725
RestartSAT B95 (complete)3420980SAT 319.283 319.29
jMiniSat 2011 (complete)3438637SAT 967.822 967.421
PicoSAT 941 (complete)3438634SAT 1164.27 1164.23
SApperloT2010 2011-05-15 (fixed) (complete)3438633SAT 2184.01 2183.93
claspmt 2.0-R4095 [DEPRECATED] (complete)3322377SAT 3136.41 392.996
clasp 2.0-R4092-crafted (complete)3423015SAT 4713.39 4713.28
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3499274? (exit code) 4998.73 4998.59
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3275243? (TO) 5000.02 4999.91
SAT07 reference solver: minisat SAT 2007 (complete)3275244? (TO) 5000.03 4999.81
sathys 2011-04-01 (complete)3438635? (TO) 5000.07 4999.93
glucose 2 (complete)3303388? (TO) 5000.07 5000.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3421815? (TO) 5000.08 4999.93
QuteRSat 2011-05-12 (fixed) (complete)3420979? (TO) 5000.11 4999.93
Sol 2011-04-04 (complete)3394397? (TO) 5000.14 4955.75
priss 1.0 (complete)3499273? (TO) 20399.9 5100.02
Plingeling 587f (fixed) (complete)3394396? (TO) 40000.4 5011.45
SArTagnan 2011-05-15 (fixed) (complete)3438636? (TO) 40000.6 5010.85
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3421515? (TO) 40000.9 5010.61

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