Name | mus/marques-silva/design-debugging/ mem_ctrl-problem.dimacs_27.filtered.cnf |
MD5SUM | 4b993fca24742a81386ba9f15497440e |
Bench Category | MUS (MUS) |
Best result obtained on this benchmark | UNSAT |
Best CPU time to get the best result obtained on this benchmark | 13.24 |
Satisfiable | |
(Un)Satisfiability was proved | |
Number of variables | 4426259 |
Number of clauses | 15983633 |
Sum of the clauses size | 41595569 |
Maximum clause length | 4 |
Minimum clause length | 1 |
Number of clauses of size 1 | 11614 |
Number of clauses of size 2 | 6341594 |
Number of clauses of size 3 | 9620933 |
Number of clauses of size 4 | 9492 |
Number of clauses of size 5 | 0 |
Number of clauses of size over 5 | 0 |
Solver Name | TraceID | Answer | CPU time | Wall clock time |
---|---|---|---|---|
MoUsSaka 2011-03-26 (complete) | 3495893 | UNSAT | 13.24 | 13.2418 |
MUSer 2011-02-10 (complete) | 3481038 | UNSAT | 98.2871 | 98.2919 |
Haifa-MUC 2011-04-07 (complete) | 3494393 | UNSAT | 689.056 | 689.042 |
Haifa-MUC 2011-04-07 (complete) | 3494693 | UNSAT | 704.682 | 704.668 |
MiniUnsat2 2011-02-22 (complete) | 3483409 | UNSAT | 1211.04 | 1211 |
SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483109 | ? | 111.921 | 102.978 |
OptimuS p100_source (complete) | 3495293 | ? (exit code) | 147.845 | 148.093 |
OptimuS x100_source (complete) | 3495593 | ? (exit code) | 155.313 | 155.539 |
OptimuS a100_source (complete) | 3494993 | ? (exit code) | 160.086 | 160.185 |
Haifa-MUC-A 2011-04-07 (complete) | 3494093 | ? (TO) | 1800.22 | 1800.18 |
PicoMUS 941 (complete) | 3483709 | No Cert. | 106.14 | 144.255 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:15166115 15168907 15231741 15231793 15231935 15231939 15232195 15232324 15232327 15236467 15236491 15236539 15298765 15300833 15436769 15436772 15437545 15573482 15573485 15574259 15710198 511194 511222 511223 511224 511225 511226 511227 511228 511229 511370 511548 515953 516128 516309 521031 525434 525547 530217 15165741 15165758 15165857 0