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

Result page for benchmark
SAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf

Jump to solvers results

General information on the benchmark

NameSAT05/crafted/sabharwal05/counting/php/unsat/
easier/php-010-008.shuffled-as.sat05-1171.cnf
MD5SUM421970908f111607c59182237109849e
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark0.029994
Satisfiable
(Un)Satisfiability was proved
Number of variables80
Number of clauses370
Sum of the clauses size800
Maximum clause length8
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 2360
Number of clauses of size 30
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 510

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
tts 5-4 (complete)3265169UNSAT 0.029994 0.030301
ttsth 5-4 (complete)3265170UNSAT 0.05999 0.0234069
Sol 2011-04-04 (complete)3265161UNSAT 0.095984 0.0981161
march_rw 2011-03-02 (complete)3265133UNSAT 0.271958 0.275281
SAT09 reference solver: clasp 1.2.0-SAT09-32 (complete)3274734UNSAT 0.425935 0.430464
SAT07 reference solver: minisat SAT 2007 (complete)3274736UNSAT 0.45393 0.453343
SAT09 reference solver: SATzilla2009_C 2009-03-22 (complete)3274735UNSAT 0.485925 0.487662
clasp 2.0-R4092-crafted (complete)3300362UNSAT 0.542916 0.550045
PicoSAT 941 (complete)3265157UNSAT 0.543917 0.546257
synit_sat 2011-03-03 (complete)3265137UNSAT 0.732888 0.73889
Black Hole SAT 2011-03-08 (complete)3265144UNSAT 0.758884 0.764986
UmSat 2011-02-25 [DEPRECATED] (complete)3265143UNSAT 0.789879 0.790143
QuteRSat 2011-03-01 [DEPRECATED] (complete)3265160UNSAT 0.862868 0.864483
glucose 2 (complete)3265168UNSAT 0.863868 0.867343
QuteRSat 2011-05-12 (fixed) (complete)3376683UNSAT 0.866867 0.868219
claspmt 2.0-R4095-patched (fixed) (complete)3373083UNSAT 0.880865 0.226591
UmSat 2011-05-12 (fixed) (complete)3379083UNSAT 0.880865 0.880626
claspmt 2.0-R4095 [DEPRECATED] (complete)3299462UNSAT 0.999847 0.257149
RestartSAT B95 (complete)3265141UNSAT 1.00385 1.00927
SApperloT 2011-03-23 (complete)3265173UNSAT 1.22681 1.22832
CryptoMiniSat Strange-Night2-st (fixed) (complete)3367983UNSAT 1.3158 1.31567
CryptoMiniSat Strange-Night2-st [DEPRECATED] (complete)3265148UNSAT 1.3178 1.32168
SApperloT2010 2011-03-04 [DEPRECATED] (complete)3265171UNSAT 1.38279 1.38296
CryptoMiniSat Strange-Night-1-st [DEPRECATED] (complete)3265150UNSAT 1.39279 1.39659
CryptoMiniSat Strange-Night-1-st (fixed) (complete)3370383UNSAT 1.39279 1.39837
jMiniSat 2011 (complete)3279860UNSAT 1.42778 0.9105
Lingeling 587f (fixed) (complete)3371583UNSAT 1.49677 1.49719
Lingeling 587 [DEPRECATED] (complete)3265159UNSAT 1.57676 1.57733
MPhaseSAT64 2011-05-14 (fixed) (complete)3375483UNSAT 1.62675 1.62738
SAT4J core 2.3.0 SNAPSHOT 2011-02-06 (complete)3265164UNSAT 1.63575 1.04391
rcl 2011-04-01 (complete)3265162UNSAT 1.69174 1.69323
SApperloT2010 2011-05-15 (fixed) (complete)3379683UNSAT 1.89271 1.89346
RestartSAT A75 (complete)3265142UNSAT 1.9657 1.96561
MPhaseSAT64 2011-03-03 [DEPRECATED] (complete)3265131UNSAT 1.99969 2.00083
ppfolio seq (complete)3265166UNSAT 2.07068 2.07671
riss 1.0 (complete)3265151UNSAT 2.12068 2.12147
riss Auto (complete)3265153UNSAT 2.31665 2.32209
riss Exp (complete)3265152UNSAT 2.39863 2.39969
ppfolio par (complete)3265165UNSAT 2.47762 0.623572
SArTagnan 2011-05-15 (fixed) (complete)3385927UNSAT 2.77458 1.15789
Plingeling 587 [DEPRECATED] (complete)3265158UNSAT 2.94955 0.996505
Plingeling 587f (fixed) (complete)3370983UNSAT 2.96855 1.01337
Satisfiability Solver Selector 2011-03-18 (complete)3265167UNSAT 3.00254 4.49381
riss Auto (1200 s timeout) (complete)3473058UNSAT 3.11353 3.11593
MPhaseSAT 2011-02-15 (complete)3265130UNSAT 3.23451 3.23828
MPhaseSAT_M 2011-02-16 (complete)3265132UNSAT 3.23851 3.24041
CryptoMiniSat Strange-Night-2-mt (fixed) (complete)3366783UNSAT 3.49347 0.879753
CryptoMiniSat Strange-Night-2-mt [DEPRECATED] (complete)3265147UNSAT 3.50147 0.879988
priss UP (complete)3265154UNSAT 3.76243 2.54597
Satisfiability Solver Selector 2011-03-18 (1200 s timeout) (complete)3449827UNSAT 4.14 4.21275
SArTagnan 2011-03-24 [DEPRECATED] (complete)3265172UNSAT 4.30934 1.08445
CryptoMiniSat Strange-Night-1-mt (fixed) (complete)3369183UNSAT 4.34334 1.12759
CryptoMiniSat Strange-Night-1-mt [DEPRECATED] (complete)3265149UNSAT 4.35134 1.1292
STRUCTure 0.1 (hbr=2) (complete)3311807UNSAT 4.36134 1.84181
CryptoMiniSat TechDemo-Alpha-st (complete)3265146UNSAT 4.55031 4.56241
STRUCTure 0.1 (complete)3313007UNSAT 5.99109 2.28833
sathys 2011-04-01 (complete)3265163UNSAT 7.08092 7.08372
priss 1.0 (complete)3265156UNSAT 7.99178 2.01165
priss Auto (complete)3265155UNSAT 9.8465 2.47452
CryptoMiniSat TechDemo-Alpha-mt (complete)3265145UNSAT 20.5849 5.22004
shortsattime2011 2011-03-02 (incomplete)3265136? (TO) 1300.01 1300.01
sattime 2011-03-02 (incomplete)3265135? (TO) 1300.03 1300.01
sattime+ 2011-03-02 (incomplete)3265140? (TO) 1300.04 1300.01
sattime2011 2011-03-02 (incomplete)3265134? (TO) 1300.05 1300.01
adaptg2wsat2011 2011-03-02 (incomplete)3265138? (TO) 1300.05 1300.01
shortsattime+ 2011-03-02 (incomplete)3265139? (TO) 1300.06 1300.01

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: