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 benchmark3766.93
(Un)Satisfiability was proved
Number of variables252328
Number of clauses1189896
Sum of the clauses size2752826
Maximum clause length10
Minimum clause length1
Number of clauses of size 118837
Number of clauses of size 2919648
Number of clauses of size 3204591
Number of clauses of size 45200
Number of clauses of size 520800
Number of clauses of size over 520820

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535355862SAT 3766.93 3768.46
MiraXT v3459929? (MO) 3912.96 1974.58
SATzilla CRAFTED455743? (MO) 4397.65 4399.52
minisat SAT 2007421855? (MO) 4452.06 4453.79
TiniSatELite 2007-02-08355731? (MO) 4724.58 4726.01
CMUSAT 2007-02-08367232? (MO) 6382.29 6384.7
Siege V4422295? (TO) 10000 10003.1
Rsat 2007-02-08355603? (TO) 10000.1 10002.9
MXC 2007-02-08367466? (TO) 10000.3 10002.6
SAT7 2007-02-08370238? (TO) 10000.4 10003.4