scramble solver cnt ok sat uns dis fld to mo s11 s6 unk real time par2 space max best uniq deep crev/gluvc crev gluvc 200 57 7 50 0 143 143 0 0 0 0 77165 77136 1507165 17652 1932 3 0 0 vrev/gluvc vrev gluvc 200 57 7 50 0 143 143 0 0 0 0 78304 78278 1508304 17816 1940 0 0 0 f001/gluvc f001 gluvc 200 56 8 48 0 144 144 0 0 0 0 70378 70348 1510378 17226 1932 0 0 0 v001/gluvc v001 gluvc 200 56 7 49 0 144 144 0 0 0 0 74583 74557 1514583 17608 1928 0 0 0 c001/gluvc c001 gluvc 200 55 6 49 0 145 129 0 0 0 16 65346 65316 1515346 17197 1951 3 0 0 arev/gluvc arev gluvc 200 55 7 48 0 145 145 0 0 0 0 66062 66032 1516062 16974 1945 2 0 0 a100/gluvc a100 gluvc 200 55 6 49 0 145 145 0 0 0 0 70060 70033 1520060 17080 1941 0 0 0 pf50/gluvc pf50 gluvc 200 55 7 48 0 145 145 0 0 0 0 71166 71133 1521166 17024 1927 4 0 0 f010/gluvc f010 gluvc 200 56 7 49 0 144 144 0 0 0 0 81969 81944 1521969 17680 1948 0 0 0 qf50/gluvc qf50 gluvc 200 55 5 50 0 145 145 0 0 0 0 73050 73024 1523050 17282 1934 3 0 0 v100/gluvc v100 gluvc 200 55 6 49 0 145 145 0 0 0 0 76345 76316 1526345 17314 1925 1 0 0 c010/gluvc c010 gluvc 200 54 5 49 0 146 146 0 0 0 0 68401 68374 1528401 16822 1942 1 0 0 bf50/gluvc bf50 gluvc 200 54 6 48 0 146 146 0 0 0 0 70039 70002 1530039 17035 1931 1 0 0 a001/gluvc a001 gluvc 200 55 6 49 0 145 145 0 0 0 0 81057 81031 1531057 17612 1948 2 0 0 a010/gluvc a010 gluvc 200 53 6 47 0 147 147 0 0 0 0 64319 64287 1534319 16493 1933 0 0 0 f050/gluvc f050 gluvc 200 54 5 49 0 146 146 0 0 0 0 74374 74347 1534374 17275 1938 2 0 0 f100/gluvc f100 gluvc 200 53 6 47 0 147 147 0 0 0 0 68521 68494 1538521 16946 1950 4 0 0 v010/gluvc v010 gluvc 200 53 5 48 0 147 147 0 0 0 0 70263 70240 1540263 17111 1935 1 0 0 orig/gluvc orig gluvc 200 53 5 48 0 147 147 0 0 0 0 72210 72183 1542210 16837 1941 2 0 0 c100/gluvc c100 gluvc 200 53 6 47 0 147 147 0 0 0 0 73935 73902 1543935 16844 1938 1 0 0 arev/cadical arev cadical 200 53 7 46 0 147 147 0 0 0 0 82340 82314 1552340 15477 2588 2 0 0 f100/cadical f100 cadical 200 52 5 47 0 148 148 0 0 0 0 83069 83048 1563069 16100 2794 4 0 0 a001/cadical a001 cadical 200 52 5 47 0 148 148 0 0 0 0 83197 83168 1563197 15967 2432 1 0 0 c100/cadical c100 cadical 200 51 5 46 0 149 149 0 0 0 0 83203 83182 1573203 15860 2488 1 0 0 f010/cadical f010 cadical 200 50 5 45 0 150 150 0 0 0 0 74093 74065 1574093 15397 2560 3 0 0 c010/cadical c010 cadical 200 50 5 45 0 150 150 0 0 0 0 74183 74161 1574183 15624 2486 1 0 0 v100/cadical v100 cadical 200 50 6 44 0 150 150 0 0 0 0 75356 75322 1575356 15557 2450 0 0 0 vrev/cadical vrev cadical 200 51 5 46 0 149 149 0 0 0 0 85561 85535 1575561 15777 2488 2 0 0 v010/cadical v010 cadical 200 50 5 45 0 150 150 0 0 0 0 76721 76689 1576721 15416 2599 1 0 0 pf50/cadical pf50 cadical 200 50 7 43 0 150 150 0 0 0 0 78941 78913 1578941 15354 2386 5 0 0 c001/cadical c001 cadical 200 49 6 43 0 151 139 0 0 0 12 70263 70232 1580263 13055 2255 0 0 0 orig/cadical orig cadical 200 49 5 44 0 151 151 0 0 0 0 70688 70664 1580688 14902 2432 1 0 0 a010/cadical a010 cadical 200 50 5 45 0 150 150 0 0 0 0 82308 82276 1582308 15688 2463 0 0 0 f001/cadical f001 cadical 200 48 5 43 0 152 152 0 0 0 0 66233 66211 1586233 15107 2579 0 0 0 v001/cadical v001 cadical 200 48 5 43 0 152 152 0 0 0 0 67389 67364 1587389 15192 2490 0 0 0 crev/cadical crev cadical 200 49 4 45 0 151 151 0 0 0 0 78261 78235 1588261 15224 2496 3 0 0 f050/cadical f050 cadical 200 48 4 44 0 152 152 0 0 0 0 69504 69480 1589504 15167 2545 0 0 0 a100/cadical a100 cadical 200 48 4 44 0 152 152 0 0 0 0 70256 70234 1590256 15324 2599 0 0 0 qf50/cadical qf50 cadical 200 47 4 43 0 153 153 0 0 0 0 64615 64590 1594615 15484 2567 2 0 0 bf50/cadical bf50 cadical 200 47 5 42 0 153 153 0 0 0 0 66946 66919 1596946 15694 2782 0 0 0 a001/comspspulsar a001 comspspulsar 200 47 8 39 0 153 153 0 0 0 0 67803 67779 1597803 12150 1199 2 0 0 f050/comspspulsar f050 comspspulsar 200 48 7 41 0 152 152 0 0 0 0 78304 78283 1598304 12986 1205 0 0 0 c100/comspspulsar c100 comspspulsar 200 47 7 40 0 153 153 0 0 0 0 73274 73247 1603274 13216 1197 0 0 0 qf50/maplelcm qf50 maplelcm 200 49 7 42 0 151 151 0 0 0 0 97703 97679 1607703 12991 760 0 0 0 v100/comspspulsar v100 comspspulsar 200 46 5 41 0 154 154 0 0 0 0 71352 71331 1611352 13308 1204 0 0 0 a010/maplelcm a010 maplelcm 200 48 7 41 0 152 152 0 0 0 0 94318 94296 1614318 12572 734 0 0 0 bf50/maplelcm bf50 maplelcm 200 48 5 43 0 152 152 0 0 0 0 95274 95250 1615274 12751 727 0 0 0 arev/comspspulsar arev comspspulsar 200 44 7 37 0 156 156 0 0 0 0 55337 55312 1615337 11018 1208 0 0 0 pf50/maplelcm pf50 maplelcm 200 48 7 41 0 152 152 0 0 0 0 95450 95429 1615450 12607 787 2 0 0 f001/maplelcm f001 maplelcm 200 46 8 38 0 154 154 0 0 0 0 80510 80489 1620510 11376 725 1 0 0 f010/maplelcm f010 maplelcm 200 47 6 41 0 153 153 0 0 0 0 90565 90544 1620565 12336 737 1 0 0 v010/maplelcm v010 maplelcm 200 47 6 41 0 153 153 0 0 0 0 91084 91066 1621084 12043 751 2 1 0 v010/comspspulsar v010 comspspulsar 200 44 8 36 0 156 156 0 0 0 0 61607 61585 1621607 10690 1191 1 0 0 a001/maplelcm a001 maplelcm 200 47 5 42 0 153 153 0 0 0 0 92358 92336 1622358 11882 763 0 0 0 a100/maplelcm a100 maplelcm 200 46 6 40 0 154 154 0 0 0 0 83301 83281 1623301 11856 741 2 0 0 c100/maplecomsps c100 maplecomsps 200 43 9 34 0 157 157 0 0 0 0 53864 53835 1623864 8294 566 0 0 0 crev/comspspulsar crev comspspulsar 200 44 6 38 0 156 156 0 0 0 0 64108 64085 1624108 12491 1210 0 0 0 f050/maplelcm f050 maplelcm 200 47 5 42 0 153 153 0 0 0 0 96265 96239 1626265 12792 760 1 0 0 pf50/comspspulsar pf50 comspspulsar 200 43 6 37 0 157 157 0 0 0 0 57966 57949 1627966 10645 1196 0 0 0 f010/comspspulsar f010 comspspulsar 200 43 6 37 0 157 157 0 0 0 0 58889 58864 1628889 11052 1202 0 0 0 qf50/comspspulsar qf50 comspspulsar 200 43 5 38 0 157 157 0 0 0 0 59031 59008 1629031 11317 1206 0 0 0 orig/maplelcm orig maplelcm 200 46 6 40 0 154 154 0 0 0 0 89226 89201 1629226 11940 778 0 0 0 arev/maplelcm arev maplelcm 200 45 6 39 0 155 155 0 0 0 0 80380 80353 1630380 11550 763 0 0 0 c001/comspspulsar c001 comspspulsar 200 43 6 37 0 157 140 0 0 0 17 61274 61253 1631274 10531 966 0 0 0 vrev/comspspulsar vrev comspspulsar 200 43 6 37 0 157 157 0 0 0 0 61742 61720 1631742 11118 1198 0 0 0 vrev/maplelcm vrev maplelcm 200 45 5 40 0 155 155 0 0 0 0 81944 81909 1631944 11442 746 0 0 0 c001/maplelcm c001 maplelcm 200 45 6 39 0 155 134 0 0 0 21 82249 82228 1632249 11219 766 0 0 0 v100/maplelcm v100 maplelcm 200 45 5 40 0 155 155 0 0 0 0 83241 83222 1633241 11754 791 0 0 0 c100/maplelcm c100 maplelcm 200 45 5 40 0 155 155 0 0 0 0 83815 83792 1633815 11525 761 1 0 0 f001/comspspulsar f001 comspspulsar 200 43 5 38 0 157 157 0 0 0 0 64119 64094 1634119 11539 1201 0 0 0 v001/comspspulsar v001 comspspulsar 200 43 6 37 0 157 157 0 0 0 0 64158 64136 1634158 11750 1205 0 0 0 crev/maplelcm crev maplelcm 200 45 8 37 0 155 155 0 0 0 0 85638 85613 1635638 11218 745 0 0 0 f100/maplelcm f100 maplelcm 200 45 5 40 0 155 155 0 0 0 0 87201 87180 1637201 12051 781 0 0 0 c001/maplecomsps c001 maplecomsps 200 42 8 34 0 158 139 0 0 0 19 59002 58983 1639002 8285 563 0 0 0 a010/comspspulsar a010 comspspulsar 200 42 7 35 0 158 158 0 0 0 0 59186 59168 1639186 10329 1202 0 0 0 bf50/comspspulsar bf50 comspspulsar 200 42 6 36 0 158 158 0 0 0 0 60458 60435 1640458 10529 1192 0 0 0 c010/maplelcm c010 maplelcm 200 44 5 39 0 156 156 0 0 0 0 80552 80528 1640552 11512 770 0 0 0 vrev/maplecomsps vrev maplecomsps 200 42 8 34 0 158 158 0 0 0 0 61622 61600 1641622 8561 567 1 1 0 f100/comspspulsar f100 comspspulsar 200 42 5 37 0 158 158 0 0 0 0 61791 61769 1641791 11134 1210 0 0 0 a010/maplecomsps a010 maplecomsps 200 41 7 34 0 159 159 0 0 0 0 52546 52523 1642546 8025 571 0 0 0 v001/maplelcm v001 maplelcm 200 44 5 39 0 156 156 0 0 0 0 82750 82728 1642750 11605 750 1 0 0 a100/comspspulsar a100 comspspulsar 200 41 6 35 0 159 159 0 0 0 0 53238 53215 1643238 10385 1213 0 0 0 orig/maplecomsps orig maplecomsps 200 42 8 34 0 158 158 0 0 0 0 64454 64429 1644454 8500 568 0 0 0 bf50/maplecomsps bf50 maplecomsps 200 41 7 34 0 159 159 0 0 0 0 54766 54748 1644766 8402 573 0 0 0 pf50/maplecomsps pf50 maplecomsps 200 41 8 33 0 159 159 0 0 0 0 54995 54976 1644995 8046 569 1 0 0 a100/maplecomsps a100 maplecomsps 200 41 7 34 0 159 159 0 0 0 0 56290 56274 1646290 8125 568 0 0 0 c010/comspspulsar c010 comspspulsar 200 41 5 36 0 159 159 0 0 0 0 56389 56371 1646389 10449 1194 0 0 0 f100/maplecomsps f100 maplecomsps 200 42 6 36 0 158 158 0 0 0 0 66969 66951 1646969 8980 564 0 0 0 v100/maplecomsps v100 maplecomsps 200 41 7 34 0 159 159 0 0 0 0 57185 57166 1647185 8509 568 0 0 0 crev/maplecomsps crev maplecomsps 200 40 7 33 0 160 160 0 0 0 0 48786 48766 1648786 8001 569 0 0 0 f001/maplecomsps f001 maplecomsps 200 40 7 33 0 160 160 0 0 0 0 50036 50015 1650036 7694 562 0 0 0 orig/comspspulsar orig comspspulsar 200 40 5 35 0 160 160 0 0 0 0 51826 51807 1651826 10111 1194 0 0 0 v001/maplecomsps v001 maplecomsps 200 41 5 36 0 159 159 0 0 0 0 62170 62153 1652170 9282 570 0 0 0 c010/maplecomsps c010 maplecomsps 200 39 7 32 0 161 161 0 0 0 0 48138 48118 1658138 7518 567 1 0 0 v010/maplecomsps v010 maplecomsps 200 40 7 33 0 160 160 0 0 0 0 58672 58655 1658672 8154 563 0 0 0 f050/maplecomsps f050 maplecomsps 200 39 5 34 0 161 161 0 0 0 0 48724 48698 1658724 7910 568 0 0 0 qf50/maplecomsps qf50 maplecomsps 200 40 6 34 0 160 160 0 0 0 0 59088 59070 1659088 8564 579 0 0 0 arev/maplecomsps arev maplecomsps 200 39 5 34 0 161 161 0 0 0 0 49507 49489 1659507 8189 570 1 0 0 a001/maplecomsps a001 maplecomsps 200 38 6 32 0 162 162 0 0 0 0 45512 45491 1665512 7565 563 2 0 0 f010/maplecomsps f010 maplecomsps 200 36 5 31 0 164 164 0 0 0 0 36862 36842 1676862 7057 570 0 0 0 a100/glucose41 a100 glucose41 200 37 8 29 0 163 163 0 0 0 0 56298 56282 1686298 6524 334 0 0 0 a001/glucose41 a001 glucose41 200 37 6 31 0 163 163 0 0 0 0 57113 57098 1687113 6737 325 0 0 0 c010/glucose41 c010 glucose41 200 38 6 32 0 162 162 0 0 0 0 67971 67954 1687971 7210 354 0 0 0 c001/glucose41 c001 glucose41 200 37 6 31 0 163 136 0 0 0 27 65223 65204 1695223 6685 304 1 0 0 orig/glucose41 orig glucose41 200 35 5 30 0 165 165 0 0 0 0 48562 48543 1698562 6110 324 0 0 0 v100/glucose41 v100 glucose41 200 35 7 28 0 165 165 0 0 0 0 51863 51847 1701863 6089 372 0 0 0 a010/glucose41 a010 glucose41 200 35 7 28 0 165 165 0 0 0 0 52795 52782 1702795 6147 303 1 0 0 bf50/glucose41 bf50 glucose41 200 35 7 28 0 165 165 0 0 0 0 52880 52862 1702880 6299 322 0 0 0 arev/glucose41 arev glucose41 200 35 7 28 0 165 165 0 0 0 0 56927 56911 1706927 6248 347 0 0 0 f001/glucose41 f001 glucose41 200 34 5 29 0 166 166 0 0 0 0 48731 48714 1708731 5844 333 0 0 0 f010/glucose41 f010 glucose41 200 35 6 29 0 165 165 0 0 0 0 59923 59903 1709923 6302 346 1 0 0 f100/glucose41 f100 glucose41 200 34 5 29 0 166 166 0 0 0 0 52218 52192 1712218 5932 330 0 0 0 pf50/glucose41 pf50 glucose41 200 33 5 28 0 167 167 0 0 0 0 47053 47038 1717053 5719 308 1 0 0 c100/glucose41 c100 glucose41 200 33 6 27 0 167 167 0 0 0 0 48465 48456 1718465 5750 315 0 0 0 crev/glucose41 crev glucose41 200 33 6 27 0 167 167 0 0 0 0 50343 50322 1720343 5704 315 0 0 0 qf50/glucose41 qf50 glucose41 200 33 6 27 0 167 167 0 0 0 0 50845 50832 1720845 5507 300 1 0 0 f050/glucose41 f050 glucose41 200 32 6 26 0 168 168 0 0 0 0 44697 44682 1724697 5576 372 0 0 0 vrev/glucose41 vrev glucose41 200 33 5 28 0 167 167 0 0 0 0 55754 55736 1725754 6074 364 0 0 0 v001/glucose41 v001 glucose41 200 31 5 26 0 169 169 0 0 0 0 44008 43991 1734008 5441 358 0 0 0 v010/glucose41 v010 glucose41 200 31 6 25 0 169 169 0 0 0 0 44133 44117 1734133 5162 318 0 0 0 a100/tchglucose a100 tchglucose 200 27 8 19 0 173 173 0 0 0 0 29109 29098 1759109 3569 308 0 0 0 qf50/tchglucose qf50 tchglucose 200 27 8 19 0 173 173 0 0 0 0 29513 29500 1759513 3549 318 1 0 0 f010/tchglucose f010 tchglucose 200 26 7 19 0 174 174 0 0 0 0 21907 21890 1761907 3150 314 1 0 0 f100/tchglucose f100 tchglucose 200 27 7 20 0 173 173 0 0 0 0 35385 35372 1765385 3831 319 0 0 0 orig/tchglucose orig tchglucose 200 26 7 19 0 174 174 0 0 0 0 26652 26644 1766652 3490 303 0 0 0 pf50/tchglucose pf50 tchglucose 200 26 6 20 0 174 174 0 0 0 0 28504 28489 1768504 3633 321 0 0 0 v100/tchglucose v100 tchglucose 200 25 7 18 0 175 175 0 0 0 0 19550 19537 1769550 3038 306 0 0 0 crev/tchglucose crev tchglucose 200 25 7 18 0 175 175 0 0 0 0 22358 22348 1772358 3176 304 1 0 0 vrev/tchglucose vrev tchglucose 200 25 7 18 0 175 175 0 0 0 0 22539 22529 1772539 3239 310 0 0 0 arev/tchglucose arev tchglucose 200 25 7 18 0 175 175 0 0 0 0 22999 22990 1772999 3338 316 0 0 0 f001/tchglucose f001 tchglucose 200 25 7 18 0 175 175 0 0 0 0 26557 26547 1776557 3352 301 0 0 0 a001/tchglucose a001 tchglucose 200 25 6 19 0 175 175 0 0 0 0 27341 27330 1777341 3402 306 1 1 0 c010/tchglucose c010 tchglucose 200 24 6 18 0 176 176 0 0 0 0 18419 18409 1778419 2952 318 0 0 0 a010/tchglucose a010 tchglucose 200 24 6 18 0 176 176 0 0 0 0 19281 19271 1779281 3103 306 0 0 0 v010/tchglucose v010 tchglucose 200 24 6 18 0 176 176 0 0 0 0 22908 22900 1782908 3225 316 0 0 0 c100/tchglucose c100 tchglucose 200 24 6 18 0 176 176 0 0 0 0 22986 22973 1782986 3243 320 0 0 0 f050/tchglucose f050 tchglucose 200 24 5 19 0 176 176 0 0 0 0 23056 23044 1783056 3257 292 0 0 0 v001/tchglucose v001 tchglucose 200 24 5 19 0 176 176 0 0 0 0 25796 25786 1785796 3288 314 0 0 0 c001/tchglucose c001 tchglucose 200 23 5 18 0 177 148 0 0 0 29 16855 16844 1786855 2867 302 1 0 0 bf50/tchglucose bf50 tchglucose 200 23 5 18 0 177 177 0 0 0 0 20868 20859 1790868 3057 313 0 0 0