SAT 2007 Competition Phase 2: solvers results per benchmarks

Result page for benchmark

Jump to solvers results

General information on the benchmark

Bench CategoryINDUST (industrial instances)
Best result obtained on this benchmarkSAT
Best CPU time to get the best result obtained on this benchmark464.515
(Un)Satisfiability was proved
Number of variables218494
Number of clauses1013700
Sum of the clauses size2333596
Maximum clause length10
Minimum clause length1
Number of clauses of size 116379
Number of clauses of size 2796846
Number of clauses of size 3159775
Number of clauses of size 44520
Number of clauses of size 518080
Number of clauses of size over 518100

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiraXT v3459943SAT 464.515 247.745
picosat 535356278SAT 668.12 668.312
Rsat 2007-02-08355613SAT 3333.92 3335.37
Siege V4422309SAT 4349.12 4350.52
minisat SAT 2007421868? (MO) 4234.29 4235.89
TiniSatELite 2007-02-08355739? (MO) 4265.75 4267.51
SATzilla CRAFTED455757? (MO) 4413.35 4415.22
CMUSAT 2007-02-08367240? (MO) 6423.81 6425.79
SAT7 2007-02-08370251? (MO) 6830.36 6832.5
MXC 2007-02-08367478? (TO) 10000.2 10003.3