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 benchmark4.44732
(Un)Satisfiability was proved
Number of variables112115
Number of clauses327768
Sum of the clauses size854914
Maximum clause length3
Minimum clause length1
Number of clauses of size 17055
Number of clauses of size 2114280
Number of clauses of size 3206433
Number of clauses of size 40
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
MiraXT v3460079SAT 4.44732 4.20649
minisat SAT 2007422066SAT 4.5773 4.59806
CMUSAT 2007-02-08367457SAT 4.93725 4.9435
Rsat 2007-02-08356576SAT 5.78112 5.79709
TiniSatELite 2007-02-08356577SAT 5.9451 6.00347
picosat 535356578SAT 6.47102 6.5711
MXC 2007-02-08367680SAT 120.831 120.892
Siege V4422445SAT 136.755 136.806
SAT7 2007-02-08372212SAT 260.424 261.165
SATzilla CRAFTED455941No Cert. 200.244 200.45