Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 848K
-rw-r--r-- 1 mcc users 7.5K Feb 25 11:56 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 25 11:56 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 25 11:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 11:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:08 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:08 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:08 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:08 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 111K Feb 25 11:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 94K Feb 25 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:08 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:08 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 391K Mar 5 18:22 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 1678458443568

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

Filename model.pnml
Petri model created: 306 places, 840 transitions, 3392 arcs.
AT ITER 0 NEW BEST:: SOT 250343 SOS 198996 HAS SOPS 192595 HAS SOUS 100055 HAS SOUPS 99609 WITH SCORE 99807.996
AT ITER 1 NEW BEST:: SOT 250343 SOS 198826 HAS SOPS 192425 HAS SOUS 99970 HAS SOUPS 99524 WITH SCORE 99722.826
AT ITER 4 NEW BEST:: SOT 250343 SOS 198788 HAS SOPS 192387 HAS SOUS 99930 HAS SOUPS 99484 WITH SCORE 99682.788
AT ITER 7 NEW BEST:: SOT 250343 SOS 199130 HAS SOPS 192729 HAS SOUS 99910 HAS SOUPS 99464 WITH SCORE 99663.13
AT ITER 10 NEW BEST:: SOT 250343 SOS 199420 HAS SOPS 193019 HAS SOUS 99728 HAS SOUPS 99282 WITH SCORE 99481.42
AT ITER 16 NEW BEST:: SOT 250343 SOS 199426 HAS SOPS 193025 HAS SOUS 99721 HAS SOUPS 99275 WITH SCORE 99474.426
AT ITER 18 NEW BEST:: SOT 250343 SOS 199134 HAS SOPS 192733 HAS SOUS 99575 HAS SOUPS 99129 WITH SCORE 99328.134
AT ITER 22 NEW BEST:: SOT 250343 SOS 199134 HAS SOPS 192733 HAS SOUS 99571 HAS SOUPS 99125 WITH SCORE 99324.134
AT ITER 23 NEW BEST:: SOT 250343 SOS 198644 HAS SOPS 192243 HAS SOUS 99287 HAS SOUPS 98841 WITH SCORE 99039.644
AT ITER 34 NEW BEST:: SOT 250343 SOS 198890 HAS SOPS 192489 HAS SOUS 99131 HAS SOUPS 98685 WITH SCORE 98883.89
AT ITER 38 NEW BEST:: SOT 250343 SOS 198922 HAS SOPS 192521 HAS SOUS 99087 HAS SOUPS 98641 WITH SCORE 98839.922
AT ITER 39 NEW BEST:: SOT 250343 SOS 198934 HAS SOPS 192533 HAS SOUS 99033 HAS SOUPS 98587 WITH SCORE 98785.934
AT ITER 58 NEW BEST:: SOT 250343 SOS 198770 HAS SOPS 192369 HAS SOUS 98867 HAS SOUPS 98421 WITH SCORE 98619.77
AT ITER 59 NEW BEST:: SOT 250343 SOS 198838 HAS SOPS 192437 HAS SOUS 98849 HAS SOUPS 98403 WITH SCORE 98601.838
AT ITER 63 NEW BEST:: SOT 250343 SOS 199056 HAS SOPS 192655 HAS SOUS 98686 HAS SOUPS 98240 WITH SCORE 98439.056
AT ITER 71 NEW BEST:: SOT 250343 SOS 199032 HAS SOPS 192631 HAS SOUS 98680 HAS SOUPS 98234 WITH SCORE 98433.032
AT ITER 72 NEW BEST:: SOT 250343 SOS 198894 HAS SOPS 192493 HAS SOUS 98644 HAS SOUPS 98198 WITH SCORE 98396.894
AT ITER 75 NEW BEST:: SOT 250343 SOS 199240 HAS SOPS 192839 HAS SOUS 98437 HAS SOUPS 97991 WITH SCORE 98190.24
AT ITER 78 NEW BEST:: SOT 250343 SOS 199100 HAS SOPS 192699 HAS SOUS 98297 HAS SOUPS 97851 WITH SCORE 98050.1
AT ITER 80 NEW BEST:: SOT 250343 SOS 198948 HAS SOPS 192547 HAS SOUS 98153 HAS SOUPS 97707 WITH SCORE 97905.948
AT ITER 81 NEW BEST:: SOT 250343 SOS 198948 HAS SOPS 192547 HAS SOUS 98143 HAS SOUPS 97697 WITH SCORE 97895.948
AT ITER 85 NEW BEST:: SOT 250343 SOS 199198 HAS SOPS 192797 HAS SOUS 97742 HAS SOUPS 97296 WITH SCORE 97495.198
AT ITER 90 NEW BEST:: SOT 250343 SOS 199198 HAS SOPS 192797 HAS SOUS 97732 HAS SOUPS 97286 WITH SCORE 97485.198
AT ITER 92 NEW BEST:: SOT 250343 SOS 199218 HAS SOPS 192817 HAS SOUS 97554 HAS SOUPS 97108 WITH SCORE 97307.218
AT ITER 98 NEW BEST:: SOT 250327 SOS 199160 HAS SOPS 192785 HAS SOUS 97543 HAS SOUPS 97097 WITH SCORE 97296.16
AT ITER 100 NEW BEST:: SOT 250327 SOS 199144 HAS SOPS 192769 HAS SOUS 97527 HAS SOUPS 97081 WITH SCORE 97280.144
AT ITER 101 NEW BEST:: SOT 250327 SOS 199144 HAS SOPS 192769 HAS SOUS 97485 HAS SOUPS 97039 WITH SCORE 97238.144
AT ITER 104 NEW BEST:: SOT 250327 SOS 199054 HAS SOPS 192679 HAS SOUS 97395 HAS SOUPS 96949 WITH SCORE 97148.054
AT ITER 105 NEW BEST:: SOT 250327 SOS 198948 HAS SOPS 192573 HAS SOUS 97389 HAS SOUPS 96943 WITH SCORE 97141.948
AT ITER 106 NEW BEST:: SOT 250327 SOS 198998 HAS SOPS 192623 HAS SOUS 97320 HAS SOUPS 96874 WITH SCORE 97072.998
AT ITER 114 NEW BEST:: SOT 250327 SOS 198998 HAS SOPS 192623 HAS SOUS 97269 HAS SOUPS 96823 WITH SCORE 97021.998
AT ITER 115 NEW BEST:: SOT 250327 SOS 198752 HAS SOPS 192377 HAS SOUS 96966 HAS SOUPS 96520 WITH SCORE 96718.752
AT ITER 118 NEW BEST:: SOT 250327 SOS 198736 HAS SOPS 192361 HAS SOUS 96950 HAS SOUPS 96504 WITH SCORE 96702.736
AT ITER 123 NEW BEST:: SOT 250333 SOS 198449 HAS SOPS 192075 HAS SOUS 96810 HAS SOUPS 96365 WITH SCORE 96563.449
AT ITER 126 NEW BEST:: SOT 250333 SOS 198433 HAS SOPS 192059 HAS SOUS 96802 HAS SOUPS 96357 WITH SCORE 96555.433
AT ITER 127 NEW BEST:: SOT 250333 SOS 198443 HAS SOPS 192069 HAS SOUS 96799 HAS SOUPS 96354 WITH SCORE 96552.443
AT ITER 128 NEW BEST:: SOT 250317 SOS 198401 HAS SOPS 192063 HAS SOUS 96767 HAS SOUPS 96322 WITH SCORE 96520.401
AT ITER 129 NEW BEST:: SOT 250317 SOS 198395 HAS SOPS 192057 HAS SOUS 96764 HAS SOUPS 96319 WITH SCORE 96517.395
AT ITER 136 NEW BEST:: SOT 250317 SOS 198395 HAS SOPS 192057 HAS SOUS 96664 HAS SOUPS 96219 WITH SCORE 96417.395
AT ITER 140 NEW BEST:: SOT 250317 SOS 198351 HAS SOPS 192013 HAS SOUS 96550 HAS SOUPS 96105 WITH SCORE 96303.351
AT ITER 143 NEW BEST:: SOT 250318 SOS 198224 HAS SOPS 191883 HAS SOUS 96467 HAS SOUPS 96019 WITH SCORE 96217.224
AT ITER 144 NEW BEST:: SOT 250318 SOS 198300 HAS SOPS 191959 HAS SOUS 96453 HAS SOUPS 96005 WITH SCORE 96203.3
AT ITER 145 NEW BEST:: SOT 250318 SOS 198180 HAS SOPS 191839 HAS SOUS 96383 HAS SOUPS 95935 WITH SCORE 96133.18
AT ITER 148 NEW BEST:: SOT 250318 SOS 197936 HAS SOPS 191595 HAS SOUS 96268 HAS SOUPS 95820 WITH SCORE 96017.936
AT ITER 151 NEW BEST:: SOT 250318 SOS 197750 HAS SOPS 191409 HAS SOUS 96268 HAS SOUPS 95820 WITH SCORE 96017.75
AT ITER 152 NEW BEST:: SOT 250345 SOS 197407 HAS SOPS 191066 HAS SOUS 96172 HAS SOUPS 95724 WITH SCORE 95921.407
AT ITER 157 NEW BEST:: SOT 250345 SOS 197411 HAS SOPS 191070 HAS SOUS 96150 HAS SOUPS 95702 WITH SCORE 95899.411
AT ITER 163 NEW BEST:: SOT 250345 SOS 197421 HAS SOPS 191080 HAS SOUS 96121 HAS SOUPS 95673 WITH SCORE 95870.421
AT ITER 164 NEW BEST:: SOT 250345 SOS 192999 HAS SOPS 188418 HAS SOUS 96011 HAS SOUPS 95673 WITH SCORE 95865.999
AT ITER 165 NEW BEST:: SOT 250345 SOS 192682 HAS SOPS 188101 HAS SOUS 96006 HAS SOUPS 95668 WITH SCORE 95860.682
AT ITER 169 NEW BEST:: SOT 250345 SOS 192682 HAS SOPS 188101 HAS SOUS 95933 HAS SOUPS 95595 WITH SCORE 95787.682
AT ITER 170 NEW BEST:: SOT 250345 SOS 192578 HAS SOPS 187997 HAS SOUS 95923 HAS SOUPS 95585 WITH SCORE 95777.578
AT ITER 175 NEW BEST:: SOT 250345 SOS 192682 HAS SOPS 188101 HAS SOUS 95859 HAS SOUPS 95521 WITH SCORE 95713.682
AT ITER 180 NEW BEST:: SOT 250345 SOS 192716 HAS SOPS 188135 HAS SOUS 95749 HAS SOUPS 95411 WITH SCORE 95603.716
AT ITER 186 NEW BEST:: SOT 249219 SOS 191593 HAS SOPS 187009 HAS SOUS 95667 HAS SOUPS 95326 WITH SCORE 95517.593
AT ITER 216 NEW BEST:: SOT 249219 SOS 191437 HAS SOPS 186853 HAS SOUS 95639 HAS SOUPS 95298 WITH SCORE 95489.437
AT ITER 219 NEW BEST:: SOT 249219 SOS 191231 HAS SOPS 186647 HAS SOUS 95623 HAS SOUPS 95282 WITH SCORE 95473.231
AT ITER 230 NEW BEST:: SOT 249219 SOS 191065 HAS SOPS 186481 HAS SOUS 95532 HAS SOUPS 95191 WITH SCORE 95382.065
AT ITER 234 NEW BEST:: SOT 249219 SOS 191061 HAS SOPS 186477 HAS SOUS 95530 HAS SOUPS 95189 WITH SCORE 95380.061
AT ITER 237 NEW BEST:: SOT 249219 SOS 190729 HAS SOPS 186145 HAS SOUS 95445 HAS SOUPS 95104 WITH SCORE 95294.729
AT ITER 240 NEW BEST:: SOT 249219 SOS 190777 HAS SOPS 186193 HAS SOUS 95405 HAS SOUPS 95064 WITH SCORE 95254.777
AT ITER 243 NEW BEST:: SOT 249203 SOS 190425 HAS SOPS 186005 HAS SOUS 95319 HAS SOUPS 94978 WITH SCORE 95168.425
AT ITER 244 NEW BEST:: SOT 249203 SOS 190425 HAS SOPS 186005 HAS SOUS 95251 HAS SOUPS 94910 WITH SCORE 95100.425
AT ITER 245 NEW BEST:: SOT 249203 SOS 190413 HAS SOPS 185993 HAS SOUS 95251 HAS SOUPS 94910 WITH SCORE 95100.413
AT ITER 248 NEW BEST:: SOT 249203 SOS 190391 HAS SOPS 185971 HAS SOUS 95240 HAS SOUPS 94899 WITH SCORE 95089.391
AT ITER 251 NEW BEST:: SOT 249203 SOS 190839 HAS SOPS 186419 HAS SOUS 93750 HAS SOUPS 93409 WITH SCORE 93599.839
AT ITER 256 NEW BEST:: SOT 249203 SOS 189827 HAS SOPS 185407 HAS SOUS 93519 HAS SOUPS 93178 WITH SCORE 93367.827
AT ITER 267 NEW BEST:: SOT 249203 SOS 189881 HAS SOPS 185461 HAS SOUS 92126 HAS SOUPS 91785 WITH SCORE 91974.881
AT ITER 275 NEW BEST:: SOT 249203 SOS 189381 HAS SOPS 184961 HAS SOUS 91942 HAS SOUPS 91601 WITH SCORE 91790.381
AT ITER 277 NEW BEST:: SOT 249203 SOS 189397 HAS SOPS 184977 HAS SOUS 90683 HAS SOUPS 90342 WITH SCORE 90531.397
AT ITER 278 NEW BEST:: SOT 249203 SOS 187636 HAS SOPS 183216 HAS SOUS 89434 HAS SOUPS 89093 WITH SCORE 89280.636
AT ITER 280 NEW BEST:: SOT 249203 SOS 187946 HAS SOPS 183526 HAS SOUS 89337 HAS SOUPS 88996 WITH SCORE 89183.946
AT ITER 284 NEW BEST:: SOT 249203 SOS 187934 HAS SOPS 183514 HAS SOUS 89331 HAS SOUPS 88990 WITH SCORE 89177.934
AT ITER 285 NEW BEST:: SOT 249203 SOS 187104 HAS SOPS 182995 HAS SOUS 88447 HAS SOUPS 88106 WITH SCORE 88293.104
AT ITER 289 NEW BEST:: SOT 249203 SOS 187023 HAS SOPS 182914 HAS SOUS 88238 HAS SOUPS 87897 WITH SCORE 88084.023
AT ITER 291 NEW BEST:: SOT 249203 SOS 187017 HAS SOPS 182908 HAS SOUS 88186 HAS SOUPS 87845 WITH SCORE 88032.017
AT ITER 292 NEW BEST:: SOT 249203 SOS 185982 HAS SOPS 181873 HAS SOUS 87982 HAS SOUPS 87641 WITH SCORE 87826.982
AT ITER 301 NEW BEST:: SOT 249203 SOS 185718 HAS SOPS 181609 HAS SOUS 87816 HAS SOUPS 87475 WITH SCORE 87660.718
AT ITER 306 NEW BEST:: SOT 249203 SOS 185338 HAS SOPS 181229 HAS SOUS 87694 HAS SOUPS 87353 WITH SCORE 87538.338
AT ITER 316 NEW BEST:: SOT 249203 SOS 185190 HAS SOPS 181081 HAS SOUS 87544 HAS SOUPS 87203 WITH SCORE 87388.19
AT ITER 317 NEW BEST:: SOT 249241 SOS 185228 HAS SOPS 181103 HAS SOUS 87512 HAS SOUPS 87171 WITH SCORE 87356.228
AT ITER 318 NEW BEST:: SOT 249241 SOS 185582 HAS SOPS 181457 HAS SOUS 87347 HAS SOUPS 87006 WITH SCORE 87191.582
AT ITER 323 NEW BEST:: SOT 249241 SOS 185790 HAS SOPS 181665 HAS SOUS 87235 HAS SOUPS 86894 WITH SCORE 87079.79
AT ITER 324 NEW BEST:: SOT 249241 SOS 185292 HAS SOPS 181167 HAS SOUS 86258 HAS SOUPS 85917 WITH SCORE 86102.292
AT ITER 327 NEW BEST:: SOT 249241 SOS 183422 HAS SOPS 178970 HAS SOUS 86248 HAS SOUPS 85580 WITH SCORE 85763.422
AT ITER 330 NEW BEST:: SOT 249241 SOS 183156 HAS SOPS 178704 HAS SOUS 86158 HAS SOUPS 85490 WITH SCORE 85673.156
AT ITER 333 NEW BEST:: SOT 249241 SOS 183144 HAS SOPS 178692 HAS SOUS 86152 HAS SOUPS 85484 WITH SCORE 85667.144
AT ITER 337 NEW BEST:: SOT 249241 SOS 182684 HAS SOPS 178232 HAS SOUS 86086 HAS SOUPS 85418 WITH SCORE 85600.684
AT ITER 339 NEW BEST:: SOT 249241 SOS 182534 HAS SOPS 178082 HAS SOUS 86047 HAS SOUPS 85379 WITH SCORE 85561.534
AT ITER 340 NEW BEST:: SOT 249241 SOS 182504 HAS SOPS 178052 HAS SOUS 86038 HAS SOUPS 85370 WITH SCORE 85552.504
AT ITER 341 NEW BEST:: SOT 249241 SOS 182412 HAS SOPS 177960 HAS SOUS 85992 HAS SOUPS 85324 WITH SCORE 85506.412
AT ITER 343 NEW BEST:: SOT 249241 SOS 182267 HAS SOPS 177823 HAS SOUS 85923 HAS SOUPS 85263 WITH SCORE 85445.267
AT ITER 344 NEW BEST:: SOT 249241 SOS 181855 HAS SOPS 177328 HAS SOUS 85808 HAS SOUPS 85065 WITH SCORE 85246.855
AT ITER 347 NEW BEST:: SOT 249241 SOS 178595 HAS SOPS 174068 HAS SOUS 84185 HAS SOUPS 83442 WITH SCORE 83620.595
AT ITER 348 NEW BEST:: SOT 249241 SOS 178633 HAS SOPS 174106 HAS SOUS 84167 HAS SOUPS 83424 WITH SCORE 83602.633
AT ITER 349 NEW BEST:: SOT 249241 SOS 178127 HAS SOPS 173600 HAS SOUS 84021 HAS SOUPS 83278 WITH SCORE 83456.127
AT ITER 350 NEW BEST:: SOT 249241 SOS 178264 HAS SOPS 173683 HAS SOUS 84046 HAS SOUPS 83249 WITH SCORE 83427.264
AT ITER 352 NEW BEST:: SOT 250086 SOS 172634 HAS SOPS 170922 HAS SOUS 83667 HAS SOUPS 83092 WITH SCORE 83264.634
AT ITER 354 NEW BEST:: SOT 250086 SOS 172582 HAS SOPS 170870 HAS SOUS 83530 HAS SOUPS 82955 WITH SCORE 83127.582
AT ITER 355 NEW BEST:: SOT 250086 SOS 172540 HAS SOPS 170828 HAS SOUS 83530 HAS SOUPS 82955 WITH SCORE 83127.54
AT ITER 358 NEW BEST:: SOT 250086 SOS 172508 HAS SOPS 170796 HAS SOUS 83530 HAS SOUPS 82955 WITH SCORE 83127.508
AT ITER 359 NEW BEST:: SOT 250086 SOS 172180 HAS SOPS 170468 HAS SOUS 83451 HAS SOUPS 82876 WITH SCORE 83048.18
AT ITER 361 NEW BEST:: SOT 250086 SOS 172084 HAS SOPS 170372 HAS SOUS 83451 HAS SOUPS 82876 WITH SCORE 83048.084
AT ITER 363 NEW BEST:: SOT 250086 SOS 172324 HAS SOPS 170663 HAS SOUS 83373 HAS SOUPS 82849 WITH SCORE 83021.324
AT ITER 364 NEW BEST:: SOT 249670 SOS 171909 HAS SOPS 170247 HAS SOUS 82958 HAS SOUPS 82433 WITH SCORE 82604.909
AT ITER 366 NEW BEST:: SOT 249670 SOS 171857 HAS SOPS 170195 HAS SOUS 82926 HAS SOUPS 82401 WITH SCORE 82572.857
AT ITER 368 NEW BEST:: SOT 249670 SOS 171847 HAS SOPS 170185 HAS SOUS 82921 HAS SOUPS 82396 WITH SCORE 82567.847
AT ITER 369 NEW BEST:: SOT 249670 SOS 171729 HAS SOPS 169707 HAS SOUS 82753 HAS SOUPS 81868 WITH SCORE 82039.729
AT ITER 371 NEW BEST:: SOT 249670 SOS 169659 HAS SOPS 167434 HAS SOUS 81911 HAS SOUPS 81026 WITH SCORE 81195.659
AT ITER 374 NEW BEST:: SOT 249670 SOS 169608 HAS SOPS 167383 HAS SOUS 81831 HAS SOUPS 80946 WITH SCORE 81115.608
AT ITER 375 NEW BEST:: SOT 248825 SOS 170014 HAS SOPS 167105 HAS SOUS 81188 HAS SOUPS 80236 WITH SCORE 80406.014
AT ITER 377 NEW BEST:: SOT 248825 SOS 169816 HAS SOPS 166907 HAS SOUS 81089 HAS SOUPS 80137 WITH SCORE 80306.816
AT ITER 390 NEW BEST:: SOT 248825 SOS 169684 HAS SOPS 166775 HAS SOUS 81061 HAS SOUPS 80109 WITH SCORE 80278.684
AT ITER 391 NEW BEST:: SOT 248916 SOS 167879 HAS SOPS 164970 HAS SOUS 79976 HAS SOUPS 79024 WITH SCORE 79191.879
AT ITER 393 NEW BEST:: SOT 248916 SOS 167789 HAS SOPS 164880 HAS SOUS 79916 HAS SOUPS 78964 WITH SCORE 79131.789
AT ITER 395 NEW BEST:: SOT 248916 SOS 167484 HAS SOPS 164575 HAS SOUS 79806 HAS SOUPS 78854 WITH SCORE 79021.484
AT ITER 396 NEW BEST:: SOT 248916 SOS 167078 HAS SOPS 164169 HAS SOUS 79538 HAS SOUPS 78586 WITH SCORE 78753.078
AT ITER 399 NEW BEST:: SOT 248900 SOS 166886 HAS SOPS 164005 HAS SOUS 79530 HAS SOUPS 78534 WITH SCORE 78700.886
AT ITER 407 NEW BEST:: SOT 248900 SOS 166871 HAS SOPS 163975 HAS SOUS 79515 HAS SOUPS 78504 WITH SCORE 78670.871
AT ITER 408 NEW BEST:: SOT 248900 SOS 165944 HAS SOPS 163230 HAS SOUS 79146 HAS SOUPS 78135 WITH SCORE 78300.944
AT ITER 411 NEW BEST:: SOT 248900 SOS 165713 HAS SOPS 162999 HAS SOUS 79090 HAS SOUPS 78079 WITH SCORE 78244.713
AT ITER 414 NEW BEST:: SOT 248900 SOS 164777 HAS SOPS 162063 HAS SOUS 78679 HAS SOUPS 77668 WITH SCORE 77832.777
AT ITER 418 NEW BEST:: SOT 248900 SOS 164812 HAS SOPS 162098 HAS SOUS 78665 HAS SOUPS 77654 WITH SCORE 77818.812
AT ITER 419 NEW BEST:: SOT 248900 SOS 164628 HAS SOPS 161914 HAS SOUS 78635 HAS SOUPS 77624 WITH SCORE 77788.628
AT ITER 420 NEW BEST:: SOT 248900 SOS 164566 HAS SOPS 161796 HAS SOUS 78533 HAS SOUPS 77469 WITH SCORE 77633.566
AT ITER 422 NEW BEST:: SOT 248900 SOS 164533 HAS SOPS 161763 HAS SOUS 78533 HAS SOUPS 77469 WITH SCORE 77633.533
AT ITER 425 NEW BEST:: SOT 248884 SOS 164506 HAS SOPS 161766 HAS SOUS 78526 HAS SOUPS 77462 WITH SCORE 77626.506
AT ITER 429 NEW BEST:: SOT 248694 SOS 164137 HAS SOPS 161397 HAS SOUS 78320 HAS SOUPS 77256 WITH SCORE 77420.137
AT ITER 431 NEW BEST:: SOT 248694 SOS 163951 HAS SOPS 161211 HAS SOUS 78299 HAS SOUPS 77235 WITH SCORE 77398.951
AT ITER 432 NEW BEST:: SOT 248694 SOS 163836 HAS SOPS 161096 HAS SOUS 78189 HAS SOUPS 77125 WITH SCORE 77288.836
AT ITER 433 NEW BEST:: SOT 248694 SOS 163546 HAS SOPS 160806 HAS SOUS 78119 HAS SOUPS 77055 WITH SCORE 77218.546
AT ITER 442 NEW BEST:: SOT 248694 SOS 163402 HAS SOPS 160662 HAS SOUS 78047 HAS SOUPS 76983 WITH SCORE 77146.402
AT ITER 444 NEW BEST:: SOT 248694 SOS 163426 HAS SOPS 160686 HAS SOUS 78039 HAS SOUPS 76975 WITH SCORE 77138.426
AT ITER 448 NEW BEST:: SOT 248698 SOS 163430 HAS SOPS 160674 HAS SOUS 78027 HAS SOUPS 76963 WITH SCORE 77126.43
AT ITER 453 NEW BEST:: SOT 248698 SOS 163315 HAS SOPS 160393 HAS SOUS 77873 HAS SOUPS 76809 WITH SCORE 76972.315
AT ITER 456 NEW BEST:: SOT 248698 SOS 163287 HAS SOPS 160365 HAS SOUS 77859 HAS SOUPS 76795 WITH SCORE 76958.287
AT ITER 460 NEW BEST:: SOT 248698 SOS 162912 HAS SOPS 159651 HAS SOUS 76047 HAS SOUPS 74983 WITH SCORE 75145.912
AT ITER 461 NEW BEST:: SOT 248698 SOS 162746 HAS SOPS 159485 HAS SOUS 76036 HAS SOUPS 74972 WITH SCORE 75134.746
AT ITER 464 NEW BEST:: SOT 248786 SOS 162177 HAS SOPS 158905 HAS SOUS 75850 HAS SOUPS 74782 WITH SCORE 74944.177
AT ITER 465 NEW BEST:: SOT 248786 SOS 162171 HAS SOPS 158899 HAS SOUS 75847 HAS SOUPS 74779 WITH SCORE 74941.171
AT ITER 472 NEW BEST:: SOT 248792 SOS 162196 HAS SOPS 158924 HAS SOUS 75730 HAS SOUPS 74662 WITH SCORE 74824.196
AT ITER 473 NEW BEST:: SOT 248802 SOS 162078 HAS SOPS 158804 HAS SOUS 75555 HAS SOUPS 74487 WITH SCORE 74649.078
AT ITER 474 NEW BEST:: SOT 248802 SOS 162012 HAS SOPS 158738 HAS SOUS 75522 HAS SOUPS 74454 WITH SCORE 74616.012
AT ITER 477 NEW BEST:: SOT 248802 SOS 161914 HAS SOPS 158640 HAS SOUS 75515 HAS SOUPS 74447 WITH SCORE 74608.914
AT ITER 480 NEW BEST:: SOT 248802 SOS 161864 HAS SOPS 158428 HAS SOUS 74015 HAS SOUPS 72947 WITH SCORE 73108.864
AT ITER 481 NEW BEST:: SOT 248802 SOS 161470 HAS SOPS 158034 HAS SOUS 73923 HAS SOUPS 72855 WITH SCORE 73016.47
AT ITER 483 NEW BEST:: SOT 248802 SOS 161452 HAS SOPS 158056 HAS SOUS 73883 HAS SOUPS 72835 WITH SCORE 72996.452
AT ITER 484 NEW BEST:: SOT 248802 SOS 161452 HAS SOPS 158056 HAS SOUS 73847 HAS SOUPS 72799 WITH SCORE 72960.452
AT ITER 485 NEW BEST:: SOT 248802 SOS 161076 HAS SOPS 157680 HAS SOUS 73607 HAS SOUPS 72559 WITH SCORE 72720.076
AT ITER 486 NEW BEST:: SOT 248802 SOS 161076 HAS SOPS 157654 HAS SOUS 73587 HAS SOUPS 72533 WITH SCORE 72694.076
AT ITER 487 NEW BEST:: SOT 248802 SOS 161072 HAS SOPS 157650 HAS SOUS 73549 HAS SOUPS 72495 WITH SCORE 72656.072
AT ITER 489 NEW BEST:: SOT 248802 SOS 160988 HAS SOPS 157566 HAS SOUS 73528 HAS SOUPS 72474 WITH SCORE 72634.988
AT ITER 491 NEW BEST:: SOT 248802 SOS 160974 HAS SOPS 157552 HAS SOUS 73523 HAS SOUPS 72469 WITH SCORE 72629.974
AT ITER 496 NEW BEST:: SOT 248802 SOS 161108 HAS SOPS 157686 HAS SOUS 73476 HAS SOUPS 72422 WITH SCORE 72583.108
AT ITER 502 NEW BEST:: SOT 248802 SOS 161038 HAS SOPS 157616 HAS SOUS 73462 HAS SOUPS 72408 WITH SCORE 72569.038
AT ITER 505 NEW BEST:: SOT 248788 SOS 161024 HAS SOPS 157588 HAS SOUS 73436 HAS SOUPS 72380 WITH SCORE 72541.024
AT ITER 508 NEW BEST:: SOT 248788 SOS 161036 HAS SOPS 157600 HAS SOUS 73348 HAS SOUPS 72292 WITH SCORE 72453.036
AT ITER 509 NEW BEST:: SOT 248788 SOS 160976 HAS SOPS 157523 HAS SOUS 73318 HAS SOUPS 72247 WITH SCORE 72407.976
AT ITER 512 NEW BEST:: SOT 248788 SOS 160946 HAS SOPS 157493 HAS SOUS 73318 HAS SOUPS 72247 WITH SCORE 72407.946
AT ITER 513 NEW BEST:: SOT 248788 SOS 160964 HAS SOPS 157511 HAS SOUS 73270 HAS SOUPS 72199 WITH SCORE 72359.964
AT ITER 515 NEW BEST:: SOT 248788 SOS 160302 HAS SOPS 156506 HAS SOUS 73370 HAS SOUPS 72113 WITH SCORE 72273.302
AT ITER 517 NEW BEST:: SOT 248788 SOS 160302 HAS SOPS 156506 HAS SOUS 73356 HAS SOUPS 72099 WITH SCORE 72259.302
AT ITER 518 NEW BEST:: SOT 248756 SOS 160266 HAS SOPS 156470 HAS SOUS 73322 HAS SOUPS 72065 WITH SCORE 72225.266
AT ITER 520 NEW BEST:: SOT 248756 SOS 160168 HAS SOPS 156274 HAS SOUS 73322 HAS SOUPS 72016 WITH SCORE 72176.168
AT ITER 523 NEW BEST:: SOT 248756 SOS 160184 HAS SOPS 156290 HAS SOUS 73287 HAS SOUPS 71981 WITH SCORE 72141.184
AT ITER 527 NEW BEST:: SOT 248756 SOS 160246 HAS SOPS 156254 HAS SOUS 73318 HAS SOUPS 71963 WITH SCORE 72123.246
AT ITER 530 NEW BEST:: SOT 248756 SOS 159868 HAS SOPS 155876 HAS SOUS 73059 HAS SOUPS 71704 WITH SCORE 71863.868
AT ITER 531 NEW BEST:: SOT 248756 SOS 159522 HAS SOPS 155530 HAS SOUS 72915 HAS SOUPS 71560 WITH SCORE 71719.522
AT ITER 536 NEW BEST:: SOT 248756 SOS 159286 HAS SOPS 155294 HAS SOUS 72894 HAS SOUPS 71539 WITH SCORE 71698.286
AT ITER 538 NEW BEST:: SOT 248756 SOS 157440 HAS SOPS 153448 HAS SOUS 72456 HAS SOUPS 71101 WITH SCORE 71258.44
AT ITER 547 NEW BEST:: SOT 248756 SOS 157353 HAS SOPS 153361 HAS SOUS 72412 HAS SOUPS 71057 WITH SCORE 71214.353
AT ITER 550 NEW BEST:: SOT 248756 SOS 157387 HAS SOPS 153395 HAS SOUS 72409 HAS SOUPS 71054 WITH SCORE 71211.387
AT ITER 563 NEW BEST:: SOT 248756 SOS 157157 HAS SOPS 153165 HAS SOUS 72234 HAS SOUPS 70879 WITH SCORE 71036.157
AT ITER 564 NEW BEST:: SOT 248756 SOS 157143 HAS SOPS 153151 HAS SOUS 72066 HAS SOUPS 70711 WITH SCORE 70868.143
AT ITER 571 NEW BEST:: SOT 248756 SOS 157143 HAS SOPS 153151 HAS SOUS 72051 HAS SOUPS 70696 WITH SCORE 70853.143
AT ITER 572 NEW BEST:: SOT 248756 SOS 157011 HAS SOPS 153019 HAS SOUS 72012 HAS SOUPS 70657 WITH SCORE 70814.011
AT ITER 576 NEW BEST:: SOT 248756 SOS 156395 HAS SOPS 152403 HAS SOUS 71858 HAS SOUPS 70503 WITH SCORE 70659.395
AT ITER 577 NEW BEST:: SOT 248660 SOS 156153 HAS SOPS 152161 HAS SOUS 71687 HAS SOUPS 70332 WITH SCORE 70488.153
AT ITER 578 NEW BEST:: SOT 248660 SOS 156061 HAS SOPS 152069 HAS SOUS 71590 HAS SOUPS 70235 WITH SCORE 70391.061
AT ITER 581 NEW BEST:: SOT 248660 SOS 155721 HAS SOPS 151729 HAS SOUS 71358 HAS SOUPS 70003 WITH SCORE 70158.721
AT ITER 582 NEW BEST:: SOT 248660 SOS 155697 HAS SOPS 151705 HAS SOUS 71319 HAS SOUPS 69964 WITH SCORE 70119.697
AT ITER 587 NEW BEST:: SOT 248660 SOS 155822 HAS SOPS 151830 HAS SOUS 71312 HAS SOUPS 69957 WITH SCORE 70112.822
AT ITER 588 NEW BEST:: SOT 248660 SOS 153584 HAS SOPS 149592 HAS SOUS 70863 HAS SOUPS 69508 WITH SCORE 69661.584
AT ITER 590 NEW BEST:: SOT 248578 SOS 154804 HAS SOPS 150279 HAS SOUS 70876 HAS SOUPS 69480 WITH SCORE 69634.804
AT ITER 594 NEW BEST:: SOT 248579 SOS 154641 HAS SOPS 149852 HAS SOUS 70990 HAS SOUPS 69441 WITH SCORE 69595.641
AT ITER 599 NEW BEST:: SOT 248579 SOS 154535 HAS SOPS 149852 HAS SOUS 70937 HAS SOUPS 69441 WITH SCORE 69595.535
AT ITER 602 NEW BEST:: SOT 248579 SOS 154535 HAS SOPS 149852 HAS SOUS 70927 HAS SOUPS 69431 WITH SCORE 69585.535
AT ITER 611 NEW BEST:: SOT 248579 SOS 154175 HAS SOPS 149492 HAS SOUS 70832 HAS SOUPS 69336 WITH SCORE 69490.175
AT ITER 623 NEW BEST:: SOT 248579 SOS 155373 HAS SOPS 150690 HAS SOUS 70507 HAS SOUPS 69011 WITH SCORE 69166.373
AT ITER 626 NEW BEST:: SOT 248579 SOS 155311 HAS SOPS 150628 HAS SOUS 70476 HAS SOUPS 68980 WITH SCORE 69135.311
AT ITER 631 NEW BEST:: SOT 248579 SOS 155223 HAS SOPS 150540 HAS SOUS 70407 HAS SOUPS 68911 WITH SCORE 69066.223
AT ITER 633 NEW BEST:: SOT 248579 SOS 155048 HAS SOPS 150036 HAS SOUS 70504 HAS SOUPS 68823 WITH SCORE 68978.048
AT ITER 635 NEW BEST:: SOT 248579 SOS 155052 HAS SOPS 150040 HAS SOUS 70478 HAS SOUPS 68797 WITH SCORE 68952.052
AT ITER 638 NEW BEST:: SOT 248579 SOS 154902 HAS SOPS 149890 HAS SOUS 70478 HAS SOUPS 68797 WITH SCORE 68951.902
AT ITER 639 NEW BEST:: SOT 248579 SOS 154878 HAS SOPS 149866 HAS SOUS 70466 HAS SOUPS 68785 WITH SCORE 68939.878
AT ITER 643 NEW BEST:: SOT 248579 SOS 154878 HAS SOPS 149866 HAS SOUS 70440 HAS SOUPS 68759 WITH SCORE 68913.878
AT ITER 645 NEW BEST:: SOT 248579 SOS 154766 HAS SOPS 149754 HAS SOUS 70412 HAS SOUPS 68731 WITH SCORE 68885.766
AT ITER 648 NEW BEST:: SOT 248579 SOS 154516 HAS SOPS 149364 HAS SOUS 70446 HAS SOUPS 68695 WITH SCORE 68849.516
AT ITER 653 NEW BEST:: SOT 248579 SOS 153962 HAS SOPS 148810 HAS SOUS 70353 HAS SOUPS 68602 WITH SCORE 68755.962
AT ITER 654 NEW BEST:: SOT 248579 SOS 153928 HAS SOPS 148776 HAS SOUS 70285 HAS SOUPS 68534 WITH SCORE 68687.928
AT ITER 660 NEW BEST:: SOT 248541 SOS 153614 HAS SOPS 148562 HAS SOUS 70174 HAS SOUPS 68423 WITH SCORE 68576.614
AT ITER 667 NEW BEST:: SOT 248541 SOS 153212 HAS SOPS 148160 HAS SOUS 69994 HAS SOUPS 68243 WITH SCORE 68396.212
AT ITER 669 NEW BEST:: SOT 248541 SOS 153160 HAS SOPS 148160 HAS SOUS 69942 HAS SOUPS 68217 WITH SCORE 68370.16
AT ITER 678 NEW BEST:: SOT 248541 SOS 153160 HAS SOPS 148160 HAS SOUS 69878 HAS SOUPS 68153 WITH SCORE 68306.16
AT ITER 680 NEW BEST:: SOT 248541 SOS 153104 HAS SOPS 148104 HAS SOUS 69878 HAS SOUPS 68153 WITH SCORE 68306.104
AT ITER 684 NEW BEST:: SOT 248541 SOS 152996 HAS SOPS 147996 HAS SOUS 69803 HAS SOUPS 68078 WITH SCORE 68230.996
AT ITER 687 NEW BEST:: SOT 248541 SOS 152856 HAS SOPS 147856 HAS SOUS 69733 HAS SOUPS 68008 WITH SCORE 68160.856
AT ITER 689 NEW BEST:: SOT 248541 SOS 152868 HAS SOPS 147868 HAS SOUS 69721 HAS SOUPS 67996 WITH SCORE 68148.868
AT ITER 695 NEW BEST:: SOT 248541 SOS 152724 HAS SOPS 147724 HAS SOUS 69721 HAS SOUPS 67996 WITH SCORE 68148.724
AT ITER 696 NEW BEST:: SOT 248541 SOS 152886 HAS SOPS 147886 HAS SOUS 69712 HAS SOUPS 67987 WITH SCORE 68139.886
AT ITER 703 NEW BEST:: SOT 248541 SOS 152662 HAS SOPS 147662 HAS SOUS 69668 HAS SOUPS 67943 WITH SCORE 68095.662
AT ITER 709 NEW BEST:: SOT 248545 SOS 152363 HAS SOPS 147426 HAS SOUS 69398 HAS SOUPS 67726 WITH SCORE 67878.363
AT ITER 713 NEW BEST:: SOT 248545 SOS 152401 HAS SOPS 147464 HAS SOUS 69376 HAS SOUPS 67704 WITH SCORE 67856.401
AT ITER 717 NEW BEST:: SOT 248545 SOS 152263 HAS SOPS 147326 HAS SOUS 69307 HAS SOUPS 67635 WITH SCORE 67787.263
AT ITER 723 NEW BEST:: SOT 248545 SOS 152373 HAS SOPS 147436 HAS SOUS 69126 HAS SOUPS 67454 WITH SCORE 67606.373
AT ITER 726 NEW BEST:: SOT 248545 SOS 152325 HAS SOPS 147388 HAS SOUS 69126 HAS SOUPS 67454 WITH SCORE 67606.325
AT ITER 735 NEW BEST:: SOT 248545 SOS 152443 HAS SOPS 147506 HAS SOUS 69116 HAS SOUPS 67444 WITH SCORE 67596.443
AT ITER 744 NEW BEST:: SOT 248545 SOS 152411 HAS SOPS 147474 HAS SOUS 69068 HAS SOUPS 67396 WITH SCORE 67548.411
AT ITER 749 NEW BEST:: SOT 248545 SOS 152449 HAS SOPS 147314 HAS SOUS 69109 HAS SOUPS 67338 WITH SCORE 67490.449
AT ITER 750 NEW BEST:: SOT 248545 SOS 152395 HAS SOPS 147260 HAS SOUS 69091 HAS SOUPS 67320 WITH SCORE 67472.395
AT ITER 754 NEW BEST:: SOT 248545 SOS 150683 HAS SOPS 145548 HAS SOUS 69091 HAS SOUPS 67320 WITH SCORE 67470.683
AT ITER 758 NEW BEST:: SOT 248676 SOS 151188 HAS SOPS 145898 HAS SOUS 68327 HAS SOUPS 66537 WITH SCORE 66688.188
AT ITER 761 NEW BEST:: SOT 248676 SOS 150990 HAS SOPS 145700 HAS SOUS 68103 HAS SOUPS 66313 WITH SCORE 66463.99
AT ITER 770 NEW BEST:: SOT 248676 SOS 150708 HAS SOPS 145418 HAS SOUS 67904 HAS SOUPS 66114 WITH SCORE 66264.708
AT ITER 778 NEW BEST:: SOT 248676 SOS 150536 HAS SOPS 145246 HAS SOUS 67818 HAS SOUPS 66028 WITH SCORE 66178.536
AT ITER 780 NEW BEST:: SOT 248676 SOS 150522 HAS SOPS 145232 HAS SOUS 67811 HAS SOUPS 66021 WITH SCORE 66171.522
AT ITER 781 NEW BEST:: SOT 248676 SOS 150442 HAS SOPS 145152 HAS SOUS 67800 HAS SOUPS 66010 WITH SCORE 66160.442
AT ITER 783 NEW BEST:: SOT 248676 SOS 150522 HAS SOPS 145126 HAS SOUS 67798 HAS SOUPS 65955 WITH SCORE 66105.522
AT ITER 785 NEW BEST:: SOT 248646 SOS 150428 HAS SOPS 145010 HAS SOUS 67762 HAS SOUPS 65895 WITH SCORE 66045.428
AT ITER 789 NEW BEST:: SOT 248646 SOS 150144 HAS SOPS 144726 HAS SOUS 67674 HAS SOUPS 65807 WITH SCORE 65957.144
AT ITER 798 NEW BEST:: SOT 248646 SOS 149995 HAS SOPS 144577 HAS SOUS 67496 HAS SOUPS 65629 WITH SCORE 65778.995
AT ITER 805 NEW BEST:: SOT 248646 SOS 149835 HAS SOPS 144417 HAS SOUS 67416 HAS SOUPS 65549 WITH SCORE 65698.835
AT ITER 806 NEW BEST:: SOT 248646 SOS 147613 HAS SOPS 142195 HAS SOUS 67411 HAS SOUPS 65544 WITH SCORE 65691.613
AT ITER 812 NEW BEST:: SOT 248646 SOS 147603 HAS SOPS 142185 HAS SOUS 67406 HAS SOUPS 65539 WITH SCORE 65686.603
AT ITER 814 NEW BEST:: SOT 248646 SOS 147301 HAS SOPS 141883 HAS SOUS 67029 HAS SOUPS 65162 WITH SCORE 65309.301
AT ITER 815 NEW BEST:: SOT 248646 SOS 146879 HAS SOPS 141461 HAS SOUS 66751 HAS SOUPS 64884 WITH SCORE 65030.879
AT ITER 816 NEW BEST:: SOT 248646 SOS 146863 HAS SOPS 141445 HAS SOUS 66751 HAS SOUPS 64884 WITH SCORE 65030.863
AT ITER 818 NEW BEST:: SOT 248646 SOS 147062 HAS SOPS 141644 HAS SOUS 66737 HAS SOUPS 64870 WITH SCORE 65017.062
AT ITER 820 NEW BEST:: SOT 248646 SOS 146992 HAS SOPS 141574 HAS SOUS 66716 HAS SOUPS 64849 WITH SCORE 64995.992
AT ITER 822 NEW BEST:: SOT 248646 SOS 146926 HAS SOPS 141508 HAS SOUS 66708 HAS SOUPS 64841 WITH SCORE 64987.926
AT ITER 829 NEW BEST:: SOT 248642 SOS 146912 HAS SOPS 141500 HAS SOUS 66705 HAS SOUPS 64838 WITH SCORE 64984.912
AT ITER 836 NEW BEST:: SOT 248616 SOS 146401 HAS SOPS 141076 HAS SOUS 66634 HAS SOUPS 64767 WITH SCORE 64913.401
AT ITER 837 NEW BEST:: SOT 248578 SOS 146287 HAS SOPS 140962 HAS SOUS 66585 HAS SOUPS 64718 WITH SCORE 64864.287
AT ITER 838 NEW BEST:: SOT 248578 SOS 146169 HAS SOPS 140844 HAS SOUS 66585 HAS SOUPS 64718 WITH SCORE 64864.169
AT ITER 845 NEW BEST:: SOT 248578 SOS 146159 HAS SOPS 140793 HAS SOUS 66558 HAS SOUPS 64665 WITH SCORE 64811.159
AT ITER 851 NEW BEST:: SOT 248578 SOS 145891 HAS SOPS 140525 HAS SOUS 66503 HAS SOUPS 64610 WITH SCORE 64755.891
AT ITER 853 NEW BEST:: SOT 248618 SOS 146125 HAS SOPS 140598 HAS SOUS 66381 HAS SOUPS 64488 WITH SCORE 64634.125
AT ITER 877 NEW BEST:: SOT 248618 SOS 146117 HAS SOPS 140590 HAS SOUS 66373 HAS SOUPS 64480 WITH SCORE 64626.117
AT ITER 893 NEW BEST:: SOT 248531 SOS 146091 HAS SOPS 140564 HAS SOUS 66334 HAS SOUPS 64441 WITH SCORE 64587.091
AT ITER 896 NEW BEST:: SOT 248531 SOS 145969 HAS SOPS 140442 HAS SOUS 66273 HAS SOUPS 64380 WITH SCORE 64525.969
AT ITER 897 NEW BEST:: SOT 248531 SOS 145999 HAS SOPS 140472 HAS SOUS 66228 HAS SOUPS 64335 WITH SCORE 64480.999
AT ITER 898 NEW BEST:: SOT 248531 SOS 145989 HAS SOPS 140462 HAS SOUS 66223 HAS SOUPS 64330 WITH SCORE 64475.989
AT ITER 900 NEW BEST:: SOT 248531 SOS 145985 HAS SOPS 140310 HAS SOUS 66221 HAS SOUPS 64254 WITH SCORE 64399.985
AT ITER 904 NEW BEST:: SOT 248531 SOS 146089 HAS SOPS 140414 HAS SOUS 66217 HAS SOUPS 64250 WITH SCORE 64396.089
AT ITER 909 NEW BEST:: SOT 248531 SOS 147276 HAS SOPS 141601 HAS SOUS 66157 HAS SOUPS 64190 WITH SCORE 64337.276
AT ITER 913 NEW BEST:: SOT 248531 SOS 146974 HAS SOPS 141299 HAS SOUS 66053 HAS SOUPS 64086 WITH SCORE 64232.974
AT ITER 915 NEW BEST:: SOT 248531 SOS 146902 HAS SOPS 141263 HAS SOUS 66035 HAS SOUPS 64086 WITH SCORE 64232.902
AT ITER 916 NEW BEST:: SOT 248531 SOS 146901 HAS SOPS 141444 HAS SOUS 65834 HAS SOUPS 63976 WITH SCORE 64122.901
AT ITER 918 NEW BEST:: SOT 248531 SOS 146835 HAS SOPS 141378 HAS SOUS 65812 HAS SOUPS 63954 WITH SCORE 64100.835
AT ITER 919 NEW BEST:: SOT 248541 SOS 146845 HAS SOPS 141372 HAS SOUS 65808 HAS SOUPS 63950 WITH SCORE 64096.845
AT ITER 920 NEW BEST:: SOT 248541 SOS 146867 HAS SOPS 141394 HAS SOUS 65790 HAS SOUPS 63932 WITH SCORE 64078.867
AT ITER 922 NEW BEST:: SOT 248541 SOS 146889 HAS SOPS 141416 HAS SOUS 65784 HAS SOUPS 63926 WITH SCORE 64072.889
AT ITER 926 NEW BEST:: SOT 248541 SOS 146677 HAS SOPS 141374 HAS SOUS 65678 HAS SOUPS 63905 WITH SCORE 64051.677
AT ITER 928 NEW BEST:: SOT 248541 SOS 146389 HAS SOPS 141086 HAS SOUS 65507 HAS SOUPS 63734 WITH SCORE 63880.389
AT ITER 933 NEW BEST:: SOT 248541 SOS 146295 HAS SOPS 140992 HAS SOUS 65507 HAS SOUPS 63734 WITH SCORE 63880.295
AT ITER 937 NEW BEST:: SOT 248541 SOS 146023 HAS SOPS 140720 HAS SOUS 65507 HAS SOUPS 63734 WITH SCORE 63880.023
AT ITER 955 NEW BEST:: SOT 248541 SOS 145981 HAS SOPS 140706 HAS SOUS 65486 HAS SOUPS 63727 WITH SCORE 63872.981
AT ITER 957 NEW BEST:: SOT 248541 SOS 145577 HAS SOPS 140302 HAS SOUS 65320 HAS SOUPS 63561 WITH SCORE 63706.577
AT ITER 963 NEW BEST:: SOT 248541 SOS 145577 HAS SOPS 140294 HAS SOUS 65320 HAS SOUPS 63557 WITH SCORE 63702.577
AT ITER 966 NEW BEST:: SOT 248541 SOS 145557 HAS SOPS 140274 HAS SOUS 65281 HAS SOUPS 63518 WITH SCORE 63663.557
AT ITER 968 NEW BEST:: SOT 248541 SOS 145499 HAS SOPS 140216 HAS SOUS 65252 HAS SOUPS 63489 WITH SCORE 63634.499
AT ITER 970 NEW BEST:: SOT 248541 SOS 145274 HAS SOPS 139991 HAS SOUS 65239 HAS SOUPS 63476 WITH SCORE 63621.274
AT ITER 975 NEW BEST:: SOT 248541 SOS 141097 HAS SOPS 135814 HAS SOUS 65216 HAS SOUPS 63453 WITH SCORE 63594.097
AT ITER 981 NEW BEST:: SOT 248541 SOS 140983 HAS SOPS 135700 HAS SOUS 65216 HAS SOUPS 63453 WITH SCORE 63593.983
AT ITER 989 NEW BEST:: SOT 248541 SOS 140921 HAS SOPS 135576 HAS SOUS 65247 HAS SOUPS 63453 WITH SCORE 63593.921
AT ITER 993 NEW BEST:: SOT 248541 SOS 140907 HAS SOPS 135498 HAS SOUS 65242 HAS SOUPS 63416 WITH SCORE 63556.907
AT ITER 995 NEW BEST:: SOT 248541 SOS 140835 HAS SOPS 135426 HAS SOUS 65228 HAS SOUPS 63402 WITH SCORE 63542.835
AT ITER 1001 NEW BEST:: SOT 248541 SOS 140939 HAS SOPS 135530 HAS SOUS 65172 HAS SOUPS 63346 WITH SCORE 63486.939
AT ITER 1005 NEW BEST:: SOT 248541 SOS 140857 HAS SOPS 135448 HAS SOUS 65172 HAS SOUPS 63346 WITH SCORE 63486.857
AT ITER 1006 NEW BEST:: SOT 248541 SOS 140867 HAS SOPS 135458 HAS SOUS 65162 HAS SOUPS 63336 WITH SCORE 63476.867
AT ITER 1010 NEW BEST:: SOT 248541 SOS 140781 HAS SOPS 135444 HAS SOUS 65083 HAS SOUPS 63293 WITH SCORE 63433.781
AT ITER 1013 NEW BEST:: SOT 248515 SOS 140711 HAS SOPS 135446 HAS SOUS 65031 HAS SOUPS 63241 WITH SCORE 63381.711
AT ITER 1014 NEW BEST:: SOT 248515 SOS 140661 HAS SOPS 135396 HAS SOUS 65006 HAS SOUPS 63216 WITH SCORE 63356.661
AT ITER 1031 NEW BEST:: SOT 248515 SOS 140651 HAS SOPS 135352 HAS SOUS 65001 HAS SOUPS 63194 WITH SCORE 63334.651
AT ITER 1034 NEW BEST:: SOT 248515 SOS 140653 HAS SOPS 135354 HAS SOUS 64957 HAS SOUPS 63150 WITH SCORE 63290.653
AT ITER 1049 NEW BEST:: SOT 248515 SOS 140583 HAS SOPS 135284 HAS SOUS 64950 HAS SOUPS 63143 WITH SCORE 63283.583
AT ITER 1050 NEW BEST:: SOT 248515 SOS 140337 HAS SOPS 135038 HAS SOUS 64943 HAS SOUPS 63136 WITH SCORE 63276.337
AT ITER 1054 NEW BEST:: SOT 248515 SOS 140363 HAS SOPS 134898 HAS SOUS 65009 HAS SOUPS 63119 WITH SCORE 63259.363
AT ITER 1058 NEW BEST:: SOT 248515 SOS 140360 HAS SOPS 134895 HAS SOUS 65000 HAS SOUPS 63110 WITH SCORE 63250.36
AT ITER 1075 NEW BEST:: SOT 248515 SOS 140354 HAS SOPS 134901 HAS SOUS 64994 HAS SOUPS 63110 WITH SCORE 63250.354
AT ITER 1080 NEW BEST:: SOT 248511 SOS 140272 HAS SOPS 134857 HAS SOUS 64986 HAS SOUPS 63102 WITH SCORE 63242.272
AT ITER 1081 NEW BEST:: SOT 248511 SOS 140140 HAS SOPS 134725 HAS SOUS 64953 HAS SOUPS 63069 WITH SCORE 63209.14
AT ITER 1088 NEW BEST:: SOT 248505 SOS 139263 HAS SOPS 134007 HAS SOUS 64908 HAS SOUPS 63024 WITH SCORE 63163.263
AT ITER 1092 NEW BEST:: SOT 248505 SOS 139315 HAS SOPS 134059 HAS SOUS 64905 HAS SOUPS 63021 WITH SCORE 63160.315
AT ITER 1100 NEW BEST:: SOT 248505 SOS 139309 HAS SOPS 134053 HAS SOUS 64899 HAS SOUPS 63015 WITH SCORE 63154.309
AT ITER 1101 NEW BEST:: SOT 248505 SOS 139301 HAS SOPS 134045 HAS SOUS 64899 HAS SOUPS 63015 WITH SCORE 63154.301
AT ITER 1105 NEW BEST:: SOT 248505 SOS 139281 HAS SOPS 134035 HAS SOUS 64889 HAS SOUPS 63010 WITH SCORE 63149.281
AT ITER 1108 NEW BEST:: SOT 248505 SOS 139275 HAS SOPS 134029 HAS SOUS 64886 HAS SOUPS 63007 WITH SCORE 63146.275
AT ITER 1111 NEW BEST:: SOT 248505 SOS 139275 HAS SOPS 134029 HAS SOUS 64874 HAS SOUPS 62995 WITH SCORE 63134.275
AT ITER 1122 NEW BEST:: SOT 248505 SOS 139191 HAS SOPS 133945 HAS SOUS 64832 HAS SOUPS 62953 WITH SCORE 63092.191
AT ITER 1124 NEW BEST:: SOT 248505 SOS 139329 HAS SOPS 134083 HAS SOUS 64804 HAS SOUPS 62925 WITH SCORE 63064.329
AT ITER 1133 NEW BEST:: SOT 248505 SOS 139518 HAS SOPS 134272 HAS SOUS 64782 HAS SOUPS 62903 WITH SCORE 63042.518
AT ITER 1141 NEW BEST:: SOT 248505 SOS 139358 HAS SOPS 134112 HAS SOUS 64702 HAS SOUPS 62823 WITH SCORE 62962.358
AT ITER 1144 NEW BEST:: SOT 248505 SOS 139482 HAS SOPS 134236 HAS SOUS 64688 HAS SOUPS 62809 WITH SCORE 62948.482
AT ITER 1147 NEW BEST:: SOT 248505 SOS 139162 HAS SOPS 133916 HAS SOUS 64642 HAS SOUPS 62763 WITH SCORE 62902.162
AT ITER 1157 NEW BEST:: SOT 248505 SOS 139022 HAS SOPS 133776 HAS SOUS 64555 HAS SOUPS 62676 WITH SCORE 62815.022
AT ITER 1164 NEW BEST:: SOT 248505 SOS 139028 HAS SOPS 133782 HAS SOUS 64519 HAS SOUPS 62640 WITH SCORE 62779.028
AT ITER 1170 NEW BEST:: SOT 248373 SOS 138896 HAS SOPS 133650 HAS SOUS 64519 HAS SOUPS 62640 WITH SCORE 62778.896
AT ITER 1174 NEW BEST:: SOT 248373 SOS 138916 HAS SOPS 133498 HAS SOUS 64572 HAS SOUPS 62607 WITH SCORE 62745.916
AT ITER 1178 NEW BEST:: SOT 248385 SOS 139092 HAS SOPS 133674 HAS SOUS 64540 HAS SOUPS 62575 WITH SCORE 62714.092
AT ITER 1183 NEW BEST:: SOT 248385 SOS 139124 HAS SOPS 133540 HAS SOUS 64549 HAS SOUPS 62501 WITH SCORE 62640.124
AT ITER 1186 NEW BEST:: SOT 248385 SOS 138764 HAS SOPS 133256 HAS SOUS 64511 HAS SOUPS 62501 WITH SCORE 62639.764
AT ITER 1198 NEW BEST:: SOT 248385 SOS 138766 HAS SOPS 133258 HAS SOUS 64507 HAS SOUPS 62497 WITH SCORE 62635.766
AT ITER 1201 NEW BEST:: SOT 248385 SOS 138798 HAS SOPS 133290 HAS SOUS 64451 HAS SOUPS 62441 WITH SCORE 62579.798
AT ITER 1207 NEW BEST:: SOT 248385 SOS 138660 HAS SOPS 133152 HAS SOUS 64442 HAS SOUPS 62432 WITH SCORE 62570.66
AT ITER 1209 NEW BEST:: SOT 248385 SOS 138516 HAS SOPS 133080 HAS SOUS 64370 HAS SOUPS 62396 WITH SCORE 62534.516
AT ITER 1217 NEW BEST:: SOT 248385 SOS 138600 HAS SOPS 133164 HAS SOUS 64339 HAS SOUPS 62365 WITH SCORE 62503.6
AT ITER 1235 NEW BEST:: SOT 248385 SOS 138532 HAS SOPS 133096 HAS SOUS 64339 HAS SOUPS 62365 WITH SCORE 62503.532
AT ITER 1236 NEW BEST:: SOT 248385 SOS 138524 HAS SOPS 133088 HAS SOUS 64336 HAS SOUPS 62362 WITH SCORE 62500.524
AT ITER 1245 NEW BEST:: SOT 248385 SOS 138434 HAS SOPS 132998 HAS SOUS 64306 HAS SOUPS 62332 WITH SCORE 62470.434
AT ITER 1249 NEW BEST:: SOT 248385 SOS 138414 HAS SOPS 132978 HAS SOUS 64296 HAS SOUPS 62322 WITH SCORE 62460.414
AT ITER 1251 NEW BEST:: SOT 248385 SOS 138392 HAS SOPS 132956 HAS SOUS 64274 HAS SOUPS 62300 WITH SCORE 62438.392
AT ITER 1259 NEW BEST:: SOT 248436 SOS 138059 HAS SOPS 132726 HAS SOUS 64001 HAS SOUPS 62093 WITH SCORE 62231.059
AT ITER 1282 NEW BEST:: SOT 248436 SOS 138003 HAS SOPS 132670 HAS SOUS 63987 HAS SOUPS 62079 WITH SCORE 62217.003
AT ITER 1299 NEW BEST:: SOT 248424 SOS 137991 HAS SOPS 132658 HAS SOUS 63981 HAS SOUPS 62073 WITH SCORE 62210.991
AT ITER 1309 NEW BEST:: SOT 248424 SOS 137923 HAS SOPS 132522 HAS SOUS 63981 HAS SOUPS 62039 WITH SCORE 62176.923
AT ITER 1332 NEW BEST:: SOT 248424 SOS 137791 HAS SOPS 132472 HAS SOUS 63915 HAS SOUPS 62014 WITH SCORE 62151.791
AT ITER 1334 NEW BEST:: SOT 248424 SOS 137511 HAS SOPS 132192 HAS SOUS 63888 HAS SOUPS 61987 WITH SCORE 62124.511
AT ITER 1339 NEW BEST:: SOT 248424 SOS 136855 HAS SOPS 131536 HAS SOUS 63888 HAS SOUPS 61987 WITH SCORE 62123.855
AT ITER 1355 NEW BEST:: SOT 248424 SOS 136687 HAS SOPS 131368 HAS SOUS 63849 HAS SOUPS 61948 WITH SCORE 62084.687
AT ITER 1364 NEW BEST:: SOT 238798 SOS 127489 HAS SOPS 121735 HAS SOUS 63392 HAS SOUPS 61460 WITH SCORE 61587.489
AT ITER 1367 NEW BEST:: SOT 238798 SOS 127479 HAS SOPS 121735 HAS SOUS 63392 HAS SOUPS 61460 WITH SCORE 61587.479
AT ITER 1372 NEW BEST:: SOT 238794 SOS 127492 HAS SOPS 121748 HAS SOUS 63389 HAS SOUPS 61457 WITH SCORE 61584.492
AT ITER 1373 NEW BEST:: SOT 238794 SOS 127099 HAS SOPS 121355 HAS SOUS 63349 HAS SOUPS 61417 WITH SCORE 61544.099
AT ITER 1375 NEW BEST:: SOT 238798 SOS 127075 HAS SOPS 121331 HAS SOUS 63317 HAS SOUPS 61385 WITH SCORE 61512.075
AT ITER 1377 NEW BEST:: SOT 238771 SOS 127021 HAS SOPS 121277 HAS SOUS 63304 HAS SOUPS 61372 WITH SCORE 61499.021
AT ITER 1380 NEW BEST:: SOT 238749 SOS 126999 HAS SOPS 121255 HAS SOUS 63282 HAS SOUPS 61350 WITH SCORE 61476.999
AT ITER 1381 NEW BEST:: SOT 238775 SOS 126961 HAS SOPS 121187 HAS SOUS 63191 HAS SOUPS 61259 WITH SCORE 61385.961
AT ITER 1383 NEW BEST:: SOT 238775 SOS 126575 HAS SOPS 120961 HAS SOUS 62976 HAS SOUPS 61124 WITH SCORE 61250.575
AT ITER 1389 NEW BEST:: SOT 238775 SOS 126851 HAS SOPS 121237 HAS SOUS 62965 HAS SOUPS 61113 WITH SCORE 61239.851
AT ITER 1394 NEW BEST:: SOT 238780 SOS 126178 HAS SOPS 120547 HAS SOUS 62745 HAS SOUPS 60893 WITH SCORE 61019.178
AT ITER 1396 NEW BEST:: SOT 238780 SOS 126178 HAS SOPS 120545 HAS SOUS 62743 HAS SOUPS 60891 WITH SCORE 61017.178
AT ITER 1399 NEW BEST:: SOT 238780 SOS 126064 HAS SOPS 120475 HAS SOUS 62686 HAS SOUPS 60856 WITH SCORE 60982.064
AT ITER 1414 NEW BEST:: SOT 238779 SOS 126132 HAS SOPS 120542 HAS SOUS 62665 HAS SOUPS 60835 WITH SCORE 60961.132
AT ITER 1424 NEW BEST:: SOT 238779 SOS 126112 HAS SOPS 120522 HAS SOUS 62655 HAS SOUPS 60825 WITH SCORE 60951.112
AT ITER 1427 NEW BEST:: SOT 238779 SOS 126094 HAS SOPS 120504 HAS SOUS 62655 HAS SOUPS 60825 WITH SCORE 60951.094
AT ITER 1440 NEW BEST:: SOT 238779 SOS 126078 HAS SOPS 120488 HAS SOUS 62651 HAS SOUPS 60821 WITH SCORE 60947.078
AT ITER 1441 NEW BEST:: SOT 238779 SOS 125896 HAS SOPS 120306 HAS SOUS 62612 HAS SOUPS 60782 WITH SCORE 60907.896
AT ITER 1443 NEW BEST:: SOT 238763 SOS 125824 HAS SOPS 120246 HAS SOUS 62566 HAS SOUPS 60736 WITH SCORE 60861.824
AT ITER 1444 NEW BEST:: SOT 238763 SOS 125590 HAS SOPS 120012 HAS SOUS 62518 HAS SOUPS 60688 WITH SCORE 60813.59
AT ITER 1445 NEW BEST:: SOT 238763 SOS 125482 HAS SOPS 119904 HAS SOUS 62491 HAS SOUPS 60661 WITH SCORE 60786.482
AT ITER 1446 NEW BEST:: SOT 238763 SOS 125534 HAS SOPS 119926 HAS SOUS 62469 HAS SOUPS 60639 WITH SCORE 60764.534
AT ITER 1448 NEW BEST:: SOT 238763 SOS 125516 HAS SOPS 119908 HAS SOUS 62460 HAS SOUPS 60630 WITH SCORE 60755.516
AT ITER 1454 NEW BEST:: SOT 238763 SOS 123428 HAS SOPS 117820 HAS SOUS 62275 HAS SOUPS 60445 WITH SCORE 60568.428
AT ITER 1457 NEW BEST:: SOT 238763 SOS 123372 HAS SOPS 117764 HAS SOUS 62247 HAS SOUPS 60417 WITH SCORE 60540.372
AT ITER 1463 NEW BEST:: SOT 238763 SOS 123412 HAS SOPS 117684 HAS SOUS 62297 HAS SOUPS 60407 WITH SCORE 60530.412
AT ITER 1466 NEW BEST:: SOT 238765 SOS 123085 HAS SOPS 117352 HAS SOUS 62291 HAS SOUPS 60401 WITH SCORE 60524.085
AT ITER 1469 NEW BEST:: SOT 238765 SOS 122937 HAS SOPS 117204 HAS SOUS 62254 HAS SOUPS 60364 WITH SCORE 60486.937
AT ITER 1471 NEW BEST:: SOT 238765 SOS 122921 HAS SOPS 117188 HAS SOUS 62246 HAS SOUPS 60356 WITH SCORE 60478.921
AT ITER 1474 NEW BEST:: SOT 238753 SOS 122675 HAS SOPS 116938 HAS SOUS 62237 HAS SOUPS 60347 WITH SCORE 60469.675
AT ITER 1480 NEW BEST:: SOT 238715 SOS 122540 HAS SOPS 116876 HAS SOUS 62224 HAS SOUPS 60334 WITH SCORE 60456.54
AT ITER 1482 NEW BEST:: SOT 238715 SOS 122524 HAS SOPS 116860 HAS SOUS 62216 HAS SOUPS 60326 WITH SCORE 60448.524
AT ITER 1483 NEW BEST:: SOT 238705 SOS 122148 HAS SOPS 116651 HAS SOUS 62168 HAS SOUPS 60278 WITH SCORE 60400.148
AT ITER 1503 NEW BEST:: SOT 238687 SOS 122130 HAS SOPS 116498 HAS SOUS 62234 HAS SOUPS 60262 WITH SCORE 60384.13
AT ITER 1511 NEW BEST:: SOT 238633 SOS 122076 HAS SOPS 116444 HAS SOUS 62234 HAS SOUPS 60262 WITH SCORE 60384.076
AT ITER 1514 NEW BEST:: SOT 238633 SOS 122182 HAS SOPS 116280 HAS SOUS 62287 HAS SOUPS 60180 WITH SCORE 60302.182
AT ITER 1519 NEW BEST:: SOT 238633 SOS 122196 HAS SOPS 116284 HAS SOUS 62284 HAS SOUPS 60177 WITH SCORE 60299.196
AT ITER 1527 NEW BEST:: SOT 238439 SOS 122000 HAS SOPS 116084 HAS SOUS 62081 HAS SOUPS 59972 WITH SCORE 60094.0
AT ITER 1533 NEW BEST:: SOT 238439 SOS 121880 HAS SOPS 116004 HAS SOUS 62021 HAS SOUPS 59932 WITH SCORE 60053.88
AT ITER 1539 NEW BEST:: SOT 238463 SOS 121712 HAS SOPS 115836 HAS SOUS 61982 HAS SOUPS 59893 WITH SCORE 60014.712
AT ITER 1544 NEW BEST:: SOT 238463 SOS 121676 HAS SOPS 115800 HAS SOUS 61964 HAS SOUPS 59875 WITH SCORE 59996.676
AT ITER 1545 NEW BEST:: SOT 238463 SOS 121560 HAS SOPS 115684 HAS SOUS 61944 HAS SOUPS 59855 WITH SCORE 59976.56
AT ITER 1548 NEW BEST:: SOT 238463 SOS 121544 HAS SOPS 115668 HAS SOUS 61944 HAS SOUPS 59855 WITH SCORE 59976.544
AT ITER 1559 NEW BEST:: SOT 238463 SOS 121382 HAS SOPS 115506 HAS SOUS 61917 HAS SOUPS 59828 WITH SCORE 59949.382
AT ITER 1563 NEW BEST:: SOT 238463 SOS 121184 HAS SOPS 115308 HAS SOUS 61818 HAS SOUPS 59729 WITH SCORE 59850.184
AT ITER 1566 NEW BEST:: SOT 238463 SOS 121146 HAS SOPS 115270 HAS SOUS 61784 HAS SOUPS 59695 WITH SCORE 59816.146
AT ITER 1570 NEW BEST:: SOT 238463 SOS 121174 HAS SOPS 115298 HAS SOUS 61769 HAS SOUPS 59680 WITH SCORE 59801.174
AT ITER 1578 NEW BEST:: SOT 238463 SOS 121128 HAS SOPS 115252 HAS SOUS 61769 HAS SOUPS 59680 WITH SCORE 59801.128
AT ITER 1579 NEW BEST:: SOT 238463 SOS 121086 HAS SOPS 115180 HAS SOUS 61748 HAS SOUPS 59644 WITH SCORE 59765.086
AT ITER 1581 NEW BEST:: SOT 238463 SOS 121218 HAS SOPS 115312 HAS SOUS 61740 HAS SOUPS 59636 WITH SCORE 59757.218
AT ITER 1588 NEW BEST:: SOT 238471 SOS 121108 HAS SOPS 115202 HAS SOUS 61656 HAS SOUPS 59552 WITH SCORE 59673.108
AT ITER 1595 NEW BEST:: SOT 238387 SOS 120856 HAS SOPS 114950 HAS SOUS 61614 HAS SOUPS 59510 WITH SCORE 59630.856
AT ITER 1596 NEW BEST:: SOT 238387 SOS 120560 HAS SOPS 114654 HAS SOUS 61484 HAS SOUPS 59380 WITH SCORE 59500.56
AT ITER 1597 NEW BEST:: SOT 238387 SOS 120566 HAS SOPS 114660 HAS SOUS 61467 HAS SOUPS 59363 WITH SCORE 59483.566
AT ITER 1607 NEW BEST:: SOT 238387 SOS 120522 HAS SOPS 114616 HAS SOUS 61460 HAS SOUPS 59356 WITH SCORE 59476.522
AT ITER 1615 NEW BEST:: SOT 238387 SOS 120476 HAS SOPS 114524 HAS SOUS 61414 HAS SOUPS 59287 WITH SCORE 59407.476
AT ITER 1619 NEW BEST:: SOT 238387 SOS 120405 HAS SOPS 114855 HAS SOUS 61213 HAS SOUPS 59287 WITH SCORE 59407.405
AT ITER 1624 NEW BEST:: SOT 228569 SOS 111274 HAS SOPS 105109 HAS SOUS 52328 HAS SOUPS 50419 WITH SCORE 50530.274
AT ITER 1628 NEW BEST:: SOT 228549 SOS 111079 HAS SOPS 104891 HAS SOUS 52224 HAS SOUPS 50315 WITH SCORE 50426.079
AT ITER 1629 NEW BEST:: SOT 228549 SOS 111023 HAS SOPS 104835 HAS SOUS 52202 HAS SOUPS 50293 WITH SCORE 50404.023
AT ITER 1632 NEW BEST:: SOT 228549 SOS 111015 HAS SOPS 104827 HAS SOUS 52200 HAS SOUPS 50291 WITH SCORE 50402.015
AT ITER 1633 NEW BEST:: SOT 228549 SOS 110979 HAS SOPS 104791 HAS SOUS 52195 HAS SOUPS 50286 WITH SCORE 50396.979
AT ITER 1645 NEW BEST:: SOT 228549 SOS 110893 HAS SOPS 104699 HAS SOUS 52175 HAS SOUPS 50263 WITH SCORE 50373.893
AT ITER 1649 NEW BEST:: SOT 228549 SOS 110871 HAS SOPS 104677 HAS SOUS 52128 HAS SOUPS 50216 WITH SCORE 50326.871
AT ITER 1652 NEW BEST:: SOT 228549 SOS 110791 HAS SOPS 104597 HAS SOUS 52051 HAS SOUPS 50139 WITH SCORE 50249.791
AT ITER 1669 NEW BEST:: SOT 228571 SOS 110938 HAS SOPS 104550 HAS SOUS 52151 HAS SOUPS 50135 WITH SCORE 50245.938
AT ITER 1672 NEW BEST:: SOT 228571 SOS 110906 HAS SOPS 104518 HAS SOUS 52135 HAS SOUPS 50119 WITH SCORE 50229.906
AT ITER 1676 NEW BEST:: SOT 228571 SOS 110914 HAS SOPS 104526 HAS SOUS 52133 HAS SOUPS 50117 WITH SCORE 50227.914
AT ITER 1682 NEW BEST:: SOT 228549 SOS 110844 HAS SOPS 104458 HAS SOUS 52123 HAS SOUPS 50107 WITH SCORE 50217.844
AT ITER 1699 NEW BEST:: SOT 228549 SOS 110832 HAS SOPS 104446 HAS SOUS 52117 HAS SOUPS 50101 WITH SCORE 50211.832
AT ITER 1702 NEW BEST:: SOT 228549 SOS 110782 HAS SOPS 104396 HAS SOUS 52112 HAS SOUPS 50096 WITH SCORE 50206.782
AT ITER 1703 NEW BEST:: SOT 228549 SOS 110526 HAS SOPS 104140 HAS SOUS 52013 HAS SOUPS 49997 WITH SCORE 50107.526
AT ITER 1717 NEW BEST:: SOT 228549 SOS 110330 HAS SOPS 103944 HAS SOUS 51948 HAS SOUPS 49932 WITH SCORE 50042.33
AT ITER 1720 NEW BEST:: SOT 228549 SOS 110246 HAS SOPS 103818 HAS SOUS 51906 HAS SOUPS 49869 WITH SCORE 49979.246
AT ITER 1796 NEW BEST:: SOT 228549 SOS 110202 HAS SOPS 103774 HAS SOUS 51906 HAS SOUPS 49869 WITH SCORE 49979.202
AT ITER 1797 NEW BEST:: SOT 228549 SOS 110134 HAS SOPS 103706 HAS SOUS 51904 HAS SOUPS 49867 WITH SCORE 49977.134
AT ITER 1798 NEW BEST:: SOT 228549 SOS 110080 HAS SOPS 103652 HAS SOUS 51892 HAS SOUPS 49855 WITH SCORE 49965.08
AT ITER 1805 NEW BEST:: SOT 228549 SOS 110056 HAS SOPS 103628 HAS SOUS 51880 HAS SOUPS 49843 WITH SCORE 49953.056
AT ITER 1816 NEW BEST:: SOT 228549 SOS 109960 HAS SOPS 103532 HAS SOUS 51860 HAS SOUPS 49823 WITH SCORE 49932.96
AT ITER 1830 NEW BEST:: SOT 228476 SOS 109882 HAS SOPS 103454 HAS SOUS 51790 HAS SOUPS 49753 WITH SCORE 49862.882
AT ITER 1836 NEW BEST:: SOT 228464 SOS 109630 HAS SOPS 103329 HAS SOUS 51734 HAS SOUPS 49697 WITH SCORE 49806.63
AT ITER 1851 NEW BEST:: SOT 228400 SOS 109566 HAS SOPS 103297 HAS SOUS 51686 HAS SOUPS 49649 WITH SCORE 49758.566
AT ITER 1852 NEW BEST:: SOT 228400 SOS 109588 HAS SOPS 103319 HAS SOUS 51675 HAS SOUPS 49638 WITH SCORE 49747.588
AT ITER 1856 NEW BEST:: SOT 228400 SOS 109540 HAS SOPS 103271 HAS SOUS 51651 HAS SOUPS 49614 WITH SCORE 49723.54
AT ITER 1863 NEW BEST:: SOT 228400 SOS 109494 HAS SOPS 103225 HAS SOUS 51596 HAS SOUPS 49559 WITH SCORE 49668.494
AT ITER 1872 NEW BEST:: SOT 228400 SOS 109406 HAS SOPS 103137 HAS SOUS 51596 HAS SOUPS 49559 WITH SCORE 49668.406
AT ITER 1873 NEW BEST:: SOT 228400 SOS 109402 HAS SOPS 103133 HAS SOUS 51595 HAS SOUPS 49558 WITH SCORE 49667.402
AT ITER 1874 NEW BEST:: SOT 228400 SOS 109392 HAS SOPS 103123 HAS SOUS 51590 HAS SOUPS 49553 WITH SCORE 49662.392
AT ITER 1881 NEW BEST:: SOT 228400 SOS 109326 HAS SOPS 103057 HAS SOUS 51568 HAS SOUPS 49531 WITH SCORE 49640.326
AT ITER 1882 NEW BEST:: SOT 228400 SOS 109272 HAS SOPS 103003 HAS SOUS 51547 HAS SOUPS 49510 WITH SCORE 49619.272
AT ITER 1887 NEW BEST:: SOT 228400 SOS 109224 HAS SOPS 102967 HAS SOUS 51535 HAS SOUPS 49504 WITH SCORE 49613.224
AT ITER 1893 NEW BEST:: SOT 228400 SOS 109080 HAS SOPS 102823 HAS SOUS 51487 HAS SOUPS 49456 WITH SCORE 49565.08
AT ITER 1899 NEW BEST:: SOT 228400 SOS 109052 HAS SOPS 102795 HAS SOUS 51473 HAS SOUPS 49442 WITH SCORE 49551.052
AT ITER 1903 NEW BEST:: SOT 228465 SOS 108880 HAS SOPS 102410 HAS SOUS 51306 HAS SOUPS 49275 WITH SCORE 49383.88
AT ITER 1914 NEW BEST:: SOT 228465 SOS 108842 HAS SOPS 102372 HAS SOUS 51306 HAS SOUPS 49275 WITH SCORE 49383.842
AT ITER 1919 NEW BEST:: SOT 228464 SOS 108813 HAS SOPS 102342 HAS SOUS 51296 HAS SOUPS 49265 WITH SCORE 49373.813
AT ITER 1932 NEW BEST:: SOT 228464 SOS 108781 HAS SOPS 102226 HAS SOUS 51312 HAS SOUPS 49239 WITH SCORE 49347.781
AT ITER 1939 NEW BEST:: SOT 228464 SOS 108639 HAS SOPS 102084 HAS SOUS 51230 HAS SOUPS 49157 WITH SCORE 49265.639
AT ITER 1953 NEW BEST:: SOT 228464 SOS 108607 HAS SOPS 102052 HAS SOUS 51226 HAS SOUPS 49153 WITH SCORE 49261.607
AT ITER 1966 NEW BEST:: SOT 228464 SOS 108597 HAS SOPS 102042 HAS SOUS 51178 HAS SOUPS 49105 WITH SCORE 49213.597
AT ITER 1980 NEW BEST:: SOT 228440 SOS 108547 HAS SOPS 102016 HAS SOUS 51153 HAS SOUPS 49092 WITH SCORE 49200.547
AT ITER 1985 NEW BEST:: SOT 228424 SOS 108497 HAS SOPS 101984 HAS SOUS 51138 HAS SOUPS 49077 WITH SCORE 49185.497
AT ITER 1986 NEW BEST:: SOT 228424 SOS 108485 HAS SOPS 101972 HAS SOUS 51135 HAS SOUPS 49074 WITH SCORE 49182.485
AT ITER 2004 NEW BEST:: SOT 228416 SOS 108477 HAS SOPS 101964 HAS SOUS 51127 HAS SOUPS 49066 WITH SCORE 49174.477
AT ITER 2008 NEW BEST:: SOT 228416 SOS 108485 HAS SOPS 101972 HAS SOUS 51102 HAS SOUPS 49041 WITH SCORE 49149.485
AT ITER 2010 NEW BEST:: SOT 228416 SOS 108483 HAS SOPS 101970 HAS SOUS 51101 HAS SOUPS 49040 WITH SCORE 49148.483
AT ITER 2016 NEW BEST:: SOT 228416 SOS 108315 HAS SOPS 101876 HAS SOUS 51018 HAS SOUPS 48994 WITH SCORE 49102.315
AT ITER 2023 NEW BEST:: SOT 228416 SOS 108241 HAS SOPS 101802 HAS SOUS 51018 HAS SOUPS 48994 WITH SCORE 49102.241
AT ITER 2033 NEW BEST:: SOT 228438 SOS 108263 HAS SOPS 101799 HAS SOUS 51015 HAS SOUPS 48991 WITH SCORE 49099.263
AT ITER 2042 NEW BEST:: SOT 228449 SOS 108247 HAS SOPS 101939 HAS SOUS 50829 HAS SOUPS 48890 WITH SCORE 48998.247
AT ITER 2046 NEW BEST:: SOT 228449 SOS 108243 HAS SOPS 101935 HAS SOUS 50825 HAS SOUPS 48886 WITH SCORE 48994.243
AT ITER 2048 NEW BEST:: SOT 228449 SOS 108243 HAS SOPS 101935 HAS SOUS 50815 HAS SOUPS 48876 WITH SCORE 48984.243
AT ITER 2054 NEW BEST:: SOT 228449 SOS 108319 HAS SOPS 102011 HAS SOUS 50805 HAS SOUPS 48866 WITH SCORE 48974.319
AT ITER 2058 NEW BEST:: SOT 228423 SOS 108293 HAS SOPS 101959 HAS SOUS 50753 HAS SOUPS 48814 WITH SCORE 48922.293
AT ITER 2059 NEW BEST:: SOT 228364 SOS 108045 HAS SOPS 101841 HAS SOUS 50650 HAS SOUPS 48776 WITH SCORE 48884.045
AT ITER 2072 NEW BEST:: SOT 228294 SOS 107975 HAS SOPS 101771 HAS SOUS 50577 HAS SOUPS 48703 WITH SCORE 48810.975
AT ITER 2084 NEW BEST:: SOT 228294 SOS 108207 HAS SOPS 102003 HAS SOUS 50420 HAS SOUPS 48546 WITH SCORE 48654.207
AT ITER 2087 NEW BEST:: SOT 228294 SOS 108359 HAS SOPS 102155 HAS SOUS 50346 HAS SOUPS 48472 WITH SCORE 48580.359
AT ITER 2089 NEW BEST:: SOT 228294 SOS 108289 HAS SOPS 101885 HAS SOUS 50441 HAS SOUPS 48467 WITH SCORE 48575.289
AT ITER 2092 NEW BEST:: SOT 228294 SOS 108209 HAS SOPS 101805 HAS SOUS 50441 HAS SOUPS 48467 WITH SCORE 48575.209
AT ITER 2103 NEW BEST:: SOT 228294 SOS 108121 HAS SOPS 101717 HAS SOUS 50438 HAS SOUPS 48464 WITH SCORE 48572.121
AT ITER 2108 NEW BEST:: SOT 228294 SOS 108035 HAS SOPS 101631 HAS SOUS 50395 HAS SOUPS 48421 WITH SCORE 48529.035
AT ITER 2118 NEW BEST:: SOT 228294 SOS 107995 HAS SOPS 101611 HAS SOUS 50395 HAS SOUPS 48421 WITH SCORE 48528.995
AT ITER 2119 NEW BEST:: SOT 228294 SOS 107927 HAS SOPS 101543 HAS SOUS 50384 HAS SOUPS 48410 WITH SCORE 48517.927
AT ITER 2123 NEW BEST:: SOT 228294 SOS 107909 HAS SOPS 101525 HAS SOUS 50375 HAS SOUPS 48401 WITH SCORE 48508.909
AT ITER 2152 NEW BEST:: SOT 228294 SOS 107889 HAS SOPS 101505 HAS SOUS 50375 HAS SOUPS 48401 WITH SCORE 48508.889
AT ITER 2155 NEW BEST:: SOT 228294 SOS 107855 HAS SOPS 101471 HAS SOUS 50375 HAS SOUPS 48401 WITH SCORE 48508.855
AT ITER 2160 NEW BEST:: SOT 228305 SOS 107881 HAS SOPS 101508 HAS SOUS 50366 HAS SOUPS 48392 WITH SCORE 48499.881
AT ITER 2194 NEW BEST:: SOT 228305 SOS 107993 HAS SOPS 101620 HAS SOUS 50355 HAS SOUPS 48381 WITH SCORE 48488.993
AT ITER 2198 NEW BEST:: SOT 228305 SOS 107981 HAS SOPS 101608 HAS SOUS 50349 HAS SOUPS 48375 WITH SCORE 48482.981
AT ITER 2210 NEW BEST:: SOT 228305 SOS 107933 HAS SOPS 101608 HAS SOUS 50325 HAS SOUPS 48375 WITH SCORE 48482.933
AT ITER 2217 NEW BEST:: SOT 228305 SOS 107831 HAS SOPS 101506 HAS SOUS 50284 HAS SOUPS 48334 WITH SCORE 48441.831
AT ITER 2223 NEW BEST:: SOT 228305 SOS 107829 HAS SOPS 101506 HAS SOUS 50283 HAS SOUPS 48334 WITH SCORE 48441.829
AT ITER 2225 NEW BEST:: SOT 228305 SOS 107589 HAS SOPS 101266 HAS SOUS 50273 HAS SOUPS 48324 WITH SCORE 48431.589
AT ITER 2228 NEW BEST:: SOT 228278 SOS 107101 HAS SOPS 101056 HAS SOUS 50111 HAS SOUPS 48315 WITH SCORE 48422.101
AT ITER 2259 NEW BEST:: SOT 228302 SOS 107033 HAS SOPS 101016 HAS SOUS 50110 HAS SOUPS 48314 WITH SCORE 48421.033
AT ITER 2260 NEW BEST:: SOT 228351 SOS 107083 HAS SOPS 101115 HAS SOUS 49995 HAS SOUPS 48199 WITH SCORE 48306.083
AT ITER 2262 NEW BEST:: SOT 228351 SOS 106985 HAS SOPS 101017 HAS SOUS 49992 HAS SOUPS 48196 WITH SCORE 48302.985
AT ITER 2270 NEW BEST:: SOT 228351 SOS 106915 HAS SOPS 100947 HAS SOUS 49945 HAS SOUPS 48149 WITH SCORE 48255.915
AT ITER 2272 NEW BEST:: SOT 228324 SOS 106850 HAS SOPS 100833 HAS SOUS 49883 HAS SOUPS 48076 WITH SCORE 48182.85
AT ITER 2274 NEW BEST:: SOT 228324 SOS 106778 HAS SOPS 100761 HAS SOUS 49868 HAS SOUPS 48061 WITH SCORE 48167.778
AT ITER 2297 NEW BEST:: SOT 228424 SOS 106878 HAS SOPS 100581 HAS SOUS 49762 HAS SOUPS 47955 WITH SCORE 48061.878
AT ITER 2304 NEW BEST:: SOT 228424 SOS 106744 HAS SOPS 100591 HAS SOUS 49656 HAS SOUPS 47921 WITH SCORE 48027.744
AT ITER 2308 NEW BEST:: SOT 228424 SOS 106696 HAS SOPS 100543 HAS SOUS 49632 HAS SOUPS 47897 WITH SCORE 48003.696
AT ITER 2328 NEW BEST:: SOT 228424 SOS 106616 HAS SOPS 100505 HAS SOUS 49592 HAS SOUPS 47878 WITH SCORE 47984.616
AT ITER 2331 NEW BEST:: SOT 228424 SOS 106558 HAS SOPS 100447 HAS SOUS 49563 HAS SOUPS 47849 WITH SCORE 47955.558
AT ITER 2335 NEW BEST:: SOT 228424 SOS 106502 HAS SOPS 100391 HAS SOUS 49563 HAS SOUPS 47849 WITH SCORE 47955.502
AT ITER 2351 NEW BEST:: SOT 228424 SOS 106330 HAS SOPS 100219 HAS SOUS 49514 HAS SOUPS 47800 WITH SCORE 47906.33
AT ITER 2355 NEW BEST:: SOT 228424 SOS 106154 HAS SOPS 100043 HAS SOUS 49470 HAS SOUPS 47756 WITH SCORE 47862.154
AT ITER 2366 NEW BEST:: SOT 228410 SOS 106140 HAS SOPS 99999 HAS SOUS 49438 HAS SOUPS 47724 WITH SCORE 47830.14
AT ITER 2369 NEW BEST:: SOT 228410 SOS 106128 HAS SOPS 99987 HAS SOUS 49432 HAS SOUPS 47718 WITH SCORE 47824.128
AT ITER 2372 NEW BEST:: SOT 228441 SOS 106107 HAS SOPS 99966 HAS SOUS 49419 HAS SOUPS 47705 WITH SCORE 47811.107
AT ITER 2373 NEW BEST:: SOT 228441 SOS 106107 HAS SOPS 99966 HAS SOUS 49406 HAS SOUPS 47692 WITH SCORE 47798.107
AT ITER 2379 NEW BEST:: SOT 228441 SOS 106041 HAS SOPS 99900 HAS SOUS 49406 HAS SOUPS 47692 WITH SCORE 47798.041
AT ITER 2389 NEW BEST:: SOT 228441 SOS 106039 HAS SOPS 99820 HAS SOUS 49437 HAS SOUPS 47684 WITH SCORE 47790.039
AT ITER 2412 NEW BEST:: SOT 228441 SOS 105975 HAS SOPS 99756 HAS SOUS 49431 HAS SOUPS 47678 WITH SCORE 47783.975
AT ITER 2413 NEW BEST:: SOT 228441 SOS 106347 HAS SOPS 99868 HAS SOUS 49537 HAS SOUPS 47654 WITH SCORE 47760.347
AT ITER 2423 NEW BEST:: SOT 228625 SOS 106531 HAS SOPS 99932 HAS SOUS 49426 HAS SOUPS 47543 WITH SCORE 47649.531
AT ITER 2430 NEW BEST:: SOT 228625 SOS 106353 HAS SOPS 99754 HAS SOUS 49369 HAS SOUPS 47486 WITH SCORE 47592.353
AT ITER 2433 NEW BEST:: SOT 228624 SOS 106352 HAS SOPS 99753 HAS SOUS 49368 HAS SOUPS 47485 WITH SCORE 47591.352
AT ITER 2436 NEW BEST:: SOT 228624 SOS 106364 HAS SOPS 99765 HAS SOUS 49362 HAS SOUPS 47479 WITH SCORE 47585.364
AT ITER 2451 NEW BEST:: SOT 228624 SOS 106196 HAS SOPS 99597 HAS SOUS 49263 HAS SOUPS 47380 WITH SCORE 47486.196
AT ITER 2464 NEW BEST:: SOT 228622 SOS 106194 HAS SOPS 99597 HAS SOUS 49259 HAS SOUPS 47376 WITH SCORE 47482.194
AT ITER 2472 NEW BEST:: SOT 228622 SOS 106284 HAS SOPS 99573 HAS SOUS 49247 HAS SOUPS 47307 WITH SCORE 47413.284
AT ITER 2485 NEW BEST:: SOT 228622 SOS 106282 HAS SOPS 99571 HAS SOUS 49246 HAS SOUPS 47306 WITH SCORE 47412.282
AT ITER 2490 NEW BEST:: SOT 228499 SOS 105842 HAS SOPS 99131 HAS SOUS 49194 HAS SOUPS 47254 WITH SCORE 47359.842
AT ITER 2493 NEW BEST:: SOT 228499 SOS 105829 HAS SOPS 99118 HAS SOUS 49187 HAS SOUPS 47247 WITH SCORE 47352.829
AT ITER 2504 NEW BEST:: SOT 228499 SOS 105661 HAS SOPS 98950 HAS SOUS 49187 HAS SOUPS 47247 WITH SCORE 47352.661
AT ITER 2509 NEW BEST:: SOT 228499 SOS 105639 HAS SOPS 98928 HAS SOUS 49176 HAS SOUPS 47236 WITH SCORE 47341.639
AT ITER 2513 NEW BEST:: SOT 228499 SOS 105579 HAS SOPS 98868 HAS SOUS 49172 HAS SOUPS 47232 WITH SCORE 47337.579
AT ITER 2517 NEW BEST:: SOT 228499 SOS 105515 HAS SOPS 98838 HAS SOUS 49140 HAS SOUPS 47217 WITH SCORE 47322.515
AT ITER 2527 NEW BEST:: SOT 228499 SOS 105579 HAS SOPS 98902 HAS SOUS 49090 HAS SOUPS 47167 WITH SCORE 47272.579
AT ITER 2537 NEW BEST:: SOT 228499 SOS 105539 HAS SOPS 98862 HAS SOUS 49060 HAS SOUPS 47137 WITH SCORE 47242.539
AT ITER 2542 NEW BEST:: SOT 228499 SOS 105605 HAS SOPS 98928 HAS SOUS 49007 HAS SOUPS 47084 WITH SCORE 47189.605
AT ITER 2543 NEW BEST:: SOT 228499 SOS 105601 HAS SOPS 98924 HAS SOUS 49007 HAS SOUPS 47084 WITH SCORE 47189.601
AT ITER 2568 NEW BEST:: SOT 228499 SOS 105597 HAS SOPS 98920 HAS SOUS 48968 HAS SOUPS 47045 WITH SCORE 47150.597
AT ITER 2582 NEW BEST:: SOT 228499 SOS 105593 HAS SOPS 98916 HAS SOUS 48968 HAS SOUPS 47045 WITH SCORE 47150.593
AT ITER 2595 NEW BEST:: SOT 228499 SOS 105567 HAS SOPS 98890 HAS SOUS 48965 HAS SOUPS 47042 WITH SCORE 47147.567
AT ITER 2612 NEW BEST:: SOT 228499 SOS 105600 HAS SOPS 98923 HAS SOUS 48899 HAS SOUPS 46976 WITH SCORE 47081.6
AT ITER 2615 NEW BEST:: SOT 228499 SOS 105588 HAS SOPS 98911 HAS SOUS 48887 HAS SOUPS 46964 WITH SCORE 47069.588
AT ITER 2626 NEW BEST:: SOT 228499 SOS 106268 HAS SOPS 99591 HAS SOUS 48847 HAS SOUPS 46924 WITH SCORE 47030.268
AT ITER 2652 NEW BEST:: SOT 227762 SOS 105509 HAS SOPS 98873 HAS SOUS 48579 HAS SOUPS 46638 WITH SCORE 46743.509
AT ITER 2656 NEW BEST:: SOT 227762 SOS 105505 HAS SOPS 98869 HAS SOUS 48579 HAS SOUPS 46638 WITH SCORE 46743.505
AT ITER 2657 NEW BEST:: SOT 227762 SOS 105535 HAS SOPS 98899 HAS SOUS 48500 HAS SOUPS 46559 WITH SCORE 46664.535
AT ITER 2659 NEW BEST:: SOT 227762 SOS 105513 HAS SOPS 98877 HAS SOUS 48489 HAS SOUPS 46548 WITH SCORE 46653.513
AT ITER 2660 NEW BEST:: SOT 227762 SOS 105511 HAS SOPS 98875 HAS SOUS 48487 HAS SOUPS 46546 WITH SCORE 46651.511
AT ITER 2674 NEW BEST:: SOT 227762 SOS 105503 HAS SOPS 98867 HAS SOUS 48483 HAS SOUPS 46542 WITH SCORE 46647.503
AT ITER 2686 NEW BEST:: SOT 227776 SOS 105426 HAS SOPS 98587 HAS SOUS 48405 HAS SOUPS 46464 WITH SCORE 46569.426
AT ITER 2696 NEW BEST:: SOT 227776 SOS 105480 HAS SOPS 98587 HAS SOUS 48405 HAS SOUPS 46437 WITH SCORE 46542.48
AT ITER 2718 NEW BEST:: SOT 227776 SOS 105426 HAS SOPS 98533 HAS SOUS 48400 HAS SOUPS 46432 WITH SCORE 46537.426
AT ITER 2736 NEW BEST:: SOT 227776 SOS 105344 HAS SOPS 98339 HAS SOUS 48404 HAS SOUPS 46380 WITH SCORE 46485.344
AT ITER 2737 NEW BEST:: SOT 227776 SOS 105444 HAS SOPS 98507 HAS SOUS 48360 HAS SOUPS 46370 WITH SCORE 46475.444
AT ITER 2742 NEW BEST:: SOT 227776 SOS 105348 HAS SOPS 98411 HAS SOUS 48312 HAS SOUPS 46322 WITH SCORE 46427.348
AT ITER 2751 NEW BEST:: SOT 227788 SOS 105412 HAS SOPS 98435 HAS SOUS 48294 HAS SOUPS 46304 WITH SCORE 46409.412
AT ITER 2762 NEW BEST:: SOT 227788 SOS 105408 HAS SOPS 98431 HAS SOUS 48292 HAS SOUPS 46302 WITH SCORE 46407.408
AT ITER 2767 NEW BEST:: SOT 227788 SOS 105388 HAS SOPS 98411 HAS SOUS 48279 HAS SOUPS 46289 WITH SCORE 46394.388
AT ITER 2776 NEW BEST:: SOT 227788 SOS 105420 HAS SOPS 98443 HAS SOUS 48249 HAS SOUPS 46259 WITH SCORE 46364.42
AT ITER 2796 NEW BEST:: SOT 227786 SOS 105545 HAS SOPS 98591 HAS SOUS 48189 HAS SOUPS 46199 WITH SCORE 46304.545
AT ITER 2810 NEW BEST:: SOT 227786 SOS 105545 HAS SOPS 98595 HAS SOUS 48185 HAS SOUPS 46197 WITH SCORE 46302.545
AT ITER 2823 NEW BEST:: SOT 227786 SOS 105531 HAS SOPS 98581 HAS SOUS 48178 HAS SOUPS 46190 WITH SCORE 46295.531
AT ITER 2829 NEW BEST:: SOT 227786 SOS 105451 HAS SOPS 98419 HAS SOUS 48179 HAS SOUPS 46150 WITH SCORE 46255.451
AT ITER 2832 NEW BEST:: SOT 227786 SOS 105397 HAS SOPS 98365 HAS SOUS 48173 HAS SOUPS 46144 WITH SCORE 46249.397
AT ITER 2833 NEW BEST:: SOT 227786 SOS 105467 HAS SOPS 98435 HAS SOUS 48164 HAS SOUPS 46135 WITH SCORE 46240.467
AT ITER 2853 NEW BEST:: SOT 227786 SOS 105449 HAS SOPS 98417 HAS SOUS 48157 HAS SOUPS 46128 WITH SCORE 46233.449
AT ITER 2862 NEW BEST:: SOT 227762 SOS 105425 HAS SOPS 98369 HAS SOUS 48179 HAS SOUPS 46123 WITH SCORE 46228.425
AT ITER 2863 NEW BEST:: SOT 227582 SOS 105392 HAS SOPS 98642 HAS SOUS 48144 HAS SOUPS 46089 WITH SCORE 46194.392
AT ITER 2886 NEW BEST:: SOT 227582 SOS 105444 HAS SOPS 98694 HAS SOUS 48112 HAS SOUPS 46057 WITH SCORE 46162.444
AT ITER 2914 NEW BEST:: SOT 227582 SOS 105436 HAS SOPS 98686 HAS SOUS 48084 HAS SOUPS 46029 WITH SCORE 46134.436
AT ITER 2915 NEW BEST:: SOT 227582 SOS 105436 HAS SOPS 98686 HAS SOUS 48047 HAS SOUPS 45992 WITH SCORE 46097.436
AT ITER 2926 NEW BEST:: SOT 227582 SOS 105364 HAS SOPS 98614 HAS SOUS 48031 HAS SOUPS 45976 WITH SCORE 46081.364
AT ITER 2928 NEW BEST:: SOT 227582 SOS 105304 HAS SOPS 98554 HAS SOUS 47984 HAS SOUPS 45929 WITH SCORE 46034.304
AT ITER 2929 NEW BEST:: SOT 227582 SOS 105300 HAS SOPS 98550 HAS SOUS 47983 HAS SOUPS 45928 WITH SCORE 46033.3
AT ITER 2932 NEW BEST:: SOT 227582 SOS 105242 HAS SOPS 98492 HAS SOUS 47954 HAS SOUPS 45899 WITH SCORE 46004.242
AT ITER 2951 NEW BEST:: SOT 227582 SOS 105242 HAS SOPS 98492 HAS SOUS 47950 HAS SOUPS 45895 WITH SCORE 46000.242
AT ITER 2952 NEW BEST:: SOT 227552 SOS 105152 HAS SOPS 98402 HAS SOUS 47920 HAS SOUPS 45865 WITH SCORE 45970.152
AT ITER 2968 NEW BEST:: SOT 227552 SOS 105144 HAS SOPS 98394 HAS SOUS 47916 HAS SOUPS 45861 WITH SCORE 45966.144
AT ITER 2985 NEW BEST:: SOT 227552 SOS 105136 HAS SOPS 98386 HAS SOUS 47916 HAS SOUPS 45861 WITH SCORE 45966.136
AT ITER 3008 NEW BEST:: SOT 227552 SOS 105116 HAS SOPS 98366 HAS SOUS 47916 HAS SOUPS 45861 WITH SCORE 45966.116
AT ITER 3012 NEW BEST:: SOT 227560 SOS 105196 HAS SOPS 98454 HAS SOUS 47903 HAS SOUPS 45848 WITH SCORE 45953.196
AT ITER 3034 NEW BEST:: SOT 227560 SOS 105182 HAS SOPS 98440 HAS SOUS 47896 HAS SOUPS 45841 WITH SCORE 45946.182
AT ITER 3042 NEW BEST:: SOT 227560 SOS 105172 HAS SOPS 98430 HAS SOUS 47891 HAS SOUPS 45836 WITH SCORE 45941.172
AT ITER 3052 NEW BEST:: SOT 227560 SOS 105168 HAS SOPS 98426 HAS SOUS 47889 HAS SOUPS 45834 WITH SCORE 45939.168
AT ITER 3056 NEW BEST:: SOT 227553 SOS 105187 HAS SOPS 98436 HAS SOUS 47885 HAS SOUPS 45829 WITH SCORE 45934.187
AT ITER 3057 NEW BEST:: SOT 227553 SOS 105221 HAS SOPS 98470 HAS SOUS 47868 HAS SOUPS 45812 WITH SCORE 45917.221
AT ITER 3092 NEW BEST:: SOT 227553 SOS 105305 HAS SOPS 98554 HAS SOUS 47862 HAS SOUPS 45806 WITH SCORE 45911.305
AT ITER 3093 NEW BEST:: SOT 227553 SOS 105271 HAS SOPS 98520 HAS SOUS 47845 HAS SOUPS 45789 WITH SCORE 45894.271
AT ITER 3112 NEW BEST:: SOT 227515 SOS 105218 HAS SOPS 98448 HAS SOUS 47794 HAS SOUPS 45738 WITH SCORE 45843.218
AT ITER 3126 NEW BEST:: SOT 227515 SOS 105038 HAS SOPS 98268 HAS SOUS 47708 HAS SOUPS 45652 WITH SCORE 45757.038
AT ITER 3129 NEW BEST:: SOT 227515 SOS 104452 HAS SOPS 97614 HAS SOUS 47721 HAS SOUPS 45631 WITH SCORE 45735.452
AT ITER 3134 NEW BEST:: SOT 227515 SOS 104450 HAS SOPS 97612 HAS SOUS 47720 HAS SOUPS 45630 WITH SCORE 45734.45
AT ITER 3142 NEW BEST:: SOT 227515 SOS 104470 HAS SOPS 97632 HAS SOUS 47715 HAS SOUPS 45625 WITH SCORE 45729.47
AT ITER 3153 NEW BEST:: SOT 227562 SOS 104286 HAS SOPS 97234 HAS SOUS 47680 HAS SOUPS 45590 WITH SCORE 45694.286
AT ITER 3159 NEW BEST:: SOT 227562 SOS 104358 HAS SOPS 97306 HAS SOUS 47658 HAS SOUPS 45568 WITH SCORE 45672.358
AT ITER 3172 NEW BEST:: SOT 227562 SOS 104342 HAS SOPS 97281 HAS SOUS 47657 HAS SOUPS 45560 WITH SCORE 45664.342
AT ITER 3179 NEW BEST:: SOT 227562 SOS 104186 HAS SOPS 97125 HAS SOUS 47596 HAS SOUPS 45499 WITH SCORE 45603.186
AT ITER 3182 NEW BEST:: SOT 227566 SOS 104184 HAS SOPS 97124 HAS SOUS 47506 HAS SOUPS 45409 WITH SCORE 45513.184
AT ITER 3193 NEW BEST:: SOT 227566 SOS 104184 HAS SOPS 97124 HAS SOUS 47469 HAS SOUPS 45372 WITH SCORE 45476.184
AT ITER 3197 NEW BEST:: SOT 227566 SOS 104084 HAS SOPS 97024 HAS SOUS 47469 HAS SOUPS 45372 WITH SCORE 45476.084
AT ITER 3219 NEW BEST:: SOT 227566 SOS 103984 HAS SOPS 96924 HAS SOUS 47424 HAS SOUPS 45327 WITH SCORE 45430.984
AT ITER 3220 NEW BEST:: SOT 227566 SOS 103984 HAS SOPS 96924 HAS SOUS 47422 HAS SOUPS 45325 WITH SCORE 45428.984
AT ITER 3224 NEW BEST:: SOT 227566 SOS 103970 HAS SOPS 96910 HAS SOUS 47422 HAS SOUPS 45325 WITH SCORE 45428.97
AT ITER 3246 NEW BEST:: SOT 227566 SOS 103946 HAS SOPS 96898 HAS SOUS 47405 HAS SOUPS 45314 WITH SCORE 45417.946
AT ITER 3248 NEW BEST:: SOT 227566 SOS 104044 HAS SOPS 96996 HAS SOUS 47397 HAS SOUPS 45306 WITH SCORE 45410.044
AT ITER 3281 NEW BEST:: SOT 227566 SOS 103900 HAS SOPS 96852 HAS SOUS 47357 HAS SOUPS 45266 WITH SCORE 45369.9
AT ITER 3290 NEW BEST:: SOT 227566 SOS 103926 HAS SOPS 96878 HAS SOUS 47356 HAS SOUPS 45265 WITH SCORE 45368.926
AT ITER 3305 NEW BEST:: SOT 227566 SOS 103914 HAS SOPS 96866 HAS SOUS 47350 HAS SOUPS 45259 WITH SCORE 45362.914
AT ITER 3379 NEW BEST:: SOT 227558 SOS 103902 HAS SOPS 96850 HAS SOUS 47335 HAS SOUPS 45244 WITH SCORE 45347.902
AT ITER 3393 NEW BEST:: SOT 227627 SOS 103964 HAS SOPS 96669 HAS SOUS 47306 HAS SOUPS 45215 WITH SCORE 45318.964
AT ITER 3402 NEW BEST:: SOT 227627 SOS 102020 HAS SOPS 94725 HAS SOUS 47198 HAS SOUPS 45107 WITH SCORE 45209.02
AT ITER 3411 NEW BEST:: SOT 227627 SOS 101892 HAS SOPS 94597 HAS SOUS 47198 HAS SOUPS 45107 WITH SCORE 45208.892
AT ITER 3425 NEW BEST:: SOT 227627 SOS 101892 HAS SOPS 94597 HAS SOUS 47152 HAS SOUPS 45061 WITH SCORE 45162.892
AT ITER 3459 NEW BEST:: SOT 227515 SOS 101929 HAS SOPS 94826 HAS SOUS 47146 HAS SOUPS 45055 WITH SCORE 45156.929
AT ITER 3462 NEW BEST:: SOT 227515 SOS 102035 HAS SOPS 94826 HAS SOUS 47185 HAS SOUPS 45041 WITH SCORE 45143.035
AT ITER 3488 NEW BEST:: SOT 227515 SOS 101981 HAS SOPS 94772 HAS SOUS 47158 HAS SOUPS 45014 WITH SCORE 45115.981
AT ITER 3496 NEW BEST:: SOT 227515 SOS 102173 HAS SOPS 94964 HAS SOUS 47156 HAS SOUPS 45012 WITH SCORE 45114.173
AT ITER 3506 NEW BEST:: SOT 227515 SOS 101983 HAS SOPS 94886 HAS SOUS 47061 HAS SOUPS 44973 WITH SCORE 45074.983
AT ITER 3515 NEW BEST:: SOT 227515 SOS 102005 HAS SOPS 94908 HAS SOUS 47017 HAS SOUPS 44929 WITH SCORE 45031.005
AT ITER 3518 NEW BEST:: SOT 227515 SOS 101973 HAS SOPS 94876 HAS SOUS 47001 HAS SOUPS 44913 WITH SCORE 45014.973
AT ITER 3519 NEW BEST:: SOT 227515 SOS 101963 HAS SOPS 94866 HAS SOUS 46998 HAS SOUPS 44910 WITH SCORE 45011.963
AT ITER 3521 NEW BEST:: SOT 227515 SOS 101919 HAS SOPS 95034 HAS SOUS 46855 HAS SOUPS 44873 WITH SCORE 44974.919
AT ITER 3530 NEW BEST:: SOT 227515 SOS 101917 HAS SOPS 95032 HAS SOUS 46854 HAS SOUPS 44872 WITH SCORE 44973.917
AT ITER 3532 NEW BEST:: SOT 227515 SOS 101885 HAS SOPS 95032 HAS SOUS 46838 HAS SOUPS 44872 WITH SCORE 44973.885
AT ITER 3550 NEW BEST:: SOT 227515 SOS 101891 HAS SOPS 95038 HAS SOUS 46763 HAS SOUPS 44797 WITH SCORE 44898.891
AT ITER 3554 NEW BEST:: SOT 227515 SOS 101807 HAS SOPS 94996 HAS SOUS 46721 HAS SOUPS 44776 WITH SCORE 44877.807
AT ITER 3572 NEW BEST:: SOT 227515 SOS 101783 HAS SOPS 94972 HAS SOUS 46709 HAS SOUPS 44764 WITH SCORE 44865.783
AT ITER 3573 NEW BEST:: SOT 227531 SOS 101867 HAS SOPS 95038 HAS SOUS 46694 HAS SOUPS 44749 WITH SCORE 44850.867
AT ITER 3581 NEW BEST:: SOT 227531 SOS 101859 HAS SOPS 95030 HAS SOUS 46690 HAS SOUPS 44745 WITH SCORE 44846.859
AT ITER 3586 NEW BEST:: SOT 227531 SOS 101867 HAS SOPS 95038 HAS SOUS 46682 HAS SOUPS 44737 WITH SCORE 44838.867
AT ITER 3596 NEW BEST:: SOT 227531 SOS 101837 HAS SOPS 95008 HAS SOUS 46657 HAS SOUPS 44712 WITH SCORE 44813.837
AT ITER 3602 NEW BEST:: SOT 227531 SOS 101805 HAS SOPS 94976 HAS SOUS 46649 HAS SOUPS 44704 WITH SCORE 44805.805
AT ITER 3615 NEW BEST:: SOT 227531 SOS 101737 HAS SOPS 94974 HAS SOUS 46615 HAS SOUPS 44703 WITH SCORE 44804.737
AT ITER 3618 NEW BEST:: SOT 227497 SOS 101638 HAS SOPS 94838 HAS SOUS 46576 HAS SOUPS 44664 WITH SCORE 44765.638
AT ITER 3619 NEW BEST:: SOT 227497 SOS 101584 HAS SOPS 94784 HAS SOUS 46549 HAS SOUPS 44637 WITH SCORE 44738.584
AT ITER 3640 NEW BEST:: SOT 227497 SOS 101548 HAS SOPS 94748 HAS SOUS 46537 HAS SOUPS 44625 WITH SCORE 44726.548
AT ITER 3648 NEW BEST:: SOT 227497 SOS 101516 HAS SOPS 94732 HAS SOUS 46521 HAS SOUPS 44617 WITH SCORE 44718.516
AT ITER 3663 NEW BEST:: SOT 227497 SOS 101624 HAS SOPS 94840 HAS SOUS 46481 HAS SOUPS 44577 WITH SCORE 44678.624
AT ITER 3667 NEW BEST:: SOT 227497 SOS 101516 HAS SOPS 94732 HAS SOUS 46481 HAS SOUPS 44577 WITH SCORE 44678.516
AT ITER 3723 NEW BEST:: SOT 227497 SOS 101398 HAS SOPS 94614 HAS SOUS 46472 HAS SOUPS 44568 WITH SCORE 44669.398
AT ITER 3727 NEW BEST:: SOT 227497 SOS 101526 HAS SOPS 94742 HAS SOUS 46425 HAS SOUPS 44521 WITH SCORE 44622.526
AT ITER 3753 NEW BEST:: SOT 227497 SOS 101560 HAS SOPS 94776 HAS SOUS 46386 HAS SOUPS 44482 WITH SCORE 44583.56
AT ITER 3765 NEW BEST:: SOT 227497 SOS 101456 HAS SOPS 94672 HAS SOUS 46386 HAS SOUPS 44482 WITH SCORE 44583.456
AT ITER 3801 NEW BEST:: SOT 227497 SOS 101404 HAS SOPS 94620 HAS SOUS 46345 HAS SOUPS 44441 WITH SCORE 44542.404
AT ITER 3809 NEW BEST:: SOT 227497 SOS 101340 HAS SOPS 94556 HAS SOUS 46313 HAS SOUPS 44409 WITH SCORE 44510.34
AT ITER 3814 NEW BEST:: SOT 227706 SOS 101604 HAS SOPS 94787 HAS SOUS 46084 HAS SOUPS 44198 WITH SCORE 44299.604
AT ITER 3824 NEW BEST:: SOT 227706 SOS 101500 HAS SOPS 94683 HAS SOUS 46054 HAS SOUPS 44168 WITH SCORE 44269.5
AT ITER 3837 NEW BEST:: SOT 227728 SOS 101522 HAS SOPS 94705 HAS SOUS 46047 HAS SOUPS 44161 WITH SCORE 44262.522
AT ITER 3852 NEW BEST:: SOT 227728 SOS 101528 HAS SOPS 94711 HAS SOUS 46017 HAS SOUPS 44131 WITH SCORE 44232.528
AT ITER 3870 NEW BEST:: SOT 227728 SOS 101476 HAS SOPS 94705 HAS SOUS 45991 HAS SOUPS 44128 WITH SCORE 44229.476
AT ITER 3881 NEW BEST:: SOT 227728 SOS 101470 HAS SOPS 94699 HAS SOUS 45991 HAS SOUPS 44128 WITH SCORE 44229.47
AT ITER 3884 NEW BEST:: SOT 227728 SOS 101502 HAS SOPS 94731 HAS SOUS 45988 HAS SOUPS 44125 WITH SCORE 44226.502
AT ITER 3891 NEW BEST:: SOT 227728 SOS 101562 HAS SOPS 94771 HAS SOUS 45972 HAS SOUPS 44109 WITH SCORE 44210.562
AT ITER 3896 NEW BEST:: SOT 227728 SOS 101732 HAS SOPS 94835 HAS SOUS 45981 HAS SOUPS 44065 WITH SCORE 44166.732
AT ITER 3922 NEW BEST:: SOT 227728 SOS 101728 HAS SOPS 94831 HAS SOUS 45979 HAS SOUPS 44063 WITH SCORE 44164.728
AT ITER 3933 NEW BEST:: SOT 227712 SOS 101702 HAS SOPS 94748 HAS SOUS 45929 HAS SOUPS 44009 WITH SCORE 44110.702
AT ITER 3941 NEW BEST:: SOT 227682 SOS 101664 HAS SOPS 94699 HAS SOUS 45891 HAS SOUPS 43971 WITH SCORE 44072.664
AT ITER 3955 NEW BEST:: SOT 227682 SOS 101632 HAS SOPS 94667 HAS SOUS 45883 HAS SOUPS 43963 WITH SCORE 44064.632
AT ITER 3980 NEW BEST:: SOT 227682 SOS 101532 HAS SOPS 94699 HAS SOUS 45767 HAS SOUPS 43913 WITH SCORE 44014.532
AT ITER 4023 NEW BEST:: SOT 227682 SOS 101524 HAS SOPS 94691 HAS SOUS 45763 HAS SOUPS 43909 WITH SCORE 44010.524
AT ITER 4068 NEW BEST:: SOT 227682 SOS 101522 HAS SOPS 94689 HAS SOUS 45762 HAS SOUPS 43908 WITH SCORE 44009.522
AT ITER 4073 NEW BEST:: SOT 227604 SOS 101444 HAS SOPS 94701 HAS SOUS 45762 HAS SOUPS 43908 WITH SCORE 44009.444
AT ITER 4074 NEW BEST:: SOT 227604 SOS 101380 HAS SOPS 94637 HAS SOUS 45747 HAS SOUPS 43893 WITH SCORE 43994.38
AT ITER 4075 NEW BEST:: SOT 227604 SOS 101392 HAS SOPS 94649 HAS SOUS 45741 HAS SOUPS 43887 WITH SCORE 43988.392
AT ITER 4077 NEW BEST:: SOT 227610 SOS 100670 HAS SOPS 93915 HAS SOUS 45659 HAS SOUPS 43805 WITH SCORE 43905.67
AT ITER 4137 NEW BEST:: SOT 227610 SOS 101200 HAS SOPS 94445 HAS SOUS 45637 HAS SOUPS 43783 WITH SCORE 43884.2
AT ITER 4155 NEW BEST:: SOT 227610 SOS 101052 HAS SOPS 94297 HAS SOUS 45600 HAS SOUPS 43746 WITH SCORE 43847.052
AT ITER 4180 NEW BEST:: SOT 227610 SOS 101006 HAS SOPS 94251 HAS SOUS 45577 HAS SOUPS 43723 WITH SCORE 43824.006
AT ITER 4184 NEW BEST:: SOT 227610 SOS 100978 HAS SOPS 94223 HAS SOUS 45570 HAS SOUPS 43716 WITH SCORE 43816.978
AT ITER 4208 NEW BEST:: SOT 227610 SOS 100904 HAS SOPS 94149 HAS SOUS 45561 HAS SOUPS 43707 WITH SCORE 43807.904
AT ITER 4232 NEW BEST:: SOT 227610 SOS 100898 HAS SOPS 94143 HAS SOUS 45560 HAS SOUPS 43706 WITH SCORE 43806.898
AT ITER 4263 NEW BEST:: SOT 227610 SOS 100888 HAS SOPS 94133 HAS SOUS 45556 HAS SOUPS 43702 WITH SCORE 43802.888
AT ITER 4285 NEW BEST:: SOT 227610 SOS 100882 HAS SOPS 94127 HAS SOUS 45553 HAS SOUPS 43699 WITH SCORE 43799.882
AT ITER 4288 NEW BEST:: SOT 227610 SOS 100864 HAS SOPS 94109 HAS SOUS 45550 HAS SOUPS 43696 WITH SCORE 43796.864
AT ITER 4290 NEW BEST:: SOT 227610 SOS 100842 HAS SOPS 94087 HAS SOUS 45547 HAS SOUPS 43693 WITH SCORE 43793.842
AT ITER 4293 NEW BEST:: SOT 227610 SOS 100818 HAS SOPS 94063 HAS SOUS 45547 HAS SOUPS 43693 WITH SCORE 43793.818
AT ITER 4323 NEW BEST:: SOT 227610 SOS 100798 HAS SOPS 94043 HAS SOUS 45538 HAS SOUPS 43684 WITH SCORE 43784.798
AT ITER 4331 NEW BEST:: SOT 227622 SOS 100852 HAS SOPS 93816 HAS SOUS 45639 HAS SOUPS 43643 WITH SCORE 43743.852
AT ITER 4333 NEW BEST:: SOT 227622 SOS 100852 HAS SOPS 93816 HAS SOUS 45633 HAS SOUPS 43637 WITH SCORE 43737.852
AT ITER 4334 NEW BEST:: SOT 227622 SOS 100820 HAS SOPS 93784 HAS SOUS 45633 HAS SOUPS 43637 WITH SCORE 43737.82
AT ITER 4341 NEW BEST:: SOT 227622 SOS 100922 HAS SOPS 93806 HAS SOUS 45659 HAS SOUPS 43623 WITH SCORE 43723.922
AT ITER 4344 NEW BEST:: SOT 227677 SOS 100925 HAS SOPS 93710 HAS SOUS 45688 HAS SOUPS 43601 WITH SCORE 43701.925
AT ITER 4368 NEW BEST:: SOT 227648 SOS 100878 HAS SOPS 93605 HAS SOUS 45608 HAS SOUPS 43521 WITH SCORE 43621.878
AT ITER 4399 NEW BEST:: SOT 227648 SOS 100878 HAS SOPS 93605 HAS SOUS 45593 HAS SOUPS 43506 WITH SCORE 43606.878
AT ITER 4409 NEW BEST:: SOT 227648 SOS 100876 HAS SOPS 93601 HAS SOUS 45593 HAS SOUPS 43505 WITH SCORE 43605.876
AT ITER 4411 NEW BEST:: SOT 227648 SOS 100972 HAS SOPS 93681 HAS SOUS 45585 HAS SOUPS 43489 WITH SCORE 43589.972
AT ITER 4420 NEW BEST:: SOT 227648 SOS 100968 HAS SOPS 93677 HAS SOUS 45583 HAS SOUPS 43487 WITH SCORE 43587.968
AT ITER 4424 NEW BEST:: SOT 227660 SOS 100980 HAS SOPS 93689 HAS SOUS 45579 HAS SOUPS 43483 WITH SCORE 43583.98
AT ITER 4457 NEW BEST:: SOT 227660 SOS 100956 HAS SOPS 93665 HAS SOUS 45557 HAS SOUPS 43461 WITH SCORE 43561.956
AT ITER 4459 NEW BEST:: SOT 227630 SOS 100896 HAS SOPS 93605 HAS SOUS 45542 HAS SOUPS 43446 WITH SCORE 43546.896
AT ITER 4471 NEW BEST:: SOT 227630 SOS 100866 HAS SOPS 93575 HAS SOUS 45520 HAS SOUPS 43424 WITH SCORE 43524.866
AT ITER 4472 NEW BEST:: SOT 227630 SOS 100101 HAS SOPS 92752 HAS SOUS 45395 HAS SOUPS 43346 WITH SCORE 43446.101
AT ITER 4483 NEW BEST:: SOT 227630 SOS 100165 HAS SOPS 92816 HAS SOUS 45363 HAS SOUPS 43314 WITH SCORE 43414.165
AT ITER 4496 NEW BEST:: SOT 227630 SOS 100161 HAS SOPS 92812 HAS SOUS 45361 HAS SOUPS 43312 WITH SCORE 43412.161
AT ITER 4508 NEW BEST:: SOT 227630 SOS 100107 HAS SOPS 92758 HAS SOUS 45354 HAS SOUPS 43305 WITH SCORE 43405.107
AT ITER 4513 NEW BEST:: SOT 227630 SOS 100093 HAS SOPS 92744 HAS SOUS 45347 HAS SOUPS 43298 WITH SCORE 43398.093
AT ITER 4530 NEW BEST:: SOT 227630 SOS 100093 HAS SOPS 92744 HAS SOUS 45342 HAS SOUPS 43293 WITH SCORE 43393.093
AT ITER 4543 NEW BEST:: SOT 227630 SOS 100067 HAS SOPS 92718 HAS SOUS 45329 HAS SOUPS 43280 WITH SCORE 43380.067
AT ITER 4548 NEW BEST:: SOT 227630 SOS 100049 HAS SOPS 92700 HAS SOUS 45320 HAS SOUPS 43271 WITH SCORE 43371.049
AT ITER 4590 NEW BEST:: SOT 227597 SOS 100034 HAS SOPS 92691 HAS SOUS 45273 HAS SOUPS 43224 WITH SCORE 43324.034
AT ITER 4624 NEW BEST:: SOT 227597 SOS 99974 HAS SOPS 92559 HAS SOUS 45295 HAS SOUPS 43210 WITH SCORE 43309.974
AT ITER 4626 NEW BEST:: SOT 227597 SOS 99962 HAS SOPS 92547 HAS SOUS 45289 HAS SOUPS 43204 WITH SCORE 43303.962
AT ITER 4629 NEW BEST:: SOT 227585 SOS 99926 HAS SOPS 92523 HAS SOUS 45267 HAS SOUPS 43182 WITH SCORE 43281.926
AT ITER 4637 NEW BEST:: SOT 227585 SOS 99898 HAS SOPS 92551 HAS SOUS 45239 HAS SOUPS 43182 WITH SCORE 43281.898
AT ITER 4660 NEW BEST:: SOT 227585 SOS 99914 HAS SOPS 92567 HAS SOUS 45217 HAS SOUPS 43160 WITH SCORE 43259.914
AT ITER 4663 NEW BEST:: SOT 227585 SOS 99770 HAS SOPS 92423 HAS SOUS 45207 HAS SOUPS 43150 WITH SCORE 43249.77
AT ITER 4675 NEW BEST:: SOT 227585 SOS 100032 HAS SOPS 92685 HAS SOUS 45203 HAS SOUPS 43146 WITH SCORE 43246.032
AT ITER 4698 NEW BEST:: SOT 227585 SOS 99996 HAS SOPS 92649 HAS SOUS 45196 HAS SOUPS 43139 WITH SCORE 43238.996
AT ITER 4701 NEW BEST:: SOT 227585 SOS 99920 HAS SOPS 92573 HAS SOUS 45165 HAS SOUPS 43108 WITH SCORE 43207.92
AT ITER 4745 NEW BEST:: SOT 227585 SOS 99916 HAS SOPS 92569 HAS SOUS 45165 HAS SOUPS 43108 WITH SCORE 43207.916
AT ITER 4760 NEW BEST:: SOT 227585 SOS 99868 HAS SOPS 92521 HAS SOUS 45141 HAS SOUPS 43084 WITH SCORE 43183.868
AT ITER 4771 NEW BEST:: SOT 227585 SOS 99840 HAS SOPS 92521 HAS SOUS 45113 HAS SOUPS 43070 WITH SCORE 43169.84
AT ITER 4779 NEW BEST:: SOT 227713 SOS 99968 HAS SOPS 92539 HAS SOUS 45057 HAS SOUPS 43014 WITH SCORE 43113.968
AT ITER 4790 NEW BEST:: SOT 227713 SOS 99956 HAS SOPS 92585 HAS SOUS 45022 HAS SOUPS 43008 WITH SCORE 43107.956
AT ITER 4817 NEW BEST:: SOT 227713 SOS 99956 HAS SOPS 92585 HAS SOUS 45020 HAS SOUPS 43006 WITH SCORE 43105.956
AT ITER 4834 NEW BEST:: SOT 227713 SOS 99876 HAS SOPS 92505 HAS SOUS 44980 HAS SOUPS 42966 WITH SCORE 43065.876
AT ITER 4842 NEW BEST:: SOT 227713 SOS 99862 HAS SOPS 92491 HAS SOUS 44969 HAS SOUPS 42955 WITH SCORE 43054.862
AT ITER 4846 NEW BEST:: SOT 227713 SOS 99862 HAS SOPS 92491 HAS SOUS 44939 HAS SOUPS 42925 WITH SCORE 43024.862
AT ITER 4851 NEW BEST:: SOT 227709 SOS 99858 HAS SOPS 92487 HAS SOUS 44935 HAS SOUPS 42921 WITH SCORE 43020.858
AT ITER 4870 NEW BEST:: SOT 227709 SOS 99782 HAS SOPS 92411 HAS SOUS 44919 HAS SOUPS 42905 WITH SCORE 43004.782
AT ITER 4933 NEW BEST:: SOT 227709 SOS 99712 HAS SOPS 92341 HAS SOUS 44903 HAS SOUPS 42889 WITH SCORE 42988.712
AT ITER 4954 NEW BEST:: SOT 227709 SOS 99716 HAS SOPS 92345 HAS SOUS 44902 HAS SOUPS 42888 WITH SCORE 42987.716
AT ITER 4972 NEW BEST:: SOT 227709 SOS 99596 HAS SOPS 92225 HAS SOUS 44902 HAS SOUPS 42888 WITH SCORE 42987.596
AT ITER 4973 NEW BEST:: SOT 227709 SOS 99612 HAS SOPS 92241 HAS SOUS 44867 HAS SOUPS 42853 WITH SCORE 42952.612
AT ITER 4988 NEW BEST:: SOT 227709 SOS 99592 HAS SOPS 92241 HAS SOUS 44853 HAS SOUPS 42849 WITH SCORE 42948.592
AT ITER 4990 NEW BEST:: SOT 227709 SOS 99598 HAS SOPS 92247 HAS SOUS 44850 HAS SOUPS 42846 WITH SCORE 42945.598
AT ITER 4999 NEW BEST:: SOT 227709 SOS 99598 HAS SOPS 92247 HAS SOUS 44843 HAS SOUPS 42839 WITH SCORE 42938.598
AT ITER 5003 NEW BEST:: SOT 227709 SOS 99582 HAS SOPS 92247 HAS SOUS 44826 HAS SOUPS 42830 WITH SCORE 42929.582
AT ITER 5048 NEW BEST:: SOT 227709 SOS 99573 HAS SOPS 92238 HAS SOUS 44820 HAS SOUPS 42824 WITH SCORE 42923.573
AT ITER 5055 NEW BEST:: SOT 227709 SOS 99603 HAS SOPS 92228 HAS SOUS 44835 HAS SOUPS 42819 WITH SCORE 42918.603
AT ITER 5067 NEW BEST:: SOT 227709 SOS 99553 HAS SOPS 92178 HAS SOUS 44832 HAS SOUPS 42816 WITH SCORE 42915.553
AT ITER 5075 NEW BEST:: SOT 227709 SOS 99563 HAS SOPS 92150 HAS SOUS 44844 HAS SOUPS 42809 WITH SCORE 42908.563
AT ITER 5103 NEW BEST:: SOT 227709 SOS 99563 HAS SOPS 92208 HAS SOUS 44808 HAS SOUPS 42802 WITH SCORE 42901.563
AT ITER 5108 NEW BEST:: SOT 227709 SOS 99505 HAS SOPS 92150 HAS SOUS 44800 HAS SOUPS 42794 WITH SCORE 42893.505
AT ITER 5127 NEW BEST:: SOT 227685 SOS 99481 HAS SOPS 92117 HAS SOUS 44767 HAS SOUPS 42761 WITH SCORE 42860.481
AT ITER 5135 NEW BEST:: SOT 227685 SOS 99469 HAS SOPS 92105 HAS SOUS 44761 HAS SOUPS 42755 WITH SCORE 42854.469
AT ITER 5183 NEW BEST:: SOT 227685 SOS 99465 HAS SOPS 92101 HAS SOUS 44761 HAS SOUPS 42755 WITH SCORE 42854.465
AT ITER 5188 NEW BEST:: SOT 227685 SOS 99417 HAS SOPS 92095 HAS SOUS 44731 HAS SOUPS 42746 WITH SCORE 42845.417
AT ITER 5197 NEW BEST:: SOT 227495 SOS 99227 HAS SOPS 91910 HAS SOUS 44564 HAS SOUPS 42579 WITH SCORE 42678.227
AT ITER 5218 NEW BEST:: SOT 227491 SOS 99223 HAS SOPS 91902 HAS SOUS 44539 HAS SOUPS 42553 WITH SCORE 42652.223
AT ITER 5233 NEW BEST:: SOT 227489 SOS 99215 HAS SOPS 91898 HAS SOUS 44538 HAS SOUPS 42552 WITH SCORE 42651.215
AT ITER 5294 NEW BEST:: SOT 227489 SOS 99215 HAS SOPS 91938 HAS SOUS 44523 HAS SOUPS 42542 WITH SCORE 42641.215
AT ITER 5308 NEW BEST:: SOT 227489 SOS 99055 HAS SOPS 91858 HAS SOUS 44483 HAS SOUPS 42542 WITH SCORE 42641.055
AT ITER 5311 NEW BEST:: SOT 227489 SOS 98943 HAS SOPS 91688 HAS SOUS 44478 HAS SOUPS 42508 WITH SCORE 42606.943
AT ITER 5345 NEW BEST:: SOT 227489 SOS 98937 HAS SOPS 91682 HAS SOUS 44475 HAS SOUPS 42505 WITH SCORE 42603.937
AT ITER 5391 NEW BEST:: SOT 227489 SOS 98881 HAS SOPS 91626 HAS SOUS 44447 HAS SOUPS 42477 WITH SCORE 42575.881
AT ITER 5407 NEW BEST:: SOT 227489 SOS 98849 HAS SOPS 91594 HAS SOUS 44439 HAS SOUPS 42469 WITH SCORE 42567.849
AT ITER 5430 NEW BEST:: SOT 227489 SOS 98821 HAS SOPS 91578 HAS SOUS 44425 HAS SOUPS 42461 WITH SCORE 42559.821
AT ITER 5439 NEW BEST:: SOT 227489 SOS 98958 HAS SOPS 91715 HAS SOUS 44422 HAS SOUPS 42458 WITH SCORE 42556.958
AT ITER 5467 NEW BEST:: SOT 227489 SOS 98906 HAS SOPS 91663 HAS SOUS 44422 HAS SOUPS 42458 WITH SCORE 42556.906
AT ITER 5520 NEW BEST:: SOT 227489 SOS 98588 HAS SOPS 91345 HAS SOUS 44407 HAS SOUPS 42443 WITH SCORE 42541.588
AT ITER 5541 NEW BEST:: SOT 227489 SOS 98616 HAS SOPS 91373 HAS SOUS 44403 HAS SOUPS 42439 WITH SCORE 42537.616
AT ITER 5575 NEW BEST:: SOT 227489 SOS 98600 HAS SOPS 91347 HAS SOUS 44395 HAS SOUPS 42426 WITH SCORE 42524.6
AT ITER 5600 NEW BEST:: SOT 227489 SOS 98638 HAS SOPS 91385 HAS SOUS 44388 HAS SOUPS 42419 WITH SCORE 42517.638
AT ITER 5634 NEW BEST:: SOT 227489 SOS 98508 HAS SOPS 91423 HAS SOUS 44288 HAS SOUPS 42403 WITH SCORE 42501.508
AT ITER 5648 NEW BEST:: SOT 227489 SOS 98480 HAS SOPS 91417 HAS SOUS 44274 HAS SOUPS 42400 WITH SCORE 42498.48
AT ITER 5659 NEW BEST:: SOT 227489 SOS 98448 HAS SOPS 91385 HAS SOUS 44274 HAS SOUPS 42400 WITH SCORE 42498.448
AT ITER 5669 NEW BEST:: SOT 227489 SOS 98432 HAS SOPS 91369 HAS SOUS 44266 HAS SOUPS 42392 WITH SCORE 42490.432
AT ITER 5686 NEW BEST:: SOT 227489 SOS 98432 HAS SOPS 91369 HAS SOUS 44177 HAS SOUPS 42303 WITH SCORE 42401.432
AT ITER 5708 NEW BEST:: SOT 227489 SOS 98416 HAS SOPS 91353 HAS SOUS 44175 HAS SOUPS 42301 WITH SCORE 42399.416
AT ITER 5720 NEW BEST:: SOT 227489 SOS 98414 HAS SOPS 91351 HAS SOUS 44174 HAS SOUPS 42300 WITH SCORE 42398.414
AT ITER 5739 NEW BEST:: SOT 227489 SOS 98390 HAS SOPS 91327 HAS SOUS 44150 HAS SOUPS 42276 WITH SCORE 42374.39
AT ITER 5784 NEW BEST:: SOT 227489 SOS 98390 HAS SOPS 91327 HAS SOUS 44136 HAS SOUPS 42262 WITH SCORE 42360.39
AT ITER 5832 NEW BEST:: SOT 227489 SOS 98232 HAS SOPS 91169 HAS SOUS 44133 HAS SOUPS 42259 WITH SCORE 42357.232
AT ITER 5836 NEW BEST:: SOT 227489 SOS 98232 HAS SOPS 91169 HAS SOUS 44130 HAS SOUPS 42256 WITH SCORE 42354.232
AT ITER 5842 NEW BEST:: SOT 227489 SOS 98230 HAS SOPS 91167 HAS SOUS 44129 HAS SOUPS 42255 WITH SCORE 42353.23
AT ITER 5854 NEW BEST:: SOT 227489 SOS 98192 HAS SOPS 91129 HAS SOUS 44119 HAS SOUPS 42245 WITH SCORE 42343.192
AT ITER 5936 NEW BEST:: SOT 227489 SOS 98320 HAS SOPS 91257 HAS SOUS 44087 HAS SOUPS 42213 WITH SCORE 42311.32
AT ITER 5984 NEW BEST:: SOT 227489 SOS 98242 HAS SOPS 91179 HAS SOUS 44087 HAS SOUPS 42213 WITH SCORE 42311.242
AT ITER 5987 NEW BEST:: SOT 227489 SOS 98230 HAS SOPS 91183 HAS SOUS 44077 HAS SOUPS 42211 WITH SCORE 42309.23
AT ITER 5988 NEW BEST:: SOT 227380 SOS 98219 HAS SOPS 91429 HAS SOUS 44039 HAS SOUPS 42173 WITH SCORE 42271.219
AT ITER 5990 NEW BEST:: SOT 227380 SOS 98207 HAS SOPS 91417 HAS SOUS 44033 HAS SOUPS 42167 WITH SCORE 42265.207
AT ITER 5992 NEW BEST:: SOT 227380 SOS 98109 HAS SOPS 91315 HAS SOUS 44019 HAS SOUPS 42151 WITH SCORE 42249.109
AT ITER 6057 NEW BEST:: SOT 227380 SOS 98141 HAS SOPS 91321 HAS SOUS 44026 HAS SOUPS 42145 WITH SCORE 42243.141
AT ITER 6084 NEW BEST:: SOT 227380 SOS 98125 HAS SOPS 91305 HAS SOUS 44016 HAS SOUPS 42135 WITH SCORE 42233.125
AT ITER 6089 NEW BEST:: SOT 227380 SOS 98119 HAS SOPS 91305 HAS SOUS 44010 HAS SOUPS 42132 WITH SCORE 42230.119
AT ITER 6095 NEW BEST:: SOT 227380 SOS 98235 HAS SOPS 91421 HAS SOUS 44006 HAS SOUPS 42128 WITH SCORE 42226.235
AT ITER 6125 NEW BEST:: SOT 227380 SOS 98259 HAS SOPS 91445 HAS SOUS 44004 HAS SOUPS 42126 WITH SCORE 42224.259
AT ITER 6203 NEW BEST:: SOT 227362 SOS 98241 HAS SOPS 91409 HAS SOUS 43986 HAS SOUPS 42108 WITH SCORE 42206.241
AT ITER 6239 NEW BEST:: SOT 227362 SOS 98229 HAS SOPS 91397 HAS SOUS 43980 HAS SOUPS 42102 WITH SCORE 42200.229
AT ITER 6240 NEW BEST:: SOT 227314 SOS 98181 HAS SOPS 91397 HAS SOUS 43920 HAS SOUPS 42042 WITH SCORE 42140.181
AT ITER 6255 NEW BEST:: SOT 227366 SOS 98233 HAS SOPS 91450 HAS SOUS 43912 HAS SOUPS 42035 WITH SCORE 42133.233
AT ITER 6282 NEW BEST:: SOT 227366 SOS 98233 HAS SOPS 91450 HAS SOUS 43910 HAS SOUPS 42033 WITH SCORE 42131.233
AT ITER 6285 NEW BEST:: SOT 227356 SOS 98223 HAS SOPS 91458 HAS SOUS 43904 HAS SOUPS 42027 WITH SCORE 42125.223
AT ITER 6326 NEW BEST:: SOT 227356 SOS 98259 HAS SOPS 91494 HAS SOUS 43898 HAS SOUPS 42021 WITH SCORE 42119.259
AT ITER 6333 NEW BEST:: SOT 227356 SOS 98255 HAS SOPS 91490 HAS SOUS 43896 HAS SOUPS 42019 WITH SCORE 42117.255
AT ITER 6387 NEW BEST:: SOT 227356 SOS 98253 HAS SOPS 91488 HAS SOUS 43895 HAS SOUPS 42018 WITH SCORE 42116.253
AT ITER 6393 NEW BEST:: SOT 227356 SOS 98237 HAS SOPS 91472 HAS SOUS 43893 HAS SOUPS 42016 WITH SCORE 42114.237
AT ITER 6427 NEW BEST:: SOT 227356 SOS 98281 HAS SOPS 91516 HAS SOUS 43888 HAS SOUPS 42011 WITH SCORE 42109.281
AT ITER 6438 NEW BEST:: SOT 227344 SOS 98191 HAS SOPS 91440 HAS SOUS 43870 HAS SOUPS 41993 WITH SCORE 42091.191
AT ITER 6506 NEW BEST:: SOT 227344 SOS 98191 HAS SOPS 91440 HAS SOUS 43865 HAS SOUPS 41988 WITH SCORE 42086.191
AT ITER 6584 NEW BEST:: SOT 227344 SOS 98159 HAS SOPS 91408 HAS SOUS 43849 HAS SOUPS 41972 WITH SCORE 42070.159
AT ITER 6586 NEW BEST:: SOT 227344 SOS 98167 HAS SOPS 91386 HAS SOUS 43860 HAS SOUPS 41968 WITH SCORE 42066.167
AT ITER 6607 NEW BEST:: SOT 227344 SOS 98153 HAS SOPS 91372 HAS SOUS 43853 HAS SOUPS 41961 WITH SCORE 42059.153
AT ITER 6638 NEW BEST:: SOT 227344 SOS 98152 HAS SOPS 91371 HAS SOUS 43853 HAS SOUPS 41961 WITH SCORE 42059.152
AT ITER 6660 NEW BEST:: SOT 227344 SOS 98152 HAS SOPS 91371 HAS SOUS 43850 HAS SOUPS 41958 WITH SCORE 42056.152
AT ITER 6723 NEW BEST:: SOT 227344 SOS 98134 HAS SOPS 91353 HAS SOUS 43841 HAS SOUPS 41949 WITH SCORE 42047.134
AT ITER 6743 NEW BEST:: SOT 227344 SOS 98126 HAS SOPS 91345 HAS SOUS 43837 HAS SOUPS 41945 WITH SCORE 42043.126
AT ITER 6754 NEW BEST:: SOT 227344 SOS 98118 HAS SOPS 91337 HAS SOUS 43837 HAS SOUPS 41945 WITH SCORE 42043.118
AT ITER 6802 NEW BEST:: SOT 227344 SOS 98032 HAS SOPS 91251 HAS SOUS 43817 HAS SOUPS 41925 WITH SCORE 42023.032
AT ITER 6816 NEW BEST:: SOT 227344 SOS 98032 HAS SOPS 91251 HAS SOUS 43790 HAS SOUPS 41898 WITH SCORE 41996.032
AT ITER 6830 NEW BEST:: SOT 227254 SOS 97942 HAS SOPS 91143 HAS SOUS 43796 HAS SOUPS 41898 WITH SCORE 41995.942
AT ITER 6831 NEW BEST:: SOT 227254 SOS 97926 HAS SOPS 91127 HAS SOUS 43790 HAS SOUPS 41892 WITH SCORE 41989.926
AT ITER 6836 NEW BEST:: SOT 227254 SOS 97922 HAS SOPS 91123 HAS SOUS 43790 HAS SOUPS 41892 WITH SCORE 41989.922
AT ITER 6860 NEW BEST:: SOT 227254 SOS 97872 HAS SOPS 91073 HAS SOUS 43786 HAS SOUPS 41888 WITH SCORE 41985.872
AT ITER 6868 NEW BEST:: SOT 227254 SOS 97872 HAS SOPS 91053 HAS SOUS 43792 HAS SOUPS 41884 WITH SCORE 41981.872
AT ITER 6897 NEW BEST:: SOT 227254 SOS 97822 HAS SOPS 91003 HAS SOUS 43792 HAS SOUPS 41884 WITH SCORE 41981.822
AT ITER 6925 NEW BEST:: SOT 227254 SOS 97822 HAS SOPS 91003 HAS SOUS 43768 HAS SOUPS 41860 WITH SCORE 41957.822
AT ITER 6946 NEW BEST:: SOT 227254 SOS 97818 HAS SOPS 90999 HAS SOUS 43766 HAS SOUPS 41858 WITH SCORE 41955.818
AT ITER 6971 NEW BEST:: SOT 227254 SOS 97812 HAS SOPS 90993 HAS SOUS 43765 HAS SOUPS 41857 WITH SCORE 41954.812
AT ITER 6978 NEW BEST:: SOT 227254 SOS 97800 HAS SOPS 90981 HAS SOUS 43759 HAS SOUPS 41851 WITH SCORE 41948.8
AT ITER 6981 NEW BEST:: SOT 227277 SOS 97823 HAS SOPS 90999 HAS SOUS 43756 HAS SOUPS 41848 WITH SCORE 41945.823
AT ITER 7006 NEW BEST:: SOT 227269 SOS 97815 HAS SOPS 90970 HAS SOUS 43714 HAS SOUPS 41806 WITH SCORE 41903.815
AT ITER 7068 NEW BEST:: SOT 227269 SOS 97811 HAS SOPS 90966 HAS SOUS 43714 HAS SOUPS 41806 WITH SCORE 41903.811
AT ITER 7070 NEW BEST:: SOT 227263 SOS 97805 HAS SOPS 90962 HAS SOUS 43706 HAS SOUPS 41798 WITH SCORE 41895.805
AT ITER 7136 NEW BEST:: SOT 227263 SOS 97817 HAS SOPS 90974 HAS SOUS 43700 HAS SOUPS 41792 WITH SCORE 41889.817
AT ITER 7152 NEW BEST:: SOT 227263 SOS 97757 HAS SOPS 90914 HAS SOUS 43696 HAS SOUPS 41788 WITH SCORE 41885.757
AT ITER 7171 NEW BEST:: SOT 227263 SOS 97755 HAS SOPS 90914 HAS SOUS 43696 HAS SOUPS 41788 WITH SCORE 41885.755
AT ITER 7193 NEW BEST:: SOT 227263 SOS 97766 HAS SOPS 90903 HAS SOUS 43698 HAS SOUPS 41779 WITH SCORE 41876.766
AT ITER 7228 NEW BEST:: SOT 227263 SOS 97652 HAS SOPS 90789 HAS SOUS 43698 HAS SOUPS 41779 WITH SCORE 41876.652
AT ITER 7290 NEW BEST:: SOT 227263 SOS 97648 HAS SOPS 90785 HAS SOUS 43694 HAS SOUPS 41775 WITH SCORE 41872.648
AT ITER 7291 NEW BEST:: SOT 227263 SOS 97610 HAS SOPS 90747 HAS SOUS 43694 HAS SOUPS 41775 WITH SCORE 41872.61
AT ITER 7295 NEW BEST:: SOT 227263 SOS 97610 HAS SOPS 90747 HAS SOUS 43674 HAS SOUPS 41755 WITH SCORE 41852.61
AT ITER 7300 NEW BEST:: SOT 227314 SOS 97661 HAS SOPS 90798 HAS SOUS 43673 HAS SOUPS 41754 WITH SCORE 41851.661
AT ITER 7317 NEW BEST:: SOT 227314 SOS 97625 HAS SOPS 90762 HAS SOUS 43667 HAS SOUPS 41748 WITH SCORE 41845.625
AT ITER 7320 NEW BEST:: SOT 227314 SOS 97619 HAS SOPS 90756 HAS SOUS 43667 HAS SOUPS 41748 WITH SCORE 41845.619
AT ITER 7327 NEW BEST:: SOT 227314 SOS 97606 HAS SOPS 90743 HAS SOUS 43667 HAS SOUPS 41748 WITH SCORE 41845.606
AT ITER 7362 NEW BEST:: SOT 227314 SOS 97602 HAS SOPS 90739 HAS SOUS 43662 HAS SOUPS 41743 WITH SCORE 41840.602
AT ITER 7386 NEW BEST:: SOT 227314 SOS 97502 HAS SOPS 90639 HAS SOUS 43637 HAS SOUPS 41718 WITH SCORE 41815.502
AT ITER 7444 NEW BEST:: SOT 227314 SOS 97462 HAS SOPS 90599 HAS SOUS 43637 HAS SOUPS 41718 WITH SCORE 41815.462
AT ITER 7537 NEW BEST:: SOT 227314 SOS 97488 HAS SOPS 90625 HAS SOUS 43630 HAS SOUPS 41711 WITH SCORE 41808.488
AT ITER 7548 NEW BEST:: SOT 227314 SOS 97432 HAS SOPS 90569 HAS SOUS 43630 HAS SOUPS 41711 WITH SCORE 41808.432
AT ITER 7591 NEW BEST:: SOT 227312 SOS 97426 HAS SOPS 90563 HAS SOUS 43626 HAS SOUPS 41707 WITH SCORE 41804.426
AT ITER 7629 NEW BEST:: SOT 227312 SOS 97342 HAS SOPS 90479 HAS SOUS 43626 HAS SOUPS 41707 WITH SCORE 41804.342
AT ITER 7643 NEW BEST:: SOT 227312 SOS 97314 HAS SOPS 90451 HAS SOUS 43625 HAS SOUPS 41706 WITH SCORE 41803.314
AT ITER 7656 NEW BEST:: SOT 227312 SOS 97294 HAS SOPS 90431 HAS SOUS 43621 HAS SOUPS 41702 WITH SCORE 41799.294
AT ITER 7668 NEW BEST:: SOT 227292 SOS 97274 HAS SOPS 90406 HAS SOUS 43606 HAS SOUPS 41687 WITH SCORE 41784.274
AT ITER 7783 NEW BEST:: SOT 227292 SOS 97270 HAS SOPS 90402 HAS SOUS 43606 HAS SOUPS 41687 WITH SCORE 41784.27
AT ITER 7834 NEW BEST:: SOT 227292 SOS 97270 HAS SOPS 90402 HAS SOUS 43597 HAS SOUPS 41678 WITH SCORE 41775.27
AT ITER 7887 NEW BEST:: SOT 227292 SOS 97242 HAS SOPS 90374 HAS SOUS 43597 HAS SOUPS 41678 WITH SCORE 41775.242
AT ITER 7911 NEW BEST:: SOT 226015 SOS 96306 HAS SOPS 89110 HAS SOUS 42891 HAS SOUPS 40980 WITH SCORE 41076.306
AT ITER 7930 NEW BEST:: SOT 226015 SOS 96304 HAS SOPS 89108 HAS SOUS 42890 HAS SOUPS 40979 WITH SCORE 41075.304
AT ITER 7931 NEW BEST:: SOT 226015 SOS 96426 HAS SOPS 89230 HAS SOUS 42883 HAS SOUPS 40972 WITH SCORE 41068.426
AT ITER 7961 NEW BEST:: SOT 224545 SOS 95378 HAS SOPS 87700 HAS SOUS 42543 HAS SOUPS 40638 WITH SCORE 40733.378
AT ITER 7968 NEW BEST:: SOT 224545 SOS 95328 HAS SOPS 87650 HAS SOUS 42518 HAS SOUPS 40613 WITH SCORE 40708.328
AT ITER 7973 NEW BEST:: SOT 224547 SOS 95330 HAS SOPS 87642 HAS SOUS 42516 HAS SOUPS 40611 WITH SCORE 40706.33
AT ITER 8062 NEW BEST:: SOT 224547 SOS 95296 HAS SOPS 87630 HAS SOUS 42499 HAS SOUPS 40605 WITH SCORE 40700.296
AT ITER 8071 NEW BEST:: SOT 224547 SOS 95290 HAS SOPS 87624 HAS SOUS 42499 HAS SOUPS 40605 WITH SCORE 40700.29
AT ITER 8132 NEW BEST:: SOT 224547 SOS 95286 HAS SOPS 87620 HAS SOUS 42495 HAS SOUPS 40601 WITH SCORE 40696.286
AT ITER 8166 NEW BEST:: SOT 224547 SOS 95326 HAS SOPS 87660 HAS SOUS 42485 HAS SOUPS 40591 WITH SCORE 40686.326
AT ITER 8170 NEW BEST:: SOT 224547 SOS 95326 HAS SOPS 87660 HAS SOUS 42483 HAS SOUPS 40589 WITH SCORE 40684.326
AT ITER 8189 NEW BEST:: SOT 224547 SOS 95322 HAS SOPS 87656 HAS SOUS 42483 HAS SOUPS 40589 WITH SCORE 40684.322
AT ITER 8212 NEW BEST:: SOT 224547 SOS 95320 HAS SOPS 87654 HAS SOUS 42482 HAS SOUPS 40588 WITH SCORE 40683.32
AT ITER 8217 NEW BEST:: SOT 224547 SOS 95296 HAS SOPS 87630 HAS SOUS 42470 HAS SOUPS 40576 WITH SCORE 40671.296
AT ITER 8238 NEW BEST:: SOT 224547 SOS 95288 HAS SOPS 87622 HAS SOUS 42467 HAS SOUPS 40573 WITH SCORE 40668.288
AT ITER 8243 NEW BEST:: SOT 224547 SOS 95288 HAS SOPS 87622 HAS SOUS 42464 HAS SOUPS 40570 WITH SCORE 40665.288
AT ITER 8249 NEW BEST:: SOT 224547 SOS 95288 HAS SOPS 87614 HAS SOUS 42464 HAS SOUPS 40566 WITH SCORE 40661.288
AT ITER 8283 NEW BEST:: SOT 224547 SOS 95264 HAS SOPS 87590 HAS SOUS 42458 HAS SOUPS 40560 WITH SCORE 40655.264
AT ITER 8298 NEW BEST:: SOT 224547 SOS 95254 HAS SOPS 87580 HAS SOUS 42453 HAS SOUPS 40555 WITH SCORE 40650.254
AT ITER 8307 NEW BEST:: SOT 224547 SOS 95246 HAS SOPS 87572 HAS SOUS 42451 HAS SOUPS 40553 WITH SCORE 40648.246
AT ITER 8333 NEW BEST:: SOT 224547 SOS 95164 HAS SOPS 87490 HAS SOUS 42426 HAS SOUPS 40528 WITH SCORE 40623.164
AT ITER 8368 NEW BEST:: SOT 224547 SOS 95155 HAS SOPS 87481 HAS SOUS 42423 HAS SOUPS 40525 WITH SCORE 40620.155
AT ITER 8418 NEW BEST:: SOT 224541 SOS 95163 HAS SOPS 87527 HAS SOUS 42413 HAS SOUPS 40515 WITH SCORE 40610.163
AT ITER 8440 NEW BEST:: SOT 224535 SOS 95148 HAS SOPS 87512 HAS SOUS 42401 HAS SOUPS 40503 WITH SCORE 40598.148
AT ITER 8458 NEW BEST:: SOT 224535 SOS 95140 HAS SOPS 87504 HAS SOUS 42401 HAS SOUPS 40503 WITH SCORE 40598.14
AT ITER 8459 NEW BEST:: SOT 224535 SOS 95120 HAS SOPS 87484 HAS SOUS 42401 HAS SOUPS 40503 WITH SCORE 40598.12
AT ITER 8577 NEW BEST:: SOT 224535 SOS 95096 HAS SOPS 87460 HAS SOUS 42384 HAS SOUPS 40486 WITH SCORE 40581.096
AT ITER 8592 NEW BEST:: SOT 224535 SOS 95096 HAS SOPS 87460 HAS SOUS 42364 HAS SOUPS 40466 WITH SCORE 40561.096
AT ITER 8611 NEW BEST:: SOT 224535 SOS 95096 HAS SOPS 87460 HAS SOUS 42361 HAS SOUPS 40463 WITH SCORE 40558.096
AT ITER 8616 NEW BEST:: SOT 224535 SOS 95094 HAS SOPS 87458 HAS SOUS 42361 HAS SOUPS 40463 WITH SCORE 40558.094
AT ITER 8650 NEW BEST:: SOT 224535 SOS 95060 HAS SOPS 87458 HAS SOUS 42343 HAS SOUPS 40462 WITH SCORE 40557.06
AT ITER 8665 NEW BEST:: SOT 224535 SOS 95094 HAS SOPS 87492 HAS SOUS 42340 HAS SOUPS 40459 WITH SCORE 40554.094
AT ITER 8683 NEW BEST:: SOT 224551 SOS 95110 HAS SOPS 87452 HAS SOUS 42336 HAS SOUPS 40455 WITH SCORE 40550.11
AT ITER 8758 NEW BEST:: SOT 224551 SOS 95068 HAS SOPS 87410 HAS SOUS 42336 HAS SOUPS 40455 WITH SCORE 40550.068
AT ITER 8771 NEW BEST:: SOT 224551 SOS 95056 HAS SOPS 87398 HAS SOUS 42336 HAS SOUPS 40455 WITH SCORE 40550.056
AT ITER 8776 NEW BEST:: SOT 224551 SOS 95040 HAS SOPS 87374 HAS SOUS 42338 HAS SOUPS 40453 WITH SCORE 40548.04
AT ITER 8796 NEW BEST:: SOT 224551 SOS 95062 HAS SOPS 87366 HAS SOUS 42351 HAS SOUPS 40451 WITH SCORE 40546.062
AT ITER 8816 NEW BEST:: SOT 224551 SOS 95060 HAS SOPS 87364 HAS SOUS 42350 HAS SOUPS 40450 WITH SCORE 40545.06
AT ITER 8834 NEW BEST:: SOT 224366 SOS 94859 HAS SOPS 87039 HAS SOUS 42137 HAS SOUPS 40249 WITH SCORE 40343.859
AT ITER 8866 NEW BEST:: SOT 224366 SOS 94857 HAS SOPS 87037 HAS SOUS 42137 HAS SOUPS 40249 WITH SCORE 40343.857
AT ITER 8896 NEW BEST:: SOT 224366 SOS 94833 HAS SOPS 87013 HAS SOUS 42137 HAS SOUPS 40249 WITH SCORE 40343.833
AT ITER 8909 NEW BEST:: SOT 224366 SOS 94833 HAS SOPS 87013 HAS SOUS 42136 HAS SOUPS 40248 WITH SCORE 40342.833
AT ITER 8950 NEW BEST:: SOT 224366 SOS 94811 HAS SOPS 87015 HAS SOUS 42113 HAS SOUPS 40237 WITH SCORE 40331.811
AT ITER 8955 NEW BEST:: SOT 224366 SOS 94794 HAS SOPS 86998 HAS SOUS 42106 HAS SOUPS 40230 WITH SCORE 40324.794
AT ITER 8958 NEW BEST:: SOT 224340 SOS 94768 HAS SOPS 87006 HAS SOUS 42102 HAS SOUPS 40226 WITH SCORE 40320.768
AT ITER 9007 NEW BEST:: SOT 224334 SOS 94750 HAS SOPS 86988 HAS SOUS 42087 HAS SOUPS 40211 WITH SCORE 40305.75
AT ITER 9065 NEW BEST:: SOT 224334 SOS 94744 HAS SOPS 86984 HAS SOUS 42084 HAS SOUPS 40209 WITH SCORE 40303.744
AT ITER 9087 NEW BEST:: SOT 224334 SOS 94732 HAS SOPS 86978 HAS SOUS 42078 HAS SOUPS 40206 WITH SCORE 40300.732
AT ITER 9096 NEW BEST:: SOT 224258 SOS 94656 HAS SOPS 86902 HAS SOUS 41986 HAS SOUPS 40114 WITH SCORE 40208.656
AT ITER 9127 NEW BEST:: SOT 224258 SOS 94706 HAS SOPS 86892 HAS SOUS 42011 HAS SOUPS 40109 WITH SCORE 40203.706
AT ITER 9132 NEW BEST:: SOT 224258 SOS 94702 HAS SOPS 86888 HAS SOUS 42007 HAS SOUPS 40105 WITH SCORE 40199.702
AT ITER 9144 NEW BEST:: SOT 224254 SOS 94698 HAS SOPS 86820 HAS SOUS 41991 HAS SOUPS 40089 WITH SCORE 40183.698
AT ITER 9183 NEW BEST:: SOT 224254 SOS 94686 HAS SOPS 86808 HAS SOUS 41987 HAS SOUPS 40085 WITH SCORE 40179.686
AT ITER 9235 NEW BEST:: SOT 224254 SOS 94684 HAS SOPS 86806 HAS SOUS 41986 HAS SOUPS 40084 WITH SCORE 40178.684
AT ITER 9241 NEW BEST:: SOT 224182 SOS 94611 HAS SOPS 86745 HAS SOUS 41972 HAS SOUPS 40070 WITH SCORE 40164.611
AT ITER 9269 NEW BEST:: SOT 224182 SOS 94593 HAS SOPS 86727 HAS SOUS 41954 HAS SOUPS 40052 WITH SCORE 40146.593
AT ITER 9270 NEW BEST:: SOT 224182 SOS 94609 HAS SOPS 86743 HAS SOUS 41950 HAS SOUPS 40048 WITH SCORE 40142.609
AT ITER 9293 NEW BEST:: SOT 224182 SOS 94487 HAS SOPS 86621 HAS SOUS 41931 HAS SOUPS 40029 WITH SCORE 40123.487
AT ITER 9324 NEW BEST:: SOT 224182 SOS 94483 HAS SOPS 86617 HAS SOUS 41929 HAS SOUPS 40027 WITH SCORE 40121.483
AT ITER 9360 NEW BEST:: SOT 224182 SOS 94467 HAS SOPS 86601 HAS SOUS 41929 HAS SOUPS 40027 WITH SCORE 40121.467
AT ITER 9379 NEW BEST:: SOT 224182 SOS 94461 HAS SOPS 86595 HAS SOUS 41929 HAS SOUPS 40027 WITH SCORE 40121.461
AT ITER 9393 NEW BEST:: SOT 224374 SOS 94653 HAS SOPS 86787 HAS SOUS 41905 HAS SOUPS 40003 WITH SCORE 40097.653
AT ITER 9455 NEW BEST:: SOT 224374 SOS 94597 HAS SOPS 86759 HAS SOUS 41877 HAS SOUPS 39989 WITH SCORE 40083.597
AT ITER 9497 NEW BEST:: SOT 224374 SOS 94593 HAS SOPS 86689 HAS SOUS 41908 HAS SOUPS 39987 WITH SCORE 40081.593
AT ITER 9499 NEW BEST:: SOT 224374 SOS 94617 HAS SOPS 86713 HAS SOUS 41906 HAS SOUPS 39985 WITH SCORE 40079.617
AT ITER 9504 NEW BEST:: SOT 224374 SOS 94619 HAS SOPS 86715 HAS SOUS 41905 HAS SOUPS 39984 WITH SCORE 40078.619
AT ITER 9514 NEW BEST:: SOT 224374 SOS 94617 HAS SOPS 86713 HAS SOUS 41904 HAS SOUPS 39983 WITH SCORE 40077.617
AT ITER 9598 NEW BEST:: SOT 224374 SOS 94565 HAS SOPS 86661 HAS SOUS 41892 HAS SOUPS 39971 WITH SCORE 40065.565
AT ITER 9667 NEW BEST:: SOT 224085 SOS 94356 HAS SOPS 86372 HAS SOUS 41603 HAS SOUPS 39681 WITH SCORE 39775.356
AT ITER 9679 NEW BEST:: SOT 224085 SOS 94192 HAS SOPS 86208 HAS SOUS 41592 HAS SOUPS 39670 WITH SCORE 39764.192
AT ITER 9681 NEW BEST:: SOT 224085 SOS 94132 HAS SOPS 86148 HAS SOUS 41580 HAS SOUPS 39658 WITH SCORE 39752.132
AT ITER 9683 NEW BEST:: SOT 224085 SOS 94027 HAS SOPS 86042 HAS SOUS 41568 HAS SOUPS 39646 WITH SCORE 39740.027
AT ITER 9694 NEW BEST:: SOT 224085 SOS 94003 HAS SOPS 86018 HAS SOUS 41556 HAS SOUPS 39634 WITH SCORE 39728.003
AT ITER 9744 NEW BEST:: SOT 224085 SOS 93987 HAS SOPS 86002 HAS SOUS 41552 HAS SOUPS 39630 WITH SCORE 39723.987
AT ITER 9745 NEW BEST:: SOT 224085 SOS 93953 HAS SOPS 85968 HAS SOUS 41552 HAS SOUPS 39630 WITH SCORE 39723.953
AT ITER 9757 NEW BEST:: SOT 224085 SOS 93951 HAS SOPS 85966 HAS SOUS 41551 HAS SOUPS 39629 WITH SCORE 39722.951
AT ITER 9795 NEW BEST:: SOT 224085 SOS 93943 HAS SOPS 85958 HAS SOUS 41549 HAS SOUPS 39627 WITH SCORE 39720.943
AT ITER 9819 NEW BEST:: SOT 224085 SOS 93955 HAS SOPS 85970 HAS SOUS 41543 HAS SOUPS 39621 WITH SCORE 39714.955
AT ITER 9846 NEW BEST:: SOT 224085 SOS 93953 HAS SOPS 85968 HAS SOUS 41542 HAS SOUPS 39620 WITH SCORE 39713.953
AT ITER 9856 NEW BEST:: SOT 224085 SOS 93953 HAS SOPS 85960 HAS SOUS 41540 HAS SOUPS 39618 WITH SCORE 39711.953
AT ITER 9864 NEW BEST:: SOT 224085 SOS 93963 HAS SOPS 85970 HAS SOUS 41538 HAS SOUPS 39616 WITH SCORE 39709.963
AT ITER 9989 NEW BEST:: SOT 224085 SOS 93941 HAS SOPS 85970 HAS SOUS 41527 HAS SOUPS 39616 WITH SCORE 39709.941
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 5407236 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153840 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is FunctionPointer-PT-b002, 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 r163-tall-167838848100664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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