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

Result page for benchmark
crafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2-rand3bip-sat-220-1.sat05-2173.reshuffled-07.cnf
MD5SUMce96de70272a2ecfcbbf1c8e965c8e57
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.009997
Satisfiable
(Un)Satisfiability was proved
Number of variables220
Number of clauses880
Sum of the clauses size2640
Maximum clause length3
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 3880
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla2009_C 2009-03-22 (complete)1726055SAT 0.009997 0.0104901
SAT07 reference solver: SATzilla CRAFTED (complete)1726081SAT 0.011997 0.0112901
SAT07 reference solver: March KS 2007-02-08 (complete)1726082SAT 0.016996 0.0175821
march_nn nn (complete)1726052SAT 0.016996 0.0175731
march_hi hi (complete)1726051SAT 0.019996 0.018916
MXC 2009-03-10 (complete)1726034SAT 13.278 13.2814
SATzilla2009_I 2009-03-22 (complete)1726056SAT 19.2761 19.2896
ManySAT 1.1 aimd 2/2009-03-20 (complete)1726045SAT 52.0961 26.1216
minisat_cumr p-2009-03-18 (complete)1832173SAT 74.1467 74.2525
VARSAT-crafted 2009-03-22 (complete)1726064SAT 74.4147 74.4307
VARSAT-industrial 2009-03-22 (complete)1726065SAT 89.9453 89.9712
precosat 236 (complete)1726037SAT 102.725 102.754
SApperloT base (complete)1726039SAT 112.362 112.394
picosat 913 (complete)1726036SAT 132.06 132.107
LySAT i/2009-03-20 (complete)1726041SAT 135.236 135.29
SApperloT hrp (complete)1726040SAT 148.42 148.461
VARSAT-random 2009-03-22 (complete)1726066SAT 179.665 179.724
clasp 1.2.0-SAT09-32 (complete)1726038SAT 182.742 182.796
LySAT c/2009-03-20 (complete)1726042SAT 216.249 216.345
HydraSAT-Flat 2009-03-22-Flat (complete)1726049SAT 232.302 232.362
CircUs 2009-03-23 (complete)1726070SAT 233.695 233.775
IUT_BMB_SAT 1.0 (complete)1726053SAT 256.411 256.527
SAT07 reference solver: minisat SAT 2007 (complete)1726080SAT 271.488 271.588
glucose 1.0 (complete)1726033SAT 369.079 369.191
HydraSAT 2009-03-22-Base (complete)1726050SAT 423.442 423.564
MiniSat 2.1 (Sat-race'08 Edition) (complete)1726072SAT 423.829 423.987
ManySAT 1.1 aimd 0/2009-03-20 (complete)1726043SAT 445.529 223.271
ManySAT 1.1 aimd 1/2009-03-20 (complete)1726044SAT 649.791 325.678
kw 2009-03-20 (complete)1726031SAT 688.397 688.587
HydraSAT-Multi 2009-03-22-Multi (complete)1726048SAT 907.163 907.541
SATzilla2009_R 2009-03-22 (complete)1726054? (exit code) 1199.07 1199.68
tts tts-5-0 (complete)1726035? (MO) 589.338 589.483
ttsth-5-0 2009-03-19 (complete)1726075? (MO) 600.829 309.591
Hybrid2 2009-03-22 (incomplete)1726057? (TO) 1200.01 1200.31
gnovelty+2-H 2009-03-22 (incomplete)1726073? (TO) 1200.02 1200.31
MiniSAT 09z 2009-03-22 (complete)1832174? (TO) 1200.03 1200.31
adaptg2wsat2009 2009-03-23 (incomplete)1726068? (TO) 1200.05 1200.41
hybridGM7 7 (incomplete)1726062? (TO) 1200.05 1200.41
slstc 1.0 (incomplete)1726067? (TO) 1200.06 1200.51
Rsat 2009-03-22 (complete)1726071? (TO) 1200.07 1200.61
gnovelty+ 2009-03-22 (incomplete)1726063? (TO) 1200.07 1200.42
gnovelty+2 2009-03-22 (incomplete)1726074? (TO) 1200.07 1200.41
hybridGM 1 (incomplete)1726060? (TO) 1200.08 1200.51
adaptg2wsat2009++ 2009-03-23 (incomplete)1726069? (TO) 1200.08 1200.41
hybridGM3 3 (incomplete)1726061? (TO) 1200.09 1200.41
gNovelty+-V.2-T 2009-03-22 (incomplete)1726078? (TO) 1200.09 601.716
TNM 2009-03-22 (incomplete)1726059? (TO) 1200.09 1200.41
iPAWS 2009-03-22 (incomplete)1726046? (TO) 1200.1 1200.41
CSat 2009-03-22 (complete)1726047? (TO) 1200.11 1200.51
NCVWr 2009-03-22 (incomplete)1726058? (TO) 1200.11 1200.51
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1726077? (TO) 1200.15 601.611
satake 2009-03-22 (complete)1726079? (TO) 1200.21 700.282
gNovelty+-T 2009-03-22 (incomplete)1726076? (TO) 1200.22 601.923
SAT4J CORE 2.1 RC1 (complete)1726030? (TO) 1200.27 1199.84
MoRsat 2009-03-03 (complete)1726032Signal 0.005998 0.00509102

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