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.r387-oct2-167903711600272.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 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 ShieldIIPt-PT-010B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r387-oct2-167903711600272
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 656K
-rw-r--r-- 1 mcc users 7.3K Feb 25 16:58 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 25 16:58 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 16:57 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 25 16:57 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 16:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Feb 25 16:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:58 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 71K Feb 25 16:58 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:56 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 167K 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 1679063896378

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=ShieldIIPt-PT-010B
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldIIPt (PT), instance 010B
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: 703 places, 653 transitions, 1626 arcs.
AT ITER 0 NEW BEST:: SOT 244046 SOS 42062 HAS SOPS 42062 HAS SOUS 38969 HAS SOUPS 38969 WITH SCORE 39011.062
AT ITER 5 NEW BEST:: SOT 244104 SOS 41910 HAS SOPS 41910 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38960.91
AT ITER 35 NEW BEST:: SOT 244104 SOS 41890 HAS SOPS 41890 HAS SOUS 38919 HAS SOUPS 38919 WITH SCORE 38960.89
AT ITER 40 NEW BEST:: SOT 244104 SOS 41864 HAS SOPS 41864 HAS SOUS 38891 HAS SOUPS 38891 WITH SCORE 38932.864
AT ITER 55 NEW BEST:: SOT 244104 SOS 41864 HAS SOPS 41864 HAS SOUS 38889 HAS SOUPS 38889 WITH SCORE 38930.864
AT ITER 88 NEW BEST:: SOT 244028 SOS 41736 HAS SOPS 41736 HAS SOUS 38796 HAS SOUPS 38796 WITH SCORE 38837.736
AT ITER 89 NEW BEST:: SOT 243978 SOS 41477 HAS SOPS 41477 HAS SOUS 38724 HAS SOUPS 38724 WITH SCORE 38765.477
AT ITER 131 NEW BEST:: SOT 243978 SOS 41463 HAS SOPS 41463 HAS SOUS 38710 HAS SOUPS 38710 WITH SCORE 38751.463
AT ITER 157 NEW BEST:: SOT 244010 SOS 41533 HAS SOPS 41533 HAS SOUS 38708 HAS SOUPS 38708 WITH SCORE 38749.533
AT ITER 165 NEW BEST:: SOT 243955 SOS 41484 HAS SOPS 41484 HAS SOUS 38592 HAS SOUPS 38592 WITH SCORE 38633.484
AT ITER 190 NEW BEST:: SOT 244020 SOS 41506 HAS SOPS 41506 HAS SOUS 38566 HAS SOUPS 38566 WITH SCORE 38607.506
AT ITER 207 NEW BEST:: SOT 243989 SOS 41435 HAS SOPS 41435 HAS SOUS 38495 HAS SOUPS 38495 WITH SCORE 38536.435
AT ITER 219 NEW BEST:: SOT 243989 SOS 41419 HAS SOPS 41419 HAS SOUS 38479 HAS SOUPS 38479 WITH SCORE 38520.419
AT ITER 231 NEW BEST:: SOT 243921 SOS 41311 HAS SOPS 41311 HAS SOUS 38403 HAS SOUPS 38403 WITH SCORE 38444.311
AT ITER 235 NEW BEST:: SOT 243865 SOS 41037 HAS SOPS 41037 HAS SOUS 38239 HAS SOUPS 38239 WITH SCORE 38280.037
AT ITER 244 NEW BEST:: SOT 243853 SOS 41013 HAS SOPS 41013 HAS SOUS 38215 HAS SOUPS 38215 WITH SCORE 38256.013
AT ITER 266 NEW BEST:: SOT 243815 SOS 40975 HAS SOPS 40975 HAS SOUS 38177 HAS SOUPS 38177 WITH SCORE 38217.975
AT ITER 278 NEW BEST:: SOT 243818 SOS 40949 HAS SOPS 40949 HAS SOUS 38151 HAS SOUPS 38151 WITH SCORE 38191.949
AT ITER 296 NEW BEST:: SOT 243797 SOS 40900 HAS SOPS 40900 HAS SOUS 38149 HAS SOUPS 38149 WITH SCORE 38189.9
AT ITER 297 NEW BEST:: SOT 243830 SOS 40966 HAS SOPS 40966 HAS SOUS 38143 HAS SOUPS 38143 WITH SCORE 38183.966
AT ITER 317 NEW BEST:: SOT 243812 SOS 40930 HAS SOPS 40930 HAS SOUS 38122 HAS SOUPS 38122 WITH SCORE 38162.93
AT ITER 322 NEW BEST:: SOT 243830 SOS 40895 HAS SOPS 40895 HAS SOUS 38087 HAS SOUPS 38087 WITH SCORE 38127.895
AT ITER 325 NEW BEST:: SOT 243739 SOS 40886 HAS SOPS 40886 HAS SOUS 38079 HAS SOUPS 38079 WITH SCORE 38119.886
AT ITER 330 NEW BEST:: SOT 243739 SOS 40886 HAS SOPS 40886 HAS SOUS 38077 HAS SOUPS 38077 WITH SCORE 38117.886
AT ITER 367 NEW BEST:: SOT 243739 SOS 40914 HAS SOPS 40914 HAS SOUS 38074 HAS SOUPS 38074 WITH SCORE 38114.914
AT ITER 410 NEW BEST:: SOT 243738 SOS 40883 HAS SOPS 40883 HAS SOUS 38060 HAS SOUPS 38060 WITH SCORE 38100.883
AT ITER 418 NEW BEST:: SOT 243719 SOS 40863 HAS SOPS 40863 HAS SOUS 38040 HAS SOUPS 38040 WITH SCORE 38080.863
AT ITER 431 NEW BEST:: SOT 243688 SOS 40801 HAS SOPS 40801 HAS SOUS 37978 HAS SOUPS 37978 WITH SCORE 38018.801
AT ITER 475 NEW BEST:: SOT 243687 SOS 40797 HAS SOPS 40797 HAS SOUS 37974 HAS SOUPS 37974 WITH SCORE 38014.797
AT ITER 510 NEW BEST:: SOT 243686 SOS 40796 HAS SOPS 40796 HAS SOUS 37973 HAS SOUPS 37973 WITH SCORE 38013.796
AT ITER 515 NEW BEST:: SOT 243686 SOS 40795 HAS SOPS 40795 HAS SOUS 37972 HAS SOUPS 37972 WITH SCORE 38012.795
AT ITER 536 NEW BEST:: SOT 243686 SOS 40753 HAS SOPS 40753 HAS SOUS 37951 HAS SOUPS 37951 WITH SCORE 37991.753
AT ITER 539 NEW BEST:: SOT 243675 SOS 40734 HAS SOPS 40734 HAS SOUS 37932 HAS SOUPS 37932 WITH SCORE 37972.734
AT ITER 549 NEW BEST:: SOT 243673 SOS 40727 HAS SOPS 40727 HAS SOUS 37925 HAS SOUPS 37925 WITH SCORE 37965.727
AT ITER 568 NEW BEST:: SOT 243656 SOS 40693 HAS SOPS 40693 HAS SOUS 37908 HAS SOUPS 37908 WITH SCORE 37948.693
AT ITER 573 NEW BEST:: SOT 243656 SOS 40686 HAS SOPS 40686 HAS SOUS 37879 HAS SOUPS 37879 WITH SCORE 37919.686
AT ITER 578 NEW BEST:: SOT 243665 SOS 40670 HAS SOPS 40670 HAS SOUS 37863 HAS SOUPS 37863 WITH SCORE 37903.67
AT ITER 625 NEW BEST:: SOT 243622 SOS 40640 HAS SOPS 40640 HAS SOUS 37833 HAS SOUPS 37833 WITH SCORE 37873.64
AT ITER 663 NEW BEST:: SOT 243622 SOS 40640 HAS SOPS 40640 HAS SOUS 37830 HAS SOUPS 37830 WITH SCORE 37870.64
AT ITER 670 NEW BEST:: SOT 243622 SOS 40599 HAS SOPS 40599 HAS SOUS 37789 HAS SOUPS 37789 WITH SCORE 37829.599
AT ITER 690 NEW BEST:: SOT 243621 SOS 40514 HAS SOPS 40514 HAS SOUS 37787 HAS SOUPS 37787 WITH SCORE 37827.514
AT ITER 730 NEW BEST:: SOT 243621 SOS 40507 HAS SOPS 40507 HAS SOUS 37780 HAS SOUPS 37780 WITH SCORE 37820.507
AT ITER 735 NEW BEST:: SOT 243568 SOS 40485 HAS SOPS 40485 HAS SOUS 37686 HAS SOUPS 37686 WITH SCORE 37726.485
AT ITER 756 NEW BEST:: SOT 243530 SOS 40447 HAS SOPS 40447 HAS SOUS 37648 HAS SOUPS 37648 WITH SCORE 37688.447
AT ITER 767 NEW BEST:: SOT 243530 SOS 40425 HAS SOPS 40425 HAS SOUS 37626 HAS SOUPS 37626 WITH SCORE 37666.425
AT ITER 771 NEW BEST:: SOT 243530 SOS 40451 HAS SOPS 40451 HAS SOUS 37619 HAS SOUPS 37619 WITH SCORE 37659.451
AT ITER 779 NEW BEST:: SOT 243488 SOS 40367 HAS SOPS 40367 HAS SOUS 37535 HAS SOUPS 37535 WITH SCORE 37575.367
AT ITER 806 NEW BEST:: SOT 243488 SOS 40334 HAS SOPS 40334 HAS SOUS 37535 HAS SOUPS 37535 WITH SCORE 37575.334
AT ITER 815 NEW BEST:: SOT 243414 SOS 40275 HAS SOPS 40275 HAS SOUS 37492 HAS SOUPS 37492 WITH SCORE 37532.275
AT ITER 817 NEW BEST:: SOT 243414 SOS 40267 HAS SOPS 40267 HAS SOUS 37484 HAS SOUPS 37484 WITH SCORE 37524.267
AT ITER 830 NEW BEST:: SOT 243375 SOS 40189 HAS SOPS 40189 HAS SOUS 37406 HAS SOUPS 37406 WITH SCORE 37446.189
AT ITER 839 NEW BEST:: SOT 243349 SOS 40128 HAS SOPS 40128 HAS SOUS 37345 HAS SOUPS 37345 WITH SCORE 37385.128
AT ITER 854 NEW BEST:: SOT 243265 SOS 40072 HAS SOPS 40072 HAS SOUS 37261 HAS SOUPS 37261 WITH SCORE 37301.072
AT ITER 875 NEW BEST:: SOT 243248 SOS 40055 HAS SOPS 40055 HAS SOUS 37244 HAS SOUPS 37244 WITH SCORE 37284.055
AT ITER 880 NEW BEST:: SOT 243248 SOS 40055 HAS SOPS 40055 HAS SOUS 37234 HAS SOUPS 37234 WITH SCORE 37274.055
AT ITER 882 NEW BEST:: SOT 243233 SOS 40025 HAS SOPS 40025 HAS SOUS 37219 HAS SOUPS 37219 WITH SCORE 37259.025
AT ITER 888 NEW BEST:: SOT 243232 SOS 39971 HAS SOPS 39971 HAS SOUS 37191 HAS SOUPS 37191 WITH SCORE 37230.971
AT ITER 892 NEW BEST:: SOT 243232 SOS 39944 HAS SOPS 39944 HAS SOUS 37164 HAS SOUPS 37164 WITH SCORE 37203.944
AT ITER 898 NEW BEST:: SOT 243229 SOS 39894 HAS SOPS 39894 HAS SOUS 37114 HAS SOUPS 37114 WITH SCORE 37153.894
AT ITER 901 NEW BEST:: SOT 243256 SOS 39946 HAS SOPS 39946 HAS SOUS 37110 HAS SOUPS 37110 WITH SCORE 37149.946
AT ITER 904 NEW BEST:: SOT 243240 SOS 39938 HAS SOPS 39938 HAS SOUS 37102 HAS SOUPS 37102 WITH SCORE 37141.938
AT ITER 975 NEW BEST:: SOT 243195 SOS 39803 HAS SOPS 39803 HAS SOUS 36967 HAS SOUPS 36967 WITH SCORE 37006.803
AT ITER 980 NEW BEST:: SOT 243253 SOS 39797 HAS SOPS 39797 HAS SOUS 36961 HAS SOUPS 36961 WITH SCORE 37000.797
AT ITER 984 NEW BEST:: SOT 243198 SOS 39990 HAS SOPS 39990 HAS SOUS 36895 HAS SOUPS 36895 WITH SCORE 36934.99
AT ITER 1027 NEW BEST:: SOT 243182 SOS 39958 HAS SOPS 39958 HAS SOUS 36874 HAS SOUPS 36874 WITH SCORE 36913.958
AT ITER 1065 NEW BEST:: SOT 243246 SOS 39918 HAS SOPS 39918 HAS SOUS 36862 HAS SOUPS 36862 WITH SCORE 36901.918
AT ITER 1106 NEW BEST:: SOT 243233 SOS 39879 HAS SOPS 39879 HAS SOUS 36862 HAS SOUPS 36862 WITH SCORE 36901.879
AT ITER 1109 NEW BEST:: SOT 243233 SOS 39857 HAS SOPS 39857 HAS SOUS 36862 HAS SOUPS 36862 WITH SCORE 36901.857
AT ITER 1120 NEW BEST:: SOT 243220 SOS 39840 HAS SOPS 39840 HAS SOUS 36831 HAS SOUPS 36831 WITH SCORE 36870.84
AT ITER 1127 NEW BEST:: SOT 243258 SOS 39878 HAS SOPS 39878 HAS SOUS 36828 HAS SOUPS 36828 WITH SCORE 36867.878
AT ITER 1130 NEW BEST:: SOT 243292 SOS 39870 HAS SOPS 39870 HAS SOUS 36827 HAS SOUPS 36827 WITH SCORE 36866.87
AT ITER 1131 NEW BEST:: SOT 243333 SOS 39843 HAS SOPS 39843 HAS SOUS 36779 HAS SOUPS 36779 WITH SCORE 36818.843
AT ITER 1137 NEW BEST:: SOT 243333 SOS 39816 HAS SOPS 39816 HAS SOUS 36752 HAS SOUPS 36752 WITH SCORE 36791.816
AT ITER 1149 NEW BEST:: SOT 243319 SOS 39802 HAS SOPS 39802 HAS SOUS 36738 HAS SOUPS 36738 WITH SCORE 36777.802
AT ITER 1154 NEW BEST:: SOT 243280 SOS 39780 HAS SOPS 39780 HAS SOUS 36710 HAS SOUPS 36710 WITH SCORE 36749.78
AT ITER 1156 NEW BEST:: SOT 243280 SOS 39713 HAS SOPS 39713 HAS SOUS 36710 HAS SOUPS 36710 WITH SCORE 36749.713
AT ITER 1168 NEW BEST:: SOT 243270 SOS 39703 HAS SOPS 39703 HAS SOUS 36700 HAS SOUPS 36700 WITH SCORE 36739.703
AT ITER 1169 NEW BEST:: SOT 243237 SOS 39713 HAS SOPS 39713 HAS SOUS 36667 HAS SOUPS 36667 WITH SCORE 36706.713
AT ITER 1224 NEW BEST:: SOT 243216 SOS 39692 HAS SOPS 39692 HAS SOUS 36646 HAS SOUPS 36646 WITH SCORE 36685.692
AT ITER 1281 NEW BEST:: SOT 243216 SOS 39687 HAS SOPS 39687 HAS SOUS 36641 HAS SOUPS 36641 WITH SCORE 36680.687
AT ITER 1285 NEW BEST:: SOT 243207 SOS 39669 HAS SOPS 39669 HAS SOUS 36623 HAS SOUPS 36623 WITH SCORE 36662.669
AT ITER 1302 NEW BEST:: SOT 243206 SOS 39667 HAS SOPS 39667 HAS SOUS 36621 HAS SOUPS 36621 WITH SCORE 36660.667
AT ITER 1322 NEW BEST:: SOT 243206 SOS 39665 HAS SOPS 39665 HAS SOUS 36619 HAS SOUPS 36619 WITH SCORE 36658.665
AT ITER 1337 NEW BEST:: SOT 243206 SOS 39651 HAS SOPS 39651 HAS SOUS 36619 HAS SOUPS 36619 WITH SCORE 36658.651
AT ITER 1403 NEW BEST:: SOT 243201 SOS 39616 HAS SOPS 39616 HAS SOUS 36584 HAS SOUPS 36584 WITH SCORE 36623.616
AT ITER 1436 NEW BEST:: SOT 243199 SOS 39612 HAS SOPS 39612 HAS SOUS 36580 HAS SOUPS 36580 WITH SCORE 36619.612
AT ITER 1450 NEW BEST:: SOT 243162 SOS 39507 HAS SOPS 39507 HAS SOUS 36542 HAS SOUPS 36542 WITH SCORE 36581.507
AT ITER 1471 NEW BEST:: SOT 243107 SOS 39414 HAS SOPS 39414 HAS SOUS 36486 HAS SOUPS 36486 WITH SCORE 36525.414
AT ITER 1504 NEW BEST:: SOT 242995 SOS 39332 HAS SOPS 39332 HAS SOUS 36374 HAS SOUPS 36374 WITH SCORE 36413.332
AT ITER 1536 NEW BEST:: SOT 242975 SOS 39356 HAS SOPS 39356 HAS SOUS 36354 HAS SOUPS 36354 WITH SCORE 36393.356
AT ITER 1566 NEW BEST:: SOT 242992 SOS 39390 HAS SOPS 39390 HAS SOUS 36335 HAS SOUPS 36335 WITH SCORE 36374.39
AT ITER 1586 NEW BEST:: SOT 242974 SOS 39307 HAS SOPS 39307 HAS SOUS 36252 HAS SOUPS 36252 WITH SCORE 36291.307
AT ITER 1589 NEW BEST:: SOT 242958 SOS 39275 HAS SOPS 39275 HAS SOUS 36220 HAS SOUPS 36220 WITH SCORE 36259.275
AT ITER 1607 NEW BEST:: SOT 242953 SOS 39260 HAS SOPS 39260 HAS SOUS 36205 HAS SOUPS 36205 WITH SCORE 36244.26
AT ITER 1610 NEW BEST:: SOT 242978 SOS 39259 HAS SOPS 39259 HAS SOUS 36204 HAS SOUPS 36204 WITH SCORE 36243.259
AT ITER 1624 NEW BEST:: SOT 242926 SOS 39233 HAS SOPS 39233 HAS SOUS 36178 HAS SOUPS 36178 WITH SCORE 36217.233
AT ITER 1626 NEW BEST:: SOT 242905 SOS 39175 HAS SOPS 39175 HAS SOUS 36116 HAS SOUPS 36116 WITH SCORE 36155.175
AT ITER 1634 NEW BEST:: SOT 242905 SOS 39167 HAS SOPS 39167 HAS SOUS 36108 HAS SOUPS 36108 WITH SCORE 36147.167
AT ITER 1700 NEW BEST:: SOT 242932 SOS 39005 HAS SOPS 39005 HAS SOUS 36045 HAS SOUPS 36045 WITH SCORE 36084.005
AT ITER 1701 NEW BEST:: SOT 242920 SOS 38981 HAS SOPS 38981 HAS SOUS 36033 HAS SOUPS 36033 WITH SCORE 36071.981
AT ITER 1715 NEW BEST:: SOT 242911 SOS 38963 HAS SOPS 38963 HAS SOUS 36024 HAS SOUPS 36024 WITH SCORE 36062.963
AT ITER 1722 NEW BEST:: SOT 242911 SOS 38936 HAS SOPS 38936 HAS SOUS 36024 HAS SOUPS 36024 WITH SCORE 36062.936
AT ITER 1725 NEW BEST:: SOT 242911 SOS 38932 HAS SOPS 38932 HAS SOUS 36020 HAS SOUPS 36020 WITH SCORE 36058.932
AT ITER 1726 NEW BEST:: SOT 242950 SOS 38928 HAS SOPS 38928 HAS SOUS 36016 HAS SOUPS 36016 WITH SCORE 36054.928
AT ITER 1728 NEW BEST:: SOT 242966 SOS 38923 HAS SOPS 38923 HAS SOUS 36011 HAS SOUPS 36011 WITH SCORE 36049.923
AT ITER 1740 NEW BEST:: SOT 242966 SOS 38895 HAS SOPS 38895 HAS SOUS 35997 HAS SOUPS 35997 WITH SCORE 36035.895
AT ITER 1761 NEW BEST:: SOT 242968 SOS 38883 HAS SOPS 38883 HAS SOUS 35985 HAS SOUPS 35985 WITH SCORE 36023.883
AT ITER 1800 NEW BEST:: SOT 243002 SOS 38629 HAS SOPS 38629 HAS SOUS 35909 HAS SOUPS 35909 WITH SCORE 35947.629
AT ITER 1801 NEW BEST:: SOT 242997 SOS 38619 HAS SOPS 38619 HAS SOUS 35904 HAS SOUPS 35904 WITH SCORE 35942.619
AT ITER 1803 NEW BEST:: SOT 242995 SOS 38617 HAS SOPS 38617 HAS SOUS 35902 HAS SOUPS 35902 WITH SCORE 35940.617
AT ITER 1813 NEW BEST:: SOT 242992 SOS 38561 HAS SOPS 38561 HAS SOUS 35826 HAS SOUPS 35826 WITH SCORE 35864.561
AT ITER 1869 NEW BEST:: SOT 242979 SOS 38522 HAS SOPS 38522 HAS SOUS 35800 HAS SOUPS 35800 WITH SCORE 35838.522
AT ITER 1894 NEW BEST:: SOT 242929 SOS 38515 HAS SOPS 38515 HAS SOUS 35793 HAS SOUPS 35793 WITH SCORE 35831.515
AT ITER 1895 NEW BEST:: SOT 242929 SOS 38509 HAS SOPS 38509 HAS SOUS 35787 HAS SOUPS 35787 WITH SCORE 35825.509
AT ITER 1929 NEW BEST:: SOT 242906 SOS 38419 HAS SOPS 38419 HAS SOUS 35762 HAS SOUPS 35762 WITH SCORE 35800.419
AT ITER 1942 NEW BEST:: SOT 242907 SOS 38421 HAS SOPS 38421 HAS SOUS 35748 HAS SOUPS 35748 WITH SCORE 35786.421
AT ITER 1953 NEW BEST:: SOT 242905 SOS 38350 HAS SOPS 38350 HAS SOUS 35744 HAS SOUPS 35744 WITH SCORE 35782.35
AT ITER 1956 NEW BEST:: SOT 242839 SOS 38293 HAS SOPS 38293 HAS SOUS 35687 HAS SOUPS 35687 WITH SCORE 35725.293
AT ITER 1969 NEW BEST:: SOT 242838 SOS 38279 HAS SOPS 38279 HAS SOUS 35685 HAS SOUPS 35685 WITH SCORE 35723.279
AT ITER 1975 NEW BEST:: SOT 242776 SOS 38356 HAS SOPS 38356 HAS SOUS 35681 HAS SOUPS 35681 WITH SCORE 35719.356
AT ITER 1985 NEW BEST:: SOT 242746 SOS 38273 HAS SOPS 38273 HAS SOUS 35632 HAS SOUPS 35632 WITH SCORE 35670.273
AT ITER 2032 NEW BEST:: SOT 242754 SOS 38247 HAS SOPS 38247 HAS SOUS 35606 HAS SOUPS 35606 WITH SCORE 35644.247
AT ITER 2044 NEW BEST:: SOT 242754 SOS 38228 HAS SOPS 38228 HAS SOUS 35587 HAS SOUPS 35587 WITH SCORE 35625.228
AT ITER 2085 NEW BEST:: SOT 242754 SOS 38223 HAS SOPS 38223 HAS SOUS 35582 HAS SOUPS 35582 WITH SCORE 35620.223
AT ITER 2100 NEW BEST:: SOT 242754 SOS 38218 HAS SOPS 38218 HAS SOUS 35577 HAS SOUPS 35577 WITH SCORE 35615.218
AT ITER 2109 NEW BEST:: SOT 242783 SOS 38211 HAS SOPS 38211 HAS SOUS 35570 HAS SOUPS 35570 WITH SCORE 35608.211
AT ITER 2116 NEW BEST:: SOT 242773 SOS 38160 HAS SOPS 38160 HAS SOUS 35519 HAS SOUPS 35519 WITH SCORE 35557.16
AT ITER 2118 NEW BEST:: SOT 242772 SOS 38157 HAS SOPS 38157 HAS SOUS 35516 HAS SOUPS 35516 WITH SCORE 35554.157
AT ITER 2130 NEW BEST:: SOT 242794 SOS 38111 HAS SOPS 38111 HAS SOUS 35514 HAS SOUPS 35514 WITH SCORE 35552.111
AT ITER 2150 NEW BEST:: SOT 242708 SOS 38014 HAS SOPS 38014 HAS SOUS 35506 HAS SOUPS 35506 WITH SCORE 35544.014
AT ITER 2181 NEW BEST:: SOT 242648 SOS 37994 HAS SOPS 37994 HAS SOUS 35466 HAS SOUPS 35466 WITH SCORE 35503.994
AT ITER 2209 NEW BEST:: SOT 242662 SOS 38005 HAS SOPS 38005 HAS SOUS 35452 HAS SOUPS 35452 WITH SCORE 35490.005
AT ITER 2237 NEW BEST:: SOT 242662 SOS 37998 HAS SOPS 37998 HAS SOUS 35445 HAS SOUPS 35445 WITH SCORE 35482.998
AT ITER 2255 NEW BEST:: SOT 242625 SOS 37881 HAS SOPS 37881 HAS SOUS 35328 HAS SOUPS 35328 WITH SCORE 35365.881
AT ITER 2269 NEW BEST:: SOT 242624 SOS 37880 HAS SOPS 37880 HAS SOUS 35327 HAS SOUPS 35327 WITH SCORE 35364.88
AT ITER 2270 NEW BEST:: SOT 242616 SOS 37872 HAS SOPS 37872 HAS SOUS 35319 HAS SOUPS 35319 WITH SCORE 35356.872
AT ITER 2278 NEW BEST:: SOT 242608 SOS 37856 HAS SOPS 37856 HAS SOUS 35302 HAS SOUPS 35302 WITH SCORE 35339.856
AT ITER 2279 NEW BEST:: SOT 242616 SOS 37796 HAS SOPS 37796 HAS SOUS 35256 HAS SOUPS 35256 WITH SCORE 35293.796
AT ITER 2299 NEW BEST:: SOT 242612 SOS 37788 HAS SOPS 37788 HAS SOUS 35248 HAS SOUPS 35248 WITH SCORE 35285.788
AT ITER 2331 NEW BEST:: SOT 242612 SOS 37782 HAS SOPS 37782 HAS SOUS 35248 HAS SOUPS 35248 WITH SCORE 35285.782
AT ITER 2357 NEW BEST:: SOT 242608 SOS 37774 HAS SOPS 37774 HAS SOUS 35240 HAS SOUPS 35240 WITH SCORE 35277.774
AT ITER 2368 NEW BEST:: SOT 242591 SOS 37747 HAS SOPS 37747 HAS SOUS 35206 HAS SOUPS 35206 WITH SCORE 35243.747
AT ITER 2381 NEW BEST:: SOT 242598 SOS 37719 HAS SOPS 37719 HAS SOUS 35178 HAS SOUPS 35178 WITH SCORE 35215.719
AT ITER 2389 NEW BEST:: SOT 242590 SOS 37623 HAS SOPS 37623 HAS SOUS 35109 HAS SOUPS 35109 WITH SCORE 35146.623
AT ITER 2411 NEW BEST:: SOT 242533 SOS 37662 HAS SOPS 37662 HAS SOUS 35093 HAS SOUPS 35093 WITH SCORE 35130.662
AT ITER 2415 NEW BEST:: SOT 242553 SOS 37654 HAS SOPS 37654 HAS SOUS 35089 HAS SOUPS 35089 WITH SCORE 35126.654
AT ITER 2430 NEW BEST:: SOT 242530 SOS 37616 HAS SOPS 37616 HAS SOUS 35051 HAS SOUPS 35051 WITH SCORE 35088.616
AT ITER 2452 NEW BEST:: SOT 242530 SOS 37634 HAS SOPS 37634 HAS SOUS 35045 HAS SOUPS 35045 WITH SCORE 35082.634
AT ITER 2479 NEW BEST:: SOT 242525 SOS 37621 HAS SOPS 37621 HAS SOUS 35031 HAS SOUPS 35031 WITH SCORE 35068.621
AT ITER 2495 NEW BEST:: SOT 242513 SOS 37603 HAS SOPS 37603 HAS SOUS 35001 HAS SOUPS 35001 WITH SCORE 35038.603
AT ITER 2564 NEW BEST:: SOT 242512 SOS 37601 HAS SOPS 37601 HAS SOUS 35000 HAS SOUPS 35000 WITH SCORE 35037.601
AT ITER 2573 NEW BEST:: SOT 242559 SOS 37577 HAS SOPS 37577 HAS SOUS 34998 HAS SOUPS 34998 WITH SCORE 35035.577
AT ITER 2582 NEW BEST:: SOT 242559 SOS 37577 HAS SOPS 37577 HAS SOUS 34971 HAS SOUPS 34971 WITH SCORE 35008.577
AT ITER 2635 NEW BEST:: SOT 242539 SOS 37486 HAS SOPS 37486 HAS SOUS 34900 HAS SOUPS 34900 WITH SCORE 34937.486
AT ITER 2641 NEW BEST:: SOT 242524 SOS 37454 HAS SOPS 37454 HAS SOUS 34832 HAS SOUPS 34832 WITH SCORE 34869.454
AT ITER 2719 NEW BEST:: SOT 242524 SOS 37395 HAS SOPS 37395 HAS SOUS 34775 HAS SOUPS 34775 WITH SCORE 34812.395
AT ITER 2720 NEW BEST:: SOT 242524 SOS 37395 HAS SOPS 37395 HAS SOUS 34761 HAS SOUPS 34761 WITH SCORE 34798.395
AT ITER 2730 NEW BEST:: SOT 242504 SOS 37335 HAS SOPS 37335 HAS SOUS 34721 HAS SOUPS 34721 WITH SCORE 34758.335
AT ITER 2731 NEW BEST:: SOT 242518 SOS 37235 HAS SOPS 37235 HAS SOUS 34706 HAS SOUPS 34706 WITH SCORE 34743.235
AT ITER 2739 NEW BEST:: SOT 242515 SOS 37229 HAS SOPS 37229 HAS SOUS 34700 HAS SOUPS 34700 WITH SCORE 34737.229
AT ITER 2776 NEW BEST:: SOT 242515 SOS 37203 HAS SOPS 37203 HAS SOUS 34700 HAS SOUPS 34700 WITH SCORE 34737.203
AT ITER 2785 NEW BEST:: SOT 242515 SOS 37196 HAS SOPS 37196 HAS SOUS 34693 HAS SOUPS 34693 WITH SCORE 34730.196
AT ITER 2792 NEW BEST:: SOT 242515 SOS 37196 HAS SOPS 37196 HAS SOUS 34690 HAS SOUPS 34690 WITH SCORE 34727.196
AT ITER 2799 NEW BEST:: SOT 242498 SOS 37194 HAS SOPS 37194 HAS SOUS 34688 HAS SOUPS 34688 WITH SCORE 34725.194
AT ITER 2802 NEW BEST:: SOT 242504 SOS 37164 HAS SOPS 37164 HAS SOUS 34658 HAS SOUPS 34658 WITH SCORE 34695.164
AT ITER 2810 NEW BEST:: SOT 242504 SOS 37156 HAS SOPS 37156 HAS SOUS 34650 HAS SOUPS 34650 WITH SCORE 34687.156
AT ITER 2840 NEW BEST:: SOT 242476 SOS 37100 HAS SOPS 37100 HAS SOUS 34561 HAS SOUPS 34561 WITH SCORE 34598.1
AT ITER 2878 NEW BEST:: SOT 242442 SOS 37083 HAS SOPS 37083 HAS SOUS 34544 HAS SOUPS 34544 WITH SCORE 34581.083
AT ITER 2881 NEW BEST:: SOT 242481 SOS 37054 HAS SOPS 37054 HAS SOUS 34515 HAS SOUPS 34515 WITH SCORE 34552.054
AT ITER 2883 NEW BEST:: SOT 242481 SOS 37050 HAS SOPS 37050 HAS SOUS 34511 HAS SOUPS 34511 WITH SCORE 34548.05
AT ITER 2893 NEW BEST:: SOT 242453 SOS 36979 HAS SOPS 36979 HAS SOUS 34440 HAS SOUPS 34440 WITH SCORE 34476.979
AT ITER 2901 NEW BEST:: SOT 242449 SOS 36967 HAS SOPS 36967 HAS SOUS 34436 HAS SOUPS 34436 WITH SCORE 34472.967
AT ITER 2927 NEW BEST:: SOT 242424 SOS 36899 HAS SOPS 36899 HAS SOUS 34418 HAS SOUPS 34418 WITH SCORE 34454.899
AT ITER 2950 NEW BEST:: SOT 242374 SOS 36707 HAS SOPS 36707 HAS SOUS 34276 HAS SOUPS 34276 WITH SCORE 34312.707
AT ITER 2958 NEW BEST:: SOT 242398 SOS 36683 HAS SOPS 36683 HAS SOUS 34252 HAS SOUPS 34252 WITH SCORE 34288.683
AT ITER 2980 NEW BEST:: SOT 242392 SOS 36665 HAS SOPS 36665 HAS SOUS 34240 HAS SOUPS 34240 WITH SCORE 34276.665
AT ITER 2989 NEW BEST:: SOT 242390 SOS 36661 HAS SOPS 36661 HAS SOUS 34238 HAS SOUPS 34238 WITH SCORE 34274.661
AT ITER 3008 NEW BEST:: SOT 242390 SOS 36636 HAS SOPS 36636 HAS SOUS 34213 HAS SOUPS 34213 WITH SCORE 34249.636
AT ITER 3011 NEW BEST:: SOT 242384 SOS 36620 HAS SOPS 36620 HAS SOUS 34197 HAS SOUPS 34197 WITH SCORE 34233.62
AT ITER 3013 NEW BEST:: SOT 242388 SOS 36610 HAS SOPS 36610 HAS SOUS 34193 HAS SOUPS 34193 WITH SCORE 34229.61
AT ITER 3022 NEW BEST:: SOT 242381 SOS 36603 HAS SOPS 36603 HAS SOUS 34186 HAS SOUPS 34186 WITH SCORE 34222.603
AT ITER 3032 NEW BEST:: SOT 242385 SOS 36611 HAS SOPS 36611 HAS SOUS 34176 HAS SOUPS 34176 WITH SCORE 34212.611
AT ITER 3042 NEW BEST:: SOT 242364 SOS 36562 HAS SOPS 36562 HAS SOUS 34127 HAS SOUPS 34127 WITH SCORE 34163.562
AT ITER 3059 NEW BEST:: SOT 242351 SOS 36523 HAS SOPS 36523 HAS SOUS 34098 HAS SOUPS 34098 WITH SCORE 34134.523
AT ITER 3085 NEW BEST:: SOT 242330 SOS 36518 HAS SOPS 36518 HAS SOUS 34077 HAS SOUPS 34077 WITH SCORE 34113.518
AT ITER 3108 NEW BEST:: SOT 242330 SOS 36509 HAS SOPS 36509 HAS SOUS 34068 HAS SOUPS 34068 WITH SCORE 34104.509
AT ITER 3113 NEW BEST:: SOT 242303 SOS 36512 HAS SOPS 36512 HAS SOUS 34044 HAS SOUPS 34044 WITH SCORE 34080.512
AT ITER 3125 NEW BEST:: SOT 242302 SOS 36510 HAS SOPS 36510 HAS SOUS 34042 HAS SOUPS 34042 WITH SCORE 34078.51
AT ITER 3132 NEW BEST:: SOT 242302 SOS 36502 HAS SOPS 36502 HAS SOUS 34034 HAS SOUPS 34034 WITH SCORE 34070.502
AT ITER 3185 NEW BEST:: SOT 242272 SOS 36472 HAS SOPS 36472 HAS SOUS 34004 HAS SOUPS 34004 WITH SCORE 34040.472
AT ITER 3267 NEW BEST:: SOT 242272 SOS 36444 HAS SOPS 36444 HAS SOUS 33976 HAS SOUPS 33976 WITH SCORE 34012.444
AT ITER 3270 NEW BEST:: SOT 242272 SOS 36420 HAS SOPS 36420 HAS SOUS 33952 HAS SOUPS 33952 WITH SCORE 33988.42
AT ITER 3284 NEW BEST:: SOT 242275 SOS 36397 HAS SOPS 36397 HAS SOUS 33936 HAS SOUPS 33936 WITH SCORE 33972.397
AT ITER 3306 NEW BEST:: SOT 242234 SOS 36411 HAS SOPS 36411 HAS SOUS 33895 HAS SOUPS 33895 WITH SCORE 33931.411
AT ITER 3307 NEW BEST:: SOT 242234 SOS 36410 HAS SOPS 36410 HAS SOUS 33894 HAS SOUPS 33894 WITH SCORE 33930.41
AT ITER 3315 NEW BEST:: SOT 242234 SOS 36384 HAS SOPS 36384 HAS SOUS 33881 HAS SOUPS 33881 WITH SCORE 33917.384
AT ITER 3317 NEW BEST:: SOT 242232 SOS 36376 HAS SOPS 36376 HAS SOUS 33875 HAS SOUPS 33875 WITH SCORE 33911.376
AT ITER 3322 NEW BEST:: SOT 242210 SOS 36287 HAS SOPS 36287 HAS SOUS 33786 HAS SOUPS 33786 WITH SCORE 33822.287
AT ITER 3325 NEW BEST:: SOT 242210 SOS 36286 HAS SOPS 36286 HAS SOUS 33785 HAS SOUPS 33785 WITH SCORE 33821.286
AT ITER 3346 NEW BEST:: SOT 242210 SOS 36260 HAS SOPS 36260 HAS SOUS 33759 HAS SOUPS 33759 WITH SCORE 33795.26
AT ITER 3361 NEW BEST:: SOT 242140 SOS 36207 HAS SOPS 36207 HAS SOUS 33690 HAS SOUPS 33690 WITH SCORE 33726.207
AT ITER 3388 NEW BEST:: SOT 242114 SOS 36087 HAS SOPS 36087 HAS SOUS 33629 HAS SOUPS 33629 WITH SCORE 33665.087
AT ITER 3394 NEW BEST:: SOT 242107 SOS 36026 HAS SOPS 36026 HAS SOUS 33615 HAS SOUPS 33615 WITH SCORE 33651.026
AT ITER 3436 NEW BEST:: SOT 242093 SOS 36012 HAS SOPS 36012 HAS SOUS 33601 HAS SOUPS 33601 WITH SCORE 33637.012
AT ITER 3470 NEW BEST:: SOT 242065 SOS 35998 HAS SOPS 35998 HAS SOUS 33587 HAS SOUPS 33587 WITH SCORE 33622.998
AT ITER 3485 NEW BEST:: SOT 242058 SOS 35976 HAS SOPS 35976 HAS SOUS 33565 HAS SOUPS 33565 WITH SCORE 33600.976
AT ITER 3512 NEW BEST:: SOT 242057 SOS 35975 HAS SOPS 35975 HAS SOUS 33564 HAS SOUPS 33564 WITH SCORE 33599.975
AT ITER 3531 NEW BEST:: SOT 242066 SOS 35877 HAS SOPS 35877 HAS SOUS 33493 HAS SOUPS 33493 WITH SCORE 33528.877
AT ITER 3557 NEW BEST:: SOT 242016 SOS 35777 HAS SOPS 35777 HAS SOUS 33393 HAS SOUPS 33393 WITH SCORE 33428.777
AT ITER 3560 NEW BEST:: SOT 242005 SOS 35748 HAS SOPS 35748 HAS SOUS 33364 HAS SOUPS 33364 WITH SCORE 33399.748
AT ITER 3590 NEW BEST:: SOT 242005 SOS 35686 HAS SOPS 35686 HAS SOUS 33333 HAS SOUPS 33333 WITH SCORE 33368.686
AT ITER 3618 NEW BEST:: SOT 242005 SOS 35673 HAS SOPS 35673 HAS SOUS 33333 HAS SOUPS 33333 WITH SCORE 33368.673
AT ITER 3667 NEW BEST:: SOT 242005 SOS 35673 HAS SOPS 35673 HAS SOUS 33322 HAS SOUPS 33322 WITH SCORE 33357.673
AT ITER 3677 NEW BEST:: SOT 241975 SOS 35643 HAS SOPS 35643 HAS SOUS 33292 HAS SOUPS 33292 WITH SCORE 33327.643
AT ITER 3685 NEW BEST:: SOT 241963 SOS 35627 HAS SOPS 35627 HAS SOUS 33276 HAS SOUPS 33276 WITH SCORE 33311.627
AT ITER 3687 NEW BEST:: SOT 241951 SOS 35650 HAS SOPS 35650 HAS SOUS 33241 HAS SOUPS 33241 WITH SCORE 33276.65
AT ITER 3694 NEW BEST:: SOT 241951 SOS 35632 HAS SOPS 35632 HAS SOUS 33220 HAS SOUPS 33220 WITH SCORE 33255.632
AT ITER 3696 NEW BEST:: SOT 241913 SOS 35510 HAS SOPS 35510 HAS SOUS 33098 HAS SOUPS 33098 WITH SCORE 33133.51
AT ITER 3709 NEW BEST:: SOT 241893 SOS 35470 HAS SOPS 35470 HAS SOUS 33046 HAS SOUPS 33046 WITH SCORE 33081.47
AT ITER 3740 NEW BEST:: SOT 241868 SOS 35386 HAS SOPS 35386 HAS SOUS 33035 HAS SOUPS 33035 WITH SCORE 33070.386
AT ITER 3773 NEW BEST:: SOT 241850 SOS 35327 HAS SOPS 35327 HAS SOUS 32976 HAS SOUPS 32976 WITH SCORE 33011.327
AT ITER 3775 NEW BEST:: SOT 241845 SOS 35322 HAS SOPS 35322 HAS SOUS 32971 HAS SOUPS 32971 WITH SCORE 33006.322
AT ITER 3817 NEW BEST:: SOT 241838 SOS 35308 HAS SOPS 35308 HAS SOUS 32957 HAS SOUPS 32957 WITH SCORE 32992.308
AT ITER 3847 NEW BEST:: SOT 241818 SOS 35217 HAS SOPS 35217 HAS SOUS 32862 HAS SOUPS 32862 WITH SCORE 32897.217
AT ITER 3865 NEW BEST:: SOT 241817 SOS 35168 HAS SOPS 35168 HAS SOUS 32861 HAS SOUPS 32861 WITH SCORE 32896.168
AT ITER 3879 NEW BEST:: SOT 241817 SOS 35162 HAS SOPS 35162 HAS SOUS 32846 HAS SOUPS 32846 WITH SCORE 32881.162
AT ITER 3909 NEW BEST:: SOT 241829 SOS 35179 HAS SOPS 35179 HAS SOUS 32829 HAS SOUPS 32829 WITH SCORE 32864.179
AT ITER 3916 NEW BEST:: SOT 241841 SOS 35171 HAS SOPS 35171 HAS SOUS 32801 HAS SOUPS 32801 WITH SCORE 32836.171
AT ITER 3925 NEW BEST:: SOT 241816 SOS 35236 HAS SOPS 35236 HAS SOUS 32796 HAS SOUPS 32796 WITH SCORE 32831.236
AT ITER 3935 NEW BEST:: SOT 241806 SOS 35226 HAS SOPS 35226 HAS SOUS 32786 HAS SOUPS 32786 WITH SCORE 32821.226
AT ITER 3962 NEW BEST:: SOT 241805 SOS 35220 HAS SOPS 35220 HAS SOUS 32784 HAS SOUPS 32784 WITH SCORE 32819.22
AT ITER 4002 NEW BEST:: SOT 241748 SOS 35199 HAS SOPS 35199 HAS SOUS 32763 HAS SOUPS 32763 WITH SCORE 32798.199
AT ITER 4011 NEW BEST:: SOT 241748 SOS 35141 HAS SOPS 35141 HAS SOUS 32705 HAS SOUPS 32705 WITH SCORE 32740.141
AT ITER 4078 NEW BEST:: SOT 241698 SOS 35126 HAS SOPS 35126 HAS SOUS 32680 HAS SOUPS 32680 WITH SCORE 32715.126
AT ITER 4091 NEW BEST:: SOT 241671 SOS 35110 HAS SOPS 35110 HAS SOUS 32664 HAS SOUPS 32664 WITH SCORE 32699.11
AT ITER 4207 NEW BEST:: SOT 241671 SOS 35082 HAS SOPS 35082 HAS SOUS 32636 HAS SOUPS 32636 WITH SCORE 32671.082
AT ITER 4253 NEW BEST:: SOT 241670 SOS 35026 HAS SOPS 35026 HAS SOUS 32634 HAS SOUPS 32634 WITH SCORE 32669.026
AT ITER 4270 NEW BEST:: SOT 241634 SOS 34982 HAS SOPS 34982 HAS SOUS 32591 HAS SOUPS 32591 WITH SCORE 32625.982
AT ITER 4288 NEW BEST:: SOT 241642 SOS 34989 HAS SOPS 34989 HAS SOUS 32590 HAS SOUPS 32590 WITH SCORE 32624.989
AT ITER 4298 NEW BEST:: SOT 241636 SOS 34971 HAS SOPS 34971 HAS SOUS 32578 HAS SOUPS 32578 WITH SCORE 32612.971
AT ITER 4300 NEW BEST:: SOT 241624 SOS 34947 HAS SOPS 34947 HAS SOUS 32550 HAS SOUPS 32550 WITH SCORE 32584.947
AT ITER 4314 NEW BEST:: SOT 241621 SOS 34930 HAS SOPS 34930 HAS SOUS 32533 HAS SOUPS 32533 WITH SCORE 32567.93
AT ITER 4351 NEW BEST:: SOT 241615 SOS 34918 HAS SOPS 34918 HAS SOUS 32521 HAS SOUPS 32521 WITH SCORE 32555.918
AT ITER 4356 NEW BEST:: SOT 241619 SOS 34915 HAS SOPS 34915 HAS SOUS 32518 HAS SOUPS 32518 WITH SCORE 32552.915
AT ITER 4408 NEW BEST:: SOT 241642 SOS 34892 HAS SOPS 34892 HAS SOUS 32495 HAS SOUPS 32495 WITH SCORE 32529.892
AT ITER 4442 NEW BEST:: SOT 241623 SOS 34865 HAS SOPS 34865 HAS SOUS 32468 HAS SOUPS 32468 WITH SCORE 32502.865
AT ITER 4485 NEW BEST:: SOT 241623 SOS 34865 HAS SOPS 34865 HAS SOUS 32452 HAS SOUPS 32452 WITH SCORE 32486.865
AT ITER 4489 NEW BEST:: SOT 241621 SOS 34865 HAS SOPS 34865 HAS SOUS 32450 HAS SOUPS 32450 WITH SCORE 32484.865
AT ITER 4500 NEW BEST:: SOT 241615 SOS 34859 HAS SOPS 34859 HAS SOUS 32444 HAS SOUPS 32444 WITH SCORE 32478.859
AT ITER 4539 NEW BEST:: SOT 241581 SOS 34754 HAS SOPS 34754 HAS SOUS 32376 HAS SOUPS 32376 WITH SCORE 32410.754
AT ITER 4541 NEW BEST:: SOT 241534 SOS 34707 HAS SOPS 34707 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32363.707
AT ITER 4627 NEW BEST:: SOT 241508 SOS 34681 HAS SOPS 34681 HAS SOUS 32329 HAS SOUPS 32329 WITH SCORE 32363.681
AT ITER 4712 NEW BEST:: SOT 241508 SOS 34691 HAS SOPS 34691 HAS SOUS 32319 HAS SOUPS 32319 WITH SCORE 32353.691
AT ITER 4764 NEW BEST:: SOT 241471 SOS 34694 HAS SOPS 34694 HAS SOUS 32294 HAS SOUPS 32294 WITH SCORE 32328.694
AT ITER 4881 NEW BEST:: SOT 241459 SOS 34686 HAS SOPS 34686 HAS SOUS 32286 HAS SOUPS 32286 WITH SCORE 32320.686
AT ITER 4918 NEW BEST:: SOT 241459 SOS 34686 HAS SOPS 34686 HAS SOUS 32267 HAS SOUPS 32267 WITH SCORE 32301.686
AT ITER 4958 NEW BEST:: SOT 241459 SOS 34672 HAS SOPS 34672 HAS SOUS 32253 HAS SOUPS 32253 WITH SCORE 32287.672
AT ITER 4974 NEW BEST:: SOT 241447 SOS 34669 HAS SOPS 34669 HAS SOUS 32250 HAS SOUPS 32250 WITH SCORE 32284.669
AT ITER 5013 NEW BEST:: SOT 241436 SOS 34636 HAS SOPS 34636 HAS SOUS 32239 HAS SOUPS 32239 WITH SCORE 32273.636
AT ITER 5035 NEW BEST:: SOT 241434 SOS 34597 HAS SOPS 34597 HAS SOUS 32195 HAS SOUPS 32195 WITH SCORE 32229.597
AT ITER 5069 NEW BEST:: SOT 241432 SOS 34593 HAS SOPS 34593 HAS SOUS 32193 HAS SOUPS 32193 WITH SCORE 32227.593
AT ITER 5072 NEW BEST:: SOT 241427 SOS 34583 HAS SOPS 34583 HAS SOUS 32183 HAS SOUPS 32183 WITH SCORE 32217.583
AT ITER 5079 NEW BEST:: SOT 241427 SOS 34569 HAS SOPS 34569 HAS SOUS 32169 HAS SOUPS 32169 WITH SCORE 32203.569
AT ITER 5090 NEW BEST:: SOT 241427 SOS 34545 HAS SOPS 34545 HAS SOUS 32157 HAS SOUPS 32157 WITH SCORE 32191.545
AT ITER 5099 NEW BEST:: SOT 241422 SOS 34540 HAS SOPS 34540 HAS SOUS 32152 HAS SOUPS 32152 WITH SCORE 32186.54
AT ITER 5122 NEW BEST:: SOT 241433 SOS 34537 HAS SOPS 34537 HAS SOUS 32149 HAS SOUPS 32149 WITH SCORE 32183.537
AT ITER 5127 NEW BEST:: SOT 241431 SOS 34535 HAS SOPS 34535 HAS SOUS 32145 HAS SOUPS 32145 WITH SCORE 32179.535
AT ITER 5145 NEW BEST:: SOT 241415 SOS 34519 HAS SOPS 34519 HAS SOUS 32129 HAS SOUPS 32129 WITH SCORE 32163.519
AT ITER 5174 NEW BEST:: SOT 241415 SOS 34515 HAS SOPS 34515 HAS SOUS 32115 HAS SOUPS 32115 WITH SCORE 32149.515
AT ITER 5186 NEW BEST:: SOT 241466 SOS 34510 HAS SOPS 34510 HAS SOUS 32108 HAS SOUPS 32108 WITH SCORE 32142.51
AT ITER 5189 NEW BEST:: SOT 241432 SOS 34453 HAS SOPS 34453 HAS SOUS 32074 HAS SOUPS 32074 WITH SCORE 32108.453
AT ITER 5190 NEW BEST:: SOT 241432 SOS 34437 HAS SOPS 34437 HAS SOUS 32032 HAS SOUPS 32032 WITH SCORE 32066.437
AT ITER 5210 NEW BEST:: SOT 241432 SOS 34437 HAS SOPS 34437 HAS SOUS 32017 HAS SOUPS 32017 WITH SCORE 32051.437
AT ITER 5216 NEW BEST:: SOT 241432 SOS 34420 HAS SOPS 34420 HAS SOUS 32017 HAS SOUPS 32017 WITH SCORE 32051.42
AT ITER 5221 NEW BEST:: SOT 241417 SOS 34405 HAS SOPS 34405 HAS SOUS 32002 HAS SOUPS 32002 WITH SCORE 32036.405
AT ITER 5317 NEW BEST:: SOT 241411 SOS 34378 HAS SOPS 34378 HAS SOUS 31975 HAS SOUPS 31975 WITH SCORE 32009.378
AT ITER 5357 NEW BEST:: SOT 241409 SOS 34372 HAS SOPS 34372 HAS SOUS 31971 HAS SOUPS 31971 WITH SCORE 32005.372
AT ITER 5361 NEW BEST:: SOT 241375 SOS 34304 HAS SOPS 34304 HAS SOUS 31941 HAS SOUPS 31941 WITH SCORE 31975.304
AT ITER 5390 NEW BEST:: SOT 241370 SOS 34294 HAS SOPS 34294 HAS SOUS 31931 HAS SOUPS 31931 WITH SCORE 31965.294
AT ITER 5415 NEW BEST:: SOT 241339 SOS 34260 HAS SOPS 34260 HAS SOUS 31897 HAS SOUPS 31897 WITH SCORE 31931.26
AT ITER 5435 NEW BEST:: SOT 241293 SOS 34228 HAS SOPS 34228 HAS SOUS 31871 HAS SOUPS 31871 WITH SCORE 31905.228
AT ITER 5468 NEW BEST:: SOT 241261 SOS 34163 HAS SOPS 34163 HAS SOUS 31834 HAS SOUPS 31834 WITH SCORE 31868.163
AT ITER 5474 NEW BEST:: SOT 241261 SOS 34160 HAS SOPS 34160 HAS SOUS 31831 HAS SOUPS 31831 WITH SCORE 31865.16
AT ITER 5478 NEW BEST:: SOT 241268 SOS 34156 HAS SOPS 34156 HAS SOUS 31820 HAS SOUPS 31820 WITH SCORE 31854.156
AT ITER 5513 NEW BEST:: SOT 241228 SOS 34145 HAS SOPS 34145 HAS SOUS 31809 HAS SOUPS 31809 WITH SCORE 31843.145
AT ITER 5520 NEW BEST:: SOT 241251 SOS 34122 HAS SOPS 34122 HAS SOUS 31786 HAS SOUPS 31786 WITH SCORE 31820.122
AT ITER 5584 NEW BEST:: SOT 241251 SOS 34122 HAS SOPS 34122 HAS SOUS 31775 HAS SOUPS 31775 WITH SCORE 31809.122
AT ITER 5588 NEW BEST:: SOT 241160 SOS 34038 HAS SOPS 34038 HAS SOUS 31661 HAS SOUPS 31661 WITH SCORE 31695.038
AT ITER 5603 NEW BEST:: SOT 241147 SOS 33979 HAS SOPS 33979 HAS SOUS 31635 HAS SOUPS 31635 WITH SCORE 31668.979
AT ITER 5636 NEW BEST:: SOT 241147 SOS 33938 HAS SOPS 33938 HAS SOUS 31594 HAS SOUPS 31594 WITH SCORE 31627.938
AT ITER 5690 NEW BEST:: SOT 241127 SOS 33918 HAS SOPS 33918 HAS SOUS 31574 HAS SOUPS 31574 WITH SCORE 31607.918
AT ITER 5721 NEW BEST:: SOT 241127 SOS 33907 HAS SOPS 33907 HAS SOUS 31563 HAS SOUPS 31563 WITH SCORE 31596.907
AT ITER 5783 NEW BEST:: SOT 241122 SOS 33897 HAS SOPS 33897 HAS SOUS 31553 HAS SOUPS 31553 WITH SCORE 31586.897
AT ITER 5819 NEW BEST:: SOT 241092 SOS 33845 HAS SOPS 33845 HAS SOUS 31501 HAS SOUPS 31501 WITH SCORE 31534.845
AT ITER 5843 NEW BEST:: SOT 241086 SOS 33833 HAS SOPS 33833 HAS SOUS 31489 HAS SOUPS 31489 WITH SCORE 31522.833
AT ITER 5924 NEW BEST:: SOT 241033 SOS 33829 HAS SOPS 33829 HAS SOUS 31476 HAS SOUPS 31476 WITH SCORE 31509.829
AT ITER 5936 NEW BEST:: SOT 241033 SOS 33807 HAS SOPS 33807 HAS SOUS 31454 HAS SOUPS 31454 WITH SCORE 31487.807
AT ITER 6134 NEW BEST:: SOT 241103 SOS 33791 HAS SOPS 33791 HAS SOUS 31449 HAS SOUPS 31449 WITH SCORE 31482.791
AT ITER 6150 NEW BEST:: SOT 241100 SOS 33787 HAS SOPS 33787 HAS SOUS 31445 HAS SOUPS 31445 WITH SCORE 31478.787
AT ITER 6153 NEW BEST:: SOT 241117 SOS 33782 HAS SOPS 33782 HAS SOUS 31440 HAS SOUPS 31440 WITH SCORE 31473.782
AT ITER 6169 NEW BEST:: SOT 241116 SOS 33776 HAS SOPS 33776 HAS SOUS 31434 HAS SOUPS 31434 WITH SCORE 31467.776
AT ITER 6183 NEW BEST:: SOT 241116 SOS 33774 HAS SOPS 33774 HAS SOUS 31432 HAS SOUPS 31432 WITH SCORE 31465.774
AT ITER 6227 NEW BEST:: SOT 241108 SOS 33828 HAS SOPS 33828 HAS SOUS 31369 HAS SOUPS 31369 WITH SCORE 31402.828
AT ITER 6240 NEW BEST:: SOT 241097 SOS 33809 HAS SOPS 33809 HAS SOUS 31348 HAS SOUPS 31348 WITH SCORE 31381.809
AT ITER 6259 NEW BEST:: SOT 241095 SOS 33781 HAS SOPS 33781 HAS SOUS 31338 HAS SOUPS 31338 WITH SCORE 31371.781
AT ITER 6293 NEW BEST:: SOT 241093 SOS 33779 HAS SOPS 33779 HAS SOUS 31336 HAS SOUPS 31336 WITH SCORE 31369.779
AT ITER 6330 NEW BEST:: SOT 241093 SOS 33770 HAS SOPS 33770 HAS SOUS 31327 HAS SOUPS 31327 WITH SCORE 31360.77
AT ITER 6333 NEW BEST:: SOT 241093 SOS 33770 HAS SOPS 33770 HAS SOUS 31318 HAS SOUPS 31318 WITH SCORE 31351.77
AT ITER 6337 NEW BEST:: SOT 241077 SOS 33738 HAS SOPS 33738 HAS SOUS 31286 HAS SOUPS 31286 WITH SCORE 31319.738
AT ITER 6350 NEW BEST:: SOT 241067 SOS 33728 HAS SOPS 33728 HAS SOUS 31276 HAS SOUPS 31276 WITH SCORE 31309.728
AT ITER 6384 NEW BEST:: SOT 241065 SOS 33736 HAS SOPS 33736 HAS SOUS 31239 HAS SOUPS 31239 WITH SCORE 31272.736
AT ITER 6454 NEW BEST:: SOT 241023 SOS 33715 HAS SOPS 33715 HAS SOUS 31218 HAS SOUPS 31218 WITH SCORE 31251.715
AT ITER 6460 NEW BEST:: SOT 241019 SOS 33711 HAS SOPS 33711 HAS SOUS 31214 HAS SOUPS 31214 WITH SCORE 31247.711
AT ITER 6499 NEW BEST:: SOT 241014 SOS 33699 HAS SOPS 33699 HAS SOUS 31202 HAS SOUPS 31202 WITH SCORE 31235.699
AT ITER 6531 NEW BEST:: SOT 241014 SOS 33695 HAS SOPS 33695 HAS SOUS 31198 HAS SOUPS 31198 WITH SCORE 31231.695
AT ITER 6543 NEW BEST:: SOT 241063 SOS 33745 HAS SOPS 33745 HAS SOUS 31197 HAS SOUPS 31197 WITH SCORE 31230.745
AT ITER 6624 NEW BEST:: SOT 241091 SOS 33739 HAS SOPS 33739 HAS SOUS 31163 HAS SOUPS 31163 WITH SCORE 31196.739
AT ITER 6637 NEW BEST:: SOT 241087 SOS 33731 HAS SOPS 33731 HAS SOUS 31155 HAS SOUPS 31155 WITH SCORE 31188.731
AT ITER 6765 NEW BEST:: SOT 241050 SOS 33657 HAS SOPS 33657 HAS SOUS 31118 HAS SOUPS 31118 WITH SCORE 31151.657
AT ITER 6786 NEW BEST:: SOT 241073 SOS 33646 HAS SOPS 33646 HAS SOUS 31107 HAS SOUPS 31107 WITH SCORE 31140.646
AT ITER 6809 NEW BEST:: SOT 241065 SOS 33603 HAS SOPS 33603 HAS SOUS 31064 HAS SOUPS 31064 WITH SCORE 31097.603
AT ITER 6839 NEW BEST:: SOT 241065 SOS 33590 HAS SOPS 33590 HAS SOUS 31064 HAS SOUPS 31064 WITH SCORE 31097.59
AT ITER 6843 NEW BEST:: SOT 241074 SOS 33490 HAS SOPS 33490 HAS SOUS 31047 HAS SOUPS 31047 WITH SCORE 31080.49
AT ITER 6846 NEW BEST:: SOT 241072 SOS 33486 HAS SOPS 33486 HAS SOUS 31043 HAS SOUPS 31043 WITH SCORE 31076.486
AT ITER 6874 NEW BEST:: SOT 241084 SOS 33498 HAS SOPS 33498 HAS SOUS 31026 HAS SOUPS 31026 WITH SCORE 31059.498
AT ITER 6892 NEW BEST:: SOT 241073 SOS 33476 HAS SOPS 33476 HAS SOUS 30990 HAS SOUPS 30990 WITH SCORE 31023.476
AT ITER 6916 NEW BEST:: SOT 241012 SOS 33523 HAS SOPS 33523 HAS SOUS 30935 HAS SOUPS 30935 WITH SCORE 30968.523
AT ITER 6966 NEW BEST:: SOT 241012 SOS 33516 HAS SOPS 33516 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30961.516
AT ITER 6972 NEW BEST:: SOT 241012 SOS 33512 HAS SOPS 33512 HAS SOUS 30928 HAS SOUPS 30928 WITH SCORE 30961.512
AT ITER 6989 NEW BEST:: SOT 241032 SOS 33552 HAS SOPS 33552 HAS SOUS 30915 HAS SOUPS 30915 WITH SCORE 30948.552
AT ITER 7021 NEW BEST:: SOT 241023 SOS 33534 HAS SOPS 33534 HAS SOUS 30897 HAS SOUPS 30897 WITH SCORE 30930.534
AT ITER 7023 NEW BEST:: SOT 240983 SOS 33454 HAS SOPS 33454 HAS SOUS 30817 HAS SOUPS 30817 WITH SCORE 30850.454
AT ITER 7025 NEW BEST:: SOT 240986 SOS 33409 HAS SOPS 33409 HAS SOUS 30802 HAS SOUPS 30802 WITH SCORE 30835.409
AT ITER 7031 NEW BEST:: SOT 240951 SOS 33339 HAS SOPS 33339 HAS SOUS 30728 HAS SOUPS 30728 WITH SCORE 30761.339
AT ITER 7034 NEW BEST:: SOT 240949 SOS 33326 HAS SOPS 33326 HAS SOUS 30715 HAS SOUPS 30715 WITH SCORE 30748.326
AT ITER 7038 NEW BEST:: SOT 240930 SOS 33271 HAS SOPS 33271 HAS SOUS 30679 HAS SOUPS 30679 WITH SCORE 30712.271
AT ITER 7114 NEW BEST:: SOT 240934 SOS 33223 HAS SOPS 33223 HAS SOUS 30667 HAS SOUPS 30667 WITH SCORE 30700.223
AT ITER 7116 NEW BEST:: SOT 240821 SOS 33186 HAS SOPS 33186 HAS SOUS 30656 HAS SOUPS 30656 WITH SCORE 30689.186
AT ITER 7141 NEW BEST:: SOT 240820 SOS 33184 HAS SOPS 33184 HAS SOUS 30655 HAS SOUPS 30655 WITH SCORE 30688.184
AT ITER 7187 NEW BEST:: SOT 240820 SOS 33175 HAS SOPS 33175 HAS SOUS 30646 HAS SOUPS 30646 WITH SCORE 30679.175
AT ITER 7284 NEW BEST:: SOT 240818 SOS 33177 HAS SOPS 33177 HAS SOUS 30645 HAS SOUPS 30645 WITH SCORE 30678.177
AT ITER 7325 NEW BEST:: SOT 240791 SOS 33069 HAS SOPS 33069 HAS SOUS 30564 HAS SOUPS 30564 WITH SCORE 30597.069
AT ITER 7366 NEW BEST:: SOT 240784 SOS 33053 HAS SOPS 33053 HAS SOUS 30542 HAS SOUPS 30542 WITH SCORE 30575.053
AT ITER 7394 NEW BEST:: SOT 240895 SOS 33164 HAS SOPS 33164 HAS SOUS 30528 HAS SOUPS 30528 WITH SCORE 30561.164
AT ITER 7398 NEW BEST:: SOT 240877 SOS 33141 HAS SOPS 33141 HAS SOUS 30514 HAS SOUPS 30514 WITH SCORE 30547.141
AT ITER 7425 NEW BEST:: SOT 240852 SOS 33091 HAS SOPS 33091 HAS SOUS 30486 HAS SOUPS 30486 WITH SCORE 30519.091
AT ITER 7500 NEW BEST:: SOT 240838 SOS 33044 HAS SOPS 33044 HAS SOUS 30439 HAS SOUPS 30439 WITH SCORE 30472.044
AT ITER 7512 NEW BEST:: SOT 240840 SOS 32972 HAS SOPS 32972 HAS SOUS 30367 HAS SOUPS 30367 WITH SCORE 30399.972
AT ITER 7551 NEW BEST:: SOT 240806 SOS 32856 HAS SOPS 32856 HAS SOUS 30347 HAS SOUPS 30347 WITH SCORE 30379.856
AT ITER 7563 NEW BEST:: SOT 240766 SOS 32868 HAS SOPS 32868 HAS SOUS 30327 HAS SOUPS 30327 WITH SCORE 30359.868
AT ITER 7570 NEW BEST:: SOT 240738 SOS 32812 HAS SOPS 32812 HAS SOUS 30271 HAS SOUPS 30271 WITH SCORE 30303.812
AT ITER 7602 NEW BEST:: SOT 240700 SOS 32731 HAS SOPS 32731 HAS SOUS 30235 HAS SOUPS 30235 WITH SCORE 30267.731
AT ITER 7605 NEW BEST:: SOT 240641 SOS 32741 HAS SOPS 32741 HAS SOUS 30201 HAS SOUPS 30201 WITH SCORE 30233.741
AT ITER 7631 NEW BEST:: SOT 240645 SOS 32699 HAS SOPS 32699 HAS SOUS 30181 HAS SOUPS 30181 WITH SCORE 30213.699
AT ITER 7632 NEW BEST:: SOT 240639 SOS 32690 HAS SOPS 32690 HAS SOUS 30172 HAS SOUPS 30172 WITH SCORE 30204.69
AT ITER 7647 NEW BEST:: SOT 240645 SOS 32616 HAS SOPS 32616 HAS SOUS 30098 HAS SOUPS 30098 WITH SCORE 30130.616
AT ITER 7659 NEW BEST:: SOT 240638 SOS 32600 HAS SOPS 32600 HAS SOUS 30082 HAS SOUPS 30082 WITH SCORE 30114.6
AT ITER 7724 NEW BEST:: SOT 240638 SOS 32583 HAS SOPS 32583 HAS SOUS 30065 HAS SOUPS 30065 WITH SCORE 30097.583
AT ITER 7747 NEW BEST:: SOT 240625 SOS 32557 HAS SOPS 32557 HAS SOUS 30031 HAS SOUPS 30031 WITH SCORE 30063.557
AT ITER 7800 NEW BEST:: SOT 240598 SOS 32514 HAS SOPS 32514 HAS SOUS 29988 HAS SOUPS 29988 WITH SCORE 30020.514
AT ITER 7823 NEW BEST:: SOT 240594 SOS 32426 HAS SOPS 32426 HAS SOUS 29936 HAS SOUPS 29936 WITH SCORE 29968.426
AT ITER 7861 NEW BEST:: SOT 240600 SOS 32419 HAS SOPS 32419 HAS SOUS 29929 HAS SOUPS 29929 WITH SCORE 29961.419
AT ITER 7930 NEW BEST:: SOT 240600 SOS 32414 HAS SOPS 32414 HAS SOUS 29924 HAS SOUPS 29924 WITH SCORE 29956.414
AT ITER 7981 NEW BEST:: SOT 240598 SOS 32412 HAS SOPS 32412 HAS SOUS 29924 HAS SOUPS 29924 WITH SCORE 29956.412
AT ITER 7991 NEW BEST:: SOT 240599 SOS 32414 HAS SOPS 32414 HAS SOUS 29914 HAS SOUPS 29914 WITH SCORE 29946.414
AT ITER 8026 NEW BEST:: SOT 240596 SOS 32408 HAS SOPS 32408 HAS SOUS 29896 HAS SOUPS 29896 WITH SCORE 29928.408
AT ITER 8080 NEW BEST:: SOT 240589 SOS 32379 HAS SOPS 32379 HAS SOUS 29866 HAS SOUPS 29866 WITH SCORE 29898.379
AT ITER 8089 NEW BEST:: SOT 240586 SOS 32368 HAS SOPS 32368 HAS SOUS 29859 HAS SOUPS 29859 WITH SCORE 29891.368
AT ITER 8093 NEW BEST:: SOT 240573 SOS 32353 HAS SOPS 32353 HAS SOUS 29844 HAS SOUPS 29844 WITH SCORE 29876.353
AT ITER 8111 NEW BEST:: SOT 240573 SOS 32349 HAS SOPS 32349 HAS SOUS 29836 HAS SOUPS 29836 WITH SCORE 29868.349
AT ITER 8201 NEW BEST:: SOT 240547 SOS 32284 HAS SOPS 32284 HAS SOUS 29797 HAS SOUPS 29797 WITH SCORE 29829.284
AT ITER 8266 NEW BEST:: SOT 240543 SOS 32280 HAS SOPS 32280 HAS SOUS 29793 HAS SOUPS 29793 WITH SCORE 29825.28
AT ITER 8267 NEW BEST:: SOT 240532 SOS 32262 HAS SOPS 32262 HAS SOUS 29786 HAS SOUPS 29786 WITH SCORE 29818.262
AT ITER 8398 NEW BEST:: SOT 240523 SOS 32245 HAS SOPS 32245 HAS SOUS 29769 HAS SOUPS 29769 WITH SCORE 29801.245
AT ITER 8407 NEW BEST:: SOT 240474 SOS 32186 HAS SOPS 32186 HAS SOUS 29687 HAS SOUPS 29687 WITH SCORE 29719.186
AT ITER 8430 NEW BEST:: SOT 240498 SOS 32178 HAS SOPS 32178 HAS SOUS 29687 HAS SOUPS 29687 WITH SCORE 29719.178
AT ITER 8478 NEW BEST:: SOT 240492 SOS 32175 HAS SOPS 32175 HAS SOUS 29684 HAS SOUPS 29684 WITH SCORE 29716.175
AT ITER 8531 NEW BEST:: SOT 240517 SOS 32183 HAS SOPS 32183 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29683.183
AT ITER 8544 NEW BEST:: SOT 240517 SOS 32180 HAS SOPS 32180 HAS SOUS 29651 HAS SOUPS 29651 WITH SCORE 29683.18
AT ITER 8548 NEW BEST:: SOT 240511 SOS 32178 HAS SOPS 32178 HAS SOUS 29649 HAS SOUPS 29649 WITH SCORE 29681.178
AT ITER 8575 NEW BEST:: SOT 240511 SOS 32132 HAS SOPS 32132 HAS SOUS 29602 HAS SOUPS 29602 WITH SCORE 29634.132
AT ITER 8580 NEW BEST:: SOT 240472 SOS 32023 HAS SOPS 32023 HAS SOUS 29525 HAS SOUPS 29525 WITH SCORE 29557.023
AT ITER 8589 NEW BEST:: SOT 240472 SOS 32007 HAS SOPS 32007 HAS SOUS 29517 HAS SOUPS 29517 WITH SCORE 29549.007
AT ITER 8610 NEW BEST:: SOT 240472 SOS 31961 HAS SOPS 31961 HAS SOUS 29494 HAS SOUPS 29494 WITH SCORE 29525.961
AT ITER 8612 NEW BEST:: SOT 240458 SOS 31937 HAS SOPS 31937 HAS SOUS 29478 HAS SOUPS 29478 WITH SCORE 29509.937
AT ITER 8661 NEW BEST:: SOT 240462 SOS 31908 HAS SOPS 31908 HAS SOUS 29449 HAS SOUPS 29449 WITH SCORE 29480.908
AT ITER 8694 NEW BEST:: SOT 240450 SOS 31884 HAS SOPS 31884 HAS SOUS 29448 HAS SOUPS 29448 WITH SCORE 29479.884
AT ITER 8746 NEW BEST:: SOT 240437 SOS 31858 HAS SOPS 31858 HAS SOUS 29426 HAS SOUPS 29426 WITH SCORE 29457.858
AT ITER 8757 NEW BEST:: SOT 240437 SOS 31839 HAS SOPS 31839 HAS SOUS 29388 HAS SOUPS 29388 WITH SCORE 29419.839
AT ITER 8767 NEW BEST:: SOT 240437 SOS 31805 HAS SOPS 31805 HAS SOUS 29387 HAS SOUPS 29387 WITH SCORE 29418.805
AT ITER 8794 NEW BEST:: SOT 240439 SOS 31742 HAS SOPS 31742 HAS SOUS 29292 HAS SOUPS 29292 WITH SCORE 29323.742
AT ITER 8809 NEW BEST:: SOT 240439 SOS 31731 HAS SOPS 31731 HAS SOUS 29281 HAS SOUPS 29281 WITH SCORE 29312.731
AT ITER 8862 NEW BEST:: SOT 240418 SOS 31688 HAS SOPS 31688 HAS SOUS 29240 HAS SOUPS 29240 WITH SCORE 29271.688
AT ITER 8886 NEW BEST:: SOT 240404 SOS 31616 HAS SOPS 31616 HAS SOUS 29168 HAS SOUPS 29168 WITH SCORE 29199.616
AT ITER 8914 NEW BEST:: SOT 240404 SOS 31600 HAS SOPS 31600 HAS SOUS 29139 HAS SOUPS 29139 WITH SCORE 29170.6
AT ITER 8919 NEW BEST:: SOT 240418 SOS 31614 HAS SOPS 31614 HAS SOUS 29136 HAS SOUPS 29136 WITH SCORE 29167.614
AT ITER 8920 NEW BEST:: SOT 240411 SOS 31636 HAS SOPS 31636 HAS SOUS 29134 HAS SOUPS 29134 WITH SCORE 29165.636
AT ITER 8970 NEW BEST:: SOT 240399 SOS 31627 HAS SOPS 31627 HAS SOUS 29125 HAS SOUPS 29125 WITH SCORE 29156.627
AT ITER 8994 NEW BEST:: SOT 240399 SOS 31591 HAS SOPS 31591 HAS SOUS 29107 HAS SOUPS 29107 WITH SCORE 29138.591
AT ITER 9006 NEW BEST:: SOT 240399 SOS 31581 HAS SOPS 31581 HAS SOUS 29097 HAS SOUPS 29097 WITH SCORE 29128.581
AT ITER 9012 NEW BEST:: SOT 240392 SOS 31544 HAS SOPS 31544 HAS SOUS 29060 HAS SOUPS 29060 WITH SCORE 29091.544
AT ITER 9086 NEW BEST:: SOT 240375 SOS 31511 HAS SOPS 31511 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29058.511
AT ITER 9122 NEW BEST:: SOT 240375 SOS 31509 HAS SOPS 31509 HAS SOUS 29027 HAS SOUPS 29027 WITH SCORE 29058.509
AT ITER 9147 NEW BEST:: SOT 240368 SOS 31495 HAS SOPS 31495 HAS SOUS 29013 HAS SOUPS 29013 WITH SCORE 29044.495
AT ITER 9149 NEW BEST:: SOT 240329 SOS 31417 HAS SOPS 31417 HAS SOUS 28974 HAS SOUPS 28974 WITH SCORE 29005.417
AT ITER 9232 NEW BEST:: SOT 240318 SOS 31374 HAS SOPS 31374 HAS SOUS 28931 HAS SOUPS 28931 WITH SCORE 28962.374
AT ITER 9245 NEW BEST:: SOT 240297 SOS 31353 HAS SOPS 31353 HAS SOUS 28910 HAS SOUPS 28910 WITH SCORE 28941.353
AT ITER 9283 NEW BEST:: SOT 240306 SOS 31335 HAS SOPS 31335 HAS SOUS 28910 HAS SOUPS 28910 WITH SCORE 28941.335
AT ITER 9295 NEW BEST:: SOT 240303 SOS 31326 HAS SOPS 31326 HAS SOUS 28901 HAS SOUPS 28901 WITH SCORE 28932.326
AT ITER 9358 NEW BEST:: SOT 240301 SOS 31283 HAS SOPS 31283 HAS SOUS 28891 HAS SOUPS 28891 WITH SCORE 28922.283
AT ITER 9503 NEW BEST:: SOT 240301 SOS 31242 HAS SOPS 31242 HAS SOUS 28891 HAS SOUPS 28891 WITH SCORE 28922.242
AT ITER 9571 NEW BEST:: SOT 240278 SOS 31240 HAS SOPS 31240 HAS SOUS 28889 HAS SOUPS 28889 WITH SCORE 28920.24
AT ITER 9577 NEW BEST:: SOT 240272 SOS 31220 HAS SOPS 31220 HAS SOUS 28869 HAS SOUPS 28869 WITH SCORE 28900.22
AT ITER 9603 NEW BEST:: SOT 240301 SOS 31174 HAS SOPS 31174 HAS SOUS 28824 HAS SOUPS 28824 WITH SCORE 28855.174
AT ITER 9614 NEW BEST:: SOT 240291 SOS 31154 HAS SOPS 31154 HAS SOUS 28805 HAS SOUPS 28805 WITH SCORE 28836.154
AT ITER 9615 NEW BEST:: SOT 240262 SOS 31096 HAS SOPS 31096 HAS SOUS 28776 HAS SOUPS 28776 WITH SCORE 28807.096
AT ITER 9718 NEW BEST:: SOT 240259 SOS 31081 HAS SOPS 31081 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28789.081
AT ITER 9728 NEW BEST:: SOT 240259 SOS 31073 HAS SOPS 31073 HAS SOUS 28758 HAS SOUPS 28758 WITH SCORE 28789.073
AT ITER 9750 NEW BEST:: SOT 240259 SOS 31066 HAS SOPS 31066 HAS SOUS 28751 HAS SOUPS 28751 WITH SCORE 28782.066
AT ITER 9757 NEW BEST:: SOT 240253 SOS 31060 HAS SOPS 31060 HAS SOUS 28745 HAS SOUPS 28745 WITH SCORE 28776.06
AT ITER 9770 NEW BEST:: SOT 240253 SOS 31053 HAS SOPS 31053 HAS SOUS 28745 HAS SOUPS 28745 WITH SCORE 28776.053
AT ITER 9835 NEW BEST:: SOT 240233 SOS 30983 HAS SOPS 30983 HAS SOUS 28703 HAS SOUPS 28703 WITH SCORE 28733.983
AT ITER 9838 NEW BEST:: SOT 240296 SOS 30973 HAS SOPS 30973 HAS SOUS 28690 HAS SOUPS 28690 WITH SCORE 28720.973
AT ITER 9842 NEW BEST:: SOT 240213 SOS 31040 HAS SOPS 31040 HAS SOUS 28678 HAS SOUPS 28678 WITH SCORE 28709.04
AT ITER 9908 NEW BEST:: SOT 240197 SOS 31006 HAS SOPS 31006 HAS SOUS 28644 HAS SOUPS 28644 WITH SCORE 28675.006
AT ITER 9910 NEW BEST:: SOT 240148 SOS 30908 HAS SOPS 30908 HAS SOUS 28575 HAS SOUPS 28575 WITH SCORE 28605.908
AT ITER 9946 NEW BEST:: SOT 240129 SOS 30900 HAS SOPS 30900 HAS SOUS 28569 HAS SOUPS 28569 WITH SCORE 28599.9
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 8164784 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16149892 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="ShieldIIPt-PT-010B"
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 ShieldIIPt-PT-010B, 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 r387-oct2-167903711600272"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ShieldIIPt-PT-010B.tgz
mv ShieldIIPt-PT-010B 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 ;