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

Result page for benchmark
SAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/sorge05/QG6/
dead-dnd002.shuffled-as.sat05-2713.cnf
MD5SUM53d311456c8e25005c572fec79acd092
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark12.0082
Satisfiable
(Un)Satisfiability was proved
Number of variables1339
Number of clauses7095
Sum of the clauses size60253
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2289
Number of clauses of size 31520
Number of clauses of size 4130
Number of clauses of size 5168
Number of clauses of size over 54955

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370507UNSAT 12.0082 12.014
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3266074UNSAT 12.0442 12.045
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368107UNSAT 12.2331 12.2328
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3266072UNSAT 12.7671 12.7693
clasp 2.0-R4092-crafted (complete)3300486UNSAT 19.618 19.6169
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274797UNSAT 21.2188 21.2246
QuteRSat 2011-03-01 [DEPRECATED] (complete)3266084UNSAT 23.6274 23.6272
Satisfiability Solver Selector 2011-03-18 (complete)3266091UNSAT 24.84 24.977
riss 1.0 (complete)3266075UNSAT 26.053 26.0535
riss Auto (1200 s timeout) (complete)3473079UNSAT 28.1577 28.1584
riss Auto (complete)3266077UNSAT 28.4457 28.4448
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3266071UNSAT 28.5217 7.14666
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366907UNSAT 29.0176 7.27648
QuteRSat 2011-05-12 (fixed) (complete)3376807UNSAT 29.2656 29.2684
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3266073UNSAT 29.3675 7.35828
sathys 2011-04-01 (complete)3266087UNSAT 29.4365 29.4404
claspmt 2.0-R4095-patched (fixed) (complete)3373207UNSAT 30.9023 7.77166
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369307UNSAT 31.2223 7.83146
RestartSAT A75 (complete)3266066UNSAT 35.4406 35.4442
SAT07 reference solver: minisat SAT 2007 (complete)3274799UNSAT 36.5374 36.5394
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266088UNSAT 37.0524 36.1933
claspmt 2.0-R4095 [DEPRECATED] (complete)3299586UNSAT 38.8211 9.74392
synit_sat 2011-03-03 (complete)3266061UNSAT 41.8336 41.8339
RestartSAT B95 (complete)3266065UNSAT 41.9316 41.9314
riss Exp (complete)3266076UNSAT 46.4869 46.4856
SApperloT 2011-03-23 (complete)3266097UNSAT 48.7816 48.7807
SArTagnan 2011-05-15 (fixed) (complete)3386051UNSAT 49.1675 12.3526
ppfolio seq (complete)3266090UNSAT 52.402 52.4031
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266096UNSAT 53.9668 13.5235
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274798UNSAT 59.466 59.4647
MPhaseSAT_M 2011-02-16 (complete)3266056UNSAT 59.9149 59.9148
priss UP (complete)3266078UNSAT 63.9393 36.3903
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449848UNSAT 64.6 64.7125
MPhaseSAT 2011-02-15 (complete)3266054UNSAT 64.8761 64.8791
Sol 2011-04-04 (complete)3266085UNSAT 65.494 64.3726
ppfolio par (complete)3266089UNSAT 65.86 16.5299
glucose 2 (complete)3266092UNSAT 91.801 91.8037
Lingeling 587f (fixed) (complete)3371707UNSAT 101.728 101.726
priss 1.0 (complete)3266080UNSAT 102.029 25.5633
CryptoMiniSat TechDemo-Alpha-mt (complete)3266069UNSAT 107.341 27.1455
Lingeling 587 [DEPRECATED] (complete)3266083UNSAT 108.041 108.037
priss Auto (complete)3266079UNSAT 108.288 27.1277
UmSat 2011-05-12 (fixed) (complete)3379207UNSAT 119.234 119.238
SApperloT2010 2011-05-15 (fixed) (complete)3379807UNSAT 135.438 135.439
jMiniSat 2011 (complete)3279984UNSAT 280.991 280.3
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266095UNSAT 382.696 382.685
Plingeling 587f (fixed) (complete)3371107UNSAT 458.589 115.434
Plingeling 587 [DEPRECATED] (complete)3266082UNSAT 459.998 115.42
rcl 2011-04-01 (complete)3266086UNSAT 976.857 976.848
sattime 2011-03-02 (incomplete)3266059? (TO) 1300.02 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3266062? (TO) 1300.02 1300.01
sattime+ 2011-03-02 (incomplete)3266064? (TO) 1300.03 1300.01
sattime2011 2011-03-02 (incomplete)3266058? (TO) 1300.03 1300.01
shortsattime2011 2011-03-02 (incomplete)3266060? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3266068? (TO) 1300.04 1300.01
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3266055? (TO) 1300.04 1300.01
MPhaseSAT64 2011-05-14 (fixed) (complete)3375607? (TO) 1300.04 1300.02
shortsattime+ 2011-03-02 (incomplete)3266063? (TO) 1300.04 1300.01
PicoSAT 941 (complete)3266081? (TO) 1300.04 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3266070? (TO) 1300.05 1300.01
march_rw 2011-03-02 (complete)3266057? (TO) 1300.05 1300.01
tts 5-4 (complete)3266093? (TO) 1300.15 1300.12
STRUCTure 0.1 (complete)3313131? (TO) 4800.28 1207.05
ttsth 5-4 (complete)3266094? (TO) 4800.31 1215.66
STRUCTure 0.1 (hbr=2) (complete)3311931? (TO) 4800.43 1206.85
UmSat 2011-02-25 [DEPRECATED] (complete)3266067Signal 0.070988 0.072215

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: