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 benchmark1156.48
(Un)Satisfiability was proved
Number of variables185984
Number of clauses773809
Sum of the clauses size1985941
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2549010
Number of clauses of size 3145446
Number of clauses of size 427594
Number of clauses of size 515719
Number of clauses of size over 533968

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiraXT v3460134SAT 1156.48 585.449
CMUSAT 2007-02-08367353SAT 3004.42 3005.63
TiniSatELite 2007-02-08355849SAT 3078.55 3079.59
Rsat 2007-02-08355717SAT 4916.11 4917.57
picosat 535355979SAT 6453.63 6456.07
minisat SAT 2007421979SAT 7504.01 7506.36
SAT7 2007-02-08370389SAT 9034.69 9038.38
SATzilla CRAFTED455996? 9998.6 10001.3
Siege V4422500? (TO) 10000.1 10003.1
MXC 2007-02-08367602? (TO) 10000.2 10002.8