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

Result page for benchmark
SAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/sorge05/QG7/
dead-dnd003.shuffled-as.sat05-3109.cnf
MD5SUMd6a882056a7d77e09b3b073fbf028602
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark132.756
Satisfiable
(Un)Satisfiability was proved
Number of variables468
Number of clauses11753
Sum of the clauses size40843
Maximum clause length13
Minimum clause length1
Number of clauses of size 142
Number of clauses of size 21122
Number of clauses of size 38729
Number of clauses of size 4277
Number of clauses of size 5279
Number of clauses of size over 51304

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3265956UNSAT 132.756 132.565
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274788UNSAT 133.42 133.416
clasp 2.0-R4092-crafted (complete)3300487UNSAT 155.313 155.31
SAT07 reference solver: minisat SAT 2007 (complete)3274790UNSAT 170.796 170.792
MPhaseSAT64 2011-05-14 (fixed) (complete)3375608UNSAT 230.86 230.856
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274789UNSAT 250.435 250.436
claspmt 2.0-R4095 [DEPRECATED] (complete)3299587UNSAT 256.092 64.1194
SApperloT 2011-03-23 (complete)3265965UNSAT 257.593 257.587
QuteRSat 2011-03-01 [DEPRECATED] (complete)3265952UNSAT 269.142 269.135
claspmt 2.0-R4095-patched (fixed) (complete)3373208UNSAT 283.858 71.1842
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3265923UNSAT 294.31 294.303
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370508UNSAT 301.876 301.871
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3265942UNSAT 301.988 301.984
ppfolio seq (complete)3265958UNSAT 420.089 420.075
SApperloT2010 2011-05-15 (fixed) (complete)3379808UNSAT 420.561 420.552
riss Auto (1200 s timeout) (complete)3473076UNSAT 427.718 427.716
QuteRSat 2011-05-12 (fixed) (complete)3376808UNSAT 477.66 477.644
riss 1.0 (complete)3265943UNSAT 506.426 506.412
riss Auto (complete)3265945UNSAT 511.209 511.203
ppfolio par (complete)3265957UNSAT 559.938 140.176
riss Exp (complete)3265944UNSAT 563.201 563.187
Satisfiability Solver Selector 2011-03-18 (complete)3265959UNSAT 598.8 598.928
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3265963UNSAT 600.528 600.512
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3265941UNSAT 648.867 162.445
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369308UNSAT 723.292 181.753
glucose 2 (complete)3265960UNSAT 749.323 749.308
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366908UNSAT 893.717 224.087
Sol 2011-04-04 (complete)3265953UNSAT 1168.73 1159.22
CryptoMiniSat Strange-Night2-st (fixed) (complete)3368108UNSAT 1224.36 1224.33
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3265940UNSAT 1272.35 1272.33
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3265939UNSAT 1954.91 489.599
priss Auto (complete)3265947UNSAT 2258.7 565.472
priss 1.0 (complete)3265948UNSAT 2284.72 571.988
Plingeling 587 [DEPRECATED] (complete)3265950UNSAT 3654.65 916.071
Plingeling 587f (fixed) (complete)3371108UNSAT 3706.34 930.821
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449845? (TO) 1200.05 1200.15
sathys 2011-04-01 (complete)3265955? (TO) 1300.03 1300.01
shortsattime+ 2011-03-02 (incomplete)3265931? (TO) 1300.03 1300.01
MPhaseSAT_M 2011-02-16 (complete)3265924? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3265926? (TO) 1300.04 1300.01
PicoSAT 941 (complete)3265949? (TO) 1300.04 1300.01
sattime+ 2011-03-02 (incomplete)3265932? (TO) 1300.04 1300.01
Black Hole SAT 2011-03-08 (complete)3265936? (TO) 1300.04 1300.01
RestartSAT A75 (complete)3265934? (TO) 1300.04 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3265930? (TO) 1300.04 1300.01
rcl 2011-04-01 (complete)3265954? (TO) 1300.04 1300.01
RestartSAT B95 (complete)3265933? (TO) 1300.04 1300.01
Lingeling 587f (fixed) (complete)3371708? (TO) 1300.04 1300.01
Lingeling 587 [DEPRECATED] (complete)3265951? (TO) 1300.05 1300.01
sattime 2011-03-02 (incomplete)3265927? (TO) 1300.05 1300.01
shortsattime2011 2011-03-02 (incomplete)3265928? (TO) 1300.05 1300.01
UmSat 2011-05-12 (fixed) (complete)3379208? (TO) 1300.05 1300.02
MPhaseSAT 2011-02-15 (complete)3265922? (TO) 1300.05 1300.01
CryptoMiniSat TechDemo-Alpha-st (complete)3265938? (TO) 1300.06 1300.01
march_rw 2011-03-02 (complete)3265925? (TO) 1300.06 1300.01
synit_sat 2011-03-03 (complete)3265929? (TO) 1300.06 1300.01
tts 5-4 (complete)3265961? (TO) 1300.16 1300.13
jMiniSat 2011 (complete)3279985? (TO) 1300.58 1300.02
priss UP (complete)3265946? (TO) 2404.96 1300.02
STRUCTure 0.1 (complete)3313132? (TO) 4800.09 1207.43
SArTagnan 2011-03-24 [DEPRECATED] (complete)3265964? (TO) 4800.26 1201.75
ttsth 5-4 (complete)3265962? (TO) 4800.34 1202.4
STRUCTure 0.1 (hbr=2) (complete)3311932? (TO) 4800.35 1207.44
CryptoMiniSat TechDemo-Alpha-mt (complete)3265937? (TO) 4800.36 1201.72
SArTagnan 2011-05-15 (fixed) (complete)3386052? (TO) 4800.43 1201.75
UmSat 2011-02-25 [DEPRECATED] (complete)3265935Signal 0.05699 0.061916

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: