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 benchmark129.64
(Un)Satisfiability was proved
Number of variables48689
Number of clauses204067
Sum of the clauses size609421
Maximum clause length4
Minimum clause length1
Number of clauses of size 1187
Number of clauses of size 284694
Number of clauses of size 336898
Number of clauses of size 482288
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-08367660SAT 129.64 129.699
CMUSAT 2007-02-08367430SAT 168.722 168.773
picosat 535356477SAT 179.428 179.483
MiraXT v3460041SAT 203.191 102.619
Rsat 2007-02-08356475SAT 340.184 340.328
Siege V4422407SAT 352.031 352.14
TiniSatELite 2007-02-08356476SAT 633.876 634.168
SATzilla CRAFTED455903SAT 656.909 657.217
SAT7 2007-02-08372170SAT 701.093 701.355
minisat SAT 2007422043SAT 864.638 864.903