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 benchmark0.231963
(Un)Satisfiability was proved
Number of variables115769
Number of clauses338946
Sum of the clauses size884379
Maximum clause length3
Minimum clause length1
Number of clauses of size 17057
Number of clauses of size 2118345
Number of clauses of size 3213544
Number of clauses of size 40
Number of clauses of size 50
Number of clauses of size over 50

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
MXC 2007-02-08367679UNSAT 0.231963 0.246991
Siege V4422444UNSAT 0.261959 0.262083
TiniSatELite 2007-02-08356573UNSAT 0.364943 0.370551
minisat SAT 2007422065UNSAT 0.395939 0.39802
Rsat 2007-02-08356572UNSAT 0.398939 0.446485
CMUSAT 2007-02-08367456UNSAT 0.403938 0.404007
MiraXT v3460078UNSAT 0.501923 0.504042
SATzilla CRAFTED455940UNSAT 0.594909 0.597029
SAT7 2007-02-08372210UNSAT 1.58576 1.58817
picosat 535356574UNSAT 2.77958 2.78381