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

Result page for benchmark
crafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/
VanderWaerden3k/VanDerWaerden_2-3-13_160.cnf
MD5SUMad5b26aa9760a3817f3ab03e9314a5d6
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark284.707
Satisfiable
(Un)Satisfiability was proved
Number of variables160
Number of clauses7308
Sum of the clauses size31804
Maximum clause length13
Minimum clause length3
Number of clauses of size 10
Number of clauses of size 20
Number of clauses of size 36320
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 5988

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
march_rw 2011-03-02 (complete)3262537UNSAT 284.707 284.705
clasp 2.0-R4092-crafted (complete)3300492UNSAT 364.482 364.472
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274542UNSAT 411.096 411.085
SAT07 reference solver: minisat SAT 2007 (complete)3274544UNSAT 521.827 521.811
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3262568UNSAT 713.895 712.745
claspmt 2.0-R4095-patched (fixed) (complete)3373213UNSAT 794.357 198.985
claspmt 2.0-R4095 [DEPRECATED] (complete)3299592UNSAT 840.84 210.482
glucose 2 (complete)3262572UNSAT 1052.28 1052.29
ppfolio par (complete)3262569UNSAT 1849.87 463.09
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449712? (TO) 1200.05 1200.13
riss Auto (1200 s timeout) (complete)3472943? (TO) 1200.06 1200.33
Satisfiability Solver Selector 2011-03-18 (complete)3262571? (TO) 1299.94 1300.02
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368113? (TO) 1299.95 1300.02
riss Exp (complete)3262556? (TO) 1299.98 1300.02
synit_sat 2011-03-03 (complete)3262541? (TO) 1299.99 1300.02
Lingeling 587f (fixed) (complete)3371713? (TO) 1300 1300.01
riss Auto (complete)3262557? (TO) 1300.01 1300.01
UmSat 2011-05-12 (fixed) (complete)3379213? (TO) 1300.01 1300.02
shortsattime+ 2011-03-02 (incomplete)3262543? (TO) 1300.02 1300.01
RestartSAT B95 (complete)3262545? (TO) 1300.03 1300.01
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274543? (TO) 1300.03 1300.02
rcl 2011-04-01 (complete)3262566? (TO) 1300.03 1300.01
riss 1.0 (complete)3262555? (TO) 1300.03 1300.01
Black Hole SAT 2011-03-08 (complete)3262548? (TO) 1300.03 1300.01
RestartSAT A75 (complete)3262546? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370513? (TO) 1300.04 1300.02
QuteRSat 2011-03-01 [DEPRECATED] (complete)3262564? (TO) 1300.04 1300.02
Lingeling 587 [DEPRECATED] (complete)3262563? (TO) 1300.04 1300.01
PicoSAT 941 (complete)3262561? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375613? (TO) 1300.04 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3262535? (TO) 1300.04 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3262547? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3262554? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3262542? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3262544? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3262539? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3262538? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3262540? (TO) 1300.04 1300.01
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3262552? (TO) 1300.05 1300.01
SApperloT 2011-03-23 (complete)3262577? (TO) 1300.05 1300.01
ppfolio seq (complete)3262570? (TO) 1300.05 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3262550? (TO) 1300.05 1300.01
MPhaseSAT_M 2011-02-16 (complete)3262536? (TO) 1300.05 1300.01
MPhaseSAT 2011-02-15 (complete)3262534? (TO) 1300.05 1300.01
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3262575? (TO) 1300.06 1300.03
QuteRSat 2011-05-12 (fixed) (complete)3376813? (TO) 1300.06 1300.03
sathys 2011-04-01 (complete)3262567? (TO) 1300.06 1300.02
SApperloT2010 2011-05-15 (fixed) (complete)3379813? (TO) 1300.09 1300.04
tts 5-4 (complete)3262573? (TO) 1300.14 1300.11
jMiniSat 2011 (complete)3279990? (TO) 1300.48 1300.02
Sol 2011-04-04 (complete)3262565? (TO) 1306.72 1300.02
priss UP (complete)3262558? (TO) 2415.05 1300.02
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369313? (TO) 4800.08 1202.64
priss 1.0 (complete)3262560? (TO) 4800.11 1201.72
Plingeling 587f (fixed) (complete)3371113? (TO) 4800.23 1202.22
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3262551? (TO) 4800.24 1201.73
STRUCTure 0.1 (complete)3313137? (TO) 4800.27 1207.53
SArTagnan 2011-05-15 (fixed) (complete)3386057? (TO) 4800.3 1205.06
SArTagnan 2011-03-24 [DEPRECATED] (complete)3262576? (TO) 4800.32 1201.75
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366913? (TO) 4800.33 1203.04
priss Auto (complete)3262559? (TO) 4800.35 1201.82
Plingeling 587 [DEPRECATED] (complete)3262562? (TO) 4800.37 1201.72
CryptoMiniSat TechDemo-Alpha-mt (complete)3262549? (TO) 4800.4 1201.72
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3262553? (TO) 4800.42 1201.73
STRUCTure 0.1 (hbr=2) (complete)3311937? (TO) 4800.42 1207.73
ttsth 5-4 (complete)3262574? (TO) 4800.53 1202.04

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: