java -Xms10240m -Xmx10240m -jar ./epmc-standard.jar check --model-input-files pacman.nm --property-input-files pacman.props --property-input-names crash --translate-messages false --value-floating-point-output-native true --const MAXSTEPS=60
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
start-parsing
done-parsing
model-checking
analysing-property crash
start-building-explorer
start-building-initial-states-explorer
done-building-initial-states-explorer
done-building-explorer
build-model-start
build-model-states-explored 1696 1696
build-model-states-explored 3677 1981
build-model-states-explored 5626 1949
build-model-states-explored 7581 1955
build-model-states-explored 9632 2051
build-model-states-explored 11641 2009
build-model-states-explored 13633 1992
build-model-states-explored 15614 1981
build-model-states-explored 17711 2097
build-model-states-explored 19811 2100
build-model-states-explored 21824 2013
build-model-states-explored 23823 1999
build-model-states-explored 25821 1998
build-model-states-explored 27788 1967
build-model-states-explored 29795 2007
build-model-states-explored 31792 1997
build-model-states-explored 33820 2028
build-model-states-explored 35916 2096
build-model-states-explored 38027 2111
build-model-states-explored 40119 2092
build-model-states-explored 42129 2010
build-model-states-explored 44123 1994
build-model-states-explored 46123 2000
build-model-states-explored 48114 1991
build-model-states-explored 50101 1987
build-model-states-explored 52098 1997
build-model-states-explored 54023 1925
build-model-states-explored 56027 2004
build-model-states-explored 58038 2011
build-model-states-explored 60029 1991
build-model-states-explored 62034 2005
build-model-states-explored 64024 1990
build-model-states-explored 66049 2025
build-model-states-explored 68123 2074
build-model-states-explored 70193 2070
build-model-states-explored 72302 2108
build-model-states-explored 74369 2068
build-model-states-explored 76481 2112
build-model-states-explored 78567 2086
build-model-states-explored 80565 1998
build-model-states-explored 82562 1997
build-model-states-explored 84544 1982
build-model-states-explored 86546 2002
build-model-states-explored 88542 1996
build-model-states-explored 90536 1994
build-model-states-explored 92527 1991
build-model-states-explored 94527 2000
build-model-states-explored 96520 1993
build-model-states-explored 98520 2000
build-model-states-explored 100532 2012
build-model-states-explored 102541 2009
build-model-states-explored 104551 2010
build-model-states-explored 106555 2004
build-model-states-explored 108408 1853
build-model-states-explored 110411 2003
build-model-states-explored 112413 2002
build-model-states-explored 114415 2002
build-model-states-explored 116421 2006
build-model-states-explored 118426 2005
build-model-states-explored 120445 2019
build-model-states-explored 122555 2110
build-model-states-explored 124661 2106
build-model-states-explored 126777 2116
build-model-states-explored 128866 2089
build-model-states-explored 130977 2111
build-model-states-explored 133075 2098
build-model-states-explored 135151 2076
build-model-states-explored 137199 2048
build-model-states-explored 139313 2114
build-model-states-explored 141418 2105
build-model-states-explored 143526 2108
build-model-states-explored 145568 2042
build-model-states-explored 147564 1996
build-model-states-explored 149557 1993
build-model-states-explored 151551 1994
build-model-states-explored 153541 1990
build-model-states-explored 155536 1995
build-model-states-explored 157537 2001
build-model-states-explored 159533 1996
build-model-states-explored 161535 2002
build-model-states-explored 163534 1999
build-model-states-explored 165530 1996
build-model-states-explored 167530 2000
build-model-states-explored 169522 1992
build-model-states-explored 171488 1966
build-model-states-explored 173487 1999
build-model-states-explored 175483 1996
build-model-states-explored 177483 2000
build-model-states-explored 179493 2010
build-model-states-explored 181503 2010
build-model-states-explored 183514 2011
build-model-states-explored 185524 2010
build-model-states-explored 187535 2011
build-model-states-explored 189542 2007
build-model-states-explored 191549 2007
build-model-states-explored 193555 2006
build-model-states-explored 195553 1998
build-model-states-explored 197563 2010
build-model-states-explored 199570 2007
build-model-states-explored 201579 2009
build-model-states-explored 203585 2006
build-model-states-explored 205592 2007
build-model-states-explored 207601 2009
build-model-states-explored 209605 2004
build-model-states-explored 211609 2004
build-model-states-explored 213643 2034
build-model-states-explored 215751 2108
build-model-states-explored 217548 1797
build-model-states-explored 219655 2107
build-model-states-explored 221770 2115
build-model-states-explored 223880 2110
build-model-states-explored 225968 2088
build-model-states-explored 228075 2107
build-model-states-explored 230183 2108
build-model-states-explored 232289 2106
build-model-states-explored 234384 2095
build-model-states-explored 236490 2106
build-model-states-explored 238591 2101
build-model-states-explored 240675 2084
build-model-states-explored 242772 2097
build-model-states-explored 244886 2114
build-model-states-explored 246984 2098
build-model-states-explored 249089 2105
build-model-states-explored 251197 2108
build-model-states-explored 253276 2079
build-model-states-explored 255270 1994
build-model-states-explored 257261 1991
build-model-states-explored 259254 1993
build-model-states-explored 261249 1995
build-model-states-explored 263240 1991
build-model-states-explored 265236 1996
build-model-states-explored 267230 1994
build-model-states-explored 269231 2001
build-model-states-explored 271230 1999
build-model-states-explored 273225 1995
build-model-states-explored 275217 1992
build-model-states-explored 277213 1996
build-model-states-explored 279212 1999
build-model-states-explored 281215 2003
build-model-states-explored 283214 1999
build-model-states-explored 285214 2000
build-model-states-explored 287215 2001
build-model-states-explored 289212 1997
build-model-states-explored 291207 1995
build-model-states-explored 293197 1990
build-model-states-explored 295192 1995
build-model-states-explored 297187 1995
build-model-states-explored 299186 1999
build-model-states-explored 301192 2006
build-model-states-explored 303187 1995
build-model-states-explored 305188 2001
build-model-states-explored 307191 2003
build-model-states-explored 309194 2003
build-model-states-explored 311197 2003
build-model-states-explored 313197 2000
build-model-states-explored 315195 1998
build-model-states-explored 317194 1999
build-model-states-explored 319196 2002
build-model-states-explored 321205 2009
build-model-states-explored 323211 2006
build-model-states-explored 325219 2008
build-model-states-explored 327232 2013
build-model-states-explored 329239 2007
build-model-states-explored 331243 2004
build-model-states-explored 333249 2006
build-model-states-explored 335253 2004
build-model-states-explored 337257 2004
build-model-states-explored 339271 2014
build-model-states-explored 341281 2010
build-model-states-explored 343290 2009
build-model-states-explored 345302 2012
build-model-states-explored 347312 2010
build-model-states-explored 349322 2010
build-model-states-explored 351326 2004
build-model-states-explored 353274 1948
build-model-states-explored 355276 2002
build-model-states-explored 357281 2005
build-model-states-explored 359287 2006
build-model-states-explored 361342 2055
build-model-states-explored 363452 2110
build-model-states-explored 365565 2113
build-model-states-explored 367677 2112
build-model-states-explored 369786 2109
build-model-states-explored 371894 2108
build-model-states-explored 374004 2110
build-model-states-explored 376114 2110
build-model-states-explored 378225 2111
build-model-states-explored 380312 2087
build-model-states-explored 382396 2084
build-model-states-explored 384498 2102
build-model-states-explored 386608 2110
build-model-states-explored 388717 2109
build-model-states-explored 390826 2109
build-model-states-explored 392927 2101
build-model-states-explored 395031 2104
build-model-states-explored 397125 2094
build-model-states-explored 399225 2100
build-model-states-explored 401313 2088
build-model-states-explored 403413 2100
build-model-states-explored 405512 2099
build-model-states-explored 407626 2114
build-model-states-explored 409736 2110
build-model-states-explored 411214 1478
build-model-states-explored 413324 2110
build-model-states-explored 415412 2088
build-model-states-explored 417517 2105
build-model-states-explored 419619 2102
build-model-states-explored 421668 2049
build-model-states-explored 423667 1999
build-model-states-explored 425665 1998
build-model-states-explored 427666 2001
build-model-states-explored 429667 2001
build-model-states-explored 431666 1999
build-model-states-explored 433661 1995
build-model-states-explored 435657 1996
build-model-states-explored 437650 1993
build-model-states-explored 439646 1996
build-model-states-explored 441642 1996
build-model-states-explored 443641 1999
build-model-states-explored 445640 1999
build-model-states-explored 447638 1998
build-model-states-explored 449639 2001
build-model-states-explored 451640 2001
build-model-states-explored 453634 1994
build-model-states-explored 455631 1997
build-model-states-explored 457625 1994
build-model-states-explored 459616 1991
build-model-states-explored 461610 1994
build-model-states-explored 463609 1999
build-model-states-explored 465608 1999
build-model-states-explored 467606 1998
build-model-states-explored 469600 1994
build-model-states-explored 471600 2000
build-model-states-explored 473588 1988
build-model-states-explored 475580 1992
build-model-states-explored 477573 1993
build-model-states-explored 479570 1997
build-model-states-explored 481567 1997
build-model-states-explored 483567 2000
build-model-states-explored 485562 1995
build-model-states-explored 487560 1998
build-model-states-explored 489557 1997
build-model-states-explored 491556 1999
build-model-states-explored 493554 1998
build-model-states-explored 495547 1993
build-model-states-explored 497504 1957
build-model-states-explored 499467 1963
build-model-states-explored 501451 1984
build-model-states-explored 503460 2009
build-model-states-explored 505464 2004
build-model-states-explored 507469 2005
build-model-states-explored 509474 2005
build-model-states-explored 511476 2002
build-model-states-explored 513480 2004
build-model-states-explored 515485 2005
build-model-states-explored 517491 2006
build-model-states-explored 519495 2004
build-model-states-explored 521498 2003
build-model-states-explored 523499 2001
build-model-states-explored 525496 1997
build-model-states-explored 527503 2007
build-model-states-explored 529512 2009
build-model-states-explored 531525 2013
build-model-states-explored 533530 2005
build-model-states-explored 535528 1998
build-model-states-explored 537533 2005
build-model-states-explored 539540 2007
build-model-states-explored 541545 2005
build-model-states-explored 543558 2013
build-model-states-explored 545567 2009
build-model-states-explored 547578 2011
build-model-states-explored 549588 2010
build-model-states-explored 551599 2011
build-model-states-explored 553602 2003
build-model-states-explored 555607 2005
build-model-states-explored 557610 2003
build-model-states-explored 559615 2005
build-model-states-explored 561619 2004
build-model-states-explored 563628 2009
build-model-states-explored 565635 2007
build-model-states-explored 567640 2005
build-model-states-explored 569644 2004
build-model-states-explored 571640 1996
build-model-states-explored 573639 1999
build-model-states-explored 575639 2000
build-model-states-explored 577647 2008
build-model-states-explored 579722 2075
build-model-states-explored 581824 2102
build-model-states-explored 583929 2105
build-model-states-explored 586031 2102
build-model-states-explored 588138 2107
build-model-states-explored 590245 2107
build-model-states-explored 592353 2108
build-model-states-explored 594456 2103
build-model-states-explored 596564 2108
build-model-states-explored 598654 2090
build-model-states-explored 600757 2103
build-model-states-explored 602863 2106
build-model-states-explored 604943 2080
build-model-states-explored 607035 2092
build-model-states-explored 609147 2112
build-model-states-explored 611245 2098
build-model-states-explored 613353 2108
build-model-states-explored 615458 2105
build-model-states-explored 617564 2106
build-model-states-explored 619665 2101
build-model-states-explored 621774 2109
build-model-states-explored 623882 2108
build-model-states-explored 625990 2108
build-model-states-explored 628096 2106
build-model-states-explored 630199 2103
build-model-states-explored 632294 2095
build-model-states-explored 634388 2094
build-model-states-explored 636476 2088
build-model-states-explored 638577 2101
build-model-states-explored 640673 2096
build-model-states-explored 642779 2106
build-model-states-explored 644861 2082
build-model-states-explored 646970 2109
build-model-states-explored 649063 2093
build-model-states-explored 651173 2110
build-model-states-explored 653281 2108
build-model-states-explored 655387 2106
build-model-states-explored 657493 2106
build-model-states-explored 659586 2093
build-model-states-explored 661661 2075
build-model-states-explored 663708 2047
build-model-states-explored 665700 1992
build-model-states-explored 667690 1990
build-model-states-explored 669675 1985
build-model-states-explored 671671 1996
build-model-states-explored 673662 1991
build-model-states-explored 675665 2003
build-model-states-explored 677658 1993
build-model-states-explored 679651 1993
build-model-states-explored 681641 1990
build-model-states-explored 683629 1988
build-model-states-explored 685623 1994
build-model-states-explored 687618 1995
build-model-states-explored 689615 1997
build-model-states-explored 691611 1996
build-model-states-explored 693611 2000
build-model-states-explored 695609 1998
build-model-states-explored 697598 1989
build-model-states-explored 699594 1996
build-model-states-explored 701583 1989
build-model-states-explored 703579 1996
build-model-states-explored 705580 2001
build-model-states-explored 707575 1995
build-model-states-explored 709570 1995
build-model-states-explored 711563 1993
build-model-states-explored 713565 2002
build-model-states-explored 715446 1881
build-model-states-explored 717449 2003
build-model-states-explored 719446 1997
build-model-states-explored 721433 1987
build-model-states-explored 723421 1988
build-model-states-explored 725414 1993
build-model-states-explored 727346 1932
build-model-states-explored 729310 1964
build-model-states-explored 731307 1997
build-model-states-explored 733306 1999
build-model-states-explored 735302 1996
build-model-states-explored 737287 1985
build-model-states-explored 739281 1994
build-model-states-explored 741272 1991
build-model-states-explored 743265 1993
build-model-states-explored 745260 1995
build-model-states-explored 747257 1997
build-model-states-explored 749254 1997
build-model-states-explored 751257 2003
build-model-states-explored 753262 2005
build-model-states-explored 755267 2005
build-model-states-explored 757262 1995
build-model-states-explored 759257 1995
build-model-states-explored 761249 1992
build-model-states-explored 763243 1994
build-model-states-explored 765243 2000
build-model-states-explored 767213 1970
build-model-states-explored 769215 2002
build-model-states-explored 771225 2010
build-model-states-explored 773233 2008
build-model-states-explored 775241 2008
build-model-states-explored 777237 1996
build-model-states-explored 779230 1993
build-model-states-explored 781228 1998
build-model-states-explored 783226 1998
build-model-states-explored 785229 2003
build-model-states-explored 787234 2005
build-model-states-explored 789201 1967
build-model-states-explored 791208 2007
build-model-states-explored 793213 2005
build-model-states-explored 795217 2004
build-model-states-explored 797214 1997
build-model-states-explored 799215 2001
build-model-states-explored 801218 2003
build-model-states-explored 803216 1998
build-model-states-explored 805220 2004
build-model-states-explored 807226 2006
build-model-states-explored 809233 2007
build-model-states-explored 811239 2006
build-model-states-explored 813249 2010
build-model-states-explored 815255 2006
build-model-states-explored 817253 1998
build-model-states-explored 819255 2002
build-model-states-explored 821254 1999
build-model-states-explored 823255 2001
build-model-states-explored 825260 2005
build-model-states-explored 827264 2004
build-model-states-explored 829269 2005
build-model-states-explored 831270 2001
build-model-states-explored 833276 2006
build-model-states-explored 835282 2006
build-model-states-explored 837281 1999
build-model-states-explored 839283 2002
build-model-states-explored 841280 1997
build-model-states-explored 843280 2000
build-model-states-explored 845286 2006
build-model-states-explored 847287 2001
build-model-states-explored 849294 2007
build-model-states-explored 851303 2009
build-model-states-explored 853313 2010
build-model-states-explored 855319 2006
build-model-states-explored 856587 1268
build-model-states-explored 858130 1543
build-model-states-explored 860135 2005
build-model-states-explored 862142 2007
build-model-states-explored 864146 2004
build-model-states-explored 866152 2006
build-model-states-explored 868157 2005
build-model-states-explored 870164 2007
build-model-states-explored 872170 2006
build-model-states-explored 874173 2003
build-model-states-explored 876174 2001
build-model-states-explored 878177 2003
build-model-states-explored 880252 2075
build-model-states-explored 882345 2093
build-model-states-explored 884459 2114
build-model-states-explored 886570 2111
build-model-states-explored 888675 2105
build-model-states-explored 890780 2105
build-model-states-explored 892882 2102
build-model-states-explored 894998 2116
build-model-states-explored 897091 2093
build-model-states-explored 899187 2096
build-model-states-explored 901286 2099
build-model-states-explored 903387 2101
build-model-states-explored 905491 2104
build-model-states-explored 907603 2112
build-model-states-explored 909710 2107
build-model-states-explored 911813 2103
build-model-states-explored 913915 2102
build-model-states-explored 916023 2108
build-model-states-explored 918120 2097
build-model-states-explored 920201 2081
build-model-states-explored 922278 2077
build-model-states-explored 924361 2083
build-model-states-explored 926472 2111
build-model-states-explored 928569 2097
build-model-states-explored 930677 2108
build-model-states-explored 932786 2109
build-model-states-explored 934895 2109
build-model-states-explored 937005 2110
build-model-states-explored 939103 2098
build-model-states-explored 941200 2097
build-model-states-explored 943307 2107
build-model-states-explored 945416 2109
build-model-states-explored 947512 2096
build-model-states-explored 949627 2115
build-model-states-explored 951743 2116
build-model-states-explored 953837 2094
build-model-states-explored 955942 2105
build-model-states-explored 958041 2099
build-model-states-explored 960123 2082
build-model-states-explored 962224 2101
build-model-states-explored 964323 2099
build-model-states-explored 966411 2088
build-model-states-explored 968518 2107
build-model-states-explored 970631 2113
build-model-states-explored 972737 2106
build-model-states-explored 974848 2111
build-model-states-explored 976943 2095
build-model-states-explored 979057 2114
build-model-states-explored 981157 2100
build-model-states-explored 983261 2104
build-model-states-explored 985357 2096
build-model-states-explored 987461 2104
build-model-states-explored 989569 2108
build-model-states-explored 991677 2108
build-model-states-explored 993784 2107
build-model-states-explored 995834 2050
build-model-states-explored 997829 1995
build-model-states-explored 999827 1998
build-model-states-explored 1001822 1995
build-model-states-explored 1003817 1995
build-model-states-explored 1005810 1993
build-model-states-explored 1007806 1996
build-model-states-explored 1009802 1996
build-model-states-explored 1011799 1997
build-model-states-explored 1013790 1991
build-model-states-explored 1015781 1991
build-model-states-explored 1017783 2002
build-model-states-explored 1019779 1996
build-model-states-explored 1021776 1997
build-model-states-explored 1023766 1990
build-model-states-explored 1025759 1993
build-model-states-explored 1027750 1991
build-model-states-explored 1029746 1996
build-model-states-explored 1031746 2000
build-model-states-explored 1033747 2001
build-model-states-explored 1035752 2005
build-model-states-explored 1037750 1998
build-model-states-explored 1039752 2002
build-model-states-explored 1041751 1999
build-model-states-explored 1043747 1996
build-model-states-explored 1045743 1996
build-model-states-explored 1047737 1994
build-model-states-explored 1049721 1984
build-model-states-explored 1051721 2000
build-model-states-explored 1053710 1989
build-model-states-explored 1055700 1990
build-model-states-explored 1057693 1993
build-model-states-explored 1059694 2001
build-model-states-explored 1061688 1994
build-model-states-explored 1063681 1993
build-model-states-explored 1065670 1989
build-model-states-explored 1067664 1994
build-model-states-explored 1069660 1996
build-model-states-explored 1071663 2003
build-model-states-explored 1073664 2001
build-model-states-explored 1075663 1999
build-model-states-explored 1077660 1997
build-model-states-explored 1079657 1997
build-model-states-explored 1081652 1995
build-model-states-explored 1083645 1993
build-model-states-explored 1085638 1993
build-model-states-explored 1087634 1996
build-model-states-explored 1089628 1994
build-model-states-explored 1091621 1993
build-model-states-explored 1093618 1997
build-model-states-explored 1095614 1996
build-model-states-explored 1097610 1996
build-model-states-explored 1099609 1999
build-model-states-explored 1101608 1999
build-model-states-explored 1103605 1997
build-model-states-explored 1105599 1994
build-model-states-explored 1107591 1992
build-model-states-explored 1109584 1993
build-model-states-explored 1111583 1999
build-model-states-explored 1113580 1997
build-model-states-explored 1115577 1997
build-model-states-explored 1117574 1997
build-model-states-explored 1119569 1995
build-model-states-explored 1121568 1999
build-model-states-explored 1123568 2000
build-model-states-explored 1125563 1995
build-model-states-explored 1127562 1999
build-model-states-explored 1129561 1999
build-model-states-explored 1131564 2003
build-model-states-explored 1133562 1998
build-model-states-explored 1135564 2002
build-model-states-explored 1137569 2005
build-model-states-explored 1139575 2006
build-model-states-explored 1141578 2003
build-model-states-explored 1143573 1995
build-model-states-explored 1145574 2001
build-model-states-explored 1147579 2005
build-model-states-explored 1149586 2007
build-model-states-explored 1151595 2009
build-model-states-explored 1153599 2004
build-model-states-explored 1155607 2008
build-model-states-explored 1157612 2005
build-model-states-explored 1159618 2006
build-model-states-explored 1161605 1987
build-model-states-explored 1163606 2001
build-model-states-explored 1165611 2005
build-model-states-explored 1167615 2004
build-model-states-explored 1169621 2006
build-model-states-explored 1171633 2012
build-model-states-explored 1173639 2006
build-model-states-explored 1175652 2013
build-model-states-explored 1177660 2008
build-model-states-explored 1179666 2006
build-model-states-explored 1181670 2004
build-model-states-explored 1183659 1989
build-model-states-explored 1185662 2003
build-model-states-explored 1187662 2000
build-model-states-explored 1189660 1998
build-model-states-explored 1191662 2002
build-model-states-explored 1193669 2007
build-model-states-explored 1195672 2003
build-model-states-explored 1197675 2003
build-model-states-explored 1199679 2004
build-model-states-explored 1201679 2000
build-model-states-explored 1203679 2000
build-model-states-explored 1205679 2000
build-model-states-explored 1207681 2002
build-model-states-explored 1209680 1999
build-model-states-explored 1211682 2002
build-model-states-explored 1213686 2004
build-model-states-explored 1215699 2013
build-model-states-explored 1217710 2011
build-model-states-explored 1219719 2009
build-model-states-explored 1221719 2000
build-model-states-explored 1223721 2002
build-model-states-explored 1225722 2001
build-model-states-explored 1227721 1999
build-model-states-explored 1229727 2006
build-model-states-explored 1231735 2008
build-model-states-explored 1233743 2008
build-model-states-explored 1235757 2014
build-model-states-explored 1237767 2010
build-model-states-explored 1239775 2008
build-model-states-explored 1241774 1999
build-model-states-explored 1243775 2001
build-model-states-explored 1245774 1999
build-model-states-explored 1247772 1998
build-model-states-explored 1249775 2003
build-model-states-explored 1251782 2007
build-model-states-explored 1253791 2009
build-model-states-explored 1255801 2010
build-model-states-explored 1257813 2012
build-model-states-explored 1259826 2013
build-model-states-explored 1261824 1998
build-model-states-explored 1263822 1998
build-model-states-explored 1265821 1999
build-model-states-explored 1267821 2000
build-model-states-explored 1269824 2003
build-model-states-explored 1271832 2008
build-model-states-explored 1273833 2001
build-model-states-explored 1275835 2002
build-model-states-explored 1277838 2003
build-model-states-explored 1279840 2002
build-model-states-explored 1281839 1999
build-model-states-explored 1283896 2057
build-model-states-explored 1285986 2090
build-model-states-explored 1288071 2085
build-model-states-explored 1290170 2099
build-model-states-explored 1292277 2107
build-model-states-explored 1294383 2106
build-model-states-explored 1296485 2102
build-model-states-explored 1298596 2111
build-model-states-explored 1300701 2105
build-model-states-explored 1302803 2102
build-model-states-explored 1304905 2102
build-model-states-explored 1307010 2105
build-model-states-explored 1309115 2105
build-model-states-explored 1311225 2110
build-model-states-explored 1313338 2113
build-model-states-explored 1315445 2107
build-model-states-explored 1317553 2108
build-model-states-explored 1319661 2108
build-model-states-explored 1321772 2111
build-model-states-explored 1323874 2102
build-model-states-explored 1325985 2111
build-model-states-explored 1328081 2096
build-model-states-explored 1330177 2096
build-model-states-explored 1332279 2102
build-model-states-explored 1334382 2103
build-model-states-explored 1336488 2106
build-model-states-explored 1338561 2073
build-model-states-explored 1340597 2036
build-model-states-explored 1342673 2076
build-model-states-explored 1344742 2069
build-model-states-explored 1346844 2102
build-model-states-explored 1348946 2102
build-model-states-explored 1351050 2104
build-model-states-explored 1353150 2100
build-model-states-explored 1355259 2109
build-model-states-explored 1357364 2105
build-model-states-explored 1359475 2111
build-model-states-explored 1361582 2107
build-model-states-explored 1363692 2110
build-model-states-explored 1365793 2101
build-model-states-explored 1367892 2099
build-model-states-explored 1369980 2088
build-model-states-explored 1372082 2102
build-model-states-explored 1374188 2106
build-model-states-explored 1376301 2113
build-model-states-explored 1378408 2107
build-model-states-explored 1380510 2102
build-model-states-explored 1382622 2112
build-model-states-explored 1384731 2109
build-model-states-explored 1386826 2095
build-model-states-explored 1388910 2084
build-model-states-explored 1391000 2090
build-model-states-explored 1393084 2084
build-model-states-explored 1395185 2101
build-model-states-explored 1397272 2087
build-model-states-explored 1399379 2107
build-model-states-explored 1401480 2101
build-model-states-explored 1403577 2097
build-model-states-explored 1405689 2112
build-model-states-explored 1407790 2101
build-model-states-explored 1409888 2098
build-model-states-explored 1411985 2097
build-model-states-explored 1414085 2100
build-model-states-explored 1416183 2098
build-model-states-explored 1418296 2113
build-model-states-explored 1420400 2104
build-model-states-explored 1422508 2108
build-model-states-explored 1424615 2107
build-model-states-explored 1426719 2104
build-model-states-explored 1428814 2095
build-model-states-explored 1430914 2100
build-model-states-explored 1433015 2101
build-model-states-explored 1435108 2093
build-model-states-explored 1437104 1996
build-model-states-explored 1439104 2000
build-model-states-explored 1441101 1997
build-model-states-explored 1443099 1998
build-model-states-explored 1445096 1997
build-model-states-explored 1447091 1995
build-model-states-explored 1449081 1990
build-model-states-explored 1451071 1990
build-model-states-explored 1453061 1990
build-model-states-explored 1455053 1992
build-model-states-explored 1457049 1996
build-model-states-explored 1459049 2000
build-model-states-explored 1461049 2000
build-model-states-explored 1463052 2003
build-model-states-explored 1465053 2001
build-model-states-explored 1466795 1742
build-model-states-explored 1468793 1998
build-model-states-explored 1470784 1991
build-model-states-explored 1472783 1999
build-model-states-explored 1474781 1998
build-model-states-explored 1476779 1998
build-model-states-explored 1478777 1998
build-model-states-explored 1480775 1998
build-model-states-explored 1482773 1998
build-model-states-explored 1484772 1999
build-model-states-explored 1486772 2000
build-model-states-explored 1488767 1995
build-model-states-explored 1490766 1999
build-model-states-explored 1492765 1999
build-model-states-explored 1494762 1997
build-model-states-explored 1496758 1996
build-model-states-explored 1498755 1997
build-model-states-explored 1500754 1999
build-model-states-explored 1502754 2000
build-model-states-explored 1504757 2003
build-model-states-explored 1506754 1997
build-model-states-explored 1508745 1991
build-model-states-explored 1510736 1991
build-model-states-explored 1512729 1993
build-model-states-explored 1514724 1995
build-model-states-explored 1516717 1993
build-model-states-explored 1518721 2004
build-model-states-explored 1520666 1945
build-model-states-explored 1522670 2004
build-model-states-explored 1524664 1994
build-model-states-explored 1526659 1995
build-model-states-explored 1528658 1999
build-model-states-explored 1530650 1992
build-model-states-explored 1532639 1989
build-model-states-explored 1534633 1994
build-model-states-explored 1536630 1997
build-model-states-explored 1538626 1996
build-model-states-explored 1540625 1999
build-model-states-explored 1542628 2003
build-model-states-explored 1544627 1999
build-model-states-explored 1546624 1997
build-model-states-explored 1548621 1997
build-model-states-explored 1550618 1997
build-model-states-explored 1552608 1990
build-model-states-explored 1554601 1993
build-model-states-explored 1556599 1998
build-model-states-explored 1558595 1996
build-model-states-explored 1560597 2002
build-model-states-explored 1562596 1999
build-model-states-explored 1564594 1998
build-model-states-explored 1566595 2001
build-model-states-explored 1568592 1997
build-model-states-explored 1570583 1991
build-model-states-explored 1572571 1988
build-model-states-explored 1574563 1992
build-model-states-explored 1576561 1998
build-model-states-explored 1578559 1998
build-model-states-explored 1580551 1992
build-model-states-explored 1582548 1997
build-model-states-explored 1584543 1995
build-model-states-explored 1586536 1993
build-model-states-explored 1588523 1987
build-model-states-explored 1590518 1995
build-model-states-explored 1592508 1990
build-model-states-explored 1594506 1998
build-model-states-explored 1596460 1954
build-model-states-explored 1598392 1932
build-model-states-explored 1600392 2000
build-model-states-explored 1602390 1998
build-model-states-explored 1604387 1997
build-model-states-explored 1606389 2002
build-model-states-explored 1608385 1996
build-model-states-explored 1610381 1996
build-model-states-explored 1612379 1998
build-model-states-explored 1614380 2001
build-model-states-explored 1616384 2004
build-model-states-explored 1618391 2007
build-model-states-explored 1620399 2008
build-model-states-explored 1622403 2004
build-model-states-explored 1624409 2006
build-model-states-explored 1626414 2005
build-model-states-explored 1628415 2001
build-model-states-explored 1630418 2003
build-model-states-explored 1632423 2005
build-model-states-explored 1634427 2004
build-model-states-explored 1636431 2004
build-model-states-explored 1638438 2007
build-model-states-explored 1640448 2010
build-model-states-explored 1642455 2007
build-model-states-explored 1644456 2001
build-model-states-explored 1646457 2001
build-model-states-explored 1648461 2004
build-model-states-explored 1650466 2005
build-model-states-explored 1652470 2004
build-model-states-explored 1654474 2004
build-model-states-explored 1656479 2005
build-model-states-explored 1658491 2012
build-model-states-explored 1660498 2007
build-model-states-explored 1662505 2007
build-model-states-explored 1664507 2002
build-model-states-explored 1666508 2001
build-model-states-explored 1668515 2007
build-model-states-explored 1670519 2004
build-model-states-explored 1672522 2003
build-model-states-explored 1674524 2002
build-model-states-explored 1676524 2000
build-model-states-explored 1678527 2003
build-model-states-explored 1680533 2006
build-model-states-explored 1682540 2007
build-model-states-explored 1684543 2003
build-model-states-explored 1686549 2006
build-model-states-explored 1688552 2003
build-model-states-explored 1690551 1999
build-model-states-explored 1692292 1741
build-model-states-explored 1692292 0
build-model-states-explored 1694169 1877
build-model-states-explored 1696179 2010
build-model-states-explored 1698185 2006
build-model-states-explored 1700191 2006
build-model-states-explored 1702200 2009
build-model-states-explored 1704212 2012
build-model-states-explored 1706216 2004
build-model-states-explored 1708216 2000
build-model-states-explored 1710217 2001
build-model-states-explored 1712218 2001
build-model-states-explored 1714223 2005
build-model-states-explored 1716230 2007
build-model-states-explored 1718234 2004
build-model-states-explored 1720242 2008
build-model-states-explored 1722243 2001
build-model-states-explored 1724245 2002
build-model-states-explored 1726246 2001
build-model-states-explored 1728248 2002
build-model-states-explored 1730249 2001
build-model-states-explored 1732249 2000
build-model-states-explored 1734250 2001
build-model-states-explored 1736257 2007
build-model-states-explored 1738261 2004
build-model-states-explored 1740265 2004
build-model-states-explored 1742268 2003
build-model-states-explored 1744273 2005
build-model-states-explored 1746269 1996
build-model-states-explored 1748266 1997
build-model-states-explored 1750265 1999
build-model-states-explored 1752270 2005
build-model-states-explored 1754274 2004
build-model-states-explored 1756284 2010
build-model-states-explored 1758291 2007
build-model-states-explored 1760299 2008
build-model-states-explored 1762306 2007
build-model-states-explored 1764307 2001
build-model-states-explored 1766307 2000
build-model-states-explored 1768309 2002
build-model-states-explored 1770311 2002
build-model-states-explored 1772316 2005
build-model-states-explored 1774323 2007
build-model-states-explored 1776324 2001
build-model-states-explored 1778324 2000
build-model-states-explored 1780325 2001
build-model-states-explored 1782328 2003
build-model-states-explored 1784334 2006
build-model-states-explored 1786334 2000
build-model-states-explored 1788334 2000
build-model-states-explored 1790331 1997
build-model-states-explored 1792328 1997
build-model-states-explored 1794332 2004
build-model-states-explored 1796333 2001
build-model-states-explored 1798333 2000
build-model-states-explored 1800344 2011
build-model-states-explored 1802434 2090
build-model-states-explored 1804527 2093
build-model-states-explored 1806612 2085
build-model-states-explored 1808700 2088
build-model-states-explored 1810804 2104
build-model-states-explored 1812909 2105
build-model-states-explored 1815012 2103
build-model-states-explored 1817117 2105
build-model-states-explored 1819221 2104
build-model-states-explored 1821332 2111
build-model-states-explored 1823438 2106
build-model-states-explored 1825543 2105
build-model-states-explored 1827645 2102
build-model-states-explored 1829745 2100
build-model-states-explored 1831849 2104
build-model-states-explored 1833943 2094
build-model-states-explored 1836050 2107
build-model-states-explored 1838158 2108
build-model-states-explored 1840270 2112
build-model-states-explored 1842376 2106
build-model-states-explored 1844486 2110
build-model-states-explored 1846601 2115
build-model-states-explored 1848702 2101
build-model-states-explored 1850808 2106
build-model-states-explored 1852909 2101
build-model-states-explored 1855016 2107
build-model-states-explored 1857128 2112
build-model-states-explored 1859234 2106
build-model-states-explored 1861340 2106
build-model-states-explored 1863447 2107
build-model-states-explored 1865559 2112
build-model-states-explored 1867666 2107
build-model-states-explored 1869766 2100
build-model-states-explored 1871860 2094
build-model-states-explored 1873962 2102
build-model-states-explored 1876063 2101
build-model-states-explored 1878149 2086
build-model-states-explored 1880240 2091
build-model-states-explored 1882320 2080
build-model-states-explored 1884408 2088
build-model-states-explored 1886507 2099
build-model-states-explored 1888616 2109
build-model-states-explored 1890728 2112
build-model-states-explored 1892833 2105
build-model-states-explored 1894940 2107
build-model-states-explored 1897044 2104
build-model-states-explored 1899143 2099
build-model-states-explored 1901245 2102
build-model-states-explored 1903355 2110
build-model-states-explored 1905467 2112
build-model-states-explored 1907580 2113
build-model-states-explored 1909693 2113
build-model-states-explored 1911803 2110
build-model-states-explored 1913911 2108
build-model-states-explored 1916019 2108
build-model-states-explored 1918125 2106
build-model-states-explored 1920237 2112
build-model-states-explored 1922343 2106
build-model-states-explored 1924449 2106
build-model-states-explored 1926553 2104
build-model-states-explored 1928666 2113
build-model-states-explored 1930775 2109
build-model-states-explored 1932881 2106
build-model-states-explored 1934982 2101
build-model-states-explored 1937088 2106
build-model-states-explored 1939191 2103
build-model-states-explored 1941303 2112
build-model-states-explored 1943400 2097
build-model-states-explored 1945495 2095
build-model-states-explored 1947595 2100
build-model-states-explored 1949697 2102
build-model-states-explored 1951799 2102
build-model-states-explored 1953893 2094
build-model-states-explored 1956000 2107
build-model-states-explored 1958098 2098
build-model-states-explored 1960200 2102
build-model-states-explored 1962303 2103
build-model-states-explored 1964413 2110
build-model-states-explored 1966525 2112
build-model-states-explored 1968633 2108
build-model-states-explored 1970740 2107
build-model-states-explored 1972848 2108
build-model-states-explored 1974954 2106
build-model-states-explored 1977065 2111
build-model-states-explored 1979174 2109
build-model-states-explored 1981274 2100
build-model-states-explored 1983383 2109
build-model-states-explored 1985492 2109
build-model-states-explored 1987595 2103
build-model-states-explored 1989701 2106
build-model-states-explored 1991805 2104
build-model-states-explored 1993834 2029
build-model-states-explored 1995825 1991
build-model-states-explored 1997788 1963
build-model-states-explored 1999778 1990
build-model-states-explored 2001773 1995
build-model-states-explored 2003763 1990
build-model-states-explored 2005760 1997
build-model-states-explored 2007755 1995
build-model-states-explored 2009755 2000
build-model-states-explored 2011750 1995
build-model-states-explored 2013745 1995
build-model-states-explored 2015739 1994
build-model-states-explored 2017734 1995
build-model-states-explored 2019728 1994
build-model-states-explored 2021724 1996
build-model-states-explored 2023721 1997
build-model-states-explored 2025721 2000
build-model-states-explored 2027717 1996
build-model-states-explored 2029716 1999
build-model-states-explored 2031711 1995
build-model-states-explored 2033707 1996
build-model-states-explored 2035698 1991
build-model-states-explored 2037691 1993
build-model-states-explored 2039685 1994
build-model-states-explored 2041677 1992
build-model-states-explored 2043669 1992
build-model-states-explored 2045670 2001
build-model-states-explored 2047669 1999
build-model-states-explored 2049670 2001
build-model-states-explored 2051668 1998
build-model-states-explored 2053667 1999
build-model-states-explored 2055660 1993
build-model-states-explored 2057651 1991
build-model-states-explored 2059645 1994
build-model-states-explored 2061637 1992
build-model-states-explored 2063629 1992
build-model-states-explored 2065625 1996
build-model-states-explored 2067623 1998
build-model-states-explored 2069621 1998
build-model-states-explored 2071618 1997
build-model-states-explored 2073616 1998
build-model-states-explored 2075610 1994
build-model-states-explored 2077604 1994
build-model-states-explored 2079596 1992
build-model-states-explored 2081581 1985
build-model-states-explored 2083572 1991
build-model-states-explored 2085566 1994
build-model-states-explored 2087559 1993
build-model-states-explored 2089556 1997
build-model-states-explored 2091547 1991
build-model-states-explored 2093545 1998
build-model-states-explored 2095538 1993
build-model-states-explored 2097513 1975
build-model-states-explored 2099508 1995
build-model-states-explored 2101502 1994
build-model-states-explored 2103495 1993
build-model-states-explored 2105489 1994
build-model-states-explored 2107486 1997
build-model-states-explored 2109480 1994
build-model-states-explored 2111474 1994
build-model-states-explored 2113476 2002
build-model-states-explored 2115464 1988
build-model-states-explored 2117454 1990
build-model-states-explored 2119448 1994
build-model-states-explored 2121443 1995
build-model-states-explored 2123437 1994
build-model-states-explored 2125432 1995
build-model-states-explored 2127428 1996
build-model-states-explored 2129427 1999
build-model-states-explored 2131426 1999
build-model-states-explored 2133428 2002
build-model-states-explored 2135424 1996
build-model-states-explored 2137422 1998
build-model-states-explored 2139420 1998
build-model-states-explored 2141417 1997
build-model-states-explored 2143417 2000
build-model-states-explored 2145416 1999
build-model-states-explored 2147419 2003
build-model-states-explored 2149419 2000
build-model-states-explored 2151413 1994
build-model-states-explored 2153407 1994
build-model-states-explored 2155397 1990
build-model-states-explored 2157393 1996
build-model-states-explored 2159386 1993
build-model-states-explored 2161379 1993
build-model-states-explored 2163380 2001
build-model-states-explored 2165383 2003
build-model-states-explored 2167384 2001
build-model-states-explored 2169384 2000
build-model-states-explored 2171387 2003
build-model-states-explored 2173387 2000
build-model-states-explored 2175385 1998
build-model-states-explored 2177383 1998
build-model-states-explored 2179380 1997
build-model-states-explored 2181378 1998
build-model-states-explored 2183375 1997
build-model-states-explored 2185372 1997
build-model-states-explored 2187371 1999
build-model-states-explored 2189369 1998
build-model-states-explored 2191369 2000
build-model-states-explored 2193362 1993
build-model-states-explored 2195357 1995
build-model-states-explored 2197352 1995
build-model-states-explored 2199344 1992
build-model-states-explored 2201341 1997
build-model-states-explored 2203340 1999
build-model-states-explored 2205341 2001
build-model-states-explored 2207343 2002
build-model-states-explored 2209347 2004
build-model-states-explored 2211348 2001
build-model-states-explored 2213355 2007
build-model-states-explored 2215359 2004
build-model-states-explored 2217359 2000
build-model-states-explored 2219362 2003
build-model-states-explored 2221368 2006
build-model-states-explored 2223373 2005
build-model-states-explored 2225384 2011
build-model-states-explored 2227387 2003
build-model-states-explored 2229392 2005
build-model-states-explored 2231397 2005
build-model-states-explored 2233400 2003
build-model-states-explored 2235400 2000
build-model-states-explored 2237390 1990
build-model-states-explored 2239391 2001
build-model-states-explored 2241392 2001
build-model-states-explored 2243398 2006
build-model-states-explored 2245399 2001
build-model-states-explored 2247406 2007
build-model-states-explored 2249417 2011
build-model-states-explored 2251421 2004
build-model-states-explored 2253423 2002
build-model-states-explored 2255421 1998
build-model-states-explored 2257422 2001
build-model-states-explored 2259414 1992
build-model-states-explored 2261416 2002
build-model-states-explored 2263415 1999
build-model-states-explored 2265421 2006
build-model-states-explored 2267426 2005
build-model-states-explored 2269434 2008
build-model-states-explored 2271442 2008
build-model-states-explored 2273448 2006
build-model-states-explored 2275450 2002
build-model-states-explored 2277453 2003
build-model-states-explored 2279453 2000
build-model-states-explored 2281454 2001
build-model-states-explored 2283459 2005
build-model-states-explored 2285468 2009
build-model-states-explored 2287474 2006
build-model-states-explored 2289475 2001
build-model-states-explored 2291484 2009
build-model-states-explored 2293491 2007
build-model-states-explored 2295493 2002
build-model-states-explored 2297496 2003
build-model-states-explored 2299500 2004
build-model-states-explored 2301504 2004
build-model-states-explored 2303504 2000
build-model-states-explored 2305506 2002
build-model-states-explored 2307512 2006
build-model-states-explored 2309519 2007
build-model-states-explored 2311527 2008
build-model-states-explored 2313532 2005
build-model-states-explored 2315534 2002
build-model-states-explored 2317533 1999
build-model-states-explored 2319535 2002
build-model-states-explored 2321537 2002
build-model-states-explored 2323541 2004
build-model-states-explored 2325548 2007
build-model-states-explored 2327559 2011
build-model-states-explored 2329565 2006
build-model-states-explored 2331573 2008
build-model-states-explored 2333579 2006
build-model-states-explored 2335585 2006
build-model-states-explored 2337592 2007
build-model-states-explored 2339595 2003
build-model-states-explored 2341599 2004
build-model-states-explored 2343605 2006
build-model-states-explored 2345618 2013
build-model-states-explored 2347620 2002
build-model-states-explored 2349626 2006
build-model-states-explored 2351638 2012
build-model-states-explored 2353646 2008
build-model-states-explored 2355652 2006
build-model-states-explored 2357650 1998
build-model-states-explored 2359653 2003
build-model-states-explored 2361657 2004
build-model-states-explored 2363659 2002
build-model-states-explored 2365669 2010
build-model-states-explored 2367673 2004
build-model-states-explored 2369680 2007
build-model-states-explored 2371687 2007
build-model-states-explored 2373692 2005
build-model-states-explored 2375680 1988
build-model-states-explored 2377676 1996
build-model-states-explored 2379680 2004
build-model-states-explored 2381679 1999
build-model-states-explored 2383679 2000
build-model-states-explored 2385687 2008
build-model-states-explored 2387690 2003
build-model-states-explored 2389693 2003
build-model-states-explored 2391663 1970
build-model-states-explored 2393674 2011
build-model-states-explored 2395679 2005
build-model-states-explored 2397686 2007
build-model-states-explored 2399688 2002
build-model-states-explored 2401693 2005
build-model-states-explored 2403696 2003
build-model-states-explored 2405704 2008
build-model-states-explored 2407709 2005
build-model-states-explored 2409715 2006
build-model-states-explored 2411720 2005
build-model-states-explored 2413725 2005
build-model-states-explored 2415723 1998
build-model-states-explored 2417724 2001
build-model-states-explored 2419721 1997
build-model-states-explored 2421722 2001
build-model-states-explored 2423729 2007
build-model-states-explored 2425728 1999
build-model-states-explored 2427730 2002
build-model-states-explored 2429738 2008
build-model-states-explored 2431748 2010
build-model-states-explored 2433753 2005
build-model-states-explored 2435755 2002
build-model-states-explored 2437806 2051
build-model-states-explored 2439900 2094
build-model-states-explored 2441994 2094
build-model-states-explored 2444101 2107
build-model-states-explored 2446200 2099
build-model-states-explored 2448297 2097
build-model-states-explored 2450394 2097
build-model-states-explored 2452505 2111
build-model-states-explored 2454618 2113
build-model-states-explored 2456722 2104
build-model-states-explored 2458829 2107
build-model-states-explored 2460934 2105
build-model-states-explored 2463041 2107
build-model-states-explored 2465148 2107
build-model-states-explored 2467267 2119
build-model-states-explored 2469378 2111
build-model-states-explored 2471492 2114
build-model-states-explored 2473605 2113
build-model-states-explored 2475718 2113
build-model-states-explored 2477829 2111
build-model-states-explored 2479912 2083
build-model-states-explored 2482020 2108
build-model-states-explored 2484124 2104
build-model-states-explored 2486237 2113
build-model-states-explored 2488341 2104
build-model-states-explored 2490401 2060
build-model-states-explored 2492501 2100
build-model-states-explored 2494612 2111
build-model-states-explored 2496721 2109
build-model-states-explored 2498832 2111
build-model-states-explored 2500932 2100
build-model-states-explored 2503034 2102
build-model-states-explored 2505136 2102
build-model-states-explored 2507239 2103
build-model-states-explored 2509350 2111
build-model-states-explored 2511460 2110
build-model-states-explored 2513563 2103
build-model-states-explored 2515666 2103
build-model-states-explored 2517774 2108
build-model-states-explored 2519877 2103
build-model-states-explored 2521985 2108
build-model-states-explored 2524086 2101
build-model-states-explored 2526188 2102
build-model-states-explored 2528289 2101
build-model-states-explored 2530398 2109
build-model-states-explored 2532589 2191
build-model-states-explored 2535222 2633
build-model-states-explored 2537870 2648
build-model-states-explored 2540509 2639
build-model-states-explored 2543149 2640
build-model-states-explored 2545775 2626
build-model-states-explored 2548392 2617
build-model-states-explored 2550993 2601
build-model-states-explored 2553598 2605
build-model-states-explored 2556206 2608
build-model-states-explored 2558828 2622
build-model-states-explored 2561465 2637
build-model-states-explored 2564102 2637
build-model-states-explored 2566748 2646
build-model-states-explored 2569389 2641
build-model-states-explored 2572032 2643
build-model-states-explored 2574665 2633
build-model-states-explored 2577296 2631
build-model-states-explored 2579929 2633
build-model-states-explored 2582564 2635
build-model-states-explored 2585197 2633
build-model-states-explored 2587839 2642
build-model-states-explored 2590475 2636
build-model-states-explored 2593113 2638
build-model-states-explored 2595744 2631
build-model-states-explored 2598376 2632
build-model-states-explored 2600999 2623
build-model-states-explored 2603627 2628
build-model-states-explored 2606254 2627
build-model-states-explored 2608885 2631
build-model-states-explored 2611522 2637
build-model-states-explored 2614161 2639
build-model-states-explored 2616801 2640
build-model-states-explored 2619436 2635
build-model-states-explored 2622060 2624
build-model-states-explored 2624670 2610
build-model-states-explored 2627287 2617
build-model-states-explored 2629898 2611
build-model-states-explored 2632514 2616
build-model-states-explored 2635138 2624
build-model-states-explored 2637761 2623
build-model-states-explored 2640400 2639
build-model-states-explored 2643033 2633
build-model-states-explored 2645678 2645
build-model-states-explored 2648313 2635
build-model-states-explored 2650952 2639
build-model-states-explored 2653585 2633
build-model-states-explored 2656214 2629
build-model-states-explored 2658851 2637
build-model-states-explored 2661492 2641
build-model-states-explored 2664116 2624
build-model-states-explored 2666660 2544
build-model-states-explored 2669157 2497
build-model-states-explored 2671647 2490
build-model-states-explored 2674139 2492
build-model-states-explored 2676624 2485
build-model-states-explored 2679109 2485
build-model-states-explored 2681597 2488
build-model-states-explored 2684087 2490
build-model-states-explored 2686577 2490
build-model-states-explored 2689072 2495
build-model-states-explored 2691565 2493
build-model-states-explored 2694062 2497
build-model-states-explored 2696554 2492
build-model-states-explored 2699041 2487
build-model-states-explored 2701526 2485
build-model-states-explored 2704011 2485
build-model-states-explored 2706499 2488
build-model-states-explored 2708986 2487
build-model-states-explored 2711477 2491
build-model-states-explored 2713968 2491
build-model-states-explored 2716459 2491
build-model-states-explored 2718953 2494
build-model-states-explored 2721444 2491
build-model-states-explored 2723932 2488
build-model-states-explored 2726422 2490
build-model-states-explored 2728908 2486
build-model-states-explored 2731393 2485
build-model-states-explored 2733882 2489
build-model-states-explored 2736380 2498
build-model-states-explored 2738876 2496
build-model-states-explored 2741368 2492
build-model-states-explored 2743853 2485
build-model-states-explored 2746332 2479
build-model-states-explored 2748817 2485
build-model-states-explored 2751303 2486
build-model-states-explored 2753791 2488
build-model-states-explored 2756283 2492
build-model-states-explored 2758776 2493
build-model-states-explored 2761272 2496
build-model-states-explored 2763765 2493
build-model-states-explored 2766259 2494
build-model-states-explored 2768756 2497
build-model-states-explored 2771248 2492
build-model-states-explored 2773735 2487
build-model-states-explored 2776220 2485
build-model-states-explored 2778707 2487
build-model-states-explored 2781191 2484
build-model-states-explored 2783665 2474
build-model-states-explored 2786150 2485
build-model-states-explored 2788639 2489
build-model-states-explored 2791131 2492
build-model-states-explored 2793625 2494
build-model-states-explored 2796118 2493
build-model-states-explored 2798608 2490
build-model-states-explored 2801024 2416
build-model-states-explored 2803508 2484
build-model-states-explored 2805994 2486
build-model-states-explored 2808485 2491
build-model-states-explored 2810979 2494
build-model-states-explored 2813471 2492
build-model-states-explored 2815963 2492
build-model-states-explored 2818458 2495
build-model-states-explored 2820951 2493
build-model-states-explored 2823439 2488
build-model-states-explored 2825877 2438
build-model-states-explored 2828360 2483
build-model-states-explored 2830843 2483
build-model-states-explored 2833329 2486
build-model-states-explored 2835821 2492
build-model-states-explored 2838310 2489
build-model-states-explored 2840802 2492
build-model-states-explored 2843292 2490
build-model-states-explored 2845778 2486
build-model-states-explored 2848264 2486
build-model-states-explored 2850739 2475
build-model-states-explored 2853231 2492
build-model-states-explored 2855721 2490
build-model-states-explored 2858206 2485
build-model-states-explored 2860695 2489
build-model-states-explored 2863187 2492
build-model-states-explored 2865681 2494
build-model-states-explored 2868169 2488
build-model-states-explored 2870659 2490
build-model-states-explored 2873143 2484
build-model-states-explored 2875625 2482
build-model-states-explored 2878113 2488
build-model-states-explored 2880597 2484
build-model-states-explored 2883085 2488
build-model-states-explored 2885578 2493
build-model-states-explored 2888070 2492
build-model-states-explored 2890565 2495
build-model-states-explored 2893052 2487
build-model-states-explored 2895542 2490
build-model-states-explored 2898030 2488
build-model-states-explored 2900514 2484
build-model-states-explored 2903001 2487
build-model-states-explored 2905490 2489
build-model-states-explored 2907985 2495
build-model-states-explored 2910478 2493
build-model-states-explored 2912970 2492
build-model-states-explored 2915459 2489
build-model-states-explored 2917959 2500
build-model-states-explored 2920452 2493
build-model-states-explored 2922946 2494
build-model-states-explored 2925433 2487
build-model-states-explored 2927927 2494
build-model-states-explored 2930418 2491
build-model-states-explored 2932908 2490
build-model-states-explored 2935397 2489
build-model-states-explored 2937892 2495
build-model-states-explored 2940390 2498
build-model-states-explored 2942889 2499
build-model-states-explored 2945392 2503
build-model-states-explored 2947896 2504
build-model-states-explored 2950391 2495
build-model-states-explored 2952882 2491
build-model-states-explored 2955369 2487
build-model-states-explored 2957862 2493
build-model-states-explored 2960357 2495
build-model-states-explored 2962855 2498
build-model-states-explored 2965350 2495
build-model-states-explored 2967847 2497
build-model-states-explored 2970346 2499
build-model-states-explored 2972839 2493
build-model-states-explored 2975336 2497
build-model-states-explored 2977823 2487
build-model-states-explored 2980315 2492
build-model-states-explored 2982814 2499
build-model-states-explored 2985317 2503
build-model-states-explored 2987816 2499
build-model-states-explored 2990310 2494
build-model-states-explored 2992806 2496
build-model-states-explored 2995301 2495
build-model-states-explored 2997794 2493
build-model-states-explored 3000284 2490
build-model-states-explored 3002775 2491
build-model-states-explored 3005263 2488
build-model-states-explored 3007750 2487
build-model-states-explored 3010244 2494
build-model-states-explored 3012742 2498
build-model-states-explored 3015242 2500
build-model-states-explored 3017740 2498
build-model-states-explored 3020241 2501
build-model-states-explored 3022737 2496
build-model-states-explored 3025225 2488
build-model-states-explored 3027725 2500
build-model-states-explored 3029607 1882
build-model-states-explored 3032105 2498
build-model-states-explored 3034604 2499
build-model-states-explored 3037098 2494
build-model-states-explored 3039595 2497
build-model-states-explored 3042088 2493
build-model-states-explored 3044584 2496
build-model-states-explored 3047077 2493
build-model-states-explored 3049571 2494
build-model-states-explored 3052062 2491
build-model-states-explored 3054559 2497
build-model-states-explored 3057059 2500
build-model-states-explored 3059556 2497
build-model-states-explored 3062049 2493
build-model-states-explored 3064545 2496
build-model-states-explored 3067048 2503
build-model-states-explored 3069545 2497
build-model-states-explored 3072036 2491
build-model-states-explored 3074521 2485
build-model-states-explored 3077010 2489
build-model-states-explored 3079498 2488
build-model-states-explored 3081987 2489
build-model-states-explored 3084482 2495
build-model-states-explored 3086879 2397
build-model-states-explored 3089376 2497
build-model-states-explored 3091873 2497
build-model-states-explored 3094371 2498
build-model-states-explored 3096864 2493
build-model-states-explored 3099354 2490
build-model-states-explored 3101854 2500
build-model-states-explored 3104347 2493
build-model-states-explored 3106840 2493
build-model-states-explored 3109334 2494
build-model-states-explored 3111824 2490
build-model-states-explored 3114319 2495
build-model-states-explored 3116819 2500
build-model-states-explored 3119315 2496
build-model-states-explored 3121804 2489
build-model-states-explored 3124254 2450
build-model-states-explored 3126746 2492
build-model-states-explored 3129238 2492
build-model-states-explored 3131736 2498
build-model-states-explored 3134236 2500
build-model-states-explored 3136727 2491
build-model-states-explored 3139228 2501
build-model-states-explored 3141729 2501
build-model-states-explored 3144233 2504
build-model-states-explored 3146727 2494
build-model-states-explored 3149224 2497
build-model-states-explored 3151720 2496
build-model-states-explored 3154214 2494
build-model-states-explored 3156710 2496
build-model-states-explored 3159210 2500
build-model-states-explored 3161706 2496
build-model-states-explored 3164203 2497
build-model-states-explored 3166702 2499
build-model-states-explored 3169198 2496
build-model-states-explored 3171701 2503
build-model-states-explored 3174198 2497
build-model-states-explored 3176690 2492
build-model-states-explored 3179232 2542
build-model-states-explored 3181862 2630
build-model-states-explored 3184466 2604
build-model-states-explored 3187075 2609
build-model-states-explored 3189702 2627
build-model-states-explored 3192314 2612
build-model-states-explored 3194951 2637
build-model-states-explored 3197570 2619
build-model-states-explored 3200196 2626
build-model-states-explored 3202828 2632
build-model-states-explored 3205461 2633
build-model-states-explored 3208093 2632
build-model-states-explored 3210729 2636
build-model-states-explored 3213356 2627
build-model-states-explored 3216008 2652
build-model-states-explored 3218637 2629
build-model-states-explored 3221272 2635
build-model-states-explored 3223909 2637
build-model-states-explored 3226538 2629
build-model-states-explored 3229161 2623
build-model-states-explored 3231791 2630
build-model-states-explored 3234428 2637
build-model-states-explored 3237051 2623
build-model-states-explored 3239692 2641
build-model-states-explored 3242339 2647
build-model-states-explored 3244982 2643
build-model-states-explored 3247614 2632
build-model-states-explored 3250251 2637
build-model-states-explored 3252884 2633
build-model-states-explored 3255508 2624
build-model-states-explored 3258126 2618
build-model-states-explored 3260758 2632
build-model-states-explored 3263397 2639
build-model-states-explored 3266029 2632
build-model-states-explored 3268680 2651
build-model-states-explored 3271323 2643
build-model-states-explored 3273958 2635
build-model-states-explored 3276587 2629
build-model-states-explored 3279226 2639
build-model-states-explored 3281854 2628
build-model-states-explored 3284474 2620
build-model-states-explored 3287102 2628
build-model-states-explored 3289737 2635
build-model-states-explored 3292375 2638
build-model-states-explored 3295011 2636
build-model-states-explored 3297642 2631
build-model-states-explored 3300274 2632
build-model-states-explored 3302902 2628
build-model-states-explored 3305545 2643
build-model-states-explored 3308174 2629
build-model-states-explored 3310804 2630
build-model-states-explored 3313440 2636
build-model-states-explored 3316075 2635
build-model-states-explored 3318697 2622
build-model-states-explored 3321330 2633
build-model-states-explored 3323938 2608
build-model-states-explored 3326553 2615
build-model-states-explored 3329167 2614
build-model-states-explored 3331782 2615
build-model-states-explored 3334408 2626
build-model-states-explored 3337040 2632
build-model-states-explored 3338106 1066
build-model-states-explored 3338106 0
build-model-states-explored 3338619 513
build-model-states-explored 3341251 2632
build-model-states-explored 3343876 2625
build-model-states-explored 3346520 2644
build-model-states-explored 3349151 2631
build-model-states-explored 3351786 2635
build-model-states-explored 3354416 2630
build-model-states-explored 3357054 2638
build-model-states-explored 3359680 2626
build-model-states-explored 3362316 2636
build-model-states-explored 3364946 2630
build-model-states-explored 3367579 2633
build-model-states-explored 3370214 2635
build-model-states-explored 3372850 2636
build-model-states-explored 3375482 2632
build-model-states-explored 3378114 2632
build-model-states-explored 3380746 2632
build-model-states-explored 3383368 2622
build-model-states-explored 3385987 2619
build-model-states-explored 3388615 2628
build-model-states-explored 3391244 2629
build-model-states-explored 3393882 2638
build-model-states-explored 3396512 2630
build-model-states-explored 3399146 2634
build-model-states-explored 3401765 2619
build-model-states-explored 3404377 2612
build-model-states-explored 3407005 2628
build-model-states-explored 3409628 2623
build-model-states-explored 3412257 2629
build-model-states-explored 3414885 2628
build-model-states-explored 3417521 2636
build-model-states-explored 3420161 2640
build-model-states-explored 3422801 2640
build-model-states-explored 3425445 2644
build-model-states-explored 3428077 2632
build-model-states-explored 3430713 2636
build-model-states-explored 3433345 2632
build-model-states-explored 3435982 2637
build-model-states-explored 3438609 2627
build-model-states-explored 3441123 2514
build-model-states-explored 3443618 2495
build-model-states-explored 3446109 2491
build-model-states-explored 3448596 2487
build-model-states-explored 3451089 2493
build-model-states-explored 3453584 2495
build-model-states-explored 3456072 2488
build-model-states-explored 3458560 2488
build-model-states-explored 3461050 2490
build-model-states-explored 3463534 2484
build-model-states-explored 3466022 2488
build-model-states-explored 3468510 2488
build-model-states-explored 3471007 2497
build-model-states-explored 3473498 2491
build-model-states-explored 3475991 2493
build-model-states-explored 3478478 2487
build-model-states-explored 3480933 2455
build-model-states-explored 3483433 2500
build-model-states-explored 3485924 2491
build-model-states-explored 3488416 2492
build-model-states-explored 3490910 2494
build-model-states-explored 3493404 2494
build-model-states-explored 3495894 2490
build-model-states-explored 3498388 2494
build-model-states-explored 3500878 2490
build-model-states-explored 3503368 2490
build-model-states-explored 3505850 2482
build-model-states-explored 3508342 2492
build-model-states-explored 3510843 2501
build-model-states-explored 3513333 2490
build-model-states-explored 3515827 2494
build-model-states-explored 3518319 2492
build-model-states-explored 3520809 2490
build-model-states-explored 3523296 2487
build-model-states-explored 3525788 2492
build-model-states-explored 3528276 2488
build-model-states-explored 3530759 2483
build-model-states-explored 3533245 2486
build-model-states-explored 3535731 2486
build-model-states-explored 3538214 2483
build-model-states-explored 3540709 2495
build-model-states-explored 3543210 2501
build-model-states-explored 3545709 2499
build-model-states-explored 3548201 2492
build-model-states-explored 3550695 2494
build-model-states-explored 3553185 2490
build-model-states-explored 3555670 2485
build-model-states-explored 3558158 2488
build-model-states-explored 3560639 2481
build-model-states-explored 3563127 2488
build-model-states-explored 3565604 2477
build-model-states-explored 3568088 2484
build-model-states-explored 3570571 2483
build-model-states-explored 3573064 2493
build-model-states-explored 3575547 2483
build-model-states-explored 3578027 2480
build-model-states-explored 3580511 2484
build-model-states-explored 3582995 2484
build-model-states-explored 3585482 2487
build-model-states-explored 3587970 2488
build-model-states-explored 3590453 2483
build-model-states-explored 3592942 2489
build-model-states-explored 3595433 2491
build-model-states-explored 3597919 2486
build-model-states-explored 3600406 2487
build-model-states-explored 3602895 2489
build-model-states-explored 3605381 2486
build-model-states-explored 3607866 2485
build-model-states-explored 3610356 2490
build-model-states-explored 3612845 2489
build-model-states-explored 3615337 2492
build-model-states-explored 3617827 2490
build-model-states-explored 3620321 2494
build-model-states-explored 3622818 2497
build-model-states-explored 3625309 2491
build-model-states-explored 3627799 2490
build-model-states-explored 3630292 2493
build-model-states-explored 3632786 2494
build-model-states-explored 3635275 2489
build-model-states-explored 3637768 2493
build-model-states-explored 3640259 2491
build-model-states-explored 3642745 2486
build-model-states-explored 3645231 2486
build-model-states-explored 3647718 2487
build-model-states-explored 3650203 2485
build-model-states-explored 3652690 2487
build-model-states-explored 3655174 2484
build-model-states-explored 3657657 2483
build-model-states-explored 3660146 2489
build-model-states-explored 3662637 2491
build-model-states-explored 3665130 2493
build-model-states-explored 3667613 2483
build-model-states-explored 3670108 2495
build-model-states-explored 3672599 2491
build-model-states-explored 3675086 2487
build-model-states-explored 3677575 2489
build-model-states-explored 3680051 2476
build-model-states-explored 3682535 2484
build-model-states-explored 3685017 2482
build-model-states-explored 3687497 2480
build-model-states-explored 3689977 2480
build-model-states-explored 3692466 2489
build-model-states-explored 3694949 2483
build-model-states-explored 3697440 2491
build-model-states-explored 3699929 2489
build-model-states-explored 3702419 2490
build-model-states-explored 3704900 2481
build-model-states-explored 3707388 2488
build-model-states-explored 3709871 2483
build-model-states-explored 3712355 2484
build-model-states-explored 3714845 2490
build-model-states-explored 3717339 2494
build-model-states-explored 3719830 2491
build-model-states-explored 3722324 2494
build-model-states-explored 3724819 2495
build-model-states-explored 3727310 2491
build-model-states-explored 3729795 2485
build-model-states-explored 3732288 2493
build-model-states-explored 3734777 2489
build-model-states-explored 3737268 2491
build-model-states-explored 3739769 2501
build-model-states-explored 3742271 2502
build-model-states-explored 3744772 2501
build-model-states-explored 3747275 2503
build-model-states-explored 3749766 2491
build-model-states-explored 3752259 2493
build-model-states-explored 3754755 2496
build-model-states-explored 3757246 2491
build-model-states-explored 3759733 2487
build-model-states-explored 3762222 2489
build-model-states-explored 3764718 2496
build-model-states-explored 3767216 2498
build-model-states-explored 3769711 2495
build-model-states-explored 3772206 2495
build-model-states-explored 3774700 2494
build-model-states-explored 3777197 2497
build-model-states-explored 3779641 2444
build-model-states-explored 3782125 2484
build-model-states-explored 3784612 2487
build-model-states-explored 3787108 2496
build-model-states-explored 3789612 2504
build-model-states-explored 3792106 2494
build-model-states-explored 3794603 2497
build-model-states-explored 3797097 2494
build-model-states-explored 3799589 2492
build-model-states-explored 3802087 2498
build-model-states-explored 3804576 2489
build-model-states-explored 3807058 2482
build-model-states-explored 3809546 2488
build-model-states-explored 3812040 2494
build-model-states-explored 3814533 2493
build-model-states-explored 3817028 2495
build-model-states-explored 3819526 2498
build-model-states-explored 3822023 2497
build-model-states-explored 3824511 2488
build-model-states-explored 3827005 2494
build-model-states-explored 3829483 2478
build-model-states-explored 3831964 2481
build-model-states-explored 3834447 2483
build-model-states-explored 3836935 2488
build-model-states-explored 3839424 2489
build-model-states-explored 3841917 2493
build-model-states-explored 3844413 2496
build-model-states-explored 3846902 2489
build-model-states-explored 3849383 2481
build-model-states-explored 3851875 2492
build-model-states-explored 3854362 2487
build-model-states-explored 3856842 2480
build-model-states-explored 3859326 2484
build-model-states-explored 3861818 2492
build-model-states-explored 3864312 2494
build-model-states-explored 3866809 2497
build-model-states-explored 3869305 2496
build-model-states-explored 3871802 2497
build-model-states-explored 3874289 2487
build-model-states-explored 3876783 2494
build-model-states-explored 3879272 2489
build-model-states-explored 3881759 2487
build-model-states-explored 3884192 2433
build-model-states-explored 3886683 2491
build-model-states-explored 3889180 2497
build-model-states-explored 3891674 2494
build-model-states-explored 3894172 2498
build-model-states-explored 3896666 2494
build-model-states-explored 3899151 2485
build-model-states-explored 3901644 2493
build-model-states-explored 3904129 2485
build-model-states-explored 3906609 2480
build-model-states-explored 3909094 2485
----------
Computation aborted after 1800.061777830124 seconds since the total time limit of 1800 seconds was exceeded.