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 benchmarkUNSAT
Best CPU time to get the best result obtained on this benchmark116.4
(Un)Satisfiability was proved
Number of variables38290
Number of clauses475249
Sum of the clauses size1355369
Maximum clause length28542
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 2429660
Number of clauses of size 315371
Number of clauses of size 41052
Number of clauses of size 5230
Number of clauses of size over 528935

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422004UNSAT 116.4 116.589
MiraXT v3459978UNSAT 269.54 137.038
CMUSAT 2007-02-08367394UNSAT 278.293 278.367
MXC 2007-02-08367629UNSAT 280.079 280.171
Rsat 2007-02-08356307UNSAT 288.097 288.227
picosat 535356308UNSAT 772.237 772.434
SAT7 2007-02-08372109UNSAT 802.056 802.323
TiniSatELite 2007-02-08355768UNSAT 1246.83 1247.62
Siege V4422344? (TO) 10000 10003.3
SATzilla CRAFTED455792? (TO) 10000.1 10003