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 benchmark1102.68
(Un)Satisfiability was proved
Number of variables27142
Number of clauses95880
Sum of the clauses size233558
Maximum clause length31
Minimum clause length1
Number of clauses of size 164
Number of clauses of size 269004
Number of clauses of size 325020
Number of clauses of size 4224
Number of clauses of size 5167
Number of clauses of size over 51401

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356311UNSAT 1102.68 1103.15
SATzilla CRAFTED455806UNSAT 2271.53 2272.2
minisat SAT 2007421908UNSAT 3093.74 3094.84
MiraXT v3459992UNSAT 8430.17 4229.46
MXC 2007-02-08367519UNSAT 9704.1 9706.83
TiniSatELite 2007-02-08355781UNSAT 9741.9 9745.55
SAT7 2007-02-08370294? (TO) 10000 10003.1
Siege V4422358? (TO) 10000 10003.7
picosat 535355909? (TO) 10000 9999.91
CMUSAT 2007-02-08367280? (TO) 10000.1 10003.1