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 benchmark702.079
(Un)Satisfiability was proved
Number of variables175524
Number of clauses730199
Sum of the clauses size1873791
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2518005
Number of clauses of size 3137216
Number of clauses of size 426034
Number of clauses of size 514829
Number of clauses of size over 532043

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422077SAT 702.079 702.392
TiniSatELite 2007-02-08355852SAT 1493.87 1494.41
Rsat 2007-02-08355720SAT 1882.32 1882.93
MiraXT v3460137SAT 2635.01 1326.2
picosat 535355982SAT 3174.75 3175.71
SAT7 2007-02-08370392SAT 4417.38 4419.16
CMUSAT 2007-02-08367356SAT 5427.97 5429.45
Siege V4422503? (TO) 10000 10002.6
MXC 2007-02-08367605? (TO) 10000.1 10004.2
SATzilla CRAFTED455999? (TO) 10000.1 10004