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=8
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 messagesB
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2905 2905
build-model-states-explored 6837 3932
build-model-states-explored 10603 3766
build-model-states-explored 14243 3640
build-model-states-explored 18166 3923
build-model-states-explored 22483 4317
build-model-states-explored 26762 4279
build-model-states-explored 31079 4317
build-model-states-explored 34933 3854
build-model-states-explored 38576 3643
build-model-states-explored 42211 3635
build-model-states-explored 45851 3640
build-model-states-explored 49503 3652
build-model-states-explored 53082 3579
build-model-states-explored 56743 3661
build-model-states-explored 60405 3662
build-model-states-explored 64072 3667
build-model-states-explored 68050 3978
build-model-states-explored 72352 4302
build-model-states-explored 76626 4274
build-model-states-explored 80906 4280
build-model-states-explored 85190 4284
build-model-states-explored 89470 4280
build-model-states-explored 93762 4292
build-model-states-explored 98060 4298
build-model-states-explored 102366 4306
build-model-states-explored 106498 4132
build-model-states-explored 110806 4308
build-model-states-explored 115112 4306
build-model-states-explored 119417 4305
build-model-states-explored 123691 4274
build-model-states-explored 127977 4286
build-model-states-explored 131947 3970
build-model-states-explored 135580 3633
build-model-states-explored 139227 3647
build-model-states-explored 142880 3653
build-model-states-explored 146534 3654
build-model-states-explored 150191 3657
build-model-states-explored 153851 3660
build-model-states-explored 157510 3659
build-model-states-explored 161170 3660
build-model-states-explored 164808 3638
build-model-states-explored 168444 3636
build-model-states-explored 172082 3638
build-model-states-explored 175721 3639
build-model-states-explored 179374 3653
build-model-states-explored 183029 3655
build-model-states-explored 186684 3655
build-model-states-explored 190344 3660
build-model-states-explored 194007 3663
build-model-states-explored 197666 3659
build-model-states-explored 201317 3651
build-model-states-explored 204945 3628
build-model-states-explored 208280 3335
build-model-states-explored 211922 3642
build-model-states-explored 215562 3640
build-model-states-explored 219214 3652
build-model-states-explored 222874 3660
build-model-states-explored 226538 3664
build-model-states-explored 230203 3665
build-model-states-explored 233859 3656
build-model-states-explored 237520 3661
build-model-states-explored 241174 3654
build-model-states-explored 244828 3654
build-model-states-explored 248482 3654
build-model-states-explored 252136 3654
build-model-states-explored 255798 3662
build-model-states-explored 259466 3668
build-model-states-explored 263001 3535
build-model-states-explored 267301 4300
build-model-states-explored 271551 4250
build-model-states-explored 275846 4295
build-model-states-explored 280133 4287
build-model-states-explored 284420 4287
build-model-states-explored 288707 4287
build-model-states-explored 292991 4284
build-model-states-explored 297277 4286
build-model-states-explored 301569 4292
build-model-states-explored 305866 4297
build-model-states-explored 310158 4292
build-model-states-explored 314452 4294
build-model-states-explored 318747 4295
build-model-states-explored 323044 4297
build-model-states-explored 327340 4296
build-model-states-explored 331625 4285
build-model-states-explored 335914 4289
build-model-states-explored 340204 4290
build-model-states-explored 344492 4288
build-model-states-explored 348780 4288
build-model-states-explored 353075 4295
build-model-states-explored 357369 4294
build-model-states-explored 361654 4285
build-model-states-explored 365944 4290
build-model-states-explored 370239 4295
build-model-states-explored 374526 4287
build-model-states-explored 378814 4288
build-model-states-explored 383099 4285
build-model-states-explored 387385 4286
build-model-states-explored 391676 4291
build-model-states-explored 395969 4293
build-model-states-explored 400260 4291
build-model-states-explored 404550 4290
build-model-states-explored 408831 4281
build-model-states-explored 412382 3551
build-model-states-explored 416683 4301
build-model-states-explored 420975 4292
build-model-states-explored 425264 4289
build-model-states-explored 429555 4291
build-model-states-explored 433839 4284
build-model-states-explored 438134 4295
build-model-states-explored 442432 4298
build-model-states-explored 446733 4301
build-model-states-explored 451029 4296
build-model-states-explored 455326 4297
build-model-states-explored 459624 4298
build-model-states-explored 463920 4296
build-model-states-explored 468213 4293
build-model-states-explored 472501 4288
build-model-states-explored 476792 4291
build-model-states-explored 481079 4287
build-model-states-explored 485372 4293
build-model-states-explored 489665 4293
build-model-states-explored 493847 4182
build-model-states-explored 498114 4267
build-model-states-explored 502387 4273
build-model-states-explored 506664 4277
build-model-states-explored 510917 4253
build-model-states-explored 515171 4254
build-model-states-explored 519420 4249
build-model-states-explored 523675 4255
build-model-states-explored 526853 3178
build-model-states-explored 530470 3617
build-model-states-explored 534096 3626
build-model-states-explored 537714 3618
build-model-states-explored 541344 3630
build-model-states-explored 544962 3618
build-model-states-explored 548594 3632
build-model-states-explored 552200 3606
build-model-states-explored 555793 3593
build-model-states-explored 559426 3633
build-model-states-explored 563059 3633
build-model-states-explored 566704 3645
build-model-states-explored 570352 3648
build-model-states-explored 574005 3653
build-model-states-explored 577653 3648
build-model-states-explored 581307 3654
build-model-states-explored 584961 3654
build-model-states-explored 588616 3654
build-model-states-explored 592255 3639
build-model-states-explored 595893 3638
build-model-states-explored 599537 3644
build-model-states-explored 603179 3642
build-model-states-explored 606831 3652
build-model-states-explored 610465 3634
build-model-states-explored 613155 2690
build-model-states-explored 616926 3771
build-model-states-explored 620700 3774
build-model-states-explored 624477 3777
build-model-states-explored 628216 3739
build-model-states-explored 631956 3740
build-model-states-explored 635698 3742
build-model-states-explored 639449 3751
build-model-states-explored 643214 3765
build-model-states-explored 646981 3767
build-model-states-explored 650772 3791
build-model-states-explored 654570 3798
build-model-states-explored 658351 3781
build-model-states-explored 662131 3780
build-model-states-explored 665905 3774
build-model-states-explored 669673 3768
build-model-states-explored 673435 3762
build-model-states-explored 677209 3774
build-model-states-explored 680987 3778
build-model-states-explored 684771 3784
build-model-states-explored 688560 3789
build-model-states-explored 692345 3785
build-model-states-explored 696133 3788
build-model-states-explored 699919 3786
build-model-states-explored 703709 3790
build-model-states-explored 707490 3781
build-model-states-explored 711268 3778
build-model-states-explored 715050 3782
build-model-states-explored 718834 3784
build-model-states-explored 722619 3785
build-model-states-explored 726403 3784
build-model-states-explored 730189 3786
build-model-states-explored 733977 3788
build-model-states-explored 737767 3790
build-model-states-explored 741551 3784
build-model-states-explored 745336 3785
build-model-states-explored 749096 3760
build-model-states-explored 752875 3779
build-model-states-explored 756648 3773
build-model-states-explored 760431 3783
build-model-states-explored 764218 3787
build-model-states-explored 768008 3790
build-model-states-explored 771801 3793
build-model-states-explored 775593 3792
build-model-states-explored 779386 3793
build-model-states-explored 783175 3789
build-model-states-explored 786966 3791
build-model-states-explored 790730 3764
build-model-states-explored 794496 3766
build-model-states-explored 798258 3762
build-model-states-explored 802032 3774
build-model-states-explored 805810 3778
build-model-states-explored 809592 3782
build-model-states-explored 813374 3782
build-model-states-explored 817158 3784
build-model-states-explored 820926 3768
build-model-states-explored 823445 2519
build-model-states-explored 827219 3774
build-model-states-explored 830989 3770
build-model-states-explored 834764 3775
build-model-states-explored 838546 3782
build-model-states-explored 842336 3790
build-model-states-explored 846127 3791
build-model-states-explored 849920 3793
build-model-states-explored 853709 3789
build-model-states-explored 857480 3771
build-model-states-explored 861261 3781
build-model-states-explored 865034 3773
build-model-states-explored 868810 3776
build-model-states-explored 872580 3770
build-model-states-explored 876365 3785
build-model-states-explored 880152 3787
build-model-states-explored 883946 3794
build-model-states-explored 887735 3789
build-model-states-explored 891528 3793
build-model-states-explored 895320 3792
build-model-states-explored 899103 3783
build-model-states-explored 902892 3789
build-model-states-explored 906671 3779
build-model-states-explored 910453 3782
build-model-states-explored 914216 3763
build-model-states-explored 917993 3777
build-model-states-explored 921770 3777
build-model-states-explored 925557 3787
build-model-states-explored 929342 3785
build-model-states-explored 933131 3789
build-model-states-explored 936899 3768
build-model-states-explored 940665 3766
build-model-states-explored 944413 3748
build-model-states-explored 948194 3781
build-model-states-explored 951975 3781
build-model-states-explored 955761 3786
build-model-states-explored 959554 3793
build-model-states-explored 963346 3792
build-model-states-explored 967141 3795
build-model-states-explored 970931 3790
build-model-states-explored 974711 3780
build-model-states-explored 978494 3783
build-model-states-explored 982277 3783
build-model-states-explored 986052 3775
build-model-states-explored 989829 3777
build-model-states-explored 993611 3782
build-model-states-explored 997400 3789
build-model-states-explored 1001190 3790
build-model-states-explored 1004979 3789
build-model-states-explored 1008772 3793
build-model-states-explored 1012565 3793
build-model-states-explored 1016354 3789
build-model-states-explored 1020138 3784
build-model-states-explored 1023928 3790
build-model-states-explored 1027712 3784
build-model-states-explored 1031502 3790
build-model-states-explored 1035292 3790
build-model-states-explored 1039090 3798
build-model-states-explored 1042886 3796
build-model-states-explored 1046684 3798
build-model-states-explored 1049295 2611
build-model-states-explored 1052595 3300
build-model-states-explored 1055897 3302
build-model-states-explored 1059200 3303
build-model-states-explored 1062502 3302
build-model-states-explored 1065803 3301
build-model-states-explored 1069107 3304
build-model-states-explored 1072415 3308
build-model-states-explored 1075724 3309
build-model-states-explored 1079031 3307
build-model-states-explored 1082338 3307
build-model-states-explored 1085644 3306
build-model-states-explored 1088945 3301
build-model-states-explored 1092250 3305
build-model-states-explored 1095553 3303
build-model-states-explored 1098855 3302
build-model-states-explored 1102157 3302
build-model-states-explored 1105464 3307
build-model-states-explored 1108771 3307
build-model-states-explored 1112079 3308
build-model-states-explored 1115389 3310
build-model-states-explored 1118697 3308
build-model-states-explored 1121998 3301
build-model-states-explored 1125305 3307
build-model-states-explored 1128603 3298
build-model-states-explored 1131900 3297
build-model-states-explored 1135197 3297
build-model-states-explored 1138502 3305
build-model-states-explored 1141811 3309
build-model-states-explored 1145120 3309
build-model-states-explored 1148428 3308
build-model-states-explored 1151736 3308
build-model-states-explored 1154949 3213
build-model-states-explored 1158220 3271
build-model-states-explored 1161520 3300
build-model-states-explored 1164817 3297
build-model-states-explored 1168112 3295
build-model-states-explored 1171409 3297
build-model-states-explored 1174705 3296
build-model-states-explored 1178010 3305
build-model-states-explored 1181306 3296
build-model-states-explored 1184610 3304
build-model-states-explored 1187912 3302
build-model-states-explored 1191216 3304
build-model-states-explored 1194518 3302
build-model-states-explored 1197819 3301
build-model-states-explored 1201106 3287
build-model-states-explored 1204407 3301
build-model-states-explored 1207709 3302
build-model-states-explored 1211014 3305
build-model-states-explored 1214320 3306
build-model-states-explored 1217627 3307
build-model-states-explored 1220933 3306
build-model-states-explored 1224241 3308
build-model-states-explored 1227550 3309
build-model-states-explored 1230855 3305
build-model-states-explored 1234161 3306
build-model-states-explored 1237464 3303
build-model-states-explored 1240765 3301
build-model-states-explored 1244067 3302
build-model-states-explored 1247372 3305
build-model-states-explored 1250675 3303
build-model-states-explored 1253978 3303
build-model-states-explored 1257288 3310
build-model-states-explored 1260595 3307
build-model-states-explored 1263899 3304
build-model-states-explored 1267198 3299
build-model-states-explored 1270504 3306
build-model-states-explored 1273808 3304
build-model-states-explored 1277108 3300
build-model-states-explored 1280410 3302
build-model-states-explored 1283714 3304
build-model-states-explored 1287021 3307
build-model-states-explored 1290330 3309
build-model-states-explored 1293637 3307
build-model-states-explored 1296946 3309
build-model-states-explored 1300250 3304
build-model-states-explored 1303556 3306
build-model-states-explored 1306860 3304
build-model-states-explored 1310162 3302
build-model-states-explored 1313465 3303
build-model-states-explored 1316771 3306
build-model-states-explored 1320079 3308
build-model-states-explored 1323388 3309
build-model-states-explored 1326698 3310
build-model-states-explored 1330008 3310
build-model-states-explored 1333310 3302
build-model-states-explored 1336616 3306
build-model-states-explored 1339920 3304
build-model-states-explored 1343223 3303
build-model-states-explored 1346525 3302
build-model-states-explored 1349832 3307
build-model-states-explored 1353140 3308
build-model-states-explored 1356448 3308
build-model-states-explored 1359758 3310
build-model-states-explored 1363067 3309
build-model-states-explored 1366377 3310
build-model-states-explored 1369681 3304
build-model-states-explored 1372986 3305
build-model-states-explored 1376288 3302
build-model-states-explored 1379582 3294
build-model-states-explored 1382874 3292
build-model-states-explored 1386174 3300
build-model-states-explored 1389477 3303
build-model-states-explored 1392775 3298
build-model-states-explored 1396076 3301
build-model-states-explored 1399383 3307
build-model-states-explored 1402691 3308
build-model-states-explored 1405993 3302
build-model-states-explored 1409291 3298
build-model-states-explored 1412590 3299
build-model-states-explored 1415890 3300
build-model-states-explored 1419186 3296
build-model-states-explored 1422487 3301
build-model-states-explored 1425792 3305
build-model-states-explored 1429097 3305
build-model-states-explored 1432405 3308
build-model-states-explored 1435711 3306
build-model-states-explored 1439016 3305
build-model-states-explored 1442319 3303
build-model-states-explored 1445623 3304
build-model-states-explored 1448924 3301
build-model-states-explored 1452223 3299
build-model-states-explored 1455526 3303
build-model-states-explored 1458835 3309
build-model-states-explored 1462141 3306
build-model-states-explored 1465450 3309
build-model-states-explored 1468757 3307
build-model-states-explored 1472057 3300
build-model-states-explored 1475359 3302
build-model-states-explored 1478660 3301
build-model-states-explored 1481961 3301
build-model-states-explored 1485217 3256
build-model-states-explored 1488493 3276
build-model-states-explored 1491802 3309
build-model-states-explored 1495110 3308
build-model-states-explored 1498419 3309
build-model-states-explored 1501726 3307
build-model-states-explored 1505033 3307
build-model-states-explored 1508337 3304
build-model-states-explored 1511641 3304
build-model-states-explored 1514942 3301
build-model-states-explored 1518242 3300
build-model-states-explored 1521541 3299
build-model-states-explored 1524847 3306
build-model-states-explored 1528156 3309
build-model-states-explored 1531465 3309
build-model-states-explored 1534773 3308
build-model-states-explored 1538078 3305
build-model-states-explored 1541377 3299
build-model-states-explored 1544680 3303
build-model-states-explored 1547982 3302
build-model-states-explored 1551268 3286
build-model-states-explored 1554568 3300
build-model-states-explored 1557874 3306
build-model-states-explored 1561182 3308
build-model-states-explored 1564491 3309
build-model-states-explored 1567798 3307
build-model-states-explored 1571108 3310
build-model-states-explored 1574412 3304
build-model-states-explored 1577708 3296
build-model-states-explored 1581007 3299
build-model-states-explored 1584304 3297
build-model-states-explored 1587602 3298
build-model-states-explored 1590903 3301
build-model-states-explored 1594207 3304
build-model-states-explored 1597515 3308
build-model-states-explored 1600823 3308
build-model-states-explored 1604131 3308
build-model-states-explored 1607432 3301
build-model-states-explored 1610734 3302
build-model-states-explored 1614038 3304
build-model-states-explored 1617337 3299
build-model-states-explored 1620586 3249
build-model-states-explored 1623874 3288
build-model-states-explored 1627183 3309
build-model-states-explored 1630492 3309
build-model-states-explored 1633801 3309
build-model-states-explored 1637109 3308
build-model-states-explored 1640416 3307
build-model-states-explored 1643719 3303
build-model-states-explored 1647022 3303
build-model-states-explored 1650324 3302
build-model-states-explored 1653624 3300
build-model-states-explored 1656924 3300
build-model-states-explored 1660222 3298
build-model-states-explored 1663526 3304
build-model-states-explored 1666834 3308
build-model-states-explored 1670142 3308
build-model-states-explored 1673446 3304
build-model-states-explored 1676752 3306
build-model-states-explored 1680054 3302
build-model-states-explored 1683354 3300
build-model-states-explored 1686626 3272
build-model-states-explored 1689926 3300
build-model-states-explored 1693207 3281
build-model-states-explored 1696511 3304
build-model-states-explored 1699817 3306
build-model-states-explored 1703123 3306
build-model-states-explored 1706431 3308
build-model-states-explored 1709738 3307
build-model-states-explored 1713045 3307
build-model-states-explored 1716348 3303
build-model-states-explored 1719650 3302
build-model-states-explored 1722934 3284
build-model-states-explored 1726238 3304
build-model-states-explored 1729542 3304
build-model-states-explored 1732847 3305
build-model-states-explored 1736157 3310
build-model-states-explored 1739461 3304
build-model-states-explored 1742769 3308
build-model-states-explored 1746077 3308
build-model-states-explored 1749384 3307
build-model-states-explored 1752688 3304
build-model-states-explored 1755991 3303
build-model-states-explored 1759295 3304
build-model-states-explored 1762598 3303
build-model-states-explored 1765900 3302
build-model-states-explored 1769205 3305
build-model-states-explored 1772509 3304
build-model-states-explored 1775806 3297
build-model-states-explored 1779109 3303
build-model-states-explored 1782414 3305
build-model-states-explored 1785719 3305
build-model-states-explored 1789017 3298
build-model-states-explored 1792316 3299
build-model-states-explored 1795618 3302
build-model-states-explored 1798919 3301
build-model-states-explored 1802221 3302
build-model-states-explored 1805521 3300
build-model-states-explored 1808826 3305
build-model-states-explored 1812133 3307
build-model-states-explored 1815437 3304
build-model-states-explored 1818744 3307
build-model-states-explored 1822051 3307
build-model-states-explored 1825357 3306
build-model-states-explored 1828658 3301
build-model-states-explored 1831964 3306
build-model-states-explored 1835267 3303
build-model-states-explored 1838566 3299
build-model-states-explored 1841871 3305
build-model-states-explored 1845178 3307
build-model-states-explored 1848483 3305
build-model-states-explored 1851789 3306
build-model-states-explored 1855095 3306
build-model-states-explored 1858401 3306
build-model-states-explored 1861700 3299
build-model-states-explored 1865004 3304
build-model-states-explored 1868306 3302
build-model-states-explored 1871604 3298
build-model-states-explored 1874906 3302
build-model-states-explored 1878209 3303
build-model-states-explored 1881513 3304
build-model-states-explored 1884820 3307
build-model-states-explored 1888127 3307
build-model-states-explored 1891435 3308
build-model-states-explored 1894740 3305
build-model-states-explored 1898042 3302
build-model-states-explored 1901346 3304
build-model-states-explored 1904647 3301
build-model-states-explored 1907947 3300
build-model-states-explored 1911252 3305
build-model-states-explored 1914557 3305
build-model-states-explored 1917862 3305
build-model-states-explored 1921170 3308
build-model-states-explored 1924478 3308
build-model-states-explored 1927785 3307
build-model-states-explored 1931085 3300
build-model-states-explored 1934389 3304
build-model-states-explored 1937690 3301
build-model-states-explored 1940993 3303
build-model-states-explored 1944293 3300
build-model-states-explored 1947593 3300
build-model-states-explored 1950896 3303
build-model-states-explored 1954202 3306
build-model-states-explored 1957509 3307
build-model-states-explored 1960816 3307
build-model-states-explored 1964122 3306
build-model-states-explored 1967425 3303
build-model-states-explored 1970725 3300
build-model-states-explored 1974022 3297
build-model-states-explored 1977318 3296
build-model-states-explored 1980613 3295
build-model-states-explored 1983915 3302
build-model-states-explored 1987218 3303
build-model-states-explored 1990523 3305
build-model-states-explored 1993831 3308
build-model-states-explored 1997138 3307
build-model-states-explored 2000443 3305
build-model-states-explored 2003743 3300
build-model-states-explored 2007047 3304
build-model-states-explored 2010348 3301
build-model-states-explored 2013641 3293
build-model-states-explored 2016941 3300
build-model-states-explored 2020246 3305
build-model-states-explored 2023553 3307
build-model-states-explored 2026859 3306
build-model-states-explored 2030168 3309
build-model-states-explored 2033475 3307
build-model-states-explored 2036772 3297
build-model-states-explored 2040071 3299
build-model-states-explored 2043374 3303
build-model-states-explored 2046676 3302
build-model-states-explored 2049976 3300
build-model-states-explored 2053278 3302
build-model-states-explored 2056583 3305
build-model-states-explored 2059890 3307
build-model-states-explored 2063199 3309
build-model-states-explored 2066506 3307
build-model-states-explored 2069812 3306
build-model-states-explored 2073111 3299
build-model-states-explored 2076409 3298
build-model-states-explored 2079712 3303
build-model-states-explored 2083012 3300
build-model-states-explored 2086313 3301
build-model-states-explored 2089617 3304
build-model-states-explored 2092923 3306
build-model-states-explored 2096232 3309
build-model-states-explored 2097954 1722
build-model-states-explored 2101298 3344
build-model-states-explored 2104641 3343
build-model-states-explored 2107980 3339
build-model-states-explored 2111323 3343
build-model-states-explored 2114660 3337
build-model-states-explored 2117996 3336
build-model-states-explored 2121339 3343
build-model-states-explored 2124687 3348
build-model-states-explored 2128039 3352
build-model-states-explored 2131388 3349
build-model-states-explored 2134734 3346
build-model-states-explored 2138082 3348
build-model-states-explored 2141427 3345
build-model-states-explored 2144748 3321
build-model-states-explored 2148092 3344
build-model-states-explored 2151428 3336
build-model-states-explored 2154766 3338
build-model-states-explored 2158112 3346
build-model-states-explored 2161462 3350
build-model-states-explored 2164811 3349
build-model-states-explored 2168159 3348
build-model-states-explored 2171500 3341
build-model-states-explored 2174847 3347
build-model-states-explored 2178193 3346
build-model-states-explored 2181534 3341
build-model-states-explored 2184879 3345
build-model-states-explored 2188221 3342
build-model-states-explored 2191566 3345
build-model-states-explored 2194916 3350
build-model-states-explored 2198262 3346
build-model-states-explored 2201610 3348
build-model-states-explored 2204960 3350
build-model-states-explored 2208311 3351
build-model-states-explored 2211660 3349
build-model-states-explored 2215001 3341
build-model-states-explored 2218350 3349
build-model-states-explored 2221698 3348
build-model-states-explored 2225046 3348
build-model-states-explored 2228398 3352
build-model-states-explored 2231747 3349
build-model-states-explored 2235095 3348
build-model-states-explored 2238447 3352
build-model-states-explored 2241799 3352
build-model-states-explored 2243915 2116
build-model-states-explored 2246046 2131
build-model-states-explored 2249393 3347
build-model-states-explored 2252741 3348
build-model-states-explored 2256089 3348
build-model-states-explored 2259437 3348
build-model-states-explored 2262789 3352
build-model-states-explored 2266140 3351
build-model-states-explored 2269492 3352
build-model-states-explored 2272844 3352
build-model-states-explored 2276199 3355
build-model-states-explored 2279545 3346
build-model-states-explored 2282893 3348
build-model-states-explored 2286244 3351
build-model-states-explored 2289594 3350
build-model-states-explored 2292944 3350
build-model-states-explored 2296293 3349
build-model-states-explored 2299646 3353
build-model-states-explored 2303001 3355
build-model-states-explored 2306355 3354
build-model-states-explored 2309712 3357
build-model-states-explored 2313059 3347
build-model-states-explored 2316408 3349
build-model-states-explored 2319758 3350
build-model-states-explored 2323109 3351
build-model-states-explored 2326456 3347
build-model-states-explored 2329806 3350
build-model-states-explored 2333157 3351
build-model-states-explored 2336510 3353
build-model-states-explored 2339864 3354
build-model-states-explored 2343220 3356
build-model-states-explored 2346570 3350
build-model-states-explored 2349924 3354
build-model-states-explored 2353274 3350
build-model-states-explored 2356623 3349
build-model-states-explored 2359971 3348
build-model-states-explored 2363317 3346
build-model-states-explored 2366666 3349
build-model-states-explored 2370009 3343
build-model-states-explored 2373355 3346
build-model-states-explored 2376703 3348
build-model-states-explored 2380046 3343
build-model-states-explored 2383392 3346
build-model-states-explored 2386731 3339
build-model-states-explored 2390073 3342
build-model-states-explored 2393418 3345
build-model-states-explored 2396765 3347
build-model-states-explored 2400117 3352
build-model-states-explored 2403467 3350
build-model-states-explored 2406819 3352
build-model-states-explored 2410171 3352
build-model-states-explored 2413515 3344
build-model-states-explored 2416862 3347
build-model-states-explored 2420211 3349
build-model-states-explored 2423561 3350
build-model-states-explored 2426907 3346
build-model-states-explored 2430258 3351
build-model-states-explored 2433611 3353
build-model-states-explored 2436966 3355
build-model-states-explored 2440322 3356
build-model-states-explored 2443675 3353
build-model-states-explored 2447027 3352
build-model-states-explored 2450378 3351
build-model-states-explored 2453726 3348
build-model-states-explored 2457079 3353
build-model-states-explored 2460425 3346
build-model-states-explored 2463774 3349
build-model-states-explored 2467122 3348
build-model-states-explored 2470476 3354
build-model-states-explored 2473833 3357
build-model-states-explored 2477187 3354
build-model-states-explored 2480541 3354
build-model-states-explored 2483898 3357
build-model-states-explored 2487251 3353
build-model-states-explored 2490604 3353
build-model-states-explored 2493952 3348
build-model-states-explored 2497301 3349
build-model-states-explored 2500648 3347
build-model-states-explored 2503999 3351
build-model-states-explored 2507355 3356
build-model-states-explored 2510708 3353
build-model-states-explored 2514059 3351
build-model-states-explored 2517415 3356
build-model-states-explored 2520765 3350
build-model-states-explored 2524115 3350
build-model-states-explored 2527463 3348
build-model-states-explored 2530815 3352
build-model-states-explored 2534161 3346
build-model-states-explored 2537515 3354
build-model-states-explored 2540871 3356
build-model-states-explored 2544139 3268
build-model-states-explored 2547492 3353
build-model-states-explored 2550847 3355
build-model-states-explored 2554203 3356
build-model-states-explored 2557552 3349
build-model-states-explored 2560900 3348
build-model-states-explored 2564252 3352
build-model-states-explored 2567602 3350
build-model-states-explored 2570946 3344
build-model-states-explored 2574291 3345
build-model-states-explored 2577639 3348
build-model-states-explored 2580991 3352
build-model-states-explored 2584344 3353
build-model-states-explored 2587698 3354
build-model-states-explored 2591048 3350
build-model-states-explored 2594399 3351
build-model-states-explored 2597751 3352
build-model-states-explored 2601102 3351
build-model-states-explored 2604452 3350
build-model-states-explored 2607804 3352
build-model-states-explored 2611160 3356
build-model-states-explored 2614514 3354
build-model-states-explored 2617872 3358
build-model-states-explored 2621231 3359
build-model-states-explored 2624575 3344
build-model-states-explored 2627919 3344
build-model-states-explored 2631265 3346
build-model-states-explored 2634612 3347
build-model-states-explored 2637960 3348
build-model-states-explored 2641307 3347
build-model-states-explored 2644658 3351
build-model-states-explored 2648010 3352
build-model-states-explored 2651364 3354
build-model-states-explored 2654716 3352
build-model-states-explored 2658065 3349
build-model-states-explored 2661411 3346
build-model-states-explored 2664755 3344
build-model-states-explored 2668099 3344
build-model-states-explored 2671449 3350
build-model-states-explored 2674792 3343
build-model-states-explored 2678141 3349
build-model-states-explored 2681493 3352
build-model-states-explored 2684847 3354
build-model-states-explored 2688200 3353
build-model-states-explored 2691551 3351
build-model-states-explored 2694904 3353
build-model-states-explored 2698250 3346
build-model-states-explored 2701599 3349
build-model-states-explored 2704947 3348
build-model-states-explored 2708296 3349
build-model-states-explored 2711644 3348
build-model-states-explored 2714994 3350
build-model-states-explored 2718351 3357
build-model-states-explored 2721705 3354
build-model-states-explored 2725056 3351
build-model-states-explored 2728411 3355
build-model-states-explored 2731757 3346
build-model-states-explored 2735108 3351
build-model-states-explored 2738454 3346
build-model-states-explored 2741807 3353
build-model-states-explored 2745156 3349
build-model-states-explored 2748508 3352
build-model-states-explored 2751864 3356
build-model-states-explored 2755216 3352
build-model-states-explored 2758567 3351
build-model-states-explored 2761919 3352
build-model-states-explored 2765275 3356
build-model-states-explored 2768627 3352
build-model-states-explored 2771963 3336
build-model-states-explored 2775307 3344
build-model-states-explored 2778654 3347
build-model-states-explored 2782002 3348
build-model-states-explored 2785352 3350
build-model-states-explored 2788701 3349
build-model-states-explored 2792053 3352
build-model-states-explored 2795408 3355
build-model-states-explored 2798761 3353
build-model-states-explored 2802116 3355
build-model-states-explored 2805461 3345
build-model-states-explored 2808809 3348
build-model-states-explored 2812157 3348
build-model-states-explored 2815508 3351
build-model-states-explored 2818859 3351
build-model-states-explored 2822209 3350
build-model-states-explored 2825565 3356
build-model-states-explored 2828919 3354
build-model-states-explored 2832276 3357
build-model-states-explored 2835633 3357
build-model-states-explored 2838986 3353
build-model-states-explored 2842338 3352
build-model-states-explored 2845689 3351
build-model-states-explored 2849041 3352
build-model-states-explored 2852396 3355
build-model-states-explored 2855742 3346
build-model-states-explored 2859096 3354
build-model-states-explored 2862451 3355
build-model-states-explored 2865809 3358
build-model-states-explored 2869165 3356
build-model-states-explored 2872520 3355
build-model-states-explored 2875878 3358
build-model-states-explored 2879231 3353
build-model-states-explored 2882583 3352
build-model-states-explored 2885930 3347
build-model-states-explored 2889277 3347
build-model-states-explored 2892623 3346
build-model-states-explored 2895972 3349
build-model-states-explored 2899328 3356
build-model-states-explored 2902681 3353
build-model-states-explored 2906033 3352
build-model-states-explored 2909387 3354
build-model-states-explored 2912741 3354
build-model-states-explored 2916091 3350
build-model-states-explored 2919438 3347
build-model-states-explored 2922785 3347
build-model-states-explored 2926137 3352
build-model-states-explored 2929486 3349
build-model-states-explored 2932838 3352
build-model-states-explored 2936191 3353
build-model-states-explored 2939546 3355
build-model-states-explored 2942894 3348
build-model-states-explored 2946231 3337
build-model-states-explored 2949588 3357
build-model-states-explored 2952935 3347
build-model-states-explored 2956284 3349
build-model-states-explored 2959631 3347
build-model-states-explored 2962982 3351
build-model-states-explored 2966334 3352
build-model-states-explored 2969683 3349
build-model-states-explored 2973031 3348
build-model-states-explored 2976384 3353
build-model-states-explored 2979737 3353
build-model-states-explored 2983090 3353
build-model-states-explored 2986440 3350
build-model-states-explored 2989790 3350
build-model-states-explored 2993142 3352
build-model-states-explored 2996492 3350
build-model-states-explored 2999845 3353
build-model-states-explored 3003196 3351
build-model-states-explored 3006548 3352
build-model-states-explored 3009905 3357
build-model-states-explored 3013265 3360
build-model-states-explored 3016613 3348
build-model-states-explored 3019961 3348
build-model-states-explored 3023315 3354
build-model-states-explored 3026663 3348
build-model-states-explored 3030013 3350
build-model-states-explored 3033361 3348
build-model-states-explored 3036711 3350
build-model-states-explored 3040061 3350
build-model-states-explored 3043384 3323
build-model-states-explored 3046698 3314
build-model-states-explored 3050050 3352
build-model-states-explored 3053402 3352
build-model-states-explored 3056706 3304
build-model-states-explored 3060024 3318
build-model-states-explored 3063364 3340
build-model-states-explored 3066709 3345
build-model-states-explored 3070052 3343
build-model-states-explored 3073401 3349
build-model-states-explored 3076741 3340
build-model-states-explored 3080094 3353
build-model-states-explored 3083447 3353
build-model-states-explored 3086801 3354
build-model-states-explored 3090156 3355
build-model-states-explored 3093513 3357
build-model-states-explored 3096870 3357
build-model-states-explored 3100218 3348
build-model-states-explored 3103570 3352
build-model-states-explored 3106917 3347
build-model-states-explored 3110271 3354
build-model-states-explored 3113619 3348
build-model-states-explored 3116970 3351
build-model-states-explored 3120327 3357
build-model-states-explored 3123682 3355
build-model-states-explored 3124130 448
build-model-states-explored 3127290 3160
build-model-states-explored 3130649 3359
build-model-states-explored 3134000 3351
build-model-states-explored 3137354 3354
build-model-states-explored 3140703 3349
build-model-states-explored 3143945 3242
build-model-states-explored 3146986 3041
build-model-states-explored 3150253 3267
build-model-states-explored 3153601 3348
build-model-states-explored 3156953 3352
build-model-states-explored 3160304 3351
build-model-states-explored 3163657 3353
build-model-states-explored 3167007 3350
build-model-states-explored 3170345 3338
build-model-states-explored 3173687 3342
build-model-states-explored 3177028 3341
build-model-states-explored 3180373 3345
build-model-states-explored 3183714 3341
build-model-states-explored 3187058 3344
build-model-states-explored 3190410 3352
build-model-states-explored 3193763 3353
build-model-states-explored 3197115 3352
build-model-states-explored 3200465 3350
build-model-states-explored 3203816 3351
build-model-states-explored 3207163 3347
build-model-states-explored 3210512 3349
build-model-states-explored 3213856 3344
build-model-states-explored 3217203 3347
build-model-states-explored 3220551 3348
build-model-states-explored 3223900 3349
build-model-states-explored 3227254 3354
build-model-states-explored 3230607 3353
build-model-states-explored 3233961 3354
build-model-states-explored 3237315 3354
build-model-states-explored 3240668 3353
build-model-states-explored 3244020 3352
build-model-states-explored 3247365 3345
build-model-states-explored 3250712 3347
build-model-states-explored 3254060 3348
build-model-states-explored 3257409 3349
build-model-states-explored 3260763 3354
build-model-states-explored 3264116 3353
build-model-states-explored 3267471 3355
build-model-states-explored 3270825 3354
build-model-states-explored 3274181 3356
build-model-states-explored 3277537 3356
build-model-states-explored 3280880 3343
build-model-states-explored 3284225 3345
build-model-states-explored 3287570 3345
build-model-states-explored 3290922 3352
build-model-states-explored 3294270 3348
build-model-states-explored 3297618 3348
build-model-states-explored 3300973 3355
build-model-states-explored 3304326 3353
build-model-states-explored 3307658 3332
build-model-states-explored 3311012 3354
build-model-states-explored 3314363 3351
build-model-states-explored 3317711 3348
build-model-states-explored 3321056 3345
build-model-states-explored 3324403 3347
build-model-states-explored 3327754 3351
build-model-states-explored 3331101 3347
build-model-states-explored 3334452 3351
build-model-states-explored 3337806 3354
build-model-states-explored 3341162 3356
build-model-states-explored 3344516 3354
build-model-states-explored 3347868 3352
build-model-states-explored 3351223 3355
build-model-states-explored 3354571 3348
build-model-states-explored 3357919 3348
build-model-states-explored 3361265 3346
build-model-states-explored 3364615 3350
build-model-states-explored 3367965 3350
build-model-states-explored 3371305 3340
build-model-states-explored 3374659 3354
build-model-states-explored 3378008 3349
build-model-states-explored 3381360 3352
build-model-states-explored 3384711 3351
build-model-states-explored 3388059 3348
build-model-states-explored 3391408 3349
build-model-states-explored 3394756 3348
build-model-states-explored 3398106 3350
build-model-states-explored 3401455 3349
build-model-states-explored 3404807 3352
build-model-states-explored 3408163 3356
build-model-states-explored 3411510 3347
build-model-states-explored 3414860 3350
build-model-states-explored 3418210 3350
build-model-states-explored 3421558 3348
build-model-states-explored 3424904 3346
build-model-states-explored 3428245 3341
build-model-states-explored 3431594 3349
build-model-states-explored 3434942 3348
build-model-states-explored 3438293 3351
build-model-states-explored 3441644 3351
build-model-states-explored 3444994 3350
build-model-states-explored 3448347 3353
build-model-states-explored 3451697 3350
build-model-states-explored 3455040 3343
build-model-states-explored 3458386 3346
build-model-states-explored 3461731 3345
build-model-states-explored 3465079 3348
build-model-states-explored 3468427 3348
build-model-states-explored 3471776 3349
build-model-states-explored 3475127 3351
build-model-states-explored 3478478 3351
build-model-states-explored 3481830 3352
build-model-states-explored 3485181 3351
build-model-states-explored 3488528 3347
build-model-states-explored 3491874 3346
build-model-states-explored 3495220 3346
build-model-states-explored 3498570 3350
build-model-states-explored 3501921 3351
build-model-states-explored 3505275 3354
build-model-states-explored 3508628 3353
build-model-states-explored 3511981 3353
build-model-states-explored 3515337 3356
build-model-states-explored 3518689 3352
build-model-states-explored 3522039 3350
build-model-states-explored 3525384 3345
build-model-states-explored 3528732 3348
build-model-states-explored 3532081 3349
build-model-states-explored 3535432 3351
build-model-states-explored 3538786 3354
build-model-states-explored 3542138 3352
build-model-states-explored 3545415 3277
build-model-states-explored 3548769 3354
build-model-states-explored 3552122 3353
build-model-states-explored 3555471 3349
build-model-states-explored 3558816 3345
build-model-states-explored 3562162 3346
build-model-states-explored 3565495 3333
build-model-states-explored 3568846 3351
build-model-states-explored 3572187 3341
build-model-states-explored 3575535 3348
build-model-states-explored 3578884 3349
build-model-states-explored 3582235 3351
build-model-states-explored 3585587 3352
build-model-states-explored 3588929 3342
build-model-states-explored 3592277 3348
build-model-states-explored 3595619 3342
build-model-states-explored 3598961 3342
build-model-states-explored 3602304 3343
build-model-states-explored 3605653 3349
build-model-states-explored 3609006 3353
build-model-states-explored 3612362 3356
build-model-states-explored 3615714 3352
build-model-states-explored 3619069 3355
build-model-states-explored 3622410 3341
build-model-states-explored 3625759 3349
build-model-states-explored 3629104 3345
build-model-states-explored 3632449 3345
build-model-states-explored 3635788 3339
build-model-states-explored 3639139 3351
build-model-states-explored 3642495 3356
build-model-states-explored 3645851 3356
build-model-states-explored 3649208 3357
build-model-states-explored 3652565 3357
build-model-states-explored 3655914 3349
build-model-states-explored 3659262 3348
build-model-states-explored 3662613 3351
build-model-states-explored 3665966 3353
build-model-states-explored 3669321 3355
build-model-states-explored 3672668 3347
build-model-states-explored 3676017 3349
build-model-states-explored 3679367 3350
build-model-states-explored 3682716 3349
build-model-states-explored 3686063 3347
build-model-states-explored 3689409 3346
build-model-states-explored 3692754 3345
build-model-states-explored 3696100 3346
build-model-states-explored 3699447 3347
build-model-states-explored 3702796 3349
build-model-states-explored 3706140 3344
build-model-states-explored 3709487 3347
build-model-states-explored 3712839 3352
build-model-states-explored 3716191 3352
build-model-states-explored 3719544 3353
build-model-states-explored 3722894 3350
build-model-states-explored 3726242 3348
build-model-states-explored 3729591 3349
build-model-states-explored 3732940 3349
build-model-states-explored 3736286 3346
build-model-states-explored 3739629 3343
build-model-states-explored 3742979 3350
build-model-states-explored 3746329 3350
build-model-states-explored 3749683 3354
build-model-states-explored 3753036 3353
build-model-states-explored 3756387 3351
build-model-states-explored 3759735 3348
build-model-states-explored 3763082 3347
build-model-states-explored 3766434 3352
build-model-states-explored 3769781 3347
build-model-states-explored 3773121 3340
build-model-states-explored 3776470 3349
build-model-states-explored 3779819 3349
build-model-states-explored 3783169 3350
build-model-states-explored 3786518 3349
build-model-states-explored 3789869 3351
build-model-states-explored 3793225 3356
build-model-states-explored 3796575 3350
build-model-states-explored 3799922 3347
build-model-states-explored 3803268 3346
build-model-states-explored 3806612 3344
build-model-states-explored 3809962 3350
build-model-states-explored 3813314 3352
build-model-states-explored 3816668 3354
build-model-states-explored 3820020 3352
build-model-states-explored 3823373 3353
build-model-states-explored 3826728 3355
build-model-states-explored 3830083 3355
build-model-states-explored 3833435 3352
build-model-states-explored 3836781 3346
build-model-states-explored 3840128 3347
build-model-states-explored 3843475 3347
build-model-states-explored 3846826 3351
build-model-states-explored 3850180 3354
build-model-states-explored 3853530 3350
build-model-states-explored 3856883 3353
build-model-states-explored 3860237 3354
build-model-states-explored 3863594 3357
build-model-states-explored 3866945 3351
build-model-states-explored 3870290 3345
build-model-states-explored 3873637 3347
build-model-states-explored 3876986 3349
build-model-states-explored 3880337 3351
build-model-states-explored 3883691 3354
build-model-states-explored 3887046 3355
build-model-states-explored 3890403 3357
build-model-states-explored 3893758 3355
build-model-states-explored 3897116 3358
build-model-states-explored 3900473 3357
build-model-states-explored 3903823 3350
build-model-states-explored 3907172 3349
build-model-states-explored 3910523 3351
build-model-states-explored 3913875 3352
build-model-states-explored 3917229 3354
build-model-states-explored 3920582 3353
build-model-states-explored 3923940 3358
build-model-states-explored 3927297 3357
build-model-states-explored 3930657 3360
build-model-states-explored 3934011 3354
build-model-states-explored 3937356 3345
build-model-states-explored 3940701 3345
build-model-states-explored 3944046 3345
build-model-states-explored 3947372 3326
build-model-states-explored 3950720 3348
build-model-states-explored 3954070 3350
build-model-states-explored 3957423 3353
build-model-states-explored 3960777 3354
build-model-states-explored 3964130 3353
build-model-states-explored 3967482 3352
build-model-states-explored 3970793 3311
build-model-states-explored 3974121 3328
build-model-states-explored 3977464 3343
build-model-states-explored 3980810 3346
build-model-states-explored 3984157 3347
build-model-states-explored 3987504 3347
build-model-states-explored 3990856 3352
build-model-states-explored 3994211 3355
build-model-states-explored 3997568 3357
build-model-states-explored 4000922 3354
build-model-states-explored 4004272 3350
build-model-states-explored 4007621 3349
build-model-states-explored 4010968 3347
build-model-states-explored 4014316 3348
build-model-states-explored 4017661 3345
build-model-states-explored 4021009 3348
build-model-states-explored 4024362 3353
build-model-states-explored 4027718 3356
build-model-states-explored 4031075 3357
build-model-states-explored 4034429 3354
build-model-states-explored 4037785 3356
build-model-states-explored 4041133 3348
build-model-states-explored 4044482 3349
build-model-states-explored 4047706 3224
build-model-states-explored 4051055 3349
build-model-states-explored 4054409 3354
build-model-states-explored 4057761 3352
build-model-states-explored 4061118 3357
build-model-states-explored 4064474 3356
build-model-states-explored 4067826 3352
build-model-states-explored 4071175 3349
build-model-states-explored 4074521 3346
build-model-states-explored 4077868 3347
build-model-states-explored 4081218 3350
build-model-states-explored 4084567 3349
build-model-states-explored 4087920 3353
build-model-states-explored 4091271 3351
build-model-states-explored 4094628 3357
build-model-states-explored 4097984 3356
build-model-states-explored 4101339 3355
build-model-states-explored 4104694 3355
build-model-states-explored 4108050 3356
build-model-states-explored 4111402 3352
build-model-states-explored 4114751 3349
build-model-states-explored 4118100 3349
build-model-states-explored 4121447 3347
build-model-states-explored 4124781 3334
build-model-states-explored 4128136 3355
build-model-states-explored 4131491 3355
build-model-states-explored 4134849 3358
build-model-states-explored 4138205 3356
build-model-states-explored 4141561 3356
build-model-states-explored 4144914 3353
build-model-states-explored 4148245 3331
build-model-states-explored 4151595 3350
build-model-states-explored 4154946 3351
build-model-states-explored 4158298 3352
build-model-states-explored 4161654 3356
build-model-states-explored 4165008 3354
build-model-states-explored 4168366 3358
build-model-states-explored 4171722 3356
build-model-states-explored 4175070 3348
build-model-states-explored 4178421 3351
build-model-states-explored 4181767 3346
build-model-states-explored 4185115 3348
build-model-states-explored 4188466 3351
build-model-states-explored 4191820 3354
build-model-states-explored 4194304 2484
build-model-states-explored 4195285 981
build-model-states-explored 4198630 3345
build-model-states-explored 4201975 3345
build-model-states-explored 4205324 3349
build-model-states-explored 4208673 3349
build-model-states-explored 4212009 3336
build-model-states-explored 4215352 3343
build-model-states-explored 4218693 3341
build-model-states-explored 4222039 3346
build-model-states-explored 4225389 3350
build-model-states-explored 4228736 3347
build-model-states-explored 4232084 3348
build-model-states-explored 4235432 3348
build-model-states-explored 4238782 3350
build-model-states-explored 4242129 3347
build-model-states-explored 4245473 3344
build-model-states-explored 4248817 3344
build-model-states-explored 4252161 3344
build-model-states-explored 4255502 3341
build-model-states-explored 4258849 3347
build-model-states-explored 4262197 3348
build-model-states-explored 4265547 3350
build-model-states-explored 4268896 3349
build-model-states-explored 4272246 3350
build-model-states-explored 4275599 3353
build-model-states-explored 4278947 3348
build-model-states-explored 4282291 3344
build-model-states-explored 4285635 3344
build-model-states-explored 4288981 3346
build-model-states-explored 4292331 3350
build-model-states-explored 4295675 3344
build-model-states-explored 4299026 3351
build-model-states-explored 4302377 3351
build-model-states-explored 4305730 3353
build-model-states-explored 4309084 3354
build-model-states-explored 4312436 3352
build-model-states-explored 4315783 3347
build-model-states-explored 4319130 3347
build-model-states-explored 4322475 3345
build-model-states-explored 4325822 3347
build-model-states-explored 4329166 3344
build-model-states-explored 4332516 3350
build-model-states-explored 4335867 3351
build-model-states-explored 4339218 3351
build-model-states-explored 4342571 3353
build-model-states-explored 4345920 3349
build-model-states-explored 4349270 3350
build-model-states-explored 4352617 3347
build-model-states-explored 4355961 3344
build-model-states-explored 4359309 3348
build-model-states-explored 4362651 3342
build-model-states-explored 4366001 3350
build-model-states-explored 4369350 3349
build-model-states-explored 4372689 3339
build-model-states-explored 4376035 3346
build-model-states-explored 4379382 3347
build-model-states-explored 4382732 3350
build-model-states-explored 4386073 3341
build-model-states-explored 4389420 3347
build-model-states-explored 4392766 3346
build-model-states-explored 4396112 3346
build-model-states-explored 4399459 3347
build-model-states-explored 4402810 3351
build-model-states-explored 4406164 3354
build-model-states-explored 4409516 3352
build-model-states-explored 4412866 3350
build-model-states-explored 4416219 3353
build-model-states-explored 4419571 3352
build-model-states-explored 4422921 3350
build-model-states-explored 4426267 3346
build-model-states-explored 4429616 3349
build-model-states-explored 4432964 3348
build-model-states-explored 4436314 3350
build-model-states-explored 4439669 3355
build-model-states-explored 4443022 3353
build-model-states-explored 4446375 3353
build-model-states-explored 4449729 3354
build-model-states-explored 4453084 3355
build-model-states-explored 4456440 3356
build-model-states-explored 4459780 3340
build-model-states-explored 4463123 3343
build-model-states-explored 4466465 3342
build-model-states-explored 4469808 3343
build-model-states-explored 4473155 3347
build-model-states-explored 4476503 3348
build-model-states-explored 4479853 3350
build-model-states-explored 4483202 3349
build-model-states-explored 4486554 3352
build-model-states-explored 4489907 3353
build-model-states-explored 4493252 3345
build-model-states-explored 4496596 3344
build-model-states-explored 4499939 3343
build-model-states-explored 4503286 3347
build-model-states-explored 4506633 3347
build-model-states-explored 4509984 3351
build-model-states-explored 4513336 3352
build-model-states-explored 4516688 3352
build-model-states-explored 4520040 3352
build-model-states-explored 4523390 3350
build-model-states-explored 4526734 3344
build-model-states-explored 4530082 3348
build-model-states-explored 4533427 3345
build-model-states-explored 4536775 3348
build-model-states-explored 4540121 3346
build-model-states-explored 4543474 3353
build-model-states-explored 4546739 3265
build-model-states-explored 4550092 3353
build-model-states-explored 4553446 3354
build-model-states-explored 4556797 3351
build-model-states-explored 4560148 3351
build-model-states-explored 4563497 3349
build-model-states-explored 4566844 3347
build-model-states-explored 4570192 3348
build-model-states-explored 4573523 3331
build-model-states-explored 4576864 3341
build-model-states-explored 4580212 3348
build-model-states-explored 4583563 3351
build-model-states-explored 4586916 3353
build-model-states-explored 4590264 3348
build-model-states-explored 4593613 3349
build-model-states-explored 4596965 3352
build-model-states-explored 4600300 3335
build-model-states-explored 4603643 3343
build-model-states-explored 4606981 3338
build-model-states-explored 4610323 3342
build-model-states-explored 4613666 3343
build-model-states-explored 4617018 3352
build-model-states-explored 4620371 3353
build-model-states-explored 4623719 3348
build-model-states-explored 4627071 3352
build-model-states-explored 4630424 3353
build-model-states-explored 4633776 3352
build-model-states-explored 4637118 3342
build-model-states-explored 4640457 3339
build-model-states-explored 4643798 3341
build-model-states-explored 4647141 3343
build-model-states-explored 4650490 3349
build-model-states-explored 4653844 3354
build-model-states-explored 4657193 3349
build-model-states-explored 4660546 3353
build-model-states-explored 4663900 3354
build-model-states-explored 4667254 3354
build-model-states-explored 4670606 3352
build-model-states-explored 4673944 3338
build-model-states-explored 4677287 3343
build-model-states-explored 4680629 3342
build-model-states-explored 4683974 3345
build-model-states-explored 4687322 3348
build-model-states-explored 4690674 3352
build-model-states-explored 4694030 3356
build-model-states-explored 4697382 3352
build-model-states-explored 4700737 3355
build-model-states-explored 4704093 3356
build-model-states-explored 4707446 3353
build-model-states-explored 4710788 3342
build-model-states-explored 4714134 3346
build-model-states-explored 4717482 3348
build-model-states-explored 4720821 3339
build-model-states-explored 4724161 3340
build-model-states-explored 4727509 3348
build-model-states-explored 4730859 3350
build-model-states-explored 4734211 3352
build-model-states-explored 4737560 3349
build-model-states-explored 4740909 3349
build-model-states-explored 4744261 3352
build-model-states-explored 4747597 3336
build-model-states-explored 4750939 3342
build-model-states-explored 4754282 3343
build-model-states-explored 4757624 3342
build-model-states-explored 4760968 3344
build-model-states-explored 4764317 3349
build-model-states-explored 4767670 3353
build-model-states-explored 4771018 3348
build-model-states-explored 4774356 3338
build-model-states-explored 4777703 3347
build-model-states-explored 4781051 3348
build-model-states-explored 4784393 3342
build-model-states-explored 4787731 3338
build-model-states-explored 4791073 3342
build-model-states-explored 4794420 3347
build-model-states-explored 4797768 3348
build-model-states-explored 4801120 3352
build-model-states-explored 4804466 3346
build-model-states-explored 4807815 3349
build-model-states-explored 4811168 3353
build-model-states-explored 4814521 3353
build-model-states-explored 4817873 3352
build-model-states-explored 4821219 3346
build-model-states-explored 4824557 3338
build-model-states-explored 4827903 3346
build-model-states-explored 4831250 3347
build-model-states-explored 4834599 3349
build-model-states-explored 4837952 3353
build-model-states-explored 4841305 3353
build-model-states-explored 4844658 3353
build-model-states-explored 4848013 3355
build-model-states-explored 4851366 3353
build-model-states-explored 4854715 3349
build-model-states-explored 4858057 3342
build-model-states-explored 4861400 3343
build-model-states-explored 4864747 3347
build-model-states-explored 4868093 3346
build-model-states-explored 4871438 3345
build-model-states-explored 4874791 3353
build-model-states-explored 4878143 3352
build-model-states-explored 4881496 3353
build-model-states-explored 4884830 3334
build-model-states-explored 4888183 3353
build-model-states-explored 4891530 3347
build-model-states-explored 4894877 3347
build-model-states-explored 4898223 3346
build-model-states-explored 4901570 3347
build-model-states-explored 4904916 3346
build-model-states-explored 4908269 3353
build-model-states-explored 4911622 3353
build-model-states-explored 4914978 3356
build-model-states-explored 4918329 3351
build-model-states-explored 4921683 3354
build-model-states-explored 4925033 3350
build-model-states-explored 4928382 3349
build-model-states-explored 4931733 3351
build-model-states-explored 4935080 3347
build-model-states-explored 4938427 3347
build-model-states-explored 4941775 3348
build-model-states-explored 4945120 3345
build-model-states-explored 4948387 3267
build-model-states-explored 4951738 3351
build-model-states-explored 4955093 3355
build-model-states-explored 4958446 3353
build-model-states-explored 4961802 3356
build-model-states-explored 4965153 3351
build-model-states-explored 4968502 3349
build-model-states-explored 4971852 3350
build-model-states-explored 4975190 3338
build-model-states-explored 4978535 3345
build-model-states-explored 4981884 3349
build-model-states-explored 4985228 3344
build-model-states-explored 4988576 3348
build-model-states-explored 4991926 3350
build-model-states-explored 4995278 3352
build-model-states-explored 4998621 3343
build-model-states-explored 5001965 3344
build-model-states-explored 5005311 3346
build-model-states-explored 5008655 3344
build-model-states-explored 5012003 3348
build-model-states-explored 5015351 3348
build-model-states-explored 5018698 3347
build-model-states-explored 5022049 3351
build-model-states-explored 5025396 3347
build-model-states-explored 5028750 3354
build-model-states-explored 5032099 3349
build-model-states-explored 5035444 3345
build-model-states-explored 5038791 3347
build-model-states-explored 5042137 3346
build-model-states-explored 5045483 3346
build-model-states-explored 5048829 3346
build-model-states-explored 5052179 3350
build-model-states-explored 5055529 3350
build-model-states-explored 5058879 3350
build-model-states-explored 5062232 3353
build-model-states-explored 5065583 3351
build-model-states-explored 5068933 3350
build-model-states-explored 5072279 3346
build-model-states-explored 5075624 3345
build-model-states-explored 5078973 3349
build-model-states-explored 5082316 3343
build-model-states-explored 5085663 3347
build-model-states-explored 5089015 3352
build-model-states-explored 5092367 3352
build-model-states-explored 5095720 3353
build-model-states-explored 5099071 3351
build-model-states-explored 5102426 3355
build-model-states-explored 5105655 3229
build-model-states-explored 5109004 3349
build-model-states-explored 5112352 3348
build-model-states-explored 5115696 3344
build-model-states-explored 5119043 3347
build-model-states-explored 5122395 3352
build-model-states-explored 5125744 3349
build-model-states-explored 5129097 3353
build-model-states-explored 5132449 3352
build-model-states-explored 5135802 3353
build-model-states-explored 5139155 3353
build-model-states-explored 5142503 3348
build-model-states-explored 5145850 3347
build-model-states-explored 5149174 3324
build-model-states-explored 5152520 3346
build-model-states-explored 5155867 3347
build-model-states-explored 5159219 3352
build-model-states-explored 5162574 3355
build-model-states-explored 5165925 3351
build-model-states-explored 5169281 3356
build-model-states-explored 5172635 3354
build-model-states-explored 5175977 3342
build-model-states-explored 5179321 3344
build-model-states-explored 5182662 3341
build-model-states-explored 5186005 3343
build-model-states-explored 5189350 3345
build-model-states-explored 5192699 3349
build-model-states-explored 5196053 3354
build-model-states-explored 5199406 3353
build-model-states-explored 5202763 3357
build-model-states-explored 5206118 3355
build-model-states-explored 5209474 3356
build-model-states-explored 5212822 3348
build-model-states-explored 5216168 3346
build-model-states-explored 5219515 3347
build-model-states-explored 5222864 3349
build-model-states-explored 5226216 3352
build-model-states-explored 5229570 3354
build-model-states-explored 5232925 3355
build-model-states-explored 5236281 3356
build-model-states-explored 5239639 3358
build-model-states-explored 5242997 3358
build-model-states-explored 5246342 3345
build-model-states-explored 5249682 3340
build-model-states-explored 5253023 3341
build-model-states-explored 5256364 3341
build-model-states-explored 5259707 3343
build-model-states-explored 5263047 3340
build-model-states-explored 5266398 3351
build-model-states-explored 5269746 3348
build-model-states-explored 5273096 3350
build-model-states-explored 5276443 3347
build-model-states-explored 5279789 3346
build-model-states-explored 5283136 3347
build-model-states-explored 5286478 3342
build-model-states-explored 5289819 3341
build-model-states-explored 5293164 3345
build-model-states-explored 5296505 3341
build-model-states-explored 5299851 3346
build-model-states-explored 5303201 3350
build-model-states-explored 5306554 3353
build-model-states-explored 5309903 3349
build-model-states-explored 5313251 3348
build-model-states-explored 5316600 3349
build-model-states-explored 5319951 3351
build-model-states-explored 5323298 3347
build-model-states-explored 5326638 3340
build-model-states-explored 5329980 3342
build-model-states-explored 5333326 3346
build-model-states-explored 5336670 3344
build-model-states-explored 5340022 3352
build-model-states-explored 5343371 3349
build-model-states-explored 5346722 3351
build-model-states-explored 5350073 3351
build-model-states-explored 5353424 3351
build-model-states-explored 5356771 3347
build-model-states-explored 5360116 3345
build-model-states-explored 5363460 3344
build-model-states-explored 5366804 3344
build-model-states-explored 5370153 3349
build-model-states-explored 5373507 3354
build-model-states-explored 5376841 3334
build-model-states-explored 5380184 3343
build-model-states-explored 5383526 3342
build-model-states-explored 5386874 3348
build-model-states-explored 5390217 3343
build-model-states-explored 5393554 3337
build-model-states-explored 5396895 3341
build-model-states-explored 5400239 3344
build-model-states-explored 5403583 3344
build-model-states-explored 5406934 3351
build-model-states-explored 5410279 3345
build-model-states-explored 5413628 3349
build-model-states-explored 5416975 3347
build-model-states-explored 5420324 3349
build-model-states-explored 5423669 3345
build-model-states-explored 5427011 3342
build-model-states-explored 5430356 3345
build-model-states-explored 5433700 3344
build-model-states-explored 5437047 3347
build-model-states-explored 5440400 3353
build-model-states-explored 5443748 3348
build-model-states-explored 5447099 3351
build-model-states-explored 5450449 3350
build-model-states-explored 5453802 3353
build-model-states-explored 5457147 3345
build-model-states-explored 5460489 3342
build-model-states-explored 5463832 3343
build-model-states-explored 5467177 3345
build-model-states-explored 5470527 3350
build-model-states-explored 5473879 3352
build-model-states-explored 5477227 3348
build-model-states-explored 5480580 3353
build-model-states-explored 5483930 3350
build-model-states-explored 5487283 3353
build-model-states-explored 5490630 3347
build-model-states-explored 5493976 3346
build-model-states-explored 5497321 3345
build-model-states-explored 5500667 3346
build-model-states-explored 5504017 3350
build-model-states-explored 5507366 3349
build-model-states-explored 5510713 3347
build-model-states-explored 5514063 3350
build-model-states-explored 5517410 3347
build-model-states-explored 5520760 3350
build-model-states-explored 5524102 3342
build-model-states-explored 5527442 3340
build-model-states-explored 5530783 3341
build-model-states-explored 5534126 3343
build-model-states-explored 5536412 2286
build-model-states-explored 5536412 0
build-model-states-explored 5539158 2746
build-model-states-explored 5542507 3349
build-model-states-explored 5545743 3236
build-model-states-explored 5549093 3350
build-model-states-explored 5552439 3346
build-model-states-explored 5555783 3344
build-model-states-explored 5559124 3341
build-model-states-explored 5562471 3347
build-model-states-explored 5565818 3347
build-model-states-explored 5569168 3350
build-model-states-explored 5572507 3339
build-model-states-explored 5575854 3347
build-model-states-explored 5579201 3347
build-model-states-explored 5582549 3348
build-model-states-explored 5585900 3351
build-model-states-explored 5589243 3343
build-model-states-explored 5592587 3344
build-model-states-explored 5595931 3344
build-model-states-explored 5599277 3346
build-model-states-explored 5602626 3349
build-model-states-explored 5605976 3350
build-model-states-explored 5609327 3351
build-model-states-explored 5612678 3351
build-model-states-explored 5616029 3351
build-model-states-explored 5619384 3355
build-model-states-explored 5622729 3345
build-model-states-explored 5626074 3345
build-model-states-explored 5629422 3348
build-model-states-explored 5632771 3349
build-model-states-explored 5636123 3352
build-model-states-explored 5639472 3349
build-model-states-explored 5642822 3350
build-model-states-explored 5646173 3351
build-model-states-explored 5649525 3352
build-model-states-explored 5652878 3353
build-model-states-explored 5656228 3350
build-model-states-explored 5659571 3343
build-model-states-explored 5662917 3346
build-model-states-explored 5666263 3346
build-model-states-explored 5669608 3345
build-model-states-explored 5672951 3343
build-model-states-explored 5676303 3352
build-model-states-explored 5679652 3349
build-model-states-explored 5683004 3352
build-model-states-explored 5686357 3353
build-model-states-explored 5689709 3352
build-model-states-explored 5693062 3353
build-model-states-explored 5696406 3344
build-model-states-explored 5699756 3350
build-model-states-explored 5703103 3347
build-model-states-explored 5706448 3345
build-model-states-explored 5709798 3350
build-model-states-explored 5713151 3353
build-model-states-explored 5716508 3357
build-model-states-explored 5719864 3356
build-model-states-explored 5723217 3353
build-model-states-explored 5726570 3353
build-model-states-explored 5729923 3353
build-model-states-explored 5733275 3352
build-model-states-explored 5736621 3346
build-model-states-explored 5739966 3345
build-model-states-explored 5743313 3347
build-model-states-explored 5746664 3351
build-model-states-explored 5750020 3356
build-model-states-explored 5753374 3354
build-model-states-explored 5756728 3354
build-model-states-explored 5760083 3355
build-model-states-explored 5763439 3356
build-model-states-explored 5766793 3354
build-model-states-explored 5770135 3342
build-model-states-explored 5773466 3331
build-model-states-explored 5776804 3338
build-model-states-explored 5780146 3342
build-model-states-explored 5783495 3349
build-model-states-explored 5786841 3346
build-model-states-explored 5790189 3348
build-model-states-explored 5793542 3353
build-model-states-explored 5796893 3351
build-model-states-explored 5800240 3347
build-model-states-explored 5803578 3338
build-model-states-explored 5806922 3344
build-model-states-explored 5810266 3344
build-model-states-explored 5813614 3348
build-model-states-explored 5816967 3353
build-model-states-explored 5820318 3351
build-model-states-explored 5823670 3352
build-model-states-explored 5827023 3353
build-model-states-explored 5830376 3353
build-model-states-explored 5833730 3354
build-model-states-explored 5837073 3343
build-model-states-explored 5840417 3344
build-model-states-explored 5843762 3345
build-model-states-explored 5847110 3348
build-model-states-explored 5850459 3349
build-model-states-explored 5853812 3353
build-model-states-explored 5857165 3353
build-model-states-explored 5860516 3351
build-model-states-explored 5863867 3351
build-model-states-explored 5867220 3353
build-model-states-explored 5870568 3348
build-model-states-explored 5873912 3344
build-model-states-explored 5877257 3345
build-model-states-explored 5880603 3346
build-model-states-explored 5883949 3346
build-model-states-explored 5887299 3350
build-model-states-explored 5890655 3356
build-model-states-explored 5894011 3356
build-model-states-explored 5897366 3355
build-model-states-explored 5900718 3352
build-model-states-explored 5904068 3350
build-model-states-explored 5907415 3347
build-model-states-explored 5910761 3346
build-model-states-explored 5914109 3348
build-model-states-explored 5917455 3346
build-model-states-explored 5920804 3349
build-model-states-explored 5924156 3352
build-model-states-explored 5927509 3353
build-model-states-explored 5930866 3357
build-model-states-explored 5934216 3350
build-model-states-explored 5937568 3352
build-model-states-explored 5940920 3352
build-model-states-explored 5944269 3349
build-model-states-explored 5947609 3340
build-model-states-explored 5950954 3345
build-model-states-explored 5954303 3349
build-model-states-explored 5957652 3349
build-model-states-explored 5961007 3355
build-model-states-explored 5964361 3354
build-model-states-explored 5967713 3352
build-model-states-explored 5971066 3353
build-model-states-explored 5974408 3342
build-model-states-explored 5977759 3351
build-model-states-explored 5981104 3345
build-model-states-explored 5984449 3345
build-model-states-explored 5987792 3343
build-model-states-explored 5991140 3348
build-model-states-explored 5994494 3354
build-model-states-explored 5997833 3339
build-model-states-explored 6001186 3353
build-model-states-explored 6004541 3355
build-model-states-explored 6007895 3354
build-model-states-explored 6011251 3356
build-model-states-explored 6014605 3354
build-model-states-explored 6017953 3348
build-model-states-explored 6021303 3350
build-model-states-explored 6024652 3349
build-model-states-explored 6028003 3351
build-model-states-explored 6031352 3349
build-model-states-explored 6034702 3350
build-model-states-explored 6038053 3351
build-model-states-explored 6041404 3351
build-model-states-explored 6044399 2995
build-model-states-explored 6047052 2653
build-model-states-explored 6050394 3342
build-model-states-explored 6053705 3311
build-model-states-explored 6057011 3306
build-model-states-explored 6060326 3315
build-model-states-explored 6063641 3315
build-model-states-explored 6066966 3325
build-model-states-explored 6070306 3340
build-model-states-explored 6073642 3336
build-model-states-explored 6076981 3339
build-model-states-explored 6080317 3336
build-model-states-explored 6083650 3333
build-model-states-explored 6086993 3343
build-model-states-explored 6090302 3309
build-model-states-explored 6093618 3316
build-model-states-explored 6096932 3314
build-model-states-explored 6100251 3319
build-model-states-explored 6103584 3333
build-model-states-explored 6106924 3340
build-model-states-explored 6110267 3343
build-model-states-explored 6113610 3343
build-model-states-explored 6116955 3345
build-model-states-explored 6120300 3345
build-model-states-explored 6123638 3338
----------
Computation aborted after 1800.089643239975 seconds since the total time limit of 1800 seconds was exceeded.