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

Result page for benchmark
crafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Medium/contest05/jarvisalo/
mod2c-rand3bip-sat-190-3.sat05-2445.reshuffled-07.cnf
MD5SUMba385c05848b5f8fd49dff62bba43c15
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark16.1795
Satisfiable
(Un)Satisfiability was proved
Number of variables271
Number of clauses1972
Sum of the clauses size8840
Maximum clause length6
Minimum clause length4
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 30
Number of clauses of size 41120
Number of clauses of size 5752
Number of clauses of size over 5100

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
VARSAT-random 2009-03-22 (complete)1726172SAT 16.1795 16.1844
LySAT c/2009-03-20 (complete)1726148SAT 17.8053 17.8117
IUT_BMB_SAT 1.0 (complete)1726159SAT 20.0909 20.0987
SAT07 reference solver: minisat SAT 2007 (complete)1726186SAT 20.1689 20.1782
Rsat 2009-03-22 (complete)1726177SAT 23.1685 23.183
MXC 2009-03-10 (complete)1726140SAT 24.8932 24.9001
VARSAT-industrial 2009-03-22 (complete)1726171SAT 25.2632 25.2715
SATzilla2009_C 2009-03-22 (complete)1726161SAT 37.1634 37.188
SApperloT base (complete)1726145SAT 38.7711 38.7811
ManySAT 1.1 aimd 0/2009-03-20 (complete)1726149SAT 42.8995 21.5123
MiniSat 2.1 (Sat-race'08 Edition) (complete)1726178SAT 43.8623 43.8767
HydraSAT 2009-03-22-Base (complete)1726156SAT 50.2264 50.2386
SATzilla2009_I 2009-03-22 (complete)1726162SAT 58.7471 58.8
precosat 236 (complete)1726143SAT 67.0938 67.1152
VARSAT-crafted 2009-03-22 (complete)1726170SAT 68.5546 68.5716
ManySAT 1.1 aimd 2/2009-03-20 (complete)1726151SAT 84.5581 42.3931
HydraSAT-Multi 2009-03-22-Multi (complete)1726154SAT 84.5971 84.6402
clasp 1.2.0-SAT09-32 (complete)1726144SAT 99.9728 99.9999
LySAT i/2009-03-20 (complete)1726147SAT 110.298 110.354
ManySAT 1.1 aimd 1/2009-03-20 (complete)1726150SAT 120.162 60.234
MiniSAT 09z 2009-03-22 (complete)1832178SAT 124.215 124.255
HydraSAT-Flat 2009-03-22-Flat (complete)1726155SAT 162.398 162.44
kw 2009-03-20 (complete)1726137SAT 166.171 166.213
MoRsat 2009-03-03 (complete)1726138SAT 198.717 198.793
CircUs 2009-03-23 (complete)1726176SAT 330.432 330.56
picosat 913 (complete)1726142SAT 358.58 358.686
glucose 1.0 (complete)1726139SAT 496.479 496.725
SAT07 reference solver: SATzilla CRAFTED (complete)1726187SAT 533.877 534.021
minisat_cumr p-2009-03-18 (complete)1832177SAT 732.719 733.221
CSat 2009-03-22 (complete)1726153SAT 981.045 981.498
SAT4J CORE 2.1 RC1 (complete)1726136SAT 1155.77 1155.64
SATzilla2009_R 2009-03-22 (complete)1726160? (exit code) 1199.13 1199.66
TNM 2009-03-22 (incomplete)1726165? (TO) 1200.04 1200.41
adaptg2wsat2009++ 2009-03-23 (incomplete)1726175? (TO) 1200.04 1200.41
iPAWS 2009-03-22 (incomplete)1726152? (TO) 1200.05 1200.41
march_nn nn (complete)1726158? (TO) 1200.05 1200.44
hybridGM3 3 (incomplete)1726167? (TO) 1200.05 1200.51
Hybrid2 2009-03-22 (incomplete)1726163? (TO) 1200.05 1200.41
slstc 1.0 (incomplete)1726173? (TO) 1200.07 1200.81
gnovelty+2-H 2009-03-22 (incomplete)1726179? (TO) 1200.07 1200.51
NCVWr 2009-03-22 (incomplete)1726164? (TO) 1200.07 1200.51
gNovelty+-T 2009-03-22 (incomplete)1726182? (TO) 1200.08 601.825
adaptg2wsat2009 2009-03-23 (incomplete)1726174? (TO) 1200.08 1200.61
hybridGM 1 (incomplete)1726166? (TO) 1200.09 1200.51
gnovelty+ 2009-03-22 (incomplete)1726169? (TO) 1200.1 1200.42
hybridGM7 7 (incomplete)1726168? (TO) 1200.1 1200.41
gnovelty+2 2009-03-22 (incomplete)1726180? (TO) 1200.1 1200.41
tts tts-5-0 (complete)1726141? (TO) 1200.12 1200.47
march_hi hi (complete)1726157? (TO) 1200.13 1200.43
SApperloT hrp (complete)1726146? (TO) 1200.13 1200.45
ttsth-5-0 2009-03-19 (complete)1726181? (TO) 1200.14 601.587
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1726183? (TO) 1200.15 601.817
gNovelty+-V.2-T 2009-03-22 (incomplete)1726184? (TO) 1200.17 601.812
satake 2009-03-22 (complete)1726185? (TO) 1200.2 682.276
SAT07 reference solver: March KS 2007-02-08 (complete)1726188Signal 23.2215 23.2308

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 -221 -222 223 -224 -225 -226 227 -228 -229 -230 231 -232 -233 -234 235
236 -237 -238 -239 -240 -241 -242 -243 -244 -245 246 247 -248 249 -250 251 -252 -253 254 -255 -256 -257 258 259 -260 -261 -262 263 -264 -265
266 -267 -268 -269 270 -271 0