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 benchmark65.2111
(Un)Satisfiability was proved
Number of variables279590
Number of clauses1337190
Sum of the clauses size3109060
Maximum clause length10
Minimum clause length1
Number of clauses of size 123239
Number of clauses of size 21012692
Number of clauses of size 3249039
Number of clauses of size 45800
Number of clauses of size 523200
Number of clauses of size over 523220

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
TiniSatELite 2007-02-08356273SAT 65.2111 65.2772
picosat 535356274SAT 75.3835 75.4447
Siege V4422307SAT 84.1162 84.181
SATzilla CRAFTED455755SAT 107.798 108.051
CMUSAT 2007-02-08367385SAT 120.576 120.617
Rsat 2007-02-08356272SAT 133.931 133.999
MiraXT v3459941SAT 178.358 103.837
MXC 2007-02-08367477SAT 4276.02 4277.3
SAT7 2007-02-08370250SAT 4481.77 4483.05
minisat SAT 2007421866? (TO) 10000.2 10002.9