java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files pacman.nm --property-input-files pacman.props --property-input-names crash --translate-messages false --value-floating-point-output-native true --const MAXSTEPS=100
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 crash
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 1680 1680
build-model-states-explored 3677 1997
build-model-states-explored 5685 2008
build-model-states-explored 7691 2006
build-model-states-explored 9803 2112
build-model-states-explored 11850 2047
build-model-states-explored 13876 2026
build-model-states-explored 15925 2049
build-model-states-explored 18078 2153
build-model-states-explored 20244 2166
build-model-states-explored 22303 2059
build-model-states-explored 24371 2067
build-model-states-explored 26379 2009
build-model-states-explored 28394 2015
build-model-states-explored 30404 2010
build-model-states-explored 32423 2019
build-model-states-explored 34512 2089
build-model-states-explored 36667 2155
build-model-states-explored 38806 2139
build-model-states-explored 40934 2128
build-model-states-explored 42997 2063
build-model-states-explored 45050 2053
build-model-states-explored 47090 2040
build-model-states-explored 49138 2048
build-model-states-explored 51188 2050
build-model-states-explored 53240 2052
build-model-states-explored 55213 1973
build-model-states-explored 57233 2020
build-model-states-explored 59281 2048
build-model-states-explored 61289 2008
build-model-states-explored 63297 2008
build-model-states-explored 65470 2173
build-model-states-explored 67591 2121
build-model-states-explored 69720 2129
build-model-states-explored 71840 2120
build-model-states-explored 73962 2122
build-model-states-explored 76143 2181
build-model-states-explored 78310 2167
build-model-states-explored 80377 2067
build-model-states-explored 82441 2064
build-model-states-explored 84447 2006
build-model-states-explored 86509 2062
build-model-states-explored 88574 2065
build-model-states-explored 90605 2031
build-model-states-explored 92655 2050
build-model-states-explored 94714 2059
build-model-states-explored 96739 2025
build-model-states-explored 98773 2034
build-model-states-explored 100825 2052
build-model-states-explored 102834 2009
build-model-states-explored 104907 2073
build-model-states-explored 106946 2039
build-model-states-explored 108800 1854
build-model-states-explored 110824 2024
build-model-states-explored 112880 2056
build-model-states-explored 114912 2032
build-model-states-explored 116933 2021
build-model-states-explored 118973 2040
build-model-states-explored 121090 2117
build-model-states-explored 123271 2181
build-model-states-explored 125460 2189
build-model-states-explored 127633 2173
build-model-states-explored 129819 2186
build-model-states-explored 131950 2131
build-model-states-explored 134101 2151
build-model-states-explored 136229 2128
build-model-states-explored 138395 2166
build-model-states-explored 140569 2174
build-model-states-explored 142734 2165
build-model-states-explored 144846 2112
build-model-states-explored 146907 2061
build-model-states-explored 148966 2059
build-model-states-explored 151028 2062
build-model-states-explored 153075 2047
build-model-states-explored 155128 2053
build-model-states-explored 157160 2032
build-model-states-explored 159191 2031
build-model-states-explored 161235 2044
build-model-states-explored 163301 2066
build-model-states-explored 165323 2022
build-model-states-explored 167326 2003
build-model-states-explored 169388 2062
build-model-states-explored 171393 2005
build-model-states-explored 173422 2029
build-model-states-explored 175448 2026
build-model-states-explored 177500 2052
build-model-states-explored 179555 2055
build-model-states-explored 181611 2056
build-model-states-explored 183676 2065
build-model-states-explored 185729 2053
build-model-states-explored 187793 2064
build-model-states-explored 189830 2037
build-model-states-explored 191863 2033
build-model-states-explored 193911 2048
build-model-states-explored 195960 2049
build-model-states-explored 197987 2027
build-model-states-explored 200008 2021
build-model-states-explored 202051 2043
build-model-states-explored 204116 2065
build-model-states-explored 206181 2065
build-model-states-explored 208222 2041
build-model-states-explored 210284 2062
build-model-states-explored 212345 2061
build-model-states-explored 214447 2102
build-model-states-explored 216621 2174
build-model-states-explored 218464 1843
build-model-states-explored 220640 2176
build-model-states-explored 222822 2182
build-model-states-explored 225002 2180
build-model-states-explored 227134 2132
build-model-states-explored 229324 2190
build-model-states-explored 231440 2116
build-model-states-explored 233597 2157
build-model-states-explored 235763 2166
build-model-states-explored 237910 2147
build-model-states-explored 240062 2152
build-model-states-explored 242216 2154
build-model-states-explored 244354 2138
build-model-states-explored 246463 2109
build-model-states-explored 248650 2187
build-model-states-explored 250765 2115
build-model-states-explored 252907 2142
build-model-states-explored 254907 2000
build-model-states-explored 256897 1990
build-model-states-explored 258943 2046
build-model-states-explored 260961 2018
build-model-states-explored 263005 2044
build-model-states-explored 265061 2056
build-model-states-explored 267120 2059
build-model-states-explored 269185 2065
build-model-states-explored 271249 2064
build-model-states-explored 273313 2064
build-model-states-explored 275368 2055
build-model-states-explored 277397 2029
build-model-states-explored 279424 2027
build-model-states-explored 281449 2025
build-model-states-explored 283500 2051
build-model-states-explored 285559 2059
build-model-states-explored 287563 2004
build-model-states-explored 289563 2000
build-model-states-explored 291566 2003
build-model-states-explored 293571 2005
build-model-states-explored 295632 2061
build-model-states-explored 297660 2028
build-model-states-explored 299711 2051
build-model-states-explored 301758 2047
build-model-states-explored 303796 2038
build-model-states-explored 305821 2025
build-model-states-explored 307881 2059
build-model-states-explored 309938 2058
build-model-states-explored 312000 2062
build-model-states-explored 314008 2008
build-model-states-explored 316009 2001
build-model-states-explored 318032 2023
build-model-states-explored 320080 2048
build-model-states-explored 322134 2054
build-model-states-explored 324167 2033
build-model-states-explored 326229 2062
build-model-states-explored 328265 2036
build-model-states-explored 330328 2063
build-model-states-explored 332394 2066
build-model-states-explored 334460 2066
build-model-states-explored 336521 2061
build-model-states-explored 338560 2039
build-model-states-explored 340611 2051
build-model-states-explored 342657 2046
build-model-states-explored 344715 2058
build-model-states-explored 346764 2049
build-model-states-explored 348795 2031
build-model-states-explored 350857 2062
build-model-states-explored 352842 1985
build-model-states-explored 354864 2022
build-model-states-explored 356912 2048
build-model-states-explored 358949 2037
build-model-states-explored 361025 2076
build-model-states-explored 363175 2150
build-model-states-explored 365318 2143
build-model-states-explored 367503 2185
build-model-states-explored 369671 2168
build-model-states-explored 371810 2139
build-model-states-explored 373963 2153
build-model-states-explored 376151 2188
build-model-states-explored 378342 2191
build-model-states-explored 380484 2142
build-model-states-explored 382616 2132
build-model-states-explored 384754 2138
build-model-states-explored 386894 2140
build-model-states-explored 389079 2185
build-model-states-explored 391259 2180
build-model-states-explored 393407 2148
build-model-states-explored 395524 2117
build-model-states-explored 397700 2176
build-model-states-explored 399876 2176
build-model-states-explored 402036 2160
build-model-states-explored 404197 2161
build-model-states-explored 406380 2183
build-model-states-explored 408563 2183
build-model-states-explored 410082 1519
build-model-states-explored 412262 2180
build-model-states-explored 414416 2154
build-model-states-explored 416561 2145
build-model-states-explored 418726 2165
build-model-states-explored 420896 2170
build-model-states-explored 422956 2060
build-model-states-explored 425011 2055
build-model-states-explored 427066 2055
build-model-states-explored 429123 2057
build-model-states-explored 431162 2039
build-model-states-explored 433199 2037
build-model-states-explored 435249 2050
build-model-states-explored 437283 2034
build-model-states-explored 439347 2064
build-model-states-explored 441412 2065
build-model-states-explored 443468 2056
build-model-states-explored 445528 2060
build-model-states-explored 447580 2052
build-model-states-explored 449637 2057
build-model-states-explored 451676 2039
build-model-states-explored 453687 2011
build-model-states-explored 455720 2033
build-model-states-explored 457784 2064
build-model-states-explored 459811 2027
build-model-states-explored 461846 2035
build-model-states-explored 463879 2033
build-model-states-explored 465913 2034
build-model-states-explored 467961 2048
build-model-states-explored 470016 2055
build-model-states-explored 472073 2057
build-model-states-explored 474098 2025
build-model-states-explored 476159 2061
build-model-states-explored 478226 2067
build-model-states-explored 480273 2047
build-model-states-explored 482379 2106
build-model-states-explored 484824 2445
build-model-states-explored 487242 2418
build-model-states-explored 489688 2446
build-model-states-explored 492137 2449
build-model-states-explored 494571 2434
build-model-states-explored 496958 2387
build-model-states-explored 499385 2427
build-model-states-explored 501838 2453
build-model-states-explored 504290 2452
build-model-states-explored 506743 2453
build-model-states-explored 509173 2430
build-model-states-explored 511606 2433
build-model-states-explored 514057 2451
build-model-states-explored 516509 2452
build-model-states-explored 518955 2446
build-model-states-explored 521411 2456
build-model-states-explored 523862 2451
build-model-states-explored 526301 2439
build-model-states-explored 528748 2447
build-model-states-explored 531192 2444
build-model-states-explored 533611 2419
build-model-states-explored 536028 2417
build-model-states-explored 538436 2408
build-model-states-explored 540847 2411
build-model-states-explored 543290 2443
build-model-states-explored 545737 2447
build-model-states-explored 548185 2448
build-model-states-explored 550637 2452
build-model-states-explored 553085 2448
build-model-states-explored 555535 2450
build-model-states-explored 557947 2412
build-model-states-explored 560360 2413
build-model-states-explored 562805 2445
build-model-states-explored 565252 2447
build-model-states-explored 567671 2419
build-model-states-explored 570051 2380
build-model-states-explored 572486 2435
build-model-states-explored 574930 2444
build-model-states-explored 577373 2443
build-model-states-explored 579910 2537
build-model-states-explored 582480 2570
build-model-states-explored 585047 2567
build-model-states-explored 587591 2544
build-model-states-explored 590145 2554
build-model-states-explored 592690 2545
build-model-states-explored 595230 2540
build-model-states-explored 597791 2561
build-model-states-explored 600370 2579
build-model-states-explored 602945 2575
build-model-states-explored 605417 2472
build-model-states-explored 607910 2493
build-model-states-explored 610410 2500
build-model-states-explored 612905 2495
build-model-states-explored 615433 2528
build-model-states-explored 617967 2534
build-model-states-explored 620470 2503
build-model-states-explored 623053 2583
build-model-states-explored 625627 2574
build-model-states-explored 628203 2576
build-model-states-explored 630772 2569
build-model-states-explored 633280 2508
build-model-states-explored 635788 2508
build-model-states-explored 638355 2567
build-model-states-explored 640917 2562
build-model-states-explored 643468 2551
build-model-states-explored 646011 2543
build-model-states-explored 648503 2492
build-model-states-explored 651075 2572
build-model-states-explored 653651 2576
build-model-states-explored 656166 2515
build-model-states-explored 658709 2543
build-model-states-explored 661282 2573
build-model-states-explored 663792 2510
build-model-states-explored 666239 2447
build-model-states-explored 668675 2436
build-model-states-explored 671102 2427
build-model-states-explored 673546 2444
build-model-states-explored 676000 2454
build-model-states-explored 678424 2424
build-model-states-explored 680879 2455
build-model-states-explored 683322 2443
build-model-states-explored 685737 2415
build-model-states-explored 688152 2415
build-model-states-explored 690564 2412
build-model-states-explored 692997 2433
build-model-states-explored 695417 2420
build-model-states-explored 697831 2414
build-model-states-explored 700279 2448
build-model-states-explored 702723 2444
build-model-states-explored 705136 2413
build-model-states-explored 707580 2444
build-model-states-explored 710007 2427
build-model-states-explored 712447 2440
build-model-states-explored 714730 2283
build-model-states-explored 717152 2422
build-model-states-explored 719609 2457
build-model-states-explored 722030 2421
build-model-states-explored 724388 2358
build-model-states-explored 726799 2411
build-model-states-explored 729193 2394
build-model-states-explored 731607 2414
build-model-states-explored 734061 2454
build-model-states-explored 736503 2442
build-model-states-explored 738924 2421
build-model-states-explored 741342 2418
build-model-states-explored 743798 2456
build-model-states-explored 746208 2410
build-model-states-explored 748661 2453
build-model-states-explored 751119 2458
build-model-states-explored 753581 2462
build-model-states-explored 756032 2451
build-model-states-explored 758482 2450
build-model-states-explored 760886 2404
build-model-states-explored 763317 2431
build-model-states-explored 765769 2452
build-model-states-explored 768157 2388
build-model-states-explored 770584 2427
build-model-states-explored 773008 2424
build-model-states-explored 775442 2434
build-model-states-explored 777832 2390
build-model-states-explored 780235 2403
build-model-states-explored 782643 2408
build-model-states-explored 785078 2435
build-model-states-explored 787512 2434
build-model-states-explored 789957 2445
build-model-states-explored 792362 2405
build-model-states-explored 794795 2433
build-model-states-explored 797243 2448
build-model-states-explored 799692 2449
build-model-states-explored 802136 2444
build-model-states-explored 804522 2386
build-model-states-explored 806906 2384
build-model-states-explored 809309 2403
build-model-states-explored 811747 2438
build-model-states-explored 814180 2433
build-model-states-explored 816629 2449
build-model-states-explored 819047 2418
build-model-states-explored 821494 2447
build-model-states-explored 823937 2443
build-model-states-explored 826384 2447
build-model-states-explored 828793 2409
build-model-states-explored 831207 2414
build-model-states-explored 833649 2442
build-model-states-explored 836086 2437
build-model-states-explored 838529 2443
build-model-states-explored 840915 2386
build-model-states-explored 843311 2396
build-model-states-explored 845705 2394
build-model-states-explored 848131 2426
build-model-states-explored 850580 2449
build-model-states-explored 853019 2439
build-model-states-explored 855431 2412
build-model-states-explored 856587 1156
build-model-states-explored 858813 2226
build-model-states-explored 861212 2399
build-model-states-explored 863631 2419
build-model-states-explored 866048 2417
build-model-states-explored 868388 2340
build-model-states-explored 870773 2385
build-model-states-explored 873214 2441
build-model-states-explored 875629 2415
build-model-states-explored 878068 2439
build-model-states-explored 880588 2520
build-model-states-explored 883149 2561
build-model-states-explored 885719 2570
build-model-states-explored 888292 2573
build-model-states-explored 890843 2551
build-model-states-explored 893414 2571
build-model-states-explored 895973 2559
build-model-states-explored 898473 2500
build-model-states-explored 901004 2531
build-model-states-explored 903567 2563
build-model-states-explored 906112 2545
build-model-states-explored 908692 2580
build-model-states-explored 911227 2535
build-model-states-explored 913784 2557
build-model-states-explored 916309 2525
build-model-states-explored 918838 2529
build-model-states-explored 921282 2444
build-model-states-explored 923836 2554
build-model-states-explored 926404 2568
build-model-states-explored 928946 2542
build-model-states-explored 931516 2570
build-model-states-explored 934042 2526
build-model-states-explored 936609 2567
build-model-states-explored 939133 2524
build-model-states-explored 941698 2565
build-model-states-explored 944284 2586
build-model-states-explored 946841 2557
build-model-states-explored 949369 2528
build-model-states-explored 951879 2510
build-model-states-explored 954408 2529
build-model-states-explored 956890 2482
build-model-states-explored 959390 2500
build-model-states-explored 961874 2484
build-model-states-explored 964388 2514
build-model-states-explored 966922 2534
build-model-states-explored 969470 2548
build-model-states-explored 971977 2507
build-model-states-explored 974518 2541
build-model-states-explored 977070 2552
build-model-states-explored 979627 2557
build-model-states-explored 982177 2550
build-model-states-explored 984675 2498
build-model-states-explored 987243 2568
build-model-states-explored 989817 2574
build-model-states-explored 992395 2578
build-model-states-explored 994949 2554
build-model-states-explored 997380 2431
build-model-states-explored 999831 2451
build-model-states-explored 1002280 2449
build-model-states-explored 1004690 2410
build-model-states-explored 1007136 2446
build-model-states-explored 1009554 2418
build-model-states-explored 1011980 2426
build-model-states-explored 1014397 2417
build-model-states-explored 1016819 2422
build-model-states-explored 1019265 2446
build-model-states-explored 1021718 2453
build-model-states-explored 1024166 2448
build-model-states-explored 1026596 2430
build-model-states-explored 1029014 2418
build-model-states-explored 1031466 2452
build-model-states-explored 1033916 2450
build-model-states-explored 1036364 2448
build-model-states-explored 1038783 2419
build-model-states-explored 1041238 2455
build-model-states-explored 1043674 2436
build-model-states-explored 1046068 2394
build-model-states-explored 1048481 2413
build-model-states-explored 1050891 2410
build-model-states-explored 1053297 2406
build-model-states-explored 1055714 2417
build-model-states-explored 1058150 2436
build-model-states-explored 1060581 2431
build-model-states-explored 1063005 2424
build-model-states-explored 1065443 2438
build-model-states-explored 1067879 2436
build-model-states-explored 1070340 2461
build-model-states-explored 1072801 2461
build-model-states-explored 1075240 2439
build-model-states-explored 1077624 2384
build-model-states-explored 1080066 2442
build-model-states-explored 1082510 2444
build-model-states-explored 1084923 2413
build-model-states-explored 1087308 2385
build-model-states-explored 1089698 2390
build-model-states-explored 1092145 2447
build-model-states-explored 1094587 2442
build-model-states-explored 1097023 2436
build-model-states-explored 1099453 2430
build-model-states-explored 1101890 2437
build-model-states-explored 1104316 2426
build-model-states-explored 1106732 2416
build-model-states-explored 1109175 2443
build-model-states-explored 1111624 2449
build-model-states-explored 1114065 2441
build-model-states-explored 1116517 2452
build-model-states-explored 1118972 2455
build-model-states-explored 1121425 2453
build-model-states-explored 1123856 2431
build-model-states-explored 1126279 2423
build-model-states-explored 1128704 2425
build-model-states-explored 1131134 2430
build-model-states-explored 1133578 2444
build-model-states-explored 1136033 2455
build-model-states-explored 1138473 2440
build-model-states-explored 1140915 2442
build-model-states-explored 1143359 2444
build-model-states-explored 1145803 2444
build-model-states-explored 1148239 2436
build-model-states-explored 1150673 2434
build-model-states-explored 1153093 2420
build-model-states-explored 1155515 2422
build-model-states-explored 1157940 2425
build-model-states-explored 1160357 2417
build-model-states-explored 1162726 2369
build-model-states-explored 1165167 2441
build-model-states-explored 1167605 2438
build-model-states-explored 1170034 2429
build-model-states-explored 1172451 2417
build-model-states-explored 1174890 2439
build-model-states-explored 1177304 2414
build-model-states-explored 1179692 2388
build-model-states-explored 1182069 2377
build-model-states-explored 1184449 2380
build-model-states-explored 1186888 2439
build-model-states-explored 1189323 2435
build-model-states-explored 1191688 2365
build-model-states-explored 1194068 2380
build-model-states-explored 1196481 2413
build-model-states-explored 1198924 2443
build-model-states-explored 1201359 2435
build-model-states-explored 1203799 2440
build-model-states-explored 1206239 2440
build-model-states-explored 1208682 2443
build-model-states-explored 1211120 2438
build-model-states-explored 1213565 2445
build-model-states-explored 1215985 2420
build-model-states-explored 1218435 2450
build-model-states-explored 1220875 2440
build-model-states-explored 1223321 2446
build-model-states-explored 1225763 2442
build-model-states-explored 1228205 2442
build-model-states-explored 1230617 2412
build-model-states-explored 1232995 2378
build-model-states-explored 1235377 2382
build-model-states-explored 1237758 2381
build-model-states-explored 1240135 2377
build-model-states-explored 1242513 2378
build-model-states-explored 1244931 2418
build-model-states-explored 1247374 2443
build-model-states-explored 1249813 2439
build-model-states-explored 1252222 2409
build-model-states-explored 1254643 2421
build-model-states-explored 1257090 2447
build-model-states-explored 1259531 2441
build-model-states-explored 1261976 2445
build-model-states-explored 1264382 2406
build-model-states-explored 1266827 2445
build-model-states-explored 1269267 2440
build-model-states-explored 1271669 2402
build-model-states-explored 1274087 2418
build-model-states-explored 1276524 2437
build-model-states-explored 1278963 2439
build-model-states-explored 1281395 2432
build-model-states-explored 1283895 2500
build-model-states-explored 1286451 2556
build-model-states-explored 1289022 2571
build-model-states-explored 1291601 2579
build-model-states-explored 1294166 2565
build-model-states-explored 1296680 2514
build-model-states-explored 1299216 2536
build-model-states-explored 1301791 2575
build-model-states-explored 1304359 2568
build-model-states-explored 1306942 2583
build-model-states-explored 1309522 2580
build-model-states-explored 1312106 2584
build-model-states-explored 1314684 2578
build-model-states-explored 1317260 2576
build-model-states-explored 1319829 2569
build-model-states-explored 1322399 2570
build-model-states-explored 1324977 2578
build-model-states-explored 1327545 2568
build-model-states-explored 1330116 2571
build-model-states-explored 1332692 2576
build-model-states-explored 1335261 2569
build-model-states-explored 1337843 2582
build-model-states-explored 1340391 2548
build-model-states-explored 1342919 2528
build-model-states-explored 1345459 2540
build-model-states-explored 1348028 2569
build-model-states-explored 1350608 2580
build-model-states-explored 1353137 2529
build-model-states-explored 1355664 2527
build-model-states-explored 1358242 2578
build-model-states-explored 1360819 2577
build-model-states-explored 1363321 2502
build-model-states-explored 1365828 2507
build-model-states-explored 1368325 2497
build-model-states-explored 1370811 2486
build-model-states-explored 1373306 2495
build-model-states-explored 1375854 2548
build-model-states-explored 1378423 2569
build-model-states-explored 1380988 2565
build-model-states-explored 1383563 2575
build-model-states-explored 1386143 2580
build-model-states-explored 1388700 2557
build-model-states-explored 1391268 2568
build-model-states-explored 1393824 2556
build-model-states-explored 1396373 2549
build-model-states-explored 1398937 2564
build-model-states-explored 1401496 2559
build-model-states-explored 1404059 2563
build-model-states-explored 1406576 2517
build-model-states-explored 1409137 2561
build-model-states-explored 1411712 2575
build-model-states-explored 1414287 2575
build-model-states-explored 1416852 2565
build-model-states-explored 1419436 2584
build-model-states-explored 1422005 2569
build-model-states-explored 1424573 2568
build-model-states-explored 1427141 2568
build-model-states-explored 1429709 2568
build-model-states-explored 1432277 2568
build-model-states-explored 1434847 2570
build-model-states-explored 1437319 2472
build-model-states-explored 1439777 2458
build-model-states-explored 1442236 2459
build-model-states-explored 1444695 2459
build-model-states-explored 1447120 2425
build-model-states-explored 1449546 2426
build-model-states-explored 1451975 2429
build-model-states-explored 1454406 2431
build-model-states-explored 1456837 2431
build-model-states-explored 1459271 2434
build-model-states-explored 1461690 2419
build-model-states-explored 1464141 2451
build-model-states-explored 1466270 2129
build-model-states-explored 1468712 2442
build-model-states-explored 1471142 2430
build-model-states-explored 1473586 2444
build-model-states-explored 1476015 2429
build-model-states-explored 1478465 2450
build-model-states-explored 1480869 2404
build-model-states-explored 1483303 2434
build-model-states-explored 1485753 2450
build-model-states-explored 1488210 2457
build-model-states-explored 1490666 2456
build-model-states-explored 1493129 2463
build-model-states-explored 1495538 2409
build-model-states-explored 1497934 2396
build-model-states-explored 1500375 2441
build-model-states-explored 1502793 2418
build-model-states-explored 1505195 2402
build-model-states-explored 1507575 2380
build-model-states-explored 1510004 2429
build-model-states-explored 1512457 2453
build-model-states-explored 1514907 2450
build-model-states-explored 1517353 2446
build-model-states-explored 1519800 2447
build-model-states-explored 1522171 2371
build-model-states-explored 1524604 2433
build-model-states-explored 1527026 2422
build-model-states-explored 1529447 2421
build-model-states-explored 1531894 2447
build-model-states-explored 1534336 2442
build-model-states-explored 1536785 2449
build-model-states-explored 1539215 2430
build-model-states-explored 1541679 2464
build-model-states-explored 1544079 2400
build-model-states-explored 1546488 2409
build-model-states-explored 1548916 2428
build-model-states-explored 1551355 2439
build-model-states-explored 1553772 2417
build-model-states-explored 1556152 2380
build-model-states-explored 1558579 2427
build-model-states-explored 1561038 2459
build-model-states-explored 1563445 2407
build-model-states-explored 1565897 2452
build-model-states-explored 1568345 2448
build-model-states-explored 1570791 2446
build-model-states-explored 1573231 2440
build-model-states-explored 1575657 2426
build-model-states-explored 1578110 2453
build-model-states-explored 1580560 2450
build-model-states-explored 1583009 2449
build-model-states-explored 1585461 2452
build-model-states-explored 1587910 2449
build-model-states-explored 1590354 2444
build-model-states-explored 1592791 2437
build-model-states-explored 1595225 2434
build-model-states-explored 1597665 2440
build-model-states-explored 1600097 2432
build-model-states-explored 1602531 2434
build-model-states-explored 1604961 2430
build-model-states-explored 1607395 2434
build-model-states-explored 1609846 2451
build-model-states-explored 1612298 2452
build-model-states-explored 1614729 2431
build-model-states-explored 1617130 2401
build-model-states-explored 1619551 2421
build-model-states-explored 1621987 2436
build-model-states-explored 1624435 2448
build-model-states-explored 1626881 2446
build-model-states-explored 1629327 2446
build-model-states-explored 1631776 2449
build-model-states-explored 1634225 2449
build-model-states-explored 1636674 2449
build-model-states-explored 1639124 2450
build-model-states-explored 1641569 2445
build-model-states-explored 1643978 2409
build-model-states-explored 1646368 2390
build-model-states-explored 1648810 2442
build-model-states-explored 1651258 2448
build-model-states-explored 1653674 2416
build-model-states-explored 1656125 2451
build-model-states-explored 1658574 2449
build-model-states-explored 1661026 2452
build-model-states-explored 1663471 2445
build-model-states-explored 1665911 2440
build-model-states-explored 1668353 2442
build-model-states-explored 1670796 2443
build-model-states-explored 1673239 2443
build-model-states-explored 1675675 2436
build-model-states-explored 1678121 2446
build-model-states-explored 1680547 2426
build-model-states-explored 1682995 2448
build-model-states-explored 1685439 2444
build-model-states-explored 1687883 2444
build-model-states-explored 1690321 2438
build-model-states-explored 1692292 1971
build-model-states-explored 1692292 0
build-model-states-explored 1694628 2336
build-model-states-explored 1697069 2441
build-model-states-explored 1699513 2444
build-model-states-explored 1701911 2398
build-model-states-explored 1704290 2379
build-model-states-explored 1706732 2442
build-model-states-explored 1709116 2384
build-model-states-explored 1711510 2394
build-model-states-explored 1713927 2417
build-model-states-explored 1716367 2440
build-model-states-explored 1718808 2441
build-model-states-explored 1721229 2421
build-model-states-explored 1723668 2439
build-model-states-explored 1726110 2442
build-model-states-explored 1728550 2440
build-model-states-explored 1730994 2444
build-model-states-explored 1733408 2414
build-model-states-explored 1735850 2442
build-model-states-explored 1738263 2413
build-model-states-explored 1740692 2429
build-model-states-explored 1743116 2424
build-model-states-explored 1745537 2421
build-model-states-explored 1747962 2425
build-model-states-explored 1750389 2427
build-model-states-explored 1752835 2446
build-model-states-explored 1755280 2445
build-model-states-explored 1757667 2387
build-model-states-explored 1760041 2374
build-model-states-explored 1762459 2418
build-model-states-explored 1764876 2417
build-model-states-explored 1767309 2433
build-model-states-explored 1769749 2440
build-model-states-explored 1772196 2447
build-model-states-explored 1774641 2445
build-model-states-explored 1777084 2443
build-model-states-explored 1779521 2437
build-model-states-explored 1781960 2439
build-model-states-explored 1784367 2407
build-model-states-explored 1786822 2455
build-model-states-explored 1789280 2458
build-model-states-explored 1791706 2426
build-model-states-explored 1794109 2403
build-model-states-explored 1796514 2405
build-model-states-explored 1798952 2438
build-model-states-explored 1801403 2451
build-model-states-explored 1803922 2519
build-model-states-explored 1806485 2563
build-model-states-explored 1809053 2568
build-model-states-explored 1811601 2548
build-model-states-explored 1814127 2526
build-model-states-explored 1816717 2590
build-model-states-explored 1819304 2587
build-model-states-explored 1821902 2598
build-model-states-explored 1824486 2584
build-model-states-explored 1827083 2597
build-model-states-explored 1829675 2592
build-model-states-explored 1832211 2536
build-model-states-explored 1834772 2561
build-model-states-explored 1837358 2586
build-model-states-explored 1839955 2597
build-model-states-explored 1842513 2558
build-model-states-explored 1845072 2559
build-model-states-explored 1847614 2542
build-model-states-explored 1850209 2595
build-model-states-explored 1852802 2593
build-model-states-explored 1855401 2599
build-model-states-explored 1857998 2597
build-model-states-explored 1860592 2594
build-model-states-explored 1863142 2550
build-model-states-explored 1865710 2568
build-model-states-explored 1868294 2584
build-model-states-explored 1870881 2587
build-model-states-explored 1873474 2593
build-model-states-explored 1876065 2591
build-model-states-explored 1878637 2572
build-model-states-explored 1881200 2563
build-model-states-explored 1883753 2553
build-model-states-explored 1886320 2567
build-model-states-explored 1888904 2584
build-model-states-explored 1891482 2578
build-model-states-explored 1894067 2585
build-model-states-explored 1896652 2585
build-model-states-explored 1899217 2565
build-model-states-explored 1901790 2573
build-model-states-explored 1904387 2597
build-model-states-explored 1906984 2597
build-model-states-explored 1909583 2599
build-model-states-explored 1912155 2572
build-model-states-explored 1914747 2592
build-model-states-explored 1917337 2590
build-model-states-explored 1919929 2592
build-model-states-explored 1922513 2584
build-model-states-explored 1925047 2534
build-model-states-explored 1927572 2525
build-model-states-explored 1930114 2542
build-model-states-explored 1932692 2578
build-model-states-explored 1935224 2532
build-model-states-explored 1937767 2543
build-model-states-explored 1940340 2573
build-model-states-explored 1942926 2586
build-model-states-explored 1945492 2566
build-model-states-explored 1948074 2582
build-model-states-explored 1950659 2585
build-model-states-explored 1953223 2564
build-model-states-explored 1955756 2533
build-model-states-explored 1958277 2521
build-model-states-explored 1960851 2574
build-model-states-explored 1963438 2587
build-model-states-explored 1966029 2591
build-model-states-explored 1968616 2587
build-model-states-explored 1971206 2590
build-model-states-explored 1973789 2583
build-model-states-explored 1976386 2597
build-model-states-explored 1978988 2602
build-model-states-explored 1981577 2589
build-model-states-explored 1984168 2591
build-model-states-explored 1986760 2592
build-model-states-explored 1989348 2588
build-model-states-explored 1991929 2581
build-model-states-explored 1994383 2454
build-model-states-explored 1996819 2436
build-model-states-explored 1999250 2431
build-model-states-explored 2001708 2458
build-model-states-explored 2004130 2422
build-model-states-explored 2006547 2417
build-model-states-explored 2009012 2465
build-model-states-explored 2011473 2461
build-model-states-explored 2013888 2415
build-model-states-explored 2016297 2409
build-model-states-explored 2018740 2443
build-model-states-explored 2021205 2465
build-model-states-explored 2023671 2466
build-model-states-explored 2026138 2467
build-model-states-explored 2028569 2431
build-model-states-explored 2031020 2451
build-model-states-explored 2033432 2412
build-model-states-explored 2035897 2465
build-model-states-explored 2038359 2462
build-model-states-explored 2040801 2442
build-model-states-explored 2043249 2448
build-model-states-explored 2045705 2456
build-model-states-explored 2048165 2460
build-model-states-explored 2050625 2460
build-model-states-explored 2053093 2468
build-model-states-explored 2055569 2476
build-model-states-explored 2058035 2466
build-model-states-explored 2060503 2468
build-model-states-explored 2062955 2452
build-model-states-explored 2065399 2444
build-model-states-explored 2067862 2463
build-model-states-explored 2070282 2420
build-model-states-explored 2072689 2407
build-model-states-explored 2075107 2418
build-model-states-explored 2077570 2463
build-model-states-explored 2080039 2469
build-model-states-explored 2082495 2456
build-model-states-explored 2084955 2460
build-model-states-explored 2087374 2419
build-model-states-explored 2089784 2410
build-model-states-explored 2092193 2409
build-model-states-explored 2094634 2441
build-model-states-explored 2097044 2410
build-model-states-explored 2099474 2430
build-model-states-explored 2101937 2463
build-model-states-explored 2104402 2465
build-model-states-explored 2106864 2462
build-model-states-explored 2109325 2461
build-model-states-explored 2111745 2420
build-model-states-explored 2114159 2414
build-model-states-explored 2116599 2440
build-model-states-explored 2119063 2464
build-model-states-explored 2121509 2446
build-model-states-explored 2123980 2471
build-model-states-explored 2126437 2457
build-model-states-explored 2128903 2466
build-model-states-explored 2131365 2462
build-model-states-explored 2133829 2464
build-model-states-explored 2136300 2471
build-model-states-explored 2138733 2433
build-model-states-explored 2141198 2465
build-model-states-explored 2143669 2471
build-model-states-explored 2146113 2444
build-model-states-explored 2148589 2476
build-model-states-explored 2151049 2460
build-model-states-explored 2153506 2457
build-model-states-explored 2155967 2461
build-model-states-explored 2158433 2466
build-model-states-explored 2160882 2449
build-model-states-explored 2163310 2428
build-model-states-explored 2165734 2424
build-model-states-explored 2168197 2463
build-model-states-explored 2170615 2418
build-model-states-explored 2173033 2418
build-model-states-explored 2175501 2468
build-model-states-explored 2177971 2470
build-model-states-explored 2180438 2467
build-model-states-explored 2182907 2469
build-model-states-explored 2185331 2424
build-model-states-explored 2187771 2440
build-model-states-explored 2190222 2451
build-model-states-explored 2192667 2445
build-model-states-explored 2195098 2431
build-model-states-explored 2197542 2444
build-model-states-explored 2199983 2441
build-model-states-explored 2202453 2470
build-model-states-explored 2204913 2460
build-model-states-explored 2207383 2470
build-model-states-explored 2209847 2464
build-model-states-explored 2212298 2451
build-model-states-explored 2214751 2453
build-model-states-explored 2217195 2444
build-model-states-explored 2219649 2454
build-model-states-explored 2222109 2460
build-model-states-explored 2224564 2455
build-model-states-explored 2227016 2452
build-model-states-explored 2229420 2404
build-model-states-explored 2231824 2404
build-model-states-explored 2234223 2399
build-model-states-explored 2236617 2394
build-model-states-explored 2239016 2399
build-model-states-explored 2241449 2433
build-model-states-explored 2243908 2459
build-model-states-explored 2246361 2453
build-model-states-explored 2248831 2470
build-model-states-explored 2251296 2465
build-model-states-explored 2253755 2459
build-model-states-explored 2256206 2451
build-model-states-explored 2258621 2415
build-model-states-explored 2261025 2404
build-model-states-explored 2263477 2452
build-model-states-explored 2265929 2452
build-model-states-explored 2268382 2453
build-model-states-explored 2270785 2403
build-model-states-explored 2273188 2403
build-model-states-explored 2275594 2406
build-model-states-explored 2278003 2409
build-model-states-explored 2280409 2406
build-model-states-explored 2282812 2403
build-model-states-explored 2285253 2441
build-model-states-explored 2287706 2453
build-model-states-explored 2290134 2428
build-model-states-explored 2292572 2438
build-model-states-explored 2295030 2458
build-model-states-explored 2297486 2456
build-model-states-explored 2299947 2461
build-model-states-explored 2302407 2460
build-model-states-explored 2304860 2453
build-model-states-explored 2307306 2446
build-model-states-explored 2309727 2421
build-model-states-explored 2312128 2401
build-model-states-explored 2314528 2400
build-model-states-explored 2316955 2427
build-model-states-explored 2319410 2455
build-model-states-explored 2321871 2461
build-model-states-explored 2324329 2458
build-model-states-explored 2326788 2459
build-model-states-explored 2329249 2461
build-model-states-explored 2331704 2455
build-model-states-explored 2334141 2437
build-model-states-explored 2336566 2425
build-model-states-explored 2339012 2446
build-model-states-explored 2341461 2449
build-model-states-explored 2343906 2445
build-model-states-explored 2346319 2413
build-model-states-explored 2348700 2381
build-model-states-explored 2351119 2419
build-model-states-explored 2353529 2410
build-model-states-explored 2355946 2417
build-model-states-explored 2358390 2444
build-model-states-explored 2360809 2419
build-model-states-explored 2363212 2403
build-model-states-explored 2365650 2438
build-model-states-explored 2368111 2461
build-model-states-explored 2370572 2461
build-model-states-explored 2373034 2462
build-model-states-explored 2375498 2464
build-model-states-explored 2377902 2404
build-model-states-explored 2380346 2444
build-model-states-explored 2382799 2453
build-model-states-explored 2385222 2423
build-model-states-explored 2387658 2436
build-model-states-explored 2390115 2457
build-model-states-explored 2392556 2441
build-model-states-explored 2395017 2461
build-model-states-explored 2397477 2460
build-model-states-explored 2399940 2463
build-model-states-explored 2402402 2462
build-model-states-explored 2404819 2417
build-model-states-explored 2407225 2406
build-model-states-explored 2409656 2431
build-model-states-explored 2412108 2452
build-model-states-explored 2414562 2454
build-model-states-explored 2417017 2455
build-model-states-explored 2419474 2457
build-model-states-explored 2421934 2460
build-model-states-explored 2424398 2464
build-model-states-explored 2426855 2457
build-model-states-explored 2429273 2418
build-model-states-explored 2431694 2421
build-model-states-explored 2434153 2459
build-model-states-explored 2436611 2458
build-model-states-explored 2439186 2575
build-model-states-explored 2441757 2571
build-model-states-explored 2444350 2593
build-model-states-explored 2446933 2583
build-model-states-explored 2449499 2566
build-model-states-explored 2452095 2596
build-model-states-explored 2454645 2550
build-model-states-explored 2457217 2572
build-model-states-explored 2459797 2580
build-model-states-explored 2462367 2570
build-model-states-explored 2464959 2592
build-model-states-explored 2467570 2611
build-model-states-explored 2470171 2601
build-model-states-explored 2472767 2596
build-model-states-explored 2475303 2536
build-model-states-explored 2477853 2550
build-model-states-explored 2480385 2532
build-model-states-explored 2482942 2557
build-model-states-explored 2485538 2596
build-model-states-explored 2488113 2575
build-model-states-explored 2490694 2581
build-model-states-explored 2493284 2590
build-model-states-explored 2495841 2557
build-model-states-explored 2498380 2539
build-model-states-explored 2500913 2533
build-model-states-explored 2503443 2530
build-model-states-explored 2506022 2579
build-model-states-explored 2508605 2583
build-model-states-explored 2511161 2556
build-model-states-explored 2513684 2523
build-model-states-explored 2516241 2557
build-model-states-explored 2518835 2594
build-model-states-explored 2521430 2595
build-model-states-explored 2524022 2592
build-model-states-explored 2526608 2586
build-model-states-explored 2529205 2597
build-model-states-explored 2531788 2583
build-model-states-explored 2534377 2589
build-model-states-explored 2536931 2554
build-model-states-explored 2539503 2572
build-model-states-explored 2542069 2566
build-model-states-explored 2544659 2590
build-model-states-explored 2547227 2568
build-model-states-explored 2549788 2561
build-model-states-explored 2552343 2555
build-model-states-explored 2554907 2564
build-model-states-explored 2557474 2567
build-model-states-explored 2560053 2579
build-model-states-explored 2562646 2593
build-model-states-explored 2565243 2597
build-model-states-explored 2567843 2600
build-model-states-explored 2570449 2606
build-model-states-explored 2573046 2597
build-model-states-explored 2575640 2594
build-model-states-explored 2578229 2589
build-model-states-explored 2580825 2596
build-model-states-explored 2583407 2582
build-model-states-explored 2586000 2593
build-model-states-explored 2588590 2590
build-model-states-explored 2591186 2596
build-model-states-explored 2593770 2584
build-model-states-explored 2596363 2593
build-model-states-explored 2598959 2596
build-model-states-explored 2601547 2588
build-model-states-explored 2604134 2587
build-model-states-explored 2606723 2589
build-model-states-explored 2609307 2584
build-model-states-explored 2611894 2587
build-model-states-explored 2614485 2591
build-model-states-explored 2617077 2592
build-model-states-explored 2619665 2588
build-model-states-explored 2622237 2572
build-model-states-explored 2624799 2562
build-model-states-explored 2627382 2583
build-model-states-explored 2629952 2570
build-model-states-explored 2632531 2579
build-model-states-explored 2635105 2574
build-model-states-explored 2637642 2537
build-model-states-explored 2640217 2575
build-model-states-explored 2642796 2579
build-model-states-explored 2645369 2573
build-model-states-explored 2647952 2583
build-model-states-explored 2650508 2556
build-model-states-explored 2652994 2486
build-model-states-explored 2655581 2587
build-model-states-explored 2658170 2589
build-model-states-explored 2660763 2593
build-model-states-explored 2663335 2572
build-model-states-explored 2665817 2482
build-model-states-explored 2668274 2457
build-model-states-explored 2670743 2469
build-model-states-explored 2673207 2464
build-model-states-explored 2675619 2412
build-model-states-explored 2678049 2430
build-model-states-explored 2680515 2466
build-model-states-explored 2682982 2467
build-model-states-explored 2685435 2453
build-model-states-explored 2687886 2451
build-model-states-explored 2690352 2466
build-model-states-explored 2692823 2471
build-model-states-explored 2695254 2431
build-model-states-explored 2697668 2414
build-model-states-explored 2700082 2414
build-model-states-explored 2702494 2412
build-model-states-explored 2704905 2411
build-model-states-explored 2707344 2439
build-model-states-explored 2709805 2461
build-model-states-explored 2712272 2467
build-model-states-explored 2714736 2464
build-model-states-explored 2717203 2467
build-model-states-explored 2719669 2466
build-model-states-explored 2722134 2465
build-model-states-explored 2724604 2470
build-model-states-explored 2727078 2474
build-model-states-explored 2729541 2463
build-model-states-explored 2731957 2416
build-model-states-explored 2734409 2452
build-model-states-explored 2736878 2469
build-model-states-explored 2739342 2464
build-model-states-explored 2741773 2431
build-model-states-explored 2744210 2437
build-model-states-explored 2746659 2449
build-model-states-explored 2749115 2456
build-model-states-explored 2751574 2459
build-model-states-explored 2754041 2467
build-model-states-explored 2756515 2474
build-model-states-explored 2758921 2406
build-model-states-explored 2761365 2444
build-model-states-explored 2763778 2413
build-model-states-explored 2766188 2410
build-model-states-explored 2768600 2412
build-model-states-explored 2771016 2416
build-model-states-explored 2773434 2418
build-model-states-explored 2775905 2471
build-model-states-explored 2778371 2466
build-model-states-explored 2780834 2463
build-model-states-explored 2783282 2448
build-model-states-explored 2785701 2419
build-model-states-explored 2788141 2440
build-model-states-explored 2790586 2445
build-model-states-explored 2793037 2451
build-model-states-explored 2795485 2448
build-model-states-explored 2797941 2456
build-model-states-explored 2800402 2461
build-model-states-explored 2802863 2461
build-model-states-explored 2805327 2464
build-model-states-explored 2807794 2467
build-model-states-explored 2810221 2427
build-model-states-explored 2812628 2407
build-model-states-explored 2815035 2407
build-model-states-explored 2817481 2446
build-model-states-explored 2819947 2466
build-model-states-explored 2822411 2464
build-model-states-explored 2824877 2466
build-model-states-explored 2827338 2461
build-model-states-explored 2829801 2463
build-model-states-explored 2832215 2414
build-model-states-explored 2834641 2426
build-model-states-explored 2837103 2462
build-model-states-explored 2839564 2461
build-model-states-explored 2842029 2465
build-model-states-explored 2844497 2468
build-model-states-explored 2846966 2469
build-model-states-explored 2849424 2458
build-model-states-explored 2851893 2469
build-model-states-explored 2854321 2428
build-model-states-explored 2856773 2452
build-model-states-explored 2859226 2453
build-model-states-explored 2861640 2414
build-model-states-explored 2864084 2444
build-model-states-explored 2866549 2465
build-model-states-explored 2869010 2461
build-model-states-explored 2871478 2468
build-model-states-explored 2873893 2415
build-model-states-explored 2876301 2408
build-model-states-explored 2878716 2415
build-model-states-explored 2881130 2414
build-model-states-explored 2883588 2458
build-model-states-explored 2886011 2423
build-model-states-explored 2888476 2465
build-model-states-explored 2890932 2456
build-model-states-explored 2893343 2411
build-model-states-explored 2895755 2412
build-model-states-explored 2898171 2416
build-model-states-explored 2900633 2462
build-model-states-explored 2903095 2462
build-model-states-explored 2905563 2468
build-model-states-explored 2908029 2466
build-model-states-explored 2910490 2461
build-model-states-explored 2912946 2456
build-model-states-explored 2915404 2458
build-model-states-explored 2917820 2416
build-model-states-explored 2920230 2410
build-model-states-explored 2922650 2420
build-model-states-explored 2925114 2464
build-model-states-explored 2927583 2469
build-model-states-explored 2930043 2460
build-model-states-explored 2932482 2439
build-model-states-explored 2934921 2439
build-model-states-explored 2937334 2413
build-model-states-explored 2939781 2447
build-model-states-explored 2942231 2450
build-model-states-explored 2944647 2416
build-model-states-explored 2947109 2462
build-model-states-explored 2949573 2464
build-model-states-explored 2952026 2453
build-model-states-explored 2954427 2401
build-model-states-explored 2956870 2443
build-model-states-explored 2959324 2454
build-model-states-explored 2961779 2455
build-model-states-explored 2964204 2425
build-model-states-explored 2966625 2421
build-model-states-explored 2969086 2461
build-model-states-explored 2971549 2463
build-model-states-explored 2974004 2455
build-model-states-explored 2976419 2415
build-model-states-explored 2978863 2444
build-model-states-explored 2981318 2455
build-model-states-explored 2983780 2462
build-model-states-explored 2986238 2458
build-model-states-explored 2988695 2457
build-model-states-explored 2991147 2452
build-model-states-explored 2993592 2445
build-model-states-explored 2996010 2418
build-model-states-explored 2998433 2423
build-model-states-explored 3000884 2451
build-model-states-explored 3003302 2418
build-model-states-explored 3005745 2443
build-model-states-explored 3008141 2396
build-model-states-explored 3010571 2430
build-model-states-explored 3013018 2447
build-model-states-explored 3015434 2416
build-model-states-explored 3017895 2461
build-model-states-explored 3020338 2443
build-model-states-explored 3022750 2412
build-model-states-explored 3025152 2402
build-model-states-explored 3027604 2452
build-model-states-explored 3029465 1861
build-model-states-explored 3031895 2430
build-model-states-explored 3034348 2453
build-model-states-explored 3036782 2434
build-model-states-explored 3039235 2453
build-model-states-explored 3041688 2453
build-model-states-explored 3044150 2462
build-model-states-explored 3046608 2458
build-model-states-explored 3049050 2442
build-model-states-explored 3051451 2401
build-model-states-explored 3053896 2445
build-model-states-explored 3056352 2456
build-model-states-explored 3058810 2458
build-model-states-explored 3061260 2450
build-model-states-explored 3063715 2455
build-model-states-explored 3066170 2455
build-model-states-explored 3068631 2461
build-model-states-explored 3071087 2456
build-model-states-explored 3073543 2456
build-model-states-explored 3075992 2449
build-model-states-explored 3078428 2436
build-model-states-explored 3080873 2445
build-model-states-explored 3083313 2440
build-model-states-explored 3085612 2299
build-model-states-explored 3088046 2434
build-model-states-explored 3090440 2394
build-model-states-explored 3092747 2307
build-model-states-explored 3095166 2419
build-model-states-explored 3097622 2456
build-model-states-explored 3100078 2456
build-model-states-explored 3102533 2455
build-model-states-explored 3104979 2446
build-model-states-explored 3107402 2423
build-model-states-explored 3109813 2411
build-model-states-explored 3112266 2453
build-model-states-explored 3114720 2454
build-model-states-explored 3117180 2460
build-model-states-explored 3119636 2456
build-model-states-explored 3122090 2454
build-model-states-explored 3124543 2453
build-model-states-explored 3126977 2434
build-model-states-explored 3129446 2469
build-model-states-explored 3131921 2475
build-model-states-explored 3134381 2460
build-model-states-explored 3136857 2476
build-model-states-explored 3139335 2478
build-model-states-explored 3141815 2480
build-model-states-explored 3144295 2480
build-model-states-explored 3146776 2481
build-model-states-explored 3149251 2475
build-model-states-explored 3151724 2473
build-model-states-explored 3154196 2472
build-model-states-explored 3156672 2476
build-model-states-explored 3159150 2478
build-model-states-explored 3161631 2481
build-model-states-explored 3164107 2476
build-model-states-explored 3166573 2466
build-model-states-explored 3168976 2403
build-model-states-explored 3171385 2409
build-model-states-explored 3173854 2469
build-model-states-explored 3176330 2476
build-model-states-explored 3178835 2505
build-model-states-explored 3181422 2587
build-model-states-explored 3183990 2568
build-model-states-explored 3186570 2580
build-model-states-explored 3189161 2591
build-model-states-explored 3191748 2587
build-model-states-explored 3194349 2601
build-model-states-explored 3196944 2595
build-model-states-explored 3199468 2524
build-model-states-explored 3202062 2594
build-model-states-explored 3204608 2546
build-model-states-explored 3207158 2550
build-model-states-explored 3209718 2560
build-model-states-explored 3212247 2529
build-model-states-explored 3214776 2529
build-model-states-explored 3217310 2534
build-model-states-explored 3219832 2522
build-model-states-explored 3222365 2533
build-model-states-explored 3224955 2590
build-model-states-explored 3227556 2601
build-model-states-explored 3230155 2599
build-model-states-explored 3232751 2596
build-model-states-explored 3235354 2603
build-model-states-explored 3237957 2603
build-model-states-explored 3240566 2609
build-model-states-explored 3243184 2618
build-model-states-explored 3245784 2600
build-model-states-explored 3248392 2608
build-model-states-explored 3250937 2545
build-model-states-explored 3253462 2525
build-model-states-explored 3256061 2599
build-model-states-explored 3258645 2584
build-model-states-explored 3261246 2601
build-model-states-explored 3263851 2605
build-model-states-explored 3266386 2535
build-model-states-explored 3268984 2598
build-model-states-explored 3271596 2612
build-model-states-explored 3274203 2607
build-model-states-explored 3276747 2544
build-model-states-explored 3279352 2605
build-model-states-explored 3281947 2595
build-model-states-explored 3284518 2571
build-model-states-explored 3287085 2567
build-model-states-explored 3289687 2602
build-model-states-explored 3292295 2608
build-model-states-explored 3294900 2605
build-model-states-explored 3297498 2598
build-model-states-explored 3300098 2600
build-model-states-explored 3302694 2596
build-model-states-explored 3305304 2610
build-model-states-explored 3307906 2602
build-model-states-explored 3310510 2604
build-model-states-explored 3313120 2610
build-model-states-explored 3315728 2608
build-model-states-explored 3318257 2529
build-model-states-explored 3320772 2515
build-model-states-explored 3323270 2498
build-model-states-explored 3325775 2505
build-model-states-explored 3328225 2450
build-model-states-explored 3330776 2551
build-model-states-explored 3333288 2512
build-model-states-explored 3335856 2568
build-model-states-explored 3338106 2250
build-model-states-explored 3338106 0
build-model-states-explored 3338106 0
build-model-states-explored 3339934 1828
build-model-states-explored 3342533 2599
build-model-states-explored 3345139 2606
build-model-states-explored 3347718 2579
build-model-states-explored 3350231 2513
build-model-states-explored 3352813 2582
build-model-states-explored 3355403 2590
build-model-states-explored 3358004 2601
build-model-states-explored 3360609 2605
build-model-states-explored 3363208 2599
build-model-states-explored 3365818 2610
build-model-states-explored 3368425 2607
build-model-states-explored 3371027 2602
build-model-states-explored 3373616 2589
build-model-states-explored 3376198 2582
build-model-states-explored 3378784 2586
build-model-states-explored 3381373 2589
build-model-states-explored 3383913 2540
build-model-states-explored 3386468 2555
build-model-states-explored 3389040 2572
build-model-states-explored 3391628 2588
build-model-states-explored 3394217 2589
build-model-states-explored 3396820 2603
build-model-states-explored 3399410 2590
build-model-states-explored 3401979 2569
build-model-states-explored 3404551 2572
build-model-states-explored 3407140 2589
build-model-states-explored 3409722 2582
build-model-states-explored 3412330 2608
build-model-states-explored 3414924 2594
build-model-states-explored 3417532 2608
build-model-states-explored 3420144 2612
build-model-states-explored 3422755 2611
build-model-states-explored 3425355 2600
build-model-states-explored 3427932 2577
build-model-states-explored 3430514 2582
build-model-states-explored 3433056 2542
build-model-states-explored 3435634 2578
build-model-states-explored 3438223 2589
build-model-states-explored 3440725 2502
build-model-states-explored 3443203 2478
build-model-states-explored 3445675 2472
build-model-states-explored 3448099 2424
build-model-states-explored 3450555 2456
build-model-states-explored 3453012 2457
build-model-states-explored 3455474 2462
build-model-states-explored 3457936 2462
build-model-states-explored 3460405 2469
build-model-states-explored 3462880 2475
build-model-states-explored 3465351 2471
build-model-states-explored 3467825 2474
build-model-states-explored 3470300 2475
build-model-states-explored 3472775 2475
build-model-states-explored 3475246 2471
build-model-states-explored 3477645 2399
build-model-states-explored 3480048 2403
build-model-states-explored 3482450 2402
build-model-states-explored 3484851 2401
build-model-states-explored 3487252 2401
build-model-states-explored 3489655 2403
build-model-states-explored 3492056 2401
build-model-states-explored 3494458 2402
build-model-states-explored 3496859 2401
build-model-states-explored 3499255 2396
build-model-states-explored 3501652 2397
build-model-states-explored 3504048 2396
build-model-states-explored 3506455 2407
build-model-states-explored 3508931 2476
build-model-states-explored 3511413 2482
build-model-states-explored 3513886 2473
build-model-states-explored 3516356 2470
build-model-states-explored 3518836 2480
build-model-states-explored 3521304 2468
build-model-states-explored 3523770 2466
build-model-states-explored 3526223 2453
build-model-states-explored 3528693 2470
build-model-states-explored 3531148 2455
build-model-states-explored 3533580 2432
build-model-states-explored 3536045 2465
build-model-states-explored 3538447 2402
build-model-states-explored 3540851 2404
build-model-states-explored 3543262 2411
build-model-states-explored 3545667 2405
build-model-states-explored 3548130 2463
build-model-states-explored 3550598 2468
build-model-states-explored 3553068 2470
build-model-states-explored 3555536 2468
build-model-states-explored 3558013 2477
build-model-states-explored 3560485 2472
build-model-states-explored 3562959 2474
build-model-states-explored 3565420 2461
build-model-states-explored 3567883 2463
build-model-states-explored 3570346 2463
build-model-states-explored 3572811 2465
build-model-states-explored 3575214 2403
build-model-states-explored 3577615 2401
build-model-states-explored 3580005 2390
build-model-states-explored 3582468 2463
build-model-states-explored 3584941 2473
build-model-states-explored 3587417 2476
build-model-states-explored 3589877 2460
build-model-states-explored 3592346 2469
build-model-states-explored 3594821 2475
build-model-states-explored 3597284 2463
build-model-states-explored 3599683 2399
build-model-states-explored 3602075 2392
build-model-states-explored 3604466 2391
build-model-states-explored 3606912 2446
build-model-states-explored 3609367 2455
build-model-states-explored 3611826 2459
build-model-states-explored 3614302 2476
build-model-states-explored 3616774 2472
build-model-states-explored 3619248 2474
build-model-states-explored 3621722 2474
build-model-states-explored 3624191 2469
build-model-states-explored 3626660 2469
build-model-states-explored 3629133 2473
build-model-states-explored 3631608 2475
build-model-states-explored 3634084 2476
build-model-states-explored 3636557 2473
build-model-states-explored 3639032 2475
build-model-states-explored 3641440 2408
build-model-states-explored 3643835 2395
build-model-states-explored 3646233 2398
build-model-states-explored 3648684 2451
build-model-states-explored 3651151 2467
build-model-states-explored 3653616 2465
build-model-states-explored 3656084 2468
build-model-states-explored 3658551 2467
build-model-states-explored 3661022 2471
build-model-states-explored 3663497 2475
build-model-states-explored 3665952 2455
build-model-states-explored 3668348 2396
build-model-states-explored 3670811 2463
build-model-states-explored 3673241 2430
build-model-states-explored 3675669 2428
build-model-states-explored 3678123 2454
build-model-states-explored 3680578 2455
build-model-states-explored 3683031 2453
build-model-states-explored 3685456 2425
build-model-states-explored 3687854 2398
build-model-states-explored 3690252 2398
build-model-states-explored 3692645 2393
build-model-states-explored 3695037 2392
build-model-states-explored 3697490 2453
build-model-states-explored 3699898 2408
build-model-states-explored 3702356 2458
build-model-states-explored 3704821 2465
build-model-states-explored 3707290 2469
build-model-states-explored 3709756 2466
build-model-states-explored 3712222 2466
build-model-states-explored 3714679 2457
build-model-states-explored 3717076 2397
build-model-states-explored 3719532 2456
build-model-states-explored 3721999 2467
build-model-states-explored 3724469 2470
build-model-states-explored 3726946 2477
build-model-states-explored 3729398 2452
build-model-states-explored 3731804 2406
build-model-states-explored 3734208 2404
build-model-states-explored 3736609 2401
build-model-states-explored 3739016 2407
build-model-states-explored 3741421 2405
build-model-states-explored 3743825 2404
build-model-states-explored 3746227 2402
build-model-states-explored 3748687 2460
build-model-states-explored 3751155 2468
build-model-states-explored 3753615 2460
build-model-states-explored 3756035 2420
build-model-states-explored 3758508 2473
build-model-states-explored 3760979 2471
build-model-states-explored 3763455 2476
build-model-states-explored 3765931 2476
build-model-states-explored 3768403 2472
build-model-states-explored 3770816 2413
build-model-states-explored 3773212 2396
build-model-states-explored 3775667 2455
build-model-states-explored 3778142 2475
build-model-states-explored 3780619 2477
build-model-states-explored 3783090 2471
build-model-states-explored 3785566 2476
build-model-states-explored 3788044 2478
build-model-states-explored 3790528 2484
build-model-states-explored 3792997 2469
build-model-states-explored 3795468 2471
build-model-states-explored 3797943 2475
build-model-states-explored 3800414 2471
build-model-states-explored 3802889 2475
build-model-states-explored 3805364 2475
build-model-states-explored 3807840 2476
build-model-states-explored 3810320 2480
build-model-states-explored 3812801 2481
build-model-states-explored 3815274 2473
build-model-states-explored 3817748 2474
build-model-states-explored 3820192 2444
build-model-states-explored 3822644 2452
build-model-states-explored 3825116 2472
build-model-states-explored 3827519 2403
build-model-states-explored 3829986 2467
build-model-states-explored 3832452 2466
build-model-states-explored 3834931 2479
build-model-states-explored 3837406 2475
build-model-states-explored 3839876 2470
build-model-states-explored 3842348 2472
build-model-states-explored 3844816 2468
build-model-states-explored 3847285 2469
build-model-states-explored 3849751 2466
build-model-states-explored 3852223 2472
build-model-states-explored 3854698 2475
build-model-states-explored 3857166 2468
build-model-states-explored 3859637 2471
build-model-states-explored 3862110 2473
build-model-states-explored 3864582 2472
build-model-states-explored 3867051 2469
build-model-states-explored 3869462 2411
build-model-states-explored 3871860 2398
build-model-states-explored 3874312 2452
build-model-states-explored 3876782 2470
build-model-states-explored 3879260 2478
build-model-states-explored 3881734 2474
build-model-states-explored 3884210 2476
build-model-states-explored 3886675 2465
build-model-states-explored 3889149 2474
build-model-states-explored 3891619 2470
build-model-states-explored 3894090 2471
build-model-states-explored 3896560 2470
build-model-states-explored 3899033 2473
build-model-states-explored 3901505 2472
build-model-states-explored 3903977 2472
build-model-states-explored 3906449 2472
build-model-states-explored 3908926 2477
build-model-states-explored 3911402 2476
build-model-states-explored 3913874 2472
build-model-states-explored 3916332 2458
build-model-states-explored 3918805 2473
build-model-states-explored 3921279 2474
build-model-states-explored 3923750 2471
build-model-states-explored 3926220 2470
build-model-states-explored 3928699 2479
build-model-states-explored 3931172 2473
build-model-states-explored 3933648 2476
build-model-states-explored 3936117 2469
build-model-states-explored 3938590 2473
build-model-states-explored 3941061 2471
build-model-states-explored 3943533 2472
build-model-states-explored 3946005 2472
build-model-states-explored 3948475 2470
build-model-states-explored 3950944 2469
build-model-states-explored 3953421 2477
build-model-states-explored 3955873 2452
build-model-states-explored 3958294 2421
build-model-states-explored 3960770 2476
build-model-states-explored 3963243 2473
build-model-states-explored 3965716 2473
build-model-states-explored 3968156 2440
build-model-states-explored 3970601 2445
build-model-states-explored 3973051 2450
build-model-states-explored 3975515 2464
build-model-states-explored 3977977 2462
build-model-states-explored 3980372 2395
build-model-states-explored 3982770 2398
build-model-states-explored 3985172 2402
build-model-states-explored 3987586 2414
build-model-states-explored 3990045 2459
build-model-states-explored 3992516 2471
build-model-states-explored 3994983 2467
build-model-states-explored 3997416 2433
build-model-states-explored 3999890 2474
build-model-states-explored 4002368 2478
build-model-states-explored 4004841 2473
build-model-states-explored 4007316 2475
build-model-states-explored 4009797 2481
build-model-states-explored 4012290 2493
build-model-states-explored 4014843 2553
build-model-states-explored 4017452 2609
build-model-states-explored 4020040 2588
build-model-states-explored 4022616 2576
build-model-states-explored 4025165 2549
build-model-states-explored 4027722 2557
build-model-states-explored 4030245 2523
build-model-states-explored 4032752 2507
build-model-states-explored 4035270 2518
build-model-states-explored 4037779 2509
build-model-states-explored 4040305 2526
build-model-states-explored 4042818 2513
build-model-states-explored 4045331 2513
build-model-states-explored 4047858 2527
build-model-states-explored 4050383 2525
build-model-states-explored 4052916 2533
build-model-states-explored 4055448 2532
build-model-states-explored 4057973 2525
build-model-states-explored 4060519 2546
build-model-states-explored 4063118 2599
build-model-states-explored 4065717 2599
build-model-states-explored 4068321 2604
build-model-states-explored 4070918 2597
build-model-states-explored 4073511 2593
build-model-states-explored 4076100 2589
build-model-states-explored 4078633 2533
build-model-states-explored 4081164 2531
build-model-states-explored 4083697 2533
build-model-states-explored 4086248 2551
build-model-states-explored 4088802 2554
build-model-states-explored 4091404 2602
build-model-states-explored 4093997 2593
build-model-states-explored 4096597 2600
build-model-states-explored 4099202 2605
build-model-states-explored 4101821 2619
build-model-states-explored 4104431 2610
build-model-states-explored 4107038 2607
build-model-states-explored 4109634 2596
build-model-states-explored 4112240 2606
build-model-states-explored 4114864 2624
build-model-states-explored 4117459 2595
build-model-states-explored 4120041 2582
build-model-states-explored 4122628 2587
build-model-states-explored 4125207 2579
build-model-states-explored 4127769 2562
build-model-states-explored 4130373 2604
build-model-states-explored 4132944 2571
build-model-states-explored 4135536 2592
build-model-states-explored 4138068 2532
build-model-states-explored 4140590 2522
build-model-states-explored 4143106 2516
build-model-states-explored 4145626 2520
build-model-states-explored 4148153 2527
build-model-states-explored 4150671 2518
build-model-states-explored 4153198 2527
build-model-states-explored 4155723 2525
build-model-states-explored 4158248 2525
build-model-states-explored 4160810 2562
build-model-states-explored 4163346 2536
build-model-states-explored 4165876 2530
build-model-states-explored 4168459 2583
build-model-states-explored 4171051 2592
build-model-states-explored 4173659 2608
build-model-states-explored 4176275 2616
build-model-states-explored 4178834 2559
build-model-states-explored 4181371 2537
build-model-states-explored 4183907 2536
build-model-states-explored 4186418 2511
build-model-states-explored 4188933 2515
build-model-states-explored 4191438 2505
build-model-states-explored 4193940 2502
build-model-states-explored 4196468 2528
build-model-states-explored 4199046 2578
build-model-states-explored 4201623 2577
build-model-states-explored 4204224 2601
build-model-states-explored 4206832 2608
build-model-states-explored 4209440 2608
build-model-states-explored 4212043 2603
build-model-states-explored 4214638 2595
build-model-states-explored 4217237 2599
build-model-states-explored 4219844 2607
build-model-states-explored 4222430 2586
build-model-states-explored 4225033 2603
build-model-states-explored 4227636 2603
build-model-states-explored 4230243 2607
build-model-states-explored 4232845 2602
build-model-states-explored 4235445 2600
build-model-states-explored 4238058 2613
build-model-states-explored 4240662 2604
build-model-states-explored 4243269 2607
build-model-states-explored 4245873 2604
build-model-states-explored 4248475 2602
build-model-states-explored 4251078 2603
build-model-states-explored 4253687 2609
build-model-states-explored 4256211 2524
build-model-states-explored 4258747 2536
build-model-states-explored 4261349 2602
build-model-states-explored 4263954 2605
build-model-states-explored 4266565 2611
build-model-states-explored 4269163 2598
build-model-states-explored 4271746 2583
build-model-states-explored 4274307 2561
build-model-states-explored 4276863 2556
build-model-states-explored 4279433 2570
build-model-states-explored 4282013 2580
build-model-states-explored 4284588 2575
build-model-states-explored 4287190 2602
build-model-states-explored 4289776 2586
build-model-states-explored 4292303 2527
build-model-states-explored 4294831 2528
build-model-states-explored 4297423 2592
build-model-states-explored 4299979 2556
build-model-states-explored 4302446 2467
build-model-states-explored 4304911 2465
build-model-states-explored 4307348 2437
build-model-states-explored 4309814 2466
build-model-states-explored 4312271 2457
build-model-states-explored 4314668 2397
build-model-states-explored 4317134 2466
build-model-states-explored 4319600 2466
build-model-states-explored 4322069 2469
build-model-states-explored 4324527 2458
build-model-states-explored 4326990 2463
build-model-states-explored 4329452 2462
build-model-states-explored 4331919 2467
build-model-states-explored 4334388 2469
build-model-states-explored 4336861 2473
build-model-states-explored 4339333 2472
build-model-states-explored 4341803 2470
build-model-states-explored 4344264 2461
build-model-states-explored 4346723 2459
build-model-states-explored 4349187 2464
build-model-states-explored 4351653 2466
build-model-states-explored 4354115 2462
----------
Computation aborted after 1800.0511438846588 seconds since the total time limit of 1800 seconds was exceeded.