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=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 unfairA
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 2279 2279
build-model-states-explored 5240 2961
build-model-states-explored 8453 3213
build-model-states-explored 11538 3085
build-model-states-explored 14611 3073
build-model-states-explored 17604 2993
build-model-states-explored 21130 3526
build-model-states-explored 24646 3516
build-model-states-explored 28130 3484
build-model-states-explored 31653 3523
build-model-states-explored 34351 2698
build-model-states-explored 37420 3069
build-model-states-explored 40498 3078
build-model-states-explored 43575 3077
build-model-states-explored 46653 3078
build-model-states-explored 49735 3082
build-model-states-explored 52768 3033
build-model-states-explored 55853 3085
build-model-states-explored 58932 3079
build-model-states-explored 62013 3081
build-model-states-explored 65098 3085
build-model-states-explored 67394 2296
build-model-states-explored 70908 3514
build-model-states-explored 74429 3521
build-model-states-explored 77953 3524
build-model-states-explored 81473 3520
build-model-states-explored 84996 3523
build-model-states-explored 88519 3523
build-model-states-explored 92042 3523
build-model-states-explored 95558 3516
build-model-states-explored 99070 3512
build-model-states-explored 102581 3511
build-model-states-explored 105950 3369
build-model-states-explored 109464 3514
build-model-states-explored 112988 3524
build-model-states-explored 116506 3518
build-model-states-explored 120028 3522
build-model-states-explored 123546 3518
build-model-states-explored 127066 3520
build-model-states-explored 130590 3524
build-model-states-explored 131698 1108
build-model-states-explored 134754 3056
build-model-states-explored 137811 3057
build-model-states-explored 140870 3059
build-model-states-explored 143929 3059
build-model-states-explored 146997 3068
build-model-states-explored 150061 3064
build-model-states-explored 153130 3069
build-model-states-explored 156199 3069
build-model-states-explored 159269 3070
build-model-states-explored 162343 3074
build-model-states-explored 165404 3061
build-model-states-explored 168461 3057
build-model-states-explored 171519 3058
build-model-states-explored 174572 3053
build-model-states-explored 177632 3060
build-model-states-explored 180695 3063
build-model-states-explored 183762 3067
build-model-states-explored 186832 3070
build-model-states-explored 189899 3067
build-model-states-explored 192970 3071
build-model-states-explored 196032 3062
build-model-states-explored 199085 3053
build-model-states-explored 202137 3052
build-model-states-explored 205193 3056
build-model-states-explored 208003 2810
build-model-states-explored 211073 3070
build-model-states-explored 214137 3064
build-model-states-explored 217208 3071
build-model-states-explored 220279 3071
build-model-states-explored 223344 3065
build-model-states-explored 226415 3071
build-model-states-explored 229476 3061
build-model-states-explored 232527 3051
build-model-states-explored 235586 3059
build-model-states-explored 238648 3062
build-model-states-explored 241712 3064
build-model-states-explored 244718 3005
build-model-states-explored 247789 3072
build-model-states-explored 250859 3070
build-model-states-explored 253933 3074
build-model-states-explored 257008 3075
build-model-states-explored 260085 3077
build-model-states-explored 262144 2059
build-model-states-explored 262182 38
build-model-states-explored 265675 3493
build-model-states-explored 269168 3493
build-model-states-explored 272657 3489
build-model-states-explored 276161 3504
build-model-states-explored 279667 3506
build-model-states-explored 283169 3502
build-model-states-explored 286676 3507
build-model-states-explored 290178 3502
build-model-states-explored 293668 3490
build-model-states-explored 297157 3489
build-model-states-explored 300648 3491
build-model-states-explored 304138 3490
build-model-states-explored 307630 3492
build-model-states-explored 311135 3505
build-model-states-explored 314638 3503
build-model-states-explored 318143 3505
build-model-states-explored 321646 3503
build-model-states-explored 325148 3502
build-model-states-explored 328635 3487
build-model-states-explored 332123 3488
build-model-states-explored 335614 3491
build-model-states-explored 339103 3489
build-model-states-explored 342601 3498
build-model-states-explored 346098 3497
build-model-states-explored 349602 3504
build-model-states-explored 353106 3504
build-model-states-explored 356608 3502
build-model-states-explored 360112 3504
build-model-states-explored 363611 3499
build-model-states-explored 367100 3489
build-model-states-explored 370588 3488
build-model-states-explored 374077 3489
build-model-states-explored 377565 3488
build-model-states-explored 381061 3496
build-model-states-explored 384563 3502
build-model-states-explored 388064 3501
build-model-states-explored 391562 3498
build-model-states-explored 395067 3505
build-model-states-explored 398570 3503
build-model-states-explored 402062 3492
build-model-states-explored 405544 3482
build-model-states-explored 409038 3494
build-model-states-explored 411923 2885
build-model-states-explored 415423 3500
build-model-states-explored 418931 3508
build-model-states-explored 422430 3499
build-model-states-explored 425933 3503
build-model-states-explored 429436 3503
build-model-states-explored 432940 3504
build-model-states-explored 436421 3481
build-model-states-explored 439906 3485
build-model-states-explored 443397 3491
build-model-states-explored 446883 3486
build-model-states-explored 450388 3505
build-model-states-explored 453888 3500
build-model-states-explored 457397 3508
build-model-states-explored 460900 3504
build-model-states-explored 464406 3506
build-model-states-explored 467913 3507
build-model-states-explored 471421 3508
build-model-states-explored 474905 3484
build-model-states-explored 478394 3489
build-model-states-explored 481882 3488
build-model-states-explored 485372 3490
build-model-states-explored 488869 3497
build-model-states-explored 492374 3505
build-model-states-explored 495872 3498
build-model-states-explored 499377 3505
build-model-states-explored 502881 3504
build-model-states-explored 506388 3507
build-model-states-explored 509869 3481
build-model-states-explored 513357 3488
build-model-states-explored 516846 3489
build-model-states-explored 520338 3492
build-model-states-explored 523837 3499
build-model-states-explored 524288 451
build-model-states-explored 524288 0
build-model-states-explored 524288 0
build-model-states-explored 527072 2784
build-model-states-explored 529900 2828
build-model-states-explored 532718 2818
build-model-states-explored 535533 2815
build-model-states-explored 538350 2817
build-model-states-explored 541177 2827
build-model-states-explored 543984 2807
build-model-states-explored 546811 2827
build-model-states-explored 549640 2829
build-model-states-explored 552470 2830
build-model-states-explored 555301 2831
build-model-states-explored 558132 2831
build-model-states-explored 560950 2818
build-model-states-explored 563772 2822
build-model-states-explored 566590 2818
build-model-states-explored 569417 2827
build-model-states-explored 572237 2820
build-model-states-explored 575063 2826
build-model-states-explored 577894 2831
build-model-states-explored 580727 2833
build-model-states-explored 583558 2831
build-model-states-explored 586389 2831
build-model-states-explored 589212 2823
build-model-states-explored 592033 2821
build-model-states-explored 594852 2819
build-model-states-explored 597674 2822
build-model-states-explored 600498 2824
build-model-states-explored 603323 2825
build-model-states-explored 606156 2833
build-model-states-explored 608979 2823
build-model-states-explored 611813 2834
build-model-states-explored 614647 2834
build-model-states-explored 617470 2823
build-model-states-explored 620293 2823
build-model-states-explored 623053 2760
build-model-states-explored 625872 2819
build-model-states-explored 628691 2819
build-model-states-explored 631520 2829
build-model-states-explored 634355 2835
build-model-states-explored 637193 2838
build-model-states-explored 640030 2837
build-model-states-explored 642866 2836
build-model-states-explored 645705 2839
build-model-states-explored 648544 2839
build-model-states-explored 651362 2818
build-model-states-explored 654187 2825
build-model-states-explored 657003 2816
build-model-states-explored 659816 2813
build-model-states-explored 662636 2820
build-model-states-explored 665463 2827
build-model-states-explored 668292 2829
build-model-states-explored 671121 2829
build-model-states-explored 673946 2825
build-model-states-explored 676775 2829
build-model-states-explored 679593 2818
build-model-states-explored 682409 2816
build-model-states-explored 685227 2818
build-model-states-explored 688047 2820
build-model-states-explored 690869 2822
build-model-states-explored 693700 2831
build-model-states-explored 696531 2831
build-model-states-explored 699362 2831
build-model-states-explored 702195 2833
build-model-states-explored 705028 2833
build-model-states-explored 707857 2829
build-model-states-explored 710676 2819
build-model-states-explored 713496 2820
build-model-states-explored 716317 2820
build-model-states-explored 719138 2822
build-model-states-explored 721965 2827
build-model-states-explored 724796 2831
build-model-states-explored 727628 2832
build-model-states-explored 730459 2831
build-model-states-explored 733292 2833
build-model-states-explored 736127 2835
build-model-states-explored 738948 2821
build-model-states-explored 741771 2823
build-model-states-explored 744593 2822
build-model-states-explored 747408 2815
build-model-states-explored 750164 2756
build-model-states-explored 752997 2833
build-model-states-explored 755828 2831
build-model-states-explored 758662 2834
build-model-states-explored 761477 2815
build-model-states-explored 764307 2830
build-model-states-explored 767127 2820
build-model-states-explored 769954 2827
build-model-states-explored 772767 2813
build-model-states-explored 775588 2821
build-model-states-explored 778418 2830
build-model-states-explored 781251 2833
build-model-states-explored 784085 2834
build-model-states-explored 786919 2834
build-model-states-explored 789743 2824
build-model-states-explored 792572 2829
build-model-states-explored 795403 2831
build-model-states-explored 798219 2816
build-model-states-explored 801039 2820
build-model-states-explored 803857 2818
build-model-states-explored 806671 2814
build-model-states-explored 809494 2823
build-model-states-explored 812324 2830
build-model-states-explored 815153 2829
build-model-states-explored 817980 2827
build-model-states-explored 820810 2830
build-model-states-explored 823121 2311
build-model-states-explored 825504 2383
build-model-states-explored 828332 2828
build-model-states-explored 831160 2828
build-model-states-explored 833989 2829
build-model-states-explored 836814 2825
build-model-states-explored 839642 2828
build-model-states-explored 842477 2835
build-model-states-explored 845312 2835
build-model-states-explored 848147 2835
build-model-states-explored 850983 2836
build-model-states-explored 853818 2835
build-model-states-explored 856651 2833
build-model-states-explored 859476 2825
build-model-states-explored 862299 2823
build-model-states-explored 865124 2825
build-model-states-explored 867951 2827
build-model-states-explored 870778 2827
build-model-states-explored 873612 2834
build-model-states-explored 876448 2836
build-model-states-explored 879283 2835
build-model-states-explored 882121 2838
build-model-states-explored 884960 2839
build-model-states-explored 887788 2828
build-model-states-explored 890615 2827
build-model-states-explored 893446 2831
build-model-states-explored 896274 2828
build-model-states-explored 899105 2831
build-model-states-explored 901943 2838
build-model-states-explored 904779 2836
build-model-states-explored 907619 2840
build-model-states-explored 910457 2838
build-model-states-explored 913278 2821
build-model-states-explored 916119 2841
build-model-states-explored 918948 2829
build-model-states-explored 921760 2812
build-model-states-explored 924581 2821
build-model-states-explored 927403 2822
build-model-states-explored 930229 2826
build-model-states-explored 933061 2832
build-model-states-explored 935892 2831
build-model-states-explored 938725 2833
build-model-states-explored 941552 2827
build-model-states-explored 944380 2828
build-model-states-explored 947204 2824
build-model-states-explored 950031 2827
build-model-states-explored 952853 2822
build-model-states-explored 955677 2824
build-model-states-explored 958507 2830
build-model-states-explored 961339 2832
build-model-states-explored 964175 2836
build-model-states-explored 967012 2837
build-model-states-explored 969847 2835
build-model-states-explored 972681 2834
build-model-states-explored 975513 2832
build-model-states-explored 978341 2828
build-model-states-explored 981169 2828
build-model-states-explored 983998 2829
build-model-states-explored 986827 2829
build-model-states-explored 989661 2834
build-model-states-explored 992494 2833
build-model-states-explored 995330 2836
build-model-states-explored 998166 2836
build-model-states-explored 1000998 2832
build-model-states-explored 1003833 2835
build-model-states-explored 1006664 2831
build-model-states-explored 1009491 2827
build-model-states-explored 1012320 2829
build-model-states-explored 1015150 2830
build-model-states-explored 1017919 2769
build-model-states-explored 1020753 2834
build-model-states-explored 1023590 2837
build-model-states-explored 1026425 2835
build-model-states-explored 1029265 2840
build-model-states-explored 1032107 2842
build-model-states-explored 1034942 2835
build-model-states-explored 1037774 2832
build-model-states-explored 1040607 2833
build-model-states-explored 1043437 2830
build-model-states-explored 1046268 2831
build-model-states-explored 1048576 2308
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1048576 0
build-model-states-explored 1050885 2309
build-model-states-explored 1053459 2574
build-model-states-explored 1056031 2572
build-model-states-explored 1058604 2573
build-model-states-explored 1061178 2574
build-model-states-explored 1063755 2577
build-model-states-explored 1066336 2581
build-model-states-explored 1068919 2583
build-model-states-explored 1071501 2582
build-model-states-explored 1074082 2581
build-model-states-explored 1076665 2583
build-model-states-explored 1079247 2582
build-model-states-explored 1081823 2576
build-model-states-explored 1084396 2573
build-model-states-explored 1086970 2574
build-model-states-explored 1089544 2574
build-model-states-explored 1092115 2571
build-model-states-explored 1094690 2575
build-model-states-explored 1097268 2578
build-model-states-explored 1099847 2579
build-model-states-explored 1102428 2581
build-model-states-explored 1105008 2580
build-model-states-explored 1107581 2573
build-model-states-explored 1110152 2571
build-model-states-explored 1112713 2561
build-model-states-explored 1115285 2572
build-model-states-explored 1117863 2578
build-model-states-explored 1120443 2580
build-model-states-explored 1123024 2581
build-model-states-explored 1125604 2580
build-model-states-explored 1128186 2582
build-model-states-explored 1130767 2581
build-model-states-explored 1133348 2581
build-model-states-explored 1135899 2551
build-model-states-explored 1138472 2573
build-model-states-explored 1141045 2573
build-model-states-explored 1143617 2572
build-model-states-explored 1146193 2576
build-model-states-explored 1148773 2580
build-model-states-explored 1151356 2583
build-model-states-explored 1153939 2583
build-model-states-explored 1156519 2580
build-model-states-explored 1159100 2581
build-model-states-explored 1161683 2583
build-model-states-explored 1164254 2571
build-model-states-explored 1166826 2572
build-model-states-explored 1169400 2574
build-model-states-explored 1171970 2570
build-model-states-explored 1174546 2576
build-model-states-explored 1177125 2579
build-model-states-explored 1179708 2583
build-model-states-explored 1182288 2580
build-model-states-explored 1184872 2584
build-model-states-explored 1187454 2582
build-model-states-explored 1190027 2573
build-model-states-explored 1192599 2572
build-model-states-explored 1195172 2573
build-model-states-explored 1197743 2571
build-model-states-explored 1200321 2578
build-model-states-explored 1202903 2582
build-model-states-explored 1205486 2583
build-model-states-explored 1208066 2580
build-model-states-explored 1210645 2579
build-model-states-explored 1213226 2581
build-model-states-explored 1215808 2582
build-model-states-explored 1218377 2569
build-model-states-explored 1220950 2573
build-model-states-explored 1223521 2571
build-model-states-explored 1226093 2572
build-model-states-explored 1228669 2576
build-model-states-explored 1231251 2582
build-model-states-explored 1233831 2580
build-model-states-explored 1236411 2580
build-model-states-explored 1238991 2580
build-model-states-explored 1241571 2580
build-model-states-explored 1244153 2582
build-model-states-explored 1246717 2564
build-model-states-explored 1249286 2569
build-model-states-explored 1251855 2569
build-model-states-explored 1254425 2570
build-model-states-explored 1256999 2574
build-model-states-explored 1259577 2578
build-model-states-explored 1262156 2579
build-model-states-explored 1264737 2581
build-model-states-explored 1267318 2581
build-model-states-explored 1269900 2582
build-model-states-explored 1272483 2583
build-model-states-explored 1275054 2571
build-model-states-explored 1277625 2571
build-model-states-explored 1280195 2570
build-model-states-explored 1282766 2571
build-model-states-explored 1285342 2576
build-model-states-explored 1287922 2580
build-model-states-explored 1290503 2581
build-model-states-explored 1293084 2581
build-model-states-explored 1295666 2582
build-model-states-explored 1298252 2586
build-model-states-explored 1300833 2581
build-model-states-explored 1303404 2571
build-model-states-explored 1305976 2572
build-model-states-explored 1308551 2575
build-model-states-explored 1311121 2570
build-model-states-explored 1313692 2571
build-model-states-explored 1316193 2501
build-model-states-explored 1318774 2581
build-model-states-explored 1321354 2580
build-model-states-explored 1323937 2583
build-model-states-explored 1326518 2581
build-model-states-explored 1329091 2573
build-model-states-explored 1331664 2573
build-model-states-explored 1334237 2573
build-model-states-explored 1336809 2572
build-model-states-explored 1339386 2577
build-model-states-explored 1341965 2579
build-model-states-explored 1344545 2580
build-model-states-explored 1347125 2580
build-model-states-explored 1349706 2581
build-model-states-explored 1352285 2579
build-model-states-explored 1354868 2583
build-model-states-explored 1357440 2572
build-model-states-explored 1360013 2573
build-model-states-explored 1362586 2573
build-model-states-explored 1365154 2568
build-model-states-explored 1367730 2576
build-model-states-explored 1370311 2581
build-model-states-explored 1372888 2577
build-model-states-explored 1375468 2580
build-model-states-explored 1378040 2572
build-model-states-explored 1380620 2580
build-model-states-explored 1383202 2582
build-model-states-explored 1385772 2570
build-model-states-explored 1388343 2571
build-model-states-explored 1390916 2573
build-model-states-explored 1393485 2569
build-model-states-explored 1396065 2580
build-model-states-explored 1398648 2583
build-model-states-explored 1401225 2577
build-model-states-explored 1403804 2579
build-model-states-explored 1406385 2581
build-model-states-explored 1408965 2580
build-model-states-explored 1411527 2562
build-model-states-explored 1414099 2572
build-model-states-explored 1416670 2571
build-model-states-explored 1419241 2571
build-model-states-explored 1421818 2577
build-model-states-explored 1424398 2580
build-model-states-explored 1426980 2582
build-model-states-explored 1429563 2583
build-model-states-explored 1432145 2582
build-model-states-explored 1434726 2581
build-model-states-explored 1437309 2583
build-model-states-explored 1439882 2573
build-model-states-explored 1442454 2572
build-model-states-explored 1445021 2567
build-model-states-explored 1447593 2572
build-model-states-explored 1450170 2577
build-model-states-explored 1452752 2582
build-model-states-explored 1455332 2580
build-model-states-explored 1457908 2576
build-model-states-explored 1460488 2580
build-model-states-explored 1463069 2581
build-model-states-explored 1465648 2579
build-model-states-explored 1468215 2567
build-model-states-explored 1470786 2571
build-model-states-explored 1473356 2570
build-model-states-explored 1475924 2568
build-model-states-explored 1478501 2577
build-model-states-explored 1481082 2581
build-model-states-explored 1483661 2579
build-model-states-explored 1486237 2576
build-model-states-explored 1488818 2581
build-model-states-explored 1491400 2582
build-model-states-explored 1493982 2582
build-model-states-explored 1496554 2572
build-model-states-explored 1499126 2572
build-model-states-explored 1501697 2571
build-model-states-explored 1504268 2571
build-model-states-explored 1506844 2576
build-model-states-explored 1509425 2581
build-model-states-explored 1512008 2583
build-model-states-explored 1514590 2582
build-model-states-explored 1517174 2584
build-model-states-explored 1519754 2580
build-model-states-explored 1522337 2583
build-model-states-explored 1524909 2572
build-model-states-explored 1527481 2572
build-model-states-explored 1530055 2574
build-model-states-explored 1532624 2569
build-model-states-explored 1535201 2577
build-model-states-explored 1537782 2581
build-model-states-explored 1540365 2583
build-model-states-explored 1542946 2581
build-model-states-explored 1545528 2582
build-model-states-explored 1548109 2581
build-model-states-explored 1550691 2582
build-model-states-explored 1553261 2570
build-model-states-explored 1555826 2565
build-model-states-explored 1558394 2568
build-model-states-explored 1560965 2571
build-model-states-explored 1563541 2576
build-model-states-explored 1566118 2577
build-model-states-explored 1568700 2582
build-model-states-explored 1571283 2583
build-model-states-explored 1573866 2583
build-model-states-explored 1576447 2581
build-model-states-explored 1579028 2581
build-model-states-explored 1581598 2570
build-model-states-explored 1584168 2570
build-model-states-explored 1586738 2570
build-model-states-explored 1589309 2571
build-model-states-explored 1591883 2574
build-model-states-explored 1594466 2583
build-model-states-explored 1597047 2581
build-model-states-explored 1599626 2579
build-model-states-explored 1602208 2582
build-model-states-explored 1604788 2580
build-model-states-explored 1607371 2583
build-model-states-explored 1609939 2568
build-model-states-explored 1612510 2571
build-model-states-explored 1615082 2572
build-model-states-explored 1617653 2571
build-model-states-explored 1620231 2578
build-model-states-explored 1622812 2581
build-model-states-explored 1625395 2583
build-model-states-explored 1627975 2580
build-model-states-explored 1630554 2579
build-model-states-explored 1633134 2580
build-model-states-explored 1635714 2580
build-model-states-explored 1638283 2569
build-model-states-explored 1640856 2573
build-model-states-explored 1643431 2575
build-model-states-explored 1646004 2573
build-model-states-explored 1648583 2579
build-model-states-explored 1651168 2585
build-model-states-explored 1653751 2583
build-model-states-explored 1656334 2583
build-model-states-explored 1658916 2582
build-model-states-explored 1661497 2581
build-model-states-explored 1664075 2578
build-model-states-explored 1666646 2571
build-model-states-explored 1669219 2573
build-model-states-explored 1671791 2572
build-model-states-explored 1674362 2571
build-model-states-explored 1676912 2550
build-model-states-explored 1679496 2584
build-model-states-explored 1682076 2580
build-model-states-explored 1684660 2584
build-model-states-explored 1687219 2559
build-model-states-explored 1689798 2579
build-model-states-explored 1692380 2582
build-model-states-explored 1694949 2569
build-model-states-explored 1697522 2573
build-model-states-explored 1700079 2557
build-model-states-explored 1702651 2572
build-model-states-explored 1705228 2577
build-model-states-explored 1707810 2582
build-model-states-explored 1710386 2576
build-model-states-explored 1712963 2577
build-model-states-explored 1715541 2578
build-model-states-explored 1718122 2581
build-model-states-explored 1720702 2580
build-model-states-explored 1723271 2569
build-model-states-explored 1725843 2572
build-model-states-explored 1728416 2573
build-model-states-explored 1730989 2573
build-model-states-explored 1733565 2576
build-model-states-explored 1736146 2581
build-model-states-explored 1738726 2580
build-model-states-explored 1741306 2580
build-model-states-explored 1743889 2583
build-model-states-explored 1746471 2582
build-model-states-explored 1749054 2583
build-model-states-explored 1751581 2527
build-model-states-explored 1754119 2538
build-model-states-explored 1756692 2573
build-model-states-explored 1759264 2572
build-model-states-explored 1761841 2577
build-model-states-explored 1764421 2580
build-model-states-explored 1767003 2582
build-model-states-explored 1769585 2582
build-model-states-explored 1772166 2581
build-model-states-explored 1774745 2579
build-model-states-explored 1777326 2581
build-model-states-explored 1779896 2570
build-model-states-explored 1782468 2572
build-model-states-explored 1785036 2568
build-model-states-explored 1787607 2571
build-model-states-explored 1790180 2573
build-model-states-explored 1792761 2581
build-model-states-explored 1795342 2581
build-model-states-explored 1797925 2583
build-model-states-explored 1800507 2582
build-model-states-explored 1803090 2583
build-model-states-explored 1805671 2581
build-model-states-explored 1808242 2571
build-model-states-explored 1810815 2573
build-model-states-explored 1813374 2559
build-model-states-explored 1815946 2572
build-model-states-explored 1818523 2577
build-model-states-explored 1821104 2581
build-model-states-explored 1823688 2584
build-model-states-explored 1826268 2580
build-model-states-explored 1828850 2582
build-model-states-explored 1831431 2581
build-model-states-explored 1834015 2584
build-model-states-explored 1836586 2571
build-model-states-explored 1839144 2558
build-model-states-explored 1841713 2569
build-model-states-explored 1844283 2570
build-model-states-explored 1846856 2573
build-model-states-explored 1849437 2581
build-model-states-explored 1852017 2580
build-model-states-explored 1854598 2581
build-model-states-explored 1857176 2578
build-model-states-explored 1859758 2582
build-model-states-explored 1862337 2579
build-model-states-explored 1864897 2560
build-model-states-explored 1867461 2564
build-model-states-explored 1870026 2565
build-model-states-explored 1872592 2566
build-model-states-explored 1875165 2573
build-model-states-explored 1877743 2578
build-model-states-explored 1880324 2581
build-model-states-explored 1882905 2581
build-model-states-explored 1885486 2581
build-model-states-explored 1888065 2579
build-model-states-explored 1890635 2570
build-model-states-explored 1893204 2569
build-model-states-explored 1895774 2570
build-model-states-explored 1898344 2570
build-model-states-explored 1900918 2574
build-model-states-explored 1903499 2581
build-model-states-explored 1906082 2583
build-model-states-explored 1908663 2581
build-model-states-explored 1911245 2582
build-model-states-explored 1913827 2582
build-model-states-explored 1916409 2582
build-model-states-explored 1918950 2541
build-model-states-explored 1921475 2525
build-model-states-explored 1924041 2566
build-model-states-explored 1926596 2555
build-model-states-explored 1929173 2577
build-model-states-explored 1931751 2578
build-model-states-explored 1934332 2581
build-model-states-explored 1936913 2581
build-model-states-explored 1939493 2580
build-model-states-explored 1942075 2582
build-model-states-explored 1944656 2581
build-model-states-explored 1947226 2570
build-model-states-explored 1949797 2571
build-model-states-explored 1952370 2573
build-model-states-explored 1954942 2572
build-model-states-explored 1957518 2576
build-model-states-explored 1960099 2581
build-model-states-explored 1962675 2576
build-model-states-explored 1965245 2570
build-model-states-explored 1967823 2578
build-model-states-explored 1970400 2577
build-model-states-explored 1972970 2570
build-model-states-explored 1975536 2566
build-model-states-explored 1978108 2572
build-model-states-explored 1980679 2571
build-model-states-explored 1983251 2572
build-model-states-explored 1985832 2581
build-model-states-explored 1988415 2583
build-model-states-explored 1990995 2580
build-model-states-explored 1993577 2582
build-model-states-explored 1996158 2581
build-model-states-explored 1998736 2578
build-model-states-explored 2001305 2569
build-model-states-explored 2003874 2569
build-model-states-explored 2006447 2573
build-model-states-explored 2009020 2573
build-model-states-explored 2011596 2576
build-model-states-explored 2014177 2581
build-model-states-explored 2016758 2581
build-model-states-explored 2019333 2575
build-model-states-explored 2021911 2578
build-model-states-explored 2024458 2547
build-model-states-explored 2026959 2501
build-model-states-explored 2029528 2569
build-model-states-explored 2032098 2570
build-model-states-explored 2034674 2576
build-model-states-explored 2037252 2578
build-model-states-explored 2039835 2583
build-model-states-explored 2042416 2581
build-model-states-explored 2044999 2583
build-model-states-explored 2047579 2580
build-model-states-explored 2050161 2582
build-model-states-explored 2052738 2577
build-model-states-explored 2055316 2578
build-model-states-explored 2057892 2576
build-model-states-explored 2060470 2578
build-model-states-explored 2063048 2578
build-model-states-explored 2065631 2583
build-model-states-explored 2068215 2584
build-model-states-explored 2070798 2583
build-model-states-explored 2073381 2583
build-model-states-explored 2075964 2583
build-model-states-explored 2078549 2585
build-model-states-explored 2081127 2578
build-model-states-explored 2083705 2578
build-model-states-explored 2086283 2578
build-model-states-explored 2088861 2578
build-model-states-explored 2091440 2579
build-model-states-explored 2094023 2583
build-model-states-explored 2096608 2585
build-model-states-explored 2097152 544
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 2097152 0
build-model-states-explored 2097901 749
build-model-states-explored 2100490 2589
build-model-states-explored 2103081 2591
build-model-states-explored 2105672 2591
build-model-states-explored 2108259 2587
build-model-states-explored 2110846 2587
build-model-states-explored 2113434 2588
build-model-states-explored 2116018 2584
build-model-states-explored 2118605 2587
build-model-states-explored 2121177 2572
build-model-states-explored 2123769 2592
build-model-states-explored 2126361 2592
build-model-states-explored 2128955 2594
build-model-states-explored 2131547 2592
build-model-states-explored 2134125 2578
build-model-states-explored 2136707 2582
build-model-states-explored 2139285 2578
build-model-states-explored 2141868 2583
build-model-states-explored 2144456 2588
build-model-states-explored 2147040 2584
build-model-states-explored 2149629 2589
build-model-states-explored 2152217 2588
build-model-states-explored 2154807 2590
build-model-states-explored 2157398 2591
build-model-states-explored 2159974 2576
build-model-states-explored 2162556 2582
build-model-states-explored 2165136 2580
build-model-states-explored 2167715 2579
build-model-states-explored 2170298 2583
build-model-states-explored 2172890 2592
build-model-states-explored 2175482 2592
build-model-states-explored 2178074 2592
build-model-states-explored 2180666 2592
build-model-states-explored 2183257 2591
build-model-states-explored 2185838 2581
build-model-states-explored 2188418 2580
build-model-states-explored 2191000 2582
build-model-states-explored 2193583 2583
build-model-states-explored 2196169 2586
build-model-states-explored 2198758 2589
build-model-states-explored 2201348 2590
build-model-states-explored 2203939 2591
build-model-states-explored 2206531 2592
build-model-states-explored 2209124 2593
build-model-states-explored 2211717 2593
build-model-states-explored 2214296 2579
build-model-states-explored 2216878 2582
build-model-states-explored 2219460 2582
build-model-states-explored 2222030 2570
build-model-states-explored 2224620 2590
build-model-states-explored 2227213 2593
build-model-states-explored 2229803 2590
build-model-states-explored 2232394 2591
build-model-states-explored 2234984 2590
build-model-states-explored 2237577 2593
build-model-states-explored 2240168 2591
build-model-states-explored 2242756 2588
build-model-states-explored 2243915 1159
build-model-states-explored 2246053 2138
build-model-states-explored 2248641 2588
build-model-states-explored 2251231 2590
build-model-states-explored 2253823 2592
build-model-states-explored 2256417 2594
build-model-states-explored 2259014 2597
build-model-states-explored 2261610 2596
build-model-states-explored 2264201 2591
build-model-states-explored 2266791 2590
build-model-states-explored 2269380 2589
build-model-states-explored 2271968 2588
build-model-states-explored 2274558 2590
build-model-states-explored 2277139 2581
build-model-states-explored 2279731 2592
build-model-states-explored 2282324 2593
build-model-states-explored 2284918 2594
build-model-states-explored 2287511 2593
build-model-states-explored 2290106 2595
build-model-states-explored 2292701 2595
build-model-states-explored 2295283 2582
build-model-states-explored 2297867 2584
build-model-states-explored 2300444 2577
build-model-states-explored 2303024 2580
build-model-states-explored 2305610 2586
build-model-states-explored 2308204 2594
build-model-states-explored 2310797 2593
build-model-states-explored 2313390 2593
build-model-states-explored 2315985 2595
build-model-states-explored 2318580 2595
build-model-states-explored 2321177 2597
build-model-states-explored 2323762 2585
build-model-states-explored 2326347 2585
build-model-states-explored 2328933 2586
build-model-states-explored 2331522 2589
build-model-states-explored 2334114 2592
build-model-states-explored 2336709 2595
build-model-states-explored 2339305 2596
build-model-states-explored 2341903 2598
build-model-states-explored 2344498 2595
build-model-states-explored 2347094 2596
build-model-states-explored 2349685 2591
build-model-states-explored 2352277 2592
build-model-states-explored 2354868 2591
build-model-states-explored 2357460 2592
build-model-states-explored 2360052 2592
build-model-states-explored 2362645 2593
build-model-states-explored 2365235 2590
build-model-states-explored 2367823 2588
build-model-states-explored 2370416 2593
build-model-states-explored 2373010 2594
build-model-states-explored 2375604 2594
build-model-states-explored 2378191 2587
build-model-states-explored 2380776 2585
build-model-states-explored 2383363 2587
build-model-states-explored 2385951 2588
build-model-states-explored 2388541 2590
build-model-states-explored 2391137 2596
build-model-states-explored 2393730 2593
build-model-states-explored 2396275 2545
build-model-states-explored 2398670 2395
build-model-states-explored 2401264 2594
build-model-states-explored 2403852 2588
build-model-states-explored 2406444 2592
build-model-states-explored 2409034 2590
build-model-states-explored 2411623 2589
build-model-states-explored 2414212 2589
build-model-states-explored 2416804 2592
build-model-states-explored 2419398 2594
build-model-states-explored 2421991 2593
build-model-states-explored 2424587 2596
build-model-states-explored 2427182 2595
build-model-states-explored 2429775 2593
build-model-states-explored 2432366 2591
build-model-states-explored 2434956 2590
build-model-states-explored 2437548 2592
build-model-states-explored 2440139 2591
build-model-states-explored 2442734 2595
build-model-states-explored 2445326 2592
build-model-states-explored 2447924 2598
build-model-states-explored 2450521 2597
build-model-states-explored 2453113 2592
build-model-states-explored 2455705 2592
build-model-states-explored 2458300 2595
build-model-states-explored 2460887 2587
build-model-states-explored 2463473 2586
build-model-states-explored 2466061 2588
build-model-states-explored 2468650 2589
build-model-states-explored 2471244 2594
build-model-states-explored 2473840 2596
build-model-states-explored 2476434 2594
build-model-states-explored 2479030 2596
build-model-states-explored 2481625 2595
build-model-states-explored 2484222 2597
build-model-states-explored 2486819 2597
build-model-states-explored 2489414 2595
build-model-states-explored 2492005 2591
build-model-states-explored 2494596 2591
build-model-states-explored 2497187 2591
build-model-states-explored 2499782 2595
build-model-states-explored 2502378 2596
build-model-states-explored 2504976 2598
build-model-states-explored 2507572 2596
build-model-states-explored 2510167 2595
build-model-states-explored 2512763 2596
build-model-states-explored 2515360 2597
build-model-states-explored 2517952 2592
build-model-states-explored 2520546 2594
build-model-states-explored 2523139 2593
build-model-states-explored 2525728 2589
build-model-states-explored 2528314 2586
build-model-states-explored 2530908 2594
build-model-states-explored 2533491 2583
build-model-states-explored 2536084 2593
build-model-states-explored 2538680 2596
build-model-states-explored 2541275 2595
build-model-states-explored 2543871 2596
build-model-states-explored 2546456 2585
build-model-states-explored 2549046 2590
build-model-states-explored 2551638 2592
build-model-states-explored 2554230 2592
build-model-states-explored 2556825 2595
build-model-states-explored 2559417 2592
build-model-states-explored 2562011 2594
build-model-states-explored 2564608 2597
build-model-states-explored 2567207 2599
build-model-states-explored 2569804 2597
build-model-states-explored 2572403 2599
build-model-states-explored 2574991 2588
build-model-states-explored 2577580 2589
build-model-states-explored 2580171 2591
build-model-states-explored 2582759 2588
build-model-states-explored 2585350 2591
build-model-states-explored 2587943 2593
build-model-states-explored 2590538 2595
build-model-states-explored 2593134 2596
build-model-states-explored 2595732 2598
build-model-states-explored 2598330 2598
build-model-states-explored 2600927 2597
build-model-states-explored 2603522 2595
build-model-states-explored 2606114 2592
build-model-states-explored 2608700 2586
build-model-states-explored 2611286 2586
build-model-states-explored 2613877 2591
build-model-states-explored 2616467 2590
build-model-states-explored 2619064 2597
build-model-states-explored 2621660 2596
build-model-states-explored 2624253 2593
build-model-states-explored 2626830 2577
build-model-states-explored 2629424 2594
build-model-states-explored 2632010 2586
build-model-states-explored 2634598 2588
build-model-states-explored 2637184 2586
build-model-states-explored 2639767 2583
build-model-states-explored 2642355 2588
build-model-states-explored 2644944 2589
build-model-states-explored 2647539 2595
build-model-states-explored 2650134 2595
build-model-states-explored 2652732 2598
build-model-states-explored 2655326 2594
build-model-states-explored 2657913 2587
build-model-states-explored 2660500 2587
build-model-states-explored 2663086 2586
build-model-states-explored 2665673 2587
build-model-states-explored 2668263 2590
build-model-states-explored 2670857 2594
build-model-states-explored 2673449 2592
build-model-states-explored 2676045 2596
build-model-states-explored 2678642 2597
build-model-states-explored 2681239 2597
build-model-states-explored 2683836 2597
build-model-states-explored 2686429 2593
build-model-states-explored 2689014 2585
build-model-states-explored 2691594 2580
build-model-states-explored 2694180 2586
build-model-states-explored 2696769 2589
build-model-states-explored 2699361 2592
build-model-states-explored 2701957 2596
build-model-states-explored 2704552 2595
build-model-states-explored 2707147 2595
build-model-states-explored 2709742 2595
build-model-states-explored 2712339 2597
build-model-states-explored 2714929 2590
build-model-states-explored 2717517 2588
build-model-states-explored 2720105 2588
build-model-states-explored 2722692 2587
build-model-states-explored 2725282 2590
build-model-states-explored 2727876 2594
build-model-states-explored 2730472 2596
build-model-states-explored 2733069 2597
build-model-states-explored 2735664 2595
build-model-states-explored 2738260 2596
build-model-states-explored 2740850 2590
build-model-states-explored 2743438 2588
build-model-states-explored 2746027 2589
build-model-states-explored 2748614 2587
build-model-states-explored 2751206 2592
build-model-states-explored 2753801 2595
build-model-states-explored 2756394 2593
build-model-states-explored 2758990 2596
build-model-states-explored 2761586 2596
build-model-states-explored 2764176 2590
build-model-states-explored 2766769 2593
build-model-states-explored 2769356 2587
build-model-states-explored 2771940 2584
build-model-states-explored 2774525 2585
build-model-states-explored 2777112 2587
build-model-states-explored 2779700 2588
build-model-states-explored 2782294 2594
build-model-states-explored 2784886 2592
build-model-states-explored 2787473 2587
build-model-states-explored 2790066 2593
build-model-states-explored 2792659 2593
build-model-states-explored 2795229 2570
build-model-states-explored 2797820 2591
build-model-states-explored 2800407 2587
build-model-states-explored 2802995 2588
build-model-states-explored 2805584 2589
build-model-states-explored 2808173 2589
build-model-states-explored 2810763 2590
build-model-states-explored 2813359 2596
build-model-states-explored 2815957 2598
build-model-states-explored 2818552 2595
build-model-states-explored 2821146 2594
build-model-states-explored 2823736 2590
build-model-states-explored 2826325 2589
build-model-states-explored 2828912 2587
build-model-states-explored 2831502 2590
build-model-states-explored 2834096 2594
build-model-states-explored 2836692 2596
build-model-states-explored 2839288 2596
build-model-states-explored 2841885 2597
build-model-states-explored 2844482 2597
build-model-states-explored 2847079 2597
build-model-states-explored 2849675 2596
build-model-states-explored 2852255 2580
build-model-states-explored 2854842 2587
build-model-states-explored 2857433 2591
build-model-states-explored 2860022 2589
build-model-states-explored 2862613 2591
build-model-states-explored 2865212 2599
build-model-states-explored 2867809 2597
build-model-states-explored 2870405 2596
build-model-states-explored 2873001 2596
build-model-states-explored 2875600 2599
build-model-states-explored 2878193 2593
build-model-states-explored 2880784 2591
build-model-states-explored 2883379 2595
build-model-states-explored 2885965 2586
build-model-states-explored 2888551 2586
build-model-states-explored 2891141 2590
build-model-states-explored 2893735 2594
build-model-states-explored 2896329 2594
build-model-states-explored 2898926 2597
build-model-states-explored 2901518 2592
build-model-states-explored 2904107 2589
build-model-states-explored 2906695 2588
build-model-states-explored 2909282 2587
build-model-states-explored 2911870 2588
build-model-states-explored 2914460 2590
build-model-states-explored 2917056 2596
build-model-states-explored 2919643 2587
build-model-states-explored 2922234 2591
build-model-states-explored 2924827 2593
build-model-states-explored 2927420 2593
build-model-states-explored 2930016 2596
build-model-states-explored 2932606 2590
build-model-states-explored 2935192 2586
build-model-states-explored 2937777 2585
build-model-states-explored 2940364 2587
build-model-states-explored 2942952 2588
build-model-states-explored 2945547 2595
build-model-states-explored 2948142 2595
build-model-states-explored 2950736 2594
build-model-states-explored 2953330 2594
build-model-states-explored 2955926 2596
build-model-states-explored 2958521 2595
build-model-states-explored 2961110 2589
build-model-states-explored 2963697 2587
build-model-states-explored 2966285 2588
build-model-states-explored 2968873 2588
build-model-states-explored 2971464 2591
build-model-states-explored 2974056 2592
build-model-states-explored 2976652 2596
build-model-states-explored 2979250 2598
build-model-states-explored 2981850 2600
build-model-states-explored 2984443 2593
build-model-states-explored 2987032 2589
build-model-states-explored 2989614 2582
build-model-states-explored 2992203 2589
build-model-states-explored 2994792 2589
build-model-states-explored 2997386 2594
build-model-states-explored 2999981 2595
build-model-states-explored 3002576 2595
build-model-states-explored 3005173 2597
build-model-states-explored 3007772 2599
build-model-states-explored 3010371 2599
build-model-states-explored 3012971 2600
build-model-states-explored 3015563 2592
build-model-states-explored 3018151 2588
build-model-states-explored 3020740 2589
build-model-states-explored 3023330 2590
build-model-states-explored 3025920 2590
build-model-states-explored 3028518 2598
build-model-states-explored 3031117 2599
build-model-states-explored 3033712 2595
build-model-states-explored 3036306 2594
build-model-states-explored 3038903 2597
build-model-states-explored 3041501 2598
build-model-states-explored 3044093 2592
build-model-states-explored 3046684 2591
build-model-states-explored 3049274 2590
build-model-states-explored 3051857 2583
build-model-states-explored 3054413 2556
build-model-states-explored 3056981 2568
build-model-states-explored 3059578 2597
build-model-states-explored 3062173 2595
build-model-states-explored 3064769 2596
build-model-states-explored 3067364 2595
build-model-states-explored 3069950 2586
build-model-states-explored 3072535 2585
build-model-states-explored 3075117 2582
build-model-states-explored 3077701 2584
build-model-states-explored 3080292 2591
build-model-states-explored 3082885 2593
build-model-states-explored 3085481 2596
build-model-states-explored 3088077 2596
build-model-states-explored 3090674 2597
build-model-states-explored 3093273 2599
build-model-states-explored 3095872 2599
build-model-states-explored 3098455 2583
build-model-states-explored 3101040 2585
build-model-states-explored 3103626 2586
build-model-states-explored 3106213 2587
build-model-states-explored 3108804 2591
build-model-states-explored 3111404 2600
build-model-states-explored 3114004 2600
build-model-states-explored 3116601 2597
build-model-states-explored 3119199 2598
build-model-states-explored 3121796 2597
build-model-states-explored 3124394 2598
build-model-states-explored 3126982 2588
build-model-states-explored 3129568 2586
build-model-states-explored 3132155 2587
build-model-states-explored 3134742 2587
build-model-states-explored 3137334 2592
build-model-states-explored 3139929 2595
build-model-states-explored 3142529 2600
build-model-states-explored 3145129 2600
build-model-states-explored 3147585 2456
build-model-states-explored 3150175 2590
build-model-states-explored 3152757 2582
build-model-states-explored 3155337 2580
build-model-states-explored 3157917 2580
build-model-states-explored 3160499 2582
build-model-states-explored 3163087 2588
build-model-states-explored 3165678 2591
build-model-states-explored 3168272 2594
build-model-states-explored 3170864 2592
build-model-states-explored 3173460 2596
build-model-states-explored 3176056 2596
build-model-states-explored 3178642 2586
build-model-states-explored 3181223 2581
build-model-states-explored 3183804 2581
build-model-states-explored 3186379 2575
build-model-states-explored 3188955 2576
build-model-states-explored 3191543 2588
build-model-states-explored 3194133 2590
build-model-states-explored 3196723 2590
build-model-states-explored 3199314 2591
build-model-states-explored 3201905 2591
build-model-states-explored 3204487 2582
build-model-states-explored 3207068 2581
build-model-states-explored 3209652 2584
build-model-states-explored 3212237 2585
build-model-states-explored 3214822 2585
build-model-states-explored 3217415 2593
build-model-states-explored 3220007 2592
build-model-states-explored 3222597 2590
build-model-states-explored 3225192 2595
build-model-states-explored 3227787 2595
build-model-states-explored 3230373 2586
build-model-states-explored 3232953 2580
build-model-states-explored 3235534 2581
build-model-states-explored 3238114 2580
build-model-states-explored 3240698 2584
build-model-states-explored 3243287 2589
build-model-states-explored 3245880 2593
build-model-states-explored 3248473 2593
build-model-states-explored 3251069 2596
build-model-states-explored 3253662 2593
build-model-states-explored 3256256 2594
build-model-states-explored 3258836 2580
build-model-states-explored 3261415 2579
build-model-states-explored 3263994 2579
build-model-states-explored 3266576 2582
build-model-states-explored 3269163 2587
build-model-states-explored 3271759 2596
build-model-states-explored 3274354 2595
build-model-states-explored 3276949 2595
build-model-states-explored 3279432 2483
build-model-states-explored 3281982 2550
build-model-states-explored 3284561 2579
build-model-states-explored 3287143 2582
build-model-states-explored 3289728 2585
build-model-states-explored 3292312 2584
build-model-states-explored 3294895 2583
build-model-states-explored 3297488 2593
build-model-states-explored 3300080 2592
build-model-states-explored 3302674 2594
build-model-states-explored 3305267 2593
build-model-states-explored 3307863 2596
build-model-states-explored 3310457 2594
build-model-states-explored 3313038 2581
build-model-states-explored 3315620 2582
build-model-states-explored 3318204 2584
build-model-states-explored 3320790 2586
build-model-states-explored 3323380 2590
build-model-states-explored 3325971 2591
build-model-states-explored 3328560 2589
build-model-states-explored 3331153 2593
build-model-states-explored 3333746 2593
build-model-states-explored 3336340 2594
build-model-states-explored 3338922 2582
build-model-states-explored 3341510 2588
build-model-states-explored 3344094 2584
build-model-states-explored 3346679 2585
build-model-states-explored 3349269 2590
build-model-states-explored 3351865 2596
build-model-states-explored 3354461 2596
build-model-states-explored 3357057 2596
build-model-states-explored 3359653 2596
build-model-states-explored 3362246 2593
build-model-states-explored 3364839 2593
build-model-states-explored 3367423 2584
build-model-states-explored 3370007 2584
build-model-states-explored 3372593 2586
build-model-states-explored 3375182 2589
build-model-states-explored 3377770 2588
build-model-states-explored 3380364 2594
build-model-states-explored 3382960 2596
build-model-states-explored 3385546 2586
build-model-states-explored 3388138 2592
build-model-states-explored 3390731 2593
build-model-states-explored 3393314 2583
build-model-states-explored 3395896 2582
build-model-states-explored 3398480 2584
build-model-states-explored 3401065 2585
build-model-states-explored 3403657 2592
build-model-states-explored 3406254 2597
build-model-states-explored 3408847 2593
build-model-states-explored 3411438 2591
build-model-states-explored 3414028 2590
build-model-states-explored 3416617 2589
build-model-states-explored 3419208 2591
build-model-states-explored 3421793 2585
build-model-states-explored 3424379 2586
build-model-states-explored 3426962 2583
build-model-states-explored 3429546 2584
build-model-states-explored 3432132 2586
build-model-states-explored 3434726 2594
build-model-states-explored 3437320 2594
build-model-states-explored 3439914 2594
build-model-states-explored 3442503 2589
build-model-states-explored 3445095 2592
build-model-states-explored 3447688 2593
build-model-states-explored 3450267 2579
build-model-states-explored 3452849 2582
build-model-states-explored 3455429 2580
build-model-states-explored 3458005 2576
build-model-states-explored 3460589 2584
build-model-states-explored 3463180 2591
build-model-states-explored 3465769 2589
build-model-states-explored 3468359 2590
build-model-states-explored 3470951 2592
build-model-states-explored 3473531 2580
build-model-states-explored 3476098 2567
build-model-states-explored 3478679 2581
build-model-states-explored 3481262 2583
build-model-states-explored 3483846 2584
build-model-states-explored 3486437 2591
build-model-states-explored 3489032 2595
build-model-states-explored 3491625 2593
build-model-states-explored 3494217 2592
build-model-states-explored 3496812 2595
build-model-states-explored 3499408 2596
build-model-states-explored 3502004 2596
build-model-states-explored 3504589 2585
build-model-states-explored 3507176 2587
build-model-states-explored 3509758 2582
build-model-states-explored 3512342 2584
build-model-states-explored 3514934 2592
build-model-states-explored 3517528 2594
build-model-states-explored 3520122 2594
build-model-states-explored 3522717 2595
build-model-states-explored 3525312 2595
build-model-states-explored 3527908 2596
build-model-states-explored 3530503 2595
build-model-states-explored 3533087 2584
build-model-states-explored 3535659 2572
build-model-states-explored 3538248 2589
build-model-states-explored 3540825 2577
build-model-states-explored 3543409 2584
build-model-states-explored 3545999 2590
build-model-states-explored 3548591 2592
build-model-states-explored 3551184 2593
build-model-states-explored 3553780 2596
build-model-states-explored 3556376 2596
build-model-states-explored 3558963 2587
build-model-states-explored 3561552 2589
build-model-states-explored 3564138 2586
build-model-states-explored 3566730 2592
build-model-states-explored 3569323 2593
build-model-states-explored 3571918 2595
build-model-states-explored 3574512 2594
build-model-states-explored 3577108 2596
build-model-states-explored 3579704 2596
build-model-states-explored 3582299 2595
build-model-states-explored 3584891 2592
build-model-states-explored 3587483 2592
build-model-states-explored 3590073 2590
build-model-states-explored 3592665 2592
build-model-states-explored 3595255 2590
build-model-states-explored 3597851 2596
build-model-states-explored 3600448 2597
build-model-states-explored 3603046 2598
build-model-states-explored 3605642 2596
build-model-states-explored 3608238 2596
build-model-states-explored 3610767 2529
build-model-states-explored 3613357 2590
build-model-states-explored 3615948 2591
build-model-states-explored 3618541 2593
build-model-states-explored 3621135 2594
build-model-states-explored 3623728 2593
build-model-states-explored 3626323 2595
build-model-states-explored 3628919 2596
build-model-states-explored 3631517 2598
build-model-states-explored 3634114 2597
build-model-states-explored 3636712 2598
build-model-states-explored 3639303 2591
build-model-states-explored 3641894 2591
build-model-states-explored 3644487 2593
build-model-states-explored 3647078 2591
build-model-states-explored 3649671 2593
build-model-states-explored 3652271 2600
build-model-states-explored 3654868 2597
build-model-states-explored 3657462 2594
build-model-states-explored 3660061 2599
build-model-states-explored 3662658 2597
build-model-states-explored 3665253 2595
build-model-states-explored 3667846 2593
build-model-states-explored 3670438 2592
build-model-states-explored 3673025 2587
build-model-states-explored 3675612 2587
build-model-states-explored 3678205 2593
build-model-states-explored 3680797 2592
build-model-states-explored 3683391 2594
build-model-states-explored 3685988 2597
build-model-states-explored 3688579 2591
build-model-states-explored 3691133 2554
build-model-states-explored 3693722 2589
build-model-states-explored 3696301 2579
build-model-states-explored 3698869 2568
build-model-states-explored 3701455 2586
build-model-states-explored 3704045 2590
build-model-states-explored 3706634 2589
build-model-states-explored 3709223 2589
build-model-states-explored 3711816 2593
build-model-states-explored 3714408 2592
build-model-states-explored 3717002 2594
build-model-states-explored 3719584 2582
build-model-states-explored 3722166 2582
build-model-states-explored 3724748 2582
build-model-states-explored 3727312 2564
build-model-states-explored 3729894 2582
build-model-states-explored 3732489 2595
build-model-states-explored 3735086 2597
build-model-states-explored 3737678 2592
build-model-states-explored 3740269 2591
build-model-states-explored 3742864 2595
build-model-states-explored 3745456 2592
build-model-states-explored 3748006 2550
build-model-states-explored 3750570 2564
build-model-states-explored 3753151 2581
build-model-states-explored 3755732 2581
build-model-states-explored 3758320 2588
build-model-states-explored 3760912 2592
build-model-states-explored 3763508 2596
build-model-states-explored 3766104 2596
build-model-states-explored 3768702 2598
build-model-states-explored 3771294 2592
build-model-states-explored 3773885 2591
build-model-states-explored 3776467 2582
build-model-states-explored 3779048 2581
build-model-states-explored 3781633 2585
build-model-states-explored 3784221 2588
build-model-states-explored 3786807 2586
build-model-states-explored 3789403 2596
build-model-states-explored 3791995 2592
build-model-states-explored 3794591 2596
build-model-states-explored 3797187 2596
build-model-states-explored 3799786 2599
build-model-states-explored 3802380 2594
build-model-states-explored 3804961 2581
build-model-states-explored 3807546 2585
build-model-states-explored 3810130 2584
build-model-states-explored 3812714 2584
build-model-states-explored 3815305 2591
build-model-states-explored 3817901 2596
build-model-states-explored 3820496 2595
build-model-states-explored 3823090 2594
build-model-states-explored 3825687 2597
build-model-states-explored 3828274 2587
build-model-states-explored 3830867 2593
build-model-states-explored 3833452 2585
build-model-states-explored 3836036 2584
build-model-states-explored 3838619 2583
build-model-states-explored 3841205 2586
build-model-states-explored 3843794 2589
build-model-states-explored 3846390 2596
build-model-states-explored 3848987 2597
build-model-states-explored 3851577 2590
build-model-states-explored 3854169 2592
build-model-states-explored 3856762 2593
build-model-states-explored 3859355 2593
build-model-states-explored 3861938 2583
build-model-states-explored 3864523 2585
build-model-states-explored 3867108 2585
build-model-states-explored 3869692 2584
build-model-states-explored 3872283 2591
build-model-states-explored 3874877 2594
build-model-states-explored 3877473 2596
build-model-states-explored 3880070 2597
build-model-states-explored 3882665 2595
build-model-states-explored 3885258 2593
build-model-states-explored 3887855 2597
build-model-states-explored 3890440 2585
build-model-states-explored 3893027 2587
build-model-states-explored 3895610 2583
build-model-states-explored 3898197 2587
build-model-states-explored 3900788 2591
build-model-states-explored 3903383 2595
build-model-states-explored 3905978 2595
build-model-states-explored 3908572 2594
build-model-states-explored 3911170 2598
build-model-states-explored 3913769 2599
build-model-states-explored 3916365 2596
build-model-states-explored 3918949 2584
build-model-states-explored 3921533 2584
build-model-states-explored 3924117 2584
build-model-states-explored 3926701 2584
build-model-states-explored 3929292 2591
build-model-states-explored 3931890 2598
build-model-states-explored 3934479 2589
build-model-states-explored 3937070 2591
build-model-states-explored 3939663 2593
build-model-states-explored 3942256 2593
build-model-states-explored 3944838 2582
build-model-states-explored 3947422 2584
build-model-states-explored 3950001 2579
build-model-states-explored 3952579 2578
build-model-states-explored 3955165 2586
build-model-states-explored 3957756 2591
build-model-states-explored 3960347 2591
build-model-states-explored 3962942 2595
build-model-states-explored 3965536 2594
build-model-states-explored 3968129 2593
build-model-states-explored 3970721 2592
build-model-states-explored 3973303 2582
build-model-states-explored 3975887 2584
build-model-states-explored 3978468 2581
build-model-states-explored 3981049 2581
build-model-states-explored 3983634 2585
build-model-states-explored 3986176 2542
build-model-states-explored 3988769 2593
build-model-states-explored 3991361 2592
build-model-states-explored 3993955 2594
build-model-states-explored 3996551 2596
build-model-states-explored 3999145 2594
build-model-states-explored 4001728 2583
build-model-states-explored 4004312 2584
build-model-states-explored 4006889 2577
build-model-states-explored 4009468 2579
build-model-states-explored 4012054 2586
build-model-states-explored 4014645 2591
build-model-states-explored 4017237 2592
build-model-states-explored 4019831 2594
build-model-states-explored 4022423 2592
build-model-states-explored 4025020 2597
build-model-states-explored 4027605 2585
build-model-states-explored 4030192 2587
build-model-states-explored 4032777 2585
build-model-states-explored 4035361 2584
build-model-states-explored 4037948 2587
build-model-states-explored 4040542 2594
build-model-states-explored 4043136 2594
build-model-states-explored 4045733 2597
build-model-states-explored 4048329 2596
build-model-states-explored 4050924 2595
build-model-states-explored 4053518 2594
build-model-states-explored 4056090 2572
build-model-states-explored 4058676 2586
build-model-states-explored 4061263 2587
build-model-states-explored 4063846 2583
build-model-states-explored 4066433 2587
build-model-states-explored 4069027 2594
build-model-states-explored 4071620 2593
build-model-states-explored 4074213 2593
build-model-states-explored 4076809 2596
build-model-states-explored 4079406 2597
build-model-states-explored 4081999 2593
build-model-states-explored 4084581 2582
build-model-states-explored 4087166 2585
build-model-states-explored 4089750 2584
build-model-states-explored 4092333 2583
build-model-states-explored 4094927 2594
build-model-states-explored 4097522 2595
build-model-states-explored 4100114 2592
build-model-states-explored 4102707 2593
build-model-states-explored 4105303 2596
build-model-states-explored 4107898 2595
build-model-states-explored 4110483 2585
build-model-states-explored 4113065 2582
build-model-states-explored 4115646 2581
build-model-states-explored 4118230 2584
build-model-states-explored 4120820 2590
build-model-states-explored 4123416 2596
build-model-states-explored 4126014 2598
build-model-states-explored 4128612 2598
build-model-states-explored 4131207 2595
build-model-states-explored 4133801 2594
build-model-states-explored 4136398 2597
build-model-states-explored 4138982 2584
build-model-states-explored 4141565 2583
build-model-states-explored 4144153 2588
build-model-states-explored 4146738 2585
build-model-states-explored 4149329 2591
build-model-states-explored 4151926 2597
build-model-states-explored 4154522 2596
build-model-states-explored 4157120 2598
build-model-states-explored 4159721 2601
build-model-states-explored 4162312 2591
build-model-states-explored 4164892 2580
build-model-states-explored 4167474 2582
build-model-states-explored 4170057 2583
build-model-states-explored 4172642 2585
build-model-states-explored 4175234 2592
build-model-states-explored 4177833 2599
build-model-states-explored 4180428 2595
build-model-states-explored 4183024 2596
build-model-states-explored 4185621 2597
build-model-states-explored 4188219 2598
build-model-states-explored 4190805 2586
build-model-states-explored 4193391 2586
build-model-states-explored 4194304 913
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 4194304 0
build-model-states-explored 4194304 0
build-model-states-explored 4196040 1736
build-model-states-explored 4198619 2579
build-model-states-explored 4201204 2585
build-model-states-explored 4203793 2589
build-model-states-explored 4206384 2591
build-model-states-explored 4208974 2590
build-model-states-explored 4211565 2591
build-model-states-explored 4214153 2588
build-model-states-explored 4216730 2577
build-model-states-explored 4219311 2581
build-model-states-explored 4221893 2582
build-model-states-explored 4224476 2583
build-model-states-explored 4227063 2587
build-model-states-explored 4229651 2588
build-model-states-explored 4232241 2590
build-model-states-explored 4234829 2588
build-model-states-explored 4237420 2591
build-model-states-explored 4240011 2591
build-model-states-explored 4242600 2589
build-model-states-explored 4245178 2578
build-model-states-explored 4247758 2580
build-model-states-explored 4250339 2581
build-model-states-explored 4252920 2581
build-model-states-explored 4255506 2586
build-model-states-explored 4258097 2591
build-model-states-explored 4260689 2592
build-model-states-explored 4263271 2582
build-model-states-explored 4265856 2585
build-model-states-explored 4268443 2587
build-model-states-explored 4271017 2574
build-model-states-explored 4273596 2579
build-model-states-explored 4276175 2579
build-model-states-explored 4278752 2577
build-model-states-explored 4281337 2585
build-model-states-explored 4283927 2590
build-model-states-explored 4286518 2591
build-model-states-explored 4289109 2591
build-model-states-explored 4291701 2592
build-model-states-explored 4294289 2588
build-model-states-explored 4296866 2577
build-model-states-explored 4299446 2580
build-model-states-explored 4302026 2580
build-model-states-explored 4304608 2582
build-model-states-explored 4307193 2585
build-model-states-explored 4309784 2591
build-model-states-explored 4312374 2590
build-model-states-explored 4314960 2586
build-model-states-explored 4317551 2591
build-model-states-explored 4320140 2589
build-model-states-explored 4322720 2580
build-model-states-explored 4325302 2582
build-model-states-explored 4327876 2574
build-model-states-explored 4330453 2577
build-model-states-explored 4333038 2585
build-model-states-explored 4335628 2590
build-model-states-explored 4338217 2589
build-model-states-explored 4340809 2592
build-model-states-explored 4343398 2589
build-model-states-explored 4345986 2588
build-model-states-explored 4348561 2575
build-model-states-explored 4351142 2581
build-model-states-explored 4353723 2581
build-model-states-explored 4356297 2574
build-model-states-explored 4358877 2580
build-model-states-explored 4361467 2590
build-model-states-explored 4364057 2590
build-model-states-explored 4366646 2589
build-model-states-explored 4369234 2588
build-model-states-explored 4371824 2590
build-model-states-explored 4374402 2578
build-model-states-explored 4376986 2584
build-model-states-explored 4379570 2584
build-model-states-explored 4382152 2582
build-model-states-explored 4384652 2500
build-model-states-explored 4387243 2591
build-model-states-explored 4389835 2592
build-model-states-explored 4392426 2591
build-model-states-explored 4395017 2591
build-model-states-explored 4397607 2590
build-model-states-explored 4400193 2586
build-model-states-explored 4402773 2580
build-model-states-explored 4405354 2581
build-model-states-explored 4407936 2582
build-model-states-explored 4410511 2575
build-model-states-explored 4413096 2585
build-model-states-explored 4415688 2592
build-model-states-explored 4418273 2585
build-model-states-explored 4420861 2588
build-model-states-explored 4423450 2589
build-model-states-explored 4426036 2586
build-model-states-explored 4428615 2579
build-model-states-explored 4431200 2585
build-model-states-explored 4433785 2585
build-model-states-explored 4436370 2585
build-model-states-explored 4438957 2587
build-model-states-explored 4441544 2587
build-model-states-explored 4444133 2589
build-model-states-explored 4446725 2592
build-model-states-explored 4449316 2591
build-model-states-explored 4451906 2590
build-model-states-explored 4454494 2588
build-model-states-explored 4457072 2578
build-model-states-explored 4459655 2583
build-model-states-explored 4462237 2582
build-model-states-explored 4464823 2586
build-model-states-explored 4467411 2588
build-model-states-explored 4470001 2590
build-model-states-explored 4472590 2589
build-model-states-explored 4475178 2588
build-model-states-explored 4477766 2588
build-model-states-explored 4480356 2590
build-model-states-explored 4482940 2584
build-model-states-explored 4485525 2585
build-model-states-explored 4488108 2583
build-model-states-explored 4490691 2583
build-model-states-explored 4493272 2581
build-model-states-explored 4495860 2588
build-model-states-explored 4498449 2589
build-model-states-explored 4501038 2589
build-model-states-explored 4503628 2590
build-model-states-explored 4506218 2590
build-model-states-explored 4508809 2591
build-model-states-explored 4511394 2585
build-model-states-explored 4513974 2580
build-model-states-explored 4516557 2583
build-model-states-explored 4519141 2584
build-model-states-explored 4521728 2587
build-model-states-explored 4524316 2588
build-model-states-explored 4526903 2587
build-model-states-explored 4529491 2588
build-model-states-explored 4532079 2588
build-model-states-explored 4534668 2589
build-model-states-explored 4537253 2585
build-model-states-explored 4539837 2584
build-model-states-explored 4542420 2583
build-model-states-explored 4545002 2582
build-model-states-explored 4547589 2587
build-model-states-explored 4550176 2587
build-model-states-explored 4552763 2587
build-model-states-explored 4555352 2589
build-model-states-explored 4557940 2588
build-model-states-explored 4560529 2589
build-model-states-explored 4563120 2591
build-model-states-explored 4565702 2582
build-model-states-explored 4568286 2584
build-model-states-explored 4570870 2584
build-model-states-explored 4573447 2577
build-model-states-explored 4576029 2582
build-model-states-explored 4578616 2587
build-model-states-explored 4581204 2588
build-model-states-explored 4583793 2589
build-model-states-explored 4586385 2592
build-model-states-explored 4588975 2590
build-model-states-explored 4591559 2584
build-model-states-explored 4594145 2586
build-model-states-explored 4596728 2583
build-model-states-explored 4599311 2583
build-model-states-explored 4601897 2586
build-model-states-explored 4604486 2589
build-model-states-explored 4607073 2587
build-model-states-explored 4609664 2591
build-model-states-explored 4612256 2592
build-model-states-explored 4614848 2592
build-model-states-explored 4617434 2586
build-model-states-explored 4620018 2584
build-model-states-explored 4622600 2582
build-model-states-explored 4625183 2583
build-model-states-explored 4627767 2584
build-model-states-explored 4630355 2588
build-model-states-explored 4632946 2591
build-model-states-explored 4635538 2592
build-model-states-explored 4638126 2588
build-model-states-explored 4640717 2591
build-model-states-explored 4643309 2592
build-model-states-explored 4645894 2585
build-model-states-explored 4648478 2584
build-model-states-explored 4651062 2584
build-model-states-explored 4653645 2583
build-model-states-explored 4656227 2582
build-model-states-explored 4658817 2590
build-model-states-explored 4661405 2588
build-model-states-explored 4663996 2591
build-model-states-explored 4666589 2593
build-model-states-explored 4669181 2592
build-model-states-explored 4671767 2586
build-model-states-explored 4674354 2587
build-model-states-explored 4676938 2584
build-model-states-explored 4679518 2580
build-model-states-explored 4682101 2583
build-model-states-explored 4684692 2591
build-model-states-explored 4687284 2592
build-model-states-explored 4689876 2592
build-model-states-explored 4692468 2592
----------
Computation aborted after 1800.0850129127502 seconds since the total time limit of 1800 seconds was exceeded.