epmc

Benchmark
Model:egl v.1 (DTMC)
Parameter(s)N = 10, L = 2
Property:messagesB (exp-reward)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files egl.prism --property-input-files egl.props --property-input-names messagesB --translate-messages false --value-floating-point-output-native true --const N=10,L=2
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.
Execution
Walltime:> 1800s (Timeout)
Log
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property messagesB
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2485 2485
build-model-states-explored 6322 3837
build-model-states-explored 10141 3819
build-model-states-explored 13757 3616
build-model-states-explored 17591 3834
build-model-states-explored 21899 4308
build-model-states-explored 26158 4259
build-model-states-explored 30456 4298
build-model-states-explored 34422 3966
build-model-states-explored 38073 3651
build-model-states-explored 41728 3655
build-model-states-explored 45389 3661
build-model-states-explored 49052 3663
build-model-states-explored 52657 3605
build-model-states-explored 56320 3663
build-model-states-explored 59986 3666
build-model-states-explored 63652 3666
build-model-states-explored 67468 3816
build-model-states-explored 71761 4293
build-model-states-explored 76055 4294
build-model-states-explored 80346 4291
build-model-states-explored 84643 4297
build-model-states-explored 88947 4304
build-model-states-explored 93248 4301
build-model-states-explored 97548 4300
build-model-states-explored 101848 4300
build-model-states-explored 105993 4145
build-model-states-explored 110300 4307
build-model-states-explored 114600 4300
build-model-states-explored 118894 4294
build-model-states-explored 123184 4290
build-model-states-explored 127482 4298
build-model-states-explored 131542 4060
build-model-states-explored 135190 3648
build-model-states-explored 138815 3625
build-model-states-explored 142450 3635
build-model-states-explored 146100 3650
build-model-states-explored 149752 3652
build-model-states-explored 153403 3651
build-model-states-explored 157051 3648
build-model-states-explored 160697 3646
build-model-states-explored 164346 3649
build-model-states-explored 167986 3640
build-model-states-explored 171631 3645
build-model-states-explored 175278 3647
build-model-states-explored 178932 3654
build-model-states-explored 182577 3645
build-model-states-explored 186228 3651
build-model-states-explored 189878 3650
build-model-states-explored 193536 3658
build-model-states-explored 197186 3650
build-model-states-explored 200827 3641
build-model-states-explored 204463 3636
build-model-states-explored 207827 3364
build-model-states-explored 211475 3648
build-model-states-explored 215129 3654
build-model-states-explored 218778 3649
build-model-states-explored 222435 3657
build-model-states-explored 226093 3658
build-model-states-explored 229755 3662
build-model-states-explored 233395 3640
build-model-states-explored 237035 3640
build-model-states-explored 240668 3633
build-model-states-explored 244310 3642
build-model-states-explored 247958 3648
build-model-states-explored 251613 3655
build-model-states-explored 255271 3658
build-model-states-explored 258935 3664
build-model-states-explored 262374 3439
build-model-states-explored 266670 4296
build-model-states-explored 270946 4276
build-model-states-explored 275222 4276
build-model-states-explored 279491 4269
build-model-states-explored 283747 4256
build-model-states-explored 288013 4266
build-model-states-explored 292296 4283
build-model-states-explored 296587 4291
build-model-states-explored 300883 4296
build-model-states-explored 305175 4292
build-model-states-explored 309469 4294
build-model-states-explored 313760 4291
build-model-states-explored 318055 4295
build-model-states-explored 322338 4283
build-model-states-explored 326614 4276
build-model-states-explored 330881 4267
build-model-states-explored 335161 4280
build-model-states-explored 339449 4288
build-model-states-explored 343746 4297
build-model-states-explored 348042 4296
build-model-states-explored 352339 4297
build-model-states-explored 356634 4295
build-model-states-explored 360928 4294
build-model-states-explored 365223 4295
build-model-states-explored 369506 4283
build-model-states-explored 373776 4270
build-model-states-explored 378046 4270
build-model-states-explored 382321 4275
build-model-states-explored 386604 4283
build-model-states-explored 390892 4288
build-model-states-explored 395182 4290
build-model-states-explored 399474 4292
build-model-states-explored 403760 4286
build-model-states-explored 408020 4260
build-model-states-explored 411632 3612
build-model-states-explored 415917 4285
build-model-states-explored 420197 4280
build-model-states-explored 424470 4273
build-model-states-explored 428750 4280
build-model-states-explored 433037 4287
build-model-states-explored 437331 4294
build-model-states-explored 441626 4295
build-model-states-explored 445921 4295
build-model-states-explored 450214 4293
build-model-states-explored 454510 4296
build-model-states-explored 458805 4295
build-model-states-explored 463089 4284
build-model-states-explored 467364 4275
build-model-states-explored 471636 4272
build-model-states-explored 475915 4279
build-model-states-explored 480204 4289
build-model-states-explored 484496 4292
build-model-states-explored 488789 4293
build-model-states-explored 492988 4199
build-model-states-explored 497187 4199
build-model-states-explored 501479 4292
build-model-states-explored 505775 4296
build-model-states-explored 510053 4278
build-model-states-explored 514329 4276
build-model-states-explored 518597 4268
build-model-states-explored 522874 4277
build-model-states-explored 526195 3321
build-model-states-explored 529829 3634
build-model-states-explored 533462 3633
build-model-states-explored 537095 3633
build-model-states-explored 540731 3636
build-model-states-explored 544364 3633
build-model-states-explored 548002 3638
build-model-states-explored 551629 3627
build-model-states-explored 555259 3630
build-model-states-explored 558880 3621
build-model-states-explored 562503 3623
build-model-states-explored 566138 3635
build-model-states-explored 569777 3639
build-model-states-explored 573421 3644
build-model-states-explored 577057 3636
build-model-states-explored 580702 3645
build-model-states-explored 584345 3643
build-model-states-explored 587995 3650
build-model-states-explored 591630 3635
build-model-states-explored 595258 3628
build-model-states-explored 598881 3623
build-model-states-explored 602510 3629
build-model-states-explored 606150 3640
build-model-states-explored 609772 3622
build-model-states-explored 613403 3631
build-model-states-explored 617048 3645
build-model-states-explored 620694 3646
build-model-states-explored 624341 3647
build-model-states-explored 627989 3648
build-model-states-explored 631618 3629
build-model-states-explored 635249 3631
build-model-states-explored 638880 3631
build-model-states-explored 642509 3629
build-model-states-explored 645756 3247
build-model-states-explored 650200 4444
build-model-states-explored 654660 4460
build-model-states-explored 659101 4441
build-model-states-explored 663547 4446
build-model-states-explored 667987 4440
build-model-states-explored 672437 4450
build-model-states-explored 676846 4409
build-model-states-explored 681270 4424
build-model-states-explored 685702 4432
build-model-states-explored 690134 4432
build-model-states-explored 694578 4444
build-model-states-explored 699030 4452
build-model-states-explored 703484 4454
build-model-states-explored 707928 4444
build-model-states-explored 712375 4447
build-model-states-explored 716829 4454
build-model-states-explored 721284 4455
build-model-states-explored 725724 4440
build-model-states-explored 730167 4443
build-model-states-explored 734603 4436
build-model-states-explored 739048 4445
build-model-states-explored 743492 4444
build-model-states-explored 747943 4451
build-model-states-explored 752398 4455
build-model-states-explored 756843 4445
build-model-states-explored 761300 4457
build-model-states-explored 765743 4443
build-model-states-explored 770196 4453
build-model-states-explored 774632 4436
build-model-states-explored 779073 4441
build-model-states-explored 783520 4447
build-model-states-explored 787966 4446
build-model-states-explored 792399 4433
build-model-states-explored 796836 4437
build-model-states-explored 801276 4440
build-model-states-explored 805713 4437
build-model-states-explored 810151 4438
build-model-states-explored 814590 4439
build-model-states-explored 819030 4440
build-model-states-explored 823121 4091
build-model-states-explored 826601 3480
build-model-states-explored 831044 4443
build-model-states-explored 835495 4451
build-model-states-explored 839947 4452
build-model-states-explored 844403 4456
build-model-states-explored 848857 4454
build-model-states-explored 853315 4458
build-model-states-explored 857766 4451
build-model-states-explored 862219 4453
build-model-states-explored 866669 4450
build-model-states-explored 871108 4439
build-model-states-explored 875550 4442
build-model-states-explored 879994 4444
build-model-states-explored 884449 4455
build-model-states-explored 888903 4454
build-model-states-explored 893362 4459
build-model-states-explored 897819 4457
build-model-states-explored 902279 4460
build-model-states-explored 906739 4460
build-model-states-explored 911193 4454
build-model-states-explored 915608 4415
build-model-states-explored 920050 4442
build-model-states-explored 924479 4429
build-model-states-explored 928920 4441
build-model-states-explored 933370 4450
build-model-states-explored 937820 4450
build-model-states-explored 942277 4457
build-model-states-explored 946729 4452
build-model-states-explored 951187 4458
build-model-states-explored 955638 4451
build-model-states-explored 960089 4451
build-model-states-explored 964531 4442
build-model-states-explored 968960 4429
build-model-states-explored 973401 4441
build-model-states-explored 977851 4450
build-model-states-explored 982311 4460
build-model-states-explored 986765 4454
build-model-states-explored 991224 4459
build-model-states-explored 995564 4340
build-model-states-explored 1000021 4457
build-model-states-explored 1004462 4441
build-model-states-explored 1008901 4439
build-model-states-explored 1013335 4434
build-model-states-explored 1017781 4446
build-model-states-explored 1022235 4454
build-model-states-explored 1026699 4464
build-model-states-explored 1031155 4456
build-model-states-explored 1035610 4455
build-model-states-explored 1040075 4465
build-model-states-explored 1044536 4461
build-model-states-explored 1048576 4040
build-model-states-explored 1051137 2561
build-model-states-explored 1054905 3768
build-model-states-explored 1058682 3777
build-model-states-explored 1062471 3789
build-model-states-explored 1066268 3797
build-model-states-explored 1070064 3796
build-model-states-explored 1073860 3796
build-model-states-explored 1077655 3795
build-model-states-explored 1081450 3795
build-model-states-explored 1085232 3782
build-model-states-explored 1089014 3782
build-model-states-explored 1092784 3770
build-model-states-explored 1096563 3779
build-model-states-explored 1100351 3788
build-model-states-explored 1104147 3796
build-model-states-explored 1107944 3797
build-model-states-explored 1111741 3797
build-model-states-explored 1115538 3797
build-model-states-explored 1119333 3795
build-model-states-explored 1123127 3794
build-model-states-explored 1126911 3784
build-model-states-explored 1130690 3779
build-model-states-explored 1134462 3772
build-model-states-explored 1138245 3783
build-model-states-explored 1142034 3789
build-model-states-explored 1145829 3795
build-model-states-explored 1149622 3793
build-model-states-explored 1153418 3796
build-model-states-explored 1157211 3793
build-model-states-explored 1161004 3793
build-model-states-explored 1164789 3785
build-model-states-explored 1168575 3786
build-model-states-explored 1172364 3789
build-model-states-explored 1176150 3786
build-model-states-explored 1179943 3793
build-model-states-explored 1183740 3797
build-model-states-explored 1187537 3797
build-model-states-explored 1191326 3789
build-model-states-explored 1195119 3793
build-model-states-explored 1198914 3795
build-model-states-explored 1202689 3775
build-model-states-explored 1206475 3786
build-model-states-explored 1210262 3787
build-model-states-explored 1214050 3788
build-model-states-explored 1217842 3792
build-model-states-explored 1221635 3793
build-model-states-explored 1225431 3796
build-model-states-explored 1229129 3698
build-model-states-explored 1232870 3741
build-model-states-explored 1236664 3794
build-model-states-explored 1240458 3794
build-model-states-explored 1244247 3789
build-model-states-explored 1248034 3787
build-model-states-explored 1251816 3782
build-model-states-explored 1255606 3790
build-model-states-explored 1259384 3778
build-model-states-explored 1263170 3786
build-model-states-explored 1266955 3785
build-model-states-explored 1270739 3784
build-model-states-explored 1274526 3787
build-model-states-explored 1278313 3787
build-model-states-explored 1282095 3782
build-model-states-explored 1285879 3784
build-model-states-explored 1289660 3781
build-model-states-explored 1293448 3788
build-model-states-explored 1297233 3785
build-model-states-explored 1301025 3792
build-model-states-explored 1304815 3790
build-model-states-explored 1308606 3791
build-model-states-explored 1312396 3790
build-model-states-explored 1316188 3792
build-model-states-explored 1319981 3793
build-model-states-explored 1323769 3788
build-model-states-explored 1327554 3785
build-model-states-explored 1331337 3783
build-model-states-explored 1335124 3787
build-model-states-explored 1338913 3789
build-model-states-explored 1342704 3791
build-model-states-explored 1346497 3793
build-model-states-explored 1350285 3788
build-model-states-explored 1354076 3791
build-model-states-explored 1357866 3790
build-model-states-explored 1361652 3786
build-model-states-explored 1365438 3786
build-model-states-explored 1369225 3787
build-model-states-explored 1373008 3783
build-model-states-explored 1376792 3784
build-model-states-explored 1380579 3787
build-model-states-explored 1384368 3789
build-model-states-explored 1388155 3787
build-model-states-explored 1391948 3793
build-model-states-explored 1395739 3791
build-model-states-explored 1399529 3790
build-model-states-explored 1403311 3782
build-model-states-explored 1407099 3788
build-model-states-explored 1410883 3784
build-model-states-explored 1414668 3785
build-model-states-explored 1418455 3787
build-model-states-explored 1422245 3790
build-model-states-explored 1426038 3793
build-model-states-explored 1429831 3793
build-model-states-explored 1433619 3788
build-model-states-explored 1437406 3787
build-model-states-explored 1441190 3784
build-model-states-explored 1444977 3787
build-model-states-explored 1448761 3784
build-model-states-explored 1452547 3786
build-model-states-explored 1456334 3787
build-model-states-explored 1460124 3790
build-model-states-explored 1463915 3791
build-model-states-explored 1467706 3791
build-model-states-explored 1471497 3791
build-model-states-explored 1475282 3785
build-model-states-explored 1479066 3784
build-model-states-explored 1482857 3791
build-model-states-explored 1486631 3774
build-model-states-explored 1490409 3778
build-model-states-explored 1494189 3780
build-model-states-explored 1497974 3785
build-model-states-explored 1501761 3787
build-model-states-explored 1505549 3788
build-model-states-explored 1509336 3787
build-model-states-explored 1513120 3784
build-model-states-explored 1516900 3780
build-model-states-explored 1520686 3786
build-model-states-explored 1524467 3781
build-model-states-explored 1528252 3785
build-model-states-explored 1532038 3786
build-model-states-explored 1535826 3788
build-model-states-explored 1539613 3787
build-model-states-explored 1543404 3791
build-model-states-explored 1547194 3790
build-model-states-explored 1550981 3787
build-model-states-explored 1554764 3783
build-model-states-explored 1558549 3785
build-model-states-explored 1562331 3782
build-model-states-explored 1566114 3783
build-model-states-explored 1569899 3785
build-model-states-explored 1573688 3789
build-model-states-explored 1577477 3789
build-model-states-explored 1581267 3790
build-model-states-explored 1585057 3790
build-model-states-explored 1588846 3789
build-model-states-explored 1592632 3786
build-model-states-explored 1596420 3788
build-model-states-explored 1600202 3782
build-model-states-explored 1603985 3783
build-model-states-explored 1607770 3785
build-model-states-explored 1611471 3701
build-model-states-explored 1615257 3786
build-model-states-explored 1619049 3792
build-model-states-explored 1622838 3789
build-model-states-explored 1626623 3785
build-model-states-explored 1630404 3781
build-model-states-explored 1634192 3788
build-model-states-explored 1637975 3783
build-model-states-explored 1641759 3784
build-model-states-explored 1645546 3787
build-model-states-explored 1649335 3789
build-model-states-explored 1653126 3791
build-model-states-explored 1656917 3791
build-model-states-explored 1660705 3788
build-model-states-explored 1664492 3787
build-model-states-explored 1668275 3783
build-model-states-explored 1672063 3788
build-model-states-explored 1675848 3785
build-model-states-explored 1679631 3783
build-model-states-explored 1683317 3686
build-model-states-explored 1687016 3699
build-model-states-explored 1690801 3785
build-model-states-explored 1694588 3787
build-model-states-explored 1698376 3788
build-model-states-explored 1702161 3785
build-model-states-explored 1705941 3780
build-model-states-explored 1709727 3786
build-model-states-explored 1713479 3752
build-model-states-explored 1717257 3778
build-model-states-explored 1721041 3784
build-model-states-explored 1724827 3786
build-model-states-explored 1728611 3784
build-model-states-explored 1732401 3790
build-model-states-explored 1736187 3786
build-model-states-explored 1739968 3781
build-model-states-explored 1743747 3779
build-model-states-explored 1747524 3777
build-model-states-explored 1751299 3775
build-model-states-explored 1755079 3780
build-model-states-explored 1758871 3792
build-model-states-explored 1762663 3792
build-model-states-explored 1766455 3792
build-model-states-explored 1770246 3791
build-model-states-explored 1774034 3788
build-model-states-explored 1777800 3766
build-model-states-explored 1781577 3777
build-model-states-explored 1785360 3783
build-model-states-explored 1789143 3783
build-model-states-explored 1792919 3776
build-model-states-explored 1796703 3784
build-model-states-explored 1800493 3790
build-model-states-explored 1804282 3789
build-model-states-explored 1808073 3791
build-model-states-explored 1811858 3785
build-model-states-explored 1815613 3755
build-model-states-explored 1819390 3777
build-model-states-explored 1823167 3777
build-model-states-explored 1826947 3780
build-model-states-explored 1830727 3780
build-model-states-explored 1834514 3787
build-model-states-explored 1838304 3790
build-model-states-explored 1842095 3791
build-model-states-explored 1845888 3793
build-model-states-explored 1849677 3789
build-model-states-explored 1853444 3767
build-model-states-explored 1857227 3783
build-model-states-explored 1861012 3785
build-model-states-explored 1864799 3787
build-model-states-explored 1868586 3787
build-model-states-explored 1872377 3791
build-model-states-explored 1876169 3792
build-model-states-explored 1879963 3794
build-model-states-explored 1883756 3793
build-model-states-explored 1887545 3789
build-model-states-explored 1891334 3789
build-model-states-explored 1895117 3783
build-model-states-explored 1898901 3784
build-model-states-explored 1902686 3785
build-model-states-explored 1906472 3786
build-model-states-explored 1910264 3792
build-model-states-explored 1914058 3794
build-model-states-explored 1917853 3795
build-model-states-explored 1921647 3794
build-model-states-explored 1925438 3791
build-model-states-explored 1929226 3788
build-model-states-explored 1933013 3787
build-model-states-explored 1936803 3790
build-model-states-explored 1940583 3780
build-model-states-explored 1944361 3778
build-model-states-explored 1948142 3781
build-model-states-explored 1951929 3787
build-model-states-explored 1955716 3787
build-model-states-explored 1959503 3787
build-model-states-explored 1963288 3785
build-model-states-explored 1967074 3786
build-model-states-explored 1970854 3780
build-model-states-explored 1974636 3782
build-model-states-explored 1978419 3783
build-model-states-explored 1982199 3780
build-model-states-explored 1985985 3786
build-model-states-explored 1989775 3790
build-model-states-explored 1993564 3789
build-model-states-explored 1997351 3787
build-model-states-explored 2001137 3786
build-model-states-explored 2004923 3786
build-model-states-explored 2008706 3783
build-model-states-explored 2012488 3782
build-model-states-explored 2016274 3786
build-model-states-explored 2020055 3781
build-model-states-explored 2023837 3782
build-model-states-explored 2027625 3788
build-model-states-explored 2031410 3785
build-model-states-explored 2035199 3789
build-model-states-explored 2038982 3783
build-model-states-explored 2042768 3786
build-model-states-explored 2046550 3782
build-model-states-explored 2050332 3782
build-model-states-explored 2054117 3785
build-model-states-explored 2057897 3780
build-model-states-explored 2061682 3785
build-model-states-explored 2065472 3790
build-model-states-explored 2069261 3789
build-model-states-explored 2073045 3784
build-model-states-explored 2076834 3789
build-model-states-explored 2080620 3786
build-model-states-explored 2084400 3780
build-model-states-explored 2088184 3784
build-model-states-explored 2091970 3786
build-model-states-explored 2095753 3783
build-model-states-explored 2097714 1961
build-model-states-explored 2101601 3887
build-model-states-explored 2105489 3888
build-model-states-explored 2109377 3888
build-model-states-explored 2113262 3885
build-model-states-explored 2117147 3885
build-model-states-explored 2121028 3881
build-model-states-explored 2124908 3880
build-model-states-explored 2128796 3888
build-model-states-explored 2132676 3880
build-model-states-explored 2136449 3773
build-model-states-explored 2140259 3810
build-model-states-explored 2144149 3890
build-model-states-explored 2148037 3888
build-model-states-explored 2151920 3883
build-model-states-explored 2155806 3886
build-model-states-explored 2159689 3883
build-model-states-explored 2163573 3884
build-model-states-explored 2167450 3877
build-model-states-explored 2171330 3880
build-model-states-explored 2175210 3880
build-model-states-explored 2179097 3887
build-model-states-explored 2182982 3885
build-model-states-explored 2186872 3890
build-model-states-explored 2190758 3886
build-model-states-explored 2194627 3869
build-model-states-explored 2198513 3886
build-model-states-explored 2202396 3883
build-model-states-explored 2206284 3888
build-model-states-explored 2210170 3886
build-model-states-explored 2214054 3884
build-model-states-explored 2217945 3891
build-model-states-explored 2221836 3891
build-model-states-explored 2225731 3895
build-model-states-explored 2229617 3886
build-model-states-explored 2233466 3849
build-model-states-explored 2237351 3885
build-model-states-explored 2241234 3883
build-model-states-explored 2243915 2681
build-model-states-explored 2246498 2583
build-model-states-explored 2250388 3890
build-model-states-explored 2254279 3891
build-model-states-explored 2258168 3889
build-model-states-explored 2262060 3892
build-model-states-explored 2265952 3892
build-model-states-explored 2269846 3894
build-model-states-explored 2273731 3885
build-model-states-explored 2277626 3895
build-model-states-explored 2281509 3883
build-model-states-explored 2285400 3891
build-model-states-explored 2289291 3891
build-model-states-explored 2293192 3901
build-model-states-explored 2297086 3894
build-model-states-explored 2300983 3897
build-model-states-explored 2304879 3896
build-model-states-explored 2308777 3898
build-model-states-explored 2312671 3894
build-model-states-explored 2316568 3897
build-model-states-explored 2320462 3894
build-model-states-explored 2324355 3893
build-model-states-explored 2328246 3891
build-model-states-explored 2332139 3893
build-model-states-explored 2336038 3899
build-model-states-explored 2339939 3901
build-model-states-explored 2343835 3896
build-model-states-explored 2347734 3899
build-model-states-explored 2351637 3903
build-model-states-explored 2355539 3902
build-model-states-explored 2359439 3900
build-model-states-explored 2363321 3882
build-model-states-explored 2367196 3875
build-model-states-explored 2371078 3882
build-model-states-explored 2374968 3890
build-model-states-explored 2378862 3894
build-model-states-explored 2382753 3891
build-model-states-explored 2386646 3893
build-model-states-explored 2390541 3895
build-model-states-explored 2394436 3895
build-model-states-explored 2398313 3877
build-model-states-explored 2402202 3889
build-model-states-explored 2406087 3885
build-model-states-explored 2409967 3880
build-model-states-explored 2413849 3882
build-model-states-explored 2417736 3887
build-model-states-explored 2421629 3893
build-model-states-explored 2425526 3897
build-model-states-explored 2429418 3892
build-model-states-explored 2433312 3894
build-model-states-explored 2437207 3895
build-model-states-explored 2441103 3896
build-model-states-explored 2444995 3892
build-model-states-explored 2448886 3891
build-model-states-explored 2452773 3887
build-model-states-explored 2456668 3895
build-model-states-explored 2460560 3892
build-model-states-explored 2464455 3895
build-model-states-explored 2468351 3896
build-model-states-explored 2472250 3899
build-model-states-explored 2476148 3898
build-model-states-explored 2480047 3899
build-model-states-explored 2483943 3896
build-model-states-explored 2487840 3897
build-model-states-explored 2491730 3890
build-model-states-explored 2495614 3884
build-model-states-explored 2499498 3884
build-model-states-explored 2503391 3893
build-model-states-explored 2507288 3897
build-model-states-explored 2511183 3895
build-model-states-explored 2515071 3888
build-model-states-explored 2518965 3894
build-model-states-explored 2522862 3897
build-model-states-explored 2526754 3892
build-model-states-explored 2530646 3892
build-model-states-explored 2534537 3891
build-model-states-explored 2538425 3888
build-model-states-explored 2542313 3888
build-model-states-explored 2546200 3887
build-model-states-explored 2550092 3892
build-model-states-explored 2553988 3896
build-model-states-explored 2557885 3897
build-model-states-explored 2561781 3896
build-model-states-explored 2565680 3899
build-model-states-explored 2569576 3896
build-model-states-explored 2573466 3890
build-model-states-explored 2577354 3888
build-model-states-explored 2581247 3893
build-model-states-explored 2585143 3896
build-model-states-explored 2589046 3903
build-model-states-explored 2592944 3898
build-model-states-explored 2596845 3901
build-model-states-explored 2600745 3900
build-model-states-explored 2604649 3904
build-model-states-explored 2608544 3895
build-model-states-explored 2612440 3896
build-model-states-explored 2616331 3891
build-model-states-explored 2620221 3890
build-model-states-explored 2624108 3887
build-model-states-explored 2627996 3888
build-model-states-explored 2631878 3882
build-model-states-explored 2635767 3889
build-model-states-explored 2639657 3890
build-model-states-explored 2643547 3890
build-model-states-explored 2647438 3891
build-model-states-explored 2651319 3881
build-model-states-explored 2655207 3888
build-model-states-explored 2658988 3781
build-model-states-explored 2662859 3871
build-model-states-explored 2666743 3884
build-model-states-explored 2670634 3891
build-model-states-explored 2674525 3891
build-model-states-explored 2678418 3893
build-model-states-explored 2682310 3892
build-model-states-explored 2686206 3896
build-model-states-explored 2690098 3892
build-model-states-explored 2693990 3892
build-model-states-explored 2697881 3891
build-model-states-explored 2701772 3891
build-model-states-explored 2705662 3890
build-model-states-explored 2709557 3895
build-model-states-explored 2713452 3895
build-model-states-explored 2717349 3897
build-model-states-explored 2721247 3898
build-model-states-explored 2725141 3894
build-model-states-explored 2729034 3893
build-model-states-explored 2732929 3895
build-model-states-explored 2736825 3896
build-model-states-explored 2740714 3889
build-model-states-explored 2744601 3887
build-model-states-explored 2748489 3888
build-model-states-explored 2752386 3897
build-model-states-explored 2756278 3892
build-model-states-explored 2760170 3892
build-model-states-explored 2764063 3893
build-model-states-explored 2767961 3898
build-model-states-explored 2771855 3894
build-model-states-explored 2775746 3891
build-model-states-explored 2779640 3894
build-model-states-explored 2783530 3890
build-model-states-explored 2787417 3887
build-model-states-explored 2791303 3886
build-model-states-explored 2795196 3893
build-model-states-explored 2799095 3899
build-model-states-explored 2802995 3900
build-model-states-explored 2806889 3894
build-model-states-explored 2810786 3897
build-model-states-explored 2814679 3893
build-model-states-explored 2818575 3896
build-model-states-explored 2822464 3889
build-model-states-explored 2826355 3891
build-model-states-explored 2830247 3892
build-model-states-explored 2834145 3898
build-model-states-explored 2838039 3894
build-model-states-explored 2841940 3901
build-model-states-explored 2845839 3899
build-model-states-explored 2849741 3902
build-model-states-explored 2853633 3892
build-model-states-explored 2857529 3896
build-model-states-explored 2861423 3894
build-model-states-explored 2865306 3883
build-model-states-explored 2869190 3884
build-model-states-explored 2873079 3889
build-model-states-explored 2876973 3894
build-model-states-explored 2880871 3898
build-model-states-explored 2884768 3897
build-model-states-explored 2888658 3890
build-model-states-explored 2892551 3893
build-model-states-explored 2896444 3893
build-model-states-explored 2900337 3893
build-model-states-explored 2904222 3885
build-model-states-explored 2908111 3889
build-model-states-explored 2911995 3884
build-model-states-explored 2915885 3890
build-model-states-explored 2919777 3892
build-model-states-explored 2923672 3895
build-model-states-explored 2927568 3896
build-model-states-explored 2931464 3896
build-model-states-explored 2935363 3899
build-model-states-explored 2939260 3897
build-model-states-explored 2943156 3896
build-model-states-explored 2947047 3891
build-model-states-explored 2950940 3893
build-model-states-explored 2954828 3888
build-model-states-explored 2958718 3890
build-model-states-explored 2962610 3892
build-model-states-explored 2966510 3900
build-model-states-explored 2970406 3896
build-model-states-explored 2974308 3902
build-model-states-explored 2978204 3896
build-model-states-explored 2982106 3902
build-model-states-explored 2985999 3893
build-model-states-explored 2989887 3888
build-model-states-explored 2993779 3892
build-model-states-explored 2997669 3890
build-model-states-explored 3001558 3889
build-model-states-explored 3005452 3894
build-model-states-explored 3009351 3899
build-model-states-explored 3013252 3901
build-model-states-explored 3017148 3896
build-model-states-explored 3021042 3894
build-model-states-explored 3024883 3841
build-model-states-explored 3028777 3894
build-model-states-explored 3032669 3892
build-model-states-explored 3036561 3892
build-model-states-explored 3040450 3889
build-model-states-explored 3044337 3887
build-model-states-explored 3048230 3893
build-model-states-explored 3052126 3896
build-model-states-explored 3055971 3845
build-model-states-explored 3059870 3899
build-model-states-explored 3063772 3902
build-model-states-explored 3067631 3859
build-model-states-explored 3071527 3896
build-model-states-explored 3075422 3895
build-model-states-explored 3079320 3898
build-model-states-explored 3083210 3890
build-model-states-explored 3087101 3891
build-model-states-explored 3090996 3895
build-model-states-explored 3094898 3902
build-model-states-explored 3098789 3891
build-model-states-explored 3102683 3894
build-model-states-explored 3106580 3897
build-model-states-explored 3110478 3898
build-model-states-explored 3114375 3897
build-model-states-explored 3118263 3888
build-model-states-explored 3122157 3894
build-model-states-explored 3125996 3839
build-model-states-explored 3129893 3897
build-model-states-explored 3133785 3892
build-model-states-explored 3137684 3899
build-model-states-explored 3141586 3902
build-model-states-explored 3145491 3905
build-model-states-explored 3149032 3541
build-model-states-explored 3152920 3888
build-model-states-explored 3156808 3888
build-model-states-explored 3160693 3885
build-model-states-explored 3164582 3889
build-model-states-explored 3168467 3885
build-model-states-explored 3172353 3886
build-model-states-explored 3176244 3891
build-model-states-explored 3180138 3894
build-model-states-explored 3184027 3889
build-model-states-explored 3187921 3894
build-model-states-explored 3191812 3891
build-model-states-explored 3195705 3893
build-model-states-explored 3199593 3888
build-model-states-explored 3203480 3887
build-model-states-explored 3207368 3888
build-model-states-explored 3211258 3890
build-model-states-explored 3215143 3885
build-model-states-explored 3219034 3891
build-model-states-explored 3222929 3895
build-model-states-explored 3226826 3897
build-model-states-explored 3230716 3890
build-model-states-explored 3234611 3895
build-model-states-explored 3238507 3896
build-model-states-explored 3242405 3898
build-model-states-explored 3246293 3888
build-model-states-explored 3250184 3891
build-model-states-explored 3254071 3887
build-model-states-explored 3257957 3886
build-model-states-explored 3261847 3890
build-model-states-explored 3265743 3896
build-model-states-explored 3269640 3897
build-model-states-explored 3273537 3897
build-model-states-explored 3277430 3893
build-model-states-explored 3281321 3891
build-model-states-explored 3285212 3891
build-model-states-explored 3289101 3889
build-model-states-explored 3292995 3894
build-model-states-explored 3296875 3880
build-model-states-explored 3300754 3879
build-model-states-explored 3304643 3889
build-model-states-explored 3308536 3893
build-model-states-explored 3312428 3892
build-model-states-explored 3316320 3892
build-model-states-explored 3320213 3893
build-model-states-explored 3324102 3889
build-model-states-explored 3327992 3890
build-model-states-explored 3331872 3880
build-model-states-explored 3335757 3885
build-model-states-explored 3339641 3884
build-model-states-explored 3343531 3890
build-model-states-explored 3347424 3893
build-model-states-explored 3351321 3897
build-model-states-explored 3355219 3898
build-model-states-explored 3359111 3892
build-model-states-explored 3363008 3897
build-model-states-explored 3366904 3896
build-model-states-explored 3370792 3888
build-model-states-explored 3374689 3897
build-model-states-explored 3378575 3886
build-model-states-explored 3382466 3891
build-model-states-explored 3386358 3892
build-model-states-explored 3390257 3899
build-model-states-explored 3394153 3896
build-model-states-explored 3398052 3899
build-model-states-explored 3401950 3898
build-model-states-explored 3405844 3894
build-model-states-explored 3409736 3892
build-model-states-explored 3413616 3880
build-model-states-explored 3417502 3886
build-model-states-explored 3421387 3885
build-model-states-explored 3425273 3886
build-model-states-explored 3429157 3884
build-model-states-explored 3433048 3891
build-model-states-explored 3436940 3892
build-model-states-explored 3440834 3894
build-model-states-explored 3444724 3890
build-model-states-explored 3448616 3892
build-model-states-explored 3452502 3886
build-model-states-explored 3456387 3885
build-model-states-explored 3460272 3885
build-model-states-explored 3464147 3875
build-model-states-explored 3468027 3880
build-model-states-explored 3471914 3887
build-model-states-explored 3475809 3895
build-model-states-explored 3479700 3891
build-model-states-explored 3483594 3894
build-model-states-explored 3487489 3895
build-model-states-explored 3491384 3895
build-model-states-explored 3495276 3892
build-model-states-explored 3499167 3891
build-model-states-explored 3503062 3895
build-model-states-explored 3506952 3890
build-model-states-explored 3510838 3886
build-model-states-explored 3514730 3892
build-model-states-explored 3518627 3897
build-model-states-explored 3522524 3897
build-model-states-explored 3526418 3894
build-model-states-explored 3530319 3901
build-model-states-explored 3534213 3894
build-model-states-explored 3538102 3889
build-model-states-explored 3541986 3884
build-model-states-explored 3545874 3888
build-model-states-explored 3549760 3886
build-model-states-explored 3553645 3885
build-model-states-explored 3557539 3894
build-model-states-explored 3561433 3894
build-model-states-explored 3565317 3884
build-model-states-explored 3569205 3888
build-model-states-explored 3573090 3885
build-model-states-explored 3576977 3887
build-model-states-explored 3580846 3869
build-model-states-explored 3584730 3884
build-model-states-explored 3588621 3891
build-model-states-explored 3592502 3881
build-model-states-explored 3596384 3882
build-model-states-explored 3600274 3890
build-model-states-explored 3604172 3898
build-model-states-explored 3608067 3895
build-model-states-explored 3611963 3896
build-model-states-explored 3615861 3898
build-model-states-explored 3619760 3899
build-model-states-explored 3623642 3882
build-model-states-explored 3627523 3881
build-model-states-explored 3631418 3895
build-model-states-explored 3635089 3671
build-model-states-explored 3638389 3300
build-model-states-explored 3641936 3547
build-model-states-explored 3645487 3551
build-model-states-explored 3649034 3547
build-model-states-explored 3652583 3549
build-model-states-explored 3656128 3545
build-model-states-explored 3659673 3545
build-model-states-explored 3663206 3533
build-model-states-explored 3666752 3546
build-model-states-explored 3670295 3543
build-model-states-explored 3673829 3534
build-model-states-explored 3677371 3542
build-model-states-explored 3680917 3546
build-model-states-explored 3684465 3548
build-model-states-explored 3688012 3547
build-model-states-explored 3691557 3545
build-model-states-explored 3695104 3547
build-model-states-explored 3698650 3546
build-model-states-explored 3702193 3543
build-model-states-explored 3705733 3540
build-model-states-explored 3709271 3538
build-model-states-explored 3712809 3538
build-model-states-explored 3716352 3543
build-model-states-explored 3719899 3547
build-model-states-explored 3723445 3546
build-model-states-explored 3726994 3549
build-model-states-explored 3730540 3546
build-model-states-explored 3734089 3549
build-model-states-explored 3737639 3550
build-model-states-explored 3741181 3542
build-model-states-explored 3744721 3540
build-model-states-explored 3748258 3537
build-model-states-explored 3751801 3543
build-model-states-explored 3755343 3542
build-model-states-explored 3758890 3547
build-model-states-explored 3762439 3549
build-model-states-explored 3765989 3550
build-model-states-explored 3769540 3551
build-model-states-explored 3773085 3545
build-model-states-explored 3776635 3550
build-model-states-explored 3780169 3534
build-model-states-explored 3783705 3536
build-model-states-explored 3787235 3530
build-model-states-explored 3790766 3531
build-model-states-explored 3794304 3538
build-model-states-explored 3797847 3543
build-model-states-explored 3801394 3547
build-model-states-explored 3804937 3543
build-model-states-explored 3808482 3545
build-model-states-explored 3812026 3544
build-model-states-explored 3815574 3548
build-model-states-explored 3819116 3542
build-model-states-explored 3822654 3538
build-model-states-explored 3826191 3537
build-model-states-explored 3829733 3542
build-model-states-explored 3833280 3547
build-model-states-explored 3836829 3549
build-model-states-explored 3840379 3550
build-model-states-explored 3843927 3548
build-model-states-explored 3847478 3551
build-model-states-explored 3851030 3552
build-model-states-explored 3854579 3549
build-model-states-explored 3858125 3546
build-model-states-explored 3861668 3543
build-model-states-explored 3865210 3542
build-model-states-explored 3868750 3540
build-model-states-explored 3872293 3543
build-model-states-explored 3875843 3550
build-model-states-explored 3879395 3552
build-model-states-explored 3882946 3551
build-model-states-explored 3886493 3547
build-model-states-explored 3890041 3548
build-model-states-explored 3893591 3550
build-model-states-explored 3897137 3546
build-model-states-explored 3900679 3542
build-model-states-explored 3904219 3540
build-model-states-explored 3907760 3541
build-model-states-explored 3911306 3546
build-model-states-explored 3914859 3553
build-model-states-explored 3918409 3550
build-model-states-explored 3921961 3552
build-model-states-explored 3925512 3551
build-model-states-explored 3929063 3551
build-model-states-explored 3932614 3551
build-model-states-explored 3936154 3540
build-model-states-explored 3939693 3539
build-model-states-explored 3943230 3537
build-model-states-explored 3946772 3542
build-model-states-explored 3950318 3546
build-model-states-explored 3953866 3548
build-model-states-explored 3957413 3547
build-model-states-explored 3960962 3549
build-model-states-explored 3964512 3550
build-model-states-explored 3968059 3547
build-model-states-explored 3971600 3541
build-model-states-explored 3975138 3538
build-model-states-explored 3978678 3540
build-model-states-explored 3982220 3542
build-model-states-explored 3985763 3543
build-model-states-explored 3989313 3550
build-model-states-explored 3992852 3539
build-model-states-explored 3996395 3543
build-model-states-explored 3999937 3542
build-model-states-explored 4003476 3539
build-model-states-explored 4007021 3545
build-model-states-explored 4010560 3539
build-model-states-explored 4014102 3542
build-model-states-explored 4017641 3539
build-model-states-explored 4021183 3542
build-model-states-explored 4024731 3548
build-model-states-explored 4028282 3551
build-model-states-explored 4031832 3550
build-model-states-explored 4035381 3549
build-model-states-explored 4038928 3547
build-model-states-explored 4042474 3546
build-model-states-explored 4046027 3553
build-model-states-explored 4049568 3541
build-model-states-explored 4053109 3541
build-model-states-explored 4056650 3541
build-model-states-explored 4060193 3543
build-model-states-explored 4063739 3546
build-model-states-explored 4067284 3545
build-model-states-explored 4070832 3548
build-model-states-explored 4074380 3548
build-model-states-explored 4077932 3552
build-model-states-explored 4081480 3548
build-model-states-explored 4085024 3544
build-model-states-explored 4088518 3494
build-model-states-explored 4092062 3544
build-model-states-explored 4095605 3543
build-model-states-explored 4099139 3534
build-model-states-explored 4102683 3544
build-model-states-explored 4106231 3548
build-model-states-explored 4109781 3550
build-model-states-explored 4113331 3550
build-model-states-explored 4116881 3550
build-model-states-explored 4120429 3548
build-model-states-explored 4123982 3553
build-model-states-explored 4127527 3545
build-model-states-explored 4131070 3543
build-model-states-explored 4134608 3538
build-model-states-explored 4138151 3543
build-model-states-explored 4141696 3545
build-model-states-explored 4145249 3553
build-model-states-explored 4148796 3547
build-model-states-explored 4152347 3551
build-model-states-explored 4155897 3550
build-model-states-explored 4159451 3554
build-model-states-explored 4163005 3554
build-model-states-explored 4166550 3545
build-model-states-explored 4170091 3541
build-model-states-explored 4173636 3545
build-model-states-explored 4177184 3548
build-model-states-explored 4180727 3543
build-model-states-explored 4184277 3550
build-model-states-explored 4187831 3554
build-model-states-explored 4191384 3553
build-model-states-explored 4194304 2920
build-model-states-explored 4195164 860
build-model-states-explored 4198705 3541
build-model-states-explored 4202232 3527
build-model-states-explored 4205759 3527
build-model-states-explored 4209285 3526
build-model-states-explored 4212812 3527
build-model-states-explored 4216341 3529
build-model-states-explored 4219879 3538
build-model-states-explored 4223417 3538
build-model-states-explored 4226962 3545
build-model-states-explored 4230500 3538
build-model-states-explored 4234040 3540
build-model-states-explored 4237579 3539
build-model-states-explored 4241116 3537
build-model-states-explored 4244651 3535
build-model-states-explored 4248181 3530
build-model-states-explored 4251710 3529
build-model-states-explored 4255245 3535
build-model-states-explored 4258789 3544
build-model-states-explored 4262334 3545
build-model-states-explored 4265876 3542
build-model-states-explored 4269421 3545
build-model-states-explored 4272965 3544
build-model-states-explored 4276510 3545
build-model-states-explored 4280046 3536
build-model-states-explored 4283581 3535
build-model-states-explored 4287115 3534
build-model-states-explored 4290653 3538
build-model-states-explored 4294190 3537
build-model-states-explored 4297733 3543
build-model-states-explored 4301277 3544
build-model-states-explored 4304822 3545
build-model-states-explored 4308366 3544
build-model-states-explored 4311910 3544
build-model-states-explored 4315449 3539
build-model-states-explored 4318987 3538
build-model-states-explored 4322523 3536
build-model-states-explored 4326063 3540
build-model-states-explored 4329598 3535
build-model-states-explored 4333141 3543
build-model-states-explored 4336682 3541
build-model-states-explored 4340228 3546
build-model-states-explored 4343772 3544
build-model-states-explored 4347317 3545
build-model-states-explored 4350861 3544
build-model-states-explored 4354403 3542
build-model-states-explored 4357944 3541
build-model-states-explored 4361476 3532
build-model-states-explored 4365010 3534
build-model-states-explored 4368550 3540
build-model-states-explored 4372096 3546
build-model-states-explored 4375643 3547
build-model-states-explored 4379187 3544
build-model-states-explored 4382733 3546
build-model-states-explored 4386219 3486
build-model-states-explored 4389765 3546
build-model-states-explored 4393302 3537
build-model-states-explored 4396839 3537
build-model-states-explored 4400376 3537
build-model-states-explored 4403912 3536
build-model-states-explored 4407452 3540
build-model-states-explored 4410995 3543
build-model-states-explored 4414529 3534
build-model-states-explored 4418068 3539
build-model-states-explored 4421608 3540
build-model-states-explored 4425148 3540
build-model-states-explored 4428679 3531
build-model-states-explored 4432214 3535
build-model-states-explored 4435750 3536
build-model-states-explored 4439290 3540
build-model-states-explored 4442834 3544
build-model-states-explored 4446382 3548
build-model-states-explored 4449931 3549
build-model-states-explored 4453479 3548
build-model-states-explored 4457027 3548
build-model-states-explored 4460566 3539
build-model-states-explored 4464099 3533
build-model-states-explored 4467635 3536
build-model-states-explored 4471167 3532
build-model-states-explored 4474703 3536
build-model-states-explored 4478240 3537
build-model-states-explored 4481779 3539
build-model-states-explored 4485321 3542
build-model-states-explored 4488863 3542
build-model-states-explored 4492404 3541
build-model-states-explored 4495944 3540
build-model-states-explored 4499487 3543
build-model-states-explored 4503026 3539
build-model-states-explored 4506562 3536
build-model-states-explored 4510093 3531
build-model-states-explored 4513630 3537
build-model-states-explored 4517172 3542
build-model-states-explored 4520715 3543
build-model-states-explored 4524258 3543
build-model-states-explored 4527800 3542
build-model-states-explored 4531341 3541
build-model-states-explored 4534885 3544
build-model-states-explored 4538419 3534
build-model-states-explored 4541954 3535
build-model-states-explored 4545490 3536
build-model-states-explored 4549028 3538
build-model-states-explored 4552572 3544
build-model-states-explored 4556119 3547
build-model-states-explored 4559662 3543
build-model-states-explored 4563207 3545
build-model-states-explored 4566751 3544
build-model-states-explored 4570298 3547
build-model-states-explored 4573837 3539
build-model-states-explored 4577376 3539
build-model-states-explored 4580910 3534
build-model-states-explored 4584450 3540
build-model-states-explored 4587992 3542
build-model-states-explored 4591533 3541
build-model-states-explored 4595076 3543
build-model-states-explored 4598619 3543
build-model-states-explored 4602165 3546
build-model-states-explored 4605710 3545
build-model-states-explored 4609253 3543
build-model-states-explored 4612793 3540
build-model-states-explored 4616331 3538
build-model-states-explored 4619869 3538
build-model-states-explored 4623405 3536
build-model-states-explored 4626934 3529
build-model-states-explored 4630473 3539
build-model-states-explored 4634012 3539
build-model-states-explored 4637550 3538
build-model-states-explored 4641089 3539
build-model-states-explored 4644630 3541
build-model-states-explored 4648164 3534
build-model-states-explored 4651705 3541
build-model-states-explored 4655242 3537
build-model-states-explored 4658779 3537
build-model-states-explored 4662323 3544
build-model-states-explored 4665868 3545
build-model-states-explored 4669417 3549
build-model-states-explored 4672960 3543
build-model-states-explored 4676505 3545
build-model-states-explored 4680053 3548
build-model-states-explored 4683584 3531
build-model-states-explored 4687126 3542
build-model-states-explored 4690663 3537
build-model-states-explored 4694204 3541
build-model-states-explored 4697748 3544
build-model-states-explored 4701296 3548
build-model-states-explored 4704842 3546
build-model-states-explored 4708390 3548
build-model-states-explored 4711938 3548
build-model-states-explored 4715487 3549
build-model-states-explored 4719035 3548
build-model-states-explored 4722561 3526
build-model-states-explored 4726092 3531
build-model-states-explored 4729627 3535
build-model-states-explored 4733161 3534
build-model-states-explored 4736700 3539
build-model-states-explored 4740241 3541
build-model-states-explored 4743780 3539
build-model-states-explored 4747321 3541
build-model-states-explored 4750867 3546
build-model-states-explored 4754410 3543
build-model-states-explored 4757952 3542
build-model-states-explored 4761489 3537
build-model-states-explored 4765026 3537
build-model-states-explored 4768562 3536
build-model-states-explored 4772096 3534
build-model-states-explored 4775636 3540
build-model-states-explored 4779179 3543
build-model-states-explored 4782726 3547
build-model-states-explored 4786271 3545
build-model-states-explored 4789807 3536
build-model-states-explored 4793350 3543
build-model-states-explored 4796895 3545
build-model-states-explored 4800438 3543
build-model-states-explored 4803970 3532
build-model-states-explored 4807505 3535
build-model-states-explored 4811045 3540
build-model-states-explored 4814588 3543
build-model-states-explored 4818133 3545
build-model-states-explored 4821677 3544
build-model-states-explored 4825224 3547
build-model-states-explored 4828768 3544
build-model-states-explored 4832315 3547
build-model-states-explored 4835860 3545
build-model-states-explored 4839391 3531
build-model-states-explored 4842923 3532
build-model-states-explored 4846452 3529
build-model-states-explored 4849984 3532
build-model-states-explored 4853514 3530
build-model-states-explored 4857050 3536
build-model-states-explored 4860590 3540
build-model-states-explored 4864134 3544
build-model-states-explored 4867677 3543
build-model-states-explored 4871219 3542
build-model-states-explored 4874763 3544
build-model-states-explored 4878304 3541
build-model-states-explored 4881842 3538
build-model-states-explored 4885376 3534
build-model-states-explored 4888912 3536
build-model-states-explored 4892454 3542
build-model-states-explored 4896001 3547
build-model-states-explored 4899548 3547
build-model-states-explored 4903092 3544
build-model-states-explored 4906641 3549
build-model-states-explored 4910189 3548
build-model-states-explored 4913738 3549
build-model-states-explored 4917280 3542
build-model-states-explored 4920818 3538
build-model-states-explored 4924354 3536
build-model-states-explored 4927889 3535
build-model-states-explored 4931434 3545
build-model-states-explored 4934977 3543
build-model-states-explored 4938524 3547
build-model-states-explored 4942070 3546
build-model-states-explored 4945616 3546
build-model-states-explored 4949163 3547
build-model-states-explored 4952703 3540
build-model-states-explored 4956240 3537
build-model-states-explored 4959777 3537
build-model-states-explored 4963320 3543
build-model-states-explored 4966862 3542
build-model-states-explored 4970408 3546
build-model-states-explored 4973956 3548
build-model-states-explored 4977505 3549
build-model-states-explored 4981055 3550
build-model-states-explored 4984597 3542
build-model-states-explored 4988133 3536
build-model-states-explored 4991669 3536
build-model-states-explored 4995206 3537
build-model-states-explored 4998744 3538
build-model-states-explored 5002284 3540
build-model-states-explored 5005811 3527
build-model-states-explored 5009356 3545
build-model-states-explored 5012904 3548
build-model-states-explored 5016446 3542
build-model-states-explored 5019990 3544
build-model-states-explored 5023535 3545
build-model-states-explored 5027077 3542
build-model-states-explored 5030615 3538
build-model-states-explored 5034148 3533
build-model-states-explored 5037685 3537
build-model-states-explored 5041225 3540
build-model-states-explored 5044773 3548
build-model-states-explored 5048318 3545
build-model-states-explored 5051853 3535
build-model-states-explored 5055392 3539
build-model-states-explored 5058930 3538
build-model-states-explored 5062471 3541
build-model-states-explored 5066004 3533
build-model-states-explored 5069541 3537
build-model-states-explored 5073075 3534
build-model-states-explored 5076617 3542
build-model-states-explored 5080159 3542
build-model-states-explored 5083701 3542
build-model-states-explored 5087247 3546
build-model-states-explored 5090794 3547
build-model-states-explored 5094344 3550
build-model-states-explored 5097890 3546
build-model-states-explored 5101431 3541
build-model-states-explored 5104927 3496
build-model-states-explored 5108468 3541
build-model-states-explored 5112011 3543
build-model-states-explored 5115549 3538
build-model-states-explored 5119041 3492
build-model-states-explored 5122586 3545
build-model-states-explored 5126135 3549
build-model-states-explored 5129681 3546
build-model-states-explored 5133228 3547
build-model-states-explored 5136769 3541
build-model-states-explored 5140309 3540
build-model-states-explored 5143848 3539
build-model-states-explored 5147383 3535
build-model-states-explored 5150921 3538
build-model-states-explored 5154464 3543
build-model-states-explored 5158009 3545
build-model-states-explored 5161556 3547
build-model-states-explored 5165101 3545
build-model-states-explored 5168648 3547
build-model-states-explored 5172192 3544
build-model-states-explored 5175740 3548
build-model-states-explored 5179281 3541
build-model-states-explored 5182818 3537
build-model-states-explored 5186353 3535
build-model-states-explored 5189893 3540
build-model-states-explored 5193438 3545
build-model-states-explored 5196985 3547
build-model-states-explored 5200529 3544
build-model-states-explored 5204079 3550
build-model-states-explored 5207628 3549
build-model-states-explored 5211179 3551
build-model-states-explored 5214724 3545
build-model-states-explored 5218269 3545
build-model-states-explored 5221813 3544
build-model-states-explored 5225355 3542
build-model-states-explored 5228897 3542
build-model-states-explored 5232444 3547
build-model-states-explored 5235994 3550
build-model-states-explored 5239547 3553
build-model-states-explored 5243099 3552
build-model-states-explored 5246635 3536
build-model-states-explored 5250173 3538
build-model-states-explored 5253711 3538
build-model-states-explored 5257245 3534
build-model-states-explored 5260779 3534
build-model-states-explored 5264300 3521
build-model-states-explored 5267825 3525
build-model-states-explored 5271353 3528
build-model-states-explored 5274888 3535
build-model-states-explored 5278418 3530
build-model-states-explored 5281953 3535
build-model-states-explored 5285490 3537
build-model-states-explored 5289030 3540
build-model-states-explored 5292568 3538
build-model-states-explored 5296103 3535
build-model-states-explored 5299636 3533
build-model-states-explored 5303168 3532
build-model-states-explored 5306702 3534
build-model-states-explored 5310237 3535
build-model-states-explored 5313775 3538
build-model-states-explored 5317318 3543
build-model-states-explored 5320860 3542
build-model-states-explored 5324402 3542
build-model-states-explored 5327942 3540
build-model-states-explored 5331481 3539
build-model-states-explored 5335021 3540
build-model-states-explored 5338559 3538
build-model-states-explored 5342093 3534
build-model-states-explored 5345626 3533
build-model-states-explored 5349163 3537
build-model-states-explored 5352704 3541
build-model-states-explored 5356247 3543
build-model-states-explored 5359789 3542
build-model-states-explored 5363331 3542
build-model-states-explored 5366876 3545
build-model-states-explored 5370416 3540
build-model-states-explored 5373957 3541
build-model-states-explored 5377488 3531
build-model-states-explored 5381020 3532
build-model-states-explored 5384555 3535
build-model-states-explored 5388095 3540
build-model-states-explored 5391637 3542
build-model-states-explored 5395176 3539
build-model-states-explored 5398716 3540
build-model-states-explored 5402259 3543
build-model-states-explored 5405803 3544
build-model-states-explored 5409340 3537
build-model-states-explored 5412872 3532
build-model-states-explored 5416408 3536
build-model-states-explored 5419943 3535
build-model-states-explored 5423481 3538
build-model-states-explored 5427019 3538
build-model-states-explored 5430505 3486
build-model-states-explored 5434048 3543
build-model-states-explored 5437589 3541
build-model-states-explored 5441130 3541
build-model-states-explored 5444671 3541
build-model-states-explored 5448149 3478
build-model-states-explored 5451689 3540
build-model-states-explored 5455225 3536
build-model-states-explored 5458695 3470
build-model-states-explored 5462227 3532
build-model-states-explored 5465765 3538
build-model-states-explored 5469310 3545
build-model-states-explored 5472854 3544
build-model-states-explored 5476389 3535
build-model-states-explored 5479926 3537
build-model-states-explored 5483462 3536
build-model-states-explored 5487001 3539
build-model-states-explored 5490538 3537
build-model-states-explored 5494072 3534
build-model-states-explored 5497611 3539
build-model-states-explored 5501145 3534
build-model-states-explored 5504690 3545
build-model-states-explored 5508229 3539
build-model-states-explored 5511769 3540
build-model-states-explored 5515308 3539
build-model-states-explored 5518846 3538
build-model-states-explored 5522385 3539
build-model-states-explored 5525919 3534
build-model-states-explored 5529455 3536
build-model-states-explored 5532989 3534
build-model-states-explored 5536412 3423
build-model-states-explored 5536412 0
build-model-states-explored 5538934 2522
build-model-states-explored 5542477 3543
build-model-states-explored 5546022 3545
build-model-states-explored 5549563 3541
build-model-states-explored 5553110 3547
build-model-states-explored 5556649 3539
build-model-states-explored 5560188 3539
build-model-states-explored 5563721 3533
build-model-states-explored 5567242 3521
build-model-states-explored 5570774 3532
build-model-states-explored 5574312 3538
build-model-states-explored 5577858 3546
build-model-states-explored 5581401 3543
build-model-states-explored 5584947 3546
build-model-states-explored 5588492 3545
build-model-states-explored 5592031 3539
build-model-states-explored 5595573 3542
build-model-states-explored 5599114 3541
build-model-states-explored 5602655 3541
build-model-states-explored 5606195 3540
build-model-states-explored 5609739 3544
build-model-states-explored 5613287 3548
build-model-states-explored 5616838 3551
build-model-states-explored 5620385 3547
build-model-states-explored 5623931 3546
build-model-states-explored 5627478 3547
build-model-states-explored 5631024 3546
build-model-states-explored 5634567 3543
build-model-states-explored 5638105 3538
build-model-states-explored 5641643 3538
build-model-states-explored 5645185 3542
build-model-states-explored 5648732 3547
build-model-states-explored 5652281 3549
build-model-states-explored 5655825 3544
build-model-states-explored 5659372 3547
build-model-states-explored 5662910 3538
build-model-states-explored 5666453 3543
build-model-states-explored 5669986 3533
build-model-states-explored 5673500 3514
build-model-states-explored 5677030 3530
build-model-states-explored 5680571 3541
build-model-states-explored 5684113 3542
build-model-states-explored 5687657 3544
build-model-states-explored 5691201 3544
build-model-states-explored 5694746 3545
build-model-states-explored 5698293 3547
build-model-states-explored 5701817 3524
build-model-states-explored 5705347 3530
build-model-states-explored 5708866 3519
build-model-states-explored 5712408 3542
build-model-states-explored 5715942 3534
build-model-states-explored 5719487 3545
build-model-states-explored 5723036 3549
build-model-states-explored 5726588 3552
build-model-states-explored 5730138 3550
build-model-states-explored 5733681 3543
build-model-states-explored 5737229 3548
build-model-states-explored 5740763 3534
build-model-states-explored 5744285 3522
build-model-states-explored 5747834 3549
build-model-states-explored 5751372 3538
build-model-states-explored 5754918 3546
build-model-states-explored 5758469 3551
build-model-states-explored 5762020 3551
build-model-states-explored 5765573 3553
build-model-states-explored 5769109 3536
build-model-states-explored 5772646 3537
build-model-states-explored 5776176 3530
build-model-states-explored 5779692 3516
build-model-states-explored 5783235 3543
build-model-states-explored 5786762 3527
build-model-states-explored 5790301 3539
build-model-states-explored 5793844 3543
build-model-states-explored 5797388 3544
build-model-states-explored 5800934 3546
build-model-states-explored 5804462 3528
build-model-states-explored 5808005 3543
build-model-states-explored 5811534 3529
build-model-states-explored 5815052 3518
build-model-states-explored 5818593 3541
build-model-states-explored 5822122 3529
build-model-states-explored 5825663 3541
build-model-states-explored 5829210 3547
build-model-states-explored 5832761 3551
build-model-states-explored 5836304 3543
build-model-states-explored 5839839 3535
build-model-states-explored 5843381 3542
build-model-states-explored 5846914 3533
build-model-states-explored 5850432 3518
build-model-states-explored 5853973 3541
build-model-states-explored 5857505 3532
build-model-states-explored 5861047 3542
build-model-states-explored 5864598 3551
build-model-states-explored 5868145 3547
build-model-states-explored 5871691 3546
build-model-states-explored 5875222 3531
build-model-states-explored 5878759 3537
build-model-states-explored 5882295 3536
build-model-states-explored 5885810 3515
build-model-states-explored 5889355 3545
build-model-states-explored 5892889 3534
build-model-states-explored 5896415 3526
build-model-states-explored 5899958 3543
build-model-states-explored 5903496 3538
build-model-states-explored 5907039 3543
build-model-states-explored 5910572 3533
build-model-states-explored 5914115 3543
build-model-states-explored 5917644 3529
build-model-states-explored 5921136 3492
build-model-states-explored 5924654 3518
build-model-states-explored 5928179 3525
build-model-states-explored 5931709 3530
build-model-states-explored 5935247 3538
build-model-states-explored 5938780 3533
build-model-states-explored 5942316 3536
build-model-states-explored 5945849 3533
build-model-states-explored 5949377 3528
build-model-states-explored 5952903 3526
build-model-states-explored 5956428 3525
build-model-states-explored 5959956 3528
build-model-states-explored 5963484 3528
build-model-states-explored 5967014 3530
build-model-states-explored 5970554 3540
build-model-states-explored 5974092 3538
build-model-states-explored 5977631 3539
build-model-states-explored 5981096 3465
build-model-states-explored 5984607 3511
build-model-states-explored 5988121 3514
build-model-states-explored 5991624 3503
build-model-states-explored 5995149 3525
build-model-states-explored 5998656 3507
build-model-states-explored 6002179 3523
build-model-states-explored 6005715 3536
build-model-states-explored 6009247 3532
build-model-states-explored 6012784 3537
build-model-states-explored 6016299 3515
build-model-states-explored 6019816 3517
build-model-states-explored 6023330 3514
build-model-states-explored 6026833 3503
build-model-states-explored 6030354 3521
build-model-states-explored 6033857 3503
build-model-states-explored 6037380 3523
build-model-states-explored 6040912 3532
build-model-states-explored 6044443 3531
build-model-states-explored 6047975 3532
build-model-states-explored 6051500 3525
build-model-states-explored 6055014 3514
build-model-states-explored 6058526 3512
build-model-states-explored 6062048 3522
build-model-states-explored 6065565 3517
build-model-states-explored 6069086 3521
build-model-states-explored 6072610 3524
build-model-states-explored 6076144 3534
build-model-states-explored 6079676 3532
build-model-states-explored 6083207 3531
build-model-states-explored 6086738 3531
build-model-states-explored 6090256 3518
build-model-states-explored 6093777 3521
build-model-states-explored 6097290 3513
build-model-states-explored 6100812 3522
build-model-states-explored 6104333 3521
build-model-states-explored 6107850 3517
build-model-states-explored 6111383 3533
build-model-states-explored 6114907 3524
build-model-states-explored 6118438 3531
build-model-states-explored 6121968 3530
build-model-states-explored 6125483 3515
build-model-states-explored 6129004 3521
build-model-states-explored 6132520 3516
build-model-states-explored 6136037 3517
build-model-states-explored 6139555 3518
build-model-states-explored 6143083 3528
build-model-states-explored 6146615 3532
build-model-states-explored 6150149 3534
build-model-states-explored 6153678 3529
build-model-states-explored 6157212 3534
build-model-states-explored 6160735 3523
build-model-states-explored 6164254 3519
build-model-states-explored 6167773 3519
build-model-states-explored 6171289 3516
build-model-states-explored 6174811 3522
build-model-states-explored 6178340 3529
build-model-states-explored 6181872 3532
build-model-states-explored 6185401 3529
build-model-states-explored 6188936 3535
build-model-states-explored 6192463 3527
build-model-states-explored 6195977 3514
build-model-states-explored 6199496 3519
build-model-states-explored 6203019 3523
build-model-states-explored 6206541 3522
build-model-states-explored 6210061 3520
build-model-states-explored 6213587 3526
build-model-states-explored 6217121 3534
build-model-states-explored 6220652 3531
build-model-states-explored 6224184 3532
build-model-states-explored 6227708 3524
build-model-states-explored 6231223 3515
build-model-states-explored 6234731 3508
build-model-states-explored 6238236 3505
build-model-states-explored 6241759 3523
build-model-states-explored 6245281 3522
build-model-states-explored 6248812 3531
build-model-states-explored 6252347 3535
build-model-states-explored 6255877 3530
build-model-states-explored 6259411 3534
build-model-states-explored 6262945 3534
build-model-states-explored 6266464 3519
build-model-states-explored 6269985 3521
build-model-states-explored 6273510 3525
build-model-states-explored 6277031 3521
build-model-states-explored 6280554 3523
build-model-states-explored 6284091 3537
build-model-states-explored 6287631 3540
build-model-states-explored 6291171 3540
build-model-states-explored 6294695 3524
build-model-states-explored 6298211 3516
build-model-states-explored 6301720 3509
build-model-states-explored 6305232 3512
build-model-states-explored 6308737 3505
build-model-states-explored 6312245 3508
build-model-states-explored 6315758 3513
build-model-states-explored 6319272 3514
build-model-states-explored 6322802 3530
build-model-states-explored 6326323 3521
build-model-states-explored 6329842 3519
build-model-states-explored 6333368 3526
build-model-states-explored 6336874 3506
build-model-states-explored 6340388 3514
build-model-states-explored 6343888 3500
build-model-states-explored 6347404 3516
build-model-states-explored 6350923 3519
build-model-states-explored 6354453 3530
build-model-states-explored 6357992 3539
build-model-states-explored 6361525 3533
build-model-states-explored 6365058 3533
build-model-states-explored 6368591 3533
build-model-states-explored 6372110 3519
build-model-states-explored 6375634 3524
build-model-states-explored 6379158 3524
build-model-states-explored 6382680 3522
build-model-states-explored 6386203 3523
build-model-states-explored 6389741 3538
build-model-states-explored 6393277 3536
build-model-states-explored 6396816 3539
build-model-states-explored 6400353 3537
build-model-states-explored 6403888 3535
build-model-states-explored 6407405 3517
build-model-states-explored 6410926 3521
build-model-states-explored 6414451 3525
build-model-states-explored 6417968 3517
build-model-states-explored 6421493 3525
build-model-states-explored 6425024 3531
build-model-states-explored 6428558 3534
build-model-states-explored 6432092 3534
build-model-states-explored 6435630 3538
build-model-states-explored 6439167 3537
build-model-states-explored 6442684 3517
build-model-states-explored 6446206 3522
build-model-states-explored 6449728 3522
build-model-states-explored 6453250 3522
build-model-states-explored 6456773 3523
build-model-states-explored 6460310 3537
build-model-states-explored 6463850 3540
build-model-states-explored 6467388 3538
build-model-states-explored 6470928 3540
build-model-states-explored 6474463 3535
build-model-states-explored 6477981 3518
build-model-states-explored 6481502 3521
build-model-states-explored 6485031 3529
build-model-states-explored 6488550 3519
build-model-states-explored 6492072 3522
build-model-states-explored 6495606 3534
build-model-states-explored 6499143 3537
build-model-states-explored 6502655 3512
build-model-states-explored 6506192 3537
build-model-states-explored 6509726 3534
build-model-states-explored 6513247 3521
build-model-states-explored 6516776 3529
build-model-states-explored 6520306 3530
build-model-states-explored 6523826 3520
build-model-states-explored 6527351 3525
build-model-states-explored 6530880 3529
build-model-states-explored 6534420 3540
build-model-states-explored 6537956 3536
build-model-states-explored 6541493 3537
build-model-states-explored 6545032 3539
build-model-states-explored 6548551 3519
build-model-states-explored 6552082 3531
build-model-states-explored 6555606 3524
build-model-states-explored 6559122 3516
build-model-states-explored 6562644 3522
build-model-states-explored 6566178 3534
build-model-states-explored 6569714 3536
build-model-states-explored 6573248 3534
build-model-states-explored 6576776 3528
build-model-states-explored 6580311 3535
build-model-states-explored 6583826 3515
build-model-states-explored 6587353 3527
build-model-states-explored 6590873 3520
build-model-states-explored 6594393 3520
build-model-states-explored 6597917 3524
build-model-states-explored 6601455 3538
build-model-states-explored 6604989 3534
build-model-states-explored 6608525 3536
build-model-states-explored 6612060 3535
build-model-states-explored 6615590 3530
build-model-states-explored 6619098 3508
build-model-states-explored 6622617 3519
build-model-states-explored 6626142 3525
build-model-states-explored 6629663 3521
build-model-states-explored 6633185 3522
build-model-states-explored 6636721 3536
build-model-states-explored 6640253 3532
build-model-states-explored 6643786 3533
build-model-states-explored 6647321 3535
build-model-states-explored 6650865 3544
build-model-states-explored 6654395 3530
build-model-states-explored 6657906 3511
build-model-states-explored 6661419 3513
build-model-states-explored 6664944 3525
build-model-states-explored 6668463 3519
build-model-states-explored 6671986 3523
build-model-states-explored 6675520 3534
build-model-states-explored 6679052 3532
build-model-states-explored 6682586 3534
build-model-states-explored 6686119 3533
build-model-states-explored 6689643 3524
build-model-states-explored 6693156 3513


----------
Computation aborted after 1800.0822882652283 seconds since the total time limit of 1800 seconds was exceeded.