java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files exploding-blocksworld.10.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.
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 5751 5750
build-model-states-explored 15049 9298
build-model-states-explored 25237 10188
build-model-states-explored 35850 10613
build-model-states-explored 45245 9395
build-model-states-explored 54525 9280
build-model-states-explored 65061 10536
build-model-states-explored 74440 9379
build-model-states-explored 82153 7713
build-model-states-explored 92233 10080
build-model-states-explored 103069 10836
build-model-states-explored 113650 10581
build-model-states-explored 123384 9734
build-model-states-explored 133688 10304
build-model-states-explored 143285 9597
build-model-states-explored 153775 10490
build-model-states-explored 160382 6607
build-model-states-explored 170984 10602
build-model-states-explored 182203 11219
build-model-states-explored 193276 11073
build-model-states-explored 203884 10608
build-model-states-explored 214281 10396
build-model-states-explored 224240 9959
build-model-states-explored 234075 9836
build-model-states-explored 244403 10328
build-model-states-explored 254718 10315
build-model-states-explored 265075 10357
build-model-states-explored 275017 9942
build-model-states-explored 285474 10457
build-model-states-explored 296188 10714
build-model-states-explored 306652 10463
build-model-states-explored 316148 9497
build-model-states-explored 319858 3710
build-model-states-explored 328968 9110
build-model-states-explored 339644 10676
build-model-states-explored 349830 10186
build-model-states-explored 358416 8586
build-model-states-explored 366643 8227
build-model-states-explored 375850 9207
build-model-states-explored 385160 9310
build-model-states-explored 394493 9333
build-model-states-explored 403811 9318
build-model-states-explored 413630 9819
build-model-states-explored 423084 9454
build-model-states-explored 432711 9627
build-model-states-explored 442570 9859
build-model-states-explored 451981 9411
build-model-states-explored 461625 9644
build-model-states-explored 471561 9936
build-model-states-explored 480576 9015
build-model-states-explored 490257 9681
build-model-states-explored 501045 10788
build-model-states-explored 512184 11139
build-model-states-explored 522868 10684
build-model-states-explored 533123 10255
build-model-states-explored 539622 6499
build-model-states-explored 549518 9896
build-model-states-explored 558990 9472
build-model-states-explored 568308 9318
build-model-states-explored 577709 9401
build-model-states-explored 587361 9652
build-model-states-explored 596839 9478
build-model-states-explored 605523 8684
build-model-states-explored 613979 8456
build-model-states-explored 617560 3581
build-model-states-explored 618488 928
build-model-states-explored 627348 8860
build-model-states-explored 636508 9160
build-model-states-explored 645535 9027
build-model-states-explored 654785 9250
build-model-states-explored 664068 9283
build-model-states-explored 673135 9067
build-model-states-explored 682863 9728
build-model-states-explored 692478 9615
build-model-states-explored 701967 9489
build-model-states-explored 711756 9789
build-model-states-explored 721458 9702
build-model-states-explored 730737 9279
build-model-states-explored 740661 9924
build-model-states-explored 749771 9110
build-model-states-explored 759771 10000
build-model-states-explored 769723 9952
build-model-states-explored 779895 10172
build-model-states-explored 789288 9393
build-model-states-explored 799241 9953
build-model-states-explored 808627 9386
build-model-states-explored 818713 10086
build-model-states-explored 830121 11408
build-model-states-explored 841459 11338
build-model-states-explored 852192 10733
build-model-states-explored 860828 8636
build-model-states-explored 871666 10838
build-model-states-explored 882398 10731
build-model-states-explored 892953 10555
build-model-states-explored 903040 10087
build-model-states-explored 913246 10206
build-model-states-explored 923345 10099
build-model-states-explored 932557 9212
build-model-states-explored 941531 8974
build-model-states-explored 951204 9673
build-model-states-explored 960947 9743
build-model-states-explored 970561 9614
build-model-states-explored 980394 9833
build-model-states-explored 990265 9871
build-model-states-explored 999754 9489
build-model-states-explored 1010171 10417
build-model-states-explored 1017856 7685
build-model-states-explored 1021196 3340
build-model-states-explored 1031387 10191
build-model-states-explored 1041532 10145
build-model-states-explored 1050985 9453
build-model-states-explored 1061125 10140
build-model-states-explored 1071092 9967
build-model-states-explored 1081066 9974
build-model-states-explored 1091322 10256
build-model-states-explored 1101119 9797
build-model-states-explored 1111222 10103
build-model-states-explored 1121457 10235
build-model-states-explored 1131097 9640
build-model-states-explored 1141135 10038
build-model-states-explored 1150918 9783
build-model-states-explored 1160862 9944
build-model-states-explored 1171574 10712
build-model-states-explored 1182148 10574
build-model-states-explored 1189878 7730
build-model-states-explored 1189878 0
build-model-states-explored 1189878 0
build-model-states-explored 1191512 1634
build-model-states-explored 1201677 10165
build-model-states-explored 1212045 10368
build-model-states-explored 1222428 10383
build-model-states-explored 1232878 10450
build-model-states-explored 1243551 10673
build-model-states-explored 1253404 9853
build-model-states-explored 1263439 10035
build-model-states-explored 1273708 10269
build-model-states-explored 1284142 10434
build-model-states-explored 1294688 10546
build-model-states-explored 1304737 10049
build-model-states-explored 1314714 9977
build-model-states-explored 1324976 10262
build-model-states-explored 1335363 10387
build-model-states-explored 1345821 10458
build-model-states-explored 1356461 10640
build-model-states-explored 1366699 10238
build-model-states-explored 1376335 9636
build-model-states-explored 1386486 10151
build-model-states-explored 1396735 10249
build-model-states-explored 1407128 10393
build-model-states-explored 1418183 11055
build-model-states-explored 1428924 10741
build-model-states-explored 1439632 10708
build-model-states-explored 1449402 9770
build-model-states-explored 1459609 10207
build-model-states-explored 1469970 10361
build-model-states-explored 1480321 10351
build-model-states-explored 1490613 10292
build-model-states-explored 1501176 10563
build-model-states-explored 1512075 10899
build-model-states-explored 1523532 11457
build-model-states-explored 1534996 11464
build-model-states-explored 1546416 11420
build-model-states-explored 1557410 10994
build-model-states-explored 1568172 10762
build-model-states-explored 1578985 10813
build-model-states-explored 1589687 10702
build-model-states-explored 1600440 10753
build-model-states-explored 1611071 10631
build-model-states-explored 1621803 10732
build-model-states-explored 1632543 10740
build-model-states-explored 1643319 10776
build-model-states-explored 1653565 10246
build-model-states-explored 1663739 10174
build-model-states-explored 1674082 10343
build-model-states-explored 1684575 10493
build-model-states-explored 1694441 9866
build-model-states-explored 1704537 10096
build-model-states-explored 1714910 10373
build-model-states-explored 1724679 9769
build-model-states-explored 1734870 10191
build-model-states-explored 1745292 10422
build-model-states-explored 1754989 9697
build-model-states-explored 1765008 10019
build-model-states-explored 1775106 10098
build-model-states-explored 1784798 9692
build-model-states-explored 1795015 10217
build-model-states-explored 1805437 10422
build-model-states-explored 1815254 9817
build-model-states-explored 1825306 10052
build-model-states-explored 1835320 10014
build-model-states-explored 1845291 9971
build-model-states-explored 1855314 10023
build-model-states-explored 1864999 9685
build-model-states-explored 1874752 9753
build-model-states-explored 1885003 10251
build-model-states-explored 1894183 9180
build-model-states-explored 1903361 9178
build-model-states-explored 1912146 8785
build-model-states-explored 1921506 9360
build-model-states-explored 1931038 9532
build-model-states-explored 1940486 9448
build-model-states-explored 1950167 9681
build-model-states-explored 1959795 9628
build-model-states-explored 1969276 9481
build-model-states-explored 1978923 9647
build-model-states-explored 1988281 9358
build-model-states-explored 1998233 9952
build-model-states-explored 2008499 10265
build-model-states-explored 2014706 6208
build-model-states-explored 2024241 9535
build-model-states-explored 2034115 9874
build-model-states-explored 2044169 10054
build-model-states-explored 2054506 10337
build-model-states-explored 2063990 9484
build-model-states-explored 2074051 10061
build-model-states-explored 2084154 10103
build-model-states-explored 2094035 9881
build-model-states-explored 2103271 9236
build-model-states-explored 2113618 10347
build-model-states-explored 2123408 9790
build-model-states-explored 2133574 10166
build-model-states-explored 2144091 10517
build-model-states-explored 2154094 10003
build-model-states-explored 2163489 9395
build-model-states-explored 2168573 5084
build-model-states-explored 2180668 12095
build-model-states-explored 2193951 13283
build-model-states-explored 2206790 12839
build-model-states-explored 2220361 13571
build-model-states-explored 2234104 13743
build-model-states-explored 2247576 13472
build-model-states-explored 2260965 13389
build-model-states-explored 2274665 13700
build-model-states-explored 2288295 13630
build-model-states-explored 2301872 13577
build-model-states-explored 2315067 13195
build-model-states-explored 2328716 13649
build-model-states-explored 2342321 13605
build-model-states-explored 2352538 10217
build-model-states-explored 2352538 0
build-model-states-explored 2352538 0
build-model-states-explored 2352538 0
build-model-states-explored 2352538 0
build-model-states-explored 2352538 0
build-model-states-explored 2356030 3492
build-model-states-explored 2369887 13857
build-model-states-explored 2383816 13929
build-model-states-explored 2397119 13303
build-model-states-explored 2406891 9772
build-model-states-explored 2406891 0
build-model-states-explored 2414146 7255
build-model-states-explored 2427696 13550
build-model-states-explored 2441420 13724
build-model-states-explored 2455106 13686
build-model-states-explored 2469007 13901
build-model-states-explored 2482797 13790
build-model-states-explored 2495643 12846
build-model-states-explored 2508781 13138
build-model-states-explored 2522342 13561
build-model-states-explored 2536070 13728
build-model-states-explored 2549943 13873
build-model-states-explored 2564112 14169
build-model-states-explored 2578043 13931
build-model-states-explored 2591799 13756
build-model-states-explored 2605532 13733
build-model-states-explored 2619310 13778
build-model-states-explored 2633528 14218
build-model-states-explored 2646526 12998
build-model-states-explored 2660031 13505
build-model-states-explored 2673770 13739
build-model-states-explored 2687617 13847
build-model-states-explored 2701624 14007
build-model-states-explored 2715949 14325
build-model-states-explored 2729110 13161
build-model-states-explored 2742354 13244
build-model-states-explored 2755902 13548
build-model-states-explored 2769729 13827
build-model-states-explored 2783731 14002
build-model-states-explored 2798404 14673
build-model-states-explored 2813084 14680
build-model-states-explored 2827606 14522
build-model-states-explored 2841400 13794
build-model-states-explored 2855076 13676
build-model-states-explored 2868806 13730
build-model-states-explored 2882539 13733
build-model-states-explored 2895934 13395
build-model-states-explored 2909668 13734
build-model-states-explored 2923458 13790
build-model-states-explored 2936830 13372
build-model-states-explored 2949650 12820
build-model-states-explored 2962476 12826
build-model-states-explored 2975636 13160
build-model-states-explored 2988613 12977
build-model-states-explored 3001687 13074
build-model-states-explored 3014537 12850
build-model-states-explored 3026374 11837
build-model-states-explored 3038839 12465
build-model-states-explored 3049405 10566
build-model-states-explored 3059816 10411
build-model-states-explored 3070321 10505
build-model-states-explored 3080877 10556
build-model-states-explored 3091877 11000
build-model-states-explored 3103441 11564
build-model-states-explored 3114824 11383
build-model-states-explored 3126281 11457
build-model-states-explored 3137734 11453
build-model-states-explored 3149095 11361
build-model-states-explored 3160556 11461
build-model-states-explored 3171962 11406
build-model-states-explored 3183357 11395
build-model-states-explored 3194998 11641
build-model-states-explored 3206476 11478
build-model-states-explored 3218367 11891
build-model-states-explored 3229631 11264
build-model-states-explored 3241051 11420
build-model-states-explored 3252638 11587
build-model-states-explored 3264445 11807
build-model-states-explored 3276582 12137
build-model-states-explored 3288747 12165
build-model-states-explored 3300181 11434
build-model-states-explored 3312237 12056
build-model-states-explored 3324312 12075
build-model-states-explored 3336325 12013
build-model-states-explored 3348830 12505
build-model-states-explored 3359850 11020
build-model-states-explored 3371714 11864
build-model-states-explored 3383509 11795
build-model-states-explored 3395309 11800
build-model-states-explored 3407734 12425
build-model-states-explored 3419473 11739
build-model-states-explored 3430947 11474
build-model-states-explored 3442925 11978
build-model-states-explored 3454992 12067
build-model-states-explored 3467034 12042
build-model-states-explored 3479763 12729
build-model-states-explored 3490787 11024
build-model-states-explored 3502362 11575
build-model-states-explored 3514366 12004
build-model-states-explored 3526323 11957
build-model-states-explored 3538586 12263
build-model-states-explored 3550210 11624
build-model-states-explored 3561788 11578
build-model-states-explored 3573820 12032
build-model-states-explored 3585709 11889
build-model-states-explored 3598138 12429
build-model-states-explored 3609056 10918
build-model-states-explored 3620782 11726
build-model-states-explored 3632683 11901
build-model-states-explored 3645588 12905
build-model-states-explored 3658414 12826
build-model-states-explored 3672062 13648
build-model-states-explored 3682684 10622
build-model-states-explored 3686845 4161
build-model-states-explored 3698128 11283
build-model-states-explored 3709932 11804
build-model-states-explored 3721904 11972
build-model-states-explored 3733802 11898
build-model-states-explored 3745998 12196
build-model-states-explored 3758378 12380
build-model-states-explored 3770587 12209
build-model-states-explored 3783057 12470
build-model-states-explored 3795427 12370
build-model-states-explored 3808227 12800
build-model-states-explored 3821405 13178
build-model-states-explored 3832862 11457
build-model-states-explored 3844200 11338
build-model-states-explored 3855868 11668
build-model-states-explored 3867799 11931
build-model-states-explored 3880000 12201
build-model-states-explored 3892155 12155
build-model-states-explored 3904580 12425
build-model-states-explored 3916946 12366
build-model-states-explored 3930294 13348
build-model-states-explored 3943375 13081
build-model-states-explored 3954624 11249
build-model-states-explored 3965916 11292
build-model-states-explored 3977775 11859
build-model-states-explored 3989722 11947
build-model-states-explored 4001711 11989
build-model-states-explored 4014070 12359
build-model-states-explored 4026306 12236
build-model-states-explored 4038694 12388
build-model-states-explored 4051280 12586
build-model-states-explored 4063496 12216
build-model-states-explored 4076593 13097
build-model-states-explored 4089385 12792
build-model-states-explored 4100238 10853
build-model-states-explored 4111763 11525
build-model-states-explored 4123536 11773
build-model-states-explored 4135659 12123
build-model-states-explored 4147839 12180
build-model-states-explored 4160092 12253
build-model-states-explored 4172668 12576
build-model-states-explored 4184985 12317
build-model-states-explored 4196163 11178
build-model-states-explored 4200766 4603
build-model-states-explored 4200766 0
build-model-states-explored 4200766 0
build-model-states-explored 4200766 0
build-model-states-explored 4210163 9397
build-model-states-explored 4224018 13855
build-model-states-explored 4237695 13677
build-model-states-explored 4250422 12727
build-model-states-explored 4261577 11155
build-model-states-explored 4273298 11721
build-model-states-explored 4285348 12050
build-model-states-explored 4297398 12050
build-model-states-explored 4309783 12385
build-model-states-explored 4322377 12594
build-model-states-explored 4334699 12322
build-model-states-explored 4347225 12526
build-model-states-explored 4359924 12699
build-model-states-explored 4371766 11842
build-model-states-explored 4384445 12679
build-model-states-explored 4396886 12441
build-model-states-explored 4411296 14410
build-model-states-explored 4425942 14646
build-model-states-explored 4440603 14661
build-model-states-explored 4455241 14638
build-model-states-explored 4469789 14548
build-model-states-explored 4483623 13834
build-model-states-explored 4497335 13712
build-model-states-explored 4511027 13692
build-model-states-explored 4524635 13608
build-model-states-explored 4532468 7833
build-model-states-explored 4541109 8641
build-model-states-explored 4554805 13696
build-model-states-explored 4568545 13740
build-model-states-explored 4582142 13597
build-model-states-explored 4595893 13751
build-model-states-explored 4609508 13615
build-model-states-explored 4623167 13659
build-model-states-explored 4636756 13589
build-model-states-explored 4650423 13667
build-model-states-explored 4663732 13309
build-model-states-explored 4677529 13797
build-model-states-explored 4690126 12597
build-model-states-explored 4698985 8859
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4698985 0
build-model-states-explored 4701355 2370
build-model-states-explored 4714171 12816
build-model-states-explored 4727238 13067
build-model-states-explored 4740052 12814
build-model-states-explored 4752785 12733
build-model-states-explored 4766280 13495
build-model-states-explored 4778580 12300
build-model-states-explored 4790392 11812
build-model-states-explored 4801754 11362
build-model-states-explored 4813703 11949
build-model-states-explored 4825797 12094
build-model-states-explored 4837838 12041
build-model-states-explored 4850399 12561
build-model-states-explored 4861770 11371
build-model-states-explored 4873197 11427
build-model-states-explored 4885057 11860
build-model-states-explored 4897075 12018
build-model-states-explored 4909083 12008
build-model-states-explored 4921643 12560
build-model-states-explored 4932758 11115
build-model-states-explored 4944423 11665
build-model-states-explored 4956340 11917
build-model-states-explored 4968299 11959
build-model-states-explored 4980587 12288
build-model-states-explored 4991910 11323
build-model-states-explored 5003312 11402
build-model-states-explored 5014942 11630
build-model-states-explored 5026897 11955
build-model-states-explored 5039655 12758
build-model-states-explored 5052925 13270
build-model-states-explored 5065639 12714
build-model-states-explored 5078103 12464
build-model-states-explored 5090745 12642
build-model-states-explored 5103549 12804
build-model-states-explored 5116172 12623
build-model-states-explored 5128691 12519
build-model-states-explored 5141715 13024
build-model-states-explored 5154308 12593
build-model-states-explored 5167465 13157
build-model-states-explored 5180034 12569
build-model-states-explored 5191707 11673
build-model-states-explored 5204206 12499
build-model-states-explored 5215336 11130
build-model-states-explored 5226687 11351
build-model-states-explored 5238166 11479
build-model-states-explored 5249346 11180
build-model-states-explored 5261959 12613
build-model-states-explored 5273801 11842
build-model-states-explored 5285427 11626
build-model-states-explored 5296830 11403
build-model-states-explored 5308906 12076
build-model-states-explored 5319656 10750
build-model-states-explored 5330482 10826
build-model-states-explored 5340147 9665
build-model-states-explored 5350176 10029
build-model-states-explored 5360687 10511
build-model-states-explored 5370792 10105
build-model-states-explored 5380976 10184
build-model-states-explored 5391736 10760
build-model-states-explored 5403050 11314
build-model-states-explored 5413852 10802
build-model-states-explored 5424870 11018
build-model-states-explored 5436281 11411
build-model-states-explored 5446869 10588
build-model-states-explored 5458183 11314
build-model-states-explored 5469225 11042
build-model-states-explored 5480967 11742
build-model-states-explored 5491958 10991
build-model-states-explored 5503564 11606
build-model-states-explored 5514389 10825
build-model-states-explored 5525391 11002
build-model-states-explored 5536895 11504
build-model-states-explored 5547469 10574
build-model-states-explored 5559054 11585
build-model-states-explored 5570247 11193
build-model-states-explored 5581014 10767
build-model-states-explored 5592227 11213
build-model-states-explored 5602956 10729
build-model-states-explored 5614279 11323
build-model-states-explored 5626512 12233
build-model-states-explored 5638389 11877
build-model-states-explored 5650499 12110
build-model-states-explored 5662411 11912
build-model-states-explored 5674668 12257
build-model-states-explored 5685740 11072
build-model-states-explored 5696840 11100
build-model-states-explored 5708699 11859
build-model-states-explored 5720634 11935
build-model-states-explored 5732653 12019
build-model-states-explored 5744416 11763
build-model-states-explored 5756669 12253
build-model-states-explored 5768902 12233
build-model-states-explored 5780117 11215
build-model-states-explored 5790915 10798
build-model-states-explored 5802710 11795
build-model-states-explored 5814501 11791
build-model-states-explored 5826194 11693
build-model-states-explored 5837928 11734
build-model-states-explored 5850617 12689
build-model-states-explored 5861817 11200
build-model-states-explored 5873633 11816
build-model-states-explored 5885739 12106
build-model-states-explored 5897843 12104
build-model-states-explored 5910079 12236
build-model-states-explored 5921621 11542
build-model-states-explored 5932960 11339
build-model-states-explored 5944850 11890
build-model-states-explored 5956924 12074
build-model-states-explored 5969364 12440
build-model-states-explored 5981291 11927
build-model-states-explored 5993144 11853
build-model-states-explored 6005301 12157
build-model-states-explored 6016315 11014
build-model-states-explored 6027286 10971
build-model-states-explored 6039028 11742
build-model-states-explored 6050782 11754
build-model-states-explored 6062622 11840
build-model-states-explored 6074646 12024
build-model-states-explored 6086619 11973
build-model-states-explored 6098681 12062
build-model-states-explored 6108683 10002
build-model-states-explored 6119255 10572
build-model-states-explored 6130808 11553
build-model-states-explored 6142552 11744
build-model-states-explored 6154513 11961
build-model-states-explored 6167255 12742
build-model-states-explored 6179310 12055
build-model-states-explored 6192003 12693
build-model-states-explored 6205385 13382
build-model-states-explored 6217610 12225
build-model-states-explored 6228903 11293
build-model-states-explored 6240872 11969
build-model-states-explored 6252892 12020
build-model-states-explored 6264900 12008
build-model-states-explored 6277244 12344
build-model-states-explored 6289857 12613
build-model-states-explored 6302415 12558
build-model-states-explored 6314867 12452
build-model-states-explored 6327733 12866
build-model-states-explored 6340884 13151
build-model-states-explored 6352234 11350
build-model-states-explored 6363789 11555
build-model-states-explored 6375698 11909
build-model-states-explored 6387387 11689
build-model-states-explored 6399812 12425
build-model-states-explored 6411332 11520
build-model-states-explored 6411332 0
build-model-states-explored 6417675 6343
build-model-states-explored 6430072 12397
build-model-states-explored 6442452 12380
build-model-states-explored 6453890 11438
build-model-states-explored 6466982 13092
build-model-states-explored 6479662 12680
build-model-states-explored 6491996 12334
build-model-states-explored 6504620 12624
build-model-states-explored 6517986 13366
build-model-states-explored 6530694 12708
build-model-states-explored 6542622 11928
build-model-states-explored 6555181 12559
build-model-states-explored 6562214 7033
build-model-states-explored 6568861 6647
build-model-states-explored 6579778 10917
build-model-states-explored 6591467 11689
build-model-states-explored 6603147 11680
build-model-states-explored 6614920 11773
build-model-states-explored 6626834 11914
build-model-states-explored 6639077 12243
build-model-states-explored 6651625 12548
build-model-states-explored 6663735 12110
build-model-states-explored 6676101 12366
build-model-states-explored 6688550 12449
build-model-states-explored 6701743 13193
build-model-states-explored 6713947 12204
build-model-states-explored 6726124 12177
build-model-states-explored 6739124 13000
build-model-states-explored 6751989 12865
build-model-states-explored 6763807 11818
build-model-states-explored 6775575 11768
build-model-states-explored 6786001 10426
build-model-states-explored 6797354 11353
build-model-states-explored 6808979 11625
build-model-states-explored 6820558 11579
build-model-states-explored 6832614 12056
build-model-states-explored 6844621 12007
build-model-states-explored 6857159 12538
build-model-states-explored 6869110 11951
build-model-states-explored 6881491 12381
build-model-states-explored 6894271 12780
build-model-states-explored 6907506 13235
build-model-states-explored 6920903 13397
build-model-states-explored 6934283 13380
build-model-states-explored 6947300 13017
build-model-states-explored 6959375 12075
build-model-states-explored 6971558 12183
build-model-states-explored 6983974 12416
build-model-states-explored 6995979 12005
build-model-states-explored 7008225 12246
build-model-states-explored 7020236 12011
build-model-states-explored 7032548 12312
build-model-states-explored 7044790 12242
build-model-states-explored 7058619 13829
build-model-states-explored 7072281 13662
build-model-states-explored 7084788 12507
build-model-states-explored 7095709 10921
build-model-states-explored 7107295 11586
build-model-states-explored 7119152 11857
build-model-states-explored 7131037 11885
build-model-states-explored 7143074 12037
build-model-states-explored 7155577 12503
build-model-states-explored 7168006 12429
build-model-states-explored 7180415 12409
build-model-states-explored 7192843 12428
build-model-states-explored 7205572 12729
build-model-states-explored 7217988 12416
build-model-states-explored 7230842 12854
build-model-states-explored 7243566 12724
build-model-states-explored 7257181 13615
build-model-states-explored 7270423 13242
build-model-states-explored 7281883 11460
build-model-states-explored 7293263 11380
build-model-states-explored 7304952 11689
build-model-states-explored 7316856 11904
build-model-states-explored 7329140 12284
build-model-states-explored 7341607 12467
build-model-states-explored 7353836 12229
build-model-states-explored 7366141 12305
build-model-states-explored 7378778 12637
build-model-states-explored 7391922 13144
build-model-states-explored 7404259 12337
build-model-states-explored 7418634 14375
build-model-states-explored 7433401 14767
build-model-states-explored 7448168 14767
build-model-states-explored 7462829 14661
build-model-states-explored 7477519 14690
build-model-states-explored 7492203 14684
build-model-states-explored 7506902 14699
build-model-states-explored 7521293 14391
build-model-states-explored 7535128 13835
build-model-states-explored 7548711 13583
build-model-states-explored 7562676 13965
build-model-states-explored 7576477 13801
build-model-states-explored 7590338 13861
build-model-states-explored 7604090 13752
build-model-states-explored 7612390 8300
build-model-states-explored 7612390 0
build-model-states-explored 7612390 0
build-model-states-explored 7612390 0
build-model-states-explored 7612390 0
build-model-states-explored 7612390 0
build-model-states-explored 7612390 0
build-model-states-explored 7612390 0
build-model-states-explored 7617866 5476
build-model-states-explored 7632008 14142
build-model-states-explored 7645921 13913
build-model-states-explored 7659861 13940
build-model-states-explored 7673942 14081
build-model-states-explored 7687746 13804
build-model-states-explored 7701642 13896
build-model-states-explored 7715649 14007
build-model-states-explored 7729877 14228
build-model-states-explored 7743800 13923
build-model-states-explored 7757815 14015
build-model-states-explored 7771803 13988
build-model-states-explored 7785808 14005
build-model-states-explored 7799705 13897
build-model-states-explored 7813533 13828
build-model-states-explored 7827708 14175
build-model-states-explored 7842104 14396
build-model-states-explored 7855203 13099
build-model-states-explored 7868523 13320
build-model-states-explored 7881652 13129
build-model-states-explored 7894634 12982
build-model-states-explored 7907804 13170
build-model-states-explored 7921192 13388
build-model-states-explored 7934431 13239
build-model-states-explored 7947704 13273
build-model-states-explored 7960680 12976
build-model-states-explored 7973845 13165
build-model-states-explored 7987238 13393
build-model-states-explored 8000404 13166
build-model-states-explored 8013973 13569
build-model-states-explored 8026948 12975
build-model-states-explored 8040130 13182
build-model-states-explored 8053689 13559
build-model-states-explored 8066649 12960
build-model-states-explored 8079836 13187
build-model-states-explored 8092738 12902
build-model-states-explored 8106757 14019
build-model-states-explored 8120937 14180
build-model-states-explored 8133617 12680
build-model-states-explored 8145891 12274
build-model-states-explored 8158054 12163
build-model-states-explored 8170277 12223
build-model-states-explored 8182578 12301
build-model-states-explored 8194944 12366
build-model-states-explored 8207541 12597
build-model-states-explored 8219610 12069
build-model-states-explored 8232863 13253
build-model-states-explored 8245758 12895
build-model-states-explored 8256976 11218
build-model-states-explored 8268779 11803
build-model-states-explored 8279583 10804
build-model-states-explored 8290497 10914
build-model-states-explored 8302426 11929
build-model-states-explored 8313858 11432
build-model-states-explored 8325708 11850
build-model-states-explored 8337687 11979
build-model-states-explored 8349522 11835
build-model-states-explored 8361147 11625
build-model-states-explored 8372922 11775
build-model-states-explored 8385165 12243
build-model-states-explored 8392947 7782
build-model-states-explored 8405082 12135
build-model-states-explored 8416364 11282
build-model-states-explored 8428005 11641
build-model-states-explored 8440321 12316
build-model-states-explored 8451832 11511
build-model-states-explored 8463472 11640
build-model-states-explored 8476227 12755
build-model-states-explored 8489269 13042
build-model-states-explored 8501944 12675
build-model-states-explored 8514528 12584
build-model-states-explored 8526469 11941
build-model-states-explored 8538643 12174
build-model-states-explored 8551189 12546
build-model-states-explored 8563701 12512
build-model-states-explored 8576276 12575
build-model-states-explored 8588945 12669
build-model-states-explored 8601935 12990
build-model-states-explored 8613855 11920
build-model-states-explored 8626133 12278
build-model-states-explored 8638633 12500
build-model-states-explored 8651091 12458
build-model-states-explored 8663692 12601
build-model-states-explored 8676625 12933
build-model-states-explored 8689253 12628
build-model-states-explored 8701129 11876
build-model-states-explored 8713340 12211
build-model-states-explored 8725896 12556
build-model-states-explored 8738518 12622
build-model-states-explored 8751187 12669
build-model-states-explored 8764207 13020
build-model-states-explored 8776002 11795
build-model-states-explored 8788128 12126
build-model-states-explored 8800486 12358
build-model-states-explored 8812993 12507
build-model-states-explored 8825465 12472
build-model-states-explored 8838403 12938
build-model-states-explored 8851014 12611
build-model-states-explored 8863120 12106
build-model-states-explored 8875275 12155
build-model-states-explored 8887757 12482
build-model-states-explored 8900284 12527
build-model-states-explored 8912984 12700
build-model-states-explored 8925742 12758
build-model-states-explored 8938674 12932
build-model-states-explored 8951475 12801
build-model-states-explored 8963454 11979
build-model-states-explored 8975693 12239
build-model-states-explored 8988156 12463
build-model-states-explored 9000702 12546
build-model-states-explored 9013714 13012
build-model-states-explored 9026194 12480
build-model-states-explored 9039730 13536
build-model-states-explored 9045706 5976
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9045706 0
build-model-states-explored 9054238 8532
build-model-states-explored 9065857 11619
build-model-states-explored 9078264 12407
build-model-states-explored 9090712 12448
build-model-states-explored 9103305 12593
build-model-states-explored 9116030 12725
build-model-states-explored 9128494 12464
build-model-states-explored 9140311 11817
build-model-states-explored 9152664 12353
build-model-states-explored 9165017 12353
build-model-states-explored 9177549 12532
build-model-states-explored 9190815 13266
build-model-states-explored 9204435 13620
build-model-states-explored 9217796 13361
build-model-states-explored 9231207 13411
build-model-states-explored 9244310 13103
build-model-states-explored 9257192 12882
build-model-states-explored 9270092 12900
build-model-states-explored 9283408 13316
build-model-states-explored 9296596 13188
build-model-states-explored 9309684 13088
build-model-states-explored 9322735 13051
build-model-states-explored 9334724 11989
build-model-states-explored 9346587 11863
build-model-states-explored 9359069 12482
build-model-states-explored 9371554 12485
build-model-states-explored 9383378 11824
build-model-states-explored 9394992 11614
build-model-states-explored 9407940 12948
build-model-states-explored 9420914 12974
build-model-states-explored 9434157 13243
build-model-states-explored 9447032 12875
build-model-states-explored 9460183 13151
build-model-states-explored 9473052 12869
build-model-states-explored 9486148 13096
build-model-states-explored 9498922 12774
build-model-states-explored 9512016 13094
build-model-states-explored 9524809 12793
build-model-states-explored 9537717 12908
build-model-states-explored 9550738 13021
build-model-states-explored 9564345 13607
build-model-states-explored 9577293 12948
build-model-states-explored 9590245 12952
build-model-states-explored 9602132 11887
build-model-states-explored 9614285 12153
build-model-states-explored 9626968 12683
build-model-states-explored 9639216 12248
build-model-states-explored 9651722 12506
build-model-states-explored 9664459 12737
build-model-states-explored 9677399 12940
build-model-states-explored 9690636 13237
build-model-states-explored 9703523 12887
build-model-states-explored 9716647 13124
build-model-states-explored 9729347 12700
build-model-states-explored 9742223 12876
build-model-states-explored 9754955 12732
build-model-states-explored 9767681 12726
build-model-states-explored 9780497 12816
build-model-states-explored 9793343 12846
build-model-states-explored 9806564 13221
build-model-states-explored 9819435 12871
build-model-states-explored 9832603 13168
build-model-states-explored 9845745 13142
build-model-states-explored 9858948 13203
build-model-states-explored 9872225 13277
build-model-states-explored 9884467 12242
build-model-states-explored 9896095 11628
build-model-states-explored 9908585 12490
build-model-states-explored 9921238 12653
build-model-states-explored 9933780 12542
build-model-states-explored 9946486 12706
build-model-states-explored 9959097 12611
build-model-states-explored 9972185 13088
build-model-states-explored 9985088 12903
build-model-states-explored 9997786 12698
build-model-states-explored 10010814 13028
build-model-states-explored 10023730 12916
build-model-states-explored 10037053 13323
build-model-states-explored 10050020 12967
build-model-states-explored 10063253 13233
build-model-states-explored 10076240 12987
build-model-states-explored 10089124 12884
build-model-states-explored 10101840 12716
build-model-states-explored 10115175 13335
build-model-states-explored 10128646 13471
build-model-states-explored 10141746 13100
build-model-states-explored 10154900 13154
build-model-states-explored 10166888 11988
build-model-states-explored 10178783 11895
build-model-states-explored 10191097 12314
build-model-states-explored 10203591 12494
build-model-states-explored 10216088 12497
build-model-states-explored 10228506 12418
build-model-states-explored 10241607 13101
build-model-states-explored 10254368 12761
build-model-states-explored 10267006 12638
build-model-states-explored 10280031 13025
build-model-states-explored 10292897 12866
build-model-states-explored 10306338 13441
build-model-states-explored 10319149 12811
build-model-states-explored 10332504 13355
build-model-states-explored 10345158 12654
build-model-states-explored 10357986 12828
build-model-states-explored 10370967 12981
build-model-states-explored 10384444 13477
build-model-states-explored 10397083 12639
build-model-states-explored 10410312 13229
build-model-states-explored 10423187 12875
build-model-states-explored 10436370 13183
build-model-states-explored 10448210 11840
build-model-states-explored 10460197 11987
build-model-states-explored 10472584 12387
build-model-states-explored 10485020 12436
build-model-states-explored 10497287 12267
build-model-states-explored 10510306 13019
build-model-states-explored 10523008 12702
build-model-states-explored 10535763 12755
build-model-states-explored 10548774 13011
build-model-states-explored 10561594 12820
build-model-states-explored 10574798 13204
build-model-states-explored 10587593 12795
build-model-states-explored 10600565 12972
build-model-states-explored 10613514 12949
build-model-states-explored 10626245 12731
build-model-states-explored 10639554 13309
build-model-states-explored 10652752 13198
build-model-states-explored 10665582 12830
build-model-states-explored 10677743 12161
build-model-states-explored 10689615 11872
build-model-states-explored 10701932 12317
build-model-states-explored 10714267 12335
build-model-states-explored 10726659 12392
build-model-states-explored 10739334 12675
build-model-states-explored 10752098 12764
build-model-states-explored 10764808 12710
build-model-states-explored 10777624 12816
build-model-states-explored 10790837 13213
build-model-states-explored 10803532 12695
build-model-states-explored 10816512 12980
build-model-states-explored 10829357 12845
build-model-states-explored 10842052 12695
build-model-states-explored 10855499 13447
build-model-states-explored 10869368 13869
build-model-states-explored 10883044 13676
build-model-states-explored 10896494 13450
build-model-states-explored 10910034 13540
build-model-states-explored 10923577 13543
build-model-states-explored 10937302 13725
build-model-states-explored 10950997 13695
build-model-states-explored 10964767 13770
build-model-states-explored 10978692 13925
build-model-states-explored 10991600 12908
build-model-states-explored 11004763 13163
build-model-states-explored 11017620 12857
build-model-states-explored 11029523 11903
build-model-states-explored 11041602 12079
build-model-states-explored 11053919 12317
build-model-states-explored 11066261 12342
build-model-states-explored 11078700 12439
build-model-states-explored 11091324 12624
build-model-states-explored 11104093 12769
build-model-states-explored 11117277 13184
build-model-states-explored 11129962 12685
build-model-states-explored 11143191 13229
build-model-states-explored 11155851 12660
build-model-states-explored 11168985 13134
build-model-states-explored 11181621 12636
build-model-states-explored 11194476 12855
build-model-states-explored 11207336 12860
build-model-states-explored 11220329 12993
build-model-states-explored 11233356 13027
build-model-states-explored 11246399 13043
build-model-states-explored 11259246 12847
build-model-states-explored 11272451 13205
build-model-states-explored 11286180 13729
build-model-states-explored 11299514 13334
build-model-states-explored 11312206 12692
build-model-states-explored 11325405 13199
build-model-states-explored 11338778 13373
build-model-states-explored 11351991 13213
build-model-states-explored 11364728 12737
build-model-states-explored 11377961 13233
build-model-states-explored 11391202 13241
build-model-states-explored 11404854 13652
build-model-states-explored 11417638 12784
build-model-states-explored 11430840 13202
build-model-states-explored 11444445 13605
build-model-states-explored 11457960 13515
build-model-states-explored 11470860 12900
build-model-states-explored 11483954 13094
build-model-states-explored 11497531 13577
build-model-states-explored 11510894 13363
build-model-states-explored 11524296 13402
build-model-states-explored 11538204 13908
build-model-states-explored 11551913 13709
build-model-states-explored 11565694 13781
build-model-states-explored 11579196 13502
build-model-states-explored 11592144 12948
build-model-states-explored 11605059 12915
build-model-states-explored 11616865 11806
build-model-states-explored 11629000 12135
build-model-states-explored 11641237 12237
build-model-states-explored 11653436 12199
build-model-states-explored 11666067 12631
build-model-states-explored 11678837 12770
build-model-states-explored 11691469 12632
build-model-states-explored 11704355 12886
build-model-states-explored 11717220 12865
build-model-states-explored 11729827 12607
build-model-states-explored 11742555 12728
build-model-states-explored 11755528 12973
build-model-states-explored 11768277 12749
build-model-states-explored 11781429 13152
build-model-states-explored 11794340 12911
build-model-states-explored 11807521 13181
build-model-states-explored 11820994 13473
build-model-states-explored 11833697 12703
build-model-states-explored 11846692 12995
build-model-states-explored 11859957 13265
build-model-states-explored 11872733 12776
build-model-states-explored 11885654 12921
build-model-states-explored 11898842 13188
build-model-states-explored 11912466 13624
build-model-states-explored 11925243 12777
build-model-states-explored 11938440 13197
build-model-states-explored 11952034 13594
build-model-states-explored 11965530 13496
build-model-states-explored 11978425 12895
build-model-states-explored 11991516 13091
build-model-states-explored 12005080 13564
build-model-states-explored 12018618 13538
build-model-states-explored 12032343 13725
build-model-states-explored 12046187 13844
build-model-states-explored 12060028 13841
build-model-states-explored 12073496 13468
build-model-states-explored 12086516 13020
build-model-states-explored 12100043 13527
build-model-states-explored 12112289 12246
build-model-states-explored 12123787 11498
build-model-states-explored 12136113 12326
build-model-states-explored 12148444 12331
build-model-states-explored 12160861 12417
build-model-states-explored 12173536 12675
build-model-states-explored 12185923 12387
build-model-states-explored 12199057 13134
build-model-states-explored 12211694 12637
build-model-states-explored 12224761 13067
build-model-states-explored 12237316 12555
build-model-states-explored 12250356 13040
build-model-states-explored 12263025 12669
build-model-states-explored 12276241 13216
build-model-states-explored 12288908 12667
build-model-states-explored 12302056 13148
build-model-states-explored 12314800 12744
build-model-states-explored 12328160 13360
build-model-states-explored 12340828 12668
build-model-states-explored 12354046 13218
build-model-states-explored 12367556 13510
build-model-states-explored 12381048 13492
build-model-states-explored 12393751 12703
build-model-states-explored 12406743 12992
build-model-states-explored 12409220 2477
build-model-states-explored 12416859 7639
build-model-states-explored 12430069 13210
build-model-states-explored 12442644 12575
build-model-states-explored 12455573 12929
build-model-states-explored 12468948 13375
build-model-states-explored 12482242 13294
build-model-states-explored 12495537 13295
build-model-states-explored 12508506 12969
build-model-states-explored 12521918 13412
build-model-states-explored 12535375 13457
build-model-states-explored 12549009 13634
build-model-states-explored 12561671 12662
build-model-states-explored 12574917 13246
build-model-states-explored 12588365 13448
build-model-states-explored 12601967 13602
build-model-states-explored 12615662 13695
build-model-states-explored 12629511 13849
build-model-states-explored 12643226 13715
build-model-states-explored 12657077 13851
build-model-states-explored 12670384 13307
build-model-states-explored 12683413 13029
build-model-states-explored 12696030 12617
build-model-states-explored 12707721 11691
build-model-states-explored 12719903 12182
build-model-states-explored 12732171 12268
build-model-states-explored 12744641 12470
build-model-states-explored 12757127 12486
build-model-states-explored 12770151 13024
build-model-states-explored 12782776 12625
build-model-states-explored 12795337 12561
build-model-states-explored 12808129 12792
build-model-states-explored 12820928 12799
build-model-states-explored 12833578 12650
build-model-states-explored 12846703 13125
build-model-states-explored 12859508 12805
build-model-states-explored 12872887 13379
build-model-states-explored 12885616 12729
build-model-states-explored 12899021 13405
build-model-states-explored 12912456 13435
build-model-states-explored 12925073 12617
build-model-states-explored 12938119 13046
build-model-states-explored 12951487 13368
build-model-states-explored 12964136 12649
build-model-states-explored 12977158 13022
build-model-states-explored 12990352 13194
build-model-states-explored 13003937 13585
build-model-states-explored 13016690 12753
build-model-states-explored 13029955 13265
build-model-states-explored 13043377 13422
build-model-states-explored 13057122 13745
build-model-states-explored 13069914 12792
build-model-states-explored 13083067 13153
build-model-states-explored 13096377 13310
build-model-states-explored 13110273 13896
build-model-states-explored 13124765 14492
build-model-states-explored 13138571 13806
build-model-states-explored 13152185 13614
build-model-states-explored 13166000 13815
build-model-states-explored 13179325 13325
build-model-states-explored 13192222 12897
build-model-states-explored 13205564 13342
build-model-states-explored 13218807 13243
build-model-states-explored 13232440 13633
build-model-states-explored 13247091 14651
build-model-states-explored 13261513 14422
build-model-states-explored 13275357 13844
build-model-states-explored 13289249 13892
build-model-states-explored 13302961 13712
build-model-states-explored 13316210 13249
build-model-states-explored 13329284 13074
build-model-states-explored 13342476 13192
build-model-states-explored 13354851 12375
build-model-states-explored 13366361 11510
build-model-states-explored 13378780 12419
build-model-states-explored 13391293 12513
build-model-states-explored 13403768 12475
build-model-states-explored 13416247 12479
build-model-states-explored 13429077 12830
build-model-states-explored 13441875 12798
build-model-states-explored 13454912 13037
build-model-states-explored 13467668 12756
build-model-states-explored 13480598 12930
build-model-states-explored 13493618 13020
build-model-states-explored 13506797 13179
build-model-states-explored 13519706 12909
build-model-states-explored 13532889 13183
build-model-states-explored 13545573 12684
build-model-states-explored 13558363 12790
build-model-states-explored 13571450 13087
build-model-states-explored 13585045 13595
build-model-states-explored 13597915 12870
build-model-states-explored 13611070 13155
build-model-states-explored 13624551 13481
build-model-states-explored 13638020 13469
build-model-states-explored 13651257 13237
build-model-states-explored 13664259 13002
build-model-states-explored 13677707 13448
build-model-states-explored 13691176 13469
build-model-states-explored 13704642 13466
build-model-states-explored 13717272 12630
build-model-states-explored 13730452 13180
build-model-states-explored 13743823 13371
build-model-states-explored 13756774 12951
build-model-states-explored 13769690 12916
build-model-states-explored 13783045 13355
build-model-states-explored 13796896 13851
build-model-states-explored 13809885 12989
build-model-states-explored 13822929 13044
build-model-states-explored 13836347 13418
build-model-states-explored 13849731 13384
build-model-states-explored 13863335 13604
build-model-states-explored 13877063 13728
build-model-states-explored 13890974 13911
build-model-states-explored 13903596 12622
build-model-states-explored 13916819 13223
build-model-states-explored 13930228 13409
build-model-states-explored 13943957 13729
build-model-states-explored 13958084 14127
build-model-states-explored 13973131 15047
build-model-states-explored 13987993 14862
build-model-states-explored 14002822 14829
build-model-states-explored 14017639 14817
build-model-states-explored 14032489 14850
build-model-states-explored 14047482 14993
build-model-states-explored 14062317 14835
build-model-states-explored 14077265 14948
build-model-states-explored 14092193 14928
build-model-states-explored 14107019 14826
build-model-states-explored 14121799 14780
build-model-states-explored 14136447 14648
build-model-states-explored 14151047 14600
build-model-states-explored 14164841 13794
build-model-states-explored 14178842 14001
build-model-states-explored 14192731 13889
build-model-states-explored 14206855 14124
build-model-states-explored 14220816 13961
build-model-states-explored 14234453 13637
build-model-states-explored 14248522 14069
build-model-states-explored 14262289 13767
build-model-states-explored 14276044 13755
build-model-states-explored 14290063 14019
build-model-states-explored 14303618 13555
build-model-states-explored 14317319 13701
build-model-states-explored 14331353 14034
build-model-states-explored 14345534 14181
build-model-states-explored 14359723 14189
build-model-states-explored 14373854 14131
build-model-states-explored 14387984 14130
build-model-states-explored 14402120 14136
build-model-states-explored 14416078 13958
build-model-states-explored 14430283 14205
build-model-states-explored 14444191 13908
build-model-states-explored 14458102 13911
build-model-states-explored 14472180 14078
build-model-states-explored 14486288 14108
build-model-states-explored 14500106 13818
build-model-states-explored 14513813 13707
build-model-states-explored 14528188 14375
build-model-states-explored 14542373 14185
build-model-states-explored 14556377 14004
build-model-states-explored 14570495 14118
build-model-states-explored 14584367 13872
build-model-states-explored 14598272 13905
build-model-states-explored 14612215 13943
build-model-states-explored 14626216 14001
build-model-states-explored 14640186 13970
build-model-states-explored 14654267 14081
build-model-states-explored 14668172 13905
build-model-states-explored 14682136 13964
build-model-states-explored 14695990 13854
build-model-states-explored 14709969 13979
build-model-states-explored 14723921 13952
build-model-states-explored 14737616 13695
build-model-states-explored 14751402 13786
build-model-states-explored 14765428 14026
build-model-states-explored 14779656 14228
build-model-states-explored 14794424 14768
build-model-states-explored 14807553 13129
build-model-states-explored 14820632 13079
build-model-states-explored 14833629 12997
build-model-states-explored 14846362 12733
build-model-states-explored 14859337 12975
build-model-states-explored 14872620 13283
build-model-states-explored 14885558 12938
build-model-states-explored 14898788 13230
build-model-states-explored 14912077 13289
build-model-states-explored 14924973 12896
build-model-states-explored 14931920 6947
build-model-states-explored 14931920 0
build-model-states-explored 14931920 0
build-model-states-explored 14931921 1
build-model-states-explored 14944794 12873
build-model-states-explored 14957921 13127
build-model-states-explored 14971172 13251
build-model-states-explored 14984774 13602
build-model-states-explored 14997676 12902
build-model-states-explored 15010922 13246
build-model-states-explored 15024570 13648
build-model-states-explored 15037376 12806
build-model-states-explored 15050446 13070
build-model-states-explored 15063558 13112
build-model-states-explored 15076576 13018
build-model-states-explored 15090451 13875
build-model-states-explored 15104532 14081
build-model-states-explored 15117895 13363
build-model-states-explored 15130808 12913
build-model-states-explored 15143990 13182
build-model-states-explored 15157079 13089
build-model-states-explored 15170153 13074
build-model-states-explored 15183457 13304
build-model-states-explored 15195787 12330
build-model-states-explored 15207200 11413
build-model-states-explored 15219539 12339
build-model-states-explored 15231865 12326
build-model-states-explored 15244512 12647
build-model-states-explored 15256919 12407
build-model-states-explored 15269293 12374
build-model-states-explored 15282615 13322
build-model-states-explored 15295269 12654
build-model-states-explored 15308104 12835
build-model-states-explored 15320877 12773
build-model-states-explored 15333787 12910
build-model-states-explored 15346762 12975
build-model-states-explored 15360144 13382
build-model-states-explored 15372854 12710
build-model-states-explored 15386229 13375
build-model-states-explored 15398859 12630
build-model-states-explored 15411980 13121
build-model-states-explored 15424536 12556
build-model-states-explored 15438214 13678
build-model-states-explored 15451443 13229
build-model-states-explored 15464495 13052
build-model-states-explored 15477404 12909
build-model-states-explored 15489282 11878
build-model-states-explored 15501317 12035
build-model-states-explored 15513621 12304
build-model-states-explored 15526282 12661
build-model-states-explored 15538712 12430
build-model-states-explored 15551089 12377
build-model-states-explored 15563939 12850
build-model-states-explored 15576778 12839
build-model-states-explored 15589390 12612
build-model-states-explored 15602348 12958
build-model-states-explored 15615150 12802
build-model-states-explored 15628553 13403
build-model-states-explored 15641318 12765
build-model-states-explored 15654615 13297
build-model-states-explored 15667262 12647
build-model-states-explored 15680076 12814
build-model-states-explored 15692768 12692
build-model-states-explored 15706513 13745
build-model-states-explored 15719122 12609
build-model-states-explored 15732260 13138
build-model-states-explored 15745282 13022
build-model-states-explored 15758308 13026
build-model-states-explored 15771594 13286
build-model-states-explored 15783646 12052
build-model-states-explored 15795183 11537
build-model-states-explored 15807419 12236
build-model-states-explored 15819669 12250
build-model-states-explored 15832075 12406
build-model-states-explored 15844455 12380
build-model-states-explored 15857319 12864
build-model-states-explored 15869988 12669
build-model-states-explored 15882968 12980
build-model-states-explored 15895505 12537
build-model-states-explored 15908307 12802
build-model-states-explored 15921185 12878
build-model-states-explored 15933878 12693
build-model-states-explored 15946849 12971
build-model-states-explored 15959572 12723
build-model-states-explored 15972591 13019
build-model-states-explored 15985468 12877
build-model-states-explored 15998487 13019
build-model-states-explored 16012101 13614
build-model-states-explored 16024931 12830
build-model-states-explored 16038026 13095
build-model-states-explored 16049860 11834
build-model-states-explored 16061727 11867
build-model-states-explored 16065870 4143
build-model-states-explored 16067801 1931
build-model-states-explored 16074230 6429
build-model-states-explored 16082987 8757
build-model-states-explored 16095082 12095
build-model-states-explored 16107442 12360
build-model-states-explored 16120344 12902
build-model-states-explored 16133081 12737
build-model-states-explored 16145619 12538
build-model-states-explored 16158266 12647
build-model-states-explored 16171106 12840
build-model-states-explored 16183518 12412
build-model-states-explored 16196587 13069
build-model-states-explored 16209282 12695
build-model-states-explored 16222562 13280
build-model-states-explored 16235250 12688
build-model-states-explored 16248684 13434
build-model-states-explored 16262083 13399
build-model-states-explored 16275175 13092
build-model-states-explored 16288504 13329
build-model-states-explored 16301886 13382
build-model-states-explored 16314914 13028
build-model-states-explored 16328790 13876
build-model-states-explored 16342321 13531
build-model-states-explored 16355288 12967
build-model-states-explored 16368200 12912
build-model-states-explored 16381425 13225
build-model-states-explored 16394711 13286
build-model-states-explored 16407455 12744
build-model-states-explored 16420265 12810
build-model-states-explored 16433000 12735
build-model-states-explored 16446420 13420
build-model-states-explored 16459680 13260
build-model-states-explored 16473143 13463
build-model-states-explored 16486053 12910
build-model-states-explored 16499245 13192
build-model-states-explored 16512664 13419
build-model-states-explored 16526256 13592
build-model-states-explored 16539273 13017
build-model-states-explored 16552264 12991
build-model-states-explored 16565543 13279
build-model-states-explored 16579014 13471
build-model-states-explored 16591803 12789
build-model-states-explored 16604824 13021
build-model-states-explored 16618285 13461
build-model-states-explored 16632137 13852
build-model-states-explored 16645106 12969
build-model-states-explored 16658064 12958
build-model-states-explored 16671342 13278
build-model-states-explored 16684382 13040
build-model-states-explored 16697169 12787
build-model-states-explored 16710157 12988
build-model-states-explored 16724190 14033
build-model-states-explored 16738286 14096
build-model-states-explored 16752137 13851
build-model-states-explored 16765131 12994
build-model-states-explored 16777215 12084
build-model-states-explored 16777232 17
build-model-states-explored 16782020 4788
build-model-states-explored 16789114 7094
build-model-states-explored 16800023 10909
build-model-states-explored 16812375 12352
build-model-states-explored 16824710 12335
build-model-states-explored 16837195 12485
build-model-states-explored 16849320 12125
build-model-states-explored 16862311 12991
build-model-states-explored 16875473 13162
build-model-states-explored 16888217 12744
build-model-states-explored 16900609 12392
build-model-states-explored 16912241 11632
build-model-states-explored 16924405 12164
build-model-states-explored 16936817 12412
build-model-states-explored 16949149 12332
build-model-states-explored 16961261 12112
build-model-states-explored 16973889 12628
build-model-states-explored 16986674 12785
build-model-states-explored 16999683 13009
build-model-states-explored 17011647 11964
build-model-states-explored 17023710 12063
build-model-states-explored 17035985 12275
build-model-states-explored 17048252 12267
build-model-states-explored 17060615 12363
build-model-states-explored 17073298 12683
build-model-states-explored 17086218 12920
build-model-states-explored 17100678 14460
build-model-states-explored 17113010 12332
build-model-states-explored 17125606 12596
build-model-states-explored 17138370 12764
build-model-states-explored 17150360 11990
build-model-states-explored 17162410 12050
build-model-states-explored 17174720 12310
build-model-states-explored 17187064 12344
build-model-states-explored 17199073 12009
build-model-states-explored 17211087 12014
build-model-states-explored 17223140 12053
build-model-states-explored 17235211 12071
build-model-states-explored 17247287 12076
build-model-states-explored 17259462 12175
build-model-states-explored 17272694 13232
build-model-states-explored 17285798 13104
build-model-states-explored 17298041 12243
build-model-states-explored 17309102 11061
build-model-states-explored 17321131 12029
build-model-states-explored 17332728 11597
build-model-states-explored 17344862 12134
build-model-states-explored 17356437 11575
build-model-states-explored 17368946 12509
build-model-states-explored 17381540 12594
build-model-states-explored 17392688 11148
build-model-states-explored 17403957 11269
build-model-states-explored 17415103 11146
build-model-states-explored 17425733 10630
build-model-states-explored 17436568 10835
build-model-states-explored 17447479 10911
build-model-states-explored 17459181 11702
build-model-states-explored 17470659 11478
build-model-states-explored 17482409 11750
build-model-states-explored 17494019 11610
build-model-states-explored 17505767 11748
build-model-states-explored 17517969 12202
build-model-states-explored 17529499 11530
build-model-states-explored 17541703 12204
build-model-states-explored 17553178 11475
build-model-states-explored 17564842 11664
build-model-states-explored 17576604 11762
build-model-states-explored 17588199 11595
build-model-states-explored 17600001 11802
build-model-states-explored 17611534 11533
build-model-states-explored 17623368 11834
build-model-states-explored 17634825 11457
build-model-states-explored 17646490 11665
build-model-states-explored 17658154 11664
build-model-states-explored 17670500 12346
build-model-states-explored 17683382 12882
build-model-states-explored 17695970 12588
build-model-states-explored 17708318 12348
build-model-states-explored 17720868 12550
build-model-states-explored 17733660 12792
build-model-states-explored 17746271 12611
build-model-states-explored 17758238 11967
build-model-states-explored 17769682 11444
build-model-states-explored 17781679 11997
build-model-states-explored 17794161 12482
build-model-states-explored 17806458 12297
build-model-states-explored 17818731 12273
build-model-states-explored 17831054 12323
build-model-states-explored 17843942 12888
build-model-states-explored 17856651 12709
build-model-states-explored 17869322 12671
build-model-states-explored 17881081 11759
build-model-states-explored 17892600 11519
build-model-states-explored 17905107 12507
build-model-states-explored 17909326 4219
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17909326 0
build-model-states-explored 17916843 7517
build-model-states-explored 17925042 8199
build-model-states-explored 17935807 10765
build-model-states-explored 17948107 12300
build-model-states-explored 17960860 12753
build-model-states-explored 17973462 12602
build-model-states-explored 17985468 12006
build-model-states-explored 17997365 11897
build-model-states-explored 18009868 12503
build-model-states-explored 18022435 12567
build-model-states-explored 18035109 12674
build-model-states-explored 18047638 12529
build-model-states-explored 18060760 13122
build-model-states-explored 18073405 12645
build-model-states-explored 18085266 11861
build-model-states-explored 18097439 12173
build-model-states-explored 18109906 12467
build-model-states-explored 18122356 12450
build-model-states-explored 18134973 12617
build-model-states-explored 18147820 12847
build-model-states-explored 18160600 12780
build-model-states-explored 18173464 12864
build-model-states-explored 18185953 12489
build-model-states-explored 18198282 12329
build-model-states-explored 18202694 4412
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18202694 0
build-model-states-explored 18211258 8564
build-model-states-explored 18223160 11902
build-model-states-explored 18235595 12435
build-model-states-explored 18248232 12637
build-model-states-explored 18260880 12648
build-model-states-explored 18273332 12452
build-model-states-explored 18285975 12643
build-model-states-explored 18299217 13242
build-model-states-explored 18311864 12647
build-model-states-explored 18324628 12764
build-model-states-explored 18336420 11792
build-model-states-explored 18348483 12063
build-model-states-explored 18360936 12453
build-model-states-explored 18373553 12617
build-model-states-explored 18386063 12510
build-model-states-explored 18398473 12410
build-model-states-explored 18411936 13463
build-model-states-explored 18425664 13728
build-model-states-explored 18438519 12855
build-model-states-explored 18451282 12763
build-model-states-explored 18463634 12352
build-model-states-explored 18475417 11783
build-model-states-explored 18487282 11865
build-model-states-explored 18499668 12386
build-model-states-explored 18512317 12649
build-model-states-explored 18524764 12447
build-model-states-explored 18537302 12538
build-model-states-explored 18550145 12843
build-model-states-explored 18563124 12979
build-model-states-explored 18575900 12776
build-model-states-explored 18587864 11964
build-model-states-explored 18599509 11645
build-model-states-explored 18611884 12375
build-model-states-explored 18624541 12657
build-model-states-explored 18636863 12322
build-model-states-explored 18649309 12446
build-model-states-explored 18662484 13175
build-model-states-explored 18675571 13087
build-model-states-explored 18689025 13454
build-model-states-explored 18702760 13735
build-model-states-explored 18715806 13046
build-model-states-explored 18729121 13315
build-model-states-explored 18742247 13126
build-model-states-explored 18755530 13283
build-model-states-explored 18769136 13606
build-model-states-explored 18782010 12874
build-model-states-explored 18795487 13477
build-model-states-explored 18808365 12878
build-model-states-explored 18821828 13463
build-model-states-explored 18834425 12597
build-model-states-explored 18847309 12884
build-model-states-explored 18860572 13263
build-model-states-explored 18873761 13189
build-model-states-explored 18887104 13343
build-model-states-explored 18900141 13037
build-model-states-explored 18913317 13176
build-model-states-explored 18925695 12378
build-model-states-explored 18938586 12891
build-model-states-explored 18951058 12472
build-model-states-explored 18962792 11734
build-model-states-explored 18974797 12005
build-model-states-explored 18987675 12878
build-model-states-explored 19000217 12542
build-model-states-explored 19012817 12600
build-model-states-explored 19025310 12493
build-model-states-explored 19038285 12975
build-model-states-explored 19051386 13101
build-model-states-explored 19064910 13524
build-model-states-explored 19078144 13234
build-model-states-explored 19091649 13505
build-model-states-explored 19104376 12727
build-model-states-explored 19117822 13446
build-model-states-explored 19131354 13532
build-model-states-explored 19144127 12773
build-model-states-explored 19157556 13429
build-model-states-explored 19170933 13377
build-model-states-explored 19183672 12739
build-model-states-explored 19196937 13265
build-model-states-explored 19209767 12830
build-model-states-explored 19223217 13450
build-model-states-explored 19236825 13608
build-model-states-explored 19249764 12939
build-model-states-explored 19263259 13495
build-model-states-explored 19276059 12800
build-model-states-explored 19289489 13430
build-model-states-explored 19302659 13170
build-model-states-explored 19315702 13043
build-model-states-explored 19328838 13136
build-model-states-explored 19341207 12369
build-model-states-explored 19353832 12625
build-model-states-explored 19365612 11780
build-model-states-explored 19377651 12039
build-model-states-explored 19390339 12688
build-model-states-explored 19403027 12688
build-model-states-explored 19415461 12434
build-model-states-explored 19428006 12545
build-model-states-explored 19441025 13019
build-model-states-explored 19454421 13396
build-model-states-explored 19467765 13344
build-model-states-explored 19481187 13422
build-model-states-explored 19493965 12778
build-model-states-explored 19507347 13382
build-model-states-explored 19520828 13481
build-model-states-explored 19533715 12887
build-model-states-explored 19547217 13502
build-model-states-explored 19559904 12687
build-model-states-explored 19573084 13180
build-model-states-explored 19585836 12752
build-model-states-explored 19599245 13409
build-model-states-explored 19612198 12953
build-model-states-explored 19625294 13096
build-model-states-explored 19638730 13436
build-model-states-explored 19651959 13229
build-model-states-explored 19665305 13346
build-model-states-explored 19678434 13129
build-model-states-explored 19690532 12098
build-model-states-explored 19702807 12275
build-model-states-explored 19715573 12766
build-model-states-explored 19728423 12850
build-model-states-explored 19741278 12855
build-model-states-explored 19754049 12771
build-model-states-explored 19767530 13481
build-model-states-explored 19780636 13106
build-model-states-explored 19793940 13304
build-model-states-explored 19807250 13310
build-model-states-explored 19820381 13131
build-model-states-explored 19833872 13491
build-model-states-explored 19847177 13305
build-model-states-explored 19860719 13542
build-model-states-explored 19873889 13170
build-model-states-explored 19887404 13515
build-model-states-explored 19900402 12998
build-model-states-explored 19914134 13732
build-model-states-explored 19927481 13347
build-model-states-explored 19940691 13210
build-model-states-explored 19953558 12867
build-model-states-explored 19965531 11973
build-model-states-explored 19978048 12517
build-model-states-explored 19990931 12883
build-model-states-explored 20003779 12848
build-model-states-explored 20016432 12653
build-model-states-explored 20029678 13246
build-model-states-explored 20042747 13069
build-model-states-explored 20055831 13084
build-model-states-explored 20069220 13389
build-model-states-explored 20082297 13077
build-model-states-explored 20095974 13677
build-model-states-explored 20109093 13119
build-model-states-explored 20122653 13560
build-model-states-explored 20135729 13076
build-model-states-explored 20148827 13098
build-model-states-explored 20162440 13613
build-model-states-explored 20176382 13942
build-model-states-explored 20189123 12741
build-model-states-explored 20202473 13350
build-model-states-explored 20215233 12760
build-model-states-explored 20228632 13399
build-model-states-explored 20240971 12339
build-model-states-explored 20253931 12960
build-model-states-explored 20267186 13255
build-model-states-explored 20280549 13363
build-model-states-explored 20293475 12926
build-model-states-explored 20306481 13006
build-model-states-explored 20319261 12780
build-model-states-explored 20331825 12564
----------
Computation aborted after 1800.339893579483 seconds since the total time limit of 1800 seconds was exceeded.