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-20_381.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/kullmann/VanDerWaerden/VanderWaerden_pd_3k/
VanDerWaerden_pd_2-3-20_381.cnf
MD5SUM7976b5f6c5f2fc75af91292df6b31e76
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark61.7746
Satisfiable
(Un)Satisfiability was proved
Number of variables191
Number of clauses19482
Sum of the clauses size85088
Maximum clause length20
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2253
Number of clauses of size 317631
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 51598

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
glucose 2 (complete)3262264UNSAT 61.7746 61.7771
clasp 2.0-R4092-crafted (complete)3300494UNSAT 63.1814 63.1829
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274515UNSAT 67.8687 67.8691
SAT07 reference solver: minisat SAT 2007 (complete)3274517UNSAT 78.868 78.8686
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3262260UNSAT 101.87 100.936
SApperloT 2011-03-23 (complete)3262269UNSAT 112.082 112.088
claspmt 2.0-R4095-patched (fixed) (complete)3373215UNSAT 125.477 31.5781
claspmt 2.0-R4095 [DEPRECATED] (complete)3299594UNSAT 141.1 35.421
ppfolio seq (complete)3262262UNSAT 161.559 161.555
RestartSAT B95 (complete)3262237UNSAT 168.178 168.172
PicoSAT 941 (complete)3262253UNSAT 187.276 187.273
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3262267UNSAT 219.583 219.575
SApperloT2010 2011-05-15 (fixed) (complete)3379815UNSAT 220.034 220.032
rcl 2011-04-01 (complete)3262258UNSAT 241.352 241.354
ppfolio par (complete)3262261UNSAT 243.742 81.1424
march_rw 2011-03-02 (complete)3262229UNSAT 263.152 263.154
Lingeling 587 [DEPRECATED] (complete)3262255UNSAT 280.868 280.861
Lingeling 587f (fixed) (complete)3371715UNSAT 296.251 296.247
Sol 2011-04-04 (complete)3262257UNSAT 297.101 294.793
jMiniSat 2011 (complete)3279992UNSAT 356.329 355.808
synit_sat 2011-03-03 (complete)3262233UNSAT 378.907 378.901
Plingeling 587 [DEPRECATED] (complete)3262254UNSAT 384.493 96.3664
QuteRSat 2011-05-12 (fixed) (complete)3376815UNSAT 410.354 410.344
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368115UNSAT 418.137 418.16
Plingeling 587f (fixed) (complete)3371115UNSAT 422.122 106.14
QuteRSat 2011-03-01 [DEPRECATED] (complete)3262256UNSAT 439.675 439.665
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3262246UNSAT 454.518 454.504
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3262244UNSAT 458.096 458.086
SArTagnan 2011-05-15 (fixed) (complete)3386059UNSAT 458.66 115.165
SArTagnan 2011-03-24 [DEPRECATED] (complete)3262268UNSAT 501.312 125.537
RestartSAT A75 (complete)3262238UNSAT 501.424 501.414
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370515UNSAT 505.653 505.653
MPhaseSAT_M 2011-02-16 (complete)3262228UNSAT 546.747 546.731
MPhaseSAT 2011-02-15 (complete)3262226UNSAT 594.488 594.485
riss 1.0 (complete)3262247UNSAT 744.352 744.33
riss Auto (complete)3262249UNSAT 746.299 746.281
riss Auto (1200 s timeout) (complete)3472934UNSAT 794.551 794.532
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3262245UNSAT 862.461 215.9
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274516UNSAT 863.548 863.534
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369315UNSAT 915.535 229.221
MPhaseSAT64 2011-05-14 (fixed) (complete)3375615UNSAT 976.85 976.838
priss UP (complete)3262250UNSAT 997.896 537.477
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449703UNSAT 1069.59 1069.75
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3262227UNSAT 1086.73 1086.71
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3262243UNSAT 1259.45 315.298
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366915UNSAT 1277.72 320.318
CryptoMiniSat TechDemo-Alpha-mt (complete)3262241UNSAT 1372.22 343.735
STRUCTure 0.1 (hbr=2) (complete)3311939UNSAT 1881.79 474.666
STRUCTure 0.1 (complete)3313139UNSAT 2002.32 505.095
priss 1.0 (complete)3262252UNSAT 4323.78 1082.47
priss Auto (complete)3262251UNSAT 4339.43 1086.5
Satisfiability Solver Selector 2011-03-18 (complete)3262263? (TO) 1299.94 1300.02
UmSat 2011-05-12 (fixed) (complete)3379215? (TO) 1299.99 1300.02
Black Hole SAT 2011-03-08 (complete)3262240? (TO) 1299.99 1300.01
sattime2011 2011-03-02 (incomplete)3262230? (TO) 1300.01 1300.01
shortsattime+ 2011-03-02 (incomplete)3262235? (TO) 1300.02 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3262234? (TO) 1300.03 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3262239? (TO) 1300.04 1300.02
riss Exp (complete)3262248? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3262236? (TO) 1300.05 1300.01
sattime 2011-03-02 (incomplete)3262231? (TO) 1300.05 1300.01
sathys 2011-04-01 (complete)3262259? (TO) 1300.05 1300.02
shortsattime2011 2011-03-02 (incomplete)3262232? (TO) 1300.06 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3262242? (TO) 1300.06 1300.01
tts 5-4 (complete)3262265? (TO) 1300.13 1300.11
ttsth 5-4 (complete)3262266? (TO) 4800.63 1202.27

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: