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-19_348.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-19_348.cnf
MD5SUMd56eb1fbc523242359df78e10ae2a44f
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark60.0609
Satisfiable
(Un)Satisfiability was proved
Number of variables174
Number of clauses16458
Sum of the clauses size73267
Maximum clause length19
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 258
Number of clauses of size 314898
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51502

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 2.0-R4092-crafted (complete)3300493UNSAT 60.0609 60.0597
glucose 2 (complete)3262132UNSAT 65.4401 65.4463
SAT07 reference solver: minisat SAT 2007 (complete)3274505UNSAT 70.6213 70.6204
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274503UNSAT 75.7975 75.7961
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3262128UNSAT 95.1325 94.3583
claspmt 2.0-R4095 [DEPRECATED] (complete)3299593UNSAT 121.394 30.4735
claspmt 2.0-R4095-patched (fixed) (complete)3373214UNSAT 124.259 31.3699
SApperloT 2011-03-23 (complete)3262137UNSAT 127.958 127.954
RestartSAT B95 (complete)3262105UNSAT 206.492 206.487
march_rw 2011-03-02 (complete)3262097UNSAT 208.604 208.599
SApperloT2010 2011-05-15 (fixed) (complete)3379814UNSAT 211.292 211.285
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3262135UNSAT 212.458 212.453
ppfolio seq (complete)3262130UNSAT 212.913 212.906
rcl 2011-04-01 (complete)3262126UNSAT 229.946 229.949
PicoSAT 941 (complete)3262121UNSAT 233.885 233.884
ppfolio par (complete)3262129UNSAT 282.45 71.1266
Lingeling 587 [DEPRECATED] (complete)3262123UNSAT 286.99 286.987
SArTagnan 2011-05-15 (fixed) (complete)3386058UNSAT 308.473 77.3856
Lingeling 587f (fixed) (complete)3371714UNSAT 311.527 311.518
SArTagnan 2011-03-24 [DEPRECATED] (complete)3262136UNSAT 325.858 81.6054
Sol 2011-04-04 (complete)3262125UNSAT 353.313 350.389
jMiniSat 2011 (complete)3279991UNSAT 364.2 363.831
QuteRSat 2011-03-01 [DEPRECATED] (complete)3262124UNSAT 452.028 452.02
synit_sat 2011-03-03 (complete)3262101UNSAT 454.914 454.932
QuteRSat 2011-05-12 (fixed) (complete)3376814UNSAT 457.229 457.242
MPhaseSAT 2011-02-15 (complete)3262094UNSAT 479.02 479.008
MPhaseSAT_M 2011-02-16 (complete)3262096UNSAT 483.629 483.613
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368114UNSAT 484.667 484.654
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3262112UNSAT 489.429 489.414
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3262114UNSAT 491.734 491.994
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370514UNSAT 492.461 492.468
RestartSAT A75 (complete)3262106UNSAT 581.259 581.244
CryptoMiniSat TechDemo-Alpha-st (complete)3262110UNSAT 672.407 672.406
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274504UNSAT 688.243 688.226
Plingeling 587f (fixed) (complete)3371114UNSAT 743.672 186.706
riss Auto (complete)3262117UNSAT 787.062 787.045
riss 1.0 (complete)3262115UNSAT 788.698 788.675
riss Auto (1200 s timeout) (complete)3472930UNSAT 795.879 795.855
riss Exp (complete)3262116UNSAT 841.333 841.317
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3262113UNSAT 860.74 215.486
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3262095UNSAT 861.942 861.933
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369314UNSAT 872.458 219.118
MPhaseSAT64 2011-05-14 (fixed) (complete)3375614UNSAT 889.964 889.939
Plingeling 587 [DEPRECATED] (complete)3262122UNSAT 940.966 236.339
sathys 2011-04-01 (complete)3262127UNSAT 978.948 978.959
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449699UNSAT 1060.4 1060.56
priss UP (complete)3262118UNSAT 1105.16 595.334
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366914UNSAT 1509.99 378.453
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3262111UNSAT 1516.58 379.681
STRUCTure 0.1 (hbr=2) (complete)3311938UNSAT 1914 482.67
STRUCTure 0.1 (complete)3313138UNSAT 1986.74 501.001
CryptoMiniSat TechDemo-Alpha-mt (complete)3262109UNSAT 2445.08 612.367
Satisfiability Solver Selector 2011-03-18 (complete)3262131? (TO) 1299.9 1300.02
Black Hole SAT 2011-03-08 (complete)3262108? (TO) 1299.95 1300.01
sattime 2011-03-02 (incomplete)3262099? (TO) 1300 1300.01
sattime2011 2011-03-02 (incomplete)3262098? (TO) 1300.03 1300.01
shortsattime+ 2011-03-02 (incomplete)3262103? (TO) 1300.03 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3262102? (TO) 1300.03 1300.01
sattime+ 2011-03-02 (incomplete)3262104? (TO) 1300.04 1300.01
UmSat 2011-05-12 (fixed) (complete)3379214? (TO) 1300.04 1300.02
shortsattime2011 2011-03-02 (incomplete)3262100? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3262107? (TO) 1300.05 1300.02
tts 5-4 (complete)3262133? (TO) 1300.13 1300.12
priss Auto (complete)3262119? (TO) 4800.14 1201.92
priss 1.0 (complete)3262120? (TO) 4800.19 1202.32
ttsth 5-4 (complete)3262134? (TO) 4800.46 1202.06

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: