| Name | SAT02/industrial/goldberg/fpga_routing/ c880_gr_rcs_w6.shuffled.cnf |
| MD5SUM | 16f447886bc5a8a4178a814eff5c7716 |
| Bench Category | APPLICATION (applications instances) |
| Best result obtained on this benchmark | UNSAT |
| Best CPU time to get the best result obtained on this benchmark | 11.1073 |
| Satisfiable | |
| (Un)Satisfiability was proved | |
| Number of variables | 3936 |
| Number of clauses | 53018 |
| Sum of the clauses size | 108660 |
| Maximum clause length | 6 |
| Minimum clause length | 2 |
| Number of clauses of size 1 | 0 |
| Number of clauses of size 2 | 52362 |
| 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 | 656 |
| Solver Name | TraceID | Answer | CPU time | Wall clock time |
|---|---|---|---|---|
| PicoMUS 941 (complete) | 3493782 | UNSAT | 11.1073 | 11.1073 |
| MUSer 2011-02-10 (complete) | 3493779 | ? (exit code) | 1199.06 | 1199.03 |
| MiniUnsat2 2011-02-22 (complete) | 3493781 | ? (TO) | 1800.05 | 1800.01 |
| OptimuS x100_source (complete) | 3495381 | ? (TO) | 1800.05 | 1800.01 |
| Haifa-MUC-A 2011-04-07 (complete) | 3493881 | ? (TO) | 1800.06 | 1800.01 |
| OptimuS a100_source (complete) | 3494781 | ? (TO) | 1800.08 | 1800.02 |
| OptimuS p100_source (complete) | 3495081 | ? (TO) | 1800.08 | 1800.02 |
| Haifa-MUC 2011-04-07 (complete) | 3494181 | ? (TO) | 1800.23 | 1800.19 |
| Haifa-MUC 2011-04-07 (complete) | 3494481 | ? (TO) | 1800.26 | 1800.2 |
| MoUsSaka 2011-03-26 (complete) | 3495681 | No Cert. | 1800.09 | 1800.05 |
| SAT4J MUS 2.3.0-SNAPSHOT 2011-02-06 (complete) | 3493780 | No Cert. | 1800.12 | 1798.56 |
This section presents information obtained from the best job displayed in the list (i.e. solvers whose names are not hidden).
Solution found:344 781 1132 1243 1352 1833 1893 1895 2381 2437 2648 2729 2768 2795 3273 3421 3516 3637 4060 4247 4331 5101 5461 5554 5907 5958 6151 7404 7673 7689 8168 8890 9110 9167 9356 9657 9804 10364 10503 10765 10769 10844 11428 11438 11772 11779 11798 11888 11921 12219 12317 12442 12795 12806 12880 12907 13272 13340 13357 13428 13534 13932 13960 14339 14466 14577 14638 14740 14824 14943 15134 15237 15429 15729 15766 15810 15832 16228 16312 16317 16531 16634 16796 17192 17759 18242 18501 18560 19610 20185 20512 20520 20699 20712 20721 20767 20823 21096 21362 21543 21629 21829 22432 22617 22917 22923 23084 23267 23325 23618 23719 23734 23957 24098 24175 24252 24465 25317 25615 26007 26165 26237 26425 26751 26821 27126 27239 27383 27485 27486 27596 27695 27752 27754 27855 27932 28069 28127 28178 28295 28334 28887 28898 28973 29266 29629 29821 29950 30406 30693 30930 31231 31252 31854 31875 32178 32209 32815 33092 33187 33386 33720 33791 33880 34261 34303 34361 34408 34559 34683 35160 35352 35988 36015 36623 36763 36909 37003 37025 37288 37296 38217 38492 38618 38628 38844 38866 39020 39804 39907 39987 39989 40041 40098 40251 40325 40982 41048 41620 41802 41855 42233 43249 43430 43435 43667 43999 44361 44745 45310 45380 45414 45460 45666 46188 46435 46516 46551 47132 47145 47319 47608 47857 47956 48072 48089 48411 48534 48709 49064 49446 49643 49751 49966 50294 50295 50776 51205 51238 51246 51368 51425 51691 51778 52027 52365 52469 52527 52666 52717 52764 52898 0