java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files tireworld.45.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 12908 12908
build-model-states-explored 57037 44129
build-model-states-explored 105252 48215
build-model-states-explored 156217 50965
build-model-states-explored 200992 44775
build-model-states-explored 252037 51044
build-model-states-explored 300658 48622
build-model-states-explored 352090 51431
build-model-states-explored 397076 44986
build-model-states-explored 438512 41436
build-model-states-explored 489539 51027
build-model-states-explored 539620 50081
build-model-states-explored 582192 42571
build-model-states-explored 632470 50279
build-model-states-explored 681993 49523
build-model-states-explored 733064 51071
build-model-states-explored 783382 50318
build-model-states-explored 805812 22430
build-model-states-explored 855644 49832
build-model-states-explored 902324 46680
build-model-states-explored 951366 49042
build-model-states-explored 999366 48000
build-model-states-explored 1048385 49019
build-model-states-explored 1097102 48717
build-model-states-explored 1128590 31488
build-model-states-explored 1171616 43026
build-model-states-explored 1221145 49529
build-model-states-explored 1269802 48657
build-model-states-explored 1319159 49357
build-model-states-explored 1366692 47533
build-model-states-explored 1415406 48714
build-model-states-explored 1463347 47941
build-model-states-explored 1511877 48529
build-model-states-explored 1560784 48908
build-model-states-explored 1609171 48387
build-model-states-explored 1626816 17645
build-model-states-explored 1651558 24742
build-model-states-explored 1698995 47436
build-model-states-explored 1746787 47792
build-model-states-explored 1788181 41394
build-model-states-explored 1836536 48356
build-model-states-explored 1883020 46483
build-model-states-explored 1929344 46324
build-model-states-explored 1974981 45636
build-model-states-explored 2022950 47970
build-model-states-explored 2066934 43984
build-model-states-explored 2113728 46794
build-model-states-explored 2159506 45778
build-model-states-explored 2206282 46776
build-model-states-explored 2253152 46870
build-model-states-explored 2298589 45437
build-model-states-explored 2343544 44955
build-model-states-explored 2361109 17565
build-model-states-explored 2368791 7682
build-model-states-explored 2415317 46526
build-model-states-explored 2461250 45933
build-model-states-explored 2509857 48606
build-model-states-explored 2555103 45247
build-model-states-explored 2602744 47641
build-model-states-explored 2649357 46613
build-model-states-explored 2695798 46441
build-model-states-explored 2739559 43760
build-model-states-explored 2784765 45206
build-model-states-explored 2832844 48078
build-model-states-explored 2875899 43056
build-model-states-explored 2921536 45637
build-model-states-explored 2967889 46353
build-model-states-explored 3013198 45309
build-model-states-explored 3059647 46448
build-model-states-explored 3105958 46312
build-model-states-explored 3151668 45710
build-model-states-explored 3195975 44306
build-model-states-explored 3240342 44368
build-model-states-explored 3284987 44644
build-model-states-explored 3297848 12862
build-model-states-explored 3297848 0
build-model-states-explored 3320872 23024
build-model-states-explored 3364312 43440
build-model-states-explored 3408404 44092
build-model-states-explored 3453495 45091
build-model-states-explored 3497368 43873
build-model-states-explored 3539254 41885
build-model-states-explored 3585302 46048
build-model-states-explored 3618569 33267
build-model-states-explored 3663462 44893
build-model-states-explored 3707497 44035
build-model-states-explored 3750372 42875
build-model-states-explored 3792632 42260
build-model-states-explored 3833994 41362
build-model-states-explored 3879597 45603
build-model-states-explored 3921671 42074
build-model-states-explored 3960777 39105
build-model-states-explored 4004133 43356
build-model-states-explored 4048787 44654
build-model-states-explored 4089972 41185
build-model-states-explored 4133817 43845
build-model-states-explored 4176409 42592
build-model-states-explored 4218270 41861
build-model-states-explored 4261921 43651
build-model-states-explored 4304369 42448
build-model-states-explored 4344798 40429
build-model-states-explored 4386848 42050
build-model-states-explored 4427130 40281
build-model-states-explored 4468434 41305
build-model-states-explored 4511084 42650
build-model-states-explored 4553389 42305
build-model-states-explored 4593586 40196
build-model-states-explored 4635952 42366
build-model-states-explored 4676707 40756
build-model-states-explored 4721261 44554
build-model-states-explored 4761021 39760
build-model-states-explored 4798955 37934
build-model-states-explored 4842230 43275
build-model-states-explored 4885978 43748
build-model-states-explored 4925307 39329
build-model-states-explored 4957464 32157
build-model-states-explored 4957464 0
build-model-states-explored 4957464 0
build-model-states-explored 4957464 0
build-model-states-explored 4957464 0
build-model-states-explored 4976549 19085
build-model-states-explored 5019400 42851
build-model-states-explored 5063087 43687
build-model-states-explored 5101723 38635
build-model-states-explored 5145257 43535
build-model-states-explored 5186556 41299
build-model-states-explored 5231424 44868
build-model-states-explored 5276075 44651
build-model-states-explored 5320088 44013
build-model-states-explored 5376649 56561
build-model-states-explored 5432038 55388
build-model-states-explored 5483483 51446
build-model-states-explored 5538726 55243
build-model-states-explored 5591199 52473
build-model-states-explored 5644856 53657
build-model-states-explored 5699445 54589
build-model-states-explored 5752654 53209
build-model-states-explored 5803688 51034
build-model-states-explored 5855449 51761
build-model-states-explored 5905827 50377
build-model-states-explored 5960128 54301
build-model-states-explored 6010510 50382
build-model-states-explored 6066668 56158
build-model-states-explored 6121488 54821
build-model-states-explored 6172141 50652
build-model-states-explored 6225261 53121
build-model-states-explored 6282077 56815
build-model-states-explored 6338968 56891
build-model-states-explored 6387462 48495
build-model-states-explored 6442939 55477
build-model-states-explored 6500078 57139
build-model-states-explored 6552004 51926
build-model-states-explored 6606132 54128
build-model-states-explored 6657169 51037
build-model-states-explored 6697953 40784
build-model-states-explored 6697953 0
build-model-states-explored 6697953 0
build-model-states-explored 6697953 0
build-model-states-explored 6697953 0
build-model-states-explored 6734360 36407
build-model-states-explored 6782533 48173
build-model-states-explored 6831776 49243
build-model-states-explored 6882106 50330
build-model-states-explored 6936166 54060
build-model-states-explored 6987535 51369
build-model-states-explored 7029437 41902
build-model-states-explored 7079735 50298
build-model-states-explored 7131361 51625
build-model-states-explored 7183444 52083
build-model-states-explored 7229137 45694
build-model-states-explored 7279502 50364
build-model-states-explored 7315122 35620
build-model-states-explored 7361866 46744
build-model-states-explored 7413030 51164
build-model-states-explored 7459818 46787
build-model-states-explored 7509017 49200
build-model-states-explored 7557301 48283
build-model-states-explored 7604518 47218
build-model-states-explored 7650353 45835
build-model-states-explored 7696182 45829
build-model-states-explored 7743601 47419
build-model-states-explored 7789286 45685
build-model-states-explored 7837354 48068
build-model-states-explored 7881344 43990
build-model-states-explored 7931707 50363
build-model-states-explored 7980656 48949
build-model-states-explored 8033178 52522
build-model-states-explored 8076404 43226
build-model-states-explored 8128507 52103
build-model-states-explored 8170580 42073
build-model-states-explored 8223441 52861
build-model-states-explored 8277661 54220
build-model-states-explored 8321962 44300
build-model-states-explored 8365478 43516
build-model-states-explored 8417868 52390
build-model-states-explored 8468290 50422
build-model-states-explored 8516681 48391
build-model-states-explored 8563116 46434
build-model-states-explored 8611896 48780
build-model-states-explored 8659464 47569
build-model-states-explored 8704382 44918
build-model-states-explored 8752420 48038
build-model-states-explored 8789993 37573
build-model-states-explored 8838342 48349
build-model-states-explored 8882845 44503
build-model-states-explored 8927206 44361
build-model-states-explored 8975222 48016
build-model-states-explored 9028069 52846
build-model-states-explored 9072846 44778
build-model-states-explored 9109517 36671
build-model-states-explored 9149089 39571
build-model-states-explored 9204401 55312
build-model-states-explored 9248292 43891
build-model-states-explored 9294399 46108
build-model-states-explored 9335214 40815
build-model-states-explored 9379329 44115
build-model-states-explored 9425081 45752
build-model-states-explored 9468323 43242
build-model-states-explored 9511422 43098
build-model-states-explored 9559985 48564
build-model-states-explored 9600322 40337
build-model-states-explored 9644492 44170
build-model-states-explored 9690665 46173
build-model-states-explored 9731826 41160
build-model-states-explored 9775655 43830
build-model-states-explored 9818210 42555
build-model-states-explored 9856747 38536
build-model-states-explored 9897057 40311
build-model-states-explored 9939345 42288
build-model-states-explored 9984850 45505
build-model-states-explored 10020272 35422
build-model-states-explored 10063455 43183
build-model-states-explored 10107404 43949
build-model-states-explored 10145035 37631
build-model-states-explored 10186927 41891
build-model-states-explored 10233659 46733
build-model-states-explored 10279009 45349
build-model-states-explored 10326720 47711
build-model-states-explored 10367220 40501
build-model-states-explored 10404490 37270
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10404490 0
build-model-states-explored 10452261 47771
build-model-states-explored 10497724 45463
build-model-states-explored 10548152 50428
build-model-states-explored 10601565 53413
build-model-states-explored 10653648 52083
build-model-states-explored 10695424 41776
build-model-states-explored 10738732 43308
build-model-states-explored 10791887 53155
build-model-states-explored 10840499 48612
build-model-states-explored 10891807 51308
build-model-states-explored 10936506 44699
build-model-states-explored 10984288 47782
build-model-states-explored 11033459 49171
build-model-states-explored 11082328 48869
build-model-states-explored 11127292 44964
build-model-states-explored 11176961 49669
build-model-states-explored 11217608 40647
build-model-states-explored 11261436 43828
build-model-states-explored 11310879 49443
build-model-states-explored 11353795 42916
build-model-states-explored 11400929 47134
build-model-states-explored 11450286 49357
build-model-states-explored 11503492 53206
build-model-states-explored 11552002 48510
build-model-states-explored 11591288 39286
build-model-states-explored 11632007 40719
build-model-states-explored 11678898 46891
build-model-states-explored 11731639 52741
build-model-states-explored 11777805 46166
build-model-states-explored 11825673 47868
build-model-states-explored 11868316 42643
build-model-states-explored 11912815 44499
build-model-states-explored 11960319 47504
build-model-states-explored 12004978 44659
build-model-states-explored 12049313 44335
build-model-states-explored 12091655 42342
build-model-states-explored 12142313 50658
build-model-states-explored 12183715 41402
build-model-states-explored 12228876 45161
build-model-states-explored 12275959 47083
build-model-states-explored 12318682 42723
build-model-states-explored 12362406 43724
build-model-states-explored 12407463 45057
build-model-states-explored 12451211 43748
build-model-states-explored 12488355 37144
build-model-states-explored 12533584 45229
build-model-states-explored 12573020 39436
build-model-states-explored 12619632 46612
build-model-states-explored 12666555 46923
build-model-states-explored 12702373 35818
build-model-states-explored 12747412 45039
build-model-states-explored 12791865 44453
build-model-states-explored 12834553 42688
build-model-states-explored 12875674 41121
build-model-states-explored 12922097 46423
build-model-states-explored 12970207 48110
build-model-states-explored 13018073 47866
build-model-states-explored 13067307 49234
build-model-states-explored 13114222 46915
build-model-states-explored 13153997 39775
build-model-states-explored 13203794 49797
build-model-states-explored 13249731 45937
build-model-states-explored 13288091 38360
build-model-states-explored 13337004 48913
build-model-states-explored 13387738 50734
build-model-states-explored 13437712 49974
build-model-states-explored 13482049 44337
build-model-states-explored 13517255 35206
build-model-states-explored 13555589 38334
build-model-states-explored 13584363 28774
build-model-states-explored 13584363 0
build-model-states-explored 13584363 0
build-model-states-explored 13584363 0
build-model-states-explored 13584363 0
build-model-states-explored 13584363 0
build-model-states-explored 13584363 0
build-model-states-explored 13584363 0
build-model-states-explored 13584363 0
build-model-states-explored 13614974 30611
build-model-states-explored 13659674 44700
build-model-states-explored 13708946 49272
build-model-states-explored 13753563 44617
build-model-states-explored 13791699 38136
build-model-states-explored 13836049 44350
build-model-states-explored 13880694 44645
build-model-states-explored 13923484 42790
build-model-states-explored 13966626 43142
build-model-states-explored 14008859 42233
build-model-states-explored 14055235 46376
build-model-states-explored 14092147 36912
build-model-states-explored 14126892 34745
build-model-states-explored 14174241 47349
build-model-states-explored 14217538 43297
build-model-states-explored 14255298 37760
build-model-states-explored 14295847 40549
build-model-states-explored 14340397 44550
build-model-states-explored 14386592 46195
build-model-states-explored 14436553 49961
build-model-states-explored 14478795 42242
build-model-states-explored 14516784 37989
build-model-states-explored 14550258 33474
build-model-states-explored 14585855 35597
build-model-states-explored 14631900 46045
build-model-states-explored 14683358 51458
build-model-states-explored 14722000 38642
build-model-states-explored 14767766 45766
build-model-states-explored 14809484 41718
build-model-states-explored 14844588 35104
build-model-states-explored 14868557 23969
build-model-states-explored 14868557 0
build-model-states-explored 14868557 0
build-model-states-explored 14886768 18211
build-model-states-explored 14929903 43135
build-model-states-explored 14970508 40605
build-model-states-explored 15007514 37006
build-model-states-explored 15048795 41281
build-model-states-explored 15086312 37517
build-model-states-explored 15126907 40595
build-model-states-explored 15174563 47656
build-model-states-explored 15210708 36145
build-model-states-explored 15244964 34256
build-model-states-explored 15289980 45016
build-model-states-explored 15332729 42749
build-model-states-explored 15370829 38100
build-model-states-explored 15408651 37822
build-model-states-explored 15447634 38983
build-model-states-explored 15487168 39534
build-model-states-explored 15523837 36669
build-model-states-explored 15561366 37529
build-model-states-explored 15595719 34353
build-model-states-explored 15636675 40956
build-model-states-explored 15671013 34338
build-model-states-explored 15709261 38248
build-model-states-explored 15752767 43506
build-model-states-explored 15795202 42435
build-model-states-explored 15826186 30984
build-model-states-explored 15857867 31681
build-model-states-explored 15902027 44160
build-model-states-explored 15939559 37532
build-model-states-explored 15979160 39601
build-model-states-explored 16013400 34240
build-model-states-explored 16049594 36194
build-model-states-explored 16090624 41030
build-model-states-explored 16134309 43685
build-model-states-explored 16178742 44433
build-model-states-explored 16217506 38764
build-model-states-explored 16262870 45364
build-model-states-explored 16306896 44026
build-model-states-explored 16340816 33920
build-model-states-explored 16377947 37131
build-model-states-explored 16422366 44419
build-model-states-explored 16465116 42750
build-model-states-explored 16499779 34663
build-model-states-explored 16540495 40716
build-model-states-explored 16582426 41931
build-model-states-explored 16629985 47559
build-model-states-explored 16678192 48207
build-model-states-explored 16717722 39530
build-model-states-explored 16753801 36079
build-model-states-explored 16782016 28215
build-model-states-explored 16815730 33714
build-model-states-explored 16856641 40911
build-model-states-explored 16905582 48941
build-model-states-explored 16943920 38338
build-model-states-explored 16988127 44207
build-model-states-explored 17028319 40192
build-model-states-explored 17064424 36105
build-model-states-explored 17101145 36721
build-model-states-explored 17140410 39265
build-model-states-explored 17180987 40577
build-model-states-explored 17215874 34887
build-model-states-explored 17254753 38879
build-model-states-explored 17290038 35285
build-model-states-explored 17329019 38981
build-model-states-explored 17373404 44385
build-model-states-explored 17409481 36077
build-model-states-explored 17438060 28579
build-model-states-explored 17467910 29850
build-model-states-explored 17514789 46879
build-model-states-explored 17554495 39706
build-model-states-explored 17591443 36948
build-model-states-explored 17623310 31867
build-model-states-explored 17662300 38990
build-model-states-explored 17701292 38992
build-model-states-explored 17742571 41279
build-model-states-explored 17789177 46606
build-model-states-explored 17832247 43070
build-model-states-explored 17868623 36376
build-model-states-explored 17901661 33038
build-model-states-explored 17929603 27942
build-model-states-explored 17960413 30810
build-model-states-explored 17994020 33607
build-model-states-explored 18041312 47292
build-model-states-explored 18088501 47189
build-model-states-explored 18120051 31550
build-model-states-explored 18163398 43347
build-model-states-explored 18200216 36818
build-model-states-explored 18234630 34414
build-model-states-explored 18267743 33113
build-model-states-explored 18304128 36385
build-model-states-explored 18341299 37171
build-model-states-explored 18376175 34876
build-model-states-explored 18415643 39468
build-model-states-explored 18445368 29725
build-model-states-explored 18481259 35891
build-model-states-explored 18518363 37104
build-model-states-explored 18548854 30491
build-model-states-explored 18585965 37111
build-model-states-explored 18628821 42856
build-model-states-explored 18668258 39437
build-model-states-explored 18696341 28083
build-model-states-explored 18725946 29605
build-model-states-explored 18765212 39266
build-model-states-explored 18801054 35842
build-model-states-explored 18840662 39608
build-model-states-explored 18874615 33953
build-model-states-explored 18904566 29951
build-model-states-explored 18938035 33469
build-model-states-explored 18973484 35449
build-model-states-explored 19008881 35397
build-model-states-explored 19039812 30931
build-model-states-explored 19077842 38030
build-model-states-explored 19106971 29129
build-model-states-explored 19134057 27086
build-model-states-explored 19170586 36529
build-model-states-explored 19205851 35265
build-model-states-explored 19234342 28491
build-model-states-explored 19267732 33390
build-model-states-explored 19302665 34933
build-model-states-explored 19344771 42106
build-model-states-explored 19380433 35662
build-model-states-explored 19407493 27060
build-model-states-explored 19433958 26465
build-model-states-explored 19462153 28195
build-model-states-explored 19502692 40539
build-model-states-explored 19537591 34899
build-model-states-explored 19573213 35622
build-model-states-explored 19605817 32604
build-model-states-explored 19635728 29911
build-model-states-explored 19664750 29022
build-model-states-explored 19698416 33666
build-model-states-explored 19739488 41072
build-model-states-explored 19776904 37416
build-model-states-explored 19816959 40055
build-model-states-explored 19852999 36040
build-model-states-explored 19889731 36732
build-model-states-explored 19931316 41585
build-model-states-explored 19969470 38154
build-model-states-explored 19999565 30095
build-model-states-explored 20029478 29913
build-model-states-explored 20068449 38971
build-model-states-explored 20109021 40572
build-model-states-explored 20147729 38708
build-model-states-explored 20179694 31965
build-model-states-explored 20213865 34171
build-model-states-explored 20254139 40274
build-model-states-explored 20293954 39815
build-model-states-explored 20338149 44195
build-model-states-explored 20382229 44080
build-model-states-explored 20419024 36795
build-model-states-explored 20455978 36954
build-model-states-explored 20483009 27031
build-model-states-explored 20512660 29651
build-model-states-explored 20543627 30967
build-model-states-explored 20583372 39745
build-model-states-explored 20627386 44014
build-model-states-explored 20669484 42098
build-model-states-explored 20704058 34574
build-model-states-explored 20744243 40185
build-model-states-explored 20781269 37026
build-model-states-explored 20811170 29901
build-model-states-explored 20845127 33957
build-model-states-explored 20881317 36190
build-model-states-explored 20919783 38466
build-model-states-explored 20954202 34419
build-model-states-explored 20989125 34923
build-model-states-explored 21026989 37864
build-model-states-explored 21058113 31124
build-model-states-explored 21094574 36461
build-model-states-explored 21133911 39337
build-model-states-explored 21169890 35979
build-model-states-explored 21200999 31109
build-model-states-explored 21226174 25175
build-model-states-explored 21253579 27405
build-model-states-explored 21295778 42199
build-model-states-explored 21333394 37616
build-model-states-explored 21369694 36300
build-model-states-explored 21402041 32347
build-model-states-explored 21430198 28157
build-model-states-explored 21467892 37694
build-model-states-explored 21503152 35260
build-model-states-explored 21539776 36624
build-model-states-explored 21583342 43566
build-model-states-explored 21622615 39273
build-model-states-explored 21660696 38081
build-model-states-explored 21692852 32156
build-model-states-explored 21725628 32776
build-model-states-explored 21749569 23941
build-model-states-explored 21776267 26698
build-model-states-explored 21805187 28920
build-model-states-explored 21842461 37274
build-model-states-explored 21883189 40728
build-model-states-explored 21926593 43404
build-model-states-explored 21957543 30950
build-model-states-explored 21993191 35648
build-model-states-explored 22030146 36955
build-model-states-explored 22063503 33357
build-model-states-explored 22073598 10095
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22073598 0
build-model-states-explored 22083956 10358
build-model-states-explored 22119872 35916
build-model-states-explored 22158886 39014
build-model-states-explored 22197104 38218
build-model-states-explored 22234489 37385
build-model-states-explored 22274395 39906
build-model-states-explored 22309290 34895
build-model-states-explored 22339732 30442
build-model-states-explored 22382065 42333
build-model-states-explored 22419854 37789
build-model-states-explored 22450869 31015
build-model-states-explored 22491433 40564
build-model-states-explored 22536300 44867
build-model-states-explored 22577751 41451
build-model-states-explored 22610146 32395
build-model-states-explored 22640501 30355
build-model-states-explored 22673604 33103
build-model-states-explored 22723744 50140
build-model-states-explored 22758827 35083
build-model-states-explored 22798819 39992
build-model-states-explored 22834011 35192
build-model-states-explored 22866320 32309
build-model-states-explored 22902849 36529
build-model-states-explored 22939698 36849
build-model-states-explored 22976767 37069
build-model-states-explored 23010394 33627
build-model-states-explored 23047476 37082
build-model-states-explored 23084595 37119
build-model-states-explored 23112162 27567
build-model-states-explored 23145379 33217
build-model-states-explored 23184339 38960
build-model-states-explored 23220104 35765
build-model-states-explored 23250537 30433
build-model-states-explored 23286187 35650
build-model-states-explored 23323901 37714
build-model-states-explored 23366562 42661
build-model-states-explored 23405400 38838
build-model-states-explored 23439146 33746
build-model-states-explored 23465927 26781
build-model-states-explored 23495510 29583
build-model-states-explored 23531806 36296
build-model-states-explored 23576704 44898
build-model-states-explored 23608070 31366
build-model-states-explored 23647545 39475
build-model-states-explored 23682912 35367
build-model-states-explored 23712858 29946
build-model-states-explored 23746720 33862
build-model-states-explored 23784517 37797
build-model-states-explored 23827821 43304
build-model-states-explored 23868284 40463
build-model-states-explored 23911672 43388
build-model-states-explored 23949476 37804
build-model-states-explored 23990682 41206
build-model-states-explored 24034824 44142
build-model-states-explored 24075226 40402
build-model-states-explored 24109201 33975
build-model-states-explored 24141889 32688
build-model-states-explored 24182849 40960
build-model-states-explored 24226189 43340
build-model-states-explored 24269273 43084
build-model-states-explored 24305681 36408
build-model-states-explored 24341341 35660
build-model-states-explored 24386072 44731
build-model-states-explored 24429344 43272
build-model-states-explored 24477956 48612
build-model-states-explored 24523022 45066
build-model-states-explored 24565342 42320
build-model-states-explored 24605326 39984
build-model-states-explored 24638182 32856
build-model-states-explored 24669898 31716
build-model-states-explored 24703914 34016
build-model-states-explored 24747583 43669
build-model-states-explored 24795135 47552
build-model-states-explored 24842181 47046
build-model-states-explored 24878548 36367
build-model-states-explored 24922557 44009
build-model-states-explored 24962931 40374
build-model-states-explored 24996710 33779
build-model-states-explored 25033948 37238
build-model-states-explored 25076035 42087
build-model-states-explored 25115578 39543
build-model-states-explored 25153258 37680
build-model-states-explored 25194248 40990
build-model-states-explored 25232243 37995
build-model-states-explored 25267597 35354
build-model-states-explored 25308549 40952
build-model-states-explored 25352268 43719
build-model-states-explored 25387551 35283
build-model-states-explored 25419295 31744
build-model-states-explored 25449600 30305
build-model-states-explored 25487036 37436
build-model-states-explored 25530787 43751
build-model-states-explored 25569750 38963
build-model-states-explored 25607653 37903
build-model-states-explored 25640341 32688
build-model-states-explored 25677339 36998
build-model-states-explored 25718034 40695
build-model-states-explored 25758351 40317
build-model-states-explored 25802965 44614
build-model-states-explored 25846132 43167
build-model-states-explored 25891255 45123
build-model-states-explored 25926023 34768
build-model-states-explored 25962953 36930
build-model-states-explored 25992930 29977
build-model-states-explored 26022920 29990
build-model-states-explored 26054888 31968
build-model-states-explored 26095236 40348
build-model-states-explored 26139825 44589
build-model-states-explored 26186041 46216
build-model-states-explored 26221835 35794
build-model-states-explored 26260071 38236
build-model-states-explored 26300843 40772
build-model-states-explored 26337478 36635
build-model-states-explored 26365443 27965
build-model-states-explored 26397605 32162
build-model-states-explored 26433359 35754
build-model-states-explored 26465533 32174
build-model-states-explored 26500138 34605
build-model-states-explored 26531025 30887
build-model-states-explored 26568149 37124
build-model-states-explored 26597937 29788
build-model-states-explored 26622186 24249
build-model-states-explored 26653157 30971
build-model-states-explored 26689355 36198
build-model-states-explored 26722824 33469
build-model-states-explored 26748782 25958
build-model-states-explored 26780291 31509
build-model-states-explored 26814177 33886
build-model-states-explored 26853751 39574
build-model-states-explored 26894076 40325
build-model-states-explored 26926366 32290
build-model-states-explored 26952351 25985
build-model-states-explored 26977439 25088
build-model-states-explored 27004059 26620
build-model-states-explored 27038264 34205
build-model-states-explored 27080659 42395
build-model-states-explored 27109434 28775
build-model-states-explored 27145138 35704
build-model-states-explored 27177016 31878
build-model-states-explored 27207070 30054
build-model-states-explored 27233494 26424
build-model-states-explored 27263616 30122
build-model-states-explored 27296114 32498
build-model-states-explored 27327413 31299
build-model-states-explored 27358869 31456
build-model-states-explored 27389477 30608
build-model-states-explored 27418978 29501
build-model-states-explored 27452077 33099
build-model-states-explored 27483420 31343
build-model-states-explored 27508448 25028
build-model-states-explored 27532645 24197
build-model-states-explored 27563064 30419
build-model-states-explored 27596727 33663
build-model-states-explored 27617324 20597
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27617324 0
build-model-states-explored 27641124 23800
build-model-states-explored 27666480 25356
build-model-states-explored 27692991 26511
build-model-states-explored 27725230 32239
build-model-states-explored 27756976 31746
build-model-states-explored 27793449 36473
build-model-states-explored 27831541 38092
build-model-states-explored 27859655 28114
build-model-states-explored 27888905 29250
build-model-states-explored 27909766 20861
build-model-states-explored 27932988 23222
build-model-states-explored 27957720 24732
build-model-states-explored 27986312 28592
build-model-states-explored 28026368 40056
build-model-states-explored 28062066 35698
build-model-states-explored 28087122 25056
build-model-states-explored 28120648 33526
build-model-states-explored 28150017 29369
build-model-states-explored 28178162 28145
build-model-states-explored 28202153 23991
build-model-states-explored 28229987 27834
build-model-states-explored 28262543 32556
build-model-states-explored 28300389 37846
build-model-states-explored 28334165 33776
build-model-states-explored 28368195 34030
build-model-states-explored 28405420 37225
build-model-states-explored 28439051 33631
build-model-states-explored 28469186 30135
build-model-states-explored 28505630 36444
build-model-states-explored 28545489 39859
build-model-states-explored 28580386 34897
build-model-states-explored 28612567 32181
build-model-states-explored 28636322 23755
build-model-states-explored 28663153 26831
build-model-states-explored 28699439 36286
build-model-states-explored 28739223 39784
build-model-states-explored 28773340 34117
build-model-states-explored 28807928 34588
build-model-states-explored 28838047 30119
build-model-states-explored 28865511 27464
build-model-states-explored 28904554 39043
build-model-states-explored 28939628 35074
build-model-states-explored 28976145 36517
build-model-states-explored 29019812 43667
build-model-states-explored 29058811 38999
build-model-states-explored 29099694 40883
build-model-states-explored 29130011 30317
build-model-states-explored 29163113 33102
build-model-states-explored 29191748 28635
build-model-states-explored 29215446 23698
build-model-states-explored 29241214 25768
build-model-states-explored 29269649 28435
build-model-states-explored 29311536 41887
build-model-states-explored 29350855 39319
build-model-states-explored 29393473 42618
build-model-states-explored 29426501 33028
build-model-states-explored 29459917 33416
build-model-states-explored 29496345 36428
build-model-states-explored 29528064 31719
build-model-states-explored 29558654 30590
build-model-states-explored 29588168 29514
build-model-states-explored 29621749 33581
build-model-states-explored 29657155 35406
build-model-states-explored 29689813 32658
build-model-states-explored 29721615 31802
build-model-states-explored 29754165 32550
build-model-states-explored 29790173 36008
build-model-states-explored 29820315 30142
build-model-states-explored 29850079 29764
build-model-states-explored 29884557 34478
build-model-states-explored 29922035 37478
build-model-states-explored 29958653 36618
build-model-states-explored 29986241 27588
build-model-states-explored 30014387 28146
build-model-states-explored 30037264 22877
build-model-states-explored 30062498 25234
build-model-states-explored 30100561 38063
build-model-states-explored 30137176 36615
build-model-states-explored 30169985 32809
build-model-states-explored 30203305 33320
build-model-states-explored 30233734 30429
build-model-states-explored 30253164 19430
build-model-states-explored 30253396 232
build-model-states-explored 30285379 31983
build-model-states-explored 30321263 35884
build-model-states-explored 30353320 32057
build-model-states-explored 30388033 34713
build-model-states-explored 30431212 43179
build-model-states-explored 30466735 35523
build-model-states-explored 30506129 39394
build-model-states-explored 30538450 32321
build-model-states-explored 30566789 28339
build-model-states-explored 30597857 31068
build-model-states-explored 30621810 23953
build-model-states-explored 30645603 23793
build-model-states-explored 30670172 24569
build-model-states-explored 30697800 27628
build-model-states-explored 30742311 44511
build-model-states-explored 30778687 36376
build-model-states-explored 30817855 39168
build-model-states-explored 30852520 34665
build-model-states-explored 30880278 27758
build-model-states-explored 30916901 36623
build-model-states-explored 30948885 31984
build-model-states-explored 30979218 30333
build-model-states-explored 31002522 23304
build-model-states-explored 31030832 28310
build-model-states-explored 31061940 31108
build-model-states-explored 31091295 29355
build-model-states-explored 31120952 29657
build-model-states-explored 31149800 28848
build-model-states-explored 31176692 26892
build-model-states-explored 31207559 30867
build-model-states-explored 31238891 31332
build-model-states-explored 31263901 25010
build-model-states-explored 31284272 20371
build-model-states-explored 31306962 22690
build-model-states-explored 31344921 37959
build-model-states-explored 31373791 28870
build-model-states-explored 31401740 27949
build-model-states-explored 31425496 23756
build-model-states-explored 31449847 24351
build-model-states-explored 31481129 31282
build-model-states-explored 31510111 28982
build-model-states-explored 31546030 35919
build-model-states-explored 31581823 35793
build-model-states-explored 31611250 29427
build-model-states-explored 31639380 28130
build-model-states-explored 31662551 23171
build-model-states-explored 31682494 19943
build-model-states-explored 31703967 21473
build-model-states-explored 31728613 24646
build-model-states-explored 31763661 35048
build-model-states-explored 31799473 35812
build-model-states-explored 31829829 30356
build-model-states-explored 31856779 26950
build-model-states-explored 31887532 30753
build-model-states-explored 31915076 27544
build-model-states-explored 31941980 26904
build-model-states-explored 31964220 22240
build-model-states-explored 31990743 26523
build-model-states-explored 32017753 27010
build-model-states-explored 32046406 28653
build-model-states-explored 32073079 26673
build-model-states-explored 32099230 26151
build-model-states-explored 32129109 29879
build-model-states-explored 32153238 24129
build-model-states-explored 32179881 26643
build-model-states-explored 32209538 29657
build-model-states-explored 32240049 30511
build-model-states-explored 32264014 23965
build-model-states-explored 32284209 20195
build-model-states-explored 32305317 21108
build-model-states-explored 32329403 24086
build-model-states-explored 32363702 34299
build-model-states-explored 32390976 27274
build-model-states-explored 32418667 27691
build-model-states-explored 32444215 25548
build-model-states-explored 32464929 20714
build-model-states-explored 32490218 25289
build-model-states-explored 32518469 28251
build-model-states-explored 32545338 26869
build-model-states-explored 32575892 30554
build-model-states-explored 32611058 35166
build-model-states-explored 32644364 33306
build-model-states-explored 32668624 24260
build-model-states-explored 32693918 25294
build-model-states-explored 32717169 23251
build-model-states-explored 32735493 18324
build-model-states-explored 32755280 19787
build-model-states-explored 32777437 22157
build-model-states-explored 32799335 21898
build-model-states-explored 32837869 38534
build-model-states-explored 32870097 32228
build-model-states-explored 32901392 31295
build-model-states-explored 32922940 21548
build-model-states-explored 32952474 29534
build-model-states-explored 32980266 27792
build-model-states-explored 33006448 26182
build-model-states-explored 33028808 22360
build-model-states-explored 33050723 21915
build-model-states-explored 33075860 25137
build-model-states-explored 33106687 30827
build-model-states-explored 33141333 34646
build-model-states-explored 33171628 30295
build-model-states-explored 33201865 30237
build-model-states-explored 33233121 31256
build-model-states-explored 33267699 34578
build-model-states-explored 33296362 28663
build-model-states-explored 33322820 26458
build-model-states-explored 33356841 34021
build-model-states-explored 33393014 36173
build-model-states-explored 33427509 34495
build-model-states-explored 33455441 27932
build-model-states-explored 33483199 27758
build-model-states-explored 33504590 21391
build-model-states-explored 33527275 22685
build-model-states-explored 33553274 25999
build-model-states-explored 33585210 31936
build-model-states-explored 33621561 36351
build-model-states-explored 33651053 29492
build-model-states-explored 33682405 31352
build-model-states-explored 33711031 28626
build-model-states-explored 33733766 22735
build-model-states-explored 33762976 29210
build-model-states-explored 33796514 33538
build-model-states-explored 33826798 30284
build-model-states-explored 33858755 31957
build-model-states-explored 33895646 36891
build-model-states-explored 33931620 35974
build-model-states-explored 33965873 34253
build-model-states-explored 34001996 36123
build-model-states-explored 34027174 25178
build-model-states-explored 34054680 27506
build-model-states-explored 34083682 29002
build-model-states-explored 34102518 18836
build-model-states-explored 34124006 21488
build-model-states-explored 34146040 22034
build-model-states-explored 34170614 24574
build-model-states-explored 34210089 39475
build-model-states-explored 34246226 36137
build-model-states-explored 34281243 35017
build-model-states-explored 34318350 37107
build-model-states-explored 34343088 24738
build-model-states-explored 34373801 30713
build-model-states-explored 34405503 31702
build-model-states-explored 34433873 28370
build-model-states-explored 34461853 27980
build-model-states-explored 34484936 23083
build-model-states-explored 34513119 28183
build-model-states-explored 34544802 31683
build-model-states-explored 34575612 30810
build-model-states-explored 34603106 27494
build-model-states-explored 34630761 27655
build-model-states-explored 34658445 27684
build-model-states-explored 34691457 33012
build-model-states-explored 34719823 28366
build-model-states-explored 34745055 25232
build-model-states-explored 34773899 28844
build-model-states-explored 34802101 28202
build-model-states-explored 34837613 35512
build-model-states-explored 34868837 31224
build-model-states-explored 34895481 26644
build-model-states-explored 34920424 24943
build-model-states-explored 34943521 23097
build-model-states-explored 34963123 19602
build-model-states-explored 34985160 22037
build-model-states-explored 35016262 31102
build-model-states-explored 35047814 31552
build-model-states-explored 35080842 33028
build-model-states-explored 35108839 27997
build-model-states-explored 35137828 28989
build-model-states-explored 35164992 27164
build-model-states-explored 35186019 21027
build-model-states-explored 35213138 27119
build-model-states-explored 35244816 31678
build-model-states-explored 35272541 27725
build-model-states-explored 35302009 29468
build-model-states-explored 35332105 30096
build-model-states-explored 35370530 38425
build-model-states-explored 35400819 30289
build-model-states-explored 35432958 32139
build-model-states-explored 35466769 33811
build-model-states-explored 35490022 23253
build-model-states-explored 35514603 24581
build-model-states-explored 35540763 26160
build-model-states-explored 35562911 22148
build-model-states-explored 35581980 19069
build-model-states-explored 35602077 20097
build-model-states-explored 35624963 22886
build-model-states-explored 35653538 28575
build-model-states-explored 35693470 39932
build-model-states-explored 35723518 30048
build-model-states-explored 35756124 32606
build-model-states-explored 35790440 34316
build-model-states-explored 35814168 23728
build-model-states-explored 35842386 28218
build-model-states-explored 35871804 29418
build-model-states-explored 35898808 27004
build-model-states-explored 35925171 26363
build-model-states-explored 35947400 22229
build-model-states-explored 35972973 25573
build-model-states-explored 36000886 27913
build-model-states-explored 36027673 26787
build-model-states-explored 36053258 25585
build-model-states-explored 36081942 28684
build-model-states-explored 36106677 24735
build-model-states-explored 36130326 23649
build-model-states-explored 36156240 25914
build-model-states-explored 36189093 32853
build-model-states-explored 36213055 23962
build-model-states-explored 36235841 22786
build-model-states-explored 36254254 18413
build-model-states-explored 36275430 21176
build-model-states-explored 36303854 28424
build-model-states-explored 36334453 30599
build-model-states-explored 36361426 26973
build-model-states-explored 36386849 25423
build-model-states-explored 36410380 23531
build-model-states-explored 36431485 21105
build-model-states-explored 36456418 24933
build-model-states-explored 36483828 27410
build-model-states-explored 36511132 27304
build-model-states-explored 36542649 31517
build-model-states-explored 36575158 32509
build-model-states-explored 36606745 31587
build-model-states-explored 36629659 22914
build-model-states-explored 36654186 24527
build-model-states-explored 36676795 22609
build-model-states-explored 36694373 17578
build-model-states-explored 36711133 16760
build-model-states-explored 36731421 20288
build-model-states-explored 36753440 22019
build-model-states-explored 36789552 36112
build-model-states-explored 36820651 31099
build-model-states-explored 36853157 32506
build-model-states-explored 36874346 21189
build-model-states-explored 36900778 26432
build-model-states-explored 36928373 27595
build-model-states-explored 36953864 25491
build-model-states-explored 36979067 25203
build-model-states-explored 36999595 20528
build-model-states-explored 37023538 23943
build-model-states-explored 37046632 23094
build-model-states-explored 37073942 27310
build-model-states-explored 37099473 25531
build-model-states-explored 37123740 24267
build-model-states-explored 37147357 23617
build-model-states-explored 37174857 27500
build-model-states-explored 37198933 24076
build-model-states-explored 37220670 21737
build-model-states-explored 37247048 26378
build-model-states-explored 37274768 27720
build-model-states-explored 37303514 28746
build-model-states-explored 37324219 20705
build-model-states-explored 37346513 22294
build-model-states-explored 37363641 17128
build-model-states-explored 37383742 20101
build-model-states-explored 37407166 23424
build-model-states-explored 37436439 29273
build-model-states-explored 37463024 26585
build-model-states-explored 37489943 26919
build-model-states-explored 37513901 23958
build-model-states-explored 37536945 23044
build-model-states-explored 37556801 19856
build-model-states-explored 37579787 22986
build-model-states-explored 37606087 26300
build-model-states-explored 37630042 23955
build-model-states-explored 37655711 25669
build-model-states-explored 37688517 32806
build-model-states-explored 37717084 28567
build-model-states-explored 37746512 29428
build-model-states-explored 37770382 23870
build-model-states-explored 37791704 21322
build-model-states-explored 37814563 22859
build-model-states-explored 37834889 20326
build-model-states-explored 37852069 17180
build-model-states-explored 37870100 18031
build-model-states-explored 37889793 19693
build-model-states-explored 37910271 20478
build-model-states-explored 37944509 34238
build-model-states-explored 37972863 28354
build-model-states-explored 38002827 29964
build-model-states-explored 38030336 27509
build-model-states-explored 38050331 19995
build-model-states-explored 38076083 25752
build-model-states-explored 38102025 25942
build-model-states-explored 38125419 23394
build-model-states-explored 38149194 23775
build-model-states-explored 38168747 19553
build-model-states-explored 38191007 22260
build-model-states-explored 38212943 21936
build-model-states-explored 38245381 32438
build-model-states-explored 38276516 31135
build-model-states-explored 38304319 27803
build-model-states-explored 38332093 27774
build-model-states-explored 38359504 27411
build-model-states-explored 38391006 31502
build-model-states-explored 38420501 29495
build-model-states-explored 38445473 24972
build-model-states-explored 38472159 26686
build-model-states-explored 38502666 30507
build-model-states-explored 38537384 34718
build-model-states-explored 38566507 29123
build-model-states-explored 38596040 29533
build-model-states-explored 38619110 23070
build-model-states-explored 38644324 25214
build-model-states-explored 38663067 18743
build-model-states-explored 38684378 21311
build-model-states-explored 38710586 26208
build-model-states-explored 38744105 33519
build-model-states-explored 38777287 33182
build-model-states-explored 38805154 27867
build-model-states-explored 38834434 29280
build-model-states-explored 38860283 25849
build-model-states-explored 38884267 23984
build-model-states-explored 38906573 22306
build-model-states-explored 38939616 33043
build-model-states-explored 38967392 27776
build-model-states-explored 38995497 28105
build-model-states-explored 39025076 29579
build-model-states-explored 39062123 37047
build-model-states-explored 39095814 33691
build-model-states-explored 39125847 30033
build-model-states-explored 39158787 32940
build-model-states-explored 39186230 27443
build-model-states-explored 39209208 22978
build-model-states-explored 39234264 25056
build-model-states-explored 39259292 25028
build-model-states-explored 39276913 17621
build-model-states-explored 39297247 20334
build-model-states-explored 39317777 20530
build-model-states-explored 39340568 22791
build-model-states-explored 39378758 38190
build-model-states-explored 39414945 36187
build-model-states-explored 39444036 29091
build-model-states-explored 39477461 33425
build-model-states-explored 39506573 29112
build-model-states-explored 39529142 22569
build-model-states-explored 39559916 30774
build-model-states-explored 39588571 28655
build-model-states-explored 39614497 25926
build-model-states-explored 39638419 23922
build-model-states-explored 39662031 23612
build-model-states-explored 39690191 28160
build-model-states-explored 39718417 28226
build-model-states-explored 39746513 28096
build-model-states-explored 39772258 25745
build-model-states-explored 39798188 25930
build-model-states-explored 39823876 25688
build-model-states-explored 39853314 29438
build-model-states-explored 39882062 28748
build-model-states-explored 39905871 23809
build-model-states-explored 39929740 23869
build-model-states-explored 39959303 29563
build-model-states-explored 39987494 28191
build-model-states-explored 40018533 31039
build-model-states-explored 40046945 28412
build-model-states-explored 40072846 25901
build-model-states-explored 40094009 21163
build-model-states-explored 40118028 24019
build-model-states-explored 40136122 18094
build-model-states-explored 40155644 19522
build-model-states-explored 40178467 22823
build-model-states-explored 40213547 35080
build-model-states-explored 40240397 26850
build-model-states-explored 40269649 29252
build-model-states-explored 40295845 26196
build-model-states-explored 40322476 26631
build-model-states-explored 40347124 24648
build-model-states-explored 40367520 20396
build-model-states-explored 40392891 25371
build-model-states-explored 40422472 29581
build-model-states-explored 40448360 25888
build-model-states-explored 40475510 27150
build-model-states-explored 40502086 26576
build-model-states-explored 40534605 32519
build-model-states-explored 40569910 35305
build-model-states-explored 40595071 25161
build-model-states-explored 40623714 28643
build-model-states-explored 40654762 31048
build-model-states-explored 40677088 22326
build-model-states-explored 40698285 21197
build-model-states-explored 40721395 23110
build-model-states-explored 40744636 23241
build-model-states-explored 40762044 17408
build-model-states-explored 40780334 18290
build-model-states-explored 40800332 19998
build-model-states-explored 40824533 24201
build-model-states-explored 40858859 34326
build-model-states-explored 40893400 34541
build-model-states-explored 40918995 25595
build-model-states-explored 40948291 29296
build-model-states-explored 40979604 31313
build-model-states-explored 41001620 22016
build-model-states-explored 41028136 26516
build-model-states-explored 41055368 27232
build-model-states-explored 41079963 24595
build-model-states-explored 41104528 24565
build-model-states-explored 41125620 21092
build-model-states-explored 41150681 25061
build-model-states-explored 41176338 25657
build-model-states-explored 41201190 24852
build-model-states-explored 41224889 23699
build-model-states-explored 41249812 24923
build-model-states-explored 41276425 26613
build-model-states-explored 41298568 22143
build-model-states-explored 41321007 22439
build-model-states-explored 41345509 24502
build-model-states-explored 41374512 29003
build-model-states-explored 41400740 26228
build-model-states-explored 41421655 20915
build-model-states-explored 41441791 20136
build-model-states-explored 41459067 17276
build-model-states-explored 41479078 20011
build-model-states-explored 41504248 25170
build-model-states-explored 41532157 27909
build-model-states-explored 41556909 24752
build-model-states-explored 41583472 26563
build-model-states-explored 41606938 23466
build-model-states-explored 41629553 22615
build-model-states-explored 41648786 19233
build-model-states-explored 41671207 22421
build-model-states-explored 41697515 26308
build-model-states-explored 41721594 24079
build-model-states-explored 41746836 25242
build-model-states-explored 41778299 31463
build-model-states-explored 41805649 27350
build-model-states-explored 41834809 29160
build-model-states-explored 41859519 24710
build-model-states-explored 41880152 20633
build-model-states-explored 41902267 22115
build-model-states-explored 41923379 21112
build-model-states-explored 41939772 16393
build-model-states-explored 41957644 17872
build-model-states-explored 41975799 18155
build-model-states-explored 41996729 20930
build-model-states-explored 42023905 27176
build-model-states-explored 42055427 31522
build-model-states-explored 42083180 27753
build-model-states-explored 42112979 29799
build-model-states-explored 42133507 20528
build-model-states-explored 42156541 23034
build-model-states-explored 42182246 25705
build-model-states-explored 42206603 24357
build-model-states-explored 42230255 23652
build-model-states-explored 42250702 20447
build-model-states-explored 42269856 19154
build-model-states-explored 42292199 22343
build-model-states-explored 42315041 22842
build-model-states-explored 42339681 24640
build-model-states-explored 42363505 23824
build-model-states-explored 42385804 22299
build-model-states-explored 42407959 22155
build-model-states-explored 42432000 24041
build-model-states-explored 42456672 24672
build-model-states-explored 42477679 21007
build-model-states-explored 42497912 20233
build-model-states-explored 42522513 24601
build-model-states-explored 42547888 25375
build-model-states-explored 42572268 24380
build-model-states-explored 42596234 23966
build-model-states-explored 42615056 18822
build-model-states-explored 42635581 20525
build-model-states-explored 42651765 16184
build-model-states-explored 42669893 18128
build-model-states-explored 42688420 18527
build-model-states-explored 42717325 28905
build-model-states-explored 42743033 25708
build-model-states-explored 42765286 22253
build-model-states-explored 42790642 25356
build-model-states-explored 42813066 22424
build-model-states-explored 42835042 21976
build-model-states-explored 42852711 17669
build-model-states-explored 42872717 20006
build-model-states-explored 42897857 25140
build-model-states-explored 42920141 22284
build-model-states-explored 42942520 22379
build-model-states-explored 42965429 22909
build-model-states-explored 42996327 30898
build-model-states-explored 43021044 24717
build-model-states-explored 43046535 25491
build-model-states-explored 43073778 27243
build-model-states-explored 43093344 19566
build-model-states-explored 43112809 19465
build-model-states-explored 43133090 20281
build-model-states-explored 43153694 20604
build-model-states-explored 43169161 15467
build-model-states-explored 43185689 16528
build-model-states-explored 43202892 17203
build-model-states-explored 43223077 20185
build-model-states-explored 43244947 21870
build-model-states-explored 43278192 33245
build-model-states-explored 43301691 23499
build-model-states-explored 43327275 25584
build-model-states-explored 43354995 27720
build-model-states-explored 43374845 19850
build-model-states-explored 43394472 19627
build-model-states-explored 43419367 24895
build-model-states-explored 43442367 23000
build-model-states-explored 43463610 21243
build-model-states-explored 43485929 22319
build-model-states-explored 43504299 18370
build-model-states-explored 43524828 20529
build-model-states-explored 43547032 22204
build-model-states-explored 43576238 29206
build-model-states-explored 43604547 28309
build-model-states-explored 43630536 25989
build-model-states-explored 43655466 24930
build-model-states-explored 43681433 25967
build-model-states-explored 43707766 26333
build-model-states-explored 43736812 29046
build-model-states-explored 43762830 26018
build-model-states-explored 43785758 22928
build-model-states-explored 43810782 25024
build-model-states-explored 43839025 28243
build-model-states-explored 43869259 30234
build-model-states-explored 43896713 27454
build-model-states-explored 43925548 28835
build-model-states-explored 43947957 22409
build-model-states-explored 43969919 21962
build-model-states-explored 43992640 22721
build-model-states-explored 44010169 17529
build-model-states-explored 44029635 19466
build-model-states-explored 44053089 23454
build-model-states-explored 44086921 33832
build-model-states-explored 44112967 26046
build-model-states-explored 44141299 28332
build-model-states-explored 44166769 25470
build-model-states-explored 44192712 25943
build-model-states-explored 44216706 23994
build-model-states-explored 44237175 20469
build-model-states-explored 44261247 24072
build-model-states-explored 44290460 29213
build-model-states-explored 44315929 25469
build-model-states-explored 44342088 26159
build-model-states-explored 44369079 26991
build-model-states-explored 44400189 31110
build-model-states-explored 44435282 35093
build-model-states-explored 44459621 24339
build-model-states-explored 44488326 28705
build-model-states-explored 44518141 29815
build-model-states-explored 44542234 24093
build-model-states-explored 44562638 20404
build-model-states-explored 44584799 22161
build-model-states-explored 44607677 22878
build-model-states-explored 44626039 18362
build-model-states-explored 44643894 17855
build-model-states-explored 44662166 18272
build-model-states-explored 44683307 21141
build-model-states-explored 44713421 30114
build-model-states-explored 44749108 35687
build-model-states-explored 44776131 27023
build-model-states-explored 44804369 28238
build-model-states-explored 44834369 30000
build-model-states-explored 44860140 25771
build-model-states-explored 44881125 20985
build-model-states-explored 44908387 27262
build-model-states-explored 44934302 25915
build-model-states-explored 44957800 23498
build-model-states-explored 44980567 22767
build-model-states-explored 45001883 21316
build-model-states-explored 45027950 26067
build-model-states-explored 45054150 26200
build-model-states-explored 45080685 26535
build-model-states-explored 45104465 23780
build-model-states-explored 45128451 23986
build-model-states-explored 45152040 23589
build-model-states-explored 45176601 24561
build-model-states-explored 45204073 27472
build-model-states-explored 45228739 24666
build-model-states-explored 45250605 21866
build-model-states-explored 45272720 22115
build-model-states-explored 45300898 28178
build-model-states-explored 45326113 25215
build-model-states-explored 45356536 30423
build-model-states-explored 45379925 23389
build-model-states-explored 45406288 26363
build-model-states-explored 45426057 19769
build-model-states-explored 45446580 20523
build-model-states-explored 45467951 21371
build-model-states-explored 45484825 16874
build-model-states-explored 45503259 18434
build-model-states-explored 45525479 22220
build-model-states-explored 45557771 32292
build-model-states-explored 45581101 23330
build-model-states-explored 45608321 27220
build-model-states-explored 45631771 23450
build-model-states-explored 45656781 25010
build-model-states-explored 45679626 22845
build-model-states-explored 45701629 22003
build-model-states-explored 45720780 19151
build-model-states-explored 45748257 27477
build-model-states-explored 45773397 25140
build-model-states-explored 45797779 24382
build-model-states-explored 45823310 25531
build-model-states-explored 45847590 24280
build-model-states-explored 45876223 28633
build-model-states-explored 45908999 32776
build-model-states-explored 45930479 21480
build-model-states-explored 45956754 26275
build-model-states-explored 45983308 26554
build-model-states-explored 46008158 24850
build-model-states-explored 46026489 18331
build-model-states-explored 46046869 20380
build-model-states-explored 46067619 20750
build-model-states-explored 46087901 20282
build-model-states-explored 46104346 16445
build-model-states-explored 46121412 17066
build-model-states-explored 46141110 19698
build-model-states-explored 46166457 25347
build-model-states-explored 46199079 32622
build-model-states-explored 46229385 30306
build-model-states-explored 46251689 22304
build-model-states-explored 46277457 25768
build-model-states-explored 46305407 27950
build-model-states-explored 46327026 21619
build-model-states-explored 46348544 21518
build-model-states-explored 46374634 26090
build-model-states-explored 46397816 23182
build-model-states-explored 46421088 23272
build-model-states-explored 46440410 19322
build-model-states-explored 46462516 22106
build-model-states-explored 46486730 24214
build-model-states-explored 46510318 23588
build-model-states-explored 46532152 21834
build-model-states-explored 46553486 21334
build-model-states-explored 46576332 22846
build-model-states-explored 46600994 24662
build-model-states-explored 46621854 20860
build-model-states-explored 46641577 19723
build-model-states-explored 46664615 23038
build-model-states-explored 46688048 23433
build-model-states-explored 46713477 25429
build-model-states-explored 46738026 24549
build-model-states-explored 46756363 18337
build-model-states-explored 46775850 19487
build-model-states-explored 46792688 16838
build-model-states-explored 46809129 16441
build-model-states-explored 46828054 18925
build-model-states-explored 46852372 24318
build-model-states-explored 46877245 24873
build-model-states-explored 46902612 25367
build-model-states-explored 46924273 21661
build-model-states-explored 46947523 23250
build-model-states-explored 46968559 21036
build-model-states-explored 46989171 20612
build-model-states-explored 47007086 17915
build-model-states-explored 47027594 20508
build-model-states-explored 47051829 24235
build-model-states-explored 47073758 21929
build-model-states-explored 47096506 22748
build-model-states-explored 47119345 22839
build-model-states-explored 47150498 31153
build-model-states-explored 47173055 22557
build-model-states-explored 47197096 24041
build-model-states-explored 47223528 26432
build-model-states-explored 47241816 18288
build-model-states-explored 47260815 18999
build-model-states-explored 47271350 10535
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47271350 0
build-model-states-explored 47289861 18511
build-model-states-explored 47312308 22447
build-model-states-explored 47332733 20425
build-model-states-explored 47354882 22149
build-model-states-explored 47379357 24475
build-model-states-explored 47415246 35889
build-model-states-explored 47445220 29974
build-model-states-explored 47476444 31224
build-model-states-explored 47508781 32337
build-model-states-explored 47532105 23324
build-model-states-explored 47560692 28587
build-model-states-explored 47589548 28856
build-model-states-explored 47615810 26262
build-model-states-explored 47641783 25973
build-model-states-explored 47666642 24859
build-model-states-explored 47691806 25164
build-model-states-explored 47720840 29034
build-model-states-explored 47748115 27275
build-model-states-explored 47773186 25071
build-model-states-explored 47798612 25426
build-model-states-explored 47825447 26835
build-model-states-explored 47854283 28836
build-model-states-explored 47878202 23919
build-model-states-explored 47902793 24591
build-model-states-explored 47929423 26630
build-model-states-explored 47959212 29789
build-model-states-explored 47986711 27499
build-model-states-explored 48010031 23320
build-model-states-explored 48032482 22451
build-model-states-explored 48053869 21387
build-model-states-explored 48073517 19648
build-model-states-explored 48096088 22571
build-model-states-explored 48127178 31090
build-model-states-explored 48153273 26095
build-model-states-explored 48180762 27489
build-model-states-explored 48207811 27049
build-model-states-explored 48233531 25720
build-model-states-explored 48258106 24575
build-model-states-explored 48279461 21355
build-model-states-explored 48304324 24863
----------
Computation aborted after 1800.3505308628082 seconds since the total time limit of 1800 seconds was exceeded.