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

Result page for benchmark
crafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Difficult/contest05/QG/
QG6-gensys-icl004.sat05-2716.reshuffled-07.cnf
MD5SUMdd374701f9b3db5a8ac095414c025d77
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark64.4682
Satisfiable
(Un)Satisfiability was proved
Number of variables1605
Number of clauses8025
Sum of the clauses size68677
Maximum clause length16
Minimum clause length1
Number of clauses of size 127
Number of clauses of size 2247
Number of clauses of size 31142
Number of clauses of size 4106
Number of clauses of size 5888
Number of clauses of size over 55615

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
clasp 1.2.0-SAT09-32 (complete)1730013UNSAT 64.4682 64.487
SApperloT base (complete)1730014UNSAT 84.9581 84.983
VARSAT-random 2009-03-22 (complete)1730041UNSAT 89.7154 89.7411
Rsat 2009-03-22 (complete)1730046UNSAT 90.0963 90.1343
SAT07 reference solver: minisat SAT 2007 (complete)1730055UNSAT 92.8619 92.8939
CircUs 2009-03-23 (complete)1730045UNSAT 97.6512 97.6777
kw 2009-03-20 (complete)1730006UNSAT 98.943 98.9702
VARSAT-industrial 2009-03-22 (complete)1730040UNSAT 107.031 107.058
SATzilla2009_C 2009-03-22 (complete)1730030UNSAT 113.091 113.15
SATzilla2009_I 2009-03-22 (complete)1730031UNSAT 114.691 114.756
LySAT c/2009-03-20 (complete)1730017UNSAT 119.138 119.192
MiniSat 2.1 (Sat-race'08 Edition) (complete)1730047UNSAT 133.594 133.633
VARSAT-crafted 2009-03-22 (complete)1730039UNSAT 138.824 138.871
ManySAT 1.1 aimd 2/2009-03-20 (complete)1730020UNSAT 145.927 73.2019
precosat 236 (complete)1730012UNSAT 151.248 151.291
ManySAT 1.1 aimd 0/2009-03-20 (complete)1730018UNSAT 165.91 83.2218
ManySAT 1.1 aimd 1/2009-03-20 (complete)1730019UNSAT 166.48 83.5084
IUT_BMB_SAT 1.0 (complete)1730028UNSAT 175.812 175.892
glucose 1.0 (complete)1730008UNSAT 183.039 183.124
MXC 2009-03-10 (complete)1730009UNSAT 230.525 230.588
SApperloT hrp (complete)1730015UNSAT 246.48 246.545
LySAT i/2009-03-20 (complete)1730016UNSAT 253.028 253.098
SAT07 reference solver: SATzilla CRAFTED (complete)1730056UNSAT 270.485 270.612
HydraSAT-Flat 2009-03-22-Flat (complete)1730024UNSAT 318.667 318.805
HydraSAT 2009-03-22-Base (complete)1730025UNSAT 353.656 353.777
HydraSAT-Multi 2009-03-22-Multi (complete)1730023UNSAT 355.731 355.901
MoRsat 2009-03-03 (complete)1730007UNSAT 455.781 455.914
picosat 913 (complete)1730011UNSAT 458.648 458.748
MiniSAT 09z 2009-03-22 (complete)1832324UNSAT 465.916 466.046
SAT4J CORE 2.1 RC1 (complete)1730005UNSAT 500.259 499.823
minisat_cumr p-2009-03-18 (complete)1832323UNSAT 614.161 614.508
SATzilla2009_R 2009-03-22 (complete)1730029? (exit code) 1199.36 1200.03
SAT07 reference solver: March KS 2007-02-08 (complete)1730057? (TO) 1200.03 1200.71
gNovelty+-V.2-T 2009-03-22 (incomplete)1730053? (TO) 1200.04 601.718
iPAWS 2009-03-22 (incomplete)1730021? (TO) 1200.04 1200.51
gnovelty+2 2009-03-22 (incomplete)1730049? (TO) 1200.05 1200.41
CSat 2009-03-22 (complete)1730022? (TO) 1200.05 1200.41
march_hi hi (complete)1730026? (TO) 1200.06 1200.41
hybridGM3 3 (incomplete)1730036? (TO) 1200.06 1200.41
gnovelty+2-H 2009-03-22 (incomplete)1730048? (TO) 1200.06 1200.41
adaptg2wsat2009 2009-03-23 (incomplete)1730043? (TO) 1200.07 1200.41
march_nn nn (complete)1730027? (TO) 1200.07 1200.42
adaptg2wsat2009++ 2009-03-23 (incomplete)1730044? (TO) 1200.08 1200.41
Hybrid2 2009-03-22 (incomplete)1730032? (TO) 1200.08 1200.51
slstc 1.0 (incomplete)1730042? (TO) 1200.08 1200.51
TNM 2009-03-22 (incomplete)1730034? (TO) 1200.09 1200.51
hybridGM 1 (incomplete)1730035? (TO) 1200.09 1200.41
NCVWr 2009-03-22 (incomplete)1730033? (TO) 1200.09 1200.41
hybridGM7 7 (incomplete)1730037? (TO) 1200.1 1200.53
gnovelty+ 2009-03-22 (incomplete)1730038? (TO) 1200.11 1200.42
tts tts-5-0 (complete)1730010? (TO) 1200.15 1200.03
satake 2009-03-22 (complete)1730054? (TO) 1200.2 622.45
gNovelty+-T 2009-03-22 (incomplete)1730051? (TO) 1200.21 601.728
gNovelty+-V.2-T-H 2009-03-22 (incomplete)1730052? (TO) 1200.21 601.813
ttsth-5-0 2009-03-19 (complete)1730050? (TO) 1200.33 602.084

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: