java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files philosophers.20.jani --model-input-type jani --property-input-names MaxPrReachDeadlock --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.
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
model-checking
analysing-property MaxPrReachDeadlock
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 4166 4166
build-model-states-explored 11200 7034
build-model-states-explored 18394 7194
build-model-states-explored 25225 6831
build-model-states-explored 32068 6843
build-model-states-explored 39062 6994
build-model-states-explored 46329 7267
build-model-states-explored 53662 7333
build-model-states-explored 59228 5566
build-model-states-explored 66162 6934
build-model-states-explored 73161 6999
build-model-states-explored 80540 7379
build-model-states-explored 87297 6757
build-model-states-explored 93807 6510
build-model-states-explored 100446 6639
build-model-states-explored 107233 6787
build-model-states-explored 113443 6210
build-model-states-explored 119171 5728
build-model-states-explored 122311 3140
build-model-states-explored 128709 6398
build-model-states-explored 135278 6569
build-model-states-explored 141681 6403
build-model-states-explored 148298 6617
build-model-states-explored 154897 6598
build-model-states-explored 161673 6777
build-model-states-explored 168947 7273
build-model-states-explored 176108 7162
build-model-states-explored 183129 7021
build-model-states-explored 190252 7123
build-model-states-explored 196961 6709
build-model-states-explored 203740 6779
build-model-states-explored 210730 6990
build-model-states-explored 216963 6233
build-model-states-explored 223256 6293
build-model-states-explored 229861 6605
build-model-states-explored 234685 4824
build-model-states-explored 241178 6493
build-model-states-explored 247167 5989
build-model-states-explored 253423 6256
build-model-states-explored 259763 6340
build-model-states-explored 265951 6188
build-model-states-explored 272635 6684
build-model-states-explored 272635 0
build-model-states-explored 276020 3385
build-model-states-explored 282993 6973
build-model-states-explored 290000 7007
build-model-states-explored 296024 6024
build-model-states-explored 302146 6122
build-model-states-explored 308631 6485
build-model-states-explored 314297 5666
build-model-states-explored 320444 6147
build-model-states-explored 326198 5754
build-model-states-explored 332311 6113
build-model-states-explored 338346 6035
build-model-states-explored 344336 5990
build-model-states-explored 350888 6552
build-model-states-explored 357756 6868
build-model-states-explored 364520 6764
build-model-states-explored 370232 5712
build-model-states-explored 375979 5747
build-model-states-explored 381842 5863
build-model-states-explored 387475 5633
build-model-states-explored 393080 5605
build-model-states-explored 398860 5780
build-model-states-explored 404890 6030
build-model-states-explored 411453 6563
build-model-states-explored 418018 6565
build-model-states-explored 423607 5589
build-model-states-explored 429344 5737
build-model-states-explored 434685 5341
build-model-states-explored 440354 5669
build-model-states-explored 446209 5855
build-model-states-explored 452655 6446
build-model-states-explored 458645 5990
build-model-states-explored 464233 5588
build-model-states-explored 469739 5506
build-model-states-explored 473372 3633
build-model-states-explored 479693 6321
build-model-states-explored 485481 5788
build-model-states-explored 491162 5681
build-model-states-explored 497474 6312
build-model-states-explored 503241 5767
build-model-states-explored 509410 6169
build-model-states-explored 515714 6304
build-model-states-explored 522549 6834
build-model-states-explored 529323 6775
build-model-states-explored 536550 7227
build-model-states-explored 543424 6874
build-model-states-explored 550028 6604
build-model-states-explored 556654 6626
build-model-states-explored 563245 6591
build-model-states-explored 569712 6467
build-model-states-explored 576164 6452
build-model-states-explored 582886 6722
build-model-states-explored 589207 6321
build-model-states-explored 595528 6321
build-model-states-explored 602007 6479
build-model-states-explored 607801 5794
build-model-states-explored 612220 4419
build-model-states-explored 612220 0
build-model-states-explored 612220 0
build-model-states-explored 612220 0
build-model-states-explored 612220 0
build-model-states-explored 618112 5892
build-model-states-explored 624538 6426
build-model-states-explored 630828 6290
build-model-states-explored 637254 6426
build-model-states-explored 644195 6941
build-model-states-explored 650878 6683
build-model-states-explored 657605 6727
build-model-states-explored 663202 5597
build-model-states-explored 669138 5936
build-model-states-explored 674749 5611
build-model-states-explored 680639 5890
build-model-states-explored 686119 5480
build-model-states-explored 692013 5894
build-model-states-explored 698117 6104
build-model-states-explored 704690 6573
build-model-states-explored 711307 6617
build-model-states-explored 716727 5420
build-model-states-explored 722474 5747
build-model-states-explored 728097 5623
build-model-states-explored 733733 5636
build-model-states-explored 739844 6111
build-model-states-explored 746384 6540
build-model-states-explored 752133 5749
build-model-states-explored 757718 5584
build-model-states-explored 763479 5762
build-model-states-explored 769680 6201
build-model-states-explored 775722 6042
build-model-states-explored 781468 5746
build-model-states-explored 787605 6137
build-model-states-explored 793622 6017
build-model-states-explored 799915 6293
build-model-states-explored 806215 6300
build-model-states-explored 812862 6647
build-model-states-explored 819634 6772
build-model-states-explored 826218 6584
build-model-states-explored 833095 6877
build-model-states-explored 839389 6294
build-model-states-explored 845937 6548
build-model-states-explored 852201 6264
build-model-states-explored 858564 6363
build-model-states-explored 865075 6511
build-model-states-explored 871631 6556
build-model-states-explored 877241 5610
build-model-states-explored 882407 5166
build-model-states-explored 888039 5632
build-model-states-explored 892990 4951
build-model-states-explored 898449 5459
build-model-states-explored 903766 5317
build-model-states-explored 909035 5269
build-model-states-explored 914627 5592
build-model-states-explored 920819 6192
build-model-states-explored 927030 6210
build-model-states-explored 931716 4686
build-model-states-explored 937041 5325
build-model-states-explored 941660 4619
build-model-states-explored 946693 5033
build-model-states-explored 951998 5305
build-model-states-explored 957454 5456
build-model-states-explored 963510 6056
build-model-states-explored 964731 1221
build-model-states-explored 969416 4685
build-model-states-explored 974317 4901
build-model-states-explored 979497 5180
build-model-states-explored 984937 5440
build-model-states-explored 990688 5751
build-model-states-explored 995497 4809
build-model-states-explored 1000767 5270
build-model-states-explored 1006501 5734
build-model-states-explored 1011586 5085
build-model-states-explored 1017207 5621
build-model-states-explored 1022949 5742
build-model-states-explored 1025887 2938
build-model-states-explored 1033471 7584
build-model-states-explored 1041450 7979
build-model-states-explored 1048575 7125
build-model-states-explored 1055404 6829
build-model-states-explored 1062987 7583
build-model-states-explored 1070848 7861
build-model-states-explored 1076247 5399
build-model-states-explored 1082172 5925
build-model-states-explored 1087770 5598
build-model-states-explored 1093447 5677
build-model-states-explored 1099529 6082
build-model-states-explored 1106510 6981
build-model-states-explored 1112170 5660
build-model-states-explored 1117676 5506
build-model-states-explored 1123288 5612
build-model-states-explored 1129500 6212
build-model-states-explored 1135777 6277
build-model-states-explored 1141302 5525
build-model-states-explored 1147466 6164
build-model-states-explored 1153572 6106
build-model-states-explored 1159813 6241
build-model-states-explored 1166237 6424
build-model-states-explored 1173006 6769
build-model-states-explored 1180258 7252
build-model-states-explored 1187586 7328
build-model-states-explored 1194992 7406
build-model-states-explored 1202518 7526
build-model-states-explored 1207616 5098
build-model-states-explored 1213013 5397
build-model-states-explored 1218658 5645
build-model-states-explored 1225129 6471
build-model-states-explored 1230660 5531
build-model-states-explored 1236114 5454
build-model-states-explored 1242282 6168
build-model-states-explored 1247955 5673
build-model-states-explored 1254141 6186
build-model-states-explored 1260331 6190
build-model-states-explored 1266892 6561
build-model-states-explored 1274103 7211
build-model-states-explored 1281227 7124
build-model-states-explored 1287864 6637
build-model-states-explored 1293061 5197
build-model-states-explored 1298996 5935
build-model-states-explored 1304816 5820
build-model-states-explored 1310557 5741
build-model-states-explored 1316351 5794
build-model-states-explored 1322864 6513
build-model-states-explored 1329856 6992
build-model-states-explored 1337146 7290
build-model-states-explored 1342695 5549
build-model-states-explored 1348678 5983
build-model-states-explored 1354649 5971
build-model-states-explored 1360900 6250
build-model-states-explored 1368157 7258
build-model-states-explored 1374147 5990
build-model-states-explored 1380414 6267
build-model-states-explored 1387374 6960
build-model-states-explored 1394200 6826
build-model-states-explored 1401380 7180
build-model-states-explored 1410107 8727
build-model-states-explored 1410837 730
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 1417716 6879
build-model-states-explored 1426178 8462
build-model-states-explored 1434472 8294
build-model-states-explored 1443097 8625
build-model-states-explored 1452222 9125
build-model-states-explored 1460539 8317
build-model-states-explored 1468431 7892
build-model-states-explored 1476116 7685
build-model-states-explored 1484146 8030
build-model-states-explored 1492896 8750
build-model-states-explored 1500492 7596
build-model-states-explored 1507861 7369
build-model-states-explored 1516073 8212
build-model-states-explored 1523815 7742
build-model-states-explored 1531553 7738
build-model-states-explored 1539413 7860
build-model-states-explored 1547517 8104
build-model-states-explored 1555792 8275
build-model-states-explored 1562665 6873
build-model-states-explored 1569640 6975
build-model-states-explored 1576069 6429
build-model-states-explored 1582923 6854
build-model-states-explored 1589666 6743
build-model-states-explored 1596755 7089
build-model-states-explored 1604539 7784
build-model-states-explored 1612134 7595
build-model-states-explored 1618196 6062
build-model-states-explored 1624543 6347
build-model-states-explored 1630864 6321
build-model-states-explored 1637535 6671
build-model-states-explored 1645072 7537
build-model-states-explored 1651837 6765
build-model-states-explored 1658085 6248
build-model-states-explored 1664622 6537
build-model-states-explored 1672089 7467
build-model-states-explored 1678692 6603
build-model-states-explored 1685317 6625
build-model-states-explored 1692473 7156
build-model-states-explored 1699702 7229
build-model-states-explored 1707028 7326
build-model-states-explored 1714830 7802
build-model-states-explored 1722510 7680
build-model-states-explored 1730173 7663
build-model-states-explored 1737810 7637
build-model-states-explored 1745388 7578
build-model-states-explored 1753295 7907
build-model-states-explored 1759442 6147
build-model-states-explored 1765628 6186
build-model-states-explored 1771179 5551
build-model-states-explored 1777269 6090
build-model-states-explored 1783563 6294
build-model-states-explored 1790532 6969
build-model-states-explored 1796317 5785
build-model-states-explored 1802047 5730
build-model-states-explored 1807909 5862
build-model-states-explored 1814363 6454
build-model-states-explored 1820602 6239
build-model-states-explored 1826489 5887
build-model-states-explored 1833091 6602
build-model-states-explored 1839215 6124
build-model-states-explored 1845681 6466
build-model-states-explored 1852445 6764
build-model-states-explored 1859773 7328
build-model-states-explored 1867323 7550
build-model-states-explored 1874620 7297
build-model-states-explored 1882160 7540
build-model-states-explored 1888783 6623
build-model-states-explored 1894423 5640
build-model-states-explored 1900009 5586
build-model-states-explored 1906337 6328
build-model-states-explored 1912784 6447
build-model-states-explored 1918129 5345
build-model-states-explored 1924184 6055
build-model-states-explored 1930369 6185
build-model-states-explored 1936619 6250
build-model-states-explored 1942819 6200
build-model-states-explored 1949847 7028
build-model-states-explored 1957191 7344
build-model-states-explored 1964424 7233
build-model-states-explored 1971606 7182
build-model-states-explored 1977021 5415
build-model-states-explored 1980747 3726
build-model-states-explored 1980747 0
build-model-states-explored 1986174 5427
build-model-states-explored 1991876 5702
build-model-states-explored 1997998 6122
build-model-states-explored 2004453 6455
build-model-states-explored 2011361 6908
build-model-states-explored 2018734 7373
build-model-states-explored 2025337 6603
build-model-states-explored 2031424 6087
build-model-states-explored 2037412 5988
build-model-states-explored 2044172 6760
build-model-states-explored 2051603 7431
build-model-states-explored 2057936 6333
build-model-states-explored 2064678 6742
build-model-states-explored 2071801 7123
build-model-states-explored 2079202 7401
build-model-states-explored 2086700 7498
build-model-states-explored 2094183 7483
build-model-states-explored 2100158 5975
build-model-states-explored 2107143 6985
build-model-states-explored 2114512 7369
build-model-states-explored 2122177 7665
build-model-states-explored 2129876 7699
build-model-states-explored 2138352 8476
build-model-states-explored 2145422 7070
build-model-states-explored 2152447 7025
build-model-states-explored 2159302 6855
build-model-states-explored 2166518 7216
build-model-states-explored 2174202 7684
build-model-states-explored 2181471 7269
build-model-states-explored 2188196 6725
build-model-states-explored 2195048 6852
build-model-states-explored 2203043 7995
build-model-states-explored 2209719 6676
build-model-states-explored 2217222 7503
build-model-states-explored 2224233 7011
build-model-states-explored 2231585 7352
build-model-states-explored 2239265 7680
build-model-states-explored 2245164 5899
build-model-states-explored 2250465 5301
build-model-states-explored 2255447 4982
build-model-states-explored 2260713 5266
build-model-states-explored 2266068 5355
build-model-states-explored 2272177 6109
build-model-states-explored 2278852 6675
build-model-states-explored 2283500 4648
build-model-states-explored 2288552 5052
build-model-states-explored 2293789 5237
build-model-states-explored 2299447 5658
build-model-states-explored 2305552 6105
build-model-states-explored 2310377 4825
build-model-states-explored 2315833 5456
build-model-states-explored 2321829 5996
build-model-states-explored 2327289 5460
build-model-states-explored 2333138 5849
build-model-states-explored 2339426 6288
build-model-states-explored 2346040 6614
build-model-states-explored 2352854 6814
build-model-states-explored 2359325 6471
build-model-states-explored 2366006 6681
build-model-states-explored 2372935 6929
build-model-states-explored 2377316 4381
build-model-states-explored 2382173 4857
build-model-states-explored 2387009 4836
build-model-states-explored 2392539 5530
build-model-states-explored 2398380 5841
build-model-states-explored 2403034 4654
build-model-states-explored 2407878 4844
build-model-states-explored 2413573 5695
build-model-states-explored 2418474 4901
build-model-states-explored 2423973 5499
build-model-states-explored 2429116 5143
build-model-states-explored 2435026 5910
build-model-states-explored 2441446 6420
build-model-states-explored 2445749 4303
build-model-states-explored 2451886 6137
build-model-states-explored 2458088 6202
build-model-states-explored 2462734 4646
build-model-states-explored 2467904 5170
build-model-states-explored 2473635 5731
build-model-states-explored 2478468 4833
build-model-states-explored 2483986 5518
build-model-states-explored 2489631 5645
build-model-states-explored 2495342 5711
build-model-states-explored 2501899 6557
build-model-states-explored 2508715 6816
build-model-states-explored 2513627 4912
build-model-states-explored 2519183 5556
build-model-states-explored 2524661 5478
build-model-states-explored 2530287 5626
build-model-states-explored 2536933 6646
build-model-states-explored 2542531 5598
build-model-states-explored 2548409 5878
build-model-states-explored 2554654 6245
build-model-states-explored 2560546 5892
build-model-states-explored 2567435 6889
build-model-states-explored 2574082 6647
build-model-states-explored 2580812 6730
build-model-states-explored 2587510 6698
build-model-states-explored 2594540 7030
build-model-states-explored 2601417 6877
build-model-states-explored 2609417 8000
build-model-states-explored 2615879 6462
build-model-states-explored 2622340 6461
build-model-states-explored 2628899 6559
build-model-states-explored 2636522 7623
build-model-states-explored 2642926 6404
build-model-states-explored 2649985 7059
build-model-states-explored 2656846 6861
build-model-states-explored 2663851 7005
build-model-states-explored 2671096 7245
build-model-states-explored 2676752 5656
build-model-states-explored 2681625 4873
build-model-states-explored 2686226 4601
build-model-states-explored 2691046 4820
build-model-states-explored 2696741 5695
build-model-states-explored 2701886 5145
build-model-states-explored 2706368 4482
build-model-states-explored 2711329 4961
build-model-states-explored 2716979 5650
build-model-states-explored 2721789 4810
build-model-states-explored 2727207 5418
build-model-states-explored 2732838 5631
build-model-states-explored 2738606 5768
build-model-states-explored 2744821 6215
build-model-states-explored 2751123 6302
build-model-states-explored 2757609 6486
build-model-states-explored 2762155 4546
build-model-states-explored 2766782 4627
build-model-states-explored 2771752 4970
build-model-states-explored 2776662 4910
build-model-states-explored 2781349 4687
build-model-states-explored 2786401 5052
build-model-states-explored 2791738 5337
build-model-states-explored 2797162 5424
build-model-states-explored 2803383 6221
build-model-states-explored 2809852 6469
build-model-states-explored 2814451 4599
build-model-states-explored 2819589 5138
build-model-states-explored 2824208 4619
build-model-states-explored 2829778 5570
build-model-states-explored 2835523 5745
build-model-states-explored 2841720 6197
build-model-states-explored 2847055 5335
build-model-states-explored 2852169 5114
build-model-states-explored 2858438 6269
build-model-states-explored 2863670 5232
build-model-states-explored 2870101 6431
build-model-states-explored 2876536 6435
build-model-states-explored 2883047 6511
build-model-states-explored 2889444 6397
build-model-states-explored 2896489 7045
build-model-states-explored 2903160 6671
build-model-states-explored 2909517 6357
build-model-states-explored 2916451 6934
build-model-states-explored 2922875 6424
build-model-states-explored 2929647 6772
build-model-states-explored 2936756 7109
build-model-states-explored 2941948 5192
build-model-states-explored 2946363 4415
build-model-states-explored 2951330 4967
build-model-states-explored 2956582 5252
build-model-states-explored 2961121 4539
build-model-states-explored 2966293 5172
build-model-states-explored 2971445 5152
build-model-states-explored 2976748 5303
build-model-states-explored 2982757 6009
build-model-states-explored 2988916 6159
build-model-states-explored 2993883 4967
build-model-states-explored 2998394 4511
build-model-states-explored 3003311 4917
build-model-states-explored 3008325 5014
build-model-states-explored 3013540 5215
build-model-states-explored 3019666 6126
build-model-states-explored 3024632 4966
build-model-states-explored 3029842 5210
build-model-states-explored 3035301 5459
build-model-states-explored 3040924 5623
build-model-states-explored 3046675 5751
build-model-states-explored 3052790 6115
build-model-states-explored 3058945 6155
build-model-states-explored 3065475 6530
build-model-states-explored 3072425 6950
build-model-states-explored 3078630 6205
build-model-states-explored 3085341 6711
build-model-states-explored 3092399 7058
build-model-states-explored 3097672 5273
build-model-states-explored 3102301 4629
build-model-states-explored 3107210 4909
build-model-states-explored 3112411 5201
build-model-states-explored 3117809 5398
build-model-states-explored 3123843 6034
build-model-states-explored 3128624 4781
build-model-states-explored 3133695 5071
build-model-states-explored 3139013 5318
build-model-states-explored 3144497 5484
build-model-states-explored 3149930 5433
build-model-states-explored 3156072 6142
build-model-states-explored 3162288 6216
build-model-states-explored 3168955 6667
build-model-states-explored 3175626 6671
build-model-states-explored 3182282 6656
build-model-states-explored 3186915 4633
build-model-states-explored 3192177 5262
build-model-states-explored 3197886 5709
build-model-states-explored 3203011 5125
build-model-states-explored 3207803 4792
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 3212038 4235
build-model-states-explored 3219375 7337
build-model-states-explored 3227263 7888
build-model-states-explored 3233746 6483
build-model-states-explored 3240856 7110
build-model-states-explored 3248359 7503
build-model-states-explored 3255564 7205
build-model-states-explored 3263408 7844
build-model-states-explored 3271285 7877
build-model-states-explored 3279505 8220
build-model-states-explored 3287361 7856
build-model-states-explored 3295632 8271
build-model-states-explored 3304492 8860
build-model-states-explored 3312196 7704
build-model-states-explored 3319588 7392
build-model-states-explored 3327868 8280
build-model-states-explored 3335631 7763
build-model-states-explored 3343402 7771
build-model-states-explored 3351298 7896
build-model-states-explored 3359434 8136
build-model-states-explored 3367800 8366
build-model-states-explored 3376548 8748
build-model-states-explored 3385136 8588
build-model-states-explored 3393729 8593
build-model-states-explored 3401725 7996
build-model-states-explored 3408809 7084
build-model-states-explored 3416070 7261
build-model-states-explored 3424049 7979
build-model-states-explored 3430719 6670
build-model-states-explored 3437993 7274
build-model-states-explored 3445069 7076
build-model-states-explored 3452550 7481
build-model-states-explored 3460088 7538
build-model-states-explored 3468223 8135
build-model-states-explored 3476614 8391
build-model-states-explored 3484519 7905
build-model-states-explored 3491384 6865
build-model-states-explored 3498854 7470
build-model-states-explored 3505560 6706
build-model-states-explored 3512731 7171
build-model-states-explored 3520132 7401
build-model-states-explored 3528267 8135
build-model-states-explored 3536177 7910
build-model-states-explored 3543100 6923
build-model-states-explored 3550163 7063
build-model-states-explored 3557547 7384
build-model-states-explored 3565748 8201
build-model-states-explored 3572833 7085
build-model-states-explored 3580538 7705
build-model-states-explored 3588177 7639
build-model-states-explored 3596201 8024
build-model-states-explored 3602427 6226
build-model-states-explored 3608464 6037
build-model-states-explored 3613892 5428
build-model-states-explored 3619832 5940
build-model-states-explored 3626105 6273
build-model-states-explored 3633028 6923
build-model-states-explored 3639044 6016
build-model-states-explored 3644719 5675
build-model-states-explored 3650212 5493
build-model-states-explored 3656634 6422
build-model-states-explored 3663070 6436
build-model-states-explored 3668688 5618
build-model-states-explored 3675131 6443
build-model-states-explored 3681405 6274
build-model-states-explored 3687945 6540
build-model-states-explored 3694554 6609
build-model-states-explored 3701654 7100
build-model-states-explored 3708803 7149
build-model-states-explored 3715859 7056
build-model-states-explored 3723124 7265
build-model-states-explored 3730390 7266
build-model-states-explored 3735551 5161
build-model-states-explored 3740914 5363
build-model-states-explored 3746573 5659
build-model-states-explored 3752954 6381
build-model-states-explored 3758460 5506
build-model-states-explored 3763781 5321
build-model-states-explored 3769944 6163
build-model-states-explored 3775574 5630
build-model-states-explored 3781733 6159
build-model-states-explored 3787938 6205
build-model-states-explored 3794522 6584
build-model-states-explored 3801597 7075
build-model-states-explored 3808552 6955
build-model-states-explored 3815321 6769
build-model-states-explored 3820511 5190
build-model-states-explored 3826467 5956
build-model-states-explored 3832283 5816
build-model-states-explored 3838032 5749
build-model-states-explored 3843900 5868
build-model-states-explored 3850496 6596
build-model-states-explored 3857462 6966
build-model-states-explored 3864705 7243
build-model-states-explored 3870350 5645
build-model-states-explored 3876423 6073
build-model-states-explored 3882521 6098
build-model-states-explored 3888992 6471
build-model-states-explored 3896373 7381
build-model-states-explored 3902580 6207
build-model-states-explored 3908864 6284
build-model-states-explored 3915646 6782
build-model-states-explored 3923028 7382
build-model-states-explored 3930290 7262
build-model-states-explored 3937025 6735
build-model-states-explored 3944088 7063
build-model-states-explored 3951098 7010
build-model-states-explored 3958289 7191
build-model-states-explored 3966399 8110
build-model-states-explored 3973119 6720
build-model-states-explored 3977549 4430
build-model-states-explored 3983648 6099
build-model-states-explored 3991342 7694
build-model-states-explored 3998175 6833
build-model-states-explored 4005086 6911
build-model-states-explored 4012460 7374
build-model-states-explored 4019692 7232
build-model-states-explored 4027153 7461
build-model-states-explored 4033615 6462
build-model-states-explored 4038773 5158
build-model-states-explored 4043709 4936
build-model-states-explored 4049147 5438
build-model-states-explored 4055319 6172
build-model-states-explored 4060343 5024
build-model-states-explored 4065395 5052
build-model-states-explored 4071153 5758
build-model-states-explored 4076635 5482
build-model-states-explored 4082286 5651
build-model-states-explored 4087818 5532
build-model-states-explored 4094297 6479
build-model-states-explored 4094666 369
build-model-states-explored 4094666 0
build-model-states-explored 4094666 0
build-model-states-explored 4099986 5320
build-model-states-explored 4106445 6459
build-model-states-explored 4113273 6828
build-model-states-explored 4118526 5253
build-model-states-explored 4123596 5070
build-model-states-explored 4128890 5294
build-model-states-explored 4134132 5242
build-model-states-explored 4139322 5190
build-model-states-explored 4144727 5405
build-model-states-explored 4150525 5798
build-model-states-explored 4156748 6223
build-model-states-explored 4163389 6641
build-model-states-explored 4169195 5806
build-model-states-explored 4174404 5209
build-model-states-explored 4179863 5459
build-model-states-explored 4185449 5586
build-model-states-explored 4191622 6173
build-model-states-explored 4195002 3380
build-model-states-explored 4200860 5858
build-model-states-explored 4206645 5785
build-model-states-explored 4213022 6377
build-model-states-explored 4219080 6058
build-model-states-explored 4225726 6646
build-model-states-explored 4232551 6825
build-model-states-explored 4239254 6703
build-model-states-explored 4245797 6543
build-model-states-explored 4253230 7433
build-model-states-explored 4260179 6949
build-model-states-explored 4266926 6747
build-model-states-explored 4274183 7257
build-model-states-explored 4280908 6725
build-model-states-explored 4288001 7093
build-model-states-explored 4295688 7687
build-model-states-explored 4300614 4926
build-model-states-explored 4305483 4869
build-model-states-explored 4311222 5739
build-model-states-explored 4316302 5080
build-model-states-explored 4321616 5314
build-model-states-explored 4326814 5198
build-model-states-explored 4332969 6155
build-model-states-explored 4339139 6170
build-model-states-explored 4345717 6578
build-model-states-explored 4351133 5416
build-model-states-explored 4356119 4986
build-model-states-explored 4361179 5060
build-model-states-explored 4366768 5589
build-model-states-explored 4372789 6021
build-model-states-explored 4379255 6466
build-model-states-explored 4384835 5580
build-model-states-explored 4390303 5468
build-model-states-explored 4396573 6270
build-model-states-explored 4402233 5660
build-model-states-explored 4409119 6886
build-model-states-explored 4415644 6525
build-model-states-explored 4422476 6832
build-model-states-explored 4429725 7249
build-model-states-explored 4436340 6615
build-model-states-explored 4443353 7013
build-model-states-explored 4450861 7508
build-model-states-explored 4456050 5189
build-model-states-explored 4461562 5512
build-model-states-explored 4466488 4926
build-model-states-explored 4472439 5951
build-model-states-explored 4478671 6232
build-model-states-explored 4484436 5765
build-model-states-explored 4489850 5414
build-model-states-explored 4495477 5627
build-model-states-explored 4501416 5939
build-model-states-explored 4507497 6081
build-model-states-explored 4514056 6559
build-model-states-explored 4520682 6626
build-model-states-explored 4527705 7023
build-model-states-explored 4534739 7034
build-model-states-explored 4541203 6464
build-model-states-explored 4546731 5528
build-model-states-explored 4552592 5861
build-model-states-explored 4558421 5829
build-model-states-explored 4564613 6192
build-model-states-explored 4571005 6392
build-model-states-explored 4577851 6846
build-model-states-explored 4585251 7400
build-model-states-explored 4590922 5671
build-model-states-explored 4597371 6449
build-model-states-explored 4604056 6685
build-model-states-explored 4610755 6699
build-model-states-explored 4617896 7141
build-model-states-explored 4625232 7336
build-model-states-explored 4631795 6563
build-model-states-explored 4638753 6958
build-model-states-explored 4645628 6875
build-model-states-explored 4652502 6874
build-model-states-explored 4660611 8109
build-model-states-explored 4667220 6609
build-model-states-explored 4673822 6602
build-model-states-explored 4680183 6361
build-model-states-explored 4687891 7708
build-model-states-explored 4694212 6321
build-model-states-explored 4701319 7107
build-model-states-explored 4708415 7096
build-model-states-explored 4715455 7040
build-model-states-explored 4722721 7266
build-model-states-explored 4730153 7432
build-model-states-explored 4738292 8139
build-model-states-explored 4745962 7670
build-model-states-explored 4753871 7909
build-model-states-explored 4760357 6486
build-model-states-explored 4766651 6294
build-model-states-explored 4772858 6207
build-model-states-explored 4779721 6863
build-model-states-explored 4786031 6310
build-model-states-explored 4791792 5761
build-model-states-explored 4798625 6833
build-model-states-explored 4804955 6330
build-model-states-explored 4811359 6404
build-model-states-explored 4818185 6826
build-model-states-explored 4826010 7825
build-model-states-explored 4833710 7700
build-model-states-explored 4841300 7590
build-model-states-explored 4847236 5936
build-model-states-explored 4853872 6636
build-model-states-explored 4860299 6427
build-model-states-explored 4866656 6357
build-model-states-explored 4873264 6608
build-model-states-explored 4879792 6528
build-model-states-explored 4887573 7781
build-model-states-explored 4894457 6884
build-model-states-explored 4900784 6327
build-model-states-explored 4907167 6383
build-model-states-explored 4913723 6556
build-model-states-explored 4921474 7751
build-model-states-explored 4928247 6773
build-model-states-explored 4934706 6459
build-model-states-explored 4942257 7551
build-model-states-explored 4949503 7246
build-model-states-explored 4956304 6801
build-model-states-explored 4960471 4167
build-model-states-explored 4965125 4654
build-model-states-explored 4969588 4463
build-model-states-explored 4974678 5090
build-model-states-explored 4980533 5855
build-model-states-explored 4984949 4416
build-model-states-explored 4989529 4580
build-model-states-explored 4994433 4904
build-model-states-explored 4999534 5101
build-model-states-explored 5004316 4782
build-model-states-explored 5009590 5274
build-model-states-explored 5015148 5558
build-model-states-explored 5020757 5609
build-model-states-explored 5026840 6083
build-model-states-explored 5032872 6032
build-model-states-explored 5039219 6347
build-model-states-explored 5043605 4386
build-model-states-explored 5048177 4572
build-model-states-explored 5052874 4697
build-model-states-explored 5057714 4840
build-model-states-explored 5062142 4428
build-model-states-explored 5067245 5103
build-model-states-explored 5072159 4914
build-model-states-explored 5077190 5031
build-model-states-explored 5083174 5984
build-model-states-explored 5089412 6238
build-model-states-explored 5094428 5016
build-model-states-explored 5099121 4693
build-model-states-explored 5104025 4904
build-model-states-explored 5109139 5114
build-model-states-explored 5114389 5250
build-model-states-explored 5120520 6131
build-model-states-explored 5125484 4964
build-model-states-explored 5130855 5371
build-model-states-explored 5136351 5496
build-model-states-explored 5141968 5617
build-model-states-explored 5147866 5898
build-model-states-explored 5153881 6015
build-model-states-explored 5159931 6050
build-model-states-explored 5165926 5995
build-model-states-explored 5172197 6271
build-model-states-explored 5178906 6709
build-model-states-explored 5185003 6097
build-model-states-explored 5190878 5875
build-model-states-explored 5197640 6762
build-model-states-explored 5203428 5788
build-model-states-explored 5209940 6512
build-model-states-explored 5216494 6554
build-model-states-explored 5222181 5687
build-model-states-explored 5226285 4104
build-model-states-explored 5230654 4369
build-model-states-explored 5235611 4957
build-model-states-explored 5240129 4518
build-model-states-explored 5244267 4138
build-model-states-explored 5249030 4763
build-model-states-explored 5254069 5039
build-model-states-explored 5259072 5003
build-model-states-explored 5264801 5729
build-model-states-explored 5270470 5669
build-model-states-explored 5275024 4554
build-model-states-explored 5279303 4279
build-model-states-explored 5283902 4599
build-model-states-explored 5288640 4738
build-model-states-explored 5293167 4527
build-model-states-explored 5298843 5676
build-model-states-explored 5304161 5318
build-model-states-explored 5308908 4747
build-model-states-explored 5313504 4596
build-model-states-explored 5318928 5424
build-model-states-explored 5323968 5040
build-model-states-explored 5329841 5873
build-model-states-explored 5335056 5215
build-model-states-explored 5341017 5961
build-model-states-explored 5347076 6059
build-model-states-explored 5353725 6649
build-model-states-explored 5359474 5749
build-model-states-explored 5365845 6371
build-model-states-explored 5372388 6543
build-model-states-explored 5377866 5478
build-model-states-explored 5382159 4293
build-model-states-explored 5387047 4888
build-model-states-explored 5391360 4313
build-model-states-explored 5396418 5058
build-model-states-explored 5401716 5298
build-model-states-explored 5407386 5670
build-model-states-explored 5411529 4143
build-model-states-explored 5416508 4979
build-model-states-explored 5421619 5111
build-model-states-explored 5426587 4968
build-model-states-explored 5431862 5275
build-model-states-explored 5437552 5690
build-model-states-explored 5443266 5714
build-model-states-explored 5449568 6302
build-model-states-explored 5455627 6059
build-model-states-explored 5462301 6674
build-model-states-explored 5466964 4663
build-model-states-explored 5471947 4983
build-model-states-explored 5477073 5126
build-model-states-explored 5482307 5234
build-model-states-explored 5486931 4624
build-model-states-explored 5492807 5876
build-model-states-explored 5498476 5669
build-model-states-explored 5504954 6478
build-model-states-explored 5510919 5965
build-model-states-explored 5515706 4787
build-model-states-explored 5520469 4763
build-model-states-explored 5525343 4874
build-model-states-explored 5531656 6313
build-model-states-explored 5537194 5538
build-model-states-explored 5543920 6726
build-model-states-explored 5550105 6185
build-model-states-explored 5556349 6244
build-model-states-explored 5562389 6040
build-model-states-explored 5568696 6307
build-model-states-explored 5575801 7105
build-model-states-explored 5581496 5695
build-model-states-explored 5587829 6333
build-model-states-explored 5594555 6726
build-model-states-explored 5600934 6379
build-model-states-explored 5607608 6674
build-model-states-explored 5614270 6662
build-model-states-explored 5621832 7562
build-model-states-explored 5629403 7571
build-model-states-explored 5636060 6657
build-model-states-explored 5641926 5866
build-model-states-explored 5648115 6189
build-model-states-explored 5653946 5831
build-model-states-explored 5660229 6283
build-model-states-explored 5666436 6207
build-model-states-explored 5672644 6208
build-model-states-explored 5680027 7383
build-model-states-explored 5686931 6904
build-model-states-explored 5692930 5999
build-model-states-explored 5698851 5921
build-model-states-explored 5705496 6645
build-model-states-explored 5712337 6841
build-model-states-explored 5719082 6745
build-model-states-explored 5725424 6342
build-model-states-explored 5732179 6755
build-model-states-explored 5738537 6358
build-model-states-explored 5745748 7211
build-model-states-explored 5751447 5699
build-model-states-explored 5755577 4130
build-model-states-explored 5759924 4347
build-model-states-explored 5764898 4974
build-model-states-explored 5769342 4444
build-model-states-explored 5773423 4081
build-model-states-explored 5778175 4752
build-model-states-explored 5783165 4990
build-model-states-explored 5788135 4970
build-model-states-explored 5793865 5730
build-model-states-explored 5799568 5703
build-model-states-explored 5804036 4468
build-model-states-explored 5808303 4267
build-model-states-explored 5812837 4534
build-model-states-explored 5817392 4555
build-model-states-explored 5822117 4725
build-model-states-explored 5827530 5413
build-model-states-explored 5833029 5499
build-model-states-explored 5837456 4427
build-model-states-explored 5842282 4826
build-model-states-explored 5847614 5332
build-model-states-explored 5852551 4937
build-model-states-explored 5858306 5755
build-model-states-explored 5863724 5418
build-model-states-explored 5869387 5663
build-model-states-explored 5875135 5748
build-model-states-explored 5881483 6348
build-model-states-explored 5887104 5621
build-model-states-explored 5893209 6105
build-model-states-explored 5899389 6180
build-model-states-explored 5905512 6123
build-model-states-explored 5909391 3879
build-model-states-explored 5913660 4269
build-model-states-explored 5917929 4269
build-model-states-explored 5922565 4636
build-model-states-explored 5927202 4637
build-model-states-explored 5932493 5291
build-model-states-explored 5937313 4820
build-model-states-explored 5941784 4471
build-model-states-explored 5946085 4301
build-model-states-explored 5951080 4995
build-model-states-explored 5955685 4605
build-model-states-explored 5960616 4931
build-model-states-explored 5966040 5424
build-model-states-explored 5971532 5492
build-model-states-explored 5977385 5853
build-model-states-explored 5983325 5940
build-model-states-explored 5989703 6378
build-model-states-explored 5994727 5024
build-model-states-explored 5999421 4694
build-model-states-explored 6003852 4431
build-model-states-explored 6009102 5250
build-model-states-explored 6013622 4520
build-model-states-explored 6019073 5451
build-model-states-explored 6024015 4942
build-model-states-explored 6029543 5528
build-model-states-explored 6035904 6361
build-model-states-explored 6041044 5140
build-model-states-explored 6045884 4840
build-model-states-explored 6051314 5430
build-model-states-explored 6056860 5546
build-model-states-explored 6062780 5920
build-model-states-explored 6067871 5091
build-model-states-explored 6074310 6439
build-model-states-explored 6080322 6012
build-model-states-explored 6086058 5736
build-model-states-explored 6092389 6331
build-model-states-explored 6098586 6197
build-model-states-explored 6104694 6108
build-model-states-explored 6110852 6158
build-model-states-explored 6117348 6496
build-model-states-explored 6124522 7174
build-model-states-explored 6131549 7027
build-model-states-explored 6137304 5755
build-model-states-explored 6143185 5881
build-model-states-explored 6149172 5987
build-model-states-explored 6155724 6552
build-model-states-explored 6162610 6886
build-model-states-explored 6168833 6223
build-model-states-explored 6175016 6183
build-model-states-explored 6181542 6526
build-model-states-explored 6188434 6892
build-model-states-explored 6195121 6687
build-model-states-explored 6199097 3976
build-model-states-explored 6203489 4392
build-model-states-explored 6207748 4259
build-model-states-explored 6212526 4778
build-model-states-explored 6217232 4706
build-model-states-explored 6222678 5446
build-model-states-explored 6227443 4765
build-model-states-explored 6232101 4658
build-model-states-explored 6236314 4213
build-model-states-explored 6241607 5293
build-model-states-explored 6246259 4652
build-model-states-explored 6251734 5475
build-model-states-explored 6256845 5111
build-model-states-explored 6262442 5597
build-model-states-explored 6268168 5726
build-model-states-explored 6273774 5606
build-model-states-explored 6279956 6182
build-model-states-explored 6284648 4692
build-model-states-explored 6289184 4536
build-model-states-explored 6293548 4364
build-model-states-explored 6298656 5108
build-model-states-explored 6302973 4317
build-model-states-explored 6308041 5068
build-model-states-explored 6313049 5008
build-model-states-explored 6318330 5281
build-model-states-explored 6324316 5986
build-model-states-explored 6329811 5495
build-model-states-explored 6334256 4445
build-model-states-explored 6339665 5409
build-model-states-explored 6344728 5063
build-model-states-explored 6350623 5895
build-model-states-explored 6355612 4989
build-model-states-explored 6361805 6193
build-model-states-explored 6367439 5634
build-model-states-explored 6373316 5877
build-model-states-explored 6379431 6115
build-model-states-explored 6385579 6148
build-model-states-explored 6391932 6353
build-model-states-explored 6399152 7220
build-model-states-explored 6405195 6043
build-model-states-explored 6410946 5751
build-model-states-explored 6417712 6766
build-model-states-explored 6424172 6460
build-model-states-explored 6430961 6789
build-model-states-explored 6435549 4588
build-model-states-explored 6440275 4726
build-model-states-explored 6444925 4650
build-model-states-explored 6450195 5270
build-model-states-explored 6454355 4160
build-model-states-explored 6459868 5513
build-model-states-explored 6464880 5012
build-model-states-explored 6470432 5552
build-model-states-explored 6476505 6073
build-model-states-explored 6481309 4804
build-model-states-explored 6485989 4680
build-model-states-explored 6491132 5143
build-model-states-explored 6496314 5182
build-model-states-explored 6502231 5917
build-model-states-explored 6506920 4689
build-model-states-explored 6513051 6131
build-model-states-explored 6518726 5675
build-model-states-explored 6524935 6209
build-model-states-explored 6530997 6062
build-model-states-explored 6537583 6586
build-model-states-explored 6544089 6506
build-model-states-explored 6550627 6538
build-model-states-explored 6555593 4966
build-model-states-explored 6561005 5412
build-model-states-explored 6565904 4899
build-model-states-explored 6571249 5345
build-model-states-explored 6576576 5327
build-model-states-explored 6581548 4972
build-model-states-explored 6587651 6103
build-model-states-explored 6593409 5758
build-model-states-explored 6600248 6839
build-model-states-explored 6606660 6412
build-model-states-explored 6611865 5205
build-model-states-explored 6617961 6096
build-model-states-explored 6623432 5471
build-model-states-explored 6629741 6309
build-model-states-explored 6635509 5768
build-model-states-explored 6642168 6659
build-model-states-explored 6649552 7384
build-model-states-explored 6657454 7902
build-model-states-explored 6665969 8515
build-model-states-explored 6673969 8000
build-model-states-explored 6681526 7557
build-model-states-explored 6689610 8084
build-model-states-explored 6697661 8051
build-model-states-explored 6705982 8321
build-model-states-explored 6714844 8862
build-model-states-explored 6723478 8634
build-model-states-explored 6731362 7884
build-model-states-explored 6738574 7212
build-model-states-explored 6746143 7569
build-model-states-explored 6753379 7236
build-model-states-explored 6760888 7509
build-model-states-explored 6768874 7986
build-model-states-explored 6777487 8613
build-model-states-explored 6784802 7315
build-model-states-explored 6792181 7379
build-model-states-explored 6799477 7296
build-model-states-explored 6807668 8191
build-model-states-explored 6815360 7692
build-model-states-explored 6823002 7642
build-model-states-explored 6831137 8135
build-model-states-explored 6839234 8097
build-model-states-explored 6847865 8631
build-model-states-explored 6856519 8654
build-model-states-explored 6865201 8682
build-model-states-explored 6873814 8613
build-model-states-explored 6881779 7965
build-model-states-explored 6890172 8393
build-model-states-explored 6898611 8439
build-model-states-explored 6907227 8616
build-model-states-explored 6914034 6807
build-model-states-explored 6920673 6639
build-model-states-explored 6927632 6959
build-model-states-explored 6934397 6765
build-model-states-explored 6941205 6808
build-model-states-explored 6948427 7222
build-model-states-explored 6956168 7741
build-model-states-explored 6963125 6957
build-model-states-explored 6969565 6440
build-model-states-explored 6975890 6325
build-model-states-explored 6982678 6788
build-model-states-explored 6990317 7639
build-model-states-explored 6996852 6535
build-model-states-explored 7003477 6625
build-model-states-explored 7010709 7232
build-model-states-explored 7017897 7188
build-model-states-explored 7025274 7377
build-model-states-explored 7033192 7918
build-model-states-explored 7041613 8421
build-model-states-explored 7049238 7625
build-model-states-explored 7057451 8213
build-model-states-explored 7065286 7835
build-model-states-explored 7071414 6128
build-model-states-explored 7077949 6535
build-model-states-explored 7084472 6523
build-model-states-explored 7091661 7189
build-model-states-explored 7098299 6638
build-model-states-explored 7104495 6196
build-model-states-explored 7111550 7055
build-model-states-explored 7118074 6524
build-model-states-explored 7125059 6985
build-model-states-explored 7132735 7676
build-model-states-explored 7140692 7957
build-model-states-explored 7148678 7986
build-model-states-explored 7153989 5311
build-model-states-explored 7159559 5570
build-model-states-explored 7166472 6913
build-model-states-explored 7173084 6612
build-model-states-explored 7180020 6936
build-model-states-explored 7187283 7263
build-model-states-explored 7195323 8040
build-model-states-explored 7202343 7020
build-model-states-explored 7209279 6936
build-model-states-explored 7216584 7305
build-model-states-explored 7224064 7480
build-model-states-explored 7231697 7633
build-model-states-explored 7238668 6971
build-model-states-explored 7243862 5194
build-model-states-explored 7249080 5218
build-model-states-explored 7254734 5654
build-model-states-explored 7261116 6382
build-model-states-explored 7266394 5278
build-model-states-explored 7271623 5229
build-model-states-explored 7277749 6126
build-model-states-explored 7283217 5468
build-model-states-explored 7289335 6118
build-model-states-explored 7295474 6139
build-model-states-explored 7301915 6441
build-model-states-explored 7308786 6871
build-model-states-explored 7315461 6675
build-model-states-explored 7322299 6838
build-model-states-explored 7327207 4908
build-model-states-explored 7332363 5156
build-model-states-explored 7338332 5969
build-model-states-explored 7343335 5003
build-model-states-explored 7348893 5558
build-model-states-explored 7354723 5830
build-model-states-explored 7360835 6112
build-model-states-explored 7367497 6662
build-model-states-explored 7374207 6710
build-model-states-explored 7379358 5151
build-model-states-explored 7384913 5555
build-model-states-explored 7390708 5795
build-model-states-explored 7396905 6197
build-model-states-explored 7404020 7115
build-model-states-explored 7409601 5581
build-model-states-explored 7415621 6020
build-model-states-explored 7422155 6534
build-model-states-explored 7428345 6190
build-model-states-explored 7435734 7389
build-model-states-explored 7442523 6789
build-model-states-explored 7449321 6798
build-model-states-explored 7456411 7090
build-model-states-explored 7463905 7494
build-model-states-explored 7470284 6379
build-model-states-explored 7475575 5291
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 7476007 432
build-model-states-explored 7483237 7230
build-model-states-explored 7490350 7113
build-model-states-explored 7497620 7270
build-model-states-explored 7504064 6444
build-model-states-explored 7508877 4813
build-model-states-explored 7514297 5420
build-model-states-explored 7519863 5566
build-model-states-explored 7524960 5097
build-model-states-explored 7530420 5460
build-model-states-explored 7536291 5871
build-model-states-explored 7542391 6100
build-model-states-explored 7548685 6294
build-model-states-explored 7555032 6347
build-model-states-explored 7559912 4880
build-model-states-explored 7565214 5302
build-model-states-explored 7570756 5542
build-model-states-explored 7576350 5594
build-model-states-explored 7582809 6459
build-model-states-explored 7588222 5413
build-model-states-explored 7593970 5748
build-model-states-explored 7600021 6051
build-model-states-explored 7605861 5840
build-model-states-explored 7612352 6491
build-model-states-explored 7618972 6620
build-model-states-explored 7625430 6458
build-model-states-explored 7632549 7119
build-model-states-explored 7639345 6796
build-model-states-explored 7646295 6950
build-model-states-explored 7653499 7204
build-model-states-explored 7659750 6251
build-model-states-explored 7664985 5235
build-model-states-explored 7670353 5368
build-model-states-explored 7675961 5608
build-model-states-explored 7681966 6005
build-model-states-explored 7688411 6445
build-model-states-explored 7693344 4933
build-model-states-explored 7698996 5652
build-model-states-explored 7705192 6196
build-model-states-explored 7710630 5438
build-model-states-explored 7717270 6640
build-model-states-explored 7723907 6637
build-model-states-explored 7730881 6974
build-model-states-explored 7737864 6983
build-model-states-explored 7745252 7388
build-model-states-explored 7750547 5295
build-model-states-explored 7756190 5643
build-model-states-explored 7762566 6376
build-model-states-explored 7767906 5340
build-model-states-explored 7774434 6528
build-model-states-explored 7781212 6778
build-model-states-explored 7788608 7396
build-model-states-explored 7794795 6187
build-model-states-explored 7801371 6576
build-model-states-explored 7807688 6317
build-model-states-explored 7814811 7123
build-model-states-explored 7821102 6291
build-model-states-explored 7828864 7762
build-model-states-explored 7835484 6620
build-model-states-explored 7841810 6326
build-model-states-explored 7848635 6825
build-model-states-explored 7855898 7263
build-model-states-explored 7862103 6205
build-model-states-explored 7868415 6312
build-model-states-explored 7875422 7007
build-model-states-explored 7882072 6650
build-model-states-explored 7889135 7063
build-model-states-explored 7896182 7047
build-model-states-explored 7903863 7681
build-model-states-explored 7911506 7643
build-model-states-explored 7918245 6739
build-model-states-explored 7924389 6144
build-model-states-explored 7930948 6559
build-model-states-explored 7936861 5913
build-model-states-explored 7943089 6228
build-model-states-explored 7949677 6588
build-model-states-explored 7956896 7219
build-model-states-explored 7964682 7786
build-model-states-explored 7971139 6457
build-model-states-explored 7977702 6563
build-model-states-explored 7984272 6570
build-model-states-explored 7991054 6782
build-model-states-explored 7998473 7419
build-model-states-explored 8005081 6608
build-model-states-explored 8012129 7048
build-model-states-explored 8019308 7179
build-model-states-explored 8026415 7107
build-model-states-explored 8032899 6484
build-model-states-explored 8037405 4506
build-model-states-explored 8042353 4948
build-model-states-explored 8047917 5564
build-model-states-explored 8052401 4484
build-model-states-explored 8057702 5301
build-model-states-explored 8062472 4770
build-model-states-explored 8068365 5893
build-model-states-explored 8074210 5845
build-model-states-explored 8080413 6203
build-model-states-explored 8085523 5110
build-model-states-explored 8090307 4784
build-model-states-explored 8095273 4966
build-model-states-explored 8100476 5203
build-model-states-explored 8105849 5373
build-model-states-explored 8112048 6199
build-model-states-explored 8117145 5097
build-model-states-explored 8122433 5288
build-model-states-explored 8128099 5666
build-model-states-explored 8133661 5562
build-model-states-explored 8139959 6298
build-model-states-explored 8146043 6084
build-model-states-explored 8152182 6139
build-model-states-explored 8158332 6150
build-model-states-explored 8164993 6661
build-model-states-explored 8170966 5973
build-model-states-explored 8177428 6462
build-model-states-explored 8184292 6864
build-model-states-explored 8189463 5171
build-model-states-explored 8194179 4716
build-model-states-explored 8199046 4867
build-model-states-explored 8204133 5087
build-model-states-explored 8209323 5190
build-model-states-explored 8215244 5921
build-model-states-explored 8220189 4945
build-model-states-explored 8225181 4992
build-model-states-explored 8230265 5084
build-model-states-explored 8235833 5568
build-model-states-explored 8240806 4973
build-model-states-explored 8246905 6099
build-model-states-explored 8252991 6086
build-model-states-explored 8259288 6297
build-model-states-explored 8265556 6268
build-model-states-explored 8272455 6899
build-model-states-explored 8277580 5125
build-model-states-explored 8282735 5155
build-model-states-explored 8288172 5437
build-model-states-explored 8293413 5241
build-model-states-explored 8298797 5384
build-model-states-explored 8304937 6140
build-model-states-explored 8310868 5931
build-model-states-explored 8317727 6859
build-model-states-explored 8323225 5498
build-model-states-explored 8329241 6016
build-model-states-explored 8334967 5726
build-model-states-explored 8341181 6214
build-model-states-explored 8346985 5804
build-model-states-explored 8354057 7072
build-model-states-explored 8360565 6508
build-model-states-explored 8366707 6142
build-model-states-explored 8373274 6567
build-model-states-explored 8380006 6732
build-model-states-explored 8386527 6521
build-model-states-explored 8388608 2081
build-model-states-explored 8393206 4598
build-model-states-explored 8400088 6882
build-model-states-explored 8407757 7669
build-model-states-explored 8414625 6868
build-model-states-explored 8421042 6417
build-model-states-explored 8427249 6207
build-model-states-explored 8434157 6908
build-model-states-explored 8441566 7409
build-model-states-explored 8447989 6423
build-model-states-explored 8454713 6724
build-model-states-explored 8461745 7032
build-model-states-explored 8468925 7180
build-model-states-explored 8476180 7255
build-model-states-explored 8480677 4497
build-model-states-explored 8485573 4896
build-model-states-explored 8490151 4578
build-model-states-explored 8495340 5189
build-model-states-explored 8500866 5526
build-model-states-explored 8506908 6042
build-model-states-explored 8511310 4402
build-model-states-explored 8516509 5199
build-model-states-explored 8520312 3803
build-model-states-explored 8520312 0
build-model-states-explored 8520312 0
build-model-states-explored 8520312 0
build-model-states-explored 8525288 4976
build-model-states-explored 8530315 5027
build-model-states-explored 8536455 6140
build-model-states-explored 8542459 6004
build-model-states-explored 8548509 6050
build-model-states-explored 8554682 6173
build-model-states-explored 8561330 6648
build-model-states-explored 8566470 5140
build-model-states-explored 8571464 4994
build-model-states-explored 8576502 5038
build-model-states-explored 8581864 5362
build-model-states-explored 8586652 4788
build-model-states-explored 8592486 5834
build-model-states-explored 8598333 5847
build-model-states-explored 8604769 6436
build-model-states-explored 8610922 6153
build-model-states-explored 8615851 4929
build-model-states-explored 8621716 5865
build-model-states-explored 8627548 5832
build-model-states-explored 8633814 6266
build-model-states-explored 8639344 5530
build-model-states-explored 8646119 6775
build-model-states-explored 8652644 6525
build-model-states-explored 8659185 6541
build-model-states-explored 8665659 6474
build-model-states-explored 8672482 6823
build-model-states-explored 8679982 7500
build-model-states-explored 8686443 6461
build-model-states-explored 8692834 6391
build-model-states-explored 8699780 6946
build-model-states-explored 8707144 7364
build-model-states-explored 8714220 7076
build-model-states-explored 8718703 4483
build-model-states-explored 8724136 5433
build-model-states-explored 8729616 5480
build-model-states-explored 8734675 5059
build-model-states-explored 8740563 5888
build-model-states-explored 8746061 5498
build-model-states-explored 8752013 5952
build-model-states-explored 8758537 6524
build-model-states-explored 8763792 5255
build-model-states-explored 8769595 5803
build-model-states-explored 8774861 5266
build-model-states-explored 8780917 6056
build-model-states-explored 8786451 5534
build-model-states-explored 8792905 6454
build-model-states-explored 8799344 6439
build-model-states-explored 8806045 6701
build-model-states-explored 8812622 6577
build-model-states-explored 8819535 6913
build-model-states-explored 8826862 7327
build-model-states-explored 8833864 7002
build-model-states-explored 8838744 4880
build-model-states-explored 8844791 6047
build-model-states-explored 8850604 5813
build-model-states-explored 8856894 6290
build-model-states-explored 8862189 5295
build-model-states-explored 8868836 6647
build-model-states-explored 8875265 6429
build-model-states-explored 8882675 7410
build-model-states-explored 8889671 6996
build-model-states-explored 8895109 5438
build-model-states-explored 8901805 6696
build-model-states-explored 8908316 6511
build-model-states-explored 8915092 6776
build-model-states-explored 8922454 7362
build-model-states-explored 8929079 6625
build-model-states-explored 8935225 6146
build-model-states-explored 8941980 6755
build-model-states-explored 8948972 6992
build-model-states-explored 8955324 6352
build-model-states-explored 8961132 5808
build-model-states-explored 8968123 6991
build-model-states-explored 8974393 6270
build-model-states-explored 8980893 6500
build-model-states-explored 8987808 6915
build-model-states-explored 8995597 7789
build-model-states-explored 9003195 7598
build-model-states-explored 9010700 7505
build-model-states-explored 9016501 5801
build-model-states-explored 9022810 6309
build-model-states-explored 9029306 6496
build-model-states-explored 9035176 5870
build-model-states-explored 9041431 6255
build-model-states-explored 9047824 6393
build-model-states-explored 9055361 7537
build-model-states-explored 9062580 7219
build-model-states-explored 9068697 6117
build-model-states-explored 9074696 5999
build-model-states-explored 9081233 6537
build-model-states-explored 9088784 7551
build-model-states-explored 9095069 6285
build-model-states-explored 9101660 6591
build-model-states-explored 9108760 7100
build-model-states-explored 9115034 6274
build-model-states-explored 9122632 7598
build-model-states-explored 9129939 7307
build-model-states-explored 9137637 7698
build-model-states-explored 9145193 7556
build-model-states-explored 9153287 8094
build-model-states-explored 9160713 7426
build-model-states-explored 9168337 7624
build-model-states-explored 9175774 7437
build-model-states-explored 9183580 7806
build-model-states-explored 9190905 7325
build-model-states-explored 9196406 5501
build-model-states-explored 9202398 5992
build-model-states-explored 9208658 6260
build-model-states-explored 9214446 5788
build-model-states-explored 9220317 5871
build-model-states-explored 9226575 6258
build-model-states-explored 9233642 7067
build-model-states-explored 9240654 7012
build-model-states-explored 9246745 6091
build-model-states-explored 9252530 5785
build-model-states-explored 9258215 5685
build-model-states-explored 9263945 5730
build-model-states-explored 9270915 6970
build-model-states-explored 9276863 5948
build-model-states-explored 9282776 5913
build-model-states-explored 9289726 6950
build-model-states-explored 9295436 5710
build-model-states-explored 9302830 7394
build-model-states-explored 9309343 6513
build-model-states-explored 9316715 7372
build-model-states-explored 9324604 7889
build-model-states-explored 9332017 7413
build-model-states-explored 9339912 7895
build-model-states-explored 9346877 6965
build-model-states-explored 9352554 5677
build-model-states-explored 9358354 5800
build-model-states-explored 9365010 6656
build-model-states-explored 9371044 6034
build-model-states-explored 9377902 6858
build-model-states-explored 9383887 5985
build-model-states-explored 9389350 5463
build-model-states-explored 9396113 6763
build-model-states-explored 9402267 6154
build-model-states-explored 9408438 6171
build-model-states-explored 9415748 7310
build-model-states-explored 9423246 7498
build-model-states-explored 9430897 7651
build-model-states-explored 9437063 6166
build-model-states-explored 9443089 6026
build-model-states-explored 9449901 6812
build-model-states-explored 9455403 5502
build-model-states-explored 9462961 7558
build-model-states-explored 9469053 6092
build-model-states-explored 9476653 7600
build-model-states-explored 9483094 6441
build-model-states-explored 9490469 7375
build-model-states-explored 9496522 6053
build-model-states-explored 9503903 7381
build-model-states-explored 9509997 6094
build-model-states-explored 9517482 7485
build-model-states-explored 9522286 4804
build-model-states-explored 9526506 4220
build-model-states-explored 9531247 4741
build-model-states-explored 9536350 5103
build-model-states-explored 9540638 4288
build-model-states-explored 9545433 4795
build-model-states-explored 9549763 4330
build-model-states-explored 9555212 5449
build-model-states-explored 9560511 5299
build-model-states-explored 9566314 5803
build-model-states-explored 9571816 5502
build-model-states-explored 9576026 4210
build-model-states-explored 9580659 4633
build-model-states-explored 9584774 4115
build-model-states-explored 9589803 5029
build-model-states-explored 9594873 5070
build-model-states-explored 9600772 5899
build-model-states-explored 9605262 4490
build-model-states-explored 9610289 5027
build-model-states-explored 9615363 5074
build-model-states-explored 9620707 5344
build-model-states-explored 9625631 4924
build-model-states-explored 9631731 6100
build-model-states-explored 9637520 5789
build-model-states-explored 9643308 5788
build-model-states-explored 9649482 6174
build-model-states-explored 9655541 6059
build-model-states-explored 9661488 5947
build-model-states-explored 9667541 6053
build-model-states-explored 9673884 6343
build-model-states-explored 9678313 4429
build-model-states-explored 9682429 4116
build-model-states-explored 9686911 4482
build-model-states-explored 9691622 4711
build-model-states-explored 9696079 4457
build-model-states-explored 9701650 5571
build-model-states-explored 9706631 4981
build-model-states-explored 9711028 4397
build-model-states-explored 9715492 4464
build-model-states-explored 9720479 4987
build-model-states-explored 9725227 4748
build-model-states-explored 9730113 4886
build-model-states-explored 9735719 5606
build-model-states-explored 9741163 5444
build-model-states-explored 9747187 6024
build-model-states-explored 9753149 5962
build-model-states-explored 9759569 6420
build-model-states-explored 9764587 5018
build-model-states-explored 9769469 4882
build-model-states-explored 9774078 4609
build-model-states-explored 9779517 5439
build-model-states-explored 9783737 4220
build-model-states-explored 9789413 5676
build-model-states-explored 9794415 5002
build-model-states-explored 9800293 5878
build-model-states-explored 9806690 6397
build-model-states-explored 9811848 5158
build-model-states-explored 9817452 5604
build-model-states-explored 9822499 5047
build-model-states-explored 9828347 5848
build-model-states-explored 9833905 5558
build-model-states-explored 9839396 5491
build-model-states-explored 9846050 6654
build-model-states-explored 9851730 5680
build-model-states-explored 9857479 5749
build-model-states-explored 9863901 6422
build-model-states-explored 9869497 5596
build-model-states-explored 9875568 6071
build-model-states-explored 9881595 6027
build-model-states-explored 9887848 6253
build-model-states-explored 9894857 7009
build-model-states-explored 9901410 6553
build-model-states-explored 9907060 5650
build-model-states-explored 9912700 5640
build-model-states-explored 9918587 5887
build-model-states-explored 9924867 6280
build-model-states-explored 9931683 6816
build-model-states-explored 9937485 5802
build-model-states-explored 9943246 5761
build-model-states-explored 9949847 6601
build-model-states-explored 9956169 6322
build-model-states-explored 9962486 6317
build-model-states-explored 9967166 4680
build-model-states-explored 9971153 3987
build-model-states-explored 9975598 4445
build-model-states-explored 9979659 4061
build-model-states-explored 9984411 4752
build-model-states-explored 9989187 4776
build-model-states-explored 9994679 5492
build-model-states-explored 9998532 3853
build-model-states-explored 10003039 4507
build-model-states-explored 10007426 4387
build-model-states-explored 10012651 5225
build-model-states-explored 10016707 4056
build-model-states-explored 10022252 5545
build-model-states-explored 10027063 4811
build-model-states-explored 10032587 5524
build-model-states-explored 10038166 5579
build-model-states-explored 10043483 5317
build-model-states-explored 10049493 6010
build-model-states-explored 10054069 4576
build-model-states-explored 10058513 4444
build-model-states-explored 10062472 3959
build-model-states-explored 10067340 4868
build-model-states-explored 10071593 4253
build-model-states-explored 10075951 4358
build-model-states-explored 10081149 5198
build-model-states-explored 10086250 5101
build-model-states-explored 10092073 5823
build-model-states-explored 10097687 5614
build-model-states-explored 10101945 4258
build-model-states-explored 10107268 5323
build-model-states-explored 10111849 4581
build-model-states-explored 10116903 5054
build-model-states-explored 10122260 5357
build-model-states-explored 10126966 4706
build-model-states-explored 10133223 6257
build-model-states-explored 10138810 5587
build-model-states-explored 10144444 5634
build-model-states-explored 10150279 5835
build-model-states-explored 10156345 6066
build-model-states-explored 10162575 6230
build-model-states-explored 10169297 6722
build-model-states-explored 10175168 5871
build-model-states-explored 10180817 5649
build-model-states-explored 10187237 6420
build-model-states-explored 10193279 6042
build-model-states-explored 10197590 4311
build-model-states-explored 10202510 4920
build-model-states-explored 10206390 3880
build-model-states-explored 10211055 4665
build-model-states-explored 10215724 4669
build-model-states-explored 10220549 4825
build-model-states-explored 10224728 4179
build-model-states-explored 10230078 5350
build-model-states-explored 10235050 4972
build-model-states-explored 10240308 5258
build-model-states-explored 10246168 5860
----------
Computation aborted after 1800.2871990203857 seconds since the total time limit of 1800 seconds was exceeded.