SAT 2007 Competition Phase 1: solvers results per benchmarks

Result page for benchmark
crafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf

Jump to solvers results

General information on the benchmark

Namecrafted/Medium/contest05/others/
pmg-11-UNSAT.sat05-3939.reshuffled-07.cnf
MD5SUMab810788a5ff5edde690e75706c8dd18
Bench CategoryCRAFTED (crafted instances)
Best result obtained on this benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark212.424
Satisfiable
(Un)Satisfiability was proved
Number of variables169
Number of clauses562
Sum of the clauses size1684
Maximum clause length3
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 22
Number of clauses of size 3560
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
DEWSATZ 1A 2007-02-08333288UNSAT 212.424 212.483
SATzilla RANDOM333304UNSAT 297.341 297.44
minimarch 2007-02-08333280UNSAT 407.88 408.025
minisat SAT 2007421697UNSAT 565.008 565.148
minisat SAT 2007 (with assertions)333279UNSAT 587.083 587.266
minimarch 2007-04-26 (fixed)428701UNSAT 751.995 752.201
March KS 2007-02-08333281UNSAT 783.008 783.323
KCNFS SMP333282UNSAT 924.566 579.117
KCNFS 2006333283UNSAT 947.764 948.038
SATzilla FULL333306UNSAT 1037.41 1037.84
SATzilla CRAFTED333305UNSAT 1037.74 1038.17
KCNFS 2004333284UNSAT 1055 1055.38
SAT7 2007-02-08333271UNSAT 1196.57 1196.65
Rsat 2007-02-08333274? (exit code) 0.025995 0.028156
DEWSATZ 2007-04-26 (fixed)428700? (TO) 1200.01 1200.31
Barcelogic Fixed 2007-04-13347643? (TO) 1200.02 1200.51
barcelogic 2007-02-08333292? (TO) 1200.03 1200.41
adaptnovelty 2007-02-08333293? (TO) 1200.03 1200.11
Spear FHS 1.0333301? (TO) 1200.04 1200.52
gnovelty+ 2007-02-08333286? (TO) 1200.04 1200.41
CMUSAT BASE 2007-02-08333290? (TO) 1200.05 1200.92
adaptg2wsatp 2007-02-08333295? (TO) 1200.05 1200.51
Hybrid1 2007-02-08333285? (TO) 1200.05 1200.41
saps 2007-02-08333273? (TO) 1200.06 1200.51
adaptg2wsat0 2007-02-08333296? (TO) 1200.06 1200.51
adaptg2wsat 2007-02-08333297? (TO) 1200.06 1200.41
UnitMarch 2007-02-08333267? (TO) 1200.06 1200.41
DEWSATZ 2007-02-08333289? (TO) 1200.06 1200.41
tinisat 2007-02-08333270? (TO) 1200.07 1200.42
SAT4J SAT 2007333266? (TO) 1200.07 1200.06
TiniSatELite 2007-02-08333269? (TO) 1200.07 1200.41
Mmisat 2007-02-08333278? (TO) 1200.09 1200.41
MXC 2007-02-08333277? (TO) 1200.09 1200.51
MiraXT v2333299? (TO) 1200.09 1200.42
Spear FH 1.0333302? (TO) 1200.1 1200.52
sapsrt 2007-02-08333272? (TO) 1200.1 1200.41
adaptg2wsat+ 2007-02-08333294? (TO) 1200.1 1200.41
CMUSAT 2007-02-08333291? (TO) 1200.1 1200.42
ornithorynque 0.1 alpha333307? (TO) 1200.11 601.624
picosat 535333276? (TO) 1200.11 1200.41
FH 2007-02-08333287? (TO) 1200.11 1200.41
MiraXT v3333298? (TO) 1200.11 601.627
MiraXT v1333300? (TO) 1200.11 1200.42
ranov 2007-02-08333275? (TO) 1200.12 1200.41
Spear 2007-02-12333303? (TO) 1200.12 1200.62
TTS 4.0333268? (TO) 1200.14 1200.49