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 benchmark44.1073
(Un)Satisfiability was proved
Number of variables113400
Number of clauses399368
Sum of the clauses size971720
Maximum clause length43
Minimum clause length1
Number of clauses of size 1128
Number of clauses of size 2286512
Number of clauses of size 3107448
Number of clauses of size 4427
Number of clauses of size 5327
Number of clauses of size over 54526

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
Rsat 2007-02-08356365SAT 44.1073 44.1343
picosat 535356366SAT 904.854 906.014
minisat SAT 2007421915SAT 2872.24 2873.09
TiniSatELite 2007-02-08355783SAT 3248.26 3249.37
Siege V4422376SAT 4444.84 4446.72
MXC 2007-02-08367527SAT 7785.18 7787.32
SATzilla CRAFTED455824? (exit code) 9997.73 10001.1
SAT7 2007-02-08370304? (TO) 10000.1 10003.3
CMUSAT 2007-02-08367289? (TO) 10000.1 10002.9
MiraXT v3460010? (TO) 10000.3 5025.68