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 benchmark410.742
(Un)Satisfiability was proved
Number of variables628291
Number of clauses2141556
Sum of the clauses size5172986
Maximum clause length101
Minimum clause length1
Number of clauses of size 150
Number of clauses of size 21518215
Number of clauses of size 3615030
Number of clauses of size 4241
Number of clauses of size 5151
Number of clauses of size over 57869

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356310SAT 410.742 411.033
picosat 535355905SAT 1214.55 1214.95
TiniSatELite 2007-02-08355777SAT 1290.08 1290.79
Siege V4422354? 0.006998 0.00740089
SATzilla CRAFTED455802? 9998.61 10001.4
MXC 2007-02-08367515? (TO) 10000.1 10002.8
CMUSAT 2007-02-08367276? (TO) 10000.1 10002.9
SAT7 2007-02-08370290? (TO) 10000.2 10004.2
minisat SAT 2007421904? (TO) 10000.2 10003.1
MiraXT v3459988? (TO) 10000.2 5047.33