Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680300688.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is CSRepetitions-PT-05, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680300688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 23K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 35K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 114K Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 33K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 36K Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 123K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 29K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 76K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 56K Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 176K Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 8.0K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 279K Apr 27 15:14 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 1590869264613

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

Filename model.pnml
Petri model created: 206 places, 325 transitions, 1175 arcs.
AT ITER 0 NEW BEST:: SOT 52053 SOS 47735 HAS SOPS 47159 HAS SOUS 42719 HAS SOUPS 42143 WITH SCORE 42190.735
AT ITER 1 NEW BEST:: SOT 52070 SOS 47572 HAS SOPS 46906 HAS SOUS 42196 HAS SOUPS 41530 WITH SCORE 41577.572
AT ITER 3 NEW BEST:: SOT 52052 SOS 47554 HAS SOPS 46888 HAS SOUS 42178 HAS SOUPS 41512 WITH SCORE 41559.554
AT ITER 4 NEW BEST:: SOT 52077 SOS 47441 HAS SOPS 46705 HAS SOUS 41805 HAS SOUPS 41069 WITH SCORE 41116.441
AT ITER 8 NEW BEST:: SOT 52104 SOS 47334 HAS SOPS 46524 HAS SOUS 41472 HAS SOUPS 40662 WITH SCORE 40709.334
AT ITER 9 NEW BEST:: SOT 52104 SOS 47334 HAS SOPS 46524 HAS SOUS 41457 HAS SOUPS 40647 WITH SCORE 40694.334
AT ITER 10 NEW BEST:: SOT 52249 SOS 47261 HAS SOPS 46306 HAS SOUS 41056 HAS SOUPS 40101 WITH SCORE 40148.261
AT ITER 11 NEW BEST:: SOT 52353 SOS 47394 HAS SOPS 46463 HAS SOUS 40998 HAS SOUPS 40067 WITH SCORE 40114.394
AT ITER 20 NEW BEST:: SOT 52309 SOS 47350 HAS SOPS 46419 HAS SOUS 40954 HAS SOUPS 40023 WITH SCORE 40070.35
AT ITER 21 NEW BEST:: SOT 52301 SOS 47334 HAS SOPS 46419 HAS SOUS 40938 HAS SOUPS 40023 WITH SCORE 40070.334
AT ITER 22 NEW BEST:: SOT 52345 SOS 47198 HAS SOPS 46167 HAS SOUS 40577 HAS SOUPS 39546 WITH SCORE 39593.198
AT ITER 23 NEW BEST:: SOT 52301 SOS 47022 HAS SOPS 46035 HAS SOUS 40225 HAS SOUPS 39238 WITH SCORE 39285.022
AT ITER 26 NEW BEST:: SOT 52419 SOS 46934 HAS SOPS 45829 HAS SOUS 39795 HAS SOUPS 38690 WITH SCORE 38736.934
AT ITER 28 NEW BEST:: SOT 53676 SOS 46063 HAS SOPS 44958 HAS SOUS 36779 HAS SOUPS 35674 WITH SCORE 35720.063
AT ITER 30 NEW BEST:: SOT 53756 SOS 45992 HAS SOPS 44911 HAS SOUS 36625 HAS SOUPS 35544 WITH SCORE 35589.992
AT ITER 31 NEW BEST:: SOT 53720 SOS 45956 HAS SOPS 44875 HAS SOUS 36589 HAS SOUPS 35508 WITH SCORE 35553.956
AT ITER 32 NEW BEST:: SOT 53720 SOS 45956 HAS SOPS 44875 HAS SOUS 36583 HAS SOUPS 35502 WITH SCORE 35547.956
AT ITER 33 NEW BEST:: SOT 53735 SOS 45779 HAS SOPS 44634 HAS SOUS 36342 HAS SOUPS 35197 WITH SCORE 35242.779
AT ITER 34 NEW BEST:: SOT 53795 SOS 45628 HAS SOPS 44597 HAS SOUS 36152 HAS SOUPS 35121 WITH SCORE 35166.628
AT ITER 35 NEW BEST:: SOT 53868 SOS 45483 HAS SOPS 44379 HAS SOUS 36014 HAS SOUPS 34910 WITH SCORE 34955.483
AT ITER 36 NEW BEST:: SOT 53824 SOS 44208 HAS SOPS 43104 HAS SOUS 35389 HAS SOUPS 34285 WITH SCORE 34329.208
AT ITER 38 NEW BEST:: SOT 53793 SOS 44175 HAS SOPS 43071 HAS SOUS 35355 HAS SOUPS 34251 WITH SCORE 34295.175
AT ITER 39 NEW BEST:: SOT 53793 SOS 44175 HAS SOPS 43071 HAS SOUS 35324 HAS SOUPS 34220 WITH SCORE 34264.175
AT ITER 41 NEW BEST:: SOT 53077 SOS 43530 HAS SOPS 42426 HAS SOUS 34821 HAS SOUPS 33717 WITH SCORE 33760.53
AT ITER 46 NEW BEST:: SOT 53095 SOS 43410 HAS SOPS 42261 HAS SOUS 34617 HAS SOUPS 33468 WITH SCORE 33511.41
AT ITER 49 NEW BEST:: SOT 53069 SOS 43326 HAS SOPS 42177 HAS SOUS 34591 HAS SOUPS 33442 WITH SCORE 33485.326
AT ITER 50 NEW BEST:: SOT 46867 SOS 37351 HAS SOPS 36312 HAS SOUS 28534 HAS SOUPS 27495 WITH SCORE 27532.351
AT ITER 51 NEW BEST:: SOT 46857 SOS 37341 HAS SOPS 36302 HAS SOUS 28524 HAS SOUPS 27485 WITH SCORE 27522.341
AT ITER 54 NEW BEST:: SOT 46850 SOS 37338 HAS SOPS 36299 HAS SOUS 28521 HAS SOUPS 27482 WITH SCORE 27519.338
AT ITER 56 NEW BEST:: SOT 46879 SOS 37162 HAS SOPS 36046 HAS SOUS 28276 HAS SOUPS 27160 WITH SCORE 27197.162
AT ITER 58 NEW BEST:: SOT 46879 SOS 37065 HAS SOPS 35973 HAS SOUS 28203 HAS SOUPS 27111 WITH SCORE 27148.065
AT ITER 59 NEW BEST:: SOT 46905 SOS 37058 HAS SOPS 35956 HAS SOUS 28161 HAS SOUPS 27059 WITH SCORE 27096.058
AT ITER 63 NEW BEST:: SOT 46866 SOS 37005 HAS SOPS 35903 HAS SOUS 28146 HAS SOUPS 27044 WITH SCORE 27081.005
AT ITER 64 NEW BEST:: SOT 46919 SOS 36944 HAS SOPS 35807 HAS SOUS 28068 HAS SOUPS 26931 WITH SCORE 26967.944
AT ITER 68 NEW BEST:: SOT 46984 SOS 36839 HAS SOPS 35779 HAS SOUS 27956 HAS SOUPS 26896 WITH SCORE 26932.839
AT ITER 69 NEW BEST:: SOT 47149 SOS 36796 HAS SOPS 35651 HAS SOUS 27966 HAS SOUPS 26821 WITH SCORE 26857.796
AT ITER 72 NEW BEST:: SOT 47256 SOS 36858 HAS SOPS 35713 HAS SOUS 27938 HAS SOUPS 26793 WITH SCORE 26829.858
AT ITER 74 NEW BEST:: SOT 47164 SOS 36762 HAS SOPS 35617 HAS SOUS 27780 HAS SOUPS 26635 WITH SCORE 26671.762
AT ITER 77 NEW BEST:: SOT 47162 SOS 36760 HAS SOPS 35615 HAS SOUS 27778 HAS SOUPS 26633 WITH SCORE 26669.76
AT ITER 79 NEW BEST:: SOT 47035 SOS 36634 HAS SOPS 35489 HAS SOUS 27651 HAS SOUPS 26506 WITH SCORE 26542.634
AT ITER 80 NEW BEST:: SOT 46988 SOS 36514 HAS SOPS 35369 HAS SOUS 27460 HAS SOUPS 26315 WITH SCORE 26351.514
AT ITER 81 NEW BEST:: SOT 46947 SOS 36473 HAS SOPS 35328 HAS SOUS 27419 HAS SOUPS 26274 WITH SCORE 26310.473
AT ITER 85 NEW BEST:: SOT 46745 SOS 36324 HAS SOPS 35179 HAS SOUS 27242 HAS SOUPS 26097 WITH SCORE 26133.324
AT ITER 90 NEW BEST:: SOT 49011 SOS 36258 HAS SOPS 35113 HAS SOUS 26236 HAS SOUPS 25091 WITH SCORE 25127.258
AT ITER 91 NEW BEST:: SOT 48964 SOS 36211 HAS SOPS 35066 HAS SOUS 26189 HAS SOUPS 25044 WITH SCORE 25080.211
AT ITER 93 NEW BEST:: SOT 48964 SOS 36209 HAS SOPS 35064 HAS SOUS 26189 HAS SOUPS 25044 WITH SCORE 25080.209
AT ITER 95 NEW BEST:: SOT 49004 SOS 36127 HAS SOPS 34942 HAS SOUS 26149 HAS SOUPS 24964 WITH SCORE 25000.127
AT ITER 96 NEW BEST:: SOT 48938 SOS 36061 HAS SOPS 34876 HAS SOUS 26077 HAS SOUPS 24892 WITH SCORE 24928.061
AT ITER 102 NEW BEST:: SOT 48921 SOS 35968 HAS SOPS 34783 HAS SOUS 26043 HAS SOUPS 24858 WITH SCORE 24893.968
AT ITER 104 NEW BEST:: SOT 48885 SOS 35968 HAS SOPS 34747 HAS SOUS 26043 HAS SOUPS 24822 WITH SCORE 24857.968
AT ITER 105 NEW BEST:: SOT 48885 SOS 35831 HAS SOPS 34610 HAS SOUS 25866 HAS SOUPS 24645 WITH SCORE 24680.831
AT ITER 106 NEW BEST:: SOT 48853 SOS 35782 HAS SOPS 34561 HAS SOUS 25847 HAS SOUPS 24626 WITH SCORE 24661.782
AT ITER 107 NEW BEST:: SOT 47343 SOS 39927 HAS SOPS 39909 HAS SOUS 24438 HAS SOUPS 24420 WITH SCORE 24459.927
AT ITER 110 NEW BEST:: SOT 47281 SOS 39865 HAS SOPS 39847 HAS SOUS 24413 HAS SOUPS 24395 WITH SCORE 24434.865
AT ITER 112 NEW BEST:: SOT 47263 SOS 39847 HAS SOPS 39829 HAS SOUS 24393 HAS SOUPS 24375 WITH SCORE 24414.847
AT ITER 118 NEW BEST:: SOT 47147 SOS 39731 HAS SOPS 39713 HAS SOUS 24227 HAS SOUPS 24209 WITH SCORE 24248.731
AT ITER 121 NEW BEST:: SOT 47018 SOS 39442 HAS SOPS 39424 HAS SOUS 24181 HAS SOUPS 24163 WITH SCORE 24202.442
AT ITER 122 NEW BEST:: SOT 47013 SOS 39422 HAS SOPS 39404 HAS SOUS 24161 HAS SOUPS 24143 WITH SCORE 24182.422
AT ITER 124 NEW BEST:: SOT 46821 SOS 39230 HAS SOPS 39212 HAS SOUS 23787 HAS SOUPS 23769 WITH SCORE 23808.23
AT ITER 127 NEW BEST:: SOT 46821 SOS 39080 HAS SOPS 39062 HAS SOUS 23697 HAS SOUPS 23679 WITH SCORE 23718.08
AT ITER 130 NEW BEST:: SOT 46594 SOS 38711 HAS SOPS 38693 HAS SOUS 23473 HAS SOUPS 23455 WITH SCORE 23493.711
AT ITER 131 NEW BEST:: SOT 46478 SOS 38658 HAS SOPS 38640 HAS SOUS 23469 HAS SOUPS 23451 WITH SCORE 23489.658
AT ITER 134 NEW BEST:: SOT 46478 SOS 38563 HAS SOPS 38545 HAS SOUS 23431 HAS SOUPS 23413 WITH SCORE 23451.563
AT ITER 135 NEW BEST:: SOT 46440 SOS 38525 HAS SOPS 38507 HAS SOUS 23378 HAS SOUPS 23360 WITH SCORE 23398.525
AT ITER 137 NEW BEST:: SOT 46422 SOS 38507 HAS SOPS 38489 HAS SOUS 23317 HAS SOUPS 23299 WITH SCORE 23337.507
AT ITER 144 NEW BEST:: SOT 46370 SOS 38540 HAS SOPS 38522 HAS SOUS 23246 HAS SOUPS 23228 WITH SCORE 23266.54
AT ITER 150 NEW BEST:: SOT 46501 SOS 37927 HAS SOPS 37899 HAS SOUS 22092 HAS SOUPS 22064 WITH SCORE 22101.927
AT ITER 152 NEW BEST:: SOT 46436 SOS 37796 HAS SOPS 37768 HAS SOUS 22024 HAS SOUPS 21996 WITH SCORE 22033.796
AT ITER 155 NEW BEST:: SOT 45402 SOS 36805 HAS SOPS 36777 HAS SOUS 21692 HAS SOUPS 21664 WITH SCORE 21700.805
AT ITER 158 NEW BEST:: SOT 44769 SOS 36189 HAS SOPS 36161 HAS SOUS 21177 HAS SOUPS 21149 WITH SCORE 21185.189
AT ITER 169 NEW BEST:: SOT 44759 SOS 36176 HAS SOPS 36148 HAS SOUS 21157 HAS SOUPS 21129 WITH SCORE 21165.176
AT ITER 171 NEW BEST:: SOT 44756 SOS 36173 HAS SOPS 36145 HAS SOUS 21124 HAS SOUPS 21096 WITH SCORE 21132.173
AT ITER 172 NEW BEST:: SOT 44761 SOS 36025 HAS SOPS 35997 HAS SOUS 21084 HAS SOUPS 21056 WITH SCORE 21092.025
AT ITER 173 NEW BEST:: SOT 44754 SOS 36018 HAS SOPS 35990 HAS SOUS 21070 HAS SOUPS 21042 WITH SCORE 21078.018
AT ITER 175 NEW BEST:: SOT 44750 SOS 36014 HAS SOPS 35986 HAS SOUS 21066 HAS SOUPS 21038 WITH SCORE 21074.014
AT ITER 176 NEW BEST:: SOT 44744 SOS 35670 HAS SOPS 35652 HAS SOUS 20953 HAS SOUPS 20935 WITH SCORE 20970.67
AT ITER 180 NEW BEST:: SOT 44666 SOS 35543 HAS SOPS 35525 HAS SOUS 20797 HAS SOUPS 20779 WITH SCORE 20814.543
AT ITER 184 NEW BEST:: SOT 44666 SOS 35448 HAS SOPS 35430 HAS SOUS 20778 HAS SOUPS 20760 WITH SCORE 20795.448
AT ITER 187 NEW BEST:: SOT 44638 SOS 35434 HAS SOPS 35416 HAS SOUS 20778 HAS SOUPS 20760 WITH SCORE 20795.434
AT ITER 190 NEW BEST:: SOT 44586 SOS 35382 HAS SOPS 35364 HAS SOUS 20691 HAS SOUPS 20673 WITH SCORE 20708.382
AT ITER 191 NEW BEST:: SOT 44358 SOS 35242 HAS SOPS 35224 HAS SOUS 20548 HAS SOUPS 20530 WITH SCORE 20565.242
AT ITER 194 NEW BEST:: SOT 44270 SOS 35154 HAS SOPS 35136 HAS SOUS 20349 HAS SOUPS 20331 WITH SCORE 20366.154
AT ITER 196 NEW BEST:: SOT 44304 SOS 35032 HAS SOPS 35014 HAS SOUS 20320 HAS SOUPS 20302 WITH SCORE 20337.032
AT ITER 200 NEW BEST:: SOT 44361 SOS 35032 HAS SOPS 35014 HAS SOUS 20276 HAS SOUPS 20258 WITH SCORE 20293.032
AT ITER 202 NEW BEST:: SOT 44347 SOS 35018 HAS SOPS 35000 HAS SOUS 20271 HAS SOUPS 20253 WITH SCORE 20288.018
AT ITER 205 NEW BEST:: SOT 44351 SOS 34999 HAS SOPS 34981 HAS SOUS 20202 HAS SOUPS 20184 WITH SCORE 20218.999
AT ITER 207 NEW BEST:: SOT 44351 SOS 34980 HAS SOPS 34962 HAS SOUS 20202 HAS SOUPS 20184 WITH SCORE 20218.98
AT ITER 219 NEW BEST:: SOT 44473 SOS 34992 HAS SOPS 34974 HAS SOUS 20068 HAS SOUPS 20050 WITH SCORE 20084.992
AT ITER 226 NEW BEST:: SOT 44611 SOS 35044 HAS SOPS 35026 HAS SOUS 20010 HAS SOUPS 19992 WITH SCORE 20027.044
AT ITER 232 NEW BEST:: SOT 44553 SOS 34986 HAS SOPS 34968 HAS SOUS 19952 HAS SOUPS 19934 WITH SCORE 19968.986
AT ITER 239 NEW BEST:: SOT 44553 SOS 34992 HAS SOPS 34974 HAS SOUS 19946 HAS SOUPS 19928 WITH SCORE 19962.992
AT ITER 243 NEW BEST:: SOT 44553 SOS 33426 HAS SOPS 33318 HAS SOUS 19946 HAS SOUPS 19838 WITH SCORE 19871.426
AT ITER 248 NEW BEST:: SOT 44553 SOS 33318 HAS SOPS 33220 HAS SOUS 19924 HAS SOUPS 19826 WITH SCORE 19859.318
AT ITER 249 NEW BEST:: SOT 44525 SOS 33290 HAS SOPS 33192 HAS SOUS 19881 HAS SOUPS 19783 WITH SCORE 19816.29
AT ITER 250 NEW BEST:: SOT 44480 SOS 33137 HAS SOPS 33050 HAS SOUS 19816 HAS SOUPS 19729 WITH SCORE 19762.137
AT ITER 251 NEW BEST:: SOT 44477 SOS 33113 HAS SOPS 33029 HAS SOUS 19804 HAS SOUPS 19720 WITH SCORE 19753.113
AT ITER 254 NEW BEST:: SOT 44999 SOS 33286 HAS SOPS 33202 HAS SOUS 19220 HAS SOUPS 19136 WITH SCORE 19169.286
AT ITER 255 NEW BEST:: SOT 44918 SOS 33062 HAS SOPS 33006 HAS SOUS 19098 HAS SOUPS 19042 WITH SCORE 19075.062
AT ITER 257 NEW BEST:: SOT 45001 SOS 33344 HAS SOPS 33288 HAS SOUS 18984 HAS SOUPS 18928 WITH SCORE 18961.344
AT ITER 260 NEW BEST:: SOT 45176 SOS 33482 HAS SOPS 33426 HAS SOUS 18903 HAS SOUPS 18847 WITH SCORE 18880.482
AT ITER 263 NEW BEST:: SOT 45223 SOS 33482 HAS SOPS 33426 HAS SOUS 18842 HAS SOUPS 18786 WITH SCORE 18819.482
AT ITER 264 NEW BEST:: SOT 45208 SOS 33467 HAS SOPS 33411 HAS SOUS 18832 HAS SOUPS 18776 WITH SCORE 18809.467
AT ITER 267 NEW BEST:: SOT 45194 SOS 33453 HAS SOPS 33397 HAS SOUS 18818 HAS SOUPS 18762 WITH SCORE 18795.453
AT ITER 268 NEW BEST:: SOT 45191 SOS 33438 HAS SOPS 33382 HAS SOUS 18809 HAS SOUPS 18753 WITH SCORE 18786.438
AT ITER 272 NEW BEST:: SOT 45363 SOS 33560 HAS SOPS 33504 HAS SOUS 18794 HAS SOUPS 18738 WITH SCORE 18771.56
AT ITER 273 NEW BEST:: SOT 43140 SOS 31514 HAS SOPS 31458 HAS SOUS 17897 HAS SOUPS 17841 WITH SCORE 17872.514
AT ITER 277 NEW BEST:: SOT 43156 SOS 31482 HAS SOPS 31426 HAS SOUS 17886 HAS SOUPS 17830 WITH SCORE 17861.482
AT ITER 278 NEW BEST:: SOT 43076 SOS 31402 HAS SOPS 31346 HAS SOUS 17726 HAS SOUPS 17670 WITH SCORE 17701.402
AT ITER 280 NEW BEST:: SOT 43047 SOS 31373 HAS SOPS 31317 HAS SOUS 17668 HAS SOUPS 17612 WITH SCORE 17643.373
AT ITER 289 NEW BEST:: SOT 42818 SOS 31233 HAS SOPS 31177 HAS SOUS 17617 HAS SOUPS 17561 WITH SCORE 17592.233
AT ITER 292 NEW BEST:: SOT 42818 SOS 31188 HAS SOPS 31132 HAS SOUS 17617 HAS SOUPS 17561 WITH SCORE 17592.188
AT ITER 294 NEW BEST:: SOT 42818 SOS 31056 HAS SOPS 31000 HAS SOUS 17566 HAS SOUPS 17510 WITH SCORE 17541.056
AT ITER 307 NEW BEST:: SOT 42818 SOS 31009 HAS SOPS 30953 HAS SOUS 17566 HAS SOUPS 17510 WITH SCORE 17541.009
AT ITER 310 NEW BEST:: SOT 42905 SOS 31026 HAS SOPS 30970 HAS SOUS 17535 HAS SOUPS 17479 WITH SCORE 17510.026
AT ITER 311 NEW BEST:: SOT 42934 SOS 31055 HAS SOPS 30999 HAS SOUS 17533 HAS SOUPS 17477 WITH SCORE 17508.055
AT ITER 314 NEW BEST:: SOT 42914 SOS 31011 HAS SOPS 30955 HAS SOUS 17502 HAS SOUPS 17446 WITH SCORE 17477.011
AT ITER 321 NEW BEST:: SOT 42861 SOS 30933 HAS SOPS 30877 HAS SOUS 17396 HAS SOUPS 17340 WITH SCORE 17370.933
AT ITER 328 NEW BEST:: SOT 42841 SOS 30913 HAS SOPS 30857 HAS SOUS 17356 HAS SOUPS 17300 WITH SCORE 17330.913
AT ITER 336 NEW BEST:: SOT 42841 SOS 30913 HAS SOPS 30857 HAS SOUS 17335 HAS SOUPS 17279 WITH SCORE 17309.913
AT ITER 346 NEW BEST:: SOT 42882 SOS 30930 HAS SOPS 30874 HAS SOUS 17297 HAS SOUPS 17241 WITH SCORE 17271.93
AT ITER 348 NEW BEST:: SOT 42867 SOS 30915 HAS SOPS 30859 HAS SOUS 17267 HAS SOUPS 17211 WITH SCORE 17241.915
AT ITER 351 NEW BEST:: SOT 42844 SOS 30892 HAS SOPS 30836 HAS SOUS 17221 HAS SOUPS 17165 WITH SCORE 17195.892
AT ITER 352 NEW BEST:: SOT 42842 SOS 30882 HAS SOPS 30826 HAS SOUS 17215 HAS SOUPS 17159 WITH SCORE 17189.882
AT ITER 361 NEW BEST:: SOT 42892 SOS 30911 HAS SOPS 30855 HAS SOUS 17210 HAS SOUPS 17154 WITH SCORE 17184.911
AT ITER 366 NEW BEST:: SOT 42798 SOS 30817 HAS SOPS 30761 HAS SOUS 17110 HAS SOUPS 17054 WITH SCORE 17084.817
AT ITER 380 NEW BEST:: SOT 42778 SOS 30797 HAS SOPS 30741 HAS SOUS 17089 HAS SOUPS 17033 WITH SCORE 17063.797
AT ITER 381 NEW BEST:: SOT 42762 SOS 30781 HAS SOPS 30725 HAS SOUS 17057 HAS SOUPS 17001 WITH SCORE 17031.781
AT ITER 384 NEW BEST:: SOT 42738 SOS 30745 HAS SOPS 30689 HAS SOUS 16997 HAS SOUPS 16941 WITH SCORE 16971.745
AT ITER 387 NEW BEST:: SOT 42755 SOS 30616 HAS SOPS 30560 HAS SOUS 16880 HAS SOUPS 16824 WITH SCORE 16854.616
AT ITER 393 NEW BEST:: SOT 42926 SOS 27541 HAS SOPS 27276 HAS SOUS 16975 HAS SOUPS 16710 WITH SCORE 16737.541
AT ITER 394 NEW BEST:: SOT 42925 SOS 27655 HAS SOPS 27390 HAS SOUS 16972 HAS SOUPS 16707 WITH SCORE 16734.655
AT ITER 395 NEW BEST:: SOT 42933 SOS 27663 HAS SOPS 27398 HAS SOUS 16954 HAS SOUPS 16689 WITH SCORE 16716.663
AT ITER 402 NEW BEST:: SOT 42829 SOS 27559 HAS SOPS 27294 HAS SOUS 16810 HAS SOUPS 16545 WITH SCORE 16572.559
AT ITER 405 NEW BEST:: SOT 42739 SOS 27372 HAS SOPS 27107 HAS SOUS 16644 HAS SOUPS 16379 WITH SCORE 16406.372
AT ITER 412 NEW BEST:: SOT 42726 SOS 27359 HAS SOPS 27094 HAS SOUS 16591 HAS SOUPS 16326 WITH SCORE 16353.359
AT ITER 417 NEW BEST:: SOT 42726 SOS 27318 HAS SOPS 27053 HAS SOUS 16591 HAS SOUPS 16326 WITH SCORE 16353.318
AT ITER 421 NEW BEST:: SOT 42705 SOS 27256 HAS SOPS 26991 HAS SOUS 16547 HAS SOUPS 16282 WITH SCORE 16309.256
AT ITER 424 NEW BEST:: SOT 42657 SOS 27274 HAS SOPS 27009 HAS SOUS 16403 HAS SOUPS 16138 WITH SCORE 16165.274
AT ITER 428 NEW BEST:: SOT 42640 SOS 27257 HAS SOPS 26992 HAS SOUS 16369 HAS SOUPS 16104 WITH SCORE 16131.257
AT ITER 430 NEW BEST:: SOT 42596 SOS 27213 HAS SOPS 26948 HAS SOUS 16281 HAS SOUPS 16016 WITH SCORE 16043.213
AT ITER 434 NEW BEST:: SOT 42578 SOS 27239 HAS SOPS 26974 HAS SOUS 16245 HAS SOUPS 15980 WITH SCORE 16007.239
AT ITER 437 NEW BEST:: SOT 42565 SOS 27226 HAS SOPS 26961 HAS SOUS 16219 HAS SOUPS 15954 WITH SCORE 15981.226
AT ITER 444 NEW BEST:: SOT 42551 SOS 27212 HAS SOPS 26947 HAS SOUS 16205 HAS SOUPS 15940 WITH SCORE 15967.212
AT ITER 449 NEW BEST:: SOT 42551 SOS 27163 HAS SOPS 26881 HAS SOUS 16189 HAS SOUPS 15907 WITH SCORE 15934.163
AT ITER 451 NEW BEST:: SOT 42539 SOS 27151 HAS SOPS 26869 HAS SOUS 16184 HAS SOUPS 15902 WITH SCORE 15929.151
AT ITER 456 NEW BEST:: SOT 42539 SOS 27147 HAS SOPS 26869 HAS SOUS 16176 HAS SOUPS 15898 WITH SCORE 15925.147
AT ITER 457 NEW BEST:: SOT 42521 SOS 27267 HAS SOPS 26989 HAS SOUS 16122 HAS SOUPS 15844 WITH SCORE 15871.267
AT ITER 465 NEW BEST:: SOT 42521 SOS 27262 HAS SOPS 26984 HAS SOUS 16122 HAS SOUPS 15844 WITH SCORE 15871.262
AT ITER 467 NEW BEST:: SOT 42508 SOS 27249 HAS SOPS 26971 HAS SOUS 16092 HAS SOUPS 15814 WITH SCORE 15841.249
AT ITER 470 NEW BEST:: SOT 42507 SOS 27248 HAS SOPS 26970 HAS SOUS 16090 HAS SOUPS 15812 WITH SCORE 15839.248
AT ITER 477 NEW BEST:: SOT 42455 SOS 27196 HAS SOPS 26918 HAS SOUS 16038 HAS SOUPS 15760 WITH SCORE 15787.196
AT ITER 484 NEW BEST:: SOT 41439 SOS 26326 HAS SOPS 26048 HAS SOUS 15658 HAS SOUPS 15380 WITH SCORE 15406.326
AT ITER 485 NEW BEST:: SOT 41424 SOS 26311 HAS SOPS 26033 HAS SOUS 15643 HAS SOUPS 15365 WITH SCORE 15391.311
AT ITER 488 NEW BEST:: SOT 41424 SOS 26311 HAS SOPS 26033 HAS SOUS 15641 HAS SOUPS 15363 WITH SCORE 15389.311
AT ITER 498 NEW BEST:: SOT 41424 SOS 26251 HAS SOPS 25973 HAS SOUS 15641 HAS SOUPS 15363 WITH SCORE 15389.251
AT ITER 504 NEW BEST:: SOT 41402 SOS 26233 HAS SOPS 25955 HAS SOUS 15597 HAS SOUPS 15319 WITH SCORE 15345.233
AT ITER 506 NEW BEST:: SOT 41386 SOS 26172 HAS SOPS 25894 HAS SOUS 15579 HAS SOUPS 15301 WITH SCORE 15327.172
AT ITER 510 NEW BEST:: SOT 41338 SOS 26142 HAS SOPS 25864 HAS SOUS 15576 HAS SOUPS 15298 WITH SCORE 15324.142
AT ITER 514 NEW BEST:: SOT 41298 SOS 26102 HAS SOPS 25824 HAS SOUS 15496 HAS SOUPS 15218 WITH SCORE 15244.102
AT ITER 515 NEW BEST:: SOT 41289 SOS 26093 HAS SOPS 25815 HAS SOUS 15478 HAS SOUPS 15200 WITH SCORE 15226.093
AT ITER 516 NEW BEST:: SOT 41314 SOS 26023 HAS SOPS 25720 HAS SOUS 15503 HAS SOUPS 15200 WITH SCORE 15226.023
AT ITER 526 NEW BEST:: SOT 41270 SOS 25945 HAS SOPS 25642 HAS SOUS 15371 HAS SOUPS 15068 WITH SCORE 15093.945
AT ITER 527 NEW BEST:: SOT 41264 SOS 25939 HAS SOPS 25636 HAS SOUS 15359 HAS SOUPS 15056 WITH SCORE 15081.939
AT ITER 528 NEW BEST:: SOT 41235 SOS 25971 HAS SOPS 25668 HAS SOUS 15272 HAS SOUPS 14969 WITH SCORE 14994.971
AT ITER 537 NEW BEST:: SOT 41207 SOS 25959 HAS SOPS 25656 HAS SOUS 15214 HAS SOUPS 14911 WITH SCORE 14936.959
AT ITER 540 NEW BEST:: SOT 41142 SOS 25894 HAS SOPS 25591 HAS SOUS 15113 HAS SOUPS 14810 WITH SCORE 14835.894
AT ITER 546 NEW BEST:: SOT 41126 SOS 25878 HAS SOPS 25575 HAS SOUS 15081 HAS SOUPS 14778 WITH SCORE 14803.878
AT ITER 551 NEW BEST:: SOT 41153 SOS 25905 HAS SOPS 25602 HAS SOUS 15072 HAS SOUPS 14769 WITH SCORE 14794.905
AT ITER 556 NEW BEST:: SOT 41141 SOS 25873 HAS SOPS 25570 HAS SOUS 14982 HAS SOUPS 14679 WITH SCORE 14704.873
AT ITER 562 NEW BEST:: SOT 41124 SOS 25868 HAS SOPS 25565 HAS SOUS 14948 HAS SOUPS 14645 WITH SCORE 14670.868
AT ITER 569 NEW BEST:: SOT 41076 SOS 25770 HAS SOPS 25467 HAS SOUS 14804 HAS SOUPS 14501 WITH SCORE 14526.77
AT ITER 574 NEW BEST:: SOT 41067 SOS 25761 HAS SOPS 25458 HAS SOUS 14786 HAS SOUPS 14483 WITH SCORE 14508.761
AT ITER 582 NEW BEST:: SOT 41060 SOS 25754 HAS SOPS 25451 HAS SOUS 14754 HAS SOUPS 14451 WITH SCORE 14476.754
AT ITER 587 NEW BEST:: SOT 41059 SOS 25747 HAS SOPS 25444 HAS SOUS 14751 HAS SOUPS 14448 WITH SCORE 14473.747
AT ITER 588 NEW BEST:: SOT 40887 SOS 25580 HAS SOPS 25277 HAS SOUS 14668 HAS SOUPS 14365 WITH SCORE 14390.58
AT ITER 595 NEW BEST:: SOT 40954 SOS 25619 HAS SOPS 25316 HAS SOUS 14651 HAS SOUPS 14348 WITH SCORE 14373.619
AT ITER 598 NEW BEST:: SOT 40785 SOS 25487 HAS SOPS 25191 HAS SOUS 14637 HAS SOUPS 14341 WITH SCORE 14366.487
AT ITER 612 NEW BEST:: SOT 40715 SOS 25455 HAS SOPS 25159 HAS SOUS 14609 HAS SOUPS 14313 WITH SCORE 14338.455
AT ITER 629 NEW BEST:: SOT 40715 SOS 25455 HAS SOPS 25159 HAS SOUS 14581 HAS SOUPS 14285 WITH SCORE 14310.455
AT ITER 631 NEW BEST:: SOT 40715 SOS 25453 HAS SOPS 25157 HAS SOUS 14581 HAS SOUPS 14285 WITH SCORE 14310.453
AT ITER 642 NEW BEST:: SOT 40675 SOS 25437 HAS SOPS 25141 HAS SOUS 14568 HAS SOUPS 14272 WITH SCORE 14297.437
AT ITER 643 NEW BEST:: SOT 40671 SOS 25433 HAS SOPS 25137 HAS SOUS 14560 HAS SOUPS 14264 WITH SCORE 14289.433
AT ITER 646 NEW BEST:: SOT 40515 SOS 25326 HAS SOPS 25030 HAS SOUS 14505 HAS SOUPS 14209 WITH SCORE 14234.326
AT ITER 650 NEW BEST:: SOT 40497 SOS 25273 HAS SOPS 24987 HAS SOUS 14489 HAS SOUPS 14203 WITH SCORE 14228.273
AT ITER 667 NEW BEST:: SOT 40497 SOS 25266 HAS SOPS 24980 HAS SOUS 14489 HAS SOUPS 14203 WITH SCORE 14228.266
AT ITER 691 NEW BEST:: SOT 40473 SOS 25510 HAS SOPS 25188 HAS SOUS 14486 HAS SOUPS 14164 WITH SCORE 14189.51
AT ITER 697 NEW BEST:: SOT 40462 SOS 25499 HAS SOPS 25177 HAS SOUS 14464 HAS SOUPS 14142 WITH SCORE 14167.499
AT ITER 724 NEW BEST:: SOT 40460 SOS 25476 HAS SOPS 25154 HAS SOUS 14359 HAS SOUPS 14037 WITH SCORE 14062.476
AT ITER 741 NEW BEST:: SOT 40460 SOS 25456 HAS SOPS 25134 HAS SOUS 14354 HAS SOUPS 14032 WITH SCORE 14057.456
AT ITER 746 NEW BEST:: SOT 40452 SOS 25448 HAS SOPS 25126 HAS SOUS 14346 HAS SOUPS 14024 WITH SCORE 14049.448
AT ITER 749 NEW BEST:: SOT 40451 SOS 25447 HAS SOPS 25125 HAS SOUS 14344 HAS SOUPS 14022 WITH SCORE 14047.447
AT ITER 756 NEW BEST:: SOT 40451 SOS 25277 HAS SOPS 24983 HAS SOUS 14316 HAS SOUPS 14022 WITH SCORE 14047.277
AT ITER 761 NEW BEST:: SOT 40583 SOS 25262 HAS SOPS 24958 HAS SOUS 14271 HAS SOUPS 13967 WITH SCORE 13992.262
AT ITER 769 NEW BEST:: SOT 40583 SOS 25261 HAS SOPS 24958 HAS SOUS 14270 HAS SOUPS 13967 WITH SCORE 13992.261
AT ITER 772 NEW BEST:: SOT 40583 SOS 25246 HAS SOPS 24943 HAS SOUS 14270 HAS SOUPS 13967 WITH SCORE 13992.246
AT ITER 773 NEW BEST:: SOT 40613 SOS 25261 HAS SOPS 24958 HAS SOUS 14240 HAS SOUPS 13937 WITH SCORE 13962.261
AT ITER 781 NEW BEST:: SOT 40636 SOS 25170 HAS SOPS 24867 HAS SOUS 14122 HAS SOUPS 13819 WITH SCORE 13844.17
AT ITER 783 NEW BEST:: SOT 40631 SOS 25165 HAS SOPS 24862 HAS SOUS 14112 HAS SOUPS 13809 WITH SCORE 13834.165
AT ITER 789 NEW BEST:: SOT 40631 SOS 25134 HAS SOPS 24831 HAS SOUS 14112 HAS SOUPS 13809 WITH SCORE 13834.134
AT ITER 803 NEW BEST:: SOT 40630 SOS 25395 HAS SOPS 25092 HAS SOUS 14109 HAS SOUPS 13806 WITH SCORE 13831.395
AT ITER 804 NEW BEST:: SOT 40645 SOS 25410 HAS SOPS 25107 HAS SOUS 14104 HAS SOUPS 13801 WITH SCORE 13826.41
AT ITER 806 NEW BEST:: SOT 40626 SOS 25372 HAS SOPS 25069 HAS SOUS 13996 HAS SOUPS 13693 WITH SCORE 13718.372
AT ITER 820 NEW BEST:: SOT 40626 SOS 25209 HAS SOPS 24906 HAS SOUS 13996 HAS SOUPS 13693 WITH SCORE 13718.209
AT ITER 828 NEW BEST:: SOT 40644 SOS 25217 HAS SOPS 24914 HAS SOUS 13966 HAS SOUPS 13663 WITH SCORE 13688.217
AT ITER 832 NEW BEST:: SOT 40638 SOS 25211 HAS SOPS 24908 HAS SOUS 13960 HAS SOUPS 13657 WITH SCORE 13682.211
AT ITER 835 NEW BEST:: SOT 40649 SOS 25188 HAS SOPS 24885 HAS SOUS 13879 HAS SOUPS 13576 WITH SCORE 13601.188
AT ITER 840 NEW BEST:: SOT 40633 SOS 25173 HAS SOPS 24870 HAS SOUS 13864 HAS SOUPS 13561 WITH SCORE 13586.173
AT ITER 851 NEW BEST:: SOT 40625 SOS 25165 HAS SOPS 24862 HAS SOUS 13848 HAS SOUPS 13545 WITH SCORE 13570.165
AT ITER 861 NEW BEST:: SOT 40625 SOS 25153 HAS SOPS 24856 HAS SOUS 13842 HAS SOUPS 13545 WITH SCORE 13570.153
AT ITER 867 NEW BEST:: SOT 40583 SOS 25125 HAS SOPS 24828 HAS SOUS 13842 HAS SOUPS 13545 WITH SCORE 13570.125
AT ITER 868 NEW BEST:: SOT 40565 SOS 25107 HAS SOPS 24810 HAS SOUS 13824 HAS SOUPS 13527 WITH SCORE 13552.107
AT ITER 874 NEW BEST:: SOT 40549 SOS 24998 HAS SOPS 24716 HAS SOUS 13748 HAS SOUPS 13466 WITH SCORE 13490.998
AT ITER 878 NEW BEST:: SOT 40547 SOS 24996 HAS SOPS 24714 HAS SOUS 13744 HAS SOUPS 13462 WITH SCORE 13486.996
AT ITER 883 NEW BEST:: SOT 40547 SOS 24984 HAS SOPS 24702 HAS SOUS 13744 HAS SOUPS 13462 WITH SCORE 13486.984
AT ITER 896 NEW BEST:: SOT 40533 SOS 24970 HAS SOPS 24688 HAS SOUS 13716 HAS SOUPS 13434 WITH SCORE 13458.97
AT ITER 899 NEW BEST:: SOT 40526 SOS 24997 HAS SOPS 24715 HAS SOUS 13702 HAS SOUPS 13420 WITH SCORE 13444.997
AT ITER 905 NEW BEST:: SOT 40558 SOS 24945 HAS SOPS 24635 HAS SOUS 13671 HAS SOUPS 13361 WITH SCORE 13385.945
AT ITER 910 NEW BEST:: SOT 40558 SOS 24935 HAS SOPS 24627 HAS SOUS 13669 HAS SOUPS 13361 WITH SCORE 13385.935
AT ITER 915 NEW BEST:: SOT 40557 SOS 24934 HAS SOPS 24626 HAS SOUS 13667 HAS SOUPS 13359 WITH SCORE 13383.934
AT ITER 921 NEW BEST:: SOT 40556 SOS 24935 HAS SOPS 24627 HAS SOUS 13648 HAS SOUPS 13340 WITH SCORE 13364.935
AT ITER 932 NEW BEST:: SOT 40544 SOS 24923 HAS SOPS 24615 HAS SOUS 13624 HAS SOUPS 13316 WITH SCORE 13340.923
AT ITER 944 NEW BEST:: SOT 40512 SOS 24891 HAS SOPS 24583 HAS SOUS 13560 HAS SOUPS 13252 WITH SCORE 13276.891
AT ITER 954 NEW BEST:: SOT 40493 SOS 24794 HAS SOPS 24450 HAS SOUS 13539 HAS SOUPS 13195 WITH SCORE 13219.794
AT ITER 956 NEW BEST:: SOT 40491 SOS 24792 HAS SOPS 24448 HAS SOUS 13535 HAS SOUPS 13191 WITH SCORE 13215.792
AT ITER 957 NEW BEST:: SOT 40487 SOS 24788 HAS SOPS 24444 HAS SOUS 13527 HAS SOUPS 13183 WITH SCORE 13207.788
AT ITER 983 NEW BEST:: SOT 40481 SOS 24782 HAS SOPS 24438 HAS SOUS 13515 HAS SOUPS 13171 WITH SCORE 13195.782
AT ITER 984 NEW BEST:: SOT 40357 SOS 24658 HAS SOPS 24314 HAS SOUS 13240 HAS SOUPS 12896 WITH SCORE 12920.658
AT ITER 1013 NEW BEST:: SOT 40353 SOS 24655 HAS SOPS 24311 HAS SOUS 13238 HAS SOUPS 12894 WITH SCORE 12918.655
AT ITER 1022 NEW BEST:: SOT 40347 SOS 24649 HAS SOPS 24305 HAS SOUS 13232 HAS SOUPS 12888 WITH SCORE 12912.649
AT ITER 1025 NEW BEST:: SOT 40345 SOS 24632 HAS SOPS 24288 HAS SOUS 13228 HAS SOUPS 12884 WITH SCORE 12908.632
AT ITER 1049 NEW BEST:: SOT 40327 SOS 24717 HAS SOPS 24343 HAS SOUS 13220 HAS SOUPS 12846 WITH SCORE 12870.717
AT ITER 1051 NEW BEST:: SOT 40280 SOS 24648 HAS SOPS 24274 HAS SOUS 13126 HAS SOUPS 12752 WITH SCORE 12776.648
AT ITER 1062 NEW BEST:: SOT 40247 SOS 24615 HAS SOPS 24241 HAS SOUS 13069 HAS SOUPS 12695 WITH SCORE 12719.615
AT ITER 1073 NEW BEST:: SOT 40247 SOS 24591 HAS SOPS 24217 HAS SOUS 13069 HAS SOUPS 12695 WITH SCORE 12719.591
AT ITER 1082 NEW BEST:: SOT 40238 SOS 24582 HAS SOPS 24208 HAS SOUS 13051 HAS SOUPS 12677 WITH SCORE 12701.582
AT ITER 1093 NEW BEST:: SOT 40347 SOS 24655 HAS SOPS 24281 HAS SOUS 13043 HAS SOUPS 12669 WITH SCORE 12693.655
AT ITER 1108 NEW BEST:: SOT 40327 SOS 24622 HAS SOPS 24248 HAS SOUS 12951 HAS SOUPS 12577 WITH SCORE 12601.622
AT ITER 1124 NEW BEST:: SOT 40308 SOS 24603 HAS SOPS 24229 HAS SOUS 12913 HAS SOUPS 12539 WITH SCORE 12563.603
AT ITER 1129 NEW BEST:: SOT 40292 SOS 24573 HAS SOPS 24199 HAS SOUS 12899 HAS SOUPS 12525 WITH SCORE 12549.573
AT ITER 1149 NEW BEST:: SOT 40292 SOS 24372 HAS SOPS 24031 HAS SOUS 12866 HAS SOUPS 12525 WITH SCORE 12549.372
AT ITER 1150 NEW BEST:: SOT 40296 SOS 24368 HAS SOPS 24025 HAS SOUS 12866 HAS SOUPS 12523 WITH SCORE 12547.368
AT ITER 1154 NEW BEST:: SOT 40267 SOS 24339 HAS SOPS 23996 HAS SOUS 12808 HAS SOUPS 12465 WITH SCORE 12489.339
AT ITER 1193 NEW BEST:: SOT 40344 SOS 24392 HAS SOPS 24049 HAS SOUS 12805 HAS SOUPS 12462 WITH SCORE 12486.392
AT ITER 1197 NEW BEST:: SOT 40312 SOS 24360 HAS SOPS 24017 HAS SOUS 12773 HAS SOUPS 12430 WITH SCORE 12454.36
AT ITER 1200 NEW BEST:: SOT 40366 SOS 24389 HAS SOPS 24046 HAS SOUS 12728 HAS SOUPS 12385 WITH SCORE 12409.389
AT ITER 1202 NEW BEST:: SOT 40375 SOS 24371 HAS SOPS 24019 HAS SOUS 12737 HAS SOUPS 12385 WITH SCORE 12409.371
AT ITER 1216 NEW BEST:: SOT 40358 SOS 24394 HAS SOPS 24042 HAS SOUS 12686 HAS SOUPS 12334 WITH SCORE 12358.394
AT ITER 1239 NEW BEST:: SOT 40356 SOS 24392 HAS SOPS 24040 HAS SOUS 12682 HAS SOUPS 12330 WITH SCORE 12354.392
AT ITER 1241 NEW BEST:: SOT 40336 SOS 24372 HAS SOPS 24020 HAS SOUS 12649 HAS SOUPS 12297 WITH SCORE 12321.372
AT ITER 1251 NEW BEST:: SOT 40352 SOS 24222 HAS SOPS 23854 HAS SOUS 12665 HAS SOUPS 12297 WITH SCORE 12321.222
AT ITER 1258 NEW BEST:: SOT 39905 SOS 24271 HAS SOPS 23903 HAS SOUS 12467 HAS SOUPS 12099 WITH SCORE 12123.271
AT ITER 1271 NEW BEST:: SOT 39894 SOS 24205 HAS SOPS 23826 HAS SOUS 12423 HAS SOUPS 12044 WITH SCORE 12068.205
AT ITER 1272 NEW BEST:: SOT 39876 SOS 24187 HAS SOPS 23808 HAS SOUS 12387 HAS SOUPS 12008 WITH SCORE 12032.187
AT ITER 1285 NEW BEST:: SOT 39862 SOS 24133 HAS SOPS 23754 HAS SOUS 12353 HAS SOUPS 11974 WITH SCORE 11998.133
AT ITER 1289 NEW BEST:: SOT 39842 SOS 24094 HAS SOPS 23715 HAS SOUS 12289 HAS SOUPS 11910 WITH SCORE 11934.094
AT ITER 1292 NEW BEST:: SOT 39831 SOS 24118 HAS SOPS 23721 HAS SOUS 12274 HAS SOUPS 11877 WITH SCORE 11901.118
AT ITER 1329 NEW BEST:: SOT 39831 SOS 24118 HAS SOPS 23721 HAS SOUS 12266 HAS SOUPS 11869 WITH SCORE 11893.118
AT ITER 1358 NEW BEST:: SOT 39831 SOS 24107 HAS SOPS 23716 HAS SOUS 12260 HAS SOUPS 11869 WITH SCORE 11893.107
AT ITER 1359 NEW BEST:: SOT 39828 SOS 24095 HAS SOPS 23704 HAS SOUS 12233 HAS SOUPS 11842 WITH SCORE 11866.095
AT ITER 1398 NEW BEST:: SOT 39823 SOS 24090 HAS SOPS 23699 HAS SOUS 12228 HAS SOUPS 11837 WITH SCORE 11861.09
AT ITER 1408 NEW BEST:: SOT 39842 SOS 24100 HAS SOPS 23709 HAS SOUS 12212 HAS SOUPS 11821 WITH SCORE 11845.1
AT ITER 1412 NEW BEST:: SOT 39810 SOS 24068 HAS SOPS 23677 HAS SOUS 12176 HAS SOUPS 11785 WITH SCORE 11809.068
AT ITER 1420 NEW BEST:: SOT 39840 SOS 24098 HAS SOPS 23707 HAS SOUS 12174 HAS SOUPS 11783 WITH SCORE 11807.098
AT ITER 1435 NEW BEST:: SOT 39839 SOS 24097 HAS SOPS 23706 HAS SOUS 12173 HAS SOUPS 11782 WITH SCORE 11806.097
AT ITER 1443 NEW BEST:: SOT 39979 SOS 24183 HAS SOPS 23792 HAS SOUS 12165 HAS SOUPS 11774 WITH SCORE 11798.183
AT ITER 1446 NEW BEST:: SOT 39977 SOS 24181 HAS SOPS 23790 HAS SOUS 12161 HAS SOUPS 11770 WITH SCORE 11794.181
AT ITER 1449 NEW BEST:: SOT 39963 SOS 24079 HAS SOPS 23667 HAS SOUS 12105 HAS SOUPS 11693 WITH SCORE 11717.079
AT ITER 1480 NEW BEST:: SOT 39938 SOS 24054 HAS SOPS 23642 HAS SOUS 12055 HAS SOUPS 11643 WITH SCORE 11667.054
AT ITER 1481 NEW BEST:: SOT 39938 SOS 24041 HAS SOPS 23629 HAS SOUS 12055 HAS SOUPS 11643 WITH SCORE 11667.041
AT ITER 1482 NEW BEST:: SOT 39906 SOS 24009 HAS SOPS 23597 HAS SOUS 11983 HAS SOUPS 11571 WITH SCORE 11595.009
AT ITER 1509 NEW BEST:: SOT 39894 SOS 23991 HAS SOPS 23569 HAS SOUS 11961 HAS SOUPS 11539 WITH SCORE 11562.991
AT ITER 1514 NEW BEST:: SOT 39903 SOS 23965 HAS SOPS 23543 HAS SOUS 11769 HAS SOUPS 11347 WITH SCORE 11370.965
AT ITER 1529 NEW BEST:: SOT 39899 SOS 23941 HAS SOPS 23513 HAS SOUS 11763 HAS SOUPS 11335 WITH SCORE 11358.941
AT ITER 1548 NEW BEST:: SOT 39865 SOS 23919 HAS SOPS 23491 HAS SOUS 11731 HAS SOUPS 11303 WITH SCORE 11326.919
AT ITER 1566 NEW BEST:: SOT 39908 SOS 23943 HAS SOPS 23515 HAS SOUS 11698 HAS SOUPS 11270 WITH SCORE 11293.943
AT ITER 1572 NEW BEST:: SOT 39911 SOS 23944 HAS SOPS 23516 HAS SOUS 11693 HAS SOUPS 11265 WITH SCORE 11288.944
AT ITER 1597 NEW BEST:: SOT 39834 SOS 23867 HAS SOPS 23439 HAS SOUS 11554 HAS SOUPS 11126 WITH SCORE 11149.867
AT ITER 1600 NEW BEST:: SOT 39823 SOS 23837 HAS SOPS 23409 HAS SOUS 11521 HAS SOUPS 11093 WITH SCORE 11116.837
AT ITER 1613 NEW BEST:: SOT 39832 SOS 23786 HAS SOPS 23363 HAS SOUS 11515 HAS SOUPS 11092 WITH SCORE 11115.786
AT ITER 1615 NEW BEST:: SOT 39808 SOS 23762 HAS SOPS 23339 HAS SOUS 11491 HAS SOUPS 11068 WITH SCORE 11091.762
AT ITER 1620 NEW BEST:: SOT 39806 SOS 23760 HAS SOPS 23337 HAS SOUS 11489 HAS SOUPS 11066 WITH SCORE 11089.76
AT ITER 1630 NEW BEST:: SOT 39800 SOS 23754 HAS SOPS 23331 HAS SOUS 11483 HAS SOUPS 11060 WITH SCORE 11083.754
AT ITER 1643 NEW BEST:: SOT 39808 SOS 23755 HAS SOPS 23332 HAS SOUS 11462 HAS SOUPS 11039 WITH SCORE 11062.755
AT ITER 1653 NEW BEST:: SOT 39780 SOS 23727 HAS SOPS 23304 HAS SOUS 11406 HAS SOUPS 10983 WITH SCORE 11006.727
AT ITER 1662 NEW BEST:: SOT 39780 SOS 23714 HAS SOPS 23291 HAS SOUS 11405 HAS SOUPS 10982 WITH SCORE 11005.714
AT ITER 1669 NEW BEST:: SOT 39787 SOS 23693 HAS SOPS 23263 HAS SOUS 11412 HAS SOUPS 10982 WITH SCORE 11005.693
AT ITER 1689 NEW BEST:: SOT 39783 SOS 23689 HAS SOPS 23259 HAS SOUS 11404 HAS SOUPS 10974 WITH SCORE 10997.689
AT ITER 1699 NEW BEST:: SOT 39776 SOS 23682 HAS SOPS 23252 HAS SOUS 11397 HAS SOUPS 10967 WITH SCORE 10990.682
AT ITER 1735 NEW BEST:: SOT 39721 SOS 23627 HAS SOPS 23197 HAS SOUS 11294 HAS SOUPS 10864 WITH SCORE 10887.627
AT ITER 1764 NEW BEST:: SOT 39710 SOS 23616 HAS SOPS 23186 HAS SOUS 11287 HAS SOUPS 10857 WITH SCORE 10880.616
AT ITER 1766 NEW BEST:: SOT 39709 SOS 23615 HAS SOPS 23185 HAS SOUS 11285 HAS SOUPS 10855 WITH SCORE 10878.615
AT ITER 1778 NEW BEST:: SOT 39707 SOS 23613 HAS SOPS 23183 HAS SOUS 11281 HAS SOUPS 10851 WITH SCORE 10874.613
AT ITER 1795 NEW BEST:: SOT 39677 SOS 23583 HAS SOPS 23153 HAS SOUS 11221 HAS SOUPS 10791 WITH SCORE 10814.583
AT ITER 1808 NEW BEST:: SOT 39679 SOS 23562 HAS SOPS 23127 HAS SOUS 11220 HAS SOUPS 10785 WITH SCORE 10808.562
AT ITER 1817 NEW BEST:: SOT 39676 SOS 23559 HAS SOPS 23124 HAS SOUS 11214 HAS SOUPS 10779 WITH SCORE 10802.559
AT ITER 1818 NEW BEST:: SOT 39672 SOS 23551 HAS SOPS 23116 HAS SOUS 11206 HAS SOUPS 10771 WITH SCORE 10794.551
AT ITER 1822 NEW BEST:: SOT 39672 SOS 23551 HAS SOPS 23116 HAS SOUS 11194 HAS SOUPS 10759 WITH SCORE 10782.551
AT ITER 1830 NEW BEST:: SOT 39670 SOS 23549 HAS SOPS 23114 HAS SOUS 11190 HAS SOUPS 10755 WITH SCORE 10778.549
AT ITER 1833 NEW BEST:: SOT 39668 SOS 23547 HAS SOPS 23112 HAS SOUS 11186 HAS SOUPS 10751 WITH SCORE 10774.547
AT ITER 1852 NEW BEST:: SOT 39684 SOS 23557 HAS SOPS 23122 HAS SOUS 11184 HAS SOUPS 10749 WITH SCORE 10772.557
AT ITER 1853 NEW BEST:: SOT 39634 SOS 23796 HAS SOPS 23389 HAS SOUS 11136 HAS SOUPS 10729 WITH SCORE 10752.796
AT ITER 1872 NEW BEST:: SOT 39628 SOS 23747 HAS SOPS 23340 HAS SOUS 11103 HAS SOUPS 10696 WITH SCORE 10719.747
AT ITER 1888 NEW BEST:: SOT 39606 SOS 23886 HAS SOPS 23495 HAS SOUS 11085 HAS SOUPS 10694 WITH SCORE 10717.886
AT ITER 1890 NEW BEST:: SOT 39605 SOS 23886 HAS SOPS 23488 HAS SOUS 11089 HAS SOUPS 10691 WITH SCORE 10714.886
AT ITER 1893 NEW BEST:: SOT 39603 SOS 23884 HAS SOPS 23486 HAS SOUS 11089 HAS SOUPS 10691 WITH SCORE 10714.884
AT ITER 1898 NEW BEST:: SOT 39575 SOS 23689 HAS SOPS 23291 HAS SOUS 10986 HAS SOUPS 10588 WITH SCORE 10611.689
AT ITER 1906 NEW BEST:: SOT 39546 SOS 23660 HAS SOPS 23262 HAS SOUS 10928 HAS SOUPS 10530 WITH SCORE 10553.66
AT ITER 1919 NEW BEST:: SOT 39542 SOS 23656 HAS SOPS 23258 HAS SOUS 10918 HAS SOUPS 10520 WITH SCORE 10543.656
AT ITER 1966 NEW BEST:: SOT 39556 SOS 23650 HAS SOPS 23238 HAS SOUS 10917 HAS SOUPS 10505 WITH SCORE 10528.65
AT ITER 1971 NEW BEST:: SOT 39540 SOS 23651 HAS SOPS 23239 HAS SOUS 10877 HAS SOUPS 10465 WITH SCORE 10488.651
AT ITER 1981 NEW BEST:: SOT 39538 SOS 23637 HAS SOPS 23225 HAS SOUS 10871 HAS SOUPS 10459 WITH SCORE 10482.637
AT ITER 1986 NEW BEST:: SOT 39529 SOS 23616 HAS SOPS 23204 HAS SOUS 10856 HAS SOUPS 10444 WITH SCORE 10467.616
AT ITER 1989 NEW BEST:: SOT 39503 SOS 23590 HAS SOPS 23178 HAS SOUS 10804 HAS SOUPS 10392 WITH SCORE 10415.59
AT ITER 1995 NEW BEST:: SOT 39501 SOS 23621 HAS SOPS 23209 HAS SOUS 10803 HAS SOUPS 10391 WITH SCORE 10414.621
AT ITER 2026 NEW BEST:: SOT 39500 SOS 23620 HAS SOPS 23208 HAS SOUS 10801 HAS SOUPS 10389 WITH SCORE 10412.62
AT ITER 2035 NEW BEST:: SOT 39448 SOS 23545 HAS SOPS 23133 HAS SOUS 10696 HAS SOUPS 10284 WITH SCORE 10307.545
AT ITER 2049 NEW BEST:: SOT 39408 SOS 23508 HAS SOPS 23096 HAS SOUS 10656 HAS SOUPS 10244 WITH SCORE 10267.508
AT ITER 2060 NEW BEST:: SOT 39399 SOS 23499 HAS SOPS 23087 HAS SOUS 10638 HAS SOUPS 10226 WITH SCORE 10249.499
AT ITER 2080 NEW BEST:: SOT 39398 SOS 23497 HAS SOPS 23085 HAS SOUS 10634 HAS SOUPS 10222 WITH SCORE 10245.497
AT ITER 2117 NEW BEST:: SOT 39383 SOS 23443 HAS SOPS 23031 HAS SOUS 10568 HAS SOUPS 10156 WITH SCORE 10179.443
AT ITER 2166 NEW BEST:: SOT 39397 SOS 23408 HAS SOPS 22994 HAS SOUS 10536 HAS SOUPS 10122 WITH SCORE 10145.408
AT ITER 2181 NEW BEST:: SOT 39375 SOS 23386 HAS SOPS 22972 HAS SOUS 10495 HAS SOUPS 10081 WITH SCORE 10104.386
AT ITER 2223 NEW BEST:: SOT 39370 SOS 23381 HAS SOPS 22967 HAS SOUS 10485 HAS SOUPS 10071 WITH SCORE 10094.381
AT ITER 2239 NEW BEST:: SOT 39336 SOS 23347 HAS SOPS 22933 HAS SOUS 10483 HAS SOUPS 10069 WITH SCORE 10092.347
AT ITER 2249 NEW BEST:: SOT 39310 SOS 23321 HAS SOPS 22907 HAS SOUS 10473 HAS SOUPS 10059 WITH SCORE 10082.321
AT ITER 2272 NEW BEST:: SOT 39302 SOS 23313 HAS SOPS 22899 HAS SOUS 10457 HAS SOUPS 10043 WITH SCORE 10066.313
AT ITER 2280 NEW BEST:: SOT 39320 SOS 23312 HAS SOPS 22898 HAS SOUS 10401 HAS SOUPS 9987 WITH SCORE 10010.312
AT ITER 2337 NEW BEST:: SOT 39348 SOS 23340 HAS SOPS 22926 HAS SOUS 10381 HAS SOUPS 9967 WITH SCORE 9990.34
AT ITER 2338 NEW BEST:: SOT 39345 SOS 23337 HAS SOPS 22923 HAS SOUS 10381 HAS SOUPS 9967 WITH SCORE 9990.337
AT ITER 2339 NEW BEST:: SOT 39339 SOS 23331 HAS SOPS 22917 HAS SOUS 10369 HAS SOUPS 9955 WITH SCORE 9978.331
AT ITER 2348 NEW BEST:: SOT 39327 SOS 23319 HAS SOPS 22905 HAS SOUS 10345 HAS SOUPS 9931 WITH SCORE 9954.319
AT ITER 2377 NEW BEST:: SOT 39325 SOS 23317 HAS SOPS 22903 HAS SOUS 10335 HAS SOUPS 9921 WITH SCORE 9944.317
AT ITER 2443 NEW BEST:: SOT 39318 SOS 23310 HAS SOPS 22896 HAS SOUS 10328 HAS SOUPS 9914 WITH SCORE 9937.31
AT ITER 2449 NEW BEST:: SOT 39309 SOS 23305 HAS SOPS 22891 HAS SOUS 10323 HAS SOUPS 9909 WITH SCORE 9932.305
AT ITER 2457 NEW BEST:: SOT 39271 SOS 23287 HAS SOPS 22874 HAS SOUS 10293 HAS SOUPS 9880 WITH SCORE 9903.287
AT ITER 2475 NEW BEST:: SOT 39206 SOS 23344 HAS SOPS 22963 HAS SOUS 10227 HAS SOUPS 9846 WITH SCORE 9869.344
AT ITER 2484 NEW BEST:: SOT 39200 SOS 23338 HAS SOPS 22957 HAS SOUS 10222 HAS SOUPS 9841 WITH SCORE 9864.338
AT ITER 2549 NEW BEST:: SOT 39190 SOS 23328 HAS SOPS 22947 HAS SOUS 10203 HAS SOUPS 9822 WITH SCORE 9845.328
AT ITER 2574 NEW BEST:: SOT 39180 SOS 23318 HAS SOPS 22937 HAS SOUS 10183 HAS SOUPS 9802 WITH SCORE 9825.318
AT ITER 2585 NEW BEST:: SOT 39226 SOS 23347 HAS SOPS 22966 HAS SOUS 10173 HAS SOUPS 9792 WITH SCORE 9815.347
AT ITER 2589 NEW BEST:: SOT 39179 SOS 23291 HAS SOPS 22910 HAS SOUS 10079 HAS SOUPS 9698 WITH SCORE 9721.291
AT ITER 2611 NEW BEST:: SOT 39174 SOS 23256 HAS SOPS 22875 HAS SOUS 10064 HAS SOUPS 9683 WITH SCORE 9706.256
AT ITER 2612 NEW BEST:: SOT 39138 SOS 23217 HAS SOPS 22836 HAS SOUS 9996 HAS SOUPS 9615 WITH SCORE 9638.217
AT ITER 2630 NEW BEST:: SOT 39166 SOS 23238 HAS SOPS 22857 HAS SOUS 9989 HAS SOUPS 9608 WITH SCORE 9631.238
AT ITER 2650 NEW BEST:: SOT 39174 SOS 23242 HAS SOPS 22861 HAS SOUS 9977 HAS SOUPS 9596 WITH SCORE 9619.242
AT ITER 2652 NEW BEST:: SOT 39166 SOS 23234 HAS SOPS 22853 HAS SOUS 9961 HAS SOUPS 9580 WITH SCORE 9603.234
AT ITER 2673 NEW BEST:: SOT 39012 SOS 23134 HAS SOPS 22753 HAS SOUS 9892 HAS SOUPS 9511 WITH SCORE 9534.134
AT ITER 2681 NEW BEST:: SOT 39005 SOS 23127 HAS SOPS 22746 HAS SOUS 9878 HAS SOUPS 9497 WITH SCORE 9520.127
AT ITER 2739 NEW BEST:: SOT 38988 SOS 23162 HAS SOPS 22781 HAS SOUS 9871 HAS SOUPS 9490 WITH SCORE 9513.162
AT ITER 2774 NEW BEST:: SOT 38984 SOS 23138 HAS SOPS 22757 HAS SOUS 9855 HAS SOUPS 9474 WITH SCORE 9497.138
AT ITER 2775 NEW BEST:: SOT 38990 SOS 23141 HAS SOPS 22760 HAS SOUS 9849 HAS SOUPS 9468 WITH SCORE 9491.141
AT ITER 2804 NEW BEST:: SOT 38901 SOS 23082 HAS SOPS 22701 HAS SOUS 9762 HAS SOUPS 9381 WITH SCORE 9404.082
AT ITER 2821 NEW BEST:: SOT 38910 SOS 23079 HAS SOPS 22698 HAS SOUS 9708 HAS SOUPS 9327 WITH SCORE 9350.079
AT ITER 2875 NEW BEST:: SOT 38943 SOS 22979 HAS SOPS 22565 HAS SOUS 9741 HAS SOUPS 9327 WITH SCORE 9349.979
AT ITER 2879 NEW BEST:: SOT 38946 SOS 22946 HAS SOPS 22533 HAS SOUS 9730 HAS SOUPS 9317 WITH SCORE 9339.946
AT ITER 2889 NEW BEST:: SOT 38946 SOS 22942 HAS SOPS 22529 HAS SOUS 9716 HAS SOUPS 9303 WITH SCORE 9325.942
AT ITER 2908 NEW BEST:: SOT 38950 SOS 22942 HAS SOPS 22529 HAS SOUS 9686 HAS SOUPS 9273 WITH SCORE 9295.942
AT ITER 2952 NEW BEST:: SOT 38926 SOS 22924 HAS SOPS 22511 HAS SOUS 9674 HAS SOUPS 9261 WITH SCORE 9283.924
AT ITER 2955 NEW BEST:: SOT 38925 SOS 22923 HAS SOPS 22510 HAS SOUS 9671 HAS SOUPS 9258 WITH SCORE 9280.923
AT ITER 2968 NEW BEST:: SOT 38919 SOS 22917 HAS SOPS 22504 HAS SOUS 9659 HAS SOUPS 9246 WITH SCORE 9268.917
AT ITER 2981 NEW BEST:: SOT 38897 SOS 22895 HAS SOPS 22482 HAS SOUS 9615 HAS SOUPS 9202 WITH SCORE 9224.895
AT ITER 3012 NEW BEST:: SOT 38899 SOS 22882 HAS SOPS 22466 HAS SOUS 9614 HAS SOUPS 9198 WITH SCORE 9220.882
AT ITER 3014 NEW BEST:: SOT 38899 SOS 22864 HAS SOPS 22445 HAS SOUS 9608 HAS SOUPS 9189 WITH SCORE 9211.864
AT ITER 3024 NEW BEST:: SOT 38910 SOS 22870 HAS SOPS 22451 HAS SOUS 9600 HAS SOUPS 9181 WITH SCORE 9203.87
AT ITER 3044 NEW BEST:: SOT 38858 SOS 22833 HAS SOPS 22414 HAS SOUS 9586 HAS SOUPS 9167 WITH SCORE 9189.833
AT ITER 3054 NEW BEST:: SOT 38858 SOS 22832 HAS SOPS 22414 HAS SOUS 9585 HAS SOUPS 9167 WITH SCORE 9189.832
AT ITER 3115 NEW BEST:: SOT 38857 SOS 22831 HAS SOPS 22413 HAS SOUS 9583 HAS SOUPS 9165 WITH SCORE 9187.831
AT ITER 3116 NEW BEST:: SOT 38855 SOS 22837 HAS SOPS 22416 HAS SOUS 9580 HAS SOUPS 9159 WITH SCORE 9181.837
AT ITER 3167 NEW BEST:: SOT 38851 SOS 22833 HAS SOPS 22412 HAS SOUS 9566 HAS SOUPS 9145 WITH SCORE 9167.833
AT ITER 3201 NEW BEST:: SOT 38812 SOS 22787 HAS SOPS 22366 HAS SOUS 9498 HAS SOUPS 9077 WITH SCORE 9099.787
AT ITER 3265 NEW BEST:: SOT 38774 SOS 22754 HAS SOPS 22333 HAS SOUS 9482 HAS SOUPS 9061 WITH SCORE 9083.754
AT ITER 3288 NEW BEST:: SOT 38759 SOS 22739 HAS SOPS 22318 HAS SOUS 9452 HAS SOUPS 9031 WITH SCORE 9053.739
AT ITER 3298 NEW BEST:: SOT 38762 SOS 22732 HAS SOPS 22311 HAS SOUS 9451 HAS SOUPS 9030 WITH SCORE 9052.732
AT ITER 3332 NEW BEST:: SOT 38758 SOS 22728 HAS SOPS 22307 HAS SOUS 9443 HAS SOUPS 9022 WITH SCORE 9044.728
AT ITER 3334 NEW BEST:: SOT 38756 SOS 22726 HAS SOPS 22305 HAS SOUS 9439 HAS SOUPS 9018 WITH SCORE 9040.726
AT ITER 3372 NEW BEST:: SOT 38752 SOS 22762 HAS SOPS 22341 HAS SOUS 9435 HAS SOUPS 9014 WITH SCORE 9036.762
AT ITER 3392 NEW BEST:: SOT 38738 SOS 22755 HAS SOPS 22334 HAS SOUS 9428 HAS SOUPS 9007 WITH SCORE 9029.755
AT ITER 3423 NEW BEST:: SOT 38725 SOS 22742 HAS SOPS 22321 HAS SOUS 9402 HAS SOUPS 8981 WITH SCORE 9003.742
AT ITER 3499 NEW BEST:: SOT 38725 SOS 22747 HAS SOPS 22326 HAS SOUS 9398 HAS SOUPS 8977 WITH SCORE 8999.747
AT ITER 3512 NEW BEST:: SOT 38723 SOS 22745 HAS SOPS 22324 HAS SOUS 9394 HAS SOUPS 8973 WITH SCORE 8995.745
AT ITER 3617 NEW BEST:: SOT 38719 SOS 22765 HAS SOPS 22344 HAS SOUS 9382 HAS SOUPS 8961 WITH SCORE 8983.765
AT ITER 3659 NEW BEST:: SOT 38718 SOS 22758 HAS SOPS 22337 HAS SOUS 9379 HAS SOUPS 8958 WITH SCORE 8980.758
AT ITER 3665 NEW BEST:: SOT 38755 SOS 22780 HAS SOPS 22359 HAS SOUS 9363 HAS SOUPS 8942 WITH SCORE 8964.78
AT ITER 3666 NEW BEST:: SOT 38669 SOS 22722 HAS SOPS 22301 HAS SOUS 9327 HAS SOUPS 8906 WITH SCORE 8928.722
AT ITER 3673 NEW BEST:: SOT 38658 SOS 22711 HAS SOPS 22290 HAS SOUS 9310 HAS SOUPS 8889 WITH SCORE 8911.711
AT ITER 3685 NEW BEST:: SOT 38658 SOS 22704 HAS SOPS 22283 HAS SOUS 9310 HAS SOUPS 8889 WITH SCORE 8911.704
AT ITER 3696 NEW BEST:: SOT 38657 SOS 22697 HAS SOPS 22276 HAS SOUS 9307 HAS SOUPS 8886 WITH SCORE 8908.697
AT ITER 3700 NEW BEST:: SOT 38636 SOS 22676 HAS SOPS 22255 HAS SOUS 9286 HAS SOUPS 8865 WITH SCORE 8887.676
AT ITER 3708 NEW BEST:: SOT 38618 SOS 22658 HAS SOPS 22237 HAS SOUS 9268 HAS SOUPS 8847 WITH SCORE 8869.658
AT ITER 3776 NEW BEST:: SOT 38574 SOS 22616 HAS SOPS 22195 HAS SOUS 9229 HAS SOUPS 8808 WITH SCORE 8830.616
AT ITER 3787 NEW BEST:: SOT 38571 SOS 22614 HAS SOPS 22193 HAS SOUS 9226 HAS SOUPS 8805 WITH SCORE 8827.614
AT ITER 3793 NEW BEST:: SOT 38549 SOS 22623 HAS SOPS 22202 HAS SOUS 9209 HAS SOUPS 8788 WITH SCORE 8810.623
AT ITER 3799 NEW BEST:: SOT 38547 SOS 22621 HAS SOPS 22200 HAS SOUS 9205 HAS SOUPS 8784 WITH SCORE 8806.621
AT ITER 3811 NEW BEST:: SOT 38546 SOS 22619 HAS SOPS 22198 HAS SOUS 9201 HAS SOUPS 8780 WITH SCORE 8802.619
AT ITER 3829 NEW BEST:: SOT 38573 SOS 22636 HAS SOPS 22215 HAS SOUS 9195 HAS SOUPS 8774 WITH SCORE 8796.636
AT ITER 3964 NEW BEST:: SOT 38639 SOS 22667 HAS SOPS 22246 HAS SOUS 9157 HAS SOUPS 8736 WITH SCORE 8758.667
AT ITER 3971 NEW BEST:: SOT 38626 SOS 22654 HAS SOPS 22233 HAS SOUS 9131 HAS SOUPS 8710 WITH SCORE 8732.654
AT ITER 4013 NEW BEST:: SOT 38624 SOS 22652 HAS SOPS 22231 HAS SOUS 9128 HAS SOUPS 8707 WITH SCORE 8729.652
AT ITER 4024 NEW BEST:: SOT 38624 SOS 22649 HAS SOPS 22233 HAS SOUS 9123 HAS SOUPS 8707 WITH SCORE 8729.649
AT ITER 4027 NEW BEST:: SOT 38616 SOS 22654 HAS SOPS 22224 HAS SOUS 9110 HAS SOUPS 8680 WITH SCORE 8702.654
AT ITER 4031 NEW BEST:: SOT 38611 SOS 22644 HAS SOPS 22214 HAS SOUS 9105 HAS SOUPS 8675 WITH SCORE 8697.644
AT ITER 4035 NEW BEST:: SOT 38611 SOS 22640 HAS SOPS 22210 HAS SOUS 9105 HAS SOUPS 8675 WITH SCORE 8697.64
AT ITER 4057 NEW BEST:: SOT 38586 SOS 22605 HAS SOPS 22175 HAS SOUS 9020 HAS SOUPS 8590 WITH SCORE 8612.605
AT ITER 4148 NEW BEST:: SOT 38572 SOS 22607 HAS SOPS 22179 HAS SOUS 9013 HAS SOUPS 8585 WITH SCORE 8607.607
AT ITER 4175 NEW BEST:: SOT 38562 SOS 22597 HAS SOPS 22169 HAS SOUS 8993 HAS SOUPS 8565 WITH SCORE 8587.597
AT ITER 4244 NEW BEST:: SOT 38560 SOS 22594 HAS SOPS 22166 HAS SOUS 8984 HAS SOUPS 8556 WITH SCORE 8578.594
AT ITER 4317 NEW BEST:: SOT 38561 SOS 22567 HAS SOPS 22119 HAS SOUS 8979 HAS SOUPS 8531 WITH SCORE 8553.567
AT ITER 4320 NEW BEST:: SOT 38557 SOS 22563 HAS SOPS 22115 HAS SOUS 8971 HAS SOUPS 8523 WITH SCORE 8545.563
AT ITER 4359 NEW BEST:: SOT 38557 SOS 22562 HAS SOPS 22115 HAS SOUS 8970 HAS SOUPS 8523 WITH SCORE 8545.562
AT ITER 4458 NEW BEST:: SOT 38549 SOS 22554 HAS SOPS 22107 HAS SOUS 8954 HAS SOUPS 8507 WITH SCORE 8529.554
AT ITER 4472 NEW BEST:: SOT 38555 SOS 22555 HAS SOPS 22108 HAS SOUS 8946 HAS SOUPS 8499 WITH SCORE 8521.555
AT ITER 4504 NEW BEST:: SOT 38547 SOS 22547 HAS SOPS 22100 HAS SOUS 8930 HAS SOUPS 8483 WITH SCORE 8505.547
AT ITER 4511 NEW BEST:: SOT 38554 SOS 22542 HAS SOPS 22095 HAS SOUS 8923 HAS SOUPS 8476 WITH SCORE 8498.542
AT ITER 4526 NEW BEST:: SOT 38524 SOS 22521 HAS SOPS 22074 HAS SOUS 8917 HAS SOUPS 8470 WITH SCORE 8492.521
AT ITER 4532 NEW BEST:: SOT 38521 SOS 22519 HAS SOPS 22072 HAS SOUS 8914 HAS SOUPS 8467 WITH SCORE 8489.519
AT ITER 4537 NEW BEST:: SOT 38515 SOS 22515 HAS SOPS 22068 HAS SOUS 8914 HAS SOUPS 8467 WITH SCORE 8489.515
AT ITER 4538 NEW BEST:: SOT 38497 SOS 22497 HAS SOPS 22050 HAS SOUS 8878 HAS SOUPS 8431 WITH SCORE 8453.497
AT ITER 4582 NEW BEST:: SOT 38493 SOS 22494 HAS SOPS 22047 HAS SOUS 8876 HAS SOUPS 8429 WITH SCORE 8451.494
AT ITER 4614 NEW BEST:: SOT 38501 SOS 22502 HAS SOPS 22055 HAS SOUS 8874 HAS SOUPS 8427 WITH SCORE 8449.502
AT ITER 4735 NEW BEST:: SOT 38499 SOS 22532 HAS SOPS 22085 HAS SOUS 8869 HAS SOUPS 8422 WITH SCORE 8444.532
AT ITER 4814 NEW BEST:: SOT 38486 SOS 22522 HAS SOPS 22075 HAS SOUS 8861 HAS SOUPS 8414 WITH SCORE 8436.522
AT ITER 4825 NEW BEST:: SOT 38485 SOS 22516 HAS SOPS 22069 HAS SOUS 8858 HAS SOUPS 8411 WITH SCORE 8433.516
AT ITER 4832 NEW BEST:: SOT 38483 SOS 22514 HAS SOPS 22067 HAS SOUS 8856 HAS SOUPS 8409 WITH SCORE 8431.514
AT ITER 4876 NEW BEST:: SOT 38481 SOS 22517 HAS SOPS 22070 HAS SOUS 8854 HAS SOUPS 8407 WITH SCORE 8429.517
AT ITER 4903 NEW BEST:: SOT 38455 SOS 22498 HAS SOPS 22051 HAS SOUS 8844 HAS SOUPS 8397 WITH SCORE 8419.498
AT ITER 4922 NEW BEST:: SOT 38382 SOS 22448 HAS SOPS 22001 HAS SOUS 8837 HAS SOUPS 8390 WITH SCORE 8412.448
AT ITER 4972 NEW BEST:: SOT 38378 SOS 22444 HAS SOPS 21997 HAS SOUS 8829 HAS SOUPS 8382 WITH SCORE 8404.444
AT ITER 5007 NEW BEST:: SOT 38373 SOS 22434 HAS SOPS 21982 HAS SOUS 8819 HAS SOUPS 8367 WITH SCORE 8389.434
AT ITER 5074 NEW BEST:: SOT 38372 SOS 22433 HAS SOPS 21981 HAS SOUS 8818 HAS SOUPS 8366 WITH SCORE 8388.433
AT ITER 5086 NEW BEST:: SOT 38386 SOS 22410 HAS SOPS 21952 HAS SOUS 8820 HAS SOUPS 8362 WITH SCORE 8384.41
AT ITER 5130 NEW BEST:: SOT 38393 SOS 22414 HAS SOPS 21956 HAS SOUS 8816 HAS SOUPS 8358 WITH SCORE 8380.414
AT ITER 5131 NEW BEST:: SOT 38392 SOS 22413 HAS SOPS 21954 HAS SOUS 8814 HAS SOUPS 8355 WITH SCORE 8377.413
AT ITER 5137 NEW BEST:: SOT 38396 SOS 22415 HAS SOPS 21956 HAS SOUS 8810 HAS SOUPS 8351 WITH SCORE 8373.415
AT ITER 5197 NEW BEST:: SOT 38419 SOS 22431 HAS SOPS 21972 HAS SOUS 8805 HAS SOUPS 8346 WITH SCORE 8368.431
AT ITER 5235 NEW BEST:: SOT 38377 SOS 22403 HAS SOPS 21944 HAS SOUS 8805 HAS SOUPS 8346 WITH SCORE 8368.403
AT ITER 5250 NEW BEST:: SOT 38371 SOS 22397 HAS SOPS 21938 HAS SOUS 8799 HAS SOUPS 8340 WITH SCORE 8362.397
AT ITER 5265 NEW BEST:: SOT 38369 SOS 22395 HAS SOPS 21936 HAS SOUS 8795 HAS SOUPS 8336 WITH SCORE 8358.395
AT ITER 5318 NEW BEST:: SOT 38367 SOS 22406 HAS SOPS 21942 HAS SOUS 8794 HAS SOUPS 8330 WITH SCORE 8352.406
AT ITER 5320 NEW BEST:: SOT 38360 SOS 22394 HAS SOPS 21930 HAS SOUS 8773 HAS SOUPS 8309 WITH SCORE 8331.394
AT ITER 5382 NEW BEST:: SOT 38360 SOS 22394 HAS SOPS 21930 HAS SOUS 8763 HAS SOUPS 8299 WITH SCORE 8321.394
AT ITER 5438 NEW BEST:: SOT 38350 SOS 22384 HAS SOPS 21920 HAS SOUS 8743 HAS SOUPS 8279 WITH SCORE 8301.384
AT ITER 5540 NEW BEST:: SOT 38364 SOS 22391 HAS SOPS 21927 HAS SOUS 8737 HAS SOUPS 8273 WITH SCORE 8295.391
AT ITER 5557 NEW BEST:: SOT 38352 SOS 22373 HAS SOPS 21909 HAS SOUS 8684 HAS SOUPS 8220 WITH SCORE 8242.373
AT ITER 5572 NEW BEST:: SOT 38352 SOS 22372 HAS SOPS 21909 HAS SOUS 8683 HAS SOUPS 8220 WITH SCORE 8242.372
AT ITER 5720 NEW BEST:: SOT 38345 SOS 22365 HAS SOPS 21902 HAS SOUS 8671 HAS SOUPS 8208 WITH SCORE 8230.365
AT ITER 5764 NEW BEST:: SOT 38340 SOS 22378 HAS SOPS 21907 HAS SOUS 8664 HAS SOUPS 8193 WITH SCORE 8215.378
AT ITER 5781 NEW BEST:: SOT 38321 SOS 22406 HAS SOPS 21945 HAS SOUS 8644 HAS SOUPS 8183 WITH SCORE 8205.406
AT ITER 5927 NEW BEST:: SOT 38315 SOS 22404 HAS SOPS 21943 HAS SOUS 8644 HAS SOUPS 8183 WITH SCORE 8205.404
AT ITER 5944 NEW BEST:: SOT 38316 SOS 22403 HAS SOPS 21942 HAS SOUS 8636 HAS SOUPS 8175 WITH SCORE 8197.403
AT ITER 6062 NEW BEST:: SOT 38326 SOS 22403 HAS SOPS 21942 HAS SOUS 8596 HAS SOUPS 8135 WITH SCORE 8157.403
AT ITER 6067 NEW BEST:: SOT 38118 SOS 22272 HAS SOPS 21811 HAS SOUS 8554 HAS SOUPS 8093 WITH SCORE 8115.272
AT ITER 6094 NEW BEST:: SOT 38118 SOS 22269 HAS SOPS 21811 HAS SOUS 8551 HAS SOUPS 8093 WITH SCORE 8115.269
AT ITER 6138 NEW BEST:: SOT 38100 SOS 22251 HAS SOPS 21793 HAS SOUS 8515 HAS SOUPS 8057 WITH SCORE 8079.251
AT ITER 6271 NEW BEST:: SOT 38070 SOS 22231 HAS SOPS 21773 HAS SOUS 8485 HAS SOUPS 8027 WITH SCORE 8049.231
AT ITER 6315 NEW BEST:: SOT 38048 SOS 22209 HAS SOPS 21751 HAS SOUS 8465 HAS SOUPS 8007 WITH SCORE 8029.209
AT ITER 6332 NEW BEST:: SOT 38046 SOS 22206 HAS SOPS 21748 HAS SOUS 8459 HAS SOUPS 8001 WITH SCORE 8023.206
AT ITER 6362 NEW BEST:: SOT 38022 SOS 22182 HAS SOPS 21724 HAS SOUS 8413 HAS SOUPS 7955 WITH SCORE 7977.182
AT ITER 6364 NEW BEST:: SOT 38010 SOS 22161 HAS SOPS 21703 HAS SOUS 8407 HAS SOUPS 7949 WITH SCORE 7971.161
AT ITER 6396 NEW BEST:: SOT 38010 SOS 22156 HAS SOPS 21703 HAS SOUS 8402 HAS SOUPS 7949 WITH SCORE 7971.156
AT ITER 6504 NEW BEST:: SOT 38007 SOS 22154 HAS SOPS 21701 HAS SOUS 8402 HAS SOUPS 7949 WITH SCORE 7971.154
AT ITER 6546 NEW BEST:: SOT 38025 SOS 22161 HAS SOPS 21708 HAS SOUS 8372 HAS SOUPS 7919 WITH SCORE 7941.161
AT ITER 6563 NEW BEST:: SOT 38036 SOS 22168 HAS SOPS 21715 HAS SOUS 8370 HAS SOUPS 7917 WITH SCORE 7939.168
AT ITER 6602 NEW BEST:: SOT 38032 SOS 22164 HAS SOPS 21711 HAS SOUS 8366 HAS SOUPS 7913 WITH SCORE 7935.164
AT ITER 6658 NEW BEST:: SOT 38030 SOS 22162 HAS SOPS 21709 HAS SOUS 8362 HAS SOUPS 7909 WITH SCORE 7931.162
AT ITER 6712 NEW BEST:: SOT 38011 SOS 22143 HAS SOPS 21690 HAS SOUS 8331 HAS SOUPS 7878 WITH SCORE 7900.143
AT ITER 6857 NEW BEST:: SOT 38011 SOS 22140 HAS SOPS 21690 HAS SOUS 8328 HAS SOUPS 7878 WITH SCORE 7900.14
AT ITER 6923 NEW BEST:: SOT 37977 SOS 22120 HAS SOPS 21670 HAS SOUS 8328 HAS SOUPS 7878 WITH SCORE 7900.12
AT ITER 6950 NEW BEST:: SOT 37976 SOS 22119 HAS SOPS 21669 HAS SOUS 8326 HAS SOUPS 7876 WITH SCORE 7898.119
AT ITER 6984 NEW BEST:: SOT 37974 SOS 22117 HAS SOPS 21667 HAS SOUS 8322 HAS SOUPS 7872 WITH SCORE 7894.117
AT ITER 7096 NEW BEST:: SOT 37974 SOS 22117 HAS SOPS 21667 HAS SOUS 8320 HAS SOUPS 7870 WITH SCORE 7892.117
AT ITER 7121 NEW BEST:: SOT 37974 SOS 22117 HAS SOPS 21667 HAS SOUS 8319 HAS SOUPS 7869 WITH SCORE 7891.117
AT ITER 7131 NEW BEST:: SOT 37989 SOS 22067 HAS SOPS 21601 HAS SOUS 8333 HAS SOUPS 7867 WITH SCORE 7889.067
AT ITER 7133 NEW BEST:: SOT 37987 SOS 22072 HAS SOPS 21606 HAS SOUS 8332 HAS SOUPS 7866 WITH SCORE 7888.072
AT ITER 7146 NEW BEST:: SOT 37994 SOS 22079 HAS SOPS 21613 HAS SOUS 8323 HAS SOUPS 7857 WITH SCORE 7879.079
AT ITER 7392 NEW BEST:: SOT 37998 SOS 22079 HAS SOPS 21613 HAS SOUS 8306 HAS SOUPS 7840 WITH SCORE 7862.079
AT ITER 7463 NEW BEST:: SOT 38026 SOS 22043 HAS SOPS 21567 HAS SOUS 8311 HAS SOUPS 7835 WITH SCORE 7857.043
AT ITER 7475 NEW BEST:: SOT 38010 SOS 22027 HAS SOPS 21551 HAS SOUS 8289 HAS SOUPS 7813 WITH SCORE 7835.027
AT ITER 7502 NEW BEST:: SOT 38004 SOS 22012 HAS SOPS 21536 HAS SOUS 8289 HAS SOUPS 7813 WITH SCORE 7835.012
AT ITER 7507 NEW BEST:: SOT 37992 SOS 22003 HAS SOPS 21527 HAS SOUS 8283 HAS SOUPS 7807 WITH SCORE 7829.003
AT ITER 7534 NEW BEST:: SOT 37980 SOS 21991 HAS SOPS 21515 HAS SOUS 8271 HAS SOUPS 7795 WITH SCORE 7816.991
AT ITER 7603 NEW BEST:: SOT 37974 SOS 21985 HAS SOPS 21509 HAS SOUS 8269 HAS SOUPS 7793 WITH SCORE 7814.985
AT ITER 7625 NEW BEST:: SOT 37974 SOS 21975 HAS SOPS 21499 HAS SOUS 8269 HAS SOUPS 7793 WITH SCORE 7814.975
AT ITER 7636 NEW BEST:: SOT 37961 SOS 21962 HAS SOPS 21486 HAS SOUS 8243 HAS SOUPS 7767 WITH SCORE 7788.962
AT ITER 7638 NEW BEST:: SOT 37954 SOS 21955 HAS SOPS 21479 HAS SOUS 8230 HAS SOUPS 7754 WITH SCORE 7775.955
AT ITER 7760 NEW BEST:: SOT 37949 SOS 21950 HAS SOPS 21474 HAS SOUS 8224 HAS SOUPS 7748 WITH SCORE 7769.95
AT ITER 7908 NEW BEST:: SOT 37953 SOS 21959 HAS SOPS 21483 HAS SOUS 8223 HAS SOUPS 7747 WITH SCORE 7768.959
AT ITER 7966 NEW BEST:: SOT 37949 SOS 21955 HAS SOPS 21479 HAS SOUS 8217 HAS SOUPS 7741 WITH SCORE 7762.955
AT ITER 8163 NEW BEST:: SOT 37948 SOS 21954 HAS SOPS 21478 HAS SOUS 8215 HAS SOUPS 7739 WITH SCORE 7760.954
AT ITER 8231 NEW BEST:: SOT 37940 SOS 21946 HAS SOPS 21470 HAS SOUS 8200 HAS SOUPS 7724 WITH SCORE 7745.946
AT ITER 8345 NEW BEST:: SOT 37932 SOS 21938 HAS SOPS 21462 HAS SOUS 8184 HAS SOUPS 7708 WITH SCORE 7729.938
AT ITER 8437 NEW BEST:: SOT 37932 SOS 21930 HAS SOPS 21454 HAS SOUS 8152 HAS SOUPS 7676 WITH SCORE 7697.93
AT ITER 8455 NEW BEST:: SOT 37928 SOS 21920 HAS SOPS 21444 HAS SOUS 8151 HAS SOUPS 7675 WITH SCORE 7696.92
AT ITER 8473 NEW BEST:: SOT 37911 SOS 21903 HAS SOPS 21427 HAS SOUS 8118 HAS SOUPS 7642 WITH SCORE 7663.903
AT ITER 8503 NEW BEST:: SOT 37900 SOS 21892 HAS SOPS 21416 HAS SOUS 8096 HAS SOUPS 7620 WITH SCORE 7641.892
AT ITER 8517 NEW BEST:: SOT 37899 SOS 21909 HAS SOPS 21433 HAS SOUS 8093 HAS SOUPS 7617 WITH SCORE 7638.909
AT ITER 8702 NEW BEST:: SOT 37898 SOS 21908 HAS SOPS 21431 HAS SOUS 8091 HAS SOUPS 7614 WITH SCORE 7635.908
AT ITER 8814 NEW BEST:: SOT 37916 SOS 21916 HAS SOPS 21439 HAS SOUS 8067 HAS SOUPS 7590 WITH SCORE 7611.916
AT ITER 8896 NEW BEST:: SOT 37910 SOS 21910 HAS SOPS 21433 HAS SOUS 8055 HAS SOUPS 7578 WITH SCORE 7599.91
AT ITER 8918 NEW BEST:: SOT 37909 SOS 21909 HAS SOPS 21432 HAS SOUS 8054 HAS SOUPS 7577 WITH SCORE 7598.909
AT ITER 8935 NEW BEST:: SOT 37902 SOS 21902 HAS SOPS 21425 HAS SOUS 8040 HAS SOUPS 7563 WITH SCORE 7584.902
AT ITER 9052 NEW BEST:: SOT 37896 SOS 21896 HAS SOPS 21419 HAS SOUS 8038 HAS SOUPS 7561 WITH SCORE 7582.896
AT ITER 9088 NEW BEST:: SOT 37896 SOS 21861 HAS SOPS 21377 HAS SOUS 8031 HAS SOUPS 7547 WITH SCORE 7568.861
AT ITER 9099 NEW BEST:: SOT 37896 SOS 21817 HAS SOPS 21333 HAS SOUS 8031 HAS SOUPS 7547 WITH SCORE 7568.817
AT ITER 9127 NEW BEST:: SOT 37916 SOS 21830 HAS SOPS 21346 HAS SOUS 8028 HAS SOUPS 7544 WITH SCORE 7565.83
AT ITER 9132 NEW BEST:: SOT 37916 SOS 21830 HAS SOPS 21346 HAS SOUS 8027 HAS SOUPS 7543 WITH SCORE 7564.83
AT ITER 9158 NEW BEST:: SOT 37904 SOS 21818 HAS SOPS 21334 HAS SOUS 8003 HAS SOUPS 7519 WITH SCORE 7540.818
AT ITER 9268 NEW BEST:: SOT 37904 SOS 21817 HAS SOPS 21333 HAS SOUS 8003 HAS SOUPS 7519 WITH SCORE 7540.817
AT ITER 9326 NEW BEST:: SOT 37899 SOS 21812 HAS SOPS 21328 HAS SOUS 7995 HAS SOUPS 7511 WITH SCORE 7532.812
AT ITER 9511 NEW BEST:: SOT 37878 SOS 21791 HAS SOPS 21307 HAS SOUS 7958 HAS SOUPS 7474 WITH SCORE 7495.791
AT ITER 9585 NEW BEST:: SOT 37868 SOS 21781 HAS SOPS 21297 HAS SOUS 7938 HAS SOUPS 7454 WITH SCORE 7475.781
AT ITER 9621 NEW BEST:: SOT 37856 SOS 21769 HAS SOPS 21285 HAS SOUS 7914 HAS SOUPS 7430 WITH SCORE 7451.769
AT ITER 9809 NEW BEST:: SOT 37860 SOS 21771 HAS SOPS 21287 HAS SOUS 7908 HAS SOUPS 7424 WITH SCORE 7445.771
AT ITER 9933 NEW BEST:: SOT 37857 SOS 21766 HAS SOPS 21282 HAS SOUS 7898 HAS SOUPS 7414 WITH SCORE 7435.766
AT ITER 9949 NEW BEST:: SOT 37845 SOS 21754 HAS SOPS 21270 HAS SOUS 7875 HAS SOUPS 7391 WITH SCORE 7412.754

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is CSRepetitions-PT-05, 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 r018-oct2-158897680300688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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