| Name | mus/marques-silva/fpga-routing/ too_large_gr_rcs_w6.shuffled.cnf |
| MD5SUM | 30ddcc5575081a4cc8a19e19d7f891aa |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 0.361944 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3114 |
| Number of clauses | 43251 |
| Sum of the clauses size | 88578 |
| Maximum clause length | 6 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 42732 |
| Number of clauses of size 3 | 0 |
| Number of clauses of size 4 | 0 |
| Number of clauses of size 5 | 0 |
| Number of clauses of size over 5 | 519 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MUSer 2011-02-10 (complete) | 3493527 | UNSAT | 0.361944 | 0.362539 |
| MiniUnsat2 2011-02-22 (complete) | 3493529 | UNSAT | 0.853869 | 0.853911 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494121 | UNSAT | 0.991848 | 0.997172 |
| PicoMUS 941 (complete) | 3493530 | UNSAT | 13.468 | 13.472 |
| OptimuS x100_source (complete) | 3495621 | UNSAT | 19.928 | 19.9283 |
| Haifa-MUC 2011-04-07 (complete) | 3494721 | UNSAT | 23.9504 | 23.9568 |
| Haifa-MUC 2011-04-07 (complete) | 3494421 | UNSAT | 26.076 | 26.08 |
| MoUsSaka 2011-03-26 (complete) | 3495921 | UNSAT | 32.0551 | 32.0573 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493528 | UNSAT | 99.1139 | 97.2561 |
| OptimuS a100_source (complete) | 3495021 | ? (TO) | 1800.08 | 1800.11 |
| OptimuS p100_source (complete) | 3495321 | ? (TO) | 1800.09 | 1800.01 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:15166 16865 2678 33330 38307 27517 10383 26391 10349 38560 30177 38590 3216 18684 22148 24553 27282 16141 18645 605 41760 989 35497 42594 17838 8760 36296 2943 22681 23321 9045 21811 24441 30060 6410 30475 33811 21832 19297 22666 29439 22374 7201 41735 31651 1577 29435 16014 21181 39191 15111 28016 2111 12445 41500 30743 26985 28846 5063 26627 3904 14012 18281 36773 5988 19239 35994 38240 8169 7557 25101 36209 39131 25416 10880 11937 4644 17253 4962 40400 776 7919 8142 19175 22025 18236 38751 17463 40355 36468 19580 17460 8448 3333 27949 30867 21009 25375 2008 28424 37414 24057 10101 33719 134 10517 38727 40076 6824 34003 25558 38688 32198 19451 32709 1795 19512 25803 32738 43173 32703 4522 31255 5642 4518 39826 11068 1204 5604 6083 28645 34454 1230 3028 7754 41614 3255 20133 26038 30240 38653 21923 21280 21344 1218 15437 25227 14312 36622 40250 34147 38547 6062 18125 42269 12129 17609 22712 42267 0