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 benchmark379.486
(Un)Satisfiability was proved
Number of variables123224
Number of clauses512149
Sum of the clauses size1313041
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2362980
Number of clauses of size 396066
Number of clauses of size 418234
Number of clauses of size 510379
Number of clauses of size over 522418

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422073SAT 379.486 379.599
Rsat 2007-02-08356604SAT 993.766 994.131
CMUSAT 2007-02-08367341SAT 3442.74 3443.75
MiraXT v3460121SAT 4277.31 2148.21
SAT7 2007-02-08370376SAT 7368.61 7372.07
picosat 535355968SAT 9383.38 9386.13
SATzilla CRAFTED455983? (exit code) 9997.8 10000.7
MXC 2007-02-08367591? (TO) 10000.1 10003.3
Siege V4422487? (TO) 10000.1 10003
TiniSatELite 2007-02-08355838? (TO) 10000.1 10002.8