epmc

Benchmark
Model:philosophers v.1 (CTMC)
Parameter(s)N = 20, TIME_BOUND = 1
Property:MaxPrReachDeadlockTB (prob-reach-time-bounded)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files philosophers.20.jani --model-input-type jani --property-input-names MaxPrReachDeadlockTB --translate-messages false --value-floating-point-output-native true --const TIME_BOUND=1
Default settings. The option --translate-messages is set to false to ease the parsing of the output while the --value-floating-point-output-native is set to true to get the float values printed in full, instead of with only 7 digits of precision given by the default %.7f format.
Execution
Walltime:> 1800s (Timeout)
Log
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
model-checking
analysing-property MaxPrReachDeadlockTB
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 4608 4608
build-model-states-explored 11476 6868
build-model-states-explored 18539 7063
build-model-states-explored 25154 6615
build-model-states-explored 31834 6680
build-model-states-explored 38642 6808
build-model-states-explored 45690 7048
build-model-states-explored 52852 7162
build-model-states-explored 58297 5445
build-model-states-explored 65119 6822
build-model-states-explored 71811 6692
build-model-states-explored 78918 7107
build-model-states-explored 85713 6795
build-model-states-explored 92005 6292
build-model-states-explored 98379 6374
build-model-states-explored 105166 6787
build-model-states-explored 111270 6104
build-model-states-explored 116677 5407
build-model-states-explored 120230 3553
build-model-states-explored 125938 5708
build-model-states-explored 132007 6069
build-model-states-explored 138579 6572
build-model-states-explored 144888 6309
build-model-states-explored 151227 6339
build-model-states-explored 157787 6560
build-model-states-explored 164361 6574
build-model-states-explored 171588 7227
build-model-states-explored 178379 6791
build-model-states-explored 185198 6819
build-model-states-explored 191940 6742
build-model-states-explored 198423 6483
build-model-states-explored 205148 6725
build-model-states-explored 211734 6586
build-model-states-explored 217743 6009
build-model-states-explored 223945 6202
build-model-states-explored 230310 6365
build-model-states-explored 234948 4638
build-model-states-explored 241277 6329
build-model-states-explored 247062 5785
build-model-states-explored 253115 6053
build-model-states-explored 259235 6120
build-model-states-explored 265231 5996
build-model-states-explored 271914 6683
build-model-states-explored 272635 721
build-model-states-explored 274712 2077
build-model-states-explored 281471 6759
build-model-states-explored 288239 6768
build-model-states-explored 294474 6235
build-model-states-explored 300243 5769
build-model-states-explored 306477 6234
build-model-states-explored 312187 5710
build-model-states-explored 317773 5586
build-model-states-explored 323810 6037
build-model-states-explored 329464 5654
build-model-states-explored 335245 5781
build-model-states-explored 341131 5886
build-model-states-explored 347211 6080
build-model-states-explored 353763 6552
build-model-states-explored 360308 6545
build-model-states-explored 366650 6342
build-model-states-explored 372028 5378
build-model-states-explored 377872 5844
build-model-states-explored 383244 5372
build-model-states-explored 388946 5702
build-model-states-explored 394316 5370
build-model-states-explored 399995 5679
build-model-states-explored 405859 5864
build-model-states-explored 412192 6333
build-model-states-explored 418660 6468
build-model-states-explored 423925 5265
build-model-states-explored 429575 5650
build-model-states-explored 434827 5252
build-model-states-explored 440330 5503
build-model-states-explored 446053 5723
build-model-states-explored 452258 6205
build-model-states-explored 458274 6016
build-model-states-explored 463736 5462
build-model-states-explored 469103 5367
build-model-states-explored 472465 3362
build-model-states-explored 478544 6079
build-model-states-explored 484347 5803
build-model-states-explored 489894 5547
build-model-states-explored 495868 5974
build-model-states-explored 501715 5847
build-model-states-explored 507735 6020
build-model-states-explored 513769 6034
build-model-states-explored 520082 6313
build-model-states-explored 526816 6734
build-model-states-explored 533748 6932
build-model-states-explored 540760 7012
build-model-states-explored 547115 6354
build-model-states-explored 553752 6637
build-model-states-explored 559962 6210
build-model-states-explored 566308 6346
build-model-states-explored 572669 6361
build-model-states-explored 579170 6501
build-model-states-explored 585660 6490
build-model-states-explored 591691 6031
build-model-states-explored 598154 6463
build-model-states-explored 604064 5910
build-model-states-explored 609867 5803
build-model-states-explored 612220 2353
build-model-states-explored 612220 0
build-model-states-explored 612220 0
build-model-states-explored 612220 0
build-model-states-explored 613845 1625
build-model-states-explored 619742 5897
build-model-states-explored 625944 6202
build-model-states-explored 632176 6232
build-model-states-explored 638558 6382
build-model-states-explored 645286 6728
build-model-states-explored 651823 6537
build-model-states-explored 658221 6398
build-model-states-explored 663684 5463
build-model-states-explored 669562 5878
build-model-states-explored 675008 5446
build-model-states-explored 680631 5623
build-model-states-explored 685990 5359
build-model-states-explored 691717 5727
build-model-states-explored 697682 5965
build-model-states-explored 704042 6360
build-model-states-explored 710491 6449
build-model-states-explored 715841 5350
build-model-states-explored 721574 5733
build-model-states-explored 726940 5366
build-model-states-explored 732548 5608
build-model-states-explored 738349 5801
build-model-states-explored 744690 6341
build-model-states-explored 750564 5874
build-model-states-explored 756075 5511
build-model-states-explored 761492 5417
build-model-states-explored 767353 5861
build-model-states-explored 773654 6301
build-model-states-explored 779109 5455
build-model-states-explored 784832 5723
build-model-states-explored 790957 6125
build-model-states-explored 796790 5832
build-model-states-explored 802868 6077
build-model-states-explored 809367 6500
build-model-states-explored 815967 6599
build-model-states-explored 822473 6507
build-model-states-explored 829185 6712
build-model-states-explored 835468 6283
build-model-states-explored 841695 6227
build-model-states-explored 848028 6333
build-model-states-explored 854394 6366
build-model-states-explored 860617 6223
build-model-states-explored 866844 6227
build-model-states-explored 873487 6643
build-model-states-explored 878466 4979
build-model-states-explored 883639 5173
build-model-states-explored 889097 5458
build-model-states-explored 893955 4858
build-model-states-explored 899207 5252
build-model-states-explored 904473 5266
build-model-states-explored 909699 5226
build-model-states-explored 915378 5679
build-model-states-explored 921444 6066
build-model-states-explored 927405 5961
build-model-states-explored 932001 4596
build-model-states-explored 937201 5200
build-model-states-explored 941747 4546
build-model-states-explored 946683 4936
build-model-states-explored 951845 5162
build-model-states-explored 957228 5383
build-model-states-explored 963142 5914
build-model-states-explored 964443 1301
build-model-states-explored 969035 4592
build-model-states-explored 973861 4826
build-model-states-explored 978834 4973
build-model-states-explored 984160 5326
build-model-states-explored 989871 5711
build-model-states-explored 994722 4851
build-model-states-explored 999704 4982
build-model-states-explored 1005449 5745
build-model-states-explored 1010425 4976
build-model-states-explored 1016041 5616
build-model-states-explored 1021474 5433
build-model-states-explored 1027203 5729
build-model-states-explored 1033298 6095
build-model-states-explored 1039452 6154
build-model-states-explored 1042888 3436
build-model-states-explored 1048831 5943
build-model-states-explored 1056301 7470
build-model-states-explored 1063886 7585
build-model-states-explored 1071588 7702
build-model-states-explored 1076886 5298
build-model-states-explored 1082718 5832
build-model-states-explored 1088391 5673
build-model-states-explored 1094026 5635
build-model-states-explored 1100257 6231
build-model-states-explored 1107193 6936
build-model-states-explored 1112666 5473
build-model-states-explored 1118082 5416
build-model-states-explored 1123781 5699
build-model-states-explored 1130022 6241
build-model-states-explored 1136097 6075
build-model-states-explored 1141770 5673
build-model-states-explored 1147908 6138
build-model-states-explored 1153944 6036
build-model-states-explored 1160328 6384
build-model-states-explored 1166679 6351
build-model-states-explored 1173451 6772
build-model-states-explored 1180641 7190
build-model-states-explored 1187870 7229
build-model-states-explored 1195294 7424
build-model-states-explored 1202681 7387
build-model-states-explored 1207863 5182
build-model-states-explored 1213268 5405
build-model-states-explored 1218957 5689
build-model-states-explored 1225407 6450
build-model-states-explored 1230904 5497
build-model-states-explored 1236316 5412
build-model-states-explored 1242502 6186
build-model-states-explored 1248087 5585
build-model-states-explored 1254248 6161
build-model-states-explored 1260421 6173
build-model-states-explored 1266945 6524
build-model-states-explored 1274139 7194
build-model-states-explored 1281259 7120
build-model-states-explored 1287876 6617
build-model-states-explored 1293091 5215
build-model-states-explored 1299026 5934
build-model-states-explored 1304809 5784
build-model-states-explored 1310502 5693
build-model-states-explored 1316264 5762
build-model-states-explored 1322713 6449
build-model-states-explored 1329626 6913
build-model-states-explored 1336876 7250
build-model-states-explored 1342536 5660
build-model-states-explored 1348598 6062
build-model-states-explored 1354576 5978
build-model-states-explored 1360777 6201
build-model-states-explored 1368003 7225
build-model-states-explored 1373989 5987
build-model-states-explored 1380254 6265
build-model-states-explored 1387138 6884
build-model-states-explored 1393805 6667
build-model-states-explored 1400972 7167
build-model-states-explored 1409613 8641
build-model-states-explored 1410837 1224
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1410837 0
build-model-states-explored 1417414 6577
build-model-states-explored 1425811 8397
build-model-states-explored 1434061 8250
build-model-states-explored 1442479 8418
build-model-states-explored 1451516 9036
build-model-states-explored 1459802 8287
build-model-states-explored 1467674 7872
build-model-states-explored 1475201 7527
build-model-states-explored 1483040 7839
build-model-states-explored 1491627 8587
build-model-states-explored 1499341 7714
build-model-states-explored 1506735 7394
build-model-states-explored 1514714 7979
build-model-states-explored 1522594 7880
build-model-states-explored 1530088 7494
build-model-states-explored 1538101 8013
build-model-states-explored 1545977 7876
build-model-states-explored 1553971 7994
build-model-states-explored 1561329 7358
build-model-states-explored 1567925 6596
build-model-states-explored 1574667 6742
build-model-states-explored 1581490 6823
build-model-states-explored 1588163 6673
build-model-states-explored 1594905 6742
build-model-states-explored 1602587 7682
build-model-states-explored 1610311 7724
build-model-states-explored 1616436 6125
build-model-states-explored 1622870 6434
build-model-states-explored 1629030 6160
build-model-states-explored 1635382 6352
build-model-states-explored 1642680 7298
build-model-states-explored 1649884 7204
build-model-states-explored 1656137 6253
build-model-states-explored 1662290 6153
build-model-states-explored 1669335 7045
build-model-states-explored 1676230 6895
build-model-states-explored 1682690 6460
build-model-states-explored 1690049 7359
build-model-states-explored 1696603 6554
build-model-states-explored 1703720 7117
build-model-states-explored 1711550 7830
build-model-states-explored 1719164 7614
build-model-states-explored 1727047 7883
build-model-states-explored 1734314 7267
build-model-states-explored 1741814 7500
build-model-states-explored 1749413 7599
build-model-states-explored 1756785 7372
build-model-states-explored 1762351 5566
build-model-states-explored 1768165 5814
build-model-states-explored 1774076 5911
build-model-states-explored 1780153 6077
build-model-states-explored 1786833 6680
build-model-states-explored 1793522 6689
build-model-states-explored 1799041 5519
build-model-states-explored 1804692 5651
build-model-states-explored 1810548 5856
build-model-states-explored 1817402 6854
build-model-states-explored 1823066 5664
build-model-states-explored 1828951 5885
build-model-states-explored 1835508 6557
build-model-states-explored 1841617 6109
build-model-states-explored 1848073 6456
build-model-states-explored 1855193 7120
build-model-states-explored 1862377 7184
build-model-states-explored 1869798 7421
build-model-states-explored 1877171 7373
build-model-states-explored 1884765 7594
build-model-states-explored 1890584 5819
build-model-states-explored 1896116 5532
build-model-states-explored 1901936 5820
build-model-states-explored 1908347 6411
build-model-states-explored 1914292 5945
build-model-states-explored 1919915 5623
build-model-states-explored 1926132 6217
build-model-states-explored 1932056 5924
build-model-states-explored 1938415 6359
build-model-states-explored 1944828 6413
build-model-states-explored 1951661 6833
build-model-states-explored 1958872 7211
build-model-states-explored 1966169 7297
build-model-states-explored 1972717 6548
build-model-states-explored 1978384 5667
build-model-states-explored 1980747 2363
build-model-states-explored 1980915 168
build-model-states-explored 1987283 6368
build-model-states-explored 1992910 5627
build-model-states-explored 1999142 6232
build-model-states-explored 2005529 6387
build-model-states-explored 2012493 6964
build-model-states-explored 2019908 7415
build-model-states-explored 2026125 6217
build-model-states-explored 2032338 6213
build-model-states-explored 2038483 6145
build-model-states-explored 2045016 6533
build-model-states-explored 2052464 7448
build-model-states-explored 2058831 6367
build-model-states-explored 2065360 6529
build-model-states-explored 2072361 7001
build-model-states-explored 2079768 7407
build-model-states-explored 2087186 7418
build-model-states-explored 2094482 7296
build-model-states-explored 2100453 5971
build-model-states-explored 2107346 6893
build-model-states-explored 2114681 7335
build-model-states-explored 2122277 7596
build-model-states-explored 2129951 7674
build-model-states-explored 2138337 8386
build-model-states-explored 2145339 7002
build-model-states-explored 2152322 6983
build-model-states-explored 2159121 6799
build-model-states-explored 2166122 7001
build-model-states-explored 2173673 7551
build-model-states-explored 2181004 7331
build-model-states-explored 2187591 6587
build-model-states-explored 2194467 6876
build-model-states-explored 2202347 7880
build-model-states-explored 2208990 6643
build-model-states-explored 2216191 7201
build-model-states-explored 2223626 7435
build-model-states-explored 2230875 7249
build-model-states-explored 2238326 7451
build-model-states-explored 2244456 6130
build-model-states-explored 2249409 4953
build-model-states-explored 2254577 5168
build-model-states-explored 2259883 5306
build-model-states-explored 2265003 5120
build-model-states-explored 2270908 5905
build-model-states-explored 2277413 6505
build-model-states-explored 2282559 5146
build-model-states-explored 2287616 5057
build-model-states-explored 2292458 4842
build-model-states-explored 2297916 5458
build-model-states-explored 2304362 6446
build-model-states-explored 2309307 4945
build-model-states-explored 2314428 5121
build-model-states-explored 2320666 6238
build-model-states-explored 2325856 5190
build-model-states-explored 2331710 5854
build-model-states-explored 2337763 6053
build-model-states-explored 2344119 6356
build-model-states-explored 2350589 6470
build-model-states-explored 2357170 6581
build-model-states-explored 2363722 6552
build-model-states-explored 2370634 6912
build-model-states-explored 2375834 5200
build-model-states-explored 2380632 4798
build-model-states-explored 2385381 4749
build-model-states-explored 2390419 5038
build-model-states-explored 2396410 5991
build-model-states-explored 2401161 4751
build-model-states-explored 2406031 4870
build-model-states-explored 2411098 5067
build-model-states-explored 2416345 5247
build-model-states-explored 2421459 5114
build-model-states-explored 2426834 5375
build-model-states-explored 2432616 5782
build-model-states-explored 2438741 6125
build-model-states-explored 2445300 6559
build-model-states-explored 2451799 6499
build-model-states-explored 2457941 6142
build-model-states-explored 2462511 4570
build-model-states-explored 2464041 1530
build-model-states-explored 2468910 4869
build-model-states-explored 2474335 5425
build-model-states-explored 2479263 4928
build-model-states-explored 2484733 5470
build-model-states-explored 2490426 5693
build-model-states-explored 2496334 5908
build-model-states-explored 2502801 6467
build-model-states-explored 2509279 6478
build-model-states-explored 2514224 4945
build-model-states-explored 2519684 5460
build-model-states-explored 2525254 5570
build-model-states-explored 2530865 5611
build-model-states-explored 2537494 6629
build-model-states-explored 2542958 5464
build-model-states-explored 2548926 5968
build-model-states-explored 2555170 6244
build-model-states-explored 2560898 5728
build-model-states-explored 2567749 6851
build-model-states-explored 2574393 6644
build-model-states-explored 2581080 6687
build-model-states-explored 2587638 6558
build-model-states-explored 2594599 6961
build-model-states-explored 2601428 6829
build-model-states-explored 2609362 7934
build-model-states-explored 2615789 6427
build-model-states-explored 2622207 6418
build-model-states-explored 2628665 6458
build-model-states-explored 2636181 7516
build-model-states-explored 2642473 6292
build-model-states-explored 2649443 6970
build-model-states-explored 2656198 6755
build-model-states-explored 2663152 6954
build-model-states-explored 2670231 7079
build-model-states-explored 2676356 6125
build-model-states-explored 2681046 4690
build-model-states-explored 2685564 4518
build-model-states-explored 2690411 4847
build-model-states-explored 2696011 5600
build-model-states-explored 2701273 5262
build-model-states-explored 2705717 4444
build-model-states-explored 2710541 4824
build-model-states-explored 2716233 5692
build-model-states-explored 2720932 4699
build-model-states-explored 2726394 5462
build-model-states-explored 2731661 5267
build-model-states-explored 2737393 5732
build-model-states-explored 2743438 6045
build-model-states-explored 2749649 6211
build-model-states-explored 2756095 6446
build-model-states-explored 2761048 4953
build-model-states-explored 2765406 4358
build-model-states-explored 2770268 4862
build-model-states-explored 2775589 5321
build-model-states-explored 2780083 4494
build-model-states-explored 2785222 5139
build-model-states-explored 2789985 4763
build-model-states-explored 2795444 5459
build-model-states-explored 2801379 5935
build-model-states-explored 2807787 6408
build-model-states-explored 2812899 5112
build-model-states-explored 2817680 4781
build-model-states-explored 2822701 5021
build-model-states-explored 2827930 5229
build-model-states-explored 2833375 5445
build-model-states-explored 2839689 6314
build-model-states-explored 2844622 4933
build-model-states-explored 2850147 5525
build-model-states-explored 2855954 5807
build-model-states-explored 2861560 5606
build-model-states-explored 2867824 6264
build-model-states-explored 2873877 6053
build-model-states-explored 2880126 6249
build-model-states-explored 2886644 6518
build-model-states-explored 2893276 6632
build-model-states-explored 2900495 7219
build-model-states-explored 2906524 6029
build-model-states-explored 2913046 6522
build-model-states-explored 2919768 6722
build-model-states-explored 2926554 6786
build-model-states-explored 2933315 6761
build-model-states-explored 2939779 6464
build-model-states-explored 2944229 4450
build-model-states-explored 2948722 4493
build-model-states-explored 2954045 5323
build-model-states-explored 2958784 4739
build-model-states-explored 2963353 4569
build-model-states-explored 2968265 4912
build-model-states-explored 2973636 5371
build-model-states-explored 2979270 5634
build-model-states-explored 2985217 5947
build-model-states-explored 2991311 6094
build-model-states-explored 2995634 4323
build-model-states-explored 3000631 4997
build-model-states-explored 3004976 4345
build-model-states-explored 3010268 5292
build-model-states-explored 3015741 5473
build-model-states-explored 3021924 6183
build-model-states-explored 3026513 4589
build-model-states-explored 3031729 5216
build-model-states-explored 3037494 5765
build-model-states-explored 3042758 5264
build-model-states-explored 3048862 6104
build-model-states-explored 3054749 5887
build-model-states-explored 3060996 6247
build-model-states-explored 3067375 6379
build-model-states-explored 3074058 6683
build-model-states-explored 3080579 6521
build-model-states-explored 3087126 6547
build-model-states-explored 3094028 6902
build-model-states-explored 3098689 4661
build-model-states-explored 3103568 4879
build-model-states-explored 3108195 4627
build-model-states-explored 3113431 5236
build-model-states-explored 3118950 5519
build-model-states-explored 3125112 6162
build-model-states-explored 3129507 4395
build-model-states-explored 3134665 5158
build-model-states-explored 3140100 5435
build-model-states-explored 3145336 5236
build-model-states-explored 3151149 5813
build-model-states-explored 3156857 5708
build-model-states-explored 3163100 6243
build-model-states-explored 3169805 6705
build-model-states-explored 3176372 6567
build-model-states-explored 3182791 6419
build-model-states-explored 3187809 5018
build-model-states-explored 3192743 4934
build-model-states-explored 3198581 5838
build-model-states-explored 3203439 4858
build-model-states-explored 3207803 4364
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3207803 0
build-model-states-explored 3213447 5644
build-model-states-explored 3220861 7414
build-model-states-explored 3228611 7750
build-model-states-explored 3234803 6192
build-model-states-explored 3241969 7166
build-model-states-explored 3249372 7403
build-model-states-explored 3256444 7072
build-model-states-explored 3264275 7831
build-model-states-explored 3272236 7961
build-model-states-explored 3280324 8088
build-model-states-explored 3288226 7902
build-model-states-explored 3296502 8276
build-model-states-explored 3305249 8747
build-model-states-explored 3312689 7440
build-model-states-explored 3320068 7379
build-model-states-explored 3328242 8174
build-model-states-explored 3335922 7680
build-model-states-explored 3343629 7707
build-model-states-explored 3351463 7834
build-model-states-explored 3359542 8079
build-model-states-explored 3367866 8324
build-model-states-explored 3376549 8683
build-model-states-explored 3385032 8483
build-model-states-explored 3393481 8449
build-model-states-explored 3401428 7947
build-model-states-explored 3408448 7020
build-model-states-explored 3415583 7135
build-model-states-explored 3423502 7919
build-model-states-explored 3430230 6728
build-model-states-explored 3437277 7047
build-model-states-explored 3444471 7194
build-model-states-explored 3451796 7325
build-model-states-explored 3459124 7328
build-model-states-explored 3467213 8089
build-model-states-explored 3475505 8292
build-model-states-explored 3483589 8084
build-model-states-explored 3490290 6701
build-model-states-explored 3497570 7280
build-model-states-explored 3504353 6783
build-model-states-explored 3511479 7126
build-model-states-explored 3518720 7241
build-model-states-explored 3526730 8010
build-model-states-explored 3534876 8146
build-model-states-explored 3541559 6683
build-model-states-explored 3548554 6995
build-model-states-explored 3555811 7257
build-model-states-explored 3563854 8043
build-model-states-explored 3571073 7219
build-model-states-explored 3578380 7307
build-model-states-explored 3586205 7825
build-model-states-explored 3593921 7716
build-model-states-explored 3600998 7077
build-model-states-explored 3606632 5634
build-model-states-explored 3612337 5705
build-model-states-explored 3618157 5820
build-model-states-explored 3624237 6080
build-model-states-explored 3630987 6750
build-model-states-explored 3637480 6493
build-model-states-explored 3643122 5642
build-model-states-explored 3648475 5353
build-model-states-explored 3654506 6031
build-model-states-explored 3661400 6894
build-model-states-explored 3666884 5484
build-model-states-explored 3672835 5951
build-model-states-explored 3679297 6462
build-model-states-explored 3685503 6206
build-model-states-explored 3691862 6359
build-model-states-explored 3699050 7188
build-model-states-explored 3706043 6993
build-model-states-explored 3713141 7098
build-model-states-explored 3720289 7148
build-model-states-explored 3727711 7422
build-model-states-explored 3733370 5659
build-model-states-explored 3738745 5375
build-model-states-explored 3744138 5393
build-model-states-explored 3750282 6144
build-model-states-explored 3756376 6094
build-model-states-explored 3761428 5052
build-model-states-explored 3767103 5675
build-model-states-explored 3773083 5980
build-model-states-explored 3778840 5757
build-model-states-explored 3784835 5995
build-model-states-explored 3791463 6628
build-model-states-explored 3798274 6811
build-model-states-explored 3805347 7073
build-model-states-explored 3812684 7337
build-model-states-explored 3818192 5508
build-model-states-explored 3823656 5464
build-model-states-explored 3829924 6268
build-model-states-explored 3835280 5356
build-model-states-explored 3841135 5855
build-model-states-explored 3847294 6159
build-model-states-explored 3853870 6576
build-model-states-explored 3861046 7176
build-model-states-explored 3867450 6404
build-model-states-explored 3873284 5834
build-model-states-explored 3879085 5801
build-model-states-explored 3885587 6502
build-model-states-explored 3892449 6862
build-model-states-explored 3898883 6434
build-model-states-explored 3905199 6316
build-model-states-explored 3912095 6896
build-model-states-explored 3918538 6443
build-model-states-explored 3925955 7417
build-model-states-explored 3933210 7255
build-model-states-explored 3940282 7072
build-model-states-explored 3947063 6781
build-model-states-explored 3953815 6752
build-model-states-explored 3961447 7632
build-model-states-explored 3968954 7507
build-model-states-explored 3975528 6574
build-model-states-explored 3982078 6550
build-model-states-explored 3989282 7204
build-model-states-explored 3996220 6938
build-model-states-explored 4002254 6034
build-model-states-explored 4009654 7400
build-model-states-explored 4016551 6897
build-model-states-explored 4023836 7285
build-model-states-explored 4031610 7774
build-model-states-explored 4036261 4651
build-model-states-explored 4041271 5010
build-model-states-explored 4046623 5352
build-model-states-explored 4052284 5661
build-model-states-explored 4058081 5797
build-model-states-explored 4062837 4756
build-model-states-explored 4068116 5279
build-model-states-explored 4074013 5897
build-model-states-explored 4079212 5199
build-model-states-explored 4084929 5717
build-model-states-explored 4090894 5965
build-model-states-explored 4094666 3772
build-model-states-explored 4094666 0
build-model-states-explored 4094666 0
build-model-states-explored 4096443 1777
build-model-states-explored 4102970 6527
build-model-states-explored 4109268 6298
build-model-states-explored 4115902 6634
build-model-states-explored 4120605 4703
build-model-states-explored 4125612 5007
build-model-states-explored 4131248 5636
build-model-states-explored 4136060 4812
build-model-states-explored 4141475 5415
build-model-states-explored 4146572 5097
build-model-states-explored 4152636 6064
build-model-states-explored 4158979 6343
build-model-states-explored 4165601 6622
build-model-states-explored 4170982 5381
build-model-states-explored 4176319 5337
build-model-states-explored 4181350 5031
build-model-states-explored 4187414 6064
build-model-states-explored 4193722 6308
build-model-states-explored 4197010 3288
build-model-states-explored 4202351 5341
build-model-states-explored 4208398 6047
build-model-states-explored 4214807 6409
build-model-states-explored 4220576 5769
build-model-states-explored 4227326 6750
build-model-states-explored 4234123 6797
build-model-states-explored 4240760 6637
build-model-states-explored 4247562 6802
build-model-states-explored 4254897 7335
build-model-states-explored 4261699 6802
build-model-states-explored 4268225 6526
build-model-states-explored 4275265 7040
build-model-states-explored 4282277 7012
build-model-states-explored 4289601 7324
build-model-states-explored 4296588 6987
build-model-states-explored 4301339 4751
build-model-states-explored 4306369 5030
build-model-states-explored 4312094 5725
build-model-states-explored 4316853 4759
build-model-states-explored 4322362 5509
build-model-states-explored 4327499 5137
build-model-states-explored 4333531 6032
build-model-states-explored 4339812 6281
build-model-states-explored 4346249 6437
build-model-states-explored 4351495 5246
build-model-states-explored 4356548 5053
build-model-states-explored 4361570 5022
build-model-states-explored 4367145 5575
build-model-states-explored 4373099 5954
build-model-states-explored 4379447 6348
build-model-states-explored 4384984 5537
build-model-states-explored 4390366 5382
build-model-states-explored 4396605 6239
build-model-states-explored 4402249 5644
build-model-states-explored 4409107 6858
build-model-states-explored 4415600 6493
build-model-states-explored 4422351 6751
build-model-states-explored 4429432 7081
build-model-states-explored 4435990 6558
build-model-states-explored 4442857 6867
build-model-states-explored 4450330 7473
build-model-states-explored 4455667 5337
build-model-states-explored 4460986 5319
build-model-states-explored 4465983 4997
build-model-states-explored 4471928 5945
build-model-states-explored 4478076 6148
build-model-states-explored 4483828 5752
build-model-states-explored 4489268 5440
build-model-states-explored 4494748 5480
build-model-states-explored 4500790 6042
build-model-states-explored 4506388 5598
build-model-states-explored 4513191 6803
build-model-states-explored 4519734 6543
build-model-states-explored 4526729 6995
build-model-states-explored 4533678 6949
build-model-states-explored 4540276 6598
build-model-states-explored 4545890 5614
build-model-states-explored 4551528 5638
build-model-states-explored 4557525 5997
build-model-states-explored 4563088 5563
build-model-states-explored 4569838 6750
build-model-states-explored 4576326 6488
build-model-states-explored 4583626 7300
build-model-states-explored 4589606 5980
build-model-states-explored 4596044 6438
build-model-states-explored 4602482 6438
build-model-states-explored 4609341 6859
build-model-states-explored 4615487 6146
build-model-states-explored 4622943 7456
build-model-states-explored 4629600 6657
build-model-states-explored 4636610 7010
build-model-states-explored 4643319 6709
build-model-states-explored 4650191 6872
build-model-states-explored 4657513 7322
build-model-states-explored 4664711 7198
build-model-states-explored 4671251 6540
build-model-states-explored 4677850 6599
build-model-states-explored 4684895 7045
build-model-states-explored 4691670 6775
build-model-states-explored 4697904 6234
build-model-states-explored 4705202 7298
build-model-states-explored 4712114 6912
build-model-states-explored 4719143 7029
build-model-states-explored 4726442 7299
build-model-states-explored 4734320 7878
build-model-states-explored 4742196 7876
build-model-states-explored 4750017 7821
build-model-states-explored 4757520 7503
build-model-states-explored 4763652 6132
build-model-states-explored 4769619 5967
build-model-states-explored 4776026 6407
build-model-states-explored 4782739 6713
build-model-states-explored 4788595 5856
build-model-states-explored 4795052 6457
build-model-states-explored 4801568 6516
build-model-states-explored 4808034 6466
build-model-states-explored 4814776 6742
build-model-states-explored 4821328 6552
build-model-states-explored 4829098 7770
build-model-states-explored 4836838 7740
build-model-states-explored 4843326 6488
build-model-states-explored 4849528 6202
build-model-states-explored 4856292 6764
build-model-states-explored 4861899 5607
build-model-states-explored 4868329 6430
build-model-states-explored 4875240 6911
build-model-states-explored 4882099 6859
build-model-states-explored 4889762 7663
build-model-states-explored 4896467 6705
build-model-states-explored 4902862 6395
build-model-states-explored 4909414 6552
build-model-states-explored 4915775 6361
build-model-states-explored 4923454 7679
build-model-states-explored 4930117 6663
build-model-states-explored 4936712 6595
build-model-states-explored 4943227 6515
build-model-states-explored 4951317 8090
build-model-states-explored 4957228 5911
build-model-states-explored 4961637 4409
build-model-states-explored 4966070 4433
build-model-states-explored 4970895 4825
build-model-states-explored 4975918 5023
build-model-states-explored 4981556 5638
build-model-states-explored 4985983 4427
build-model-states-explored 4990341 4358
build-model-states-explored 4995550 5209
build-model-states-explored 5000591 5041
build-model-states-explored 5005280 4689
build-model-states-explored 5010303 5023
build-model-states-explored 5015922 5619
build-model-states-explored 5021645 5723
build-model-states-explored 5027764 6119
build-model-states-explored 5033596 5832
build-model-states-explored 5040051 6455
build-model-states-explored 5044178 4127
build-model-states-explored 5048635 4457
build-model-states-explored 5053374 4739
build-model-states-explored 5058120 4746
build-model-states-explored 5062544 4424
build-model-states-explored 5067572 5028
build-model-states-explored 5072762 5190
build-model-states-explored 5077618 4856
build-model-states-explored 5083620 6002
build-model-states-explored 5089727 6107
build-model-states-explored 5094773 5046
build-model-states-explored 5099317 4544
build-model-states-explored 5104194 4877
build-model-states-explored 5109300 5106
build-model-states-explored 5114522 5222
build-model-states-explored 5120632 6110
build-model-states-explored 5125546 4914
build-model-states-explored 5130902 5356
build-model-states-explored 5136363 5461
build-model-states-explored 5141936 5573
build-model-states-explored 5147733 5797
build-model-states-explored 5153748 6015
build-model-states-explored 5159768 6020
build-model-states-explored 5165705 5937
build-model-states-explored 5171907 6202
build-model-states-explored 5178464 6557
build-model-states-explored 5184641 6177
build-model-states-explored 5190461 5820
build-model-states-explored 5197037 6576
build-model-states-explored 5202990 5953
build-model-states-explored 5209265 6275
build-model-states-explored 5215854 6589
build-model-states-explored 5221564 5710
build-model-states-explored 5225771 4207
build-model-states-explored 5229936 4165
build-model-states-explored 5234825 4889
build-model-states-explored 5239194 4369
build-model-states-explored 5243543 4349
build-model-states-explored 5248303 4760
build-model-states-explored 5253288 4985
build-model-states-explored 5257943 4655
build-model-states-explored 5263489 5546
build-model-states-explored 5269216 5727
build-model-states-explored 5274130 4914
build-model-states-explored 5278303 4173
build-model-states-explored 5283080 4777
build-model-states-explored 5287107 4027
build-model-states-explored 5292160 5053
build-model-states-explored 5297220 5060
build-model-states-explored 5303160 5940
build-model-states-explored 5307289 4129
build-model-states-explored 5312226 4937
build-model-states-explored 5317332 5106
build-model-states-explored 5322506 5174
build-model-states-explored 5327594 5088
build-model-states-explored 5333462 5868
build-model-states-explored 5339226 5764
build-model-states-explored 5345232 6006
build-model-states-explored 5351533 6301
build-model-states-explored 5357590 6057
build-model-states-explored 5363864 6274
build-model-states-explored 5370203 6339
build-model-states-explored 5376470 6267
build-model-states-explored 5380591 4121
build-model-states-explored 5385188 4597
build-model-states-explored 5389403 4215
build-model-states-explored 5394463 5060
build-model-states-explored 5399551 5088
build-model-states-explored 5405129 5578
build-model-states-explored 5409629 4500
build-model-states-explored 5414530 4901
build-model-states-explored 5419184 4654
build-model-states-explored 5424672 5488
build-model-states-explored 5429095 4423
build-model-states-explored 5435075 5980
build-model-states-explored 5440587 5512
build-model-states-explored 5446470 5883
build-model-states-explored 5452749 6279
build-model-states-explored 5459100 6351
build-model-states-explored 5464819 5719
build-model-states-explored 5469843 5024
build-model-states-explored 5474208 4365
build-model-states-explored 5479739 5531
build-model-states-explored 5484483 4744
build-model-states-explored 5490190 5707
build-model-states-explored 5495221 5031
build-model-states-explored 5501099 5878
build-model-states-explored 5507663 6564
build-model-states-explored 5512918 5255
build-model-states-explored 5518600 5682
build-model-states-explored 5523850 5250
build-model-states-explored 5529773 5923
build-model-states-explored 5535415 5642
build-model-states-explored 5541270 5855
build-model-states-explored 5545777 4507
build-model-states-explored 5551370 5593
build-model-states-explored 5557433 6063
build-model-states-explored 5563350 5917
build-model-states-explored 5569929 6579
build-model-states-explored 5576627 6698
build-model-states-explored 5582586 5959
build-model-states-explored 5588842 6256
build-model-states-explored 5595085 6243
build-model-states-explored 5601682 6597
build-model-states-explored 5608272 6590
build-model-states-explored 5614890 6618
build-model-states-explored 5622412 7522
build-model-states-explored 5629789 7377
build-model-states-explored 5636258 6469
build-model-states-explored 5642064 5806
build-model-states-explored 5648429 6365
build-model-states-explored 5654121 5692
build-model-states-explored 5660329 6208
build-model-states-explored 5666488 6159
build-model-states-explored 5672609 6121
build-model-states-explored 5679889 7280
build-model-states-explored 5686822 6933
build-model-states-explored 5692648 5826
build-model-states-explored 5698700 6052
build-model-states-explored 5705114 6414
build-model-states-explored 5711982 6868
build-model-states-explored 5718660 6678
build-model-states-explored 5724725 6065
build-model-states-explored 5731616 6891
build-model-states-explored 5738151 6535
build-model-states-explored 5744803 6652
build-model-states-explored 5750950 6147
build-model-states-explored 5755024 4074
build-model-states-explored 5759174 4150
build-model-states-explored 5764070 4896
build-model-states-explored 5768399 4329
build-model-states-explored 5772704 4305
build-model-states-explored 5777419 4715
build-model-states-explored 5782403 4984
build-model-states-explored 5787140 4737
build-model-states-explored 5792555 5415
build-model-states-explored 5798262 5707
build-model-states-explored 5803214 4952
build-model-states-explored 5807382 4168
build-model-states-explored 5812077 4695
build-model-states-explored 5815982 3905
build-model-states-explored 5820934 4952
build-model-states-explored 5825983 5049
build-model-states-explored 5831857 5874
build-model-states-explored 5836006 4149
build-model-states-explored 5840859 4853
build-model-states-explored 5845892 5033
build-model-states-explored 5851103 5211
build-model-states-explored 5855983 4880
build-model-states-explored 5861853 5870
build-model-states-explored 5867637 5784
build-model-states-explored 5873092 5455
build-model-states-explored 5879099 6007
build-model-states-explored 5885156 6057
build-model-states-explored 5890856 5700
build-model-states-explored 5896693 5837
build-model-states-explored 5903113 6420
build-model-states-explored 5907635 4522
build-model-states-explored 5911821 4186
build-model-states-explored 5916312 4491
build-model-states-explored 5920335 4023
build-model-states-explored 5925258 4923
build-model-states-explored 5930071 4813
build-model-states-explored 5935626 5555
build-model-states-explored 5939531 3905
build-model-states-explored 5944000 4469
build-model-states-explored 5948601 4601
build-model-states-explored 5953820 5219
build-model-states-explored 5958072 4252
build-model-states-explored 5963622 5550
build-model-states-explored 5968869 5247
build-model-states-explored 5974458 5589
build-model-states-explored 5980540 6082
build-model-states-explored 5986586 6046
build-model-states-explored 5992715 6129
build-model-states-explored 5996591 3876
build-model-states-explored 6001306 4715
build-model-states-explored 6006161 4855
build-model-states-explored 6011089 4928
build-model-states-explored 6015491 4402
build-model-states-explored 6021025 5534
build-model-states-explored 6026306 5281
build-model-states-explored 6032369 6063
build-model-states-explored 6038346 5977
build-model-states-explored 6042996 4650
build-model-states-explored 6048564 5568
build-model-states-explored 6053403 4839
build-model-states-explored 6059205 5802
build-model-states-explored 6064449 5244
build-model-states-explored 6070024 5575
build-model-states-explored 6076418 6394
build-model-states-explored 6082158 5740
build-model-states-explored 6088048 5890
build-model-states-explored 6094693 6645
build-model-states-explored 6100454 5761
build-model-states-explored 6106496 6042
build-model-states-explored 6112939 6443
build-model-states-explored 6119446 6507
build-model-states-explored 6126710 7264
build-model-states-explored 6133006 6296
build-model-states-explored 6138818 5812
build-model-states-explored 6144634 5816
build-model-states-explored 6150877 6243
build-model-states-explored 6157564 6687
build-model-states-explored 6163882 6318
build-model-states-explored 6169860 5978
build-model-states-explored 6176411 6551
build-model-states-explored 6182666 6255
build-model-states-explored 6189617 6951
build-model-states-explored 6195641 6024
build-model-states-explored 6199651 4010
build-model-states-explored 6204176 4525
build-model-states-explored 6208240 4064
build-model-states-explored 6212999 4759
build-model-states-explored 6217904 4905
build-model-states-explored 6223362 5458
build-model-states-explored 6227922 4560
build-model-states-explored 6232446 4524
build-model-states-explored 6236768 4322
build-model-states-explored 6242055 5287
build-model-states-explored 6246593 4538
build-model-states-explored 6252196 5603
build-model-states-explored 6257123 4927
build-model-states-explored 6262746 5623
build-model-states-explored 6268442 5696
build-model-states-explored 6273970 5528
build-model-states-explored 6280131 6161
build-model-states-explored 6284764 4633
build-model-states-explored 6289278 4514
build-model-states-explored 6293616 4338
build-model-states-explored 6298659 5043
build-model-states-explored 6302929 4270
build-model-states-explored 6307891 4962
build-model-states-explored 6312853 4962
build-model-states-explored 6318184 5331
build-model-states-explored 6324113 5929
build-model-states-explored 6329629 5516
build-model-states-explored 6334091 4462
build-model-states-explored 6339399 5308
build-model-states-explored 6344403 5004
build-model-states-explored 6350142 5739
build-model-states-explored 6355131 4989
build-model-states-explored 6361031 5900
build-model-states-explored 6366821 5790
build-model-states-explored 6372649 5828
build-model-states-explored 6378815 6166
build-model-states-explored 6384885 6070
build-model-states-explored 6391067 6182
build-model-states-explored 6398194 7127
build-model-states-explored 6404020 5826
build-model-states-explored 6410015 5995
build-model-states-explored 6416755 6740
build-model-states-explored 6422693 5938
build-model-states-explored 6429658 6965
build-model-states-explored 6434821 5163
build-model-states-explored 6439441 4620
build-model-states-explored 6443890 4449
build-model-states-explored 6449134 5244
build-model-states-explored 6453550 4416
build-model-states-explored 6458950 5400
build-model-states-explored 6463810 4860
build-model-states-explored 6469143 5333
build-model-states-explored 6475076 5933
build-model-states-explored 6480266 5190
build-model-states-explored 6484588 4322
build-model-states-explored 6489866 5278
build-model-states-explored 6494794 4928
build-model-states-explored 6500482 5688
build-model-states-explored 6505391 4909
build-model-states-explored 6511188 5797
build-model-states-explored 6516934 5746
build-model-states-explored 6522675 5741
build-model-states-explored 6528960 6285
build-model-states-explored 6535781 6821
build-model-states-explored 6541515 5734
build-model-states-explored 6548284 6769
build-model-states-explored 6553840 5556
build-model-states-explored 6558511 4671
build-model-states-explored 6563881 5370
build-model-states-explored 6569186 5305
build-model-states-explored 6574995 5809
build-model-states-explored 6579736 4741
build-model-states-explored 6585794 6058
build-model-states-explored 6591200 5406
build-model-states-explored 6597180 5980
build-model-states-explored 6603962 6782
build-model-states-explored 6609763 5801
build-model-states-explored 6614883 5120
build-model-states-explored 6620947 6064
build-model-states-explored 6626893 5946
build-model-states-explored 6633054 6161
build-model-states-explored 6639277 6223
build-model-states-explored 6646137 6860
build-model-states-explored 6653884 7747
build-model-states-explored 6661896 8012
build-model-states-explored 6670386 8490
build-model-states-explored 6677714 7328
build-model-states-explored 6685882 8168
build-model-states-explored 6693428 7546
build-model-states-explored 6701624 8196
build-model-states-explored 6710191 8567
build-model-states-explored 6718864 8673
build-model-states-explored 6727639 8775
build-model-states-explored 6734580 6941
build-model-states-explored 6742038 7458
build-model-states-explored 6749047 7009
build-model-states-explored 6756450 7403
build-model-states-explored 6763935 7485
build-model-states-explored 6772303 8368
build-model-states-explored 6780589 8286
build-model-states-explored 6787584 6995
build-model-states-explored 6794765 7181
build-model-states-explored 6802415 7650
build-model-states-explored 6810880 8465
build-model-states-explored 6818117 7237
build-model-states-explored 6826000 7883
build-model-states-explored 6833744 7744
build-model-states-explored 6842067 8323
build-model-states-explored 6850656 8589
build-model-states-explored 6859049 8393
build-model-states-explored 6867862 8813
build-model-states-explored 6875793 7931
build-model-states-explored 6883743 7950
build-model-states-explored 6891659 7916
build-model-states-explored 6899956 8297
build-model-states-explored 6908497 8541
build-model-states-explored 6914862 6365
build-model-states-explored 6921574 6712
build-model-states-explored 6928398 6824
build-model-states-explored 6935127 6729
build-model-states-explored 6941804 6677
build-model-states-explored 6949017 7213
build-model-states-explored 6956743 7726
build-model-states-explored 6963588 6845
build-model-states-explored 6970010 6422
build-model-states-explored 6976241 6231
build-model-states-explored 6982854 6613
build-model-states-explored 6990437 7583
build-model-states-explored 6996881 6444
build-model-states-explored 7003419 6538
build-model-states-explored 7010616 7197
build-model-states-explored 7017744 7128
build-model-states-explored 7025064 7320
build-model-states-explored 7032958 7894
build-model-states-explored 7041328 8370
build-model-states-explored 7048917 7589
build-model-states-explored 7057011 8094
build-model-states-explored 7064914 7903
build-model-states-explored 7070998 6084
build-model-states-explored 7077349 6351
build-model-states-explored 7083807 6458
build-model-states-explored 7090979 7172
build-model-states-explored 7097649 6670
build-model-states-explored 7103736 6087
build-model-states-explored 7110686 6950
build-model-states-explored 7117261 6575
build-model-states-explored 7124145 6884
build-model-states-explored 7131610 7465
build-model-states-explored 7139586 7976
build-model-states-explored 7147243 7657
build-model-states-explored 7154354 7111
build-model-states-explored 7160515 6161
build-model-states-explored 7167306 6791
build-model-states-explored 7173571 6265
build-model-states-explored 7179066 5495
build-model-states-explored 7185588 6522
build-model-states-explored 7193418 7830
build-model-states-explored 7200687 7269
build-model-states-explored 7207597 6910
build-model-states-explored 7214513 6916
build-model-states-explored 7222229 7716
build-model-states-explored 7229470 7241
build-model-states-explored 7237283 7813
build-model-states-explored 7242297 5014
build-model-states-explored 7247522 5225
build-model-states-explored 7253024 5502
build-model-states-explored 7259165 6141
build-model-states-explored 7264967 5802
build-model-states-explored 7269853 4886
build-model-states-explored 7275618 5765
build-model-states-explored 7281378 5760
build-model-states-explored 7287094 5716
build-model-states-explored 7292893 5799
build-model-states-explored 7299622 6729
build-model-states-explored 7306277 6655
build-model-states-explored 7313115 6838
build-model-states-explored 7320244 7129
build-model-states-explored 7325369 5125
build-model-states-explored 7330405 5036
build-model-states-explored 7336117 5712
build-model-states-explored 7341385 5268
build-model-states-explored 7346679 5294
build-model-states-explored 7351915 5236
build-model-states-explored 7358196 6281
build-model-states-explored 7364719 6523
build-model-states-explored 7371696 6977
build-model-states-explored 7377269 5573
build-model-states-explored 7382791 5522
build-model-states-explored 7387896 5105
build-model-states-explored 7394085 6189
build-model-states-explored 7400782 6697
build-model-states-explored 7406785 6003
build-model-states-explored 7412684 5899
build-model-states-explored 7419240 6556
build-model-states-explored 7425380 6140
build-model-states-explored 7432461 7081
build-model-states-explored 7439409 6948
build-model-states-explored 7446181 6772
build-model-states-explored 7452955 6774
build-model-states-explored 7460280 7325
build-model-states-explored 7467149 6869
build-model-states-explored 7473615 6466
build-model-states-explored 7475575 1960
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7475575 0
build-model-states-explored 7479426 3851
build-model-states-explored 7486137 6711
build-model-states-explored 7493187 7050
build-model-states-explored 7500740 7553
build-model-states-explored 7505993 5253
build-model-states-explored 7511032 5039
build-model-states-explored 7516668 5636
build-model-states-explored 7521962 5294
build-model-states-explored 7527111 5149
build-model-states-explored 7532401 5290
build-model-states-explored 7538602 6201
build-model-states-explored 7544656 6054
build-model-states-explored 7551066 6410
build-model-states-explored 7556573 5507
build-model-states-explored 7561710 5137
build-model-states-explored 7566873 5163
build-model-states-explored 7572442 5569
build-model-states-explored 7578374 5932
build-model-states-explored 7584945 6571
build-model-states-explored 7590143 5198
build-model-states-explored 7595665 5522
build-model-states-explored 7602023 6358
build-model-states-explored 7607416 5393
build-model-states-explored 7613964 6548
build-model-states-explored 7620607 6643
build-model-states-explored 7627241 6634
build-model-states-explored 7634499 7258
build-model-states-explored 7640931 6432
build-model-states-explored 7647853 6922
build-model-states-explored 7655269 7416
build-model-states-explored 7661112 5843
build-model-states-explored 7666131 5019
build-model-states-explored 7671256 5125
build-model-states-explored 7677026 5770
build-model-states-explored 7683017 5991
build-model-states-explored 7689248 6231
build-model-states-explored 7694764 5516
build-model-states-explored 7700046 5282
build-model-states-explored 7706184 6138
build-model-states-explored 7711619 5435
build-model-states-explored 7718248 6629
build-model-states-explored 7724917 6669
build-model-states-explored 7731952 7035
build-model-states-explored 7738971 7019
build-model-states-explored 7745791 6820
build-model-states-explored 7751496 5705
build-model-states-explored 7756968 5472
build-model-states-explored 7763074 6106
build-model-states-explored 7768530 5456
build-model-states-explored 7775197 6667
build-model-states-explored 7781855 6658
build-model-states-explored 7789229 7374
build-model-states-explored 7795348 6119
build-model-states-explored 7801763 6415
build-model-states-explored 7808191 6428
build-model-states-explored 7815127 6936
build-model-states-explored 7821471 6344
build-model-states-explored 7829361 7890
build-model-states-explored 7835714 6353
build-model-states-explored 7842118 6404
build-model-states-explored 7848868 6750
build-model-states-explored 7856080 7212
build-model-states-explored 7862146 6066
build-model-states-explored 7868379 6233
build-model-states-explored 7875271 6892
build-model-states-explored 7881879 6608
build-model-states-explored 7888903 7024
build-model-states-explored 7895918 7015
build-model-states-explored 7903574 7656
build-model-states-explored 7911173 7599
build-model-states-explored 7917919 6746
build-model-states-explored 7924032 6113
build-model-states-explored 7930442 6410
build-model-states-explored 7936275 5833
build-model-states-explored 7942539 6264
build-model-states-explored 7949017 6478
build-model-states-explored 7956019 7002
build-model-states-explored 7963632 7613
build-model-states-explored 7970547 6915
build-model-states-explored 7976909 6362
build-model-states-explored 7983384 6475
build-model-states-explored 7989882 6498
build-model-states-explored 7997604 7722
build-model-states-explored 8004235 6631
build-model-states-explored 8010720 6485
build-model-states-explored 8017719 6999
build-model-states-explored 8025363 7644
build-model-states-explored 8031936 6573
build-model-states-explored 8036490 4554
build-model-states-explored 8041301 4811
build-model-states-explored 8046666 5365
build-model-states-explored 8051397 4731
build-model-states-explored 8056249 4852
build-model-states-explored 8061224 4975
build-model-states-explored 8066775 5551
build-model-states-explored 8072592 5817
build-model-states-explored 8078776 6184
build-model-states-explored 8084372 5596
build-model-states-explored 8089004 4632
build-model-states-explored 8094013 5009
build-model-states-explored 8098877 4864
build-model-states-explored 8104178 5301
build-model-states-explored 8110121 5943
build-model-states-explored 8115648 5527
build-model-states-explored 8120928 5280
build-model-states-explored 8126217 5289
build-model-states-explored 8132063 5846
build-model-states-explored 8137400 5337
build-model-states-explored 8143849 6449
build-model-states-explored 8150093 6244
build-model-states-explored 8156164 6071
build-model-states-explored 8162734 6570
build-model-states-explored 8168766 6032
build-model-states-explored 8175127 6361
build-model-states-explored 8181728 6601
build-model-states-explored 8187827 6099
build-model-states-explored 8192366 4539
build-model-states-explored 8197337 4971
build-model-states-explored 8201681 4344
build-model-states-explored 8207147 5466
build-model-states-explored 8212608 5461
build-model-states-explored 8218278 5670
build-model-states-explored 8222940 4662
build-model-states-explored 8227964 5024
build-model-states-explored 8233409 5445
build-model-states-explored 8238573 5164
build-model-states-explored 8244452 5879
build-model-states-explored 8250119 5667
build-model-states-explored 8256144 6025
build-model-states-explored 8262580 6436
build-model-states-explored 8269120 6540
build-model-states-explored 8275216 6096
build-model-states-explored 8280476 5260
build-model-states-explored 8285363 4887
build-model-states-explored 8291024 5661
build-model-states-explored 8295918 4894
build-model-states-explored 8301823 5905
build-model-states-explored 8307584 5761
build-model-states-explored 8314213 6629
build-model-states-explored 8320665 6452
build-model-states-explored 8325637 4972
build-model-states-explored 8331688 6051
build-model-states-explored 8337562 5874
build-model-states-explored 8344026 6464
build-model-states-explored 8349674 5648
build-model-states-explored 8356527 6853
build-model-states-explored 8363102 6575
build-model-states-explored 8369320 6218
build-model-states-explored 8376337 7017
build-model-states-explored 8382400 6063
build-model-states-explored 8388607 6207
build-model-states-explored 8388967 360
build-model-states-explored 8395743 6776
build-model-states-explored 8402946 7203
build-model-states-explored 8410625 7679
build-model-states-explored 8416922 6297
build-model-states-explored 8423341 6419
build-model-states-explored 8429759 6418
build-model-states-explored 8436425 6666
build-model-states-explored 8443785 7360
build-model-states-explored 8450212 6427
build-model-states-explored 8456767 6555
build-model-states-explored 8463815 7048
build-model-states-explored 8471020 7205
build-model-states-explored 8477518 6498
build-model-states-explored 8482057 4539
build-model-states-explored 8487044 4987
build-model-states-explored 8491528 4484
build-model-states-explored 8496939 5411
build-model-states-explored 8502629 5690
build-model-states-explored 8508081 5452
build-model-states-explored 8512908 4827
build-model-states-explored 8517739 4831
build-model-states-explored 8520312 2573
build-model-states-explored 8520312 0
build-model-states-explored 8520312 0
build-model-states-explored 8520312 0
build-model-states-explored 8525230 4918
build-model-states-explored 8530245 5015
build-model-states-explored 8536328 6083
build-model-states-explored 8542353 6025
build-model-states-explored 8548393 6040
build-model-states-explored 8554597 6204
build-model-states-explored 8561221 6624
build-model-states-explored 8566377 5156
build-model-states-explored 8571368 4991
build-model-states-explored 8576319 4951
build-model-states-explored 8581721 5402
build-model-states-explored 8586416 4695
build-model-states-explored 8592239 5823
build-model-states-explored 8597953 5714
build-model-states-explored 8604357 6404
build-model-states-explored 8610605 6248
build-model-states-explored 8615437 4832
build-model-states-explored 8621326 5889
build-model-states-explored 8627016 5690
build-model-states-explored 8633413 6397
build-model-states-explored 8638754 5341
build-model-states-explored 8645484 6730
build-model-states-explored 8651814 6330
build-model-states-explored 8658208 6394
build-model-states-explored 8664455 6247
build-model-states-explored 8671451 6996
build-model-states-explored 8678776 7325
build-model-states-explored 8685074 6298
build-model-states-explored 8691703 6629
build-model-states-explored 8698649 6946
build-model-states-explored 8705374 6725
build-model-states-explored 8712657 7283
build-model-states-explored 8717701 5044
build-model-states-explored 8722842 5141
build-model-states-explored 8728255 5413
build-model-states-explored 8733492 5237
build-model-states-explored 8738818 5326
build-model-states-explored 8744908 6090
build-model-states-explored 8750686 5778
build-model-states-explored 8757110 6424
build-model-states-explored 8762528 5418
build-model-states-explored 8767708 5180
build-model-states-explored 8773389 5681
build-model-states-explored 8779164 5775
build-model-states-explored 8785101 5937
build-model-states-explored 8790765 5664
build-model-states-explored 8797563 6798
build-model-states-explored 8803857 6294
build-model-states-explored 8810716 6859
build-model-states-explored 8817872 7156
build-model-states-explored 8824294 6422
build-model-states-explored 8831724 7430
build-model-states-explored 8837352 5628
build-model-states-explored 8843247 5895
build-model-states-explored 8848698 5451
build-model-states-explored 8854832 6134
build-model-states-explored 8860306 5474
build-model-states-explored 8866964 6658
build-model-states-explored 8873182 6218
build-model-states-explored 8879728 6546
build-model-states-explored 8887191 7463
build-model-states-explored 8893013 5822
build-model-states-explored 8899788 6775
build-model-states-explored 8905939 6151
build-model-states-explored 8912903 6964
build-model-states-explored 8919170 6267
build-model-states-explored 8926610 7440
build-model-states-explored 8933039 6429
build-model-states-explored 8939039 6000
build-model-states-explored 8945861 6822
build-model-states-explored 8952858 6997
build-model-states-explored 8958935 6077
build-model-states-explored 8965424 6489
build-model-states-explored 8971959 6535
build-model-states-explored 8978511 6552
build-model-states-explored 8985442 6931
build-model-states-explored 8992181 6739
build-model-states-explored 8999694 7513
build-model-states-explored 9007287 7593
build-model-states-explored 9013816 6529
build-model-states-explored 9019619 5803
build-model-states-explored 9026416 6797
build-model-states-explored 9031821 5405
build-model-states-explored 9038136 6315
build-model-states-explored 9044995 6859
build-model-states-explored 9051429 6434
build-model-states-explored 9058994 7565
build-model-states-explored 9065783 6789
build-model-states-explored 9071995 6212
build-model-states-explored 9078248 6253
build-model-states-explored 9084416 6168
build-model-states-explored 9091964 7548
build-model-states-explored 9098493 6529
build-model-states-explored 9104540 6047
build-model-states-explored 9111892 7352
build-model-states-explored 9118826 6934
build-model-states-explored 9125532 6706
build-model-states-explored 9133222 7690
build-model-states-explored 9140597 7375
build-model-states-explored 9148583 7986
build-model-states-explored 9156189 7606
build-model-states-explored 9163234 7045
build-model-states-explored 9171205 7971
build-model-states-explored 9178651 7446
build-model-states-explored 9186431 7780
build-model-states-explored 9192724 6293
build-model-states-explored 9198725 6001
build-model-states-explored 9204820 6095
build-model-states-explored 9210827 6007
build-model-states-explored 9216683 5856
build-model-states-explored 9222757 6074
build-model-states-explored 9228779 6022
build-model-states-explored 9235732 6953
build-model-states-explored 9242773 7041
build-model-states-explored 9247937 5164
build-model-states-explored 9254082 6145
build-model-states-explored 9260112 6030
build-model-states-explored 9265838 5726
build-model-states-explored 9272941 7103
build-model-states-explored 9278831 5890
build-model-states-explored 9284436 5605
build-model-states-explored 9291411 6975
build-model-states-explored 9297114 5703
build-model-states-explored 9303757 6643
build-model-states-explored 9311090 7333
build-model-states-explored 9318335 7245
build-model-states-explored 9326204 7869
build-model-states-explored 9333587 7383
build-model-states-explored 9341284 7697
build-model-states-explored 9347754 6470
build-model-states-explored 9353577 5823
build-model-states-explored 9359219 5642
build-model-states-explored 9365517 6298
build-model-states-explored 9372295 6778
build-model-states-explored 9378504 6209
build-model-states-explored 9384690 6186
build-model-states-explored 9390359 5669
build-model-states-explored 9396724 6365
build-model-states-explored 9403271 6547
build-model-states-explored 9409292 6021
build-model-states-explored 9416473 7181
build-model-states-explored 9423955 7482
build-model-states-explored 9431516 7561
build-model-states-explored 9437605 6089
build-model-states-explored 9443556 5951
build-model-states-explored 9450427 6871
build-model-states-explored 9455864 5437
build-model-states-explored 9463119 7255
build-model-states-explored 9469287 6168
build-model-states-explored 9476833 7546
build-model-states-explored 9483182 6349
build-model-states-explored 9490574 7392
build-model-states-explored 9496577 6003
build-model-states-explored 9503919 7342
build-model-states-explored 9509924 6005
build-model-states-explored 9517397 7473
build-model-states-explored 9522262 4865
build-model-states-explored 9526454 4192
build-model-states-explored 9531132 4678
build-model-states-explored 9536257 5125
build-model-states-explored 9540500 4243
build-model-states-explored 9545235 4735
build-model-states-explored 9549555 4320
build-model-states-explored 9554963 5408
build-model-states-explored 9560298 5335
build-model-states-explored 9565902 5604
build-model-states-explored 9571625 5723
build-model-states-explored 9575779 4154
build-model-states-explored 9580339 4560
build-model-states-explored 9584491 4152
build-model-states-explored 9589513 5022
build-model-states-explored 9594498 4985
build-model-states-explored 9600240 5742
build-model-states-explored 9604817 4577
build-model-states-explored 9609899 5082
build-model-states-explored 9614834 4935
build-model-states-explored 9620276 5442
build-model-states-explored 9625001 4725
build-model-states-explored 9631122 6121
build-model-states-explored 9636932 5810
build-model-states-explored 9642473 5541
build-model-states-explored 9648500 6027
build-model-states-explored 9654656 6156
build-model-states-explored 9660445 5789
build-model-states-explored 9666348 5903
build-model-states-explored 9672741 6393
build-model-states-explored 9677430 4689
build-model-states-explored 9681655 4225
build-model-states-explored 9686242 4587
build-model-states-explored 9690791 4549
build-model-states-explored 9695338 4547
build-model-states-explored 9700585 5247
build-model-states-explored 9705947 5362
build-model-states-explored 9709894 3947
build-model-states-explored 9714664 4770
build-model-states-explored 9719413 4749
build-model-states-explored 9724414 5001
build-model-states-explored 9728934 4520
build-model-states-explored 9734708 5774
build-model-states-explored 9740124 5416
build-model-states-explored 9745904 5780
build-model-states-explored 9751930 6026
build-model-states-explored 9758188 6258
build-model-states-explored 9763669 5481
build-model-states-explored 9768540 4871
build-model-states-explored 9772821 4281
build-model-states-explored 9778085 5264
build-model-states-explored 9782752 4667
build-model-states-explored 9788099 5347
build-model-states-explored 9793257 5158
build-model-states-explored 9798732 5475
build-model-states-explored 9805146 6414
build-model-states-explored 9810515 5369
build-model-states-explored 9815322 4807
build-model-states-explored 9820947 5625
build-model-states-explored 9826504 5557
build-model-states-explored 9832388 5884
build-model-states-explored 9837440 5052
build-model-states-explored 9844192 6752
build-model-states-explored 9850084 5892
build-model-states-explored 9855694 5610
build-model-states-explored 9861689 5995
build-model-states-explored 9867832 6143
build-model-states-explored 9873474 5642
build-model-states-explored 9879201 5727
build-model-states-explored 9885506 6305
build-model-states-explored 9892505 6999
build-model-states-explored 9899460 6955
build-model-states-explored 9904999 5539
build-model-states-explored 9910826 5827
build-model-states-explored 9916649 5823
build-model-states-explored 9922376 5727
build-model-states-explored 9929142 6766
build-model-states-explored 9934835 5693
build-model-states-explored 9940927 6092
build-model-states-explored 9947364 6437
build-model-states-explored 9953046 5682
build-model-states-explored 9959805 6759
build-model-states-explored 9965466 5661
build-model-states-explored 9969431 3965
build-model-states-explored 9973769 4338
build-model-states-explored 9977595 3826
build-model-states-explored 9982365 4770
build-model-states-explored 9986918 4553
build-model-states-explored 9992151 5233
build-model-states-explored 9996718 4567
build-model-states-explored 10001225 4507
build-model-states-explored 10005222 3997
build-model-states-explored 10010063 4841
build-model-states-explored 10014593 4530
build-model-states-explored 10019092 4499
build-model-states-explored 10024538 5446
build-model-states-explored 10029819 5281
build-model-states-explored 10035068 5249
build-model-states-explored 10040766 5698
build-model-states-explored 10046568 5802
build-model-states-explored 10052107 5539
build-model-states-explored 10055764 3657
build-model-states-explored 10060225 4461
build-model-states-explored 10064689 4464
build-model-states-explored 10069518 4829
build-model-states-explored 10073384 3866
build-model-states-explored 10078701 5317
build-model-states-explored 10083252 4551
build-model-states-explored 10088367 5115
build-model-states-explored 10094245 5878
build-model-states-explored 10099444 5199
build-model-states-explored 10103633 4189
build-model-states-explored 10108865 5232
build-model-states-explored 10113597 4732
build-model-states-explored 10119027 5430
build-model-states-explored 10123994 4967
build-model-states-explored 10129160 5166
build-model-states-explored 10135178 6018
build-model-states-explored 10140889 5711
build-model-states-explored 10146521 5632
build-model-states-explored 10152083 5562
build-model-states-explored 10158197 6114


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