java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files pnueli-zuck.10.prism --property-input-files pnueli-zuck.props --property-input-names live --translate-messages false --value-floating-point-output-native true
Default settings. The option --translate-messages is set to false to ease the parsing of the output while the --value-floating-point-output-native is set to true to get the float values printed in full, instead of with only 7 digits of precision given by the default %.7f format.
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 3295 3294
build-model-states-explored 9248 5954
build-model-states-explored 15354 6106
build-model-states-explored 21531 6177
build-model-states-explored 27437 5906
build-model-states-explored 33670 6233
build-model-states-explored 39859 6189
build-model-states-explored 46065 6206
build-model-states-explored 51621 5556
build-model-states-explored 57855 6234
build-model-states-explored 64026 6171
build-model-states-explored 70219 6193
build-model-states-explored 76443 6224
build-model-states-explored 82428 5985
build-model-states-explored 88467 6039
build-model-states-explored 94663 6196
build-model-states-explored 99614 4951
build-model-states-explored 105822 6208
build-model-states-explored 111973 6151
build-model-states-explored 118103 6130
build-model-states-explored 124232 6129
build-model-states-explored 130373 6141
build-model-states-explored 136538 6165
build-model-states-explored 142753 6215
build-model-states-explored 148943 6190
build-model-states-explored 155068 6125
build-model-states-explored 161227 6159
build-model-states-explored 167430 6203
build-model-states-explored 173293 5863
build-model-states-explored 179488 6195
build-model-states-explored 185659 6171
build-model-states-explored 191429 5770
build-model-states-explored 195500 4071
build-model-states-explored 201693 6193
build-model-states-explored 207839 6146
build-model-states-explored 213984 6145
build-model-states-explored 220162 6178
build-model-states-explored 226355 6193
build-model-states-explored 232474 6119
build-model-states-explored 238643 6169
build-model-states-explored 244794 6151
build-model-states-explored 250965 6171
build-model-states-explored 257139 6174
build-model-states-explored 263277 6137
build-model-states-explored 269422 6146
build-model-states-explored 275527 6105
build-model-states-explored 281570 6043
build-model-states-explored 287681 6111
build-model-states-explored 293803 6122
build-model-states-explored 299861 6058
build-model-states-explored 305972 6111
build-model-states-explored 312052 6080
build-model-states-explored 318211 6158
build-model-states-explored 324392 6182
build-model-states-explored 330531 6139
build-model-states-explored 336722 6191
build-model-states-explored 342886 6164
build-model-states-explored 349066 6180
build-model-states-explored 354588 5522
build-model-states-explored 360704 6116
build-model-states-explored 366770 6066
build-model-states-explored 372882 6112
build-model-states-explored 378643 5761
build-model-states-explored 380434 1791
build-model-states-explored 386180 5746
build-model-states-explored 392343 6163
build-model-states-explored 398535 6192
build-model-states-explored 404707 6172
build-model-states-explored 410804 6097
build-model-states-explored 416928 6124
build-model-states-explored 423090 6162
build-model-states-explored 429219 6129
build-model-states-explored 435383 6164
build-model-states-explored 441500 6117
build-model-states-explored 447726 6226
build-model-states-explored 453864 6138
build-model-states-explored 460015 6151
build-model-states-explored 466160 6145
build-model-states-explored 472299 6139
build-model-states-explored 478467 6168
build-model-states-explored 484590 6123
build-model-states-explored 490679 6089
build-model-states-explored 496768 6089
build-model-states-explored 502886 6118
build-model-states-explored 508994 6108
build-model-states-explored 515105 6111
build-model-states-explored 521289 6184
build-model-states-explored 527423 6134
build-model-states-explored 533560 6137
build-model-states-explored 539722 6162
build-model-states-explored 545807 6085
build-model-states-explored 551901 6094
build-model-states-explored 558004 6103
build-model-states-explored 564171 6167
build-model-states-explored 570346 6175
build-model-states-explored 576418 6072
build-model-states-explored 582563 6145
build-model-states-explored 588728 6165
build-model-states-explored 594833 6104
build-model-states-explored 600950 6117
build-model-states-explored 607072 6122
build-model-states-explored 613161 6089
build-model-states-explored 619255 6094
build-model-states-explored 625371 6116
build-model-states-explored 631483 6112
build-model-states-explored 637599 6116
build-model-states-explored 643682 6083
build-model-states-explored 649748 6066
build-model-states-explored 655743 5994
build-model-states-explored 661775 6032
build-model-states-explored 667796 6021
build-model-states-explored 673903 6107
build-model-states-explored 679995 6092
build-model-states-explored 686105 6110
build-model-states-explored 692193 6088
build-model-states-explored 698233 6040
build-model-states-explored 704292 6059
build-model-states-explored 710390 6098
build-model-states-explored 716443 6053
build-model-states-explored 722477 6034
build-model-states-explored 728468 5991
build-model-states-explored 734625 6157
build-model-states-explored 739358 4733
build-model-states-explored 745528 6170
build-model-states-explored 751718 6190
build-model-states-explored 757210 5492
build-model-states-explored 757792 582
build-model-states-explored 760170 2378
build-model-states-explored 766285 6115
build-model-states-explored 772429 6144
build-model-states-explored 778589 6160
build-model-states-explored 784757 6168
build-model-states-explored 790882 6125
build-model-states-explored 797055 6173
build-model-states-explored 803231 6176
build-model-states-explored 809401 6170
build-model-states-explored 815569 6168
build-model-states-explored 821687 6118
build-model-states-explored 827788 6101
build-model-states-explored 833887 6099
build-model-states-explored 839964 6077
build-model-states-explored 845994 6030
build-model-states-explored 852078 6084
build-model-states-explored 858191 6113
build-model-states-explored 864249 6058
build-model-states-explored 870353 6104
build-model-states-explored 876439 6086
build-model-states-explored 882613 6174
build-model-states-explored 888776 6163
build-model-states-explored 894892 6116
build-model-states-explored 901036 6144
build-model-states-explored 907192 6156
build-model-states-explored 913342 6150
build-model-states-explored 919495 6153
build-model-states-explored 925608 6113
build-model-states-explored 931713 6105
build-model-states-explored 937796 6083
build-model-states-explored 943864 6068
build-model-states-explored 950003 6139
build-model-states-explored 956142 6139
build-model-states-explored 962290 6148
build-model-states-explored 968405 6115
build-model-states-explored 974479 6074
build-model-states-explored 980601 6122
build-model-states-explored 986735 6133
build-model-states-explored 992791 6057
build-model-states-explored 998883 6092
build-model-states-explored 1005097 6214
build-model-states-explored 1010931 5834
build-model-states-explored 1016317 5386
build-model-states-explored 1022419 6102
build-model-states-explored 1028449 6030
build-model-states-explored 1034509 6060
build-model-states-explored 1040590 6081
build-model-states-explored 1046739 6148
build-model-states-explored 1052796 6058
build-model-states-explored 1058882 6086
build-model-states-explored 1064975 6093
build-model-states-explored 1071095 6120
build-model-states-explored 1077148 6053
build-model-states-explored 1083256 6108
build-model-states-explored 1089345 6089
build-model-states-explored 1095453 6108
build-model-states-explored 1101489 6036
build-model-states-explored 1107544 6055
build-model-states-explored 1113609 6065
build-model-states-explored 1119659 6050
build-model-states-explored 1125671 6012
build-model-states-explored 1131676 6005
build-model-states-explored 1137723 6047
build-model-states-explored 1143756 6033
build-model-states-explored 1149809 6053
build-model-states-explored 1155816 6007
build-model-states-explored 1161878 6062
build-model-states-explored 1167928 6050
build-model-states-explored 1173974 6046
build-model-states-explored 1180043 6069
build-model-states-explored 1186182 6139
build-model-states-explored 1192140 5958
build-model-states-explored 1198208 6068
build-model-states-explored 1204277 6069
build-model-states-explored 1210388 6111
build-model-states-explored 1216462 6074
build-model-states-explored 1222584 6122
build-model-states-explored 1228689 6105
build-model-states-explored 1234813 6124
build-model-states-explored 1240861 6048
build-model-states-explored 1246905 6044
build-model-states-explored 1252909 6004
build-model-states-explored 1258951 6042
build-model-states-explored 1264986 6035
build-model-states-explored 1271010 6024
build-model-states-explored 1277065 6055
build-model-states-explored 1283174 6109
build-model-states-explored 1289248 6074
build-model-states-explored 1295368 6120
build-model-states-explored 1301467 6099
build-model-states-explored 1307575 6108
build-model-states-explored 1313618 6043
build-model-states-explored 1319643 6025
build-model-states-explored 1325672 6029
build-model-states-explored 1331765 6093
build-model-states-explored 1337858 6093
build-model-states-explored 1343943 6085
build-model-states-explored 1349986 6043
build-model-states-explored 1356051 6065
build-model-states-explored 1362071 6020
build-model-states-explored 1368154 6083
build-model-states-explored 1374176 6022
build-model-states-explored 1380207 6031
build-model-states-explored 1386263 6056
build-model-states-explored 1392296 6033
build-model-states-explored 1398308 6011
build-model-states-explored 1404332 6025
build-model-states-explored 1410390 6058
build-model-states-explored 1416437 6047
build-model-states-explored 1422503 6066
build-model-states-explored 1428532 6029
build-model-states-explored 1434582 6050
build-model-states-explored 1440531 5949
build-model-states-explored 1446558 6027
build-model-states-explored 1452572 6014
build-model-states-explored 1458560 5988
build-model-states-explored 1464563 6003
build-model-states-explored 1470573 6010
build-model-states-explored 1476538 5965
build-model-states-explored 1482465 5927
build-model-states-explored 1488443 5978
build-model-states-explored 1494433 5990
build-model-states-explored 1500357 5924
build-model-states-explored 1505050 4693
build-model-states-explored 1510619 5569
build-model-states-explored 1511568 949
build-model-states-explored 1511568 0
build-model-states-explored 1511568 0
build-model-states-explored 1515708 4140
build-model-states-explored 1521768 6060
build-model-states-explored 1527820 6052
build-model-states-explored 1533832 6012
build-model-states-explored 1539909 6077
build-model-states-explored 1545958 6049
build-model-states-explored 1551996 6038
build-model-states-explored 1558024 6028
build-model-states-explored 1564039 6015
build-model-states-explored 1569996 5957
build-model-states-explored 1575999 6003
build-model-states-explored 1581968 5969
build-model-states-explored 1588037 6069
build-model-states-explored 1594066 6029
build-model-states-explored 1600091 6025
build-model-states-explored 1606105 6014
build-model-states-explored 1612035 5930
build-model-states-explored 1618081 6046
build-model-states-explored 1624061 5980
build-model-states-explored 1629977 5916
build-model-states-explored 1636153 6176
build-model-states-explored 1642259 6106
build-model-states-explored 1648362 6103
build-model-states-explored 1654416 6054
build-model-states-explored 1660541 6125
build-model-states-explored 1666633 6092
build-model-states-explored 1672723 6090
build-model-states-explored 1678815 6092
build-model-states-explored 1684939 6124
build-model-states-explored 1691038 6099
build-model-states-explored 1697109 6071
build-model-states-explored 1703166 6057
build-model-states-explored 1709215 6049
build-model-states-explored 1715282 6067
build-model-states-explored 1721219 5937
build-model-states-explored 1727050 5831
build-model-states-explored 1733060 6010
build-model-states-explored 1739131 6071
build-model-states-explored 1745214 6083
build-model-states-explored 1751273 6059
build-model-states-explored 1757352 6079
build-model-states-explored 1763449 6097
build-model-states-explored 1769467 6018
build-model-states-explored 1775439 5972
build-model-states-explored 1781441 6002
build-model-states-explored 1787445 6004
build-model-states-explored 1793408 5963
build-model-states-explored 1799329 5921
build-model-states-explored 1805347 6018
build-model-states-explored 1811137 5790
build-model-states-explored 1817163 6026
build-model-states-explored 1823206 6043
build-model-states-explored 1829193 5987
build-model-states-explored 1835186 5993
build-model-states-explored 1841099 5913
build-model-states-explored 1847068 5969
build-model-states-explored 1853032 5964
build-model-states-explored 1859049 6017
build-model-states-explored 1865076 6027
build-model-states-explored 1871078 6002
build-model-states-explored 1877014 5936
build-model-states-explored 1883005 5991
build-model-states-explored 1888943 5938
build-model-states-explored 1894956 6013
build-model-states-explored 1900904 5948
build-model-states-explored 1906870 5966
build-model-states-explored 1912749 5879
build-model-states-explored 1918686 5937
build-model-states-explored 1924637 5951
build-model-states-explored 1930629 5992
build-model-states-explored 1936342 5713
build-model-states-explored 1942262 5920
build-model-states-explored 1948310 6048
build-model-states-explored 1954339 6029
build-model-states-explored 1960423 6084
build-model-states-explored 1966496 6073
build-model-states-explored 1972561 6065
build-model-states-explored 1978610 6049
build-model-states-explored 1984662 6052
build-model-states-explored 1990724 6062
build-model-states-explored 1996675 5951
build-model-states-explored 2002704 6029
build-model-states-explored 2008729 6025
build-model-states-explored 2014764 6035
build-model-states-explored 2020768 6004
build-model-states-explored 2026722 5954
build-model-states-explored 2032714 5992
build-model-states-explored 2038684 5970
build-model-states-explored 2044716 6032
build-model-states-explored 2050734 6018
build-model-states-explored 2056501 5767
build-model-states-explored 2062434 5933
build-model-states-explored 2068454 6020
build-model-states-explored 2074383 5929
build-model-states-explored 2080345 5962
build-model-states-explored 2086427 6082
build-model-states-explored 2092513 6086
build-model-states-explored 2098515 6002
build-model-states-explored 2104574 6059
build-model-states-explored 2110628 6054
build-model-states-explored 2116630 6002
build-model-states-explored 2122660 6030
build-model-states-explored 2128672 6012
build-model-states-explored 2134575 5903
build-model-states-explored 2140546 5971
build-model-states-explored 2146591 6045
build-model-states-explored 2152597 6006
build-model-states-explored 2158529 5932
build-model-states-explored 2164450 5921
build-model-states-explored 2170207 5757
build-model-states-explored 2176306 6099
build-model-states-explored 2182448 6142
build-model-states-explored 2188606 6158
build-model-states-explored 2194733 6127
build-model-states-explored 2200766 6033
build-model-states-explored 2206761 5995
build-model-states-explored 2212824 6063
build-model-states-explored 2218847 6023
build-model-states-explored 2224919 6072
build-model-states-explored 2230997 6078
build-model-states-explored 2237109 6112
build-model-states-explored 2243132 6023
build-model-states-explored 2249158 6026
build-model-states-explored 2255148 5990
build-model-states-explored 2261201 6053
build-model-states-explored 2267210 6009
build-model-states-explored 2273237 6027
build-model-states-explored 2279253 6016
build-model-states-explored 2285303 6050
build-model-states-explored 2291464 6161
build-model-states-explored 2297559 6095
build-model-states-explored 2303610 6051
build-model-states-explored 2309651 6041
build-model-states-explored 2315736 6085
build-model-states-explored 2321814 6078
build-model-states-explored 2327826 6012
build-model-states-explored 2333872 6046
build-model-states-explored 2339902 6030
build-model-states-explored 2345953 6051
build-model-states-explored 2352114 6161
build-model-states-explored 2358179 6065
build-model-states-explored 2364244 6065
build-model-states-explored 2370302 6058
build-model-states-explored 2376343 6041
build-model-states-explored 2382459 6116
build-model-states-explored 2388479 6020
build-model-states-explored 2394510 6031
build-model-states-explored 2400576 6066
build-model-states-explored 2406630 6054
build-model-states-explored 2412741 6111
build-model-states-explored 2418770 6029
build-model-states-explored 2424787 6017
build-model-states-explored 2430766 5979
build-model-states-explored 2436815 6049
build-model-states-explored 2442834 6019
build-model-states-explored 2448825 5991
build-model-states-explored 2454841 6016
build-model-states-explored 2460661 5820
build-model-states-explored 2466692 6031
build-model-states-explored 2472675 5983
build-model-states-explored 2478671 5996
build-model-states-explored 2484631 5960
build-model-states-explored 2490627 5996
build-model-states-explored 2496589 5962
build-model-states-explored 2502540 5951
build-model-states-explored 2508553 6013
build-model-states-explored 2514560 6007
build-model-states-explored 2520551 5991
build-model-states-explored 2526593 6042
build-model-states-explored 2532622 6029
build-model-states-explored 2538660 6038
build-model-states-explored 2544653 5993
build-model-states-explored 2550628 5975
build-model-states-explored 2556610 5982
build-model-states-explored 2562619 6009
build-model-states-explored 2568645 6026
build-model-states-explored 2574642 5997
build-model-states-explored 2580620 5978
build-model-states-explored 2586618 5998
build-model-states-explored 2592576 5958
build-model-states-explored 2598635 6059
build-model-states-explored 2604784 6149
build-model-states-explored 2610825 6041
build-model-states-explored 2616875 6050
build-model-states-explored 2622915 6040
build-model-states-explored 2628940 6025
build-model-states-explored 2634993 6053
build-model-states-explored 2641006 6013
build-model-states-explored 2647044 6038
build-model-states-explored 2653088 6044
build-model-states-explored 2659153 6065
build-model-states-explored 2665264 6111
build-model-states-explored 2671314 6050
build-model-states-explored 2677402 6088
build-model-states-explored 2683408 6006
build-model-states-explored 2689416 6008
build-model-states-explored 2695492 6076
build-model-states-explored 2701538 6046
build-model-states-explored 2707568 6030
build-model-states-explored 2713653 6085
build-model-states-explored 2719685 6032
build-model-states-explored 2725762 6077
build-model-states-explored 2731767 6005
build-model-states-explored 2737793 6026
build-model-states-explored 2743807 6014
build-model-states-explored 2749790 5983
build-model-states-explored 2755786 5996
build-model-states-explored 2761751 5965
build-model-states-explored 2767731 5980
build-model-states-explored 2773743 6012
build-model-states-explored 2779776 6033
build-model-states-explored 2785804 6028
build-model-states-explored 2791760 5956
build-model-states-explored 2797735 5975
build-model-states-explored 2803698 5963
build-model-states-explored 2809609 5911
build-model-states-explored 2815663 6054
build-model-states-explored 2821691 6028
build-model-states-explored 2827752 6061
build-model-states-explored 2833819 6067
build-model-states-explored 2839859 6040
build-model-states-explored 2845931 6072
build-model-states-explored 2851976 6045
build-model-states-explored 2857998 6022
build-model-states-explored 2864057 6059
build-model-states-explored 2870066 6009
build-model-states-explored 2876104 6038
build-model-states-explored 2882095 5991
build-model-states-explored 2888123 6028
build-model-states-explored 2894111 5988
build-model-states-explored 2900110 5999
build-model-states-explored 2906091 5981
build-model-states-explored 2912007 5916
build-model-states-explored 2918082 6075
build-model-states-explored 2924107 6025
build-model-states-explored 2930106 5999
build-model-states-explored 2936094 5988
build-model-states-explored 2942923 6829
build-model-states-explored 2949747 6824
build-model-states-explored 2956514 6767
build-model-states-explored 2963320 6806
build-model-states-explored 2970096 6776
build-model-states-explored 2976824 6728
build-model-states-explored 2983482 6658
build-model-states-explored 2990151 6669
build-model-states-explored 2995224 5073
build-model-states-explored 3002027 6803
build-model-states-explored 3008838 6811
build-model-states-explored 3014042 5204
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3014042 0
build-model-states-explored 3015134 1092
build-model-states-explored 3021939 6805
build-model-states-explored 3028756 6817
build-model-states-explored 3035578 6822
build-model-states-explored 3042418 6840
build-model-states-explored 3049225 6807
build-model-states-explored 3056035 6810
build-model-states-explored 3062815 6780
build-model-states-explored 3069611 6796
build-model-states-explored 3076401 6790
build-model-states-explored 3083158 6757
build-model-states-explored 3090018 6860
build-model-states-explored 3096822 6804
build-model-states-explored 3103660 6838
build-model-states-explored 3110492 6832
build-model-states-explored 3114996 4504
build-model-states-explored 3116556 1560
build-model-states-explored 3123397 6841
build-model-states-explored 3130205 6808
build-model-states-explored 3137070 6865
build-model-states-explored 3143922 6852
build-model-states-explored 3150763 6841
build-model-states-explored 3157563 6800
build-model-states-explored 3164398 6835
build-model-states-explored 3171210 6812
build-model-states-explored 3178055 6845
build-model-states-explored 3184883 6828
build-model-states-explored 3191697 6814
build-model-states-explored 3198497 6800
build-model-states-explored 3205298 6801
build-model-states-explored 3212077 6779
build-model-states-explored 3218848 6771
build-model-states-explored 3225588 6740
build-model-states-explored 3232290 6702
build-model-states-explored 3239031 6741
build-model-states-explored 3245781 6750
build-model-states-explored 3252600 6819
build-model-states-explored 3259402 6802
build-model-states-explored 3266152 6750
build-model-states-explored 3272866 6714
build-model-states-explored 3279600 6734
build-model-states-explored 3286319 6719
build-model-states-explored 3292937 6618
build-model-states-explored 3299836 6899
build-model-states-explored 3306680 6844
build-model-states-explored 3313565 6885
build-model-states-explored 3320415 6850
build-model-states-explored 3327267 6852
build-model-states-explored 3334056 6789
build-model-states-explored 3340853 6797
build-model-states-explored 3347677 6824
build-model-states-explored 3354514 6837
build-model-states-explored 3361341 6827
build-model-states-explored 3368165 6824
build-model-states-explored 3374981 6816
build-model-states-explored 3381759 6778
build-model-states-explored 3388590 6831
build-model-states-explored 3395397 6807
build-model-states-explored 3402162 6765
build-model-states-explored 3408870 6708
build-model-states-explored 3415565 6695
build-model-states-explored 3422328 6763
build-model-states-explored 3428995 6667
build-model-states-explored 3435742 6747
build-model-states-explored 3442598 6856
build-model-states-explored 3449447 6849
build-model-states-explored 3456257 6810
build-model-states-explored 3463090 6833
build-model-states-explored 3469828 6738
build-model-states-explored 3476598 6770
build-model-states-explored 3483326 6728
build-model-states-explored 3489924 6598
build-model-states-explored 3496473 6549
build-model-states-explored 3503249 6776
build-model-states-explored 3509950 6701
build-model-states-explored 3516561 6611
build-model-states-explored 3523235 6674
build-model-states-explored 3530249 7014
build-model-states-explored 3537204 6955
build-model-states-explored 3544063 6859
build-model-states-explored 3550940 6877
build-model-states-explored 3557839 6899
build-model-states-explored 3564737 6898
build-model-states-explored 3571588 6851
build-model-states-explored 3578477 6889
build-model-states-explored 3585361 6884
build-model-states-explored 3592345 6984
build-model-states-explored 3599259 6914
build-model-states-explored 3606152 6893
build-model-states-explored 3613005 6853
build-model-states-explored 3619862 6857
build-model-states-explored 3626728 6866
build-model-states-explored 3633594 6866
build-model-states-explored 3640512 6918
build-model-states-explored 3647397 6885
build-model-states-explored 3654270 6873
build-model-states-explored 3661133 6863
build-model-states-explored 3668011 6878
build-model-states-explored 3674857 6846
build-model-states-explored 3681735 6878
build-model-states-explored 3688558 6823
build-model-states-explored 3695359 6801
build-model-states-explored 3702164 6805
build-model-states-explored 3709023 6859
build-model-states-explored 3715913 6890
build-model-states-explored 3722740 6827
build-model-states-explored 3729584 6844
build-model-states-explored 3736410 6826
build-model-states-explored 3743307 6897
build-model-states-explored 3750235 6928
build-model-states-explored 3757130 6895
build-model-states-explored 3764018 6888
build-model-states-explored 3770861 6843
build-model-states-explored 3777566 6705
build-model-states-explored 3784317 6751
build-model-states-explored 3791206 6889
build-model-states-explored 3798105 6899
build-model-states-explored 3805040 6935
build-model-states-explored 3811888 6848
build-model-states-explored 3818775 6887
build-model-states-explored 3825580 6805
build-model-states-explored 3832404 6824
build-model-states-explored 3839177 6773
build-model-states-explored 3846032 6855
build-model-states-explored 3852922 6890
build-model-states-explored 3859807 6885
build-model-states-explored 3866729 6922
build-model-states-explored 3873618 6889
build-model-states-explored 3880439 6821
build-model-states-explored 3887228 6789
build-model-states-explored 3894054 6826
build-model-states-explored 3900844 6790
build-model-states-explored 3907609 6765
build-model-states-explored 3914326 6717
build-model-states-explored 3921203 6877
build-model-states-explored 3928056 6853
build-model-states-explored 3934915 6859
build-model-states-explored 3941780 6865
build-model-states-explored 3948629 6849
build-model-states-explored 3955441 6812
build-model-states-explored 3962243 6802
build-model-states-explored 3969078 6835
build-model-states-explored 3975917 6839
build-model-states-explored 3982768 6851
build-model-states-explored 3989572 6804
build-model-states-explored 3996404 6832
build-model-states-explored 4003197 6793
build-model-states-explored 4010012 6815
build-model-states-explored 4016795 6783
build-model-states-explored 4023580 6785
build-model-states-explored 4030347 6767
build-model-states-explored 4037037 6690
build-model-states-explored 4043802 6765
build-model-states-explored 4050503 6701
build-model-states-explored 4057227 6724
build-model-states-explored 4064080 6853
build-model-states-explored 4070961 6881
build-model-states-explored 4077760 6799
build-model-states-explored 4084565 6805
build-model-states-explored 4091343 6778
build-model-states-explored 4098120 6777
build-model-states-explored 4104888 6768
build-model-states-explored 4111544 6656
build-model-states-explored 4118301 6757
build-model-states-explored 4125091 6790
build-model-states-explored 4131820 6729
build-model-states-explored 4138435 6615
build-model-states-explored 4145019 6584
build-model-states-explored 4152022 7003
build-model-states-explored 4158904 6882
build-model-states-explored 4165809 6905
build-model-states-explored 4172699 6890
build-model-states-explored 4179551 6852
build-model-states-explored 4186472 6921
build-model-states-explored 4193365 6893
build-model-states-explored 4200121 6756
build-model-states-explored 4206976 6855
build-model-states-explored 4213881 6905
build-model-states-explored 4220724 6843
build-model-states-explored 4227568 6844
build-model-states-explored 4234371 6803
build-model-states-explored 4241190 6819
build-model-states-explored 4247954 6764
build-model-states-explored 4254832 6878
build-model-states-explored 4261694 6862
build-model-states-explored 4268531 6837
build-model-states-explored 4275412 6881
build-model-states-explored 4282315 6903
build-model-states-explored 4289124 6809
build-model-states-explored 4295887 6763
build-model-states-explored 4302735 6848
build-model-states-explored 4309518 6783
build-model-states-explored 4316276 6758
build-model-states-explored 4322915 6639
build-model-states-explored 4329783 6868
build-model-states-explored 4336646 6863
build-model-states-explored 4343465 6819
build-model-states-explored 4350292 6827
build-model-states-explored 4357083 6791
build-model-states-explored 4363853 6770
build-model-states-explored 4370626 6773
build-model-states-explored 4377328 6702
build-model-states-explored 4384008 6680
build-model-states-explored 4390774 6766
build-model-states-explored 4397517 6743
build-model-states-explored 4404165 6648
build-model-states-explored 4410719 6554
build-model-states-explored 4417602 6883
build-model-states-explored 4424475 6873
build-model-states-explored 4431310 6835
build-model-states-explored 4438215 6905
build-model-states-explored 4445061 6846
build-model-states-explored 4451863 6802
build-model-states-explored 4458630 6767
build-model-states-explored 4465453 6823
build-model-states-explored 4472247 6794
build-model-states-explored 4479018 6771
build-model-states-explored 4485701 6683
build-model-states-explored 4492473 6772
build-model-states-explored 4499240 6767
build-model-states-explored 4505946 6706
build-model-states-explored 4512542 6596
build-model-states-explored 4519076 6534
build-model-states-explored 4525945 6869
build-model-states-explored 4532716 6771
build-model-states-explored 4539464 6748
build-model-states-explored 4546120 6656
build-model-states-explored 4552753 6633
build-model-states-explored 4559287 6534
build-model-states-explored 4565751 6464
build-model-states-explored 4571992 6241
build-model-states-explored 4578513 6521
build-model-states-explored 4585489 6976
build-model-states-explored 4592438 6949
build-model-states-explored 4599404 6966
build-model-states-explored 4606384 6980
build-model-states-explored 4613354 6970
build-model-states-explored 4620321 6967
build-model-states-explored 4627182 6861
build-model-states-explored 4633589 6407
build-model-states-explored 4640485 6896
build-model-states-explored 4647335 6850
build-model-states-explored 4654190 6855
build-model-states-explored 4661052 6862
build-model-states-explored 4668001 6949
build-model-states-explored 4674954 6953
build-model-states-explored 4681864 6910
build-model-states-explored 4688750 6886
build-model-states-explored 4695630 6880
build-model-states-explored 4702589 6959
build-model-states-explored 4709458 6869
build-model-states-explored 4716347 6889
build-model-states-explored 4723262 6915
build-model-states-explored 4730154 6892
build-model-states-explored 4737115 6961
build-model-states-explored 4744072 6957
build-model-states-explored 4750912 6840
build-model-states-explored 4757787 6875
build-model-states-explored 4764673 6886
build-model-states-explored 4771560 6887
build-model-states-explored 4778385 6825
build-model-states-explored 4785234 6849
build-model-states-explored 4792066 6832
build-model-states-explored 4799003 6937
build-model-states-explored 4805879 6876
build-model-states-explored 4812756 6877
build-model-states-explored 4819626 6870
build-model-states-explored 4826488 6862
build-model-states-explored 4833385 6897
build-model-states-explored 4840225 6840
build-model-states-explored 4847123 6898
build-model-states-explored 4853957 6834
build-model-states-explored 4860874 6917
build-model-states-explored 4867881 7007
build-model-states-explored 4874849 6968
build-model-states-explored 4881735 6886
build-model-states-explored 4888616 6881
build-model-states-explored 4895501 6885
build-model-states-explored 4902464 6963
build-model-states-explored 4909346 6882
build-model-states-explored 4916201 6855
build-model-states-explored 4923148 6947
build-model-states-explored 4930030 6882
build-model-states-explored 4936964 6934
build-model-states-explored 4943886 6922
build-model-states-explored 4950758 6872
build-model-states-explored 4957639 6881
build-model-states-explored 4964488 6849
build-model-states-explored 4971382 6894
build-model-states-explored 4978216 6834
build-model-states-explored 4985066 6850
build-model-states-explored 4991920 6854
build-model-states-explored 4998761 6841
build-model-states-explored 5005782 7021
build-model-states-explored 5012693 6911
build-model-states-explored 5019586 6893
build-model-states-explored 5026559 6973
build-model-states-explored 5033430 6871
build-model-states-explored 5040337 6907
build-model-states-explored 5047236 6899
build-model-states-explored 5054097 6861
build-model-states-explored 5060986 6889
build-model-states-explored 5067811 6825
build-model-states-explored 5074733 6922
build-model-states-explored 5081639 6906
build-model-states-explored 5088487 6848
build-model-states-explored 5094894 6407
build-model-states-explored 5101725 6831
build-model-states-explored 5108637 6912
build-model-states-explored 5115430 6793
build-model-states-explored 5122258 6828
build-model-states-explored 5129092 6834
build-model-states-explored 5136020 6928
build-model-states-explored 5142905 6885
build-model-states-explored 5149755 6850
build-model-states-explored 5156614 6859
build-model-states-explored 5163477 6863
build-model-states-explored 5170336 6859
build-model-states-explored 5177158 6822
build-model-states-explored 5183985 6827
build-model-states-explored 5190844 6859
build-model-states-explored 5197770 6926
build-model-states-explored 5204612 6842
build-model-states-explored 5211492 6880
build-model-states-explored 5218330 6838
build-model-states-explored 5225186 6856
build-model-states-explored 5232060 6874
build-model-states-explored 5238917 6857
build-model-states-explored 5245772 6855
build-model-states-explored 5252595 6823
build-model-states-explored 5259470 6875
build-model-states-explored 5266274 6804
build-model-states-explored 5273096 6822
build-model-states-explored 5279902 6806
build-model-states-explored 5286734 6832
build-model-states-explored 5293519 6785
build-model-states-explored 5300311 6792
build-model-states-explored 5307150 6839
build-model-states-explored 5313969 6819
build-model-states-explored 5320785 6816
build-model-states-explored 5327557 6772
build-model-states-explored 5334355 6798
build-model-states-explored 5341090 6735
build-model-states-explored 5348001 6911
build-model-states-explored 5354846 6845
build-model-states-explored 5361722 6876
build-model-states-explored 5368564 6842
build-model-states-explored 5375400 6836
build-model-states-explored 5382282 6882
build-model-states-explored 5389118 6836
build-model-states-explored 5395985 6867
build-model-states-explored 5402808 6823
build-model-states-explored 5409655 6847
build-model-states-explored 5416493 6838
build-model-states-explored 5423324 6831
build-model-states-explored 5430101 6777
build-model-states-explored 5436913 6812
build-model-states-explored 5443691 6778
build-model-states-explored 5450544 6853
build-model-states-explored 5457365 6821
build-model-states-explored 5464202 6837
build-model-states-explored 5471044 6842
build-model-states-explored 5477891 6847
build-model-states-explored 5484660 6769
build-model-states-explored 5491398 6738
build-model-states-explored 5498224 6826
build-model-states-explored 5504984 6760
build-model-states-explored 5511722 6738
build-model-states-explored 5518344 6622
build-model-states-explored 5525335 6991
build-model-states-explored 5532338 7003
build-model-states-explored 5539295 6957
build-model-states-explored 5546141 6846
build-model-states-explored 5552997 6856
build-model-states-explored 5559860 6863
build-model-states-explored 5566815 6955
build-model-states-explored 5573701 6886
build-model-states-explored 5580548 6847
build-model-states-explored 5587441 6893
build-model-states-explored 5594281 6840
build-model-states-explored 5601115 6834
build-model-states-explored 5608027 6912
build-model-states-explored 5614859 6832
build-model-states-explored 5621745 6886
build-model-states-explored 5628591 6846
build-model-states-explored 5635470 6879
build-model-states-explored 5642314 6844
build-model-states-explored 5649170 6856
build-model-states-explored 5656013 6843
build-model-states-explored 5662785 6772
build-model-states-explored 5669792 7007
build-model-states-explored 5676700 6908
build-model-states-explored 5683538 6838
build-model-states-explored 5690470 6932
build-model-states-explored 5697305 6835
build-model-states-explored 5704028 6723
build-model-states-explored 5710692 6664
build-model-states-explored 5717550 6858
build-model-states-explored 5724403 6853
build-model-states-explored 5731219 6816
build-model-states-explored 5738111 6892
build-model-states-explored 5745015 6904
build-model-states-explored 5751859 6844
build-model-states-explored 5758708 6849
build-model-states-explored 5765546 6838
build-model-states-explored 5772441 6895
build-model-states-explored 5779272 6831
build-model-states-explored 5786279 7007
build-model-states-explored 5793394 7115
build-model-states-explored 5800641 7247
build-model-states-explored 5807783 7142
build-model-states-explored 5814956 7173
build-model-states-explored 5822071 7115
build-model-states-explored 5829230 7159
build-model-states-explored 5836387 7157
build-model-states-explored 5843539 7152
build-model-states-explored 5850709 7170
build-model-states-explored 5857832 7123
build-model-states-explored 5864951 7119
build-model-states-explored 5872089 7138
build-model-states-explored 5879171 7082
build-model-states-explored 5886263 7092
build-model-states-explored 5893313 7050
build-model-states-explored 5900446 7133
build-model-states-explored 5907578 7132
build-model-states-explored 5914718 7140
build-model-states-explored 5921863 7145
build-model-states-explored 5929024 7161
build-model-states-explored 5936090 7066
build-model-states-explored 5943138 7048
build-model-states-explored 5950208 7070
build-model-states-explored 5957267 7059
build-model-states-explored 5959240 1973
build-model-states-explored 5966199 6959
build-model-states-explored 5973357 7158
build-model-states-explored 5980667 7310
build-model-states-explored 5987851 7184
build-model-states-explored 5995012 7161
build-model-states-explored 6002255 7243
build-model-states-explored 6009414 7159
build-model-states-explored 6012342 2928
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6012342 0
build-model-states-explored 6017725 5383
build-model-states-explored 6024846 7121
build-model-states-explored 6031994 7148
build-model-states-explored 6039118 7124
build-model-states-explored 6046117 6999
build-model-states-explored 6053030 6913
build-model-states-explored 6059889 6859
build-model-states-explored 6066933 7044
build-model-states-explored 6074040 7107
build-model-states-explored 6081237 7197
build-model-states-explored 6088219 6982
build-model-states-explored 6095277 7058
build-model-states-explored 6102346 7069
build-model-states-explored 6109507 7161
build-model-states-explored 6116643 7136
build-model-states-explored 6123808 7165
build-model-states-explored 6130937 7129
build-model-states-explored 6138032 7095
build-model-states-explored 6145079 7047
build-model-states-explored 6152155 7076
build-model-states-explored 6159204 7049
build-model-states-explored 6166228 7024
build-model-states-explored 6173074 6846
build-model-states-explored 6180373 7299
build-model-states-explored 6187484 7111
build-model-states-explored 6194657 7173
build-model-states-explored 6201825 7168
build-model-states-explored 6208930 7105
build-model-states-explored 6216104 7174
build-model-states-explored 6223198 7094
build-model-states-explored 6230320 7122
build-model-states-explored 6237454 7134
build-model-states-explored 6244496 7042
build-model-states-explored 6251527 7031
build-model-states-explored 6258435 6908
build-model-states-explored 6265538 7103
build-model-states-explored 6272529 6991
build-model-states-explored 6279520 6991
build-model-states-explored 6286458 6938
build-model-states-explored 6293316 6858
build-model-states-explored 6300051 6735
build-model-states-explored 6307181 7130
build-model-states-explored 6314441 7260
build-model-states-explored 6321571 7130
build-model-states-explored 6328717 7146
build-model-states-explored 6335877 7160
build-model-states-explored 6343033 7156
build-model-states-explored 6350147 7114
build-model-states-explored 6357268 7121
build-model-states-explored 6364390 7122
build-model-states-explored 6371616 7226
build-model-states-explored 6378758 7142
build-model-states-explored 6385903 7145
build-model-states-explored 6393035 7132
build-model-states-explored 6400172 7137
build-model-states-explored 6407363 7191
build-model-states-explored 6414492 7129
build-model-states-explored 6421641 7149
build-model-states-explored 6428744 7103
build-model-states-explored 6435914 7170
build-model-states-explored 6443000 7086
build-model-states-explored 6450110 7110
build-model-states-explored 6456922 6812
build-model-states-explored 6456922 0
build-model-states-explored 6456922 0
build-model-states-explored 6461223 4301
build-model-states-explored 6468345 7122
build-model-states-explored 6475455 7110
build-model-states-explored 6482597 7142
build-model-states-explored 6489731 7134
build-model-states-explored 6496889 7158
build-model-states-explored 6504007 7118
build-model-states-explored 6511114 7107
build-model-states-explored 6518203 7089
build-model-states-explored 6525489 7286
build-model-states-explored 6532672 7183
build-model-states-explored 6539882 7210
build-model-states-explored 6547030 7148
build-model-states-explored 6554219 7189
build-model-states-explored 6561387 7168
build-model-states-explored 6568560 7173
build-model-states-explored 6575668 7108
build-model-states-explored 6582855 7187
build-model-states-explored 6590035 7180
build-model-states-explored 6597220 7185
build-model-states-explored 6604362 7142
build-model-states-explored 6611510 7148
build-model-states-explored 6618455 6945
build-model-states-explored 6625634 7179
build-model-states-explored 6632787 7153
build-model-states-explored 6639961 7174
build-model-states-explored 6647144 7183
build-model-states-explored 6654344 7200
build-model-states-explored 6661465 7121
build-model-states-explored 6668588 7123
build-model-states-explored 6675715 7127
build-model-states-explored 6682835 7120
build-model-states-explored 6689884 7049
build-model-states-explored 6696971 7087
build-model-states-explored 6704124 7153
build-model-states-explored 6711262 7138
build-model-states-explored 6718399 7137
build-model-states-explored 6725554 7155
build-model-states-explored 6732666 7112
build-model-states-explored 6739774 7108
build-model-states-explored 6746911 7137
build-model-states-explored 6754054 7143
build-model-states-explored 6761162 7108
build-model-states-explored 6768018 6856
build-model-states-explored 6775132 7114
build-model-states-explored 6782213 7081
build-model-states-explored 6789311 7098
build-model-states-explored 6796387 7076
build-model-states-explored 6803467 7080
build-model-states-explored 6810511 7044
build-model-states-explored 6817524 7013
build-model-states-explored 6824594 7070
build-model-states-explored 6831553 6959
build-model-states-explored 6838600 7047
build-model-states-explored 6845716 7116
build-model-states-explored 6852843 7127
build-model-states-explored 6859936 7093
build-model-states-explored 6867012 7076
build-model-states-explored 6874080 7068
build-model-states-explored 6881154 7074
build-model-states-explored 6888160 7006
build-model-states-explored 6895173 7013
build-model-states-explored 6902249 7076
build-model-states-explored 6909283 7034
build-model-states-explored 6916207 6924
build-model-states-explored 6923047 6840
build-model-states-explored 6930331 7284
build-model-states-explored 6937498 7167
build-model-states-explored 6944689 7191
build-model-states-explored 6951846 7157
build-model-states-explored 6959034 7188
build-model-states-explored 6966218 7184
build-model-states-explored 6973374 7156
build-model-states-explored 6980558 7184
build-model-states-explored 6987711 7153
build-model-states-explored 6994868 7157
build-model-states-explored 7002015 7147
build-model-states-explored 7009140 7125
build-model-states-explored 7016268 7128
build-model-states-explored 7023376 7108
build-model-states-explored 7030550 7174
build-model-states-explored 7037708 7158
build-model-states-explored 7044860 7152
build-model-states-explored 7052027 7167
build-model-states-explored 7059210 7183
build-model-states-explored 7066323 7113
build-model-states-explored 7073419 7096
build-model-states-explored 7080525 7106
build-model-states-explored 7087632 7107
build-model-states-explored 7094684 7052
build-model-states-explored 7101760 7076
build-model-states-explored 7108901 7141
build-model-states-explored 7116040 7139
build-model-states-explored 7123121 7081
build-model-states-explored 7130237 7116
build-model-states-explored 7137313 7076
build-model-states-explored 7144386 7073
build-model-states-explored 7151418 7032
build-model-states-explored 7158407 6989
build-model-states-explored 7165499 7092
build-model-states-explored 7172549 7050
build-model-states-explored 7179527 6978
build-model-states-explored 7186396 6869
build-model-states-explored 7193510 7114
build-model-states-explored 7200666 7156
build-model-states-explored 7207838 7172
build-model-states-explored 7214989 7151
build-model-states-explored 7222152 7163
build-model-states-explored 7229253 7101
build-model-states-explored 7236373 7120
build-model-states-explored 7243466 7093
build-model-states-explored 7250563 7097
build-model-states-explored 7257563 7000
build-model-states-explored 7264574 7011
build-model-states-explored 7271618 7044
build-model-states-explored 7278651 7033
build-model-states-explored 7285582 6931
build-model-states-explored 7292410 6828
build-model-states-explored 7299491 7081
build-model-states-explored 7306574 7083
build-model-states-explored 7313590 7016
build-model-states-explored 7320566 6976
build-model-states-explored 7327378 6812
build-model-states-explored 7334188 6810
build-model-states-explored 7340801 6613
build-model-states-explored 7348157 7356
build-model-states-explored 7355494 7337
build-model-states-explored 7362843 7349
build-model-states-explored 7370171 7328
build-model-states-explored 7377379 7208
build-model-states-explored 7384581 7202
build-model-states-explored 7391792 7211
build-model-states-explored 7399061 7269
build-model-states-explored 7406263 7202
build-model-states-explored 7413443 7180
build-model-states-explored 7420719 7276
build-model-states-explored 7427925 7206
build-model-states-explored 7435212 7287
build-model-states-explored 7442429 7217
build-model-states-explored 7449640 7211
build-model-states-explored 7456854 7214
build-model-states-explored 7464045 7191
build-model-states-explored 7471270 7225
build-model-states-explored 7478451 7181
build-model-states-explored 7485662 7211
build-model-states-explored 7492834 7172
build-model-states-explored 7500137 7303
build-model-states-explored 7507425 7288
build-model-states-explored 7514617 7192
build-model-states-explored 7521890 7273
build-model-states-explored 7529097 7207
build-model-states-explored 7536353 7256
build-model-states-explored 7543621 7268
build-model-states-explored 7550803 7182
build-model-states-explored 7558015 7212
build-model-states-explored 7565196 7181
build-model-states-explored 7572457 7261
build-model-states-explored 7579649 7192
build-model-states-explored 7586828 7179
build-model-states-explored 7594075 7247
build-model-states-explored 7601245 7170
build-model-states-explored 7608507 7262
build-model-states-explored 7615647 7140
build-model-states-explored 7622806 7159
build-model-states-explored 7630080 7274
build-model-states-explored 7637265 7185
build-model-states-explored 7644463 7198
build-model-states-explored 7651645 7182
build-model-states-explored 7658828 7183
build-model-states-explored 7666049 7221
build-model-states-explored 7673244 7195
build-model-states-explored 7680449 7205
build-model-states-explored 7687625 7176
build-model-states-explored 7694808 7183
build-model-states-explored 7701959 7151
build-model-states-explored 7709118 7159
build-model-states-explored 7716247 7129
build-model-states-explored 7723366 7119
build-model-states-explored 7730495 7129
build-model-states-explored 7737683 7188
build-model-states-explored 7744863 7180
build-model-states-explored 7752066 7203
build-model-states-explored 7759239 7173
build-model-states-explored 7766387 7148
build-model-states-explored 7773473 7086
build-model-states-explored 7780614 7141
build-model-states-explored 7787715 7101
build-model-states-explored 7794809 7094
build-model-states-explored 7801818 7009
build-model-states-explored 7809194 7376
build-model-states-explored 7816455 7261
build-model-states-explored 7823652 7197
build-model-states-explored 7830928 7276
build-model-states-explored 7838100 7172
build-model-states-explored 7845334 7234
build-model-states-explored 7852568 7234
build-model-states-explored 7859757 7189
build-model-states-explored 7866957 7200
build-model-states-explored 7874139 7182
build-model-states-explored 7881455 7316
build-model-states-explored 7888611 7156
build-model-states-explored 7895811 7200
build-model-states-explored 7903013 7202
build-model-states-explored 7910179 7166
build-model-states-explored 7917395 7216
build-model-states-explored 7924533 7138
build-model-states-explored 7931697 7164
build-model-states-explored 7938956 7259
build-model-states-explored 7946133 7177
build-model-states-explored 7953360 7227
build-model-states-explored 7960539 7179
build-model-states-explored 7967708 7169
build-model-states-explored 7974853 7145
build-model-states-explored 7981995 7142
build-model-states-explored 7989098 7103
build-model-states-explored 7996170 7072
build-model-states-explored 8003200 7030
build-model-states-explored 8010425 7225
build-model-states-explored 8017635 7210
build-model-states-explored 8024811 7176
build-model-states-explored 8032049 7238
build-model-states-explored 8039205 7156
build-model-states-explored 8046459 7254
build-model-states-explored 8053612 7153
build-model-states-explored 8060747 7135
build-model-states-explored 8067934 7187
build-model-states-explored 8075041 7107
build-model-states-explored 8082132 7091
build-model-states-explored 8089178 7046
build-model-states-explored 8096334 7156
build-model-states-explored 8103393 7059
build-model-states-explored 8110449 7056
build-model-states-explored 8117485 7036
build-model-states-explored 8124441 6956
build-model-states-explored 8131295 6854
build-model-states-explored 8138411 7116
build-model-states-explored 8145611 7200
build-model-states-explored 8152786 7175
build-model-states-explored 8159958 7172
build-model-states-explored 8167084 7126
build-model-states-explored 8174312 7228
build-model-states-explored 8181491 7179
build-model-states-explored 8188671 7180
build-model-states-explored 8195814 7143
build-model-states-explored 8202988 7174
build-model-states-explored 8210132 7144
build-model-states-explored 8217284 7152
build-model-states-explored 8224424 7140
build-model-states-explored 8231547 7123
build-model-states-explored 8238560 7013
build-model-states-explored 8245774 7214
build-model-states-explored 8252949 7175
build-model-states-explored 8260114 7165
build-model-states-explored 8267264 7150
build-model-states-explored 8274413 7149
build-model-states-explored 8281499 7086
build-model-states-explored 8288620 7121
build-model-states-explored 8295710 7090
build-model-states-explored 8302784 7074
build-model-states-explored 8309794 7010
build-model-states-explored 8316926 7132
build-model-states-explored 8324056 7130
build-model-states-explored 8331167 7111
build-model-states-explored 8338272 7105
build-model-states-explored 8345357 7085
build-model-states-explored 8352432 7075
build-model-states-explored 8359506 7074
build-model-states-explored 8366502 6996
build-model-states-explored 8373529 7027
build-model-states-explored 8380627 7098
build-model-states-explored 8387655 7028
build-model-states-explored 8394290 6635
build-model-states-explored 8401157 6867
build-model-states-explored 8408348 7191
build-model-states-explored 8415484 7136
build-model-states-explored 8422661 7177
build-model-states-explored 8429816 7155
build-model-states-explored 8436952 7136
build-model-states-explored 8444059 7107
build-model-states-explored 8451180 7121
build-model-states-explored 8458278 7098
build-model-states-explored 8465374 7096
build-model-states-explored 8472328 6954
build-model-states-explored 8479437 7109
build-model-states-explored 8486508 7071
build-model-states-explored 8493499 6991
build-model-states-explored 8500421 6922
build-model-states-explored 8507373 6952
build-model-states-explored 8514450 7077
build-model-states-explored 8521498 7048
build-model-states-explored 8528505 7007
build-model-states-explored 8535447 6942
build-model-states-explored 8542222 6775
build-model-states-explored 8548913 6691
build-model-states-explored 8555828 6915
build-model-states-explored 8563168 7340
build-model-states-explored 8570496 7328
build-model-states-explored 8577694 7198
build-model-states-explored 8584876 7182
build-model-states-explored 8592162 7286
build-model-states-explored 8599355 7193
build-model-states-explored 8606625 7270
build-model-states-explored 8613801 7176
build-model-states-explored 8620977 7176
build-model-states-explored 8628165 7188
build-model-states-explored 8635353 7188
build-model-states-explored 8642626 7273
build-model-states-explored 8649793 7167
build-model-states-explored 8656986 7193
build-model-states-explored 8664162 7176
build-model-states-explored 8671415 7253
build-model-states-explored 8678546 7131
build-model-states-explored 8685711 7165
build-model-states-explored 8692876 7165
build-model-states-explored 8700068 7192
build-model-states-explored 8707227 7159
build-model-states-explored 8714420 7193
build-model-states-explored 8721594 7174
build-model-states-explored 8728753 7159
build-model-states-explored 8735864 7111
build-model-states-explored 8743005 7141
build-model-states-explored 8750108 7103
build-model-states-explored 8757191 7083
build-model-states-explored 8764158 6967
build-model-states-explored 8771482 7324
build-model-states-explored 8778600 7118
build-model-states-explored 8785773 7173
build-model-states-explored 8792950 7177
build-model-states-explored 8800090 7140
build-model-states-explored 8807256 7166
build-model-states-explored 8814369 7113
build-model-states-explored 8821535 7166
build-model-states-explored 8828667 7132
build-model-states-explored 8835755 7088
build-model-states-explored 8842781 7026
build-model-states-explored 8849785 7004
build-model-states-explored 8856868 7083
build-model-states-explored 8863865 6997
build-model-states-explored 8870920 7055
build-model-states-explored 8877909 6989
build-model-states-explored 8884812 6903
build-model-states-explored 8891641 6829
build-model-states-explored 8898819 7178
build-model-states-explored 8905947 7128
build-model-states-explored 8913109 7162
build-model-states-explored 8920229 7120
build-model-states-explored 8927346 7117
build-model-states-explored 8934448 7102
build-model-states-explored 8941544 7096
build-model-states-explored 8948607 7063
build-model-states-explored 8955657 7050
build-model-states-explored 8962659 7002
build-model-states-explored 8969688 7029
build-model-states-explored 8976746 7058
build-model-states-explored 8983748 7002
build-model-states-explored 8990652 6904
build-model-states-explored 8997509 6857
build-model-states-explored 9004559 7050
build-model-states-explored 9011614 7055
build-model-states-explored 9018587 6973
build-model-states-explored 9025540 6953
build-model-states-explored 9032342 6802
build-model-states-explored 9039089 6747
build-model-states-explored 9045729 6640
build-model-states-explored 9053035 7306
build-model-states-explored 9060242 7207
build-model-states-explored 9067398 7156
build-model-states-explored 9074572 7174
build-model-states-explored 9081697 7125
build-model-states-explored 9088934 7237
build-model-states-explored 9096046 7112
build-model-states-explored 9103204 7158
build-model-states-explored 9110353 7149
build-model-states-explored 9117421 7068
build-model-states-explored 9124481 7060
build-model-states-explored 9131486 7005
build-model-states-explored 9138572 7086
build-model-states-explored 9145596 7024
build-model-states-explored 9152633 7037
build-model-states-explored 9159646 7013
build-model-states-explored 9166608 6962
build-model-states-explored 9173444 6836
build-model-states-explored 9180341 6897
build-model-states-explored 9187394 7053
build-model-states-explored 9194440 7046
build-model-states-explored 9201430 6990
build-model-states-explored 9208383 6953
build-model-states-explored 9215187 6804
build-model-states-explored 9221951 6764
build-model-states-explored 9228635 6684
build-model-states-explored 9235887 7252
build-model-states-explored 9242902 7015
build-model-states-explored 9249886 6984
build-model-states-explored 9256883 6997
build-model-states-explored 9263830 6947
build-model-states-explored 9270660 6830
build-model-states-explored 9277489 6829
build-model-states-explored 9284243 6754
build-model-states-explored 9290890 6647
build-model-states-explored 9297607 6717
build-model-states-explored 9304196 6589
build-model-states-explored 9310627 6431
build-model-states-explored 9316902 6275
build-model-states-explored 9323338 6436
build-model-states-explored 9330606 7268
build-model-states-explored 9337900 7294
build-model-states-explored 9345127 7227
build-model-states-explored 9352372 7245
build-model-states-explored 9359595 7223
build-model-states-explored 9366849 7254
build-model-states-explored 9374152 7303
build-model-states-explored 9381444 7292
build-model-states-explored 9388714 7270
build-model-states-explored 9395998 7284
build-model-states-explored 9403255 7257
build-model-states-explored 9410510 7255
build-model-states-explored 9417721 7211
build-model-states-explored 9424842 7121
build-model-states-explored 9431933 7091
build-model-states-explored 9439125 7192
build-model-states-explored 9446235 7110
build-model-states-explored 9453400 7165
build-model-states-explored 9460548 7148
build-model-states-explored 9467761 7213
build-model-states-explored 9474906 7145
build-model-states-explored 9482035 7129
build-model-states-explored 9489139 7104
build-model-states-explored 9496262 7123
build-model-states-explored 9503440 7178
build-model-states-explored 9510553 7113
build-model-states-explored 9517753 7200
build-model-states-explored 9524857 7104
build-model-states-explored 9532019 7162
build-model-states-explored 9539285 7266
build-model-states-explored 9546572 7287
build-model-states-explored 9553774 7202
build-model-states-explored 9560877 7103
build-model-states-explored 9568060 7183
build-model-states-explored 9575217 7157
build-model-states-explored 9582448 7231
build-model-states-explored 9589578 7130
build-model-states-explored 9596700 7122
build-model-states-explored 9603875 7175
build-model-states-explored 9611022 7147
build-model-states-explored 9618166 7144
build-model-states-explored 9625449 7283
build-model-states-explored 9632629 7180
build-model-states-explored 9639731 7102
build-model-states-explored 9646936 7205
build-model-states-explored 9654042 7106
build-model-states-explored 9661179 7137
build-model-states-explored 9668465 7286
build-model-states-explored 9675617 7152
build-model-states-explored 9682748 7131
build-model-states-explored 9689897 7149
build-model-states-explored 9697042 7145
build-model-states-explored 9704213 7171
build-model-states-explored 9711496 7283
build-model-states-explored 9718741 7245
build-model-states-explored 9725880 7139
build-model-states-explored 9732999 7119
build-model-states-explored 9740094 7095
build-model-states-explored 9747231 7137
build-model-states-explored 9754369 7138
build-model-states-explored 9761470 7101
build-model-states-explored 9768644 7174
build-model-states-explored 9775737 7093
build-model-states-explored 9782880 7143
build-model-states-explored 9790083 7203
build-model-states-explored 9797175 7092
build-model-states-explored 9804313 7138
build-model-states-explored 9811403 7090
build-model-states-explored 9818519 7116
build-model-states-explored 9825582 7063
build-model-states-explored 9832661 7079
build-model-states-explored 9839781 7120
build-model-states-explored 9846881 7100
build-model-states-explored 9854134 7253
build-model-states-explored 9861253 7119
build-model-states-explored 9868353 7100
build-model-states-explored 9875542 7189
build-model-states-explored 9882689 7147
build-model-states-explored 9889828 7139
build-model-states-explored 9896951 7123
build-model-states-explored 9904020 7069
build-model-states-explored 9911105 7085
build-model-states-explored 9918191 7086
build-model-states-explored 9925421 7230
build-model-states-explored 9932482 7061
build-model-states-explored 9939613 7131
build-model-states-explored 9946736 7123
build-model-states-explored 9953827 7091
build-model-states-explored 9960925 7098
build-model-states-explored 9967967 7042
build-model-states-explored 9975037 7070
build-model-states-explored 9982311 7274
build-model-states-explored 9989614 7303
build-model-states-explored 9996915 7301
build-model-states-explored 10004166 7251
build-model-states-explored 10011285 7119
build-model-states-explored 10018469 7184
build-model-states-explored 10025606 7137
build-model-states-explored 10032743 7137
build-model-states-explored 10039923 7180
build-model-states-explored 10047014 7091
build-model-states-explored 10054187 7173
build-model-states-explored 10061291 7104
build-model-states-explored 10068436 7145
build-model-states-explored 10075665 7229
build-model-states-explored 10082912 7247
build-model-states-explored 10090022 7110
build-model-states-explored 10097134 7112
build-model-states-explored 10104294 7160
build-model-states-explored 10111423 7129
build-model-states-explored 10118573 7150
build-model-states-explored 10125872 7299
build-model-states-explored 10132950 7078
build-model-states-explored 10140047 7097
build-model-states-explored 10147274 7227
build-model-states-explored 10154386 7112
build-model-states-explored 10161642 7256
build-model-states-explored 10168888 7246
build-model-states-explored 10175998 7110
build-model-states-explored 10183099 7101
build-model-states-explored 10190268 7169
build-model-states-explored 10197383 7115
build-model-states-explored 10204568 7185
build-model-states-explored 10211669 7101
build-model-states-explored 10218778 7109
build-model-states-explored 10225910 7132
build-model-states-explored 10233066 7156
build-model-states-explored 10240253 7187
build-model-states-explored 10247357 7104
build-model-states-explored 10254437 7080
build-model-states-explored 10261510 7073
build-model-states-explored 10268654 7144
build-model-states-explored 10275703 7049
build-model-states-explored 10282790 7087
build-model-states-explored 10289897 7107
build-model-states-explored 10297152 7255
build-model-states-explored 10304415 7263
build-model-states-explored 10311550 7135
build-model-states-explored 10318660 7110
build-model-states-explored 10325853 7193
build-model-states-explored 10332920 7067
build-model-states-explored 10340065 7145
build-model-states-explored 10347362 7297
build-model-states-explored 10354498 7136
build-model-states-explored 10361623 7125
build-model-states-explored 10368834 7211
build-model-states-explored 10375942 7108
build-model-states-explored 10383182 7240
build-model-states-explored 10390388 7206
build-model-states-explored 10397466 7078
build-model-states-explored 10404559 7093
build-model-states-explored 10411675 7116
build-model-states-explored 10418811 7136
build-model-states-explored 10425930 7119
build-model-states-explored 10433014 7084
build-model-states-explored 10440133 7119
build-model-states-explored 10447425 7292
build-model-states-explored 10454546 7121
build-model-states-explored 10461635 7089
build-model-states-explored 10468692 7057
build-model-states-explored 10475779 7087
build-model-states-explored 10482884 7105
build-model-states-explored 10490038 7154
build-model-states-explored 10497072 7034
build-model-states-explored 10504136 7064
build-model-states-explored 10511368 7232
build-model-states-explored 10518335 6967
build-model-states-explored 10525403 7068
build-model-states-explored 10532377 6974
build-model-states-explored 10539411 7034
build-model-states-explored 10546558 7147
build-model-states-explored 10553797 7239
build-model-states-explored 10561014 7217
build-model-states-explored 10568119 7105
build-model-states-explored 10574421 6302
build-model-states-explored 10581235 6814
build-model-states-explored 10588090 6855
build-model-states-explored 10594978 6888
build-model-states-explored 10601791 6813
build-model-states-explored 10608686 6895
build-model-states-explored 10615488 6802
build-model-states-explored 10622333 6845
build-model-states-explored 10629251 6918
build-model-states-explored 10636071 6820
build-model-states-explored 10642914 6843
build-model-states-explored 10649735 6821
build-model-states-explored 10656562 6827
build-model-states-explored 10663436 6874
build-model-states-explored 10670256 6820
build-model-states-explored 10677084 6828
build-model-states-explored 10683875 6791
build-model-states-explored 10690753 6878
build-model-states-explored 10697683 6930
build-model-states-explored 10704519 6836
build-model-states-explored 10711334 6815
build-model-states-explored 10718242 6908
build-model-states-explored 10725106 6864
build-model-states-explored 10731974 6868
build-model-states-explored 10738809 6835
build-model-states-explored 10745610 6801
build-model-states-explored 10752447 6837
build-model-states-explored 10759247 6800
build-model-states-explored 10766176 6929
build-model-states-explored 10772977 6801
build-model-states-explored 10779795 6818
build-model-states-explored 10786666 6871
build-model-states-explored 10793479 6813
build-model-states-explored 10800376 6897
build-model-states-explored 10807162 6786
build-model-states-explored 10813917 6755
build-model-states-explored 10820771 6854
build-model-states-explored 10827614 6843
build-model-states-explored 10834424 6810
build-model-states-explored 10841258 6834
build-model-states-explored 10848044 6786
build-model-states-explored 10854902 6858
build-model-states-explored 10861711 6809
build-model-states-explored 10868512 6801
build-model-states-explored 10875348 6836
build-model-states-explored 10882140 6792
build-model-states-explored 10888922 6782
build-model-states-explored 10895719 6797
build-model-states-explored 10902471 6752
build-model-states-explored 10909245 6774
build-model-states-explored 10916001 6756
build-model-states-explored 10922777 6776
build-model-states-explored 10929608 6831
build-model-states-explored 10936402 6794
build-model-states-explored 10943224 6822
build-model-states-explored 10950017 6793
build-model-states-explored 10956802 6785
build-model-states-explored 10963517 6715
build-model-states-explored 10970277 6760
build-model-states-explored 10977023 6746
build-model-states-explored 10983736 6713
build-model-states-explored 10990419 6683
build-model-states-explored 10997203 6784
build-model-states-explored 11004151 6948
build-model-states-explored 11010957 6806
build-model-states-explored 11017761 6804
build-model-states-explored 11024638 6877
build-model-states-explored 11031468 6830
build-model-states-explored 11038308 6840
build-model-states-explored 11045158 6850
build-model-states-explored 11051968 6810
build-model-states-explored 11058800 6832
build-model-states-explored 11065590 6790
build-model-states-explored 11072498 6908
build-model-states-explored 11079309 6811
build-model-states-explored 11086093 6784
build-model-states-explored 11092941 6848
build-model-states-explored 11099709 6768
build-model-states-explored 11106570 6861
build-model-states-explored 11113316 6746
build-model-states-explored 11120106 6790
build-model-states-explored 11126867 6761
build-model-states-explored 11133685 6818
build-model-states-explored 11140477 6792
build-model-states-explored 11147300 6823
build-model-states-explored 11154087 6787
build-model-states-explored 11160866 6779
build-model-states-explored 11167597 6731
build-model-states-explored 11174357 6760
build-model-states-explored 11181099 6742
build-model-states-explored 11187816 6717
build-model-states-explored 11194501 6685
build-model-states-explored 11201273 6772
build-model-states-explored 11208133 6860
build-model-states-explored 11214918 6785
build-model-states-explored 11221725 6807
build-model-states-explored 11228491 6766
build-model-states-explored 11235336 6845
build-model-states-explored 11242105 6769
build-model-states-explored 11248885 6780
build-model-states-explored 11255673 6788
build-model-states-explored 11262434 6761
build-model-states-explored 11269175 6741
build-model-states-explored 11275856 6681
build-model-states-explored 11282488 6632
build-model-states-explored 11289237 6749
build-model-states-explored 11295899 6662
build-model-states-explored 11302570 6671
build-model-states-explored 11309237 6667
build-model-states-explored 11315831 6594
build-model-states-explored 11322334 6503
build-model-states-explored 11329177 6843
build-model-states-explored 11336174 6997
build-model-states-explored 11343181 7007
build-model-states-explored 11350162 6981
build-model-states-explored 11357121 6959
build-model-states-explored 11363990 6869
build-model-states-explored 11370837 6847
build-model-states-explored 11377668 6831
build-model-states-explored 11384540 6872
build-model-states-explored 11391453 6913
build-model-states-explored 11398289 6836
build-model-states-explored 11405111 6822
build-model-states-explored 11412000 6889
build-model-states-explored 11418838 6838
build-model-states-explored 11425676 6838
build-model-states-explored 11432656 6980
build-model-states-explored 11439550 6894
build-model-states-explored 11446378 6828
build-model-states-explored 11453254 6876
build-model-states-explored 11460112 6858
build-model-states-explored 11466946 6834
build-model-states-explored 11473865 6919
build-model-states-explored 11480820 6955
build-model-states-explored 11487609 6789
build-model-states-explored 11494334 6725
build-model-states-explored 11501244 6910
build-model-states-explored 11508001 6757
build-model-states-explored 11514920 6919
build-model-states-explored 11521875 6955
build-model-states-explored 11528699 6824
build-model-states-explored 11535516 6817
build-model-states-explored 11542407 6891
build-model-states-explored 11549267 6860
build-model-states-explored 11556102 6835
build-model-states-explored 11562946 6844
build-model-states-explored 11569747 6801
build-model-states-explored 11576578 6831
build-model-states-explored 11583372 6794
build-model-states-explored 11590283 6911
build-model-states-explored 11597092 6809
build-model-states-explored 11603902 6810
build-model-states-explored 11610771 6869
build-model-states-explored 11617578 6807
build-model-states-explored 11624450 6872
build-model-states-explored 11631173 6723
build-model-states-explored 11637933 6760
build-model-states-explored 11644742 6809
build-model-states-explored 11651737 6995
build-model-states-explored 11658708 6971
build-model-states-explored 11665561 6853
build-model-states-explored 11672409 6848
build-model-states-explored 11679329 6920
build-model-states-explored 11686113 6784
build-model-states-explored 11692958 6845
build-model-states-explored 11699926 6968
build-model-states-explored 11706791 6865
build-model-states-explored 11713654 6863
build-model-states-explored 11720454 6800
build-model-states-explored 11727329 6875
build-model-states-explored 11734190 6861
build-model-states-explored 11741081 6891
build-model-states-explored 11747907 6826
build-model-states-explored 11754722 6815
build-model-states-explored 11761582 6860
build-model-states-explored 11768373 6791
build-model-states-explored 11775255 6882
build-model-states-explored 11782000 6745
build-model-states-explored 11788790 6790
build-model-states-explored 11795606 6816
build-model-states-explored 11802580 6974
build-model-states-explored 11809404 6824
build-model-states-explored 11816189 6785
build-model-states-explored 11823000 6811
build-model-states-explored 11829788 6788
build-model-states-explored 11836597 6809
build-model-states-explored 11843470 6873
build-model-states-explored 11850241 6771
build-model-states-explored 11856980 6739
build-model-states-explored 11863875 6895
build-model-states-explored 11869464 5589
build-model-states-explored 11870026 562
build-model-states-explored 11877121 7095
----------
Computation aborted after 1800.3025124073029 seconds since the total time limit of 1800 seconds was exceeded.