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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 280K
-rw-r--r-- 1 mcc users 3.2K May 14 02:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K May 14 02:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K May 13 20:17 CTLFireability.txt
-rw-r--r-- 1 mcc users 14K May 13 20:17 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.2K May 14 10:05 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K May 14 10:05 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:05 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K May 14 10:05 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.2K May 13 14:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K May 13 14:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 09:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 09:32 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 119K 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 1590454271098

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

Filename model.pnml
Petri model created: 503 places, 503 transitions, 1186 arcs.
AT ITER 0 NEW BEST:: SOT 132401 SOS 21634 HAS SOPS 21634 HAS SOUS 19821 HAS SOUPS 19821 WITH SCORE 19842.634
AT ITER 10 NEW BEST:: SOT 132360 SOS 21552 HAS SOPS 21552 HAS SOUS 19739 HAS SOUPS 19739 WITH SCORE 19760.552
AT ITER 57 NEW BEST:: SOT 132359 SOS 21498 HAS SOPS 21498 HAS SOUS 19734 HAS SOUPS 19734 WITH SCORE 19755.498
AT ITER 72 NEW BEST:: SOT 132359 SOS 21491 HAS SOPS 21491 HAS SOUS 19734 HAS SOUPS 19734 WITH SCORE 19755.491
AT ITER 82 NEW BEST:: SOT 132343 SOS 21427 HAS SOPS 21427 HAS SOUS 19686 HAS SOUPS 19686 WITH SCORE 19707.427
AT ITER 105 NEW BEST:: SOT 132340 SOS 21421 HAS SOPS 21421 HAS SOUS 19682 HAS SOUPS 19682 WITH SCORE 19703.421
AT ITER 149 NEW BEST:: SOT 132340 SOS 21413 HAS SOPS 21413 HAS SOUS 19682 HAS SOUPS 19682 WITH SCORE 19703.413
AT ITER 175 NEW BEST:: SOT 132340 SOS 21393 HAS SOPS 21393 HAS SOUS 19672 HAS SOUPS 19672 WITH SCORE 19693.393
AT ITER 208 NEW BEST:: SOT 132340 SOS 21388 HAS SOPS 21388 HAS SOUS 19667 HAS SOUPS 19667 WITH SCORE 19688.388
AT ITER 209 NEW BEST:: SOT 132300 SOS 21371 HAS SOPS 21371 HAS SOUS 19627 HAS SOUPS 19627 WITH SCORE 19648.371
AT ITER 216 NEW BEST:: SOT 132300 SOS 21370 HAS SOPS 21370 HAS SOUS 19626 HAS SOUPS 19626 WITH SCORE 19647.37
AT ITER 225 NEW BEST:: SOT 132294 SOS 21351 HAS SOPS 21351 HAS SOUS 19613 HAS SOUPS 19613 WITH SCORE 19634.351
AT ITER 234 NEW BEST:: SOT 132286 SOS 21335 HAS SOPS 21335 HAS SOUS 19581 HAS SOUPS 19581 WITH SCORE 19602.335
AT ITER 253 NEW BEST:: SOT 132280 SOS 21323 HAS SOPS 21323 HAS SOUS 19550 HAS SOUPS 19550 WITH SCORE 19571.323
AT ITER 256 NEW BEST:: SOT 132280 SOS 21321 HAS SOPS 21321 HAS SOUS 19546 HAS SOUPS 19546 WITH SCORE 19567.321
AT ITER 280 NEW BEST:: SOT 132280 SOS 21317 HAS SOPS 21317 HAS SOUS 19542 HAS SOUPS 19542 WITH SCORE 19563.317
AT ITER 285 NEW BEST:: SOT 132280 SOS 21283 HAS SOPS 21283 HAS SOUS 19508 HAS SOUPS 19508 WITH SCORE 19529.283
AT ITER 295 NEW BEST:: SOT 132280 SOS 21281 HAS SOPS 21281 HAS SOUS 19506 HAS SOUPS 19506 WITH SCORE 19527.281
AT ITER 331 NEW BEST:: SOT 132279 SOS 21278 HAS SOPS 21278 HAS SOUS 19504 HAS SOUPS 19504 WITH SCORE 19525.278
AT ITER 351 NEW BEST:: SOT 132279 SOS 21271 HAS SOPS 21271 HAS SOUS 19497 HAS SOUPS 19497 WITH SCORE 19518.271
AT ITER 374 NEW BEST:: SOT 132270 SOS 21225 HAS SOPS 21225 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19483.225
AT ITER 399 NEW BEST:: SOT 132270 SOS 21220 HAS SOPS 21220 HAS SOUS 19462 HAS SOUPS 19462 WITH SCORE 19483.22
AT ITER 408 NEW BEST:: SOT 132270 SOS 21210 HAS SOPS 21210 HAS SOUS 19452 HAS SOUPS 19452 WITH SCORE 19473.21
AT ITER 453 NEW BEST:: SOT 132239 SOS 21194 HAS SOPS 21194 HAS SOUS 19436 HAS SOUPS 19436 WITH SCORE 19457.194
AT ITER 475 NEW BEST:: SOT 132234 SOS 21184 HAS SOPS 21184 HAS SOUS 19383 HAS SOUPS 19383 WITH SCORE 19404.184
AT ITER 507 NEW BEST:: SOT 132260 SOS 21071 HAS SOPS 21071 HAS SOUS 19372 HAS SOUPS 19372 WITH SCORE 19393.071
AT ITER 511 NEW BEST:: SOT 132260 SOS 21045 HAS SOPS 21045 HAS SOUS 19346 HAS SOUPS 19346 WITH SCORE 19367.045
AT ITER 526 NEW BEST:: SOT 132252 SOS 21014 HAS SOPS 21014 HAS SOUS 19339 HAS SOUPS 19339 WITH SCORE 19360.014
AT ITER 565 NEW BEST:: SOT 132252 SOS 21031 HAS SOPS 21031 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19359.031
AT ITER 574 NEW BEST:: SOT 132223 SOS 21001 HAS SOPS 21001 HAS SOUS 19308 HAS SOUPS 19308 WITH SCORE 19329.001
AT ITER 592 NEW BEST:: SOT 132235 SOS 20967 HAS SOPS 20967 HAS SOUS 19302 HAS SOUPS 19302 WITH SCORE 19322.967
AT ITER 604 NEW BEST:: SOT 132255 SOS 20941 HAS SOPS 20941 HAS SOUS 19288 HAS SOUPS 19288 WITH SCORE 19308.941
AT ITER 607 NEW BEST:: SOT 132241 SOS 20986 HAS SOPS 20986 HAS SOUS 19280 HAS SOUPS 19280 WITH SCORE 19300.986
AT ITER 620 NEW BEST:: SOT 132241 SOS 20972 HAS SOPS 20972 HAS SOUS 19273 HAS SOUPS 19273 WITH SCORE 19293.972
AT ITER 634 NEW BEST:: SOT 132240 SOS 20948 HAS SOPS 20948 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19288.948
AT ITER 635 NEW BEST:: SOT 132240 SOS 20937 HAS SOPS 20937 HAS SOUS 19268 HAS SOUPS 19268 WITH SCORE 19288.937
AT ITER 650 NEW BEST:: SOT 132240 SOS 20937 HAS SOPS 20937 HAS SOUS 19236 HAS SOUPS 19236 WITH SCORE 19256.937
AT ITER 679 NEW BEST:: SOT 132238 SOS 20933 HAS SOPS 20933 HAS SOUS 19231 HAS SOUPS 19231 WITH SCORE 19251.933
AT ITER 691 NEW BEST:: SOT 132226 SOS 20897 HAS SOPS 20897 HAS SOUS 19195 HAS SOUPS 19195 WITH SCORE 19215.897
AT ITER 705 NEW BEST:: SOT 132239 SOS 20905 HAS SOPS 20905 HAS SOUS 19190 HAS SOUPS 19190 WITH SCORE 19210.905
AT ITER 709 NEW BEST:: SOT 132225 SOS 20849 HAS SOPS 20849 HAS SOUS 19148 HAS SOUPS 19148 WITH SCORE 19168.849
AT ITER 745 NEW BEST:: SOT 132244 SOS 20826 HAS SOPS 20826 HAS SOUS 19144 HAS SOUPS 19144 WITH SCORE 19164.826
AT ITER 803 NEW BEST:: SOT 132231 SOS 20779 HAS SOPS 20779 HAS SOUS 19074 HAS SOUPS 19074 WITH SCORE 19094.779
AT ITER 813 NEW BEST:: SOT 132242 SOS 20790 HAS SOPS 20790 HAS SOUS 19064 HAS SOUPS 19064 WITH SCORE 19084.79
AT ITER 828 NEW BEST:: SOT 132242 SOS 20768 HAS SOPS 20768 HAS SOUS 19038 HAS SOUPS 19038 WITH SCORE 19058.768
AT ITER 840 NEW BEST:: SOT 132242 SOS 20765 HAS SOPS 20765 HAS SOUS 19035 HAS SOUPS 19035 WITH SCORE 19055.765
AT ITER 886 NEW BEST:: SOT 132236 SOS 20759 HAS SOPS 20759 HAS SOUS 19024 HAS SOUPS 19024 WITH SCORE 19044.759
AT ITER 892 NEW BEST:: SOT 132236 SOS 20756 HAS SOPS 20756 HAS SOUS 19022 HAS SOUPS 19022 WITH SCORE 19042.756
AT ITER 919 NEW BEST:: SOT 132242 SOS 20763 HAS SOPS 20763 HAS SOUS 19006 HAS SOUPS 19006 WITH SCORE 19026.763
AT ITER 921 NEW BEST:: SOT 132231 SOS 20705 HAS SOPS 20705 HAS SOUS 18966 HAS SOUPS 18966 WITH SCORE 18986.705
AT ITER 954 NEW BEST:: SOT 132247 SOS 20759 HAS SOPS 20759 HAS SOUS 18954 HAS SOUPS 18954 WITH SCORE 18974.759
AT ITER 982 NEW BEST:: SOT 132247 SOS 20741 HAS SOPS 20741 HAS SOUS 18936 HAS SOUPS 18936 WITH SCORE 18956.741
AT ITER 986 NEW BEST:: SOT 132247 SOS 20722 HAS SOPS 20722 HAS SOUS 18917 HAS SOUPS 18917 WITH SCORE 18937.722
AT ITER 995 NEW BEST:: SOT 132247 SOS 20699 HAS SOPS 20699 HAS SOUS 18871 HAS SOUPS 18871 WITH SCORE 18891.699
AT ITER 1014 NEW BEST:: SOT 132246 SOS 20689 HAS SOPS 20689 HAS SOUS 18868 HAS SOUPS 18868 WITH SCORE 18888.689
AT ITER 1094 NEW BEST:: SOT 132203 SOS 20584 HAS SOPS 20584 HAS SOUS 18752 HAS SOUPS 18752 WITH SCORE 18772.584
AT ITER 1137 NEW BEST:: SOT 132193 SOS 20544 HAS SOPS 20544 HAS SOUS 18722 HAS SOUPS 18722 WITH SCORE 18742.544
AT ITER 1161 NEW BEST:: SOT 132192 SOS 20580 HAS SOPS 20580 HAS SOUS 18684 HAS SOUPS 18684 WITH SCORE 18704.58
AT ITER 1178 NEW BEST:: SOT 132198 SOS 20500 HAS SOPS 20500 HAS SOUS 18666 HAS SOUPS 18666 WITH SCORE 18686.5
AT ITER 1218 NEW BEST:: SOT 132198 SOS 20500 HAS SOPS 20500 HAS SOUS 18663 HAS SOUPS 18663 WITH SCORE 18683.5
AT ITER 1226 NEW BEST:: SOT 132149 SOS 20362 HAS SOPS 20362 HAS SOUS 18553 HAS SOUPS 18553 WITH SCORE 18573.362
AT ITER 1267 NEW BEST:: SOT 132132 SOS 20328 HAS SOPS 20328 HAS SOUS 18536 HAS SOUPS 18536 WITH SCORE 18556.328
AT ITER 1275 NEW BEST:: SOT 132132 SOS 20294 HAS SOPS 20294 HAS SOUS 18519 HAS SOUPS 18519 WITH SCORE 18539.294
AT ITER 1286 NEW BEST:: SOT 132126 SOS 20279 HAS SOPS 20279 HAS SOUS 18504 HAS SOUPS 18504 WITH SCORE 18524.279
AT ITER 1293 NEW BEST:: SOT 132108 SOS 20242 HAS SOPS 20242 HAS SOUS 18456 HAS SOUPS 18456 WITH SCORE 18476.242
AT ITER 1354 NEW BEST:: SOT 132108 SOS 20236 HAS SOPS 20236 HAS SOUS 18405 HAS SOUPS 18405 WITH SCORE 18425.236
AT ITER 1392 NEW BEST:: SOT 132108 SOS 20236 HAS SOPS 20236 HAS SOUS 18399 HAS SOUPS 18399 WITH SCORE 18419.236
AT ITER 1395 NEW BEST:: SOT 132084 SOS 20214 HAS SOPS 20214 HAS SOUS 18375 HAS SOUPS 18375 WITH SCORE 18395.214
AT ITER 1400 NEW BEST:: SOT 132079 SOS 20180 HAS SOPS 20180 HAS SOUS 18343 HAS SOUPS 18343 WITH SCORE 18363.18
AT ITER 1404 NEW BEST:: SOT 132079 SOS 20162 HAS SOPS 20162 HAS SOUS 18325 HAS SOUPS 18325 WITH SCORE 18345.162
AT ITER 1451 NEW BEST:: SOT 132088 SOS 20147 HAS SOPS 20147 HAS SOUS 18310 HAS SOUPS 18310 WITH SCORE 18330.147
AT ITER 1491 NEW BEST:: SOT 132088 SOS 20147 HAS SOPS 20147 HAS SOUS 18307 HAS SOUPS 18307 WITH SCORE 18327.147
AT ITER 1509 NEW BEST:: SOT 132031 SOS 20070 HAS SOPS 20070 HAS SOUS 18230 HAS SOUPS 18230 WITH SCORE 18250.07
AT ITER 1536 NEW BEST:: SOT 131992 SOS 19992 HAS SOPS 19992 HAS SOUS 18169 HAS SOUPS 18169 WITH SCORE 18188.992
AT ITER 1574 NEW BEST:: SOT 131963 SOS 19876 HAS SOPS 19876 HAS SOUS 18111 HAS SOUPS 18111 WITH SCORE 18130.876
AT ITER 1594 NEW BEST:: SOT 131953 SOS 19797 HAS SOPS 19797 HAS SOUS 18095 HAS SOUPS 18095 WITH SCORE 18114.797
AT ITER 1600 NEW BEST:: SOT 131952 SOS 19795 HAS SOPS 19795 HAS SOUS 18093 HAS SOUPS 18093 WITH SCORE 18112.795
AT ITER 1612 NEW BEST:: SOT 131952 SOS 19754 HAS SOPS 19754 HAS SOUS 18052 HAS SOUPS 18052 WITH SCORE 18071.754
AT ITER 1617 NEW BEST:: SOT 131943 SOS 19735 HAS SOPS 19735 HAS SOUS 18042 HAS SOUPS 18042 WITH SCORE 18061.735
AT ITER 1705 NEW BEST:: SOT 131922 SOS 19724 HAS SOPS 19724 HAS SOUS 18033 HAS SOUPS 18033 WITH SCORE 18052.724
AT ITER 1744 NEW BEST:: SOT 131941 SOS 19746 HAS SOPS 19746 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18041.746
AT ITER 1747 NEW BEST:: SOT 131939 SOS 19744 HAS SOPS 19744 HAS SOUS 18022 HAS SOUPS 18022 WITH SCORE 18041.744
AT ITER 1775 NEW BEST:: SOT 131963 SOS 19702 HAS SOPS 19702 HAS SOUS 17993 HAS SOUPS 17993 WITH SCORE 18012.702
AT ITER 1782 NEW BEST:: SOT 131963 SOS 19682 HAS SOPS 19682 HAS SOUS 17953 HAS SOUPS 17953 WITH SCORE 17972.682
AT ITER 1822 NEW BEST:: SOT 131963 SOS 19676 HAS SOPS 19676 HAS SOUS 17947 HAS SOUPS 17947 WITH SCORE 17966.676
AT ITER 1828 NEW BEST:: SOT 131999 SOS 19748 HAS SOPS 19748 HAS SOUS 17927 HAS SOUPS 17927 WITH SCORE 17946.748
AT ITER 1855 NEW BEST:: SOT 131999 SOS 19733 HAS SOPS 19733 HAS SOUS 17921 HAS SOUPS 17921 WITH SCORE 17940.733
AT ITER 1887 NEW BEST:: SOT 131999 SOS 19711 HAS SOPS 19711 HAS SOUS 17899 HAS SOUPS 17899 WITH SCORE 17918.711
AT ITER 1904 NEW BEST:: SOT 131984 SOS 19678 HAS SOPS 19678 HAS SOUS 17844 HAS SOUPS 17844 WITH SCORE 17863.678
AT ITER 1905 NEW BEST:: SOT 131977 SOS 19651 HAS SOPS 19651 HAS SOUS 17832 HAS SOUPS 17832 WITH SCORE 17851.651
AT ITER 1909 NEW BEST:: SOT 131977 SOS 19617 HAS SOPS 19617 HAS SOUS 17764 HAS SOUPS 17764 WITH SCORE 17783.617
AT ITER 1952 NEW BEST:: SOT 131977 SOS 19613 HAS SOPS 19613 HAS SOUS 17760 HAS SOUPS 17760 WITH SCORE 17779.613
AT ITER 1988 NEW BEST:: SOT 131966 SOS 19602 HAS SOPS 19602 HAS SOUS 17749 HAS SOUPS 17749 WITH SCORE 17768.602
AT ITER 1997 NEW BEST:: SOT 131874 SOS 19604 HAS SOPS 19604 HAS SOUS 17729 HAS SOUPS 17729 WITH SCORE 17748.604
AT ITER 2001 NEW BEST:: SOT 131850 SOS 19556 HAS SOPS 19556 HAS SOUS 17725 HAS SOUPS 17725 WITH SCORE 17744.556
AT ITER 2023 NEW BEST:: SOT 131845 SOS 19523 HAS SOPS 19523 HAS SOUS 17692 HAS SOUPS 17692 WITH SCORE 17711.523
AT ITER 2028 NEW BEST:: SOT 131811 SOS 19455 HAS SOPS 19455 HAS SOUS 17680 HAS SOUPS 17680 WITH SCORE 17699.455
AT ITER 2041 NEW BEST:: SOT 131801 SOS 19415 HAS SOPS 19415 HAS SOUS 17659 HAS SOUPS 17659 WITH SCORE 17678.415
AT ITER 2057 NEW BEST:: SOT 131785 SOS 19315 HAS SOPS 19315 HAS SOUS 17575 HAS SOUPS 17575 WITH SCORE 17594.315
AT ITER 2106 NEW BEST:: SOT 131751 SOS 19312 HAS SOPS 19312 HAS SOUS 17528 HAS SOUPS 17528 WITH SCORE 17547.312
AT ITER 2143 NEW BEST:: SOT 131748 SOS 19306 HAS SOPS 19306 HAS SOUS 17522 HAS SOUPS 17522 WITH SCORE 17541.306
AT ITER 2144 NEW BEST:: SOT 131748 SOS 19306 HAS SOPS 19306 HAS SOUS 17519 HAS SOUPS 17519 WITH SCORE 17538.306
AT ITER 2170 NEW BEST:: SOT 131671 SOS 19231 HAS SOPS 19231 HAS SOUS 17442 HAS SOUPS 17442 WITH SCORE 17461.231
AT ITER 2190 NEW BEST:: SOT 131675 SOS 19217 HAS SOPS 19217 HAS SOUS 17439 HAS SOUPS 17439 WITH SCORE 17458.217
AT ITER 2249 NEW BEST:: SOT 131672 SOS 19157 HAS SOPS 19157 HAS SOUS 17404 HAS SOUPS 17404 WITH SCORE 17423.157
AT ITER 2253 NEW BEST:: SOT 131672 SOS 19156 HAS SOPS 19156 HAS SOUS 17403 HAS SOUPS 17403 WITH SCORE 17422.156
AT ITER 2293 NEW BEST:: SOT 131672 SOS 19130 HAS SOPS 19130 HAS SOUS 17390 HAS SOUPS 17390 WITH SCORE 17409.13
AT ITER 2308 NEW BEST:: SOT 131632 SOS 19144 HAS SOPS 19144 HAS SOUS 17388 HAS SOUPS 17388 WITH SCORE 17407.144
AT ITER 2314 NEW BEST:: SOT 131632 SOS 19135 HAS SOPS 19135 HAS SOUS 17379 HAS SOUPS 17379 WITH SCORE 17398.135
AT ITER 2323 NEW BEST:: SOT 131632 SOS 19157 HAS SOPS 19157 HAS SOUS 17376 HAS SOUPS 17376 WITH SCORE 17395.157
AT ITER 2384 NEW BEST:: SOT 131632 SOS 19152 HAS SOPS 19152 HAS SOUS 17365 HAS SOUPS 17365 WITH SCORE 17384.152
AT ITER 2405 NEW BEST:: SOT 131632 SOS 19145 HAS SOPS 19145 HAS SOUS 17362 HAS SOUPS 17362 WITH SCORE 17381.145
AT ITER 2428 NEW BEST:: SOT 131628 SOS 19155 HAS SOPS 19155 HAS SOUS 17358 HAS SOUPS 17358 WITH SCORE 17377.155
AT ITER 2482 NEW BEST:: SOT 131612 SOS 19129 HAS SOPS 19129 HAS SOUS 17332 HAS SOUPS 17332 WITH SCORE 17351.129
AT ITER 2490 NEW BEST:: SOT 131615 SOS 19132 HAS SOPS 19132 HAS SOUS 17302 HAS SOUPS 17302 WITH SCORE 17321.132
AT ITER 2498 NEW BEST:: SOT 131615 SOS 19128 HAS SOPS 19128 HAS SOUS 17298 HAS SOUPS 17298 WITH SCORE 17317.128
AT ITER 2520 NEW BEST:: SOT 131615 SOS 19112 HAS SOPS 19112 HAS SOUS 17282 HAS SOUPS 17282 WITH SCORE 17301.112
AT ITER 2529 NEW BEST:: SOT 131615 SOS 19111 HAS SOPS 19111 HAS SOUS 17281 HAS SOUPS 17281 WITH SCORE 17300.111
AT ITER 2537 NEW BEST:: SOT 131607 SOS 19095 HAS SOPS 19095 HAS SOUS 17226 HAS SOUPS 17226 WITH SCORE 17245.095
AT ITER 2547 NEW BEST:: SOT 131605 SOS 19090 HAS SOPS 19090 HAS SOUS 17221 HAS SOUPS 17221 WITH SCORE 17240.09
AT ITER 2553 NEW BEST:: SOT 131598 SOS 19078 HAS SOPS 19078 HAS SOUS 17209 HAS SOUPS 17209 WITH SCORE 17228.078
AT ITER 2567 NEW BEST:: SOT 131599 SOS 19079 HAS SOPS 19079 HAS SOUS 17204 HAS SOUPS 17204 WITH SCORE 17223.079
AT ITER 2581 NEW BEST:: SOT 131580 SOS 19060 HAS SOPS 19060 HAS SOUS 17160 HAS SOUPS 17160 WITH SCORE 17179.06
AT ITER 2585 NEW BEST:: SOT 131580 SOS 19071 HAS SOPS 19071 HAS SOUS 17157 HAS SOUPS 17157 WITH SCORE 17176.071
AT ITER 2607 NEW BEST:: SOT 131580 SOS 19063 HAS SOPS 19063 HAS SOUS 17149 HAS SOUPS 17149 WITH SCORE 17168.063
AT ITER 2629 NEW BEST:: SOT 131571 SOS 19045 HAS SOPS 19045 HAS SOUS 17131 HAS SOUPS 17131 WITH SCORE 17150.045
AT ITER 2631 NEW BEST:: SOT 131545 SOS 18993 HAS SOPS 18993 HAS SOUS 17103 HAS SOUPS 17103 WITH SCORE 17121.993
AT ITER 2632 NEW BEST:: SOT 131550 SOS 18946 HAS SOPS 18946 HAS SOUS 17056 HAS SOUPS 17056 WITH SCORE 17074.946
AT ITER 2640 NEW BEST:: SOT 131549 SOS 18967 HAS SOPS 18967 HAS SOUS 17055 HAS SOUPS 17055 WITH SCORE 17073.967
AT ITER 2649 NEW BEST:: SOT 131543 SOS 18955 HAS SOPS 18955 HAS SOUS 17039 HAS SOUPS 17039 WITH SCORE 17057.955
AT ITER 2653 NEW BEST:: SOT 131536 SOS 18947 HAS SOPS 18947 HAS SOUS 17031 HAS SOUPS 17031 WITH SCORE 17049.947
AT ITER 2672 NEW BEST:: SOT 131505 SOS 18984 HAS SOPS 18984 HAS SOUS 17000 HAS SOUPS 17000 WITH SCORE 17018.984
AT ITER 2679 NEW BEST:: SOT 131505 SOS 18976 HAS SOPS 18976 HAS SOUS 16992 HAS SOUPS 16992 WITH SCORE 17010.976
AT ITER 2702 NEW BEST:: SOT 131505 SOS 18892 HAS SOPS 18892 HAS SOUS 16970 HAS SOUPS 16970 WITH SCORE 16988.892
AT ITER 2720 NEW BEST:: SOT 131503 SOS 18888 HAS SOPS 18888 HAS SOUS 16968 HAS SOUPS 16968 WITH SCORE 16986.888
AT ITER 2721 NEW BEST:: SOT 131501 SOS 18876 HAS SOPS 18876 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16976.876
AT ITER 2781 NEW BEST:: SOT 131501 SOS 18874 HAS SOPS 18874 HAS SOUS 16958 HAS SOUPS 16958 WITH SCORE 16976.874
AT ITER 2783 NEW BEST:: SOT 131501 SOS 18862 HAS SOPS 18862 HAS SOUS 16946 HAS SOUPS 16946 WITH SCORE 16964.862
AT ITER 2820 NEW BEST:: SOT 131501 SOS 18859 HAS SOPS 18859 HAS SOUS 16943 HAS SOUPS 16943 WITH SCORE 16961.859
AT ITER 2824 NEW BEST:: SOT 131493 SOS 18843 HAS SOPS 18843 HAS SOUS 16927 HAS SOUPS 16927 WITH SCORE 16945.843
AT ITER 2858 NEW BEST:: SOT 131493 SOS 18820 HAS SOPS 18820 HAS SOUS 16923 HAS SOUPS 16923 WITH SCORE 16941.82
AT ITER 2877 NEW BEST:: SOT 131514 SOS 18783 HAS SOPS 18783 HAS SOUS 16906 HAS SOUPS 16906 WITH SCORE 16924.783
AT ITER 2908 NEW BEST:: SOT 131515 SOS 18737 HAS SOPS 18737 HAS SOUS 16874 HAS SOUPS 16874 WITH SCORE 16892.737
AT ITER 2971 NEW BEST:: SOT 131492 SOS 18685 HAS SOPS 18685 HAS SOUS 16820 HAS SOUPS 16820 WITH SCORE 16838.685
AT ITER 2972 NEW BEST:: SOT 131490 SOS 18681 HAS SOPS 18681 HAS SOUS 16818 HAS SOUPS 16818 WITH SCORE 16836.681
AT ITER 3006 NEW BEST:: SOT 131475 SOS 18651 HAS SOPS 18651 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16806.651
AT ITER 3047 NEW BEST:: SOT 131478 SOS 18634 HAS SOPS 18634 HAS SOUS 16788 HAS SOUPS 16788 WITH SCORE 16806.634
AT ITER 3059 NEW BEST:: SOT 131457 SOS 18622 HAS SOPS 18622 HAS SOUS 16758 HAS SOUPS 16758 WITH SCORE 16776.622
AT ITER 3063 NEW BEST:: SOT 131450 SOS 18608 HAS SOPS 18608 HAS SOUS 16749 HAS SOUPS 16749 WITH SCORE 16767.608
AT ITER 3119 NEW BEST:: SOT 131453 SOS 18552 HAS SOPS 18552 HAS SOUS 16726 HAS SOUPS 16726 WITH SCORE 16744.552
AT ITER 3120 NEW BEST:: SOT 131453 SOS 18549 HAS SOPS 18549 HAS SOUS 16723 HAS SOUPS 16723 WITH SCORE 16741.549
AT ITER 3139 NEW BEST:: SOT 131448 SOS 18539 HAS SOPS 18539 HAS SOUS 16710 HAS SOUPS 16710 WITH SCORE 16728.539
AT ITER 3166 NEW BEST:: SOT 131427 SOS 18522 HAS SOPS 18522 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16682.522
AT ITER 3217 NEW BEST:: SOT 131427 SOS 18520 HAS SOPS 18520 HAS SOUS 16662 HAS SOUPS 16662 WITH SCORE 16680.52
AT ITER 3218 NEW BEST:: SOT 131420 SOS 18487 HAS SOPS 18487 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16635.487
AT ITER 3224 NEW BEST:: SOT 131420 SOS 18479 HAS SOPS 18479 HAS SOUS 16617 HAS SOUPS 16617 WITH SCORE 16635.479
AT ITER 3229 NEW BEST:: SOT 131420 SOS 18448 HAS SOPS 18448 HAS SOUS 16602 HAS SOUPS 16602 WITH SCORE 16620.448
AT ITER 3269 NEW BEST:: SOT 131420 SOS 18444 HAS SOPS 18444 HAS SOUS 16598 HAS SOUPS 16598 WITH SCORE 16616.444
AT ITER 3352 NEW BEST:: SOT 131420 SOS 18440 HAS SOPS 18440 HAS SOUS 16594 HAS SOUPS 16594 WITH SCORE 16612.44
AT ITER 3371 NEW BEST:: SOT 131410 SOS 18410 HAS SOPS 18410 HAS SOUS 16564 HAS SOUPS 16564 WITH SCORE 16582.41
AT ITER 3427 NEW BEST:: SOT 131384 SOS 18386 HAS SOPS 18386 HAS SOUS 16510 HAS SOUPS 16510 WITH SCORE 16528.386
AT ITER 3429 NEW BEST:: SOT 131375 SOS 18359 HAS SOPS 18359 HAS SOUS 16483 HAS SOUPS 16483 WITH SCORE 16501.359
AT ITER 3456 NEW BEST:: SOT 131374 SOS 18363 HAS SOPS 18363 HAS SOUS 16482 HAS SOUPS 16482 WITH SCORE 16500.363
AT ITER 3463 NEW BEST:: SOT 131373 SOS 18325 HAS SOPS 18325 HAS SOUS 16480 HAS SOUPS 16480 WITH SCORE 16498.325
AT ITER 3479 NEW BEST:: SOT 131371 SOS 18312 HAS SOPS 18312 HAS SOUS 16476 HAS SOUPS 16476 WITH SCORE 16494.312
AT ITER 3498 NEW BEST:: SOT 131370 SOS 18325 HAS SOPS 18325 HAS SOUS 16474 HAS SOUPS 16474 WITH SCORE 16492.325
AT ITER 3545 NEW BEST:: SOT 131368 SOS 18329 HAS SOPS 18329 HAS SOUS 16473 HAS SOUPS 16473 WITH SCORE 16491.329
AT ITER 3626 NEW BEST:: SOT 131355 SOS 18303 HAS SOPS 18303 HAS SOUS 16447 HAS SOUPS 16447 WITH SCORE 16465.303
AT ITER 3646 NEW BEST:: SOT 131331 SOS 18279 HAS SOPS 18279 HAS SOUS 16399 HAS SOUPS 16399 WITH SCORE 16417.279
AT ITER 3651 NEW BEST:: SOT 131331 SOS 18279 HAS SOPS 18279 HAS SOUS 16396 HAS SOUPS 16396 WITH SCORE 16414.279
AT ITER 3659 NEW BEST:: SOT 131342 SOS 18274 HAS SOPS 18274 HAS SOUS 16395 HAS SOUPS 16395 WITH SCORE 16413.274
AT ITER 3666 NEW BEST:: SOT 131342 SOS 18240 HAS SOPS 18240 HAS SOUS 16378 HAS SOUPS 16378 WITH SCORE 16396.24
AT ITER 3687 NEW BEST:: SOT 131330 SOS 18217 HAS SOPS 18217 HAS SOUS 16342 HAS SOUPS 16342 WITH SCORE 16360.217
AT ITER 3703 NEW BEST:: SOT 131335 SOS 18227 HAS SOPS 18227 HAS SOUS 16340 HAS SOUPS 16340 WITH SCORE 16358.227
AT ITER 3735 NEW BEST:: SOT 131341 SOS 18223 HAS SOPS 18223 HAS SOUS 16336 HAS SOUPS 16336 WITH SCORE 16354.223
AT ITER 3768 NEW BEST:: SOT 131350 SOS 18221 HAS SOPS 18221 HAS SOUS 16334 HAS SOUPS 16334 WITH SCORE 16352.221
AT ITER 3785 NEW BEST:: SOT 131350 SOS 18210 HAS SOPS 18210 HAS SOUS 16323 HAS SOUPS 16323 WITH SCORE 16341.21
AT ITER 3792 NEW BEST:: SOT 131349 SOS 18208 HAS SOPS 18208 HAS SOUS 16323 HAS SOUPS 16323 WITH SCORE 16341.208
AT ITER 3801 NEW BEST:: SOT 131348 SOS 18206 HAS SOPS 18206 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16339.206
AT ITER 3815 NEW BEST:: SOT 131348 SOS 18188 HAS SOPS 18188 HAS SOUS 16303 HAS SOUPS 16303 WITH SCORE 16321.188
AT ITER 3827 NEW BEST:: SOT 131348 SOS 18154 HAS SOPS 18154 HAS SOUS 16269 HAS SOUPS 16269 WITH SCORE 16287.154
AT ITER 3831 NEW BEST:: SOT 131348 SOS 18154 HAS SOPS 18154 HAS SOUS 16211 HAS SOUPS 16211 WITH SCORE 16229.154
AT ITER 3843 NEW BEST:: SOT 131348 SOS 18121 HAS SOPS 18121 HAS SOUS 16168 HAS SOUPS 16168 WITH SCORE 16186.121
AT ITER 3887 NEW BEST:: SOT 131370 SOS 18131 HAS SOPS 18131 HAS SOUS 16161 HAS SOUPS 16161 WITH SCORE 16179.131
AT ITER 3898 NEW BEST:: SOT 131367 SOS 18125 HAS SOPS 18125 HAS SOUS 16146 HAS SOUPS 16146 WITH SCORE 16164.125
AT ITER 3906 NEW BEST:: SOT 131366 SOS 18123 HAS SOPS 18123 HAS SOUS 16145 HAS SOUPS 16145 WITH SCORE 16163.123
AT ITER 3947 NEW BEST:: SOT 131366 SOS 18100 HAS SOPS 18100 HAS SOUS 16122 HAS SOUPS 16122 WITH SCORE 16140.1
AT ITER 3989 NEW BEST:: SOT 131366 SOS 18078 HAS SOPS 18078 HAS SOUS 16119 HAS SOUPS 16119 WITH SCORE 16137.078
AT ITER 4027 NEW BEST:: SOT 131357 SOS 18095 HAS SOPS 18095 HAS SOUS 16110 HAS SOUPS 16110 WITH SCORE 16128.095
AT ITER 4032 NEW BEST:: SOT 131357 SOS 18106 HAS SOPS 18106 HAS SOUS 16100 HAS SOUPS 16100 WITH SCORE 16118.106
AT ITER 4041 NEW BEST:: SOT 131364 SOS 18083 HAS SOPS 18083 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16105.083
AT ITER 4078 NEW BEST:: SOT 131364 SOS 18062 HAS SOPS 18062 HAS SOUS 16087 HAS SOUPS 16087 WITH SCORE 16105.062
AT ITER 4133 NEW BEST:: SOT 131358 SOS 18050 HAS SOPS 18050 HAS SOUS 16075 HAS SOUPS 16075 WITH SCORE 16093.05
AT ITER 4156 NEW BEST:: SOT 131358 SOS 18050 HAS SOPS 18050 HAS SOUS 16074 HAS SOUPS 16074 WITH SCORE 16092.05
AT ITER 4165 NEW BEST:: SOT 131357 SOS 18004 HAS SOPS 18004 HAS SOUS 16054 HAS SOUPS 16054 WITH SCORE 16072.004
AT ITER 4308 NEW BEST:: SOT 131381 SOS 18049 HAS SOPS 18049 HAS SOUS 16017 HAS SOUPS 16017 WITH SCORE 16035.049
AT ITER 4341 NEW BEST:: SOT 131379 SOS 18033 HAS SOPS 18033 HAS SOUS 16013 HAS SOUPS 16013 WITH SCORE 16031.033
AT ITER 4359 NEW BEST:: SOT 131379 SOS 18023 HAS SOPS 18023 HAS SOUS 16003 HAS SOUPS 16003 WITH SCORE 16021.023
AT ITER 4381 NEW BEST:: SOT 131377 SOS 18019 HAS SOPS 18019 HAS SOUS 16000 HAS SOUPS 16000 WITH SCORE 16018.019
AT ITER 4564 NEW BEST:: SOT 131345 SOS 17923 HAS SOPS 17923 HAS SOUS 15949 HAS SOUPS 15949 WITH SCORE 15966.923
AT ITER 4573 NEW BEST:: SOT 131340 SOS 17907 HAS SOPS 17907 HAS SOUS 15944 HAS SOUPS 15944 WITH SCORE 15961.907
AT ITER 4607 NEW BEST:: SOT 131324 SOS 17871 HAS SOPS 17871 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15925.871
AT ITER 4620 NEW BEST:: SOT 131327 SOS 17868 HAS SOPS 17868 HAS SOUS 15908 HAS SOUPS 15908 WITH SCORE 15925.868
AT ITER 4658 NEW BEST:: SOT 131339 SOS 17827 HAS SOPS 17827 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15906.827
AT ITER 4723 NEW BEST:: SOT 131339 SOS 17823 HAS SOPS 17823 HAS SOUS 15889 HAS SOUPS 15889 WITH SCORE 15906.823
AT ITER 4748 NEW BEST:: SOT 131350 SOS 17845 HAS SOPS 17845 HAS SOUS 15873 HAS SOUPS 15873 WITH SCORE 15890.845
AT ITER 4771 NEW BEST:: SOT 131362 SOS 17829 HAS SOPS 17829 HAS SOUS 15871 HAS SOUPS 15871 WITH SCORE 15888.829
AT ITER 4808 NEW BEST:: SOT 131343 SOS 17791 HAS SOPS 17791 HAS SOUS 15833 HAS SOUPS 15833 WITH SCORE 15850.791
AT ITER 4822 NEW BEST:: SOT 131343 SOS 17791 HAS SOPS 17791 HAS SOUS 15831 HAS SOUPS 15831 WITH SCORE 15848.791
AT ITER 4827 NEW BEST:: SOT 131352 SOS 17790 HAS SOPS 17790 HAS SOUS 15830 HAS SOUPS 15830 WITH SCORE 15847.79
AT ITER 4837 NEW BEST:: SOT 131352 SOS 17785 HAS SOPS 17785 HAS SOUS 15825 HAS SOUPS 15825 WITH SCORE 15842.785
AT ITER 4844 NEW BEST:: SOT 131335 SOS 17744 HAS SOPS 17744 HAS SOUS 15794 HAS SOUPS 15794 WITH SCORE 15811.744
AT ITER 4881 NEW BEST:: SOT 131335 SOS 17743 HAS SOPS 17743 HAS SOUS 15793 HAS SOUPS 15793 WITH SCORE 15810.743
AT ITER 4885 NEW BEST:: SOT 131319 SOS 17708 HAS SOPS 17708 HAS SOUS 15758 HAS SOUPS 15758 WITH SCORE 15775.708
AT ITER 4899 NEW BEST:: SOT 131331 SOS 17732 HAS SOPS 17732 HAS SOUS 15732 HAS SOUPS 15732 WITH SCORE 15749.732
AT ITER 4918 NEW BEST:: SOT 131331 SOS 17731 HAS SOPS 17731 HAS SOUS 15731 HAS SOUPS 15731 WITH SCORE 15748.731
AT ITER 4950 NEW BEST:: SOT 131331 SOS 17685 HAS SOPS 17685 HAS SOUS 15731 HAS SOUPS 15731 WITH SCORE 15748.685
AT ITER 4955 NEW BEST:: SOT 131298 SOS 17663 HAS SOPS 17663 HAS SOUS 15680 HAS SOUPS 15680 WITH SCORE 15697.663
AT ITER 5000 NEW BEST:: SOT 131298 SOS 17640 HAS SOPS 17640 HAS SOUS 15657 HAS SOUPS 15657 WITH SCORE 15674.64
AT ITER 5054 NEW BEST:: SOT 131258 SOS 17539 HAS SOPS 17539 HAS SOUS 15596 HAS SOUPS 15596 WITH SCORE 15613.539
AT ITER 5166 NEW BEST:: SOT 131257 SOS 17537 HAS SOPS 17537 HAS SOUS 15594 HAS SOUPS 15594 WITH SCORE 15611.537
AT ITER 5182 NEW BEST:: SOT 131256 SOS 17536 HAS SOPS 17536 HAS SOUS 15578 HAS SOUPS 15578 WITH SCORE 15595.536
AT ITER 5190 NEW BEST:: SOT 131245 SOS 17514 HAS SOPS 17514 HAS SOUS 15554 HAS SOUPS 15554 WITH SCORE 15571.514
AT ITER 5226 NEW BEST:: SOT 131245 SOS 17509 HAS SOPS 17509 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15566.509
AT ITER 5247 NEW BEST:: SOT 131245 SOS 17509 HAS SOPS 17509 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15551.509
AT ITER 5273 NEW BEST:: SOT 131244 SOS 17479 HAS SOPS 17479 HAS SOUS 15532 HAS SOUPS 15532 WITH SCORE 15549.479
AT ITER 5300 NEW BEST:: SOT 131244 SOS 17466 HAS SOPS 17466 HAS SOUS 15519 HAS SOUPS 15519 WITH SCORE 15536.466
AT ITER 5309 NEW BEST:: SOT 131244 SOS 17456 HAS SOPS 17456 HAS SOUS 15509 HAS SOUPS 15509 WITH SCORE 15526.456
AT ITER 5348 NEW BEST:: SOT 131217 SOS 17375 HAS SOPS 17375 HAS SOUS 15455 HAS SOUPS 15455 WITH SCORE 15472.375
AT ITER 5405 NEW BEST:: SOT 131217 SOS 17361 HAS SOPS 17361 HAS SOUS 15454 HAS SOUPS 15454 WITH SCORE 15471.361
AT ITER 5417 NEW BEST:: SOT 131199 SOS 17307 HAS SOPS 17307 HAS SOUS 15418 HAS SOUPS 15418 WITH SCORE 15435.307
AT ITER 5448 NEW BEST:: SOT 131174 SOS 17261 HAS SOPS 17261 HAS SOUS 15396 HAS SOUPS 15396 WITH SCORE 15413.261
AT ITER 5474 NEW BEST:: SOT 131157 SOS 17210 HAS SOPS 17210 HAS SOUS 15362 HAS SOUPS 15362 WITH SCORE 15379.21
AT ITER 5482 NEW BEST:: SOT 131157 SOS 17170 HAS SOPS 17170 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15346.17
AT ITER 5510 NEW BEST:: SOT 131151 SOS 17167 HAS SOPS 17167 HAS SOUS 15326 HAS SOUPS 15326 WITH SCORE 15343.167
AT ITER 5515 NEW BEST:: SOT 131147 SOS 17158 HAS SOPS 17158 HAS SOUS 15317 HAS SOUPS 15317 WITH SCORE 15334.158
AT ITER 5527 NEW BEST:: SOT 131140 SOS 17137 HAS SOPS 17137 HAS SOUS 15300 HAS SOUPS 15300 WITH SCORE 15317.137
AT ITER 5550 NEW BEST:: SOT 131148 SOS 17021 HAS SOPS 17021 HAS SOUS 15249 HAS SOUPS 15249 WITH SCORE 15266.021
AT ITER 5552 NEW BEST:: SOT 131148 SOS 17020 HAS SOPS 17020 HAS SOUS 15245 HAS SOUPS 15245 WITH SCORE 15262.02
AT ITER 5586 NEW BEST:: SOT 131148 SOS 17001 HAS SOPS 17001 HAS SOUS 15226 HAS SOUPS 15226 WITH SCORE 15243.001
AT ITER 5600 NEW BEST:: SOT 131148 SOS 16997 HAS SOPS 16997 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15238.997
AT ITER 5617 NEW BEST:: SOT 131148 SOS 16991 HAS SOPS 16991 HAS SOUS 15222 HAS SOUPS 15222 WITH SCORE 15238.991
AT ITER 5621 NEW BEST:: SOT 131148 SOS 16985 HAS SOPS 16985 HAS SOUS 15218 HAS SOUPS 15218 WITH SCORE 15234.985
AT ITER 5648 NEW BEST:: SOT 131134 SOS 16980 HAS SOPS 16980 HAS SOUS 15204 HAS SOUPS 15204 WITH SCORE 15220.98
AT ITER 5668 NEW BEST:: SOT 131144 SOS 16990 HAS SOPS 16990 HAS SOUS 15187 HAS SOUPS 15187 WITH SCORE 15203.99
AT ITER 5672 NEW BEST:: SOT 131144 SOS 16964 HAS SOPS 16964 HAS SOUS 15174 HAS SOUPS 15174 WITH SCORE 15190.964
AT ITER 5675 NEW BEST:: SOT 131144 SOS 16965 HAS SOPS 16965 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15178.965
AT ITER 5685 NEW BEST:: SOT 131133 SOS 16943 HAS SOPS 16943 HAS SOUS 15140 HAS SOUPS 15140 WITH SCORE 15156.943
AT ITER 5725 NEW BEST:: SOT 131122 SOS 16921 HAS SOPS 16921 HAS SOUS 15118 HAS SOUPS 15118 WITH SCORE 15134.921
AT ITER 5733 NEW BEST:: SOT 131121 SOS 16931 HAS SOPS 16931 HAS SOUS 15117 HAS SOUPS 15117 WITH SCORE 15133.931
AT ITER 5807 NEW BEST:: SOT 131130 SOS 16900 HAS SOPS 16900 HAS SOUS 15106 HAS SOUPS 15106 WITH SCORE 15122.9
AT ITER 5976 NEW BEST:: SOT 131130 SOS 16898 HAS SOPS 16898 HAS SOUS 15105 HAS SOUPS 15105 WITH SCORE 15121.898
AT ITER 5991 NEW BEST:: SOT 131117 SOS 16931 HAS SOPS 16931 HAS SOUS 15099 HAS SOUPS 15099 WITH SCORE 15115.931
AT ITER 6041 NEW BEST:: SOT 131122 SOS 16941 HAS SOPS 16941 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15112.941
AT ITER 6086 NEW BEST:: SOT 131122 SOS 16941 HAS SOPS 16941 HAS SOUS 15068 HAS SOUPS 15068 WITH SCORE 15084.941
AT ITER 6094 NEW BEST:: SOT 131118 SOS 16933 HAS SOPS 16933 HAS SOUS 15057 HAS SOUPS 15057 WITH SCORE 15073.933
AT ITER 6097 NEW BEST:: SOT 131115 SOS 16937 HAS SOPS 16937 HAS SOUS 15054 HAS SOUPS 15054 WITH SCORE 15070.937
AT ITER 6190 NEW BEST:: SOT 131115 SOS 16936 HAS SOPS 16936 HAS SOUS 15053 HAS SOUPS 15053 WITH SCORE 15069.936
AT ITER 6211 NEW BEST:: SOT 131115 SOS 16902 HAS SOPS 16902 HAS SOUS 15036 HAS SOUPS 15036 WITH SCORE 15052.902
AT ITER 6238 NEW BEST:: SOT 131115 SOS 16885 HAS SOPS 16885 HAS SOUS 15019 HAS SOUPS 15019 WITH SCORE 15035.885
AT ITER 6396 NEW BEST:: SOT 131102 SOS 16859 HAS SOPS 16859 HAS SOUS 15013 HAS SOUPS 15013 WITH SCORE 15029.859
AT ITER 6406 NEW BEST:: SOT 131104 SOS 16925 HAS SOPS 16925 HAS SOUS 15003 HAS SOUPS 15003 WITH SCORE 15019.925
AT ITER 6442 NEW BEST:: SOT 131104 SOS 16922 HAS SOPS 16922 HAS SOUS 15000 HAS SOUPS 15000 WITH SCORE 15016.922
AT ITER 6468 NEW BEST:: SOT 131097 SOS 16915 HAS SOPS 16915 HAS SOUS 14988 HAS SOUPS 14988 WITH SCORE 15004.915
AT ITER 6521 NEW BEST:: SOT 131097 SOS 16915 HAS SOPS 16915 HAS SOUS 14987 HAS SOUPS 14987 WITH SCORE 15003.915
AT ITER 6529 NEW BEST:: SOT 131094 SOS 16912 HAS SOPS 16912 HAS SOUS 14981 HAS SOUPS 14981 WITH SCORE 14997.912
AT ITER 6550 NEW BEST:: SOT 131113 SOS 16900 HAS SOPS 16900 HAS SOUS 14969 HAS SOUPS 14969 WITH SCORE 14985.9
AT ITER 6552 NEW BEST:: SOT 131113 SOS 16896 HAS SOPS 16896 HAS SOUS 14969 HAS SOUPS 14969 WITH SCORE 14985.896
AT ITER 6581 NEW BEST:: SOT 131115 SOS 16910 HAS SOPS 16910 HAS SOUS 14965 HAS SOUPS 14965 WITH SCORE 14981.91
AT ITER 6608 NEW BEST:: SOT 131115 SOS 16905 HAS SOPS 16905 HAS SOUS 14959 HAS SOUPS 14959 WITH SCORE 14975.905
AT ITER 6641 NEW BEST:: SOT 131125 SOS 16876 HAS SOPS 16876 HAS SOUS 14952 HAS SOUPS 14952 WITH SCORE 14968.876
AT ITER 6646 NEW BEST:: SOT 131123 SOS 16872 HAS SOPS 16872 HAS SOUS 14950 HAS SOUPS 14950 WITH SCORE 14966.872
AT ITER 6658 NEW BEST:: SOT 131106 SOS 16838 HAS SOPS 16838 HAS SOUS 14916 HAS SOUPS 14916 WITH SCORE 14932.838
AT ITER 6662 NEW BEST:: SOT 131106 SOS 16808 HAS SOPS 16808 HAS SOUS 14886 HAS SOUPS 14886 WITH SCORE 14902.808
AT ITER 6696 NEW BEST:: SOT 131104 SOS 16804 HAS SOPS 16804 HAS SOUS 14882 HAS SOUPS 14882 WITH SCORE 14898.804
AT ITER 6704 NEW BEST:: SOT 131106 SOS 16790 HAS SOPS 16790 HAS SOUS 14868 HAS SOUPS 14868 WITH SCORE 14884.79
AT ITER 6705 NEW BEST:: SOT 131099 SOS 16769 HAS SOPS 16769 HAS SOUS 14854 HAS SOUPS 14854 WITH SCORE 14870.769
AT ITER 6718 NEW BEST:: SOT 131100 SOS 16732 HAS SOPS 16732 HAS SOUS 14848 HAS SOUPS 14848 WITH SCORE 14864.732
AT ITER 6727 NEW BEST:: SOT 131100 SOS 16730 HAS SOPS 16730 HAS SOUS 14846 HAS SOUPS 14846 WITH SCORE 14862.73
AT ITER 6762 NEW BEST:: SOT 131100 SOS 16711 HAS SOPS 16711 HAS SOUS 14846 HAS SOUPS 14846 WITH SCORE 14862.711
AT ITER 6866 NEW BEST:: SOT 131111 SOS 16712 HAS SOPS 16712 HAS SOUS 14836 HAS SOUPS 14836 WITH SCORE 14852.712
AT ITER 6885 NEW BEST:: SOT 131109 SOS 16708 HAS SOPS 16708 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14850.708
AT ITER 6912 NEW BEST:: SOT 131109 SOS 16704 HAS SOPS 16704 HAS SOUS 14830 HAS SOUPS 14830 WITH SCORE 14846.704
AT ITER 6934 NEW BEST:: SOT 131109 SOS 16686 HAS SOPS 16686 HAS SOUS 14821 HAS SOUPS 14821 WITH SCORE 14837.686
AT ITER 6938 NEW BEST:: SOT 131108 SOS 16684 HAS SOPS 16684 HAS SOUS 14819 HAS SOUPS 14819 WITH SCORE 14835.684
AT ITER 6945 NEW BEST:: SOT 131103 SOS 16674 HAS SOPS 16674 HAS SOUS 14809 HAS SOUPS 14809 WITH SCORE 14825.674
AT ITER 6951 NEW BEST:: SOT 131102 SOS 16698 HAS SOPS 16698 HAS SOUS 14807 HAS SOUPS 14807 WITH SCORE 14823.698
AT ITER 6957 NEW BEST:: SOT 131096 SOS 16676 HAS SOPS 16676 HAS SOUS 14797 HAS SOUPS 14797 WITH SCORE 14813.676
AT ITER 6962 NEW BEST:: SOT 131088 SOS 16660 HAS SOPS 16660 HAS SOUS 14781 HAS SOUPS 14781 WITH SCORE 14797.66
AT ITER 6981 NEW BEST:: SOT 131070 SOS 16664 HAS SOPS 16664 HAS SOUS 14763 HAS SOUPS 14763 WITH SCORE 14779.664
AT ITER 7077 NEW BEST:: SOT 131090 SOS 16652 HAS SOPS 16652 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14767.652
AT ITER 7282 NEW BEST:: SOT 131089 SOS 16650 HAS SOPS 16650 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14765.65
AT ITER 7299 NEW BEST:: SOT 131092 SOS 16653 HAS SOPS 16653 HAS SOUS 14744 HAS SOUPS 14744 WITH SCORE 14760.653
AT ITER 7396 NEW BEST:: SOT 131092 SOS 16628 HAS SOPS 16628 HAS SOUS 14719 HAS SOUPS 14719 WITH SCORE 14735.628
AT ITER 7412 NEW BEST:: SOT 131086 SOS 16616 HAS SOPS 16616 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14723.616
AT ITER 7433 NEW BEST:: SOT 131079 SOS 16595 HAS SOPS 16595 HAS SOUS 14707 HAS SOUPS 14707 WITH SCORE 14723.595
AT ITER 7456 NEW BEST:: SOT 131076 SOS 16587 HAS SOPS 16587 HAS SOUS 14703 HAS SOUPS 14703 WITH SCORE 14719.587
AT ITER 7466 NEW BEST:: SOT 131107 SOS 16643 HAS SOPS 16643 HAS SOUS 14691 HAS SOUPS 14691 WITH SCORE 14707.643
AT ITER 7467 NEW BEST:: SOT 131131 SOS 16667 HAS SOPS 16667 HAS SOUS 14672 HAS SOUPS 14672 WITH SCORE 14688.667
AT ITER 7523 NEW BEST:: SOT 131079 SOS 16563 HAS SOPS 16563 HAS SOUS 14605 HAS SOUPS 14605 WITH SCORE 14621.563
AT ITER 7586 NEW BEST:: SOT 131079 SOS 16561 HAS SOPS 16561 HAS SOUS 14603 HAS SOUPS 14603 WITH SCORE 14619.561
AT ITER 7593 NEW BEST:: SOT 131067 SOS 16543 HAS SOPS 16543 HAS SOUS 14591 HAS SOUPS 14591 WITH SCORE 14607.543
AT ITER 7686 NEW BEST:: SOT 131061 SOS 16537 HAS SOPS 16537 HAS SOUS 14585 HAS SOUPS 14585 WITH SCORE 14601.537
AT ITER 7737 NEW BEST:: SOT 131061 SOS 16537 HAS SOPS 16537 HAS SOUS 14584 HAS SOUPS 14584 WITH SCORE 14600.537
AT ITER 7742 NEW BEST:: SOT 131053 SOS 16478 HAS SOPS 16478 HAS SOUS 14568 HAS SOUPS 14568 WITH SCORE 14584.478
AT ITER 7758 NEW BEST:: SOT 131051 SOS 16479 HAS SOPS 16479 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14580.479
AT ITER 7782 NEW BEST:: SOT 131045 SOS 16467 HAS SOPS 16467 HAS SOUS 14550 HAS SOUPS 14550 WITH SCORE 14566.467
AT ITER 7787 NEW BEST:: SOT 131042 SOS 16437 HAS SOPS 16437 HAS SOUS 14547 HAS SOUPS 14547 WITH SCORE 14563.437
AT ITER 7813 NEW BEST:: SOT 131040 SOS 16429 HAS SOPS 16429 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14561.429
AT ITER 7814 NEW BEST:: SOT 131077 SOS 16392 HAS SOPS 16392 HAS SOUS 14545 HAS SOUPS 14545 WITH SCORE 14561.392
AT ITER 7856 NEW BEST:: SOT 131091 SOS 16342 HAS SOPS 16342 HAS SOUS 14516 HAS SOUPS 14516 WITH SCORE 14532.342
AT ITER 7968 NEW BEST:: SOT 131096 SOS 16322 HAS SOPS 16322 HAS SOUS 14507 HAS SOUPS 14507 WITH SCORE 14523.322
AT ITER 7970 NEW BEST:: SOT 131079 SOS 16361 HAS SOPS 16361 HAS SOUS 14505 HAS SOUPS 14505 WITH SCORE 14521.361
AT ITER 8002 NEW BEST:: SOT 131077 SOS 16351 HAS SOPS 16351 HAS SOUS 14501 HAS SOUPS 14501 WITH SCORE 14517.351
AT ITER 8051 NEW BEST:: SOT 131082 SOS 16309 HAS SOPS 16309 HAS SOUS 14492 HAS SOUPS 14492 WITH SCORE 14508.309
AT ITER 8092 NEW BEST:: SOT 131082 SOS 16307 HAS SOPS 16307 HAS SOUS 14491 HAS SOUPS 14491 WITH SCORE 14507.307
AT ITER 8126 NEW BEST:: SOT 131061 SOS 16284 HAS SOPS 16284 HAS SOUS 14468 HAS SOUPS 14468 WITH SCORE 14484.284
AT ITER 8129 NEW BEST:: SOT 131066 SOS 16282 HAS SOPS 16282 HAS SOUS 14467 HAS SOUPS 14467 WITH SCORE 14483.282
AT ITER 8178 NEW BEST:: SOT 131054 SOS 16252 HAS SOPS 16252 HAS SOUS 14449 HAS SOUPS 14449 WITH SCORE 14465.252
AT ITER 8190 NEW BEST:: SOT 131084 SOS 16312 HAS SOPS 16312 HAS SOUS 14445 HAS SOUPS 14445 WITH SCORE 14461.312
AT ITER 8214 NEW BEST:: SOT 131070 SOS 16265 HAS SOPS 16265 HAS SOUS 14412 HAS SOUPS 14412 WITH SCORE 14428.265
AT ITER 8251 NEW BEST:: SOT 131048 SOS 16236 HAS SOPS 16236 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14399.236
AT ITER 8265 NEW BEST:: SOT 131059 SOS 16226 HAS SOPS 16226 HAS SOUS 14383 HAS SOUPS 14383 WITH SCORE 14399.226
AT ITER 8303 NEW BEST:: SOT 131056 SOS 16220 HAS SOPS 16220 HAS SOUS 14377 HAS SOUPS 14377 WITH SCORE 14393.22
AT ITER 8332 NEW BEST:: SOT 131055 SOS 16218 HAS SOPS 16218 HAS SOUS 14375 HAS SOUPS 14375 WITH SCORE 14391.218
AT ITER 8384 NEW BEST:: SOT 131055 SOS 16212 HAS SOPS 16212 HAS SOUS 14369 HAS SOUPS 14369 WITH SCORE 14385.212
AT ITER 8398 NEW BEST:: SOT 131055 SOS 16209 HAS SOPS 16209 HAS SOUS 14366 HAS SOUPS 14366 WITH SCORE 14382.209
AT ITER 8400 NEW BEST:: SOT 131055 SOS 16191 HAS SOPS 16191 HAS SOUS 14348 HAS SOUPS 14348 WITH SCORE 14364.191
AT ITER 8431 NEW BEST:: SOT 131067 SOS 16173 HAS SOPS 16173 HAS SOUS 14346 HAS SOUPS 14346 WITH SCORE 14362.173
AT ITER 8451 NEW BEST:: SOT 131079 SOS 16140 HAS SOPS 16140 HAS SOUS 14301 HAS SOUPS 14301 WITH SCORE 14317.14
AT ITER 8519 NEW BEST:: SOT 131079 SOS 16136 HAS SOPS 16136 HAS SOUS 14297 HAS SOUPS 14297 WITH SCORE 14313.136
AT ITER 8535 NEW BEST:: SOT 131061 SOS 16087 HAS SOPS 16087 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14287.087
AT ITER 8559 NEW BEST:: SOT 131061 SOS 16081 HAS SOPS 16081 HAS SOUS 14271 HAS SOUPS 14271 WITH SCORE 14287.081
AT ITER 8621 NEW BEST:: SOT 131058 SOS 16078 HAS SOPS 16078 HAS SOUS 14268 HAS SOUPS 14268 WITH SCORE 14284.078
AT ITER 8658 NEW BEST:: SOT 131058 SOS 16077 HAS SOPS 16077 HAS SOUS 14267 HAS SOUPS 14267 WITH SCORE 14283.077
AT ITER 8683 NEW BEST:: SOT 131092 SOS 16122 HAS SOPS 16122 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14265.122
AT ITER 8699 NEW BEST:: SOT 131082 SOS 16112 HAS SOPS 16112 HAS SOUS 14249 HAS SOUPS 14249 WITH SCORE 14265.112
AT ITER 8782 NEW BEST:: SOT 131077 SOS 16102 HAS SOPS 16102 HAS SOUS 14235 HAS SOUPS 14235 WITH SCORE 14251.102
AT ITER 8797 NEW BEST:: SOT 131069 SOS 16096 HAS SOPS 16096 HAS SOUS 14229 HAS SOUPS 14229 WITH SCORE 14245.096
AT ITER 8825 NEW BEST:: SOT 131069 SOS 16096 HAS SOPS 16096 HAS SOUS 14221 HAS SOUPS 14221 WITH SCORE 14237.096
AT ITER 8842 NEW BEST:: SOT 131065 SOS 16084 HAS SOPS 16084 HAS SOUS 14213 HAS SOUPS 14213 WITH SCORE 14229.084
AT ITER 8844 NEW BEST:: SOT 131065 SOS 16083 HAS SOPS 16083 HAS SOUS 14212 HAS SOUPS 14212 WITH SCORE 14228.083
AT ITER 8852 NEW BEST:: SOT 131065 SOS 16083 HAS SOPS 16083 HAS SOUS 14211 HAS SOUPS 14211 WITH SCORE 14227.083
AT ITER 8866 NEW BEST:: SOT 131101 SOS 16053 HAS SOPS 16053 HAS SOUS 14181 HAS SOUPS 14181 WITH SCORE 14197.053
AT ITER 8870 NEW BEST:: SOT 131077 SOS 16029 HAS SOPS 16029 HAS SOUS 14151 HAS SOUPS 14151 WITH SCORE 14167.029
AT ITER 8908 NEW BEST:: SOT 131077 SOS 16021 HAS SOPS 16021 HAS SOUS 14143 HAS SOUPS 14143 WITH SCORE 14159.021
AT ITER 8929 NEW BEST:: SOT 131072 SOS 15996 HAS SOPS 15996 HAS SOUS 14109 HAS SOUPS 14109 WITH SCORE 14124.996
AT ITER 8999 NEW BEST:: SOT 131069 SOS 15998 HAS SOPS 15998 HAS SOUS 14103 HAS SOUPS 14103 WITH SCORE 14118.998
AT ITER 9004 NEW BEST:: SOT 131071 SOS 15971 HAS SOPS 15971 HAS SOUS 14094 HAS SOUPS 14094 WITH SCORE 14109.971
AT ITER 9026 NEW BEST:: SOT 131071 SOS 15950 HAS SOPS 15950 HAS SOUS 14083 HAS SOUPS 14083 WITH SCORE 14098.95
AT ITER 9027 NEW BEST:: SOT 131048 SOS 15908 HAS SOPS 15908 HAS SOUS 14054 HAS SOUPS 14054 WITH SCORE 14069.908
AT ITER 9046 NEW BEST:: SOT 131036 SOS 15909 HAS SOPS 15909 HAS SOUS 14052 HAS SOUPS 14052 WITH SCORE 14067.909
AT ITER 9063 NEW BEST:: SOT 131035 SOS 15907 HAS SOPS 15907 HAS SOUS 14050 HAS SOUPS 14050 WITH SCORE 14065.907
AT ITER 9065 NEW BEST:: SOT 131014 SOS 15856 HAS SOPS 15856 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14029.856
AT ITER 9129 NEW BEST:: SOT 131014 SOS 15855 HAS SOPS 15855 HAS SOUS 14014 HAS SOUPS 14014 WITH SCORE 14029.855
AT ITER 9168 NEW BEST:: SOT 131007 SOS 15857 HAS SOPS 15857 HAS SOUS 14012 HAS SOUPS 14012 WITH SCORE 14027.857
AT ITER 9212 NEW BEST:: SOT 130993 SOS 15801 HAS SOPS 15801 HAS SOUS 13974 HAS SOUPS 13974 WITH SCORE 13989.801
AT ITER 9247 NEW BEST:: SOT 130972 SOS 15738 HAS SOPS 15738 HAS SOUS 13932 HAS SOUPS 13932 WITH SCORE 13947.738
AT ITER 9276 NEW BEST:: SOT 130964 SOS 15719 HAS SOPS 15719 HAS SOUS 13904 HAS SOUPS 13904 WITH SCORE 13919.719
AT ITER 9297 NEW BEST:: SOT 130950 SOS 15690 HAS SOPS 15690 HAS SOUS 13875 HAS SOUPS 13875 WITH SCORE 13890.69
AT ITER 9300 NEW BEST:: SOT 130949 SOS 15676 HAS SOPS 15676 HAS SOUS 13867 HAS SOUPS 13867 WITH SCORE 13882.676
AT ITER 9371 NEW BEST:: SOT 130949 SOS 15672 HAS SOPS 15672 HAS SOUS 13863 HAS SOUPS 13863 WITH SCORE 13878.672
AT ITER 9417 NEW BEST:: SOT 130946 SOS 15663 HAS SOPS 15663 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13872.663
AT ITER 9456 NEW BEST:: SOT 130946 SOS 15663 HAS SOPS 15663 HAS SOUS 13851 HAS SOUPS 13851 WITH SCORE 13866.663
AT ITER 9466 NEW BEST:: SOT 130941 SOS 15643 HAS SOPS 15643 HAS SOUS 13831 HAS SOUPS 13831 WITH SCORE 13846.643
AT ITER 9495 NEW BEST:: SOT 130952 SOS 15623 HAS SOPS 15623 HAS SOUS 13826 HAS SOUPS 13826 WITH SCORE 13841.623
AT ITER 9503 NEW BEST:: SOT 130952 SOS 15621 HAS SOPS 15621 HAS SOUS 13824 HAS SOUPS 13824 WITH SCORE 13839.621
AT ITER 9516 NEW BEST:: SOT 130948 SOS 15640 HAS SOPS 15640 HAS SOUS 13823 HAS SOUPS 13823 WITH SCORE 13838.64
AT ITER 9563 NEW BEST:: SOT 130962 SOS 15590 HAS SOPS 15590 HAS SOUS 13791 HAS SOUPS 13791 WITH SCORE 13806.59
AT ITER 9597 NEW BEST:: SOT 130962 SOS 15586 HAS SOPS 15586 HAS SOUS 13787 HAS SOUPS 13787 WITH SCORE 13802.586
AT ITER 9630 NEW BEST:: SOT 130960 SOS 15582 HAS SOPS 15582 HAS SOUS 13783 HAS SOUPS 13783 WITH SCORE 13798.582
AT ITER 9691 NEW BEST:: SOT 130951 SOS 15555 HAS SOPS 15555 HAS SOUS 13756 HAS SOUPS 13756 WITH SCORE 13771.555
AT ITER 9694 NEW BEST:: SOT 130950 SOS 15552 HAS SOPS 15552 HAS SOUS 13753 HAS SOUPS 13753 WITH SCORE 13768.552
AT ITER 9709 NEW BEST:: SOT 130946 SOS 15546 HAS SOPS 15546 HAS SOUS 13749 HAS SOUPS 13749 WITH SCORE 13764.546
AT ITER 9746 NEW BEST:: SOT 130935 SOS 15538 HAS SOPS 15538 HAS SOUS 13741 HAS SOUPS 13741 WITH SCORE 13756.538
AT ITER 9756 NEW BEST:: SOT 130938 SOS 15510 HAS SOPS 15510 HAS SOUS 13722 HAS SOUPS 13722 WITH SCORE 13737.51
AT ITER 9793 NEW BEST:: SOT 130950 SOS 15534 HAS SOPS 15534 HAS SOUS 13697 HAS SOUPS 13697 WITH SCORE 13712.534
AT ITER 9815 NEW BEST:: SOT 130950 SOS 15531 HAS SOPS 15531 HAS SOUS 13694 HAS SOUPS 13694 WITH SCORE 13709.531
AT ITER 9826 NEW BEST:: SOT 130950 SOS 15530 HAS SOPS 15530 HAS SOUS 13693 HAS SOUPS 13693 WITH SCORE 13708.53
AT ITER 9829 NEW BEST:: SOT 130944 SOS 15523 HAS SOPS 15523 HAS SOUS 13692 HAS SOUPS 13692 WITH SCORE 13707.523
AT ITER 9862 NEW BEST:: SOT 130926 SOS 15478 HAS SOPS 15478 HAS SOUS 13665 HAS SOUPS 13665 WITH SCORE 13680.478
AT ITER 9890 NEW BEST:: SOT 130926 SOS 15475 HAS SOPS 15475 HAS SOUS 13662 HAS SOUPS 13662 WITH SCORE 13677.475
AT ITER 9896 NEW BEST:: SOT 130925 SOS 15471 HAS SOPS 15471 HAS SOUS 13658 HAS SOUPS 13658 WITH SCORE 13673.471

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="ShieldRVt-PT-010B"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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 ShieldRVt-PT-010B, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033470301016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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

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