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 benchmark6.74197
(Un)Satisfiability was proved
Number of variables625
Number of clauses76775
Sum of the clauses size201350
Maximum clause length25
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 230075
Number of clauses of size 346650
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 550

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367434SAT 6.74197 6.74909
picosat 535356504SAT 11.6102 11.6156
Siege V4422416SAT 40.8308 40.9419
Rsat 2007-02-08356502SAT 71.6761 71.7383
MiraXT v3460050SAT 91.0901 46.499
minisat SAT 2007422050SAT 117.424 117.457
MXC 2007-02-08367669SAT 155.348 155.405
SAT7 2007-02-08372183SAT 470.8 470.942
TiniSatELite 2007-02-08356503SAT 628.621 628.857
SATzilla CRAFTED455912SAT 796.212 796.509