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 benchmark307.261
(Un)Satisfiability was proved
Number of variables66892
Number of clauses279256
Sum of the clauses size832648
Maximum clause length4
Minimum clause length1
Number of clauses of size 1201
Number of clauses of size 2120496
Number of clauses of size 342781
Number of clauses of size 4115778
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
MiraXT v3460046SAT 307.261 155.566
MXC 2007-02-08367665SAT 403.38 403.536
TiniSatELite 2007-02-08356491SAT 453.359 453.675
Rsat 2007-02-08356490SAT 512.732 513.155
SAT7 2007-02-08372178SAT 1060.86 1061.15
CMUSAT 2007-02-08367297SAT 1363.04 1363.45
Siege V4422412SAT 3233.11 3234.43
SATzilla CRAFTED455908SAT 3627.77 3629.08
minisat SAT 2007421920SAT 4759.37 4761.1
picosat 535355923SAT 6172.18 6174.06