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 benchmark5.80812
(Un)Satisfiability was proved
Number of variables784
Number of clauses108080
Sum of the clauses size283220
Maximum clause length28
Minimum clause length2
Number of clauses of size 10
Number of clauses of size 242420
Number of clauses of size 365604
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 556

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367437SAT 5.80812 5.81012
Rsat 2007-02-08356515SAT 116.31 116.402
MiraXT v3460057SAT 153.501 77.7452
picosat 535356517SAT 280.65 280.718
Siege V4422423SAT 374.99 375.083
TiniSatELite 2007-02-08356516SAT 866.676 867.092
MXC 2007-02-08367672SAT 947.951 948.224
minisat SAT 2007421926SAT 3003.85 3004.8
SATzilla CRAFTED455919SAT 3543.43 3544.46
SAT7 2007-02-08370327SAT 6724.72 6726.7