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

Result page for benchmark
SAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf

Jump to solvers results

General information on the benchmark

NameSAT03/handmade/markstrom/UNSATISFIABLE/
mm-2x2-6-6-s.1.shuffled-as.sat03-1499.cnf
MD5SUM5fbbe7100f38217499e8b5ea555a4e4d
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark201.305
Satisfiable
(Un)Satisfiability was proved
Number of variables400
Number of clauses2576
Sum of the clauses size8480
Maximum clause length5
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2400
Number of clauses of size 31536
Number of clauses of size 4128
Number of clauses of size 5512
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
QuteRSat 2011-03-01 [DEPRECATED] (complete)3263928UNSAT 183.517 183.518
glucose 2 (complete)3263936UNSAT 201.305 201.301
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449778UNSAT 209.32 209.45
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274651UNSAT 219.836 219.835
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3263916UNSAT 222.729 222.727
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368104UNSAT 223.033 223.036
clasp 2.0-R4092-crafted (complete)3300483UNSAT 250.009 250.005
SAT07 reference solver: minisat SAT 2007 (complete)3274652UNSAT 269.874 269.872
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3263918UNSAT 275.376 275.368
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370504UNSAT 276.416 276.411
synit_sat 2011-03-03 (complete)3263905UNSAT 283.825 283.819
QuteRSat 2011-05-12 (fixed) (complete)3376804UNSAT 284.898 284.893
SApperloT 2011-03-23 (complete)3263941UNSAT 337.348 337.342
Lingeling 587 [DEPRECATED] (complete)3263927UNSAT 346.175 346.166
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274650UNSAT 351.318 351.317
Lingeling 587f (fixed) (complete)3371704UNSAT 370.991 370.983
Sol 2011-04-04 (complete)3263929UNSAT 458.728 456.089
UmSat 2011-05-12 (fixed) (complete)3379204UNSAT 511.677 511.67
RestartSAT B95 (complete)3263909UNSAT 536.834 536.82
UmSat 2011-02-25 [DEPRECATED] (complete)3263911UNSAT 545.097 545.102
Satisfiability Solver Selector 2011-03-18 (complete)3263935UNSAT 557.31 557.467
ppfolio seq (complete)3263934UNSAT 564.476 564.691
claspmt 2.0-R4095 [DEPRECATED] (complete)3299583UNSAT 638.271 159.758
PicoSAT 941 (complete)3263925UNSAT 692.066 692.045
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3263915UNSAT 739.787 185.204
ppfolio par (complete)3263933UNSAT 757.455 189.621
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366904UNSAT 763.555 191.336
MPhaseSAT 2011-02-15 (complete)3263898UNSAT 780.07 780.052
jMiniSat 2011 (complete)3279981UNSAT 819.149 818.717
claspmt 2.0-R4095-patched (fixed) (complete)3373204UNSAT 823.25 207.202
SArTagnan 2011-05-15 (fixed) (complete)3386048UNSAT 853.627 214.223
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369304UNSAT 876.127 220.644
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3263917UNSAT 880.906 221.786
SApperloT2010 2011-05-15 (fixed) (complete)3379804UNSAT 914.248 914.218
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3263939UNSAT 921.813 921.784
rcl 2011-04-01 (complete)3263930UNSAT 928.713 928.689
MPhaseSAT64 2011-05-14 (fixed) (complete)3375604UNSAT 1019.34 1019.29
RestartSAT A75 (complete)3263910UNSAT 1064.12 1064.1
SArTagnan 2011-03-24 [DEPRECATED] (complete)3263940UNSAT 1076.2 269.436
Plingeling 587 [DEPRECATED] (complete)3263926UNSAT 1940.18 486.172
Plingeling 587f (fixed) (complete)3371104UNSAT 1945.33 488.101
CryptoMiniSat TechDemo-Alpha-mt (complete)3263913UNSAT 2879.62 721.313
riss Auto (1200 s timeout) (complete)3473009? (TO) 1200.08 1200.05
Black Hole SAT 2011-03-08 (complete)3263912? (TO) 1300.01 1300.01
sathys 2011-04-01 (complete)3263931? (TO) 1300.01 1300.01
sattime 2011-03-02 (incomplete)3263903? (TO) 1300.01 1300.01
shortsattime+ 2011-03-02 (incomplete)3263907? (TO) 1300.02 1300.01
shortsattime2011 2011-03-02 (incomplete)3263904? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3263902? (TO) 1300.03 1300.01
riss Auto (complete)3263921? (TO) 1300.04 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3263899? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3263906? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3263914? (TO) 1300.04 1300.01
riss 1.0 (complete)3263919? (TO) 1300.04 1300.01
riss Exp (complete)3263920? (TO) 1300.04 1300.01
MPhaseSAT_M 2011-02-16 (complete)3263900? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3263901? (TO) 1300.06 1300.03
sattime+ 2011-03-02 (incomplete)3263908? (TO) 1300.06 1300.01
tts 5-4 (complete)3263937? (TO) 1300.08 1300.04
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3263932? (TO) 1301.8 1300.05
priss UP (complete)3263922? (TO) 2424.71 1300.02
STRUCTure 0.1 (complete)3313128? (TO) 4800.07 1207.33
priss Auto (complete)3263923? (TO) 4800.09 1201.72
STRUCTure 0.1 (hbr=2) (complete)3311928? (TO) 4800.14 1207.53
ttsth 5-4 (complete)3263938? (TO) 4800.16 1201.78
priss 1.0 (complete)3263924? (TO) 4800.18 1201.72

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: