scramble solver cnt ok sat uns dis fld to mo s11 s6 unk real time par2 space max best uniq deep orig/cadical orig cadical 299 154 65 89 0 145 145 0 0 0 0 111368 111272 1561368 50252 6765 6 0 0 crev/cadical crev cadical 299 149 64 85 0 150 149 1 0 0 0 91642 91554 1591642 42360 6312 7 0 0 c010/cadical c010 cadical 299 150 62 88 0 149 148 1 0 0 0 104477 104387 1594477 41670 4608 3 0 0 c001/cadical c001 cadical 299 149 62 87 0 150 149 1 0 0 0 100379 100291 1600379 41359 4616 6 0 0 f100/maplecomsps f100 maplecomsps 299 152 67 85 0 147 146 1 0 0 0 136163 136074 1606163 42364 5563 1 0 0 f001/cadical f001 cadical 299 148 60 88 0 151 150 1 0 0 0 112905 112826 1622905 41587 4420 3 0 0 c010/maplelcm c010 maplelcm 299 155 66 89 0 144 140 4 0 0 0 183739 183641 1623739 55263 6755 2 1 0 f100/cadical f100 cadical 299 148 62 86 0 151 151 0 0 0 0 119234 119150 1629234 49761 6507 4 0 0 f050/cadical f050 cadical 299 147 61 86 0 152 152 0 0 0 0 110237 110158 1630237 49222 6774 8 0 0 qf50/cadical qf50 cadical 299 147 60 87 0 152 151 1 0 0 0 113451 113362 1633451 43418 6396 0 0 0 c100/cadical c100 cadical 299 144 59 85 0 155 154 1 0 0 0 86642 86557 1636642 40416 4659 3 0 0 c100/maplelcm c100 maplelcm 299 151 67 84 0 148 143 5 0 0 0 158987 158882 1638987 49928 5994 1 0 0 orig/maplecomsps orig maplecomsps 299 147 64 83 0 152 151 1 0 0 0 122508 122404 1642508 37989 5554 1 0 0 c100/maplecomsps c100 maplecomsps 299 148 65 83 0 151 149 2 0 0 0 132511 132427 1642511 40912 5745 1 0 0 orig/maplelcm orig maplelcm 299 152 64 88 0 147 141 6 0 0 0 174453 174344 1644453 47796 5810 2 0 0 v001/cadical v001 cadical 299 146 59 87 0 153 152 1 0 0 0 114974 114886 1644974 40731 4303 2 0 0 f050/maplelcm f050 maplelcm 299 150 64 86 0 149 144 4 1 0 0 157207 157128 1647207 53180 6218 0 0 0 vrev/cadical vrev cadical 299 144 58 86 0 155 154 1 0 0 0 98735 98654 1648735 40522 4301 9 0 0 vrev/maplecomsps vrev maplecomsps 299 147 65 82 0 152 151 1 0 0 0 132703 132616 1652703 40547 5638 1 0 0 arev/maplecomsps arev maplecomsps 299 146 64 82 0 153 152 1 0 0 0 122932 122846 1652932 39038 5681 4 0 0 v001/maplecomsps v001 maplecomsps 299 147 66 81 0 152 151 1 0 0 0 133526 133425 1653526 37906 5564 1 0 0 f100/maplelcm f100 maplelcm 299 151 64 87 0 148 143 5 0 0 0 173996 173901 1653996 49153 5814 0 0 0 crev/maplecomsps crev maplecomsps 299 146 65 81 0 153 151 2 0 0 0 125841 125768 1655841 40902 5622 2 0 0 arev/cadical arev cadical 299 143 57 86 0 156 155 1 0 0 0 97032 96954 1657032 39879 4270 5 0 0 f010/cadical f010 cadical 299 144 60 84 0 155 155 0 0 0 0 109151 109070 1659150 49434 6765 2 0 0 v100/cadical v100 cadical 299 145 59 86 0 154 153 1 0 0 0 121151 121070 1661151 41916 6127 1 0 0 a001/cadical a001 cadical 299 145 58 87 0 154 153 1 0 0 0 121638 121554 1661638 41099 4337 0 0 0 c001/maplecomsps c001 maplecomsps 299 145 63 82 0 154 152 2 0 0 0 122171 122084 1662171 41574 5630 2 0 0 f001/maplecomsps f001 maplecomsps 299 145 63 82 0 154 153 1 0 0 0 122831 122747 1662831 41169 5577 1 0 0 vrev/maplelcm vrev maplelcm 299 148 64 84 0 151 147 4 0 0 0 157722 157633 1667722 53053 5933 1 0 0 v010/cadical v010 cadical 299 144 58 86 0 155 154 1 0 0 0 119545 119472 1669545 36093 1441 2 0 0 f050/maplecomsps f050 maplecomsps 299 144 63 81 0 155 154 1 0 0 0 119617 119521 1669617 39732 5592 3 0 0 c010/comspspulsar c010 comspspulsar 299 145 65 80 0 154 152 2 0 0 0 129857 129768 1669857 39097 5648 1 0 0 a100/cadical a100 cadical 299 145 59 86 0 154 153 1 0 0 0 130471 130397 1670471 40627 4225 1 0 0 c010/maplecomsps c010 maplecomsps 299 145 63 82 0 154 152 2 0 0 0 130915 130826 1670915 41152 5588 1 0 0 a100/maplecomsps a100 maplecomsps 299 145 65 80 0 154 153 1 0 0 0 130929 130838 1670929 36416 5742 0 0 0 f010/maplecomsps f010 maplecomsps 299 144 62 82 0 155 154 1 0 0 0 120945 120860 1670945 40668 5599 0 0 0 qf50/maplecomsps qf50 maplecomsps 299 145 64 81 0 154 152 2 0 0 0 130986 130895 1670986 43446 5755 1 0 0 c001/maplelcm c001 maplelcm 299 148 63 85 0 151 146 5 0 0 0 161376 161288 1671376 53362 6979 1 0 0 v001/glucose41 v001 glucose41 299 146 62 84 0 153 153 0 0 0 0 142891 142794 1672891 38759 6512 0 0 0 a001/maplecomsps a001 maplecomsps 299 145 63 82 0 154 153 1 0 0 0 134525 134438 1674525 39869 5648 1 0 0 c010/tchglucose c010 tchglucose 299 143 64 79 0 156 156 0 0 0 0 116177 116087 1676177 43839 6552 2 0 0 a001/maplelcm a001 maplelcm 299 147 65 82 0 152 148 4 0 0 0 156325 156238 1676325 54743 6830 1 0 0 f010/maplelcm f010 maplelcm 299 146 60 86 0 153 147 6 0 0 0 146343 146256 1676343 45341 5854 3 1 0 qf50/maplelcm qf50 maplelcm 299 149 62 87 0 150 144 5 1 0 0 178645 178556 1678645 46986 6010 0 0 0 a010/cadical a010 cadical 299 143 56 87 0 156 154 2 0 0 0 119485 119401 1679485 36815 1461 0 0 0 v001/maplelcm v001 maplelcm 299 147 67 80 0 152 147 4 1 0 0 165008 164909 1685008 49347 5824 0 0 0 orig/tchglucose orig tchglucose 299 141 62 79 0 158 158 0 0 0 0 106618 106508 1686618 42902 6555 2 0 0 orig/glucose41 orig glucose41 299 142 62 80 0 157 157 0 0 0 0 117616 117509 1687616 39516 6528 1 0 0 crev/comspspulsar crev comspspulsar 299 141 61 80 0 158 156 2 0 0 0 108906 108822 1688906 35305 5681 2 0 0 f001/glucose41 f001 glucose41 299 142 62 80 0 157 157 0 0 0 0 121998 121906 1691998 40776 6528 3 0 0 f050/tchglucose f050 tchglucose 299 141 63 78 0 158 158 0 0 0 0 112259 112161 1692259 40708 6555 0 0 0 arev/maplelcm arev maplelcm 299 145 62 83 0 154 150 4 0 0 0 153079 152989 1693079 48445 5932 1 0 0 a010/maplelcm a010 maplelcm 299 146 63 83 0 153 149 3 1 0 0 163723 163639 1693723 60066 6743 1 0 0 c010/gluvc c010 gluvc 299 141 61 80 0 158 158 0 0 0 0 114288 114193 1694288 40633 6448 2 0 0 v010/maplecomsps v010 maplecomsps 299 142 62 80 0 157 156 1 0 0 0 124638 124550 1694638 36566 5539 2 0 0 f100/glucose41 f100 glucose41 299 141 60 81 0 158 158 0 0 0 0 115100 115019 1695100 41319 6528 3 0 0 f001/maplelcm f001 maplelcm 299 147 61 86 0 152 146 6 0 0 0 175491 175393 1695491 48321 5827 0 0 0 bf50/cadical bf50 cadical 299 141 57 84 0 158 157 1 0 0 0 117580 117496 1697580 41569 5899 1 0 0 v001/tchglucose v001 tchglucose 299 141 61 80 0 158 158 0 0 0 0 119049 118947 1699049 38640 6560 2 0 0 vrev/glucose41 vrev glucose41 299 141 58 83 0 158 158 0 0 0 0 119219 119133 1699219 42259 6663 2 0 0 c100/tchglucose c100 tchglucose 299 141 61 80 0 158 158 0 0 0 0 119287 119184 1699287 40898 6729 1 0 0 v010/maplelcm v010 maplelcm 299 144 64 80 0 155 150 5 0 0 0 149505 149420 1699505 45003 5789 1 0 0 a010/tchglucose a010 tchglucose 299 143 62 81 0 156 156 0 0 0 0 139687 139588 1699687 41419 6542 0 0 0 arev/tchglucose arev tchglucose 299 140 60 80 0 159 159 0 0 0 0 110080 109983 1700080 41942 6866 1 0 0 f001/tchglucose f001 tchglucose 299 140 62 78 0 159 159 0 0 0 0 111450 111362 1701450 43089 6555 1 0 0 f010/tchglucose f010 tchglucose 299 140 61 79 0 159 159 0 0 0 0 112212 112109 1702212 38088 6555 2 0 0 c001/tchglucose c001 tchglucose 299 140 62 78 0 159 159 0 0 0 0 112260 112167 1702260 41444 6547 1 0 0 orig/gluvc orig gluvc 299 141 60 81 0 158 158 0 0 0 0 122788 122684 1702788 39988 6450 1 0 0 c001/comspspulsar c001 comspspulsar 299 142 61 81 0 157 155 2 0 0 0 132960 132884 1702960 37475 5690 1 0 0 a010/maplecomsps a010 maplecomsps 299 142 61 81 0 157 156 1 0 0 0 133457 133373 1703457 36315 5638 1 0 0 f010/glucose41 f010 glucose41 299 141 60 81 0 158 158 0 0 0 0 125771 125684 1705771 41338 6528 2 0 0 pf50/maplelcm pf50 maplelcm 299 143 62 81 0 156 152 4 0 0 0 145953 145864 1705953 47023 5894 0 0 0 bf50/maplecomsps bf50 maplecomsps 299 142 63 79 0 157 156 1 0 0 0 136150 136059 1706150 37606 5761 2 0 0 v100/maplelcm v100 maplelcm 299 145 61 84 0 154 150 4 0 0 0 166908 166818 1706908 51015 5820 2 0 0 arev/comspspulsar arev comspspulsar 299 140 62 78 0 159 158 1 0 0 0 117235 117148 1707235 37530 5740 3 0 0 qf50/tchglucose qf50 tchglucose 299 140 61 79 0 159 159 0 0 0 0 117299 117212 1707299 41764 6782 2 0 0 c100/glucose41 c100 glucose41 299 142 62 80 0 157 157 0 0 0 0 137379 137284 1707379 42359 6702 0 0 0 c001/gluvc c001 gluvc 299 140 58 82 0 159 159 0 0 0 0 119891 119800 1709891 39854 6457 2 0 0 crev/tchglucose crev tchglucose 299 138 60 78 0 161 161 0 0 0 0 101258 101173 1711258 38870 6700 1 0 0 c100/gluvc c100 gluvc 299 140 59 81 0 159 159 0 0 0 0 121923 121822 1711923 38840 6625 1 0 0 bf50/maplelcm bf50 maplelcm 299 144 64 80 0 155 150 5 0 0 0 162261 162168 1712261 42815 5521 0 0 0 pf50/cadical pf50 cadical 299 140 54 86 0 159 158 1 0 0 0 123502 123429 1713502 41637 5986 3 0 0 f010/comspspulsar f010 comspspulsar 299 138 59 79 0 161 160 1 0 0 0 103658 103571 1713658 34355 5656 1 0 0 v100/maplecomsps v100 maplecomsps 299 140 59 81 0 159 158 1 0 0 0 124237 124158 1714237 34434 5569 1 0 0 vrev/tchglucose vrev tchglucose 299 138 60 78 0 161 161 0 0 0 0 104482 104391 1714482 40161 6700 0 0 0 orig/comspspulsar orig comspspulsar 299 140 60 80 0 159 158 1 0 0 0 125156 125053 1715156 35408 5614 1 0 0 a001/tchglucose a001 tchglucose 299 140 60 80 0 159 159 0 0 0 0 125519 125417 1715519 38415 6519 2 0 0 c100/comspspulsar c100 comspspulsar 299 139 59 80 0 160 158 2 0 0 0 119286 119189 1719286 35985 5805 1 0 0 a001/comspspulsar a001 comspspulsar 299 140 62 78 0 159 158 1 0 0 0 132439 132363 1722439 35687 5707 0 0 0 f050/comspspulsar f050 comspspulsar 299 139 58 81 0 160 159 1 0 0 0 123219 123132 1723219 36501 5647 1 0 0 v001/gluvc v001 gluvc 299 138 57 81 0 161 161 0 0 0 0 113344 113251 1723344 39288 6442 1 0 0 f100/comspspulsar f100 comspspulsar 299 137 58 79 0 162 161 1 0 0 0 103426 103345 1723426 34680 5622 1 0 0 v001/comspspulsar v001 comspspulsar 299 140 60 80 0 159 158 1 0 0 0 133433 133343 1723433 34081 5624 2 0 0 c010/glucose41 c010 glucose41 299 138 60 78 0 161 161 0 0 0 0 114036 113945 1724036 41594 6531 0 0 0 f100/gluvc f100 gluvc 299 137 59 78 0 162 162 0 0 0 0 105864 105780 1725864 38447 6450 2 0 0 f010/gluvc f010 gluvc 299 138 59 79 0 161 161 0 0 0 0 115884 115791 1725884 41894 6450 1 0 0 crev/maplelcm crev maplelcm 299 142 59 83 0 157 151 6 0 0 0 156138 156050 1726138 46412 5873 0 0 0 vrev/gluvc vrev gluvc 299 138 57 81 0 161 161 0 0 0 0 116632 116544 1726632 44341 6675 0 0 0 v010/glucose41 v010 glucose41 299 138 59 79 0 161 161 0 0 0 0 118117 118029 1728117 38081 6490 3 0 0 arev/gluvc arev gluvc 299 137 60 77 0 162 162 0 0 0 0 109314 109211 1729314 37867 6762 1 0 0 pf50/maplecomsps pf50 maplecomsps 299 139 61 78 0 160 159 1 0 0 0 130486 130398 1730486 35956 5637 0 0 0 v010/gluvc v010 gluvc 299 138 59 79 0 161 161 0 0 0 0 121034 120942 1731034 39701 6423 0 0 0 c001/glucose41 c001 glucose41 299 136 59 77 0 163 163 0 0 0 0 102302 102207 1732302 38812 6516 2 0 0 f050/gluvc f050 gluvc 299 137 58 79 0 162 162 0 0 0 0 112759 112664 1732759 37471 6450 3 0 0 f100/tchglucose f100 tchglucose 299 135 61 74 0 164 164 0 0 0 0 94062 93978 1734062 36021 6555 0 0 0 f001/gluvc f001 gluvc 299 137 58 79 0 162 162 0 0 0 0 115345 115252 1735345 39342 6450 2 0 0 arev/glucose41 arev glucose41 299 137 57 80 0 162 162 0 0 0 0 116236 116139 1736236 39792 6816 1 0 0 v100/tchglucose v100 tchglucose 299 138 60 78 0 161 161 0 0 0 0 127317 127223 1737317 41533 6592 0 0 0 qf50/comspspulsar qf50 comspspulsar 299 138 59 79 0 161 159 2 0 0 0 127441 127353 1737441 37825 5815 1 0 0 crev/glucose41 crev glucose41 299 137 56 81 0 162 162 0 0 0 0 117776 117682 1737776 38040 6651 5 0 0 f001/comspspulsar f001 comspspulsar 299 136 57 79 0 163 162 1 0 0 0 108097 108022 1738097 33760 5633 1 0 0 a010/glucose41 a010 glucose41 299 138 58 80 0 161 161 0 0 0 0 130283 130189 1740283 39647 6521 1 0 0 f050/glucose41 f050 glucose41 299 136 54 82 0 163 163 0 0 0 0 110500 110418 1740500 38509 6528 3 0 0 a100/maplelcm a100 maplelcm 299 142 59 83 0 157 151 6 0 0 0 170569 170473 1740569 45401 5995 0 0 0 v010/tchglucose v010 tchglucose 299 136 58 78 0 163 163 0 0 0 0 110918 110829 1740918 38258 6527 1 0 0 v100/comspspulsar v100 comspspulsar 299 138 60 78 0 161 160 1 0 0 0 133493 133420 1743493 33632 5630 0 0 0 qf50/glucose41 qf50 glucose41 299 136 58 78 0 163 163 0 0 0 0 113570 113476 1743570 40110 6725 1 0 0 qf50/gluvc qf50 gluvc 299 137 58 79 0 162 162 0 0 0 0 126147 126052 1746147 40804 6678 0 0 0 crev/gluvc crev gluvc 299 135 56 79 0 164 164 0 0 0 0 107026 106937 1747026 37489 6596 2 0 0 a001/gluvc a001 gluvc 299 135 60 75 0 164 163 1 0 0 0 110111 110024 1750111 34450 6417 1 0 0 pf50/tchglucose pf50 tchglucose 299 136 59 77 0 163 163 0 0 0 0 120354 120265 1750354 39774 6636 1 0 0 pf50/gluvc pf50 gluvc 299 136 58 78 0 163 163 0 0 0 0 120845 120759 1750845 36573 6532 0 0 0 a001/glucose41 a001 glucose41 299 135 56 79 0 164 164 0 0 0 0 112177 112092 1752177 40392 6488 0 0 0 a010/comspspulsar a010 comspspulsar 299 135 58 77 0 164 163 1 0 0 0 115781 115710 1755781 33424 5698 0 0 0 vrev/comspspulsar vrev comspspulsar 299 134 56 78 0 165 164 1 0 0 0 107271 107196 1757271 34395 5698 3 0 0 v100/gluvc v100 gluvc 299 135 56 79 0 164 164 0 0 0 0 124538 124454 1764538 36005 6488 0 0 0 v010/comspspulsar v010 comspspulsar 299 136 58 78 0 163 162 1 0 0 0 136298 136212 1766298 33375 5600 0 0 0 a100/glucose41 a100 glucose41 299 134 56 78 0 165 165 0 0 0 0 118272 118177 1768272 38159 6715 0 0 0 bf50/glucose41 bf50 glucose41 299 135 57 78 0 164 164 0 0 0 0 129323 129230 1769323 36307 6839 0 0 0 bf50/tchglucose bf50 tchglucose 299 133 58 75 0 166 166 0 0 0 0 112239 112144 1772239 38261 6882 0 0 0 v100/glucose41 v100 glucose41 299 134 55 79 0 165 165 0 0 0 0 122706 122619 1772706 41745 6555 0 0 0 a100/comspspulsar a100 comspspulsar 299 133 60 73 0 166 165 1 0 0 0 114604 114525 1774604 32814 5802 1 0 0 pf50/glucose41 pf50 glucose41 299 132 56 76 0 167 167 0 0 0 0 108991 108900 1778991 36884 6599 0 0 0 a010/gluvc a010 gluvc 299 133 58 75 0 166 166 0 0 0 0 121469 121384 1781469 36261 6438 0 0 0 bf50/gluvc bf50 gluvc 299 132 60 72 0 167 167 0 0 0 0 116515 116427 1786515 34034 6778 0 0 0 a100/tchglucose a100 tchglucose 299 130 58 72 0 169 169 0 0 0 0 97185 97098 1787185 38208 6756 0 0 0 bf50/comspspulsar bf50 comspspulsar 299 130 59 71 0 169 168 1 0 0 0 103181 103100 1793181 31624 5820 1 0 0 a100/gluvc a100 gluvc 299 132 58 74 0 167 167 0 0 0 0 131215 131121 1801215 36957 6652 0 0 0 pf50/comspspulsar pf50 comspspulsar 299 128 55 73 0 171 170 1 0 0 0 101401 101330 1811401 29552 5697 0 0 0