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 benchmark98.9979
(Un)Satisfiability was proved
Number of variables73770
Number of clauses222560
Sum of the clauses size519804
Maximum clause length28
Minimum clause length1
Number of clauses of size 1256
Number of clauses of size 2148710
Number of clauses of size 373346
Number of clauses of size 4106
Number of clauses of size 514
Number of clauses of size over 5128

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
picosat 535356361SAT 98.9979 99.0361
Siege V4422374SAT 190.157 190.219
TiniSatELite 2007-02-08356360SAT 427.075 427.249
CMUSAT 2007-02-08367404SAT 1088.66 1089.04
SAT7 2007-02-08370302SAT 3048.24 3049.23
Rsat 2007-02-08355657SAT 3253.07 3254.08
minisat SAT 2007421913SAT 6106.76 6109.22
MiraXT v3460008SAT 7017.16 3519.87
MXC 2007-02-08367525SAT 9930.14 9933.82
SATzilla CRAFTED455822? (exit code) 9997.88 10001.3