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 benchmark1007.48
(Un)Satisfiability was proved
Number of variables102304
Number of clauses424929
Sum of the clauses size1088741
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2300970
Number of clauses of size 379606
Number of clauses of size 415114
Number of clauses of size 58599
Number of clauses of size over 518568

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiraXT v3460122SAT 1007.48 508.138
SATzilla CRAFTED455984SAT 3974.69 3975.8
picosat 535355969SAT 4153.88 4155.11
Rsat 2007-02-08355709SAT 8492.64 8494.83
Siege V4422488? (TO) 10000 10003.5
minisat SAT 2007421970? (TO) 10000.1 10003.8
MXC 2007-02-08367592? (TO) 10000.1 10003.4
TiniSatELite 2007-02-08355839? (TO) 10000.1 10006.3
SAT7 2007-02-08370377? (TO) 10000.2 10002.7
CMUSAT 2007-02-08367342? (TO) 10000.2 10003.1