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

Result page for benchmark
SAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/sorge05/QG8/
gensys-ukn007.shuffled-as.sat05-3586.cnf
MD5SUM312775ce47b8a7594b8f60875df3f4f2
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.047991
Satisfiable
(Un)Satisfiability was proved
Number of variables583
Number of clauses54220
Sum of the clauses size242460
Maximum clause length9
Minimum clause length1
Number of clauses of size 136
Number of clauses of size 22600
Number of clauses of size 310808
Number of clauses of size 456
Number of clauses of size 540376
Number of clauses of size over 5344

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SApperloT 2011-03-23 (complete)3266009UNSAT 0.047991 0.0512411
PicoSAT 941 (complete)3265993UNSAT 0.075988 0.076092
glucose 2 (complete)3266004UNSAT 0.177972 0.181068
Plingeling 587 [DEPRECATED] (complete)3265994UNSAT 0.18997 0.247484
Plingeling 587f (fixed) (complete)3370986UNSAT 0.19097 0.111235
rcl 2011-04-01 (complete)3265998UNSAT 0.212967 0.212782
MPhaseSAT 2011-02-15 (complete)3265966UNSAT 0.228964 0.232405
sathys 2011-04-01 (complete)3265999UNSAT 0.235963 0.237051
MPhaseSAT_M 2011-02-16 (complete)3265968UNSAT 0.245962 0.246495
RestartSAT B95 (complete)3265977UNSAT 0.298954 0.300692
RestartSAT A75 (complete)3265978UNSAT 0.302953 0.304244
SApperloT2010 2011-05-15 (fixed) (complete)3379686UNSAT 0.331949 0.333402
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3266007UNSAT 0.374942 0.375999
UmSat 2011-05-12 (fixed) (complete)3379086UNSAT 0.414935 0.418317
clasp 2.0-R4092-crafted (complete)3300365UNSAT 0.422935 0.423965
SArTagnan 2011-05-15 (fixed) (complete)3385930UNSAT 0.475926 0.153616
claspmt 2.0-R4095 [DEPRECATED] (complete)3299465UNSAT 0.476927 0.426049
SArTagnan 2011-03-24 [DEPRECATED] (complete)3266008UNSAT 0.477926 0.153034
claspmt 2.0-R4095-patched (fixed) (complete)3373086UNSAT 0.477926 0.420851
jMiniSat 2011 (complete)3279863UNSAT 0.550915 0.348407
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274791UNSAT 0.563913 0.569714
Sol 2011-04-04 (complete)3265997UNSAT 0.579911 0.552093
SAT07 reference solver: minisat SAT 2007 (complete)3274793UNSAT 0.624904 0.624554
CryptoMiniSat TechDemo-Alpha-st (complete)3265982UNSAT 0.667897 0.678487
Lingeling 587f (fixed) (complete)3371586UNSAT 0.830873 0.842052
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367986UNSAT 0.835872 0.835321
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274792UNSAT 0.860868 0.861966
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370386UNSAT 0.863867 0.864888
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3265986UNSAT 0.867867 0.868809
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3266000UNSAT 0.877866 0.513867
Lingeling 587 [DEPRECATED] (complete)3265995UNSAT 0.890864 0.892128
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3265984UNSAT 0.910861 0.912468
ppfolio seq (complete)3266002UNSAT 1.44878 1.44978
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3265967UNSAT 1.51177 1.51329
riss 1.0 (complete)3265987UNSAT 1.55276 1.55492
riss Auto (complete)3265989UNSAT 1.56676 1.56731
MPhaseSAT64 2011-05-14 (fixed) (complete)3375486UNSAT 1.62275 1.62441
priss UP (complete)3265990UNSAT 1.63375 1.62308
riss Exp (complete)3265988UNSAT 1.69174 1.6935
riss Auto (1200 s timeout) (complete)3473077UNSAT 1.78573 1.7862
ppfolio par (complete)3266001UNSAT 1.9797 0.498946
march_rw 2011-03-02 (complete)3265969UNSAT 2.41663 2.41746
CryptoMiniSat TechDemo-Alpha-mt (complete)3265981UNSAT 2.84856 0.790093
QuteRSat 2011-03-01 [DEPRECATED] (complete)3265996UNSAT 3.43048 3.434
QuteRSat 2011-05-12 (fixed) (complete)3376686UNSAT 3.43048 3.43073
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366786UNSAT 3.48547 0.881543
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3265983UNSAT 3.50947 0.885346
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369186UNSAT 3.68144 0.927888
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3265985UNSAT 3.87041 1.00521
synit_sat 2011-03-03 (complete)3265973UNSAT 3.9684 3.96929
STRUCTure 0.1 (complete)3313010UNSAT 4.95525 2.43441
STRUCTure 0.1 (hbr=2) (complete)3311810UNSAT 5.08123 2.65729
Black Hole SAT 2011-03-08 (complete)3265980UNSAT 7.94479 7.94534
priss 1.0 (complete)3265992UNSAT 8.80866 2.24307
priss Auto (complete)3265991UNSAT 8.84165 2.25563
tts 5-4 (complete)3266005UNSAT 12.4921 12.4922
Satisfiability Solver Selector 2011-03-18 (complete)3266003UNSAT 14.95 15.068
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449846UNSAT 17.03 17.1865
ttsth 5-4 (complete)3266006UNSAT 24.9992 6.81128
sattime+ 2011-03-02 (incomplete)3265976? (TO) 1300.02 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3265974? (TO) 1300.04 1300.01
sattime 2011-03-02 (incomplete)3265971? (TO) 1300.04 1300.01
shortsattime+ 2011-03-02 (incomplete)3265975? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3265970? (TO) 1300.04 1300.01
shortsattime2011 2011-03-02 (incomplete)3265972? (TO) 1300.05 1300.01
UmSat 2011-02-25 [DEPRECATED] (complete)3265979Signal 0.312952 0.313795

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: