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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark3688.57
(Un)Satisfiability was proved
Number of variables7729
Number of clauses29194
Sum of the clauses size77124
Maximum clause length201
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 214904
Number of clauses of size 311692
Number of clauses of size 41614
Number of clauses of size 5463
Number of clauses of size over 5520

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007421901UNSAT 3688.57 3689.66
SATzilla CRAFTED455799UNSAT 5697.24 5698.83
MXC 2007-02-08367512UNSAT 6269.45 6271.24
CMUSAT 2007-02-08367273UNSAT 9969.44 9971.98
Siege V4422351? (TO) 10000 10003.4
Rsat 2007-02-08355647? (TO) 10000 10002.5
TiniSatELite 2007-02-08355774? (TO) 10000 10002.8
SAT7 2007-02-08370287? (TO) 10000.1 10003.5
picosat 535355902? (TO) 10000.1 10002.8
MiraXT v3459985? (TO) 10000.1 5013.03