Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542000328.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
........................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DES-PT-60a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542000328
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 3.7K Mar 30 01:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Mar 30 01:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 28 16:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 15K Mar 28 16:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K Mar 27 08:51 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 27 08:51 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Mar 26 08:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Mar 26 08:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.5K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.5K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 110K Mar 24 05:37 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 1589110430278

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DES (PT), instance 60a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 354 places, 311 transitions, 1496 arcs.
AT ITER 0 NEW BEST:: SOT 95725 SOS 91385 HAS SOPS 91385 HAS SOUS 46913 HAS SOUPS 46913 WITH SCORE 47004.385
AT ITER 8 NEW BEST:: SOT 95719 SOS 91369 HAS SOPS 91369 HAS SOUS 46897 HAS SOUPS 46897 WITH SCORE 46988.369
AT ITER 13 NEW BEST:: SOT 95567 SOS 91312 HAS SOPS 91312 HAS SOUS 46839 HAS SOUPS 46839 WITH SCORE 46930.312
AT ITER 19 NEW BEST:: SOT 92028 SOS 87773 HAS SOPS 87773 HAS SOUS 43299 HAS SOUPS 43299 WITH SCORE 43386.773
AT ITER 39 NEW BEST:: SOT 91861 SOS 87695 HAS SOPS 87695 HAS SOUS 43220 HAS SOUPS 43220 WITH SCORE 43307.695
AT ITER 42 NEW BEST:: SOT 91444 SOS 87278 HAS SOPS 87278 HAS SOUS 42800 HAS SOUPS 42800 WITH SCORE 42887.278
AT ITER 45 NEW BEST:: SOT 91290 SOS 87124 HAS SOPS 87124 HAS SOUS 42645 HAS SOUPS 42645 WITH SCORE 42732.124
AT ITER 51 NEW BEST:: SOT 91284 SOS 87118 HAS SOPS 87118 HAS SOUS 42639 HAS SOUPS 42639 WITH SCORE 42726.118
AT ITER 59 NEW BEST:: SOT 91197 SOS 86815 HAS SOPS 86815 HAS SOUS 42408 HAS SOUPS 42408 WITH SCORE 42494.815
AT ITER 70 NEW BEST:: SOT 91197 SOS 86884 HAS SOPS 86884 HAS SOUS 42407 HAS SOUPS 42407 WITH SCORE 42493.884
AT ITER 77 NEW BEST:: SOT 91174 SOS 86861 HAS SOPS 86861 HAS SOUS 42384 HAS SOUPS 42384 WITH SCORE 42470.861
AT ITER 80 NEW BEST:: SOT 91169 SOS 86856 HAS SOPS 86856 HAS SOUS 42380 HAS SOUPS 42380 WITH SCORE 42466.856
AT ITER 84 NEW BEST:: SOT 87630 SOS 83317 HAS SOPS 83317 HAS SOUS 38840 HAS SOUPS 38840 WITH SCORE 38923.317
AT ITER 87 NEW BEST:: SOT 86225 SOS 81912 HAS SOPS 81912 HAS SOUS 38566 HAS SOUPS 38566 WITH SCORE 38647.912
AT ITER 94 NEW BEST:: SOT 86031 SOS 81708 HAS SOPS 81708 HAS SOUS 38362 HAS SOUPS 38362 WITH SCORE 38443.708
AT ITER 97 NEW BEST:: SOT 86014 SOS 81507 HAS SOPS 81507 HAS SOUS 38161 HAS SOUPS 38161 WITH SCORE 38242.507
AT ITER 102 NEW BEST:: SOT 86012 SOS 81505 HAS SOPS 81505 HAS SOUS 38159 HAS SOUPS 38159 WITH SCORE 38240.505
AT ITER 135 NEW BEST:: SOT 86012 SOS 81505 HAS SOPS 81505 HAS SOUS 38157 HAS SOUPS 38157 WITH SCORE 38238.505
AT ITER 139 NEW BEST:: SOT 85864 SOS 81481 HAS SOPS 81481 HAS SOUS 38132 HAS SOUPS 38132 WITH SCORE 38213.481
AT ITER 158 NEW BEST:: SOT 85701 SOS 81318 HAS SOPS 81318 HAS SOUS 37757 HAS SOUPS 37757 WITH SCORE 37838.318
AT ITER 160 NEW BEST:: SOT 85281 SOS 80898 HAS SOPS 80898 HAS SOUS 37330 HAS SOUPS 37330 WITH SCORE 37410.898
AT ITER 162 NEW BEST:: SOT 84927 SOS 80544 HAS SOPS 80544 HAS SOUS 36912 HAS SOUPS 36912 WITH SCORE 36992.544
AT ITER 169 NEW BEST:: SOT 84862 SOS 80479 HAS SOPS 80479 HAS SOUS 36910 HAS SOUPS 36910 WITH SCORE 36990.479
AT ITER 170 NEW BEST:: SOT 84830 SOS 80447 HAS SOPS 80447 HAS SOUS 36877 HAS SOUPS 36877 WITH SCORE 36957.447
AT ITER 183 NEW BEST:: SOT 84419 SOS 80036 HAS SOPS 80036 HAS SOUS 36434 HAS SOUPS 36434 WITH SCORE 36514.036
AT ITER 192 NEW BEST:: SOT 84366 SOS 80033 HAS SOPS 80033 HAS SOUS 36378 HAS SOUPS 36378 WITH SCORE 36458.033
AT ITER 200 NEW BEST:: SOT 84348 SOS 80015 HAS SOPS 80015 HAS SOUS 36118 HAS SOUPS 36118 WITH SCORE 36198.015
AT ITER 205 NEW BEST:: SOT 84002 SOS 79799 HAS SOPS 79799 HAS SOUS 35662 HAS SOUPS 35662 WITH SCORE 35741.799
AT ITER 206 NEW BEST:: SOT 83991 SOS 79833 HAS SOPS 79833 HAS SOUS 35478 HAS SOUPS 35478 WITH SCORE 35557.833
AT ITER 211 NEW BEST:: SOT 83991 SOS 79833 HAS SOPS 79833 HAS SOUS 35456 HAS SOUPS 35456 WITH SCORE 35535.833
AT ITER 212 NEW BEST:: SOT 83991 SOS 79833 HAS SOPS 79833 HAS SOUS 35455 HAS SOUPS 35455 WITH SCORE 35534.833
AT ITER 219 NEW BEST:: SOT 83982 SOS 79824 HAS SOPS 79824 HAS SOUS 35435 HAS SOUPS 35435 WITH SCORE 35514.824
AT ITER 240 NEW BEST:: SOT 83962 SOS 79804 HAS SOPS 79804 HAS SOUS 35415 HAS SOUPS 35415 WITH SCORE 35494.804
AT ITER 245 NEW BEST:: SOT 78246 SOS 74088 HAS SOPS 74088 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29773.088
AT ITER 249 NEW BEST:: SOT 78246 SOS 74088 HAS SOPS 74088 HAS SOUS 29698 HAS SOUPS 29698 WITH SCORE 29772.088
AT ITER 250 NEW BEST:: SOT 78199 SOS 74030 HAS SOPS 74030 HAS SOUS 29640 HAS SOUPS 29640 WITH SCORE 29714.03
AT ITER 251 NEW BEST:: SOT 76807 SOS 72553 HAS SOPS 72553 HAS SOUS 28163 HAS SOUPS 28163 WITH SCORE 28235.553
AT ITER 254 NEW BEST:: SOT 76434 SOS 72180 HAS SOPS 72180 HAS SOUS 27789 HAS SOUPS 27789 WITH SCORE 27861.18
AT ITER 296 NEW BEST:: SOT 76434 SOS 72195 HAS SOPS 72195 HAS SOUS 27744 HAS SOUPS 27744 WITH SCORE 27816.195
AT ITER 298 NEW BEST:: SOT 75502 SOS 71263 HAS SOPS 71263 HAS SOUS 26760 HAS SOUPS 26760 WITH SCORE 26831.263
AT ITER 303 NEW BEST:: SOT 75502 SOS 71263 HAS SOPS 71263 HAS SOUS 26759 HAS SOUPS 26759 WITH SCORE 26830.263
AT ITER 317 NEW BEST:: SOT 75100 SOS 70861 HAS SOPS 70861 HAS SOUS 26371 HAS SOUPS 26371 WITH SCORE 26441.861
AT ITER 339 NEW BEST:: SOT 75100 SOS 70861 HAS SOPS 70861 HAS SOUS 26339 HAS SOUPS 26339 WITH SCORE 26409.861
AT ITER 343 NEW BEST:: SOT 75218 SOS 70900 HAS SOPS 70900 HAS SOUS 26315 HAS SOUPS 26315 WITH SCORE 26385.9
AT ITER 349 NEW BEST:: SOT 75161 SOS 70843 HAS SOPS 70843 HAS SOUS 26247 HAS SOUPS 26247 WITH SCORE 26317.843
AT ITER 356 NEW BEST:: SOT 75150 SOS 70832 HAS SOPS 70832 HAS SOUS 26207 HAS SOUPS 26207 WITH SCORE 26277.832
AT ITER 373 NEW BEST:: SOT 75149 SOS 70831 HAS SOPS 70831 HAS SOUS 26205 HAS SOUPS 26205 WITH SCORE 26275.831
AT ITER 415 NEW BEST:: SOT 75148 SOS 70830 HAS SOPS 70830 HAS SOUS 26203 HAS SOUPS 26203 WITH SCORE 26273.83
AT ITER 461 NEW BEST:: SOT 75038 SOS 70720 HAS SOPS 70720 HAS SOUS 25983 HAS SOUPS 25983 WITH SCORE 26053.72
AT ITER 487 NEW BEST:: SOT 75067 SOS 70711 HAS SOPS 70711 HAS SOUS 25974 HAS SOUPS 25974 WITH SCORE 26044.711
AT ITER 493 NEW BEST:: SOT 75040 SOS 70684 HAS SOPS 70684 HAS SOUS 25963 HAS SOUPS 25963 WITH SCORE 26033.684
AT ITER 497 NEW BEST:: SOT 70336 SOS 65980 HAS SOPS 65980 HAS SOUS 21258 HAS SOUPS 21258 WITH SCORE 21323.98
AT ITER 512 NEW BEST:: SOT 70284 SOS 65928 HAS SOPS 65928 HAS SOUS 21206 HAS SOUPS 21206 WITH SCORE 21271.928
AT ITER 531 NEW BEST:: SOT 67374 SOS 63018 HAS SOPS 63018 HAS SOUS 18295 HAS SOUPS 18295 WITH SCORE 18358.018
AT ITER 539 NEW BEST:: SOT 67374 SOS 63018 HAS SOPS 63018 HAS SOUS 18294 HAS SOUPS 18294 WITH SCORE 18357.018
AT ITER 548 NEW BEST:: SOT 67376 SOS 63020 HAS SOPS 63020 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18329.02
AT ITER 565 NEW BEST:: SOT 66144 SOS 61788 HAS SOPS 61788 HAS SOUS 17034 HAS SOUPS 17034 WITH SCORE 17095.788
AT ITER 583 NEW BEST:: SOT 65772 SOS 61401 HAS SOPS 61401 HAS SOUS 16647 HAS SOUPS 16647 WITH SCORE 16708.401
AT ITER 589 NEW BEST:: SOT 65771 SOS 61400 HAS SOPS 61400 HAS SOUS 16645 HAS SOUPS 16645 WITH SCORE 16706.4
AT ITER 593 NEW BEST:: SOT 65771 SOS 61424 HAS SOPS 61424 HAS SOUS 16565 HAS SOUPS 16565 WITH SCORE 16626.424
AT ITER 625 NEW BEST:: SOT 65303 SOS 60956 HAS SOPS 60956 HAS SOUS 16541 HAS SOUPS 16541 WITH SCORE 16601.956
AT ITER 627 NEW BEST:: SOT 65302 SOS 60955 HAS SOPS 60955 HAS SOUS 16539 HAS SOUPS 16539 WITH SCORE 16599.955
AT ITER 641 NEW BEST:: SOT 65301 SOS 60954 HAS SOPS 60954 HAS SOUS 16537 HAS SOUPS 16537 WITH SCORE 16597.954
AT ITER 645 NEW BEST:: SOT 64991 SOS 60643 HAS SOPS 60643 HAS SOUS 16249 HAS SOUPS 16249 WITH SCORE 16309.643
AT ITER 654 NEW BEST:: SOT 64991 SOS 60620 HAS SOPS 60620 HAS SOUS 16226 HAS SOUPS 16226 WITH SCORE 16286.62
AT ITER 667 NEW BEST:: SOT 64983 SOS 60600 HAS SOPS 60600 HAS SOUS 16210 HAS SOUPS 16210 WITH SCORE 16270.6
AT ITER 674 NEW BEST:: SOT 64979 SOS 60596 HAS SOPS 60596 HAS SOUS 16206 HAS SOUPS 16206 WITH SCORE 16266.596
AT ITER 709 NEW BEST:: SOT 64979 SOS 60596 HAS SOPS 60596 HAS SOUS 16205 HAS SOUPS 16205 WITH SCORE 16265.596
AT ITER 735 NEW BEST:: SOT 64969 SOS 60586 HAS SOPS 60586 HAS SOUS 16185 HAS SOUPS 16185 WITH SCORE 16245.586
AT ITER 767 NEW BEST:: SOT 64969 SOS 60583 HAS SOPS 60583 HAS SOUS 16182 HAS SOUPS 16182 WITH SCORE 16242.583
AT ITER 777 NEW BEST:: SOT 64900 SOS 60514 HAS SOPS 60514 HAS SOUS 16113 HAS SOUPS 16113 WITH SCORE 16173.514
AT ITER 778 NEW BEST:: SOT 64892 SOS 60506 HAS SOPS 60506 HAS SOUS 16105 HAS SOUPS 16105 WITH SCORE 16165.506
AT ITER 794 NEW BEST:: SOT 64891 SOS 60505 HAS SOPS 60505 HAS SOUS 16103 HAS SOUPS 16103 WITH SCORE 16163.505
AT ITER 799 NEW BEST:: SOT 64891 SOS 60505 HAS SOPS 60505 HAS SOUS 16089 HAS SOUPS 16089 WITH SCORE 16149.505
AT ITER 847 NEW BEST:: SOT 64884 SOS 60490 HAS SOPS 60490 HAS SOUS 16082 HAS SOUPS 16082 WITH SCORE 16142.49
AT ITER 852 NEW BEST:: SOT 64771 SOS 60404 HAS SOPS 60404 HAS SOUS 15979 HAS SOUPS 15979 WITH SCORE 16039.404
AT ITER 858 NEW BEST:: SOT 64770 SOS 60331 HAS SOPS 60331 HAS SOUS 15977 HAS SOUPS 15977 WITH SCORE 16037.331
AT ITER 867 NEW BEST:: SOT 64769 SOS 60330 HAS SOPS 60330 HAS SOUS 15975 HAS SOUPS 15975 WITH SCORE 16035.33
AT ITER 870 NEW BEST:: SOT 64754 SOS 60315 HAS SOPS 60315 HAS SOUS 15945 HAS SOUPS 15945 WITH SCORE 16005.315
AT ITER 888 NEW BEST:: SOT 64752 SOS 60312 HAS SOPS 60312 HAS SOUS 15942 HAS SOUPS 15942 WITH SCORE 16002.312
AT ITER 918 NEW BEST:: SOT 64846 SOS 60153 HAS SOPS 60153 HAS SOUS 15918 HAS SOUPS 15918 WITH SCORE 15978.153
AT ITER 922 NEW BEST:: SOT 64846 SOS 57908 HAS SOPS 57908 HAS SOUS 15905 HAS SOUPS 15905 WITH SCORE 15962.908
AT ITER 927 NEW BEST:: SOT 64841 SOS 57861 HAS SOPS 57861 HAS SOUS 15837 HAS SOUPS 15837 WITH SCORE 15894.861
AT ITER 936 NEW BEST:: SOT 64814 SOS 57821 HAS SOPS 57821 HAS SOUS 15797 HAS SOUPS 15797 WITH SCORE 15854.821
AT ITER 946 NEW BEST:: SOT 64813 SOS 57820 HAS SOPS 57820 HAS SOUS 15795 HAS SOUPS 15795 WITH SCORE 15852.82
AT ITER 951 NEW BEST:: SOT 64841 SOS 57848 HAS SOPS 57848 HAS SOUS 15779 HAS SOUPS 15779 WITH SCORE 15836.848
AT ITER 970 NEW BEST:: SOT 64841 SOS 57848 HAS SOPS 57848 HAS SOUS 15710 HAS SOUPS 15710 WITH SCORE 15767.848
AT ITER 1003 NEW BEST:: SOT 64840 SOS 57847 HAS SOPS 57847 HAS SOUS 15708 HAS SOUPS 15708 WITH SCORE 15765.847
AT ITER 1004 NEW BEST:: SOT 64839 SOS 57846 HAS SOPS 57846 HAS SOUS 15706 HAS SOUPS 15706 WITH SCORE 15763.846
AT ITER 1010 NEW BEST:: SOT 64839 SOS 57846 HAS SOPS 57846 HAS SOUS 15692 HAS SOUPS 15692 WITH SCORE 15749.846
AT ITER 1018 NEW BEST:: SOT 64402 SOS 57405 HAS SOPS 57405 HAS SOUS 15671 HAS SOUPS 15671 WITH SCORE 15728.405
AT ITER 1028 NEW BEST:: SOT 64427 SOS 57430 HAS SOPS 57430 HAS SOUS 15670 HAS SOUPS 15670 WITH SCORE 15727.43
AT ITER 1046 NEW BEST:: SOT 64397 SOS 57459 HAS SOPS 57459 HAS SOUS 15521 HAS SOUPS 15521 WITH SCORE 15578.459
AT ITER 1064 NEW BEST:: SOT 64396 SOS 57458 HAS SOPS 57458 HAS SOUS 15519 HAS SOUPS 15519 WITH SCORE 15576.458
AT ITER 1068 NEW BEST:: SOT 64395 SOS 57457 HAS SOPS 57457 HAS SOUS 15517 HAS SOUPS 15517 WITH SCORE 15574.457
AT ITER 1110 NEW BEST:: SOT 64363 SOS 57317 HAS SOPS 57317 HAS SOUS 15503 HAS SOUPS 15503 WITH SCORE 15560.317
AT ITER 1114 NEW BEST:: SOT 64362 SOS 57316 HAS SOPS 57316 HAS SOUS 15494 HAS SOUPS 15494 WITH SCORE 15551.316
AT ITER 1128 NEW BEST:: SOT 64361 SOS 57315 HAS SOPS 57315 HAS SOUS 15492 HAS SOUPS 15492 WITH SCORE 15549.315
AT ITER 1130 NEW BEST:: SOT 64047 SOS 57001 HAS SOPS 57001 HAS SOUS 15178 HAS SOUPS 15178 WITH SCORE 15235.001
AT ITER 1172 NEW BEST:: SOT 64035 SOS 56989 HAS SOPS 56989 HAS SOUS 15163 HAS SOUPS 15163 WITH SCORE 15219.989
AT ITER 1173 NEW BEST:: SOT 64034 SOS 56988 HAS SOPS 56988 HAS SOUS 15161 HAS SOUPS 15161 WITH SCORE 15217.988
AT ITER 1186 NEW BEST:: SOT 64034 SOS 55472 HAS SOPS 55472 HAS SOUS 15150 HAS SOUPS 15150 WITH SCORE 15205.472
AT ITER 1193 NEW BEST:: SOT 64028 SOS 55466 HAS SOPS 55466 HAS SOUS 15125 HAS SOUPS 15125 WITH SCORE 15180.466
AT ITER 1205 NEW BEST:: SOT 63891 SOS 55230 HAS SOPS 55230 HAS SOUS 14950 HAS SOUPS 14950 WITH SCORE 15005.23
AT ITER 1214 NEW BEST:: SOT 63870 SOS 55209 HAS SOPS 55209 HAS SOUS 14941 HAS SOUPS 14941 WITH SCORE 14996.209
AT ITER 1224 NEW BEST:: SOT 63862 SOS 55201 HAS SOPS 55201 HAS SOUS 14933 HAS SOUPS 14933 WITH SCORE 14988.201
AT ITER 1238 NEW BEST:: SOT 63861 SOS 55200 HAS SOPS 55200 HAS SOUS 14931 HAS SOUPS 14931 WITH SCORE 14986.2
AT ITER 1255 NEW BEST:: SOT 63847 SOS 55186 HAS SOPS 55186 HAS SOUS 14903 HAS SOUPS 14903 WITH SCORE 14958.186
AT ITER 1284 NEW BEST:: SOT 63663 SOS 55002 HAS SOPS 55002 HAS SOUS 14535 HAS SOUPS 14535 WITH SCORE 14590.002
AT ITER 1291 NEW BEST:: SOT 63661 SOS 55000 HAS SOPS 55000 HAS SOUS 14490 HAS SOUPS 14490 WITH SCORE 14545.0
AT ITER 1303 NEW BEST:: SOT 63640 SOS 54967 HAS SOPS 54967 HAS SOUS 14457 HAS SOUPS 14457 WITH SCORE 14511.967
AT ITER 1307 NEW BEST:: SOT 63595 SOS 52327 HAS SOPS 52327 HAS SOUS 14441 HAS SOUPS 14441 WITH SCORE 14493.327
AT ITER 1320 NEW BEST:: SOT 63559 SOS 52257 HAS SOPS 52257 HAS SOUS 14371 HAS SOUPS 14371 WITH SCORE 14423.257
AT ITER 1324 NEW BEST:: SOT 63559 SOS 52204 HAS SOPS 52204 HAS SOUS 14340 HAS SOUPS 14340 WITH SCORE 14392.204
AT ITER 1333 NEW BEST:: SOT 63432 SOS 52083 HAS SOPS 52083 HAS SOUS 14228 HAS SOUPS 14228 WITH SCORE 14280.083
AT ITER 1362 NEW BEST:: SOT 63422 SOS 52073 HAS SOPS 52073 HAS SOUS 14226 HAS SOUPS 14226 WITH SCORE 14278.073
AT ITER 1367 NEW BEST:: SOT 63328 SOS 51968 HAS SOPS 51968 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14194.968
AT ITER 1374 NEW BEST:: SOT 63259 SOS 51938 HAS SOPS 51938 HAS SOUS 14113 HAS SOUPS 14113 WITH SCORE 14164.938
AT ITER 1376 NEW BEST:: SOT 63259 SOS 51956 HAS SOPS 51956 HAS SOUS 14092 HAS SOUPS 14092 WITH SCORE 14143.956
AT ITER 1489 NEW BEST:: SOT 63255 SOS 51956 HAS SOPS 51956 HAS SOUS 14089 HAS SOUPS 14089 WITH SCORE 14140.956
AT ITER 1493 NEW BEST:: SOT 63242 SOS 51883 HAS SOPS 51883 HAS SOUS 14075 HAS SOUPS 14075 WITH SCORE 14126.883
AT ITER 1547 NEW BEST:: SOT 63226 SOS 51867 HAS SOPS 51867 HAS SOUS 14059 HAS SOUPS 14059 WITH SCORE 14110.867
AT ITER 1585 NEW BEST:: SOT 63198 SOS 51817 HAS SOPS 51817 HAS SOUS 13995 HAS SOUPS 13995 WITH SCORE 14046.817
AT ITER 1614 NEW BEST:: SOT 63204 SOS 51823 HAS SOPS 51823 HAS SOUS 13982 HAS SOUPS 13982 WITH SCORE 14033.823
AT ITER 1620 NEW BEST:: SOT 63198 SOS 51817 HAS SOPS 51817 HAS SOUS 13958 HAS SOUPS 13958 WITH SCORE 14009.817
AT ITER 1630 NEW BEST:: SOT 63197 SOS 51816 HAS SOPS 51816 HAS SOUS 13956 HAS SOUPS 13956 WITH SCORE 14007.816
AT ITER 1641 NEW BEST:: SOT 63197 SOS 51814 HAS SOPS 51814 HAS SOUS 13954 HAS SOUPS 13954 WITH SCORE 14005.814
AT ITER 1672 NEW BEST:: SOT 63180 SOS 52921 HAS SOPS 52921 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13933.921
AT ITER 1682 NEW BEST:: SOT 63179 SOS 52920 HAS SOPS 52920 HAS SOUS 13842 HAS SOUPS 13842 WITH SCORE 13894.92
AT ITER 1690 NEW BEST:: SOT 63179 SOS 52919 HAS SOPS 52919 HAS SOUS 13841 HAS SOUPS 13841 WITH SCORE 13893.919
AT ITER 1713 NEW BEST:: SOT 63179 SOS 52899 HAS SOPS 52899 HAS SOUS 13817 HAS SOUPS 13817 WITH SCORE 13869.899
AT ITER 1759 NEW BEST:: SOT 63106 SOS 52826 HAS SOPS 52826 HAS SOUS 13797 HAS SOUPS 13797 WITH SCORE 13849.826
AT ITER 1813 NEW BEST:: SOT 63108 SOS 52795 HAS SOPS 52795 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13832.795
AT ITER 1816 NEW BEST:: SOT 63073 SOS 52760 HAS SOPS 52760 HAS SOUS 13737 HAS SOUPS 13737 WITH SCORE 13789.76
AT ITER 1817 NEW BEST:: SOT 63060 SOS 52753 HAS SOPS 52753 HAS SOUS 13716 HAS SOUPS 13716 WITH SCORE 13768.753
AT ITER 1832 NEW BEST:: SOT 63059 SOS 52752 HAS SOPS 52752 HAS SOUS 13714 HAS SOUPS 13714 WITH SCORE 13766.752
AT ITER 1834 NEW BEST:: SOT 63046 SOS 52739 HAS SOPS 52739 HAS SOUS 13688 HAS SOUPS 13688 WITH SCORE 13740.739
AT ITER 1843 NEW BEST:: SOT 63041 SOS 52734 HAS SOPS 52734 HAS SOUS 13683 HAS SOUPS 13683 WITH SCORE 13735.734
AT ITER 1865 NEW BEST:: SOT 63041 SOS 52751 HAS SOPS 52751 HAS SOUS 13678 HAS SOUPS 13678 WITH SCORE 13730.751
AT ITER 1875 NEW BEST:: SOT 63037 SOS 52572 HAS SOPS 52572 HAS SOUS 13607 HAS SOUPS 13607 WITH SCORE 13659.572
AT ITER 1903 NEW BEST:: SOT 63005 SOS 52540 HAS SOPS 52540 HAS SOUS 13575 HAS SOUPS 13575 WITH SCORE 13627.54
AT ITER 1934 NEW BEST:: SOT 62777 SOS 52312 HAS SOPS 52312 HAS SOUS 13427 HAS SOUPS 13427 WITH SCORE 13479.312
AT ITER 1940 NEW BEST:: SOT 62759 SOS 52294 HAS SOPS 52294 HAS SOUS 13391 HAS SOUPS 13391 WITH SCORE 13443.294
AT ITER 1942 NEW BEST:: SOT 62761 SOS 52296 HAS SOPS 52296 HAS SOUS 13385 HAS SOUPS 13385 WITH SCORE 13437.296
AT ITER 1956 NEW BEST:: SOT 62758 SOS 52293 HAS SOPS 52293 HAS SOUS 13379 HAS SOUPS 13379 WITH SCORE 13431.293
AT ITER 1966 NEW BEST:: SOT 62718 SOS 52253 HAS SOPS 52253 HAS SOUS 13291 HAS SOUPS 13291 WITH SCORE 13343.253
AT ITER 1971 NEW BEST:: SOT 62689 SOS 52224 HAS SOPS 52224 HAS SOUS 13233 HAS SOUPS 13233 WITH SCORE 13285.224
AT ITER 2001 NEW BEST:: SOT 62659 SOS 52194 HAS SOPS 52194 HAS SOUS 13179 HAS SOUPS 13179 WITH SCORE 13231.194
AT ITER 2058 NEW BEST:: SOT 62749 SOS 52314 HAS SOPS 52314 HAS SOUS 13095 HAS SOUPS 13095 WITH SCORE 13147.314
AT ITER 2065 NEW BEST:: SOT 62748 SOS 52313 HAS SOPS 52313 HAS SOUS 13093 HAS SOUPS 13093 WITH SCORE 13145.313
AT ITER 2083 NEW BEST:: SOT 62720 SOS 52288 HAS SOPS 52288 HAS SOUS 13068 HAS SOUPS 13068 WITH SCORE 13120.288
AT ITER 2097 NEW BEST:: SOT 62708 SOS 52276 HAS SOPS 52276 HAS SOUS 13049 HAS SOUPS 13049 WITH SCORE 13101.276
AT ITER 2132 NEW BEST:: SOT 62706 SOS 52274 HAS SOPS 52274 HAS SOUS 13047 HAS SOUPS 13047 WITH SCORE 13099.274
AT ITER 2133 NEW BEST:: SOT 62687 SOS 52255 HAS SOPS 52255 HAS SOUS 13019 HAS SOUPS 13019 WITH SCORE 13071.255
AT ITER 2137 NEW BEST:: SOT 62671 SOS 52239 HAS SOPS 52239 HAS SOUS 13003 HAS SOUPS 13003 WITH SCORE 13055.239
AT ITER 2147 NEW BEST:: SOT 62596 SOS 52140 HAS SOPS 52140 HAS SOUS 12904 HAS SOUPS 12904 WITH SCORE 12956.14
AT ITER 2161 NEW BEST:: SOT 62595 SOS 52139 HAS SOPS 52139 HAS SOUS 12902 HAS SOUPS 12902 WITH SCORE 12954.139
AT ITER 2172 NEW BEST:: SOT 62624 SOS 52197 HAS SOPS 52197 HAS SOUS 12897 HAS SOUPS 12897 WITH SCORE 12949.197
AT ITER 2232 NEW BEST:: SOT 62639 SOS 52212 HAS SOPS 52212 HAS SOUS 12895 HAS SOUPS 12895 WITH SCORE 12947.212
AT ITER 2233 NEW BEST:: SOT 62631 SOS 52188 HAS SOPS 52188 HAS SOUS 12871 HAS SOUPS 12871 WITH SCORE 12923.188
AT ITER 2245 NEW BEST:: SOT 62613 SOS 52170 HAS SOPS 52170 HAS SOUS 12835 HAS SOUPS 12835 WITH SCORE 12887.17
AT ITER 2343 NEW BEST:: SOT 62603 SOS 52160 HAS SOPS 52160 HAS SOUS 12815 HAS SOUPS 12815 WITH SCORE 12867.16
AT ITER 2346 NEW BEST:: SOT 62597 SOS 52154 HAS SOPS 52154 HAS SOUS 12763 HAS SOUPS 12763 WITH SCORE 12815.154
AT ITER 2463 NEW BEST:: SOT 62597 SOS 52208 HAS SOPS 52208 HAS SOUS 12760 HAS SOUPS 12760 WITH SCORE 12812.208
AT ITER 2467 NEW BEST:: SOT 62583 SOS 52194 HAS SOPS 52194 HAS SOUS 12714 HAS SOUPS 12714 WITH SCORE 12766.194
AT ITER 2477 NEW BEST:: SOT 62574 SOS 52185 HAS SOPS 52185 HAS SOUS 12696 HAS SOUPS 12696 WITH SCORE 12748.185
AT ITER 2490 NEW BEST:: SOT 62573 SOS 52180 HAS SOPS 52180 HAS SOUS 12695 HAS SOUPS 12695 WITH SCORE 12747.18
AT ITER 2534 NEW BEST:: SOT 61923 SOS 51656 HAS SOPS 51656 HAS SOUS 12604 HAS SOUPS 12604 WITH SCORE 12655.656
AT ITER 2535 NEW BEST:: SOT 62230 SOS 51963 HAS SOPS 51963 HAS SOUS 12546 HAS SOUPS 12546 WITH SCORE 12597.963
AT ITER 2590 NEW BEST:: SOT 62185 SOS 51918 HAS SOPS 51918 HAS SOUS 12456 HAS SOUPS 12456 WITH SCORE 12507.918
AT ITER 2625 NEW BEST:: SOT 62165 SOS 51908 HAS SOPS 51908 HAS SOUS 12423 HAS SOUPS 12423 WITH SCORE 12474.908
AT ITER 2663 NEW BEST:: SOT 62163 SOS 51906 HAS SOPS 51906 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12470.906
AT ITER 2682 NEW BEST:: SOT 62152 SOS 51873 HAS SOPS 51873 HAS SOUS 12419 HAS SOUPS 12419 WITH SCORE 12470.873
AT ITER 2698 NEW BEST:: SOT 62152 SOS 51798 HAS SOPS 51798 HAS SOUS 12344 HAS SOUPS 12344 WITH SCORE 12395.798
AT ITER 2701 NEW BEST:: SOT 62151 SOS 51797 HAS SOPS 51797 HAS SOUS 12342 HAS SOUPS 12342 WITH SCORE 12393.797
AT ITER 2702 NEW BEST:: SOT 62092 SOS 51679 HAS SOPS 51679 HAS SOUS 12224 HAS SOUPS 12224 WITH SCORE 12275.679
AT ITER 2703 NEW BEST:: SOT 62082 SOS 51669 HAS SOPS 51669 HAS SOUS 12214 HAS SOUPS 12214 WITH SCORE 12265.669
AT ITER 2710 NEW BEST:: SOT 62090 SOS 51677 HAS SOPS 51677 HAS SOUS 12142 HAS SOUPS 12142 WITH SCORE 12193.677
AT ITER 2724 NEW BEST:: SOT 62090 SOS 51936 HAS SOPS 51936 HAS SOUS 12090 HAS SOUPS 12090 WITH SCORE 12141.936
AT ITER 2725 NEW BEST:: SOT 62093 SOS 51939 HAS SOPS 51939 HAS SOUS 12084 HAS SOUPS 12084 WITH SCORE 12135.939
AT ITER 2749 NEW BEST:: SOT 62119 SOS 51988 HAS SOPS 51988 HAS SOUS 12076 HAS SOUPS 12076 WITH SCORE 12127.988
AT ITER 2763 NEW BEST:: SOT 62072 SOS 51938 HAS SOPS 51938 HAS SOUS 12026 HAS SOUPS 12026 WITH SCORE 12077.938
AT ITER 2785 NEW BEST:: SOT 62054 SOS 51920 HAS SOPS 51920 HAS SOUS 11999 HAS SOUPS 11999 WITH SCORE 12050.92
AT ITER 2821 NEW BEST:: SOT 62048 SOS 51914 HAS SOPS 51914 HAS SOUS 11987 HAS SOUPS 11987 WITH SCORE 12038.914
AT ITER 2836 NEW BEST:: SOT 62038 SOS 51904 HAS SOPS 51904 HAS SOUS 11977 HAS SOUPS 11977 WITH SCORE 12028.904
AT ITER 2838 NEW BEST:: SOT 62060 SOS 51952 HAS SOPS 51952 HAS SOUS 11945 HAS SOUPS 11945 WITH SCORE 11996.952
AT ITER 2865 NEW BEST:: SOT 61988 SOS 50440 HAS SOPS 50440 HAS SOUS 11897 HAS SOUPS 11897 WITH SCORE 11947.44
AT ITER 2869 NEW BEST:: SOT 61979 SOS 50431 HAS SOPS 50431 HAS SOUS 11862 HAS SOUPS 11862 WITH SCORE 11912.431
AT ITER 2876 NEW BEST:: SOT 61970 SOS 50422 HAS SOPS 50422 HAS SOUS 11852 HAS SOUPS 11852 WITH SCORE 11902.422
AT ITER 2891 NEW BEST:: SOT 61952 SOS 50404 HAS SOPS 50404 HAS SOUS 11811 HAS SOUPS 11811 WITH SCORE 11861.404
AT ITER 2895 NEW BEST:: SOT 61942 SOS 50394 HAS SOPS 50394 HAS SOUS 11786 HAS SOUPS 11786 WITH SCORE 11836.394
AT ITER 2902 NEW BEST:: SOT 61941 SOS 50393 HAS SOPS 50393 HAS SOUS 11784 HAS SOUPS 11784 WITH SCORE 11834.393
AT ITER 2906 NEW BEST:: SOT 61940 SOS 50392 HAS SOPS 50392 HAS SOUS 11782 HAS SOUPS 11782 WITH SCORE 11832.392
AT ITER 2928 NEW BEST:: SOT 61928 SOS 51093 HAS SOPS 51093 HAS SOUS 11775 HAS SOUPS 11775 WITH SCORE 11826.093
AT ITER 2935 NEW BEST:: SOT 61928 SOS 51041 HAS SOPS 51041 HAS SOUS 11682 HAS SOUPS 11682 WITH SCORE 11733.041
AT ITER 2952 NEW BEST:: SOT 61919 SOS 51033 HAS SOPS 51033 HAS SOUS 11674 HAS SOUPS 11674 WITH SCORE 11725.033
AT ITER 2955 NEW BEST:: SOT 61918 SOS 51032 HAS SOPS 51032 HAS SOUS 11672 HAS SOUPS 11672 WITH SCORE 11723.032
AT ITER 3015 NEW BEST:: SOT 61918 SOS 51032 HAS SOPS 51032 HAS SOUS 11670 HAS SOUPS 11670 WITH SCORE 11721.032
AT ITER 3023 NEW BEST:: SOT 61918 SOS 51092 HAS SOPS 51092 HAS SOUS 11654 HAS SOUPS 11654 WITH SCORE 11705.092
AT ITER 3082 NEW BEST:: SOT 61957 SOS 51131 HAS SOPS 51131 HAS SOUS 11649 HAS SOUPS 11649 WITH SCORE 11700.131
AT ITER 3084 NEW BEST:: SOT 61957 SOS 51104 HAS SOPS 51104 HAS SOUS 11609 HAS SOUPS 11609 WITH SCORE 11660.104
AT ITER 3088 NEW BEST:: SOT 61891 SOS 51038 HAS SOPS 51038 HAS SOUS 11527 HAS SOUPS 11527 WITH SCORE 11578.038
AT ITER 3117 NEW BEST:: SOT 61931 SOS 51066 HAS SOPS 51066 HAS SOUS 11525 HAS SOUPS 11525 WITH SCORE 11576.066
AT ITER 3127 NEW BEST:: SOT 61887 SOS 51022 HAS SOPS 51022 HAS SOUS 11464 HAS SOUPS 11464 WITH SCORE 11515.022
AT ITER 3144 NEW BEST:: SOT 61883 SOS 51018 HAS SOPS 51018 HAS SOUS 11456 HAS SOUPS 11456 WITH SCORE 11507.018
AT ITER 3151 NEW BEST:: SOT 61871 SOS 51006 HAS SOPS 51006 HAS SOUS 11444 HAS SOUPS 11444 WITH SCORE 11495.006
AT ITER 3173 NEW BEST:: SOT 61870 SOS 51005 HAS SOPS 51005 HAS SOUS 11400 HAS SOUPS 11400 WITH SCORE 11451.005
AT ITER 3177 NEW BEST:: SOT 61866 SOS 50741 HAS SOPS 50741 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11447.741
AT ITER 3205 NEW BEST:: SOT 61851 SOS 50722 HAS SOPS 50722 HAS SOUS 11376 HAS SOUPS 11376 WITH SCORE 11426.722
AT ITER 3254 NEW BEST:: SOT 61849 SOS 50720 HAS SOPS 50720 HAS SOUS 11372 HAS SOUPS 11372 WITH SCORE 11422.72
AT ITER 3260 NEW BEST:: SOT 61848 SOS 50719 HAS SOPS 50719 HAS SOUS 11370 HAS SOUPS 11370 WITH SCORE 11420.719
AT ITER 3322 NEW BEST:: SOT 61832 SOS 50703 HAS SOPS 50703 HAS SOUS 11354 HAS SOUPS 11354 WITH SCORE 11404.703
AT ITER 3341 NEW BEST:: SOT 61824 SOS 50695 HAS SOPS 50695 HAS SOUS 11338 HAS SOUPS 11338 WITH SCORE 11388.695
AT ITER 3438 NEW BEST:: SOT 61823 SOS 50694 HAS SOPS 50694 HAS SOUS 11336 HAS SOUPS 11336 WITH SCORE 11386.694
AT ITER 3441 NEW BEST:: SOT 61822 SOS 50693 HAS SOPS 50693 HAS SOUS 11334 HAS SOUPS 11334 WITH SCORE 11384.693
AT ITER 3452 NEW BEST:: SOT 61822 SOS 50688 HAS SOPS 50688 HAS SOUS 11329 HAS SOUPS 11329 WITH SCORE 11379.688
AT ITER 3461 NEW BEST:: SOT 61856 SOS 50722 HAS SOPS 50722 HAS SOUS 11302 HAS SOUPS 11302 WITH SCORE 11352.722
AT ITER 3463 NEW BEST:: SOT 61649 SOS 50460 HAS SOPS 50460 HAS SOUS 11226 HAS SOUPS 11226 WITH SCORE 11276.46
AT ITER 3465 NEW BEST:: SOT 61654 SOS 50456 HAS SOPS 50456 HAS SOUS 11222 HAS SOUPS 11222 WITH SCORE 11272.456
AT ITER 3477 NEW BEST:: SOT 61654 SOS 50173 HAS SOPS 50173 HAS SOUS 11217 HAS SOUPS 11217 WITH SCORE 11267.173
AT ITER 3485 NEW BEST:: SOT 61654 SOS 50163 HAS SOPS 50163 HAS SOUS 11207 HAS SOUPS 11207 WITH SCORE 11257.163
AT ITER 3507 NEW BEST:: SOT 61653 SOS 50162 HAS SOPS 50162 HAS SOUS 11205 HAS SOUPS 11205 WITH SCORE 11255.162
AT ITER 3529 NEW BEST:: SOT 61622 SOS 50134 HAS SOPS 50134 HAS SOUS 11143 HAS SOUPS 11143 WITH SCORE 11193.134
AT ITER 3545 NEW BEST:: SOT 61611 SOS 50123 HAS SOPS 50123 HAS SOUS 11121 HAS SOUPS 11121 WITH SCORE 11171.123
AT ITER 3587 NEW BEST:: SOT 61610 SOS 50122 HAS SOPS 50122 HAS SOUS 11120 HAS SOUPS 11120 WITH SCORE 11170.122
AT ITER 3596 NEW BEST:: SOT 61766 SOS 50387 HAS SOPS 50387 HAS SOUS 11117 HAS SOUPS 11117 WITH SCORE 11167.387
AT ITER 3653 NEW BEST:: SOT 61765 SOS 50386 HAS SOPS 50386 HAS SOUS 11115 HAS SOUPS 11115 WITH SCORE 11165.386
AT ITER 3659 NEW BEST:: SOT 61753 SOS 50374 HAS SOPS 50374 HAS SOUS 11106 HAS SOUPS 11106 WITH SCORE 11156.374
AT ITER 3766 NEW BEST:: SOT 61792 SOS 50428 HAS SOPS 50428 HAS SOUS 11104 HAS SOUPS 11104 WITH SCORE 11154.428
AT ITER 3786 NEW BEST:: SOT 61775 SOS 50411 HAS SOPS 50411 HAS SOUS 11070 HAS SOUPS 11070 WITH SCORE 11120.411
AT ITER 3800 NEW BEST:: SOT 61776 SOS 50412 HAS SOPS 50412 HAS SOUS 11054 HAS SOUPS 11054 WITH SCORE 11104.412
AT ITER 3865 NEW BEST:: SOT 61775 SOS 50413 HAS SOPS 50413 HAS SOUS 11053 HAS SOUPS 11053 WITH SCORE 11103.413
AT ITER 3891 NEW BEST:: SOT 61774 SOS 50412 HAS SOPS 50412 HAS SOUS 11051 HAS SOUPS 11051 WITH SCORE 11101.412
AT ITER 3908 NEW BEST:: SOT 61774 SOS 50413 HAS SOPS 50413 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11100.413
AT ITER 3921 NEW BEST:: SOT 61768 SOS 50407 HAS SOPS 50407 HAS SOUS 11038 HAS SOUPS 11038 WITH SCORE 11088.407
AT ITER 3924 NEW BEST:: SOT 61775 SOS 50423 HAS SOPS 50423 HAS SOUS 11037 HAS SOUPS 11037 WITH SCORE 11087.423
AT ITER 3946 NEW BEST:: SOT 61774 SOS 50422 HAS SOPS 50422 HAS SOUS 11035 HAS SOUPS 11035 WITH SCORE 11085.422
AT ITER 3956 NEW BEST:: SOT 61754 SOS 50399 HAS SOPS 50399 HAS SOUS 11028 HAS SOUPS 11028 WITH SCORE 11078.399
AT ITER 3984 NEW BEST:: SOT 61741 SOS 50386 HAS SOPS 50386 HAS SOUS 11028 HAS SOUPS 11028 WITH SCORE 11078.386
AT ITER 4014 NEW BEST:: SOT 61738 SOS 50383 HAS SOPS 50383 HAS SOUS 11022 HAS SOUPS 11022 WITH SCORE 11072.383
AT ITER 4032 NEW BEST:: SOT 61759 SOS 50404 HAS SOPS 50404 HAS SOUS 11013 HAS SOUPS 11013 WITH SCORE 11063.404
AT ITER 4038 NEW BEST:: SOT 61782 SOS 50445 HAS SOPS 50445 HAS SOUS 11004 HAS SOUPS 11004 WITH SCORE 11054.445
AT ITER 4079 NEW BEST:: SOT 61781 SOS 50444 HAS SOPS 50444 HAS SOUS 11002 HAS SOUPS 11002 WITH SCORE 11052.444
AT ITER 4113 NEW BEST:: SOT 61800 SOS 50469 HAS SOPS 50469 HAS SOUS 10992 HAS SOUPS 10992 WITH SCORE 11042.469
AT ITER 4117 NEW BEST:: SOT 61799 SOS 50468 HAS SOPS 50468 HAS SOUS 10991 HAS SOUPS 10991 WITH SCORE 11041.468
AT ITER 4163 NEW BEST:: SOT 61767 SOS 50395 HAS SOPS 50395 HAS SOUS 10968 HAS SOUPS 10968 WITH SCORE 11018.395
AT ITER 4185 NEW BEST:: SOT 61776 SOS 50380 HAS SOPS 50380 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 11003.38
AT ITER 4208 NEW BEST:: SOT 61775 SOS 50375 HAS SOPS 50375 HAS SOUS 10953 HAS SOUPS 10953 WITH SCORE 11003.375
AT ITER 4220 NEW BEST:: SOT 61772 SOS 50372 HAS SOPS 50372 HAS SOUS 10947 HAS SOUPS 10947 WITH SCORE 10997.372
AT ITER 4236 NEW BEST:: SOT 61731 SOS 50317 HAS SOPS 50317 HAS SOUS 10923 HAS SOUPS 10923 WITH SCORE 10973.317
AT ITER 4238 NEW BEST:: SOT 61731 SOS 50257 HAS SOPS 50257 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10971.257
AT ITER 4267 NEW BEST:: SOT 61727 SOS 50256 HAS SOPS 50256 HAS SOUS 10921 HAS SOUPS 10921 WITH SCORE 10971.256
AT ITER 4335 NEW BEST:: SOT 61726 SOS 50255 HAS SOPS 50255 HAS SOUS 10919 HAS SOUPS 10919 WITH SCORE 10969.255
AT ITER 4339 NEW BEST:: SOT 61733 SOS 50262 HAS SOPS 50262 HAS SOUS 10915 HAS SOUPS 10915 WITH SCORE 10965.262
AT ITER 4344 NEW BEST:: SOT 61713 SOS 50156 HAS SOPS 50156 HAS SOUS 10889 HAS SOUPS 10889 WITH SCORE 10939.156
AT ITER 4375 NEW BEST:: SOT 61713 SOS 50153 HAS SOPS 50153 HAS SOUS 10886 HAS SOUPS 10886 WITH SCORE 10936.153
AT ITER 4386 NEW BEST:: SOT 61707 SOS 50147 HAS SOPS 50147 HAS SOUS 10880 HAS SOUPS 10880 WITH SCORE 10930.147
AT ITER 4400 NEW BEST:: SOT 61693 SOS 50124 HAS SOPS 50124 HAS SOUS 10861 HAS SOUPS 10861 WITH SCORE 10911.124
AT ITER 4426 NEW BEST:: SOT 61666 SOS 50097 HAS SOPS 50097 HAS SOUS 10855 HAS SOUPS 10855 WITH SCORE 10905.097
AT ITER 4443 NEW BEST:: SOT 61666 SOS 50097 HAS SOPS 50097 HAS SOUS 10853 HAS SOUPS 10853 WITH SCORE 10903.097
AT ITER 4457 NEW BEST:: SOT 61664 SOS 50095 HAS SOPS 50095 HAS SOUS 10849 HAS SOUPS 10849 WITH SCORE 10899.095
AT ITER 4473 NEW BEST:: SOT 61596 SOS 50027 HAS SOPS 50027 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10763.027
AT ITER 4502 NEW BEST:: SOT 61592 SOS 50023 HAS SOPS 50023 HAS SOUS 10713 HAS SOUPS 10713 WITH SCORE 10763.023
AT ITER 4528 NEW BEST:: SOT 61612 SOS 50094 HAS SOPS 50094 HAS SOUS 10688 HAS SOUPS 10688 WITH SCORE 10738.094
AT ITER 4532 NEW BEST:: SOT 61623 SOS 50068 HAS SOPS 50068 HAS SOUS 10686 HAS SOUPS 10686 WITH SCORE 10736.068
AT ITER 4537 NEW BEST:: SOT 61603 SOS 50048 HAS SOPS 50048 HAS SOUS 10666 HAS SOUPS 10666 WITH SCORE 10716.048
AT ITER 4539 NEW BEST:: SOT 61603 SOS 50019 HAS SOPS 50019 HAS SOUS 10647 HAS SOUPS 10647 WITH SCORE 10697.019
AT ITER 4556 NEW BEST:: SOT 61582 SOS 49998 HAS SOPS 49998 HAS SOUS 10605 HAS SOUPS 10605 WITH SCORE 10654.998
AT ITER 4610 NEW BEST:: SOT 61572 SOS 49978 HAS SOPS 49978 HAS SOUS 10585 HAS SOUPS 10585 WITH SCORE 10634.978
AT ITER 4629 NEW BEST:: SOT 61572 SOS 49970 HAS SOPS 49970 HAS SOUS 10577 HAS SOUPS 10577 WITH SCORE 10626.97
AT ITER 4657 NEW BEST:: SOT 61562 SOS 49360 HAS SOPS 49360 HAS SOUS 10557 HAS SOUPS 10557 WITH SCORE 10606.36
AT ITER 4686 NEW BEST:: SOT 61562 SOS 49351 HAS SOPS 49351 HAS SOUS 10554 HAS SOUPS 10554 WITH SCORE 10603.351
AT ITER 4697 NEW BEST:: SOT 61560 SOS 49349 HAS SOPS 49349 HAS SOUS 10550 HAS SOUPS 10550 WITH SCORE 10599.349
AT ITER 4715 NEW BEST:: SOT 61432 SOS 49136 HAS SOPS 49136 HAS SOUS 10421 HAS SOUPS 10421 WITH SCORE 10470.136
AT ITER 4735 NEW BEST:: SOT 61430 SOS 49134 HAS SOPS 49134 HAS SOUS 10417 HAS SOUPS 10417 WITH SCORE 10466.134
AT ITER 4751 NEW BEST:: SOT 61429 SOS 49133 HAS SOPS 49133 HAS SOUS 10413 HAS SOUPS 10413 WITH SCORE 10462.133
AT ITER 4772 NEW BEST:: SOT 61429 SOS 49155 HAS SOPS 49155 HAS SOUS 10389 HAS SOUPS 10389 WITH SCORE 10438.155
AT ITER 4776 NEW BEST:: SOT 61420 SOS 49146 HAS SOPS 49146 HAS SOUS 10388 HAS SOUPS 10388 WITH SCORE 10437.146
AT ITER 4802 NEW BEST:: SOT 61418 SOS 49144 HAS SOPS 49144 HAS SOUS 10384 HAS SOUPS 10384 WITH SCORE 10433.144
AT ITER 4805 NEW BEST:: SOT 61394 SOS 49092 HAS SOPS 49092 HAS SOUS 10364 HAS SOUPS 10364 WITH SCORE 10413.092
AT ITER 4838 NEW BEST:: SOT 61391 SOS 49089 HAS SOPS 49089 HAS SOUS 10358 HAS SOUPS 10358 WITH SCORE 10407.089
AT ITER 4862 NEW BEST:: SOT 61361 SOS 49059 HAS SOPS 49059 HAS SOUS 10357 HAS SOUPS 10357 WITH SCORE 10406.059
AT ITER 4942 NEW BEST:: SOT 61360 SOS 49058 HAS SOPS 49058 HAS SOUS 10355 HAS SOUPS 10355 WITH SCORE 10404.058
AT ITER 4944 NEW BEST:: SOT 61360 SOS 49044 HAS SOPS 49044 HAS SOUS 10341 HAS SOUPS 10341 WITH SCORE 10390.044
AT ITER 4991 NEW BEST:: SOT 61360 SOS 49044 HAS SOPS 49044 HAS SOUS 10330 HAS SOUPS 10330 WITH SCORE 10379.044
AT ITER 4993 NEW BEST:: SOT 61352 SOS 49036 HAS SOPS 49036 HAS SOUS 10314 HAS SOUPS 10314 WITH SCORE 10363.036
AT ITER 5005 NEW BEST:: SOT 61346 SOS 49001 HAS SOPS 49001 HAS SOUS 10279 HAS SOUPS 10279 WITH SCORE 10328.001
AT ITER 5012 NEW BEST:: SOT 61336 SOS 48963 HAS SOPS 48963 HAS SOUS 10265 HAS SOUPS 10265 WITH SCORE 10313.963
AT ITER 5017 NEW BEST:: SOT 61308 SOS 48935 HAS SOPS 48935 HAS SOUS 10237 HAS SOUPS 10237 WITH SCORE 10285.935
AT ITER 5052 NEW BEST:: SOT 61206 SOS 48833 HAS SOPS 48833 HAS SOUS 10203 HAS SOUPS 10203 WITH SCORE 10251.833
AT ITER 5102 NEW BEST:: SOT 61197 SOS 48786 HAS SOPS 48786 HAS SOUS 10185 HAS SOUPS 10185 WITH SCORE 10233.786
AT ITER 5194 NEW BEST:: SOT 61182 SOS 48759 HAS SOPS 48759 HAS SOUS 10158 HAS SOUPS 10158 WITH SCORE 10206.759
AT ITER 5207 NEW BEST:: SOT 61180 SOS 48757 HAS SOPS 48757 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10202.757
AT ITER 5249 NEW BEST:: SOT 61101 SOS 48678 HAS SOPS 48678 HAS SOUS 10154 HAS SOUPS 10154 WITH SCORE 10202.678
AT ITER 5250 NEW BEST:: SOT 61058 SOS 48635 HAS SOPS 48635 HAS SOUS 10111 HAS SOUPS 10111 WITH SCORE 10159.635
AT ITER 5282 NEW BEST:: SOT 61064 SOS 48633 HAS SOPS 48633 HAS SOUS 10109 HAS SOUPS 10109 WITH SCORE 10157.633
AT ITER 5325 NEW BEST:: SOT 61072 SOS 48641 HAS SOPS 48641 HAS SOUS 10103 HAS SOUPS 10103 WITH SCORE 10151.641
AT ITER 5362 NEW BEST:: SOT 61069 SOS 48638 HAS SOPS 48638 HAS SOUS 10097 HAS SOUPS 10097 WITH SCORE 10145.638
AT ITER 5365 NEW BEST:: SOT 61057 SOS 48626 HAS SOPS 48626 HAS SOUS 10073 HAS SOUPS 10073 WITH SCORE 10121.626
AT ITER 5367 NEW BEST:: SOT 61053 SOS 48622 HAS SOPS 48622 HAS SOUS 10065 HAS SOUPS 10065 WITH SCORE 10113.622
AT ITER 5391 NEW BEST:: SOT 61025 SOS 48594 HAS SOPS 48594 HAS SOUS 10063 HAS SOUPS 10063 WITH SCORE 10111.594
AT ITER 5444 NEW BEST:: SOT 61016 SOS 48585 HAS SOPS 48585 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10104.585
AT ITER 5455 NEW BEST:: SOT 61012 SOS 48581 HAS SOPS 48581 HAS SOUS 10056 HAS SOUPS 10056 WITH SCORE 10104.581
AT ITER 5462 NEW BEST:: SOT 61027 SOS 48596 HAS SOPS 48596 HAS SOUS 10047 HAS SOUPS 10047 WITH SCORE 10095.596
AT ITER 5487 NEW BEST:: SOT 61025 SOS 48594 HAS SOPS 48594 HAS SOUS 10043 HAS SOUPS 10043 WITH SCORE 10091.594
AT ITER 5511 NEW BEST:: SOT 61025 SOS 48594 HAS SOPS 48594 HAS SOUS 10013 HAS SOUPS 10013 WITH SCORE 10061.594
AT ITER 5512 NEW BEST:: SOT 61021 SOS 48590 HAS SOPS 48590 HAS SOUS 10005 HAS SOUPS 10005 WITH SCORE 10053.59
AT ITER 5520 NEW BEST:: SOT 61021 SOS 48590 HAS SOPS 48590 HAS SOUS 9997 HAS SOUPS 9997 WITH SCORE 10045.59
AT ITER 5531 NEW BEST:: SOT 61020 SOS 48589 HAS SOPS 48589 HAS SOUS 9995 HAS SOUPS 9995 WITH SCORE 10043.589
AT ITER 5650 NEW BEST:: SOT 60979 SOS 48551 HAS SOPS 48551 HAS SOUS 9966 HAS SOUPS 9966 WITH SCORE 10014.551
AT ITER 5671 NEW BEST:: SOT 60979 SOS 48541 HAS SOPS 48541 HAS SOUS 9956 HAS SOUPS 9956 WITH SCORE 10004.541
AT ITER 5687 NEW BEST:: SOT 60969 SOS 48531 HAS SOPS 48531 HAS SOUS 9936 HAS SOUPS 9936 WITH SCORE 9984.531
AT ITER 5724 NEW BEST:: SOT 60950 SOS 48512 HAS SOPS 48512 HAS SOUS 9917 HAS SOUPS 9917 WITH SCORE 9965.512
AT ITER 5731 NEW BEST:: SOT 60934 SOS 48496 HAS SOPS 48496 HAS SOUS 9898 HAS SOUPS 9898 WITH SCORE 9946.496
AT ITER 5755 NEW BEST:: SOT 60937 SOS 48499 HAS SOPS 48499 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9945.499
AT ITER 5812 NEW BEST:: SOT 60921 SOS 48478 HAS SOPS 48478 HAS SOUS 9876 HAS SOUPS 9876 WITH SCORE 9924.478
AT ITER 5836 NEW BEST:: SOT 60907 SOS 48464 HAS SOPS 48464 HAS SOUS 9828 HAS SOUPS 9828 WITH SCORE 9876.464
AT ITER 5845 NEW BEST:: SOT 60888 SOS 48393 HAS SOPS 48393 HAS SOUS 9763 HAS SOUPS 9763 WITH SCORE 9811.393
AT ITER 5887 NEW BEST:: SOT 60887 SOS 48392 HAS SOPS 48392 HAS SOUS 9761 HAS SOUPS 9761 WITH SCORE 9809.392
AT ITER 5895 NEW BEST:: SOT 60879 SOS 48384 HAS SOPS 48384 HAS SOUS 9707 HAS SOUPS 9707 WITH SCORE 9755.384
AT ITER 5896 NEW BEST:: SOT 60878 SOS 48383 HAS SOPS 48383 HAS SOUS 9705 HAS SOUPS 9705 WITH SCORE 9753.383
AT ITER 5943 NEW BEST:: SOT 60875 SOS 48380 HAS SOPS 48380 HAS SOUS 9702 HAS SOUPS 9702 WITH SCORE 9750.38
AT ITER 5977 NEW BEST:: SOT 60867 SOS 48372 HAS SOPS 48372 HAS SOUS 9686 HAS SOUPS 9686 WITH SCORE 9734.372
AT ITER 6023 NEW BEST:: SOT 60866 SOS 48371 HAS SOPS 48371 HAS SOUS 9685 HAS SOUPS 9685 WITH SCORE 9733.371
AT ITER 6027 NEW BEST:: SOT 60854 SOS 48359 HAS SOPS 48359 HAS SOUS 9660 HAS SOUPS 9660 WITH SCORE 9708.359
AT ITER 6081 NEW BEST:: SOT 60870 SOS 48355 HAS SOPS 48355 HAS SOUS 9656 HAS SOUPS 9656 WITH SCORE 9704.355
AT ITER 6091 NEW BEST:: SOT 60792 SOS 48195 HAS SOPS 48195 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9630.195
AT ITER 6186 NEW BEST:: SOT 60792 SOS 48194 HAS SOPS 48194 HAS SOUS 9581 HAS SOUPS 9581 WITH SCORE 9629.194
AT ITER 6309 NEW BEST:: SOT 60777 SOS 48169 HAS SOPS 48169 HAS SOUS 9561 HAS SOUPS 9561 WITH SCORE 9609.169
AT ITER 6316 NEW BEST:: SOT 60776 SOS 48168 HAS SOPS 48168 HAS SOUS 9560 HAS SOUPS 9560 WITH SCORE 9608.168
AT ITER 6393 NEW BEST:: SOT 60770 SOS 48162 HAS SOPS 48162 HAS SOUS 9548 HAS SOUPS 9548 WITH SCORE 9596.162
AT ITER 6411 NEW BEST:: SOT 60744 SOS 48136 HAS SOPS 48136 HAS SOUS 9546 HAS SOUPS 9546 WITH SCORE 9594.136
AT ITER 6459 NEW BEST:: SOT 60743 SOS 48135 HAS SOPS 48135 HAS SOUS 9544 HAS SOUPS 9544 WITH SCORE 9592.135
AT ITER 6478 NEW BEST:: SOT 60721 SOS 48113 HAS SOPS 48113 HAS SOUS 9527 HAS SOUPS 9527 WITH SCORE 9575.113
AT ITER 6511 NEW BEST:: SOT 60696 SOS 48056 HAS SOPS 48056 HAS SOUS 9503 HAS SOUPS 9503 WITH SCORE 9551.056
AT ITER 6603 NEW BEST:: SOT 60688 SOS 48048 HAS SOPS 48048 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9535.048
AT ITER 6661 NEW BEST:: SOT 60680 SOS 48040 HAS SOPS 48040 HAS SOUS 9487 HAS SOUPS 9487 WITH SCORE 9535.04
AT ITER 6730 NEW BEST:: SOT 60673 SOS 48028 HAS SOPS 48028 HAS SOUS 9482 HAS SOUPS 9482 WITH SCORE 9530.028
AT ITER 6736 NEW BEST:: SOT 60671 SOS 48026 HAS SOPS 48026 HAS SOUS 9478 HAS SOUPS 9478 WITH SCORE 9526.026
AT ITER 6740 NEW BEST:: SOT 60668 SOS 48023 HAS SOPS 48023 HAS SOUS 9475 HAS SOUPS 9475 WITH SCORE 9523.023
AT ITER 6767 NEW BEST:: SOT 60666 SOS 48021 HAS SOPS 48021 HAS SOUS 9471 HAS SOUPS 9471 WITH SCORE 9519.021
AT ITER 6770 NEW BEST:: SOT 60670 SOS 48035 HAS SOPS 48035 HAS SOUS 9469 HAS SOUPS 9469 WITH SCORE 9517.035
AT ITER 6883 NEW BEST:: SOT 60667 SOS 48032 HAS SOPS 48032 HAS SOUS 9463 HAS SOUPS 9463 WITH SCORE 9511.032
AT ITER 6925 NEW BEST:: SOT 60656 SOS 48021 HAS SOPS 48021 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9489.021
AT ITER 6936 NEW BEST:: SOT 60656 SOS 48009 HAS SOPS 48009 HAS SOUS 9441 HAS SOUPS 9441 WITH SCORE 9489.009
AT ITER 6974 NEW BEST:: SOT 60598 SOS 47951 HAS SOPS 47951 HAS SOUS 9395 HAS SOUPS 9395 WITH SCORE 9442.951
AT ITER 7037 NEW BEST:: SOT 60598 SOS 47951 HAS SOPS 47951 HAS SOUS 9379 HAS SOUPS 9379 WITH SCORE 9426.951
AT ITER 7236 NEW BEST:: SOT 60596 SOS 47949 HAS SOPS 47949 HAS SOUS 9375 HAS SOUPS 9375 WITH SCORE 9422.949
AT ITER 7248 NEW BEST:: SOT 60539 SOS 47892 HAS SOPS 47892 HAS SOUS 9318 HAS SOUPS 9318 WITH SCORE 9365.892
AT ITER 7260 NEW BEST:: SOT 60533 SOS 47886 HAS SOPS 47886 HAS SOUS 9312 HAS SOUPS 9312 WITH SCORE 9359.886
AT ITER 7336 NEW BEST:: SOT 60509 SOS 47921 HAS SOPS 47921 HAS SOUS 9307 HAS SOUPS 9307 WITH SCORE 9354.921
AT ITER 7343 NEW BEST:: SOT 60486 SOS 47898 HAS SOPS 47898 HAS SOUS 9284 HAS SOUPS 9284 WITH SCORE 9331.898
AT ITER 7405 NEW BEST:: SOT 60486 SOS 47896 HAS SOPS 47896 HAS SOUS 9283 HAS SOUPS 9283 WITH SCORE 9330.896
AT ITER 7466 NEW BEST:: SOT 60485 SOS 47895 HAS SOPS 47895 HAS SOUS 9281 HAS SOUPS 9281 WITH SCORE 9328.895
AT ITER 7508 NEW BEST:: SOT 60485 SOS 47890 HAS SOPS 47890 HAS SOUS 9276 HAS SOUPS 9276 WITH SCORE 9323.89
AT ITER 7518 NEW BEST:: SOT 60478 SOS 47883 HAS SOPS 47883 HAS SOUS 9270 HAS SOUPS 9270 WITH SCORE 9317.883
AT ITER 7600 NEW BEST:: SOT 60473 SOS 47878 HAS SOPS 47878 HAS SOUS 9260 HAS SOUPS 9260 WITH SCORE 9307.878
AT ITER 7620 NEW BEST:: SOT 60472 SOS 47877 HAS SOPS 47877 HAS SOUS 9258 HAS SOUPS 9258 WITH SCORE 9305.877
AT ITER 7632 NEW BEST:: SOT 60472 SOS 47877 HAS SOPS 47877 HAS SOUS 9257 HAS SOUPS 9257 WITH SCORE 9304.877
AT ITER 7644 NEW BEST:: SOT 60462 SOS 47867 HAS SOPS 47867 HAS SOUS 9247 HAS SOUPS 9247 WITH SCORE 9294.867
AT ITER 7689 NEW BEST:: SOT 60462 SOS 47867 HAS SOPS 47867 HAS SOUS 9245 HAS SOUPS 9245 WITH SCORE 9292.867
AT ITER 7696 NEW BEST:: SOT 60450 SOS 47852 HAS SOPS 47852 HAS SOUS 9233 HAS SOUPS 9233 WITH SCORE 9280.852
AT ITER 7728 NEW BEST:: SOT 60468 SOS 47870 HAS SOPS 47870 HAS SOUS 9198 HAS SOUPS 9198 WITH SCORE 9245.87
AT ITER 7767 NEW BEST:: SOT 60463 SOS 47865 HAS SOPS 47865 HAS SOUS 9188 HAS SOUPS 9188 WITH SCORE 9235.865
AT ITER 7788 NEW BEST:: SOT 60464 SOS 47866 HAS SOPS 47866 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9234.866
AT ITER 7811 NEW BEST:: SOT 60461 SOS 47863 HAS SOPS 47863 HAS SOUS 9187 HAS SOUPS 9187 WITH SCORE 9234.863
AT ITER 7831 NEW BEST:: SOT 60449 SOS 47851 HAS SOPS 47851 HAS SOUS 9175 HAS SOUPS 9175 WITH SCORE 9222.851
AT ITER 7861 NEW BEST:: SOT 60444 SOS 47846 HAS SOPS 47846 HAS SOUS 9165 HAS SOUPS 9165 WITH SCORE 9212.846
AT ITER 7930 NEW BEST:: SOT 60384 SOS 47786 HAS SOPS 47786 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9167.786
AT ITER 7960 NEW BEST:: SOT 60383 SOS 47785 HAS SOPS 47785 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9166.785
AT ITER 8027 NEW BEST:: SOT 60376 SOS 47778 HAS SOPS 47778 HAS SOUS 9105 HAS SOUPS 9105 WITH SCORE 9152.778
AT ITER 8077 NEW BEST:: SOT 60323 SOS 47705 HAS SOPS 47705 HAS SOUS 9055 HAS SOUPS 9055 WITH SCORE 9102.705
AT ITER 8148 NEW BEST:: SOT 60316 SOS 47742 HAS SOPS 47742 HAS SOUS 9044 HAS SOUPS 9044 WITH SCORE 9091.742
AT ITER 8150 NEW BEST:: SOT 60299 SOS 47696 HAS SOPS 47696 HAS SOUS 9033 HAS SOUPS 9033 WITH SCORE 9080.696
AT ITER 8237 NEW BEST:: SOT 60290 SOS 47687 HAS SOPS 47687 HAS SOUS 9027 HAS SOUPS 9027 WITH SCORE 9074.687
AT ITER 8337 NEW BEST:: SOT 60279 SOS 47669 HAS SOPS 47669 HAS SOUS 9011 HAS SOUPS 9011 WITH SCORE 9058.669
AT ITER 8340 NEW BEST:: SOT 60268 SOS 47650 HAS SOPS 47650 HAS SOUS 8992 HAS SOUPS 8992 WITH SCORE 9039.65
AT ITER 8396 NEW BEST:: SOT 60267 SOS 47649 HAS SOPS 47649 HAS SOUS 8990 HAS SOUPS 8990 WITH SCORE 9037.649
AT ITER 8467 NEW BEST:: SOT 60263 SOS 47641 HAS SOPS 47641 HAS SOUS 8986 HAS SOUPS 8986 WITH SCORE 9033.641
AT ITER 8490 NEW BEST:: SOT 60255 SOS 47633 HAS SOPS 47633 HAS SOUS 8978 HAS SOUPS 8978 WITH SCORE 9025.633
AT ITER 8550 NEW BEST:: SOT 60253 SOS 47631 HAS SOPS 47631 HAS SOUS 8974 HAS SOUPS 8974 WITH SCORE 9021.631
AT ITER 8558 NEW BEST:: SOT 60253 SOS 47496 HAS SOPS 47496 HAS SOUS 8929 HAS SOUPS 8929 WITH SCORE 8976.496
AT ITER 8568 NEW BEST:: SOT 60232 SOS 47475 HAS SOPS 47475 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8955.475
AT ITER 8595 NEW BEST:: SOT 60231 SOS 47474 HAS SOPS 47474 HAS SOUS 8906 HAS SOUPS 8906 WITH SCORE 8953.474
AT ITER 8697 NEW BEST:: SOT 60228 SOS 47468 HAS SOPS 47468 HAS SOUS 8900 HAS SOUPS 8900 WITH SCORE 8947.468
AT ITER 8721 NEW BEST:: SOT 60213 SOS 47468 HAS SOPS 47468 HAS SOUS 8890 HAS SOUPS 8890 WITH SCORE 8937.468
AT ITER 8730 NEW BEST:: SOT 60187 SOS 47442 HAS SOPS 47442 HAS SOUS 8888 HAS SOUPS 8888 WITH SCORE 8935.442
AT ITER 8737 NEW BEST:: SOT 60177 SOS 47421 HAS SOPS 47421 HAS SOUS 8867 HAS SOUPS 8867 WITH SCORE 8914.421
AT ITER 8751 NEW BEST:: SOT 60174 SOS 47418 HAS SOPS 47418 HAS SOUS 8861 HAS SOUPS 8861 WITH SCORE 8908.418
AT ITER 8789 NEW BEST:: SOT 60164 SOS 47408 HAS SOPS 47408 HAS SOUS 8852 HAS SOUPS 8852 WITH SCORE 8899.408
AT ITER 8806 NEW BEST:: SOT 60152 SOS 47396 HAS SOPS 47396 HAS SOUS 8828 HAS SOUPS 8828 WITH SCORE 8875.396
AT ITER 8885 NEW BEST:: SOT 60145 SOS 47382 HAS SOPS 47382 HAS SOUS 8814 HAS SOUPS 8814 WITH SCORE 8861.382
AT ITER 8999 NEW BEST:: SOT 60140 SOS 47377 HAS SOPS 47377 HAS SOUS 8804 HAS SOUPS 8804 WITH SCORE 8851.377
AT ITER 9014 NEW BEST:: SOT 60276 SOS 47513 HAS SOPS 47513 HAS SOUS 8797 HAS SOUPS 8797 WITH SCORE 8844.513
AT ITER 9045 NEW BEST:: SOT 60275 SOS 47512 HAS SOPS 47512 HAS SOUS 8659 HAS SOUPS 8659 WITH SCORE 8706.512
AT ITER 9201 NEW BEST:: SOT 60260 SOS 47508 HAS SOPS 47508 HAS SOUS 8655 HAS SOUPS 8655 WITH SCORE 8702.508
AT ITER 9208 NEW BEST:: SOT 60258 SOS 47506 HAS SOPS 47506 HAS SOUS 8651 HAS SOUPS 8651 WITH SCORE 8698.506
AT ITER 9224 NEW BEST:: SOT 60257 SOS 47505 HAS SOPS 47505 HAS SOUS 8648 HAS SOUPS 8648 WITH SCORE 8695.505
AT ITER 9232 NEW BEST:: SOT 60256 SOS 47504 HAS SOPS 47504 HAS SOUS 8646 HAS SOUPS 8646 WITH SCORE 8693.504
AT ITER 9275 NEW BEST:: SOT 60252 SOS 47495 HAS SOPS 47495 HAS SOUS 8637 HAS SOUPS 8637 WITH SCORE 8684.495
AT ITER 9325 NEW BEST:: SOT 60250 SOS 47493 HAS SOPS 47493 HAS SOUS 8633 HAS SOUPS 8633 WITH SCORE 8680.493
AT ITER 9340 NEW BEST:: SOT 60250 SOS 47493 HAS SOPS 47493 HAS SOUS 8632 HAS SOUPS 8632 WITH SCORE 8679.493
AT ITER 9367 NEW BEST:: SOT 60243 SOS 47486 HAS SOPS 47486 HAS SOUS 8618 HAS SOUPS 8618 WITH SCORE 8665.486
AT ITER 9511 NEW BEST:: SOT 60239 SOS 47482 HAS SOPS 47482 HAS SOUS 8610 HAS SOUPS 8610 WITH SCORE 8657.482
AT ITER 9516 NEW BEST:: SOT 60230 SOS 47473 HAS SOPS 47473 HAS SOUS 8592 HAS SOUPS 8592 WITH SCORE 8639.473
AT ITER 9540 NEW BEST:: SOT 60229 SOS 47472 HAS SOPS 47472 HAS SOUS 8590 HAS SOUPS 8590 WITH SCORE 8637.472
AT ITER 9551 NEW BEST:: SOT 60228 SOS 47471 HAS SOPS 47471 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8635.471
AT ITER 9586 NEW BEST:: SOT 60222 SOS 47465 HAS SOPS 47465 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8635.465
AT ITER 9609 NEW BEST:: SOT 60202 SOS 47445 HAS SOPS 47445 HAS SOUS 8588 HAS SOUPS 8588 WITH SCORE 8635.445
AT ITER 9657 NEW BEST:: SOT 60189 SOS 47432 HAS SOPS 47432 HAS SOUS 8562 HAS SOUPS 8562 WITH SCORE 8609.432
AT ITER 9703 NEW BEST:: SOT 60182 SOS 47425 HAS SOPS 47425 HAS SOUS 8558 HAS SOUPS 8558 WITH SCORE 8605.425
AT ITER 9777 NEW BEST:: SOT 60178 SOS 47421 HAS SOPS 47421 HAS SOUS 8554 HAS SOUPS 8554 WITH SCORE 8601.421
AT ITER 9790 NEW BEST:: SOT 60162 SOS 47405 HAS SOPS 47405 HAS SOUS 8546 HAS SOUPS 8546 WITH SCORE 8593.405
AT ITER 9852 NEW BEST:: SOT 60162 SOS 47404 HAS SOPS 47404 HAS SOUS 8545 HAS SOUPS 8545 WITH SCORE 8592.404
AT ITER 9902 NEW BEST:: SOT 60155 SOS 47397 HAS SOPS 47397 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8578.397
AT ITER 9918 NEW BEST:: SOT 60154 SOS 47396 HAS SOPS 47396 HAS SOUS 8531 HAS SOUPS 8531 WITH SCORE 8578.396
AT ITER 9938 NEW BEST:: SOT 60150 SOS 47388 HAS SOPS 47388 HAS SOUS 8527 HAS SOUPS 8527 WITH SCORE 8574.388
AT ITER 9997 NEW BEST:: SOT 60150 SOS 47388 HAS SOPS 47388 HAS SOUS 8526 HAS SOUPS 8526 WITH SCORE 8573.388

BK_TIME_CONFINEMENT_REACHED

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

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="DES-PT-60a"
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"

# 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-4028"
echo " Executing tool smart"
echo " Input is DES-PT-60a, 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 r048-ebro-158902542000328"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/DES-PT-60a.tgz
mv DES-PT-60a 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 ;