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

Result page for benchmark
APPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf

Jump to solvers results

General information on the benchmark

NameAPPLICATIONS/bioinfo/
q_query_3_l40_lambda.cnf
MD5SUM660e95de0ccce382abc30cb1546100bc
Bench CategoryAPPLICATION (applications instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark2.54361
Satisfiable
(Un)Satisfiability was proved
Number of variables28488
Number of clauses140544
Sum of the clauses size404432
Maximum clause length9
Minimum clause length1
Number of clauses of size 13800
Number of clauses of size 235941
Number of clauses of size 381078
Number of clauses of size 413589
Number of clauses of size 56016
Number of clauses of size over 5120

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
SATzilla2009_I 2009-03-22 (complete)1562637SAT 2.54361 2.54679
picosat 913 (complete)1562617SAT 3.50547 3.51979
precosat 236 (complete)1562618SAT 5.14122 5.16505
SAT07 reference solver: Rsat 2007-02-08 (complete)1562661SAT 5.17921 5.24918
MiniSAT 09z 2009-03-22 (complete)1833796SAT 6.03308 6.0374
LySAT i/2009-03-20 (complete)1562622SAT 6.65299 6.65883
SATzilla2009_C 2009-03-22 (complete)1562636SAT 7.54785 7.56309
ManySAT 1.1 aimd 1/2009-03-20 (complete)1562625SAT 8.17775 4.66184
kw 2009-03-20 (complete)1562612SAT 9.10162 9.10466
ManySAT 1.1 aimd 2/2009-03-20 (complete)1562626SAT 9.11661 5.15537
MiniSat 2.1 (Sat-race'08 Edition) (complete)1562653SAT 9.13061 9.13303
glucose 1.0 (complete)1562614SAT 9.34258 9.35731
SAT07 reference solver: picosat 535 (complete)1562662SAT 9.8435 9.85523
MXC 2009-03-10 (complete)1562615SAT 12.4531 12.4567
Rsat 2009-03-22 (complete)1562652SAT 15.3277 15.3315
MoRsat 2009-03-03 (complete)1562613SAT 16.1585 16.1648
IUT_BMB_SAT 1.0 (complete)1562634SAT 24.0803 24.1008
ManySAT 1.1 aimd 0/2009-03-20 (complete)1562624SAT 24.3613 12.7586
SApperloT hrp (complete)1562621SAT 29.5665 29.5741
CircUs 2009-03-23 (complete)1562651SAT 31.6832 31.702
SATzilla2009_R 2009-03-22 (complete)1562635SAT 32.5341 32.5509
SApperloT base (complete)1562620SAT 34.4768 34.4896
HydraSAT 2009-03-22-Base (complete)1562631SAT 42.5175 42.5337
LySAT c/2009-03-20 (complete)1562623SAT 49.5405 49.7256
VARSAT-industrial 2009-03-22 (complete)1562646SAT 56.4994 56.5231
CSat 2009-03-22 (complete)1562628SAT 58.0352 58.0649
HydraSAT-Flat 2009-03-22-Flat (complete)1562630SAT 61.5786 61.6017
minisat_cumr p-2009-03-18 (complete)1833795SAT 68.5296 68.6067
clasp 1.2.0-SAT09-32 (complete)1562619SAT 77.7682 77.8048
VARSAT-crafted 2009-03-22 (complete)1562645SAT 105.529 105.559
HydraSAT-Multi 2009-03-22-Multi (complete)1562629SAT 109.6 109.631
satake 2009-03-22 (complete)1562660SAT 134.386 69.1189
SAT4J CORE 2.1 RC1 (complete)1562611SAT 208.195 212.821
ttsth-5-0 2009-03-19 (complete)1562656? (MO) 1198.92 607.472
hybridGM3 3 (incomplete)1562642? (TO) 1200.02 1200.31
gnovelty+2 2009-03-22 (incomplete)1562655? (TO) 1200.02 1200.31
adaptg2wsat2009++ 2009-03-23 (incomplete)1562650? (TO) 1200.06 1200.51
VARSAT-random 2009-03-22 (complete)1562647? (TO) 1200.06 1200.41
march_hi hi (complete)1562632? (TO) 1200.07 1200.42
hybridGM 1 (incomplete)1562641? (TO) 1200.07 1200.41
gnovelty+ 2009-03-22 (incomplete)1562644? (TO) 1200.07 1200.42
NCVWr 2009-03-22 (incomplete)1562639? (TO) 1200.08 1200.41
slstc 1.0 (incomplete)1562648? (TO) 1200.08 1200.41
TNM 2009-03-22 (incomplete)1562640? (TO) 1200.09 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1562654? (TO) 1200.1 1200.51
Hybrid2 2009-03-22 (incomplete)1562638? (TO) 1200.1 1200.51
iPAWS 2009-03-22 (incomplete)1562627? (TO) 1200.11 1200.41
hybridGM7 7 (incomplete)1562643? (TO) 1200.11 1200.41
adaptg2wsat2009 2009-03-23 (incomplete)1562649? (TO) 1200.12 1200.41
march_nn nn (complete)1562633? (TO) 1200.12 1200.42
gNovelty+-T 2009-03-22 (incomplete)1562657? (TO) 1200.13 602.026
tts tts-5-0 (complete)1562616? (TO) 1200.14 1200.49
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1562658? (TO) 1200.14 601.516
gNovelty+-V.2-T 2009-03-22 (incomplete)1562659? (TO) 1200.15 601.514

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:
--too large--