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 benchmark213.945
(Un)Satisfiability was proved
Number of variables7847
Number of clauses73394
Sum of the clauses size206938
Maximum clause length4166
Minimum clause length1
Number of clauses of size 11
Number of clauses of size 262806
Number of clauses of size 35772
Number of clauses of size 4389
Number of clauses of size 599
Number of clauses of size over 54327

Results of the different solvers on this benchmark

Solver NameTraceIDAnswerCPU timeWall clock time
minisat SAT 2007422003UNSAT 213.945 214
MXC 2007-02-08367628UNSAT 328.513 328.615
MiraXT v3459977UNSAT 412.965 207.307
picosat 535356305UNSAT 465.737 465.868
CMUSAT 2007-02-08367393UNSAT 510.16 510.301
Rsat 2007-02-08356304UNSAT 733.899 734.128
SAT7 2007-02-08372107UNSAT 988.157 988.447
TiniSatELite 2007-02-08355767UNSAT 1283.41 1283.78
Siege V4422343? (TO) 10000.1 10003.1
SATzilla CRAFTED455791? (TO) 10000.1 10003.1