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

Result page for benchmark
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-12_135.cnf
MD5SUMf20ed0313cfa494f86b5c8ef723973ee
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark36.1265
Satisfiable
(Un)Satisfiability was proved
Number of variables135
Number of clauses5251
Sum of the clauses size22611
Maximum clause length12
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 34489
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5762

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
march_rw 2011-03-02 (complete)3262625UNSAT 36.1265 36.1317
clasp 2.0-R4092-crafted (complete)3300491UNSAT 38.7221 38.726
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274560UNSAT 43.4484 43.4491
SAT07 reference solver: minisat SAT 2007 (complete)3274562UNSAT 56.9043 56.903
glucose 2 (complete)3262660UNSAT 77.8822 77.8871
claspmt 2.0-R4095 [DEPRECATED] (complete)3299591UNSAT 84.8481 21.2574
claspmt 2.0-R4095-patched (fixed) (complete)3373212UNSAT 92.029 23.0785
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3262656UNSAT 95.2005 93.5673
ppfolio seq (complete)3262658UNSAT 146.219 146.212
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274561UNSAT 162.539 162.544
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3262663UNSAT 166.116 166.126
SApperloT 2011-03-23 (complete)3262665UNSAT 179.32 179.316
SApperloT2010 2011-05-15 (fixed) (complete)3379812UNSAT 180.182 180.179
MPhaseSAT_M 2011-02-16 (complete)3262624UNSAT 183.29 183.289
MPhaseSAT 2011-02-15 (complete)3262622UNSAT 183.563 183.56
ppfolio par (complete)3262657UNSAT 195.24 48.8819
Satisfiability Solver Selector 2011-03-18 (complete)3262659UNSAT 202.83 202.955
MPhaseSAT64 2011-05-14 (fixed) (complete)3375612UNSAT 210.725 210.722
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3262623UNSAT 219.483 219.481
CryptoMiniSat TechDemo-Alpha-st (complete)3262638UNSAT 263.238 263.248
RestartSAT B95 (complete)3262633UNSAT 307.377 307.37
QuteRSat 2011-05-12 (fixed) (complete)3376812UNSAT 313.879 313.867
QuteRSat 2011-03-01 [DEPRECATED] (complete)3262652UNSAT 315.773 315.762
PicoSAT 941 (complete)3262649UNSAT 330.558 330.566
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3262640UNSAT 336.302 336.295
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368112UNSAT 339.43 339.422
jMiniSat 2011 (complete)3279989UNSAT 348.949 348.371
synit_sat 2011-03-03 (complete)3262629UNSAT 357.314 357.306
rcl 2011-04-01 (complete)3262654UNSAT 367.913 367.909
Lingeling 587 [DEPRECATED] (complete)3262651UNSAT 369.899 369.895
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370512UNSAT 370.409 370.402
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3262642UNSAT 375.644 375.639
Lingeling 587f (fixed) (complete)3371712UNSAT 382.235 382.239
Sol 2011-04-04 (complete)3262653UNSAT 481.371 478.621
RestartSAT A75 (complete)3262634UNSAT 522.996 522.981
STRUCTure 0.1 (hbr=2) (complete)3311936UNSAT 721.909 182.617
STRUCTure 0.1 (complete)3313136UNSAT 757.809 191.677
UmSat 2011-02-25 [DEPRECATED] (complete)3262635UNSAT 985.339 985.361
UmSat 2011-05-12 (fixed) (complete)3379212UNSAT 987.805 987.776
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449718UNSAT 1002.29 1002.5
SArTagnan 2011-03-24 [DEPRECATED] (complete)3262664UNSAT 1073.99 268.894
Plingeling 587 [DEPRECATED] (complete)3262650UNSAT 1102.1 276.102
Plingeling 587f (fixed) (complete)3371112UNSAT 1105.05 277.612
SArTagnan 2011-05-15 (fixed) (complete)3386056UNSAT 1120.1 372.98
riss Auto (complete)3262645UNSAT 1270.48 1270.45
riss 1.0 (complete)3262643UNSAT 1274.87 1276.18
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366912UNSAT 1360.5 340.91
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3262639UNSAT 1377.64 344.886
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3262641UNSAT 1394.93 349.424
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369312UNSAT 1422.98 356.819
priss UP (complete)3262646UNSAT 1709.29 917.429
riss Auto (1200 s timeout) (complete)3472949? (TO) 1200.06 1200.04
riss Exp (complete)3262644? (TO) 1299.97 1300.01
sattime2011 2011-03-02 (incomplete)3262626? (TO) 1300.02 1300.01
sathys 2011-04-01 (complete)3262655? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3262636? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3262631? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3262632? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3262627? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3262630? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3262628? (TO) 1300.05 1300.01
tts 5-4 (complete)3262661? (TO) 1300.15 1300.13
priss 1.0 (complete)3262648? (TO) 4800.24 1201.72
CryptoMiniSat TechDemo-Alpha-mt (complete)3262637? (TO) 4800.27 1202.72
priss Auto (complete)3262647? (TO) 4800.41 1201.82
ttsth 5-4 (complete)3262662? (TO) 4800.51 1201.98

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: