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.r207-tajo-159033469200280.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 ShieldIIPt-PT-004B, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469200280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 228K
-rw-r--r-- 1 mcc users 3.0K May 14 00:57 CTLCardinality.txt
-rw-r--r-- 1 mcc users 16K May 14 00:57 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K May 13 18:13 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 18:13 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K May 14 10:02 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K May 14 10:02 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K May 14 10:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 13:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K May 13 13:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 13 08:01 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 08:01 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 67K May 12 20:42 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 1590439221126

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

Filename model.pnml
Petri model created: 283 places, 263 transitions, 654 arcs.
AT ITER 0 NEW BEST:: SOT 41710 SOS 13012 HAS SOPS 13012 HAS SOUS 11807 HAS SOUPS 11807 WITH SCORE 11820.012
AT ITER 24 NEW BEST:: SOT 41710 SOS 12979 HAS SOPS 12979 HAS SOUS 11774 HAS SOUPS 11774 WITH SCORE 11786.979
AT ITER 26 NEW BEST:: SOT 41706 SOS 13003 HAS SOPS 13003 HAS SOUS 11770 HAS SOUPS 11770 WITH SCORE 11783.003
AT ITER 37 NEW BEST:: SOT 41688 SOS 12967 HAS SOPS 12967 HAS SOUS 11749 HAS SOUPS 11749 WITH SCORE 11761.967
AT ITER 40 NEW BEST:: SOT 41688 SOS 12942 HAS SOPS 12942 HAS SOUS 11723 HAS SOUPS 11723 WITH SCORE 11735.942
AT ITER 65 NEW BEST:: SOT 41677 SOS 12906 HAS SOPS 12906 HAS SOUS 11698 HAS SOUPS 11698 WITH SCORE 11710.906
AT ITER 87 NEW BEST:: SOT 41677 SOS 12922 HAS SOPS 12922 HAS SOUS 11695 HAS SOUPS 11695 WITH SCORE 11707.922
AT ITER 97 NEW BEST:: SOT 41677 SOS 12928 HAS SOPS 12928 HAS SOUS 11694 HAS SOUPS 11694 WITH SCORE 11706.928
AT ITER 99 NEW BEST:: SOT 41610 SOS 12751 HAS SOPS 12751 HAS SOUS 11614 HAS SOUPS 11614 WITH SCORE 11626.751
AT ITER 119 NEW BEST:: SOT 41610 SOS 12750 HAS SOPS 12750 HAS SOUS 11613 HAS SOUPS 11613 WITH SCORE 11625.75
AT ITER 127 NEW BEST:: SOT 41629 SOS 12766 HAS SOPS 12766 HAS SOUS 11611 HAS SOUPS 11611 WITH SCORE 11623.766
AT ITER 138 NEW BEST:: SOT 41602 SOS 12712 HAS SOPS 12712 HAS SOUS 11557 HAS SOUPS 11557 WITH SCORE 11569.712
AT ITER 140 NEW BEST:: SOT 41619 SOS 12660 HAS SOPS 12660 HAS SOUS 11545 HAS SOUPS 11545 WITH SCORE 11557.66
AT ITER 141 NEW BEST:: SOT 41618 SOS 12638 HAS SOPS 12638 HAS SOUS 11523 HAS SOUPS 11523 WITH SCORE 11535.638
AT ITER 165 NEW BEST:: SOT 41624 SOS 12606 HAS SOPS 12606 HAS SOUS 11491 HAS SOUPS 11491 WITH SCORE 11503.606
AT ITER 170 NEW BEST:: SOT 41586 SOS 12492 HAS SOPS 12492 HAS SOUS 11415 HAS SOUPS 11415 WITH SCORE 11427.492
AT ITER 178 NEW BEST:: SOT 41577 SOS 12465 HAS SOPS 12465 HAS SOUS 11397 HAS SOUPS 11397 WITH SCORE 11409.465
AT ITER 189 NEW BEST:: SOT 41570 SOS 12458 HAS SOPS 12458 HAS SOUS 11390 HAS SOUPS 11390 WITH SCORE 11402.458
AT ITER 209 NEW BEST:: SOT 41570 SOS 12469 HAS SOPS 12469 HAS SOUS 11381 HAS SOUPS 11381 WITH SCORE 11393.469
AT ITER 216 NEW BEST:: SOT 41570 SOS 12453 HAS SOPS 12453 HAS SOUS 11365 HAS SOUPS 11365 WITH SCORE 11377.453
AT ITER 218 NEW BEST:: SOT 41569 SOS 12452 HAS SOPS 12452 HAS SOUS 11364 HAS SOUPS 11364 WITH SCORE 11376.452
AT ITER 222 NEW BEST:: SOT 41542 SOS 12460 HAS SOPS 12460 HAS SOUS 11337 HAS SOUPS 11337 WITH SCORE 11349.46
AT ITER 224 NEW BEST:: SOT 41499 SOS 12337 HAS SOPS 12337 HAS SOUS 11275 HAS SOUPS 11275 WITH SCORE 11287.337
AT ITER 235 NEW BEST:: SOT 41508 SOS 12306 HAS SOPS 12306 HAS SOUS 11244 HAS SOUPS 11244 WITH SCORE 11256.306
AT ITER 248 NEW BEST:: SOT 41460 SOS 12284 HAS SOPS 12284 HAS SOUS 11221 HAS SOUPS 11221 WITH SCORE 11233.284
AT ITER 252 NEW BEST:: SOT 41459 SOS 12247 HAS SOPS 12247 HAS SOUS 11219 HAS SOUPS 11219 WITH SCORE 11231.247
AT ITER 267 NEW BEST:: SOT 41461 SOS 12159 HAS SOPS 12159 HAS SOUS 11193 HAS SOUPS 11193 WITH SCORE 11205.159
AT ITER 298 NEW BEST:: SOT 41454 SOS 12131 HAS SOPS 12131 HAS SOUS 11172 HAS SOUPS 11172 WITH SCORE 11184.131
AT ITER 327 NEW BEST:: SOT 41498 SOS 12120 HAS SOPS 12120 HAS SOUS 11165 HAS SOUPS 11165 WITH SCORE 11177.12
AT ITER 346 NEW BEST:: SOT 41520 SOS 12075 HAS SOPS 12075 HAS SOUS 11126 HAS SOUPS 11126 WITH SCORE 11138.075
AT ITER 353 NEW BEST:: SOT 41502 SOS 12057 HAS SOPS 12057 HAS SOUS 11108 HAS SOUPS 11108 WITH SCORE 11120.057
AT ITER 354 NEW BEST:: SOT 41497 SOS 12042 HAS SOPS 12042 HAS SOUS 11098 HAS SOUPS 11098 WITH SCORE 11110.042
AT ITER 355 NEW BEST:: SOT 41425 SOS 11994 HAS SOPS 11994 HAS SOUS 11050 HAS SOUPS 11050 WITH SCORE 11061.994
AT ITER 375 NEW BEST:: SOT 41425 SOS 11964 HAS SOPS 11964 HAS SOUS 11020 HAS SOUPS 11020 WITH SCORE 11031.964
AT ITER 384 NEW BEST:: SOT 41425 SOS 11961 HAS SOPS 11961 HAS SOUS 11017 HAS SOUPS 11017 WITH SCORE 11028.961
AT ITER 388 NEW BEST:: SOT 41412 SOS 11935 HAS SOPS 11935 HAS SOUS 10978 HAS SOUPS 10978 WITH SCORE 10989.935
AT ITER 399 NEW BEST:: SOT 41380 SOS 11846 HAS SOPS 11846 HAS SOUS 10924 HAS SOUPS 10924 WITH SCORE 10935.846
AT ITER 400 NEW BEST:: SOT 41362 SOS 11828 HAS SOPS 11828 HAS SOUS 10906 HAS SOUPS 10906 WITH SCORE 10917.828
AT ITER 403 NEW BEST:: SOT 41371 SOS 11816 HAS SOPS 11816 HAS SOUS 10894 HAS SOUPS 10894 WITH SCORE 10905.816
AT ITER 410 NEW BEST:: SOT 41371 SOS 11814 HAS SOPS 11814 HAS SOUS 10892 HAS SOUPS 10892 WITH SCORE 10903.814
AT ITER 414 NEW BEST:: SOT 41397 SOS 11813 HAS SOPS 11813 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10902.813
AT ITER 418 NEW BEST:: SOT 41402 SOS 11808 HAS SOPS 11808 HAS SOUS 10891 HAS SOUPS 10891 WITH SCORE 10902.808
AT ITER 433 NEW BEST:: SOT 41402 SOS 11834 HAS SOPS 11834 HAS SOUS 10887 HAS SOUPS 10887 WITH SCORE 10898.834
AT ITER 438 NEW BEST:: SOT 41403 SOS 11816 HAS SOPS 11816 HAS SOUS 10879 HAS SOUPS 10879 WITH SCORE 10890.816
AT ITER 439 NEW BEST:: SOT 41395 SOS 11837 HAS SOPS 11837 HAS SOUS 10857 HAS SOUPS 10857 WITH SCORE 10868.837
AT ITER 441 NEW BEST:: SOT 41354 SOS 11830 HAS SOPS 11830 HAS SOUS 10844 HAS SOUPS 10844 WITH SCORE 10855.83
AT ITER 449 NEW BEST:: SOT 41354 SOS 11837 HAS SOPS 11837 HAS SOUS 10830 HAS SOUPS 10830 WITH SCORE 10841.837
AT ITER 454 NEW BEST:: SOT 41354 SOS 11829 HAS SOPS 11829 HAS SOUS 10828 HAS SOUPS 10828 WITH SCORE 10839.829
AT ITER 455 NEW BEST:: SOT 41352 SOS 11788 HAS SOPS 11788 HAS SOUS 10818 HAS SOUPS 10818 WITH SCORE 10829.788
AT ITER 462 NEW BEST:: SOT 41350 SOS 11758 HAS SOPS 11758 HAS SOUS 10814 HAS SOUPS 10814 WITH SCORE 10825.758
AT ITER 487 NEW BEST:: SOT 41265 SOS 11733 HAS SOPS 11733 HAS SOUS 10807 HAS SOUPS 10807 WITH SCORE 10818.733
AT ITER 491 NEW BEST:: SOT 41294 SOS 11761 HAS SOPS 11761 HAS SOUS 10806 HAS SOUPS 10806 WITH SCORE 10817.761
AT ITER 495 NEW BEST:: SOT 41293 SOS 11760 HAS SOPS 11760 HAS SOUS 10805 HAS SOUPS 10805 WITH SCORE 10816.76
AT ITER 496 NEW BEST:: SOT 41293 SOS 11730 HAS SOPS 11730 HAS SOUS 10775 HAS SOUPS 10775 WITH SCORE 10786.73
AT ITER 499 NEW BEST:: SOT 41241 SOS 11626 HAS SOPS 11626 HAS SOUS 10671 HAS SOUPS 10671 WITH SCORE 10682.626
AT ITER 522 NEW BEST:: SOT 41243 SOS 11499 HAS SOPS 11499 HAS SOUS 10608 HAS SOUPS 10608 WITH SCORE 10619.499
AT ITER 528 NEW BEST:: SOT 41243 SOS 11461 HAS SOPS 11461 HAS SOUS 10570 HAS SOUPS 10570 WITH SCORE 10581.461
AT ITER 555 NEW BEST:: SOT 41169 SOS 11415 HAS SOPS 11415 HAS SOUS 10532 HAS SOUPS 10532 WITH SCORE 10543.415
AT ITER 560 NEW BEST:: SOT 41165 SOS 11418 HAS SOPS 11418 HAS SOUS 10530 HAS SOUPS 10530 WITH SCORE 10541.418
AT ITER 567 NEW BEST:: SOT 41130 SOS 11334 HAS SOPS 11334 HAS SOUS 10446 HAS SOUPS 10446 WITH SCORE 10457.334
AT ITER 574 NEW BEST:: SOT 41130 SOS 11318 HAS SOPS 11318 HAS SOUS 10430 HAS SOUPS 10430 WITH SCORE 10441.318
AT ITER 580 NEW BEST:: SOT 41134 SOS 11304 HAS SOPS 11304 HAS SOUS 10416 HAS SOUPS 10416 WITH SCORE 10427.304
AT ITER 589 NEW BEST:: SOT 41134 SOS 11295 HAS SOPS 11295 HAS SOUS 10407 HAS SOUPS 10407 WITH SCORE 10418.295
AT ITER 600 NEW BEST:: SOT 41121 SOS 11249 HAS SOPS 11249 HAS SOUS 10381 HAS SOUPS 10381 WITH SCORE 10392.249
AT ITER 606 NEW BEST:: SOT 41108 SOS 11223 HAS SOPS 11223 HAS SOUS 10351 HAS SOUPS 10351 WITH SCORE 10362.223
AT ITER 631 NEW BEST:: SOT 41153 SOS 11234 HAS SOPS 11234 HAS SOUS 10329 HAS SOUPS 10329 WITH SCORE 10340.234
AT ITER 638 NEW BEST:: SOT 41130 SOS 11206 HAS SOPS 11206 HAS SOUS 10321 HAS SOUPS 10321 WITH SCORE 10332.206
AT ITER 663 NEW BEST:: SOT 41111 SOS 11145 HAS SOPS 11145 HAS SOUS 10281 HAS SOUPS 10281 WITH SCORE 10292.145
AT ITER 667 NEW BEST:: SOT 41025 SOS 11115 HAS SOPS 11115 HAS SOUS 10233 HAS SOUPS 10233 WITH SCORE 10244.115
AT ITER 669 NEW BEST:: SOT 41084 SOS 11174 HAS SOPS 11174 HAS SOUS 10200 HAS SOUPS 10200 WITH SCORE 10211.174
AT ITER 682 NEW BEST:: SOT 41084 SOS 11156 HAS SOPS 11156 HAS SOUS 10182 HAS SOUPS 10182 WITH SCORE 10193.156
AT ITER 699 NEW BEST:: SOT 41066 SOS 11144 HAS SOPS 11144 HAS SOUS 10170 HAS SOUPS 10170 WITH SCORE 10181.144
AT ITER 708 NEW BEST:: SOT 41066 SOS 11094 HAS SOPS 11094 HAS SOUS 10145 HAS SOUPS 10145 WITH SCORE 10156.094
AT ITER 712 NEW BEST:: SOT 41066 SOS 11087 HAS SOPS 11087 HAS SOUS 10143 HAS SOUPS 10143 WITH SCORE 10154.087
AT ITER 719 NEW BEST:: SOT 41066 SOS 11077 HAS SOPS 11077 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10150.077
AT ITER 731 NEW BEST:: SOT 41066 SOS 11070 HAS SOPS 11070 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10150.07
AT ITER 760 NEW BEST:: SOT 41066 SOS 11059 HAS SOPS 11059 HAS SOUS 10139 HAS SOUPS 10139 WITH SCORE 10150.059
AT ITER 776 NEW BEST:: SOT 41066 SOS 11056 HAS SOPS 11056 HAS SOUS 10136 HAS SOUPS 10136 WITH SCORE 10147.056
AT ITER 778 NEW BEST:: SOT 41074 SOS 11088 HAS SOPS 11088 HAS SOUS 10121 HAS SOUPS 10121 WITH SCORE 10132.088
AT ITER 780 NEW BEST:: SOT 41045 SOS 11059 HAS SOPS 11059 HAS SOUS 10092 HAS SOUPS 10092 WITH SCORE 10103.059
AT ITER 791 NEW BEST:: SOT 41045 SOS 11059 HAS SOPS 11059 HAS SOUS 10091 HAS SOUPS 10091 WITH SCORE 10102.059
AT ITER 796 NEW BEST:: SOT 41032 SOS 11051 HAS SOPS 11051 HAS SOUS 10083 HAS SOUPS 10083 WITH SCORE 10094.051
AT ITER 804 NEW BEST:: SOT 40933 SOS 10991 HAS SOPS 10991 HAS SOUS 10029 HAS SOUPS 10029 WITH SCORE 10039.991
AT ITER 815 NEW BEST:: SOT 40905 SOS 10935 HAS SOPS 10935 HAS SOUS 10004 HAS SOUPS 10004 WITH SCORE 10014.935
AT ITER 817 NEW BEST:: SOT 40902 SOS 10931 HAS SOPS 10931 HAS SOUS 10003 HAS SOUPS 10003 WITH SCORE 10013.931
AT ITER 819 NEW BEST:: SOT 40904 SOS 10878 HAS SOPS 10878 HAS SOUS 9950 HAS SOUPS 9950 WITH SCORE 9960.878
AT ITER 823 NEW BEST:: SOT 40904 SOS 10878 HAS SOPS 10878 HAS SOUS 9921 HAS SOUPS 9921 WITH SCORE 9931.878
AT ITER 850 NEW BEST:: SOT 40904 SOS 10876 HAS SOPS 10876 HAS SOUS 9919 HAS SOUPS 9919 WITH SCORE 9929.876
AT ITER 853 NEW BEST:: SOT 40883 SOS 10853 HAS SOPS 10853 HAS SOUS 9897 HAS SOUPS 9897 WITH SCORE 9907.853
AT ITER 860 NEW BEST:: SOT 40866 SOS 10853 HAS SOPS 10853 HAS SOUS 9880 HAS SOUPS 9880 WITH SCORE 9890.853
AT ITER 877 NEW BEST:: SOT 40866 SOS 10847 HAS SOPS 10847 HAS SOUS 9874 HAS SOUPS 9874 WITH SCORE 9884.847
AT ITER 898 NEW BEST:: SOT 40837 SOS 10747 HAS SOPS 10747 HAS SOUS 9837 HAS SOUPS 9837 WITH SCORE 9847.747
AT ITER 907 NEW BEST:: SOT 40830 SOS 10659 HAS SOPS 10659 HAS SOUS 9823 HAS SOUPS 9823 WITH SCORE 9833.659
AT ITER 923 NEW BEST:: SOT 40830 SOS 10659 HAS SOPS 10659 HAS SOUS 9814 HAS SOUPS 9814 WITH SCORE 9824.659
AT ITER 931 NEW BEST:: SOT 40801 SOS 10634 HAS SOPS 10634 HAS SOUS 9789 HAS SOUPS 9789 WITH SCORE 9799.634
AT ITER 933 NEW BEST:: SOT 40834 SOS 10623 HAS SOPS 10623 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9788.623
AT ITER 943 NEW BEST:: SOT 40835 SOS 10622 HAS SOPS 10622 HAS SOUS 9778 HAS SOUPS 9778 WITH SCORE 9788.622
AT ITER 947 NEW BEST:: SOT 40835 SOS 10610 HAS SOPS 10610 HAS SOUS 9749 HAS SOUPS 9749 WITH SCORE 9759.61
AT ITER 952 NEW BEST:: SOT 40781 SOS 10540 HAS SOPS 10540 HAS SOUS 9679 HAS SOUPS 9679 WITH SCORE 9689.54
AT ITER 967 NEW BEST:: SOT 40781 SOS 10535 HAS SOPS 10535 HAS SOUS 9674 HAS SOUPS 9674 WITH SCORE 9684.535
AT ITER 979 NEW BEST:: SOT 40775 SOS 10529 HAS SOPS 10529 HAS SOUS 9662 HAS SOUPS 9662 WITH SCORE 9672.529
AT ITER 1040 NEW BEST:: SOT 40783 SOS 10545 HAS SOPS 10545 HAS SOUS 9647 HAS SOUPS 9647 WITH SCORE 9657.545
AT ITER 1057 NEW BEST:: SOT 40801 SOS 10499 HAS SOPS 10499 HAS SOUS 9643 HAS SOUPS 9643 WITH SCORE 9653.499
AT ITER 1081 NEW BEST:: SOT 40790 SOS 10459 HAS SOPS 10459 HAS SOUS 9621 HAS SOUPS 9621 WITH SCORE 9631.459
AT ITER 1102 NEW BEST:: SOT 40781 SOS 10423 HAS SOPS 10423 HAS SOUS 9602 HAS SOUPS 9602 WITH SCORE 9612.423
AT ITER 1138 NEW BEST:: SOT 40781 SOS 10423 HAS SOPS 10423 HAS SOUS 9582 HAS SOUPS 9582 WITH SCORE 9592.423
AT ITER 1147 NEW BEST:: SOT 40781 SOS 10401 HAS SOPS 10401 HAS SOUS 9574 HAS SOUPS 9574 WITH SCORE 9584.401
AT ITER 1157 NEW BEST:: SOT 40781 SOS 10400 HAS SOPS 10400 HAS SOUS 9573 HAS SOUPS 9573 WITH SCORE 9583.4
AT ITER 1163 NEW BEST:: SOT 40797 SOS 10360 HAS SOPS 10360 HAS SOUS 9553 HAS SOUPS 9553 WITH SCORE 9563.36
AT ITER 1168 NEW BEST:: SOT 40768 SOS 10302 HAS SOPS 10302 HAS SOUS 9534 HAS SOUPS 9534 WITH SCORE 9544.302
AT ITER 1171 NEW BEST:: SOT 40725 SOS 10278 HAS SOPS 10278 HAS SOUS 9510 HAS SOUPS 9510 WITH SCORE 9520.278
AT ITER 1176 NEW BEST:: SOT 40725 SOS 10265 HAS SOPS 10265 HAS SOUS 9497 HAS SOUPS 9497 WITH SCORE 9507.265
AT ITER 1177 NEW BEST:: SOT 40701 SOS 10264 HAS SOPS 10264 HAS SOUS 9449 HAS SOUPS 9449 WITH SCORE 9459.264
AT ITER 1194 NEW BEST:: SOT 40689 SOS 10257 HAS SOPS 10257 HAS SOUS 9437 HAS SOUPS 9437 WITH SCORE 9447.257
AT ITER 1209 NEW BEST:: SOT 40687 SOS 10211 HAS SOPS 10211 HAS SOUS 9433 HAS SOUPS 9433 WITH SCORE 9443.211
AT ITER 1224 NEW BEST:: SOT 40673 SOS 10174 HAS SOPS 10174 HAS SOUS 9396 HAS SOUPS 9396 WITH SCORE 9406.174
AT ITER 1235 NEW BEST:: SOT 40671 SOS 10176 HAS SOPS 10176 HAS SOUS 9394 HAS SOUPS 9394 WITH SCORE 9404.176
AT ITER 1241 NEW BEST:: SOT 40668 SOS 10180 HAS SOPS 10180 HAS SOUS 9391 HAS SOUPS 9391 WITH SCORE 9401.18
AT ITER 1243 NEW BEST:: SOT 40664 SOS 10139 HAS SOPS 10139 HAS SOUS 9383 HAS SOUPS 9383 WITH SCORE 9393.139
AT ITER 1258 NEW BEST:: SOT 40655 SOS 10156 HAS SOPS 10156 HAS SOUS 9374 HAS SOUPS 9374 WITH SCORE 9384.156
AT ITER 1264 NEW BEST:: SOT 40644 SOS 10134 HAS SOPS 10134 HAS SOUS 9352 HAS SOUPS 9352 WITH SCORE 9362.134
AT ITER 1276 NEW BEST:: SOT 40638 SOS 10122 HAS SOPS 10122 HAS SOUS 9346 HAS SOUPS 9346 WITH SCORE 9356.122
AT ITER 1315 NEW BEST:: SOT 40636 SOS 10119 HAS SOPS 10119 HAS SOUS 9343 HAS SOUPS 9343 WITH SCORE 9353.119
AT ITER 1328 NEW BEST:: SOT 40644 SOS 10114 HAS SOPS 10114 HAS SOUS 9330 HAS SOUPS 9330 WITH SCORE 9340.114
AT ITER 1334 NEW BEST:: SOT 40644 SOS 10106 HAS SOPS 10106 HAS SOUS 9322 HAS SOUPS 9322 WITH SCORE 9332.106
AT ITER 1335 NEW BEST:: SOT 40601 SOS 10020 HAS SOPS 10020 HAS SOUS 9259 HAS SOUPS 9259 WITH SCORE 9269.02
AT ITER 1346 NEW BEST:: SOT 40593 SOS 10035 HAS SOPS 10035 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9258.035
AT ITER 1350 NEW BEST:: SOT 40597 SOS 10031 HAS SOPS 10031 HAS SOUS 9248 HAS SOUPS 9248 WITH SCORE 9258.031
AT ITER 1371 NEW BEST:: SOT 40626 SOS 10024 HAS SOPS 10024 HAS SOUS 9241 HAS SOUPS 9241 WITH SCORE 9251.024
AT ITER 1373 NEW BEST:: SOT 40634 SOS 10016 HAS SOPS 10016 HAS SOUS 9225 HAS SOUPS 9225 WITH SCORE 9235.016
AT ITER 1409 NEW BEST:: SOT 40647 SOS 10008 HAS SOPS 10008 HAS SOUS 9183 HAS SOUPS 9183 WITH SCORE 9193.008
AT ITER 1411 NEW BEST:: SOT 40648 SOS 10010 HAS SOPS 10010 HAS SOUS 9177 HAS SOUPS 9177 WITH SCORE 9187.01
AT ITER 1436 NEW BEST:: SOT 40641 SOS 9996 HAS SOPS 9996 HAS SOUS 9163 HAS SOUPS 9163 WITH SCORE 9172.996
AT ITER 1443 NEW BEST:: SOT 40599 SOS 9964 HAS SOPS 9964 HAS SOUS 9120 HAS SOUPS 9120 WITH SCORE 9129.964
AT ITER 1453 NEW BEST:: SOT 40566 SOS 9931 HAS SOPS 9931 HAS SOUS 9119 HAS SOUPS 9119 WITH SCORE 9128.931
AT ITER 1472 NEW BEST:: SOT 40566 SOS 9917 HAS SOPS 9917 HAS SOUS 9105 HAS SOUPS 9105 WITH SCORE 9114.917
AT ITER 1501 NEW BEST:: SOT 40562 SOS 9913 HAS SOPS 9913 HAS SOUS 9097 HAS SOUPS 9097 WITH SCORE 9106.913
AT ITER 1511 NEW BEST:: SOT 40560 SOS 9909 HAS SOPS 9909 HAS SOUS 9095 HAS SOUPS 9095 WITH SCORE 9104.909
AT ITER 1545 NEW BEST:: SOT 40554 SOS 9865 HAS SOPS 9865 HAS SOUS 9051 HAS SOUPS 9051 WITH SCORE 9060.865
AT ITER 1557 NEW BEST:: SOT 40554 SOS 9855 HAS SOPS 9855 HAS SOUS 9041 HAS SOUPS 9041 WITH SCORE 9050.855
AT ITER 1562 NEW BEST:: SOT 40556 SOS 9838 HAS SOPS 9838 HAS SOUS 9024 HAS SOUPS 9024 WITH SCORE 9033.838
AT ITER 1579 NEW BEST:: SOT 40556 SOS 9831 HAS SOPS 9831 HAS SOUS 9021 HAS SOUPS 9021 WITH SCORE 9030.831
AT ITER 1584 NEW BEST:: SOT 40543 SOS 9805 HAS SOPS 9805 HAS SOUS 8995 HAS SOUPS 8995 WITH SCORE 9004.805
AT ITER 1608 NEW BEST:: SOT 40537 SOS 9775 HAS SOPS 9775 HAS SOUS 8975 HAS SOUPS 8975 WITH SCORE 8984.775
AT ITER 1635 NEW BEST:: SOT 40479 SOS 9767 HAS SOPS 9767 HAS SOUS 8967 HAS SOUPS 8967 WITH SCORE 8976.767
AT ITER 1637 NEW BEST:: SOT 40427 SOS 9723 HAS SOPS 9723 HAS SOUS 8908 HAS SOUPS 8908 WITH SCORE 8917.723
AT ITER 1655 NEW BEST:: SOT 40427 SOS 9711 HAS SOPS 9711 HAS SOUS 8902 HAS SOUPS 8902 WITH SCORE 8911.711
AT ITER 1682 NEW BEST:: SOT 40497 SOS 9662 HAS SOPS 9662 HAS SOUS 8835 HAS SOUPS 8835 WITH SCORE 8844.662
AT ITER 1685 NEW BEST:: SOT 40542 SOS 9656 HAS SOPS 9656 HAS SOUS 8829 HAS SOUPS 8829 WITH SCORE 8838.656
AT ITER 1769 NEW BEST:: SOT 40534 SOS 9640 HAS SOPS 9640 HAS SOUS 8800 HAS SOUPS 8800 WITH SCORE 8809.64
AT ITER 1776 NEW BEST:: SOT 40528 SOS 9597 HAS SOPS 9597 HAS SOUS 8793 HAS SOUPS 8793 WITH SCORE 8802.597
AT ITER 1791 NEW BEST:: SOT 40495 SOS 9531 HAS SOPS 9531 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8754.531
AT ITER 1808 NEW BEST:: SOT 40495 SOS 9525 HAS SOPS 9525 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8754.525
AT ITER 1809 NEW BEST:: SOT 40495 SOS 9522 HAS SOPS 9522 HAS SOUS 8745 HAS SOUPS 8745 WITH SCORE 8754.522
AT ITER 1814 NEW BEST:: SOT 40482 SOS 9496 HAS SOPS 9496 HAS SOUS 8732 HAS SOUPS 8732 WITH SCORE 8741.496
AT ITER 1817 NEW BEST:: SOT 40440 SOS 9439 HAS SOPS 9439 HAS SOUS 8713 HAS SOUPS 8713 WITH SCORE 8722.439
AT ITER 1842 NEW BEST:: SOT 40434 SOS 9458 HAS SOPS 9458 HAS SOUS 8698 HAS SOUPS 8698 WITH SCORE 8707.458
AT ITER 1892 NEW BEST:: SOT 40434 SOS 9444 HAS SOPS 9444 HAS SOUS 8684 HAS SOUPS 8684 WITH SCORE 8693.444
AT ITER 1897 NEW BEST:: SOT 40432 SOS 9439 HAS SOPS 9439 HAS SOUS 8679 HAS SOUPS 8679 WITH SCORE 8688.439
AT ITER 1900 NEW BEST:: SOT 40425 SOS 9377 HAS SOPS 9377 HAS SOUS 8672 HAS SOUPS 8672 WITH SCORE 8681.377
AT ITER 1917 NEW BEST:: SOT 40425 SOS 9357 HAS SOPS 9357 HAS SOUS 8652 HAS SOUPS 8652 WITH SCORE 8661.357
AT ITER 1960 NEW BEST:: SOT 40419 SOS 9311 HAS SOPS 9311 HAS SOUS 8606 HAS SOUPS 8606 WITH SCORE 8615.311
AT ITER 1968 NEW BEST:: SOT 40402 SOS 9209 HAS SOPS 9209 HAS SOUS 8540 HAS SOUPS 8540 WITH SCORE 8549.209
AT ITER 1970 NEW BEST:: SOT 40402 SOS 9198 HAS SOPS 9198 HAS SOUS 8529 HAS SOUPS 8529 WITH SCORE 8538.198
AT ITER 1975 NEW BEST:: SOT 40394 SOS 9190 HAS SOPS 9190 HAS SOUS 8529 HAS SOUPS 8529 WITH SCORE 8538.19
AT ITER 1976 NEW BEST:: SOT 40388 SOS 9178 HAS SOPS 9178 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8506.178
AT ITER 1977 NEW BEST:: SOT 40388 SOS 9160 HAS SOPS 9160 HAS SOUS 8497 HAS SOUPS 8497 WITH SCORE 8506.16
AT ITER 1988 NEW BEST:: SOT 40374 SOS 9149 HAS SOPS 9149 HAS SOUS 8494 HAS SOUPS 8494 WITH SCORE 8503.149
AT ITER 2003 NEW BEST:: SOT 40366 SOS 9157 HAS SOPS 9157 HAS SOUS 8474 HAS SOUPS 8474 WITH SCORE 8483.157
AT ITER 2011 NEW BEST:: SOT 40363 SOS 9144 HAS SOPS 9144 HAS SOUS 8468 HAS SOUPS 8468 WITH SCORE 8477.144
AT ITER 2012 NEW BEST:: SOT 40363 SOS 9143 HAS SOPS 9143 HAS SOUS 8467 HAS SOUPS 8467 WITH SCORE 8476.143
AT ITER 2035 NEW BEST:: SOT 40384 SOS 9162 HAS SOPS 9162 HAS SOUS 8457 HAS SOUPS 8457 WITH SCORE 8466.162
AT ITER 2060 NEW BEST:: SOT 40384 SOS 9148 HAS SOPS 9148 HAS SOUS 8450 HAS SOUPS 8450 WITH SCORE 8459.148
AT ITER 2078 NEW BEST:: SOT 40366 SOS 9156 HAS SOPS 9156 HAS SOUS 8432 HAS SOUPS 8432 WITH SCORE 8441.156
AT ITER 2089 NEW BEST:: SOT 40355 SOS 9145 HAS SOPS 9145 HAS SOUS 8421 HAS SOUPS 8421 WITH SCORE 8430.145
AT ITER 2098 NEW BEST:: SOT 40355 SOS 9143 HAS SOPS 9143 HAS SOUS 8418 HAS SOUPS 8418 WITH SCORE 8427.143
AT ITER 2151 NEW BEST:: SOT 40355 SOS 9138 HAS SOPS 9138 HAS SOUS 8413 HAS SOUPS 8413 WITH SCORE 8422.138
AT ITER 2185 NEW BEST:: SOT 40347 SOS 9166 HAS SOPS 9166 HAS SOUS 8405 HAS SOUPS 8405 WITH SCORE 8414.166
AT ITER 2197 NEW BEST:: SOT 40346 SOS 9166 HAS SOPS 9166 HAS SOUS 8404 HAS SOUPS 8404 WITH SCORE 8413.166
AT ITER 2206 NEW BEST:: SOT 40354 SOS 9160 HAS SOPS 9160 HAS SOUS 8398 HAS SOUPS 8398 WITH SCORE 8407.16
AT ITER 2215 NEW BEST:: SOT 40354 SOS 9169 HAS SOPS 9169 HAS SOUS 8395 HAS SOUPS 8395 WITH SCORE 8404.169
AT ITER 2228 NEW BEST:: SOT 40353 SOS 9177 HAS SOPS 9177 HAS SOUS 8394 HAS SOUPS 8394 WITH SCORE 8403.177
AT ITER 2241 NEW BEST:: SOT 40327 SOS 9176 HAS SOPS 9176 HAS SOUS 8382 HAS SOUPS 8382 WITH SCORE 8391.176
AT ITER 2244 NEW BEST:: SOT 40329 SOS 9180 HAS SOPS 9180 HAS SOUS 8366 HAS SOUPS 8366 WITH SCORE 8375.18
AT ITER 2306 NEW BEST:: SOT 40328 SOS 9178 HAS SOPS 9178 HAS SOUS 8364 HAS SOUPS 8364 WITH SCORE 8373.178
AT ITER 2312 NEW BEST:: SOT 40328 SOS 9177 HAS SOPS 9177 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8372.177
AT ITER 2338 NEW BEST:: SOT 40328 SOS 9175 HAS SOPS 9175 HAS SOUS 8363 HAS SOUPS 8363 WITH SCORE 8372.175
AT ITER 2359 NEW BEST:: SOT 40311 SOS 9167 HAS SOPS 9167 HAS SOUS 8346 HAS SOUPS 8346 WITH SCORE 8355.167
AT ITER 2369 NEW BEST:: SOT 40310 SOS 9152 HAS SOPS 9152 HAS SOUS 8338 HAS SOUPS 8338 WITH SCORE 8347.152
AT ITER 2423 NEW BEST:: SOT 40304 SOS 9191 HAS SOPS 9191 HAS SOUS 8332 HAS SOUPS 8332 WITH SCORE 8341.191
AT ITER 2429 NEW BEST:: SOT 40304 SOS 9143 HAS SOPS 9143 HAS SOUS 8308 HAS SOUPS 8308 WITH SCORE 8317.143
AT ITER 2471 NEW BEST:: SOT 40291 SOS 9117 HAS SOPS 9117 HAS SOUS 8294 HAS SOUPS 8294 WITH SCORE 8303.117
AT ITER 2517 NEW BEST:: SOT 40291 SOS 9111 HAS SOPS 9111 HAS SOUS 8288 HAS SOUPS 8288 WITH SCORE 8297.111
AT ITER 2520 NEW BEST:: SOT 40294 SOS 9114 HAS SOPS 9114 HAS SOUS 8265 HAS SOUPS 8265 WITH SCORE 8274.114
AT ITER 2528 NEW BEST:: SOT 40294 SOS 9097 HAS SOPS 9097 HAS SOUS 8248 HAS SOUPS 8248 WITH SCORE 8257.097
AT ITER 2529 NEW BEST:: SOT 40276 SOS 9060 HAS SOPS 9060 HAS SOUS 8212 HAS SOUPS 8212 WITH SCORE 8221.06
AT ITER 2548 NEW BEST:: SOT 40272 SOS 9052 HAS SOPS 9052 HAS SOUS 8203 HAS SOUPS 8203 WITH SCORE 8212.052
AT ITER 2579 NEW BEST:: SOT 40260 SOS 9014 HAS SOPS 9014 HAS SOUS 8188 HAS SOUPS 8188 WITH SCORE 8197.014
AT ITER 2580 NEW BEST:: SOT 40258 SOS 9010 HAS SOPS 9010 HAS SOUS 8184 HAS SOUPS 8184 WITH SCORE 8193.01
AT ITER 2595 NEW BEST:: SOT 40258 SOS 9008 HAS SOPS 9008 HAS SOUS 8182 HAS SOUPS 8182 WITH SCORE 8191.008
AT ITER 2614 NEW BEST:: SOT 40247 SOS 8997 HAS SOPS 8997 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8179.997
AT ITER 2638 NEW BEST:: SOT 40213 SOS 8929 HAS SOPS 8929 HAS SOUS 8171 HAS SOUPS 8171 WITH SCORE 8179.929
AT ITER 2639 NEW BEST:: SOT 40212 SOS 8927 HAS SOPS 8927 HAS SOUS 8170 HAS SOUPS 8170 WITH SCORE 8178.927
AT ITER 2653 NEW BEST:: SOT 40218 SOS 8926 HAS SOPS 8926 HAS SOUS 8169 HAS SOUPS 8169 WITH SCORE 8177.926
AT ITER 2671 NEW BEST:: SOT 40209 SOS 8917 HAS SOPS 8917 HAS SOUS 8160 HAS SOUPS 8160 WITH SCORE 8168.917
AT ITER 2674 NEW BEST:: SOT 40195 SOS 8917 HAS SOPS 8917 HAS SOUS 8141 HAS SOUPS 8141 WITH SCORE 8149.917
AT ITER 2677 NEW BEST:: SOT 40190 SOS 8907 HAS SOPS 8907 HAS SOUS 8126 HAS SOUPS 8126 WITH SCORE 8134.907
AT ITER 2713 NEW BEST:: SOT 40187 SOS 8920 HAS SOPS 8920 HAS SOUS 8123 HAS SOUPS 8123 WITH SCORE 8131.92
AT ITER 2780 NEW BEST:: SOT 40187 SOS 8899 HAS SOPS 8899 HAS SOUS 8116 HAS SOUPS 8116 WITH SCORE 8124.899
AT ITER 2795 NEW BEST:: SOT 40164 SOS 8878 HAS SOPS 8878 HAS SOUS 8095 HAS SOUPS 8095 WITH SCORE 8103.878
AT ITER 2808 NEW BEST:: SOT 40166 SOS 8873 HAS SOPS 8873 HAS SOUS 8088 HAS SOUPS 8088 WITH SCORE 8096.873
AT ITER 2813 NEW BEST:: SOT 40164 SOS 8869 HAS SOPS 8869 HAS SOUS 8086 HAS SOUPS 8086 WITH SCORE 8094.869
AT ITER 2815 NEW BEST:: SOT 40164 SOS 8866 HAS SOPS 8866 HAS SOUS 8083 HAS SOUPS 8083 WITH SCORE 8091.866
AT ITER 2829 NEW BEST:: SOT 40162 SOS 8865 HAS SOPS 8865 HAS SOUS 8082 HAS SOUPS 8082 WITH SCORE 8090.865
AT ITER 2841 NEW BEST:: SOT 40135 SOS 8810 HAS SOPS 8810 HAS SOUS 8027 HAS SOUPS 8027 WITH SCORE 8035.81
AT ITER 2854 NEW BEST:: SOT 40135 SOS 8797 HAS SOPS 8797 HAS SOUS 8014 HAS SOUPS 8014 WITH SCORE 8022.797
AT ITER 2868 NEW BEST:: SOT 40135 SOS 8833 HAS SOPS 8833 HAS SOUS 8004 HAS SOUPS 8004 WITH SCORE 8012.833
AT ITER 2885 NEW BEST:: SOT 40120 SOS 8812 HAS SOPS 8812 HAS SOUS 7983 HAS SOUPS 7983 WITH SCORE 7991.812
AT ITER 2922 NEW BEST:: SOT 40092 SOS 8774 HAS SOPS 8774 HAS SOUS 7973 HAS SOUPS 7973 WITH SCORE 7981.774
AT ITER 2945 NEW BEST:: SOT 40089 SOS 8768 HAS SOPS 8768 HAS SOUS 7970 HAS SOUPS 7970 WITH SCORE 7978.768
AT ITER 3029 NEW BEST:: SOT 40111 SOS 8782 HAS SOPS 8782 HAS SOUS 7969 HAS SOUPS 7969 WITH SCORE 7977.782
AT ITER 3071 NEW BEST:: SOT 40105 SOS 8770 HAS SOPS 8770 HAS SOUS 7963 HAS SOUPS 7963 WITH SCORE 7971.77
AT ITER 3077 NEW BEST:: SOT 40097 SOS 8753 HAS SOPS 8753 HAS SOUS 7954 HAS SOUPS 7954 WITH SCORE 7962.753
AT ITER 3089 NEW BEST:: SOT 40124 SOS 8750 HAS SOPS 8750 HAS SOUS 7951 HAS SOUPS 7951 WITH SCORE 7959.75
AT ITER 3099 NEW BEST:: SOT 40124 SOS 8739 HAS SOPS 8739 HAS SOUS 7943 HAS SOUPS 7943 WITH SCORE 7951.739
AT ITER 3126 NEW BEST:: SOT 40114 SOS 8716 HAS SOPS 8716 HAS SOUS 7920 HAS SOUPS 7920 WITH SCORE 7928.716
AT ITER 3200 NEW BEST:: SOT 40104 SOS 8706 HAS SOPS 8706 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7921.706
AT ITER 3222 NEW BEST:: SOT 40104 SOS 8704 HAS SOPS 8704 HAS SOUS 7913 HAS SOUPS 7913 WITH SCORE 7921.704
AT ITER 3260 NEW BEST:: SOT 40140 SOS 8740 HAS SOPS 8740 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7912.74
AT ITER 3280 NEW BEST:: SOT 40133 SOS 8733 HAS SOPS 8733 HAS SOUS 7904 HAS SOUPS 7904 WITH SCORE 7912.733
AT ITER 3282 NEW BEST:: SOT 40133 SOS 8725 HAS SOPS 8725 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7911.725
AT ITER 3295 NEW BEST:: SOT 40129 SOS 8721 HAS SOPS 8721 HAS SOUS 7903 HAS SOUPS 7903 WITH SCORE 7911.721
AT ITER 3312 NEW BEST:: SOT 40129 SOS 8712 HAS SOPS 8712 HAS SOUS 7902 HAS SOUPS 7902 WITH SCORE 7910.712
AT ITER 3430 NEW BEST:: SOT 40129 SOS 8723 HAS SOPS 8723 HAS SOUS 7897 HAS SOUPS 7897 WITH SCORE 7905.723
AT ITER 3455 NEW BEST:: SOT 40096 SOS 8648 HAS SOPS 8648 HAS SOUS 7824 HAS SOUPS 7824 WITH SCORE 7832.648
AT ITER 3466 NEW BEST:: SOT 40042 SOS 8590 HAS SOPS 8590 HAS SOUS 7787 HAS SOUPS 7787 WITH SCORE 7795.59
AT ITER 3471 NEW BEST:: SOT 40078 SOS 8598 HAS SOPS 8598 HAS SOUS 7777 HAS SOUPS 7777 WITH SCORE 7785.598
AT ITER 3482 NEW BEST:: SOT 40078 SOS 8588 HAS SOPS 8588 HAS SOUS 7767 HAS SOUPS 7767 WITH SCORE 7775.588
AT ITER 3523 NEW BEST:: SOT 40078 SOS 8587 HAS SOPS 8587 HAS SOUS 7766 HAS SOUPS 7766 WITH SCORE 7774.587
AT ITER 3563 NEW BEST:: SOT 40086 SOS 8581 HAS SOPS 8581 HAS SOUS 7750 HAS SOUPS 7750 WITH SCORE 7758.581
AT ITER 3579 NEW BEST:: SOT 40080 SOS 8565 HAS SOPS 8565 HAS SOUS 7741 HAS SOUPS 7741 WITH SCORE 7749.565
AT ITER 3596 NEW BEST:: SOT 40077 SOS 8549 HAS SOPS 8549 HAS SOUS 7738 HAS SOUPS 7738 WITH SCORE 7746.549
AT ITER 3607 NEW BEST:: SOT 40077 SOS 8548 HAS SOPS 8548 HAS SOUS 7737 HAS SOUPS 7737 WITH SCORE 7745.548
AT ITER 3620 NEW BEST:: SOT 40077 SOS 8542 HAS SOPS 8542 HAS SOUS 7728 HAS SOUPS 7728 WITH SCORE 7736.542
AT ITER 3628 NEW BEST:: SOT 40069 SOS 8534 HAS SOPS 8534 HAS SOUS 7720 HAS SOUPS 7720 WITH SCORE 7728.534
AT ITER 3644 NEW BEST:: SOT 40065 SOS 8522 HAS SOPS 8522 HAS SOUS 7716 HAS SOUPS 7716 WITH SCORE 7724.522
AT ITER 3697 NEW BEST:: SOT 40059 SOS 8510 HAS SOPS 8510 HAS SOUS 7704 HAS SOUPS 7704 WITH SCORE 7712.51
AT ITER 3810 NEW BEST:: SOT 40052 SOS 8486 HAS SOPS 8486 HAS SOUS 7688 HAS SOUPS 7688 WITH SCORE 7696.486
AT ITER 3817 NEW BEST:: SOT 40102 SOS 8490 HAS SOPS 8490 HAS SOUS 7670 HAS SOUPS 7670 WITH SCORE 7678.49
AT ITER 3825 NEW BEST:: SOT 40100 SOS 8490 HAS SOPS 8490 HAS SOUS 7668 HAS SOUPS 7668 WITH SCORE 7676.49
AT ITER 3860 NEW BEST:: SOT 40100 SOS 8488 HAS SOPS 8488 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.488
AT ITER 3874 NEW BEST:: SOT 40100 SOS 8469 HAS SOPS 8469 HAS SOUS 7666 HAS SOUPS 7666 WITH SCORE 7674.469
AT ITER 3884 NEW BEST:: SOT 40096 SOS 8425 HAS SOPS 8425 HAS SOUS 7662 HAS SOUPS 7662 WITH SCORE 7670.425
AT ITER 3918 NEW BEST:: SOT 40098 SOS 8427 HAS SOPS 8427 HAS SOUS 7660 HAS SOUPS 7660 WITH SCORE 7668.427
AT ITER 3986 NEW BEST:: SOT 40076 SOS 8383 HAS SOPS 8383 HAS SOUS 7616 HAS SOUPS 7616 WITH SCORE 7624.383
AT ITER 4009 NEW BEST:: SOT 39984 SOS 8442 HAS SOPS 8442 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7597.442
AT ITER 4011 NEW BEST:: SOT 39984 SOS 8438 HAS SOPS 8438 HAS SOUS 7589 HAS SOUPS 7589 WITH SCORE 7597.438
AT ITER 4044 NEW BEST:: SOT 39986 SOS 8427 HAS SOPS 8427 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7586.427
AT ITER 4126 NEW BEST:: SOT 39994 SOS 8411 HAS SOPS 8411 HAS SOUS 7578 HAS SOUPS 7578 WITH SCORE 7586.411
AT ITER 4146 NEW BEST:: SOT 39996 SOS 8413 HAS SOPS 8413 HAS SOUS 7576 HAS SOUPS 7576 WITH SCORE 7584.413
AT ITER 4210 NEW BEST:: SOT 39987 SOS 8395 HAS SOPS 8395 HAS SOUS 7567 HAS SOUPS 7567 WITH SCORE 7575.395
AT ITER 4214 NEW BEST:: SOT 39986 SOS 8393 HAS SOPS 8393 HAS SOUS 7565 HAS SOUPS 7565 WITH SCORE 7573.393
AT ITER 4225 NEW BEST:: SOT 39985 SOS 8391 HAS SOPS 8391 HAS SOUS 7563 HAS SOUPS 7563 WITH SCORE 7571.391
AT ITER 4229 NEW BEST:: SOT 39985 SOS 8383 HAS SOPS 8383 HAS SOUS 7555 HAS SOUPS 7555 WITH SCORE 7563.383
AT ITER 4244 NEW BEST:: SOT 39983 SOS 8379 HAS SOPS 8379 HAS SOUS 7551 HAS SOUPS 7551 WITH SCORE 7559.379
AT ITER 4245 NEW BEST:: SOT 39977 SOS 8370 HAS SOPS 8370 HAS SOUS 7539 HAS SOUPS 7539 WITH SCORE 7547.37
AT ITER 4327 NEW BEST:: SOT 39975 SOS 8371 HAS SOPS 8371 HAS SOUS 7535 HAS SOUPS 7535 WITH SCORE 7543.371
AT ITER 4359 NEW BEST:: SOT 39975 SOS 8370 HAS SOPS 8370 HAS SOUS 7534 HAS SOUPS 7534 WITH SCORE 7542.37
AT ITER 4362 NEW BEST:: SOT 39965 SOS 8363 HAS SOPS 8363 HAS SOUS 7524 HAS SOUPS 7524 WITH SCORE 7532.363
AT ITER 4365 NEW BEST:: SOT 39967 SOS 8359 HAS SOPS 8359 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7530.359
AT ITER 4372 NEW BEST:: SOT 39967 SOS 8357 HAS SOPS 8357 HAS SOUS 7522 HAS SOUPS 7522 WITH SCORE 7530.357
AT ITER 4387 NEW BEST:: SOT 39967 SOS 8353 HAS SOPS 8353 HAS SOUS 7515 HAS SOUPS 7515 WITH SCORE 7523.353
AT ITER 4404 NEW BEST:: SOT 39954 SOS 8327 HAS SOPS 8327 HAS SOUS 7502 HAS SOUPS 7502 WITH SCORE 7510.327
AT ITER 4491 NEW BEST:: SOT 39952 SOS 8321 HAS SOPS 8321 HAS SOUS 7500 HAS SOUPS 7500 WITH SCORE 7508.321
AT ITER 4510 NEW BEST:: SOT 39948 SOS 8319 HAS SOPS 8319 HAS SOUS 7498 HAS SOUPS 7498 WITH SCORE 7506.319
AT ITER 4523 NEW BEST:: SOT 39946 SOS 8317 HAS SOPS 8317 HAS SOUS 7496 HAS SOUPS 7496 WITH SCORE 7504.317
AT ITER 4580 NEW BEST:: SOT 39940 SOS 8295 HAS SOPS 8295 HAS SOUS 7483 HAS SOUPS 7483 WITH SCORE 7491.295
AT ITER 4656 NEW BEST:: SOT 39933 SOS 8278 HAS SOPS 8278 HAS SOUS 7466 HAS SOUPS 7466 WITH SCORE 7474.278
AT ITER 4751 NEW BEST:: SOT 39932 SOS 8276 HAS SOPS 8276 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.276
AT ITER 4759 NEW BEST:: SOT 39932 SOS 8264 HAS SOPS 8264 HAS SOUS 7459 HAS SOUPS 7459 WITH SCORE 7467.264
AT ITER 4761 NEW BEST:: SOT 39919 SOS 8228 HAS SOPS 8228 HAS SOUS 7436 HAS SOUPS 7436 WITH SCORE 7444.228
AT ITER 4767 NEW BEST:: SOT 39908 SOS 8246 HAS SOPS 8246 HAS SOUS 7431 HAS SOUPS 7431 WITH SCORE 7439.246
AT ITER 4770 NEW BEST:: SOT 39925 SOS 8280 HAS SOPS 8280 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.28
AT ITER 4771 NEW BEST:: SOT 39921 SOS 8276 HAS SOPS 8276 HAS SOUS 7421 HAS SOUPS 7421 WITH SCORE 7429.276
AT ITER 4801 NEW BEST:: SOT 39915 SOS 8276 HAS SOPS 8276 HAS SOUS 7415 HAS SOUPS 7415 WITH SCORE 7423.276
AT ITER 4810 NEW BEST:: SOT 39913 SOS 8274 HAS SOPS 8274 HAS SOUS 7413 HAS SOUPS 7413 WITH SCORE 7421.274
AT ITER 4830 NEW BEST:: SOT 39913 SOS 8270 HAS SOPS 8270 HAS SOUS 7409 HAS SOUPS 7409 WITH SCORE 7417.27
AT ITER 4850 NEW BEST:: SOT 39913 SOS 8263 HAS SOPS 8263 HAS SOUS 7407 HAS SOUPS 7407 WITH SCORE 7415.263
AT ITER 4853 NEW BEST:: SOT 39913 SOS 8259 HAS SOPS 8259 HAS SOUS 7403 HAS SOUPS 7403 WITH SCORE 7411.259
AT ITER 4858 NEW BEST:: SOT 39913 SOS 8264 HAS SOPS 8264 HAS SOUS 7398 HAS SOUPS 7398 WITH SCORE 7406.264
AT ITER 4875 NEW BEST:: SOT 39932 SOS 8259 HAS SOPS 8259 HAS SOUS 7393 HAS SOUPS 7393 WITH SCORE 7401.259
AT ITER 4878 NEW BEST:: SOT 39931 SOS 8246 HAS SOPS 8246 HAS SOUS 7380 HAS SOUPS 7380 WITH SCORE 7388.246
AT ITER 4959 NEW BEST:: SOT 39912 SOS 8242 HAS SOPS 8242 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.242
AT ITER 4963 NEW BEST:: SOT 39901 SOS 8231 HAS SOPS 8231 HAS SOUS 7376 HAS SOUPS 7376 WITH SCORE 7384.231
AT ITER 5029 NEW BEST:: SOT 39900 SOS 8226 HAS SOPS 8226 HAS SOUS 7372 HAS SOUPS 7372 WITH SCORE 7380.226
AT ITER 5039 NEW BEST:: SOT 39900 SOS 8222 HAS SOPS 8222 HAS SOUS 7368 HAS SOUPS 7368 WITH SCORE 7376.222
AT ITER 5055 NEW BEST:: SOT 39897 SOS 8216 HAS SOPS 8216 HAS SOUS 7362 HAS SOUPS 7362 WITH SCORE 7370.216
AT ITER 5101 NEW BEST:: SOT 39887 SOS 8206 HAS SOPS 8206 HAS SOUS 7352 HAS SOUPS 7352 WITH SCORE 7360.206
AT ITER 5121 NEW BEST:: SOT 39912 SOS 8215 HAS SOPS 8215 HAS SOUS 7347 HAS SOUPS 7347 WITH SCORE 7355.215
AT ITER 5202 NEW BEST:: SOT 39826 SOS 8132 HAS SOPS 8132 HAS SOUS 7322 HAS SOUPS 7322 WITH SCORE 7330.132
AT ITER 5249 NEW BEST:: SOT 39823 SOS 8132 HAS SOPS 8132 HAS SOUS 7319 HAS SOUPS 7319 WITH SCORE 7327.132
AT ITER 5254 NEW BEST:: SOT 39821 SOS 8126 HAS SOPS 8126 HAS SOUS 7315 HAS SOUPS 7315 WITH SCORE 7323.126
AT ITER 5264 NEW BEST:: SOT 39820 SOS 8123 HAS SOPS 8123 HAS SOUS 7313 HAS SOUPS 7313 WITH SCORE 7321.123
AT ITER 5277 NEW BEST:: SOT 39793 SOS 8069 HAS SOPS 8069 HAS SOUS 7273 HAS SOUPS 7273 WITH SCORE 7281.069
AT ITER 5336 NEW BEST:: SOT 39798 SOS 8033 HAS SOPS 8033 HAS SOUS 7260 HAS SOUPS 7260 WITH SCORE 7268.033
AT ITER 5442 NEW BEST:: SOT 39787 SOS 8011 HAS SOPS 8011 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7257.011
AT ITER 5455 NEW BEST:: SOT 39787 SOS 7999 HAS SOPS 7999 HAS SOUS 7249 HAS SOUPS 7249 WITH SCORE 7256.999
AT ITER 5521 NEW BEST:: SOT 39822 SOS 7931 HAS SOPS 7931 HAS SOUS 7245 HAS SOUPS 7245 WITH SCORE 7252.931
AT ITER 5577 NEW BEST:: SOT 39822 SOS 7926 HAS SOPS 7926 HAS SOUS 7240 HAS SOUPS 7240 WITH SCORE 7247.926
AT ITER 5635 NEW BEST:: SOT 39817 SOS 7916 HAS SOPS 7916 HAS SOUS 7235 HAS SOUPS 7235 WITH SCORE 7242.916
AT ITER 5639 NEW BEST:: SOT 39813 SOS 7903 HAS SOPS 7903 HAS SOUS 7227 HAS SOUPS 7227 WITH SCORE 7234.903
AT ITER 5640 NEW BEST:: SOT 39809 SOS 7899 HAS SOPS 7899 HAS SOUS 7223 HAS SOUPS 7223 WITH SCORE 7230.899
AT ITER 5647 NEW BEST:: SOT 39805 SOS 7891 HAS SOPS 7891 HAS SOUS 7215 HAS SOUPS 7215 WITH SCORE 7222.891
AT ITER 5662 NEW BEST:: SOT 39801 SOS 7873 HAS SOPS 7873 HAS SOUS 7207 HAS SOUPS 7207 WITH SCORE 7214.873
AT ITER 5765 NEW BEST:: SOT 39800 SOS 7871 HAS SOPS 7871 HAS SOUS 7205 HAS SOUPS 7205 WITH SCORE 7212.871
AT ITER 5780 NEW BEST:: SOT 39794 SOS 7862 HAS SOPS 7862 HAS SOUS 7202 HAS SOUPS 7202 WITH SCORE 7209.862
AT ITER 5825 NEW BEST:: SOT 39792 SOS 7858 HAS SOPS 7858 HAS SOUS 7200 HAS SOUPS 7200 WITH SCORE 7207.858
AT ITER 5840 NEW BEST:: SOT 39782 SOS 7800 HAS SOPS 7800 HAS SOUS 7177 HAS SOUPS 7177 WITH SCORE 7184.8
AT ITER 5872 NEW BEST:: SOT 39781 SOS 7798 HAS SOPS 7798 HAS SOUS 7175 HAS SOUPS 7175 WITH SCORE 7182.798
AT ITER 5929 NEW BEST:: SOT 39779 SOS 7794 HAS SOPS 7794 HAS SOUS 7171 HAS SOUPS 7171 WITH SCORE 7178.794
AT ITER 5931 NEW BEST:: SOT 39779 SOS 7792 HAS SOPS 7792 HAS SOUS 7169 HAS SOUPS 7169 WITH SCORE 7176.792
AT ITER 5933 NEW BEST:: SOT 39779 SOS 7794 HAS SOPS 7794 HAS SOUS 7166 HAS SOUPS 7166 WITH SCORE 7173.794
AT ITER 5958 NEW BEST:: SOT 39779 SOS 7792 HAS SOPS 7792 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7171.792
AT ITER 5998 NEW BEST:: SOT 39743 SOS 7720 HAS SOPS 7720 HAS SOUS 7164 HAS SOUPS 7164 WITH SCORE 7171.72
AT ITER 6007 NEW BEST:: SOT 39742 SOS 7712 HAS SOPS 7712 HAS SOUS 7157 HAS SOUPS 7157 WITH SCORE 7164.712
AT ITER 6022 NEW BEST:: SOT 39738 SOS 7704 HAS SOPS 7704 HAS SOUS 7153 HAS SOUPS 7153 WITH SCORE 7160.704
AT ITER 6037 NEW BEST:: SOT 39738 SOS 7702 HAS SOPS 7702 HAS SOUS 7151 HAS SOUPS 7151 WITH SCORE 7158.702
AT ITER 6048 NEW BEST:: SOT 39738 SOS 7686 HAS SOPS 7686 HAS SOUS 7137 HAS SOUPS 7137 WITH SCORE 7144.686
AT ITER 6095 NEW BEST:: SOT 39737 SOS 7697 HAS SOPS 7697 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.697
AT ITER 6101 NEW BEST:: SOT 39733 SOS 7695 HAS SOPS 7695 HAS SOUS 7136 HAS SOUPS 7136 WITH SCORE 7143.695
AT ITER 6109 NEW BEST:: SOT 39733 SOS 7690 HAS SOPS 7690 HAS SOUS 7131 HAS SOUPS 7131 WITH SCORE 7138.69
AT ITER 6149 NEW BEST:: SOT 39728 SOS 7665 HAS SOPS 7665 HAS SOUS 7119 HAS SOUPS 7119 WITH SCORE 7126.665
AT ITER 6167 NEW BEST:: SOT 39732 SOS 7662 HAS SOPS 7662 HAS SOUS 7116 HAS SOUPS 7116 WITH SCORE 7123.662
AT ITER 6204 NEW BEST:: SOT 39739 SOS 7641 HAS SOPS 7641 HAS SOUS 7114 HAS SOUPS 7114 WITH SCORE 7121.641
AT ITER 6233 NEW BEST:: SOT 39738 SOS 7639 HAS SOPS 7639 HAS SOUS 7113 HAS SOUPS 7113 WITH SCORE 7120.639
AT ITER 6320 NEW BEST:: SOT 39726 SOS 7627 HAS SOPS 7627 HAS SOUS 7101 HAS SOUPS 7101 WITH SCORE 7108.627
AT ITER 6347 NEW BEST:: SOT 39723 SOS 7624 HAS SOPS 7624 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7105.624
AT ITER 6378 NEW BEST:: SOT 39723 SOS 7623 HAS SOPS 7623 HAS SOUS 7098 HAS SOUPS 7098 WITH SCORE 7105.623
AT ITER 6414 NEW BEST:: SOT 39723 SOS 7622 HAS SOPS 7622 HAS SOUS 7097 HAS SOUPS 7097 WITH SCORE 7104.622
AT ITER 6469 NEW BEST:: SOT 39683 SOS 7585 HAS SOPS 7585 HAS SOUS 7060 HAS SOUPS 7060 WITH SCORE 7067.585
AT ITER 6470 NEW BEST:: SOT 39682 SOS 7585 HAS SOPS 7585 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7066.585
AT ITER 6498 NEW BEST:: SOT 39682 SOS 7579 HAS SOPS 7579 HAS SOUS 7059 HAS SOUPS 7059 WITH SCORE 7066.579
AT ITER 6529 NEW BEST:: SOT 39677 SOS 7555 HAS SOPS 7555 HAS SOUS 7042 HAS SOUPS 7042 WITH SCORE 7049.555
AT ITER 6550 NEW BEST:: SOT 39676 SOS 7553 HAS SOPS 7553 HAS SOUS 7040 HAS SOUPS 7040 WITH SCORE 7047.553
AT ITER 6571 NEW BEST:: SOT 39668 SOS 7537 HAS SOPS 7537 HAS SOUS 7024 HAS SOUPS 7024 WITH SCORE 7031.537
AT ITER 6593 NEW BEST:: SOT 39663 SOS 7532 HAS SOPS 7532 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7026.532
AT ITER 6665 NEW BEST:: SOT 39661 SOS 7530 HAS SOPS 7530 HAS SOUS 7019 HAS SOUPS 7019 WITH SCORE 7026.53
AT ITER 6666 NEW BEST:: SOT 39661 SOS 7527 HAS SOPS 7527 HAS SOUS 7016 HAS SOUPS 7016 WITH SCORE 7023.527
AT ITER 6667 NEW BEST:: SOT 39662 SOS 7516 HAS SOPS 7516 HAS SOUS 7005 HAS SOUPS 7005 WITH SCORE 7012.516
AT ITER 6673 NEW BEST:: SOT 39642 SOS 7486 HAS SOPS 7486 HAS SOUS 6975 HAS SOUPS 6975 WITH SCORE 6982.486
AT ITER 6726 NEW BEST:: SOT 39641 SOS 7485 HAS SOPS 7485 HAS SOUS 6974 HAS SOUPS 6974 WITH SCORE 6981.485
AT ITER 6737 NEW BEST:: SOT 39641 SOS 7483 HAS SOPS 7483 HAS SOUS 6972 HAS SOUPS 6972 WITH SCORE 6979.483
AT ITER 6762 NEW BEST:: SOT 39640 SOS 7489 HAS SOPS 7489 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6978.489
AT ITER 6775 NEW BEST:: SOT 39635 SOS 7484 HAS SOPS 7484 HAS SOUS 6971 HAS SOUPS 6971 WITH SCORE 6978.484
AT ITER 6783 NEW BEST:: SOT 39636 SOS 7486 HAS SOPS 7486 HAS SOUS 6949 HAS SOUPS 6949 WITH SCORE 6956.486
AT ITER 6784 NEW BEST:: SOT 39631 SOS 7476 HAS SOPS 7476 HAS SOUS 6939 HAS SOUPS 6939 WITH SCORE 6946.476
AT ITER 6996 NEW BEST:: SOT 39624 SOS 7456 HAS SOPS 7456 HAS SOUS 6924 HAS SOUPS 6924 WITH SCORE 6931.456
AT ITER 7006 NEW BEST:: SOT 39612 SOS 7432 HAS SOPS 7432 HAS SOUS 6900 HAS SOUPS 6900 WITH SCORE 6907.432
AT ITER 7187 NEW BEST:: SOT 39609 SOS 7471 HAS SOPS 7471 HAS SOUS 6897 HAS SOUPS 6897 WITH SCORE 6904.471
AT ITER 7236 NEW BEST:: SOT 39607 SOS 7471 HAS SOPS 7471 HAS SOUS 6895 HAS SOUPS 6895 WITH SCORE 6902.471
AT ITER 7356 NEW BEST:: SOT 39598 SOS 7446 HAS SOPS 7446 HAS SOUS 6886 HAS SOUPS 6886 WITH SCORE 6893.446
AT ITER 7374 NEW BEST:: SOT 39595 SOS 7448 HAS SOPS 7448 HAS SOUS 6875 HAS SOUPS 6875 WITH SCORE 6882.448
AT ITER 7379 NEW BEST:: SOT 39595 SOS 7447 HAS SOPS 7447 HAS SOUS 6874 HAS SOUPS 6874 WITH SCORE 6881.447
AT ITER 7381 NEW BEST:: SOT 39568 SOS 7393 HAS SOPS 7393 HAS SOUS 6847 HAS SOUPS 6847 WITH SCORE 6854.393
AT ITER 7393 NEW BEST:: SOT 39571 SOS 7387 HAS SOPS 7387 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6848.387
AT ITER 7507 NEW BEST:: SOT 39562 SOS 7369 HAS SOPS 7369 HAS SOUS 6841 HAS SOUPS 6841 WITH SCORE 6848.369
AT ITER 7558 NEW BEST:: SOT 39572 SOS 7368 HAS SOPS 7368 HAS SOUS 6840 HAS SOUPS 6840 WITH SCORE 6847.368
AT ITER 7563 NEW BEST:: SOT 39572 SOS 7367 HAS SOPS 7367 HAS SOUS 6838 HAS SOUPS 6838 WITH SCORE 6845.367
AT ITER 7742 NEW BEST:: SOT 39567 SOS 7353 HAS SOPS 7353 HAS SOUS 6824 HAS SOUPS 6824 WITH SCORE 6831.353
AT ITER 7752 NEW BEST:: SOT 39564 SOS 7347 HAS SOPS 7347 HAS SOUS 6818 HAS SOUPS 6818 WITH SCORE 6825.347
AT ITER 7825 NEW BEST:: SOT 39564 SOS 7346 HAS SOPS 7346 HAS SOUS 6817 HAS SOUPS 6817 WITH SCORE 6824.346
AT ITER 7848 NEW BEST:: SOT 39564 SOS 7346 HAS SOPS 7346 HAS SOUS 6810 HAS SOUPS 6810 WITH SCORE 6817.346
AT ITER 7922 NEW BEST:: SOT 39564 SOS 7363 HAS SOPS 7363 HAS SOUS 6809 HAS SOUPS 6809 WITH SCORE 6816.363
AT ITER 7938 NEW BEST:: SOT 39544 SOS 7343 HAS SOPS 7343 HAS SOUS 6789 HAS SOUPS 6789 WITH SCORE 6796.343
AT ITER 7979 NEW BEST:: SOT 39538 SOS 7333 HAS SOPS 7333 HAS SOUS 6778 HAS SOUPS 6778 WITH SCORE 6785.333
AT ITER 7981 NEW BEST:: SOT 39635 SOS 7430 HAS SOPS 7430 HAS SOUS 6771 HAS SOUPS 6771 WITH SCORE 6778.43
AT ITER 8105 NEW BEST:: SOT 39645 SOS 7423 HAS SOPS 7423 HAS SOUS 6765 HAS SOUPS 6765 WITH SCORE 6772.423
AT ITER 8119 NEW BEST:: SOT 39644 SOS 7421 HAS SOPS 7421 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6770.421
AT ITER 8166 NEW BEST:: SOT 39644 SOS 7407 HAS SOPS 7407 HAS SOUS 6763 HAS SOUPS 6763 WITH SCORE 6770.407
AT ITER 8327 NEW BEST:: SOT 39643 SOS 7406 HAS SOPS 7406 HAS SOUS 6762 HAS SOUPS 6762 WITH SCORE 6769.406
AT ITER 8355 NEW BEST:: SOT 39638 SOS 7410 HAS SOPS 7410 HAS SOUS 6759 HAS SOUPS 6759 WITH SCORE 6766.41
AT ITER 8407 NEW BEST:: SOT 39638 SOS 7409 HAS SOPS 7409 HAS SOUS 6758 HAS SOUPS 6758 WITH SCORE 6765.409
AT ITER 8505 NEW BEST:: SOT 39645 SOS 7389 HAS SOPS 7389 HAS SOUS 6749 HAS SOUPS 6749 WITH SCORE 6756.389
AT ITER 8535 NEW BEST:: SOT 39644 SOS 7381 HAS SOPS 7381 HAS SOUS 6741 HAS SOUPS 6741 WITH SCORE 6748.381
AT ITER 8566 NEW BEST:: SOT 39636 SOS 7391 HAS SOPS 7391 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.391
AT ITER 8570 NEW BEST:: SOT 39636 SOS 7390 HAS SOPS 7390 HAS SOUS 6740 HAS SOUPS 6740 WITH SCORE 6747.39
AT ITER 8584 NEW BEST:: SOT 39604 SOS 7369 HAS SOPS 7369 HAS SOUS 6719 HAS SOUPS 6719 WITH SCORE 6726.369
AT ITER 8647 NEW BEST:: SOT 39603 SOS 7360 HAS SOPS 7360 HAS SOUS 6710 HAS SOUPS 6710 WITH SCORE 6717.36
AT ITER 8722 NEW BEST:: SOT 39599 SOS 7354 HAS SOPS 7354 HAS SOUS 6704 HAS SOUPS 6704 WITH SCORE 6711.354
AT ITER 8742 NEW BEST:: SOT 39597 SOS 7350 HAS SOPS 7350 HAS SOUS 6700 HAS SOUPS 6700 WITH SCORE 6707.35
AT ITER 8747 NEW BEST:: SOT 39589 SOS 7318 HAS SOPS 7318 HAS SOUS 6692 HAS SOUPS 6692 WITH SCORE 6699.318
AT ITER 8783 NEW BEST:: SOT 39582 SOS 7311 HAS SOPS 7311 HAS SOUS 6685 HAS SOUPS 6685 WITH SCORE 6692.311
AT ITER 8798 NEW BEST:: SOT 39578 SOS 7297 HAS SOPS 7297 HAS SOUS 6677 HAS SOUPS 6677 WITH SCORE 6684.297
AT ITER 8854 NEW BEST:: SOT 39578 SOS 7295 HAS SOPS 7295 HAS SOUS 6676 HAS SOUPS 6676 WITH SCORE 6683.295
AT ITER 8969 NEW BEST:: SOT 39578 SOS 7285 HAS SOPS 7285 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6682.285
AT ITER 8985 NEW BEST:: SOT 39578 SOS 7285 HAS SOPS 7285 HAS SOUS 6671 HAS SOUPS 6671 WITH SCORE 6678.285
AT ITER 8998 NEW BEST:: SOT 39578 SOS 7285 HAS SOPS 7285 HAS SOUS 6669 HAS SOUPS 6669 WITH SCORE 6676.285
AT ITER 9035 NEW BEST:: SOT 39587 SOS 7274 HAS SOPS 7274 HAS SOUS 6668 HAS SOUPS 6668 WITH SCORE 6675.274
AT ITER 9109 NEW BEST:: SOT 39587 SOS 7273 HAS SOPS 7273 HAS SOUS 6667 HAS SOUPS 6667 WITH SCORE 6674.273
AT ITER 9198 NEW BEST:: SOT 39581 SOS 7261 HAS SOPS 7261 HAS SOUS 6655 HAS SOUPS 6655 WITH SCORE 6662.261
AT ITER 9257 NEW BEST:: SOT 39581 SOS 7254 HAS SOPS 7254 HAS SOUS 6648 HAS SOUPS 6648 WITH SCORE 6655.254
AT ITER 9292 NEW BEST:: SOT 39580 SOS 7253 HAS SOPS 7253 HAS SOUS 6647 HAS SOUPS 6647 WITH SCORE 6654.253
AT ITER 9301 NEW BEST:: SOT 39580 SOS 7242 HAS SOPS 7242 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6643.242
AT ITER 9329 NEW BEST:: SOT 39580 SOS 7235 HAS SOPS 7235 HAS SOUS 6636 HAS SOUPS 6636 WITH SCORE 6643.235
AT ITER 9390 NEW BEST:: SOT 39578 SOS 7231 HAS SOPS 7231 HAS SOUS 6635 HAS SOUPS 6635 WITH SCORE 6642.231
AT ITER 9457 NEW BEST:: SOT 39578 SOS 7226 HAS SOPS 7226 HAS SOUS 6630 HAS SOUPS 6630 WITH SCORE 6637.226
AT ITER 9511 NEW BEST:: SOT 39578 SOS 7221 HAS SOPS 7221 HAS SOUS 6629 HAS SOUPS 6629 WITH SCORE 6636.221
AT ITER 9571 NEW BEST:: SOT 39577 SOS 7219 HAS SOPS 7219 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6635.219
AT ITER 9670 NEW BEST:: SOT 39577 SOS 7211 HAS SOPS 7211 HAS SOUS 6628 HAS SOUPS 6628 WITH SCORE 6635.211
AT ITER 9671 NEW BEST:: SOT 39568 SOS 7193 HAS SOPS 7193 HAS SOUS 6610 HAS SOUPS 6610 WITH SCORE 6617.193
AT ITER 9710 NEW BEST:: SOT 39554 SOS 7206 HAS SOPS 7206 HAS SOUS 6609 HAS SOUPS 6609 WITH SCORE 6616.206
AT ITER 9723 NEW BEST:: SOT 39557 SOS 7204 HAS SOPS 7204 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6614.204
AT ITER 9725 NEW BEST:: SOT 39557 SOS 7185 HAS SOPS 7185 HAS SOUS 6607 HAS SOUPS 6607 WITH SCORE 6614.185
AT ITER 9791 NEW BEST:: SOT 39558 SOS 7182 HAS SOPS 7182 HAS SOUS 6604 HAS SOUPS 6604 WITH SCORE 6611.182
AT ITER 9792 NEW BEST:: SOT 39558 SOS 7180 HAS SOPS 7180 HAS SOUS 6602 HAS SOUPS 6602 WITH SCORE 6609.18
AT ITER 9913 NEW BEST:: SOT 39557 SOS 7178 HAS SOPS 7178 HAS SOUS 6600 HAS SOUPS 6600 WITH SCORE 6607.178
AT ITER 9917 NEW BEST:: SOT 39547 SOS 7171 HAS SOPS 7171 HAS SOUS 6593 HAS SOUPS 6593 WITH SCORE 6600.171
AT ITER 9923 NEW BEST:: SOT 39546 SOS 7171 HAS SOPS 7171 HAS SOUS 6592 HAS SOUPS 6592 WITH SCORE 6599.171
AT ITER 9952 NEW BEST:: SOT 39543 SOS 7165 HAS SOPS 7165 HAS SOUS 6586 HAS SOUPS 6586 WITH SCORE 6593.165

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="ShieldIIPt-PT-004B"
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 ShieldIIPt-PT-004B, 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 r207-tajo-159033469200280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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