epmc

Benchmark
Model:beb v.1 (MDP)
Parameter(s)H = 5, K = 16, N = 15
Property:LineSeized (prob-reach)
Invocation (default)
java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files beb.5-16.jani --model-input-type jani --property-input-names LineSeized --translate-messages false --value-floating-point-output-native true --const N=15
Default settings. The option --translate-messages is set to false to ease the parsing of the output while the --value-floating-point-output-native is set to true to get the float values printed in full, instead of with only 7 digits of precision given by the default %.7f format.
Execution
Walltime:> 1800s (Timeout)
Log
running-epmc-revision bcbb8ed631893b5fa072e28d29126ca3ba5337e0
assertions-disabled
model-checking
analysing-property LineSeized
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 16146 16145
build-model-states-explored 37028 20883
build-model-states-explored 60211 23183
build-model-states-explored 78314 18103
build-model-states-explored 103127 24813
build-model-states-explored 128580 25453
build-model-states-explored 156558 27977
build-model-states-explored 182232 25674
build-model-states-explored 203996 21764
build-model-states-explored 228814 24818
build-model-states-explored 257882 29068
build-model-states-explored 287007 29125
build-model-states-explored 317642 30635
build-model-states-explored 349750 32108
build-model-states-explored 388180 38429
build-model-states-explored 423942 35763
build-model-states-explored 454901 30959
build-model-states-explored 487996 33095
build-model-states-explored 512270 24274
build-model-states-explored 546757 34487
build-model-states-explored 583062 36305
build-model-states-explored 614919 31856
build-model-states-explored 653218 38299
build-model-states-explored 691475 38258
build-model-states-explored 728551 37076
build-model-states-explored 772858 44307
build-model-states-explored 818219 45361
build-model-states-explored 861446 43227
build-model-states-explored 909764 48317
build-model-states-explored 929752 19989
build-model-states-explored 974761 45009
build-model-states-explored 1024003 49241
build-model-states-explored 1076435 52432
build-model-states-explored 1110625 34191
build-model-states-explored 1153700 43075
build-model-states-explored 1189547 35846
build-model-states-explored 1238264 48718
build-model-states-explored 1279345 41081
build-model-states-explored 1318379 39034
build-model-states-explored 1346109 27730
build-model-states-explored 1384266 38157
build-model-states-explored 1421514 37247
build-model-states-explored 1458933 37420
build-model-states-explored 1514141 55208
build-model-states-explored 1553537 39396
build-model-states-explored 1588060 34523
build-model-states-explored 1606058 17998
build-model-states-explored 1636499 30441
build-model-states-explored 1662410 25911
build-model-states-explored 1688808 26398
build-model-states-explored 1723865 35057
build-model-states-explored 1752263 28398
build-model-states-explored 1783444 31181
build-model-states-explored 1815656 32212
build-model-states-explored 1840650 24994
build-model-states-explored 1886813 46163
build-model-states-explored 1913056 26243
build-model-states-explored 1950380 37324
build-model-states-explored 1975848 25467
build-model-states-explored 2011941 36093
build-model-states-explored 2043719 31779
build-model-states-explored 2062730 19011
build-model-states-explored 2095543 32813
build-model-states-explored 2123837 28294
build-model-states-explored 2161390 37553
build-model-states-explored 2187695 26305
build-model-states-explored 2228395 40700
build-model-states-explored 2258402 30007
build-model-states-explored 2297460 39058
build-model-states-explored 2332182 34722
build-model-states-explored 2366803 34621
build-model-states-explored 2409536 42732
build-model-states-explored 2413748 4213
build-model-states-explored 2449791 36043
build-model-states-explored 2486685 36894
build-model-states-explored 2530002 43317
build-model-states-explored 2548820 18818
build-model-states-explored 2567531 18711
build-model-states-explored 2589233 21702
build-model-states-explored 2614307 25074
build-model-states-explored 2636783 22476
build-model-states-explored 2658474 21691
build-model-states-explored 2683225 24751
build-model-states-explored 2708479 25254
build-model-states-explored 2734630 26151
build-model-states-explored 2759867 25237
build-model-states-explored 2776508 16640
build-model-states-explored 2787342 10835
build-model-states-explored 2802849 15507
build-model-states-explored 2828450 25601
build-model-states-explored 2857539 29089
build-model-states-explored 2884128 26589
build-model-states-explored 2911049 26921
build-model-states-explored 2937294 26245
build-model-states-explored 2967824 30530
build-model-states-explored 2999073 31249
build-model-states-explored 3026117 27044
build-model-states-explored 3057807 31689
build-model-states-explored 3087776 29970
build-model-states-explored 3114850 27074
build-model-states-explored 3144315 29465
build-model-states-explored 3172854 28539
build-model-states-explored 3200647 27793
build-model-states-explored 3224490 23843
build-model-states-explored 3259469 34979
build-model-states-explored 3282152 22683
build-model-states-explored 3314640 32488
build-model-states-explored 3339601 24960
build-model-states-explored 3382917 43317
build-model-states-explored 3414793 31875
build-model-states-explored 3440946 26154
build-model-states-explored 3472384 31438
build-model-states-explored 3513585 41201
build-model-states-explored 3534783 21197
build-model-states-explored 3558000 23218
build-model-states-explored 3594338 36338
build-model-states-explored 3627994 33656
build-model-states-explored 3670071 42077
build-model-states-explored 3703178 33107
build-model-states-explored 3719335 16157
build-model-states-explored 3736955 17620
build-model-states-explored 3754452 17497
build-model-states-explored 3792675 38223
build-model-states-explored 3824860 32185
build-model-states-explored 3847009 22149
build-model-states-explored 3882374 35365
build-model-states-explored 3919576 37202
build-model-states-explored 3944988 25412
build-model-states-explored 3961022 16034
build-model-states-explored 3976902 15880
build-model-states-explored 3989880 12978
build-model-states-explored 4013259 23379
build-model-states-explored 4052025 38766
build-model-states-explored 4085064 33039
build-model-states-explored 4124819 39755
build-model-states-explored 4157974 33155
build-model-states-explored 4194189 36215
build-model-states-explored 4220654 26465
build-model-states-explored 4261008 40354
build-model-states-explored 4294336 33327
build-model-states-explored 4334478 40143
build-model-states-explored 4364674 30196
build-model-states-explored 4399062 34388
build-model-states-explored 4399062 0
build-model-states-explored 4404560 5497
build-model-states-explored 4441339 36780
build-model-states-explored 4477372 36033
build-model-states-explored 4505036 27663
build-model-states-explored 4540992 35957
build-model-states-explored 4572102 31110
build-model-states-explored 4605021 32919
build-model-states-explored 4643650 38629
build-model-states-explored 4681243 37593
build-model-states-explored 4713454 32211
build-model-states-explored 4744958 31504
build-model-states-explored 4774112 29154
build-model-states-explored 4804903 30791
build-model-states-explored 4846627 41724
build-model-states-explored 4887236 40609
build-model-states-explored 4919374 32138
build-model-states-explored 4951927 32553
build-model-states-explored 4984161 32233
build-model-states-explored 5024542 40380
build-model-states-explored 5069856 45315
build-model-states-explored 5098881 29025
build-model-states-explored 5112732 13851
build-model-states-explored 5126906 14174
build-model-states-explored 5136823 9917
build-model-states-explored 5152596 15773
build-model-states-explored 5168993 16397
build-model-states-explored 5200526 31533
build-model-states-explored 5226644 26118
build-model-states-explored 5253224 26580
build-model-states-explored 5262895 9671
build-model-states-explored 5277099 14204
build-model-states-explored 5305632 28532
build-model-states-explored 5328877 23246
build-model-states-explored 5344809 15931
build-model-states-explored 5372074 27266
build-model-states-explored 5392143 20069
build-model-states-explored 5419146 27003
build-model-states-explored 5436558 17411
build-model-states-explored 5469336 32779
build-model-states-explored 5504262 34926
build-model-states-explored 5518699 14437
build-model-states-explored 5551225 32526
build-model-states-explored 5587803 36578
build-model-states-explored 5606326 18523
build-model-states-explored 5621344 15018
build-model-states-explored 5639470 18126
build-model-states-explored 5659748 20278
build-model-states-explored 5677941 18192
build-model-states-explored 5702456 24515
build-model-states-explored 5715616 13161
build-model-states-explored 5750118 34502
build-model-states-explored 5786674 36556
build-model-states-explored 5812887 26212
build-model-states-explored 5831637 18751
build-model-states-explored 5863524 31887
build-model-states-explored 5903004 39480
build-model-states-explored 5929961 26957
build-model-states-explored 5954400 24439
build-model-states-explored 5968064 13664
build-model-states-explored 5988497 20433
build-model-states-explored 6008827 20330
build-model-states-explored 6023216 14389
build-model-states-explored 6046305 23089
build-model-states-explored 6060741 14436
build-model-states-explored 6083967 23226
build-model-states-explored 6100066 16099
build-model-states-explored 6132671 32605
build-model-states-explored 6169697 37026
build-model-states-explored 6202583 32885
build-model-states-explored 6234522 31940
build-model-states-explored 6254265 19743
build-model-states-explored 6292119 37854
build-model-states-explored 6328220 36100
build-model-states-explored 6364596 36377
build-model-states-explored 6386854 22258
build-model-states-explored 6409127 22273
build-model-states-explored 6435644 26517
build-model-states-explored 6474220 38576
build-model-states-explored 6500491 26270
build-model-states-explored 6537386 36896
build-model-states-explored 6574064 36677
build-model-states-explored 6595582 21519
build-model-states-explored 6624833 29251
build-model-states-explored 6656372 31539
build-model-states-explored 6689237 32865
build-model-states-explored 6726838 37601
build-model-states-explored 6764395 37556
build-model-states-explored 6779706 15312
build-model-states-explored 6813304 33598
build-model-states-explored 6850467 37162
build-model-states-explored 6874788 24321
build-model-states-explored 6910204 35416
build-model-states-explored 6948619 38416
build-model-states-explored 6970370 21751
build-model-states-explored 6999594 29224
build-model-states-explored 7029240 29645
build-model-states-explored 7062720 33480
build-model-states-explored 7098381 35661
build-model-states-explored 7137639 39258
build-model-states-explored 7167841 30201
build-model-states-explored 7190914 23073
build-model-states-explored 7221545 30631
build-model-states-explored 7257546 36002
build-model-states-explored 7289883 32336
build-model-states-explored 7328190 38308
build-model-states-explored 7374730 46540
build-model-states-explored 7396083 21353
build-model-states-explored 7422369 26286
build-model-states-explored 7449682 27313
build-model-states-explored 7482552 32869
build-model-states-explored 7523203 40652
build-model-states-explored 7555398 32195
build-model-states-explored 7586387 30989
build-model-states-explored 7629122 42735
build-model-states-explored 7663148 34026
build-model-states-explored 7696679 33531
build-model-states-explored 7738312 41633
build-model-states-explored 7751312 13000
build-model-states-explored 7771148 19836
build-model-states-explored 7778429 7281
build-model-states-explored 7806858 28429
build-model-states-explored 7818881 12023
build-model-states-explored 7861005 42124
build-model-states-explored 7899054 38049
build-model-states-explored 7935001 35947
build-model-states-explored 7966769 31768
build-model-states-explored 8008092 41323
build-model-states-explored 8043502 35410
build-model-states-explored 8079006 35504
build-model-states-explored 8110894 31888
build-model-states-explored 8126961 16067
build-model-states-explored 8143229 16268
build-model-states-explored 8162732 19503
build-model-states-explored 8183577 20845
build-model-states-explored 8209095 25518
build-model-states-explored 8243529 34434
build-model-states-explored 8285726 42197
build-model-states-explored 8319316 33590
build-model-states-explored 8363026 43710
build-model-states-explored 8388607 25581
build-model-states-explored 8427543 38936
build-model-states-explored 8463642 36099
build-model-states-explored 8496627 32985
build-model-states-explored 8539707 43080
build-model-states-explored 8565755 26048
build-model-states-explored 8583631 17876
build-model-states-explored 8599583 15952
build-model-states-explored 8614070 14487
build-model-states-explored 8631145 17075
build-model-states-explored 8646900 15755
build-model-states-explored 8646900 0
build-model-states-explored 8646900 0
build-model-states-explored 8646900 0
build-model-states-explored 8647029 129
build-model-states-explored 8664950 17921
build-model-states-explored 8678001 13051
build-model-states-explored 8711672 33671
build-model-states-explored 8748788 37116
build-model-states-explored 8776290 27502
build-model-states-explored 8802037 25747
build-model-states-explored 8834689 32652
build-model-states-explored 8875281 40592
build-model-states-explored 8903744 28463
build-model-states-explored 8932951 29207
build-model-states-explored 8966935 33984
build-model-states-explored 9004532 37597
build-model-states-explored 9034265 29733
build-model-states-explored 9062009 27744
build-model-states-explored 9093836 31827
build-model-states-explored 9136827 42991
build-model-states-explored 9146140 9313
build-model-states-explored 9162207 16067
build-model-states-explored 9176385 14178
build-model-states-explored 9194979 18594
build-model-states-explored 9206892 11913
build-model-states-explored 9230659 23767
build-model-states-explored 9247505 16846
build-model-states-explored 9267440 19935
build-model-states-explored 9289387 21947
build-model-states-explored 9318789 29402
build-model-states-explored 9355138 36349
build-model-states-explored 9390229 35091
build-model-states-explored 9433211 42982
build-model-states-explored 9473737 40526
build-model-states-explored 9509946 36209
build-model-states-explored 9548983 39037
build-model-states-explored 9591206 42223
build-model-states-explored 9627944 36738
build-model-states-explored 9663661 35717
build-model-states-explored 9705947 42286
build-model-states-explored 9744824 38877
build-model-states-explored 9789372 44548
build-model-states-explored 9825594 36222
build-model-states-explored 9860349 34755
build-model-states-explored 9903612 43263
build-model-states-explored 9937747 34135
build-model-states-explored 9974360 36613
build-model-states-explored 10015850 41490
build-model-states-explored 10050543 34693
build-model-states-explored 10090501 39958
build-model-states-explored 10123456 32955
build-model-states-explored 10162626 39170
build-model-states-explored 10201371 38745
build-model-states-explored 10234322 32951
build-model-states-explored 10270019 35697
build-model-states-explored 10304691 34672
build-model-states-explored 10337481 32790
build-model-states-explored 10378594 41113
build-model-states-explored 10415912 37318
build-model-states-explored 10451373 35461
build-model-states-explored 10481144 29771
build-model-states-explored 10519524 38380
build-model-states-explored 10559049 39525
build-model-states-explored 10592814 33765
build-model-states-explored 10629975 37161
build-model-states-explored 10639344 9369
build-model-states-explored 10650885 11541
build-model-states-explored 10683159 32274
build-model-states-explored 10727175 44016
build-model-states-explored 10757576 30401
build-model-states-explored 10792476 34900
build-model-states-explored 10836224 43748
build-model-states-explored 10876578 40354
build-model-states-explored 10907655 31077
build-model-states-explored 10956076 48421
build-model-states-explored 10987723 31647
build-model-states-explored 11022861 35138
build-model-states-explored 11064768 41907
build-model-states-explored 11099295 34527
build-model-states-explored 11137823 38528
build-model-states-explored 11180206 42383
build-model-states-explored 11213953 33747
build-model-states-explored 11262299 48346
build-model-states-explored 11299931 37632
build-model-states-explored 11309750 9819
build-model-states-explored 11321091 11341
build-model-states-explored 11329661 8570
build-model-states-explored 11340323 10662
build-model-states-explored 11350770 10447
build-model-states-explored 11359657 8887
build-model-states-explored 11371675 12018
build-model-states-explored 11380614 8939
build-model-states-explored 11389786 9172
build-model-states-explored 11400821 11035
build-model-states-explored 11409368 8547
build-model-states-explored 11423937 14569
build-model-states-explored 11443792 19855
build-model-states-explored 11471400 27608
build-model-states-explored 11499941 28541
build-model-states-explored 11529609 29668
build-model-states-explored 11573526 43917
build-model-states-explored 11601573 28047
build-model-states-explored 11633446 31873
build-model-states-explored 11673455 40009
build-model-states-explored 11686483 13028
build-model-states-explored 11719025 32542
build-model-states-explored 11748748 29723
build-model-states-explored 11773954 25206
build-model-states-explored 11798085 24131
build-model-states-explored 11824382 26297
build-model-states-explored 11865158 40776
build-model-states-explored 11881093 15935
build-model-states-explored 11896435 15342
build-model-states-explored 11914703 18268
build-model-states-explored 11936065 21362
build-model-states-explored 11966631 30566
build-model-states-explored 11987900 21269
build-model-states-explored 12015148 27248
build-model-states-explored 12029746 14598
build-model-states-explored 12066587 36841
build-model-states-explored 12090196 23609
build-model-states-explored 12116182 25986
build-model-states-explored 12142239 26057
build-model-states-explored 12171436 29197
build-model-states-explored 12213127 41691
build-model-states-explored 12235201 22074
build-model-states-explored 12254448 19247
build-model-states-explored 12288859 34411
build-model-states-explored 12319591 30732
build-model-states-explored 12347223 27632
build-model-states-explored 12382295 35072
build-model-states-explored 12394514 12219
build-model-states-explored 12413940 19426
build-model-states-explored 12427037 13097
build-model-states-explored 12445795 18758
build-model-states-explored 12466449 20654
build-model-states-explored 12482501 16052
build-model-states-explored 12500585 18084
build-model-states-explored 12524524 23939
build-model-states-explored 12547448 22924
build-model-states-explored 12576473 29025
build-model-states-explored 12600116 23643
build-model-states-explored 12624159 24043
build-model-states-explored 12652099 27940
build-model-states-explored 12689573 37474
build-model-states-explored 12728981 39408
build-model-states-explored 12759955 30974
build-model-states-explored 12797347 37392
build-model-states-explored 12814962 17615
build-model-states-explored 12844412 29450
build-model-states-explored 12881998 37586
build-model-states-explored 12907757 25759
build-model-states-explored 12951757 44000
build-model-states-explored 12986415 34658
build-model-states-explored 13003939 17524
build-model-states-explored 13018245 14306
build-model-states-explored 13038141 19896
build-model-states-explored 13055854 17713
build-model-states-explored 13078056 22202
build-model-states-explored 13097103 19047
build-model-states-explored 13113482 16379
build-model-states-explored 13139557 26075
build-model-states-explored 13167652 28095
build-model-states-explored 13186214 18562
build-model-states-explored 13212031 25817
build-model-states-explored 13239425 27394
build-model-states-explored 13258652 19227
build-model-states-explored 13284088 25436
build-model-states-explored 13311616 27528
build-model-states-explored 13348403 36787
build-model-states-explored 13383948 35545
build-model-states-explored 13413279 29331
build-model-states-explored 13454332 41053
build-model-states-explored 13486770 32438
build-model-states-explored 13500871 14101
build-model-states-explored 13533919 33048
build-model-states-explored 13563697 29778
build-model-states-explored 13586765 23068
build-model-states-explored 13633211 46446
build-model-states-explored 13670007 36796
build-model-states-explored 13702716 32709
build-model-states-explored 13732051 29335
build-model-states-explored 13745465 13414
build-model-states-explored 13765327 19862
build-model-states-explored 13781016 15689
build-model-states-explored 13802472 21456
build-model-states-explored 13820174 17702
build-model-states-explored 13838208 18034
build-model-states-explored 13860322 22114
build-model-states-explored 13880953 20631
build-model-states-explored 13907101 26148
build-model-states-explored 13925345 18244
build-model-states-explored 13953516 28171
build-model-states-explored 13972781 19265
build-model-states-explored 14001885 29104
build-model-states-explored 14023619 21734
build-model-states-explored 14048401 24782
build-model-states-explored 14087164 38763
build-model-states-explored 14118726 31562
build-model-states-explored 14149549 30823
build-model-states-explored 14194482 44933
build-model-states-explored 14223799 29317
build-model-states-explored 14268746 44947
build-model-states-explored 14312981 44235
build-model-states-explored 14328921 15940
build-model-states-explored 14359830 30909
build-model-states-explored 14389383 29553
build-model-states-explored 14427925 38542
build-model-states-explored 14464157 36232
build-model-states-explored 14510533 46376
build-model-states-explored 14541984 31451
build-model-states-explored 14588050 46066
build-model-states-explored 14608753 20703
build-model-states-explored 14632149 23396
build-model-states-explored 14666859 34710
build-model-states-explored 14698493 31634
build-model-states-explored 14742206 43713
build-model-states-explored 14765911 23705
build-model-states-explored 14798848 32937
build-model-states-explored 14844522 45674
build-model-states-explored 14865895 21373
build-model-states-explored 14898915 33020
build-model-states-explored 14915009 16094
build-model-states-explored 14936408 21399
build-model-states-explored 14965030 28622
build-model-states-explored 15002378 37348
build-model-states-explored 15031799 29421
build-model-states-explored 15063159 31360
build-model-states-explored 15103413 40254
build-model-states-explored 15140308 36895
build-model-states-explored 15164646 24338
build-model-states-explored 15209957 45311
build-model-states-explored 15225234 15277
build-model-states-explored 15245225 19991
build-model-states-explored 15284776 39551
build-model-states-explored 15316364 31588
build-model-states-explored 15354306 37942
build-model-states-explored 15397722 43416
build-model-states-explored 15423922 26200
build-model-states-explored 15463973 40051
build-model-states-explored 15505891 41918
build-model-states-explored 15535357 29466
build-model-states-explored 15553452 18095
build-model-states-explored 15575577 22125
build-model-states-explored 15607300 31723
build-model-states-explored 15639386 32086
build-model-states-explored 15660150 20764
build-model-states-explored 15660150 0
build-model-states-explored 15674169 14019
build-model-states-explored 15716583 42414
build-model-states-explored 15743058 26475
build-model-states-explored 15785236 42178
build-model-states-explored 15817718 32482
build-model-states-explored 15863945 46227
build-model-states-explored 15878364 14419
build-model-states-explored 15901212 22848
build-model-states-explored 15934401 33189
build-model-states-explored 15970370 35969
build-model-states-explored 16009160 38790
build-model-states-explored 16042931 33771
build-model-states-explored 16081836 38905
build-model-states-explored 16120297 38461
build-model-states-explored 16162181 41884
build-model-states-explored 16207176 44995
build-model-states-explored 16230632 23456
build-model-states-explored 16252293 21661
build-model-states-explored 16283937 31644
build-model-states-explored 16312711 28774
build-model-states-explored 16338431 25720
build-model-states-explored 16378376 39945
build-model-states-explored 16401811 23435
build-model-states-explored 16431804 29993
build-model-states-explored 16470816 39012
build-model-states-explored 16495801 24985
build-model-states-explored 16524585 28784
build-model-states-explored 16562158 37573
build-model-states-explored 16590787 28629
build-model-states-explored 16623814 33027
build-model-states-explored 16662371 38557
build-model-states-explored 16690114 27743
build-model-states-explored 16735122 45008
build-model-states-explored 16762620 27498
build-model-states-explored 16778556 15936
build-model-states-explored 16809535 30979
build-model-states-explored 16851008 41473
build-model-states-explored 16882715 31707
build-model-states-explored 16923255 40540
build-model-states-explored 16953981 30726
build-model-states-explored 16994081 40100
build-model-states-explored 17024656 30575
build-model-states-explored 17062071 37415
build-model-states-explored 17099444 37373
build-model-states-explored 17130557 31113
build-model-states-explored 17137692 7135
build-model-states-explored 17150257 12565
build-model-states-explored 17176157 25900
build-model-states-explored 17204470 28313
build-model-states-explored 17231872 27402
build-model-states-explored 17272048 40176
build-model-states-explored 17305211 33163
build-model-states-explored 17334185 28974
build-model-states-explored 17376940 42755
build-model-states-explored 17404203 27263
build-model-states-explored 17436906 32703
build-model-states-explored 17475701 38795
build-model-states-explored 17514145 38444
build-model-states-explored 17556265 42120
build-model-states-explored 17595176 38911
build-model-states-explored 17624253 29077
build-model-states-explored 17658661 34408
build-model-states-explored 17703863 45202
build-model-states-explored 17733622 29759
build-model-states-explored 17781466 47844
build-model-states-explored 17790763 9297
build-model-states-explored 17803827 13064
build-model-states-explored 17816792 12965
build-model-states-explored 17842348 25556
build-model-states-explored 17861948 19600
build-model-states-explored 17892234 30286
build-model-states-explored 17922499 30265
build-model-states-explored 17947212 24713
build-model-states-explored 17970859 23647
build-model-states-explored 18007879 37020
build-model-states-explored 18038488 30609
build-model-states-explored 18068799 30311
build-model-states-explored 18103195 34396
build-model-states-explored 18146020 42825
build-model-states-explored 18178886 32866
build-model-states-explored 18212855 33969
build-model-states-explored 18259158 46303
build-model-states-explored 18283063 23905
build-model-states-explored 18318851 35788
build-model-states-explored 18359324 40473
build-model-states-explored 18389679 30355
build-model-states-explored 18401559 11880
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18401559 0
build-model-states-explored 18418422 16863
build-model-states-explored 18449023 30601
build-model-states-explored 18482678 33655
build-model-states-explored 18505306 22628
build-model-states-explored 18526638 21332
build-model-states-explored 18533425 6787
build-model-states-explored 18546980 13555
build-model-states-explored 18563692 16712
build-model-states-explored 18579505 15813
build-model-states-explored 18603490 23985
build-model-states-explored 18618587 15097
build-model-states-explored 18644765 26178
build-model-states-explored 18661058 16293
build-model-states-explored 18691110 30052
build-model-states-explored 18709906 18796
build-model-states-explored 18732380 22474
build-model-states-explored 18757227 24847
build-model-states-explored 18793980 36753
build-model-states-explored 18821832 27852
build-model-states-explored 18853041 31209
build-model-states-explored 18890958 37917
build-model-states-explored 18930490 39532
build-model-states-explored 18964935 34445
build-model-states-explored 19002954 38019
build-model-states-explored 19041874 38920
build-model-states-explored 19079411 37537
build-model-states-explored 19123262 43851
build-model-states-explored 19160135 36873
build-model-states-explored 19198050 37915
build-model-states-explored 19236486 38436
build-model-states-explored 19278269 41783
build-model-states-explored 19322771 44502
build-model-states-explored 19353851 31080
build-model-states-explored 19363789 9938
build-model-states-explored 19375464 11675
build-model-states-explored 19398086 22622
build-model-states-explored 19422897 24811
build-model-states-explored 19447779 24882
build-model-states-explored 19474276 26497
build-model-states-explored 19497745 23469
build-model-states-explored 19515800 18055
build-model-states-explored 19554970 39170
build-model-states-explored 19565824 10854
build-model-states-explored 19601142 35318
build-model-states-explored 19632392 31250
build-model-states-explored 19674511 42119
build-model-states-explored 19708990 34479
build-model-states-explored 19744157 35167
build-model-states-explored 19786788 42631
build-model-states-explored 19830936 44148
build-model-states-explored 19865559 34623
build-model-states-explored 19898266 32707
build-model-states-explored 19942645 44379
build-model-states-explored 19974090 31445
build-model-states-explored 20006159 32069
build-model-states-explored 20052341 46182
build-model-states-explored 20094205 41864
build-model-states-explored 20129596 35391
build-model-states-explored 20176468 46872
build-model-states-explored 20210787 34319
build-model-states-explored 20251997 41210
build-model-states-explored 20294171 42174
build-model-states-explored 20300753 6582
build-model-states-explored 20316959 16206
build-model-states-explored 20332858 15899
build-model-states-explored 20359132 26274
build-model-states-explored 20381894 22762
build-model-states-explored 20415521 33627
build-model-states-explored 20427674 12153
build-model-states-explored 20457728 30054
build-model-states-explored 20487300 29572
build-model-states-explored 20511812 24512
build-model-states-explored 20543006 31194
build-model-states-explored 20569343 26337
build-model-states-explored 20600510 31167
build-model-states-explored 20635041 34531
build-model-states-explored 20678886 43845
build-model-states-explored 20722330 43444
build-model-states-explored 20757643 35313
build-model-states-explored 20797809 40166
build-model-states-explored 20844498 46689
build-model-states-explored 20880678 36180
build-model-states-explored 20931540 50862
build-model-states-explored 20968514 36974
build-model-states-explored 21009325 40811
build-model-states-explored 21047871 38546
build-model-states-explored 21083871 36000
build-model-states-explored 21132794 48923
build-model-states-explored 21169298 36504
build-model-states-explored 21218047 48749
build-model-states-explored 21253901 35854
build-model-states-explored 21294168 40267
build-model-states-explored 21337498 43330
build-model-states-explored 21377588 40090
build-model-states-explored 21408888 31300
build-model-states-explored 21447306 38418
build-model-states-explored 21492043 44737
build-model-states-explored 21525741 33698
build-model-states-explored 21573872 48131
build-model-states-explored 21608868 34996
build-model-states-explored 21642755 33887
build-model-states-explored 21685666 42911
build-model-states-explored 21721882 36216
build-model-states-explored 21750019 28137
build-model-states-explored 21774240 24221
build-model-states-explored 21804836 30596
build-model-states-explored 21834625 29789
build-model-states-explored 21868462 33837
build-model-states-explored 21902596 34134
build-model-states-explored 21940443 37847
build-model-states-explored 21982972 42529
build-model-states-explored 22015531 32559
build-model-states-explored 22048233 32702
build-model-states-explored 22082626 34393
build-model-states-explored 22122316 39690
build-model-states-explored 22158848 36532
build-model-states-explored 22182750 23902
build-model-states-explored 22215724 32974
build-model-states-explored 22248901 33177
build-model-states-explored 22281461 32560
build-model-states-explored 22312051 30590
build-model-states-explored 22344226 32175
build-model-states-explored 22388144 43918
build-model-states-explored 22429316 41172
build-model-states-explored 22462924 33608
build-model-states-explored 22496842 33918
build-model-states-explored 22537840 40998
build-model-states-explored 22575265 37425
build-model-states-explored 22604972 29707
build-model-states-explored 22639902 34930
build-model-states-explored 22671057 31155
build-model-states-explored 22703926 32869
build-model-states-explored 22737459 33533
build-model-states-explored 22776347 38888
build-model-states-explored 22816627 40280
build-model-states-explored 22850299 33672
build-model-states-explored 22884909 34610
build-model-states-explored 22930366 45457
build-model-states-explored 22971141 40775
build-model-states-explored 23001820 30679
build-model-states-explored 23037430 35610
build-model-states-explored 23077830 40400
build-model-states-explored 23101674 23844
build-model-states-explored 23144575 42901
build-model-states-explored 23187868 43293
build-model-states-explored 23221050 33182
build-model-states-explored 23268165 47115
build-model-states-explored 23309479 41314
build-model-states-explored 23341421 31942
build-model-states-explored 23389447 48026
build-model-states-explored 23421818 32371
build-model-states-explored 23464289 42471
build-model-states-explored 23497523 33234
build-model-states-explored 23538219 40696
build-model-states-explored 23544143 5924
build-model-states-explored 23544143 0
build-model-states-explored 23544143 0
build-model-states-explored 23544144 1
build-model-states-explored 23554868 10724
build-model-states-explored 23562308 7440
build-model-states-explored 23573317 11009
build-model-states-explored 23581008 7691
build-model-states-explored 23602762 21754
build-model-states-explored 23621295 18533
build-model-states-explored 23633080 11785
build-model-states-explored 23651440 18360
build-model-states-explored 23667323 15883
build-model-states-explored 23685636 18313
build-model-states-explored 23701437 15801
build-model-states-explored 23717859 16422
build-model-states-explored 23737839 19980
build-model-states-explored 23747851 10012
build-model-states-explored 23772271 24420
build-model-states-explored 23796557 24286
build-model-states-explored 23809629 13072
build-model-states-explored 23843102 33473
build-model-states-explored 23852660 9558
build-model-states-explored 23875175 22515
build-model-states-explored 23901959 26784
build-model-states-explored 23912211 10252
build-model-states-explored 23942398 30187
build-model-states-explored 23958387 15989
build-model-states-explored 23976593 18206
build-model-states-explored 24007048 30455
build-model-states-explored 24015084 8036
build-model-states-explored 24045754 30670
build-model-states-explored 24064768 19014
build-model-states-explored 24081209 16441
build-model-states-explored 24109076 27867
build-model-states-explored 24121920 12844
build-model-states-explored 24153085 31165
build-model-states-explored 24186282 33197
build-model-states-explored 24214021 27739
build-model-states-explored 24231644 17623
build-model-states-explored 24262187 30543
build-model-states-explored 24289885 27698
build-model-states-explored 24314246 24361
build-model-states-explored 24337991 23745
build-model-states-explored 24360167 22176
build-model-states-explored 24395463 35296
build-model-states-explored 24417375 21912
build-model-states-explored 24437674 20299
build-model-states-explored 24471845 34171
build-model-states-explored 24504992 33147
build-model-states-explored 24517138 12146
build-model-states-explored 24549234 32096
build-model-states-explored 24583007 33773
build-model-states-explored 24604074 21067
build-model-states-explored 24628828 24754
build-model-states-explored 24654547 25719
build-model-states-explored 24684799 30252
build-model-states-explored 24707105 22306
build-model-states-explored 24726129 19024
build-model-states-explored 24764117 37988
build-model-states-explored 24795130 31013
build-model-states-explored 24804424 9294
build-model-states-explored 24821118 16694
build-model-states-explored 24833034 11916
build-model-states-explored 24853831 20797
build-model-states-explored 24868019 14188
build-model-states-explored 24894231 26212
build-model-states-explored 24915530 21299
build-model-states-explored 24946817 31287
build-model-states-explored 24967254 20437
build-model-states-explored 25005728 38474
build-model-states-explored 25029930 24202
build-model-states-explored 25068616 38686
build-model-states-explored 25096713 28097
build-model-states-explored 25130528 33815
build-model-states-explored 25157855 27327
build-model-states-explored 25188542 30687
build-model-states-explored 25196155 7613
build-model-states-explored 25243065 46910
build-model-states-explored 25292196 49131
build-model-states-explored 25334639 42443
build-model-states-explored 25389901 55262
build-model-states-explored 25397928 8027
build-model-states-explored 25426578 28650
build-model-states-explored 25466147 39569
build-model-states-explored 25507885 41738
build-model-states-explored 25557734 49849
build-model-states-explored 25595294 37560
build-model-states-explored 25604879 9585
build-model-states-explored 25620243 15364
build-model-states-explored 25633370 13127
build-model-states-explored 25653262 19892
build-model-states-explored 25668973 15711
build-model-states-explored 25690766 21793
build-model-states-explored 25709255 18489
build-model-states-explored 25735085 25830
build-model-states-explored 25757266 22181
build-model-states-explored 25791739 34473
build-model-states-explored 25816073 24334
build-model-states-explored 25841086 25013
build-model-states-explored 25872017 30931
build-model-states-explored 25895268 23251
build-model-states-explored 25946309 51041
build-model-states-explored 25953983 7674
build-model-states-explored 25978676 24693
build-model-states-explored 26020774 42098
build-model-states-explored 26059062 38288
build-model-states-explored 26105568 46506
build-model-states-explored 26155951 50383
build-model-states-explored 26187176 31225
build-model-states-explored 26211064 23888
build-model-states-explored 26219309 8245
build-model-states-explored 26251116 31807
build-model-states-explored 26304409 53293
build-model-states-explored 26338712 34303
build-model-states-explored 26376420 37708
build-model-states-explored 26420896 44476
build-model-states-explored 26459891 38995
build-model-states-explored 26467855 7964
build-model-states-explored 26483977 16122
build-model-states-explored 26494643 10666
build-model-states-explored 26515107 20464
build-model-states-explored 26528337 13230
build-model-states-explored 26550110 21773
build-model-states-explored 26564690 14580
build-model-states-explored 26586805 22115
build-model-states-explored 26606738 19933
build-model-states-explored 26626264 19526
build-model-states-explored 26656866 30602
build-model-states-explored 26673730 16864
build-model-states-explored 26701829 28099
build-model-states-explored 26744844 43015
build-model-states-explored 26763232 18388
build-model-states-explored 26806430 43198
build-model-states-explored 26816884 10454
build-model-states-explored 26833442 16558
build-model-states-explored 26893306 59864
build-model-states-explored 26935176 41870
build-model-states-explored 26974914 39738
build-model-states-explored 27032463 57549
build-model-states-explored 27068093 35630
build-model-states-explored 27106358 38265
build-model-states-explored 27120343 13985
build-model-states-explored 27137122 16779
build-model-states-explored 27192149 55027
build-model-states-explored 27229186 37037
build-model-states-explored 27284580 55394
build-model-states-explored 27322633 38053
build-model-states-explored 27368450 45817
build-model-states-explored 27402736 34286
build-model-states-explored 27414788 12052
build-model-states-explored 27432006 17218
build-model-states-explored 27443042 11036
build-model-states-explored 27462771 19729
build-model-states-explored 27477021 14250
build-model-states-explored 27498092 21071
build-model-states-explored 27515482 17390
build-model-states-explored 27541768 26286
build-model-states-explored 27561186 19418
build-model-states-explored 27588871 27685
build-model-states-explored 27613832 24961
build-model-states-explored 27642475 28643
build-model-states-explored 27672365 29890
build-model-states-explored 27698851 26486
build-model-states-explored 27738077 39226
build-model-states-explored 27763120 25043
build-model-states-explored 27790588 27468
build-model-states-explored 27799593 9005
build-model-states-explored 27825059 25466
build-model-states-explored 27880537 55478
build-model-states-explored 27931411 50874
build-model-states-explored 27969222 37811
build-model-states-explored 28007396 38174
build-model-states-explored 28053722 46326
build-model-states-explored 28083572 29850
build-model-states-explored 28121422 37850
build-model-states-explored 28138906 17484
build-model-states-explored 28149631 10725
build-model-states-explored 28176770 27139
build-model-states-explored 28218819 42049
build-model-states-explored 28267341 48522
build-model-states-explored 28313386 46045
build-model-states-explored 28346453 33067
build-model-states-explored 28386371 39918
build-model-states-explored 28423355 36984
build-model-states-explored 28448396 25041
build-model-states-explored 28475643 27247
build-model-states-explored 28485098 9455
build-model-states-explored 28497749 12651
build-model-states-explored 28513603 15854
build-model-states-explored 28527181 13578
build-model-states-explored 28547581 20400
build-model-states-explored 28561679 14098
build-model-states-explored 28588664 26985
build-model-states-explored 28606750 18086
build-model-states-explored 28629395 22645
build-model-states-explored 28655349 25954
build-model-states-explored 28678278 22929
build-model-states-explored 28707656 29378
build-model-states-explored 28728078 20422
build-model-states-explored 28765331 37253
build-model-states-explored 28798588 33257
build-model-states-explored 28833950 35362
build-model-states-explored 28861632 27682
build-model-states-explored 28898974 37342
build-model-states-explored 28910416 11442
build-model-states-explored 28937485 27069
build-model-states-explored 28996758 59273
build-model-states-explored 29040671 43913
build-model-states-explored 29097006 56335
build-model-states-explored 29142722 45716
build-model-states-explored 29179751 37029
build-model-states-explored 29220613 40862
build-model-states-explored 29248376 27763
build-model-states-explored 29290737 42361
build-model-states-explored 29300730 9993
build-model-states-explored 29325173 24443
build-model-states-explored 29367368 42195
build-model-states-explored 29412234 44866
build-model-states-explored 29461408 49174
build-model-states-explored 29497971 36563
build-model-states-explored 29536947 38976
build-model-states-explored 29575902 38955
build-model-states-explored 29607225 31323
build-model-states-explored 29632234 25009
build-model-states-explored 29664217 31983
build-model-states-explored 29682883 18666
build-model-states-explored 29690197 7314
build-model-states-explored 29736326 46129
build-model-states-explored 29773169 36843
build-model-states-explored 29809116 35947
build-model-states-explored 29856867 47751
build-model-states-explored 29903155 46288
build-model-states-explored 29940529 37374
build-model-states-explored 29967726 27197
build-model-states-explored 29999464 31738
build-model-states-explored 30020075 20611
build-model-states-explored 30057975 37900
build-model-states-explored 30085455 27480
build-model-states-explored 30104770 19315
build-model-states-explored 30130736 25966
build-model-states-explored 30138073 7337
build-model-states-explored 30174423 36350
build-model-states-explored 30223963 49540
build-model-states-explored 30258368 34405
build-model-states-explored 30299428 41060
build-model-states-explored 30347024 47596
build-model-states-explored 30381702 34678
build-model-states-explored 30410849 29147
build-model-states-explored 30443276 32427
build-model-states-explored 30465443 22167
build-model-states-explored 30495095 29652
build-model-states-explored 30519410 24315
build-model-states-explored 30545084 25674
build-model-states-explored 30566226 21142
build-model-states-explored 30572816 6590
build-model-states-explored 30610130 37314
build-model-states-explored 30658059 47929
build-model-states-explored 30691025 32966
build-model-states-explored 30732308 41283
build-model-states-explored 30778541 46233
build-model-states-explored 30810009 31468
build-model-states-explored 30842550 32541
build-model-states-explored 30874388 31838
build-model-states-explored 30893101 18713
build-model-states-explored 30930993 37892
build-model-states-explored 30956843 25850
build-model-states-explored 30980535 23692
build-model-states-explored 31005637 25102
build-model-states-explored 31011891 6254
build-model-states-explored 31045570 33679
build-model-states-explored 31089874 44304
build-model-states-explored 31122814 32940
build-model-states-explored 31166072 43258
build-model-states-explored 31211500 45428
build-model-states-explored 31246005 34505
build-model-states-explored 31279405 33400
build-model-states-explored 31313619 34214
build-model-states-explored 31332799 19180
build-model-states-explored 31374965 42166
build-model-states-explored 31398532 23567
build-model-states-explored 31423667 25135
build-model-states-explored 31456981 33314
build-model-states-explored 31467386 10405
build-model-states-explored 31488085 20699
build-model-states-explored 31528063 39978
build-model-states-explored 31575031 46968
build-model-states-explored 31618553 43522
build-model-states-explored 31652581 34028
build-model-states-explored 31669628 17047
build-model-states-explored 31669628 0
build-model-states-explored 31669628 0
build-model-states-explored 31669628 0
build-model-states-explored 31686475 16847
build-model-states-explored 31728967 42492
build-model-states-explored 31758787 29820
build-model-states-explored 31783697 24910
build-model-states-explored 31821199 37502
build-model-states-explored 31845306 24107
build-model-states-explored 31876120 30814
build-model-states-explored 31908010 31890
build-model-states-explored 31937288 29278
build-model-states-explored 31944672 7384
build-model-states-explored 31948791 4119
build-model-states-explored 31963454 14663
build-model-states-explored 31982548 19094
build-model-states-explored 32012029 29481
build-model-states-explored 32041721 29692
build-model-states-explored 32060503 18782
build-model-states-explored 32084783 24280
build-model-states-explored 32113170 28387
build-model-states-explored 32133166 19996
build-model-states-explored 32162656 29490
build-model-states-explored 32193753 31097
build-model-states-explored 32224788 31035
build-model-states-explored 32247860 23072
build-model-states-explored 32289755 41895
build-model-states-explored 32307662 17907
build-model-states-explored 32340320 32658
build-model-states-explored 32375543 35223
build-model-states-explored 32401820 26277
build-model-states-explored 32431031 29211
build-model-states-explored 32455475 24444
build-model-states-explored 32498059 42584
build-model-states-explored 32520070 22011
build-model-states-explored 32548207 28137
build-model-states-explored 32589132 40925
build-model-states-explored 32607764 18632
build-model-states-explored 32645325 37561
build-model-states-explored 32674322 28997
build-model-states-explored 32704892 30570
build-model-states-explored 32744641 39749
build-model-states-explored 32783774 39133
build-model-states-explored 32804412 20638
build-model-states-explored 32849616 45204
build-model-states-explored 32879705 30089
build-model-states-explored 32912886 33181
build-model-states-explored 32946048 33162
build-model-states-explored 32976130 30082
build-model-states-explored 33013384 37254
build-model-states-explored 33039478 26094
build-model-states-explored 33065654 26176
build-model-states-explored 33103700 38046
build-model-states-explored 33142538 38838
build-model-states-explored 33164242 21704
build-model-states-explored 33204805 40563
build-model-states-explored 33244038 39233
build-model-states-explored 33274416 30378
build-model-states-explored 33307377 32961
build-model-states-explored 33345712 38335
build-model-states-explored 33375868 30156
build-model-states-explored 33411350 35482
build-model-states-explored 33441806 30456
build-model-states-explored 33471788 29982
build-model-states-explored 33508247 36459
build-model-states-explored 33540026 31779
build-model-states-explored 33554431 14405
build-model-states-explored 33554431 0
build-model-states-explored 33583297 28866
build-model-states-explored 33612559 29262
build-model-states-explored 33648398 35839
build-model-states-explored 33687557 39159
build-model-states-explored 33722003 34446
build-model-states-explored 33737419 15416
build-model-states-explored 33773267 35848
build-model-states-explored 33812679 39412
build-model-states-explored 33846970 34291
build-model-states-explored 33876122 29152
build-model-states-explored 33910630 34508
build-model-states-explored 33939600 28970
build-model-states-explored 33971481 31881
build-model-states-explored 34005467 33986
build-model-states-explored 34044733 39266
build-model-states-explored 34083221 38488
build-model-states-explored 34112434 29213
build-model-states-explored 34142333 29899
build-model-states-explored 34184502 42169
build-model-states-explored 34217019 32517
build-model-states-explored 34259690 42671
build-model-states-explored 34295263 35573
build-model-states-explored 34317171 21908
build-model-states-explored 34353340 36169
build-model-states-explored 34391234 37894
build-model-states-explored 34423726 32492
build-model-states-explored 34450791 27065
build-model-states-explored 34488722 37931
build-model-states-explored 34517917 29195
build-model-states-explored 34547850 29933
build-model-states-explored 34577067 29217
build-model-states-explored 34617590 40523
build-model-states-explored 34643259 25669
build-model-states-explored 34675523 32264
build-model-states-explored 34702466 26943
build-model-states-explored 34733990 31524
build-model-states-explored 34762808 28818
build-model-states-explored 34796560 33752
build-model-states-explored 34836241 39681
build-model-states-explored 34865269 29028
build-model-states-explored 34882010 16741
build-model-states-explored 34887477 5467
build-model-states-explored 34892200 4723
build-model-states-explored 34896755 4555
build-model-states-explored 34929101 32346
build-model-states-explored 34960315 31214
build-model-states-explored 34984956 24641
build-model-states-explored 35014253 29297
build-model-states-explored 35050900 36647
build-model-states-explored 35076603 25703
build-model-states-explored 35111529 34926
build-model-states-explored 35151370 39841
build-model-states-explored 35181850 30480
build-model-states-explored 35209408 27558
build-model-states-explored 35250252 40844
build-model-states-explored 35278003 27751
build-model-states-explored 35313479 35476
build-model-states-explored 35357586 44107
build-model-states-explored 35381094 23508
build-model-states-explored 35416753 35659
build-model-states-explored 35449288 32535
build-model-states-explored 35483325 34037
build-model-states-explored 35529678 46353
build-model-states-explored 35556897 27219
build-model-states-explored 35600712 43815
build-model-states-explored 35623904 23192
build-model-states-explored 35663106 39202
build-model-states-explored 35702410 39304
build-model-states-explored 35731129 28719
build-model-states-explored 35770910 39781
build-model-states-explored 35796948 26038
build-model-states-explored 35832680 35732
build-model-states-explored 35838333 5653
build-model-states-explored 35844084 5751
build-model-states-explored 35848617 4533
build-model-states-explored 35873680 25063
build-model-states-explored 35903873 30193
build-model-states-explored 35931095 27222
build-model-states-explored 35964163 33068
build-model-states-explored 36000099 35936
build-model-states-explored 36022524 22425
build-model-states-explored 36058248 35724
build-model-states-explored 36089446 31198
build-model-states-explored 36118692 29246
build-model-states-explored 36158496 39804
build-model-states-explored 36188185 29689
build-model-states-explored 36211971 23786
build-model-states-explored 36247636 35665
build-model-states-explored 36279247 31611
build-model-states-explored 36305337 26090
build-model-states-explored 36343253 37916
build-model-states-explored 36371985 28732
build-model-states-explored 36404485 32500
build-model-states-explored 36438043 33558
build-model-states-explored 36464321 26278
build-model-states-explored 36505939 41618
build-model-states-explored 36542462 36523
build-model-states-explored 36568441 25979
build-model-states-explored 36601969 33528
build-model-states-explored 36630032 28063
build-model-states-explored 36655652 25620
build-model-states-explored 36694552 38900
build-model-states-explored 36722746 28194
build-model-states-explored 36750284 27538
build-model-states-explored 36780731 30447
build-model-states-explored 36785785 5054
build-model-states-explored 36791249 5464
build-model-states-explored 36796593 5344
build-model-states-explored 36809905 13312
build-model-states-explored 36840564 30659
build-model-states-explored 36876152 35588
build-model-states-explored 36896205 20053
build-model-states-explored 36928268 32063
build-model-states-explored 36960328 32060
build-model-states-explored 36988629 28301
build-model-states-explored 37023501 34872
build-model-states-explored 37056995 33494
build-model-states-explored 37081139 24144
build-model-states-explored 37110966 29827
build-model-states-explored 37129449 18483
build-model-states-explored 37168696 39247
build-model-states-explored 37207140 38444
build-model-states-explored 37232184 25044
build-model-states-explored 37271104 38920
build-model-states-explored 37304715 33611
build-model-states-explored 37335015 30300
build-model-states-explored 37377529 42514
build-model-states-explored 37407226 29697
build-model-states-explored 37449641 42415
build-model-states-explored 37478542 28901
build-model-states-explored 37502395 23853
build-model-states-explored 37525598 23203
build-model-states-explored 37560911 35313
build-model-states-explored 37602851 41940
build-model-states-explored 37626491 23640
build-model-states-explored 37669334 42843
build-model-states-explored 37690721 21387
build-model-states-explored 37734309 43588
build-model-states-explored 37764842 30533
build-model-states-explored 37806921 42079
build-model-states-explored 37836103 29182
build-model-states-explored 37854753 18650
build-model-states-explored 37859919 5166
build-model-states-explored 37864485 4566
build-model-states-explored 37869330 4845
build-model-states-explored 37889273 19943
build-model-states-explored 37922417 33144
build-model-states-explored 37948457 26040
build-model-states-explored 37986582 38125
build-model-states-explored 38011449 24867
build-model-states-explored 38046779 35330
build-model-states-explored 38087250 40471
build-model-states-explored 38110788 23538
build-model-states-explored 38143136 32348
build-model-states-explored 38170367 27231
build-model-states-explored 38196026 25659
build-model-states-explored 38223603 27577
build-model-states-explored 38256348 32745
build-model-states-explored 38281669 25321
build-model-states-explored 38319759 38090
build-model-states-explored 38339768 20009
build-model-states-explored 38375572 35804
build-model-states-explored 38407375 31803
build-model-states-explored 38440473 33098
build-model-states-explored 38482693 42220
build-model-states-explored 38506504 23811
build-model-states-explored 38549629 43125
build-model-states-explored 38576074 26445
build-model-states-explored 38610432 34358
build-model-states-explored 38625291 14859
build-model-states-explored 38656305 31014
build-model-states-explored 38670109 13804
build-model-states-explored 38704069 33960
build-model-states-explored 38729113 25044
build-model-states-explored 38766312 37199
build-model-states-explored 38796762 30450
build-model-states-explored 38836527 39765
build-model-states-explored 38865741 29214
build-model-states-explored 38896917 31176
build-model-states-explored 38928230 31313
build-model-states-explored 38958762 30532
build-model-states-explored 38996004 37242
build-model-states-explored 39014240 18236
build-model-states-explored 39044144 29904
build-model-states-explored 39065769 21625
build-model-states-explored 39084669 18900
build-model-states-explored 39090507 5838
build-model-states-explored 39095816 5309
build-model-states-explored 39101751 5935
build-model-states-explored 39132284 30533
build-model-states-explored 39168556 36272
build-model-states-explored 39186949 18393
build-model-states-explored 39222932 35983
build-model-states-explored 39251914 28982
build-model-states-explored 39283452 31538
build-model-states-explored 39325389 41937
build-model-states-explored 39353420 28031
build-model-states-explored 39383428 30008
build-model-states-explored 39415869 32441
build-model-states-explored 39441639 25770
build-model-states-explored 39477943 36304
build-model-states-explored 39505849 27906
build-model-states-explored 39543760 37911
build-model-states-explored 39576437 32677
build-model-states-explored 39605682 29245
build-model-states-explored 39644864 39182
build-model-states-explored 39673623 28759
build-model-states-explored 39721668 48045
build-model-states-explored 39749581 27913
build-model-states-explored 39790673 41092
build-model-states-explored 39821058 30385
build-model-states-explored 39851665 30607
build-model-states-explored 39867411 15746
build-model-states-explored 39895558 28147
build-model-states-explored 39912888 17330
build-model-states-explored 39942453 29565
build-model-states-explored 39965967 23514
build-model-states-explored 39993256 27289
build-model-states-explored 40034547 41291
build-model-states-explored 40065802 31255
build-model-states-explored 40106705 40903
build-model-states-explored 40144786 38081
build-model-states-explored 40175899 31113
build-model-states-explored 40212910 37011
build-model-states-explored 40244195 31285
build-model-states-explored 40273746 29551
build-model-states-explored 40297630 23884
build-model-states-explored 40339069 41439
build-model-states-explored 40352832 13763
build-model-states-explored 40390944 38112
build-model-states-explored 40403440 12496
build-model-states-explored 40437959 34519
build-model-states-explored 40470117 32158
build-model-states-explored 40510449 40332
build-model-states-explored 40537870 27421
build-model-states-explored 40562065 24195
build-model-states-explored 40598613 36548
build-model-states-explored 40616068 17455
build-model-states-explored 40653880 37812
build-model-states-explored 40659814 5934
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40659814 0
build-model-states-explored 40661051 1237
build-model-states-explored 40706937 45886
build-model-states-explored 40735891 28954
build-model-states-explored 40755575 19684
build-model-states-explored 40781482 25907
build-model-states-explored 40798153 16671
build-model-states-explored 40821575 23422
build-model-states-explored 40835398 13823
build-model-states-explored 40864101 28703
build-model-states-explored 40886660 22559
build-model-states-explored 40905848 19188
build-model-states-explored 40930651 24803
build-model-states-explored 40955708 25057
build-model-states-explored 40988627 32919
build-model-states-explored 41020582 31955
build-model-states-explored 41051939 31357
build-model-states-explored 41085902 33963
build-model-states-explored 41123153 37251
build-model-states-explored 41156676 33523
build-model-states-explored 41183893 27217
build-model-states-explored 41220002 36109
build-model-states-explored 41251633 31631
build-model-states-explored 41279585 27952
build-model-states-explored 41310181 30596
build-model-states-explored 41338466 28285
build-model-states-explored 41354554 16088
build-model-states-explored 41385967 31413
build-model-states-explored 41402466 16499
build-model-states-explored 41429243 26777
build-model-states-explored 41454220 24977
build-model-states-explored 41483474 29254
build-model-states-explored 41518398 34924
build-model-states-explored 41548890 30492
build-model-states-explored 41574579 25689
build-model-states-explored 41608892 34313
build-model-states-explored 41638468 29576
build-model-states-explored 41668581 30113
build-model-states-explored 41703696 35115
build-model-states-explored 41740686 36990
build-model-states-explored 41761853 21167
build-model-states-explored 41793302 31449
build-model-states-explored 41818951 25649
build-model-states-explored 41841128 22177
build-model-states-explored 41874611 33483
build-model-states-explored 41902715 28104
build-model-states-explored 41920547 17832
build-model-states-explored 41958269 37722
build-model-states-explored 41984780 26511
build-model-states-explored 42011776 26996
build-model-states-explored 42051629 39853
build-model-states-explored 42084302 32673
build-model-states-explored 42117617 33315
build-model-states-explored 42150767 33150
build-model-states-explored 42187832 37065
build-model-states-explored 42211767 23935
build-model-states-explored 42250119 38352
build-model-states-explored 42283127 33008
build-model-states-explored 42311268 28141
build-model-states-explored 42349763 38495
build-model-states-explored 42375549 25786
build-model-states-explored 42400215 24666
build-model-states-explored 42434001 33786
build-model-states-explored 42451458 17457
build-model-states-explored 42491116 39658
build-model-states-explored 42522642 31526
build-model-states-explored 42556536 33894
build-model-states-explored 42595665 39129
build-model-states-explored 42621831 26166
build-model-states-explored 42666302 44471
build-model-states-explored 42692837 26535
build-model-states-explored 42733247 40410
build-model-states-explored 42775001 41754
build-model-states-explored 42807570 32569
build-model-states-explored 42847068 39498
build-model-states-explored 42874310 27242
build-model-states-explored 42908057 33747
build-model-states-explored 42934878 26821
build-model-states-explored 42970710 35832
build-model-states-explored 42998768 28058
build-model-states-explored 43030505 31737
build-model-states-explored 43067794 37289
build-model-states-explored 43093060 25266
build-model-states-explored 43122032 28972
build-model-states-explored 43127299 5267
build-model-states-explored 43137321 10022
build-model-states-explored 43146920 9599
build-model-states-explored 43158300 11380
build-model-states-explored 43165116 6816
build-model-states-explored 43175620 10504
build-model-states-explored 43183375 7755
build-model-states-explored 43192800 9425
build-model-states-explored 43200821 8021
build-model-states-explored 43211506 10685
build-model-states-explored 43219485 7979
build-model-states-explored 43229746 10261
build-model-states-explored 43239475 9729
build-model-states-explored 43247656 8181
build-model-states-explored 43259542 11886
build-model-states-explored 43288965 29423
build-model-states-explored 43295789 6824
build-model-states-explored 43328856 33067
build-model-states-explored 43335114 6258
build-model-states-explored 43345756 10642
build-model-states-explored 43374884 29128
build-model-states-explored 43385115 10231
build-model-states-explored 43402409 17294
build-model-states-explored 43424613 22204
build-model-states-explored 43432436 7823
build-model-states-explored 43462373 29937
build-model-states-explored 43471406 9033
build-model-states-explored 43478996 7590
build-model-states-explored 43510265 31269
build-model-states-explored 43517889 7624
build-model-states-explored 43538132 20243
build-model-states-explored 43558074 19942
build-model-states-explored 43568403 10329
build-model-states-explored 43592441 24038
build-model-states-explored 43638856 46415
build-model-states-explored 43646406 7550
build-model-states-explored 43656327 9921
build-model-states-explored 43709248 52921
build-model-states-explored 43727908 18660
build-model-states-explored 43737943 10035
build-model-states-explored 43748773 10830
build-model-states-explored 43799086 50313
build-model-states-explored 43817190 18104
build-model-states-explored 43825186 7996
build-model-states-explored 43859215 34029
build-model-states-explored 43889135 29920
build-model-states-explored 43907055 17920
build-model-states-explored 43913240 6185
build-model-states-explored 43958340 45100
build-model-states-explored 43987572 29232
build-model-states-explored 43995537 7965
build-model-states-explored 44028761 33224
build-model-states-explored 44062951 34190
build-model-states-explored 44078918 15967
build-model-states-explored 44086196 7278
build-model-states-explored 44122377 36181
build-model-states-explored 44159233 36856
build-model-states-explored 44165961 6728
build-model-states-explored 44188190 22229
build-model-states-explored 44220738 32548
build-model-states-explored 44263425 42687
build-model-states-explored 44298547 35122
build-model-states-explored 44305461 6914
build-model-states-explored 44312390 6929
build-model-states-explored 44350216 37826
build-model-states-explored 44403142 52926
build-model-states-explored 44431842 28700
build-model-states-explored 44444405 12563
build-model-states-explored 44451240 6835
build-model-states-explored 44482224 30984
build-model-states-explored 44522555 40331
build-model-states-explored 44552479 29924
build-model-states-explored 44583441 30962
build-model-states-explored 44590511 7070
build-model-states-explored 44618706 28195
build-model-states-explored 44657657 38951
build-model-states-explored 44686437 28780
build-model-states-explored 44720895 34458
build-model-states-explored 44727037 6142
build-model-states-explored 44755089 28052
build-model-states-explored 44797593 42504
build-model-states-explored 44829413 31820
build-model-states-explored 44861364 31951
build-model-states-explored 44866907 5543
build-model-states-explored 44890100 23193
build-model-states-explored 44925735 35635
build-model-states-explored 44964871 39136
build-model-states-explored 45001347 36476
build-model-states-explored 45005624 4277
build-model-states-explored 45020911 15287
build-model-states-explored 45050926 30015
build-model-states-explored 45092892 41966
build-model-states-explored 45130023 37131
build-model-states-explored 45143466 13443
build-model-states-explored 45157230 13764
build-model-states-explored 45190219 32989
build-model-states-explored 45233355 43136
build-model-states-explored 45279986 46631
build-model-states-explored 45307518 27532
build-model-states-explored 45347194 39676
build-model-states-explored 45354791 7597
build-model-states-explored 45379288 24497
build-model-states-explored 45436080 56792
build-model-states-explored 45473411 37331
build-model-states-explored 45507425 34014
build-model-states-explored 45548100 40675
build-model-states-explored 45557912 9812
build-model-states-explored 45566618 8706
build-model-states-explored 45621520 54902
build-model-states-explored 45661390 39870
build-model-states-explored 45700339 38949
build-model-states-explored 45746410 46071
build-model-states-explored 45761651 15241
build-model-states-explored 45772578 10927
build-model-states-explored 45820771 48193
build-model-states-explored 45859673 38902
build-model-states-explored 45907391 47718
build-model-states-explored 45952644 45253
build-model-states-explored 45967869 15225
build-model-states-explored 45978152 10283
build-model-states-explored 46014538 36386
build-model-states-explored 46061975 47437
build-model-states-explored 46091936 29961
build-model-states-explored 46130887 38951
build-model-states-explored 46171597 40710
build-model-states-explored 46179340 7743
build-model-states-explored 46202973 23633
build-model-states-explored 46237164 34191
build-model-states-explored 46279800 42636
build-model-states-explored 46320971 41171
build-model-states-explored 46351905 30934
build-model-states-explored 46380143 28238
build-model-states-explored 46389562 9419
build-model-states-explored 46421104 31542
build-model-states-explored 46466475 45371
build-model-states-explored 46493888 27413
build-model-states-explored 46538852 44964
build-model-states-explored 46571252 32400
build-model-states-explored 46589494 18242
build-model-states-explored 46606075 16581
build-model-states-explored 46617698 11623
build-model-states-explored 46634852 17154
build-model-states-explored 46642903 8051
build-model-states-explored 46657637 14734
build-model-states-explored 46665123 7486
build-model-states-explored 46722432 57309
build-model-states-explored 46752832 30400
build-model-states-explored 46790770 37938
build-model-states-explored 46842695 51925
build-model-states-explored 46870021 27326
build-model-states-explored 46920362 50341
build-model-states-explored 46954997 34635
build-model-states-explored 46995598 40601
build-model-states-explored 47042723 47125
build-model-states-explored 47089218 46495
build-model-states-explored 47144002 54784
build-model-states-explored 47173994 29992
build-model-states-explored 47217156 43162
build-model-states-explored 47243607 26451
build-model-states-explored 47290661 47054
build-model-states-explored 47324737 34076
build-model-states-explored 47382345 57608
build-model-states-explored 47415321 32976
build-model-states-explored 47456556 41235
build-model-states-explored 47497496 40940
build-model-states-explored 47536624 39128
build-model-states-explored 47562959 26335
build-model-states-explored 47579124 16165
build-model-states-explored 47589868 10744
build-model-states-explored 47606660 16792
build-model-states-explored 47617120 10460
build-model-states-explored 47633215 16095
build-model-states-explored 47647329 14114
build-model-states-explored 47691657 44328
build-model-states-explored 47732443 40786
build-model-states-explored 47759706 27263
build-model-states-explored 47806987 47281
build-model-states-explored 47845647 38660
build-model-states-explored 47879945 34298
build-model-states-explored 47915096 35151
build-model-states-explored 47927058 11962
build-model-states-explored 47942098 15040
build-model-states-explored 47954226 12128
build-model-states-explored 47996667 42441
build-model-states-explored 48040371 43704
build-model-states-explored 48066543 26172
build-model-states-explored 48105752 39209
build-model-states-explored 48144920 39168
build-model-states-explored 48168775 23855
build-model-states-explored 48203855 35080
build-model-states-explored 48225309 21454
build-model-states-explored 48239982 14673
build-model-states-explored 48255797 15815
build-model-states-explored 48291505 35708
build-model-states-explored 48330210 38705
build-model-states-explored 48369077 38867
build-model-states-explored 48398274 29197
build-model-states-explored 48426670 28396
build-model-states-explored 48460340 33670
build-model-states-explored 48488445 28105
build-model-states-explored 48522023 33578
build-model-states-explored 48529195 7172
build-model-states-explored 48545444 16249
build-model-states-explored 48556224 10780
build-model-states-explored 48572444 16220
build-model-states-explored 48579922 7478
build-model-states-explored 48592798 12876
build-model-states-explored 48603590 10792
build-model-states-explored 48613549 9959
build-model-states-explored 48627484 13935
build-model-states-explored 48635189 7705
build-model-states-explored 48674437 39248
build-model-states-explored 48720953 46516
build-model-states-explored 48747496 26543
build-model-states-explored 48791845 44349
build-model-states-explored 48825131 33286
build-model-states-explored 48857733 32602
build-model-states-explored 48878921 21188
build-model-states-explored 48894382 15461
build-model-states-explored 48922651 28269
build-model-states-explored 48941256 18605
build-model-states-explored 48967338 26082
build-model-states-explored 49010894 43556
build-model-states-explored 49047618 36724
build-model-states-explored 49090819 43201
build-model-states-explored 49115369 24550
build-model-states-explored 49153748 38379
build-model-states-explored 49187351 33603
build-model-states-explored 49223266 35915
build-model-states-explored 49255128 31862
build-model-states-explored 49265994 10866
build-model-states-explored 49289413 23419
build-model-states-explored 49297418 8005
build-model-states-explored 49317124 19706
build-model-states-explored 49326906 9782
build-model-states-explored 49379609 52703
build-model-states-explored 49424667 45058
build-model-states-explored 49451387 26720
build-model-states-explored 49495198 43811
build-model-states-explored 49525285 30087
build-model-states-explored 49561014 35729
build-model-states-explored 49595387 34373
build-model-states-explored 49605299 9912
build-model-states-explored 49626532 21233
build-model-states-explored 49641402 14870
build-model-states-explored 49671234 29832
build-model-states-explored 49687267 16033
build-model-states-explored 49705766 18499
build-model-states-explored 49721511 15745
build-model-states-explored 49731756 10245
build-model-states-explored 49748183 16427
build-model-states-explored 49759455 11272
build-model-states-explored 49774488 15033
build-model-states-explored 49816882 42394
build-model-states-explored 49861215 44333
build-model-states-explored 49897316 36101
build-model-states-explored 49938896 41580
build-model-states-explored 49974138 35242
build-model-states-explored 50013269 39131
build-model-states-explored 50043468 30199
build-model-states-explored 50067351 23883
build-model-states-explored 50102807 35456
build-model-states-explored 50116681 13874
build-model-states-explored 50146261 29580
build-model-states-explored 50146261 0
build-model-states-explored 50146261 0
build-model-states-explored 50146261 0
build-model-states-explored 50146261 0
build-model-states-explored 50146262 1
build-model-states-explored 50206940 60678
build-model-states-explored 50255393 48453
build-model-states-explored 50306901 51508
build-model-states-explored 50350261 43360
build-model-states-explored 50395964 45703
build-model-states-explored 50430118 34154
build-model-states-explored 50450648 20530
build-model-states-explored 50474547 23899


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