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 benchmark2556.7
(Un)Satisfiability was proved
Number of variables91844
Number of clauses381319
Sum of the clauses size976591
Maximum clause length12
Minimum clause length1
Number of clauses of size 12072
Number of clauses of size 2269965
Number of clauses of size 371376
Number of clauses of size 413554
Number of clauses of size 57709
Number of clauses of size over 516643

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
CMUSAT 2007-02-08367340SAT 2556.7 2557.6
MiraXT v3460120SAT 2652.56 1332.56
picosat 535355967SAT 6199.83 6199.78
SATzilla CRAFTED455982? (exit code) 9998.24 10001.1
Siege V4422486? (TO) 10000 10003
MXC 2007-02-08367590? (TO) 10000.1 10003.8
SAT7 2007-02-08370375? (TO) 10000.1 10004.2
TiniSatELite 2007-02-08355837? (TO) 10000.1 10002.8
Rsat 2007-02-08355708? (TO) 10000.1 10004.1
minisat SAT 2007421969? (TO) 10000.2 10004.1