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

Result page for benchmark
SAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/industrial/maris05/Rovers/
rovers1_ks99i.renamed-as.sat05-3971.cnf
MD5SUM7b71def6f66e78b665106c5c0b5f77e2
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark0.002998
Satisfiable
(Un)Satisfiability was proved
Number of variables439
Number of clauses5423
Sum of the clauses size11108
Maximum clause length24
Minimum clause length1
Number of clauses of size 113
Number of clauses of size 25332
Number of clauses of size 331
Number of clauses of size 416
Number of clauses of size 58
Number of clauses of size over 523

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat hack: cir_minisat 2011-03-02 (complete)3348452SAT 0.002998 0.0137409
SApperloT 2011-03-23 (complete)3292580SAT 0.003998 0.00644602
PicoSAT 941 (complete)3292564SAT 0.003999 0.00638106
Black Hole SAT 2011-03-08 (complete)3292551SAT 0.003999 0.00619589
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3292555SAT 0.006998 0.00848396
minisat hack: EBMiniSAT 2011-03-02 (incomplete)3349052SAT 0.007997 0.0126519
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3292557SAT 0.007997 0.00830799
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368200SAT 0.007997 0.013164
minisat hack reference: minisat 2.2.0 (complete)3362449SAT 0.007997 0.0133339
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370600SAT 0.007997 0.0128591
minisat hack: LR_GL_SHR 2011-03-02 (complete)3349352SAT 0.007997 0.013795
SAT09 reference solver:precosat 236 (complete)3309127SAT 0.007998 0.0107781
minisat hack: LR_GL_NOSHR 2011-03-02 (complete)3349952SAT 0.007998 0.0121429
RestartSAT A75 (complete)3292549SAT 0.007998 0.00932992
RestartSAT B95 (complete)3292548SAT 0.007998 0.008315
minisat hack: cir_minisat 2011-05-13 (simp) (complete)3380200SAT 0.007998 0.0162911
minisat hack: LR_NOGL_NOSHR 2011-03-02 (complete)3349652SAT 0.007998 0.02225
CryptoMiniSat TechDemo-Alpha-st (complete)3292553SAT 0.008997 0.0217291
glueminisat 2.2.5 (complete)3292575SAT 0.008997 0.00884392
minisat hack: contrasat 2011-03-02 (complete)3350252SAT 0.008997 0.01095
SArTagnan 2011-03-24 [DEPRECATED] (complete)3292579SAT 0.008997 0.00911303
minisat hack: MiniSAT 2.2.0-agile-26 (complete)3317944SAT 0.008997 0.0108561
clasp 2.0-R4092-indust (complete)3299979SAT 0.009997 0.00980011
claspmt 2.0-R4095 [DEPRECATED] (complete)3299679SAT 0.010997 0.0115459
sattime2011 2011-03-02 (incomplete)3292541SAT 0.010997 0.0122479
claspmt 2.0-R4095-patched (fixed) (complete)3373300SAT 0.010997 0.0114409
shortsattime+ 2011-03-02 (incomplete)3292546SAT 0.010998 0.013879
shortsattime2011 2011-03-02 (incomplete)3292543SAT 0.011997 0.0115629
adaptg2wsat2011 2011-03-02 (incomplete)3292545SAT 0.011997 0.01148
sattime 2011-03-02 (incomplete)3292542SAT 0.011998 0.0152599
sattime+ 2011-03-02 (incomplete)3292547SAT 0.011998 0.0135119
MPhaseSAT64 2011-05-14 (fixed) (complete)3375700SAT 0.012998 0.027558
ppfolio seq (complete)3292573SAT 0.014997 0.016659
Plingeling 587 [DEPRECATED] (complete)3292565SAT 0.017996 0.0174431
MPhaseSAT_M 2011-02-16 (complete)3292539SAT 0.017996 0.0179661
glucose 2 (complete)3292576SAT 0.017996 0.0205139
SAT09 reference solver:LySAT i/2009-03-20 (complete)3309129SAT 0.017996 0.0204571
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3292538SAT 0.017997 0.018062
MPhaseSAT 2011-02-15 (complete)3292537SAT 0.017997 0.025392
SAT09 reference solver:glucose 1.0 (complete)3309128SAT 0.018996 0.021419
EBGlucose 1.0 (incomplete)3292577SAT 0.018996 0.020054
minisat hack: minisat_psm 2011-04-01 (complete)3348752SAT 0.019996 0.0192709
Plingeling 587f (fixed) (complete)3371200SAT 0.019996 0.01719
kw 2011-02-28 (complete)3292581SAT 0.020996 0.0217081
march_rw 2011-03-02 (complete)3292540SAT 0.021996 0.0221401
UmSat 2011-05-12 (fixed) (complete)3379300SAT 0.021996 0.0265689
rcl 2011-04-01 (complete)3292569SAT 0.023995 0.0220421
SAT09 reference solver: ManySAT 1.1 aimd 1/2009-03-20 (complete)3362385SAT 0.023995 0.022649
SApperloT2010 2011-05-15 (fixed) (complete)3379900SAT 0.024995 0.0243189
sathys 2011-04-01 (complete)3292570SAT 0.024995 0.0253909
Lingeling 587 [DEPRECATED] (complete)3292566SAT 0.026995 0.0319509
synit_sat 2011-03-03 (complete)3292544SAT 0.027995 0.0282329
Lingeling 587f (fixed) (complete)3371800SAT 0.028995 0.03143
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3292556SAT 0.029994 0.0129719
ppfolio par (complete)3292572SAT 0.031994 0.0277601
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3292554SAT 0.032994 0.012931
SArTagnan 2011-05-15 (fixed) (complete)3386144SAT 0.032994 0.0196771
QuteRSat 2011-03-01 [DEPRECATED] (complete)3292567SAT 0.040993 0.0464091
QuteRSat 2011-05-12 (fixed) (complete)3376900SAT 0.042993 0.047144
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369400SAT 0.045992 0.0164199
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3367000SAT 0.047991 0.0178
Sol 2011-04-04 (complete)3292568SAT 0.094984 0.099486
CryptoMiniSat TechDemo-Alpha-mt (complete)3292552SAT 0.097984 0.0371739
jMiniSat 2011 (complete)3292582SAT 0.219965 0.191071
riss 1.0 (complete)3292558SAT 0.229964 0.232497
riss Exp (complete)3292559SAT 0.229964 0.231634
riss Auto (complete)3292560SAT 0.229964 0.231956
riss Auto (1200 s timeout) (complete)3473088SAT 0.229964 0.230669
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3292571SAT 0.247961 0.188342
priss UP (complete)3292561SAT 0.338947 0.303682
borg-sat 11.03.02-seq-industrial (fixed, 1200 s timeout) (complete)3484675SAT 0.537917 0.681967
borg-sat 11.03.02-par-industrial (fixed) (complete)3378700SAT 0.661898 0.724249
borg-sat 11.03.02-seq-industrial (fixed) (complete)3377800SAT 0.682895 1.60155
borg-sat 11.03.02-industrial [DEPRECATED] (complete)3317644SAT 0.761883 10.1138
priss 1.0 (complete)3292563SAT 0.918859 0.245139
STRUCTure 0.1 (hbr=2) (complete)3312024SAT 1.70374 0.739825
STRUCTure 0.1 (complete)3313224SAT 1.93171 0.850982
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449857SAT 2.90056 2.95835
Satisfiability Solver Selector 2011-03-18 (complete)3292574SAT 3.21951 3.24772
priss Auto (complete)3292562SAT 3.2575 0.824538
UmSat 2011-02-25 [DEPRECATED] (complete)3292550Signal 0.019996 0.0207319
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3292578No Cert. 0.022995 0.0248929

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 272 -273 -274 275 -276 -277 -278 279 -280 -281 -282 -283 -284 285
-286 -287 -288 -289 -290 -291 -292 -293 -294 -295 -296 -297 -298 -299 -300 -301 -302 -303 -304 -305 -306 -307 -308 -309 -310 -311 312 313
-314 -315 -316 -317 -318 -319 -320 -321 -322 -323 -324 -325 -326 327 -328 -329 -330 -331 332 333 -334 -335 -336 -337 -338 -339 -340 -341
-342 -343 -344 -345 -346 -347 -348 -349 -350 -351 -352 -353 -354 355 -356 -357 -358 -359 -360 -361 -362 363 364 365 -366 367 -368 -369 -370
-371 -372 -373 374 375 -376 -377 -378 379 -380 -381 -382 -383 384 385 386 -387 -388 389 -390 -391 -392 -393 -394 -395 -396 -397 -398 -399
-400 -401 -402 -403 -404 -405 -406 -407 -408 -409 -410 -411 -412 -413 414 -415 -416 -417 -418 -419 -420 -421 422 423 -424 425 -426 -427 428
429 -430 -431 -432 433 434 -435 436 437 -438 -439 0