| Name | mus/marques-silva/fpga-routing/ vda_gr_rcs_w7.shuffled.cnf |
| MD5SUM | 82a9ca0e4da00ed6ec7517b8e833f40e |
| Bench Category | MUS (MUS) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 199.295 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 5054 |
| Number of clauses | 102047 |
| Sum of the clauses size | 207704 |
| Maximum clause length | 7 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 101325 |
| 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 | 722 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| MUSer 2011-02-10 (complete) | 3481078 | UNSAT | 199.295 | 199.293 |
| MiniUnsat2 2011-02-22 (complete) | 3483449 | UNSAT | 619.188 | 619.17 |
| PicoMUS 941 (complete) | 3483749 | UNSAT | 629.199 | 629.184 |
| MoUsSaka 2011-03-26 (complete) | 3495922 | UNSAT | 1639.16 | 1639.13 |
| OptimuS p100_source (complete) | 3495322 | ? (TO) | 1800.06 | 1800.01 |
| Haifa-MUC-A 2011-04-07 (complete) | 3494122 | ? (TO) | 1800.06 | 1800.02 |
| OptimuS x100_source (complete) | 3495622 | ? (TO) | 1800.07 | 1800.01 |
| OptimuS a100_source (complete) | 3495022 | ? (TO) | 1800.09 | 1800.02 |
| Haifa-MUC 2011-04-07 (complete) | 3494722 | ? (TO) | 1800.32 | 1800.27 |
| Haifa-MUC 2011-04-07 (complete) | 3494422 | ? (TO) | 1800.33 | 1800.3 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3483149 | No Cert. | 1800.15 | 1798.75 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:73154 100929 91326 92347 85690 89014 50086 39587 11803 69012 45838 52747 5352 49770 82798 90990 98275 28882 14918 49738 393 68408 26533 99748 54783 78079 24312 49910 7530 45550 35434 80474 82134 37323 35658 1152 42303 15534 20904 80810 97059 41999 80782 57864 20348 47726 94323 93807 2781 16478 42583 48342 26181 3005 81470 77108 58284 46246 23844 56352 3221 87711 8078 97555 71182 81422 66439 80262 67716 34562 47602 30194 22108 89942 10823 43459 78791 36531 53684 31658 58664 23200 33186 99364 75932 1677 95636 22532 55684 55680 37999 19688 76136 9559 58836 61268 39764 55756 84815 32710 48070 27070 84667 92988 72743 8731 100902 70818 66972 48006 40324 54404 61312 50299 12906 12391 79479 9815 46039 32982 25417 28487 91083 9275 41152 85175 63012 43939 59296 85019 67096 178 92296 51968 59264 91259 1321 5345 73183 6995 11732 82895 32458 92236 64435 82615 51120 68905 58141 98200 100506 35471 49927 7411 82171 13770 59596 5181 96452 20921 50992 95920 81839 52392 21917 46087 87436 39040 71427 42752 3822 5477 49259 4182 56281 23745 56641 23865 3246 4270 21293 4390 80935 66468 96288 11028 53525 81555 78740 42372 23677 76033 30583 31091 43500 69994 766 2654 4442 1734 23617 63928 13999 5541 50604 13086 33179 22777 76417 34035 38132 53225 44388 91496 25310 95201 69342 55761 79180 92489 4534 71868 60725 53937 73128 9872 86680 85012 32651 63628 83468 25094 19457 69118 50168 54005 91364 32983 91348 11961 60469 36272 82716 68630 95765 65168 59533 60401 39385 16980 5322 7752 32459 59721 21670 99754 28196 71564 92045 42237 8296 57578 38877 8276 82516 29112 81844 52397 2975 64924 3347 20866 15476 47352 34668 21342 93797 66529 38365 35152 56658 11325 24118 56486 38305 29324 66441 43381 46436 10957 34384 739 87237 80952 23086 2343 66349 63529 22174 36509 77206 38029 27128 55538 50417 36457 9569 23394 60646 19550 33756 12250 52950 48080 101712 67402 69563 79421 74790 64281 77850 44049 63761 70800 94866 56834 28385 65217 91201 50109 40506 1827 88477 85389 88933 64353 82653 37074 49745 75466 8377 19250 64429 45729 51098 7569 39186 79761 37634 82309 61694 7281 16625 61798 16605 61530 74202 3660 70356 891 24367 61746 35245 21415 98094 57379 66594 7321 49277 15477 21851 82397 23895 80729 35141 728 3368 34973 20755 10510 2824 46221 89741 29309 97922 67699 89973 96498 81381 53595 30801 10446 70100 4292 10174 99139 64058 55607 27317 20403 13993 53679 22687 23071 47505 26000 69256 27137 4852 13937 31209 13016 37978 12358 4680 44110 75083 48573 25784 86586 28594 50222 61343 28574 17562 93599 86546 6204 50170 53879 24944 33517 100853 41191 100713 11867 59355 54351 17602 49862 0