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

Result page for benchmark
crafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-21_401.cnf
MD5SUM4e87573be2b7b7324c13131d6c6896b8
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark194.97
Satisfiable
(Un)Satisfiability was proved
Number of variables201
Number of clauses21509
Sum of the clauses size94265
Maximum clause length21
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2266
Number of clauses of size 319560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51683

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274512UNSAT 194.97 194.968
clasp 2.0-R4092-crafted (complete)3300496UNSAT 198.825 198.829
glucose 2 (complete)3262220UNSAT 203.754 203.753
SAT07 reference solver: minisat SAT 2007 (complete)3274514UNSAT 236.723 236.718
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3262216UNSAT 266.897 265.384
claspmt 2.0-R4095-patched (fixed) (complete)3373217UNSAT 355.434 89.1637
claspmt 2.0-R4095 [DEPRECATED] (complete)3299596UNSAT 377.43 94.6479
ppfolio seq (complete)3262218UNSAT 429.125 429.111
SApperloT 2011-03-23 (complete)3262225UNSAT 497.47 497.464
RestartSAT B95 (complete)3262193UNSAT 580.479 580.475
march_rw 2011-03-02 (complete)3262185UNSAT 607.572 607.553
SApperloT2010 2011-05-15 (fixed) (complete)3379817UNSAT 763.51 763.494
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3262223UNSAT 777.258 777.23
Lingeling 587f (fixed) (complete)3371717UNSAT 833.494 833.474
Lingeling 587 [DEPRECATED] (complete)3262211UNSAT 839.041 839.025
ppfolio par (complete)3262217UNSAT 883.017 221.066
PicoSAT 941 (complete)3262209UNSAT 988.956 988.922
rcl 2011-04-01 (complete)3262214UNSAT 1024.45 1024.48
Plingeling 587 [DEPRECATED] (complete)3262210UNSAT 1176.41 294.752
Plingeling 587f (fixed) (complete)3371117UNSAT 1178.97 295.885
SArTagnan 2011-05-15 (fixed) (complete)3386061UNSAT 2369.85 793.377
SArTagnan 2011-03-24 [DEPRECATED] (complete)3262224UNSAT 2397.35 600.22
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369317UNSAT 4230.73 1060.66
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3262201UNSAT 4323.44 1082.32
STRUCTure 0.1 (hbr=2) (complete)3311941UNSAT 4586.34 1154.85
STRUCTure 0.1 (complete)3313141UNSAT 4750.02 1195.65
riss Auto (1200 s timeout) (complete)3472933? (TO) 1200.04 1200.04
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449702? (TO) 1200.1 1200.24
Satisfiability Solver Selector 2011-03-18 (complete)3262219? (TO) 1299.92 1300.02
RestartSAT A75 (complete)3262194? (TO) 1299.99 1300.01
Black Hole SAT 2011-03-08 (complete)3262196? (TO) 1299.99 1300.01
sathys 2011-04-01 (complete)3262215? (TO) 1300 1300.02
riss Auto (complete)3262205? (TO) 1300.01 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3262183? (TO) 1300.03 1300.01
sattime+ 2011-03-02 (incomplete)3262192? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3262186? (TO) 1300.03 1300.01
QuteRSat 2011-03-01 [DEPRECATED] (complete)3262212? (TO) 1300.04 1300.02
riss Exp (complete)3262204? (TO) 1300.04 1300.01
riss 1.0 (complete)3262203? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3262190? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3262188? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3262187? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370517? (TO) 1300.04 1300.02
MPhaseSAT_M 2011-02-16 (complete)3262184? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3262202? (TO) 1300.05 1300.01
QuteRSat 2011-05-12 (fixed) (complete)3376817? (TO) 1300.05 1300.02
MPhaseSAT64 2011-05-14 (fixed) (complete)3375617? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3262195? (TO) 1300.05 1300.01
MPhaseSAT 2011-02-15 (complete)3262182? (TO) 1300.05 1300.01
synit_sat 2011-03-03 (complete)3262189? (TO) 1300.05 1300.02
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274513? (TO) 1300.05 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3262200? (TO) 1300.06 1300.01
UmSat 2011-05-12 (fixed) (complete)3379217? (TO) 1300.06 1300.02
CryptoMiniSat TechDemo-Alpha-st (complete)3262198? (TO) 1300.06 1300.01
shortsattime+ 2011-03-02 (incomplete)3262191? (TO) 1300.07 1300.01
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368117? (TO) 1300.07 1300.02
tts 5-4 (complete)3262221? (TO) 1300.15 1300.12
jMiniSat 2011 (complete)3279994? (TO) 1300.35 1300.02
Sol 2011-04-04 (complete)3262213? (TO) 1309.37 1300.03
priss UP (complete)3262206? (TO) 2372.46 1300.02
priss 1.0 (complete)3262208? (TO) 4800.05 1201.92
priss Auto (complete)3262207? (TO) 4800.15 1201.92
CryptoMiniSat TechDemo-Alpha-mt (complete)3262197? (TO) 4800.21 1201.72
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3262199? (TO) 4800.25 1201.63
ttsth 5-4 (complete)3262222? (TO) 4800.36 1202.23
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366917? (TO) 4800.41 1203.45

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: