java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files egl.prism --property-input-files egl.props --property-input-names unfairA --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.
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
start-parsing
done-parsing
model-checking
analysing-property unfairA
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2442 2442
build-model-states-explored 5514 3072
build-model-states-explored 8814 3300
build-model-states-explored 11893 3079
build-model-states-explored 14959 3066
build-model-states-explored 18028 3069
build-model-states-explored 21561 3533
build-model-states-explored 25097 3536
build-model-states-explored 28601 3504
build-model-states-explored 32143 3542
build-model-states-explored 34840 2697
build-model-states-explored 37905 3065
build-model-states-explored 40973 3068
build-model-states-explored 44037 3064
build-model-states-explored 47105 3068
build-model-states-explored 50172 3067
build-model-states-explored 53196 3024
build-model-states-explored 56263 3067
build-model-states-explored 59331 3068
build-model-states-explored 62404 3073
build-model-states-explored 65485 3081
build-model-states-explored 67985 2500
build-model-states-explored 71513 3528
build-model-states-explored 75043 3530
build-model-states-explored 78571 3528
build-model-states-explored 82099 3528
build-model-states-explored 85628 3529
build-model-states-explored 89153 3525
build-model-states-explored 92677 3524
build-model-states-explored 96198 3521
build-model-states-explored 99716 3518
build-model-states-explored 103107 3391
build-model-states-explored 106636 3529
build-model-states-explored 110168 3532
build-model-states-explored 113698 3530
build-model-states-explored 117226 3528
build-model-states-explored 120755 3529
build-model-states-explored 124256 3501
build-model-states-explored 127787 3531
build-model-states-explored 131072 3285
build-model-states-explored 132553 1481
build-model-states-explored 135612 3059
build-model-states-explored 138676 3064
build-model-states-explored 141741 3065
build-model-states-explored 144805 3064
build-model-states-explored 147873 3068
build-model-states-explored 150931 3058
build-model-states-explored 153988 3057
build-model-states-explored 157051 3063
build-model-states-explored 160107 3056
build-model-states-explored 163169 3062
build-model-states-explored 166230 3061
build-model-states-explored 169292 3062
build-model-states-explored 172357 3065
build-model-states-explored 175421 3064
build-model-states-explored 178488 3067
build-model-states-explored 181548 3060
build-model-states-explored 184607 3059
build-model-states-explored 187669 3062
build-model-states-explored 190730 3061
build-model-states-explored 193793 3063
build-model-states-explored 196861 3068
build-model-states-explored 199923 3062
build-model-states-explored 202987 3064
build-model-states-explored 205815 2828
build-model-states-explored 208883 3068
build-model-states-explored 211950 3067
build-model-states-explored 215008 3058
build-model-states-explored 218074 3066
build-model-states-explored 221138 3064
build-model-states-explored 224194 3056
build-model-states-explored 227261 3067
build-model-states-explored 230324 3063
build-model-states-explored 233387 3063
build-model-states-explored 236447 3060
build-model-states-explored 239515 3068
build-model-states-explored 242581 3065
build-model-states-explored 245645 3065
build-model-states-explored 248708 3063
build-model-states-explored 251773 3065
build-model-states-explored 254837 3064
build-model-states-explored 257910 3073
build-model-states-explored 260984 3074
build-model-states-explored 262144 1160
build-model-states-explored 263771 1627
build-model-states-explored 267297 3526
build-model-states-explored 270818 3521
build-model-states-explored 274338 3520
build-model-states-explored 277853 3515
build-model-states-explored 281375 3522
build-model-states-explored 284888 3513
build-model-states-explored 288403 3515
build-model-states-explored 291924 3521
build-model-states-explored 295450 3526
build-model-states-explored 298972 3522
build-model-states-explored 302493 3521
build-model-states-explored 306019 3526
build-model-states-explored 309539 3520
build-model-states-explored 313055 3516
build-model-states-explored 316576 3521
build-model-states-explored 320091 3515
build-model-states-explored 323611 3520
build-model-states-explored 327126 3515
build-model-states-explored 330646 3520
build-model-states-explored 334171 3525
build-model-states-explored 337694 3523
build-model-states-explored 341218 3524
build-model-states-explored 344741 3523
build-model-states-explored 348259 3518
build-model-states-explored 351776 3517
build-model-states-explored 355299 3523
build-model-states-explored 358812 3513
build-model-states-explored 362324 3512
build-model-states-explored 365794 3470
build-model-states-explored 369314 3520
build-model-states-explored 372837 3523
build-model-states-explored 376360 3523
build-model-states-explored 379884 3524
build-model-states-explored 383407 3523
build-model-states-explored 386926 3519
build-model-states-explored 390445 3519
build-model-states-explored 393961 3516
build-model-states-explored 397471 3510
build-model-states-explored 400984 3513
build-model-states-explored 404499 3515
build-model-states-explored 408007 3508
build-model-states-explored 411518 3511
build-model-states-explored 414479 2961
build-model-states-explored 418004 3525
build-model-states-explored 421525 3521
build-model-states-explored 425037 3512
build-model-states-explored 428551 3514
build-model-states-explored 432059 3508
build-model-states-explored 435568 3509
build-model-states-explored 439086 3518
build-model-states-explored 442607 3521
build-model-states-explored 446128 3521
build-model-states-explored 449648 3520
build-model-states-explored 453170 3522
build-model-states-explored 456694 3524
build-model-states-explored 460211 3517
build-model-states-explored 463720 3509
build-model-states-explored 467239 3519
build-model-states-explored 470745 3506
build-model-states-explored 474254 3509
build-model-states-explored 477774 3520
build-model-states-explored 481296 3522
build-model-states-explored 484819 3523
build-model-states-explored 488343 3523
build-model-states-explored 491866 3524
build-model-states-explored 495380 3514
build-model-states-explored 498894 3514
build-model-states-explored 502413 3519
build-model-states-explored 505929 3516
build-model-states-explored 509391 3462
build-model-states-explored 512883 3492
build-model-states-explored 516406 3523
build-model-states-explored 519913 3507
build-model-states-explored 523439 3526
build-model-states-explored 524288 849
build-model-states-explored 524288 0
build-model-states-explored 525067 779
build-model-states-explored 528614 3547
build-model-states-explored 532148 3534
build-model-states-explored 535674 3526
build-model-states-explored 539212 3538
build-model-states-explored 542758 3546
build-model-states-explored 546307 3549
build-model-states-explored 549866 3559
build-model-states-explored 553427 3561
build-model-states-explored 556995 3568
build-model-states-explored 560557 3562
build-model-states-explored 564115 3558
build-model-states-explored 567652 3537
build-model-states-explored 571198 3546
build-model-states-explored 574734 3536
build-model-states-explored 578271 3537
build-model-states-explored 581825 3554
build-model-states-explored 585395 3570
build-model-states-explored 588963 3568
build-model-states-explored 592526 3563
build-model-states-explored 596087 3561
build-model-states-explored 599637 3550
build-model-states-explored 603168 3531
build-model-states-explored 606687 3519
build-model-states-explored 610212 3525
build-model-states-explored 613746 3534
build-model-states-explored 617282 3536
build-model-states-explored 620844 3562
build-model-states-explored 624412 3568
build-model-states-explored 627963 3551
build-model-states-explored 631527 3564
build-model-states-explored 635091 3564
build-model-states-explored 638654 3563
build-model-states-explored 642210 3556
build-model-states-explored 645751 3541
build-model-states-explored 649295 3544
build-model-states-explored 652847 3552
build-model-states-explored 656394 3547
build-model-states-explored 659945 3551
build-model-states-explored 663505 3559
build-model-states-explored 667062 3558
build-model-states-explored 670622 3560
build-model-states-explored 674183 3561
build-model-states-explored 677747 3564
build-model-states-explored 681295 3548
build-model-states-explored 684839 3544
build-model-states-explored 688390 3551
build-model-states-explored 691931 3540
build-model-states-explored 695474 3544
build-model-states-explored 699037 3563
build-model-states-explored 702605 3568
build-model-states-explored 706173 3568
build-model-states-explored 709739 3566
build-model-states-explored 713308 3569
build-model-states-explored 716869 3561
build-model-states-explored 720419 3550
build-model-states-explored 723947 3528
build-model-states-explored 727501 3554
build-model-states-explored 731038 3537
build-model-states-explored 734585 3547
build-model-states-explored 738146 3561
build-model-states-explored 741712 3566
build-model-states-explored 745270 3558
build-model-states-explored 748826 3556
build-model-states-explored 752377 3551
build-model-states-explored 755946 3569
build-model-states-explored 759510 3564
build-model-states-explored 763082 3572
build-model-states-explored 766657 3575
build-model-states-explored 770235 3578
build-model-states-explored 773799 3564
build-model-states-explored 777370 3571
build-model-states-explored 780934 3564
build-model-states-explored 784506 3572
build-model-states-explored 788064 3558
build-model-states-explored 791616 3552
build-model-states-explored 795170 3554
build-model-states-explored 798727 3557
build-model-states-explored 802281 3554
build-model-states-explored 805835 3554
build-model-states-explored 809380 3545
build-model-states-explored 812869 3489
build-model-states-explored 816429 3560
build-model-states-explored 819987 3558
build-model-states-explored 823121 3134
build-model-states-explored 826028 2907
build-model-states-explored 829585 3557
build-model-states-explored 833159 3574
build-model-states-explored 836731 3572
build-model-states-explored 840267 3536
build-model-states-explored 843838 3571
build-model-states-explored 847405 3566
build-model-states-explored 850976 3572
build-model-states-explored 854542 3566
build-model-states-explored 858103 3561
build-model-states-explored 861673 3570
build-model-states-explored 865239 3566
build-model-states-explored 868813 3574
build-model-states-explored 872383 3570
build-model-states-explored 875962 3579
build-model-states-explored 879530 3568
build-model-states-explored 883106 3576
build-model-states-explored 886678 3572
build-model-states-explored 890252 3574
build-model-states-explored 893823 3571
build-model-states-explored 897399 3576
build-model-states-explored 900975 3576
build-model-states-explored 904551 3576
build-model-states-explored 908129 3578
build-model-states-explored 911685 3556
build-model-states-explored 915259 3574
build-model-states-explored 918817 3558
build-model-states-explored 922381 3564
build-model-states-explored 925946 3565
build-model-states-explored 929508 3562
build-model-states-explored 933080 3572
build-model-states-explored 936643 3563
build-model-states-explored 940211 3568
build-model-states-explored 943774 3563
build-model-states-explored 947340 3566
build-model-states-explored 950907 3567
build-model-states-explored 954472 3565
build-model-states-explored 958039 3567
build-model-states-explored 961588 3549
build-model-states-explored 965158 3570
build-model-states-explored 968729 3571
build-model-states-explored 972305 3576
build-model-states-explored 975878 3573
build-model-states-explored 979314 3436
build-model-states-explored 982890 3576
build-model-states-explored 986475 3585
build-model-states-explored 990056 3581
build-model-states-explored 993643 3587
build-model-states-explored 997229 3586
build-model-states-explored 1000799 3570
build-model-states-explored 1004372 3573
build-model-states-explored 1007952 3580
build-model-states-explored 1011528 3576
build-model-states-explored 1015099 3571
build-model-states-explored 1018682 3583
build-model-states-explored 1022272 3590
build-model-states-explored 1025815 3543
build-model-states-explored 1029404 3589
build-model-states-explored 1032994 3590
build-model-states-explored 1036563 3569
build-model-states-explored 1040145 3582
build-model-states-explored 1043725 3580
build-model-states-explored 1047316 3591
build-model-states-explored 1048576 1260
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048582 6
build-model-states-explored 1051719 3137
build-model-states-explored 1054854 3135
build-model-states-explored 1057994 3140
build-model-states-explored 1061137 3143
build-model-states-explored 1064284 3147
build-model-states-explored 1067424 3140
build-model-states-explored 1070574 3150
build-model-states-explored 1073728 3154
build-model-states-explored 1076881 3153
build-model-states-explored 1080033 3152
build-model-states-explored 1083188 3155
build-model-states-explored 1086327 3139
build-model-states-explored 1089469 3142
build-model-states-explored 1092606 3137
build-model-states-explored 1095755 3149
build-model-states-explored 1098895 3140
build-model-states-explored 1102044 3149
build-model-states-explored 1105194 3150
build-model-states-explored 1108347 3153
build-model-states-explored 1111499 3152
build-model-states-explored 1114652 3153
build-model-states-explored 1117803 3151
build-model-states-explored 1120940 3137
build-model-states-explored 1124080 3140
build-model-states-explored 1127223 3143
build-model-states-explored 1130370 3147
build-model-states-explored 1133510 3140
build-model-states-explored 1136657 3147
build-model-states-explored 1139803 3146
build-model-states-explored 1142947 3144
build-model-states-explored 1146093 3146
build-model-states-explored 1149248 3155
build-model-states-explored 1152380 3132
build-model-states-explored 1155520 3140
build-model-states-explored 1158663 3143
build-model-states-explored 1161811 3148
build-model-states-explored 1164954 3143
build-model-states-explored 1168103 3149
build-model-states-explored 1171255 3152
build-model-states-explored 1174411 3156
build-model-states-explored 1177563 3152
build-model-states-explored 1180713 3150
build-model-states-explored 1183855 3142
build-model-states-explored 1186996 3141
build-model-states-explored 1190138 3142
build-model-states-explored 1193287 3149
build-model-states-explored 1196427 3140
build-model-states-explored 1199574 3147
build-model-states-explored 1202725 3151
build-model-states-explored 1205882 3157
build-model-states-explored 1209038 3156
build-model-states-explored 1212194 3156
build-model-states-explored 1215335 3141
build-model-states-explored 1218476 3141
build-model-states-explored 1221618 3142
build-model-states-explored 1224768 3150
build-model-states-explored 1227902 3134
build-model-states-explored 1231046 3144
build-model-states-explored 1234195 3149
build-model-states-explored 1237347 3152
build-model-states-explored 1240499 3152
build-model-states-explored 1243648 3149
build-model-states-explored 1246787 3139
build-model-states-explored 1249928 3141
build-model-states-explored 1253068 3140
build-model-states-explored 1256216 3148
build-model-states-explored 1259357 3141
build-model-states-explored 1262502 3145
build-model-states-explored 1265654 3152
build-model-states-explored 1268810 3156
build-model-states-explored 1271965 3155
build-model-states-explored 1275119 3154
build-model-states-explored 1278259 3140
build-model-states-explored 1281405 3146
build-model-states-explored 1284548 3143
build-model-states-explored 1287700 3152
build-model-states-explored 1290845 3145
build-model-states-explored 1293995 3150
build-model-states-explored 1297150 3155
build-model-states-explored 1300308 3158
build-model-states-explored 1303463 3155
build-model-states-explored 1306617 3154
build-model-states-explored 1309771 3154
build-model-states-explored 1312913 3142
build-model-states-explored 1316060 3147
build-model-states-explored 1319205 3145
build-model-states-explored 1322354 3149
build-model-states-explored 1325496 3142
build-model-states-explored 1328645 3149
build-model-states-explored 1331797 3152
build-model-states-explored 1334952 3155
build-model-states-explored 1338103 3151
build-model-states-explored 1341258 3155
build-model-states-explored 1344411 3153
build-model-states-explored 1347546 3135
build-model-states-explored 1350696 3150
build-model-states-explored 1353845 3149
build-model-states-explored 1356998 3153
build-model-states-explored 1360141 3143
build-model-states-explored 1363292 3151
build-model-states-explored 1366447 3155
build-model-states-explored 1369601 3154
build-model-states-explored 1372757 3156
build-model-states-explored 1375911 3154
build-model-states-explored 1379056 3145
build-model-states-explored 1382201 3145
build-model-states-explored 1385345 3144
build-model-states-explored 1388496 3151
build-model-states-explored 1391642 3146
build-model-states-explored 1394793 3151
build-model-states-explored 1397947 3154
build-model-states-explored 1401104 3157
build-model-states-explored 1404259 3155
build-model-states-explored 1407414 3155
build-model-states-explored 1410557 3143
build-model-states-explored 1413701 3144
build-model-states-explored 1416837 3136
build-model-states-explored 1419985 3148
build-model-states-explored 1423127 3142
build-model-states-explored 1426274 3147
build-model-states-explored 1429425 3151
build-model-states-explored 1432579 3154
build-model-states-explored 1435737 3158
build-model-states-explored 1438893 3156
build-model-states-explored 1442048 3155
build-model-states-explored 1445190 3142
build-model-states-explored 1448337 3147
build-model-states-explored 1451479 3142
build-model-states-explored 1454626 3147
build-model-states-explored 1457767 3141
build-model-states-explored 1460919 3152
build-model-states-explored 1464073 3154
build-model-states-explored 1467230 3157
build-model-states-explored 1470384 3154
build-model-states-explored 1473533 3149
build-model-states-explored 1476684 3151
build-model-states-explored 1479828 3144
build-model-states-explored 1482971 3143
build-model-states-explored 1486114 3143
build-model-states-explored 1489266 3152
build-model-states-explored 1492410 3144
build-model-states-explored 1495560 3150
build-model-states-explored 1498717 3157
build-model-states-explored 1501872 3155
build-model-states-explored 1505027 3155
build-model-states-explored 1508183 3156
build-model-states-explored 1511340 3157
build-model-states-explored 1514481 3141
build-model-states-explored 1517625 3144
build-model-states-explored 1520769 3144
build-model-states-explored 1523921 3152
build-model-states-explored 1527067 3146
build-model-states-explored 1530219 3152
build-model-states-explored 1533374 3155
build-model-states-explored 1536528 3154
build-model-states-explored 1539684 3156
build-model-states-explored 1542842 3158
build-model-states-explored 1545999 3157
build-model-states-explored 1549139 3140
build-model-states-explored 1552280 3141
build-model-states-explored 1555421 3141
build-model-states-explored 1558573 3152
build-model-states-explored 1561716 3143
build-model-states-explored 1564780 3064
build-model-states-explored 1567938 3158
build-model-states-explored 1571095 3157
build-model-states-explored 1574253 3158
build-model-states-explored 1577409 3156
build-model-states-explored 1580567 3158
build-model-states-explored 1583702 3135
build-model-states-explored 1586846 3144
build-model-states-explored 1589989 3143
build-model-states-explored 1593142 3153
build-model-states-explored 1596282 3140
build-model-states-explored 1599432 3150
build-model-states-explored 1602588 3156
build-model-states-explored 1605736 3148
build-model-states-explored 1608883 3147
build-model-states-explored 1612031 3148
build-model-states-explored 1615168 3137
build-model-states-explored 1618299 3131
build-model-states-explored 1621439 3140
build-model-states-explored 1624581 3142
build-model-states-explored 1627731 3150
build-model-states-explored 1630873 3142
build-model-states-explored 1634022 3149
build-model-states-explored 1637177 3155
build-model-states-explored 1640332 3155
build-model-states-explored 1643486 3154
build-model-states-explored 1646642 3156
build-model-states-explored 1649798 3156
build-model-states-explored 1652940 3142
build-model-states-explored 1656084 3144
build-model-states-explored 1659227 3143
build-model-states-explored 1662379 3152
build-model-states-explored 1665522 3143
build-model-states-explored 1668674 3152
build-model-states-explored 1671828 3154
build-model-states-explored 1674982 3154
build-model-states-explored 1678138 3156
build-model-states-explored 1681294 3156
build-model-states-explored 1684449 3155
build-model-states-explored 1687558 3109
build-model-states-explored 1690701 3143
build-model-states-explored 1693851 3150
build-model-states-explored 1696981 3130
build-model-states-explored 1700132 3151
build-model-states-explored 1703283 3151
build-model-states-explored 1706438 3155
build-model-states-explored 1709591 3153
build-model-states-explored 1712749 3158
build-model-states-explored 1715906 3157
build-model-states-explored 1719062 3156
build-model-states-explored 1722212 3150
build-model-states-explored 1725364 3152
build-model-states-explored 1728516 3152
build-model-states-explored 1731669 3153
build-model-states-explored 1734810 3141
build-model-states-explored 1737958 3148
build-model-states-explored 1741111 3153
build-model-states-explored 1744267 3156
build-model-states-explored 1747420 3153
build-model-states-explored 1750574 3154
build-model-states-explored 1753729 3155
build-model-states-explored 1756871 3142
build-model-states-explored 1760010 3139
build-model-states-explored 1763156 3146
build-model-states-explored 1766306 3150
build-model-states-explored 1769364 3058
build-model-states-explored 1772512 3148
build-model-states-explored 1775665 3153
build-model-states-explored 1778816 3151
build-model-states-explored 1781969 3153
build-model-states-explored 1785122 3153
build-model-states-explored 1788277 3155
build-model-states-explored 1791417 3140
build-model-states-explored 1794555 3138
build-model-states-explored 1797703 3148
build-model-states-explored 1800853 3150
build-model-states-explored 1804002 3149
build-model-states-explored 1807150 3148
build-model-states-explored 1810302 3152
build-model-states-explored 1813458 3156
build-model-states-explored 1816613 3155
build-model-states-explored 1819767 3154
build-model-states-explored 1822919 3152
build-model-states-explored 1826068 3149
build-model-states-explored 1829217 3149
build-model-states-explored 1832365 3148
build-model-states-explored 1835517 3152
build-model-states-explored 1838668 3151
build-model-states-explored 1841823 3155
build-model-states-explored 1844977 3154
build-model-states-explored 1848133 3156
build-model-states-explored 1851290 3157
build-model-states-explored 1854448 3158
build-model-states-explored 1857600 3152
build-model-states-explored 1860751 3151
build-model-states-explored 1863900 3149
build-model-states-explored 1867052 3152
build-model-states-explored 1870202 3150
build-model-states-explored 1873353 3151
build-model-states-explored 1876508 3155
build-model-states-explored 1879665 3157
build-model-states-explored 1882817 3152
build-model-states-explored 1885973 3156
build-model-states-explored 1889129 3156
build-model-states-explored 1892280 3151
build-model-states-explored 1895426 3146
build-model-states-explored 1898574 3148
build-model-states-explored 1901724 3150
build-model-states-explored 1904877 3153
build-model-states-explored 1908030 3153
build-model-states-explored 1911185 3155
build-model-states-explored 1914340 3155
build-model-states-explored 1917496 3156
build-model-states-explored 1920654 3158
build-model-states-explored 1923805 3151
build-model-states-explored 1926956 3151
build-model-states-explored 1930108 3152
build-model-states-explored 1933259 3151
build-model-states-explored 1936414 3155
build-model-states-explored 1939564 3150
build-model-states-explored 1942721 3157
build-model-states-explored 1945878 3157
build-model-states-explored 1949034 3156
build-model-states-explored 1952191 3157
build-model-states-explored 1955347 3156
build-model-states-explored 1958417 3070
build-model-states-explored 1961568 3151
build-model-states-explored 1964718 3150
build-model-states-explored 1967868 3150
build-model-states-explored 1971016 3148
build-model-states-explored 1974165 3149
build-model-states-explored 1977318 3153
build-model-states-explored 1980472 3154
build-model-states-explored 1983619 3147
build-model-states-explored 1986768 3149
build-model-states-explored 1989919 3151
build-model-states-explored 1993065 3146
build-model-states-explored 1996209 3144
build-model-states-explored 1999352 3143
build-model-states-explored 2002499 3147
build-model-states-explored 2005649 3150
build-model-states-explored 2008799 3150
build-model-states-explored 2011951 3152
build-model-states-explored 2015104 3153
build-model-states-explored 2018255 3151
build-model-states-explored 2021403 3148
build-model-states-explored 2024549 3146
build-model-states-explored 2027695 3146
build-model-states-explored 2030840 3145
build-model-states-explored 2033989 3149
build-model-states-explored 2037138 3149
build-model-states-explored 2040288 3150
build-model-states-explored 2043441 3153
build-model-states-explored 2046593 3152
build-model-states-explored 2049747 3154
build-model-states-explored 2052900 3153
build-model-states-explored 2056050 3150
build-model-states-explored 2059196 3146
build-model-states-explored 2062345 3149
build-model-states-explored 2065494 3149
build-model-states-explored 2068643 3149
build-model-states-explored 2071793 3150
build-model-states-explored 2074944 3151
build-model-states-explored 2078099 3155
build-model-states-explored 2081250 3151
build-model-states-explored 2084401 3151
build-model-states-explored 2087554 3153
build-model-states-explored 2090702 3148
build-model-states-explored 2093849 3147
build-model-states-explored 2096996 3147
build-model-states-explored 2097152 156
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097152 0
build-model-states-explored 2097794 642
build-model-states-explored 2100659 2865
build-model-states-explored 2103523 2864
build-model-states-explored 2106393 2870
build-model-states-explored 2109269 2876
build-model-states-explored 2112143 2874
build-model-states-explored 2115016 2873
build-model-states-explored 2117887 2871
build-model-states-explored 2120757 2870
build-model-states-explored 2123631 2874
build-model-states-explored 2126503 2872
build-model-states-explored 2129373 2870
build-model-states-explored 2132241 2868
build-model-states-explored 2135112 2871
build-model-states-explored 2137981 2869
build-model-states-explored 2140853 2872
build-model-states-explored 2143726 2873
build-model-states-explored 2146599 2873
build-model-states-explored 2149473 2874
build-model-states-explored 2152340 2867
build-model-states-explored 2155211 2871
build-model-states-explored 2158081 2870
build-model-states-explored 2160952 2871
build-model-states-explored 2163822 2870
build-model-states-explored 2166695 2873
build-model-states-explored 2169570 2875
build-model-states-explored 2172446 2876
build-model-states-explored 2175320 2874
build-model-states-explored 2178197 2877
build-model-states-explored 2181069 2872
build-model-states-explored 2183941 2872
build-model-states-explored 2186812 2871
build-model-states-explored 2189682 2870
build-model-states-explored 2192556 2874
build-model-states-explored 2195432 2876
build-model-states-explored 2198305 2873
build-model-states-explored 2201181 2876
build-model-states-explored 2204058 2877
build-model-states-explored 2206932 2874
build-model-states-explored 2209808 2876
build-model-states-explored 2212681 2873
build-model-states-explored 2215552 2871
build-model-states-explored 2218424 2872
build-model-states-explored 2221295 2871
build-model-states-explored 2224170 2875
build-model-states-explored 2227045 2875
build-model-states-explored 2229921 2876
build-model-states-explored 2232795 2874
build-model-states-explored 2235671 2876
build-model-states-explored 2238547 2876
build-model-states-explored 2241424 2877
build-model-states-explored 2243915 2491
build-model-states-explored 2245406 1491
build-model-states-explored 2248280 2874
build-model-states-explored 2251156 2876
build-model-states-explored 2254031 2875
build-model-states-explored 2256907 2876
build-model-states-explored 2259787 2880
build-model-states-explored 2262667 2880
build-model-states-explored 2265544 2877
build-model-states-explored 2268423 2879
build-model-states-explored 2271296 2873
build-model-states-explored 2274170 2874
build-model-states-explored 2277047 2877
build-model-states-explored 2279921 2874
build-model-states-explored 2282798 2877
build-model-states-explored 2285677 2879
build-model-states-explored 2288554 2877
build-model-states-explored 2291435 2881
build-model-states-explored 2294316 2881
build-model-states-explored 2297195 2879
build-model-states-explored 2300069 2874
build-model-states-explored 2302942 2873
build-model-states-explored 2305817 2875
build-model-states-explored 2308685 2868
build-model-states-explored 2311558 2873
build-model-states-explored 2314433 2875
build-model-states-explored 2317310 2877
build-model-states-explored 2320188 2878
build-model-states-explored 2323065 2877
build-model-states-explored 2325947 2882
build-model-states-explored 2328816 2869
build-model-states-explored 2331689 2873
build-model-states-explored 2334562 2873
build-model-states-explored 2337434 2872
build-model-states-explored 2340308 2874
build-model-states-explored 2343186 2878
build-model-states-explored 2346060 2874
build-model-states-explored 2348942 2882
build-model-states-explored 2351824 2882
build-model-states-explored 2354705 2881
build-model-states-explored 2357588 2883
build-model-states-explored 2360463 2875
build-model-states-explored 2363335 2872
build-model-states-explored 2366207 2872
build-model-states-explored 2369079 2872
build-model-states-explored 2371953 2874
build-model-states-explored 2374828 2875
build-model-states-explored 2377704 2876
build-model-states-explored 2380578 2874
build-model-states-explored 2383455 2877
build-model-states-explored 2386333 2878
build-model-states-explored 2389205 2872
build-model-states-explored 2392075 2870
build-model-states-explored 2394945 2870
build-model-states-explored 2397817 2872
build-model-states-explored 2400690 2873
build-model-states-explored 2403563 2873
build-model-states-explored 2406442 2879
build-model-states-explored 2409320 2878
build-model-states-explored 2412197 2877
build-model-states-explored 2415075 2878
build-model-states-explored 2417954 2879
build-model-states-explored 2420826 2872
build-model-states-explored 2423700 2874
build-model-states-explored 2426571 2871
build-model-states-explored 2429442 2871
build-model-states-explored 2432318 2876
build-model-states-explored 2435195 2877
build-model-states-explored 2438073 2878
build-model-states-explored 2440951 2878
build-model-states-explored 2443829 2878
build-model-states-explored 2446705 2876
build-model-states-explored 2449583 2878
build-model-states-explored 2452456 2873
build-model-states-explored 2455330 2874
build-model-states-explored 2458204 2874
build-model-states-explored 2461073 2869
build-model-states-explored 2463949 2876
build-model-states-explored 2466827 2878
build-model-states-explored 2469704 2877
build-model-states-explored 2472582 2878
build-model-states-explored 2475460 2878
build-model-states-explored 2478341 2881
build-model-states-explored 2481217 2876
build-model-states-explored 2484090 2873
build-model-states-explored 2486963 2873
build-model-states-explored 2489837 2874
build-model-states-explored 2492705 2868
build-model-states-explored 2495576 2871
build-model-states-explored 2498452 2876
build-model-states-explored 2501329 2877
build-model-states-explored 2504206 2877
build-model-states-explored 2507084 2878
build-model-states-explored 2509961 2877
build-model-states-explored 2512838 2877
build-model-states-explored 2515710 2872
build-model-states-explored 2518576 2866
build-model-states-explored 2521442 2866
build-model-states-explored 2524310 2868
build-model-states-explored 2527184 2874
build-model-states-explored 2530060 2876
build-model-states-explored 2532936 2876
build-model-states-explored 2535815 2879
build-model-states-explored 2538696 2881
build-model-states-explored 2541574 2878
build-model-states-explored 2544453 2879
build-model-states-explored 2547317 2864
build-model-states-explored 2550180 2863
build-model-states-explored 2553046 2866
build-model-states-explored 2555917 2871
build-model-states-explored 2558789 2872
build-model-states-explored 2561665 2876
build-model-states-explored 2564543 2878
build-model-states-explored 2567421 2878
build-model-states-explored 2570300 2879
build-model-states-explored 2573179 2879
build-model-states-explored 2576056 2877
build-model-states-explored 2578924 2868
build-model-states-explored 2581794 2870
build-model-states-explored 2584664 2870
build-model-states-explored 2587535 2871
build-model-states-explored 2590409 2874
build-model-states-explored 2593288 2879
build-model-states-explored 2596168 2880
build-model-states-explored 2599046 2878
build-model-states-explored 2601926 2880
build-model-states-explored 2604807 2881
build-model-states-explored 2607686 2879
build-model-states-explored 2610553 2867
build-model-states-explored 2613422 2869
build-model-states-explored 2616291 2869
build-model-states-explored 2619163 2872
build-model-states-explored 2622038 2875
build-model-states-explored 2624911 2873
build-model-states-explored 2627777 2866
build-model-states-explored 2630648 2871
build-model-states-explored 2633520 2872
build-model-states-explored 2636396 2876
build-model-states-explored 2639272 2876
build-model-states-explored 2642134 2862
build-model-states-explored 2644997 2863
build-model-states-explored 2647859 2862
build-model-states-explored 2650704 2845
build-model-states-explored 2653570 2866
build-model-states-explored 2656442 2872
build-model-states-explored 2659314 2872
build-model-states-explored 2662187 2873
build-model-states-explored 2665059 2872
build-model-states-explored 2667933 2874
build-model-states-explored 2670810 2877
build-model-states-explored 2673674 2864
build-model-states-explored 2676539 2865
build-model-states-explored 2679405 2866
build-model-states-explored 2682270 2865
build-model-states-explored 2685140 2870
build-model-states-explored 2688014 2874
build-model-states-explored 2690888 2874
build-model-states-explored 2693764 2876
build-model-states-explored 2696640 2876
build-model-states-explored 2699515 2875
build-model-states-explored 2702392 2877
build-model-states-explored 2705253 2861
build-model-states-explored 2708118 2865
build-model-states-explored 2710985 2867
build-model-states-explored 2713853 2868
build-model-states-explored 2716721 2868
build-model-states-explored 2719600 2879
build-model-states-explored 2722474 2874
build-model-states-explored 2725350 2876
build-model-states-explored 2728227 2877
build-model-states-explored 2731106 2879
build-model-states-explored 2733985 2879
build-model-states-explored 2736851 2866
build-model-states-explored 2739717 2866
build-model-states-explored 2742583 2866
build-model-states-explored 2745447 2864
build-model-states-explored 2748312 2865
build-model-states-explored 2751186 2874
build-model-states-explored 2754061 2875
build-model-states-explored 2756935 2874
build-model-states-explored 2759812 2877
build-model-states-explored 2762688 2876
build-model-states-explored 2765566 2878
build-model-states-explored 2768433 2867
build-model-states-explored 2771291 2858
build-model-states-explored 2774156 2865
build-model-states-explored 2777021 2865
build-model-states-explored 2779888 2867
build-model-states-explored 2782757 2869
build-model-states-explored 2785634 2877
build-model-states-explored 2788509 2875
build-model-states-explored 2791382 2873
build-model-states-explored 2794259 2877
build-model-states-explored 2797122 2863
build-model-states-explored 2799985 2863
build-model-states-explored 2802769 2784
build-model-states-explored 2805633 2864
build-model-states-explored 2808501 2868
build-model-states-explored 2811376 2875
build-model-states-explored 2814253 2877
build-model-states-explored 2817131 2878
build-model-states-explored 2820010 2879
build-model-states-explored 2822889 2879
build-model-states-explored 2825755 2866
build-model-states-explored 2828622 2867
build-model-states-explored 2831473 2851
build-model-states-explored 2834339 2866
build-model-states-explored 2837203 2864
build-model-states-explored 2840072 2869
build-model-states-explored 2842946 2874
build-model-states-explored 2845824 2878
build-model-states-explored 2848704 2880
build-model-states-explored 2851583 2879
build-model-states-explored 2854460 2877
build-model-states-explored 2857339 2879
build-model-states-explored 2860203 2864
build-model-states-explored 2863071 2868
build-model-states-explored 2865939 2868
build-model-states-explored 2868806 2867
build-model-states-explored 2871674 2868
build-model-states-explored 2874552 2878
build-model-states-explored 2877430 2878
build-model-states-explored 2880310 2880
build-model-states-explored 2883193 2883
build-model-states-explored 2886069 2876
build-model-states-explored 2888934 2865
build-model-states-explored 2891799 2865
build-model-states-explored 2894661 2862
build-model-states-explored 2897525 2864
build-model-states-explored 2900395 2870
build-model-states-explored 2903269 2874
build-model-states-explored 2906144 2875
build-model-states-explored 2909020 2876
build-model-states-explored 2911896 2876
build-model-states-explored 2914775 2879
build-model-states-explored 2917652 2877
build-model-states-explored 2920513 2861
build-model-states-explored 2923376 2863
build-model-states-explored 2926241 2865
build-model-states-explored 2929105 2864
build-model-states-explored 2931973 2868
build-model-states-explored 2934848 2875
build-model-states-explored 2937724 2876
build-model-states-explored 2940603 2879
build-model-states-explored 2943478 2875
build-model-states-explored 2946355 2877
build-model-states-explored 2949235 2880
build-model-states-explored 2952096 2861
build-model-states-explored 2954962 2866
build-model-states-explored 2957827 2865
build-model-states-explored 2960692 2865
build-model-states-explored 2963563 2871
build-model-states-explored 2966439 2876
build-model-states-explored 2969315 2876
build-model-states-explored 2972190 2875
build-model-states-explored 2975065 2875
build-model-states-explored 2977941 2876
build-model-states-explored 2980807 2866
build-model-states-explored 2983673 2866
build-model-states-explored 2986538 2865
build-model-states-explored 2989400 2862
build-model-states-explored 2992270 2870
build-model-states-explored 2995148 2878
build-model-states-explored 2998021 2873
build-model-states-explored 3000895 2874
build-model-states-explored 3003771 2876
build-model-states-explored 3006647 2876
build-model-states-explored 3009513 2866
build-model-states-explored 3012379 2866
build-model-states-explored 3015247 2868
build-model-states-explored 3018113 2866
build-model-states-explored 3020982 2869
build-model-states-explored 3023854 2872
build-model-states-explored 3026730 2876
build-model-states-explored 3029608 2878
build-model-states-explored 3032484 2876
build-model-states-explored 3035358 2874
build-model-states-explored 3038238 2880
build-model-states-explored 3041103 2865
build-model-states-explored 3043970 2867
build-model-states-explored 3046836 2866
build-model-states-explored 3049704 2868
build-model-states-explored 3052574 2870
build-model-states-explored 3055426 2852
build-model-states-explored 3058304 2878
build-model-states-explored 3061155 2851
build-model-states-explored 3064037 2882
build-model-states-explored 3066912 2875
build-model-states-explored 3069777 2865
build-model-states-explored 3072645 2868
build-model-states-explored 3075510 2865
build-model-states-explored 3078378 2868
build-model-states-explored 3081248 2870
build-model-states-explored 3084123 2875
build-model-states-explored 3087003 2880
build-model-states-explored 3089880 2877
build-model-states-explored 3092755 2875
build-model-states-explored 3095634 2879
build-model-states-explored 3098500 2866
build-model-states-explored 3101366 2866
build-model-states-explored 3104233 2867
build-model-states-explored 3107108 2875
build-model-states-explored 3109976 2868
build-model-states-explored 3112854 2878
build-model-states-explored 3115732 2878
build-model-states-explored 3118609 2877
build-model-states-explored 3121489 2880
build-model-states-explored 3124370 2881
build-model-states-explored 3127251 2881
build-model-states-explored 3130118 2867
build-model-states-explored 3132983 2865
build-model-states-explored 3135839 2856
build-model-states-explored 3138713 2874
build-model-states-explored 3141587 2874
build-model-states-explored 3144469 2882
build-model-states-explored 3147190 2721
build-model-states-explored 3150061 2871
build-model-states-explored 3152933 2872
build-model-states-explored 3155804 2871
build-model-states-explored 3158665 2861
build-model-states-explored 3161525 2860
build-model-states-explored 3164385 2860
build-model-states-explored 3167245 2860
build-model-states-explored 3170102 2857
build-model-states-explored 3172970 2868
build-model-states-explored 3175841 2871
build-model-states-explored 3178713 2872
build-model-states-explored 3181582 2869
build-model-states-explored 3184454 2872
build-model-states-explored 3187315 2861
build-model-states-explored 3190177 2862
build-model-states-explored 3193046 2869
build-model-states-explored 3195909 2863
build-model-states-explored 3198770 2861
build-model-states-explored 3201639 2869
build-model-states-explored 3204512 2873
build-model-states-explored 3207385 2873
build-model-states-explored 3210261 2876
build-model-states-explored 3213136 2875
build-model-states-explored 3216011 2875
build-model-states-explored 3218873 2862
build-model-states-explored 3221740 2867
build-model-states-explored 3224605 2865
build-model-states-explored 3227475 2870
build-model-states-explored 3230343 2868
build-model-states-explored 3233214 2871
build-model-states-explored 3236091 2877
build-model-states-explored 3238964 2873
build-model-states-explored 3241839 2875
build-model-states-explored 3244716 2877
build-model-states-explored 3247573 2857
build-model-states-explored 3250441 2868
build-model-states-explored 3253309 2868
build-model-states-explored 3256178 2869
build-model-states-explored 3259043 2865
build-model-states-explored 3261915 2872
build-model-states-explored 3264786 2871
build-model-states-explored 3267659 2873
build-model-states-explored 3270536 2877
build-model-states-explored 3273411 2875
build-model-states-explored 3276286 2875
build-model-states-explored 3279151 2865
build-model-states-explored 3282018 2867
build-model-states-explored 3284884 2866
build-model-states-explored 3287752 2868
build-model-states-explored 3290623 2871
build-model-states-explored 3293499 2876
build-model-states-explored 3296372 2873
build-model-states-explored 3299248 2876
build-model-states-explored 3302123 2875
build-model-states-explored 3304998 2875
build-model-states-explored 3307873 2875
build-model-states-explored 3310739 2866
build-model-states-explored 3313602 2863
build-model-states-explored 3316464 2862
build-model-states-explored 3319323 2859
build-model-states-explored 3322192 2869
build-model-states-explored 3325069 2877
build-model-states-explored 3327943 2874
build-model-states-explored 3330817 2874
build-model-states-explored 3333689 2872
build-model-states-explored 3336562 2873
build-model-states-explored 3339425 2863
build-model-states-explored 3342284 2859
build-model-states-explored 3345144 2860
build-model-states-explored 3348003 2859
build-model-states-explored 3350870 2867
build-model-states-explored 3353739 2869
build-model-states-explored 3356613 2874
build-model-states-explored 3359488 2875
build-model-states-explored 3362361 2873
build-model-states-explored 3365232 2871
build-model-states-explored 3368106 2874
build-model-states-explored 3370969 2863
build-model-states-explored 3373807 2838
build-model-states-explored 3376669 2862
build-model-states-explored 3379532 2863
build-model-states-explored 3382403 2871
build-model-states-explored 3385280 2877
build-model-states-explored 3388155 2875
build-model-states-explored 3391029 2874
build-model-states-explored 3393901 2872
build-model-states-explored 3396777 2876
build-model-states-explored 3399638 2861
build-model-states-explored 3402501 2863
build-model-states-explored 3405366 2865
build-model-states-explored 3408234 2868
build-model-states-explored 3411091 2857
build-model-states-explored 3413957 2866
build-model-states-explored 3416829 2872
build-model-states-explored 3419702 2873
build-model-states-explored 3422574 2872
build-model-states-explored 3425444 2870
build-model-states-explored 3428315 2871
build-model-states-explored 3431185 2870
build-model-states-explored 3434043 2858
build-model-states-explored 3436902 2859
build-model-states-explored 3439765 2863
build-model-states-explored 3442626 2861
build-model-states-explored 3445486 2860
build-model-states-explored 3448354 2868
build-model-states-explored 3451224 2870
build-model-states-explored 3454095 2871
build-model-states-explored 3456966 2871
build-model-states-explored 3459838 2872
build-model-states-explored 3462710 2872
build-model-states-explored 3465573 2863
build-model-states-explored 3468434 2861
build-model-states-explored 3471298 2864
build-model-states-explored 3474161 2863
build-model-states-explored 3477030 2869
build-model-states-explored 3479903 2873
build-model-states-explored 3482776 2873
build-model-states-explored 3485652 2876
build-model-states-explored 3488523 2871
build-model-states-explored 3491391 2868
build-model-states-explored 3494261 2870
build-model-states-explored 3497118 2857
build-model-states-explored 3499983 2865
build-model-states-explored 3502845 2862
build-model-states-explored 3505709 2864
build-model-states-explored 3508572 2863
build-model-states-explored 3511443 2871
build-model-states-explored 3514310 2867
build-model-states-explored 3517180 2870
build-model-states-explored 3520051 2871
build-model-states-explored 3522925 2874
build-model-states-explored 3525795 2870
build-model-states-explored 3528656 2861
build-model-states-explored 3531519 2863
build-model-states-explored 3534383 2864
build-model-states-explored 3537247 2864
build-model-states-explored 3540114 2867
build-model-states-explored 3542985 2871
build-model-states-explored 3545859 2874
build-model-states-explored 3548730 2871
build-model-states-explored 3551603 2873
build-model-states-explored 3554479 2876
build-model-states-explored 3557346 2867
build-model-states-explored 3560213 2867
build-model-states-explored 3563078 2865
build-model-states-explored 3565944 2866
build-model-states-explored 3568813 2869
build-model-states-explored 3571670 2857
build-model-states-explored 3574512 2842
build-model-states-explored 3577386 2874
build-model-states-explored 3580260 2874
build-model-states-explored 3583135 2875
build-model-states-explored 3586012 2877
build-model-states-explored 3588884 2872
build-model-states-explored 3591751 2867
build-model-states-explored 3594620 2869
build-model-states-explored 3597488 2868
build-model-states-explored 3600358 2870
build-model-states-explored 3603234 2876
build-model-states-explored 3606109 2875
build-model-states-explored 3608983 2874
build-model-states-explored 3611861 2878
build-model-states-explored 3614737 2876
build-model-states-explored 3617615 2878
build-model-states-explored 3620487 2872
build-model-states-explored 3623354 2867
build-model-states-explored 3626222 2868
build-model-states-explored 3629093 2871
build-model-states-explored 3631961 2868
build-model-states-explored 3634837 2876
build-model-states-explored 3637715 2878
build-model-states-explored 3640591 2876
build-model-states-explored 3643468 2877
build-model-states-explored 3646345 2877
build-model-states-explored 3649222 2877
build-model-states-explored 3652091 2869
build-model-states-explored 3654957 2866
build-model-states-explored 3657826 2869
build-model-states-explored 3660695 2869
build-model-states-explored 3663516 2821
build-model-states-explored 3666394 2878
build-model-states-explored 3669272 2878
build-model-states-explored 3672146 2874
build-model-states-explored 3675021 2875
build-model-states-explored 3677895 2874
build-model-states-explored 3680767 2872
build-model-states-explored 3683633 2866
build-model-states-explored 3686494 2861
build-model-states-explored 3689354 2860
build-model-states-explored 3692216 2862
build-model-states-explored 3695080 2864
build-model-states-explored 3697950 2870
build-model-states-explored 3700824 2874
build-model-states-explored 3703698 2874
build-model-states-explored 3706571 2873
build-model-states-explored 3709444 2873
build-model-states-explored 3712317 2873
build-model-states-explored 3715186 2869
build-model-states-explored 3718053 2867
build-model-states-explored 3720917 2864
build-model-states-explored 3723783 2866
build-model-states-explored 3726651 2868
build-model-states-explored 3729526 2875
build-model-states-explored 3732392 2866
build-model-states-explored 3735263 2871
build-model-states-explored 3738133 2870
build-model-states-explored 3741009 2876
build-model-states-explored 3743880 2871
build-model-states-explored 3746747 2867
build-model-states-explored 3749614 2867
build-model-states-explored 3752484 2870
build-model-states-explored 3755349 2865
build-model-states-explored 3758215 2866
build-model-states-explored 3761091 2876
build-model-states-explored 3763967 2876
build-model-states-explored 3766843 2876
build-model-states-explored 3769719 2876
build-model-states-explored 3772594 2875
build-model-states-explored 3775463 2869
build-model-states-explored 3778330 2867
build-model-states-explored 3781197 2867
build-model-states-explored 3784044 2847
build-model-states-explored 3786916 2872
build-model-states-explored 3789792 2876
build-model-states-explored 3792668 2876
build-model-states-explored 3795543 2875
build-model-states-explored 3798420 2877
build-model-states-explored 3801297 2877
build-model-states-explored 3804168 2871
build-model-states-explored 3807029 2861
build-model-states-explored 3809895 2866
build-model-states-explored 3812766 2871
build-model-states-explored 3815635 2869
build-model-states-explored 3818507 2872
build-model-states-explored 3821383 2876
build-model-states-explored 3824258 2875
build-model-states-explored 3827134 2876
build-model-states-explored 3830009 2875
build-model-states-explored 3832888 2879
build-model-states-explored 3835764 2876
build-model-states-explored 3838634 2870
build-model-states-explored 3841504 2870
build-model-states-explored 3844372 2868
build-model-states-explored 3847244 2872
build-model-states-explored 3850116 2872
build-model-states-explored 3852992 2876
build-model-states-explored 3855869 2877
build-model-states-explored 3858735 2866
build-model-states-explored 3861607 2872
build-model-states-explored 3864482 2875
build-model-states-explored 3867358 2876
build-model-states-explored 3870224 2866
build-model-states-explored 3873093 2869
build-model-states-explored 3875963 2870
build-model-states-explored 3878831 2868
build-model-states-explored 3881704 2873
build-model-states-explored 3884580 2876
build-model-states-explored 3887455 2875
build-model-states-explored 3890331 2876
build-model-states-explored 3893207 2876
build-model-states-explored 3896085 2878
build-model-states-explored 3898959 2874
build-model-states-explored 3901831 2872
build-model-states-explored 3904703 2872
build-model-states-explored 3907578 2875
build-model-states-explored 3910447 2869
build-model-states-explored 3913322 2875
build-model-states-explored 3916202 2880
build-model-states-explored 3919076 2874
build-model-states-explored 3921955 2879
build-model-states-explored 3924833 2878
build-model-states-explored 3927711 2878
build-model-states-explored 3930584 2873
build-model-states-explored 3933452 2868
build-model-states-explored 3936319 2867
build-model-states-explored 3939185 2866
build-model-states-explored 3942055 2870
build-model-states-explored 3944929 2874
build-model-states-explored 3947790 2861
build-model-states-explored 3950664 2874
build-model-states-explored 3953538 2874
build-model-states-explored 3956415 2877
build-model-states-explored 3959285 2870
build-model-states-explored 3962153 2868
build-model-states-explored 3965023 2870
build-model-states-explored 3967890 2867
build-model-states-explored 3970761 2871
build-model-states-explored 3973637 2876
build-model-states-explored 3976513 2876
build-model-states-explored 3979391 2878
build-model-states-explored 3982268 2877
build-model-states-explored 3985146 2878
build-model-states-explored 3988023 2877
build-model-states-explored 3990894 2871
build-model-states-explored 3993763 2869
build-model-states-explored 3996634 2871
build-model-states-explored 3999503 2869
build-model-states-explored 4002375 2872
build-model-states-explored 4005252 2877
build-model-states-explored 4008126 2874
build-model-states-explored 4011002 2876
build-model-states-explored 4013879 2877
build-model-states-explored 4016754 2875
build-model-states-explored 4019631 2877
build-model-states-explored 4022503 2872
build-model-states-explored 4025374 2871
build-model-states-explored 4028245 2871
build-model-states-explored 4031111 2866
build-model-states-explored 4033980 2869
build-model-states-explored 4036853 2873
build-model-states-explored 4039728 2875
build-model-states-explored 4042602 2874
build-model-states-explored 4045478 2876
build-model-states-explored 4048353 2875
build-model-states-explored 4051229 2876
build-model-states-explored 4054098 2869
build-model-states-explored 4056968 2870
build-model-states-explored 4059841 2873
build-model-states-explored 4062714 2873
build-model-states-explored 4065585 2871
build-model-states-explored 4068462 2877
build-model-states-explored 4071338 2876
build-model-states-explored 4074215 2877
build-model-states-explored 4077092 2877
build-model-states-explored 4079969 2877
build-model-states-explored 4082845 2876
build-model-states-explored 4085719 2874
build-model-states-explored 4088591 2872
build-model-states-explored 4091461 2870
build-model-states-explored 4094332 2871
build-model-states-explored 4097204 2872
build-model-states-explored 4100080 2876
build-model-states-explored 4102956 2876
build-model-states-explored 4105833 2877
build-model-states-explored 4108711 2878
build-model-states-explored 4111585 2874
build-model-states-explored 4114462 2877
build-model-states-explored 4117335 2873
build-model-states-explored 4120208 2873
build-model-states-explored 4123078 2870
build-model-states-explored 4125951 2873
build-model-states-explored 4128823 2872
build-model-states-explored 4131699 2876
build-model-states-explored 4134575 2876
build-model-states-explored 4137453 2878
build-model-states-explored 4140329 2876
build-model-states-explored 4143209 2880
build-model-states-explored 4146083 2874
build-model-states-explored 4148955 2872
build-model-states-explored 4151828 2873
build-model-states-explored 4154702 2874
build-model-states-explored 4157579 2877
build-model-states-explored 4160458 2879
build-model-states-explored 4163337 2879
build-model-states-explored 4166143 2806
build-model-states-explored 4169021 2878
build-model-states-explored 4171900 2879
build-model-states-explored 4174780 2880
build-model-states-explored 4177656 2876
build-model-states-explored 4180524 2868
build-model-states-explored 4183396 2872
build-model-states-explored 4186270 2874
build-model-states-explored 4189145 2875
build-model-states-explored 4192027 2882
build-model-states-explored 4194304 2277
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4196304 2000
build-model-states-explored 4199171 2867
build-model-states-explored 4202043 2872
build-model-states-explored 4204914 2871
build-model-states-explored 4207783 2869
build-model-states-explored 4210653 2870
build-model-states-explored 4213524 2871
build-model-states-explored 4216396 2872
build-model-states-explored 4219260 2864
build-model-states-explored 4222124 2864
build-model-states-explored 4224990 2866
build-model-states-explored 4227859 2869
build-model-states-explored 4230727 2868
build-model-states-explored 4233597 2870
build-model-states-explored 4236468 2871
build-model-states-explored 4239341 2873
build-model-states-explored 4242213 2872
build-model-states-explored 4245085 2872
build-model-states-explored 4247959 2874
build-model-states-explored 4250829 2870
build-model-states-explored 4253696 2867
build-model-states-explored 4256563 2867
build-model-states-explored 4259431 2868
build-model-states-explored 4262302 2871
build-model-states-explored 4265174 2872
build-model-states-explored 4268049 2875
build-model-states-explored 4270921 2872
build-model-states-explored 4273796 2875
build-model-states-explored 4276670 2874
build-model-states-explored 4279542 2872
build-model-states-explored 4282412 2870
build-model-states-explored 4285282 2870
build-model-states-explored 4288151 2869
build-model-states-explored 4291019 2868
build-model-states-explored 4293891 2872
build-model-states-explored 4296756 2865
build-model-states-explored 4299627 2871
build-model-states-explored 4302500 2873
build-model-states-explored 4305373 2873
build-model-states-explored 4308249 2876
build-model-states-explored 4311123 2874
build-model-states-explored 4313991 2868
build-model-states-explored 4315720 1729
build-model-states-explored 4318588 2868
build-model-states-explored 4321451 2863
build-model-states-explored 4324320 2869
build-model-states-explored 4327192 2872
build-model-states-explored 4330064 2872
build-model-states-explored 4332935 2871
build-model-states-explored 4335805 2870
build-model-states-explored 4338681 2876
build-model-states-explored 4341556 2875
build-model-states-explored 4344416 2860
build-model-states-explored 4347278 2862
build-model-states-explored 4350142 2864
build-model-states-explored 4353004 2862
build-model-states-explored 4355873 2869
build-model-states-explored 4358747 2874
build-model-states-explored 4361622 2875
build-model-states-explored 4364496 2874
build-model-states-explored 4367373 2877
build-model-states-explored 4370249 2876
build-model-states-explored 4373128 2879
build-model-states-explored 4375991 2863
build-model-states-explored 4378856 2865
build-model-states-explored 4381718 2862
build-model-states-explored 4384583 2865
build-model-states-explored 4387452 2869
build-model-states-explored 4390328 2876
build-model-states-explored 4393201 2873
build-model-states-explored 4396077 2876
build-model-states-explored 4398956 2879
build-model-states-explored 4401831 2875
build-model-states-explored 4404707 2876
build-model-states-explored 4407572 2865
build-model-states-explored 4410433 2861
build-model-states-explored 4413296 2863
build-model-states-explored 4416164 2868
build-model-states-explored 4419037 2873
build-model-states-explored 4421914 2877
build-model-states-explored 4424789 2875
build-model-states-explored 4427665 2876
build-model-states-explored 4430540 2875
build-model-states-explored 4433416 2876
build-model-states-explored 4436289 2873
build-model-states-explored 4439158 2869
build-model-states-explored 4442025 2867
build-model-states-explored 4444894 2869
build-model-states-explored 4447768 2874
build-model-states-explored 4450644 2876
build-model-states-explored 4453521 2877
build-model-states-explored 4456401 2880
build-model-states-explored 4459273 2872
build-model-states-explored 4462144 2871
build-model-states-explored 4465019 2875
build-model-states-explored 4467889 2870
build-model-states-explored 4470676 2787
build-model-states-explored 4473544 2868
build-model-states-explored 4476412 2868
build-model-states-explored 4479283 2871
build-model-states-explored 4482158 2875
build-model-states-explored 4485030 2872
build-model-states-explored 4487906 2876
build-model-states-explored 4490781 2875
build-model-states-explored 4493648 2867
build-model-states-explored 4496516 2868
build-model-states-explored 4499381 2865
build-model-states-explored 4502241 2860
build-model-states-explored 4505103 2862
build-model-states-explored 4507965 2862
build-model-states-explored 4510835 2870
build-model-states-explored 4513708 2873
build-model-states-explored 4516581 2873
build-model-states-explored 4519456 2875
build-model-states-explored 4522333 2877
build-model-states-explored 4525208 2875
build-model-states-explored 4528069 2861
build-model-states-explored 4530931 2862
build-model-states-explored 4533793 2862
build-model-states-explored 4536644 2851
build-model-states-explored 4539514 2870
build-model-states-explored 4542389 2875
build-model-states-explored 4545262 2873
build-model-states-explored 4548138 2876
build-model-states-explored 4551014 2876
build-model-states-explored 4553890 2876
build-model-states-explored 4556765 2875
build-model-states-explored 4559626 2861
build-model-states-explored 4562487 2861
build-model-states-explored 4565350 2863
build-model-states-explored 4568217 2867
build-model-states-explored 4571089 2872
build-model-states-explored 4573964 2875
build-model-states-explored 4576838 2874
build-model-states-explored 4579715 2877
build-model-states-explored 4582591 2876
build-model-states-explored 4585467 2876
build-model-states-explored 4588326 2859
build-model-states-explored 4591188 2862
build-model-states-explored 4594049 2861
build-model-states-explored 4596914 2865
build-model-states-explored 4599782 2868
build-model-states-explored 4602657 2875
build-model-states-explored 4605532 2875
build-model-states-explored 4608407 2875
build-model-states-explored 4611284 2877
build-model-states-explored 4614160 2876
build-model-states-explored 4617022 2862
build-model-states-explored 4619889 2867
build-model-states-explored 4622752 2863
build-model-states-explored 4625616 2864
build-model-states-explored 4628487 2871
build-model-states-explored 4631359 2872
build-model-states-explored 4634231 2872
build-model-states-explored 4637108 2877
build-model-states-explored 4639984 2876
build-model-states-explored 4642860 2876
build-model-states-explored 4645722 2862
build-model-states-explored 4648586 2864
build-model-states-explored 4651453 2867
build-model-states-explored 4654319 2866
build-model-states-explored 4657187 2868
build-model-states-explored 4660062 2875
build-model-states-explored 4662938 2876
build-model-states-explored 4665808 2870
build-model-states-explored 4668682 2874
build-model-states-explored 4671555 2873
build-model-states-explored 4674428 2873
build-model-states-explored 4677292 2864
build-model-states-explored 4680154 2862
build-model-states-explored 4683020 2866
build-model-states-explored 4685887 2867
build-model-states-explored 4688757 2870
build-model-states-explored 4691630 2873
build-model-states-explored 4694508 2878
build-model-states-explored 4697383 2875
build-model-states-explored 4700259 2876
build-model-states-explored 4703134 2875
build-model-states-explored 4705996 2862
build-model-states-explored 4708865 2869
build-model-states-explored 4711733 2868
build-model-states-explored 4714599 2866
build-model-states-explored 4717468 2869
build-model-states-explored 4720334 2866
build-model-states-explored 4723205 2871
build-model-states-explored 4726077 2872
build-model-states-explored 4728951 2874
build-model-states-explored 4731826 2875
build-model-states-explored 4734685 2859
build-model-states-explored 4737545 2860
build-model-states-explored 4740407 2862
build-model-states-explored 4743272 2865
build-model-states-explored 4746140 2868
build-model-states-explored 4749010 2870
build-model-states-explored 4751884 2874
build-model-states-explored 4754758 2874
build-model-states-explored 4757631 2873
build-model-states-explored 4760503 2872
build-model-states-explored 4763380 2877
build-model-states-explored 4766243 2863
build-model-states-explored 4769107 2864
build-model-states-explored 4771970 2863
build-model-states-explored 4774833 2863
build-model-states-explored 4777702 2869
build-model-states-explored 4780577 2875
build-model-states-explored 4783453 2876
build-model-states-explored 4786325 2872
build-model-states-explored 4789198 2873
build-model-states-explored 4792073 2875
build-model-states-explored 4794935 2862
build-model-states-explored 4797799 2864
build-model-states-explored 4800663 2864
build-model-states-explored 4803524 2861
build-model-states-explored 4806391 2867
build-model-states-explored 4809265 2874
build-model-states-explored 4812140 2875
build-model-states-explored 4815010 2870
build-model-states-explored 4817884 2874
build-model-states-explored 4820758 2874
build-model-states-explored 4823632 2874
build-model-states-explored 4826495 2863
build-model-states-explored 4829357 2862
build-model-states-explored 4832220 2863
build-model-states-explored 4835080 2860
build-model-states-explored 4837941 2861
build-model-states-explored 4840814 2873
build-model-states-explored 4843685 2871
build-model-states-explored 4846558 2873
build-model-states-explored 4849433 2875
build-model-states-explored 4852305 2872
build-model-states-explored 4855178 2873
build-model-states-explored 4858039 2861
build-model-states-explored 4860901 2862
build-model-states-explored 4863762 2861
build-model-states-explored 4866626 2864
build-model-states-explored 4869493 2867
build-model-states-explored 4872366 2873
build-model-states-explored 4875241 2875
build-model-states-explored 4878117 2876
build-model-states-explored 4880995 2878
build-model-states-explored 4883872 2877
build-model-states-explored 4886734 2862
build-model-states-explored 4889598 2864
build-model-states-explored 4892461 2863
build-model-states-explored 4895314 2853
build-model-states-explored 4898187 2873
build-model-states-explored 4901061 2874
build-model-states-explored 4903939 2878
build-model-states-explored 4906816 2877
build-model-states-explored 4909692 2876
build-model-states-explored 4912570 2878
build-model-states-explored 4915437 2867
build-model-states-explored 4918300 2863
build-model-states-explored 4921162 2862
build-model-states-explored 4924027 2865
build-model-states-explored 4926897 2870
build-model-states-explored 4929773 2876
build-model-states-explored 4932646 2873
build-model-states-explored 4935520 2874
build-model-states-explored 4938397 2877
build-model-states-explored 4941272 2875
build-model-states-explored 4944149 2877
build-model-states-explored 4947013 2864
build-model-states-explored 4949881 2868
build-model-states-explored 4952752 2871
build-model-states-explored 4955621 2869
build-model-states-explored 4958492 2871
build-model-states-explored 4961369 2877
build-model-states-explored 4964245 2876
build-model-states-explored 4967120 2875
build-model-states-explored 4969995 2875
build-model-states-explored 4972875 2880
build-model-states-explored 4975748 2873
build-model-states-explored 4978621 2873
build-model-states-explored 4981491 2870
build-model-states-explored 4984360 2869
build-model-states-explored 4987230 2870
build-model-states-explored 4990103 2873
build-model-states-explored 4992978 2875
build-model-states-explored 4995852 2874
build-model-states-explored 4998724 2872
build-model-states-explored 5001598 2874
build-model-states-explored 5004469 2871
build-model-states-explored 5007340 2871
build-model-states-explored 5010204 2864
build-model-states-explored 5013073 2869
build-model-states-explored 5015940 2867
build-model-states-explored 5018811 2871
build-model-states-explored 5021683 2872
build-model-states-explored 5024557 2874
build-model-states-explored 5027432 2875
build-model-states-explored 5030308 2876
build-model-states-explored 5033181 2873
build-model-states-explored 5036051 2870
build-model-states-explored 5038921 2870
build-model-states-explored 5041790 2869
build-model-states-explored 5044660 2870
build-model-states-explored 5047532 2872
build-model-states-explored 5050406 2874
build-model-states-explored 5053283 2877
build-model-states-explored 5056160 2877
build-model-states-explored 5059034 2874
build-model-states-explored 5061911 2877
build-model-states-explored 5064783 2872
build-model-states-explored 5067654 2871
build-model-states-explored 5070523 2869
build-model-states-explored 5073391 2868
build-model-states-explored 5076264 2873
build-model-states-explored 5079141 2877
build-model-states-explored 5082014 2873
build-model-states-explored 5084890 2876
build-model-states-explored 5087766 2876
build-model-states-explored 5090642 2876
build-model-states-explored 5093517 2875
build-model-states-explored 5096389 2872
build-model-states-explored 5099257 2868
build-model-states-explored 5102130 2873
build-model-states-explored 5104942 2812
build-model-states-explored 5107815 2873
build-model-states-explored 5110694 2879
build-model-states-explored 5113528 2834
build-model-states-explored 5116400 2872
build-model-states-explored 5119275 2875
build-model-states-explored 5122152 2877
build-model-states-explored 5125023 2871
build-model-states-explored 5127892 2869
build-model-states-explored 5130759 2867
build-model-states-explored 5133626 2867
build-model-states-explored 5136500 2874
build-model-states-explored 5139375 2875
build-model-states-explored 5142250 2875
build-model-states-explored 5145128 2878
build-model-states-explored 5148001 2873
build-model-states-explored 5150876 2875
build-model-states-explored 5153753 2877
build-model-states-explored 5156618 2865
build-model-states-explored 5159490 2872
build-model-states-explored 5162359 2869
build-model-states-explored 5165230 2871
build-model-states-explored 5168105 2875
build-model-states-explored 5170984 2879
build-model-states-explored 5173860 2876
build-model-states-explored 5176737 2877
build-model-states-explored 5179613 2876
build-model-states-explored 5182481 2868
build-model-states-explored 5185355 2874
build-model-states-explored 5188225 2870
build-model-states-explored 5191095 2870
build-model-states-explored 5193966 2871
build-model-states-explored 5196836 2870
build-model-states-explored 5199711 2875
build-model-states-explored 5202588 2877
build-model-states-explored 5205465 2877
build-model-states-explored 5208343 2878
build-model-states-explored 5211220 2877
build-model-states-explored 5214096 2876
build-model-states-explored 5216974 2878
build-model-states-explored 5219847 2873
build-model-states-explored 5222723 2876
build-model-states-explored 5225596 2873
build-model-states-explored 5228469 2873
build-model-states-explored 5231344 2875
build-model-states-explored 5234222 2878
build-model-states-explored 5237101 2879
build-model-states-explored 5239981 2880
build-model-states-explored 5242860 2879
build-model-states-explored 5245731 2871
build-model-states-explored 5248605 2874
build-model-states-explored 5251472 2867
build-model-states-explored 5254338 2866
build-model-states-explored 5257206 2868
build-model-states-explored 5260072 2866
build-model-states-explored 5262940 2868
build-model-states-explored 5265814 2874
build-model-states-explored 5268688 2874
build-model-states-explored 5271560 2872
build-model-states-explored 5274432 2872
build-model-states-explored 5277305 2873
build-model-states-explored 5280176 2871
build-model-states-explored 5283046 2870
build-model-states-explored 5285914 2868
build-model-states-explored 5288782 2868
build-model-states-explored 5291651 2869
build-model-states-explored 5294521 2870
build-model-states-explored 5297394 2873
build-model-states-explored 5300268 2874
build-model-states-explored 5303141 2873
build-model-states-explored 5306015 2874
build-model-states-explored 5308891 2876
build-model-states-explored 5311763 2872
----------
Computation aborted after 1800.0721588134766 seconds since the total time limit of 1800 seconds was exceeded.