| Name | mus/marques-silva/fpga-routing/ alu2_gr_rcs_w7.shuffled.cnf |
| MD5SUM | d42b5e34cfb164a6f58db1ec2594faf2 |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 12.3361 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3570 |
| Number of clauses | 73478 |
| Sum of the clauses size | 149506 |
| Maximum clause length | 7 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 72968 |
| 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 | 510 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MiniUnsat2 2011-02-22 (complete) | 3493533 | UNSAT | 12.3361 | 12.3366 |
| MUSer 2011-02-10 (complete) | 3493531 | UNSAT | 20.8348 | 20.8345 |
| PicoMUS 941 (complete) | 3493534 | UNSAT | 51.3302 | 51.3318 |
| MoUsSaka 2011-03-26 (complete) | 3495916 | UNSAT | 293.768 | 293.763 |
| Haifa-MUC 2011-04-07 (complete) | 3494716 | UNSAT | 1038.69 | 1038.67 |
| Haifa-MUC 2011-04-07 (complete) | 3494416 | UNSAT | 1048.52 | 1048.53 |
| OptimuS p100_source (complete) | 3495316 | ? (TO) | 1800.06 | 1800.01 |
| OptimuS x100_source (complete) | 3495616 | ? (TO) | 1800.07 | 1800.01 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494116 | ? (TO) | 1800.09 | 1800.11 |
| OptimuS a100_source (complete) | 3495016 | ? (TO) | 1800.1 | 1800.02 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493532 | No Cert. | 1800.13 | 1798.24 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:264 504 636 753 900 923 1205 1738 2355 2429 2923 2945 3026 3031 3079 3127 3170 3315 3573 3873 4016 4268 4290 4357 4589 4725 4767 4978 5230 5922 5936 5952 6163 6246 6362 7150 7172 7181 7251 7822 8109 8116 8294 8702 8862 9195 9285 9321 9684 9862 9873 9929 10137 10238 10484 10745 10752 10802 10862 10902 11396 11607 11661 11666 11673 11678 11681 11844 11964 11984 12207 12411 12558 12820 13030 13122 13320 13616 13653 13684 13927 14204 14341 14432 14485 14626 14755 15101 15613 16156 16181 16192 16205 16208 16259 16370 16514 16954 16961 16983 16991 17037 17137 17475 17540 17559 17778 17887 17985 18020 18145 18321 18494 18811 18891 19065 19097 19174 19194 19264 19268 19297 19335 19840 20107 20394 20427 20857 20889 20998 21436 21508 21540 21612 21760 21919 22031 22295 22777 22941 23018 23067 23090 23124 23380 23668 23694 23748 24073 24318 24794 24825 25056 25367 25505 25674 25781 26003 26282 26298 26337 26519 26680 26699 26906 26949 27069 27305 27381 27571 27588 27805 27852 28046 28075 28234 28428 28633 28719 28869 28936 28995 29002 29052 29241 29319 29453 29708 29893 29925 30056 30071 30228 30318 30486 30514 30670 31050 31170 31188 31244 31441 31541 31575 31794 32075 32348 32453 32617 32673 32852 33092 33099 33179 33452 33466 33672 33688 33838 34101 34220 34262 34328 34383 34534 34763 34764 34801 34916 35455 35477 35520 35873 36031 36219 37257 37375 37468 37697 37965 37972 38030 38257 38262 38540 38577 38612 38638 38802 38944 38979 39099 39228 39423 39471 39596 39865 39876 39948 39957 40091 40209 40931 41081 41262 41284 41402 41473 41742 41910 42148 42387 42523 42775 42846 43254 43266 43347 43456 43587 43666 43902 43920 43964 44018 44408 44424 44485 44677 44691 44959 44963 45008 45243 45827 45920 46045 46160 46742 46882 47188 47417 47513 48005 48083 48190 48201 48461 48462 48526 48548 48581 48612 48757 48778 48792 49142 49251 49555 49795 50149 50167 50460 50461 50463 50533 50892 50906 51141 51370 51438 51506 51685 51726 51860 51941 52018 52088 52279 52305 52743 52783 52785 52814 52818 53097 53215 53717 54031 54055 54098 54207 54368 54456 54461 54582 54623 54698 55526 55570 55741 56087 56098 56099 56304 56462 56542 56561 56592 56615 56622 56633 56934 57108 57556 57616 57795 58209 58526 58544 58909 59011 59066 59091 59181 59302 59348 59908 60025 60052 60567 60644 61023 61282 61611 61673 61780 61823 61876 62036 62112 62114 62234 62256 62373 62517 62634 62741 62839 63642 63696 63933 64107 64134 64158 64337 64457 64672 64678 64728 64731 64941 65432 65436 65581 65603 65648 65654 65706 66003 66159 66222 66282 66585 66644 66780 67287 67538 67853 68001 68111 68280 68669 68827 69145 69451 69503 69530 69754 69974 70369 70451 70861 70897 70925 70929 70949 70964 71012 71097 71405 71462 71499 71628 71744 72218 72457 72507 72629 72833 73089 73188 73339 73421 2316 481 14134 44731 48164 32492 25682 4639 14120 16805 11288 30958 44544 55429 23193 101 0