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 benchmark58.966
(Un)Satisfiability was proved
Number of variables48689
Number of clauses204071
Sum of the clauses size609429
Maximum clause length4
Minimum clause length1
Number of clauses of size 1187
Number of clauses of size 284698
Number of clauses of size 336898
Number of clauses of size 482288
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422048SAT 58.966 58.9834
MiraXT v3460047SAT 85.9369 43.7909
MXC 2007-02-08367666SAT 92.9169 92.96
Rsat 2007-02-08356493SAT 188.833 188.991
Siege V4422413SAT 189.239 189.305
picosat 535356495SAT 212.115 212.176
SATzilla CRAFTED455909SAT 217.154 217.276
TiniSatELite 2007-02-08356494SAT 729.864 730.141
CMUSAT 2007-02-08367433SAT 831.067 831.295
SAT7 2007-02-08372180SAT 1110.96 1111.35