Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r291-tall-167873943100616.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is PolyORBLF-PT-S06J06T04, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r291-tall-167873943100616
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 11M
-rw-r--r-- 1 mcc users 16K Feb 26 13:51 CTLCardinality.txt
-rw-r--r-- 1 mcc users 103K Feb 26 13:51 CTLCardinality.xml
-rw-r--r-- 1 mcc users 223K Feb 26 13:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 956K Feb 26 13:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 12K Feb 25 16:35 LTLCardinality.txt
-rw-r--r-- 1 mcc users 44K Feb 25 16:35 LTLCardinality.xml
-rw-r--r-- 1 mcc users 211K Feb 25 16:35 LTLFireability.txt
-rw-r--r-- 1 mcc users 658K Feb 25 16:35 LTLFireability.xml
-rw-r--r-- 1 mcc users 26K Feb 26 14:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 142K Feb 26 14:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 167K Feb 26 14:02 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 773K Feb 26 14:02 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:35 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.4K Feb 25 16:35 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 10 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 6.9M Mar 5 18:23 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678806587477

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=PolyORBLF-PT-S06J06T04
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PolyORBLF (PT), instance S06J06T04
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 506 places, 7154 transitions, 59824 arcs.
AT ITER 0 NEW BEST:: SOT 2424380 SOS 1336000 HAS SOPS 1330037 HAS SOUS 248512 HAS SOUPS 248030 WITH SCORE 249366.0
AT ITER 1 NEW BEST:: SOT 2424355 SOS 1335975 HAS SOPS 1330012 HAS SOUS 248487 HAS SOUPS 248005 WITH SCORE 249340.975
AT ITER 6 NEW BEST:: SOT 2423891 SOS 1335559 HAS SOPS 1329596 HAS SOUS 248059 HAS SOUPS 247577 WITH SCORE 248912.559
AT ITER 22 NEW BEST:: SOT 2423913 SOS 1335581 HAS SOPS 1329548 HAS SOUS 248069 HAS SOUPS 247553 WITH SCORE 248888.581
AT ITER 30 NEW BEST:: SOT 2423412 SOS 1335147 HAS SOPS 1329114 HAS SOUS 247579 HAS SOUPS 247063 WITH SCORE 248398.147
AT ITER 32 NEW BEST:: SOT 2422584 SOS 1338054 HAS SOPS 1331166 HAS SOUS 247150 HAS SOUPS 246385 WITH SCORE 247723.054
AT ITER 37 NEW BEST:: SOT 2422494 SOS 1337844 HAS SOPS 1330956 HAS SOUS 247045 HAS SOUPS 246280 WITH SCORE 247617.844
AT ITER 41 NEW BEST:: SOT 2422235 SOS 1337622 HAS SOPS 1330734 HAS SOUS 246625 HAS SOUPS 245860 WITH SCORE 247197.622
AT ITER 47 NEW BEST:: SOT 2421194 SOS 1336573 HAS SOPS 1329685 HAS SOUS 245543 HAS SOUPS 244778 WITH SCORE 246114.573
AT ITER 74 NEW BEST:: SOT 2162813 SOS 1086148 HAS SOPS 1079260 HAS SOUS 213746 HAS SOUPS 212981 WITH SCORE 214067.148
AT ITER 78 NEW BEST:: SOT 1920103 SOS 1059771 HAS SOPS 1052883 HAS SOUS 185966 HAS SOUPS 185201 WITH SCORE 186260.771
AT ITER 82 NEW BEST:: SOT 1919956 SOS 1059624 HAS SOPS 1052834 HAS SOUS 185948 HAS SOUPS 185179 WITH SCORE 186238.624
AT ITER 92 NEW BEST:: SOT 1919797 SOS 1059465 HAS SOPS 1052787 HAS SOUS 185669 HAS SOUPS 184900 WITH SCORE 185959.465
AT ITER 100 NEW BEST:: SOT 1919407 SOS 1059010 HAS SOPS 1052332 HAS SOUS 185214 HAS SOUPS 184445 WITH SCORE 185504.01
AT ITER 104 NEW BEST:: SOT 1919480 SOS 1059083 HAS SOPS 1052405 HAS SOUS 185195 HAS SOUPS 184426 WITH SCORE 185485.083
AT ITER 106 NEW BEST:: SOT 1919421 SOS 1059024 HAS SOPS 1052405 HAS SOUS 185247 HAS SOUPS 184420 WITH SCORE 185479.024
AT ITER 113 NEW BEST:: SOT 1919175 SOS 1058778 HAS SOPS 1052159 HAS SOUS 184960 HAS SOUPS 184133 WITH SCORE 185191.778
AT ITER 119 NEW BEST:: SOT 1919135 SOS 1058738 HAS SOPS 1052099 HAS SOUS 184900 HAS SOUPS 184073 WITH SCORE 185131.738
AT ITER 130 NEW BEST:: SOT 1918925 SOS 1058510 HAS SOPS 1051871 HAS SOUS 184809 HAS SOUPS 183982 WITH SCORE 185040.51
AT ITER 131 NEW BEST:: SOT 1918257 SOS 1057916 HAS SOPS 1051277 HAS SOUS 184173 HAS SOUPS 183346 WITH SCORE 184403.916
AT ITER 132 NEW BEST:: SOT 1918151 SOS 1057792 HAS SOPS 1051153 HAS SOUS 184030 HAS SOUPS 183203 WITH SCORE 184260.792
AT ITER 140 NEW BEST:: SOT 1918134 SOS 1057775 HAS SOPS 1051136 HAS SOUS 184013 HAS SOUPS 183186 WITH SCORE 184243.775
AT ITER 149 NEW BEST:: SOT 1917984 SOS 1057625 HAS SOPS 1050986 HAS SOUS 183863 HAS SOUPS 183036 WITH SCORE 184093.625
AT ITER 158 NEW BEST:: SOT 1917762 SOS 1057471 HAS SOPS 1050832 HAS SOUS 183709 HAS SOUPS 182882 WITH SCORE 183939.471
AT ITER 167 NEW BEST:: SOT 1917768 SOS 1057465 HAS SOPS 1050826 HAS SOUS 183703 HAS SOUPS 182876 WITH SCORE 183933.465
AT ITER 173 NEW BEST:: SOT 1917559 SOS 1057256 HAS SOPS 1050617 HAS SOUS 183522 HAS SOUPS 182695 WITH SCORE 183752.256
AT ITER 185 NEW BEST:: SOT 1917167 SOS 1056801 HAS SOPS 1050162 HAS SOUS 183067 HAS SOUPS 182240 WITH SCORE 183296.801
AT ITER 191 NEW BEST:: SOT 1917166 SOS 1056800 HAS SOPS 1050161 HAS SOUS 183066 HAS SOUPS 182239 WITH SCORE 183295.8
AT ITER 193 NEW BEST:: SOT 1917095 SOS 1055073 HAS SOPS 1050139 HAS SOUS 183013 HAS SOUPS 182222 WITH SCORE 183277.073
AT ITER 218 NEW BEST:: SOT 1916768 SOS 1054827 HAS SOPS 1049893 HAS SOUS 182725 HAS SOUPS 181934 WITH SCORE 182988.827
AT ITER 219 NEW BEST:: SOT 1916557 SOS 1054605 HAS SOPS 1049671 HAS SOUS 182681 HAS SOUPS 181890 WITH SCORE 182944.605
AT ITER 222 NEW BEST:: SOT 1916543 SOS 1054591 HAS SOPS 1049657 HAS SOUS 182665 HAS SOUPS 181874 WITH SCORE 182928.591
AT ITER 223 NEW BEST:: SOT 1916250 SOS 1054132 HAS SOPS 1049198 HAS SOUS 182245 HAS SOUPS 181454 WITH SCORE 182508.132
AT ITER 239 NEW BEST:: SOT 1916208 SOS 1054103 HAS SOPS 1049165 HAS SOUS 182214 HAS SOUPS 181420 WITH SCORE 182474.103
AT ITER 240 NEW BEST:: SOT 1916182 SOS 1054077 HAS SOPS 1049126 HAS SOUS 182195 HAS SOUPS 181401 WITH SCORE 182455.077
AT ITER 247 NEW BEST:: SOT 1916050 SOS 1053761 HAS SOPS 1048810 HAS SOUS 182040 HAS SOUPS 181246 WITH SCORE 182299.761
AT ITER 275 NEW BEST:: SOT 1916049 SOS 1053760 HAS SOPS 1048809 HAS SOUS 182038 HAS SOUPS 181244 WITH SCORE 182297.76
AT ITER 279 NEW BEST:: SOT 1916049 SOS 1053758 HAS SOPS 1048807 HAS SOUS 182033 HAS SOUPS 181239 WITH SCORE 182292.758
AT ITER 284 NEW BEST:: SOT 1916105 SOS 1053920 HAS SOPS 1048915 HAS SOUS 182018 HAS SOUPS 181224 WITH SCORE 182277.92
AT ITER 290 NEW BEST:: SOT 1915899 SOS 1053714 HAS SOPS 1048709 HAS SOUS 181389 HAS SOUPS 180595 WITH SCORE 181648.714
AT ITER 297 NEW BEST:: SOT 1915894 SOS 1053704 HAS SOPS 1048699 HAS SOUS 181379 HAS SOUPS 180585 WITH SCORE 181638.704
AT ITER 299 NEW BEST:: SOT 1915889 SOS 1053694 HAS SOPS 1048689 HAS SOUS 181369 HAS SOUPS 180575 WITH SCORE 181628.694
AT ITER 300 NEW BEST:: SOT 1915652 SOS 1053450 HAS SOPS 1048445 HAS SOUS 181128 HAS SOUPS 180334 WITH SCORE 181387.45
AT ITER 303 NEW BEST:: SOT 1915652 SOS 1053452 HAS SOPS 1048445 HAS SOUS 181126 HAS SOUPS 180332 WITH SCORE 181385.452
AT ITER 328 NEW BEST:: SOT 1915168 SOS 1053081 HAS SOPS 1048074 HAS SOUS 180794 HAS SOUPS 180000 WITH SCORE 181053.081
AT ITER 331 NEW BEST:: SOT 1737565 SOS 984501 HAS SOPS 979494 HAS SOUS 157837 HAS SOUPS 157043 WITH SCORE 158027.501
AT ITER 332 NEW BEST:: SOT 1737231 SOS 984489 HAS SOPS 979536 HAS SOUS 157453 HAS SOUPS 156699 WITH SCORE 157683.489
AT ITER 335 NEW BEST:: SOT 1719915 SOS 967144 HAS SOPS 962191 HAS SOUS 155582 HAS SOUPS 154828 WITH SCORE 155795.144
AT ITER 339 NEW BEST:: SOT 1719629 SOS 966918 HAS SOPS 961965 HAS SOUS 155373 HAS SOUPS 154619 WITH SCORE 155585.918
AT ITER 356 NEW BEST:: SOT 1719298 SOS 963315 HAS SOPS 958926 HAS SOUS 155064 HAS SOUPS 154451 WITH SCORE 155414.315
AT ITER 359 NEW BEST:: SOT 1691978 SOS 935995 HAS SOPS 931606 HAS SOUS 152122 HAS SOUPS 151509 WITH SCORE 152444.995
AT ITER 391 NEW BEST:: SOT 1691792 SOS 935809 HAS SOPS 931420 HAS SOUS 151936 HAS SOUPS 151323 WITH SCORE 152258.809
AT ITER 420 NEW BEST:: SOT 1691792 SOS 934849 HAS SOPS 930460 HAS SOUS 151936 HAS SOUPS 151323 WITH SCORE 152257.849
AT ITER 435 NEW BEST:: SOT 1690969 SOS 934180 HAS SOPS 929791 HAS SOUS 151484 HAS SOUPS 150871 WITH SCORE 151805.18
AT ITER 446 NEW BEST:: SOT 1690963 SOS 934174 HAS SOPS 929787 HAS SOUS 151482 HAS SOUPS 150869 WITH SCORE 151803.174
AT ITER 453 NEW BEST:: SOT 1690671 SOS 933671 HAS SOPS 929284 HAS SOUS 151139 HAS SOUPS 150526 WITH SCORE 151459.671
AT ITER 498 NEW BEST:: SOT 1690593 SOS 933593 HAS SOPS 929206 HAS SOUS 151061 HAS SOUPS 150448 WITH SCORE 151381.593
AT ITER 504 NEW BEST:: SOT 1690448 SOS 933477 HAS SOPS 929090 HAS SOUS 150924 HAS SOUPS 150311 WITH SCORE 151244.477
AT ITER 506 NEW BEST:: SOT 1690448 SOS 933521 HAS SOPS 929134 HAS SOUS 150893 HAS SOUPS 150280 WITH SCORE 151213.521
AT ITER 518 NEW BEST:: SOT 1690335 SOS 933433 HAS SOPS 929046 HAS SOUS 150703 HAS SOUPS 150090 WITH SCORE 151023.433
AT ITER 526 NEW BEST:: SOT 1690343 SOS 933441 HAS SOPS 929020 HAS SOUS 150473 HAS SOUPS 149860 WITH SCORE 150793.441
AT ITER 533 NEW BEST:: SOT 1690280 SOS 933369 HAS SOPS 928948 HAS SOUS 150401 HAS SOUPS 149788 WITH SCORE 150721.369
AT ITER 538 NEW BEST:: SOT 1690155 SOS 933195 HAS SOPS 928774 HAS SOUS 150258 HAS SOUPS 149645 WITH SCORE 150578.195
AT ITER 548 NEW BEST:: SOT 1689846 SOS 932906 HAS SOPS 928485 HAS SOUS 150212 HAS SOUPS 149599 WITH SCORE 150531.906
AT ITER 550 NEW BEST:: SOT 1689902 SOS 932962 HAS SOPS 928511 HAS SOUS 150224 HAS SOUPS 149595 WITH SCORE 150527.962
AT ITER 556 NEW BEST:: SOT 1689902 SOS 932962 HAS SOPS 928511 HAS SOUS 150222 HAS SOUPS 149593 WITH SCORE 150525.962
AT ITER 560 NEW BEST:: SOT 1689964 SOS 933024 HAS SOPS 928573 HAS SOUS 150028 HAS SOUPS 149399 WITH SCORE 150332.024
AT ITER 585 NEW BEST:: SOT 1689930 SOS 932990 HAS SOPS 928522 HAS SOUS 150005 HAS SOUPS 149376 WITH SCORE 150308.99
AT ITER 608 NEW BEST:: SOT 1689906 SOS 932966 HAS SOPS 928443 HAS SOUS 149950 HAS SOUPS 149321 WITH SCORE 150253.966
AT ITER 609 NEW BEST:: SOT 1689872 SOS 932937 HAS SOPS 928414 HAS SOUS 149927 HAS SOUPS 149298 WITH SCORE 150230.937
AT ITER 614 NEW BEST:: SOT 1689746 SOS 932685 HAS SOPS 928162 HAS SOUS 149759 HAS SOUPS 149130 WITH SCORE 150062.685
AT ITER 616 NEW BEST:: SOT 1689680 SOS 932616 HAS SOPS 928096 HAS SOUS 149750 HAS SOUPS 149124 WITH SCORE 150056.616
AT ITER 617 NEW BEST:: SOT 1689601 SOS 932543 HAS SOPS 928023 HAS SOUS 149677 HAS SOUPS 149051 WITH SCORE 149983.543
AT ITER 621 NEW BEST:: SOT 1689057 SOS 932169 HAS SOPS 927649 HAS SOUS 149665 HAS SOUPS 149039 WITH SCORE 149971.169
AT ITER 625 NEW BEST:: SOT 1689060 SOS 932142 HAS SOPS 927622 HAS SOUS 149638 HAS SOUPS 149012 WITH SCORE 149944.142
AT ITER 627 NEW BEST:: SOT 1688312 SOS 931595 HAS SOPS 927075 HAS SOUS 149241 HAS SOUPS 148615 WITH SCORE 149546.595
AT ITER 637 NEW BEST:: SOT 1687959 SOS 931342 HAS SOPS 926822 HAS SOUS 149030 HAS SOUPS 148404 WITH SCORE 149335.342
AT ITER 649 NEW BEST:: SOT 1687957 SOS 931340 HAS SOPS 926820 HAS SOUS 149028 HAS SOUPS 148402 WITH SCORE 149333.34
AT ITER 663 NEW BEST:: SOT 1687933 SOS 931316 HAS SOPS 926772 HAS SOUS 148998 HAS SOUPS 148372 WITH SCORE 149303.316
AT ITER 678 NEW BEST:: SOT 1687957 SOS 932040 HAS SOPS 927496 HAS SOUS 148984 HAS SOUPS 148358 WITH SCORE 149290.04
AT ITER 688 NEW BEST:: SOT 1685900 SOS 958263 HAS SOPS 956447 HAS SOUS 148408 HAS SOUPS 147985 WITH SCORE 148943.263
AT ITER 698 NEW BEST:: SOT 1685965 SOS 958315 HAS SOPS 956499 HAS SOUS 148359 HAS SOUPS 147936 WITH SCORE 148894.315
AT ITER 703 NEW BEST:: SOT 1685916 SOS 958051 HAS SOPS 956235 HAS SOUS 147916 HAS SOUPS 147493 WITH SCORE 148451.051
AT ITER 708 NEW BEST:: SOT 1685826 SOS 957784 HAS SOPS 955968 HAS SOUS 147771 HAS SOUPS 147348 WITH SCORE 148305.784
AT ITER 721 NEW BEST:: SOT 1685826 SOS 957762 HAS SOPS 955946 HAS SOUS 147757 HAS SOUPS 147334 WITH SCORE 148291.762
AT ITER 729 NEW BEST:: SOT 1685490 SOS 957284 HAS SOPS 955468 HAS SOUS 147161 HAS SOUPS 146738 WITH SCORE 147695.284
AT ITER 731 NEW BEST:: SOT 1685486 SOS 957276 HAS SOPS 955460 HAS SOUS 147141 HAS SOUPS 146718 WITH SCORE 147675.276
AT ITER 732 NEW BEST:: SOT 1685319 SOS 957135 HAS SOPS 955319 HAS SOUS 147067 HAS SOUPS 146644 WITH SCORE 147601.135
AT ITER 734 NEW BEST:: SOT 1685313 SOS 957170 HAS SOPS 955354 HAS SOUS 147027 HAS SOUPS 146604 WITH SCORE 147561.17
AT ITER 763 NEW BEST:: SOT 1684904 SOS 956761 HAS SOPS 954945 HAS SOUS 146547 HAS SOUPS 146124 WITH SCORE 147080.761
AT ITER 801 NEW BEST:: SOT 1684904 SOS 956761 HAS SOPS 954945 HAS SOUS 146545 HAS SOUPS 146122 WITH SCORE 147078.761
AT ITER 816 NEW BEST:: SOT 1684748 SOS 956473 HAS SOPS 954657 HAS SOUS 146157 HAS SOUPS 145734 WITH SCORE 146690.473
AT ITER 818 NEW BEST:: SOT 1684732 SOS 956564 HAS SOPS 954748 HAS SOUS 146156 HAS SOUPS 145733 WITH SCORE 146689.564
AT ITER 819 NEW BEST:: SOT 1684463 SOS 956273 HAS SOPS 954457 HAS SOUS 145815 HAS SOUPS 145392 WITH SCORE 146348.273
AT ITER 823 NEW BEST:: SOT 1684503 SOS 956224 HAS SOPS 954408 HAS SOUS 145008 HAS SOUPS 144585 WITH SCORE 145541.224
AT ITER 827 NEW BEST:: SOT 1684464 SOS 956173 HAS SOPS 954354 HAS SOUS 144937 HAS SOUPS 144514 WITH SCORE 145470.173
AT ITER 840 NEW BEST:: SOT 1684464 SOS 955270 HAS SOPS 953451 HAS SOUS 144928 HAS SOUPS 144505 WITH SCORE 145460.27
AT ITER 846 NEW BEST:: SOT 1684439 SOS 955241 HAS SOPS 953422 HAS SOUS 144863 HAS SOUPS 144440 WITH SCORE 145395.241
AT ITER 852 NEW BEST:: SOT 1656009 SOS 953127 HAS SOPS 951308 HAS SOUS 143466 HAS SOUPS 143043 WITH SCORE 143996.127
AT ITER 870 NEW BEST:: SOT 1655885 SOS 952947 HAS SOPS 951159 HAS SOUS 143399 HAS SOUPS 142976 WITH SCORE 143928.947
AT ITER 871 NEW BEST:: SOT 1655918 SOS 953076 HAS SOPS 951288 HAS SOUS 143348 HAS SOUPS 142925 WITH SCORE 143878.076
AT ITER 879 NEW BEST:: SOT 1655918 SOS 881546 HAS SOPS 879758 HAS SOUS 143346 HAS SOUPS 142923 WITH SCORE 143804.546
AT ITER 880 NEW BEST:: SOT 1655927 SOS 881555 HAS SOPS 879767 HAS SOUS 143334 HAS SOUPS 142911 WITH SCORE 143792.555
AT ITER 882 NEW BEST:: SOT 1655764 SOS 881392 HAS SOPS 879604 HAS SOUS 143211 HAS SOUPS 142788 WITH SCORE 143669.392
AT ITER 898 NEW BEST:: SOT 1655250 SOS 880903 HAS SOPS 879115 HAS SOUS 142627 HAS SOUPS 142204 WITH SCORE 143084.903
AT ITER 901 NEW BEST:: SOT 1654408 SOS 888657 HAS SOPS 886869 HAS SOUS 142601 HAS SOUPS 142178 WITH SCORE 143066.657
AT ITER 904 NEW BEST:: SOT 1654209 SOS 888577 HAS SOPS 886789 HAS SOUS 142458 HAS SOUPS 142035 WITH SCORE 142923.577
AT ITER 941 NEW BEST:: SOT 1654201 SOS 888569 HAS SOPS 886781 HAS SOUS 142450 HAS SOUPS 142027 WITH SCORE 142915.569
AT ITER 985 NEW BEST:: SOT 1654173 SOS 888533 HAS SOPS 886745 HAS SOUS 142414 HAS SOUPS 141991 WITH SCORE 142879.533
AT ITER 995 NEW BEST:: SOT 1654086 SOS 888614 HAS SOPS 886851 HAS SOUS 142375 HAS SOUPS 141952 WITH SCORE 142840.614
AT ITER 1001 NEW BEST:: SOT 1653991 SOS 888421 HAS SOPS 886661 HAS SOUS 142317 HAS SOUPS 141894 WITH SCORE 142782.421
AT ITER 1012 NEW BEST:: SOT 1653992 SOS 888397 HAS SOPS 886637 HAS SOUS 142267 HAS SOUPS 141844 WITH SCORE 142732.397
AT ITER 1017 NEW BEST:: SOT 1654185 SOS 888773 HAS SOPS 887013 HAS SOUS 142229 HAS SOUPS 141806 WITH SCORE 142694.773
AT ITER 1035 NEW BEST:: SOT 1654167 SOS 888755 HAS SOPS 886986 HAS SOUS 142195 HAS SOUPS 141772 WITH SCORE 142660.755
AT ITER 1043 NEW BEST:: SOT 1654395 SOS 889421 HAS SOPS 887652 HAS SOUS 141386 HAS SOUPS 140963 WITH SCORE 141852.421
AT ITER 1049 NEW BEST:: SOT 1653952 SOS 888896 HAS SOPS 887127 HAS SOUS 140915 HAS SOUPS 140492 WITH SCORE 141380.896
AT ITER 1051 NEW BEST:: SOT 1526575 SOS 931909 HAS SOPS 930140 HAS SOUS 123133 HAS SOUPS 122710 WITH SCORE 123641.909
AT ITER 1058 NEW BEST:: SOT 1526586 SOS 931931 HAS SOPS 930162 HAS SOUS 123116 HAS SOUPS 122693 WITH SCORE 123624.931
AT ITER 1062 NEW BEST:: SOT 1504019 SOS 909364 HAS SOPS 907595 HAS SOUS 120144 HAS SOUPS 119721 WITH SCORE 120630.364
AT ITER 1125 NEW BEST:: SOT 1503708 SOS 909043 HAS SOPS 907274 HAS SOUS 119909 HAS SOUPS 119486 WITH SCORE 120395.043
AT ITER 1131 NEW BEST:: SOT 1503703 SOS 908931 HAS SOPS 907162 HAS SOUS 119843 HAS SOUPS 119420 WITH SCORE 120328.931
AT ITER 1132 NEW BEST:: SOT 1503700 SOS 908928 HAS SOPS 907159 HAS SOUS 119840 HAS SOUPS 119417 WITH SCORE 120325.928
AT ITER 1154 NEW BEST:: SOT 1503687 SOS 908902 HAS SOPS 907133 HAS SOUS 119814 HAS SOUPS 119391 WITH SCORE 120299.902
AT ITER 1162 NEW BEST:: SOT 1503687 SOS 907974 HAS SOPS 906205 HAS SOUS 119812 HAS SOUPS 119389 WITH SCORE 120296.974
AT ITER 1166 NEW BEST:: SOT 1502907 SOS 907192 HAS SOPS 905423 HAS SOUS 119715 HAS SOUPS 119292 WITH SCORE 120199.192
AT ITER 1168 NEW BEST:: SOT 1502870 SOS 907173 HAS SOPS 905404 HAS SOUS 119677 HAS SOUPS 119254 WITH SCORE 120161.173
AT ITER 1174 NEW BEST:: SOT 1502562 SOS 906971 HAS SOPS 905202 HAS SOUS 119433 HAS SOUPS 119010 WITH SCORE 119916.971
AT ITER 1215 NEW BEST:: SOT 1501908 SOS 906352 HAS SOPS 904583 HAS SOUS 118833 HAS SOUPS 118410 WITH SCORE 119316.352
AT ITER 1224 NEW BEST:: SOT 1501683 SOS 906127 HAS SOPS 904358 HAS SOUS 118633 HAS SOUPS 118210 WITH SCORE 119116.127
AT ITER 1225 NEW BEST:: SOT 1501280 SOS 905724 HAS SOPS 903955 HAS SOUS 118254 HAS SOUPS 117831 WITH SCORE 118736.724
AT ITER 1235 NEW BEST:: SOT 1501302 SOS 905746 HAS SOPS 903966 HAS SOUS 118206 HAS SOUPS 117783 WITH SCORE 118688.746
AT ITER 1257 NEW BEST:: SOT 1501302 SOS 905740 HAS SOPS 903934 HAS SOUS 118180 HAS SOUPS 117757 WITH SCORE 118662.74
AT ITER 1258 NEW BEST:: SOT 1501253 SOS 905723 HAS SOPS 903917 HAS SOUS 118077 HAS SOUPS 117654 WITH SCORE 118559.723
AT ITER 1263 NEW BEST:: SOT 1501375 SOS 905845 HAS SOPS 904039 HAS SOUS 118055 HAS SOUPS 117632 WITH SCORE 118537.845
AT ITER 1288 NEW BEST:: SOT 1500256 SOS 904726 HAS SOPS 902920 HAS SOUS 116765 HAS SOUPS 116342 WITH SCORE 117246.726
AT ITER 1292 NEW BEST:: SOT 1500237 SOS 904694 HAS SOPS 902888 HAS SOUS 116720 HAS SOUPS 116297 WITH SCORE 117201.694
AT ITER 1299 NEW BEST:: SOT 1500184 SOS 904401 HAS SOPS 902595 HAS SOUS 116575 HAS SOUPS 116152 WITH SCORE 117056.401
AT ITER 1311 NEW BEST:: SOT 1499730 SOS 904011 HAS SOPS 902205 HAS SOUS 116081 HAS SOUPS 115658 WITH SCORE 116562.011
AT ITER 1315 NEW BEST:: SOT 1499560 SOS 903825 HAS SOPS 902019 HAS SOUS 116022 HAS SOUPS 115599 WITH SCORE 116502.825
AT ITER 1316 NEW BEST:: SOT 1471669 SOS 875934 HAS SOPS 874128 HAS SOUS 112967 HAS SOUPS 112544 WITH SCORE 113419.934
AT ITER 1328 NEW BEST:: SOT 1471641 SOS 875906 HAS SOPS 874100 HAS SOUS 112939 HAS SOUPS 112516 WITH SCORE 113391.906
AT ITER 1332 NEW BEST:: SOT 1464657 SOS 868906 HAS SOPS 867100 HAS SOUS 112212 HAS SOUPS 111789 WITH SCORE 112657.906
AT ITER 1340 NEW BEST:: SOT 1464533 SOS 868782 HAS SOPS 866976 HAS SOUS 112088 HAS SOUPS 111665 WITH SCORE 112533.782
AT ITER 1342 NEW BEST:: SOT 1464560 SOS 868809 HAS SOPS 866949 HAS SOUS 112032 HAS SOUPS 111589 WITH SCORE 112457.809
AT ITER 1354 NEW BEST:: SOT 1464458 SOS 868725 HAS SOPS 866865 HAS SOUS 111930 HAS SOUPS 111487 WITH SCORE 112355.725
AT ITER 1363 NEW BEST:: SOT 1464981 SOS 869208 HAS SOPS 867388 HAS SOUS 111540 HAS SOUPS 111107 WITH SCORE 111976.208
AT ITER 1365 NEW BEST:: SOT 1464943 SOS 868972 HAS SOPS 867152 HAS SOUS 111464 HAS SOUPS 111031 WITH SCORE 111899.972
AT ITER 1369 NEW BEST:: SOT 1464619 SOS 868716 HAS SOPS 866896 HAS SOUS 111276 HAS SOUPS 110843 WITH SCORE 111711.716
AT ITER 1374 NEW BEST:: SOT 1464535 SOS 868993 HAS SOPS 867173 HAS SOUS 111164 HAS SOUPS 110731 WITH SCORE 111599.993
AT ITER 1384 NEW BEST:: SOT 1464046 SOS 868495 HAS SOPS 866675 HAS SOUS 110798 HAS SOUPS 110365 WITH SCORE 111233.495
AT ITER 1385 NEW BEST:: SOT 1464063 SOS 868512 HAS SOPS 866692 HAS SOUS 110786 HAS SOUPS 110353 WITH SCORE 111221.512
AT ITER 1393 NEW BEST:: SOT 1464089 SOS 868534 HAS SOPS 866714 HAS SOUS 110767 HAS SOUPS 110334 WITH SCORE 111202.534
AT ITER 1433 NEW BEST:: SOT 1464089 SOS 868516 HAS SOPS 866696 HAS SOUS 110767 HAS SOUPS 110334 WITH SCORE 111202.516
AT ITER 1449 NEW BEST:: SOT 1464184 SOS 868580 HAS SOPS 866714 HAS SOUS 110705 HAS SOUPS 110272 WITH SCORE 111140.58
AT ITER 1452 NEW BEST:: SOT 1464004 SOS 868383 HAS SOPS 866517 HAS SOUS 110453 HAS SOUPS 110020 WITH SCORE 110888.383
AT ITER 1485 NEW BEST:: SOT 1463995 SOS 751457 HAS SOPS 749591 HAS SOUS 110378 HAS SOUPS 109945 WITH SCORE 110696.457
AT ITER 1491 NEW BEST:: SOT 1463962 SOS 751424 HAS SOPS 749558 HAS SOUS 110320 HAS SOUPS 109887 WITH SCORE 110638.424
AT ITER 1494 NEW BEST:: SOT 1463962 SOS 739197 HAS SOPS 725261 HAS SOUS 110561 HAS SOUPS 109875 WITH SCORE 110614.197
AT ITER 1502 NEW BEST:: SOT 1463836 SOS 739071 HAS SOPS 725135 HAS SOUS 110508 HAS SOUPS 109822 WITH SCORE 110561.071
AT ITER 1513 NEW BEST:: SOT 1463409 SOS 738626 HAS SOPS 724690 HAS SOUS 110070 HAS SOUPS 109384 WITH SCORE 110122.626
AT ITER 1525 NEW BEST:: SOT 1463041 SOS 738267 HAS SOPS 724331 HAS SOUS 109521 HAS SOUPS 108835 WITH SCORE 109573.267
AT ITER 1590 NEW BEST:: SOT 1411409 SOS 695923 HAS SOPS 681987 HAS SOUS 106112 HAS SOUPS 105426 WITH SCORE 106121.923
AT ITER 1591 NEW BEST:: SOT 1411341 SOS 695648 HAS SOPS 681712 HAS SOUS 106104 HAS SOUPS 105418 WITH SCORE 106113.648
AT ITER 1603 NEW BEST:: SOT 1411294 SOS 695617 HAS SOPS 681681 HAS SOUS 106011 HAS SOUPS 105325 WITH SCORE 106020.617
AT ITER 1609 NEW BEST:: SOT 1411294 SOS 669708 HAS SOPS 655772 HAS SOUS 105770 HAS SOUPS 105084 WITH SCORE 105753.708
AT ITER 1635 NEW BEST:: SOT 1411174 SOS 669684 HAS SOPS 655749 HAS SOUS 105690 HAS SOUPS 105004 WITH SCORE 105673.684
AT ITER 1639 NEW BEST:: SOT 1411174 SOS 753229 HAS SOPS 739294 HAS SOUS 105129 HAS SOUPS 104443 WITH SCORE 105196.229
AT ITER 1647 NEW BEST:: SOT 1381083 SOS 723112 HAS SOPS 709177 HAS SOUS 101915 HAS SOUPS 101229 WITH SCORE 101952.112
AT ITER 1648 NEW BEST:: SOT 1380981 SOS 723010 HAS SOPS 709075 HAS SOUS 101864 HAS SOUPS 101178 WITH SCORE 101901.01
AT ITER 1654 NEW BEST:: SOT 1380374 SOS 722403 HAS SOPS 708468 HAS SOUS 101209 HAS SOUPS 100523 WITH SCORE 101245.403
AT ITER 1655 NEW BEST:: SOT 1380308 SOS 722326 HAS SOPS 708391 HAS SOUS 101132 HAS SOUPS 100446 WITH SCORE 101168.326
AT ITER 1657 NEW BEST:: SOT 1380298 SOS 722317 HAS SOPS 708382 HAS SOUS 101126 HAS SOUPS 100440 WITH SCORE 101162.317
AT ITER 1659 NEW BEST:: SOT 1380284 SOS 722289 HAS SOPS 708354 HAS SOUS 101098 HAS SOUPS 100412 WITH SCORE 101134.289
AT ITER 1671 NEW BEST:: SOT 1380236 SOS 722249 HAS SOPS 708314 HAS SOUS 101033 HAS SOUPS 100347 WITH SCORE 101069.249
AT ITER 1682 NEW BEST:: SOT 1379924 SOS 721937 HAS SOPS 708002 HAS SOUS 100589 HAS SOUPS 99903 WITH SCORE 100624.937
AT ITER 1699 NEW BEST:: SOT 1379873 SOS 721886 HAS SOPS 707951 HAS SOUS 100544 HAS SOUPS 99858 WITH SCORE 100579.886
AT ITER 1714 NEW BEST:: SOT 1379836 SOS 721819 HAS SOPS 707884 HAS SOUS 100502 HAS SOUPS 99816 WITH SCORE 100537.819
AT ITER 1726 NEW BEST:: SOT 1379836 SOS 721771 HAS SOPS 707836 HAS SOUS 100483 HAS SOUPS 99797 WITH SCORE 100518.771
AT ITER 1736 NEW BEST:: SOT 1379827 SOS 721736 HAS SOPS 707801 HAS SOUS 100465 HAS SOUPS 99779 WITH SCORE 100500.736
AT ITER 1737 NEW BEST:: SOT 1379825 SOS 721667 HAS SOPS 707732 HAS SOUS 100403 HAS SOUPS 99717 WITH SCORE 100438.667
AT ITER 1744 NEW BEST:: SOT 1379980 SOS 721822 HAS SOPS 707887 HAS SOUS 100308 HAS SOUPS 99622 WITH SCORE 100343.822
AT ITER 1756 NEW BEST:: SOT 1379968 SOS 721810 HAS SOPS 707875 HAS SOUS 100284 HAS SOUPS 99598 WITH SCORE 100319.81
AT ITER 1819 NEW BEST:: SOT 1379906 SOS 721611 HAS SOPS 707676 HAS SOUS 100195 HAS SOUPS 99509 WITH SCORE 100230.611
AT ITER 1823 NEW BEST:: SOT 1379915 SOS 721443 HAS SOPS 707378 HAS SOUS 100199 HAS SOUPS 99503 WITH SCORE 100224.443
AT ITER 1858 NEW BEST:: SOT 1384301 SOS 725773 HAS SOPS 711764 HAS SOUS 98760 HAS SOUPS 98078 WITH SCORE 98803.773
AT ITER 1863 NEW BEST:: SOT 1384300 SOS 725772 HAS SOPS 711763 HAS SOUS 98760 HAS SOUPS 98078 WITH SCORE 98803.772
AT ITER 1891 NEW BEST:: SOT 1384273 SOS 725745 HAS SOPS 711736 HAS SOUS 98724 HAS SOUPS 98042 WITH SCORE 98767.745
AT ITER 1897 NEW BEST:: SOT 1384168 SOS 725640 HAS SOPS 711631 HAS SOUS 98396 HAS SOUPS 97714 WITH SCORE 98439.64
AT ITER 1920 NEW BEST:: SOT 1384214 SOS 725686 HAS SOPS 711670 HAS SOUS 98366 HAS SOUPS 97684 WITH SCORE 98409.686
AT ITER 1921 NEW BEST:: SOT 1384206 SOS 725454 HAS SOPS 709134 HAS SOUS 98528 HAS SOUPS 97270 WITH SCORE 97995.454
AT ITER 1923 NEW BEST:: SOT 1384161 SOS 725430 HAS SOPS 709110 HAS SOUS 98497 HAS SOUPS 97239 WITH SCORE 97964.43
AT ITER 1929 NEW BEST:: SOT 1384367 SOS 725636 HAS SOPS 709316 HAS SOUS 98358 HAS SOUPS 97100 WITH SCORE 97825.636
AT ITER 1954 NEW BEST:: SOT 1384329 SOS 725617 HAS SOPS 709316 HAS SOUS 98296 HAS SOUPS 97038 WITH SCORE 97763.617
AT ITER 1958 NEW BEST:: SOT 1384257 SOS 725545 HAS SOPS 709244 HAS SOUS 98188 HAS SOUPS 96930 WITH SCORE 97655.545
AT ITER 1993 NEW BEST:: SOT 1384257 SOS 724555 HAS SOPS 708254 HAS SOUS 98171 HAS SOUPS 96913 WITH SCORE 97637.555
AT ITER 1999 NEW BEST:: SOT 1384161 SOS 724427 HAS SOPS 708126 HAS SOUS 97501 HAS SOUPS 96243 WITH SCORE 96967.427
AT ITER 2020 NEW BEST:: SOT 1384155 SOS 724421 HAS SOPS 708120 HAS SOUS 97446 HAS SOUPS 96188 WITH SCORE 96912.421
AT ITER 2047 NEW BEST:: SOT 1384147 SOS 724413 HAS SOPS 708112 HAS SOUS 97438 HAS SOUPS 96180 WITH SCORE 96904.413
AT ITER 2049 NEW BEST:: SOT 1383867 SOS 723993 HAS SOPS 707692 HAS SOUS 97018 HAS SOUPS 95760 WITH SCORE 96483.993
AT ITER 2058 NEW BEST:: SOT 1383875 SOS 724001 HAS SOPS 707700 HAS SOUS 97010 HAS SOUPS 95752 WITH SCORE 96476.001
AT ITER 2061 NEW BEST:: SOT 1383623 SOS 723718 HAS SOPS 707417 HAS SOUS 96607 HAS SOUPS 95349 WITH SCORE 96072.718
AT ITER 2063 NEW BEST:: SOT 1383623 SOS 723008 HAS SOPS 706707 HAS SOUS 96593 HAS SOUPS 95335 WITH SCORE 96058.008
AT ITER 2072 NEW BEST:: SOT 1383597 SOS 723048 HAS SOPS 706705 HAS SOUS 96567 HAS SOUPS 95309 WITH SCORE 96032.048
AT ITER 2077 NEW BEST:: SOT 1383425 SOS 722939 HAS SOPS 706596 HAS SOUS 96566 HAS SOUPS 95308 WITH SCORE 96030.939
AT ITER 2082 NEW BEST:: SOT 1383322 SOS 722737 HAS SOPS 706394 HAS SOUS 96454 HAS SOUPS 95196 WITH SCORE 95918.737
AT ITER 2092 NEW BEST:: SOT 1383302 SOS 640745 HAS SOPS 624402 HAS SOUS 96370 HAS SOUPS 95112 WITH SCORE 95752.745
AT ITER 2097 NEW BEST:: SOT 1383301 SOS 640744 HAS SOPS 624401 HAS SOUS 96370 HAS SOUPS 95112 WITH SCORE 95752.744
AT ITER 2102 NEW BEST:: SOT 1382700 SOS 640296 HAS SOPS 623953 HAS SOUS 95794 HAS SOUPS 94536 WITH SCORE 95176.296
AT ITER 2107 NEW BEST:: SOT 1382764 SOS 639963 HAS SOPS 623620 HAS SOUS 95160 HAS SOUPS 93902 WITH SCORE 94541.963
AT ITER 2111 NEW BEST:: SOT 1382405 SOS 639520 HAS SOPS 623177 HAS SOUS 94799 HAS SOUPS 93541 WITH SCORE 94180.52
AT ITER 2117 NEW BEST:: SOT 1382499 SOS 639535 HAS SOPS 623134 HAS SOUS 94775 HAS SOUPS 93477 WITH SCORE 94116.535
AT ITER 2119 NEW BEST:: SOT 1382588 SOS 639611 HAS SOPS 623177 HAS SOUS 94773 HAS SOUPS 93475 WITH SCORE 94114.611
AT ITER 2122 NEW BEST:: SOT 1382569 SOS 630303 HAS SOPS 613869 HAS SOUS 93358 HAS SOUPS 92060 WITH SCORE 92690.303
AT ITER 2125 NEW BEST:: SOT 1382196 SOS 629808 HAS SOPS 613374 HAS SOUS 92911 HAS SOUPS 91613 WITH SCORE 92242.808
AT ITER 2130 NEW BEST:: SOT 1382153 SOS 629744 HAS SOPS 613310 HAS SOUS 92834 HAS SOUPS 91536 WITH SCORE 92165.744
AT ITER 2138 NEW BEST:: SOT 1382099 SOS 629717 HAS SOPS 613283 HAS SOUS 92796 HAS SOUPS 91498 WITH SCORE 92127.717
AT ITER 2139 NEW BEST:: SOT 1381687 SOS 629468 HAS SOPS 613034 HAS SOUS 92623 HAS SOUPS 91325 WITH SCORE 91954.468
AT ITER 2162 NEW BEST:: SOT 1381649 SOS 629392 HAS SOPS 612958 HAS SOUS 92516 HAS SOUPS 91218 WITH SCORE 91847.392
AT ITER 2168 NEW BEST:: SOT 1381649 SOS 629392 HAS SOPS 612958 HAS SOUS 92512 HAS SOUPS 91214 WITH SCORE 91843.392
AT ITER 2169 NEW BEST:: SOT 1381642 SOS 629385 HAS SOPS 612951 HAS SOUS 92508 HAS SOUPS 91210 WITH SCORE 91839.385
AT ITER 2177 NEW BEST:: SOT 1381635 SOS 629378 HAS SOPS 612944 HAS SOUS 92476 HAS SOUPS 91178 WITH SCORE 91807.378
AT ITER 2180 NEW BEST:: SOT 1381617 SOS 629360 HAS SOPS 612926 HAS SOUS 92452 HAS SOUPS 91154 WITH SCORE 91783.36
AT ITER 2181 NEW BEST:: SOT 1381586 SOS 629329 HAS SOPS 612895 HAS SOUS 92417 HAS SOUPS 91119 WITH SCORE 91748.329
AT ITER 2188 NEW BEST:: SOT 1381396 SOS 629139 HAS SOPS 612705 HAS SOUS 92227 HAS SOUPS 90929 WITH SCORE 91558.139
AT ITER 2191 NEW BEST:: SOT 1381287 SOS 629030 HAS SOPS 612596 HAS SOUS 92044 HAS SOUPS 90746 WITH SCORE 91375.03
AT ITER 2194 NEW BEST:: SOT 1381320 SOS 629063 HAS SOPS 612491 HAS SOUS 92159 HAS SOUPS 90723 WITH SCORE 91352.063
AT ITER 2198 NEW BEST:: SOT 1381314 SOS 629075 HAS SOPS 612503 HAS SOUS 92153 HAS SOUPS 90717 WITH SCORE 91346.075
AT ITER 2202 NEW BEST:: SOT 1381248 SOS 629041 HAS SOPS 612469 HAS SOUS 92087 HAS SOUPS 90651 WITH SCORE 91280.041
AT ITER 2222 NEW BEST:: SOT 1381041 SOS 628783 HAS SOPS 612211 HAS SOUS 91790 HAS SOUPS 90354 WITH SCORE 90982.783
AT ITER 2224 NEW BEST:: SOT 1380952 SOS 615507 HAS SOPS 611004 HAS SOUS 91391 HAS SOUPS 90213 WITH SCORE 90828.507
AT ITER 2231 NEW BEST:: SOT 1380940 SOS 615483 HAS SOPS 610980 HAS SOUS 91367 HAS SOUPS 90189 WITH SCORE 90804.483
AT ITER 2234 NEW BEST:: SOT 1380868 SOS 615410 HAS SOPS 610907 HAS SOUS 91241 HAS SOUPS 90063 WITH SCORE 90678.41
AT ITER 2258 NEW BEST:: SOT 1380868 SOS 615410 HAS SOPS 610907 HAS SOUS 91238 HAS SOUPS 90060 WITH SCORE 90675.41
AT ITER 2267 NEW BEST:: SOT 1380866 SOS 615407 HAS SOPS 610904 HAS SOUS 91235 HAS SOUPS 90057 WITH SCORE 90672.407
AT ITER 2278 NEW BEST:: SOT 1380866 SOS 613741 HAS SOPS 609238 HAS SOUS 91232 HAS SOUPS 90054 WITH SCORE 90667.741
AT ITER 2289 NEW BEST:: SOT 1380778 SOS 613667 HAS SOPS 609164 HAS SOUS 91144 HAS SOUPS 89966 WITH SCORE 90579.667
AT ITER 2321 NEW BEST:: SOT 1380778 SOS 612103 HAS SOPS 607600 HAS SOUS 91132 HAS SOUPS 89954 WITH SCORE 90566.103
AT ITER 2324 NEW BEST:: SOT 1380756 SOS 612101 HAS SOPS 607598 HAS SOUS 91110 HAS SOUPS 89932 WITH SCORE 90544.101
AT ITER 2338 NEW BEST:: SOT 1380769 SOS 612268 HAS SOPS 607788 HAS SOUS 91102 HAS SOUPS 89929 WITH SCORE 90541.268
AT ITER 2379 NEW BEST:: SOT 1380665 SOS 612112 HAS SOPS 607632 HAS SOUS 90946 HAS SOUPS 89773 WITH SCORE 90385.112
AT ITER 2385 NEW BEST:: SOT 1380638 SOS 612075 HAS SOPS 607595 HAS SOUS 90913 HAS SOUPS 89740 WITH SCORE 90352.075
AT ITER 2390 NEW BEST:: SOT 1380638 SOS 612063 HAS SOPS 607583 HAS SOUS 90893 HAS SOUPS 89720 WITH SCORE 90332.063
AT ITER 2397 NEW BEST:: SOT 1380629 SOS 612055 HAS SOPS 607575 HAS SOUS 90887 HAS SOUPS 89714 WITH SCORE 90326.055
AT ITER 2412 NEW BEST:: SOT 1380572 SOS 612074 HAS SOPS 607615 HAS SOUS 90883 HAS SOUPS 89710 WITH SCORE 90322.074
AT ITER 2413 NEW BEST:: SOT 1380620 SOS 612173 HAS SOPS 607714 HAS SOUS 90820 HAS SOUPS 89647 WITH SCORE 90259.173
AT ITER 2418 NEW BEST:: SOT 1380620 SOS 612085 HAS SOPS 607626 HAS SOUS 90820 HAS SOUPS 89647 WITH SCORE 90259.085
AT ITER 2427 NEW BEST:: SOT 1380086 SOS 611582 HAS SOPS 607123 HAS SOUS 90245 HAS SOUPS 89072 WITH SCORE 89683.582
AT ITER 2458 NEW BEST:: SOT 1380048 SOS 611544 HAS SOPS 607085 HAS SOUS 90147 HAS SOUPS 88974 WITH SCORE 89585.544
AT ITER 2459 NEW BEST:: SOT 1380069 SOS 611781 HAS SOPS 607322 HAS SOUS 90052 HAS SOUPS 88879 WITH SCORE 89490.781
AT ITER 2467 NEW BEST:: SOT 1380037 SOS 611801 HAS SOPS 607342 HAS SOUS 89988 HAS SOUPS 88815 WITH SCORE 89426.801
AT ITER 2468 NEW BEST:: SOT 1380047 SOS 611777 HAS SOPS 607318 HAS SOUS 89792 HAS SOUPS 88619 WITH SCORE 89230.777
AT ITER 2472 NEW BEST:: SOT 1380045 SOS 611775 HAS SOPS 607318 HAS SOUS 89792 HAS SOUPS 88619 WITH SCORE 89230.775
AT ITER 2473 NEW BEST:: SOT 1379985 SOS 611715 HAS SOPS 607258 HAS SOUS 89695 HAS SOUPS 88522 WITH SCORE 89133.715
AT ITER 2495 NEW BEST:: SOT 1379756 SOS 611486 HAS SOPS 607005 HAS SOUS 89537 HAS SOUPS 88364 WITH SCORE 88975.486
AT ITER 2517 NEW BEST:: SOT 1379641 SOS 611263 HAS SOPS 606782 HAS SOUS 89379 HAS SOUPS 88206 WITH SCORE 88817.263
AT ITER 2521 NEW BEST:: SOT 1379634 SOS 611256 HAS SOPS 606775 HAS SOUS 89369 HAS SOUPS 88196 WITH SCORE 88807.256
AT ITER 2553 NEW BEST:: SOT 1379570 SOS 611192 HAS SOPS 606711 HAS SOUS 89282 HAS SOUPS 88109 WITH SCORE 88720.192
AT ITER 2565 NEW BEST:: SOT 1379560 SOS 611182 HAS SOPS 606711 HAS SOUS 89282 HAS SOUPS 88109 WITH SCORE 88720.182
AT ITER 2577 NEW BEST:: SOT 1379550 SOS 611172 HAS SOPS 606701 HAS SOUS 89277 HAS SOUPS 88104 WITH SCORE 88715.172
AT ITER 2593 NEW BEST:: SOT 1379493 SOS 611130 HAS SOPS 606659 HAS SOUS 89220 HAS SOUPS 88047 WITH SCORE 88658.13
AT ITER 2606 NEW BEST:: SOT 1379487 SOS 611115 HAS SOPS 606648 HAS SOUS 89211 HAS SOUPS 88039 WITH SCORE 88650.115
AT ITER 2627 NEW BEST:: SOT 1379481 SOS 611097 HAS SOPS 606630 HAS SOUS 89205 HAS SOUPS 88033 WITH SCORE 88644.097
AT ITER 2682 NEW BEST:: SOT 1378979 SOS 610176 HAS SOPS 605709 HAS SOUS 89063 HAS SOUPS 87891 WITH SCORE 88501.176
AT ITER 2698 NEW BEST:: SOT 1378961 SOS 610108 HAS SOPS 605641 HAS SOUS 89004 HAS SOUPS 87832 WITH SCORE 88442.108
AT ITER 2722 NEW BEST:: SOT 1378955 SOS 610102 HAS SOPS 605617 HAS SOUS 88972 HAS SOUPS 87800 WITH SCORE 88410.102
AT ITER 2731 NEW BEST:: SOT 1378956 SOS 610079 HAS SOPS 605588 HAS SOUS 88967 HAS SOUPS 87795 WITH SCORE 88405.079
AT ITER 2755 NEW BEST:: SOT 1378956 SOS 608887 HAS SOPS 604396 HAS SOUS 88952 HAS SOUPS 87780 WITH SCORE 88388.887
AT ITER 2763 NEW BEST:: SOT 1378895 SOS 608771 HAS SOPS 604280 HAS SOUS 88835 HAS SOUPS 87663 WITH SCORE 88271.771
AT ITER 2777 NEW BEST:: SOT 1378885 SOS 608761 HAS SOPS 604265 HAS SOUS 88818 HAS SOUPS 87646 WITH SCORE 88254.761
AT ITER 2781 NEW BEST:: SOT 1378847 SOS 608723 HAS SOPS 604227 HAS SOUS 88780 HAS SOUPS 87608 WITH SCORE 88216.723
AT ITER 2790 NEW BEST:: SOT 1378771 SOS 608613 HAS SOPS 604117 HAS SOUS 88670 HAS SOUPS 87498 WITH SCORE 88106.613
AT ITER 2820 NEW BEST:: SOT 1378765 SOS 608607 HAS SOPS 604111 HAS SOUS 88658 HAS SOUPS 87486 WITH SCORE 88094.607
AT ITER 2828 NEW BEST:: SOT 1378935 SOS 608945 HAS SOPS 604449 HAS SOUS 88567 HAS SOUPS 87395 WITH SCORE 88003.945
AT ITER 2888 NEW BEST:: SOT 1378872 SOS 608858 HAS SOPS 604362 HAS SOUS 88480 HAS SOUPS 87308 WITH SCORE 87916.858
AT ITER 2894 NEW BEST:: SOT 1378872 SOS 608858 HAS SOPS 604362 HAS SOUS 88395 HAS SOUPS 87223 WITH SCORE 87831.858
AT ITER 2896 NEW BEST:: SOT 1378907 SOS 608893 HAS SOPS 604397 HAS SOUS 88382 HAS SOUPS 87210 WITH SCORE 87818.893
AT ITER 2906 NEW BEST:: SOT 1378871 SOS 608833 HAS SOPS 604337 HAS SOUS 88346 HAS SOUPS 87174 WITH SCORE 87782.833
AT ITER 2937 NEW BEST:: SOT 1378739 SOS 608760 HAS SOPS 604264 HAS SOUS 88327 HAS SOUPS 87155 WITH SCORE 87763.76
AT ITER 2943 NEW BEST:: SOT 1378567 SOS 608437 HAS SOPS 603941 HAS SOUS 88099 HAS SOUPS 86927 WITH SCORE 87535.437
AT ITER 2948 NEW BEST:: SOT 1378574 SOS 608409 HAS SOPS 603913 HAS SOUS 88099 HAS SOUPS 86927 WITH SCORE 87535.409
AT ITER 2992 NEW BEST:: SOT 1378514 SOS 608349 HAS SOPS 603853 HAS SOUS 88045 HAS SOUPS 86873 WITH SCORE 87481.349
AT ITER 3023 NEW BEST:: SOT 1378317 SOS 608152 HAS SOPS 603656 HAS SOUS 88006 HAS SOUPS 86834 WITH SCORE 87442.152
AT ITER 3034 NEW BEST:: SOT 1378235 SOS 607933 HAS SOPS 603437 HAS SOUS 87887 HAS SOUPS 86715 WITH SCORE 87322.933
AT ITER 3075 NEW BEST:: SOT 1378307 SOS 607381 HAS SOPS 603053 HAS SOUS 87835 HAS SOUPS 86684 WITH SCORE 87291.381
AT ITER 3080 NEW BEST:: SOT 1378252 SOS 607334 HAS SOPS 603006 HAS SOUS 87810 HAS SOUPS 86659 WITH SCORE 87266.334
AT ITER 3107 NEW BEST:: SOT 1378099 SOS 607053 HAS SOPS 602725 HAS SOUS 87667 HAS SOUPS 86516 WITH SCORE 87123.053
AT ITER 3119 NEW BEST:: SOT 1378066 SOS 607020 HAS SOPS 602692 HAS SOUS 87564 HAS SOUPS 86413 WITH SCORE 87020.02
AT ITER 3135 NEW BEST:: SOT 1378036 SOS 606991 HAS SOPS 602692 HAS SOUS 87489 HAS SOUPS 86338 WITH SCORE 86944.991
AT ITER 3138 NEW BEST:: SOT 1378057 SOS 607012 HAS SOPS 602713 HAS SOUS 87477 HAS SOUPS 86326 WITH SCORE 86933.012
AT ITER 3142 NEW BEST:: SOT 1378055 SOS 607010 HAS SOPS 602711 HAS SOUS 87477 HAS SOUPS 86326 WITH SCORE 86933.01
AT ITER 3148 NEW BEST:: SOT 1378045 SOS 607000 HAS SOPS 602701 HAS SOUS 87467 HAS SOUPS 86316 WITH SCORE 86923.0
AT ITER 3214 NEW BEST:: SOT 1378021 SOS 606976 HAS SOPS 602677 HAS SOUS 87443 HAS SOUPS 86292 WITH SCORE 86898.976
AT ITER 3223 NEW BEST:: SOT 1378056 SOS 607011 HAS SOPS 602705 HAS SOUS 87422 HAS SOUPS 86271 WITH SCORE 86878.011
AT ITER 3236 NEW BEST:: SOT 1378019 SOS 550771 HAS SOPS 546465 HAS SOUS 87385 HAS SOUPS 86234 WITH SCORE 86784.771
AT ITER 3254 NEW BEST:: SOT 1377977 SOS 550729 HAS SOPS 546423 HAS SOUS 87344 HAS SOUPS 86193 WITH SCORE 86743.729
AT ITER 3268 NEW BEST:: SOT 1377858 SOS 550815 HAS SOPS 546509 HAS SOUS 87327 HAS SOUPS 86176 WITH SCORE 86726.815
AT ITER 3273 NEW BEST:: SOT 1377859 SOS 550817 HAS SOPS 546511 HAS SOUS 87324 HAS SOUPS 86173 WITH SCORE 86723.817
AT ITER 3276 NEW BEST:: SOT 1377764 SOS 550656 HAS SOPS 546368 HAS SOUS 87314 HAS SOUPS 86163 WITH SCORE 86713.656
AT ITER 3283 NEW BEST:: SOT 1377742 SOS 550611 HAS SOPS 546323 HAS SOUS 87269 HAS SOUPS 86118 WITH SCORE 86668.611
AT ITER 3306 NEW BEST:: SOT 1377508 SOS 550377 HAS SOPS 546089 HAS SOUS 87073 HAS SOUPS 85922 WITH SCORE 86472.377
AT ITER 3308 NEW BEST:: SOT 1377515 SOS 550328 HAS SOPS 546080 HAS SOUS 87042 HAS SOUPS 85891 WITH SCORE 86441.328
AT ITER 3329 NEW BEST:: SOT 1377506 SOS 550319 HAS SOPS 546071 HAS SOUS 87033 HAS SOUPS 85882 WITH SCORE 86432.319
AT ITER 3337 NEW BEST:: SOT 1377496 SOS 475628 HAS SOPS 471380 HAS SOUS 87017 HAS SOUPS 85866 WITH SCORE 86341.628
AT ITER 3345 NEW BEST:: SOT 1377465 SOS 475596 HAS SOPS 471348 HAS SOUS 86983 HAS SOUPS 85832 WITH SCORE 86307.596
AT ITER 3351 NEW BEST:: SOT 1377465 SOS 475595 HAS SOPS 471347 HAS SOUS 86983 HAS SOUPS 85832 WITH SCORE 86307.595
AT ITER 3355 NEW BEST:: SOT 1377657 SOS 475751 HAS SOPS 471503 HAS SOUS 86872 HAS SOUPS 85721 WITH SCORE 86196.751
AT ITER 3358 NEW BEST:: SOT 1377641 SOS 475735 HAS SOPS 471487 HAS SOUS 86855 HAS SOUPS 85704 WITH SCORE 86179.735
AT ITER 3366 NEW BEST:: SOT 1377687 SOS 475781 HAS SOPS 471515 HAS SOUS 86750 HAS SOUPS 85599 WITH SCORE 86074.781
AT ITER 3394 NEW BEST:: SOT 1377639 SOS 475705 HAS SOPS 471439 HAS SOUS 86579 HAS SOUPS 85428 WITH SCORE 85903.705
AT ITER 3396 NEW BEST:: SOT 1377612 SOS 462016 HAS SOPS 457750 HAS SOUS 86552 HAS SOUPS 85401 WITH SCORE 85863.016
AT ITER 3418 NEW BEST:: SOT 1377573 SOS 461961 HAS SOPS 457695 HAS SOUS 86491 HAS SOUPS 85340 WITH SCORE 85801.961
AT ITER 3430 NEW BEST:: SOT 1377428 SOS 461816 HAS SOPS 457550 HAS SOUS 86344 HAS SOUPS 85193 WITH SCORE 85654.816
AT ITER 3469 NEW BEST:: SOT 1377395 SOS 461798 HAS SOPS 457532 HAS SOUS 86278 HAS SOUPS 85127 WITH SCORE 85588.798
AT ITER 3487 NEW BEST:: SOT 1377316 SOS 461824 HAS SOPS 457558 HAS SOUS 86229 HAS SOUPS 85078 WITH SCORE 85539.824
AT ITER 3530 NEW BEST:: SOT 1377391 SOS 461899 HAS SOPS 457565 HAS SOUS 86249 HAS SOUPS 85076 WITH SCORE 85537.899
AT ITER 3556 NEW BEST:: SOT 1377397 SOS 461933 HAS SOPS 457599 HAS SOUS 86217 HAS SOUPS 85044 WITH SCORE 85505.933
AT ITER 3562 NEW BEST:: SOT 1377391 SOS 461941 HAS SOPS 457607 HAS SOUS 86180 HAS SOUPS 85007 WITH SCORE 85468.941
AT ITER 3566 NEW BEST:: SOT 1377376 SOS 461926 HAS SOPS 457592 HAS SOUS 86165 HAS SOUPS 84992 WITH SCORE 85453.926
AT ITER 3583 NEW BEST:: SOT 1377339 SOS 461854 HAS SOPS 457546 HAS SOUS 86121 HAS SOUPS 84970 WITH SCORE 85431.854
AT ITER 3612 NEW BEST:: SOT 1377335 SOS 461850 HAS SOPS 457542 HAS SOUS 86117 HAS SOUPS 84966 WITH SCORE 85427.85
AT ITER 3615 NEW BEST:: SOT 1377335 SOS 461812 HAS SOPS 457504 HAS SOUS 86117 HAS SOUPS 84966 WITH SCORE 85427.812
AT ITER 3652 NEW BEST:: SOT 1377288 SOS 461765 HAS SOPS 457457 HAS SOUS 86055 HAS SOUPS 84904 WITH SCORE 85365.765
AT ITER 3657 NEW BEST:: SOT 1377287 SOS 461764 HAS SOPS 457456 HAS SOUS 86049 HAS SOUPS 84898 WITH SCORE 85359.764
AT ITER 3663 NEW BEST:: SOT 1377241 SOS 461524 HAS SOPS 457216 HAS SOUS 86035 HAS SOUPS 84884 WITH SCORE 85345.524
AT ITER 3666 NEW BEST:: SOT 1377223 SOS 461434 HAS SOPS 457126 HAS SOUS 86017 HAS SOUPS 84866 WITH SCORE 85327.434
AT ITER 3680 NEW BEST:: SOT 1377223 SOS 459670 HAS SOPS 455362 HAS SOUS 86017 HAS SOUPS 84866 WITH SCORE 85325.67
AT ITER 3688 NEW BEST:: SOT 1377217 SOS 459664 HAS SOPS 455356 HAS SOUS 86014 HAS SOUPS 84863 WITH SCORE 85322.664
AT ITER 3704 NEW BEST:: SOT 1377172 SOS 459630 HAS SOPS 455322 HAS SOUS 85974 HAS SOUPS 84823 WITH SCORE 85282.63
AT ITER 3719 NEW BEST:: SOT 1377224 SOS 459926 HAS SOPS 455618 HAS SOUS 85836 HAS SOUPS 84685 WITH SCORE 85144.926
AT ITER 3734 NEW BEST:: SOT 1377131 SOS 459833 HAS SOPS 455525 HAS SOUS 85730 HAS SOUPS 84579 WITH SCORE 85038.833
AT ITER 3755 NEW BEST:: SOT 1377117 SOS 459795 HAS SOPS 455487 HAS SOUS 85718 HAS SOUPS 84567 WITH SCORE 85026.795
AT ITER 3760 NEW BEST:: SOT 1377116 SOS 459794 HAS SOPS 455486 HAS SOUS 85707 HAS SOUPS 84556 WITH SCORE 85015.794
AT ITER 3779 NEW BEST:: SOT 1377091 SOS 459624 HAS SOPS 455316 HAS SOUS 85657 HAS SOUPS 84506 WITH SCORE 84965.624
AT ITER 3793 NEW BEST:: SOT 1377073 SOS 459606 HAS SOPS 455298 HAS SOUS 85637 HAS SOUPS 84486 WITH SCORE 84945.606
AT ITER 3809 NEW BEST:: SOT 1377072 SOS 459603 HAS SOPS 455296 HAS SOUS 85635 HAS SOUPS 84484 WITH SCORE 84943.603
AT ITER 3818 NEW BEST:: SOT 1377103 SOS 459634 HAS SOPS 455327 HAS SOUS 85628 HAS SOUPS 84477 WITH SCORE 84936.634
AT ITER 3825 NEW BEST:: SOT 1376828 SOS 459412 HAS SOPS 455105 HAS SOUS 85359 HAS SOUPS 84208 WITH SCORE 84667.412
AT ITER 3848 NEW BEST:: SOT 1376828 SOS 459390 HAS SOPS 455083 HAS SOUS 85298 HAS SOUPS 84147 WITH SCORE 84606.39
AT ITER 3853 NEW BEST:: SOT 1376818 SOS 459355 HAS SOPS 455023 HAS SOUS 85171 HAS SOUPS 84020 WITH SCORE 84479.355
AT ITER 3857 NEW BEST:: SOT 1376801 SOS 459338 HAS SOPS 455006 HAS SOUS 85154 HAS SOUPS 84003 WITH SCORE 84462.338
AT ITER 3861 NEW BEST:: SOT 1376801 SOS 459414 HAS SOPS 455082 HAS SOUS 85043 HAS SOUPS 83892 WITH SCORE 84351.414
AT ITER 3880 NEW BEST:: SOT 1376798 SOS 459411 HAS SOPS 455079 HAS SOUS 85031 HAS SOUPS 83880 WITH SCORE 84339.411
AT ITER 3887 NEW BEST:: SOT 1376798 SOS 459386 HAS SOPS 455054 HAS SOUS 85016 HAS SOUPS 83865 WITH SCORE 84324.386
AT ITER 3913 NEW BEST:: SOT 1376814 SOS 458958 HAS SOPS 454602 HAS SOUS 85014 HAS SOUPS 83857 WITH SCORE 84315.958
AT ITER 3943 NEW BEST:: SOT 1376776 SOS 458920 HAS SOPS 454564 HAS SOUS 84994 HAS SOUPS 83837 WITH SCORE 84295.92
AT ITER 3957 NEW BEST:: SOT 1376784 SOS 458928 HAS SOPS 454572 HAS SOUS 84990 HAS SOUPS 83833 WITH SCORE 84291.928
AT ITER 3969 NEW BEST:: SOT 1376698 SOS 458852 HAS SOPS 454496 HAS SOUS 84968 HAS SOUPS 83811 WITH SCORE 84269.852
AT ITER 3973 NEW BEST:: SOT 1376683 SOS 458837 HAS SOPS 454481 HAS SOUS 84938 HAS SOUPS 83781 WITH SCORE 84239.837
AT ITER 4011 NEW BEST:: SOT 1376605 SOS 458442 HAS SOPS 454086 HAS SOUS 84718 HAS SOUPS 83561 WITH SCORE 84019.442
AT ITER 4038 NEW BEST:: SOT 1376566 SOS 458403 HAS SOPS 454047 HAS SOUS 84698 HAS SOUPS 83541 WITH SCORE 83999.403
AT ITER 4047 NEW BEST:: SOT 1376552 SOS 458391 HAS SOPS 454007 HAS SOUS 84644 HAS SOUPS 83487 WITH SCORE 83945.391
AT ITER 4056 NEW BEST:: SOT 1376556 SOS 458685 HAS SOPS 454301 HAS SOUS 84640 HAS SOUPS 83483 WITH SCORE 83941.685
AT ITER 4079 NEW BEST:: SOT 1376529 SOS 458658 HAS SOPS 454277 HAS SOUS 84616 HAS SOUPS 83459 WITH SCORE 83917.658
AT ITER 4085 NEW BEST:: SOT 1376459 SOS 458574 HAS SOPS 454193 HAS SOUS 84611 HAS SOUPS 83454 WITH SCORE 83912.574
AT ITER 4094 NEW BEST:: SOT 1376321 SOS 458448 HAS SOPS 454067 HAS SOUS 84509 HAS SOUPS 83352 WITH SCORE 83810.448
AT ITER 4099 NEW BEST:: SOT 1376321 SOS 458453 HAS SOPS 454072 HAS SOUS 84504 HAS SOUPS 83347 WITH SCORE 83805.453
AT ITER 4101 NEW BEST:: SOT 1376307 SOS 458425 HAS SOPS 454044 HAS SOUS 84476 HAS SOUPS 83319 WITH SCORE 83777.425
AT ITER 4103 NEW BEST:: SOT 1376307 SOS 458529 HAS SOPS 454148 HAS SOUS 84472 HAS SOUPS 83315 WITH SCORE 83773.529
AT ITER 4139 NEW BEST:: SOT 1376307 SOS 458504 HAS SOPS 454124 HAS SOUS 84472 HAS SOUPS 83315 WITH SCORE 83773.504
AT ITER 4161 NEW BEST:: SOT 1376196 SOS 458432 HAS SOPS 454052 HAS SOUS 84463 HAS SOUPS 83306 WITH SCORE 83764.432
AT ITER 4168 NEW BEST:: SOT 1376140 SOS 458335 HAS SOPS 453978 HAS SOUS 84379 HAS SOUPS 83222 WITH SCORE 83680.335
AT ITER 4193 NEW BEST:: SOT 1376142 SOS 458337 HAS SOPS 453980 HAS SOUS 84373 HAS SOUPS 83216 WITH SCORE 83674.337
AT ITER 4229 NEW BEST:: SOT 1375843 SOS 458038 HAS SOPS 453681 HAS SOUS 84104 HAS SOUPS 82947 WITH SCORE 83405.038
AT ITER 4230 NEW BEST:: SOT 1375785 SOS 457980 HAS SOPS 453615 HAS SOUS 83968 HAS SOUPS 82811 WITH SCORE 83268.98
AT ITER 4325 NEW BEST:: SOT 1375795 SOS 457988 HAS SOPS 453623 HAS SOUS 83948 HAS SOUPS 82791 WITH SCORE 83248.988
AT ITER 4416 NEW BEST:: SOT 1375791 SOS 457988 HAS SOPS 453623 HAS SOUS 83940 HAS SOUPS 82783 WITH SCORE 83240.988
AT ITER 4427 NEW BEST:: SOT 1375610 SOS 457807 HAS SOPS 453442 HAS SOUS 83743 HAS SOUPS 82586 WITH SCORE 83043.807
AT ITER 4437 NEW BEST:: SOT 1375571 SOS 457768 HAS SOPS 453403 HAS SOUS 83704 HAS SOUPS 82547 WITH SCORE 83004.768
AT ITER 4438 NEW BEST:: SOT 1375522 SOS 457752 HAS SOPS 453387 HAS SOUS 83704 HAS SOUPS 82547 WITH SCORE 83004.752
AT ITER 4456 NEW BEST:: SOT 1375225 SOS 457190 HAS SOPS 452825 HAS SOUS 83650 HAS SOUPS 82493 WITH SCORE 82950.19
AT ITER 4469 NEW BEST:: SOT 1375228 SOS 457185 HAS SOPS 452820 HAS SOUS 83648 HAS SOUPS 82491 WITH SCORE 82948.185
AT ITER 4479 NEW BEST:: SOT 1375248 SOS 457254 HAS SOPS 452911 HAS SOUS 83600 HAS SOUPS 82443 WITH SCORE 82900.254
AT ITER 4505 NEW BEST:: SOT 1375295 SOS 456538 HAS SOPS 452053 HAS SOUS 83534 HAS SOUPS 82363 WITH SCORE 82819.538
AT ITER 4523 NEW BEST:: SOT 1375289 SOS 456472 HAS SOPS 451987 HAS SOUS 83489 HAS SOUPS 82318 WITH SCORE 82774.472
AT ITER 4540 NEW BEST:: SOT 1375188 SOS 456371 HAS SOPS 451886 HAS SOUS 83326 HAS SOUPS 82155 WITH SCORE 82611.371
AT ITER 4547 NEW BEST:: SOT 1375126 SOS 456309 HAS SOPS 451824 HAS SOUS 83202 HAS SOUPS 82031 WITH SCORE 82487.309
AT ITER 4549 NEW BEST:: SOT 1375104 SOS 456287 HAS SOPS 451802 HAS SOUS 83180 HAS SOUPS 82009 WITH SCORE 82465.287
AT ITER 4562 NEW BEST:: SOT 1375076 SOS 456259 HAS SOPS 451774 HAS SOUS 83169 HAS SOUPS 81998 WITH SCORE 82454.259
AT ITER 4564 NEW BEST:: SOT 1375042 SOS 456228 HAS SOPS 451743 HAS SOUS 83134 HAS SOUPS 81963 WITH SCORE 82419.228
AT ITER 4572 NEW BEST:: SOT 1374954 SOS 455988 HAS SOPS 451503 HAS SOUS 83044 HAS SOUPS 81873 WITH SCORE 82328.988
AT ITER 4580 NEW BEST:: SOT 1374954 SOS 455796 HAS SOPS 451311 HAS SOUS 83044 HAS SOUPS 81873 WITH SCORE 82328.796
AT ITER 4611 NEW BEST:: SOT 1374903 SOS 455745 HAS SOPS 451260 HAS SOUS 83044 HAS SOUPS 81873 WITH SCORE 82328.745
AT ITER 4618 NEW BEST:: SOT 1374850 SOS 455692 HAS SOPS 451207 HAS SOUS 82991 HAS SOUPS 81820 WITH SCORE 82275.692
AT ITER 4634 NEW BEST:: SOT 1374852 SOS 455685 HAS SOPS 451218 HAS SOUS 82954 HAS SOUPS 81801 WITH SCORE 82256.685
AT ITER 4661 NEW BEST:: SOT 1374852 SOS 455665 HAS SOPS 451198 HAS SOUS 82949 HAS SOUPS 81796 WITH SCORE 82251.665
AT ITER 4693 NEW BEST:: SOT 1374846 SOS 455659 HAS SOPS 451192 HAS SOUS 82937 HAS SOUPS 81784 WITH SCORE 82239.659
AT ITER 4725 NEW BEST:: SOT 1374836 SOS 455644 HAS SOPS 451177 HAS SOUS 82917 HAS SOUPS 81764 WITH SCORE 82219.644
AT ITER 4759 NEW BEST:: SOT 1375011 SOS 455700 HAS SOPS 451233 HAS SOUS 82882 HAS SOUPS 81729 WITH SCORE 82184.7
AT ITER 4774 NEW BEST:: SOT 1375011 SOS 455693 HAS SOPS 451226 HAS SOUS 82875 HAS SOUPS 81722 WITH SCORE 82177.693
AT ITER 4778 NEW BEST:: SOT 1375034 SOS 455716 HAS SOPS 451225 HAS SOUS 82834 HAS SOUPS 81681 WITH SCORE 82136.716
AT ITER 4793 NEW BEST:: SOT 1374954 SOS 455636 HAS SOPS 451145 HAS SOUS 82668 HAS SOUPS 81515 WITH SCORE 81970.636
AT ITER 4876 NEW BEST:: SOT 1374942 SOS 455624 HAS SOPS 451126 HAS SOUS 82649 HAS SOUPS 81496 WITH SCORE 81951.624
AT ITER 4919 NEW BEST:: SOT 1374922 SOS 455604 HAS SOPS 451106 HAS SOUS 82649 HAS SOUPS 81496 WITH SCORE 81951.604
AT ITER 4934 NEW BEST:: SOT 1374917 SOS 455606 HAS SOPS 451108 HAS SOUS 82644 HAS SOUPS 81491 WITH SCORE 81946.606
AT ITER 4951 NEW BEST:: SOT 1374881 SOS 455521 HAS SOPS 451023 HAS SOUS 82628 HAS SOUPS 81475 WITH SCORE 81930.521
AT ITER 4985 NEW BEST:: SOT 1374870 SOS 455510 HAS SOPS 451012 HAS SOUS 82606 HAS SOUPS 81453 WITH SCORE 81908.51
AT ITER 4986 NEW BEST:: SOT 1374841 SOS 455521 HAS SOPS 451023 HAS SOUS 82482 HAS SOUPS 81329 WITH SCORE 81784.521
AT ITER 5004 NEW BEST:: SOT 1374820 SOS 455479 HAS SOPS 450981 HAS SOUS 82440 HAS SOUPS 81287 WITH SCORE 81742.479
AT ITER 5009 NEW BEST:: SOT 1374820 SOS 455487 HAS SOPS 450989 HAS SOUS 82424 HAS SOUPS 81271 WITH SCORE 81726.487
AT ITER 5011 NEW BEST:: SOT 1374535 SOS 455153 HAS SOPS 450655 HAS SOUS 82090 HAS SOUPS 80937 WITH SCORE 81392.153
AT ITER 5034 NEW BEST:: SOT 1374499 SOS 455108 HAS SOPS 450610 HAS SOUS 82045 HAS SOUPS 80892 WITH SCORE 81347.108
AT ITER 5039 NEW BEST:: SOT 1374476 SOS 455085 HAS SOPS 450552 HAS SOUS 81929 HAS SOUPS 80776 WITH SCORE 81231.085
AT ITER 5072 NEW BEST:: SOT 1374390 SOS 454999 HAS SOPS 450466 HAS SOUS 81889 HAS SOUPS 80736 WITH SCORE 81190.999
AT ITER 5080 NEW BEST:: SOT 1374387 SOS 454846 HAS SOPS 450313 HAS SOUS 81852 HAS SOUPS 80699 WITH SCORE 81153.846
AT ITER 5105 NEW BEST:: SOT 1374401 SOS 454789 HAS SOPS 450256 HAS SOUS 81828 HAS SOUPS 80675 WITH SCORE 81129.789
AT ITER 5130 NEW BEST:: SOT 1374390 SOS 454778 HAS SOPS 450245 HAS SOUS 81822 HAS SOUPS 80669 WITH SCORE 81123.778
AT ITER 5197 NEW BEST:: SOT 1374385 SOS 454747 HAS SOPS 450214 HAS SOUS 81791 HAS SOUPS 80638 WITH SCORE 81092.747
AT ITER 5198 NEW BEST:: SOT 1374385 SOS 454747 HAS SOPS 450212 HAS SOUS 81787 HAS SOUPS 80634 WITH SCORE 81088.747
AT ITER 5208 NEW BEST:: SOT 1374391 SOS 454708 HAS SOPS 450173 HAS SOUS 81763 HAS SOUPS 80610 WITH SCORE 81064.708
AT ITER 5227 NEW BEST:: SOT 1374382 SOS 454699 HAS SOPS 450164 HAS SOUS 81745 HAS SOUPS 80592 WITH SCORE 81046.699
AT ITER 5237 NEW BEST:: SOT 1374384 SOS 454589 HAS SOPS 450054 HAS SOUS 81633 HAS SOUPS 80480 WITH SCORE 80934.589
AT ITER 5300 NEW BEST:: SOT 1374368 SOS 454573 HAS SOPS 450017 HAS SOUS 81604 HAS SOUPS 80443 WITH SCORE 80897.573
AT ITER 5315 NEW BEST:: SOT 1374370 SOS 454553 HAS SOPS 449984 HAS SOUS 81560 HAS SOUPS 80399 WITH SCORE 80853.553
AT ITER 5370 NEW BEST:: SOT 1374362 SOS 454545 HAS SOPS 449976 HAS SOUS 81556 HAS SOUPS 80395 WITH SCORE 80849.545
AT ITER 5382 NEW BEST:: SOT 1374253 SOS 454266 HAS SOPS 449697 HAS SOUS 81228 HAS SOUPS 80067 WITH SCORE 80521.266
AT ITER 5404 NEW BEST:: SOT 1374248 SOS 454261 HAS SOPS 449692 HAS SOUS 81223 HAS SOUPS 80062 WITH SCORE 80516.261
AT ITER 5405 NEW BEST:: SOT 1374271 SOS 454311 HAS SOPS 449742 HAS SOUS 81171 HAS SOUPS 80010 WITH SCORE 80464.311
AT ITER 5412 NEW BEST:: SOT 1374267 SOS 454307 HAS SOPS 449738 HAS SOUS 81167 HAS SOUPS 80006 WITH SCORE 80460.307
AT ITER 5424 NEW BEST:: SOT 1374238 SOS 454469 HAS SOPS 449900 HAS SOUS 81109 HAS SOUPS 79948 WITH SCORE 80402.469
AT ITER 5425 NEW BEST:: SOT 1374238 SOS 454427 HAS SOPS 449858 HAS SOUS 81067 HAS SOUPS 79906 WITH SCORE 80360.427
AT ITER 5445 NEW BEST:: SOT 1374238 SOS 454427 HAS SOPS 449858 HAS SOUS 81065 HAS SOUPS 79904 WITH SCORE 80358.427
AT ITER 5535 NEW BEST:: SOT 1374216 SOS 454405 HAS SOPS 449836 HAS SOUS 81045 HAS SOUPS 79884 WITH SCORE 80338.405
AT ITER 5541 NEW BEST:: SOT 1374168 SOS 454363 HAS SOPS 449794 HAS SOUS 80583 HAS SOUPS 79422 WITH SCORE 79876.363
AT ITER 5546 NEW BEST:: SOT 1374146 SOS 454304 HAS SOPS 449735 HAS SOUS 80557 HAS SOUPS 79396 WITH SCORE 79850.304
AT ITER 5552 NEW BEST:: SOT 1374185 SOS 454343 HAS SOPS 449774 HAS SOUS 80552 HAS SOUPS 79391 WITH SCORE 79845.343
AT ITER 5557 NEW BEST:: SOT 1374048 SOS 454206 HAS SOPS 449637 HAS SOUS 80360 HAS SOUPS 79199 WITH SCORE 79653.206
AT ITER 5574 NEW BEST:: SOT 1374032 SOS 454244 HAS SOPS 449675 HAS SOUS 80350 HAS SOUPS 79189 WITH SCORE 79643.244
AT ITER 5577 NEW BEST:: SOT 1374056 SOS 454292 HAS SOPS 449695 HAS SOUS 80359 HAS SOUPS 79182 WITH SCORE 79636.292
AT ITER 5611 NEW BEST:: SOT 1374056 SOS 454291 HAS SOPS 449694 HAS SOUS 80358 HAS SOUPS 79181 WITH SCORE 79635.291
AT ITER 5623 NEW BEST:: SOT 1374045 SOS 454348 HAS SOPS 449683 HAS SOUS 80354 HAS SOUPS 79160 WITH SCORE 79614.348
AT ITER 5639 NEW BEST:: SOT 1374044 SOS 454362 HAS SOPS 449697 HAS SOUS 80352 HAS SOUPS 79158 WITH SCORE 79612.362
AT ITER 5669 NEW BEST:: SOT 1373973 SOS 454301 HAS SOPS 449636 HAS SOUS 80275 HAS SOUPS 79081 WITH SCORE 79535.301
AT ITER 5684 NEW BEST:: SOT 1373883 SOS 454211 HAS SOPS 449546 HAS SOUS 80170 HAS SOUPS 78976 WITH SCORE 79430.211
AT ITER 5686 NEW BEST:: SOT 1373900 SOS 454147 HAS SOPS 449479 HAS SOUS 80069 HAS SOUPS 78875 WITH SCORE 79329.147
AT ITER 5699 NEW BEST:: SOT 1373603 SOS 453851 HAS SOPS 449183 HAS SOUS 79875 HAS SOUPS 78681 WITH SCORE 79134.851
AT ITER 5711 NEW BEST:: SOT 1373602 SOS 453849 HAS SOPS 449181 HAS SOUS 79872 HAS SOUPS 78678 WITH SCORE 79131.849
AT ITER 5729 NEW BEST:: SOT 1373560 SOS 453815 HAS SOPS 449147 HAS SOUS 79866 HAS SOUPS 78672 WITH SCORE 79125.815
AT ITER 5742 NEW BEST:: SOT 1373566 SOS 453847 HAS SOPS 449179 HAS SOUS 79825 HAS SOUPS 78631 WITH SCORE 79084.847
AT ITER 5746 NEW BEST:: SOT 1373692 SOS 453973 HAS SOPS 449305 HAS SOUS 79797 HAS SOUPS 78603 WITH SCORE 79056.973
AT ITER 5815 NEW BEST:: SOT 1373649 SOS 453950 HAS SOPS 449300 HAS SOUS 79797 HAS SOUPS 78603 WITH SCORE 79056.95
AT ITER 5823 NEW BEST:: SOT 1373638 SOS 453939 HAS SOPS 449289 HAS SOUS 79761 HAS SOUPS 78567 WITH SCORE 79020.939
AT ITER 5835 NEW BEST:: SOT 1373628 SOS 453929 HAS SOPS 449279 HAS SOUS 79761 HAS SOUPS 78567 WITH SCORE 79020.929
AT ITER 5841 NEW BEST:: SOT 1373627 SOS 453928 HAS SOPS 449277 HAS SOUS 79759 HAS SOUPS 78565 WITH SCORE 79018.928
AT ITER 5845 NEW BEST:: SOT 1373624 SOS 453925 HAS SOPS 449274 HAS SOUS 79751 HAS SOUPS 78557 WITH SCORE 79010.925
AT ITER 5847 NEW BEST:: SOT 1373622 SOS 454221 HAS SOPS 449570 HAS SOUS 79740 HAS SOUPS 78546 WITH SCORE 79000.221
AT ITER 5881 NEW BEST:: SOT 1373558 SOS 454157 HAS SOPS 449506 HAS SOUS 79693 HAS SOUPS 78499 WITH SCORE 78953.157
AT ITER 5922 NEW BEST:: SOT 1373567 SOS 454166 HAS SOPS 449515 HAS SOUS 79692 HAS SOUPS 78498 WITH SCORE 78952.166
AT ITER 5925 NEW BEST:: SOT 1373556 SOS 454155 HAS SOPS 449504 HAS SOUS 79675 HAS SOUPS 78481 WITH SCORE 78935.155
AT ITER 5959 NEW BEST:: SOT 1373378 SOS 453977 HAS SOPS 449326 HAS SOUS 79370 HAS SOUPS 78176 WITH SCORE 78629.977
AT ITER 5968 NEW BEST:: SOT 1373358 SOS 453917 HAS SOPS 449266 HAS SOUS 79350 HAS SOUPS 78156 WITH SCORE 78609.917
AT ITER 5991 NEW BEST:: SOT 1373356 SOS 453915 HAS SOPS 449264 HAS SOUS 79346 HAS SOUPS 78152 WITH SCORE 78605.915
AT ITER 6043 NEW BEST:: SOT 1373354 SOS 453913 HAS SOPS 449262 HAS SOUS 79342 HAS SOUPS 78148 WITH SCORE 78601.913
AT ITER 6054 NEW BEST:: SOT 1373306 SOS 453865 HAS SOPS 449214 HAS SOUS 79329 HAS SOUPS 78135 WITH SCORE 78588.865
AT ITER 6078 NEW BEST:: SOT 1373303 SOS 453862 HAS SOPS 449208 HAS SOUS 79323 HAS SOUPS 78129 WITH SCORE 78582.862
AT ITER 6096 NEW BEST:: SOT 1373303 SOS 455314 HAS SOPS 450660 HAS SOUS 79307 HAS SOUPS 78113 WITH SCORE 78568.314
AT ITER 6161 NEW BEST:: SOT 1373303 SOS 455356 HAS SOPS 450702 HAS SOUS 79279 HAS SOUPS 78085 WITH SCORE 78540.356
AT ITER 6189 NEW BEST:: SOT 1373192 SOS 455245 HAS SOPS 450591 HAS SOUS 79099 HAS SOUPS 77905 WITH SCORE 78360.245
AT ITER 6206 NEW BEST:: SOT 1373216 SOS 455269 HAS SOPS 450615 HAS SOUS 79096 HAS SOUPS 77902 WITH SCORE 78357.269
AT ITER 6220 NEW BEST:: SOT 1373220 SOS 455272 HAS SOPS 450618 HAS SOUS 79084 HAS SOUPS 77890 WITH SCORE 78345.272
AT ITER 6249 NEW BEST:: SOT 1373215 SOS 455267 HAS SOPS 450613 HAS SOUS 79084 HAS SOUPS 77890 WITH SCORE 78345.267
AT ITER 6252 NEW BEST:: SOT 1373090 SOS 455142 HAS SOPS 450488 HAS SOUS 79045 HAS SOUPS 77851 WITH SCORE 78306.142
AT ITER 6271 NEW BEST:: SOT 1373044 SOS 455112 HAS SOPS 450458 HAS SOUS 79017 HAS SOUPS 77823 WITH SCORE 78278.112
AT ITER 6287 NEW BEST:: SOT 1372864 SOS 454900 HAS SOPS 450246 HAS SOUS 78943 HAS SOUPS 77749 WITH SCORE 78203.9
AT ITER 6292 NEW BEST:: SOT 1372864 SOS 455020 HAS SOPS 450366 HAS SOUS 78927 HAS SOUPS 77733 WITH SCORE 78188.02
AT ITER 6306 NEW BEST:: SOT 1372862 SOS 455018 HAS SOPS 450362 HAS SOUS 78919 HAS SOUPS 77725 WITH SCORE 78180.018
AT ITER 6317 NEW BEST:: SOT 1372849 SOS 455005 HAS SOPS 450334 HAS SOUS 78885 HAS SOUPS 77691 WITH SCORE 78146.005
AT ITER 6327 NEW BEST:: SOT 1372749 SOS 454973 HAS SOPS 450307 HAS SOUS 78792 HAS SOUPS 77598 WITH SCORE 78052.973
AT ITER 6332 NEW BEST:: SOT 1372859 SOS 455024 HAS SOPS 450358 HAS SOUS 78606 HAS SOUPS 77412 WITH SCORE 77867.024
AT ITER 6341 NEW BEST:: SOT 1372803 SOS 454944 HAS SOPS 450242 HAS SOUS 78544 HAS SOUPS 77350 WITH SCORE 77804.944
AT ITER 6345 NEW BEST:: SOT 1372793 SOS 454934 HAS SOPS 450232 HAS SOUS 78511 HAS SOUPS 77317 WITH SCORE 77771.934
AT ITER 6383 NEW BEST:: SOT 1372791 SOS 454915 HAS SOPS 450213 HAS SOUS 78507 HAS SOUPS 77313 WITH SCORE 77767.915
AT ITER 6408 NEW BEST:: SOT 1372804 SOS 454925 HAS SOPS 450223 HAS SOUS 78497 HAS SOUPS 77303 WITH SCORE 77757.925
AT ITER 6446 NEW BEST:: SOT 1372804 SOS 454925 HAS SOPS 450223 HAS SOUS 78494 HAS SOUPS 77300 WITH SCORE 77754.925
AT ITER 6520 NEW BEST:: SOT 1372523 SOS 454679 HAS SOPS 449977 HAS SOUS 78217 HAS SOUPS 77023 WITH SCORE 77477.679
AT ITER 6531 NEW BEST:: SOT 1372482 SOS 454638 HAS SOPS 449936 HAS SOUS 78163 HAS SOUPS 76969 WITH SCORE 77423.638
AT ITER 6562 NEW BEST:: SOT 1372509 SOS 454617 HAS SOPS 449915 HAS SOUS 78151 HAS SOUPS 76957 WITH SCORE 77411.617
AT ITER 6576 NEW BEST:: SOT 1372445 SOS 454525 HAS SOPS 449823 HAS SOUS 78080 HAS SOUPS 76886 WITH SCORE 77340.525
AT ITER 6579 NEW BEST:: SOT 1372436 SOS 454516 HAS SOPS 449814 HAS SOUS 78071 HAS SOUPS 76877 WITH SCORE 77331.516
AT ITER 6592 NEW BEST:: SOT 1372431 SOS 454527 HAS SOPS 449825 HAS SOUS 78034 HAS SOUPS 76840 WITH SCORE 77294.527
AT ITER 6617 NEW BEST:: SOT 1375972 SOS 458004 HAS SOPS 453366 HAS SOUS 76871 HAS SOUPS 75693 WITH SCORE 76151.004
AT ITER 6635 NEW BEST:: SOT 1375972 SOS 458029 HAS SOPS 453391 HAS SOUS 76869 HAS SOUPS 75691 WITH SCORE 76149.029
AT ITER 6639 NEW BEST:: SOT 1375967 SOS 458048 HAS SOPS 453410 HAS SOUS 76868 HAS SOUPS 75690 WITH SCORE 76148.048
AT ITER 6659 NEW BEST:: SOT 1375944 SOS 457975 HAS SOPS 453337 HAS SOUS 76831 HAS SOUPS 75653 WITH SCORE 76110.975
AT ITER 6673 NEW BEST:: SOT 1375946 SOS 457918 HAS SOPS 453280 HAS SOUS 76814 HAS SOUPS 75636 WITH SCORE 76093.918
AT ITER 6678 NEW BEST:: SOT 1375911 SOS 457958 HAS SOPS 453320 HAS SOUS 76780 HAS SOUPS 75602 WITH SCORE 76059.958
AT ITER 6709 NEW BEST:: SOT 1375914 SOS 457961 HAS SOPS 453323 HAS SOUS 76749 HAS SOUPS 75571 WITH SCORE 76028.961
AT ITER 6742 NEW BEST:: SOT 1375883 SOS 457930 HAS SOPS 453292 HAS SOUS 76732 HAS SOUPS 75554 WITH SCORE 76011.93
AT ITER 6758 NEW BEST:: SOT 1375842 SOS 457912 HAS SOPS 453274 HAS SOUS 76714 HAS SOUPS 75536 WITH SCORE 75993.912
AT ITER 6821 NEW BEST:: SOT 1375842 SOS 457917 HAS SOPS 453274 HAS SOUS 76704 HAS SOUPS 75526 WITH SCORE 75983.917
AT ITER 6853 NEW BEST:: SOT 1375840 SOS 457915 HAS SOPS 453272 HAS SOUS 76703 HAS SOUPS 75525 WITH SCORE 75982.915
AT ITER 6862 NEW BEST:: SOT 1375771 SOS 457846 HAS SOPS 453203 HAS SOUS 76648 HAS SOUPS 75470 WITH SCORE 75927.846
AT ITER 6863 NEW BEST:: SOT 1375696 SOS 457812 HAS SOPS 453174 HAS SOUS 76565 HAS SOUPS 75387 WITH SCORE 75844.812
AT ITER 6875 NEW BEST:: SOT 1375600 SOS 457716 HAS SOPS 453078 HAS SOUS 76424 HAS SOUPS 75246 WITH SCORE 75703.716
AT ITER 6880 NEW BEST:: SOT 1375466 SOS 457582 HAS SOPS 452944 HAS SOUS 76308 HAS SOUPS 75130 WITH SCORE 75587.582
AT ITER 6918 NEW BEST:: SOT 1375454 SOS 457558 HAS SOPS 452920 HAS SOUS 76284 HAS SOUPS 75106 WITH SCORE 75563.558
AT ITER 6921 NEW BEST:: SOT 1375433 SOS 457230 HAS SOPS 452592 HAS SOUS 76264 HAS SOUPS 75086 WITH SCORE 75543.23
AT ITER 6962 NEW BEST:: SOT 1375422 SOS 457219 HAS SOPS 452581 HAS SOUS 76264 HAS SOUPS 75086 WITH SCORE 75543.219
AT ITER 6989 NEW BEST:: SOT 1375392 SOS 457195 HAS SOPS 452557 HAS SOUS 76240 HAS SOUPS 75062 WITH SCORE 75519.195
AT ITER 6995 NEW BEST:: SOT 1375392 SOS 457195 HAS SOPS 452557 HAS SOUS 76230 HAS SOUPS 75052 WITH SCORE 75509.195
AT ITER 7065 NEW BEST:: SOT 1375348 SOS 457107 HAS SOPS 452469 HAS SOUS 76175 HAS SOUPS 74997 WITH SCORE 75454.107
AT ITER 7096 NEW BEST:: SOT 1375344 SOS 457103 HAS SOPS 452465 HAS SOUS 76153 HAS SOUPS 74975 WITH SCORE 75432.103
AT ITER 7148 NEW BEST:: SOT 1375343 SOS 457102 HAS SOPS 452464 HAS SOUS 76152 HAS SOUPS 74974 WITH SCORE 75431.102
AT ITER 7153 NEW BEST:: SOT 1375346 SOS 457105 HAS SOPS 452467 HAS SOUS 76146 HAS SOUPS 74968 WITH SCORE 75425.105
AT ITER 7182 NEW BEST:: SOT 1375339 SOS 457098 HAS SOPS 452460 HAS SOUS 76139 HAS SOUPS 74961 WITH SCORE 75418.098
AT ITER 7200 NEW BEST:: SOT 1375136 SOS 456819 HAS SOPS 452181 HAS SOUS 76015 HAS SOUPS 74837 WITH SCORE 75293.819
AT ITER 7222 NEW BEST:: SOT 1375130 SOS 456813 HAS SOPS 452175 HAS SOUS 76003 HAS SOUPS 74825 WITH SCORE 75281.813
AT ITER 7236 NEW BEST:: SOT 1375088 SOS 419616 HAS SOPS 414978 HAS SOUS 75948 HAS SOUPS 74770 WITH SCORE 75189.616
AT ITER 7268 NEW BEST:: SOT 1375085 SOS 419610 HAS SOPS 414975 HAS SOUS 75948 HAS SOUPS 74770 WITH SCORE 75189.61
AT ITER 7280 NEW BEST:: SOT 1375210 SOS 419683 HAS SOPS 415048 HAS SOUS 75905 HAS SOUPS 74727 WITH SCORE 75146.683
AT ITER 7298 NEW BEST:: SOT 1375172 SOS 419645 HAS SOPS 415010 HAS SOUS 75874 HAS SOUPS 74696 WITH SCORE 75115.645
AT ITER 7312 NEW BEST:: SOT 1375172 SOS 419645 HAS SOPS 415010 HAS SOUS 75856 HAS SOUPS 74678 WITH SCORE 75097.645
AT ITER 7330 NEW BEST:: SOT 1375057 SOS 419431 HAS SOPS 414796 HAS SOUS 75752 HAS SOUPS 74574 WITH SCORE 74993.431
AT ITER 7388 NEW BEST:: SOT 1375068 SOS 419442 HAS SOPS 414807 HAS SOUS 75747 HAS SOUPS 74569 WITH SCORE 74988.442
AT ITER 7448 NEW BEST:: SOT 1375056 SOS 419430 HAS SOPS 414790 HAS SOUS 75741 HAS SOUPS 74558 WITH SCORE 74977.43
AT ITER 7470 NEW BEST:: SOT 1374714 SOS 412254 HAS SOPS 407614 HAS SOUS 75142 HAS SOUPS 73959 WITH SCORE 74371.254
AT ITER 7478 NEW BEST:: SOT 1374713 SOS 412253 HAS SOPS 407613 HAS SOUS 75140 HAS SOUPS 73957 WITH SCORE 74369.253
AT ITER 7601 NEW BEST:: SOT 1374713 SOS 412253 HAS SOPS 407613 HAS SOUS 75138 HAS SOUPS 73955 WITH SCORE 74367.253
AT ITER 7645 NEW BEST:: SOT 1374709 SOS 412249 HAS SOPS 407609 HAS SOUS 75130 HAS SOUPS 73947 WITH SCORE 74359.249
AT ITER 7666 NEW BEST:: SOT 1374696 SOS 412220 HAS SOPS 407580 HAS SOUS 75104 HAS SOUPS 73921 WITH SCORE 74333.22
AT ITER 7674 NEW BEST:: SOT 1374688 SOS 412204 HAS SOPS 407564 HAS SOUS 75088 HAS SOUPS 73905 WITH SCORE 74317.204
AT ITER 7686 NEW BEST:: SOT 1374683 SOS 412190 HAS SOPS 407550 HAS SOUS 75070 HAS SOUPS 73887 WITH SCORE 74299.19
AT ITER 7709 NEW BEST:: SOT 1374682 SOS 412189 HAS SOPS 407549 HAS SOUS 75069 HAS SOUPS 73886 WITH SCORE 74298.189
AT ITER 7758 NEW BEST:: SOT 1374680 SOS 412110 HAS SOPS 407470 HAS SOUS 75046 HAS SOUPS 73863 WITH SCORE 74275.11
AT ITER 7773 NEW BEST:: SOT 1374564 SOS 411993 HAS SOPS 407353 HAS SOUS 75038 HAS SOUPS 73855 WITH SCORE 74266.993
AT ITER 7776 NEW BEST:: SOT 1374519 SOS 411948 HAS SOPS 407308 HAS SOUS 75022 HAS SOUPS 73839 WITH SCORE 74250.948
AT ITER 7784 NEW BEST:: SOT 1374492 SOS 411915 HAS SOPS 407275 HAS SOUS 74995 HAS SOUPS 73812 WITH SCORE 74223.915
AT ITER 7794 NEW BEST:: SOT 1374479 SOS 411899 HAS SOPS 407259 HAS SOUS 74989 HAS SOUPS 73806 WITH SCORE 74217.899
AT ITER 7811 NEW BEST:: SOT 1374430 SOS 411801 HAS SOPS 407161 HAS SOUS 74960 HAS SOUPS 73777 WITH SCORE 74188.801
AT ITER 7813 NEW BEST:: SOT 1374410 SOS 411734 HAS SOPS 407094 HAS SOUS 74862 HAS SOUPS 73679 WITH SCORE 74090.734
AT ITER 7817 NEW BEST:: SOT 1374392 SOS 411697 HAS SOPS 407057 HAS SOUS 74809 HAS SOUPS 73626 WITH SCORE 74037.697
AT ITER 7824 NEW BEST:: SOT 1374228 SOS 411614 HAS SOPS 406974 HAS SOUS 74720 HAS SOUPS 73537 WITH SCORE 73948.614
AT ITER 7836 NEW BEST:: SOT 1374104 SOS 411459 HAS SOPS 406819 HAS SOUS 74489 HAS SOUPS 73306 WITH SCORE 73717.459
AT ITER 7841 NEW BEST:: SOT 1374083 SOS 411438 HAS SOPS 406798 HAS SOUS 74447 HAS SOUPS 73264 WITH SCORE 73675.438
AT ITER 7842 NEW BEST:: SOT 1374080 SOS 411460 HAS SOPS 406820 HAS SOUS 74441 HAS SOUPS 73258 WITH SCORE 73669.46
AT ITER 7878 NEW BEST:: SOT 1374012 SOS 402475 HAS SOPS 397835 HAS SOUS 74426 HAS SOUPS 73243 WITH SCORE 73645.475
AT ITER 7901 NEW BEST:: SOT 1373970 SOS 402433 HAS SOPS 397793 HAS SOUS 74404 HAS SOUPS 73221 WITH SCORE 73623.433
AT ITER 7904 NEW BEST:: SOT 1373966 SOS 402437 HAS SOPS 397797 HAS SOUS 74396 HAS SOUPS 73213 WITH SCORE 73615.437
AT ITER 7915 NEW BEST:: SOT 1373966 SOS 402437 HAS SOPS 397797 HAS SOUS 74389 HAS SOUPS 73206 WITH SCORE 73608.437
AT ITER 7925 NEW BEST:: SOT 1373967 SOS 402438 HAS SOPS 397798 HAS SOUS 74380 HAS SOUPS 73197 WITH SCORE 73599.438
AT ITER 7939 NEW BEST:: SOT 1373964 SOS 402435 HAS SOPS 397795 HAS SOUS 74377 HAS SOUPS 73194 WITH SCORE 73596.435
AT ITER 7956 NEW BEST:: SOT 1373954 SOS 402425 HAS SOPS 397782 HAS SOUS 74352 HAS SOUPS 73169 WITH SCORE 73571.425
AT ITER 7968 NEW BEST:: SOT 1373953 SOS 402404 HAS SOPS 397761 HAS SOUS 74350 HAS SOUPS 73167 WITH SCORE 73569.404
AT ITER 8027 NEW BEST:: SOT 1373930 SOS 402381 HAS SOPS 397738 HAS SOUS 74303 HAS SOUPS 73120 WITH SCORE 73522.381
AT ITER 8036 NEW BEST:: SOT 1373918 SOS 402369 HAS SOPS 397726 HAS SOUS 74291 HAS SOUPS 73108 WITH SCORE 73510.369
AT ITER 8053 NEW BEST:: SOT 1373918 SOS 402364 HAS SOPS 397721 HAS SOUS 74291 HAS SOUPS 73108 WITH SCORE 73510.364
AT ITER 8057 NEW BEST:: SOT 1373918 SOS 402364 HAS SOPS 397721 HAS SOUS 74289 HAS SOUPS 73106 WITH SCORE 73508.364
AT ITER 8082 NEW BEST:: SOT 1373918 SOS 401967 HAS SOPS 397324 HAS SOUS 74276 HAS SOUPS 73093 WITH SCORE 73494.967
AT ITER 8094 NEW BEST:: SOT 1373898 SOS 401947 HAS SOPS 397304 HAS SOUS 74256 HAS SOUPS 73073 WITH SCORE 73474.947
AT ITER 8115 NEW BEST:: SOT 1373866 SOS 380663 HAS SOPS 376020 HAS SOUS 74196 HAS SOUPS 73013 WITH SCORE 73393.663
AT ITER 8123 NEW BEST:: SOT 1373866 SOS 380645 HAS SOPS 376002 HAS SOUS 74178 HAS SOUPS 72995 WITH SCORE 73375.645
AT ITER 8146 NEW BEST:: SOT 1373846 SOS 380605 HAS SOPS 375962 HAS SOUS 74138 HAS SOUPS 72955 WITH SCORE 73335.605
AT ITER 8152 NEW BEST:: SOT 1373816 SOS 380387 HAS SOPS 375744 HAS SOUS 74108 HAS SOUPS 72925 WITH SCORE 73305.387
AT ITER 8192 NEW BEST:: SOT 1373829 SOS 380399 HAS SOPS 375771 HAS SOUS 74105 HAS SOUPS 72922 WITH SCORE 73302.399
AT ITER 8197 NEW BEST:: SOT 1373818 SOS 380388 HAS SOPS 375752 HAS SOUS 74094 HAS SOUPS 72911 WITH SCORE 73291.388
AT ITER 8214 NEW BEST:: SOT 1373854 SOS 380424 HAS SOPS 375747 HAS SOUS 74056 HAS SOUPS 72873 WITH SCORE 73253.424
AT ITER 8220 NEW BEST:: SOT 1373819 SOS 380389 HAS SOPS 375712 HAS SOUS 73986 HAS SOUPS 72803 WITH SCORE 73183.389
AT ITER 8258 NEW BEST:: SOT 1373786 SOS 380359 HAS SOPS 375682 HAS SOUS 73953 HAS SOUPS 72770 WITH SCORE 73150.359
AT ITER 8310 NEW BEST:: SOT 1373781 SOS 380349 HAS SOPS 375672 HAS SOUS 73943 HAS SOUPS 72760 WITH SCORE 73140.349
AT ITER 8317 NEW BEST:: SOT 1373648 SOS 380031 HAS SOPS 375354 HAS SOUS 73927 HAS SOUPS 72744 WITH SCORE 73124.031
AT ITER 8364 NEW BEST:: SOT 1373636 SOS 380019 HAS SOPS 375342 HAS SOUS 73892 HAS SOUPS 72709 WITH SCORE 73089.019
AT ITER 8366 NEW BEST:: SOT 1373617 SOS 380000 HAS SOPS 375323 HAS SOUS 73812 HAS SOUPS 72629 WITH SCORE 73009.0
AT ITER 8375 NEW BEST:: SOT 1373615 SOS 379998 HAS SOPS 375309 HAS SOUS 73793 HAS SOUPS 72610 WITH SCORE 72989.998
AT ITER 8393 NEW BEST:: SOT 1373598 SOS 379988 HAS SOPS 375299 HAS SOUS 73785 HAS SOUPS 72602 WITH SCORE 72981.988
AT ITER 8425 NEW BEST:: SOT 1373586 SOS 379972 HAS SOPS 375283 HAS SOUS 73765 HAS SOUPS 72582 WITH SCORE 72961.972
AT ITER 8458 NEW BEST:: SOT 1373619 SOS 380005 HAS SOPS 375316 HAS SOUS 73722 HAS SOUPS 72539 WITH SCORE 72919.005
AT ITER 8515 NEW BEST:: SOT 1373619 SOS 379841 HAS SOPS 375152 HAS SOUS 73688 HAS SOUPS 72505 WITH SCORE 72884.841
AT ITER 8523 NEW BEST:: SOT 1373608 SOS 379813 HAS SOPS 375124 HAS SOUS 73677 HAS SOUPS 72494 WITH SCORE 72873.813
AT ITER 8529 NEW BEST:: SOT 1373576 SOS 379781 HAS SOPS 375092 HAS SOUS 73673 HAS SOUPS 72490 WITH SCORE 72869.781
AT ITER 8546 NEW BEST:: SOT 1373537 SOS 379754 HAS SOPS 375065 HAS SOUS 73631 HAS SOUPS 72448 WITH SCORE 72827.754
AT ITER 8571 NEW BEST:: SOT 1373553 SOS 379770 HAS SOPS 375081 HAS SOUS 73608 HAS SOUPS 72425 WITH SCORE 72804.77
AT ITER 8645 NEW BEST:: SOT 1373514 SOS 379713 HAS SOPS 375024 HAS SOUS 73592 HAS SOUPS 72409 WITH SCORE 72788.713
AT ITER 8659 NEW BEST:: SOT 1373481 SOS 379781 HAS SOPS 375104 HAS SOUS 73571 HAS SOUPS 72400 WITH SCORE 72779.781
AT ITER 8672 NEW BEST:: SOT 1373526 SOS 379842 HAS SOPS 375165 HAS SOUS 73551 HAS SOUPS 72380 WITH SCORE 72759.842
AT ITER 8825 NEW BEST:: SOT 1373526 SOS 379828 HAS SOPS 375151 HAS SOUS 73551 HAS SOUPS 72380 WITH SCORE 72759.828
AT ITER 8845 NEW BEST:: SOT 1373510 SOS 379825 HAS SOPS 375148 HAS SOUS 73548 HAS SOUPS 72377 WITH SCORE 72756.825
AT ITER 8851 NEW BEST:: SOT 1373510 SOS 379609 HAS SOPS 374932 HAS SOUS 73548 HAS SOUPS 72377 WITH SCORE 72756.609
AT ITER 8893 NEW BEST:: SOT 1373510 SOS 379595 HAS SOPS 374918 HAS SOUS 73469 HAS SOUPS 72298 WITH SCORE 72677.595
AT ITER 8907 NEW BEST:: SOT 1373510 SOS 379587 HAS SOPS 374910 HAS SOUS 73469 HAS SOUPS 72298 WITH SCORE 72677.587
AT ITER 8916 NEW BEST:: SOT 1373510 SOS 379419 HAS SOPS 374742 HAS SOUS 73469 HAS SOUPS 72298 WITH SCORE 72677.419
AT ITER 8942 NEW BEST:: SOT 1373495 SOS 379389 HAS SOPS 374712 HAS SOUS 73469 HAS SOUPS 72298 WITH SCORE 72677.389
AT ITER 8959 NEW BEST:: SOT 1373495 SOS 391533 HAS SOPS 386856 HAS SOUS 73432 HAS SOUPS 72261 WITH SCORE 72652.533
AT ITER 8976 NEW BEST:: SOT 1373494 SOS 391532 HAS SOPS 386854 HAS SOUS 73427 HAS SOUPS 72256 WITH SCORE 72647.532
AT ITER 8978 NEW BEST:: SOT 1373391 SOS 391373 HAS SOPS 386695 HAS SOUS 73310 HAS SOUPS 72139 WITH SCORE 72530.373
AT ITER 9000 NEW BEST:: SOT 1373334 SOS 391327 HAS SOPS 386649 HAS SOUS 73253 HAS SOUPS 72082 WITH SCORE 72473.327
AT ITER 9106 NEW BEST:: SOT 1373368 SOS 391344 HAS SOPS 386642 HAS SOUS 73260 HAS SOUPS 72065 WITH SCORE 72456.344
AT ITER 9115 NEW BEST:: SOT 1373368 SOS 391264 HAS SOPS 386562 HAS SOUS 73260 HAS SOUPS 72065 WITH SCORE 72456.264
AT ITER 9172 NEW BEST:: SOT 1373357 SOS 391222 HAS SOPS 386520 HAS SOUS 73218 HAS SOUPS 72023 WITH SCORE 72414.222
AT ITER 9245 NEW BEST:: SOT 1373341 SOS 391216 HAS SOPS 386514 HAS SOUS 73211 HAS SOUPS 72016 WITH SCORE 72407.216
AT ITER 9269 NEW BEST:: SOT 1373264 SOS 391165 HAS SOPS 386463 HAS SOUS 73175 HAS SOUPS 71980 WITH SCORE 72371.165
AT ITER 9302 NEW BEST:: SOT 1373258 SOS 391159 HAS SOPS 386457 HAS SOUS 73175 HAS SOUPS 71980 WITH SCORE 72371.159
AT ITER 9313 NEW BEST:: SOT 1373234 SOS 391111 HAS SOPS 386433 HAS SOUS 73175 HAS SOUPS 71980 WITH SCORE 72371.111
AT ITER 9334 NEW BEST:: SOT 1373244 SOS 391080 HAS SOPS 386402 HAS SOUS 73171 HAS SOUPS 71976 WITH SCORE 72367.08
AT ITER 9351 NEW BEST:: SOT 1373244 SOS 391000 HAS SOPS 386322 HAS SOUS 73171 HAS SOUPS 71976 WITH SCORE 72367.0
AT ITER 9374 NEW BEST:: SOT 1373239 SOS 390988 HAS SOPS 386310 HAS SOUS 73161 HAS SOUPS 71966 WITH SCORE 72356.988
AT ITER 9383 NEW BEST:: SOT 1373238 SOS 390854 HAS SOPS 386171 HAS SOUS 73158 HAS SOUPS 71963 WITH SCORE 72353.854
AT ITER 9399 NEW BEST:: SOT 1373272 SOS 390861 HAS SOPS 386178 HAS SOUS 73156 HAS SOUPS 71961 WITH SCORE 72351.861
AT ITER 9408 NEW BEST:: SOT 1373273 SOS 390861 HAS SOPS 386178 HAS SOUS 73152 HAS SOUPS 71957 WITH SCORE 72347.861
AT ITER 9410 NEW BEST:: SOT 1373258 SOS 390846 HAS SOPS 386163 HAS SOUS 73120 HAS SOUPS 71925 WITH SCORE 72315.846
AT ITER 9454 NEW BEST:: SOT 1373252 SOS 390840 HAS SOPS 386157 HAS SOUS 73078 HAS SOUPS 71883 WITH SCORE 72273.84
AT ITER 9471 NEW BEST:: SOT 1373220 SOS 390808 HAS SOPS 386097 HAS SOUS 73031 HAS SOUPS 71836 WITH SCORE 72226.808
AT ITER 9475 NEW BEST:: SOT 1373280 SOS 390862 HAS SOPS 386151 HAS SOUS 73024 HAS SOUPS 71829 WITH SCORE 72219.862
AT ITER 9532 NEW BEST:: SOT 1373254 SOS 390972 HAS SOPS 386129 HAS SOUS 73000 HAS SOUPS 71798 WITH SCORE 72188.972
AT ITER 9542 NEW BEST:: SOT 1373237 SOS 390955 HAS SOPS 386108 HAS SOUS 72978 HAS SOUPS 71776 WITH SCORE 72166.955
AT ITER 9547 NEW BEST:: SOT 1373246 SOS 390952 HAS SOPS 386105 HAS SOUS 72974 HAS SOUPS 71772 WITH SCORE 72162.952
AT ITER 9567 NEW BEST:: SOT 1373275 SOS 390949 HAS SOPS 386102 HAS SOUS 72957 HAS SOUPS 71755 WITH SCORE 72145.949
AT ITER 9578 NEW BEST:: SOT 1373241 SOS 390915 HAS SOPS 386068 HAS SOUS 72889 HAS SOUPS 71687 WITH SCORE 72077.915
AT ITER 9604 NEW BEST:: SOT 1373130 SOS 390804 HAS SOPS 385957 HAS SOUS 72769 HAS SOUPS 71567 WITH SCORE 71957.804
AT ITER 9751 NEW BEST:: SOT 1373122 SOS 390788 HAS SOPS 385949 HAS SOUS 72511 HAS SOUPS 71311 WITH SCORE 71701.788
AT ITER 9810 NEW BEST:: SOT 1373092 SOS 390773 HAS SOPS 385934 HAS SOUS 72498 HAS SOUPS 71298 WITH SCORE 71688.773
AT ITER 9888 NEW BEST:: SOT 1373089 SOS 390763 HAS SOPS 385924 HAS SOUS 72492 HAS SOUPS 71292 WITH SCORE 71682.763
AT ITER 9922 NEW BEST:: SOT 1373085 SOS 390756 HAS SOPS 385917 HAS SOUS 72484 HAS SOUPS 71284 WITH SCORE 71674.756
AT ITER 9983 NEW BEST:: SOT 1373117 SOS 390823 HAS SOPS 385672 HAS SOUS 72525 HAS SOUPS 71247 WITH SCORE 71637.823
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13392696 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16137420 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PolyORBLF-PT-S06J06T04"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is PolyORBLF-PT-S06J06T04, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r291-tall-167873943100616"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PolyORBLF-PT-S06J06T04.tgz
mv PolyORBLF-PT-S06J06T04 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;