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 benchmark63.8883
(Un)Satisfiability was proved
Number of variables184675
Number of clauses842981
Sum of the clauses size1930752
Maximum clause length10
Minimum clause length1
Number of clauses of size 113965
Number of clauses of size 2674001
Number of clauses of size 3120435
Number of clauses of size 43840
Number of clauses of size 515360
Number of clauses of size over 515380

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MiraXT v3459938SAT 63.8883 44.685
TiniSatELite 2007-02-08356266SAT 81.9215 82.0364
SATzilla CRAFTED455752SAT 86.8008 87.171
CMUSAT 2007-02-08367383SAT 326.946 327.088
Siege V4422304SAT 440.876 441.057
picosat 535356267SAT 693.827 694.021
Rsat 2007-02-08355611SAT 1365.53 1366.28
minisat SAT 2007421863? (MO) 3893.83 3895.09
SAT7 2007-02-08370247? (MO) 7114.38 7116.51
MXC 2007-02-08367474? (TO) 10000.2 10003.7