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 benchmark173.559
(Un)Satisfiability was proved
Number of variables65604
Number of clauses273522
Sum of the clauses size814950
Maximum clause length4
Minimum clause length1
Number of clauses of size 1199
Number of clauses of size 2118260
Number of clauses of size 342021
Number of clauses of size 4113042
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367663SAT 173.559 173.625
CMUSAT 2007-02-08367431SAT 402.605 402.756
Rsat 2007-02-08356485SAT 426.498 426.637
SATzilla CRAFTED455906SAT 441.049 441.202
MiraXT v3460044SAT 549.316 276.533
minisat SAT 2007422046SAT 880.747 880.985
TiniSatELite 2007-02-08355791SAT 1769.55 1770.01
SAT7 2007-02-08370320SAT 1782.7 1783.35
picosat 535355922SAT 2749.42 2750.18
Siege V4422410SAT 5643.82 5645.51