scramble solver cnt ok sat uns dis fld to mo s11 s6 unk real time par2 space max best uniq deep f100/maplelcm f100 maplelcm 350 212 107 105 0 138 136 2 0 0 0 230511 230384 1610511 93969 5289 3 0 0 c010/maplelcm c010 maplelcm 350 208 101 107 0 142 142 0 0 0 0 216614 216474 1636614 94940 6341 2 0 0 orig/maplelcm orig maplelcm 350 208 101 107 0 142 140 2 0 0 0 219735 219602 1639735 99414 6508 8 0 0 f010/maplelcm f010 maplelcm 350 206 101 105 0 144 142 2 0 0 0 200331 200199 1640331 99062 6516 5 0 0 qf50/maplelcm qf50 maplelcm 350 207 101 106 0 143 141 2 0 0 0 216600 216475 1646600 95253 6356 1 0 0 f001/maplelcm f001 maplelcm 350 206 101 105 0 144 142 2 0 0 0 214009 213888 1654009 99046 6506 2 0 0 c001/maplelcm c001 maplelcm 350 207 102 105 0 143 142 1 0 0 0 225223 225093 1655223 95181 6344 1 0 0 crev/maplelcm crev maplelcm 350 207 102 105 0 143 141 2 0 0 0 229929 229799 1659929 95421 6408 2 0 0 arev/maplelcm arev maplelcm 350 205 99 106 0 145 143 2 0 0 0 218636 218521 1668636 91042 5218 1 0 0 f050/maplelcm f050 maplelcm 350 204 97 107 0 146 144 2 0 0 0 209412 209293 1669412 105391 6666 0 0 0 a001/maplelcm a001 maplelcm 350 203 101 102 0 147 146 1 0 0 0 208612 208493 1678612 81037 5218 2 0 0 a010/maplelcm a010 maplelcm 350 204 102 102 0 146 146 0 0 0 0 228888 228760 1688888 76546 2970 3 0 0 c100/maplelcm c100 maplelcm 350 201 97 104 0 149 147 2 0 0 0 201447 201316 1691447 96997 6348 1 0 0 vrev/maplelcm vrev maplelcm 350 202 96 106 0 148 146 2 0 0 0 219732 219600 1699732 90455 5230 5 1 0 v010/maplelcm v010 maplelcm 350 201 96 105 0 149 147 2 0 0 0 225683 225551 1715683 90085 6372 3 0 0 v001/maplelcm v001 maplelcm 350 199 96 103 0 151 149 2 0 0 0 207739 207631 1717739 81246 5228 4 0 0 v100/maplelcm v100 maplelcm 350 202 100 102 0 148 146 2 0 0 0 237931 237810 1717931 81256 5222 2 0 0 bf50/maplelcm bf50 maplelcm 350 202 101 101 0 148 148 0 0 0 0 243830 243693 1723830 81043 5198 3 0 0 pf50/maplelcm pf50 maplelcm 350 198 98 100 0 152 150 2 0 0 0 219456 219339 1739456 78612 5219 1 0 0 a100/maplelcm a100 maplelcm 350 195 97 98 0 155 155 0 0 0 0 221043 220920 1771043 77960 5212 0 0 0 crev/maplecomsps crev maplecomsps 350 188 93 95 0 162 162 0 0 0 0 180003 179890 1800003 90382 6820 3 0 0 f001/maplecomsps f001 maplecomsps 350 189 94 95 0 161 161 0 0 0 0 190269 190162 1800269 91385 6863 1 1 0 arev/maplecomsps arev maplecomsps 350 186 90 96 0 164 164 0 0 0 0 170073 169971 1810073 89438 6780 4 0 0 c001/maplecomsps c001 maplecomsps 350 184 92 92 0 166 166 0 0 0 0 156143 156024 1816143 77279 5034 0 0 0 c010/maplecomsps c010 maplecomsps 350 185 92 93 0 165 165 0 0 0 0 172347 172240 1822347 89525 6762 1 0 0 orig/maplecomsps orig maplecomsps 350 184 90 94 0 166 166 0 0 0 0 163497 163381 1823497 87478 6859 2 0 0 vrev/maplecomsps vrev maplecomsps 350 184 89 95 0 166 166 0 0 0 0 164050 163935 1824050 89137 6803 0 0 0 v001/maplecomsps v001 maplecomsps 350 185 92 93 0 165 165 0 0 0 0 177172 177069 1827172 83513 6806 1 0 0 f100/comspspulsar f100 comspspulsar 350 184 89 95 0 166 166 0 0 0 0 174430 174337 1834430 104510 6959 4 0 0 f010/maplecomsps f010 maplecomsps 350 182 90 92 0 168 168 0 0 0 0 155613 155496 1835613 89842 6863 1 0 0 f100/maplecomsps f100 maplecomsps 350 182 87 95 0 168 168 0 0 0 0 158747 158644 1838747 87611 6881 1 0 0 qf50/maplecomsps qf50 maplecomsps 350 182 88 94 0 168 168 0 0 0 0 163155 163042 1843155 88960 6783 0 0 0 qf50/comspspulsar qf50 comspspulsar 350 185 89 96 0 165 165 0 0 0 0 195183 195059 1845183 97502 6837 0 0 0 c001/comspspulsar c001 comspspulsar 350 184 87 97 0 166 166 0 0 0 0 185228 185111 1845228 103739 6833 2 0 0 f050/maplecomsps f050 maplecomsps 350 181 87 94 0 169 169 0 0 0 0 156383 156280 1846383 84002 6863 0 0 0 a100/maplecomsps a100 maplecomsps 350 184 94 90 0 166 166 0 0 0 0 186634 186524 1846634 72259 2874 0 0 0 c001/cadical c001 cadical 350 183 84 99 0 167 167 0 0 0 0 177064 176958 1847064 68077 4310 5 0 0 f100/cadical f100 cadical 350 183 84 99 0 167 167 0 0 0 0 180989 180876 1850989 72477 5373 3 0 0 c100/maplecomsps c100 maplecomsps 350 183 86 97 0 167 167 0 0 0 0 182161 182043 1852161 90132 6774 1 0 0 f050/comspspulsar f050 comspspulsar 350 182 86 96 0 168 168 0 0 0 0 176668 176558 1856668 104168 6933 2 0 0 c010/cadical c010 cadical 350 181 83 98 0 169 169 0 0 0 0 167821 167713 1857821 66362 4331 5 0 0 arev/comspspulsar arev comspspulsar 350 182 88 94 0 168 168 0 0 0 0 178221 178118 1858221 96891 6841 6 0 0 a001/maplecomsps a001 maplecomsps 350 182 88 94 0 168 168 0 0 0 0 180660 180549 1860660 83613 6762 1 0 0 c100/comspspulsar c100 comspspulsar 350 184 86 98 0 166 166 0 0 0 0 201466 201348 1861466 101882 6841 4 2 0 crev/cadical crev cadical 350 182 82 100 0 168 168 0 0 0 0 184206 184101 1864206 67998 4321 11 1 0 pf50/maplecomsps pf50 maplecomsps 350 181 89 92 0 169 169 0 0 0 0 174449 174337 1864449 76068 5046 0 0 0 c010/comspspulsar c010 comspspulsar 350 183 88 95 0 167 167 0 0 0 0 197796 197666 1867796 96873 6837 3 1 0 orig/comspspulsar orig comspspulsar 350 181 87 94 0 169 169 0 0 0 0 178096 177990 1868096 103908 6930 7 0 0 a010/comspspulsar a010 comspspulsar 350 181 89 92 0 169 169 0 0 0 0 178501 178400 1868501 89753 6822 2 0 0 bf50/maplecomsps bf50 maplecomsps 350 183 90 93 0 167 167 0 0 0 0 198633 198526 1868633 82301 6122 0 0 0 c100/cadical c100 cadical 350 179 83 96 0 171 171 0 0 0 0 159998 159882 1869998 61955 3596 7 1 0 vrev/comspspulsar vrev comspspulsar 350 181 86 95 0 169 169 0 0 0 0 180560 180441 1870560 95853 6868 1 0 0 v010/maplecomsps v010 maplecomsps 350 179 86 93 0 171 171 0 0 0 0 162129 162024 1872129 82208 6786 1 0 0 a001/comspspulsar a001 comspspulsar 350 182 91 91 0 168 168 0 0 0 0 193005 192892 1873005 77194 5083 1 0 0 v001/comspspulsar v001 comspspulsar 350 181 88 93 0 169 169 0 0 0 0 183846 183744 1873846 87190 6218 2 0 0 orig/cadical orig cadical 350 180 83 97 0 170 170 0 0 0 0 177512 177414 1877512 66282 4311 8 0 0 v100/maplecomsps v100 maplecomsps 350 178 86 92 0 172 172 0 0 0 0 160171 160058 1880171 75338 5037 1 0 0 v100/comspspulsar v100 comspspulsar 350 180 90 90 0 170 170 0 0 0 0 182077 181971 1882077 83909 6830 0 0 0 crev/comspspulsar crev comspspulsar 350 179 85 94 0 171 171 0 0 0 0 173211 173106 1883211 89966 6250 3 0 0 vrev/cadical vrev cadical 350 178 79 99 0 172 172 0 0 0 0 163837 163714 1883837 66340 3705 10 0 0 v010/comspspulsar v010 comspspulsar 350 181 84 97 0 169 169 0 0 0 0 194450 194341 1884450 93318 6850 0 0 0 f010/comspspulsar f010 comspspulsar 350 178 83 95 0 172 172 0 0 0 0 165695 165589 1885695 97033 6941 2 0 0 a100/comspspulsar a100 comspspulsar 350 179 89 90 0 171 171 0 0 0 0 176131 176030 1886131 83813 6810 1 0 0 bf50/comspspulsar bf50 comspspulsar 350 180 88 92 0 170 170 0 0 0 0 190184 190075 1890184 77496 5075 1 0 0 f001/comspspulsar f001 comspspulsar 350 176 82 94 0 174 174 0 0 0 0 156446 156342 1896446 96923 6938 5 0 0 c010/glucose41 c010 glucose41 350 180 86 94 0 170 170 0 0 0 0 199631 199524 1899631 49067 1654 0 0 0 a010/maplecomsps a010 maplecomsps 350 177 86 91 0 173 173 0 0 0 0 176325 176220 1906325 75743 5045 0 0 0 f050/cadical f050 cadical 350 177 78 99 0 173 173 0 0 0 0 179435 179334 1909435 71390 5336 6 0 0 f050/tchglucose f050 tchglucose 350 179 82 97 0 171 171 0 0 0 0 200011 199907 1910011 50310 1692 1 0 0 arev/tchglucose arev tchglucose 350 180 84 96 0 170 170 0 0 0 0 210752 210634 1910752 46392 1713 2 0 0 arev/cadical arev cadical 350 176 78 98 0 174 174 0 0 0 0 172797 172683 1912797 70812 4877 4 0 0 f001/glucose41 f001 glucose41 350 178 83 95 0 172 172 0 0 0 0 195589 195487 1915589 49109 1722 1 0 0 crev/tchglucose crev tchglucose 350 178 81 97 0 172 172 0 0 0 0 200387 200284 1920387 50043 1666 2 1 0 f010/cadical f010 cadical 350 176 77 99 0 174 174 0 0 0 0 180552 180447 1920552 66332 4328 3 0 0 qf50/glucose41 qf50 glucose41 350 176 83 93 0 174 174 0 0 0 0 182371 182264 1922371 46082 1618 2 0 0 c001/glucose41 c001 glucose41 350 177 81 96 0 173 173 0 0 0 0 192704 192588 1922704 48495 1663 5 0 0 f100/glucose41 f100 glucose41 350 174 83 91 0 176 176 0 0 0 0 165818 165721 1925818 47664 1688 3 0 0 f010/glucose41 f010 glucose41 350 176 83 93 0 174 174 0 0 0 0 187129 187023 1927129 49236 1694 0 0 0 f001/cadical f001 cadical 350 175 76 99 0 175 175 0 0 0 0 180087 179984 1930087 67321 4325 5 0 0 pf50/comspspulsar pf50 comspspulsar 350 175 84 91 0 175 175 0 0 0 0 184886 184782 1934886 76050 5094 0 0 0 f100/tchglucose f100 tchglucose 350 176 80 96 0 174 174 0 0 0 0 200967 200859 1940967 50403 1697 2 0 0 f050/glucose41 f050 glucose41 350 174 80 94 0 176 176 0 0 0 0 185656 185557 1945656 48150 1696 3 0 0 c100/glucose41 c100 glucose41 350 173 81 92 0 177 177 0 0 0 0 178298 178201 1948298 45815 1603 1 0 0 a010/glucose41 a010 glucose41 350 176 84 92 0 174 174 0 0 0 0 209099 208989 1949099 45194 1571 2 0 0 crev/glucose41 crev glucose41 350 173 79 94 0 177 177 0 0 0 0 180810 180696 1950810 51183 3821 2 0 0 qf50/cadical qf50 cadical 350 172 74 98 0 178 178 0 0 0 0 173515 173406 1953515 66513 4363 2 0 0 f001/tchglucose f001 tchglucose 350 173 78 95 0 177 177 0 0 0 0 186983 186877 1956983 48841 1698 2 0 0 v001/cadical v001 cadical 350 174 78 96 0 176 176 0 0 0 0 197624 197520 1957624 56965 3587 3 1 0 a001/cadical a001 cadical 350 175 79 96 0 175 175 0 0 0 0 209230 209124 1959230 56699 3479 1 0 0 orig/tchglucose orig tchglucose 350 172 77 95 0 178 178 0 0 0 0 181085 180975 1961085 49013 1695 1 0 0 f010/tchglucose f010 tchglucose 350 173 76 97 0 177 177 0 0 0 0 193060 192942 1963060 50300 1698 0 0 0 arev/glucose41 arev glucose41 350 173 82 91 0 177 177 0 0 0 0 193977 193878 1963977 43032 1690 2 0 0 c001/tchglucose c001 tchglucose 350 175 79 96 0 175 175 0 0 0 0 214193 214078 1964193 49119 1659 1 0 0 c010/tchglucose c010 tchglucose 350 173 78 95 0 177 177 0 0 0 0 194198 194087 1964198 49271 1650 0 0 0 a010/tchglucose a010 tchglucose 350 173 82 91 0 177 177 0 0 0 0 195583 195481 1965583 42851 1572 0 0 0 orig/glucose41 orig glucose41 350 171 79 92 0 179 179 0 0 0 0 179231 179130 1969231 51588 3874 2 0 0 qf50/tchglucose qf50 tchglucose 350 172 78 94 0 178 178 0 0 0 0 190427 190325 1970427 48130 1686 1 0 0 vrev/glucose41 vrev glucose41 350 170 81 89 0 180 180 0 0 0 0 170947 170833 1970947 40486 1579 2 0 0 c100/tchglucose c100 tchglucose 350 171 75 96 0 179 179 0 0 0 0 187875 187765 1977875 49159 1678 0 0 0 v001/glucose41 v001 glucose41 350 170 82 88 0 180 180 0 0 0 0 182089 181990 1982089 41120 1571 1 0 0 pf50/tchglucose pf50 tchglucose 350 170 80 90 0 180 180 0 0 0 0 186130 186024 1986130 40734 1567 1 0 0 a001/glucose41 a001 glucose41 350 169 79 90 0 181 181 0 0 0 0 179807 179707 1989807 44325 1582 1 0 0 v010/glucose41 v010 glucose41 350 169 79 90 0 181 181 0 0 0 0 184075 183978 1994075 41928 1565 2 0 0 v100/cadical v100 cadical 350 173 79 94 0 177 177 0 0 0 0 226171 226055 1996171 50642 2134 0 0 0 a001/tchglucose a001 tchglucose 350 169 78 91 0 181 181 0 0 0 0 188355 188246 1998355 45701 1579 2 0 0 v001/tchglucose v001 tchglucose 350 168 77 91 0 182 182 0 0 0 0 180667 180566 2000667 42790 1604 2 0 0 vrev/tchglucose vrev tchglucose 350 169 77 92 0 181 181 0 0 0 0 192141 192023 2002141 44759 1587 3 0 0 v100/tchglucose v100 tchglucose 350 170 79 91 0 180 180 0 0 0 0 205922 205820 2005922 45105 1564 1 0 0 bf50/cadical bf50 cadical 350 170 76 94 0 180 180 0 0 0 0 206919 206817 2006919 56095 3616 0 0 0 v010/tchglucose v010 tchglucose 350 167 78 89 0 183 183 0 0 0 0 178840 178744 2008840 41068 1572 0 0 0 pf50/glucose41 pf50 glucose41 350 167 80 87 0 183 183 0 0 0 0 180380 180281 2010380 39946 1563 0 0 0 v100/glucose41 v100 glucose41 350 166 77 89 0 184 184 0 0 0 0 178687 178598 2018687 41210 1563 2 0 0 a010/cadical a010 cadical 350 169 73 96 0 181 181 0 0 0 0 210480 210363 2020480 56434 3568 4 0 0 bf50/glucose41 bf50 glucose41 350 166 79 87 0 184 184 0 0 0 0 180936 180831 2020936 38763 1615 0 0 0 a100/tchglucose a100 tchglucose 350 166 76 90 0 184 184 0 0 0 0 182231 182121 2022231 42895 1606 0 0 0 a100/cadical a100 cadical 350 168 77 91 0 182 182 0 0 0 0 202381 202267 2022381 48244 2153 2 0 0 c010/gluvc c010 gluvc 350 167 74 93 0 183 183 0 0 0 0 193838 193727 2023838 46751 1621 2 0 0 v010/cadical v010 cadical 350 167 75 92 0 183 183 0 0 0 0 195090 194985 2025090 52834 3490 3 0 0 bf50/tchglucose bf50 tchglucose 350 166 79 87 0 184 184 0 0 0 0 190747 190640 2030747 39700 1616 0 0 0 a100/glucose41 a100 glucose41 350 164 78 86 0 186 186 0 0 0 0 173011 172907 2033011 38849 1605 1 0 0 orig/gluvc orig gluvc 350 165 73 92 0 185 185 0 0 0 0 187362 187264 2037362 47419 1661 1 0 0 pf50/cadical pf50 cadical 350 165 73 92 0 185 185 0 0 0 0 196414 196308 2046414 53056 2167 0 0 0 c001/gluvc c001 gluvc 350 163 71 92 0 187 187 0 0 0 0 183000 182896 2053000 46504 1628 3 0 0 c100/gluvc c100 gluvc 350 163 71 92 0 187 187 0 0 0 0 188647 188547 2058647 45780 1648 0 0 0 f001/gluvc f001 gluvc 350 163 72 91 0 187 187 0 0 0 0 189862 189770 2059862 47246 1672 0 0 0 f010/gluvc f010 gluvc 350 162 69 93 0 188 188 0 0 0 0 182532 182434 2062532 46439 1672 2 0 0 f100/gluvc f100 gluvc 350 160 69 91 0 190 190 0 0 0 0 176686 176579 2076686 46768 1671 0 0 0 f050/gluvc f050 gluvc 350 161 71 90 0 189 189 0 0 0 0 186743 186642 2076743 46534 1670 0 0 0 qf50/gluvc qf50 gluvc 350 161 72 89 0 189 189 0 0 0 0 189747 189642 2079747 45825 1585 0 0 0 v100/gluvc v100 gluvc 350 160 73 87 0 190 190 0 0 0 0 187454 187367 2087454 40196 1538 0 0 0 a100/gluvc a100 gluvc 350 159 71 88 0 191 191 0 0 0 0 180291 180195 2090291 42183 1578 2 0 0 crev/gluvc crev gluvc 350 159 69 90 0 191 191 0 0 0 0 182177 182078 2092177 46339 1636 1 0 0 vrev/gluvc vrev gluvc 350 159 72 87 0 191 191 0 0 0 0 185213 185102 2095213 40464 1566 0 0 0 v001/gluvc v001 gluvc 350 157 70 87 0 193 193 0 0 0 0 172884 172793 2102884 40700 1547 0 0 0 a001/gluvc a001 gluvc 350 158 70 88 0 192 192 0 0 0 0 184032 183933 2104032 41623 1553 0 0 0 bf50/gluvc bf50 gluvc 350 158 71 87 0 192 192 0 0 0 0 196095 196000 2116095 38641 1593 0 0 0 v010/gluvc v010 gluvc 350 156 69 87 0 194 194 0 0 0 0 176805 176706 2116805 40216 1544 0 0 0 arev/gluvc arev gluvc 350 155 68 87 0 195 195 0 0 0 0 167787 167694 2117787 40916 1552 2 0 0 a010/gluvc a010 gluvc 350 157 71 86 0 193 193 0 0 0 0 188519 188415 2118519 38737 1544 0 0 0 pf50/gluvc pf50 gluvc 350 156 72 84 0 194 194 0 0 0 0 193510 193405 2133510 37279 1542 0 0 0