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-167838848200704.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-b064, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r163-tall-167838848200704
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 844K
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 25 11:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 11:54 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:54 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:09 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:09 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:09 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:09 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 11:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 25 11:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 11:55 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 112K Feb 25 11:55 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:09 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:09 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 1678459957782

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-b064
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running FunctionPointer (PT), instance b064
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 194252 HAS SOPS 189803 HAS SOUS 99829 HAS SOUPS 99505 WITH SCORE 99699.252
AT ITER 8 NEW BEST:: SOT 250343 SOS 194236 HAS SOPS 189787 HAS SOUS 99821 HAS SOUPS 99497 WITH SCORE 99691.236
AT ITER 10 NEW BEST:: SOT 250343 SOS 193852 HAS SOPS 189403 HAS SOUS 99793 HAS SOUPS 99469 WITH SCORE 99662.852
AT ITER 15 NEW BEST:: SOT 250343 SOS 193714 HAS SOPS 189265 HAS SOUS 99724 HAS SOUPS 99400 WITH SCORE 99593.714
AT ITER 16 NEW BEST:: SOT 250343 SOS 193757 HAS SOPS 189308 HAS SOUS 99721 HAS SOUPS 99397 WITH SCORE 99590.757
AT ITER 18 NEW BEST:: SOT 222672 SOS 167086 HAS SOPS 161702 HAS SOUS 99230 HAS SOUPS 98816 WITH SCORE 98983.086
AT ITER 19 NEW BEST:: SOT 222717 SOS 166988 HAS SOPS 161593 HAS SOUS 99137 HAS SOUPS 98723 WITH SCORE 98889.988
AT ITER 22 NEW BEST:: SOT 189171 SOS 134470 HAS SOPS 128056 HAS SOUS 68486 HAS SOUPS 67994 WITH SCORE 68128.47
AT ITER 25 NEW BEST:: SOT 189171 SOS 134470 HAS SOPS 128056 HAS SOUS 68388 HAS SOUPS 67896 WITH SCORE 68030.47
AT ITER 29 NEW BEST:: SOT 189171 SOS 134562 HAS SOPS 128148 HAS SOUS 68294 HAS SOUPS 67802 WITH SCORE 67936.562
AT ITER 32 NEW BEST:: SOT 189171 SOS 134237 HAS SOPS 127823 HAS SOUS 67987 HAS SOUPS 67495 WITH SCORE 67629.237
AT ITER 34 NEW BEST:: SOT 189171 SOS 134443 HAS SOPS 128029 HAS SOUS 67868 HAS SOUPS 67376 WITH SCORE 67510.443
AT ITER 41 NEW BEST:: SOT 189171 SOS 134355 HAS SOPS 127941 HAS SOUS 67837 HAS SOUPS 67345 WITH SCORE 67479.355
AT ITER 45 NEW BEST:: SOT 189131 SOS 134315 HAS SOPS 127907 HAS SOUS 67837 HAS SOUPS 67295 WITH SCORE 67429.315
AT ITER 78 NEW BEST:: SOT 189131 SOS 134275 HAS SOPS 127867 HAS SOUS 67821 HAS SOUPS 67279 WITH SCORE 67413.275
AT ITER 95 NEW BEST:: SOT 189148 SOS 134292 HAS SOPS 127884 HAS SOUS 67806 HAS SOUPS 67264 WITH SCORE 67398.292
AT ITER 96 NEW BEST:: SOT 189148 SOS 134272 HAS SOPS 127864 HAS SOUS 67804 HAS SOUPS 67262 WITH SCORE 67396.272
AT ITER 97 NEW BEST:: SOT 189148 SOS 134362 HAS SOPS 127954 HAS SOUS 67771 HAS SOUPS 67229 WITH SCORE 67363.362
AT ITER 101 NEW BEST:: SOT 189165 SOS 134379 HAS SOPS 127971 HAS SOUS 67756 HAS SOUPS 67214 WITH SCORE 67348.379
AT ITER 114 NEW BEST:: SOT 189165 SOS 134369 HAS SOPS 127961 HAS SOUS 67701 HAS SOUPS 67159 WITH SCORE 67293.369
AT ITER 126 NEW BEST:: SOT 189149 SOS 134385 HAS SOPS 128153 HAS SOUS 67561 HAS SOUPS 67019 WITH SCORE 67153.385
AT ITER 129 NEW BEST:: SOT 189149 SOS 133849 HAS SOPS 127617 HAS SOUS 67413 HAS SOUPS 66871 WITH SCORE 67004.849
AT ITER 130 NEW BEST:: SOT 189149 SOS 133711 HAS SOPS 127479 HAS SOUS 67275 HAS SOUPS 66733 WITH SCORE 66866.711
AT ITER 133 NEW BEST:: SOT 189149 SOS 133692 HAS SOPS 127460 HAS SOUS 67275 HAS SOUPS 66733 WITH SCORE 66866.692
AT ITER 134 NEW BEST:: SOT 189149 SOS 133344 HAS SOPS 127112 HAS SOUS 67188 HAS SOUPS 66646 WITH SCORE 66779.344
AT ITER 135 NEW BEST:: SOT 189149 SOS 132936 HAS SOPS 126704 HAS SOUS 67090 HAS SOUPS 66548 WITH SCORE 66680.936
AT ITER 140 NEW BEST:: SOT 189149 SOS 132688 HAS SOPS 126456 HAS SOUS 67086 HAS SOUPS 66544 WITH SCORE 66676.688
AT ITER 146 NEW BEST:: SOT 189156 SOS 132695 HAS SOPS 126463 HAS SOUS 67081 HAS SOUPS 66539 WITH SCORE 66671.695
AT ITER 154 NEW BEST:: SOT 189140 SOS 132679 HAS SOPS 126463 HAS SOUS 67081 HAS SOUPS 66539 WITH SCORE 66671.679
AT ITER 162 NEW BEST:: SOT 189140 SOS 132294 HAS SOPS 126078 HAS SOUS 66952 HAS SOUPS 66410 WITH SCORE 66542.294
AT ITER 167 NEW BEST:: SOT 189140 SOS 132114 HAS SOPS 125898 HAS SOUS 66751 HAS SOUPS 66209 WITH SCORE 66341.114
AT ITER 176 NEW BEST:: SOT 189140 SOS 131823 HAS SOPS 125607 HAS SOUS 66457 HAS SOUPS 65915 WITH SCORE 66046.823
AT ITER 178 NEW BEST:: SOT 189132 SOS 131815 HAS SOPS 125591 HAS SOUS 66449 HAS SOUPS 65899 WITH SCORE 66030.815
AT ITER 180 NEW BEST:: SOT 189116 SOS 131799 HAS SOPS 125559 HAS SOUS 66417 HAS SOUPS 65867 WITH SCORE 65998.799
AT ITER 184 NEW BEST:: SOT 189135 SOS 131564 HAS SOPS 125238 HAS SOUS 66314 HAS SOUPS 65764 WITH SCORE 65895.564
AT ITER 185 NEW BEST:: SOT 189135 SOS 131560 HAS SOPS 125234 HAS SOUS 66216 HAS SOUPS 65666 WITH SCORE 65797.56
AT ITER 190 NEW BEST:: SOT 189092 SOS 131247 HAS SOPS 125013 HAS SOUS 66058 HAS SOUPS 65508 WITH SCORE 65639.247
AT ITER 198 NEW BEST:: SOT 188983 SOS 131210 HAS SOPS 124976 HAS SOUS 65859 HAS SOUPS 65309 WITH SCORE 65440.21
AT ITER 200 NEW BEST:: SOT 188983 SOS 131202 HAS SOPS 124968 HAS SOUS 65855 HAS SOUPS 65305 WITH SCORE 65436.202
AT ITER 201 NEW BEST:: SOT 188983 SOS 131058 HAS SOPS 124824 HAS SOUS 65718 HAS SOUPS 65168 WITH SCORE 65299.058
AT ITER 202 NEW BEST:: SOT 189074 SOS 131173 HAS SOPS 124939 HAS SOUS 65665 HAS SOUPS 65115 WITH SCORE 65246.173
AT ITER 203 NEW BEST:: SOT 189074 SOS 131129 HAS SOPS 124895 HAS SOUS 65654 HAS SOUPS 65104 WITH SCORE 65235.129
AT ITER 204 NEW BEST:: SOT 189074 SOS 131347 HAS SOPS 125113 HAS SOUS 65377 HAS SOUPS 64827 WITH SCORE 64958.347
AT ITER 211 NEW BEST:: SOT 188940 SOS 130967 HAS SOPS 124711 HAS SOUS 65256 HAS SOUPS 64706 WITH SCORE 64836.967
AT ITER 219 NEW BEST:: SOT 188940 SOS 130967 HAS SOPS 124711 HAS SOUS 65048 HAS SOUPS 64498 WITH SCORE 64628.967
AT ITER 225 NEW BEST:: SOT 188940 SOS 131369 HAS SOPS 125113 HAS SOUS 64746 HAS SOUPS 64196 WITH SCORE 64327.369
AT ITER 234 NEW BEST:: SOT 188940 SOS 131565 HAS SOPS 125309 HAS SOUS 64606 HAS SOUPS 64056 WITH SCORE 64187.565
AT ITER 238 NEW BEST:: SOT 188924 SOS 131549 HAS SOPS 125277 HAS SOUS 64574 HAS SOUPS 64024 WITH SCORE 64155.549
AT ITER 240 NEW BEST:: SOT 188924 SOS 131695 HAS SOPS 125423 HAS SOUS 64551 HAS SOUPS 64001 WITH SCORE 64132.695
AT ITER 241 NEW BEST:: SOT 188863 SOS 131634 HAS SOPS 125362 HAS SOUS 64536 HAS SOUPS 63986 WITH SCORE 64117.634
AT ITER 245 NEW BEST:: SOT 188863 SOS 131634 HAS SOPS 125362 HAS SOUS 64466 HAS SOUPS 63916 WITH SCORE 64047.634
AT ITER 248 NEW BEST:: SOT 188947 SOS 131436 HAS SOPS 125062 HAS SOUS 64410 HAS SOUPS 63860 WITH SCORE 63991.436
AT ITER 258 NEW BEST:: SOT 188962 SOS 130966 HAS SOPS 124538 HAS SOUS 64208 HAS SOUPS 63658 WITH SCORE 63788.966
AT ITER 263 NEW BEST:: SOT 188962 SOS 130842 HAS SOPS 124414 HAS SOUS 64076 HAS SOUPS 63526 WITH SCORE 63656.842
AT ITER 265 NEW BEST:: SOT 188962 SOS 131250 HAS SOPS 124822 HAS SOUS 63849 HAS SOUPS 63299 WITH SCORE 63430.25
AT ITER 267 NEW BEST:: SOT 188962 SOS 131166 HAS SOPS 124738 HAS SOUS 63824 HAS SOUPS 63274 WITH SCORE 63405.166
AT ITER 273 NEW BEST:: SOT 188962 SOS 131138 HAS SOPS 124710 HAS SOUS 63817 HAS SOUPS 63267 WITH SCORE 63398.138
AT ITER 277 NEW BEST:: SOT 188962 SOS 130980 HAS SOPS 124552 HAS SOUS 63738 HAS SOUPS 63188 WITH SCORE 63318.98
AT ITER 281 NEW BEST:: SOT 188967 SOS 131135 HAS SOPS 124707 HAS SOUS 63691 HAS SOUPS 63141 WITH SCORE 63272.135
AT ITER 300 NEW BEST:: SOT 189006 SOS 131295 HAS SOPS 124900 HAS SOUS 63664 HAS SOUPS 63114 WITH SCORE 63245.295
AT ITER 306 NEW BEST:: SOT 189006 SOS 131295 HAS SOPS 124900 HAS SOUS 63622 HAS SOUPS 63072 WITH SCORE 63203.295
AT ITER 309 NEW BEST:: SOT 189006 SOS 131333 HAS SOPS 124938 HAS SOUS 63429 HAS SOUPS 62879 WITH SCORE 63010.333
AT ITER 312 NEW BEST:: SOT 189006 SOS 131333 HAS SOPS 124938 HAS SOUS 63419 HAS SOUPS 62869 WITH SCORE 63000.333
AT ITER 317 NEW BEST:: SOT 189023 SOS 131350 HAS SOPS 124955 HAS SOUS 63404 HAS SOUPS 62854 WITH SCORE 62985.35
AT ITER 319 NEW BEST:: SOT 189023 SOS 131684 HAS SOPS 125289 HAS SOUS 63224 HAS SOUPS 62674 WITH SCORE 62805.684
AT ITER 329 NEW BEST:: SOT 189023 SOS 131690 HAS SOPS 125295 HAS SOUS 63126 HAS SOUPS 62576 WITH SCORE 62707.69
AT ITER 333 NEW BEST:: SOT 189191 SOS 131807 HAS SOPS 125657 HAS SOUS 62956 HAS SOUPS 62406 WITH SCORE 62537.807
AT ITER 343 NEW BEST:: SOT 189191 SOS 131807 HAS SOPS 125657 HAS SOUS 62924 HAS SOUPS 62374 WITH SCORE 62505.807
AT ITER 345 NEW BEST:: SOT 189191 SOS 131810 HAS SOPS 125660 HAS SOUS 62921 HAS SOUPS 62371 WITH SCORE 62502.81
AT ITER 353 NEW BEST:: SOT 189191 SOS 131808 HAS SOPS 125658 HAS SOUS 62921 HAS SOUPS 62371 WITH SCORE 62502.808
AT ITER 356 NEW BEST:: SOT 189191 SOS 132464 HAS SOPS 126314 HAS SOUS 61842 HAS SOUPS 61292 WITH SCORE 61424.464
AT ITER 358 NEW BEST:: SOT 189191 SOS 132460 HAS SOPS 126310 HAS SOUS 61842 HAS SOUPS 61292 WITH SCORE 61424.46
AT ITER 359 NEW BEST:: SOT 189191 SOS 132642 HAS SOPS 126492 HAS SOUS 61745 HAS SOUPS 61195 WITH SCORE 61327.642
AT ITER 362 NEW BEST:: SOT 189191 SOS 132794 HAS SOPS 126822 HAS SOUS 61237 HAS SOUPS 60687 WITH SCORE 60819.794
AT ITER 367 NEW BEST:: SOT 189103 SOS 132706 HAS SOPS 126646 HAS SOUS 61149 HAS SOUPS 60511 WITH SCORE 60643.706
AT ITER 370 NEW BEST:: SOT 189103 SOS 132908 HAS SOPS 126848 HAS SOUS 60982 HAS SOUPS 60344 WITH SCORE 60476.908
AT ITER 374 NEW BEST:: SOT 189103 SOS 132602 HAS SOPS 126542 HAS SOUS 60957 HAS SOUPS 60319 WITH SCORE 60451.602
AT ITER 376 NEW BEST:: SOT 189103 SOS 132078 HAS SOPS 126018 HAS SOUS 60758 HAS SOUPS 60120 WITH SCORE 60252.078
AT ITER 378 NEW BEST:: SOT 189088 SOS 132037 HAS SOPS 125975 HAS SOUS 60717 HAS SOUPS 60079 WITH SCORE 60211.037
AT ITER 380 NEW BEST:: SOT 189088 SOS 132017 HAS SOPS 125955 HAS SOUS 60695 HAS SOUPS 60057 WITH SCORE 60189.017
AT ITER 382 NEW BEST:: SOT 189090 SOS 131623 HAS SOPS 125561 HAS SOUS 60578 HAS SOUPS 59940 WITH SCORE 60071.623
AT ITER 386 NEW BEST:: SOT 189090 SOS 131567 HAS SOPS 125505 HAS SOUS 60550 HAS SOUPS 59912 WITH SCORE 60043.567
AT ITER 388 NEW BEST:: SOT 189090 SOS 131555 HAS SOPS 125493 HAS SOUS 60550 HAS SOUPS 59912 WITH SCORE 60043.555
AT ITER 391 NEW BEST:: SOT 189090 SOS 131633 HAS SOPS 125571 HAS SOUS 60462 HAS SOUPS 59824 WITH SCORE 59955.633
AT ITER 396 NEW BEST:: SOT 189090 SOS 131627 HAS SOPS 125565 HAS SOUS 60459 HAS SOUPS 59821 WITH SCORE 59952.627
AT ITER 400 NEW BEST:: SOT 189090 SOS 131627 HAS SOPS 125565 HAS SOUS 60455 HAS SOUPS 59817 WITH SCORE 59948.627
AT ITER 402 NEW BEST:: SOT 189070 SOS 129757 HAS SOPS 124475 HAS SOUS 60370 HAS SOUPS 59797 WITH SCORE 59926.757
AT ITER 407 NEW BEST:: SOT 189070 SOS 129747 HAS SOPS 124411 HAS SOUS 60311 HAS SOUPS 59738 WITH SCORE 59867.747
AT ITER 414 NEW BEST:: SOT 189078 SOS 129735 HAS SOPS 124393 HAS SOUS 60293 HAS SOUPS 59720 WITH SCORE 59849.735
AT ITER 416 NEW BEST:: SOT 189078 SOS 129719 HAS SOPS 124377 HAS SOUS 60293 HAS SOUPS 59720 WITH SCORE 59849.719
AT ITER 418 NEW BEST:: SOT 189075 SOS 129505 HAS SOPS 124160 HAS SOUS 60213 HAS SOUPS 59640 WITH SCORE 59769.505
AT ITER 420 NEW BEST:: SOT 189075 SOS 129505 HAS SOPS 124160 HAS SOUS 60140 HAS SOUPS 59567 WITH SCORE 59696.505
AT ITER 429 NEW BEST:: SOT 189075 SOS 129501 HAS SOPS 124156 HAS SOUS 60138 HAS SOUPS 59565 WITH SCORE 59694.501
AT ITER 435 NEW BEST:: SOT 189077 SOS 129196 HAS SOPS 123770 HAS SOUS 59876 HAS SOUPS 59303 WITH SCORE 59432.196
AT ITER 448 NEW BEST:: SOT 189077 SOS 129283 HAS SOPS 123857 HAS SOUS 59867 HAS SOUPS 59294 WITH SCORE 59423.283
AT ITER 460 NEW BEST:: SOT 189029 SOS 129235 HAS SOPS 123761 HAS SOUS 59803 HAS SOUPS 59230 WITH SCORE 59359.235
AT ITER 469 NEW BEST:: SOT 189029 SOS 129203 HAS SOPS 123729 HAS SOUS 59779 HAS SOUPS 59206 WITH SCORE 59335.203
AT ITER 475 NEW BEST:: SOT 189029 SOS 129153 HAS SOPS 123679 HAS SOUS 59754 HAS SOUPS 59181 WITH SCORE 59310.153
AT ITER 480 NEW BEST:: SOT 189063 SOS 129474 HAS SOPS 123865 HAS SOUS 59609 HAS SOUPS 59036 WITH SCORE 59165.474
AT ITER 482 NEW BEST:: SOT 189063 SOS 129370 HAS SOPS 123761 HAS SOUS 59561 HAS SOUPS 58988 WITH SCORE 59117.37
AT ITER 487 NEW BEST:: SOT 189063 SOS 129418 HAS SOPS 123809 HAS SOUS 59209 HAS SOUPS 58636 WITH SCORE 58765.418
AT ITER 488 NEW BEST:: SOT 188967 SOS 134000 HAS SOPS 126519 HAS SOUS 59340 HAS SOUPS 58631 WITH SCORE 58765.0
AT ITER 490 NEW BEST:: SOT 188967 SOS 134304 HAS SOPS 126823 HAS SOUS 58808 HAS SOUPS 58099 WITH SCORE 58233.304
AT ITER 494 NEW BEST:: SOT 188967 SOS 134329 HAS SOPS 126848 HAS SOUS 57786 HAS SOUPS 57077 WITH SCORE 57211.329
AT ITER 495 NEW BEST:: SOT 188967 SOS 134331 HAS SOPS 126850 HAS SOUS 57785 HAS SOUPS 57076 WITH SCORE 57210.331
AT ITER 496 NEW BEST:: SOT 188939 SOS 134303 HAS SOPS 126792 HAS SOUS 57743 HAS SOUPS 57034 WITH SCORE 57168.303
AT ITER 498 NEW BEST:: SOT 188934 SOS 133858 HAS SOPS 126273 HAS SOUS 57710 HAS SOUPS 57001 WITH SCORE 57134.858
AT ITER 504 NEW BEST:: SOT 188934 SOS 133875 HAS SOPS 126290 HAS SOUS 57613 HAS SOUPS 56904 WITH SCORE 57037.875
AT ITER 505 NEW BEST:: SOT 188918 SOS 133681 HAS SOPS 126258 HAS SOUS 57064 HAS SOUPS 56355 WITH SCORE 56488.681
AT ITER 513 NEW BEST:: SOT 188918 SOS 133743 HAS SOPS 126320 HAS SOUS 56985 HAS SOUPS 56276 WITH SCORE 56409.743
AT ITER 514 NEW BEST:: SOT 188918 SOS 133657 HAS SOPS 126234 HAS SOUS 56942 HAS SOUPS 56233 WITH SCORE 56366.657
AT ITER 523 NEW BEST:: SOT 188918 SOS 133299 HAS SOPS 125876 HAS SOUS 56893 HAS SOUPS 56184 WITH SCORE 56317.299
AT ITER 526 NEW BEST:: SOT 188806 SOS 132696 HAS SOPS 125336 HAS SOUS 56773 HAS SOUPS 56064 WITH SCORE 56196.696
AT ITER 528 NEW BEST:: SOT 188798 SOS 132688 HAS SOPS 125328 HAS SOUS 56755 HAS SOUPS 56046 WITH SCORE 56178.688
AT ITER 531 NEW BEST:: SOT 188798 SOS 132754 HAS SOPS 125394 HAS SOUS 56736 HAS SOUPS 56027 WITH SCORE 56159.754
AT ITER 534 NEW BEST:: SOT 188798 SOS 132896 HAS SOPS 125536 HAS SOUS 56578 HAS SOUPS 55869 WITH SCORE 56001.896
AT ITER 535 NEW BEST:: SOT 188798 SOS 133122 HAS SOPS 125762 HAS SOUS 56532 HAS SOUPS 55823 WITH SCORE 55956.122
AT ITER 545 NEW BEST:: SOT 188798 SOS 132882 HAS SOPS 125522 HAS SOUS 56446 HAS SOUPS 55737 WITH SCORE 55869.882
AT ITER 547 NEW BEST:: SOT 188729 SOS 132921 HAS SOPS 125513 HAS SOUS 56356 HAS SOUPS 55647 WITH SCORE 55779.921
AT ITER 552 NEW BEST:: SOT 188729 SOS 132715 HAS SOPS 125307 HAS SOUS 56265 HAS SOUPS 55556 WITH SCORE 55688.715
AT ITER 559 NEW BEST:: SOT 188729 SOS 132799 HAS SOPS 125391 HAS SOUS 56256 HAS SOUPS 55547 WITH SCORE 55679.799
AT ITER 569 NEW BEST:: SOT 188729 SOS 132643 HAS SOPS 125235 HAS SOUS 56256 HAS SOUPS 55547 WITH SCORE 55679.643
AT ITER 577 NEW BEST:: SOT 188729 SOS 132633 HAS SOPS 125225 HAS SOUS 56256 HAS SOUPS 55547 WITH SCORE 55679.633
AT ITER 578 NEW BEST:: SOT 188729 SOS 132711 HAS SOPS 125303 HAS SOUS 55608 HAS SOUPS 54899 WITH SCORE 55031.711
AT ITER 586 NEW BEST:: SOT 188729 SOS 132703 HAS SOPS 125295 HAS SOUS 55606 HAS SOUPS 54897 WITH SCORE 55029.703
AT ITER 592 NEW BEST:: SOT 188802 SOS 132831 HAS SOPS 125261 HAS SOUS 55466 HAS SOUPS 54757 WITH SCORE 54889.831
AT ITER 604 NEW BEST:: SOT 188801 SOS 132829 HAS SOPS 125258 HAS SOUS 55461 HAS SOUPS 54752 WITH SCORE 54884.829
AT ITER 608 NEW BEST:: SOT 188787 SOS 132815 HAS SOPS 125230 HAS SOUS 55419 HAS SOUPS 54710 WITH SCORE 54842.815
AT ITER 619 NEW BEST:: SOT 188787 SOS 132841 HAS SOPS 125256 HAS SOUS 54965 HAS SOUPS 54256 WITH SCORE 54388.841
AT ITER 620 NEW BEST:: SOT 188787 SOS 132939 HAS SOPS 125354 HAS SOUS 54927 HAS SOUPS 54218 WITH SCORE 54350.939
AT ITER 621 NEW BEST:: SOT 188787 SOS 132827 HAS SOPS 125242 HAS SOUS 54787 HAS SOUPS 54078 WITH SCORE 54210.827
AT ITER 625 NEW BEST:: SOT 188787 SOS 133163 HAS SOPS 125466 HAS SOUS 54695 HAS SOUPS 53986 WITH SCORE 54119.163
AT ITER 636 NEW BEST:: SOT 188661 SOS 132945 HAS SOPS 125246 HAS SOUS 54609 HAS SOUPS 53900 WITH SCORE 54032.945
AT ITER 654 NEW BEST:: SOT 188723 SOS 132962 HAS SOPS 125222 HAS SOUS 54544 HAS SOUPS 53835 WITH SCORE 53967.962
AT ITER 656 NEW BEST:: SOT 188686 SOS 132984 HAS SOPS 125207 HAS SOUS 54463 HAS SOUPS 53754 WITH SCORE 53886.984
AT ITER 659 NEW BEST:: SOT 188680 SOS 132978 HAS SOPS 125195 HAS SOUS 54451 HAS SOUPS 53742 WITH SCORE 53874.978
AT ITER 660 NEW BEST:: SOT 188680 SOS 131200 HAS SOPS 122816 HAS SOUS 54322 HAS SOUPS 53012 WITH SCORE 53143.2
AT ITER 684 NEW BEST:: SOT 188680 SOS 131202 HAS SOPS 122820 HAS SOUS 54316 HAS SOUPS 53008 WITH SCORE 53139.202
AT ITER 689 NEW BEST:: SOT 188680 SOS 130947 HAS SOPS 122565 HAS SOUS 54272 HAS SOUPS 52964 WITH SCORE 53094.947
AT ITER 692 NEW BEST:: SOT 188680 SOS 132343 HAS SOPS 123450 HAS SOUS 54296 HAS SOUPS 52954 WITH SCORE 53086.343
AT ITER 695 NEW BEST:: SOT 188680 SOS 132421 HAS SOPS 123544 HAS SOUS 54255 HAS SOUPS 52929 WITH SCORE 53061.421
AT ITER 697 NEW BEST:: SOT 188707 SOS 132529 HAS SOPS 123466 HAS SOUS 54177 HAS SOUPS 52851 WITH SCORE 52983.529
AT ITER 702 NEW BEST:: SOT 188707 SOS 132380 HAS SOPS 123330 HAS SOUS 54040 HAS SOUPS 52727 WITH SCORE 52859.38
AT ITER 730 NEW BEST:: SOT 188707 SOS 132330 HAS SOPS 123280 HAS SOUS 54035 HAS SOUPS 52722 WITH SCORE 52854.33
AT ITER 738 NEW BEST:: SOT 188691 SOS 132314 HAS SOPS 123275 HAS SOUS 54016 HAS SOUPS 52717 WITH SCORE 52849.314
AT ITER 742 NEW BEST:: SOT 188691 SOS 132199 HAS SOPS 123160 HAS SOUS 53917 HAS SOUPS 52618 WITH SCORE 52750.199
AT ITER 745 NEW BEST:: SOT 188691 SOS 132199 HAS SOPS 123160 HAS SOUS 53909 HAS SOUPS 52610 WITH SCORE 52742.199
AT ITER 755 NEW BEST:: SOT 188691 SOS 131921 HAS SOPS 122882 HAS SOUS 53907 HAS SOUPS 52608 WITH SCORE 52739.921
AT ITER 760 NEW BEST:: SOT 188691 SOS 131934 HAS SOPS 122895 HAS SOUS 53889 HAS SOUPS 52590 WITH SCORE 52721.934
AT ITER 771 NEW BEST:: SOT 188691 SOS 131812 HAS SOPS 122668 HAS SOUS 53848 HAS SOUPS 52444 WITH SCORE 52575.812
AT ITER 781 NEW BEST:: SOT 188691 SOS 131740 HAS SOPS 122560 HAS SOUS 53869 HAS SOUPS 52429 WITH SCORE 52560.74
AT ITER 786 NEW BEST:: SOT 188693 SOS 131742 HAS SOPS 122562 HAS SOUS 53799 HAS SOUPS 52359 WITH SCORE 52490.742
AT ITER 792 NEW BEST:: SOT 188657 SOS 131706 HAS SOPS 122510 HAS SOUS 53767 HAS SOUPS 52327 WITH SCORE 52458.706
AT ITER 801 NEW BEST:: SOT 188657 SOS 131674 HAS SOPS 122478 HAS SOUS 53711 HAS SOUPS 52271 WITH SCORE 52402.674
AT ITER 814 NEW BEST:: SOT 188657 SOS 131928 HAS SOPS 122732 HAS SOUS 53665 HAS SOUPS 52225 WITH SCORE 52356.928
AT ITER 815 NEW BEST:: SOT 188657 SOS 132082 HAS SOPS 122886 HAS SOUS 53590 HAS SOUPS 52150 WITH SCORE 52282.082
AT ITER 816 NEW BEST:: SOT 188648 SOS 132073 HAS SOPS 122871 HAS SOUS 53569 HAS SOUPS 52129 WITH SCORE 52261.073
AT ITER 851 NEW BEST:: SOT 188648 SOS 132037 HAS SOPS 122835 HAS SOUS 53551 HAS SOUPS 52111 WITH SCORE 52243.037
AT ITER 853 NEW BEST:: SOT 188552 SOS 131941 HAS SOPS 122723 HAS SOUS 53439 HAS SOUPS 51999 WITH SCORE 52130.941
AT ITER 883 NEW BEST:: SOT 188552 SOS 131901 HAS SOPS 122683 HAS SOUS 53385 HAS SOUPS 51945 WITH SCORE 52076.901
AT ITER 888 NEW BEST:: SOT 188552 SOS 131605 HAS SOPS 122387 HAS SOUS 53383 HAS SOUPS 51943 WITH SCORE 52074.605
AT ITER 907 NEW BEST:: SOT 188552 SOS 131683 HAS SOPS 122465 HAS SOUS 53375 HAS SOUPS 51935 WITH SCORE 52066.683
AT ITER 908 NEW BEST:: SOT 188552 SOS 131443 HAS SOPS 122225 HAS SOUS 53375 HAS SOUPS 51935 WITH SCORE 52066.443
AT ITER 921 NEW BEST:: SOT 188533 SOS 131178 HAS SOPS 121902 HAS SOUS 53255 HAS SOUPS 51815 WITH SCORE 51946.178
AT ITER 924 NEW BEST:: SOT 188533 SOS 131299 HAS SOPS 122023 HAS SOUS 53248 HAS SOUPS 51808 WITH SCORE 51939.299
AT ITER 930 NEW BEST:: SOT 188533 SOS 129565 HAS SOPS 119850 HAS SOUS 52031 HAS SOUPS 50591 WITH SCORE 50720.565
AT ITER 932 NEW BEST:: SOT 188533 SOS 130053 HAS SOPS 120338 HAS SOUS 51936 HAS SOUPS 50496 WITH SCORE 50626.053
AT ITER 939 NEW BEST:: SOT 188533 SOS 127601 HAS SOPS 117886 HAS SOUS 51787 HAS SOUPS 50347 WITH SCORE 50474.601
AT ITER 943 NEW BEST:: SOT 188533 SOS 127597 HAS SOPS 117882 HAS SOUS 51719 HAS SOUPS 50279 WITH SCORE 50406.597
AT ITER 947 NEW BEST:: SOT 188533 SOS 127603 HAS SOPS 117888 HAS SOUS 51713 HAS SOUPS 50273 WITH SCORE 50400.603
AT ITER 963 NEW BEST:: SOT 188523 SOS 127593 HAS SOPS 117876 HAS SOUS 51599 HAS SOUPS 50159 WITH SCORE 50286.593
AT ITER 965 NEW BEST:: SOT 188523 SOS 127595 HAS SOPS 117878 HAS SOUS 51598 HAS SOUPS 50158 WITH SCORE 50285.595
AT ITER 972 NEW BEST:: SOT 188523 SOS 127602 HAS SOPS 117885 HAS SOUS 51591 HAS SOUPS 50151 WITH SCORE 50278.602
AT ITER 973 NEW BEST:: SOT 188523 SOS 127554 HAS SOPS 117837 HAS SOUS 51572 HAS SOUPS 50132 WITH SCORE 50259.554
AT ITER 983 NEW BEST:: SOT 188523 SOS 127561 HAS SOPS 117853 HAS SOUS 51556 HAS SOUPS 50116 WITH SCORE 50243.561
AT ITER 994 NEW BEST:: SOT 188523 SOS 127511 HAS SOPS 117851 HAS SOUS 51459 HAS SOUPS 50067 WITH SCORE 50194.511
AT ITER 1010 NEW BEST:: SOT 188523 SOS 127365 HAS SOPS 117705 HAS SOUS 51441 HAS SOUPS 50049 WITH SCORE 50176.365
AT ITER 1013 NEW BEST:: SOT 188523 SOS 127590 HAS SOPS 117930 HAS SOUS 51381 HAS SOUPS 49989 WITH SCORE 50116.59
AT ITER 1018 NEW BEST:: SOT 188495 SOS 127562 HAS SOPS 117874 HAS SOUS 51381 HAS SOUPS 49989 WITH SCORE 50116.562
AT ITER 1020 NEW BEST:: SOT 188495 SOS 127562 HAS SOPS 117874 HAS SOUS 51301 HAS SOUPS 49909 WITH SCORE 50036.562
AT ITER 1023 NEW BEST:: SOT 188524 SOS 127591 HAS SOPS 117863 HAS SOUS 51068 HAS SOUPS 49676 WITH SCORE 49803.591
AT ITER 1026 NEW BEST:: SOT 188524 SOS 127571 HAS SOPS 117843 HAS SOUS 51033 HAS SOUPS 49641 WITH SCORE 49768.571
AT ITER 1030 NEW BEST:: SOT 188524 SOS 127609 HAS SOPS 117881 HAS SOUS 51014 HAS SOUPS 49622 WITH SCORE 49749.609
AT ITER 1031 NEW BEST:: SOT 188524 SOS 127666 HAS SOPS 117741 HAS SOUS 51087 HAS SOUPS 49593 WITH SCORE 49720.666
AT ITER 1058 NEW BEST:: SOT 188524 SOS 127666 HAS SOPS 117741 HAS SOUS 51071 HAS SOUPS 49577 WITH SCORE 49704.666
AT ITER 1080 NEW BEST:: SOT 188524 SOS 126634 HAS SOPS 116709 HAS SOUS 51042 HAS SOUPS 49548 WITH SCORE 49674.634
AT ITER 1082 NEW BEST:: SOT 188524 SOS 126570 HAS SOPS 116711 HAS SOUS 51001 HAS SOUPS 49540 WITH SCORE 49666.57
AT ITER 1089 NEW BEST:: SOT 188524 SOS 126604 HAS SOPS 116745 HAS SOUS 51000 HAS SOUPS 49539 WITH SCORE 49665.604
AT ITER 1090 NEW BEST:: SOT 188524 SOS 126580 HAS SOPS 116707 HAS SOUS 51002 HAS SOUPS 49527 WITH SCORE 49653.58
AT ITER 1107 NEW BEST:: SOT 188524 SOS 126036 HAS SOPS 116163 HAS SOUS 50986 HAS SOUPS 49511 WITH SCORE 49637.036
AT ITER 1108 NEW BEST:: SOT 188524 SOS 125764 HAS SOPS 115891 HAS SOUS 50867 HAS SOUPS 49392 WITH SCORE 49517.764
AT ITER 1112 NEW BEST:: SOT 188524 SOS 125772 HAS SOPS 115891 HAS SOUS 50863 HAS SOUPS 49384 WITH SCORE 49509.772
AT ITER 1117 NEW BEST:: SOT 188524 SOS 124137 HAS SOPS 114858 HAS SOUS 50771 HAS SOUPS 49331 WITH SCORE 49455.137
AT ITER 1122 NEW BEST:: SOT 188524 SOS 124041 HAS SOPS 114762 HAS SOUS 50756 HAS SOUPS 49316 WITH SCORE 49440.041
AT ITER 1123 NEW BEST:: SOT 188524 SOS 124021 HAS SOPS 114742 HAS SOUS 50756 HAS SOUPS 49316 WITH SCORE 49440.021
AT ITER 1127 NEW BEST:: SOT 188524 SOS 123937 HAS SOPS 114658 HAS SOUS 50630 HAS SOUPS 49190 WITH SCORE 49313.937
AT ITER 1140 NEW BEST:: SOT 188521 SOS 123934 HAS SOPS 114645 HAS SOUS 50625 HAS SOUPS 49185 WITH SCORE 49308.934
AT ITER 1144 NEW BEST:: SOT 188521 SOS 123971 HAS SOPS 114693 HAS SOUS 50590 HAS SOUPS 49161 WITH SCORE 49284.971
AT ITER 1148 NEW BEST:: SOT 188521 SOS 123971 HAS SOPS 114693 HAS SOUS 50443 HAS SOUPS 49014 WITH SCORE 49137.971
AT ITER 1156 NEW BEST:: SOT 188521 SOS 123803 HAS SOPS 114520 HAS SOUS 50435 HAS SOUPS 49001 WITH SCORE 49124.803
AT ITER 1164 NEW BEST:: SOT 188521 SOS 123803 HAS SOPS 114520 HAS SOUS 50433 HAS SOUPS 48999 WITH SCORE 49122.803
AT ITER 1166 NEW BEST:: SOT 188521 SOS 123791 HAS SOPS 114472 HAS SOUS 50444 HAS SOUPS 48992 WITH SCORE 49115.791
AT ITER 1173 NEW BEST:: SOT 188506 SOS 123631 HAS SOPS 114297 HAS SOUS 50427 HAS SOUPS 48975 WITH SCORE 49098.631
AT ITER 1179 NEW BEST:: SOT 188478 SOS 123603 HAS SOPS 114269 HAS SOUS 50399 HAS SOUPS 48947 WITH SCORE 49070.603
AT ITER 1196 NEW BEST:: SOT 188478 SOS 123373 HAS SOPS 114039 HAS SOUS 50333 HAS SOUPS 48881 WITH SCORE 49004.373
AT ITER 1199 NEW BEST:: SOT 188478 SOS 122959 HAS SOPS 113625 HAS SOUS 50333 HAS SOUPS 48881 WITH SCORE 49003.959
AT ITER 1202 NEW BEST:: SOT 188478 SOS 122821 HAS SOPS 113487 HAS SOUS 50315 HAS SOUPS 48863 WITH SCORE 48985.821
AT ITER 1203 NEW BEST:: SOT 188478 SOS 122869 HAS SOPS 113535 HAS SOUS 50309 HAS SOUPS 48857 WITH SCORE 48979.869
AT ITER 1208 NEW BEST:: SOT 188478 SOS 122863 HAS SOPS 113526 HAS SOUS 50309 HAS SOUPS 48854 WITH SCORE 48976.863
AT ITER 1211 NEW BEST:: SOT 188478 SOS 122829 HAS SOPS 113492 HAS SOUS 50207 HAS SOUPS 48752 WITH SCORE 48874.829
AT ITER 1215 NEW BEST:: SOT 188400 SOS 122751 HAS SOPS 113430 HAS SOUS 50135 HAS SOUPS 48680 WITH SCORE 48802.751
AT ITER 1231 NEW BEST:: SOT 188400 SOS 121039 HAS SOPS 111686 HAS SOUS 50015 HAS SOUPS 48544 WITH SCORE 48665.039
AT ITER 1232 NEW BEST:: SOT 188400 SOS 121077 HAS SOPS 111724 HAS SOUS 50011 HAS SOUPS 48540 WITH SCORE 48661.077
AT ITER 1236 NEW BEST:: SOT 188400 SOS 120960 HAS SOPS 111607 HAS SOUS 49972 HAS SOUPS 48501 WITH SCORE 48621.96
AT ITER 1241 NEW BEST:: SOT 188368 SOS 120928 HAS SOPS 111587 HAS SOUS 49922 HAS SOUPS 48481 WITH SCORE 48601.928
AT ITER 1253 NEW BEST:: SOT 188368 SOS 120884 HAS SOPS 111565 HAS SOUS 49889 HAS SOUPS 48448 WITH SCORE 48568.884
AT ITER 1254 NEW BEST:: SOT 188368 SOS 120837 HAS SOPS 111514 HAS SOUS 49863 HAS SOUPS 48418 WITH SCORE 48538.837
AT ITER 1270 NEW BEST:: SOT 188368 SOS 120841 HAS SOPS 111518 HAS SOUS 49861 HAS SOUPS 48416 WITH SCORE 48536.841
AT ITER 1272 NEW BEST:: SOT 188368 SOS 119883 HAS SOPS 110560 HAS SOUS 49815 HAS SOUPS 48370 WITH SCORE 48489.883
AT ITER 1285 NEW BEST:: SOT 188368 SOS 119849 HAS SOPS 110526 HAS SOUS 49815 HAS SOUPS 48370 WITH SCORE 48489.849
AT ITER 1291 NEW BEST:: SOT 188366 SOS 119518 HAS SOPS 110003 HAS SOUS 48636 HAS SOUPS 47111 WITH SCORE 47230.518
AT ITER 1294 NEW BEST:: SOT 188366 SOS 117784 HAS SOPS 108269 HAS SOUS 48628 HAS SOUPS 47103 WITH SCORE 47220.784
AT ITER 1299 NEW BEST:: SOT 188366 SOS 117776 HAS SOPS 108261 HAS SOUS 48624 HAS SOUPS 47099 WITH SCORE 47216.776
AT ITER 1301 NEW BEST:: SOT 188366 SOS 117409 HAS SOPS 107894 HAS SOUS 48512 HAS SOUPS 46987 WITH SCORE 47104.409
AT ITER 1304 NEW BEST:: SOT 188366 SOS 117351 HAS SOPS 107836 HAS SOUS 48499 HAS SOUPS 46974 WITH SCORE 47091.351
AT ITER 1306 NEW BEST:: SOT 188366 SOS 117333 HAS SOPS 107818 HAS SOUS 48499 HAS SOUPS 46974 WITH SCORE 47091.333
AT ITER 1318 NEW BEST:: SOT 188366 SOS 117369 HAS SOPS 107662 HAS SOUS 48583 HAS SOUPS 46954 WITH SCORE 47071.369
AT ITER 1320 NEW BEST:: SOT 188366 SOS 116789 HAS SOPS 107082 HAS SOUS 48583 HAS SOUPS 46954 WITH SCORE 47070.789
AT ITER 1334 NEW BEST:: SOT 188366 SOS 116789 HAS SOPS 107108 HAS SOUS 48577 HAS SOUPS 46948 WITH SCORE 47064.789
AT ITER 1339 NEW BEST:: SOT 188366 SOS 116863 HAS SOPS 107182 HAS SOUS 48555 HAS SOUPS 46926 WITH SCORE 47042.863
AT ITER 1363 NEW BEST:: SOT 188366 SOS 116704 HAS SOPS 107055 HAS SOUS 48493 HAS SOUPS 46880 WITH SCORE 46996.704
AT ITER 1369 NEW BEST:: SOT 188366 SOS 116536 HAS SOPS 106887 HAS SOUS 48493 HAS SOUPS 46880 WITH SCORE 46996.536
AT ITER 1373 NEW BEST:: SOT 188366 SOS 116598 HAS SOPS 106949 HAS SOUS 48480 HAS SOUPS 46867 WITH SCORE 46983.598
AT ITER 1387 NEW BEST:: SOT 188366 SOS 116202 HAS SOPS 106553 HAS SOUS 48453 HAS SOUPS 46840 WITH SCORE 46956.202
AT ITER 1393 NEW BEST:: SOT 188366 SOS 116174 HAS SOPS 106525 HAS SOUS 48420 HAS SOUPS 46807 WITH SCORE 46923.174
AT ITER 1394 NEW BEST:: SOT 188366 SOS 116177 HAS SOPS 106528 HAS SOUS 48417 HAS SOUPS 46804 WITH SCORE 46920.177
AT ITER 1399 NEW BEST:: SOT 188330 SOS 116069 HAS SOPS 106420 HAS SOUS 48399 HAS SOUPS 46786 WITH SCORE 46902.069
AT ITER 1402 NEW BEST:: SOT 188330 SOS 115989 HAS SOPS 106340 HAS SOUS 48399 HAS SOUPS 46786 WITH SCORE 46901.989
AT ITER 1403 NEW BEST:: SOT 188370 SOS 116029 HAS SOPS 106368 HAS SOUS 48395 HAS SOUPS 46782 WITH SCORE 46898.029
AT ITER 1415 NEW BEST:: SOT 188370 SOS 115975 HAS SOPS 106314 HAS SOUS 48377 HAS SOUPS 46764 WITH SCORE 46879.975
AT ITER 1450 NEW BEST:: SOT 188370 SOS 115426 HAS SOPS 105765 HAS SOUS 48182 HAS SOUPS 46569 WITH SCORE 46684.426
AT ITER 1453 NEW BEST:: SOT 188370 SOS 115598 HAS SOPS 105755 HAS SOUS 48268 HAS SOUPS 46564 WITH SCORE 46679.598
AT ITER 1455 NEW BEST:: SOT 188370 SOS 115640 HAS SOPS 105797 HAS SOUS 48260 HAS SOUPS 46556 WITH SCORE 46671.64
AT ITER 1460 NEW BEST:: SOT 188370 SOS 114928 HAS SOPS 105085 HAS SOUS 48256 HAS SOUPS 46552 WITH SCORE 46666.928
AT ITER 1470 NEW BEST:: SOT 188370 SOS 115012 HAS SOPS 105181 HAS SOUS 48242 HAS SOUPS 46544 WITH SCORE 46659.012
AT ITER 1478 NEW BEST:: SOT 188370 SOS 114792 HAS SOPS 104961 HAS SOUS 48174 HAS SOUPS 46476 WITH SCORE 46590.792
AT ITER 1482 NEW BEST:: SOT 188370 SOS 115012 HAS SOPS 105049 HAS SOUS 47769 HAS SOUPS 46035 WITH SCORE 46150.012
AT ITER 1483 NEW BEST:: SOT 188370 SOS 114958 HAS SOPS 104955 HAS SOUS 47738 HAS SOUPS 45984 WITH SCORE 46098.958
AT ITER 1490 NEW BEST:: SOT 188370 SOS 114944 HAS SOPS 104941 HAS SOUS 47738 HAS SOUPS 45984 WITH SCORE 46098.944
AT ITER 1493 NEW BEST:: SOT 188347 SOS 114992 HAS SOPS 104944 HAS SOUS 47709 HAS SOUPS 45955 WITH SCORE 46069.992
AT ITER 1499 NEW BEST:: SOT 188343 SOS 114988 HAS SOPS 104940 HAS SOUS 47701 HAS SOUPS 45947 WITH SCORE 46061.988
AT ITER 1501 NEW BEST:: SOT 188343 SOS 114838 HAS SOPS 104790 HAS SOUS 47676 HAS SOUPS 45922 WITH SCORE 46036.838
AT ITER 1519 NEW BEST:: SOT 188415 SOS 113022 HAS SOPS 103246 HAS SOUS 47649 HAS SOUPS 45895 WITH SCORE 46008.022
AT ITER 1523 NEW BEST:: SOT 188415 SOS 113172 HAS SOPS 103396 HAS SOUS 47638 HAS SOUPS 45884 WITH SCORE 45997.172
AT ITER 1525 NEW BEST:: SOT 188415 SOS 113066 HAS SOPS 103290 HAS SOUS 47631 HAS SOUPS 45877 WITH SCORE 45990.066
AT ITER 1526 NEW BEST:: SOT 188380 SOS 113118 HAS SOPS 103389 HAS SOUS 47594 HAS SOUPS 45840 WITH SCORE 45953.118
AT ITER 1529 NEW BEST:: SOT 188380 SOS 113112 HAS SOPS 103383 HAS SOUS 47591 HAS SOUPS 45837 WITH SCORE 45950.112
AT ITER 1530 NEW BEST:: SOT 188380 SOS 112718 HAS SOPS 102989 HAS SOUS 47485 HAS SOUPS 45731 WITH SCORE 45843.718
AT ITER 1532 NEW BEST:: SOT 188380 SOS 112574 HAS SOPS 102845 HAS SOUS 47485 HAS SOUPS 45731 WITH SCORE 45843.574
AT ITER 1537 NEW BEST:: SOT 188380 SOS 112570 HAS SOPS 102841 HAS SOUS 47481 HAS SOUPS 45727 WITH SCORE 45839.57
AT ITER 1542 NEW BEST:: SOT 188380 SOS 112546 HAS SOPS 102817 HAS SOUS 47481 HAS SOUPS 45727 WITH SCORE 45839.546
AT ITER 1554 NEW BEST:: SOT 188380 SOS 112458 HAS SOPS 102729 HAS SOUS 47474 HAS SOUPS 45720 WITH SCORE 45832.458
AT ITER 1570 NEW BEST:: SOT 188380 SOS 110370 HAS SOPS 100887 HAS SOUS 47313 HAS SOUPS 45682 WITH SCORE 45792.37
AT ITER 1580 NEW BEST:: SOT 188380 SOS 110436 HAS SOPS 100917 HAS SOUS 47328 HAS SOUPS 45679 WITH SCORE 45789.436
AT ITER 1587 NEW BEST:: SOT 188380 SOS 110460 HAS SOPS 100941 HAS SOUS 47325 HAS SOUPS 45676 WITH SCORE 45786.46
AT ITER 1590 NEW BEST:: SOT 188380 SOS 110300 HAS SOPS 100781 HAS SOUS 47291 HAS SOUPS 45642 WITH SCORE 45752.3
AT ITER 1614 NEW BEST:: SOT 188380 SOS 110370 HAS SOPS 100851 HAS SOUS 47256 HAS SOUPS 45607 WITH SCORE 45717.37
AT ITER 1622 NEW BEST:: SOT 188380 SOS 110498 HAS SOPS 100867 HAS SOUS 47200 HAS SOUPS 45551 WITH SCORE 45661.498
AT ITER 1624 NEW BEST:: SOT 188380 SOS 110472 HAS SOPS 100841 HAS SOUS 47174 HAS SOUPS 45525 WITH SCORE 45635.472
AT ITER 1630 NEW BEST:: SOT 188380 SOS 110438 HAS SOPS 100807 HAS SOUS 47174 HAS SOUPS 45525 WITH SCORE 45635.438
AT ITER 1637 NEW BEST:: SOT 188380 SOS 110412 HAS SOPS 100781 HAS SOUS 47107 HAS SOUPS 45458 WITH SCORE 45568.412
AT ITER 1644 NEW BEST:: SOT 188380 SOS 110394 HAS SOPS 100763 HAS SOUS 47101 HAS SOUPS 45452 WITH SCORE 45562.394
AT ITER 1687 NEW BEST:: SOT 188380 SOS 110372 HAS SOPS 100741 HAS SOUS 47098 HAS SOUPS 45449 WITH SCORE 45559.372
AT ITER 1691 NEW BEST:: SOT 188364 SOS 110356 HAS SOPS 100709 HAS SOUS 47066 HAS SOUPS 45417 WITH SCORE 45527.356
AT ITER 1696 NEW BEST:: SOT 188364 SOS 110332 HAS SOPS 100685 HAS SOUS 47021 HAS SOUPS 45372 WITH SCORE 45482.332
AT ITER 1705 NEW BEST:: SOT 188364 SOS 110292 HAS SOPS 100449 HAS SOUS 47028 HAS SOUPS 45281 WITH SCORE 45391.292
AT ITER 1712 NEW BEST:: SOT 188364 SOS 110286 HAS SOPS 100443 HAS SOUS 47010 HAS SOUPS 45263 WITH SCORE 45373.286
AT ITER 1720 NEW BEST:: SOT 188364 SOS 110280 HAS SOPS 100431 HAS SOUS 47007 HAS SOUPS 45257 WITH SCORE 45367.28
AT ITER 1738 NEW BEST:: SOT 188364 SOS 110178 HAS SOPS 100329 HAS SOUS 46990 HAS SOUPS 45240 WITH SCORE 45350.178
AT ITER 1745 NEW BEST:: SOT 188364 SOS 110132 HAS SOPS 100283 HAS SOUS 46990 HAS SOUPS 45240 WITH SCORE 45350.132
AT ITER 1750 NEW BEST:: SOT 188364 SOS 110136 HAS SOPS 100287 HAS SOUS 46988 HAS SOUPS 45238 WITH SCORE 45348.136
AT ITER 1757 NEW BEST:: SOT 188364 SOS 110116 HAS SOPS 100267 HAS SOUS 46983 HAS SOUPS 45233 WITH SCORE 45343.116
AT ITER 1760 NEW BEST:: SOT 188364 SOS 109182 HAS SOPS 99620 HAS SOUS 46915 HAS SOUPS 45165 WITH SCORE 45274.182
AT ITER 1763 NEW BEST:: SOT 188364 SOS 108947 HAS SOPS 99385 HAS SOUS 46845 HAS SOUPS 45095 WITH SCORE 45203.947
AT ITER 1764 NEW BEST:: SOT 188364 SOS 108835 HAS SOPS 99209 HAS SOUS 46789 HAS SOUPS 45007 WITH SCORE 45115.835
AT ITER 1776 NEW BEST:: SOT 188364 SOS 109663 HAS SOPS 100037 HAS SOUS 46781 HAS SOUPS 44999 WITH SCORE 45108.663
AT ITER 1792 NEW BEST:: SOT 188368 SOS 109667 HAS SOPS 100035 HAS SOUS 46779 HAS SOUPS 44997 WITH SCORE 45106.667
AT ITER 1805 NEW BEST:: SOT 188368 SOS 109663 HAS SOPS 100035 HAS SOUS 46779 HAS SOUPS 44997 WITH SCORE 45106.663
AT ITER 1808 NEW BEST:: SOT 188368 SOS 109575 HAS SOPS 99947 HAS SOUS 46742 HAS SOUPS 44960 WITH SCORE 45069.575
AT ITER 1830 NEW BEST:: SOT 188368 SOS 109551 HAS SOPS 99923 HAS SOUS 46706 HAS SOUPS 44924 WITH SCORE 45033.551
AT ITER 1836 NEW BEST:: SOT 188368 SOS 109527 HAS SOPS 99887 HAS SOUS 46712 HAS SOUPS 44924 WITH SCORE 45033.527
AT ITER 1838 NEW BEST:: SOT 188289 SOS 109448 HAS SOPS 99598 HAS SOUS 46591 HAS SOUPS 44801 WITH SCORE 44910.448
AT ITER 1845 NEW BEST:: SOT 188289 SOS 109456 HAS SOPS 99584 HAS SOUS 46595 HAS SOUPS 44794 WITH SCORE 44903.456
AT ITER 1848 NEW BEST:: SOT 188407 SOS 109332 HAS SOPS 99298 HAS SOUS 46595 HAS SOUPS 44710 WITH SCORE 44819.332
AT ITER 1849 NEW BEST:: SOT 188407 SOS 109328 HAS SOPS 99294 HAS SOUS 46595 HAS SOUPS 44710 WITH SCORE 44819.328
AT ITER 1866 NEW BEST:: SOT 188407 SOS 109360 HAS SOPS 99326 HAS SOUS 46524 HAS SOUPS 44639 WITH SCORE 44748.36
AT ITER 1871 NEW BEST:: SOT 188407 SOS 109360 HAS SOPS 99308 HAS SOUS 46524 HAS SOUPS 44630 WITH SCORE 44739.36
AT ITER 1872 NEW BEST:: SOT 188407 SOS 109362 HAS SOPS 99310 HAS SOUS 46523 HAS SOUPS 44629 WITH SCORE 44738.362
AT ITER 1874 NEW BEST:: SOT 188427 SOS 109286 HAS SOPS 99230 HAS SOUS 46322 HAS SOUPS 44428 WITH SCORE 44537.286
AT ITER 1878 NEW BEST:: SOT 188427 SOS 108886 HAS SOPS 98830 HAS SOUS 46289 HAS SOUPS 44395 WITH SCORE 44503.886
AT ITER 1884 NEW BEST:: SOT 188427 SOS 108900 HAS SOPS 98844 HAS SOUS 46259 HAS SOUPS 44365 WITH SCORE 44473.9
AT ITER 1919 NEW BEST:: SOT 188417 SOS 108890 HAS SOPS 98812 HAS SOUS 46203 HAS SOUPS 44309 WITH SCORE 44417.89
AT ITER 1920 NEW BEST:: SOT 188417 SOS 108872 HAS SOPS 98794 HAS SOUS 46200 HAS SOUPS 44306 WITH SCORE 44414.872
AT ITER 1921 NEW BEST:: SOT 188417 SOS 108864 HAS SOPS 98786 HAS SOUS 46200 HAS SOUPS 44306 WITH SCORE 44414.864
AT ITER 1945 NEW BEST:: SOT 188420 SOS 108852 HAS SOPS 98755 HAS SOUS 46178 HAS SOUPS 44284 WITH SCORE 44392.852
AT ITER 1947 NEW BEST:: SOT 188572 SOS 108911 HAS SOPS 98817 HAS SOUS 46087 HAS SOUPS 44193 WITH SCORE 44301.911
AT ITER 1952 NEW BEST:: SOT 188572 SOS 108873 HAS SOPS 98817 HAS SOUS 46014 HAS SOUPS 44142 WITH SCORE 44250.873
AT ITER 1960 NEW BEST:: SOT 180443 SOS 102116 HAS SOPS 90654 HAS SOUS 44235 HAS SOUPS 42331 WITH SCORE 42433.116
AT ITER 1964 NEW BEST:: SOT 180428 SOS 102037 HAS SOPS 90643 HAS SOUS 44140 HAS SOUPS 42236 WITH SCORE 42338.037
AT ITER 1965 NEW BEST:: SOT 180414 SOS 102009 HAS SOPS 90615 HAS SOUS 44133 HAS SOUPS 42229 WITH SCORE 42331.009
AT ITER 1983 NEW BEST:: SOT 180414 SOS 101979 HAS SOPS 90615 HAS SOUS 44118 HAS SOUPS 42229 WITH SCORE 42330.979
AT ITER 1989 NEW BEST:: SOT 180414 SOS 101917 HAS SOPS 90553 HAS SOUS 44093 HAS SOUPS 42204 WITH SCORE 42305.917
AT ITER 2008 NEW BEST:: SOT 180380 SOS 101883 HAS SOPS 90487 HAS SOUS 44055 HAS SOUPS 42160 WITH SCORE 42261.883
AT ITER 2010 NEW BEST:: SOT 180380 SOS 101861 HAS SOPS 90465 HAS SOUS 44044 HAS SOUPS 42149 WITH SCORE 42250.861
AT ITER 2014 NEW BEST:: SOT 180410 SOS 100577 HAS SOPS 89661 HAS SOUS 44008 HAS SOUPS 42145 WITH SCORE 42245.577
AT ITER 2016 NEW BEST:: SOT 180376 SOS 100543 HAS SOPS 89543 HAS SOUS 43950 HAS SOUPS 42087 WITH SCORE 42187.543
AT ITER 2018 NEW BEST:: SOT 180376 SOS 100497 HAS SOPS 89497 HAS SOUS 43950 HAS SOUPS 42087 WITH SCORE 42187.497
AT ITER 2019 NEW BEST:: SOT 180376 SOS 100547 HAS SOPS 89547 HAS SOUS 43949 HAS SOUPS 42086 WITH SCORE 42186.547
AT ITER 2023 NEW BEST:: SOT 180376 SOS 100535 HAS SOPS 89535 HAS SOUS 43945 HAS SOUPS 42082 WITH SCORE 42182.535
AT ITER 2040 NEW BEST:: SOT 180376 SOS 100539 HAS SOPS 89577 HAS SOUS 43909 HAS SOUPS 42065 WITH SCORE 42165.539
AT ITER 2062 NEW BEST:: SOT 180376 SOS 100503 HAS SOPS 89541 HAS SOUS 43873 HAS SOUPS 42029 WITH SCORE 42129.503
AT ITER 2090 NEW BEST:: SOT 180376 SOS 100503 HAS SOPS 89523 HAS SOUS 43873 HAS SOUPS 42020 WITH SCORE 42120.503
AT ITER 2099 NEW BEST:: SOT 180415 SOS 100480 HAS SOPS 89358 HAS SOUS 43660 HAS SOUPS 41807 WITH SCORE 41907.48
AT ITER 2102 NEW BEST:: SOT 180415 SOS 100446 HAS SOPS 89324 HAS SOUS 43655 HAS SOUPS 41802 WITH SCORE 41902.446
AT ITER 2128 NEW BEST:: SOT 180415 SOS 100280 HAS SOPS 89158 HAS SOUS 43561 HAS SOUPS 41708 WITH SCORE 41808.28
AT ITER 2135 NEW BEST:: SOT 180425 SOS 99840 HAS SOPS 88868 HAS SOUS 43541 HAS SOUPS 41698 WITH SCORE 41797.84
AT ITER 2145 NEW BEST:: SOT 180423 SOS 99838 HAS SOPS 88864 HAS SOUS 43539 HAS SOUPS 41694 WITH SCORE 41793.838
AT ITER 2163 NEW BEST:: SOT 180423 SOS 99656 HAS SOPS 88850 HAS SOUS 43448 HAS SOUPS 41687 WITH SCORE 41786.656
AT ITER 2165 NEW BEST:: SOT 180423 SOS 99653 HAS SOPS 88847 HAS SOUS 43445 HAS SOUPS 41684 WITH SCORE 41783.653
AT ITER 2166 NEW BEST:: SOT 180423 SOS 99653 HAS SOPS 88847 HAS SOUS 43441 HAS SOUPS 41680 WITH SCORE 41779.653
AT ITER 2169 NEW BEST:: SOT 180423 SOS 99701 HAS SOPS 88895 HAS SOUS 43414 HAS SOUPS 41653 WITH SCORE 41752.701
AT ITER 2172 NEW BEST:: SOT 180423 SOS 99617 HAS SOPS 88811 HAS SOUS 43414 HAS SOUPS 41653 WITH SCORE 41752.617
AT ITER 2177 NEW BEST:: SOT 180423 SOS 99619 HAS SOPS 88811 HAS SOUS 43411 HAS SOUPS 41650 WITH SCORE 41749.619
AT ITER 2179 NEW BEST:: SOT 180423 SOS 99607 HAS SOPS 88799 HAS SOUS 43405 HAS SOUPS 41644 WITH SCORE 41743.607
AT ITER 2186 NEW BEST:: SOT 180423 SOS 99589 HAS SOPS 88781 HAS SOUS 43387 HAS SOUPS 41626 WITH SCORE 41725.589
AT ITER 2193 NEW BEST:: SOT 180423 SOS 99633 HAS SOPS 88803 HAS SOUS 43365 HAS SOUPS 41593 WITH SCORE 41692.633
AT ITER 2204 NEW BEST:: SOT 170951 SOS 92589 HAS SOPS 79491 HAS SOUS 38963 HAS SOUPS 37169 WITH SCORE 37261.589
AT ITER 2206 NEW BEST:: SOT 170951 SOS 92567 HAS SOPS 79469 HAS SOUS 38952 HAS SOUPS 37158 WITH SCORE 37250.567
AT ITER 2207 NEW BEST:: SOT 170951 SOS 92591 HAS SOPS 79481 HAS SOUS 38934 HAS SOUPS 37140 WITH SCORE 37232.591
AT ITER 2209 NEW BEST:: SOT 170951 SOS 92679 HAS SOPS 79569 HAS SOUS 38929 HAS SOUPS 37135 WITH SCORE 37227.679
AT ITER 2210 NEW BEST:: SOT 170951 SOS 92671 HAS SOPS 79561 HAS SOUS 38929 HAS SOUPS 37135 WITH SCORE 37227.671
AT ITER 2216 NEW BEST:: SOT 170907 SOS 92627 HAS SOPS 79567 HAS SOUS 38793 HAS SOUPS 36999 WITH SCORE 37091.627
AT ITER 2226 NEW BEST:: SOT 170903 SOS 92623 HAS SOPS 79559 HAS SOUS 38785 HAS SOUPS 36991 WITH SCORE 37083.623
AT ITER 2227 NEW BEST:: SOT 170903 SOS 92245 HAS SOPS 79127 HAS SOUS 38785 HAS SOUPS 36964 WITH SCORE 37056.245
AT ITER 2228 NEW BEST:: SOT 170903 SOS 92237 HAS SOPS 79119 HAS SOUS 38781 HAS SOUPS 36960 WITH SCORE 37052.237
AT ITER 2230 NEW BEST:: SOT 170903 SOS 92173 HAS SOPS 79055 HAS SOUS 38781 HAS SOUPS 36960 WITH SCORE 37052.173
AT ITER 2234 NEW BEST:: SOT 170903 SOS 92151 HAS SOPS 79033 HAS SOUS 38770 HAS SOUPS 36949 WITH SCORE 37041.151
AT ITER 2250 NEW BEST:: SOT 170597 SOS 91690 HAS SOPS 78506 HAS SOUS 38372 HAS SOUPS 36551 WITH SCORE 36642.69
AT ITER 2263 NEW BEST:: SOT 170597 SOS 90062 HAS SOPS 76878 HAS SOUS 38372 HAS SOUPS 36551 WITH SCORE 36641.062
AT ITER 2269 NEW BEST:: SOT 170518 SOS 89806 HAS SOPS 76817 HAS SOUS 38179 HAS SOUPS 36472 WITH SCORE 36561.806
AT ITER 2273 NEW BEST:: SOT 170480 SOS 89768 HAS SOPS 76705 HAS SOUS 38103 HAS SOUPS 36396 WITH SCORE 36485.768
AT ITER 2287 NEW BEST:: SOT 170480 SOS 89802 HAS SOPS 76739 HAS SOUS 38092 HAS SOUPS 36385 WITH SCORE 36474.802
AT ITER 2309 NEW BEST:: SOT 170480 SOS 89866 HAS SOPS 76803 HAS SOUS 38085 HAS SOUPS 36378 WITH SCORE 36467.866
AT ITER 2315 NEW BEST:: SOT 170480 SOS 89784 HAS SOPS 76803 HAS SOUS 38044 HAS SOUPS 36378 WITH SCORE 36467.784
AT ITER 2321 NEW BEST:: SOT 170476 SOS 89780 HAS SOPS 76795 HAS SOUS 38036 HAS SOUPS 36370 WITH SCORE 36459.78
AT ITER 2327 NEW BEST:: SOT 170546 SOS 89855 HAS SOPS 77003 HAS SOUS 37916 HAS SOUPS 36250 WITH SCORE 36339.855
AT ITER 2354 NEW BEST:: SOT 170534 SOS 89825 HAS SOPS 76973 HAS SOUS 37904 HAS SOUPS 36238 WITH SCORE 36327.825
AT ITER 2356 NEW BEST:: SOT 170534 SOS 89825 HAS SOPS 76973 HAS SOUS 37882 HAS SOUPS 36216 WITH SCORE 36305.825
AT ITER 2363 NEW BEST:: SOT 170551 SOS 89689 HAS SOPS 76762 HAS SOUS 37816 HAS SOUPS 36150 WITH SCORE 36239.689
AT ITER 2365 NEW BEST:: SOT 170551 SOS 89810 HAS SOPS 76798 HAS SOUS 37740 HAS SOUPS 36074 WITH SCORE 36163.81
AT ITER 2374 NEW BEST:: SOT 170551 SOS 89278 HAS SOPS 76266 HAS SOUS 37576 HAS SOUPS 35910 WITH SCORE 35999.278
AT ITER 2381 NEW BEST:: SOT 170551 SOS 89246 HAS SOPS 76222 HAS SOUS 37582 HAS SOUPS 35910 WITH SCORE 35999.246
AT ITER 2382 NEW BEST:: SOT 170424 SOS 88820 HAS SOPS 75745 HAS SOUS 37399 HAS SOUPS 35727 WITH SCORE 35815.82
AT ITER 2390 NEW BEST:: SOT 170430 SOS 88826 HAS SOPS 75757 HAS SOUS 37387 HAS SOUPS 35715 WITH SCORE 35803.826
AT ITER 2396 NEW BEST:: SOT 170430 SOS 88750 HAS SOPS 75745 HAS SOUS 37343 HAS SOUPS 35703 WITH SCORE 35791.75
AT ITER 2408 NEW BEST:: SOT 170414 SOS 88734 HAS SOPS 75713 HAS SOUS 37311 HAS SOUPS 35671 WITH SCORE 35759.734
AT ITER 2419 NEW BEST:: SOT 170527 SOS 85528 HAS SOPS 73732 HAS SOUS 37218 HAS SOUPS 35662 WITH SCORE 35747.528
AT ITER 2436 NEW BEST:: SOT 170527 SOS 85533 HAS SOPS 73737 HAS SOUS 37213 HAS SOUPS 35657 WITH SCORE 35742.533
AT ITER 2440 NEW BEST:: SOT 170527 SOS 85515 HAS SOPS 73575 HAS SOUS 37274 HAS SOUPS 35646 WITH SCORE 35731.515
AT ITER 2454 NEW BEST:: SOT 170485 SOS 85797 HAS SOPS 73652 HAS SOUS 37217 HAS SOUPS 35508 WITH SCORE 35593.797
AT ITER 2463 NEW BEST:: SOT 170485 SOS 85665 HAS SOPS 73532 HAS SOUS 37143 HAS SOUPS 35440 WITH SCORE 35525.665
AT ITER 2466 NEW BEST:: SOT 170396 SOS 85346 HAS SOPS 72967 HAS SOUS 37176 HAS SOUPS 35409 WITH SCORE 35494.346
AT ITER 2469 NEW BEST:: SOT 170260 SOS 85035 HAS SOPS 72341 HAS SOUS 37074 HAS SOUPS 35257 WITH SCORE 35342.035
AT ITER 2476 NEW BEST:: SOT 170581 SOS 84592 HAS SOPS 71658 HAS SOUS 37073 HAS SOUPS 35256 WITH SCORE 35340.592
AT ITER 2478 NEW BEST:: SOT 170503 SOS 84364 HAS SOPS 71406 HAS SOUS 36913 HAS SOUPS 35096 WITH SCORE 35180.364
AT ITER 2497 NEW BEST:: SOT 170503 SOS 84214 HAS SOPS 71256 HAS SOUS 36882 HAS SOUPS 35065 WITH SCORE 35149.214
AT ITER 2500 NEW BEST:: SOT 170503 SOS 84216 HAS SOPS 71258 HAS SOUS 36879 HAS SOUPS 35063 WITH SCORE 35147.216
AT ITER 2506 NEW BEST:: SOT 170893 SOS 84600 HAS SOPS 71464 HAS SOUS 36841 HAS SOUPS 35025 WITH SCORE 35109.6
AT ITER 2521 NEW BEST:: SOT 170893 SOS 84632 HAS SOPS 71496 HAS SOUS 36825 HAS SOUPS 35009 WITH SCORE 35093.632
AT ITER 2522 NEW BEST:: SOT 170702 SOS 84454 HAS SOPS 71364 HAS SOUS 36803 HAS SOUPS 34987 WITH SCORE 35071.454
AT ITER 2536 NEW BEST:: SOT 170702 SOS 84462 HAS SOPS 71372 HAS SOUS 36800 HAS SOUPS 34984 WITH SCORE 35068.462
AT ITER 2575 NEW BEST:: SOT 170702 SOS 84400 HAS SOPS 71370 HAS SOUS 36766 HAS SOUPS 34980 WITH SCORE 35064.4
AT ITER 2598 NEW BEST:: SOT 170544 SOS 84273 HAS SOPS 71308 HAS SOUS 36754 HAS SOUPS 34968 WITH SCORE 35052.273
AT ITER 2610 NEW BEST:: SOT 170548 SOS 84273 HAS SOPS 71304 HAS SOUS 36748 HAS SOUPS 34962 WITH SCORE 35046.273
AT ITER 2611 NEW BEST:: SOT 170548 SOS 84283 HAS SOPS 71314 HAS SOUS 36747 HAS SOUPS 34961 WITH SCORE 35045.283
AT ITER 2615 NEW BEST:: SOT 170548 SOS 84263 HAS SOPS 71304 HAS SOUS 36737 HAS SOUPS 34956 WITH SCORE 35040.263
AT ITER 2617 NEW BEST:: SOT 170548 SOS 84105 HAS SOPS 71146 HAS SOUS 36698 HAS SOUPS 34917 WITH SCORE 35001.105
AT ITER 2626 NEW BEST:: SOT 170548 SOS 84105 HAS SOPS 71138 HAS SOUS 36682 HAS SOUPS 34901 WITH SCORE 34985.105
AT ITER 2630 NEW BEST:: SOT 170548 SOS 83995 HAS SOPS 71028 HAS SOUS 36682 HAS SOUPS 34901 WITH SCORE 34984.995
AT ITER 2632 NEW BEST:: SOT 170548 SOS 83501 HAS SOPS 70534 HAS SOUS 36682 HAS SOUPS 34901 WITH SCORE 34984.501
AT ITER 2643 NEW BEST:: SOT 170548 SOS 83524 HAS SOPS 70557 HAS SOUS 36659 HAS SOUPS 34878 WITH SCORE 34961.524
AT ITER 2648 NEW BEST:: SOT 170653 SOS 81401 HAS SOPS 69386 HAS SOUS 36391 HAS SOUPS 34728 WITH SCORE 34809.401
AT ITER 2666 NEW BEST:: SOT 170653 SOS 81609 HAS SOPS 69362 HAS SOUS 36495 HAS SOUPS 34716 WITH SCORE 34797.609
AT ITER 2671 NEW BEST:: SOT 170667 SOS 81623 HAS SOPS 69376 HAS SOUS 36487 HAS SOUPS 34708 WITH SCORE 34789.623
AT ITER 2688 NEW BEST:: SOT 170667 SOS 81515 HAS SOPS 69340 HAS SOUS 36451 HAS SOUPS 34708 WITH SCORE 34789.515
AT ITER 2696 NEW BEST:: SOT 170667 SOS 81317 HAS SOPS 69142 HAS SOUS 36358 HAS SOUPS 34615 WITH SCORE 34696.317
AT ITER 2698 NEW BEST:: SOT 170731 SOS 80347 HAS SOPS 68570 HAS SOUS 36291 HAS SOUPS 34577 WITH SCORE 34657.347
AT ITER 2699 NEW BEST:: SOT 170731 SOS 80371 HAS SOPS 68594 HAS SOUS 36286 HAS SOUPS 34572 WITH SCORE 34652.371
AT ITER 2702 NEW BEST:: SOT 170703 SOS 80271 HAS SOPS 68568 HAS SOUS 36225 HAS SOUPS 34540 WITH SCORE 34620.271
AT ITER 2704 NEW BEST:: SOT 170649 SOS 80040 HAS SOPS 68433 HAS SOUS 36157 HAS SOUPS 34528 WITH SCORE 34608.04
AT ITER 2705 NEW BEST:: SOT 170791 SOS 79426 HAS SOPS 67569 HAS SOUS 35896 HAS SOUPS 34267 WITH SCORE 34346.426
AT ITER 2707 NEW BEST:: SOT 170791 SOS 79410 HAS SOPS 67543 HAS SOUS 35898 HAS SOUPS 34264 WITH SCORE 34343.41
AT ITER 2708 NEW BEST:: SOT 170791 SOS 79410 HAS SOPS 67543 HAS SOUS 35890 HAS SOUPS 34256 WITH SCORE 34335.41
AT ITER 2712 NEW BEST:: SOT 170791 SOS 79410 HAS SOPS 67543 HAS SOUS 35886 HAS SOUPS 34252 WITH SCORE 34331.41
AT ITER 2731 NEW BEST:: SOT 170791 SOS 79488 HAS SOPS 67621 HAS SOUS 35867 HAS SOUPS 34233 WITH SCORE 34312.488
AT ITER 2732 NEW BEST:: SOT 170791 SOS 79308 HAS SOPS 67441 HAS SOUS 35861 HAS SOUPS 34227 WITH SCORE 34306.308
AT ITER 2740 NEW BEST:: SOT 170791 SOS 79198 HAS SOPS 67331 HAS SOUS 35858 HAS SOUPS 34224 WITH SCORE 34303.198
AT ITER 2745 NEW BEST:: SOT 170791 SOS 79194 HAS SOPS 67327 HAS SOUS 35858 HAS SOUPS 34224 WITH SCORE 34303.194
AT ITER 2748 NEW BEST:: SOT 170791 SOS 79304 HAS SOPS 67437 HAS SOUS 35853 HAS SOUPS 34219 WITH SCORE 34298.304
AT ITER 2786 NEW BEST:: SOT 170791 SOS 79268 HAS SOPS 67407 HAS SOUS 35842 HAS SOUPS 34208 WITH SCORE 34287.268
AT ITER 2799 NEW BEST:: SOT 170763 SOS 79624 HAS SOPS 67624 HAS SOUS 35836 HAS SOUPS 34191 WITH SCORE 34270.624
AT ITER 2818 NEW BEST:: SOT 170702 SOS 79563 HAS SOPS 67563 HAS SOUS 35775 HAS SOUPS 34130 WITH SCORE 34209.563
AT ITER 2827 NEW BEST:: SOT 170696 SOS 79562 HAS SOPS 67561 HAS SOUS 35763 HAS SOUPS 34118 WITH SCORE 34197.562
AT ITER 2832 NEW BEST:: SOT 170696 SOS 79558 HAS SOPS 67547 HAS SOUS 35731 HAS SOUPS 34081 WITH SCORE 34160.558
AT ITER 2843 NEW BEST:: SOT 170696 SOS 79506 HAS SOPS 67417 HAS SOUS 35744 HAS SOUPS 34055 WITH SCORE 34134.506
AT ITER 2859 NEW BEST:: SOT 170684 SOS 79494 HAS SOPS 67425 HAS SOUS 35720 HAS SOUPS 34031 WITH SCORE 34110.494
AT ITER 2863 NEW BEST:: SOT 170782 SOS 79561 HAS SOPS 67425 HAS SOUS 35670 HAS SOUPS 33981 WITH SCORE 34060.561
AT ITER 2866 NEW BEST:: SOT 170754 SOS 79533 HAS SOPS 67398 HAS SOUS 35665 HAS SOUPS 33976 WITH SCORE 34055.533
AT ITER 2913 NEW BEST:: SOT 170754 SOS 79591 HAS SOPS 67460 HAS SOUS 35637 HAS SOUPS 33948 WITH SCORE 34027.591
AT ITER 2921 NEW BEST:: SOT 170918 SOS 79316 HAS SOPS 67021 HAS SOUS 35631 HAS SOUPS 33942 WITH SCORE 34021.316
AT ITER 2929 NEW BEST:: SOT 170914 SOS 79312 HAS SOPS 66927 HAS SOUS 35527 HAS SOUPS 33838 WITH SCORE 33917.312
AT ITER 2937 NEW BEST:: SOT 170914 SOS 79344 HAS SOPS 66959 HAS SOUS 35511 HAS SOUPS 33822 WITH SCORE 33901.344
AT ITER 2940 NEW BEST:: SOT 170914 SOS 79354 HAS SOPS 66925 HAS SOUS 35516 HAS SOUPS 33805 WITH SCORE 33884.354
AT ITER 2955 NEW BEST:: SOT 170914 SOS 79374 HAS SOPS 66945 HAS SOUS 35441 HAS SOUPS 33730 WITH SCORE 33809.374
AT ITER 2968 NEW BEST:: SOT 170914 SOS 79272 HAS SOPS 66843 HAS SOUS 35410 HAS SOUPS 33699 WITH SCORE 33778.272
AT ITER 2995 NEW BEST:: SOT 170914 SOS 79196 HAS SOPS 66767 HAS SOUS 35396 HAS SOUPS 33685 WITH SCORE 33764.196
AT ITER 2998 NEW BEST:: SOT 170908 SOS 79190 HAS SOPS 66761 HAS SOUS 35384 HAS SOUPS 33673 WITH SCORE 33752.19
AT ITER 3005 NEW BEST:: SOT 170908 SOS 79054 HAS SOPS 66625 HAS SOUS 35382 HAS SOUPS 33671 WITH SCORE 33750.054
AT ITER 3018 NEW BEST:: SOT 170902 SOS 78842 HAS SOPS 66368 HAS SOUS 35334 HAS SOUPS 33623 WITH SCORE 33701.842
AT ITER 3039 NEW BEST:: SOT 170902 SOS 78822 HAS SOPS 66348 HAS SOUS 35321 HAS SOUPS 33610 WITH SCORE 33688.822
AT ITER 3048 NEW BEST:: SOT 170902 SOS 79126 HAS SOPS 66652 HAS SOUS 35319 HAS SOUPS 33608 WITH SCORE 33687.126
AT ITER 3052 NEW BEST:: SOT 170902 SOS 79062 HAS SOPS 66612 HAS SOUS 35304 HAS SOUPS 33605 WITH SCORE 33684.062
AT ITER 3069 NEW BEST:: SOT 170902 SOS 78982 HAS SOPS 66532 HAS SOUS 35289 HAS SOUPS 33590 WITH SCORE 33668.982
AT ITER 3081 NEW BEST:: SOT 170902 SOS 78995 HAS SOPS 66545 HAS SOUS 35276 HAS SOUPS 33577 WITH SCORE 33655.995
AT ITER 3109 NEW BEST:: SOT 170902 SOS 79079 HAS SOPS 66629 HAS SOUS 35268 HAS SOUPS 33569 WITH SCORE 33648.079
AT ITER 3119 NEW BEST:: SOT 170902 SOS 79075 HAS SOPS 66625 HAS SOUS 35267 HAS SOUPS 33568 WITH SCORE 33647.075
AT ITER 3124 NEW BEST:: SOT 170902 SOS 79129 HAS SOPS 66679 HAS SOUS 35240 HAS SOUPS 33541 WITH SCORE 33620.129
AT ITER 3130 NEW BEST:: SOT 170902 SOS 79121 HAS SOPS 66671 HAS SOUS 35229 HAS SOUPS 33530 WITH SCORE 33609.121
AT ITER 3136 NEW BEST:: SOT 170902 SOS 79103 HAS SOPS 66657 HAS SOUS 35216 HAS SOUPS 33519 WITH SCORE 33598.103
AT ITER 3144 NEW BEST:: SOT 170900 SOS 79101 HAS SOPS 66653 HAS SOUS 35214 HAS SOUPS 33515 WITH SCORE 33594.101
AT ITER 3149 NEW BEST:: SOT 170888 SOS 78993 HAS SOPS 66545 HAS SOUS 35202 HAS SOUPS 33503 WITH SCORE 33581.993
AT ITER 3162 NEW BEST:: SOT 170888 SOS 78993 HAS SOPS 66531 HAS SOUS 35202 HAS SOUPS 33496 WITH SCORE 33574.993
AT ITER 3163 NEW BEST:: SOT 170888 SOS 78963 HAS SOPS 66501 HAS SOUS 35198 HAS SOUPS 33492 WITH SCORE 33570.963
AT ITER 3182 NEW BEST:: SOT 170888 SOS 78719 HAS SOPS 66257 HAS SOUS 35176 HAS SOUPS 33470 WITH SCORE 33548.719
AT ITER 3194 NEW BEST:: SOT 170888 SOS 78617 HAS SOPS 66155 HAS SOUS 35159 HAS SOUPS 33453 WITH SCORE 33531.617
AT ITER 3212 NEW BEST:: SOT 170888 SOS 78545 HAS SOPS 66083 HAS SOUS 35148 HAS SOUPS 33442 WITH SCORE 33520.545
AT ITER 3213 NEW BEST:: SOT 170881 SOS 78501 HAS SOPS 66024 HAS SOUS 35092 HAS SOUPS 33386 WITH SCORE 33464.501
AT ITER 3237 NEW BEST:: SOT 170881 SOS 78505 HAS SOPS 66028 HAS SOUS 35090 HAS SOUPS 33384 WITH SCORE 33462.505
AT ITER 3241 NEW BEST:: SOT 171026 SOS 78650 HAS SOPS 66251 HAS SOUS 35013 HAS SOUPS 33307 WITH SCORE 33385.65
AT ITER 3264 NEW BEST:: SOT 171026 SOS 78388 HAS SOPS 65989 HAS SOUS 34976 HAS SOUPS 33270 WITH SCORE 33348.388
AT ITER 3266 NEW BEST:: SOT 171026 SOS 78380 HAS SOPS 65969 HAS SOUS 34978 HAS SOUPS 33266 WITH SCORE 33344.38
AT ITER 3273 NEW BEST:: SOT 171026 SOS 78380 HAS SOPS 65969 HAS SOUS 34947 HAS SOUPS 33235 WITH SCORE 33313.38
AT ITER 3277 NEW BEST:: SOT 171016 SOS 78370 HAS SOPS 65949 HAS SOUS 34927 HAS SOUPS 33215 WITH SCORE 33293.37
AT ITER 3287 NEW BEST:: SOT 171016 SOS 78370 HAS SOPS 65949 HAS SOUS 34909 HAS SOUPS 33197 WITH SCORE 33275.37
AT ITER 3296 NEW BEST:: SOT 171018 SOS 78001 HAS SOPS 65576 HAS SOUS 34890 HAS SOUPS 33178 WITH SCORE 33256.001
AT ITER 3309 NEW BEST:: SOT 171025 SOS 78001 HAS SOPS 65492 HAS SOUS 34733 HAS SOUPS 33021 WITH SCORE 33099.001
AT ITER 3351 NEW BEST:: SOT 170974 SOS 77860 HAS SOPS 64869 HAS SOUS 34703 HAS SOUPS 32785 WITH SCORE 32862.86
AT ITER 3354 NEW BEST:: SOT 170974 SOS 77690 HAS SOPS 64789 HAS SOUS 34618 HAS SOUPS 32745 WITH SCORE 32822.69
AT ITER 3355 NEW BEST:: SOT 170974 SOS 77400 HAS SOPS 64557 HAS SOUS 34560 HAS SOUPS 32716 WITH SCORE 32793.4
AT ITER 3356 NEW BEST:: SOT 170960 SOS 77386 HAS SOPS 64529 HAS SOUS 34532 HAS SOUPS 32688 WITH SCORE 32765.386
AT ITER 3359 NEW BEST:: SOT 171080 SOS 77506 HAS SOPS 64505 HAS SOUS 34514 HAS SOUPS 32670 WITH SCORE 32747.506
AT ITER 3360 NEW BEST:: SOT 171210 SOS 77443 HAS SOPS 64285 HAS SOUS 34494 HAS SOUPS 32650 WITH SCORE 32727.443
AT ITER 3403 NEW BEST:: SOT 171210 SOS 77301 HAS SOPS 64143 HAS SOUS 34456 HAS SOUPS 32612 WITH SCORE 32689.301
AT ITER 3406 NEW BEST:: SOT 171210 SOS 77241 HAS SOPS 64083 HAS SOUS 34426 HAS SOUPS 32582 WITH SCORE 32659.241
AT ITER 3413 NEW BEST:: SOT 171208 SOS 77239 HAS SOPS 64080 HAS SOUS 34423 HAS SOUPS 32579 WITH SCORE 32656.239
AT ITER 3424 NEW BEST:: SOT 171208 SOS 77209 HAS SOPS 64050 HAS SOUS 34408 HAS SOUPS 32564 WITH SCORE 32641.209
AT ITER 3454 NEW BEST:: SOT 171208 SOS 77209 HAS SOPS 64070 HAS SOUS 34388 HAS SOUPS 32544 WITH SCORE 32621.209
AT ITER 3463 NEW BEST:: SOT 171208 SOS 77263 HAS SOPS 64124 HAS SOUS 34369 HAS SOUPS 32525 WITH SCORE 32602.263
AT ITER 3480 NEW BEST:: SOT 171088 SOS 77143 HAS SOPS 63996 HAS SOUS 34365 HAS SOUPS 32521 WITH SCORE 32598.143
AT ITER 3506 NEW BEST:: SOT 171016 SOS 77071 HAS SOPS 63938 HAS SOUS 34277 HAS SOUPS 32433 WITH SCORE 32510.071
AT ITER 3509 NEW BEST:: SOT 171038 SOS 77093 HAS SOPS 63926 HAS SOUS 34265 HAS SOUPS 32421 WITH SCORE 32498.093
AT ITER 3528 NEW BEST:: SOT 171045 SOS 77096 HAS SOPS 63809 HAS SOUS 34273 HAS SOUPS 32371 WITH SCORE 32448.096
AT ITER 3531 NEW BEST:: SOT 171239 SOS 77290 HAS SOPS 63959 HAS SOUS 34217 HAS SOUPS 32315 WITH SCORE 32392.29
AT ITER 3544 NEW BEST:: SOT 171244 SOS 77056 HAS SOPS 63634 HAS SOUS 34176 HAS SOUPS 32274 WITH SCORE 32351.056
AT ITER 3550 NEW BEST:: SOT 171244 SOS 77016 HAS SOPS 63594 HAS SOUS 34173 HAS SOUPS 32271 WITH SCORE 32348.016
AT ITER 3558 NEW BEST:: SOT 171217 SOS 76798 HAS SOPS 63349 HAS SOUS 34103 HAS SOUPS 32201 WITH SCORE 32277.798
AT ITER 3572 NEW BEST:: SOT 171163 SOS 76744 HAS SOPS 63241 HAS SOUS 34043 HAS SOUPS 32141 WITH SCORE 32217.744
AT ITER 3579 NEW BEST:: SOT 171163 SOS 76726 HAS SOPS 63223 HAS SOUS 34043 HAS SOUPS 32141 WITH SCORE 32217.726
AT ITER 3587 NEW BEST:: SOT 162774 SOS 76451 HAS SOPS 55884 HAS SOUS 33645 HAS SOUPS 31832 WITH SCORE 31908.451
AT ITER 3590 NEW BEST:: SOT 162774 SOS 76531 HAS SOPS 55964 HAS SOUS 33562 HAS SOUPS 31749 WITH SCORE 31825.531
AT ITER 3597 NEW BEST:: SOT 162774 SOS 76531 HAS SOPS 55964 HAS SOUS 33552 HAS SOUPS 31739 WITH SCORE 31815.531
AT ITER 3609 NEW BEST:: SOT 162774 SOS 76531 HAS SOPS 55964 HAS SOUS 33550 HAS SOUPS 31737 WITH SCORE 31813.531
AT ITER 3621 NEW BEST:: SOT 154465 SOS 79636 HAS SOPS 49604 HAS SOUS 30202 HAS SOUPS 28678 WITH SCORE 28757.636
AT ITER 3627 NEW BEST:: SOT 157505 SOS 76081 HAS SOPS 51132 HAS SOUS 28318 HAS SOUPS 26770 WITH SCORE 26846.081
AT ITER 3673 NEW BEST:: SOT 157505 SOS 76085 HAS SOPS 51136 HAS SOUS 28311 HAS SOUPS 26763 WITH SCORE 26839.085
AT ITER 3680 NEW BEST:: SOT 157515 SOS 76095 HAS SOPS 51156 HAS SOUS 28283 HAS SOUPS 26735 WITH SCORE 26811.095
AT ITER 3683 NEW BEST:: SOT 157475 SOS 76055 HAS SOPS 51058 HAS SOUS 28201 HAS SOUPS 26653 WITH SCORE 26729.055
AT ITER 3697 NEW BEST:: SOT 157481 SOS 76063 HAS SOPS 51070 HAS SOUS 28185 HAS SOUPS 26637 WITH SCORE 26713.063
AT ITER 3708 NEW BEST:: SOT 157471 SOS 76053 HAS SOPS 51050 HAS SOUS 28165 HAS SOUPS 26617 WITH SCORE 26693.053
AT ITER 3731 NEW BEST:: SOT 156685 SOS 75290 HAS SOPS 50439 HAS SOUS 27814 HAS SOUPS 26266 WITH SCORE 26341.29
AT ITER 3732 NEW BEST:: SOT 156707 SOS 75312 HAS SOPS 50334 HAS SOUS 27836 HAS SOUPS 26221 WITH SCORE 26296.312
AT ITER 3738 NEW BEST:: SOT 156707 SOS 75196 HAS SOPS 50218 HAS SOUS 27795 HAS SOUPS 26180 WITH SCORE 26255.196
AT ITER 3750 NEW BEST:: SOT 155903 SOS 75524 HAS SOPS 49608 HAS SOUS 27168 HAS SOUPS 25619 WITH SCORE 25694.524
AT ITER 3763 NEW BEST:: SOT 155903 SOS 75481 HAS SOPS 49543 HAS SOUS 27168 HAS SOUPS 25608 WITH SCORE 25683.481
AT ITER 3764 NEW BEST:: SOT 155846 SOS 75424 HAS SOPS 49538 HAS SOUS 27059 HAS SOUPS 25499 WITH SCORE 25574.424
AT ITER 3777 NEW BEST:: SOT 154779 SOS 74439 HAS SOPS 49095 HAS SOUS 26816 HAS SOUPS 25415 WITH SCORE 25489.439
AT ITER 3784 NEW BEST:: SOT 154791 SOS 74451 HAS SOPS 49189 HAS SOUS 26792 HAS SOUPS 25391 WITH SCORE 25465.451
AT ITER 3794 NEW BEST:: SOT 154791 SOS 74451 HAS SOPS 49185 HAS SOUS 26790 HAS SOUPS 25387 WITH SCORE 25461.451
AT ITER 3795 NEW BEST:: SOT 154723 SOS 74383 HAS SOPS 49673 HAS SOUS 26668 HAS SOUPS 25265 WITH SCORE 25339.383
AT ITER 3798 NEW BEST:: SOT 154723 SOS 74378 HAS SOPS 49668 HAS SOUS 26658 HAS SOUPS 25255 WITH SCORE 25329.378
AT ITER 3819 NEW BEST:: SOT 154614 SOS 74269 HAS SOPS 49555 HAS SOUS 26485 HAS SOUPS 25082 WITH SCORE 25156.269
AT ITER 3834 NEW BEST:: SOT 154584 SOS 74186 HAS SOPS 49457 HAS SOUS 26413 HAS SOUPS 25010 WITH SCORE 25084.186
AT ITER 3850 NEW BEST:: SOT 154566 SOS 74168 HAS SOPS 49521 HAS SOUS 26399 HAS SOUPS 24996 WITH SCORE 25070.168
AT ITER 3921 NEW BEST:: SOT 154520 SOS 74122 HAS SOPS 49429 HAS SOUS 26369 HAS SOUPS 24966 WITH SCORE 25040.122
AT ITER 3931 NEW BEST:: SOT 154539 SOS 74117 HAS SOPS 49368 HAS SOUS 26320 HAS SOUPS 24917 WITH SCORE 24991.117
AT ITER 3940 NEW BEST:: SOT 154539 SOS 74103 HAS SOPS 49354 HAS SOUS 26315 HAS SOUPS 24912 WITH SCORE 24986.103
AT ITER 3942 NEW BEST:: SOT 154539 SOS 74079 HAS SOPS 49330 HAS SOUS 26315 HAS SOUPS 24912 WITH SCORE 24986.079
AT ITER 3981 NEW BEST:: SOT 154511 SOS 74051 HAS SOPS 49372 HAS SOUS 26307 HAS SOUPS 24904 WITH SCORE 24978.051
AT ITER 4039 NEW BEST:: SOT 154511 SOS 74051 HAS SOPS 49372 HAS SOUS 26305 HAS SOUPS 24902 WITH SCORE 24976.051
AT ITER 4041 NEW BEST:: SOT 154498 SOS 73975 HAS SOPS 49161 HAS SOUS 26127 HAS SOUPS 24724 WITH SCORE 24797.975
AT ITER 4051 NEW BEST:: SOT 154493 SOS 73970 HAS SOPS 49156 HAS SOUS 26122 HAS SOUPS 24719 WITH SCORE 24792.97
AT ITER 4064 NEW BEST:: SOT 154479 SOS 73956 HAS SOPS 49156 HAS SOUS 26122 HAS SOUPS 24719 WITH SCORE 24792.956
AT ITER 4065 NEW BEST:: SOT 154427 SOS 73904 HAS SOPS 49052 HAS SOUS 26051 HAS SOUPS 24648 WITH SCORE 24721.904
AT ITER 4067 NEW BEST:: SOT 154407 SOS 73818 HAS SOPS 48911 HAS SOUS 25974 HAS SOUPS 24571 WITH SCORE 24644.818
AT ITER 4073 NEW BEST:: SOT 154401 SOS 73812 HAS SOPS 48899 HAS SOUS 25954 HAS SOUPS 24551 WITH SCORE 24624.812
AT ITER 4111 NEW BEST:: SOT 154068 SOS 73425 HAS SOPS 48456 HAS SOUS 25747 HAS SOUPS 24344 WITH SCORE 24417.425
AT ITER 4114 NEW BEST:: SOT 154068 SOS 73381 HAS SOPS 48456 HAS SOUS 25725 HAS SOUPS 24344 WITH SCORE 24417.381
AT ITER 4134 NEW BEST:: SOT 154068 SOS 73389 HAS SOPS 48464 HAS SOUS 25724 HAS SOUPS 24343 WITH SCORE 24416.389
AT ITER 4204 NEW BEST:: SOT 154888 SOS 74286 HAS SOPS 49021 HAS SOUS 25711 HAS SOUPS 24171 WITH SCORE 24245.286
AT ITER 4208 NEW BEST:: SOT 154888 SOS 74280 HAS SOPS 49015 HAS SOUS 25711 HAS SOUPS 24171 WITH SCORE 24245.28
AT ITER 4216 NEW BEST:: SOT 154888 SOS 74278 HAS SOPS 49015 HAS SOUS 25710 HAS SOUPS 24171 WITH SCORE 24245.278
AT ITER 4217 NEW BEST:: SOT 154978 SOS 74368 HAS SOPS 49069 HAS SOUS 25692 HAS SOUPS 24153 WITH SCORE 24227.368
AT ITER 4221 NEW BEST:: SOT 154978 SOS 74358 HAS SOPS 49059 HAS SOUS 25692 HAS SOUPS 24153 WITH SCORE 24227.358
AT ITER 4225 NEW BEST:: SOT 154978 SOS 74298 HAS SOPS 48999 HAS SOUS 25682 HAS SOUPS 24143 WITH SCORE 24217.298
AT ITER 4286 NEW BEST:: SOT 154609 SOS 73929 HAS SOPS 48630 HAS SOUS 25294 HAS SOUPS 23755 WITH SCORE 23828.929
AT ITER 4291 NEW BEST:: SOT 154571 SOS 73891 HAS SOPS 48612 HAS SOUS 25274 HAS SOUPS 23737 WITH SCORE 23810.891
AT ITER 4329 NEW BEST:: SOT 154522 SOS 73904 HAS SOPS 48625 HAS SOUS 25216 HAS SOUPS 23679 WITH SCORE 23752.904
AT ITER 4352 NEW BEST:: SOT 154522 SOS 73860 HAS SOPS 48581 HAS SOUS 25202 HAS SOUPS 23665 WITH SCORE 23738.86
AT ITER 4377 NEW BEST:: SOT 154472 SOS 73890 HAS SOPS 48611 HAS SOUS 25190 HAS SOUPS 23653 WITH SCORE 23726.89
AT ITER 4416 NEW BEST:: SOT 154454 SOS 73872 HAS SOPS 48575 HAS SOUS 25154 HAS SOUPS 23617 WITH SCORE 23690.872
AT ITER 4438 NEW BEST:: SOT 154448 SOS 73866 HAS SOPS 48547 HAS SOUS 25138 HAS SOUPS 23601 WITH SCORE 23674.866
AT ITER 4469 NEW BEST:: SOT 154422 SOS 73840 HAS SOPS 48775 HAS SOUS 25122 HAS SOUPS 23585 WITH SCORE 23658.84
AT ITER 4486 NEW BEST:: SOT 154422 SOS 73838 HAS SOPS 48775 HAS SOUS 25120 HAS SOUPS 23584 WITH SCORE 23657.838
AT ITER 4519 NEW BEST:: SOT 154422 SOS 73782 HAS SOPS 48777 HAS SOUS 25083 HAS SOUPS 23579 WITH SCORE 23652.782
AT ITER 4522 NEW BEST:: SOT 154422 SOS 73787 HAS SOPS 48782 HAS SOUS 25078 HAS SOUPS 23574 WITH SCORE 23647.787
AT ITER 4539 NEW BEST:: SOT 154422 SOS 73741 HAS SOPS 48762 HAS SOUS 25055 HAS SOUPS 23564 WITH SCORE 23637.741
AT ITER 4544 NEW BEST:: SOT 154410 SOS 73729 HAS SOPS 48750 HAS SOUS 25043 HAS SOUPS 23552 WITH SCORE 23625.729
AT ITER 4546 NEW BEST:: SOT 154398 SOS 73717 HAS SOPS 48712 HAS SOUS 24993 HAS SOUPS 23502 WITH SCORE 23575.717
AT ITER 4584 NEW BEST:: SOT 154474 SOS 73793 HAS SOPS 48832 HAS SOUS 24911 HAS SOUPS 23420 WITH SCORE 23493.793
AT ITER 4598 NEW BEST:: SOT 154474 SOS 73646 HAS SOPS 48685 HAS SOUS 24874 HAS SOUPS 23383 WITH SCORE 23456.646
AT ITER 4641 NEW BEST:: SOT 154474 SOS 73644 HAS SOPS 48681 HAS SOUS 24874 HAS SOUPS 23382 WITH SCORE 23455.644
AT ITER 4677 NEW BEST:: SOT 154474 SOS 73602 HAS SOPS 48639 HAS SOUS 24874 HAS SOUPS 23382 WITH SCORE 23455.602
AT ITER 4681 NEW BEST:: SOT 154474 SOS 73572 HAS SOPS 48609 HAS SOUS 24874 HAS SOUPS 23382 WITH SCORE 23455.572
AT ITER 4701 NEW BEST:: SOT 154378 SOS 73476 HAS SOPS 48337 HAS SOUS 24710 HAS SOUPS 23218 WITH SCORE 23291.476
AT ITER 4714 NEW BEST:: SOT 154378 SOS 73432 HAS SOPS 48293 HAS SOUS 24687 HAS SOUPS 23195 WITH SCORE 23268.432
AT ITER 4725 NEW BEST:: SOT 154378 SOS 73422 HAS SOPS 48283 HAS SOUS 24687 HAS SOUPS 23195 WITH SCORE 23268.422
AT ITER 4751 NEW BEST:: SOT 154370 SOS 73414 HAS SOPS 48275 HAS SOUS 24679 HAS SOUPS 23187 WITH SCORE 23260.414
AT ITER 4769 NEW BEST:: SOT 154306 SOS 73467 HAS SOPS 48301 HAS SOUS 24583 HAS SOUPS 23091 WITH SCORE 23164.467
AT ITER 4790 NEW BEST:: SOT 154332 SOS 73493 HAS SOPS 48395 HAS SOUS 24581 HAS SOUPS 23089 WITH SCORE 23162.493
AT ITER 4814 NEW BEST:: SOT 154332 SOS 73521 HAS SOPS 48423 HAS SOUS 24579 HAS SOUPS 23087 WITH SCORE 23160.521
AT ITER 4834 NEW BEST:: SOT 154318 SOS 73507 HAS SOPS 48359 HAS SOUS 24565 HAS SOUPS 23073 WITH SCORE 23146.507
AT ITER 4844 NEW BEST:: SOT 154312 SOS 73501 HAS SOPS 48301 HAS SOUS 24553 HAS SOUPS 23061 WITH SCORE 23134.501
AT ITER 4904 NEW BEST:: SOT 154424 SOS 73613 HAS SOPS 48393 HAS SOUS 24531 HAS SOUPS 23039 WITH SCORE 23112.613
AT ITER 4907 NEW BEST:: SOT 154364 SOS 73553 HAS SOPS 48273 HAS SOUS 24381 HAS SOUPS 22889 WITH SCORE 22962.553
AT ITER 4916 NEW BEST:: SOT 154364 SOS 73393 HAS SOPS 48113 HAS SOUS 24381 HAS SOUPS 22889 WITH SCORE 22962.393
AT ITER 4936 NEW BEST:: SOT 154364 SOS 73387 HAS SOPS 48107 HAS SOUS 24378 HAS SOUPS 22886 WITH SCORE 22959.387
AT ITER 4943 NEW BEST:: SOT 154368 SOS 73391 HAS SOPS 48115 HAS SOUS 24366 HAS SOUPS 22874 WITH SCORE 22947.391
AT ITER 4953 NEW BEST:: SOT 154368 SOS 73464 HAS SOPS 48089 HAS SOUS 24364 HAS SOUPS 22817 WITH SCORE 22890.464
AT ITER 4956 NEW BEST:: SOT 154382 SOS 73478 HAS SOPS 48091 HAS SOUS 24356 HAS SOUPS 22809 WITH SCORE 22882.478
AT ITER 4976 NEW BEST:: SOT 153712 SOS 72808 HAS SOPS 47669 HAS SOUS 24346 HAS SOUPS 22799 WITH SCORE 22871.808
AT ITER 4982 NEW BEST:: SOT 153702 SOS 72798 HAS SOPS 47659 HAS SOUS 24326 HAS SOUPS 22779 WITH SCORE 22851.798
AT ITER 4985 NEW BEST:: SOT 153557 SOS 72522 HAS SOPS 47514 HAS SOUS 24162 HAS SOUPS 22626 WITH SCORE 22698.522
AT ITER 4995 NEW BEST:: SOT 153557 SOS 72518 HAS SOPS 47510 HAS SOUS 24161 HAS SOUPS 22625 WITH SCORE 22697.518
AT ITER 5003 NEW BEST:: SOT 153559 SOS 72520 HAS SOPS 47514 HAS SOUS 24131 HAS SOUPS 22595 WITH SCORE 22667.52
AT ITER 5011 NEW BEST:: SOT 153595 SOS 72556 HAS SOPS 47274 HAS SOUS 24123 HAS SOUPS 22587 WITH SCORE 22659.556
AT ITER 5059 NEW BEST:: SOT 153595 SOS 72518 HAS SOPS 47236 HAS SOUS 24123 HAS SOUPS 22587 WITH SCORE 22659.518
AT ITER 5102 NEW BEST:: SOT 153595 SOS 72512 HAS SOPS 47230 HAS SOUS 24120 HAS SOUPS 22584 WITH SCORE 22656.512
AT ITER 5114 NEW BEST:: SOT 153595 SOS 72522 HAS SOPS 47240 HAS SOUS 24116 HAS SOUPS 22580 WITH SCORE 22652.522
AT ITER 5209 NEW BEST:: SOT 153586 SOS 72524 HAS SOPS 47229 HAS SOUS 24106 HAS SOUPS 22569 WITH SCORE 22641.524
AT ITER 5210 NEW BEST:: SOT 153586 SOS 72474 HAS SOPS 47179 HAS SOUS 24094 HAS SOUPS 22557 WITH SCORE 22629.474
AT ITER 5221 NEW BEST:: SOT 153484 SOS 72372 HAS SOPS 47059 HAS SOUS 23978 HAS SOUPS 22441 WITH SCORE 22513.372
AT ITER 5230 NEW BEST:: SOT 153484 SOS 72380 HAS SOPS 47067 HAS SOUS 23977 HAS SOUPS 22440 WITH SCORE 22512.38
AT ITER 5233 NEW BEST:: SOT 153484 SOS 72400 HAS SOPS 47087 HAS SOUS 23938 HAS SOUPS 22401 WITH SCORE 22473.4
AT ITER 5283 NEW BEST:: SOT 153504 SOS 72420 HAS SOPS 47117 HAS SOUS 23928 HAS SOUPS 22391 WITH SCORE 22463.42
AT ITER 5303 NEW BEST:: SOT 153472 SOS 72388 HAS SOPS 47149 HAS SOUS 23912 HAS SOUPS 22375 WITH SCORE 22447.388
AT ITER 5323 NEW BEST:: SOT 153470 SOS 72386 HAS SOPS 47167 HAS SOUS 23912 HAS SOUPS 22375 WITH SCORE 22447.386
AT ITER 5347 NEW BEST:: SOT 153470 SOS 72376 HAS SOPS 47149 HAS SOUS 23907 HAS SOUPS 22366 WITH SCORE 22438.376
AT ITER 5369 NEW BEST:: SOT 153480 SOS 72386 HAS SOPS 47153 HAS SOUS 23903 HAS SOUPS 22362 WITH SCORE 22434.386
AT ITER 5380 NEW BEST:: SOT 153480 SOS 72386 HAS SOPS 47153 HAS SOUS 23901 HAS SOUPS 22360 WITH SCORE 22432.386
AT ITER 5400 NEW BEST:: SOT 153484 SOS 72417 HAS SOPS 47125 HAS SOUS 23918 HAS SOUPS 22344 WITH SCORE 22416.417
AT ITER 5401 NEW BEST:: SOT 153501 SOS 72434 HAS SOPS 47103 HAS SOUS 23916 HAS SOUPS 22342 WITH SCORE 22414.434
AT ITER 5413 NEW BEST:: SOT 153501 SOS 72372 HAS SOPS 47041 HAS SOUS 23900 HAS SOUPS 22326 WITH SCORE 22398.372
AT ITER 5430 NEW BEST:: SOT 153483 SOS 72354 HAS SOPS 47005 HAS SOUS 23866 HAS SOUPS 22290 WITH SCORE 22362.354
AT ITER 5431 NEW BEST:: SOT 153483 SOS 72434 HAS SOPS 46997 HAS SOUS 23906 HAS SOUPS 22286 WITH SCORE 22358.434
AT ITER 5447 NEW BEST:: SOT 153471 SOS 72422 HAS SOPS 46979 HAS SOUS 23888 HAS SOUPS 22268 WITH SCORE 22340.422
AT ITER 5454 NEW BEST:: SOT 153471 SOS 72458 HAS SOPS 46915 HAS SOUS 23644 HAS SOUPS 22024 WITH SCORE 22096.458
AT ITER 5456 NEW BEST:: SOT 153471 SOS 72544 HAS SOPS 46955 HAS SOUS 23664 HAS SOUPS 22021 WITH SCORE 22093.544
AT ITER 5473 NEW BEST:: SOT 153471 SOS 72490 HAS SOPS 46923 HAS SOUS 23613 HAS SOUPS 21981 WITH SCORE 22053.49
AT ITER 5483 NEW BEST:: SOT 153465 SOS 72484 HAS SOPS 46917 HAS SOUS 23601 HAS SOUPS 21969 WITH SCORE 22041.484
AT ITER 5509 NEW BEST:: SOT 153481 SOS 72500 HAS SOPS 46893 HAS SOUS 23593 HAS SOUPS 21961 WITH SCORE 22033.5
AT ITER 5562 NEW BEST:: SOT 153481 SOS 72408 HAS SOPS 46801 HAS SOUS 23543 HAS SOUPS 21911 WITH SCORE 21983.408
AT ITER 5574 NEW BEST:: SOT 153481 SOS 72386 HAS SOPS 46801 HAS SOUS 23532 HAS SOUPS 21911 WITH SCORE 21983.386
AT ITER 5608 NEW BEST:: SOT 153239 SOS 72144 HAS SOPS 46513 HAS SOUS 23458 HAS SOUPS 21837 WITH SCORE 21909.144
AT ITER 5627 NEW BEST:: SOT 153233 SOS 72138 HAS SOPS 46501 HAS SOUS 23446 HAS SOUPS 21825 WITH SCORE 21897.138
AT ITER 5630 NEW BEST:: SOT 153271 SOS 72176 HAS SOPS 46465 HAS SOUS 23414 HAS SOUPS 21793 WITH SCORE 21865.176
AT ITER 5648 NEW BEST:: SOT 153271 SOS 72042 HAS SOPS 46331 HAS SOUS 23347 HAS SOUPS 21726 WITH SCORE 21798.042
AT ITER 5707 NEW BEST:: SOT 153271 SOS 72040 HAS SOPS 46331 HAS SOUS 23346 HAS SOUPS 21726 WITH SCORE 21798.04
AT ITER 5752 NEW BEST:: SOT 153265 SOS 72034 HAS SOPS 46325 HAS SOUS 23340 HAS SOUPS 21720 WITH SCORE 21792.034
AT ITER 5765 NEW BEST:: SOT 153265 SOS 72112 HAS SOPS 46377 HAS SOUS 23327 HAS SOUPS 21694 WITH SCORE 21766.112
AT ITER 5771 NEW BEST:: SOT 153265 SOS 72158 HAS SOPS 46315 HAS SOUS 23377 HAS SOUPS 21690 WITH SCORE 21762.158
AT ITER 5776 NEW BEST:: SOT 153265 SOS 72158 HAS SOPS 46313 HAS SOUS 23375 HAS SOUPS 21688 WITH SCORE 21760.158
AT ITER 5834 NEW BEST:: SOT 153249 SOS 72142 HAS SOPS 46293 HAS SOUS 23355 HAS SOUPS 21668 WITH SCORE 21740.142
AT ITER 5874 NEW BEST:: SOT 153107 SOS 72303 HAS SOPS 46667 HAS SOUS 23323 HAS SOUPS 21636 WITH SCORE 21708.303
AT ITER 5879 NEW BEST:: SOT 153107 SOS 72399 HAS SOPS 46763 HAS SOUS 23317 HAS SOUPS 21630 WITH SCORE 21702.399
AT ITER 5891 NEW BEST:: SOT 153103 SOS 72395 HAS SOPS 46759 HAS SOUS 23313 HAS SOUPS 21626 WITH SCORE 21698.395
AT ITER 5893 NEW BEST:: SOT 153103 SOS 72395 HAS SOPS 46775 HAS SOUS 23297 HAS SOUPS 21610 WITH SCORE 21682.395
AT ITER 5895 NEW BEST:: SOT 153085 SOS 72404 HAS SOPS 46751 HAS SOUS 23283 HAS SOUPS 21596 WITH SCORE 21668.404
AT ITER 5943 NEW BEST:: SOT 153085 SOS 72374 HAS SOPS 46749 HAS SOUS 23268 HAS SOUPS 21595 WITH SCORE 21667.374
AT ITER 5962 NEW BEST:: SOT 153085 SOS 72356 HAS SOPS 46731 HAS SOUS 23268 HAS SOUPS 21595 WITH SCORE 21667.356
AT ITER 5985 NEW BEST:: SOT 153085 SOS 72328 HAS SOPS 46703 HAS SOUS 23260 HAS SOUPS 21587 WITH SCORE 21659.328
AT ITER 5990 NEW BEST:: SOT 153085 SOS 72328 HAS SOPS 46703 HAS SOUS 23248 HAS SOUPS 21575 WITH SCORE 21647.328
AT ITER 6013 NEW BEST:: SOT 153085 SOS 72360 HAS SOPS 46735 HAS SOUS 23238 HAS SOUPS 21565 WITH SCORE 21637.36
AT ITER 6052 NEW BEST:: SOT 153071 SOS 72346 HAS SOPS 46707 HAS SOUS 23210 HAS SOUPS 21537 WITH SCORE 21609.346
AT ITER 6105 NEW BEST:: SOT 153071 SOS 72340 HAS SOPS 46701 HAS SOUS 23208 HAS SOUPS 21535 WITH SCORE 21607.34
AT ITER 6125 NEW BEST:: SOT 153053 SOS 72322 HAS SOPS 46617 HAS SOUS 23138 HAS SOUPS 21465 WITH SCORE 21537.322
AT ITER 6136 NEW BEST:: SOT 153053 SOS 72330 HAS SOPS 46617 HAS SOUS 23138 HAS SOUPS 21461 WITH SCORE 21533.33
AT ITER 6158 NEW BEST:: SOT 152967 SOS 72244 HAS SOPS 46529 HAS SOUS 23124 HAS SOUPS 21447 WITH SCORE 21519.244
AT ITER 6167 NEW BEST:: SOT 153023 SOS 71845 HAS SOPS 45748 HAS SOUS 23068 HAS SOUPS 21391 WITH SCORE 21462.845
AT ITER 6174 NEW BEST:: SOT 153009 SOS 71831 HAS SOPS 45720 HAS SOUS 23040 HAS SOUPS 21363 WITH SCORE 21434.831
AT ITER 6180 NEW BEST:: SOT 152977 SOS 71799 HAS SOPS 45796 HAS SOUS 23040 HAS SOUPS 21363 WITH SCORE 21434.799
AT ITER 6212 NEW BEST:: SOT 152977 SOS 71799 HAS SOPS 45782 HAS SOUS 23026 HAS SOUPS 21349 WITH SCORE 21420.799
AT ITER 6226 NEW BEST:: SOT 152970 SOS 71792 HAS SOPS 45775 HAS SOUS 23019 HAS SOUPS 21342 WITH SCORE 21413.792
AT ITER 6246 NEW BEST:: SOT 152970 SOS 71790 HAS SOPS 45773 HAS SOUS 23019 HAS SOUPS 21342 WITH SCORE 21413.79
AT ITER 6306 NEW BEST:: SOT 152970 SOS 71790 HAS SOPS 45773 HAS SOUS 22989 HAS SOUPS 21312 WITH SCORE 21383.79
AT ITER 6373 NEW BEST:: SOT 152970 SOS 71778 HAS SOPS 45761 HAS SOUS 22983 HAS SOUPS 21306 WITH SCORE 21377.778
AT ITER 6379 NEW BEST:: SOT 152970 SOS 71700 HAS SOPS 45683 HAS SOUS 22969 HAS SOUPS 21292 WITH SCORE 21363.7
AT ITER 6403 NEW BEST:: SOT 152954 SOS 71684 HAS SOPS 45677 HAS SOUS 22959 HAS SOUPS 21286 WITH SCORE 21357.684
AT ITER 6425 NEW BEST:: SOT 152934 SOS 71664 HAS SOPS 45685 HAS SOUS 22939 HAS SOUPS 21274 WITH SCORE 21345.664
AT ITER 6473 NEW BEST:: SOT 152934 SOS 71592 HAS SOPS 45613 HAS SOUS 22925 HAS SOUPS 21260 WITH SCORE 21331.592
AT ITER 6503 NEW BEST:: SOT 152934 SOS 71584 HAS SOPS 45605 HAS SOUS 22922 HAS SOUPS 21257 WITH SCORE 21328.584
AT ITER 6516 NEW BEST:: SOT 152966 SOS 71616 HAS SOPS 45659 HAS SOUS 22912 HAS SOUPS 21247 WITH SCORE 21318.616
AT ITER 6543 NEW BEST:: SOT 152940 SOS 71590 HAS SOPS 45581 HAS SOUS 22912 HAS SOUPS 21247 WITH SCORE 21318.59
AT ITER 6590 NEW BEST:: SOT 152940 SOS 71662 HAS SOPS 45653 HAS SOUS 22909 HAS SOUPS 21244 WITH SCORE 21315.662
AT ITER 6636 NEW BEST:: SOT 152940 SOS 71658 HAS SOPS 45649 HAS SOUS 22907 HAS SOUPS 21242 WITH SCORE 21313.658
AT ITER 6680 NEW BEST:: SOT 152940 SOS 71632 HAS SOPS 45641 HAS SOUS 22894 HAS SOUPS 21238 WITH SCORE 21309.632
AT ITER 6702 NEW BEST:: SOT 152940 SOS 71674 HAS SOPS 45651 HAS SOUS 22909 HAS SOUPS 21237 WITH SCORE 21308.674
AT ITER 6719 NEW BEST:: SOT 152924 SOS 71658 HAS SOPS 45635 HAS SOUS 22893 HAS SOUPS 21221 WITH SCORE 21292.658
AT ITER 6728 NEW BEST:: SOT 152924 SOS 71708 HAS SOPS 45685 HAS SOUS 22870 HAS SOUPS 21198 WITH SCORE 21269.708
AT ITER 6819 NEW BEST:: SOT 152920 SOS 71704 HAS SOPS 45677 HAS SOUS 22858 HAS SOUPS 21186 WITH SCORE 21257.704
AT ITER 6853 NEW BEST:: SOT 152920 SOS 71702 HAS SOPS 45675 HAS SOUS 22858 HAS SOUPS 21186 WITH SCORE 21257.702
AT ITER 6869 NEW BEST:: SOT 152936 SOS 71722 HAS SOPS 45681 HAS SOUS 22853 HAS SOUPS 21181 WITH SCORE 21252.722
AT ITER 6913 NEW BEST:: SOT 152936 SOS 71662 HAS SOPS 45621 HAS SOUS 22853 HAS SOUPS 21181 WITH SCORE 21252.662
AT ITER 6921 NEW BEST:: SOT 152936 SOS 71494 HAS SOPS 45453 HAS SOUS 22850 HAS SOUPS 21178 WITH SCORE 21249.494
AT ITER 6939 NEW BEST:: SOT 152942 SOS 71500 HAS SOPS 45451 HAS SOUS 22848 HAS SOUPS 21176 WITH SCORE 21247.5
AT ITER 6940 NEW BEST:: SOT 152942 SOS 71468 HAS SOPS 45419 HAS SOUS 22848 HAS SOUPS 21176 WITH SCORE 21247.468
AT ITER 6953 NEW BEST:: SOT 152856 SOS 71382 HAS SOPS 45371 HAS SOUS 22756 HAS SOUPS 21084 WITH SCORE 21155.382
AT ITER 6978 NEW BEST:: SOT 152859 SOS 71385 HAS SOPS 45272 HAS SOUS 22657 HAS SOUPS 20985 WITH SCORE 21056.385
AT ITER 6987 NEW BEST:: SOT 152854 SOS 71340 HAS SOPS 45232 HAS SOUS 22646 HAS SOUPS 20974 WITH SCORE 21045.34
AT ITER 7010 NEW BEST:: SOT 152854 SOS 71334 HAS SOPS 45226 HAS SOUS 22643 HAS SOUPS 20971 WITH SCORE 21042.334
AT ITER 7042 NEW BEST:: SOT 152854 SOS 71306 HAS SOPS 45198 HAS SOUS 22636 HAS SOUPS 20964 WITH SCORE 21035.306
AT ITER 7050 NEW BEST:: SOT 152854 SOS 71292 HAS SOPS 45184 HAS SOUS 22636 HAS SOUPS 20964 WITH SCORE 21035.292
AT ITER 7055 NEW BEST:: SOT 152854 SOS 71286 HAS SOPS 45178 HAS SOUS 22633 HAS SOUPS 20961 WITH SCORE 21032.286
AT ITER 7071 NEW BEST:: SOT 152852 SOS 71284 HAS SOPS 45184 HAS SOUS 22627 HAS SOUPS 20955 WITH SCORE 21026.284
AT ITER 7082 NEW BEST:: SOT 152852 SOS 71272 HAS SOPS 45172 HAS SOUS 22627 HAS SOUPS 20955 WITH SCORE 21026.272
AT ITER 7130 NEW BEST:: SOT 152830 SOS 71250 HAS SOPS 45102 HAS SOUS 22595 HAS SOUPS 20923 WITH SCORE 20994.25
AT ITER 7138 NEW BEST:: SOT 152824 SOS 71244 HAS SOPS 45098 HAS SOUS 22595 HAS SOUPS 20923 WITH SCORE 20994.244
AT ITER 7145 NEW BEST:: SOT 152824 SOS 71244 HAS SOPS 45100 HAS SOUS 22593 HAS SOUPS 20921 WITH SCORE 20992.244
AT ITER 7177 NEW BEST:: SOT 152824 SOS 71242 HAS SOPS 45098 HAS SOUS 22592 HAS SOUPS 20920 WITH SCORE 20991.242
AT ITER 7224 NEW BEST:: SOT 152842 SOS 71260 HAS SOPS 45084 HAS SOUS 22588 HAS SOUPS 20916 WITH SCORE 20987.26
AT ITER 7225 NEW BEST:: SOT 152827 SOS 71311 HAS SOPS 45069 HAS SOUS 22575 HAS SOUPS 20897 WITH SCORE 20968.311
AT ITER 7242 NEW BEST:: SOT 152823 SOS 71307 HAS SOPS 45061 HAS SOUS 22567 HAS SOUPS 20889 WITH SCORE 20960.307
AT ITER 7302 NEW BEST:: SOT 152823 SOS 71351 HAS SOPS 45105 HAS SOUS 22545 HAS SOUPS 20867 WITH SCORE 20938.351
AT ITER 7337 NEW BEST:: SOT 152822 SOS 71339 HAS SOPS 45086 HAS SOUS 22508 HAS SOUPS 20830 WITH SCORE 20901.339
AT ITER 7408 NEW BEST:: SOT 152822 SOS 71360 HAS SOPS 45107 HAS SOUS 22493 HAS SOUPS 20815 WITH SCORE 20886.36
AT ITER 7443 NEW BEST:: SOT 152814 SOS 71374 HAS SOPS 45095 HAS SOUS 22493 HAS SOUPS 20813 WITH SCORE 20884.374
AT ITER 7478 NEW BEST:: SOT 152816 SOS 71371 HAS SOPS 45014 HAS SOUS 22495 HAS SOUPS 20813 WITH SCORE 20884.371
AT ITER 7563 NEW BEST:: SOT 152792 SOS 71347 HAS SOPS 44928 HAS SOUS 22465 HAS SOUPS 20783 WITH SCORE 20854.347
AT ITER 7586 NEW BEST:: SOT 152792 SOS 71273 HAS SOPS 44854 HAS SOUS 22440 HAS SOUPS 20758 WITH SCORE 20829.273
AT ITER 7587 NEW BEST:: SOT 152474 SOS 70955 HAS SOPS 44526 HAS SOUS 22410 HAS SOUPS 20728 WITH SCORE 20798.955
AT ITER 7613 NEW BEST:: SOT 152488 SOS 70969 HAS SOPS 44534 HAS SOUS 22398 HAS SOUPS 20716 WITH SCORE 20786.969
AT ITER 7639 NEW BEST:: SOT 152538 SOS 71019 HAS SOPS 44564 HAS SOUS 22388 HAS SOUPS 20706 WITH SCORE 20777.019
AT ITER 7645 NEW BEST:: SOT 152514 SOS 70995 HAS SOPS 44516 HAS SOUS 22364 HAS SOUPS 20682 WITH SCORE 20752.995
AT ITER 7650 NEW BEST:: SOT 152514 SOS 70979 HAS SOPS 44484 HAS SOUS 22364 HAS SOUPS 20674 WITH SCORE 20744.979
AT ITER 7652 NEW BEST:: SOT 152514 SOS 70953 HAS SOPS 44458 HAS SOUS 22357 HAS SOUPS 20667 WITH SCORE 20737.953
AT ITER 7683 NEW BEST:: SOT 152514 SOS 70961 HAS SOPS 44458 HAS SOUS 22357 HAS SOUPS 20663 WITH SCORE 20733.961
AT ITER 7697 NEW BEST:: SOT 152514 SOS 70947 HAS SOPS 44458 HAS SOUS 22343 HAS SOUPS 20656 WITH SCORE 20726.947
AT ITER 7726 NEW BEST:: SOT 152496 SOS 70929 HAS SOPS 44557 HAS SOUS 22316 HAS SOUPS 20629 WITH SCORE 20699.929
AT ITER 7736 NEW BEST:: SOT 152488 SOS 70921 HAS SOPS 44517 HAS SOUS 22300 HAS SOUPS 20613 WITH SCORE 20683.921
AT ITER 7746 NEW BEST:: SOT 152484 SOS 70917 HAS SOPS 44489 HAS SOUS 22284 HAS SOUPS 20597 WITH SCORE 20667.917
AT ITER 7821 NEW BEST:: SOT 152484 SOS 70917 HAS SOPS 44489 HAS SOUS 22283 HAS SOUPS 20596 WITH SCORE 20666.917
AT ITER 7857 NEW BEST:: SOT 152484 SOS 70905 HAS SOPS 44477 HAS SOUS 22277 HAS SOUPS 20590 WITH SCORE 20660.905
AT ITER 7900 NEW BEST:: SOT 152484 SOS 70885 HAS SOPS 44457 HAS SOUS 22277 HAS SOUPS 20590 WITH SCORE 20660.885
AT ITER 7910 NEW BEST:: SOT 152484 SOS 70881 HAS SOPS 44453 HAS SOUS 22275 HAS SOUPS 20588 WITH SCORE 20658.881
AT ITER 7952 NEW BEST:: SOT 152484 SOS 70863 HAS SOPS 44451 HAS SOUS 22266 HAS SOUPS 20587 WITH SCORE 20657.863
AT ITER 7961 NEW BEST:: SOT 152484 SOS 70879 HAS SOPS 44467 HAS SOUS 22258 HAS SOUPS 20579 WITH SCORE 20649.879
AT ITER 7963 NEW BEST:: SOT 152452 SOS 70847 HAS SOPS 44421 HAS SOUS 22221 HAS SOUPS 20542 WITH SCORE 20612.847
AT ITER 8002 NEW BEST:: SOT 152420 SOS 70815 HAS SOPS 44381 HAS SOUS 22181 HAS SOUPS 20502 WITH SCORE 20572.815
AT ITER 8040 NEW BEST:: SOT 152372 SOS 70767 HAS SOPS 44285 HAS SOUS 22085 HAS SOUPS 20406 WITH SCORE 20476.767
AT ITER 8047 NEW BEST:: SOT 152372 SOS 70751 HAS SOPS 44277 HAS SOUS 22081 HAS SOUPS 20406 WITH SCORE 20476.751
AT ITER 8066 NEW BEST:: SOT 152366 SOS 70745 HAS SOPS 44271 HAS SOUS 22069 HAS SOUPS 20394 WITH SCORE 20464.745
AT ITER 8067 NEW BEST:: SOT 152366 SOS 70741 HAS SOPS 44275 HAS SOUS 22064 HAS SOUPS 20393 WITH SCORE 20463.741
AT ITER 8078 NEW BEST:: SOT 152362 SOS 70737 HAS SOPS 44247 HAS SOUS 22056 HAS SOUPS 20385 WITH SCORE 20455.737
AT ITER 8082 NEW BEST:: SOT 152326 SOS 70678 HAS SOPS 44255 HAS SOUS 21989 HAS SOUPS 20364 WITH SCORE 20434.678
AT ITER 8108 NEW BEST:: SOT 152326 SOS 70616 HAS SOPS 44193 HAS SOUS 21951 HAS SOUPS 20326 WITH SCORE 20396.616
AT ITER 8125 NEW BEST:: SOT 152318 SOS 70608 HAS SOPS 44189 HAS SOUS 21947 HAS SOUPS 20322 WITH SCORE 20392.608
AT ITER 8164 NEW BEST:: SOT 152318 SOS 70614 HAS SOPS 44195 HAS SOUS 21944 HAS SOUPS 20319 WITH SCORE 20389.614
AT ITER 8180 NEW BEST:: SOT 152318 SOS 70650 HAS SOPS 44203 HAS SOUS 21948 HAS SOUPS 20309 WITH SCORE 20379.65
AT ITER 8214 NEW BEST:: SOT 152318 SOS 70636 HAS SOPS 44189 HAS SOUS 21934 HAS SOUPS 20295 WITH SCORE 20365.636
AT ITER 8221 NEW BEST:: SOT 152318 SOS 70630 HAS SOPS 44183 HAS SOUS 21928 HAS SOUPS 20289 WITH SCORE 20359.63
AT ITER 8225 NEW BEST:: SOT 152318 SOS 70626 HAS SOPS 44179 HAS SOUS 21924 HAS SOUPS 20285 WITH SCORE 20355.626
AT ITER 8244 NEW BEST:: SOT 152318 SOS 70678 HAS SOPS 44231 HAS SOUS 21922 HAS SOUPS 20283 WITH SCORE 20353.678
AT ITER 8258 NEW BEST:: SOT 152318 SOS 70678 HAS SOPS 44231 HAS SOUS 21910 HAS SOUPS 20271 WITH SCORE 20341.678
AT ITER 8288 NEW BEST:: SOT 152318 SOS 70672 HAS SOPS 44225 HAS SOUS 21907 HAS SOUPS 20268 WITH SCORE 20338.672
AT ITER 8337 NEW BEST:: SOT 152318 SOS 70548 HAS SOPS 44225 HAS SOUS 21845 HAS SOUPS 20268 WITH SCORE 20338.548
AT ITER 8449 NEW BEST:: SOT 152314 SOS 70544 HAS SOPS 44217 HAS SOUS 21841 HAS SOUPS 20264 WITH SCORE 20334.544
AT ITER 8469 NEW BEST:: SOT 152398 SOS 70628 HAS SOPS 44259 HAS SOUS 21813 HAS SOUPS 20236 WITH SCORE 20306.628
AT ITER 8479 NEW BEST:: SOT 152398 SOS 70626 HAS SOPS 44257 HAS SOUS 21811 HAS SOUPS 20234 WITH SCORE 20304.626
AT ITER 8501 NEW BEST:: SOT 152398 SOS 70646 HAS SOPS 44277 HAS SOUS 21808 HAS SOUPS 20231 WITH SCORE 20301.646
AT ITER 8543 NEW BEST:: SOT 152398 SOS 70662 HAS SOPS 44217 HAS SOUS 21845 HAS SOUPS 20230 WITH SCORE 20300.662
AT ITER 8567 NEW BEST:: SOT 152398 SOS 70662 HAS SOPS 44217 HAS SOUS 21843 HAS SOUPS 20228 WITH SCORE 20298.662
AT ITER 8571 NEW BEST:: SOT 152398 SOS 70658 HAS SOPS 44213 HAS SOUS 21843 HAS SOUPS 20228 WITH SCORE 20298.658
AT ITER 8664 NEW BEST:: SOT 152398 SOS 70658 HAS SOPS 44213 HAS SOUS 21833 HAS SOUPS 20218 WITH SCORE 20288.658
AT ITER 8721 NEW BEST:: SOT 152398 SOS 70636 HAS SOPS 44191 HAS SOUS 21829 HAS SOUPS 20214 WITH SCORE 20284.636
AT ITER 8860 NEW BEST:: SOT 152398 SOS 70636 HAS SOPS 44143 HAS SOUS 21821 HAS SOUPS 20206 WITH SCORE 20276.636
AT ITER 8879 NEW BEST:: SOT 152374 SOS 70656 HAS SOPS 44115 HAS SOUS 21813 HAS SOUPS 20194 WITH SCORE 20264.656
AT ITER 8882 NEW BEST:: SOT 152394 SOS 70676 HAS SOPS 44111 HAS SOUS 21825 HAS SOUPS 20190 WITH SCORE 20260.676
AT ITER 8945 NEW BEST:: SOT 152394 SOS 70672 HAS SOPS 44065 HAS SOUS 21844 HAS SOUPS 20188 WITH SCORE 20258.672
AT ITER 8953 NEW BEST:: SOT 152376 SOS 70654 HAS SOPS 44029 HAS SOUS 21808 HAS SOUPS 20152 WITH SCORE 20222.654
AT ITER 9001 NEW BEST:: SOT 152376 SOS 70654 HAS SOPS 43987 HAS SOUS 21766 HAS SOUPS 20110 WITH SCORE 20180.654
AT ITER 9055 NEW BEST:: SOT 152341 SOS 70619 HAS SOPS 43938 HAS SOUS 21741 HAS SOUPS 20085 WITH SCORE 20155.619
AT ITER 9098 NEW BEST:: SOT 152341 SOS 70619 HAS SOPS 43938 HAS SOUS 21739 HAS SOUPS 20083 WITH SCORE 20153.619
AT ITER 9152 NEW BEST:: SOT 152341 SOS 70603 HAS SOPS 43922 HAS SOUS 21739 HAS SOUPS 20083 WITH SCORE 20153.603
AT ITER 9166 NEW BEST:: SOT 152313 SOS 70575 HAS SOPS 43882 HAS SOUS 21699 HAS SOUPS 20043 WITH SCORE 20113.575
AT ITER 9219 NEW BEST:: SOT 152313 SOS 70575 HAS SOPS 43882 HAS SOUS 21697 HAS SOUPS 20041 WITH SCORE 20111.575
AT ITER 9235 NEW BEST:: SOT 152313 SOS 70575 HAS SOPS 43882 HAS SOUS 21687 HAS SOUPS 20031 WITH SCORE 20101.575
AT ITER 9304 NEW BEST:: SOT 152313 SOS 70583 HAS SOPS 43882 HAS SOUS 21683 HAS SOUPS 20023 WITH SCORE 20093.583
AT ITER 9353 NEW BEST:: SOT 152313 SOS 70571 HAS SOPS 43878 HAS SOUS 21677 HAS SOUPS 20021 WITH SCORE 20091.571
AT ITER 9356 NEW BEST:: SOT 152313 SOS 70555 HAS SOPS 43862 HAS SOUS 21677 HAS SOUPS 20021 WITH SCORE 20091.555
AT ITER 9402 NEW BEST:: SOT 152313 SOS 70525 HAS SOPS 43832 HAS SOUS 21660 HAS SOUPS 20004 WITH SCORE 20074.525
AT ITER 9414 NEW BEST:: SOT 152313 SOS 70525 HAS SOPS 43832 HAS SOUS 21645 HAS SOUPS 19989 WITH SCORE 20059.525
AT ITER 9419 NEW BEST:: SOT 152313 SOS 70536 HAS SOPS 43833 HAS SOUS 21648 HAS SOUPS 19987 WITH SCORE 20057.536
AT ITER 9470 NEW BEST:: SOT 152313 SOS 70508 HAS SOPS 43833 HAS SOUS 21634 HAS SOUPS 19987 WITH SCORE 20057.508
AT ITER 9472 NEW BEST:: SOT 152429 SOS 70624 HAS SOPS 43825 HAS SOUS 21604 HAS SOUPS 19957 WITH SCORE 20027.624
AT ITER 9474 NEW BEST:: SOT 152429 SOS 70622 HAS SOPS 43823 HAS SOUS 21604 HAS SOUPS 19957 WITH SCORE 20027.622
AT ITER 9479 NEW BEST:: SOT 152429 SOS 70564 HAS SOPS 43817 HAS SOUS 21575 HAS SOUPS 19954 WITH SCORE 20024.564
AT ITER 9516 NEW BEST:: SOT 152427 SOS 70562 HAS SOPS 43789 HAS SOUS 21541 HAS SOUPS 19920 WITH SCORE 19990.562
AT ITER 9520 NEW BEST:: SOT 152428 SOS 70563 HAS SOPS 43788 HAS SOUS 21538 HAS SOUPS 19917 WITH SCORE 19987.563
AT ITER 9559 NEW BEST:: SOT 152424 SOS 70565 HAS SOPS 43774 HAS SOUS 21510 HAS SOUPS 19889 WITH SCORE 19959.565
AT ITER 9570 NEW BEST:: SOT 152424 SOS 70583 HAS SOPS 43792 HAS SOUS 21500 HAS SOUPS 19879 WITH SCORE 19949.583
AT ITER 9581 NEW BEST:: SOT 152424 SOS 70610 HAS SOPS 43819 HAS SOUS 21461 HAS SOUPS 19840 WITH SCORE 19910.61
AT ITER 9610 NEW BEST:: SOT 152424 SOS 70602 HAS SOPS 43811 HAS SOUS 21457 HAS SOUPS 19836 WITH SCORE 19906.602
AT ITER 9723 NEW BEST:: SOT 152424 SOS 70570 HAS SOPS 43779 HAS SOUS 21455 HAS SOUPS 19834 WITH SCORE 19904.57
AT ITER 9742 NEW BEST:: SOT 152424 SOS 70590 HAS SOPS 43739 HAS SOUS 21306 HAS SOUPS 19685 WITH SCORE 19755.59
AT ITER 9785 NEW BEST:: SOT 152372 SOS 70538 HAS SOPS 43687 HAS SOUS 21246 HAS SOUPS 19625 WITH SCORE 19695.538
AT ITER 9843 NEW BEST:: SOT 152349 SOS 70515 HAS SOPS 43487 HAS SOUS 21211 HAS SOUPS 19590 WITH SCORE 19660.515
AT ITER 9850 NEW BEST:: SOT 152221 SOS 70387 HAS SOPS 43447 HAS SOUS 21211 HAS SOUPS 19590 WITH SCORE 19660.387
AT ITER 9884 NEW BEST:: SOT 152221 SOS 70355 HAS SOPS 43415 HAS SOUS 21209 HAS SOUPS 19588 WITH SCORE 19658.355
AT ITER 9943 NEW BEST:: SOT 152209 SOS 70343 HAS SOPS 43427 HAS SOUS 21201 HAS SOUPS 19580 WITH SCORE 19650.343
AT ITER 9995 NEW BEST:: SOT 152209 SOS 70341 HAS SOPS 43425 HAS SOUS 21200 HAS SOUPS 19579 WITH SCORE 19649.341

BK_STOP 1678462541454

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

ERROR:
Generation failed in Meddly with error code:
Insufficient memory
within model automodel instantiated in file model.sm near line 4555
/home/mcc/BenchKit/bin//../smart/bin//smart.sh: line 116: 366 Segmentation fault ${SMART}/smart ${INPUT_SM}

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-b064"
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-b064, 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-167838848200704"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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