epmc

Benchmark
Model:rabin v.1 (MDP)
Parameter(s)N = 10
Property:live (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files rabin.10.prism --property-input-files rabin.10.props --property-input-names live --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
start-parsing
done-parsing
model-checking
analysing-property live
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 4502 4502
build-model-states-explored 14027 9525
build-model-states-explored 23688 9661
build-model-states-explored 33473 9785
build-model-states-explored 42182 8709
build-model-states-explored 52288 10106
build-model-states-explored 62721 10433
build-model-states-explored 73119 10398
build-model-states-explored 83255 10136
build-model-states-explored 89616 6361
build-model-states-explored 99724 10108
build-model-states-explored 109810 10086
build-model-states-explored 119791 9981
build-model-states-explored 129820 10029
build-model-states-explored 140593 10773
build-model-states-explored 151631 11038
build-model-states-explored 162153 10522
build-model-states-explored 168500 6347
build-model-states-explored 175030 6529
build-model-states-explored 185111 10082
build-model-states-explored 196060 10949
build-model-states-explored 206700 10640
build-model-states-explored 216878 10178
build-model-states-explored 226734 9856
build-model-states-explored 237492 10758
build-model-states-explored 247710 10218
build-model-states-explored 257960 10250
build-model-states-explored 265704 7744
build-model-states-explored 276175 10471
build-model-states-explored 286746 10571
build-model-states-explored 297569 10823
build-model-states-explored 308293 10724
build-model-states-explored 319133 10840
build-model-states-explored 329910 10777
build-model-states-explored 340661 10751
build-model-states-explored 341938 1277
build-model-states-explored 346719 4781
build-model-states-explored 357535 10816
build-model-states-explored 368242 10707
build-model-states-explored 378988 10746
build-model-states-explored 389626 10638
build-model-states-explored 400317 10691
build-model-states-explored 411042 10725
build-model-states-explored 422509 11467
build-model-states-explored 433508 10999
build-model-states-explored 444427 10919
build-model-states-explored 454609 10182
build-model-states-explored 465457 10848
build-model-states-explored 476501 11044
build-model-states-explored 487370 10869
build-model-states-explored 498227 10857
build-model-states-explored 509118 10891
build-model-states-explored 520125 11007
build-model-states-explored 525770 5645
build-model-states-explored 536601 10831
build-model-states-explored 547473 10872
build-model-states-explored 558281 10808
build-model-states-explored 569113 10832
build-model-states-explored 579870 10757
build-model-states-explored 590596 10726
build-model-states-explored 601458 10862
build-model-states-explored 612438 10980
build-model-states-explored 623737 11299
build-model-states-explored 634723 10986
build-model-states-explored 645790 11067
build-model-states-explored 656864 11074
build-model-states-explored 668150 11286
build-model-states-explored 679388 11238
build-model-states-explored 690175 10787
build-model-states-explored 700943 10768
build-model-states-explored 711648 10705
build-model-states-explored 722398 10750
build-model-states-explored 726429 4031
build-model-states-explored 726429 0
build-model-states-explored 726429 0
build-model-states-explored 734885 8455
build-model-states-explored 745944 11060
build-model-states-explored 757048 11103
build-model-states-explored 768144 11097
build-model-states-explored 778958 10814
build-model-states-explored 789813 10855
build-model-states-explored 800766 10953
build-model-states-explored 811875 11109
build-model-states-explored 822794 10919
build-model-states-explored 834035 11241
build-model-states-explored 845225 11190
build-model-states-explored 856173 10948
build-model-states-explored 866580 10407
build-model-states-explored 877273 10693
build-model-states-explored 888554 11281
build-model-states-explored 899342 10787
build-model-states-explored 909707 10366
build-model-states-explored 918781 9074
build-model-states-explored 929881 11100
build-model-states-explored 940669 10788
build-model-states-explored 951264 10595
build-model-states-explored 961556 10292
build-model-states-explored 972575 11018
build-model-states-explored 983284 10709
build-model-states-explored 993911 10626
build-model-states-explored 1004137 10227
build-model-states-explored 1014958 10821
build-model-states-explored 1025660 10702
build-model-states-explored 1036408 10748
build-model-states-explored 1046584 10176
build-model-states-explored 1057256 10672
build-model-states-explored 1067938 10682
build-model-states-explored 1078765 10827
build-model-states-explored 1084272 5507
build-model-states-explored 1088262 3990
build-model-states-explored 1098807 10545
build-model-states-explored 1109587 10780
build-model-states-explored 1120342 10754
build-model-states-explored 1130865 10523
build-model-states-explored 1141106 10241
build-model-states-explored 1152166 11060
build-model-states-explored 1162926 10760
build-model-states-explored 1173359 10433
build-model-states-explored 1183392 10033
build-model-states-explored 1194595 11203
build-model-states-explored 1205305 10710
build-model-states-explored 1215766 10461
build-model-states-explored 1226240 10474
build-model-states-explored 1237523 11282
build-model-states-explored 1248786 11264
build-model-states-explored 1260017 11231
build-model-states-explored 1271283 11266
build-model-states-explored 1282548 11265
build-model-states-explored 1293750 11202
build-model-states-explored 1304978 11228
build-model-states-explored 1316269 11291
build-model-states-explored 1327759 11490
build-model-states-explored 1339089 11330
build-model-states-explored 1350185 11096
build-model-states-explored 1361763 11578
build-model-states-explored 1373250 11487
build-model-states-explored 1384650 11399
build-model-states-explored 1396231 11582
build-model-states-explored 1408312 12081
build-model-states-explored 1419863 11551
build-model-states-explored 1431075 11212
build-model-states-explored 1442283 11208
build-model-states-explored 1453519 11236
build-model-states-explored 1464766 11247
build-model-states-explored 1476307 11541
build-model-states-explored 1487491 11184
build-model-states-explored 1498971 11480
build-model-states-explored 1506619 7648
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1506619 0
build-model-states-explored 1513794 7175
build-model-states-explored 1525688 11894
build-model-states-explored 1536950 11262
build-model-states-explored 1548172 11222
build-model-states-explored 1559487 11315
build-model-states-explored 1570757 11270
build-model-states-explored 1582638 11881
build-model-states-explored 1594125 11487
build-model-states-explored 1605326 11201
build-model-states-explored 1617403 12077
build-model-states-explored 1628560 11157
build-model-states-explored 1640066 11506
build-model-states-explored 1651094 11028
build-model-states-explored 1661678 10584
build-model-states-explored 1672546 10868
build-model-states-explored 1682701 10155
build-model-states-explored 1693358 10657
build-model-states-explored 1703820 10462
build-model-states-explored 1714134 10314
build-model-states-explored 1724749 10615
build-model-states-explored 1734843 10094
build-model-states-explored 1745469 10626
build-model-states-explored 1755973 10504
build-model-states-explored 1766324 10351
build-model-states-explored 1776778 10454
build-model-states-explored 1786821 10043
build-model-states-explored 1797349 10528
build-model-states-explored 1807788 10439
build-model-states-explored 1817902 10114
build-model-states-explored 1828377 10475
build-model-states-explored 1838427 10050
build-model-states-explored 1848961 10534
build-model-states-explored 1859168 10207
build-model-states-explored 1867656 8488
build-model-states-explored 1878842 11186
build-model-states-explored 1890130 11288
build-model-states-explored 1901455 11325
build-model-states-explored 1912715 11260
build-model-states-explored 1924197 11482
build-model-states-explored 1935686 11489
build-model-states-explored 1946941 11255
build-model-states-explored 1958660 11719
build-model-states-explored 1970749 12089
build-model-states-explored 1982476 11727
build-model-states-explored 1993789 11313
build-model-states-explored 2005067 11278
build-model-states-explored 2016653 11586
build-model-states-explored 2028128 11475
build-model-states-explored 2039974 11846
build-model-states-explored 2051239 11265
build-model-states-explored 2062591 11352
build-model-states-explored 2074570 11979
build-model-states-explored 2086303 11733
build-model-states-explored 2097151 10848
build-model-states-explored 2107748 10597
build-model-states-explored 2117877 10128
build-model-states-explored 2128253 10377
build-model-states-explored 2138432 10179
build-model-states-explored 2148403 9971
build-model-states-explored 2158840 10437
build-model-states-explored 2169005 10165
build-model-states-explored 2179082 10077
build-model-states-explored 2189484 10402
build-model-states-explored 2199618 10134
build-model-states-explored 2209580 9962
build-model-states-explored 2219867 10286
build-model-states-explored 2227745 7879
build-model-states-explored 2227745 0
build-model-states-explored 2227745 0
build-model-states-explored 2238357 10612
build-model-states-explored 2249556 11199
build-model-states-explored 2261169 11613
build-model-states-explored 2272657 11488
build-model-states-explored 2284789 12132
build-model-states-explored 2296093 11304
build-model-states-explored 2307737 11644
build-model-states-explored 2319738 12001
build-model-states-explored 2331525 11787
build-model-states-explored 2342556 11031
build-model-states-explored 2352946 10390
build-model-states-explored 2363191 10245
build-model-states-explored 2373273 10082
build-model-states-explored 2383411 10138
build-model-states-explored 2393363 9952
build-model-states-explored 2403382 10019
build-model-states-explored 2413945 10563
build-model-states-explored 2424973 11028
build-model-states-explored 2436570 11597
build-model-states-explored 2448073 11503
build-model-states-explored 2459551 11478
build-model-states-explored 2470371 10820
build-model-states-explored 2480155 9784
build-model-states-explored 2489954 9798
build-model-states-explored 2499941 9988
build-model-states-explored 2511268 11327
build-model-states-explored 2522619 11351
build-model-states-explored 2532155 9536
build-model-states-explored 2542613 10458
build-model-states-explored 2552187 9574
build-model-states-explored 2563379 11192
build-model-states-explored 2574754 11375
build-model-states-explored 2585607 10853
build-model-states-explored 2595735 10128
build-model-states-explored 2606163 10428
build-model-states-explored 2617642 11479
build-model-states-explored 2628721 11079
build-model-states-explored 2639704 10983
build-model-states-explored 2650077 10373
build-model-states-explored 2660536 10459
build-model-states-explored 2671744 11208
build-model-states-explored 2682854 11110
build-model-states-explored 2693739 10885
build-model-states-explored 2704170 10431
build-model-states-explored 2715107 10937
build-model-states-explored 2725899 10792
build-model-states-explored 2736407 10508
build-model-states-explored 2747137 10730
build-model-states-explored 2757732 10595
build-model-states-explored 2768490 10758
build-model-states-explored 2778815 10325
build-model-states-explored 2789226 10411
build-model-states-explored 2800472 11246
build-model-states-explored 2811705 11233
build-model-states-explored 2822550 10845
build-model-states-explored 2833062 10512
build-model-states-explored 2843895 10833
build-model-states-explored 2854690 10795
build-model-states-explored 2865170 10480
build-model-states-explored 2875821 10651
build-model-states-explored 2886378 10557
build-model-states-explored 2897028 10650
build-model-states-explored 2907365 10337
build-model-states-explored 2917758 10393
build-model-states-explored 2928505 10747
build-model-states-explored 2939750 11245
build-model-states-explored 2950678 10928
build-model-states-explored 2961022 10344
build-model-states-explored 2971479 10457
build-model-states-explored 2982566 11087
build-model-states-explored 2993074 10508
build-model-states-explored 3003789 10715
build-model-states-explored 3014363 10574
build-model-states-explored 3024934 10571
build-model-states-explored 3035555 10621
build-model-states-explored 3040391 4836
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3040391 0
build-model-states-explored 3041261 870
build-model-states-explored 3051519 10258
build-model-states-explored 3062398 10879
build-model-states-explored 3073440 11042
build-model-states-explored 3084276 10836
build-model-states-explored 3094761 10485
build-model-states-explored 3105237 10476
build-model-states-explored 3116351 11114
build-model-states-explored 3126907 10556
build-model-states-explored 3137554 10647
build-model-states-explored 3148019 10465
build-model-states-explored 3158531 10512
build-model-states-explored 3169123 10592
build-model-states-explored 3178939 9816
build-model-states-explored 3189090 10151
build-model-states-explored 3200082 10992
build-model-states-explored 3211139 11057
build-model-states-explored 3221770 10631
build-model-states-explored 3232118 10348
build-model-states-explored 3242252 10134
build-model-states-explored 3253231 10979
build-model-states-explored 3263651 10420
build-model-states-explored 3274127 10476
build-model-states-explored 3284543 10416
build-model-states-explored 3295100 10557
build-model-states-explored 3305652 10552
build-model-states-explored 3316205 10553
build-model-states-explored 3326330 10125
build-model-states-explored 3337383 11053
build-model-states-explored 3348589 11206
build-model-states-explored 3359285 10696
build-model-states-explored 3369767 10482
build-model-states-explored 3380015 10248
build-model-states-explored 3391070 11055
build-model-states-explored 3401497 10427
build-model-states-explored 3411962 10465
build-model-states-explored 3422408 10446
build-model-states-explored 3432788 10380
build-model-states-explored 3443267 10479
build-model-states-explored 3453683 10416
build-model-states-explored 3463769 10086
build-model-states-explored 3474341 10572
build-model-states-explored 3485382 11041
build-model-states-explored 3496355 10973
build-model-states-explored 3506819 10464
build-model-states-explored 3517052 10233
build-model-states-explored 3527936 10884
build-model-states-explored 3538517 10581
build-model-states-explored 3548874 10357
build-model-states-explored 3559340 10466
build-model-states-explored 3569734 10394
build-model-states-explored 3580071 10337
build-model-states-explored 3590578 10507
build-model-states-explored 3601008 10430
build-model-states-explored 3610946 9938
build-model-states-explored 3622039 11093
build-model-states-explored 3632786 10747
build-model-states-explored 3643287 10501
build-model-states-explored 3653682 10395
build-model-states-explored 3663749 10067
build-model-states-explored 3674604 10855
build-model-states-explored 3684913 10309
build-model-states-explored 3695106 10193
build-model-states-explored 3705510 10404
build-model-states-explored 3715714 10204
build-model-states-explored 3726117 10403
build-model-states-explored 3737509 11392
build-model-states-explored 3748489 10980
build-model-states-explored 3754999 6510
build-model-states-explored 3765799 10800
build-model-states-explored 3776516 10717
build-model-states-explored 3787115 10599
build-model-states-explored 3798298 11183
build-model-states-explored 3809214 10916
build-model-states-explored 3819760 10546
build-model-states-explored 3830855 11095
build-model-states-explored 3841858 11003
build-model-states-explored 3852221 10363
build-model-states-explored 3863375 11154
build-model-states-explored 3874326 10951
build-model-states-explored 3884715 10389
build-model-states-explored 3895806 11091
build-model-states-explored 3906188 10382
build-model-states-explored 3914996 8808
build-model-states-explored 3927353 12357
build-model-states-explored 3939604 12251
build-model-states-explored 3951656 12052
build-model-states-explored 3964497 12841
build-model-states-explored 3976751 12254
build-model-states-explored 3989238 12487
build-model-states-explored 4001692 12454
build-model-states-explored 4014130 12438
build-model-states-explored 4027543 13413
build-model-states-explored 4041082 13539
build-model-states-explored 4054581 13499
build-model-states-explored 4067999 13418
build-model-states-explored 4081435 13436
build-model-states-explored 4095608 14173
build-model-states-explored 4108718 13110
build-model-states-explored 4122815 14097
build-model-states-explored 4136665 13850
build-model-states-explored 4151307 14642
build-model-states-explored 4164755 13448
build-model-states-explored 4178270 13515
build-model-states-explored 4191710 13440
build-model-states-explored 4205474 13764
build-model-states-explored 4219397 13923
build-model-states-explored 4233754 14357
build-model-states-explored 4246936 13182
build-model-states-explored 4260499 13563
build-model-states-explored 4275127 14628
build-model-states-explored 4288118 12991
build-model-states-explored 4302022 13904
build-model-states-explored 4315057 13035
build-model-states-explored 4327981 12924
build-model-states-explored 4340660 12679
build-model-states-explored 4353193 12533
build-model-states-explored 4365394 12201
build-model-states-explored 4377941 12547
build-model-states-explored 4390334 12393
build-model-states-explored 4402502 12168
build-model-states-explored 4415055 12553
build-model-states-explored 4427240 12185
build-model-states-explored 4439549 12309
build-model-states-explored 4451840 12291
build-model-states-explored 4463934 12094
build-model-states-explored 4471139 7205
build-model-states-explored 4471139 0
build-model-states-explored 4471139 0
build-model-states-explored 4471139 0
build-model-states-explored 4471139 0
build-model-states-explored 4476654 5515
build-model-states-explored 4489846 13192
build-model-states-explored 4503419 13573
build-model-states-explored 4516963 13544
build-model-states-explored 4530996 14033
build-model-states-explored 4544728 13732
build-model-states-explored 4559266 14538
build-model-states-explored 4572795 13529
build-model-states-explored 4586137 13342
build-model-states-explored 4600781 14644
build-model-states-explored 4614290 13509
build-model-states-explored 4628353 14063
build-model-states-explored 4641245 12892
build-model-states-explored 4653894 12649
build-model-states-explored 4666364 12470
build-model-states-explored 4678723 12359
build-model-states-explored 4690959 12236
build-model-states-explored 4703194 12235
build-model-states-explored 4715563 12369
build-model-states-explored 4727397 11834
build-model-states-explored 4739642 12245
build-model-states-explored 4752723 13081
build-model-states-explored 4766475 13752
build-model-states-explored 4780764 14289
build-model-states-explored 4794105 13341
build-model-states-explored 4807600 13495
build-model-states-explored 4819922 12322
build-model-states-explored 4832061 12139
build-model-states-explored 4844062 12001
build-model-states-explored 4855981 11919
build-model-states-explored 4868663 12682
build-model-states-explored 4882753 14090
build-model-states-explored 4895443 12690
build-model-states-explored 4907442 11999
build-model-states-explored 4919421 11979
build-model-states-explored 4932039 12618
build-model-states-explored 4943912 11873
build-model-states-explored 4956504 12592
build-model-states-explored 4968909 12405
build-model-states-explored 4981873 12964
build-model-states-explored 4994155 12282
build-model-states-explored 5006608 12453
build-model-states-explored 5019376 12768
build-model-states-explored 5031569 12193
build-model-states-explored 5044023 12454
build-model-states-explored 5056604 12581
build-model-states-explored 5068737 12133
build-model-states-explored 5081336 12599
build-model-states-explored 5093808 12472
build-model-states-explored 5106158 12350
build-model-states-explored 5118481 12323
build-model-states-explored 5130949 12468
build-model-states-explored 5143073 12124
build-model-states-explored 5155885 12812
build-model-states-explored 5168108 12223
build-model-states-explored 5180456 12348
build-model-states-explored 5192715 12259
build-model-states-explored 5205112 12397
build-model-states-explored 5217190 12078
build-model-states-explored 5229927 12737
build-model-states-explored 5242085 12158
build-model-states-explored 5254372 12287
build-model-states-explored 5266620 12248
build-model-states-explored 5279041 12421
build-model-states-explored 5291093 12052
build-model-states-explored 5303825 12732
build-model-states-explored 5315969 12144
build-model-states-explored 5328235 12266
build-model-states-explored 5340400 12165
build-model-states-explored 5352775 12375
build-model-states-explored 5364755 11980
build-model-states-explored 5377255 12500
build-model-states-explored 5389659 12404
build-model-states-explored 5401820 12161
build-model-states-explored 5413934 12114
build-model-states-explored 5426220 12286
build-model-states-explored 5438509 12289
build-model-states-explored 5450687 12178
build-model-states-explored 5463061 12374
build-model-states-explored 5475124 12063
build-model-states-explored 5487328 12204
build-model-states-explored 5499501 12173
build-model-states-explored 5511810 12309
build-model-states-explored 5523743 11933
build-model-states-explored 5536399 12656
build-model-states-explored 5548612 12213
build-model-states-explored 5560629 12017
build-model-states-explored 5572703 12074
build-model-states-explored 5584966 12263
build-model-states-explored 5598003 13037
build-model-states-explored 5611093 13090
build-model-states-explored 5623659 12566
build-model-states-explored 5636571 12912
build-model-states-explored 5649183 12612
build-model-states-explored 5661676 12493
build-model-states-explored 5674525 12849
build-model-states-explored 5687060 12535
build-model-states-explored 5699417 12357
build-model-states-explored 5712182 12765
build-model-states-explored 5724670 12488
build-model-states-explored 5737016 12346
build-model-states-explored 5749685 12669
build-model-states-explored 5762653 12968
build-model-states-explored 5776289 13636
build-model-states-explored 5789897 13608
build-model-states-explored 5803862 13965
build-model-states-explored 5817599 13737
build-model-states-explored 5832200 14601
build-model-states-explored 5846182 13982
build-model-states-explored 5859551 13369
build-model-states-explored 5874336 14785
build-model-states-explored 5888148 13812
build-model-states-explored 5902369 14221
build-model-states-explored 5915267 12898
build-model-states-explored 5928101 12834
build-model-states-explored 5940687 12586
build-model-states-explored 5953117 12430
build-model-states-explored 5965483 12366
build-model-states-explored 5977772 12289
build-model-states-explored 5990160 12388
build-model-states-explored 6002445 12285
build-model-states-explored 6015191 12746
build-model-states-explored 6028339 13148
build-model-states-explored 6042156 13817
build-model-states-explored 6056466 14310
build-model-states-explored 6070045 13579
build-model-states-explored 6083326 13281
build-model-states-explored 6095787 12461
build-model-states-explored 6108033 12246
build-model-states-explored 6120273 12240
build-model-states-explored 6132344 12071
build-model-states-explored 6145103 12759
build-model-states-explored 6159218 14115
build-model-states-explored 6170905 11687
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6170905 0
build-model-states-explored 6175805 4900
build-model-states-explored 6187697 11892
build-model-states-explored 6200308 12611
build-model-states-explored 6212339 12031
build-model-states-explored 6224239 11900
build-model-states-explored 6236745 12506
build-model-states-explored 6248893 12148
build-model-states-explored 6260837 11944
build-model-states-explored 6273103 12266
build-model-states-explored 6285479 12376
build-model-states-explored 6297750 12271
build-model-states-explored 6309916 12166
build-model-states-explored 6322251 12335
build-model-states-explored 6334389 12138
build-model-states-explored 6346569 12180
build-model-states-explored 6358930 12361
build-model-states-explored 6370945 12015
build-model-states-explored 6383164 12219
build-model-states-explored 6395364 12200
build-model-states-explored 6407560 12196
build-model-states-explored 6419664 12104
build-model-states-explored 6431785 12121
build-model-states-explored 6444085 12300
build-model-states-explored 6456099 12014
build-model-states-explored 6468145 12046
build-model-states-explored 6480397 12252
build-model-states-explored 6492349 11952
build-model-states-explored 6504475 12126
build-model-states-explored 6516538 12063
build-model-states-explored 6528811 12273
build-model-states-explored 6540682 11871
build-model-states-explored 6552629 11947
build-model-states-explored 6564726 12097
build-model-states-explored 6577435 12709
build-model-states-explored 6589899 12464
build-model-states-explored 6602262 12363
build-model-states-explored 6614561 12299
build-model-states-explored 6626765 12204
build-model-states-explored 6638930 12165
build-model-states-explored 6651058 12128
build-model-states-explored 6663381 12323
build-model-states-explored 6676428 13047
build-model-states-explored 6689825 13397
build-model-states-explored 6704231 14406
build-model-states-explored 6716854 12623
build-model-states-explored 6730549 13695
build-model-states-explored 6743230 12681
build-model-states-explored 6755557 12327
build-model-states-explored 6767732 12175
build-model-states-explored 6779753 12021
build-model-states-explored 6792034 12281
build-model-states-explored 6805473 13439
build-model-states-explored 6819091 13618
build-model-states-explored 6831090 11999
build-model-states-explored 6842911 11821
build-model-states-explored 6855612 12701
build-model-states-explored 6867492 11880
build-model-states-explored 6879363 11871
build-model-states-explored 6891406 12043
build-model-states-explored 6903809 12403
build-model-states-explored 6915955 12146
build-model-states-explored 6928235 12280
build-model-states-explored 6940359 12124
build-model-states-explored 6952473 12114
build-model-states-explored 6964706 12233
build-model-states-explored 6976725 12019
build-model-states-explored 6988867 12142
build-model-states-explored 7000593 11726
build-model-states-explored 7012645 12052
build-model-states-explored 7024791 12146
build-model-states-explored 7036696 11905
build-model-states-explored 7048935 12239
build-model-states-explored 7061009 12074
build-model-states-explored 7072839 11830
build-model-states-explored 7084575 11736
build-model-states-explored 7096428 11853
build-model-states-explored 7109187 12759
build-model-states-explored 7122560 13373
build-model-states-explored 7134923 12363
build-model-states-explored 7146555 11632
build-model-states-explored 7158364 11809
build-model-states-explored 7170559 12195
build-model-states-explored 7182175 11616
build-model-states-explored 7194409 12234
build-model-states-explored 7206765 12356
build-model-states-explored 7219179 12414
build-model-states-explored 7231544 12365
build-model-states-explored 7243689 12145
build-model-states-explored 7255993 12304
build-model-states-explored 7268153 12160
build-model-states-explored 7279866 11713
build-model-states-explored 7292568 12702
build-model-states-explored 7304156 11588
build-model-states-explored 7316286 12130
build-model-states-explored 7329016 12730
build-model-states-explored 7341506 12490
build-model-states-explored 7353266 11760
build-model-states-explored 7366410 13144
build-model-states-explored 7378319 11909
build-model-states-explored 7391374 13055
build-model-states-explored 7404196 12822
build-model-states-explored 7416963 12767
build-model-states-explored 7430051 13088
build-model-states-explored 7442888 12837
build-model-states-explored 7455771 12883
build-model-states-explored 7467266 11495
build-model-states-explored 7479580 12314
build-model-states-explored 7491726 12146
build-model-states-explored 7503325 11599
build-model-states-explored 7515065 11740
build-model-states-explored 7527717 12652
build-model-states-explored 7541136 13419
build-model-states-explored 7554487 13351
build-model-states-explored 7567232 12745
build-model-states-explored 7580520 13288
build-model-states-explored 7593551 13031
build-model-states-explored 7606749 13198
build-model-states-explored 7609843 3094
build-model-states-explored 7620737 10894
build-model-states-explored 7633547 12810
build-model-states-explored 7646363 12816
build-model-states-explored 7659096 12733
build-model-states-explored 7671833 12737
build-model-states-explored 7684556 12723
build-model-states-explored 7697544 12988
build-model-states-explored 7710790 13246
build-model-states-explored 7723725 12935
build-model-states-explored 7736945 13220
build-model-states-explored 7749880 12935
build-model-states-explored 7763040 13160
build-model-states-explored 7776403 13363
build-model-states-explored 7789482 13079
build-model-states-explored 7802378 12896
build-model-states-explored 7815295 12917
build-model-states-explored 7828171 12876
build-model-states-explored 7841235 13064
build-model-states-explored 7854195 12960
build-model-states-explored 7867300 13105
build-model-states-explored 7880810 13510
build-model-states-explored 7893776 12966
build-model-states-explored 7906593 12817
build-model-states-explored 7919593 13000
build-model-states-explored 7932743 13150
build-model-states-explored 7945911 13168
build-model-states-explored 7958914 13003
build-model-states-explored 7972258 13344
build-model-states-explored 7985617 13359
build-model-states-explored 7998508 12891
build-model-states-explored 8010960 12452
build-model-states-explored 8023715 12755
build-model-states-explored 8036440 12725
build-model-states-explored 8049229 12789
build-model-states-explored 8061964 12735
build-model-states-explored 8074739 12775
build-model-states-explored 8087757 13018
build-model-states-explored 8100974 13217
build-model-states-explored 8113809 12835
build-model-states-explored 8126871 13062
build-model-states-explored 8139791 12920
build-model-states-explored 8152841 13050
build-model-states-explored 8166279 13438
build-model-states-explored 8179050 12771
build-model-states-explored 8191885 12835
build-model-states-explored 8204796 12911
build-model-states-explored 8217692 12896
build-model-states-explored 8230629 12937
build-model-states-explored 8243474 12845
build-model-states-explored 8256481 13007
build-model-states-explored 8269870 13389
build-model-states-explored 8282742 12872
build-model-states-explored 8295659 12917
build-model-states-explored 8308620 12961
build-model-states-explored 8321437 12817
build-model-states-explored 8334630 13193
build-model-states-explored 8347645 13015
build-model-states-explored 8360740 13095
build-model-states-explored 8373899 13159
build-model-states-explored 8386851 12952
build-model-states-explored 8388607 1756
build-model-states-explored 8393713 5106
build-model-states-explored 8402660 8947
build-model-states-explored 8414857 12197
build-model-states-explored 8427384 12527
build-model-states-explored 8439987 12603
build-model-states-explored 8452672 12685
build-model-states-explored 8465392 12720
build-model-states-explored 8477902 12510
build-model-states-explored 8490905 13003
build-model-states-explored 8503826 12921
build-model-states-explored 8516639 12813
build-model-states-explored 8529537 12898
build-model-states-explored 8542445 12908
build-model-states-explored 8555293 12848
build-model-states-explored 8568450 13157
build-model-states-explored 8581250 12800
build-model-states-explored 8593911 12661
build-model-states-explored 8606723 12812
build-model-states-explored 8619572 12849
build-model-states-explored 8632444 12872
build-model-states-explored 8645136 12692
build-model-states-explored 8658000 12864
build-model-states-explored 8671167 13167
build-model-states-explored 8683970 12803
build-model-states-explored 8696792 12822
build-model-states-explored 8709761 12969
build-model-states-explored 8722519 12758
build-model-states-explored 8735515 12996
build-model-states-explored 8748399 12884
build-model-states-explored 8761491 13092
build-model-states-explored 8774446 12955
build-model-states-explored 8787513 13067
build-model-states-explored 8800184 12671
build-model-states-explored 8812786 12602
build-model-states-explored 8825184 12398
build-model-states-explored 8837456 12272
build-model-states-explored 8850115 12659
build-model-states-explored 8862817 12702
build-model-states-explored 8875593 12776
build-model-states-explored 8888245 12652
build-model-states-explored 8901296 13051
build-model-states-explored 8913951 12655
build-model-states-explored 8926783 12832
build-model-states-explored 8939555 12772
build-model-states-explored 8952418 12863
build-model-states-explored 8965231 12813
build-model-states-explored 8978374 13143
build-model-states-explored 8991142 12768
build-model-states-explored 9003612 12470
build-model-states-explored 9016449 12837
build-model-states-explored 9029278 12829
build-model-states-explored 9041956 12678
build-model-states-explored 9054615 12659
build-model-states-explored 9067370 12755
build-model-states-explored 9080354 12984
build-model-states-explored 9093342 12988
build-model-states-explored 9106033 12691
build-model-states-explored 9118902 12869
build-model-states-explored 9131476 12574
build-model-states-explored 9144418 12942
build-model-states-explored 9157313 12895
build-model-states-explored 9170127 12814
build-model-states-explored 9183086 12959
build-model-states-explored 9196098 13012
build-model-states-explored 9208913 12815
build-model-states-explored 9221537 12624
build-model-states-explored 9234171 12634
build-model-states-explored 9246398 12227
build-model-states-explored 9258478 12080
build-model-states-explored 9270987 12509
build-model-states-explored 9283600 12613
build-model-states-explored 9293045 9445
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9293045 0
build-model-states-explored 9298486 5441
build-model-states-explored 9311258 12772
build-model-states-explored 9324350 13092
build-model-states-explored 9337329 12979
build-model-states-explored 9350380 13051
build-model-states-explored 9363166 12786
build-model-states-explored 9376212 13046
build-model-states-explored 9389167 12955
build-model-states-explored 9402343 13176
build-model-states-explored 9415210 12867
build-model-states-explored 9427767 12557
build-model-states-explored 9440586 12819
build-model-states-explored 9453660 13074
build-model-states-explored 9466408 12748
build-model-states-explored 9479342 12934
build-model-states-explored 9492170 12828
build-model-states-explored 9505309 13139
build-model-states-explored 9518331 13022
build-model-states-explored 9531114 12783
build-model-states-explored 9544156 13042
build-model-states-explored 9556772 12616
build-model-states-explored 9569787 13015
build-model-states-explored 9582896 13109
build-model-states-explored 9595962 13066
build-model-states-explored 9609042 13080
build-model-states-explored 9622181 13139
build-model-states-explored 9635218 13037
build-model-states-explored 9647972 12754
build-model-states-explored 9660760 12788
build-model-states-explored 9673505 12745
build-model-states-explored 9686059 12554
build-model-states-explored 9698050 11991
build-model-states-explored 9710821 12771
build-model-states-explored 9723723 12902
build-model-states-explored 9736465 12742
build-model-states-explored 9749499 13034
build-model-states-explored 9762470 12971
build-model-states-explored 9775372 12902
build-model-states-explored 9788114 12742
build-model-states-explored 9800923 12809
build-model-states-explored 9813725 12802
build-model-states-explored 9826846 13121
build-model-states-explored 9839810 12964
build-model-states-explored 9852726 12916
build-model-states-explored 9865331 12605
build-model-states-explored 9878149 12818
build-model-states-explored 9891208 13059
build-model-states-explored 9903914 12706
build-model-states-explored 9916666 12752
build-model-states-explored 9929384 12718
build-model-states-explored 9942277 12893
build-model-states-explored 9955038 12761
build-model-states-explored 9967818 12780
build-model-states-explored 9980910 13092
build-model-states-explored 9993455 12545
build-model-states-explored 10006442 12987
build-model-states-explored 10019416 12974
build-model-states-explored 10032357 12941
build-model-states-explored 10045376 13019
build-model-states-explored 10058308 12932
build-model-states-explored 10071351 13043
build-model-states-explored 10084171 12820
build-model-states-explored 10096955 12784
build-model-states-explored 10109786 12831
build-model-states-explored 10122553 12767
build-model-states-explored 10135107 12554
build-model-states-explored 10147057 11950
build-model-states-explored 10159625 12568
build-model-states-explored 10172650 13025
build-model-states-explored 10185192 12542
build-model-states-explored 10198113 12921
build-model-states-explored 10210925 12812
build-model-states-explored 10223838 12913
build-model-states-explored 10236487 12649
build-model-states-explored 10249403 12916
build-model-states-explored 10262247 12844
build-model-states-explored 10275446 13199
build-model-states-explored 10288227 12781
build-model-states-explored 10301043 12816
build-model-states-explored 10313664 12621
build-model-states-explored 10326207 12543
build-model-states-explored 10339175 12968
build-model-states-explored 10351777 12602
build-model-states-explored 10364574 12797
build-model-states-explored 10377327 12753
build-model-states-explored 10390298 12971
build-model-states-explored 10403233 12935
build-model-states-explored 10415962 12729
build-model-states-explored 10428857 12895
build-model-states-explored 10441238 12381
build-model-states-explored 10454112 12874
build-model-states-explored 10467062 12950
build-model-states-explored 10480050 12988
build-model-states-explored 10492916 12866
build-model-states-explored 10505873 12957
build-model-states-explored 10518992 13119
build-model-states-explored 10531817 12825
build-model-states-explored 10544574 12757
build-model-states-explored 10557303 12729
build-model-states-explored 10570017 12714
build-model-states-explored 10582689 12672
build-model-states-explored 10595099 12410
build-model-states-explored 10606884 11785
build-model-states-explored 10619460 12576
build-model-states-explored 10632206 12746
build-model-states-explored 10644731 12525
build-model-states-explored 10657597 12866
build-model-states-explored 10670530 12933
build-model-states-explored 10683043 12513
build-model-states-explored 10695767 12724
build-model-states-explored 10708311 12544
build-model-states-explored 10721364 13053
build-model-states-explored 10734456 13092
build-model-states-explored 10747320 12864
build-model-states-explored 10760147 12827
build-model-states-explored 10772932 12785
build-model-states-explored 10785326 12394
build-model-states-explored 10798112 12786
build-model-states-explored 10810643 12531
build-model-states-explored 10823383 12740
build-model-states-explored 10836107 12724
build-model-states-explored 10849111 13004
build-model-states-explored 10861958 12847
build-model-states-explored 10873944 11986
build-model-states-explored 10885964 12020
build-model-states-explored 10898585 12621
build-model-states-explored 10911264 12679
build-model-states-explored 10924342 13078
build-model-states-explored 10937032 12690
build-model-states-explored 10949935 12903
build-model-states-explored 10962866 12931
build-model-states-explored 10975932 13066
build-model-states-explored 10989280 13348
build-model-states-explored 11002429 13149
build-model-states-explored 11015387 12958
build-model-states-explored 11028032 12645
build-model-states-explored 11041083 13051
build-model-states-explored 11054116 13033
build-model-states-explored 11066896 12780
build-model-states-explored 11079595 12699
build-model-states-explored 11092593 12998
build-model-states-explored 11105480 12887
build-model-states-explored 11118326 12846
build-model-states-explored 11131237 12911
build-model-states-explored 11144255 13018
build-model-states-explored 11157387 13132
build-model-states-explored 11170173 12786
build-model-states-explored 11183161 12988
build-model-states-explored 11195802 12641
build-model-states-explored 11208666 12864
build-model-states-explored 11221371 12705
build-model-states-explored 11234339 12968
build-model-states-explored 11247596 13257
build-model-states-explored 11260199 12603
build-model-states-explored 11273102 12903
build-model-states-explored 11285844 12742
build-model-states-explored 11298742 12898
build-model-states-explored 11311180 12438
build-model-states-explored 11324033 12853
build-model-states-explored 11337097 13064
build-model-states-explored 11349942 12845
build-model-states-explored 11362555 12613
build-model-states-explored 11375512 12957
build-model-states-explored 11388255 12743
build-model-states-explored 11401036 12781
build-model-states-explored 11413603 12567
build-model-states-explored 11426458 12855
build-model-states-explored 11439718 13260
build-model-states-explored 11452179 12461
build-model-states-explored 11464930 12751
build-model-states-explored 11477641 12711
build-model-states-explored 11490283 12642
build-model-states-explored 11502948 12665
build-model-states-explored 11515728 12780
build-model-states-explored 11528558 12830
build-model-states-explored 11541747 13189
build-model-states-explored 11554224 12477
build-model-states-explored 11566987 12763
build-model-states-explored 11579509 12522
build-model-states-explored 11592146 12637
build-model-states-explored 11604625 12479
build-model-states-explored 11617335 12710
build-model-states-explored 11630097 12762
build-model-states-explored 11643223 13126
build-model-states-explored 11655827 12604
build-model-states-explored 11668395 12568
build-model-states-explored 11681046 12651
build-model-states-explored 11693782 12736
build-model-states-explored 11706125 12343
build-model-states-explored 11718700 12575
build-model-states-explored 11731313 12613
build-model-states-explored 11744455 13142
build-model-states-explored 11757292 12837
build-model-states-explored 11769463 12171
build-model-states-explored 11782300 12837
build-model-states-explored 11795002 12702
build-model-states-explored 11807447 12445
build-model-states-explored 11819930 12483
build-model-states-explored 11832449 12519
build-model-states-explored 11845491 13042
build-model-states-explored 11859261 13770
build-model-states-explored 11872020 12759
build-model-states-explored 11885476 13456
build-model-states-explored 11898373 12897
build-model-states-explored 11911327 12954
build-model-states-explored 11924203 12876
build-model-states-explored 11937111 12908
build-model-states-explored 11949821 12710
build-model-states-explored 11962841 13020
build-model-states-explored 11975404 12563
build-model-states-explored 11988358 12954
build-model-states-explored 12001076 12718
build-model-states-explored 12013842 12766
build-model-states-explored 12026606 12764
build-model-states-explored 12039229 12623
build-model-states-explored 12052024 12795
build-model-states-explored 12064579 12555
build-model-states-explored 12078014 13435
build-model-states-explored 12091705 13691
build-model-states-explored 12105344 13639
build-model-states-explored 12118938 13594
build-model-states-explored 12133060 14122
build-model-states-explored 12146811 13751
build-model-states-explored 12161268 14457
build-model-states-explored 12175360 14092
build-model-states-explored 12188778 13418
build-model-states-explored 12202397 13619
build-model-states-explored 12217219 14822
build-model-states-explored 12231202 13983
build-model-states-explored 12244625 13423
build-model-states-explored 12258346 13721
build-model-states-explored 12271338 12992
build-model-states-explored 12284277 12939
build-model-states-explored 12297284 13007
build-model-states-explored 12310147 12863
build-model-states-explored 12322986 12839
build-model-states-explored 12335769 12783
build-model-states-explored 12348501 12732
build-model-states-explored 12361026 12525
build-model-states-explored 12373572 12546
build-model-states-explored 12386197 12625
build-model-states-explored 12398702 12505
build-model-states-explored 12411971 13269
build-model-states-explored 12425065 13094
build-model-states-explored 12439025 13960
build-model-states-explored 12453705 14680
build-model-states-explored 12466646 12941
build-model-states-explored 12480576 13930
build-model-states-explored 12493621 13045
build-model-states-explored 12506321 12700
build-model-states-explored 12519162 12841
build-model-states-explored 12531835 12673
build-model-states-explored 12544391 12556
build-model-states-explored 12556857 12466
build-model-states-explored 12569298 12441
build-model-states-explored 12582207 12909
build-model-states-explored 12595950 13743
build-model-states-explored 12609143 13193
build-model-states-explored 12622144 13001
build-model-states-explored 12634876 12732
build-model-states-explored 12647360 12484
build-model-states-explored 12659897 12537
build-model-states-explored 12672659 12762
build-model-states-explored 12685448 12789
build-model-states-explored 12697807 12359
build-model-states-explored 12711305 13498
build-model-states-explored 12724278 12973
build-model-states-explored 12736908 12630
build-model-states-explored 12749943 13035
build-model-states-explored 12749962 19
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12749962 0
build-model-states-explored 12757509 7547
build-model-states-explored 12767111 9602
build-model-states-explored 12779630 12519
build-model-states-explored 12792512 12882
build-model-states-explored 12805600 13088
build-model-states-explored 12818384 12784
build-model-states-explored 12830998 12614
build-model-states-explored 12843875 12877
build-model-states-explored 12856998 13123
build-model-states-explored 12869605 12607
build-model-states-explored 12882109 12504
build-model-states-explored 12894891 12782
build-model-states-explored 12908106 13215
build-model-states-explored 12920701 12595
build-model-states-explored 12933154 12453
build-model-states-explored 12945842 12688
build-model-states-explored 12958808 12966
build-model-states-explored 12971753 12945
build-model-states-explored 12984209 12456
build-model-states-explored 12996869 12660
build-model-states-explored 13009495 12626
build-model-states-explored 13022644 13149
build-model-states-explored 13035031 12387
build-model-states-explored 13047455 12424
build-model-states-explored 13059881 12426
build-model-states-explored 13072860 12979
build-model-states-explored 13085572 12712
build-model-states-explored 13097924 12352
build-model-states-explored 13110516 12592
build-model-states-explored 13123090 12574
build-model-states-explored 13136120 13030
build-model-states-explored 13148609 12489
build-model-states-explored 13160772 12163
build-model-states-explored 13173434 12662
build-model-states-explored 13185987 12553
build-model-states-explored 13199533 13546
build-model-states-explored 13212274 12741
build-model-states-explored 13224999 12725
build-model-states-explored 13237684 12685
build-model-states-explored 13250277 12593
build-model-states-explored 13262774 12497
build-model-states-explored 13275310 12536
build-model-states-explored 13287793 12483
build-model-states-explored 13300163 12370
build-model-states-explored 13312615 12452
build-model-states-explored 13325291 12676
build-model-states-explored 13338171 12880
build-model-states-explored 13351027 12856
build-model-states-explored 13365069 14042
build-model-states-explored 13379286 14217
build-model-states-explored 13391585 12299
build-model-states-explored 13405802 14217
build-model-states-explored 13418529 12727
build-model-states-explored 13430751 12222
build-model-states-explored 13443376 12625
build-model-states-explored 13455847 12471
build-model-states-explored 13468187 12340
build-model-states-explored 13480513 12326
build-model-states-explored 13492690 12177
build-model-states-explored 13505554 12864
build-model-states-explored 13519675 14121
build-model-states-explored 13532645 12970
build-model-states-explored 13545005 12360
build-model-states-explored 13557472 12467
build-model-states-explored 13569696 12224
build-model-states-explored 13581937 12241
build-model-states-explored 13594708 12771
build-model-states-explored 13607234 12526
build-model-states-explored 13619499 12265
build-model-states-explored 13632650 13151
build-model-states-explored 13645140 12490
build-model-states-explored 13658033 12893
build-model-states-explored 13670781 12748
build-model-states-explored 13684098 13317
build-model-states-explored 13696812 12714
build-model-states-explored 13710067 13255
build-model-states-explored 13722802 12735
build-model-states-explored 13735936 13134
build-model-states-explored 13748606 12670
build-model-states-explored 13761833 13227
build-model-states-explored 13774271 12438
build-model-states-explored 13787245 12974
build-model-states-explored 13800090 12845
build-model-states-explored 13812545 12455
build-model-states-explored 13825703 13158
build-model-states-explored 13838203 12500
build-model-states-explored 13851078 12875
build-model-states-explored 13863526 12448
build-model-states-explored 13876234 12708
build-model-states-explored 13889246 13012
build-model-states-explored 13901708 12462
build-model-states-explored 13913912 12204
build-model-states-explored 13926005 12093
build-model-states-explored 13938063 12058
build-model-states-explored 13950029 11966
build-model-states-explored 13962627 12598
build-model-states-explored 13976404 13777
build-model-states-explored 13989177 12773
build-model-states-explored 14001591 12414
build-model-states-explored 14013898 12307
build-model-states-explored 14025973 12075
build-model-states-explored 14038085 12112
build-model-states-explored 14050502 12417
build-model-states-explored 14062913 12411
build-model-states-explored 14074927 12014
build-model-states-explored 14088008 13081
build-model-states-explored 14100870 12862
build-model-states-explored 14114042 13172
build-model-states-explored 14127222 13180
build-model-states-explored 14140374 13152
build-model-states-explored 14153498 13124
build-model-states-explored 14166610 13112
build-model-states-explored 14179682 13072
build-model-states-explored 14192727 13045
build-model-states-explored 14205680 12953
build-model-states-explored 14218197 12517
build-model-states-explored 14230455 12258
build-model-states-explored 14242803 12348
build-model-states-explored 14255391 12588
build-model-states-explored 14267702 12311
build-model-states-explored 14279923 12221
build-model-states-explored 14292932 13009
build-model-states-explored 14306536 13604
build-model-states-explored 14320044 13508
build-model-states-explored 14333663 13619
build-model-states-explored 14346740 13077
build-model-states-explored 14358829 12089
build-model-states-explored 14371946 13117
build-model-states-explored 14386627 14681
build-model-states-explored 14400877 14250
build-model-states-explored 14413336 12459
build-model-states-explored 14426215 12879
build-model-states-explored 14438719 12504
build-model-states-explored 14451447 12728
build-model-states-explored 14464241 12794
build-model-states-explored 14477110 12869
build-model-states-explored 14489754 12644
build-model-states-explored 14502678 12924
build-model-states-explored 14515447 12769
build-model-states-explored 14528150 12703
build-model-states-explored 14540848 12698
build-model-states-explored 14553729 12881
build-model-states-explored 14566199 12470
build-model-states-explored 14579184 12985
build-model-states-explored 14592483 13299
build-model-states-explored 14605543 13060
build-model-states-explored 14618319 12776
build-model-states-explored 14631082 12763
build-model-states-explored 14643906 12824
build-model-states-explored 14657151 13245
build-model-states-explored 14670140 12989
build-model-states-explored 14683632 13492
build-model-states-explored 14696969 13337
build-model-states-explored 14709696 12727
build-model-states-explored 14722351 12655
build-model-states-explored 14735093 12742
build-model-states-explored 14747826 12733
build-model-states-explored 14760484 12658
build-model-states-explored 14773364 12880
build-model-states-explored 14786226 12862
build-model-states-explored 14799578 13352
build-model-states-explored 14812385 12807
build-model-states-explored 14825119 12734
build-model-states-explored 14837722 12603
build-model-states-explored 14850905 13183
build-model-states-explored 14863848 12943
build-model-states-explored 14877250 13402
build-model-states-explored 14890614 13364
build-model-states-explored 14903598 12984
build-model-states-explored 14916265 12667
build-model-states-explored 14928991 12726
build-model-states-explored 14941659 12668
build-model-states-explored 14954463 12804
build-model-states-explored 14966900 12437
build-model-states-explored 14979726 12826
build-model-states-explored 14992666 12940
build-model-states-explored 15005956 13290
build-model-states-explored 15018749 12793
build-model-states-explored 15031487 12738
build-model-states-explored 15044041 12554
build-model-states-explored 15057126 13085
build-model-states-explored 15070100 12974
build-model-states-explored 15083437 13337
build-model-states-explored 15096756 13319
build-model-states-explored 15109840 13084
build-model-states-explored 15122626 12786
build-model-states-explored 15135184 12558
build-model-states-explored 15147889 12705
build-model-states-explored 15160565 12676
build-model-states-explored 15173113 12548
build-model-states-explored 15185776 12663
build-model-states-explored 15198668 12892
build-model-states-explored 15211856 13188
build-model-states-explored 15224665 12809
build-model-states-explored 15237453 12788
build-model-states-explored 15249967 12514
build-model-states-explored 15262726 12759
build-model-states-explored 15275898 13172
build-model-states-explored 15288813 12915
build-model-states-explored 15302191 13378
build-model-states-explored 15315800 13609
build-model-states-explored 15328393 12593
build-model-states-explored 15341141 12748
build-model-states-explored 15353623 12482
build-model-states-explored 15366296 12673
build-model-states-explored 15378997 12701
build-model-states-explored 15391312 12315
build-model-states-explored 15401168 9856
build-model-states-explored 15401168 0
build-model-states-explored 15401168 0
build-model-states-explored 15405233 4065
build-model-states-explored 15417687 12454
build-model-states-explored 15431004 13317
build-model-states-explored 15443774 12770
build-model-states-explored 15456660 12886
build-model-states-explored 15468998 12338
build-model-states-explored 15481919 12921
build-model-states-explored 15495150 13231
build-model-states-explored 15508049 12899
build-model-states-explored 15521499 13450
build-model-states-explored 15535195 13696
build-model-states-explored 15547809 12614
build-model-states-explored 15560517 12708
build-model-states-explored 15572990 12473
build-model-states-explored 15585836 12846
build-model-states-explored 15598546 12710
build-model-states-explored 15610941 12395
build-model-states-explored 15623685 12744
build-model-states-explored 15636425 12740
build-model-states-explored 15649639 13214
build-model-states-explored 15662486 12847
build-model-states-explored 15675196 12710
build-model-states-explored 15687743 12547
build-model-states-explored 15700077 12334
build-model-states-explored 15713292 13215
build-model-states-explored 15726418 13126
build-model-states-explored 15739506 13088
build-model-states-explored 15752905 13399
build-model-states-explored 15766078 13173
build-model-states-explored 15778685 12607
build-model-states-explored 15791336 12651
build-model-states-explored 15803596 12260
build-model-states-explored 15816337 12741
build-model-states-explored 15828845 12508
build-model-states-explored 15841043 12198
build-model-states-explored 15853833 12790
build-model-states-explored 15866699 12866
build-model-states-explored 15879877 13178
build-model-states-explored 15892730 12853
build-model-states-explored 15905410 12680
build-model-states-explored 15917716 12306
build-model-states-explored 15930282 12566
build-model-states-explored 15943298 13016
build-model-states-explored 15956383 13085
build-model-states-explored 15969560 13177
build-model-states-explored 15982863 13303
build-model-states-explored 15996083 13220
build-model-states-explored 16008778 12695
build-model-states-explored 16021426 12648
build-model-states-explored 16034136 12710
build-model-states-explored 16046633 12497
build-model-states-explored 16059147 12514
build-model-states-explored 16071250 12103
build-model-states-explored 16084025 12775
build-model-states-explored 16096674 12649
build-model-states-explored 16110027 13353
build-model-states-explored 16122785 12758
build-model-states-explored 16135408 12623
build-model-states-explored 16147963 12555
build-model-states-explored 16160315 12352
build-model-states-explored 16173459 13144
build-model-states-explored 16186391 12932
build-model-states-explored 16199350 12959
build-model-states-explored 16212839 13489
build-model-states-explored 16226493 13654
build-model-states-explored 16239388 12895
build-model-states-explored 16251972 12584
build-model-states-explored 16264922 12950
build-model-states-explored 16277828 12906
build-model-states-explored 16290396 12568
build-model-states-explored 16303340 12944
build-model-states-explored 16316574 13234
build-model-states-explored 16329679 13105
build-model-states-explored 16342135 12456
build-model-states-explored 16355096 12961
build-model-states-explored 16368275 13179
build-model-states-explored 16381346 13071
build-model-states-explored 16393865 12519
build-model-states-explored 16406742 12877
build-model-states-explored 16419669 12927
build-model-states-explored 16432859 13190
build-model-states-explored 16445455 12596
build-model-states-explored 16456754 11299
build-model-states-explored 16458842 2088
build-model-states-explored 16465127 6285
build-model-states-explored 16474208 9081
build-model-states-explored 16486710 12502
build-model-states-explored 16499278 12568
build-model-states-explored 16511834 12556
build-model-states-explored 16524679 12845
build-model-states-explored 16538076 13397
build-model-states-explored 16550693 12617
build-model-states-explored 16562952 12259
build-model-states-explored 16575817 12865
build-model-states-explored 16588835 13018
build-model-states-explored 16602145 13310
build-model-states-explored 16614472 12327
build-model-states-explored 16627108 12636
build-model-states-explored 16639880 12772
build-model-states-explored 16653126 13246
build-model-states-explored 16665706 12580
build-model-states-explored 16677864 12158
build-model-states-explored 16690642 12778
build-model-states-explored 16703400 12758
build-model-states-explored 16716935 13535
build-model-states-explored 16729698 12763
build-model-states-explored 16742461 12763
build-model-states-explored 16755168 12707
build-model-states-explored 16767806 12638
build-model-states-explored 16777215 9409
build-model-states-explored 16780728 3513
build-model-states-explored 16787524 6796
build-model-states-explored 16796042 8518
build-model-states-explored 16807666 11624
build-model-states-explored 16820099 12433
build-model-states-explored 16832308 12209
build-model-states-explored 16845050 12742
build-model-states-explored 16857925 12875
build-model-states-explored 16870839 12914
build-model-states-explored 16884936 14097
build-model-states-explored 16898887 13951
build-model-states-explored 16911180 12293
build-model-states-explored 16925271 14091
build-model-states-explored 16937798 12527
build-model-states-explored 16950171 12373
build-model-states-explored 16963008 12837
build-model-states-explored 16975559 12551
build-model-states-explored 16988041 12482
build-model-states-explored 17000474 12433
build-model-states-explored 17012978 12504
build-model-states-explored 17025607 12629
build-model-states-explored 17039975 14368
build-model-states-explored 17052982 13007
build-model-states-explored 17065250 12268
build-model-states-explored 17077783 12533
build-model-states-explored 17090197 12414
build-model-states-explored 17102446 12249
build-model-states-explored 17115309 12863
build-model-states-explored 17128193 12884
build-model-states-explored 17140723 12530
build-model-states-explored 17153571 12848
build-model-states-explored 17166076 12505
build-model-states-explored 17178996 12920
build-model-states-explored 17192101 13105
build-model-states-explored 17205310 13209
build-model-states-explored 17218349 13039
build-model-states-explored 17231509 13160
build-model-states-explored 17244367 12858
build-model-states-explored 17257717 13350
build-model-states-explored 17270363 12646
build-model-states-explored 17283580 13217
build-model-states-explored 17296267 12687
build-model-states-explored 17309568 13301
build-model-states-explored 17322069 12501
build-model-states-explored 17335012 12943
build-model-states-explored 17348031 13019
build-model-states-explored 17360613 12582
build-model-states-explored 17373964 13351
build-model-states-explored 17386368 12404
build-model-states-explored 17399351 12983
build-model-states-explored 17412098 12747
build-model-states-explored 17424384 12286
build-model-states-explored 17436506 12122
build-model-states-explored 17448561 12055
build-model-states-explored 17460552 11991
build-model-states-explored 17472857 12305
build-model-states-explored 17485147 12290
build-model-states-explored 17499251 14104
build-model-states-explored 17511901 12650
build-model-states-explored 17523870 11969
build-model-states-explored 17535940 12070
build-model-states-explored 17547921 11981
build-model-states-explored 17559823 11902
build-model-states-explored 17572363 12540
build-model-states-explored 17584773 12410
build-model-states-explored 17596985 12212
build-model-states-explored 17609956 12971
build-model-states-explored 17623210 13254
build-model-states-explored 17636596 13386
build-model-states-explored 17650038 13442
build-model-states-explored 17663361 13323
build-model-states-explored 17676673 13312
build-model-states-explored 17690037 13364
build-model-states-explored 17703229 13192
build-model-states-explored 17716394 13165
build-model-states-explored 17729714 13320
build-model-states-explored 17742192 12478
build-model-states-explored 17754542 12350
build-model-states-explored 17766726 12184
build-model-states-explored 17779448 12722
build-model-states-explored 17792142 12694
build-model-states-explored 17804579 12437
build-model-states-explored 17818013 13434
build-model-states-explored 17831916 13903
build-model-states-explored 17845908 13992
build-model-states-explored 17859707 13799
build-model-states-explored 17872360 12653
build-model-states-explored 17884749 12389
build-model-states-explored 17899224 14475
build-model-states-explored 17913186 13962
build-model-states-explored 17927111 13925
build-model-states-explored 17939715 12604
build-model-states-explored 17952340 12625
build-model-states-explored 17965115 12775
build-model-states-explored 17977901 12786
build-model-states-explored 17990513 12612
build-model-states-explored 18003115 12602
build-model-states-explored 18015763 12648
build-model-states-explored 18028932 13169
build-model-states-explored 18041776 12844
build-model-states-explored 18055092 13316
build-model-states-explored 18068446 13354
build-model-states-explored 18081052 12606
build-model-states-explored 18093690 12638
build-model-states-explored 18106022 12332
build-model-states-explored 18118879 12857
build-model-states-explored 18131868 12989
build-model-states-explored 18144891 13023
build-model-states-explored 18158105 13214
build-model-states-explored 18171389 13284
build-model-states-explored 18184071 12682
build-model-states-explored 18196728 12657
build-model-states-explored 18209059 12331
build-model-states-explored 18221885 12826
build-model-states-explored 18234914 13029
build-model-states-explored 18247803 12889
build-model-states-explored 18261091 13288
build-model-states-explored 18274475 13384
build-model-states-explored 18287138 12663
build-model-states-explored 18299775 12637
build-model-states-explored 18312190 12415
build-model-states-explored 18324633 12443
build-model-states-explored 18337762 13129
build-model-states-explored 18350701 12939
build-model-states-explored 18363899 13198
build-model-states-explored 18377260 13361
build-model-states-explored 18390130 12870
build-model-states-explored 18402827 12697
build-model-states-explored 18415433 12606
build-model-states-explored 18427754 12321
build-model-states-explored 18440638 12884
build-model-states-explored 18453505 12867
build-model-states-explored 18466454 12949
build-model-states-explored 18479678 13224
build-model-states-explored 18493142 13464
build-model-states-explored 18505783 12641
build-model-states-explored 18518439 12656
build-model-states-explored 18530986 12547
build-model-states-explored 18543266 12280
build-model-states-explored 18556181 12915
build-model-states-explored 18569013 12832
build-model-states-explored 18581992 12979
build-model-states-explored 18595047 13055
build-model-states-explored 18608449 13402
build-model-states-explored 18621086 12637
build-model-states-explored 18633735 12649
build-model-states-explored 18646252 12517
build-model-states-explored 18658504 12252
build-model-states-explored 18671344 12840
build-model-states-explored 18684227 12883
build-model-states-explored 18697057 12830
build-model-states-explored 18710294 13237
build-model-states-explored 18723725 13431
build-model-states-explored 18728526 4801
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18728526 0
build-model-states-explored 18733824 5298
build-model-states-explored 18746706 12882
build-model-states-explored 18759641 12935
build-model-states-explored 18771954 12313
build-model-states-explored 18784873 12919
build-model-states-explored 18798022 13149
build-model-states-explored 18811166 13144
build-model-states-explored 18824434 13268
build-model-states-explored 18838017 13583
build-model-states-explored 18851240 13223
build-model-states-explored 18863890 12650
build-model-states-explored 18876930 13040
build-model-states-explored 18890224 13294
build-model-states-explored 18903488 13264
build-model-states-explored 18916731 13243
build-model-states-explored 18930004 13273
build-model-states-explored 18943082 13078
build-model-states-explored 18956320 13238
build-model-states-explored 18969013 12693
build-model-states-explored 18982407 13394
build-model-states-explored 18995289 12882
build-model-states-explored 19008661 13372
build-model-states-explored 19021330 12669
build-model-states-explored 19034635 13305
build-model-states-explored 19047501 12866
build-model-states-explored 19060350 12849
build-model-states-explored 19073656 13306
build-model-states-explored 19086344 12688
build-model-states-explored 19099602 13258
build-model-states-explored 19112323 12721
build-model-states-explored 19124779 12456
build-model-states-explored 19137125 12346
build-model-states-explored 19149366 12241
build-model-states-explored 19161605 12239
build-model-states-explored 19174291 12686
build-model-states-explored 19187460 13169
build-model-states-explored 19200911 13451
build-model-states-explored 19213611 12700
build-model-states-explored 19226053 12442
build-model-states-explored 19238364 12311
build-model-states-explored 19250661 12297
build-model-states-explored 19263487 12826
build-model-states-explored 19275690 12203
build-model-states-explored 19287928 12238
build-model-states-explored 19301143 13215
build-model-states-explored 19314235 13092
build-model-states-explored 19327901 13666
build-model-states-explored 19341391 13490
build-model-states-explored 19354881 13490
build-model-states-explored 19368341 13460
build-model-states-explored 19381844 13503
build-model-states-explored 19395218 13374
build-model-states-explored 19408710 13492
build-model-states-explored 19421986 13276
build-model-states-explored 19434777 12791
build-model-states-explored 19447275 12498
build-model-states-explored 19459837 12562
build-model-states-explored 19472591 12754
build-model-states-explored 19485232 12641
build-model-states-explored 19497468 12236
build-model-states-explored 19511027 13559
build-model-states-explored 19525040 14013
build-model-states-explored 19539138 14098
build-model-states-explored 19553018 13880
build-model-states-explored 19566199 13181
build-model-states-explored 19578485 12286
build-model-states-explored 19592603 14118
build-model-states-explored 19607322 14719
build-model-states-explored 19621351 14029
build-model-states-explored 19633951 12600
build-model-states-explored 19646839 12888
build-model-states-explored 19659851 13012
build-model-states-explored 19673325 13474
build-model-states-explored 19686778 13453
build-model-states-explored 19699780 13002
build-model-states-explored 19713107 13327
build-model-states-explored 19726621 13514
build-model-states-explored 19739622 13001
build-model-states-explored 19752514 12892
build-model-states-explored 19765893 13379
build-model-states-explored 19779375 13482
build-model-states-explored 19792198 12823
build-model-states-explored 19805221 13023
build-model-states-explored 19818537 13316
build-model-states-explored 19831815 13278
build-model-states-explored 19844843 13028
build-model-states-explored 19857977 13134
build-model-states-explored 19871255 13278
build-model-states-explored 19884418 13163
build-model-states-explored 19897430 13012
build-model-states-explored 19910509 13079
build-model-states-explored 19923803 13294
build-model-states-explored 19937027 13224
build-model-states-explored 19950089 13062
build-model-states-explored 19963118 13029
build-model-states-explored 19976331 13213
build-model-states-explored 19989640 13309
build-model-states-explored 20002568 12928
build-model-states-explored 20015380 12812
build-model-states-explored 20028714 13334
build-model-states-explored 20042258 13544
build-model-states-explored 20055088 12830
build-model-states-explored 20068311 13223
build-model-states-explored 20081426 13115
build-model-states-explored 20094567 13141
build-model-states-explored 20107698 13131
build-model-states-explored 20120732 13034
build-model-states-explored 20133791 13059
build-model-states-explored 20146729 12938
build-model-states-explored 20159494 12765
build-model-states-explored 20172234 12740
build-model-states-explored 20184504 12270
build-model-states-explored 20196738 12234
build-model-states-explored 20209485 12747
build-model-states-explored 20221613 12128
build-model-states-explored 20233818 12205
build-model-states-explored 20246720 12902


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