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 benchmark29.4845
(Un)Satisfiability was proved
Number of variables125442
Number of clauses687058
Sum of the clauses size1811710
Maximum clause length591
Minimum clause length1
Number of clauses of size 1276
Number of clauses of size 2563290
Number of clauses of size 3118648
Number of clauses of size 41088
Number of clauses of size 5106
Number of clauses of size over 53650

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356317UNSAT 29.4845 29.5104
TiniSatELite 2007-02-08356318UNSAT 47.7567 47.7885
minisat SAT 2007422007UNSAT 106.139 106.181
picosat 535356319UNSAT 144.22 144.279
MiraXT v3459994UNSAT 200.972 132.555
CMUSAT 2007-02-08367396UNSAT 269.811 269.903
SATzilla CRAFTED455808UNSAT 315.986 316.211
Siege V4422360UNSAT 422.085 422.44
SAT7 2007-02-08372113UNSAT 451.286 451.473
MXC 2007-02-08367631UNSAT 580.691 580.844