epmc

Benchmark
Model:triangle-tireworld v.1 (MDP)
Parameter(s)l = 441
Property:goal (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files triangle-tireworld.441.jani --model-input-type jani --property-input-names goal --translate-messages false --value-floating-point-output-native true
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 goal
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 4806 4806
build-model-states-explored 14280 9474
build-model-states-explored 24180 9900
build-model-states-explored 33890 9710
build-model-states-explored 43865 9975
build-model-states-explored 53792 9927
build-model-states-explored 63256 9464
build-model-states-explored 73283 10027
build-model-states-explored 83226 9943
build-model-states-explored 93166 9940
build-model-states-explored 103066 9900
build-model-states-explored 112537 9471
build-model-states-explored 122318 9781
build-model-states-explored 131766 9448
build-model-states-explored 141705 9939
build-model-states-explored 151670 9965
build-model-states-explored 161601 9931
build-model-states-explored 171481 9880
build-model-states-explored 181393 9912
build-model-states-explored 191282 9889
build-model-states-explored 201274 9992
build-model-states-explored 211248 9974
build-model-states-explored 221249 10001
build-model-states-explored 229891 8642
build-model-states-explored 239778 9887
build-model-states-explored 248284 8506
build-model-states-explored 258148 9864
build-model-states-explored 267976 9828
build-model-states-explored 277957 9981
build-model-states-explored 287866 9909
build-model-states-explored 297710 9844
build-model-states-explored 307568 9858
build-model-states-explored 317462 9894
build-model-states-explored 327321 9859
build-model-states-explored 337028 9707
build-model-states-explored 346845 9817
build-model-states-explored 356755 9910
build-model-states-explored 366738 9983
build-model-states-explored 376703 9965
build-model-states-explored 386661 9958
build-model-states-explored 396624 9963
build-model-states-explored 406580 9956
build-model-states-explored 416538 9958
build-model-states-explored 426374 9836
build-model-states-explored 436157 9783
build-model-states-explored 446034 9877
build-model-states-explored 453040 7006
build-model-states-explored 462930 9890
build-model-states-explored 472844 9914
build-model-states-explored 482693 9849
build-model-states-explored 489583 6890
build-model-states-explored 499473 9890
build-model-states-explored 509421 9948
build-model-states-explored 519336 9915
build-model-states-explored 529149 9813
build-model-states-explored 539055 9905
build-model-states-explored 548899 9844
build-model-states-explored 558727 9829
build-model-states-explored 568715 9987
build-model-states-explored 578583 9869
build-model-states-explored 588442 9859
build-model-states-explored 598275 9833
build-model-states-explored 608170 9895
build-model-states-explored 617973 9803
build-model-states-explored 627824 9851
build-model-states-explored 637607 9783
build-model-states-explored 647453 9846
build-model-states-explored 657465 10012
build-model-states-explored 667125 9660
build-model-states-explored 677110 9985
build-model-states-explored 687065 9955
build-model-states-explored 697028 9963
build-model-states-explored 706957 9929
build-model-states-explored 716932 9975
build-model-states-explored 726894 9962
build-model-states-explored 736888 9994
build-model-states-explored 746877 9989
build-model-states-explored 756833 9956
build-model-states-explored 766710 9877
build-model-states-explored 776552 9842
build-model-states-explored 786393 9840
build-model-states-explored 796173 9781
build-model-states-explored 805967 9794
build-model-states-explored 815892 9925
build-model-states-explored 825823 9931
build-model-states-explored 835701 9878
build-model-states-explored 845502 9801
build-model-states-explored 855264 9762
build-model-states-explored 865185 9921
build-model-states-explored 874923 9738
build-model-states-explored 884724 9801
build-model-states-explored 894444 9720
build-model-states-explored 898128 3684
build-model-states-explored 907487 9359
build-model-states-explored 917414 9927
build-model-states-explored 927377 9963
build-model-states-explored 937324 9947
build-model-states-explored 947287 9963
build-model-states-explored 957109 9822
build-model-states-explored 966912 9803
build-model-states-explored 976773 9861
build-model-states-explored 980763 3990
build-model-states-explored 990520 9757
build-model-states-explored 1000233 9713
build-model-states-explored 1009991 9758
build-model-states-explored 1019756 9765
build-model-states-explored 1029673 9917
build-model-states-explored 1039601 9928
build-model-states-explored 1049478 9877
build-model-states-explored 1059264 9786
build-model-states-explored 1069126 9862
build-model-states-explored 1078888 9762
build-model-states-explored 1088627 9739
build-model-states-explored 1098435 9808
build-model-states-explored 1108336 9901
build-model-states-explored 1118141 9805
build-model-states-explored 1127883 9742
build-model-states-explored 1137700 9817
build-model-states-explored 1147491 9791
build-model-states-explored 1157214 9723
build-model-states-explored 1166960 9746
build-model-states-explored 1176587 9627
build-model-states-explored 1186343 9756
build-model-states-explored 1196300 9957
build-model-states-explored 1206255 9955
build-model-states-explored 1216196 9941
build-model-states-explored 1226152 9955
build-model-states-explored 1236062 9911
build-model-states-explored 1245969 9907
build-model-states-explored 1255904 9935
build-model-states-explored 1265768 9864
build-model-states-explored 1275661 9893
build-model-states-explored 1285531 9870
build-model-states-explored 1295362 9831
build-model-states-explored 1305244 9882
build-model-states-explored 1315140 9896
build-model-states-explored 1324482 9342
build-model-states-explored 1334405 9923
build-model-states-explored 1344307 9902
build-model-states-explored 1354201 9894
build-model-states-explored 1364083 9882
build-model-states-explored 1373954 9871
build-model-states-explored 1383808 9854
build-model-states-explored 1393668 9860
build-model-states-explored 1403478 9810
build-model-states-explored 1413302 9824
build-model-states-explored 1423086 9784
build-model-states-explored 1432954 9868
build-model-states-explored 1442608 9654
build-model-states-explored 1452383 9775
build-model-states-explored 1462029 9646
build-model-states-explored 1471688 9659
build-model-states-explored 1481534 9846
build-model-states-explored 1491380 9846
build-model-states-explored 1501120 9740
build-model-states-explored 1510925 9805
build-model-states-explored 1520824 9899
build-model-states-explored 1530609 9785
build-model-states-explored 1540436 9827
build-model-states-explored 1550253 9817
build-model-states-explored 1559952 9699
build-model-states-explored 1569717 9765
build-model-states-explored 1579599 9882
build-model-states-explored 1589416 9817
build-model-states-explored 1599130 9714
build-model-states-explored 1608910 9779
build-model-states-explored 1618686 9777
build-model-states-explored 1628380 9694
build-model-states-explored 1638065 9685
build-model-states-explored 1647741 9676
build-model-states-explored 1657421 9680
build-model-states-explored 1667262 9841
build-model-states-explored 1677146 9884
build-model-states-explored 1686995 9849
build-model-states-explored 1696884 9889
build-model-states-explored 1706756 9872
build-model-states-explored 1716648 9892
build-model-states-explored 1726532 9884
build-model-states-explored 1736399 9867
build-model-states-explored 1746114 9715
build-model-states-explored 1755926 9812
build-model-states-explored 1765629 9703
build-model-states-explored 1775304 9675
build-model-states-explored 1785086 9782
build-model-states-explored 1794892 9806
build-model-states-explored 1798786 3894
build-model-states-explored 1799173 387
build-model-states-explored 1808893 9720
build-model-states-explored 1818590 9697
build-model-states-explored 1828416 9826
build-model-states-explored 1838098 9682
build-model-states-explored 1847727 9629
build-model-states-explored 1857343 9616
build-model-states-explored 1867004 9660
build-model-states-explored 1876777 9774
build-model-states-explored 1886681 9904
build-model-states-explored 1896548 9867
build-model-states-explored 1906430 9882
build-model-states-explored 1916304 9874
build-model-states-explored 1926118 9814
build-model-states-explored 1935795 9677
build-model-states-explored 1945409 9614
build-model-states-explored 1955167 9758
build-model-states-explored 1960603 5436
build-model-states-explored 1962981 2378
build-model-states-explored 1972679 9698
build-model-states-explored 1982371 9691
build-model-states-explored 1992023 9653
build-model-states-explored 2001739 9716
build-model-states-explored 2010986 9247
build-model-states-explored 2024038 13052
build-model-states-explored 2038251 14213
build-model-states-explored 2052220 13969
build-model-states-explored 2066168 13948
build-model-states-explored 2080227 14059
build-model-states-explored 2094474 14247
build-model-states-explored 2108259 13785
build-model-states-explored 2122192 13933
build-model-states-explored 2136155 13963
build-model-states-explored 2149982 13827
build-model-states-explored 2164024 14042
build-model-states-explored 2178045 14020
build-model-states-explored 2192458 14414
build-model-states-explored 2206869 14411
build-model-states-explored 2221237 14368
build-model-states-explored 2235535 14298
build-model-states-explored 2249710 14174
build-model-states-explored 2264122 14413
build-model-states-explored 2278530 14408
build-model-states-explored 2292907 14377
build-model-states-explored 2307216 14309
build-model-states-explored 2321472 14256
build-model-states-explored 2335830 14358
build-model-states-explored 2350108 14278
build-model-states-explored 2364288 14180
build-model-states-explored 2378620 14332
build-model-states-explored 2392945 14324
build-model-states-explored 2407283 14339
build-model-states-explored 2421561 14278
build-model-states-explored 2435887 14326
build-model-states-explored 2450280 14393
build-model-states-explored 2464548 14268
build-model-states-explored 2478860 14312
build-model-states-explored 2493176 14316
build-model-states-explored 2507458 14282
build-model-states-explored 2521783 14325
build-model-states-explored 2536080 14296
build-model-states-explored 2550398 14318
build-model-states-explored 2564440 14042
build-model-states-explored 2578518 14078
build-model-states-explored 2592391 13873
build-model-states-explored 2606519 14127
build-model-states-explored 2620627 14109
build-model-states-explored 2634505 13878
build-model-states-explored 2647289 12784
build-model-states-explored 2661214 13925
build-model-states-explored 2675082 13868
build-model-states-explored 2689016 13934
build-model-states-explored 2703285 14269
build-model-states-explored 2717541 14256
build-model-states-explored 2731712 14171
build-model-states-explored 2745991 14279
build-model-states-explored 2760205 14214
build-model-states-explored 2774395 14190
build-model-states-explored 2788545 14150
build-model-states-explored 2802430 13885
build-model-states-explored 2816496 14066
build-model-states-explored 2830569 14073
build-model-states-explored 2844528 13959
build-model-states-explored 2858289 13761
build-model-states-explored 2872242 13953
build-model-states-explored 2886473 14231
build-model-states-explored 2900583 14110
build-model-states-explored 2914396 13813
build-model-states-explored 2928248 13852
build-model-states-explored 2942191 13943
build-model-states-explored 2956352 14161
build-model-states-explored 2970148 13796
build-model-states-explored 2984045 13897
build-model-states-explored 2997888 13843
build-model-states-explored 3011532 13644
build-model-states-explored 3025483 13951
build-model-states-explored 3039300 13817
build-model-states-explored 3053501 14201
build-model-states-explored 3067688 14187
build-model-states-explored 3081902 14214
build-model-states-explored 3096140 14238
build-model-states-explored 3110438 14298
build-model-states-explored 3124608 14170
build-model-states-explored 3138760 14152
build-model-states-explored 3152882 14122
build-model-states-explored 3167066 14184
build-model-states-explored 3181000 13934
build-model-states-explored 3194757 13757
build-model-states-explored 3208795 14038
build-model-states-explored 3222714 13919
build-model-states-explored 3236579 13865
build-model-states-explored 3250378 13799
build-model-states-explored 3264406 14028
build-model-states-explored 3278485 14079
build-model-states-explored 3292461 13976
build-model-states-explored 3306308 13847
build-model-states-explored 3320017 13709
build-model-states-explored 3333832 13815
build-model-states-explored 3347906 14074
build-model-states-explored 3361583 13677
build-model-states-explored 3375005 13422
build-model-states-explored 3388812 13807
build-model-states-explored 3402436 13624
build-model-states-explored 3416212 13776
build-model-states-explored 3429979 13767
build-model-states-explored 3444151 14172
build-model-states-explored 3458307 14156
build-model-states-explored 3472385 14078
build-model-states-explored 3486480 14095
build-model-states-explored 3500640 14160
build-model-states-explored 3514668 14028
build-model-states-explored 3528575 13907
build-model-states-explored 3542398 13823
build-model-states-explored 3555968 13570
build-model-states-explored 3569830 13862
build-model-states-explored 3583883 14053
build-model-states-explored 3597804 13921
build-model-states-explored 3599685 1881
build-model-states-explored 3599685 0
build-model-states-explored 3599685 0
build-model-states-explored 3603102 3417
build-model-states-explored 3617001 13899
build-model-states-explored 3630937 13936
build-model-states-explored 3644644 13707
build-model-states-explored 3658511 13867
build-model-states-explored 3672454 13943
build-model-states-explored 3686607 14153
build-model-states-explored 3700816 14209
build-model-states-explored 3714918 14102
build-model-states-explored 3729135 14217
build-model-states-explored 3742978 13843
build-model-states-explored 3756884 13906
build-model-states-explored 3770862 13978
build-model-states-explored 3784535 13673
build-model-states-explored 3798495 13960
build-model-states-explored 3812405 13910
build-model-states-explored 3826630 14225
build-model-states-explored 3840553 13923
build-model-states-explored 3854220 13667
build-model-states-explored 3868017 13797
build-model-states-explored 3881941 13924
build-model-states-explored 3895788 13847
build-model-states-explored 3909637 13849
build-model-states-explored 3922577 12940
build-model-states-explored 3922577 0
build-model-states-explored 3922577 0
build-model-states-explored 3931525 8948
build-model-states-explored 3945313 13788
build-model-states-explored 3959137 13824
build-model-states-explored 3972929 13792
build-model-states-explored 3986780 13851
build-model-states-explored 4001038 14258
build-model-states-explored 4015383 14345
build-model-states-explored 4029590 14207
build-model-states-explored 4043863 14273
build-model-states-explored 4058121 14258
build-model-states-explored 4072266 14145
build-model-states-explored 4086430 14164
build-model-states-explored 4100628 14198
build-model-states-explored 4114962 14334
build-model-states-explored 4129244 14282
build-model-states-explored 4143550 14306
build-model-states-explored 4157855 14305
build-model-states-explored 4171979 14124
build-model-states-explored 4186133 14154
build-model-states-explored 4200155 14022
build-model-states-explored 4214383 14228
build-model-states-explored 4228487 14104
build-model-states-explored 4242554 14067
build-model-states-explored 4256828 14274
build-model-states-explored 4271109 14281
build-model-states-explored 4285340 14231
build-model-states-explored 4299488 14148
build-model-states-explored 4313579 14091
build-model-states-explored 4327496 13917
build-model-states-explored 4341698 14202
build-model-states-explored 4355834 14136
build-model-states-explored 4369926 14092
build-model-states-explored 4384154 14228
build-model-states-explored 4398308 14154
build-model-states-explored 4412449 14141
build-model-states-explored 4426613 14164
build-model-states-explored 4440708 14095
build-model-states-explored 4454918 14210
build-model-states-explored 4469142 14224
build-model-states-explored 4483377 14235
build-model-states-explored 4497549 14172
build-model-states-explored 4511594 14045
build-model-states-explored 4525805 14211
build-model-states-explored 4540002 14197
build-model-states-explored 4554248 14246
build-model-states-explored 4568366 14118
build-model-states-explored 4582623 14257
build-model-states-explored 4596777 14154
build-model-states-explored 4610917 14140
build-model-states-explored 4625051 14134
build-model-states-explored 4639217 14166
build-model-states-explored 4653329 14112
build-model-states-explored 4667422 14093
build-model-states-explored 4681272 13850
build-model-states-explored 4695123 13851
build-model-states-explored 4709226 14103
build-model-states-explored 4723000 13774
build-model-states-explored 4736698 13698
build-model-states-explored 4750459 13761
build-model-states-explored 4764596 14137
build-model-states-explored 4778621 14025
build-model-states-explored 4792423 13802
build-model-states-explored 4806207 13784
build-model-states-explored 4820005 13798
build-model-states-explored 4834018 14013
build-model-states-explored 4847857 13839
build-model-states-explored 4861594 13737
build-model-states-explored 4875317 13723
build-model-states-explored 4888923 13606
build-model-states-explored 4902615 13692
build-model-states-explored 4916369 13754
build-model-states-explored 4930431 14062
build-model-states-explored 4944577 14146
build-model-states-explored 4958817 14240
build-model-states-explored 4973059 14242
build-model-states-explored 4987220 14161
build-model-states-explored 5001304 14084
build-model-states-explored 5015457 14153
build-model-states-explored 5029622 14165
build-model-states-explored 5043772 14150
build-model-states-explored 5057452 13680
build-model-states-explored 5071300 13848
build-model-states-explored 5085245 13945
build-model-states-explored 5095082 9837
build-model-states-explored 5105594 10512
build-model-states-explored 5119184 13590
build-model-states-explored 5132980 13796
build-model-states-explored 5147006 14026
build-model-states-explored 5161053 14047
build-model-states-explored 5174776 13723
build-model-states-explored 5188562 13786
build-model-states-explored 5202335 13773
build-model-states-explored 5215952 13617
build-model-states-explored 5229754 13802
build-model-states-explored 5243557 13803
build-model-states-explored 5257633 14076
build-model-states-explored 5271770 14137
build-model-states-explored 5285726 13956
build-model-states-explored 5296791 11065
build-model-states-explored 5310527 13736
build-model-states-explored 5324288 13761
build-model-states-explored 5338042 13754
build-model-states-explored 5351656 13614
build-model-states-explored 5365449 13793
build-model-states-explored 5379233 13784
build-model-states-explored 5393328 14095
build-model-states-explored 5407207 13879
build-model-states-explored 5420837 13630
build-model-states-explored 5434382 13545
build-model-states-explored 5448178 13796
build-model-states-explored 5461782 13604
build-model-states-explored 5475505 13723
build-model-states-explored 5489172 13667
build-model-states-explored 5502651 13479
build-model-states-explored 5516417 13766
build-model-states-explored 5530163 13746
build-model-states-explored 5543774 13611
build-model-states-explored 5557592 13818
build-model-states-explored 5571575 13983
build-model-states-explored 5585670 14095
build-model-states-explored 5599743 14073
build-model-states-explored 5613787 14044
build-model-states-explored 5627821 14034
build-model-states-explored 5641993 14172
build-model-states-explored 5656033 14040
build-model-states-explored 5670176 14143
build-model-states-explored 5684360 14184
build-model-states-explored 5698434 14074
build-model-states-explored 5712389 13955
build-model-states-explored 5726463 14074
build-model-states-explored 5740586 14123
build-model-states-explored 5754634 14048
build-model-states-explored 5768711 14077
build-model-states-explored 5782785 14074
build-model-states-explored 5796745 13960
build-model-states-explored 5810594 13849
build-model-states-explored 5824328 13734
build-model-states-explored 5837940 13612
build-model-states-explored 5851722 13782
build-model-states-explored 5865719 13997
build-model-states-explored 5879708 13989
build-model-states-explored 5893302 13594
build-model-states-explored 5907021 13719
build-model-states-explored 5920792 13771
build-model-states-explored 5934348 13556
build-model-states-explored 5948151 13803
build-model-states-explored 5961931 13780
build-model-states-explored 5976005 14074
build-model-states-explored 5989969 13964
build-model-states-explored 6003937 13968
build-model-states-explored 6017835 13898
build-model-states-explored 6031480 13645
build-model-states-explored 6045173 13693
build-model-states-explored 6058836 13663
build-model-states-explored 6072480 13644
build-model-states-explored 6086216 13736
build-model-states-explored 6100100 13884
build-model-states-explored 6114071 13971
build-model-states-explored 6127801 13730
build-model-states-explored 6141233 13432
build-model-states-explored 6154994 13761
build-model-states-explored 6168603 13609
build-model-states-explored 6182297 13694
build-model-states-explored 6195933 13636
build-model-states-explored 6209450 13517
build-model-states-explored 6222925 13475
build-model-states-explored 6236597 13672
build-model-states-explored 6250417 13820
build-model-states-explored 6263938 13521
build-model-states-explored 6277849 13911
build-model-states-explored 6291901 14052
build-model-states-explored 6305960 14059
build-model-states-explored 6320103 14143
build-model-states-explored 6334174 14071
build-model-states-explored 6348218 14044
build-model-states-explored 6362242 14024
build-model-states-explored 6376233 13991
build-model-states-explored 6390257 14024
build-model-states-explored 6404179 13922
build-model-states-explored 6418059 13880
build-model-states-explored 6431920 13861
build-model-states-explored 6445764 13844
build-model-states-explored 6459317 13553
build-model-states-explored 6472987 13670
build-model-states-explored 6486574 13587
build-model-states-explored 6500154 13580
build-model-states-explored 6513854 13700
build-model-states-explored 6527630 13776
build-model-states-explored 6541556 13926
build-model-states-explored 6555497 13941
build-model-states-explored 6569430 13933
build-model-states-explored 6583137 13707
build-model-states-explored 6596530 13393
build-model-states-explored 6610300 13770
build-model-states-explored 6623852 13552
build-model-states-explored 6637526 13674
build-model-states-explored 6651126 13600
build-model-states-explored 6664543 13417
build-model-states-explored 6677918 13375
build-model-states-explored 6691489 13571
build-model-states-explored 6705261 13772
build-model-states-explored 6718718 13457
build-model-states-explored 6732645 13927
build-model-states-explored 6746628 13983
build-model-states-explored 6760650 14022
build-model-states-explored 6774604 13954
build-model-states-explored 6788433 13829
build-model-states-explored 6802300 13867
build-model-states-explored 6816282 13982
build-model-states-explored 6829973 13691
build-model-states-explored 6843346 13373
build-model-states-explored 6856965 13619
build-model-states-explored 6870589 13624
build-model-states-explored 6884190 13601
build-model-states-explored 6897750 13560
build-model-states-explored 6911189 13439
build-model-states-explored 6924501 13312
build-model-states-explored 6938108 13607
build-model-states-explored 6951813 13705
build-model-states-explored 6965136 13323
build-model-states-explored 6978951 13815
build-model-states-explored 6992996 14045
build-model-states-explored 7006930 13934
build-model-states-explored 7020455 13525
build-model-states-explored 7034044 13589
build-model-states-explored 7047349 13305
build-model-states-explored 7060554 13205
build-model-states-explored 7074037 13483
build-model-states-explored 7087698 13661
build-model-states-explored 7101173 13475
build-model-states-explored 7114456 13283
build-model-states-explored 7128090 13634
build-model-states-explored 7141771 13681
build-model-states-explored 7155034 13263
build-model-states-explored 7168461 13427
build-model-states-explored 7181748 13287
build-model-states-explored 7194827 13079
build-model-states-explored 7201286 6459
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7201286 0
build-model-states-explored 7209667 8381
build-model-states-explored 7223504 13837
build-model-states-explored 7237190 13686
build-model-states-explored 7251066 13876
build-model-states-explored 7264910 13844
build-model-states-explored 7278359 13449
build-model-states-explored 7292235 13876
build-model-states-explored 7306214 13979
build-model-states-explored 7320601 14387
build-model-states-explored 7334891 14290
build-model-states-explored 7349253 14362
build-model-states-explored 7363472 14219
build-model-states-explored 7377725 14253
build-model-states-explored 7391997 14272
build-model-states-explored 7406304 14307
build-model-states-explored 7420570 14266
build-model-states-explored 7434827 14257
build-model-states-explored 7449013 14186
build-model-states-explored 7463118 14105
build-model-states-explored 7477303 14185
build-model-states-explored 7491411 14108
build-model-states-explored 7505621 14210
build-model-states-explored 7519882 14261
build-model-states-explored 7534169 14287
build-model-states-explored 7548385 14216
build-model-states-explored 7562598 14213
build-model-states-explored 7576862 14264
build-model-states-explored 7589921 13059
build-model-states-explored 7604194 14273
build-model-states-explored 7618418 14224
build-model-states-explored 7632562 14144
build-model-states-explored 7646735 14173
build-model-states-explored 7660867 14132
build-model-states-explored 7675123 14256
build-model-states-explored 7689387 14264
build-model-states-explored 7703607 14220
build-model-states-explored 7717746 14139
build-model-states-explored 7731848 14102
build-model-states-explored 7745658 13810
build-model-states-explored 7759918 14260
build-model-states-explored 7774119 14201
build-model-states-explored 7788371 14252
build-model-states-explored 7802551 14180
build-model-states-explored 7816815 14264
build-model-states-explored 7831028 14213
build-model-states-explored 7845199 14171
build-model-states-explored 7854264 9065
build-model-states-explored 7854264 0
build-model-states-explored 7854264 0
build-model-states-explored 7854264 0
build-model-states-explored 7854264 0
build-model-states-explored 7862639 8375
build-model-states-explored 7876704 14065
build-model-states-explored 7890790 14086
build-model-states-explored 7904599 13809
build-model-states-explored 7918663 14064
build-model-states-explored 7932779 14116
build-model-states-explored 7946903 14124
build-model-states-explored 7961023 14120
build-model-states-explored 7975023 14000
build-model-states-explored 7989131 14108
build-model-states-explored 8003277 14146
build-model-states-explored 8017402 14125
build-model-states-explored 8031456 14054
build-model-states-explored 8045576 14120
build-model-states-explored 8059554 13978
build-model-states-explored 8073724 14170
build-model-states-explored 8087806 14082
build-model-states-explored 8101722 13916
build-model-states-explored 8115803 14081
build-model-states-explored 8130088 14285
build-model-states-explored 8144292 14204
build-model-states-explored 8158551 14259
build-model-states-explored 8172791 14240
build-model-states-explored 8186981 14190
build-model-states-explored 8196919 9938
build-model-states-explored 8205926 9007
build-model-states-explored 8219968 14042
build-model-states-explored 8234111 14143
build-model-states-explored 8248253 14142
build-model-states-explored 8262406 14153
build-model-states-explored 8276497 14091
build-model-states-explored 8290583 14086
build-model-states-explored 8304772 14189
build-model-states-explored 8318953 14181
build-model-states-explored 8333056 14103
build-model-states-explored 8347175 14119
build-model-states-explored 8361436 14261
build-model-states-explored 8375559 14123
build-model-states-explored 8389434 13875
build-model-states-explored 8403622 14188
build-model-states-explored 8417717 14095
build-model-states-explored 8431689 13972
build-model-states-explored 8445820 14131
build-model-states-explored 8460011 14191
build-model-states-explored 8474107 14096
build-model-states-explored 8488256 14149
build-model-states-explored 8502374 14118
build-model-states-explored 8516340 13966
build-model-states-explored 8530137 13797
build-model-states-explored 8543861 13724
build-model-states-explored 8557504 13643
build-model-states-explored 8571351 13847
build-model-states-explored 8585385 14034
build-model-states-explored 8599405 14020
build-model-states-explored 8613055 13650
build-model-states-explored 8626829 13774
build-model-states-explored 8640603 13774
build-model-states-explored 8654266 13663
build-model-states-explored 8668085 13819
build-model-states-explored 8681876 13791
build-model-states-explored 8695936 14060
build-model-states-explored 8709902 13966
build-model-states-explored 8723890 13988
build-model-states-explored 8737789 13899
build-model-states-explored 8751482 13693
build-model-states-explored 8765230 13748
build-model-states-explored 8778936 13706
build-model-states-explored 8792645 13709
build-model-states-explored 8806306 13661
build-model-states-explored 8820244 13938
build-model-states-explored 8834186 13942
build-model-states-explored 8847859 13673
build-model-states-explored 8861296 13437
build-model-states-explored 8875157 13861
build-model-states-explored 8888739 13582
build-model-states-explored 8902531 13792
build-model-states-explored 8916234 13703
build-model-states-explored 8929764 13530
build-model-states-explored 8943283 13519
build-model-states-explored 8956943 13660
build-model-states-explored 8970782 13839
build-model-states-explored 8984346 13564
build-model-states-explored 8998348 14002
build-model-states-explored 9012472 14124
build-model-states-explored 9026646 14174
build-model-states-explored 9040820 14174
build-model-states-explored 9055057 14237
build-model-states-explored 9069294 14237
build-model-states-explored 9083429 14135
build-model-states-explored 9097475 14046
build-model-states-explored 9111547 14072
build-model-states-explored 9125464 13917
build-model-states-explored 9139581 14117
build-model-states-explored 9153724 14143
build-model-states-explored 9167935 14211
build-model-states-explored 9182120 14185
build-model-states-explored 9196290 14170
build-model-states-explored 9210330 14040
build-model-states-explored 9224389 14059
build-model-states-explored 9238390 14001
build-model-states-explored 9252447 14057
build-model-states-explored 9266473 14026
build-model-states-explored 9280369 13896
build-model-states-explored 9294380 14011
build-model-states-explored 9308042 13662
build-model-states-explored 9321747 13705
build-model-states-explored 9335477 13730
build-model-states-explored 9349018 13541
build-model-states-explored 9362662 13644
build-model-states-explored 9376375 13713
build-model-states-explored 9390329 13954
build-model-states-explored 9404241 13912
build-model-states-explored 9418324 14083
build-model-states-explored 9432288 13964
build-model-states-explored 9445850 13562
build-model-states-explored 9459399 13549
build-model-states-explored 9473220 13821
build-model-states-explored 9486852 13632
build-model-states-explored 9500549 13697
build-model-states-explored 9514115 13566
build-model-states-explored 9527520 13405
build-model-states-explored 9541196 13676
build-model-states-explored 9554887 13691
build-model-states-explored 9568544 13657
build-model-states-explored 9582360 13816
build-model-states-explored 9596401 14041
build-model-states-explored 9610535 14134
build-model-states-explored 9624610 14075
build-model-states-explored 9638454 13844
build-model-states-explored 9652323 13869
build-model-states-explored 9666277 13954
build-model-states-explored 9680142 13865
build-model-states-explored 9693716 13574
build-model-states-explored 9707218 13502
build-model-states-explored 9720990 13772
build-model-states-explored 9734589 13599
build-model-states-explored 9748354 13765
build-model-states-explored 9761966 13612
build-model-states-explored 9775342 13376
build-model-states-explored 9788968 13626
build-model-states-explored 9802631 13663
build-model-states-explored 9816271 13640
build-model-states-explored 9829976 13705
build-model-states-explored 9843992 14016
build-model-states-explored 9858002 14010
build-model-states-explored 9871844 13842
build-model-states-explored 9885600 13756
build-model-states-explored 9899030 13430
build-model-states-explored 9912393 13363
build-model-states-explored 9925708 13315
build-model-states-explored 9939545 13837
build-model-states-explored 9953035 13490
build-model-states-explored 9966634 13599
build-model-states-explored 9980156 13522
build-model-states-explored 9993886 13730
build-model-states-explored 10007448 13562
build-model-states-explored 10021130 13682
build-model-states-explored 10034514 13384
build-model-states-explored 10047862 13348
build-model-states-explored 10061241 13379
build-model-states-explored 10074855 13614
build-model-states-explored 10088525 13670
build-model-states-explored 10102083 13558
build-model-states-explored 10116010 13927
build-model-states-explored 10129439 13429
build-model-states-explored 10142949 13510
build-model-states-explored 10156814 13865
build-model-states-explored 10170806 13992
build-model-states-explored 10184787 13981
build-model-states-explored 10198835 14048
build-model-states-explored 10212823 13988
build-model-states-explored 10226727 13904
build-model-states-explored 10240753 14026
build-model-states-explored 10254756 14003
build-model-states-explored 10268775 14019
build-model-states-explored 10282677 13902
build-model-states-explored 10296846 14169
build-model-states-explored 10311029 14183
build-model-states-explored 10324897 13868
build-model-states-explored 10338931 14034
build-model-states-explored 10352995 14064
build-model-states-explored 10367124 14129
build-model-states-explored 10381219 14095
build-model-states-explored 10395291 14072
build-model-states-explored 10409260 13969
build-model-states-explored 10423295 14035
build-model-states-explored 10437140 13845
build-model-states-explored 10451238 14098
build-model-states-explored 10465220 13982
build-model-states-explored 10479302 14082
build-model-states-explored 10493274 13972
build-model-states-explored 10507301 14027
build-model-states-explored 10521241 13940
build-model-states-explored 10535294 14053
build-model-states-explored 10549318 14024
build-model-states-explored 10563343 14025
build-model-states-explored 10577277 13934
build-model-states-explored 10591014 13737
build-model-states-explored 10603342 12328
build-model-states-explored 10612639 9297
build-model-states-explored 10626127 13488
build-model-states-explored 10639782 13655
build-model-states-explored 10653214 13432
build-model-states-explored 10666780 13566
build-model-states-explored 10680404 13624
build-model-states-explored 10694347 13943
build-model-states-explored 10708225 13878
build-model-states-explored 10722212 13987
build-model-states-explored 10736033 13821
build-model-states-explored 10749537 13504
build-model-states-explored 10762913 13376
build-model-states-explored 10776593 13680
build-model-states-explored 10790136 13543
build-model-states-explored 10803888 13752
build-model-states-explored 10817475 13587
build-model-states-explored 10830847 13372
build-model-states-explored 10844493 13646
build-model-states-explored 10858129 13636
build-model-states-explored 10871838 13709
build-model-states-explored 10885455 13617
build-model-states-explored 10899349 13894
build-model-states-explored 10913355 14006
build-model-states-explored 10927305 13950
build-model-states-explored 10941175 13870
build-model-states-explored 10955040 13865
build-model-states-explored 10968912 13872
build-model-states-explored 10982785 13873
build-model-states-explored 10996401 13616
build-model-states-explored 11009806 13405
build-model-states-explored 11023499 13693
build-model-states-explored 11036999 13500
build-model-states-explored 11050701 13702
build-model-states-explored 11064265 13564
build-model-states-explored 11077707 13442
build-model-states-explored 11091190 13483
build-model-states-explored 11104785 13595
build-model-states-explored 11118601 13816
build-model-states-explored 11132141 13540
build-model-states-explored 11146052 13911
build-model-states-explored 11160046 13994
build-model-states-explored 11173777 13731
build-model-states-explored 11187453 13676
build-model-states-explored 11200811 13358
build-model-states-explored 11214143 13332
build-model-states-explored 11227442 13299
build-model-states-explored 11241185 13743
build-model-states-explored 11254739 13554
build-model-states-explored 11268394 13655
build-model-states-explored 11281677 13283
build-model-states-explored 11292632 10955
build-model-states-explored 11301853 9221
build-model-states-explored 11314916 13063
build-model-states-explored 11328444 13528
build-model-states-explored 11341788 13344
build-model-states-explored 11355123 13335
build-model-states-explored 11368558 13435
build-model-states-explored 11381306 12748
build-model-states-explored 11394267 12961
build-model-states-explored 11407764 13497
build-model-states-explored 11421648 13884
build-model-states-explored 11435016 13368
build-model-states-explored 11448403 13387
build-model-states-explored 11462265 13862
build-model-states-explored 11476203 13938
build-model-states-explored 11490253 14050
build-model-states-explored 11504249 13996
build-model-states-explored 11518241 13992
build-model-states-explored 11532303 14062
build-model-states-explored 11546402 14099
build-model-states-explored 11560417 14015
build-model-states-explored 11574388 13971
build-model-states-explored 11588430 14042
build-model-states-explored 11602373 13943
build-model-states-explored 11616231 13858
build-model-states-explored 11630195 13964
build-model-states-explored 11644120 13925
build-model-states-explored 11657996 13876
build-model-states-explored 11671933 13937
build-model-states-explored 11685831 13898
build-model-states-explored 11699796 13965
build-model-states-explored 11713651 13855
build-model-states-explored 11727412 13761
build-model-states-explored 11741073 13661
build-model-states-explored 11754931 13858
build-model-states-explored 11768697 13766
build-model-states-explored 11782176 13479
build-model-states-explored 11795537 13361
build-model-states-explored 11809103 13566
build-model-states-explored 11822557 13454
build-model-states-explored 11836265 13708
build-model-states-explored 11849644 13379
build-model-states-explored 11862973 13329
build-model-states-explored 11876411 13438
build-model-states-explored 11889906 13495
build-model-states-explored 11903668 13762
build-model-states-explored 11917172 13504
build-model-states-explored 11931083 13911
build-model-states-explored 11944954 13871
build-model-states-explored 11958816 13862
build-model-states-explored 11972512 13696
build-model-states-explored 11986097 13585
build-model-states-explored 11999717 13620
build-model-states-explored 12013388 13671
build-model-states-explored 12027015 13627
build-model-states-explored 12040038 13023
build-model-states-explored 12053152 13114
build-model-states-explored 12066559 13407
build-model-states-explored 12080273 13714
build-model-states-explored 12093770 13497
build-model-states-explored 12107211 13441
build-model-states-explored 12120729 13518
build-model-states-explored 12134392 13663
build-model-states-explored 12147873 13481
build-model-states-explored 12161421 13548
build-model-states-explored 12174734 13313
build-model-states-explored 12187964 13230
build-model-states-explored 12201416 13452
build-model-states-explored 12215054 13638
build-model-states-explored 12228594 13540
build-model-states-explored 12242193 13599
build-model-states-explored 12255994 13801
build-model-states-explored 12269333 13339
build-model-states-explored 12282872 13539
build-model-states-explored 12296729 13857
build-model-states-explored 12310703 13974
build-model-states-explored 12324549 13846
build-model-states-explored 12338516 13967
build-model-states-explored 12352484 13968
build-model-states-explored 12366389 13905
build-model-states-explored 12380324 13935
build-model-states-explored 12393994 13670
build-model-states-explored 12407752 13758
build-model-states-explored 12421528 13776
build-model-states-explored 12435388 13860
build-model-states-explored 12449341 13953
build-model-states-explored 12463109 13768
build-model-states-explored 12476789 13680
build-model-states-explored 12490134 13345
build-model-states-explored 12503439 13305
build-model-states-explored 12516752 13313
build-model-states-explored 12530383 13631
build-model-states-explored 12543845 13462
build-model-states-explored 12557460 13615
build-model-states-explored 12570709 13249
build-model-states-explored 12584439 13730
build-model-states-explored 12597955 13516
build-model-states-explored 12611366 13411
build-model-states-explored 12624580 13214
build-model-states-explored 12637991 13411
build-model-states-explored 12651091 13100
build-model-states-explored 12664543 13452
build-model-states-explored 12678053 13510
build-model-states-explored 12691402 13349
build-model-states-explored 12705165 13763
build-model-states-explored 12718757 13592
build-model-states-explored 12731976 13219
build-model-states-explored 12745698 13722
build-model-states-explored 12759450 13752
build-model-states-explored 12773528 14078
build-model-states-explored 12787443 13915
build-model-states-explored 12801282 13839
build-model-states-explored 12815114 13832
build-model-states-explored 12828471 13357
build-model-states-explored 12842032 13561
build-model-states-explored 12855511 13479
build-model-states-explored 12868604 13093
build-model-states-explored 12881823 13219
build-model-states-explored 12894967 13144
build-model-states-explored 12908145 13178
build-model-states-explored 12921351 13206
build-model-states-explored 12934838 13487
build-model-states-explored 12948514 13676
build-model-states-explored 12962002 13488
build-model-states-explored 12975266 13264
build-model-states-explored 12989000 13734
build-model-states-explored 13002259 13259
build-model-states-explored 13015344 13085
build-model-states-explored 13029012 13668
build-model-states-explored 13042728 13716
build-model-states-explored 13056254 13526
build-model-states-explored 13069408 13154
build-model-states-explored 13082624 13216
build-model-states-explored 13096105 13481
build-model-states-explored 13109361 13256
build-model-states-explored 13122417 13056
build-model-states-explored 13135901 13484
build-model-states-explored 13149006 13105
build-model-states-explored 13161860 12854
build-model-states-explored 13175288 13428
build-model-states-explored 13188669 13381
build-model-states-explored 13202220 13551
build-model-states-explored 13215691 13471
build-model-states-explored 13228997 13306
build-model-states-explored 13242141 13144
build-model-states-explored 13255948 13807
build-model-states-explored 13269707 13759
build-model-states-explored 13283296 13589
build-model-states-explored 13296523 13227
build-model-states-explored 13309479 12956
build-model-states-explored 13322713 13234
build-model-states-explored 13336372 13659
build-model-states-explored 13350171 13799
build-model-states-explored 13363899 13728
build-model-states-explored 13378093 14194
build-model-states-explored 13392408 14315
build-model-states-explored 13406564 14156
build-model-states-explored 13420783 14219
build-model-states-explored 13434993 14210
build-model-states-explored 13449122 14129
build-model-states-explored 13463223 14101
build-model-states-explored 13477254 14031
build-model-states-explored 13491398 14144
build-model-states-explored 13505526 14128
build-model-states-explored 13519640 14114
build-model-states-explored 13533762 14122
build-model-states-explored 13547848 14086
build-model-states-explored 13561907 14059
build-model-states-explored 13575982 14075
build-model-states-explored 13590014 14032
build-model-states-explored 13604007 13993
build-model-states-explored 13617874 13867
build-model-states-explored 13631632 13758
build-model-states-explored 13645635 14003
build-model-states-explored 13659716 14081
build-model-states-explored 13673406 13690
build-model-states-explored 13687359 13953
build-model-states-explored 13701110 13751
build-model-states-explored 13715221 14111
build-model-states-explored 13729319 14098
build-model-states-explored 13743400 14081
build-model-states-explored 13757482 14082
build-model-states-explored 13771507 14025
build-model-states-explored 13785525 14018
build-model-states-explored 13799438 13913
build-model-states-explored 13813469 14031
build-model-states-explored 13827510 14041
build-model-states-explored 13841589 14079
build-model-states-explored 13855524 13935
build-model-states-explored 13869497 13973
build-model-states-explored 13883520 14023
build-model-states-explored 13897608 14088
build-model-states-explored 13911579 13971
build-model-states-explored 13925453 13874
build-model-states-explored 13939338 13885
build-model-states-explored 13953418 14080
build-model-states-explored 13967337 13919
build-model-states-explored 13981142 13805
build-model-states-explored 13995223 14081
build-model-states-explored 14009248 14025
build-model-states-explored 14023350 14102
build-model-states-explored 14037432 14082
build-model-states-explored 14051526 14094
build-model-states-explored 14065559 14033
build-model-states-explored 14079511 13952
build-model-states-explored 14093425 13914
build-model-states-explored 14107273 13848
build-model-states-explored 14121183 13910
build-model-states-explored 14134485 13302
build-model-states-explored 14148195 13710
build-model-states-explored 14162269 14074
build-model-states-explored 14176357 14088
build-model-states-explored 14190324 13967
build-model-states-explored 14204318 13994
build-model-states-explored 14218440 14122
build-model-states-explored 14232429 13989
build-model-states-explored 14246471 14042
build-model-states-explored 14260586 14115
build-model-states-explored 14274655 14069
build-model-states-explored 14288639 13984
build-model-states-explored 14302658 14019
build-model-states-explored 14316646 13988
build-model-states-explored 14330526 13880
build-model-states-explored 14344309 13783
build-model-states-explored 14358279 13970
build-model-states-explored 14372140 13861
build-model-states-explored 14386022 13882
build-model-states-explored 14399898 13876
build-model-states-explored 14413276 13378
build-model-states-explored 14419299 6023
build-model-states-explored 14430355 11056
build-model-states-explored 14443980 13625
build-model-states-explored 14457995 14015
build-model-states-explored 14464433 6438
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14464433 0
build-model-states-explored 14476017 11584
build-model-states-explored 14490057 14040
build-model-states-explored 14504263 14206
build-model-states-explored 14518319 14056
build-model-states-explored 14532349 14030
build-model-states-explored 14546343 13994
build-model-states-explored 14560178 13835
build-model-states-explored 14574311 14133
build-model-states-explored 14588475 14164
build-model-states-explored 14602581 14106
build-model-states-explored 14616698 14117
build-model-states-explored 14630782 14084
build-model-states-explored 14644736 13954
build-model-states-explored 14658744 14008
build-model-states-explored 14672864 14120
build-model-states-explored 14686855 13991
build-model-states-explored 14700568 13713
build-model-states-explored 14714696 14128
build-model-states-explored 14728817 14121
build-model-states-explored 14742917 14100
build-model-states-explored 14756880 13963
build-model-states-explored 14770806 13926
build-model-states-explored 14784540 13734
build-model-states-explored 14798439 13899
build-model-states-explored 14812710 14271
build-model-states-explored 14826959 14249
build-model-states-explored 14841187 14228
build-model-states-explored 14855341 14154
build-model-states-explored 14869529 14188
build-model-states-explored 14883779 14250
build-model-states-explored 14897971 14192
build-model-states-explored 14912184 14213
build-model-states-explored 14926392 14208
build-model-states-explored 14940401 14009
build-model-states-explored 14954395 13994
build-model-states-explored 14968633 14238
build-model-states-explored 14982746 14113
build-model-states-explored 14996416 13670
build-model-states-explored 15010438 14022
build-model-states-explored 15024525 14087
build-model-states-explored 15038572 14047
build-model-states-explored 15052744 14172
build-model-states-explored 15066787 14043
build-model-states-explored 15080771 13984
build-model-states-explored 15094740 13969
build-model-states-explored 15108643 13903
build-model-states-explored 15122707 14064
build-model-states-explored 15136849 14142
build-model-states-explored 15150936 14087
build-model-states-explored 15164933 13997
build-model-states-explored 15179035 14102
build-model-states-explored 15193046 14011
build-model-states-explored 15207064 14018
build-model-states-explored 15221021 13957
build-model-states-explored 15235196 14175
build-model-states-explored 15249388 14192
build-model-states-explored 15263367 13979
build-model-states-explored 15277467 14100
build-model-states-explored 15291673 14206
build-model-states-explored 15305895 14222
build-model-states-explored 15320088 14193
build-model-states-explored 15334215 14127
build-model-states-explored 15348251 14036
build-model-states-explored 15362216 13965
build-model-states-explored 15376154 13938
build-model-states-explored 15390259 14105
build-model-states-explored 15404340 14081
build-model-states-explored 15418487 14147
build-model-states-explored 15432560 14073
build-model-states-explored 15446633 14073
build-model-states-explored 15460627 13994
build-model-states-explored 15474677 14050
build-model-states-explored 15488719 14042
build-model-states-explored 15502755 14036
build-model-states-explored 15516650 13895
build-model-states-explored 15530413 13763
build-model-states-explored 15544234 13821
build-model-states-explored 15557663 13429
build-model-states-explored 15571261 13598
build-model-states-explored 15584876 13615
build-model-states-explored 15598379 13503
build-model-states-explored 15612110 13731
build-model-states-explored 15625827 13717
build-model-states-explored 15639755 13928
build-model-states-explored 15653675 13920
build-model-states-explored 15667678 14003
build-model-states-explored 15681389 13711
build-model-states-explored 15694749 13360
build-model-states-explored 15708418 13669
build-model-states-explored 15722065 13647
build-model-states-explored 15731662 9597
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15731662 0
build-model-states-explored 15742912 11250
build-model-states-explored 15756475 13563
build-model-states-explored 15769823 13348
build-model-states-explored 15783428 13605
build-model-states-explored 15797020 13592
build-model-states-explored 15810671 13651
build-model-states-explored 15824356 13685
build-model-states-explored 15838229 13873
build-model-states-explored 15852256 14027
build-model-states-explored 15866224 13968
build-model-states-explored 15880098 13874
build-model-states-explored 15893912 13814
build-model-states-explored 15907815 13903
build-model-states-explored 15921600 13785
build-model-states-explored 15935129 13529
build-model-states-explored 15948463 13334
build-model-states-explored 15962098 13635
build-model-states-explored 15975527 13429
build-model-states-explored 15989235 13708
build-model-states-explored 16002772 13537
build-model-states-explored 16016156 13384
build-model-states-explored 16029633 13477
build-model-states-explored 16043221 13588
build-model-states-explored 16056909 13688
build-model-states-explored 16070417 13508
build-model-states-explored 16084317 13900
build-model-states-explored 16098244 13927
build-model-states-explored 16111974 13730
build-model-states-explored 16125707 13733
build-model-states-explored 16139021 13314
build-model-states-explored 16152328 13307
build-model-states-explored 16165606 13278
build-model-states-explored 16179326 13720
build-model-states-explored 16192792 13466
build-model-states-explored 16206422 13630
build-model-states-explored 16219714 13292
build-model-states-explored 16233441 13727
build-model-states-explored 16246860 13419
build-model-states-explored 16260468 13608
build-model-states-explored 16273782 13314
build-model-states-explored 16287284 13502
build-model-states-explored 16300464 13180
build-model-states-explored 16314032 13568
build-model-states-explored 16327701 13669
build-model-states-explored 16341089 13388
build-model-states-explored 16354885 13796
build-model-states-explored 16368453 13568
build-model-states-explored 16381670 13217
build-model-states-explored 16395508 13838
build-model-states-explored 16409300 13792
build-model-states-explored 16423420 14120
build-model-states-explored 16437474 14054
build-model-states-explored 16451427 13953
build-model-states-explored 16465467 14040
build-model-states-explored 16479435 13968
build-model-states-explored 16493552 14117
build-model-states-explored 16507648 14096
build-model-states-explored 16521754 14106
build-model-states-explored 16535847 14093
build-model-states-explored 16550003 14156
build-model-states-explored 16564132 14129
build-model-states-explored 16578238 14106
build-model-states-explored 16592195 13957
build-model-states-explored 16606209 14014
build-model-states-explored 16620146 13937
build-model-states-explored 16633946 13800
build-model-states-explored 16647781 13835
build-model-states-explored 16661888 14107
build-model-states-explored 16675930 14042
build-model-states-explored 16689919 13989
build-model-states-explored 16703971 14052
build-model-states-explored 16718098 14127
build-model-states-explored 16732226 14128
build-model-states-explored 16746254 14028
build-model-states-explored 16760276 14022
build-model-states-explored 16774331 14055
build-model-states-explored 16787574 13243
build-model-states-explored 16801504 13930
build-model-states-explored 16815491 13987
build-model-states-explored 16829398 13907
build-model-states-explored 16843316 13918
build-model-states-explored 16857271 13955
build-model-states-explored 16871219 13948
build-model-states-explored 16885192 13973
build-model-states-explored 16899050 13858
build-model-states-explored 16912712 13662
build-model-states-explored 16926417 13705
build-model-states-explored 16940203 13786
build-model-states-explored 16953909 13706
build-model-states-explored 16967289 13380
build-model-states-explored 16980612 13323
build-model-states-explored 16994176 13564
build-model-states-explored 17007665 13489
build-model-states-explored 17021294 13629
build-model-states-explored 17034702 13408
build-model-states-explored 17047956 13254
build-model-states-explored 17061428 13472
build-model-states-explored 17074916 13488
build-model-states-explored 17088610 13694
build-model-states-explored 17102129 13519
build-model-states-explored 17116000 13871
build-model-states-explored 17128128 12128
build-model-states-explored 17142054 13926
build-model-states-explored 17155756 13702
build-model-states-explored 17169759 14003
build-model-states-explored 17183659 13900
build-model-states-explored 17197379 13720
build-model-states-explored 17210946 13567
build-model-states-explored 17224159 13213
build-model-states-explored 17237435 13276
build-model-states-explored 17250830 13395
build-model-states-explored 17264582 13752
build-model-states-explored 17278058 13476
build-model-states-explored 17291466 13408
build-model-states-explored 17304967 13501
build-model-states-explored 17318591 13624
build-model-states-explored 17332021 13430
build-model-states-explored 17345556 13535
build-model-states-explored 17358841 13285
build-model-states-explored 17372035 13194
build-model-states-explored 17385160 13125
build-model-states-explored 17398731 13571
build-model-states-explored 17412275 13544
build-model-states-explored 17425847 13572
build-model-states-explored 17439632 13785
build-model-states-explored 17452857 13225
build-model-states-explored 17466378 13521
build-model-states-explored 17480145 13767
build-model-states-explored 17494021 13876
build-model-states-explored 17507902 13881
build-model-states-explored 17521856 13954
build-model-states-explored 17535837 13981
build-model-states-explored 17549758 13921
build-model-states-explored 17563680 13922
build-model-states-explored 17577314 13634
build-model-states-explored 17591024 13710
build-model-states-explored 17604755 13731
build-model-states-explored 17618568 13813
build-model-states-explored 17632416 13848
build-model-states-explored 17646210 13794
build-model-states-explored 17659839 13629
build-model-states-explored 17673181 13342
build-model-states-explored 17686451 13270
build-model-states-explored 17699614 13163
build-model-states-explored 17713101 13487
build-model-states-explored 17726585 13484
build-model-states-explored 17740133 13548
build-model-states-explored 17753263 13130
build-model-states-explored 17766862 13599
build-model-states-explored 17780445 13583
build-model-states-explored 17793902 13457
build-model-states-explored 17807217 13315
build-model-states-explored 17820640 13423
build-model-states-explored 17833631 12991
build-model-states-explored 17847058 13427
build-model-states-explored 17860539 13481
build-model-states-explored 17873934 13395
build-model-states-explored 17887632 13698
build-model-states-explored 17901234 13602
build-model-states-explored 17908433 7199
build-model-states-explored 17916136 7703
build-model-states-explored 17929442 13306
build-model-states-explored 17943170 13728
build-model-states-explored 17957122 13952
build-model-states-explored 17970926 13804
build-model-states-explored 17984631 13705
build-model-states-explored 17998436 13805
build-model-states-explored 18011795 13359
build-model-states-explored 18025323 13528
build-model-states-explored 18038729 13406
build-model-states-explored 18051840 13111
build-model-states-explored 18065014 13174
build-model-states-explored 18078121 13107
build-model-states-explored 18091221 13100
build-model-states-explored 18104211 12990
build-model-states-explored 18117674 13463
build-model-states-explored 18131351 13677
build-model-states-explored 18144835 13484
build-model-states-explored 18157973 13138
build-model-states-explored 18171632 13659
build-model-states-explored 18184985 13353
build-model-states-explored 18197994 13009
build-model-states-explored 18211668 13674
build-model-states-explored 18225094 13426
build-model-states-explored 18237015 11921
build-model-states-explored 18250382 13367
build-model-states-explored 18263670 13288
build-model-states-explored 18277227 13557
build-model-states-explored 18290684 13457
build-model-states-explored 18303698 13014
build-model-states-explored 18317128 13430
build-model-states-explored 18330425 13297
build-model-states-explored 18343298 12873
build-model-states-explored 18356748 13450
build-model-states-explored 18369972 13224
build-model-states-explored 18383451 13479
build-model-states-explored 18397006 13555
build-model-states-explored 18410500 13494
build-model-states-explored 18423740 13240
build-model-states-explored 18437468 13728
build-model-states-explored 18451272 13804
build-model-states-explored 18465062 13790
build-model-states-explored 18478383 13321
build-model-states-explored 18491592 13209
build-model-states-explored 18504756 13164
build-model-states-explored 18518450 13694
build-model-states-explored 18532321 13871
build-model-states-explored 18545961 13640
build-model-states-explored 18559909 13948
build-model-states-explored 18573948 14039
build-model-states-explored 18587754 13806
build-model-states-explored 18601800 14046
build-model-states-explored 18615721 13921
build-model-states-explored 18629627 13906
build-model-states-explored 18643478 13851
build-model-states-explored 18657235 13757
build-model-states-explored 18671131 13896
build-model-states-explored 18685040 13909
build-model-states-explored 18699089 14049
build-model-states-explored 18712854 13765
build-model-states-explored 18726713 13859
build-model-states-explored 18740578 13865
build-model-states-explored 18754200 13622
build-model-states-explored 18768220 14020
build-model-states-explored 18782219 13999
build-model-states-explored 18796324 14105
build-model-states-explored 18810366 14042
build-model-states-explored 18824105 13739
build-model-states-explored 18837848 13743
build-model-states-explored 18851897 14049
build-model-states-explored 18865889 13992
build-model-states-explored 18880024 14135
build-model-states-explored 18894016 13992
build-model-states-explored 18908119 14103
build-model-states-explored 18922068 13949
build-model-states-explored 18936159 14091
build-model-states-explored 18950190 14031
build-model-states-explored 18964170 13980
build-model-states-explored 18978050 13880
build-model-states-explored 18991969 13919
build-model-states-explored 19005644 13675
build-model-states-explored 19019410 13766
build-model-states-explored 19033128 13718
build-model-states-explored 19047133 14005
build-model-states-explored 19061070 13937
build-model-states-explored 19074927 13857
build-model-states-explored 19088799 13872
build-model-states-explored 19102791 13992
build-model-states-explored 19116843 14052
build-model-states-explored 19130793 13950
build-model-states-explored 19144725 13932
build-model-states-explored 19158727 14002
build-model-states-explored 19172598 13871
build-model-states-explored 19186355 13757
build-model-states-explored 19200243 13888
build-model-states-explored 19214139 13896
build-model-states-explored 19227933 13794
build-model-states-explored 19241841 13908
build-model-states-explored 19255701 13860
build-model-states-explored 19269632 13931
build-model-states-explored 19283461 13829
build-model-states-explored 19297105 13644
build-model-states-explored 19310596 13491
build-model-states-explored 19324275 13679
build-model-states-explored 19337872 13597
build-model-states-explored 19351133 13261
build-model-states-explored 19364349 13216
build-model-states-explored 19377794 13445
build-model-states-explored 19391208 13414
build-model-states-explored 19404809 13601
build-model-states-explored 19418078 13269
build-model-states-explored 19431412 13334
build-model-states-explored 19444787 13375
build-model-states-explored 19458150 13363
build-model-states-explored 19471872 13722
build-model-states-explored 19485221 13349
build-model-states-explored 19499079 13858
build-model-states-explored 19512874 13795
build-model-states-explored 19526680 13806
build-model-states-explored 19540315 13635
build-model-states-explored 19554305 13990
build-model-states-explored 19568195 13890
build-model-states-explored 19581828 13633
build-model-states-explored 19595322 13494
build-model-states-explored 19608458 13136
build-model-states-explored 19621678 13220
build-model-states-explored 19634966 13288
build-model-states-explored 19648636 13670
build-model-states-explored 19662100 13464
build-model-states-explored 19675595 13495
build-model-states-explored 19689043 13448
build-model-states-explored 19702653 13610
build-model-states-explored 19716083 13430
build-model-states-explored 19729499 13416
build-model-states-explored 19742737 13238
build-model-states-explored 19755987 13250
build-model-states-explored 19769263 13276
build-model-states-explored 19782781 13518
build-model-states-explored 19796289 13508
build-model-states-explored 19809766 13477
build-model-states-explored 19823466 13700
build-model-states-explored 19836851 13385
build-model-states-explored 19850233 13382
build-model-states-explored 19864025 13792
build-model-states-explored 19877882 13857
build-model-states-explored 19891596 13714
build-model-states-explored 19905437 13841
build-model-states-explored 19919346 13909
build-model-states-explored 19933121 13775
build-model-states-explored 19946976 13855
build-model-states-explored 19960543 13567
build-model-states-explored 19974238 13695
build-model-states-explored 19987907 13669
build-model-states-explored 20001607 13700
build-model-states-explored 20015472 13865
build-model-states-explored 20029282 13810
build-model-states-explored 20042727 13445
build-model-states-explored 20056118 13391
build-model-states-explored 20069291 13173
build-model-states-explored 20082501 13210
build-model-states-explored 20095968 13467
build-model-states-explored 20109567 13599
build-model-states-explored 20123044 13477
build-model-states-explored 20136273 13229
build-model-states-explored 20149793 13520
build-model-states-explored 20163329 13536
build-model-states-explored 20176478 13149
build-model-states-explored 20189781 13303
build-model-states-explored 20203071 13290
build-model-states-explored 20216197 13126
build-model-states-explored 20229635 13438
build-model-states-explored 20243151 13516
build-model-states-explored 20256605 13454
build-model-states-explored 20270161 13556
build-model-states-explored 20283803 13642
build-model-states-explored 20297045 13242
build-model-states-explored 20310473 13428
build-model-states-explored 20324245 13772
build-model-states-explored 20338191 13946
build-model-states-explored 20352150 13959
build-model-states-explored 20366006 13856
build-model-states-explored 20379865 13859
build-model-states-explored 20393234 13369
build-model-states-explored 20406722 13488
build-model-states-explored 20420243 13521
build-model-states-explored 20433225 12982
build-model-states-explored 20446269 13044
build-model-states-explored 20459194 12925
build-model-states-explored 20472523 13329
build-model-states-explored 20485526 13003
build-model-states-explored 20499007 13481
build-model-states-explored 20512781 13774
build-model-states-explored 20526323 13542
build-model-states-explored 20539466 13143
build-model-states-explored 20552987 13521
build-model-states-explored 20566427 13440
build-model-states-explored 20579307 12880
build-model-states-explored 20592767 13460
build-model-states-explored 20606369 13602
build-model-states-explored 20620027 13658
build-model-states-explored 20633311 13284
build-model-states-explored 20646503 13192
build-model-states-explored 20660086 13583
build-model-states-explored 20673259 13173
build-model-states-explored 20686218 12959
build-model-states-explored 20699560 13342
build-model-states-explored 20712835 13275
build-model-states-explored 20725586 12751
build-model-states-explored 20738884 13298
build-model-states-explored 20752326 13442
build-model-states-explored 20765886 13560
build-model-states-explored 20779374 13488
build-model-states-explored 20792901 13527
build-model-states-explored 20806057 13156
build-model-states-explored 20819563 13506
build-model-states-explored 20833368 13805
build-model-states-explored 20847156 13788
build-model-states-explored 20860425 13269
build-model-states-explored 20873683 13258
build-model-states-explored 20886681 12998
build-model-states-explored 20900394 13713
build-model-states-explored 20914246 13852
build-model-states-explored 20928003 13757
build-model-states-explored 20941849 13846
build-model-states-explored 20955838 13989
build-model-states-explored 20969646 13808
build-model-states-explored 20983540 13894
build-model-states-explored 20997368 13828
build-model-states-explored 21011137 13769
build-model-states-explored 21016051 4914
build-model-states-explored 21020595 4544
build-model-states-explored 21028235 7640
build-model-states-explored 21039426 11191
build-model-states-explored 21053430 14004
build-model-states-explored 21067481 14051
build-model-states-explored 21081462 13981
build-model-states-explored 21095382 13920
build-model-states-explored 21109218 13836
build-model-states-explored 21123176 13958
build-model-states-explored 21137170 13994
build-model-states-explored 21151064 13894
build-model-states-explored 21165066 14002
build-model-states-explored 21178645 13579
build-model-states-explored 21192452 13807
build-model-states-explored 21206314 13862
build-model-states-explored 21220184 13870
build-model-states-explored 21234018 13834
build-model-states-explored 21242152 8134
build-model-states-explored 21242152 0
build-model-states-explored 21250242 8090
build-model-states-explored 21262492 12250
build-model-states-explored 21276222 13730
build-model-states-explored 21290108 13886
build-model-states-explored 21303951 13843
build-model-states-explored 21317751 13800
build-model-states-explored 21331451 13700
build-model-states-explored 21345257 13806
build-model-states-explored 21358978 13721
build-model-states-explored 21372598 13620
build-model-states-explored 21386263 13665
build-model-states-explored 21399648 13385
build-model-states-explored 21413264 13616
build-model-states-explored 21426725 13461
build-model-states-explored 21440554 13829
build-model-states-explored 21454219 13665
build-model-states-explored 21467814 13595
build-model-states-explored 21481209 13395
build-model-states-explored 21494243 13034
build-model-states-explored 21507376 13133
build-model-states-explored 21520575 13199
build-model-states-explored 21534040 13465
build-model-states-explored 21547337 13297
build-model-states-explored 21560897 13560
build-model-states-explored 21574026 13129
build-model-states-explored 21587669 13643
build-model-states-explored 21601000 13331
build-model-states-explored 21614172 13172
build-model-states-explored 21627258 13086
build-model-states-explored 21640621 13363
build-model-states-explored 21653603 12982
build-model-states-explored 21667096 13493
build-model-states-explored 21680448 13352
build-model-states-explored 21693731 13283
build-model-states-explored 21707428 13697
build-model-states-explored 21720991 13563
build-model-states-explored 21734065 13074
build-model-states-explored 21747669 13604
build-model-states-explored 21761419 13750
build-model-states-explored 21775274 13855
build-model-states-explored 21788955 13681
build-model-states-explored 21802742 13787
build-model-states-explored 21816481 13739
build-model-states-explored 21830080 13599
build-model-states-explored 21843711 13631
build-model-states-explored 21857744 14033
build-model-states-explored 21871629 13885
build-model-states-explored 21885415 13786
build-model-states-explored 21899295 13880
build-model-states-explored 21912708 13413
build-model-states-explored 21926224 13516
build-model-states-explored 21939732 13508
build-model-states-explored 21952739 13007
build-model-states-explored 21965847 13108
build-model-states-explored 21978807 12960
build-model-states-explored 21992094 13287
build-model-states-explored 22005115 13021
build-model-states-explored 22018558 13443
build-model-states-explored 22032260 13702
build-model-states-explored 22045746 13486
build-model-states-explored 22058901 13155
build-model-states-explored 22072496 13595
build-model-states-explored 22085969 13473
build-model-states-explored 22098879 12910
build-model-states-explored 22112369 13490
build-model-states-explored 22125917 13548
build-model-states-explored 22139502 13585
build-model-states-explored 22152820 13318
build-model-states-explored 22165974 13154
build-model-states-explored 22179467 13493
build-model-states-explored 22192734 13267
build-model-states-explored 22205691 12957
build-model-states-explored 22219067 13376
build-model-states-explored 22232362 13295
build-model-states-explored 22245095 12733
build-model-states-explored 22258350 13255
build-model-states-explored 22271773 13423
build-model-states-explored 22285259 13486
build-model-states-explored 22298673 13414
build-model-states-explored 22312154 13481
build-model-states-explored 22325343 13189
build-model-states-explored 22338880 13537
build-model-states-explored 22352716 13836
build-model-states-explored 22366543 13827
build-model-states-explored 22379822 13279
build-model-states-explored 22393049 13227
build-model-states-explored 22406045 12996
build-model-states-explored 22419679 13634
build-model-states-explored 22433487 13808
build-model-states-explored 22447225 13738
build-model-states-explored 22461127 13902
build-model-states-explored 22475003 13876
build-model-states-explored 22488575 13572
build-model-states-explored 22502436 13861
build-model-states-explored 22516178 13742
build-model-states-explored 22530061 13883
build-model-states-explored 22543819 13758
build-model-states-explored 22557508 13689
build-model-states-explored 22571308 13800
build-model-states-explored 22585144 13836
build-model-states-explored 22598755 13611
build-model-states-explored 22612239 13484
build-model-states-explored 22625846 13607
build-model-states-explored 22639495 13649
build-model-states-explored 22653104 13609
build-model-states-explored 22666599 13495
build-model-states-explored 22680054 13455
build-model-states-explored 22694053 13999
build-model-states-explored 22707780 13727
build-model-states-explored 22721510 13730
build-model-states-explored 22735317 13807
build-model-states-explored 22748579 13262
build-model-states-explored 22762023 13444
build-model-states-explored 22775454 13431
build-model-states-explored 22788429 12975
build-model-states-explored 22801386 12957
build-model-states-explored 22814332 12946
build-model-states-explored 22827570 13238
build-model-states-explored 22840547 12977
build-model-states-explored 22853885 13338
build-model-states-explored 22867514 13629
build-model-states-explored 22880908 13394
build-model-states-explored 22894032 13124
build-model-states-explored 22907568 13536
build-model-states-explored 22920942 13374
build-model-states-explored 22933753 12811
build-model-states-explored 22947121 13368
build-model-states-explored 22960641 13520
build-model-states-explored 22974140 13499
build-model-states-explored 22987456 13316
build-model-states-explored 23000398 12942


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