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 benchmark39.746
(Un)Satisfiability was proved
Number of variables267766
Number of clauses1002957
Sum of the clauses size2476573
Maximum clause length217
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2756840
Number of clauses of size 3179525
Number of clauses of size 42715
Number of clauses of size 553863
Number of clauses of size over 510013

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422060SAT 39.746 39.7643
Rsat 2007-02-08356550SAT 47.4138 47.4351
picosat 535356552SAT 61.6096 61.6524
CMUSAT 2007-02-08367450SAT 76.2234 76.2687
MiraXT v3460072SAT 84.2392 65.1527
TiniSatELite 2007-02-08356551SAT 94.8546 94.9781
SAT7 2007-02-08372202SAT 103.07 103.125
Siege V4422438SAT 124.386 124.455
SATzilla CRAFTED455934SAT 140.613 140.693
MXC 2007-02-08367553SAT 1205.01 1205.41