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 benchmark662.346
(Un)Satisfiability was proved
Number of variables6196
Number of clauses22741
Sum of the clauses size59967
Maximum clause length602
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 212147
Number of clauses of size 39205
Number of clauses of size 4597
Number of clauses of size 5221
Number of clauses of size over 5570

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007421997UNSAT 662.346 662.657
SATzilla CRAFTED455784UNSAT 800.109 800.454
MXC 2007-02-08367622UNSAT 1054.66 1054.92
MiraXT v3459970UNSAT 1353.37 678.715
CMUSAT 2007-02-08367265UNSAT 1437.5 1438.01
TiniSatELite 2007-02-08355764UNSAT 3349.2 3350.1
SAT7 2007-02-08370278UNSAT 4340.31 4341.7
Rsat 2007-02-08355638UNSAT 4562.14 4563.61
Siege V4422336? (TO) 10000 10003.1
picosat 535355893? (TO) 10000 10003.8