SAT 2007 Competition Phase 1: solvers results per benchmarks

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

Jump to solvers results

General information on the benchmark

Namecrafted/Difficult/contest05/QG/
QG6-gensys-brn007.sat05-2684.reshuffled-07.cnf
MD5SUM749c079607e9e37c206eeb8bd5b8bfaf
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark71.1292
Satisfiable
(Un)Satisfiability was proved
Number of variables1477
Number of clauses7809
Sum of the clauses size65959
Maximum clause length16
Minimum clause length1
Number of clauses of size 133
Number of clauses of size 2289
Number of clauses of size 31172
Number of clauses of size 4124
Number of clauses of size 5894
Number of clauses of size over 55297

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minimarch 2007-02-08338110UNSAT 0.037993 0.0396249
minisat SAT 2007421812UNSAT 71.1292 71.1467
minisat SAT 2007 (with assertions)338109UNSAT 72.47 72.4964
CMUSAT 2007-02-08338121UNSAT 182.859 183
SATzilla FULL338136UNSAT 228.635 228.717
MiraXT v2338129UNSAT 299.264 299.354
MXC 2007-02-08338107UNSAT 320.93 321.025
minimarch 2007-04-26 (fixed)428931UNSAT 375.954 376.067
MiraXT v3338128UNSAT 380.343 190.92
MiraXT v1338130UNSAT 438.798 438.813
SAT7 2007-02-08338101UNSAT 879.604 879.832
SAT4J SAT 2007338096UNSAT 880.934 880.821
Spear 2007-02-12338133UNSAT 1148.39 1148.76
KCNFS 2004338114? 0.001998 0.00519704
SATzilla CRAFTED338135? (exit code) 1199.29 1200.25
SATzilla RANDOM338134? (exit code) 1199.39 1199.75
DEWSATZ 1A 2007-02-08338118? (TO) 1200.02 1200.31
DEWSATZ 2007-02-08338119? (TO) 1200.02 1200.41
saps 2007-02-08338103? (TO) 1200.03 1200.51
CMUSAT BASE 2007-02-08338120? (TO) 1200.03 1200.32
Rsat 2007-02-08338104? (TO) 1200.04 1200.52
adaptg2wsat0 2007-02-08338126? (TO) 1200.04 1200.41
Barcelogic Fixed 2007-04-13347758? (TO) 1200.04 1200.61
ranov 2007-02-08338105? (TO) 1200.05 1200.41
TTS 4.0338098? (TO) 1200.05 1200.44
adaptnovelty 2007-02-08338123? (TO) 1200.05 1200.41
ornithorynque 0.1 alpha338137? (TO) 1200.06 601.324
sapsrt 2007-02-08338102? (TO) 1200.06 1200.41
adaptg2wsat+ 2007-02-08338124? (TO) 1200.06 1200.41
FH 2007-02-08338117? (TO) 1200.07 1200.41
Hybrid1 2007-02-08338115? (TO) 1200.07 1200.41
adaptg2wsat 2007-02-08338127? (TO) 1200.07 1200.51
Spear FHS 1.0338131? (TO) 1200.07 1200.52
UnitMarch 2007-02-08338097? (TO) 1200.08 1200.41
picosat 535338106? (TO) 1200.08 1200.41
tinisat 2007-02-08338100? (TO) 1200.09 1200.42
adaptg2wsatp 2007-02-08338125? (TO) 1200.09 1200.41
KCNFS 2006338113? (TO) 1200.09 1200.41
DEWSATZ 2007-04-26 (fixed)428930? (TO) 1200.09 1200.51
TiniSatELite 2007-02-08338099? (TO) 1200.1 1200.51
gnovelty+ 2007-02-08338116? (TO) 1200.1 1200.51
March KS 2007-02-08338111? (TO) 1200.1 1200.51
barcelogic 2007-02-08338122? (TO) 1200.11 1201.01
Spear FH 1.0338132? (TO) 1200.12 1200.52
KCNFS SMP338112? (TO) 1200.23 601.813
Mmisat 2007-02-08338108Signal 17.6723 17.6791