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.r355-smll-167891803200280.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 SafeBus-PT-10, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r355-smll-167891803200280
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.6M
-rw-r--r-- 1 mcc users 19K Feb 26 01:40 CTLCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 01:40 CTLCardinality.xml
-rw-r--r-- 1 mcc users 81K Feb 26 01:38 CTLFireability.txt
-rw-r--r-- 1 mcc users 393K Feb 26 01:38 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 7.5K Feb 25 16:49 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 16:49 LTLCardinality.xml
-rw-r--r-- 1 mcc users 42K Feb 25 16:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 151K Feb 25 16:49 LTLFireability.xml
-rw-r--r-- 1 mcc users 31K Feb 26 01:53 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 198K Feb 26 01:53 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 244K Feb 26 01:51 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 1.1M Feb 26 01:51 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.0K Feb 25 16:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.8K Feb 25 16:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 1.2M Mar 5 18:23 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 1679896011239

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=SafeBus-PT-10
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SafeBus (PT), instance 10
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: 316 places, 1631 transitions, 11384 arcs.
AT ITER 0 NEW BEST:: SOT 281711 SOS 216209 HAS SOPS 215551 HAS SOUS 80573 HAS SOUPS 80297 WITH SCORE 80513.209
AT ITER 1 NEW BEST:: SOT 281711 SOS 219781 HAS SOPS 217223 HAS SOUS 80565 HAS SOUPS 80270 WITH SCORE 80489.781
AT ITER 13 NEW BEST:: SOT 281711 SOS 219781 HAS SOPS 217223 HAS SOUS 80554 HAS SOUPS 80259 WITH SCORE 80478.781
AT ITER 14 NEW BEST:: SOT 281724 SOS 220151 HAS SOPS 217593 HAS SOUS 80524 HAS SOUPS 80229 WITH SCORE 80449.151
AT ITER 29 NEW BEST:: SOT 281724 SOS 220151 HAS SOPS 217593 HAS SOUS 80521 HAS SOUPS 80226 WITH SCORE 80446.151
AT ITER 30 NEW BEST:: SOT 281888 SOS 220250 HAS SOPS 217610 HAS SOUS 80473 HAS SOUPS 80096 WITH SCORE 80316.25
AT ITER 43 NEW BEST:: SOT 281830 SOS 220192 HAS SOPS 217552 HAS SOUS 80444 HAS SOUPS 80067 WITH SCORE 80287.192
AT ITER 65 NEW BEST:: SOT 281762 SOS 220205 HAS SOPS 217565 HAS SOUS 80378 HAS SOUPS 80001 WITH SCORE 80221.205
AT ITER 66 NEW BEST:: SOT 281728 SOS 220171 HAS SOPS 217531 HAS SOUS 80361 HAS SOUPS 79984 WITH SCORE 80204.171
AT ITER 97 NEW BEST:: SOT 281952 SOS 220390 HAS SOPS 217755 HAS SOUS 80259 HAS SOUPS 79887 WITH SCORE 80107.39
AT ITER 106 NEW BEST:: SOT 281970 SOS 221081 HAS SOPS 218446 HAS SOUS 80241 HAS SOUPS 79869 WITH SCORE 80090.081
AT ITER 107 NEW BEST:: SOT 281970 SOS 221075 HAS SOPS 218440 HAS SOUS 80238 HAS SOUPS 79866 WITH SCORE 80087.075
AT ITER 116 NEW BEST:: SOT 281958 SOS 221063 HAS SOPS 218428 HAS SOUS 80229 HAS SOUPS 79857 WITH SCORE 80078.063
AT ITER 118 NEW BEST:: SOT 282180 SOS 221397 HAS SOPS 218774 HAS SOUS 80165 HAS SOUPS 79805 WITH SCORE 80026.397
AT ITER 159 NEW BEST:: SOT 282155 SOS 222093 HAS SOPS 219470 HAS SOUS 80058 HAS SOUPS 79698 WITH SCORE 79920.093
AT ITER 173 NEW BEST:: SOT 282120 SOS 222009 HAS SOPS 219326 HAS SOUS 79817 HAS SOUPS 79397 WITH SCORE 79619.009
AT ITER 181 NEW BEST:: SOT 281658 SOS 221547 HAS SOPS 218864 HAS SOUS 79242 HAS SOUPS 78822 WITH SCORE 79043.547
AT ITER 189 NEW BEST:: SOT 281608 SOS 221492 HAS SOPS 218804 HAS SOUS 79132 HAS SOUPS 78707 WITH SCORE 78928.492
AT ITER 196 NEW BEST:: SOT 281464 SOS 221348 HAS SOPS 218660 HAS SOUS 78988 HAS SOUPS 78563 WITH SCORE 78784.348
AT ITER 202 NEW BEST:: SOT 281448 SOS 221332 HAS SOPS 218644 HAS SOUS 78988 HAS SOUPS 78563 WITH SCORE 78784.332
AT ITER 205 NEW BEST:: SOT 281023 SOS 220929 HAS SOPS 218263 HAS SOUS 78592 HAS SOUPS 78189 WITH SCORE 78409.929
AT ITER 211 NEW BEST:: SOT 280973 SOS 220879 HAS SOPS 218213 HAS SOUS 78572 HAS SOUPS 78169 WITH SCORE 78389.879
AT ITER 212 NEW BEST:: SOT 280949 SOS 220855 HAS SOPS 218189 HAS SOUS 78492 HAS SOUPS 78089 WITH SCORE 78309.855
AT ITER 226 NEW BEST:: SOT 280832 SOS 220744 HAS SOPS 218078 HAS SOUS 78381 HAS SOUPS 77978 WITH SCORE 78198.744
AT ITER 240 NEW BEST:: SOT 280794 SOS 220662 HAS SOPS 217947 HAS SOUS 78173 HAS SOUPS 77721 WITH SCORE 77941.662
AT ITER 241 NEW BEST:: SOT 281135 SOS 220959 HAS SOPS 218288 HAS SOUS 78054 HAS SOUPS 77646 WITH SCORE 77866.959
AT ITER 250 NEW BEST:: SOT 280189 SOS 220117 HAS SOPS 217446 HAS SOUS 77212 HAS SOUPS 76804 WITH SCORE 77024.117
AT ITER 269 NEW BEST:: SOT 280564 SOS 220483 HAS SOPS 217821 HAS SOUS 77067 HAS SOUPS 76668 WITH SCORE 76888.483
AT ITER 280 NEW BEST:: SOT 280362 SOS 220150 HAS SOPS 217488 HAS SOUS 76846 HAS SOUPS 76447 WITH SCORE 76667.15
AT ITER 282 NEW BEST:: SOT 280362 SOS 220283 HAS SOPS 217621 HAS SOUS 76827 HAS SOUPS 76428 WITH SCORE 76648.283
AT ITER 288 NEW BEST:: SOT 280278 SOS 220199 HAS SOPS 217537 HAS SOUS 76722 HAS SOUPS 76323 WITH SCORE 76543.199
AT ITER 291 NEW BEST:: SOT 280270 SOS 220191 HAS SOPS 217529 HAS SOUS 76722 HAS SOUPS 76323 WITH SCORE 76543.191
AT ITER 316 NEW BEST:: SOT 280290 SOS 220211 HAS SOPS 217549 HAS SOUS 76720 HAS SOUPS 76321 WITH SCORE 76541.211
AT ITER 318 NEW BEST:: SOT 280287 SOS 220213 HAS SOPS 217556 HAS SOUS 76694 HAS SOUPS 76300 WITH SCORE 76520.213
AT ITER 333 NEW BEST:: SOT 280284 SOS 220210 HAS SOPS 217553 HAS SOUS 76667 HAS SOUPS 76273 WITH SCORE 76493.21
AT ITER 344 NEW BEST:: SOT 280298 SOS 220202 HAS SOPS 217529 HAS SOUS 76497 HAS SOUPS 76087 WITH SCORE 76307.202
AT ITER 346 NEW BEST:: SOT 280262 SOS 220158 HAS SOPS 217481 HAS SOUS 76413 HAS SOUPS 75999 WITH SCORE 76219.158
AT ITER 360 NEW BEST:: SOT 280262 SOS 220158 HAS SOPS 217481 HAS SOUS 76412 HAS SOUPS 75998 WITH SCORE 76218.158
AT ITER 365 NEW BEST:: SOT 280262 SOS 220134 HAS SOPS 217527 HAS SOUS 76402 HAS SOUPS 75988 WITH SCORE 76208.134
AT ITER 375 NEW BEST:: SOT 280312 SOS 220183 HAS SOPS 217577 HAS SOUS 76386 HAS SOUPS 75973 WITH SCORE 76193.183
AT ITER 379 NEW BEST:: SOT 280282 SOS 220153 HAS SOPS 217547 HAS SOUS 76353 HAS SOUPS 75940 WITH SCORE 76160.153
AT ITER 401 NEW BEST:: SOT 280282 SOS 220153 HAS SOPS 217547 HAS SOUS 76348 HAS SOUPS 75935 WITH SCORE 76155.153
AT ITER 403 NEW BEST:: SOT 279915 SOS 214429 HAS SOPS 211814 HAS SOUS 76142 HAS SOUPS 75720 WITH SCORE 75934.429
AT ITER 422 NEW BEST:: SOT 279888 SOS 214402 HAS SOPS 211787 HAS SOUS 76115 HAS SOUPS 75693 WITH SCORE 75907.402
AT ITER 427 NEW BEST:: SOT 280483 SOS 214934 HAS SOPS 212382 HAS SOUS 75657 HAS SOUPS 75298 WITH SCORE 75512.934
AT ITER 434 NEW BEST:: SOT 270003 SOS 204489 HAS SOPS 204057 HAS SOUS 65182 HAS SOUPS 64849 WITH SCORE 65053.489
AT ITER 443 NEW BEST:: SOT 270032 SOS 204518 HAS SOPS 204086 HAS SOUS 65178 HAS SOUPS 64845 WITH SCORE 65049.518
AT ITER 444 NEW BEST:: SOT 270032 SOS 204518 HAS SOPS 204086 HAS SOUS 65177 HAS SOUPS 64844 WITH SCORE 65048.518
AT ITER 445 NEW BEST:: SOT 269936 SOS 204242 HAS SOPS 203810 HAS SOUS 65061 HAS SOUPS 64728 WITH SCORE 64932.242
AT ITER 467 NEW BEST:: SOT 269872 SOS 204178 HAS SOPS 203746 HAS SOUS 64999 HAS SOUPS 64666 WITH SCORE 64870.178
AT ITER 476 NEW BEST:: SOT 269818 SOS 204208 HAS SOPS 203777 HAS SOUS 64900 HAS SOUPS 64568 WITH SCORE 64772.208
AT ITER 479 NEW BEST:: SOT 269818 SOS 204208 HAS SOPS 203777 HAS SOUS 64894 HAS SOUPS 64562 WITH SCORE 64766.208
AT ITER 482 NEW BEST:: SOT 269818 SOS 204348 HAS SOPS 203917 HAS SOUS 64854 HAS SOUPS 64522 WITH SCORE 64726.348
AT ITER 493 NEW BEST:: SOT 269896 SOS 204426 HAS SOPS 203995 HAS SOUS 64785 HAS SOUPS 64453 WITH SCORE 64657.426
AT ITER 514 NEW BEST:: SOT 269059 SOS 203606 HAS SOPS 203175 HAS SOUS 64656 HAS SOUPS 64324 WITH SCORE 64527.606
AT ITER 544 NEW BEST:: SOT 268643 SOS 203307 HAS SOPS 202759 HAS SOUS 64715 HAS SOUPS 64266 WITH SCORE 64469.307
AT ITER 550 NEW BEST:: SOT 268643 SOS 203107 HAS SOPS 202528 HAS SOUS 64591 HAS SOUPS 64111 WITH SCORE 64314.107
AT ITER 551 NEW BEST:: SOT 268643 SOS 203107 HAS SOPS 202528 HAS SOUS 64572 HAS SOUPS 64092 WITH SCORE 64295.107
AT ITER 552 NEW BEST:: SOT 268521 SOS 203073 HAS SOPS 202494 HAS SOUS 64459 HAS SOUPS 63979 WITH SCORE 64182.073
AT ITER 567 NEW BEST:: SOT 268516 SOS 203068 HAS SOPS 202489 HAS SOUS 64454 HAS SOUPS 63974 WITH SCORE 64177.068
AT ITER 568 NEW BEST:: SOT 267990 SOS 202325 HAS SOPS 201737 HAS SOUS 63851 HAS SOUPS 63371 WITH SCORE 63573.325
AT ITER 621 NEW BEST:: SOT 267985 SOS 202830 HAS SOPS 202242 HAS SOUS 63810 HAS SOUPS 63330 WITH SCORE 63532.83
AT ITER 623 NEW BEST:: SOT 267985 SOS 202838 HAS SOPS 202250 HAS SOUS 63742 HAS SOUPS 63262 WITH SCORE 63464.838
AT ITER 624 NEW BEST:: SOT 268013 SOS 202426 HAS SOPS 201744 HAS SOUS 63483 HAS SOUPS 62909 WITH SCORE 63111.426
AT ITER 633 NEW BEST:: SOT 268013 SOS 202420 HAS SOPS 201744 HAS SOUS 63315 HAS SOUPS 62747 WITH SCORE 62949.42
AT ITER 668 NEW BEST:: SOT 267843 SOS 202038 HAS SOPS 201362 HAS SOUS 63159 HAS SOUPS 62591 WITH SCORE 62793.038
AT ITER 674 NEW BEST:: SOT 267759 SOS 201954 HAS SOPS 201278 HAS SOUS 63124 HAS SOUPS 62556 WITH SCORE 62757.954
AT ITER 707 NEW BEST:: SOT 267428 SOS 201309 HAS SOPS 200573 HAS SOUS 62567 HAS SOUPS 61939 WITH SCORE 62140.309
AT ITER 711 NEW BEST:: SOT 267486 SOS 201367 HAS SOPS 200631 HAS SOUS 62519 HAS SOUPS 61891 WITH SCORE 62092.367
AT ITER 716 NEW BEST:: SOT 267393 SOS 201244 HAS SOPS 200538 HAS SOUS 62413 HAS SOUPS 61815 WITH SCORE 62016.244
AT ITER 719 NEW BEST:: SOT 267398 SOS 201262 HAS SOPS 200578 HAS SOUS 62267 HAS SOUPS 61691 WITH SCORE 61892.262
AT ITER 720 NEW BEST:: SOT 267371 SOS 201236 HAS SOPS 200551 HAS SOUS 62224 HAS SOUPS 61647 WITH SCORE 61848.236
AT ITER 724 NEW BEST:: SOT 267265 SOS 201128 HAS SOPS 200445 HAS SOUS 62076 HAS SOUPS 61501 WITH SCORE 61702.128
AT ITER 734 NEW BEST:: SOT 264459 SOS 201848 HAS SOPS 201630 HAS SOUS 59474 HAS SOUPS 59364 WITH SCORE 59565.848
AT ITER 735 NEW BEST:: SOT 264425 SOS 201814 HAS SOPS 201596 HAS SOUS 59325 HAS SOUPS 59215 WITH SCORE 59416.814
AT ITER 739 NEW BEST:: SOT 262960 SOS 200341 HAS SOPS 200131 HAS SOUS 57594 HAS SOUPS 57492 WITH SCORE 57692.341
AT ITER 754 NEW BEST:: SOT 263499 SOS 200880 HAS SOPS 200670 HAS SOUS 57512 HAS SOUPS 57410 WITH SCORE 57610.88
AT ITER 784 NEW BEST:: SOT 263479 SOS 200856 HAS SOPS 200650 HAS SOUS 57476 HAS SOUPS 57376 WITH SCORE 57576.856
AT ITER 812 NEW BEST:: SOT 263035 SOS 200412 HAS SOPS 200206 HAS SOUS 56942 HAS SOUPS 56842 WITH SCORE 57042.412
AT ITER 815 NEW BEST:: SOT 263035 SOS 200412 HAS SOPS 200206 HAS SOUS 56917 HAS SOUPS 56817 WITH SCORE 57017.412
AT ITER 817 NEW BEST:: SOT 263035 SOS 200425 HAS SOPS 200206 HAS SOUS 56798 HAS SOUPS 56685 WITH SCORE 56885.425
AT ITER 831 NEW BEST:: SOT 263072 SOS 200462 HAS SOPS 200243 HAS SOUS 56753 HAS SOUPS 56640 WITH SCORE 56840.462
AT ITER 843 NEW BEST:: SOT 263051 SOS 200441 HAS SOPS 200222 HAS SOUS 56732 HAS SOUPS 56619 WITH SCORE 56819.441
AT ITER 855 NEW BEST:: SOT 263089 SOS 200255 HAS SOPS 200008 HAS SOUS 56729 HAS SOUPS 56588 WITH SCORE 56788.255
AT ITER 887 NEW BEST:: SOT 262959 SOS 200125 HAS SOPS 199878 HAS SOUS 56599 HAS SOUPS 56458 WITH SCORE 56658.125
AT ITER 900 NEW BEST:: SOT 262958 SOS 200124 HAS SOPS 199877 HAS SOUS 56598 HAS SOUPS 56457 WITH SCORE 56657.124
AT ITER 912 NEW BEST:: SOT 262837 SOS 200003 HAS SOPS 199756 HAS SOUS 56477 HAS SOUPS 56336 WITH SCORE 56536.003
AT ITER 917 NEW BEST:: SOT 262698 SOS 201365 HAS SOPS 201183 HAS SOUS 56365 HAS SOUPS 56289 WITH SCORE 56490.365
AT ITER 965 NEW BEST:: SOT 262780 SOS 201447 HAS SOPS 201265 HAS SOUS 56293 HAS SOUPS 56217 WITH SCORE 56418.447
AT ITER 970 NEW BEST:: SOT 262671 SOS 201355 HAS SOPS 201156 HAS SOUS 56294 HAS SOUPS 56201 WITH SCORE 56402.355
AT ITER 974 NEW BEST:: SOT 262671 SOS 201355 HAS SOPS 201156 HAS SOUS 56285 HAS SOUPS 56192 WITH SCORE 56393.355
AT ITER 998 NEW BEST:: SOT 262659 SOS 201343 HAS SOPS 201144 HAS SOUS 56273 HAS SOUPS 56180 WITH SCORE 56381.343
AT ITER 1000 NEW BEST:: SOT 262643 SOS 201327 HAS SOPS 201128 HAS SOUS 56248 HAS SOUPS 56155 WITH SCORE 56356.327
AT ITER 1018 NEW BEST:: SOT 261554 SOS 200238 HAS SOPS 200039 HAS SOUS 55159 HAS SOUPS 55066 WITH SCORE 55266.238
AT ITER 1030 NEW BEST:: SOT 261553 SOS 200237 HAS SOPS 200038 HAS SOUS 55159 HAS SOUPS 55066 WITH SCORE 55266.237
AT ITER 1034 NEW BEST:: SOT 261499 SOS 200188 HAS SOPS 199984 HAS SOUS 55061 HAS SOUPS 54963 WITH SCORE 55163.188
AT ITER 1043 NEW BEST:: SOT 261290 SOS 199979 HAS SOPS 199775 HAS SOUS 54700 HAS SOUPS 54602 WITH SCORE 54801.979
AT ITER 1066 NEW BEST:: SOT 261273 SOS 199962 HAS SOPS 199758 HAS SOUS 54683 HAS SOUPS 54585 WITH SCORE 54784.962
AT ITER 1086 NEW BEST:: SOT 261355 SOS 200044 HAS SOPS 199840 HAS SOUS 54606 HAS SOUPS 54508 WITH SCORE 54708.044
AT ITER 1095 NEW BEST:: SOT 261301 SOS 199999 HAS SOPS 199795 HAS SOUS 54553 HAS SOUPS 54455 WITH SCORE 54654.999
AT ITER 1100 NEW BEST:: SOT 261312 SOS 200010 HAS SOPS 199806 HAS SOUS 54549 HAS SOUPS 54451 WITH SCORE 54651.01
AT ITER 1118 NEW BEST:: SOT 261201 SOS 199899 HAS SOPS 199695 HAS SOUS 54392 HAS SOUPS 54294 WITH SCORE 54493.899
AT ITER 1142 NEW BEST:: SOT 261210 SOS 199908 HAS SOPS 199704 HAS SOUS 54252 HAS SOUPS 54154 WITH SCORE 54353.908
AT ITER 1150 NEW BEST:: SOT 260809 SOS 199492 HAS SOPS 199303 HAS SOUS 54145 HAS SOUPS 54062 WITH SCORE 54261.492
AT ITER 1172 NEW BEST:: SOT 260560 SOS 196290 HAS SOPS 196011 HAS SOUS 53800 HAS SOUPS 53627 WITH SCORE 53823.29
AT ITER 1189 NEW BEST:: SOT 260494 SOS 196224 HAS SOPS 195945 HAS SOUS 53408 HAS SOUPS 53235 WITH SCORE 53431.224
AT ITER 1190 NEW BEST:: SOT 260494 SOS 196184 HAS SOPS 195905 HAS SOUS 53391 HAS SOUPS 53218 WITH SCORE 53414.184
AT ITER 1210 NEW BEST:: SOT 260433 SOS 196123 HAS SOPS 195844 HAS SOUS 53374 HAS SOUPS 53201 WITH SCORE 53397.123
AT ITER 1226 NEW BEST:: SOT 260433 SOS 196221 HAS SOPS 195942 HAS SOUS 53372 HAS SOUPS 53199 WITH SCORE 53395.221
AT ITER 1245 NEW BEST:: SOT 260390 SOS 196178 HAS SOPS 195899 HAS SOUS 53329 HAS SOUPS 53156 WITH SCORE 53352.178
AT ITER 1254 NEW BEST:: SOT 260349 SOS 196137 HAS SOPS 195858 HAS SOUS 53288 HAS SOUPS 53115 WITH SCORE 53311.137
AT ITER 1268 NEW BEST:: SOT 260349 SOS 196129 HAS SOPS 195850 HAS SOUS 53284 HAS SOUPS 53111 WITH SCORE 53307.129
AT ITER 1292 NEW BEST:: SOT 260228 SOS 196008 HAS SOPS 195729 HAS SOUS 53192 HAS SOUPS 53019 WITH SCORE 53215.008
AT ITER 1305 NEW BEST:: SOT 260228 SOS 196214 HAS SOPS 195945 HAS SOUS 53190 HAS SOUPS 53017 WITH SCORE 53213.214
AT ITER 1307 NEW BEST:: SOT 260220 SOS 196206 HAS SOPS 195937 HAS SOUS 53188 HAS SOUPS 53015 WITH SCORE 53211.206
AT ITER 1312 NEW BEST:: SOT 260202 SOS 196188 HAS SOPS 195919 HAS SOUS 53170 HAS SOUPS 52997 WITH SCORE 53193.188
AT ITER 1315 NEW BEST:: SOT 260111 SOS 195947 HAS SOPS 195678 HAS SOUS 53070 HAS SOUPS 52897 WITH SCORE 53092.947
AT ITER 1326 NEW BEST:: SOT 260111 SOS 195897 HAS SOPS 195628 HAS SOUS 53070 HAS SOUPS 52897 WITH SCORE 53092.897
AT ITER 1367 NEW BEST:: SOT 260073 SOS 195859 HAS SOPS 195590 HAS SOUS 53032 HAS SOUPS 52859 WITH SCORE 53054.859
AT ITER 1381 NEW BEST:: SOT 260072 SOS 195858 HAS SOPS 195589 HAS SOUS 53031 HAS SOUPS 52858 WITH SCORE 53053.858
AT ITER 1402 NEW BEST:: SOT 260104 SOS 195852 HAS SOPS 195583 HAS SOUS 52681 HAS SOUPS 52508 WITH SCORE 52703.852
AT ITER 1404 NEW BEST:: SOT 260083 SOS 195777 HAS SOPS 195508 HAS SOUS 52642 HAS SOUPS 52469 WITH SCORE 52664.777
AT ITER 1427 NEW BEST:: SOT 259901 SOS 195595 HAS SOPS 195326 HAS SOUS 52416 HAS SOUPS 52243 WITH SCORE 52438.595
AT ITER 1447 NEW BEST:: SOT 259881 SOS 195575 HAS SOPS 195306 HAS SOUS 52387 HAS SOUPS 52214 WITH SCORE 52409.575
AT ITER 1459 NEW BEST:: SOT 259582 SOS 195262 HAS SOPS 195007 HAS SOUS 52025 HAS SOUPS 51859 WITH SCORE 52054.262
AT ITER 1468 NEW BEST:: SOT 259582 SOS 200645 HAS SOPS 200480 HAS SOUS 52003 HAS SOUPS 51838 WITH SCORE 52038.645
AT ITER 1470 NEW BEST:: SOT 259567 SOS 200630 HAS SOPS 200465 HAS SOUS 51998 HAS SOUPS 51833 WITH SCORE 52033.63
AT ITER 1480 NEW BEST:: SOT 259565 SOS 200628 HAS SOPS 200463 HAS SOUS 51914 HAS SOUPS 51749 WITH SCORE 51949.628
AT ITER 1509 NEW BEST:: SOT 259361 SOS 200382 HAS SOPS 200217 HAS SOUS 51706 HAS SOUPS 51541 WITH SCORE 51741.382
AT ITER 1544 NEW BEST:: SOT 259361 SOS 200382 HAS SOPS 200217 HAS SOUS 51701 HAS SOUPS 51536 WITH SCORE 51736.382
AT ITER 1551 NEW BEST:: SOT 259361 SOS 209557 HAS SOPS 200382 HAS SOUS 51701 HAS SOUPS 51461 WITH SCORE 51670.557
AT ITER 1554 NEW BEST:: SOT 259295 SOS 209491 HAS SOPS 200316 HAS SOUS 51635 HAS SOUPS 51395 WITH SCORE 51604.491
AT ITER 1558 NEW BEST:: SOT 259295 SOS 209478 HAS SOPS 201603 HAS SOUS 51628 HAS SOUPS 51388 WITH SCORE 51597.478
AT ITER 1563 NEW BEST:: SOT 258969 SOS 209147 HAS SOPS 201277 HAS SOUS 51207 HAS SOUPS 50972 WITH SCORE 51181.147
AT ITER 1583 NEW BEST:: SOT 258757 SOS 208591 HAS SOPS 200721 HAS SOUS 51064 HAS SOUPS 50829 WITH SCORE 51037.591
AT ITER 1613 NEW BEST:: SOT 258697 SOS 208531 HAS SOPS 200661 HAS SOUS 51004 HAS SOUPS 50769 WITH SCORE 50977.531
AT ITER 1622 NEW BEST:: SOT 258674 SOS 208512 HAS SOPS 200442 HAS SOUS 50988 HAS SOUPS 50753 WITH SCORE 50961.512
AT ITER 1623 NEW BEST:: SOT 258645 SOS 208863 HAS SOPS 200793 HAS SOUS 50956 HAS SOUPS 50721 WITH SCORE 50929.863
AT ITER 1635 NEW BEST:: SOT 258613 SOS 208831 HAS SOPS 200761 HAS SOUS 50775 HAS SOUPS 50540 WITH SCORE 50748.831
AT ITER 1679 NEW BEST:: SOT 258579 SOS 208797 HAS SOPS 200727 HAS SOUS 50638 HAS SOUPS 50403 WITH SCORE 50611.797
AT ITER 1686 NEW BEST:: SOT 258576 SOS 208794 HAS SOPS 200724 HAS SOUS 50635 HAS SOUPS 50400 WITH SCORE 50608.794
AT ITER 1688 NEW BEST:: SOT 258576 SOS 208794 HAS SOPS 200724 HAS SOUS 50625 HAS SOUPS 50390 WITH SCORE 50598.794
AT ITER 1694 NEW BEST:: SOT 258608 SOS 208826 HAS SOPS 200756 HAS SOUS 50613 HAS SOUPS 50378 WITH SCORE 50586.826
AT ITER 1702 NEW BEST:: SOT 258592 SOS 208799 HAS SOPS 200740 HAS SOUS 50575 HAS SOUPS 50351 WITH SCORE 50559.799
AT ITER 1739 NEW BEST:: SOT 258449 SOS 208656 HAS SOPS 200597 HAS SOUS 50405 HAS SOUPS 50181 WITH SCORE 50389.656
AT ITER 1768 NEW BEST:: SOT 258446 SOS 208653 HAS SOPS 200594 HAS SOUS 50405 HAS SOUPS 50181 WITH SCORE 50389.653
AT ITER 1782 NEW BEST:: SOT 258438 SOS 208646 HAS SOPS 200586 HAS SOUS 50399 HAS SOUPS 50174 WITH SCORE 50382.646
AT ITER 1806 NEW BEST:: SOT 258495 SOS 208695 HAS SOPS 200652 HAS SOUS 50252 HAS SOUPS 50044 WITH SCORE 50252.695
AT ITER 1817 NEW BEST:: SOT 258495 SOS 208903 HAS SOPS 198030 HAS SOUS 50199 HAS SOUPS 49991 WITH SCORE 50199.903
AT ITER 1822 NEW BEST:: SOT 258493 SOS 208901 HAS SOPS 198030 HAS SOUS 50193 HAS SOUPS 49987 WITH SCORE 50195.901
AT ITER 1827 NEW BEST:: SOT 258185 SOS 208438 HAS SOPS 197565 HAS SOUS 49883 HAS SOUPS 49675 WITH SCORE 49883.438
AT ITER 1850 NEW BEST:: SOT 258185 SOS 208438 HAS SOPS 197565 HAS SOUS 49881 HAS SOUPS 49673 WITH SCORE 49881.438
AT ITER 1862 NEW BEST:: SOT 258192 SOS 208445 HAS SOPS 197572 HAS SOUS 49879 HAS SOUPS 49671 WITH SCORE 49879.445
AT ITER 1865 NEW BEST:: SOT 258188 SOS 208441 HAS SOPS 197568 HAS SOUS 49851 HAS SOUPS 49643 WITH SCORE 49851.441
AT ITER 1872 NEW BEST:: SOT 258188 SOS 208433 HAS SOPS 197560 HAS SOUS 49849 HAS SOUPS 49641 WITH SCORE 49849.433
AT ITER 1873 NEW BEST:: SOT 258230 SOS 208475 HAS SOPS 197602 HAS SOUS 49803 HAS SOUPS 49595 WITH SCORE 49803.475
AT ITER 1874 NEW BEST:: SOT 258176 SOS 208412 HAS SOPS 197539 HAS SOUS 49749 HAS SOUPS 49541 WITH SCORE 49749.412
AT ITER 1890 NEW BEST:: SOT 257938 SOS 208174 HAS SOPS 197301 HAS SOUS 49539 HAS SOUPS 49331 WITH SCORE 49539.174
AT ITER 1891 NEW BEST:: SOT 257938 SOS 208174 HAS SOPS 197301 HAS SOUS 49532 HAS SOUPS 49324 WITH SCORE 49532.174
AT ITER 1898 NEW BEST:: SOT 257777 SOS 207993 HAS SOPS 197140 HAS SOUS 49179 HAS SOUPS 48991 WITH SCORE 49198.993
AT ITER 1899 NEW BEST:: SOT 257777 SOS 207993 HAS SOPS 197140 HAS SOUS 49170 HAS SOUPS 48982 WITH SCORE 49189.993
AT ITER 1924 NEW BEST:: SOT 257777 SOS 207993 HAS SOPS 197140 HAS SOUS 49151 HAS SOUPS 48963 WITH SCORE 49170.993
AT ITER 1991 NEW BEST:: SOT 257758 SOS 207974 HAS SOPS 197121 HAS SOUS 49111 HAS SOUPS 48923 WITH SCORE 49130.974
AT ITER 2011 NEW BEST:: SOT 257758 SOS 207606 HAS SOPS 192124 HAS SOUS 48778 HAS SOUPS 48578 WITH SCORE 48785.606
AT ITER 2038 NEW BEST:: SOT 257758 SOS 207606 HAS SOPS 192254 HAS SOUS 48761 HAS SOUPS 48561 WITH SCORE 48768.606
AT ITER 2040 NEW BEST:: SOT 257810 SOS 207680 HAS SOPS 192328 HAS SOUS 48567 HAS SOUPS 48367 WITH SCORE 48574.68
AT ITER 2058 NEW BEST:: SOT 257790 SOS 207660 HAS SOPS 192308 HAS SOUS 48543 HAS SOUPS 48343 WITH SCORE 48550.66
AT ITER 2059 NEW BEST:: SOT 257725 SOS 207640 HAS SOPS 192288 HAS SOUS 48483 HAS SOUPS 48283 WITH SCORE 48490.64
AT ITER 2105 NEW BEST:: SOT 257600 SOS 207515 HAS SOPS 192163 HAS SOUS 48358 HAS SOUPS 48158 WITH SCORE 48365.515
AT ITER 2140 NEW BEST:: SOT 257600 SOS 207534 HAS SOPS 191514 HAS SOUS 48311 HAS SOUPS 48104 WITH SCORE 48311.534
AT ITER 2143 NEW BEST:: SOT 257585 SOS 207932 HAS SOPS 191564 HAS SOUS 48261 HAS SOUPS 48054 WITH SCORE 48261.932
AT ITER 2144 NEW BEST:: SOT 257567 SOS 207914 HAS SOPS 191546 HAS SOUS 48239 HAS SOUPS 48032 WITH SCORE 48239.914
AT ITER 2148 NEW BEST:: SOT 257567 SOS 207914 HAS SOPS 191546 HAS SOUS 48238 HAS SOUPS 48031 WITH SCORE 48238.914
AT ITER 2153 NEW BEST:: SOT 257567 SOS 207914 HAS SOPS 191546 HAS SOUS 48237 HAS SOUPS 48030 WITH SCORE 48237.914
AT ITER 2173 NEW BEST:: SOT 257550 SOS 207897 HAS SOPS 191529 HAS SOUS 48201 HAS SOUPS 47994 WITH SCORE 48201.897
AT ITER 2194 NEW BEST:: SOT 257532 SOS 207879 HAS SOPS 191511 HAS SOUS 48199 HAS SOUPS 47992 WITH SCORE 48199.879
AT ITER 2215 NEW BEST:: SOT 257589 SOS 207936 HAS SOPS 191568 HAS SOUS 48030 HAS SOUPS 47823 WITH SCORE 48030.936
AT ITER 2231 NEW BEST:: SOT 257589 SOS 208022 HAS SOPS 184938 HAS SOUS 47945 HAS SOUPS 47738 WITH SCORE 47946.022
AT ITER 2249 NEW BEST:: SOT 257798 SOS 208218 HAS SOPS 185147 HAS SOUS 47848 HAS SOUPS 47654 WITH SCORE 47862.218
AT ITER 2342 NEW BEST:: SOT 257798 SOS 208218 HAS SOPS 185109 HAS SOUS 47830 HAS SOUPS 47636 WITH SCORE 47844.218
AT ITER 2352 NEW BEST:: SOT 257800 SOS 208214 HAS SOPS 185111 HAS SOUS 47820 HAS SOUPS 47632 WITH SCORE 47840.214
AT ITER 2369 NEW BEST:: SOT 258009 SOS 208420 HAS SOPS 185317 HAS SOUS 47768 HAS SOUPS 47580 WITH SCORE 47788.42
AT ITER 2372 NEW BEST:: SOT 258009 SOS 208161 HAS SOPS 185095 HAS SOUS 47768 HAS SOUPS 47580 WITH SCORE 47788.161
AT ITER 2375 NEW BEST:: SOT 257995 SOS 208147 HAS SOPS 185081 HAS SOUS 47750 HAS SOUPS 47562 WITH SCORE 47770.147
AT ITER 2395 NEW BEST:: SOT 257995 SOS 208147 HAS SOPS 185608 HAS SOUS 47747 HAS SOUPS 47559 WITH SCORE 47767.147
AT ITER 2417 NEW BEST:: SOT 257995 SOS 208047 HAS SOPS 180827 HAS SOUS 47649 HAS SOUPS 47461 WITH SCORE 47669.047
AT ITER 2424 NEW BEST:: SOT 257897 SOS 207944 HAS SOPS 180729 HAS SOUS 47407 HAS SOUPS 47224 WITH SCORE 47431.944
AT ITER 2425 NEW BEST:: SOT 258117 SOS 208164 HAS SOPS 180949 HAS SOUS 47335 HAS SOUPS 47152 WITH SCORE 47360.164
AT ITER 2445 NEW BEST:: SOT 258090 SOS 208137 HAS SOPS 180922 HAS SOUS 47308 HAS SOUPS 47125 WITH SCORE 47333.137
AT ITER 2456 NEW BEST:: SOT 258090 SOS 208137 HAS SOPS 181076 HAS SOUS 47294 HAS SOUPS 47111 WITH SCORE 47319.137
AT ITER 2473 NEW BEST:: SOT 258090 SOS 208137 HAS SOPS 181230 HAS SOUS 47284 HAS SOUPS 47101 WITH SCORE 47309.137
AT ITER 2485 NEW BEST:: SOT 258095 SOS 208142 HAS SOPS 181235 HAS SOUS 47236 HAS SOUPS 47053 WITH SCORE 47261.142
AT ITER 2487 NEW BEST:: SOT 257908 SOS 207875 HAS SOPS 180968 HAS SOUS 47038 HAS SOUPS 46855 WITH SCORE 47062.875
AT ITER 2491 NEW BEST:: SOT 257912 SOS 207879 HAS SOPS 180972 HAS SOUS 47010 HAS SOUPS 46827 WITH SCORE 47034.879
AT ITER 2500 NEW BEST:: SOT 257977 SOS 208277 HAS SOPS 181370 HAS SOUS 46935 HAS SOUPS 46752 WITH SCORE 46960.277
AT ITER 2520 NEW BEST:: SOT 257937 SOS 208237 HAS SOPS 181330 HAS SOUS 46895 HAS SOUPS 46712 WITH SCORE 46920.237
AT ITER 2540 NEW BEST:: SOT 257902 SOS 207559 HAS SOPS 180543 HAS SOUS 46890 HAS SOUPS 46707 WITH SCORE 46914.559
AT ITER 2541 NEW BEST:: SOT 257867 SOS 207524 HAS SOPS 180508 HAS SOUS 46855 HAS SOUPS 46672 WITH SCORE 46879.524
AT ITER 2544 NEW BEST:: SOT 257835 SOS 207492 HAS SOPS 180476 HAS SOUS 46819 HAS SOUPS 46636 WITH SCORE 46843.492
AT ITER 2553 NEW BEST:: SOT 257697 SOS 207354 HAS SOPS 180338 HAS SOUS 46653 HAS SOUPS 46470 WITH SCORE 46677.354
AT ITER 2555 NEW BEST:: SOT 257697 SOS 207320 HAS SOPS 180304 HAS SOUS 46651 HAS SOUPS 46468 WITH SCORE 46675.32
AT ITER 2558 NEW BEST:: SOT 257697 SOS 207320 HAS SOPS 180305 HAS SOUS 46650 HAS SOUPS 46467 WITH SCORE 46674.32
AT ITER 2639 NEW BEST:: SOT 257527 SOS 207150 HAS SOPS 180135 HAS SOUS 46370 HAS SOUPS 46187 WITH SCORE 46394.15
AT ITER 2666 NEW BEST:: SOT 257482 SOS 207136 HAS SOPS 180121 HAS SOUS 46324 HAS SOUPS 46141 WITH SCORE 46348.136
AT ITER 2690 NEW BEST:: SOT 257524 SOS 207178 HAS SOPS 180163 HAS SOUS 46194 HAS SOUPS 46011 WITH SCORE 46218.178
AT ITER 2705 NEW BEST:: SOT 257450 SOS 207249 HAS SOPS 180234 HAS SOUS 46126 HAS SOUPS 45943 WITH SCORE 46150.249
AT ITER 2771 NEW BEST:: SOT 257450 SOS 207249 HAS SOPS 180300 HAS SOUS 46120 HAS SOUPS 45937 WITH SCORE 46144.249
AT ITER 2787 NEW BEST:: SOT 257444 SOS 207243 HAS SOPS 180294 HAS SOUS 46090 HAS SOUPS 45907 WITH SCORE 46114.243
AT ITER 2788 NEW BEST:: SOT 257457 SOS 207251 HAS SOPS 180307 HAS SOUS 46049 HAS SOUPS 45871 WITH SCORE 46078.251
AT ITER 2794 NEW BEST:: SOT 257457 SOS 207261 HAS SOPS 180497 HAS SOUS 46030 HAS SOUPS 45852 WITH SCORE 46059.261
AT ITER 2817 NEW BEST:: SOT 257435 SOS 207239 HAS SOPS 180475 HAS SOUS 46008 HAS SOUPS 45830 WITH SCORE 46037.239
AT ITER 2819 NEW BEST:: SOT 257417 SOS 207177 HAS SOPS 180408 HAS SOUS 45956 HAS SOUPS 45778 WITH SCORE 45985.177
AT ITER 2839 NEW BEST:: SOT 257481 SOS 207241 HAS SOPS 180472 HAS SOUS 45823 HAS SOUPS 45645 WITH SCORE 45852.241
AT ITER 2857 NEW BEST:: SOT 257464 SOS 207254 HAS SOPS 180485 HAS SOUS 45822 HAS SOUPS 45644 WITH SCORE 45851.254
AT ITER 2878 NEW BEST:: SOT 257469 SOS 207259 HAS SOPS 180490 HAS SOUS 45691 HAS SOUPS 45513 WITH SCORE 45720.259
AT ITER 2883 NEW BEST:: SOT 257435 SOS 207225 HAS SOPS 180456 HAS SOUS 45667 HAS SOUPS 45489 WITH SCORE 45696.225
AT ITER 2886 NEW BEST:: SOT 257435 SOS 206838 HAS SOPS 181116 HAS SOUS 45640 HAS SOUPS 45462 WITH SCORE 45668.838
AT ITER 2906 NEW BEST:: SOT 257435 SOS 206838 HAS SOPS 181070 HAS SOUS 45639 HAS SOUPS 45461 WITH SCORE 45667.838
AT ITER 2911 NEW BEST:: SOT 257435 SOS 206415 HAS SOPS 179774 HAS SOUS 45639 HAS SOUPS 45461 WITH SCORE 45667.415
AT ITER 2920 NEW BEST:: SOT 257407 SOS 206351 HAS SOPS 179710 HAS SOUS 45611 HAS SOUPS 45433 WITH SCORE 45639.351
AT ITER 2936 NEW BEST:: SOT 257135 SOS 206439 HAS SOPS 179798 HAS SOUS 45358 HAS SOUPS 45180 WITH SCORE 45386.439
AT ITER 2947 NEW BEST:: SOT 257120 SOS 206424 HAS SOPS 179783 HAS SOUS 45348 HAS SOUPS 45170 WITH SCORE 45376.424
AT ITER 2951 NEW BEST:: SOT 256880 SOS 206184 HAS SOPS 179543 HAS SOUS 45108 HAS SOUPS 44930 WITH SCORE 45136.184
AT ITER 2952 NEW BEST:: SOT 256880 SOS 206144 HAS SOPS 179514 HAS SOUS 45094 HAS SOUPS 44916 WITH SCORE 45122.144
AT ITER 2954 NEW BEST:: SOT 256880 SOS 206144 HAS SOPS 179514 HAS SOUS 45091 HAS SOUPS 44913 WITH SCORE 45119.144
AT ITER 2962 NEW BEST:: SOT 256904 SOS 206168 HAS SOPS 179538 HAS SOUS 45073 HAS SOUPS 44895 WITH SCORE 45101.168
AT ITER 2991 NEW BEST:: SOT 256883 SOS 206147 HAS SOPS 179517 HAS SOUS 45073 HAS SOUPS 44895 WITH SCORE 45101.147
AT ITER 2993 NEW BEST:: SOT 256505 SOS 205769 HAS SOPS 179139 HAS SOUS 44710 HAS SOUPS 44532 WITH SCORE 44737.769
AT ITER 2998 NEW BEST:: SOT 256528 SOS 205795 HAS SOPS 179165 HAS SOUS 44684 HAS SOUPS 44506 WITH SCORE 44711.795
AT ITER 3003 NEW BEST:: SOT 256504 SOS 205769 HAS SOPS 179139 HAS SOUS 44594 HAS SOUPS 44416 WITH SCORE 44621.769
AT ITER 3013 NEW BEST:: SOT 256499 SOS 205764 HAS SOPS 179134 HAS SOUS 44590 HAS SOUPS 44412 WITH SCORE 44617.764
AT ITER 3058 NEW BEST:: SOT 256484 SOS 205749 HAS SOPS 179119 HAS SOUS 44566 HAS SOUPS 44388 WITH SCORE 44593.749
AT ITER 3074 NEW BEST:: SOT 256484 SOS 205767 HAS SOPS 178795 HAS SOUS 44521 HAS SOUPS 44343 WITH SCORE 44548.767
AT ITER 3097 NEW BEST:: SOT 256363 SOS 205421 HAS SOPS 178443 HAS SOUS 44378 HAS SOUPS 44194 WITH SCORE 44399.421
AT ITER 3117 NEW BEST:: SOT 256367 SOS 205425 HAS SOPS 178447 HAS SOUS 44373 HAS SOUPS 44189 WITH SCORE 44394.425
AT ITER 3131 NEW BEST:: SOT 256367 SOS 205423 HAS SOPS 178619 HAS SOUS 44368 HAS SOUPS 44184 WITH SCORE 44389.423
AT ITER 3137 NEW BEST:: SOT 256101 SOS 205193 HAS SOPS 178389 HAS SOUS 44130 HAS SOUPS 43946 WITH SCORE 44151.193
AT ITER 3153 NEW BEST:: SOT 256103 SOS 205195 HAS SOPS 178391 HAS SOUS 44121 HAS SOUPS 43937 WITH SCORE 44142.195
AT ITER 3200 NEW BEST:: SOT 256099 SOS 205195 HAS SOPS 178391 HAS SOUS 44118 HAS SOUPS 43934 WITH SCORE 44139.195
AT ITER 3214 NEW BEST:: SOT 256075 SOS 205171 HAS SOPS 178367 HAS SOUS 44100 HAS SOUPS 43916 WITH SCORE 44121.171
AT ITER 3219 NEW BEST:: SOT 256075 SOS 205171 HAS SOPS 178367 HAS SOUS 44099 HAS SOUPS 43915 WITH SCORE 44120.171
AT ITER 3242 NEW BEST:: SOT 256077 SOS 205129 HAS SOPS 178325 HAS SOUS 44072 HAS SOUPS 43888 WITH SCORE 44093.129
AT ITER 3284 NEW BEST:: SOT 256073 SOS 205107 HAS SOPS 178303 HAS SOUS 44066 HAS SOUPS 43882 WITH SCORE 44087.107
AT ITER 3310 NEW BEST:: SOT 256075 SOS 205109 HAS SOPS 178305 HAS SOUS 44064 HAS SOUPS 43880 WITH SCORE 44085.109
AT ITER 3331 NEW BEST:: SOT 256073 SOS 205107 HAS SOPS 178303 HAS SOUS 44062 HAS SOUPS 43878 WITH SCORE 44083.107
AT ITER 3363 NEW BEST:: SOT 256013 SOS 205033 HAS SOPS 178229 HAS SOUS 44002 HAS SOUPS 43818 WITH SCORE 44023.033
AT ITER 3372 NEW BEST:: SOT 255837 SOS 204867 HAS SOPS 178063 HAS SOUS 43955 HAS SOUPS 43771 WITH SCORE 43975.867
AT ITER 3379 NEW BEST:: SOT 255837 SOS 204867 HAS SOPS 178814 HAS SOUS 43938 HAS SOUPS 43754 WITH SCORE 43958.867
AT ITER 3396 NEW BEST:: SOT 255877 SOS 204907 HAS SOPS 178854 HAS SOUS 43550 HAS SOUPS 43366 WITH SCORE 43570.907
AT ITER 3414 NEW BEST:: SOT 255872 SOS 204902 HAS SOPS 178849 HAS SOUS 43545 HAS SOUPS 43361 WITH SCORE 43565.902
AT ITER 3435 NEW BEST:: SOT 255869 SOS 204899 HAS SOPS 178846 HAS SOUS 43543 HAS SOUPS 43359 WITH SCORE 43563.899
AT ITER 3436 NEW BEST:: SOT 255869 SOS 204885 HAS SOPS 178842 HAS SOUS 43543 HAS SOUPS 43359 WITH SCORE 43563.885
AT ITER 3440 NEW BEST:: SOT 255869 SOS 204885 HAS SOPS 178842 HAS SOUS 43536 HAS SOUPS 43352 WITH SCORE 43556.885
AT ITER 3443 NEW BEST:: SOT 255862 SOS 204878 HAS SOPS 178835 HAS SOUS 43529 HAS SOUPS 43345 WITH SCORE 43549.878
AT ITER 3466 NEW BEST:: SOT 255857 SOS 204872 HAS SOPS 178829 HAS SOUS 43523 HAS SOUPS 43339 WITH SCORE 43543.872
AT ITER 3497 NEW BEST:: SOT 255735 SOS 204802 HAS SOPS 178759 HAS SOUS 43427 HAS SOUPS 43243 WITH SCORE 43447.802
AT ITER 3532 NEW BEST:: SOT 255789 SOS 204856 HAS SOPS 178813 HAS SOUS 43338 HAS SOUPS 43154 WITH SCORE 43358.856
AT ITER 3546 NEW BEST:: SOT 255749 SOS 204674 HAS SOPS 178631 HAS SOUS 43298 HAS SOUPS 43114 WITH SCORE 43318.674
AT ITER 3565 NEW BEST:: SOT 255729 SOS 204628 HAS SOPS 178579 HAS SOUS 43274 HAS SOUPS 43084 WITH SCORE 43288.628
AT ITER 3588 NEW BEST:: SOT 255711 SOS 204610 HAS SOPS 178561 HAS SOUS 43269 HAS SOUPS 43079 WITH SCORE 43283.61
AT ITER 3601 NEW BEST:: SOT 255668 SOS 204567 HAS SOPS 178518 HAS SOUS 43226 HAS SOUPS 43036 WITH SCORE 43240.567
AT ITER 3604 NEW BEST:: SOT 255659 SOS 204545 HAS SOPS 178509 HAS SOUS 43061 HAS SOUPS 42884 WITH SCORE 43088.545
AT ITER 3617 NEW BEST:: SOT 255659 SOS 204545 HAS SOPS 178484 HAS SOUS 43053 HAS SOUPS 42876 WITH SCORE 43080.545
AT ITER 3645 NEW BEST:: SOT 255654 SOS 204540 HAS SOPS 178479 HAS SOUS 43033 HAS SOUPS 42856 WITH SCORE 43060.54
AT ITER 3654 NEW BEST:: SOT 255654 SOS 204540 HAS SOPS 178479 HAS SOUS 43030 HAS SOUPS 42853 WITH SCORE 43057.54
AT ITER 3662 NEW BEST:: SOT 255640 SOS 204526 HAS SOPS 178465 HAS SOUS 43026 HAS SOUPS 42849 WITH SCORE 43053.526
AT ITER 3666 NEW BEST:: SOT 255623 SOS 204509 HAS SOPS 178448 HAS SOUS 43003 HAS SOUPS 42826 WITH SCORE 43030.509
AT ITER 3671 NEW BEST:: SOT 255625 SOS 204511 HAS SOPS 178450 HAS SOUS 42932 HAS SOUPS 42755 WITH SCORE 42959.511
AT ITER 3681 NEW BEST:: SOT 255547 SOS 204406 HAS SOPS 178345 HAS SOUS 42867 HAS SOUPS 42690 WITH SCORE 42894.406
AT ITER 3683 NEW BEST:: SOT 255349 SOS 204046 HAS SOPS 177985 HAS SOUS 42651 HAS SOUPS 42474 WITH SCORE 42678.046
AT ITER 3696 NEW BEST:: SOT 255303 SOS 204000 HAS SOPS 177939 HAS SOUS 42580 HAS SOUPS 42403 WITH SCORE 42607.0
AT ITER 3700 NEW BEST:: SOT 255303 SOS 204000 HAS SOPS 177939 HAS SOUS 42544 HAS SOUPS 42367 WITH SCORE 42571.0
AT ITER 3709 NEW BEST:: SOT 255133 SOS 203830 HAS SOPS 177769 HAS SOUS 42521 HAS SOUPS 42344 WITH SCORE 42547.83
AT ITER 3771 NEW BEST:: SOT 255099 SOS 203796 HAS SOPS 177735 HAS SOUS 42452 HAS SOUPS 42275 WITH SCORE 42478.796
AT ITER 3777 NEW BEST:: SOT 255099 SOS 203535 HAS SOPS 177207 HAS SOUS 42452 HAS SOUPS 42275 WITH SCORE 42478.535
AT ITER 3837 NEW BEST:: SOT 255029 SOS 203465 HAS SOPS 177137 HAS SOUS 42361 HAS SOUPS 42184 WITH SCORE 42387.465
AT ITER 3869 NEW BEST:: SOT 254843 SOS 203299 HAS SOPS 176971 HAS SOUS 42185 HAS SOUPS 42008 WITH SCORE 42211.299
AT ITER 3885 NEW BEST:: SOT 255010 SOS 203466 HAS SOPS 177138 HAS SOUS 42150 HAS SOUPS 41973 WITH SCORE 42176.466
AT ITER 3897 NEW BEST:: SOT 255010 SOS 203466 HAS SOPS 177138 HAS SOUS 42145 HAS SOUPS 41968 WITH SCORE 42171.466
AT ITER 3913 NEW BEST:: SOT 255010 SOS 203466 HAS SOPS 177138 HAS SOUS 42140 HAS SOUPS 41963 WITH SCORE 42166.466
AT ITER 3940 NEW BEST:: SOT 255010 SOS 203466 HAS SOPS 177143 HAS SOUS 42135 HAS SOUPS 41958 WITH SCORE 42161.466
AT ITER 3941 NEW BEST:: SOT 254992 SOS 203432 HAS SOPS 177109 HAS SOUS 42109 HAS SOUPS 41932 WITH SCORE 42135.432
AT ITER 3942 NEW BEST:: SOT 255006 SOS 203446 HAS SOPS 177228 HAS SOUS 42105 HAS SOUPS 41928 WITH SCORE 42131.446
AT ITER 3951 NEW BEST:: SOT 254988 SOS 203428 HAS SOPS 177210 HAS SOUS 42105 HAS SOUPS 41928 WITH SCORE 42131.428
AT ITER 3992 NEW BEST:: SOT 254988 SOS 203428 HAS SOPS 177210 HAS SOUS 42104 HAS SOUPS 41927 WITH SCORE 42130.428
AT ITER 4042 NEW BEST:: SOT 254988 SOS 203428 HAS SOPS 177353 HAS SOUS 42103 HAS SOUPS 41926 WITH SCORE 42129.428
AT ITER 4049 NEW BEST:: SOT 254980 SOS 203420 HAS SOPS 177345 HAS SOUS 42097 HAS SOUPS 41920 WITH SCORE 42123.42
AT ITER 4056 NEW BEST:: SOT 254892 SOS 203327 HAS SOPS 177252 HAS SOUS 41998 HAS SOUPS 41821 WITH SCORE 42024.327
AT ITER 4065 NEW BEST:: SOT 254892 SOS 203191 HAS SOPS 177183 HAS SOUS 41947 HAS SOUPS 41770 WITH SCORE 41973.191
AT ITER 4074 NEW BEST:: SOT 254891 SOS 203190 HAS SOPS 177182 HAS SOUS 41946 HAS SOUPS 41769 WITH SCORE 41972.19
AT ITER 4086 NEW BEST:: SOT 254722 SOS 203115 HAS SOPS 177130 HAS SOUS 41612 HAS SOUPS 41458 WITH SCORE 41661.115
AT ITER 4093 NEW BEST:: SOT 254722 SOS 203115 HAS SOPS 177125 HAS SOUS 41601 HAS SOUPS 41447 WITH SCORE 41650.115
AT ITER 4126 NEW BEST:: SOT 254722 SOS 203115 HAS SOPS 177126 HAS SOUS 41578 HAS SOUPS 41424 WITH SCORE 41627.115
AT ITER 4142 NEW BEST:: SOT 254722 SOS 203115 HAS SOPS 177451 HAS SOUS 41566 HAS SOUPS 41412 WITH SCORE 41615.115
AT ITER 4146 NEW BEST:: SOT 254722 SOS 203088 HAS SOPS 177521 HAS SOUS 41533 HAS SOUPS 41379 WITH SCORE 41582.088
AT ITER 4160 NEW BEST:: SOT 254722 SOS 203088 HAS SOPS 177645 HAS SOUS 41503 HAS SOUPS 41349 WITH SCORE 41552.088
AT ITER 4164 NEW BEST:: SOT 254714 SOS 203080 HAS SOPS 177637 HAS SOUS 41499 HAS SOUPS 41345 WITH SCORE 41548.08
AT ITER 4183 NEW BEST:: SOT 254714 SOS 203080 HAS SOPS 177637 HAS SOUS 41497 HAS SOUPS 41343 WITH SCORE 41546.08
AT ITER 4255 NEW BEST:: SOT 254714 SOS 203080 HAS SOPS 177635 HAS SOUS 41494 HAS SOUPS 41340 WITH SCORE 41543.08
AT ITER 4256 NEW BEST:: SOT 254714 SOS 203153 HAS SOPS 171771 HAS SOUS 41438 HAS SOUPS 41284 WITH SCORE 41487.153
AT ITER 4269 NEW BEST:: SOT 254694 SOS 203133 HAS SOPS 171751 HAS SOUS 41418 HAS SOUPS 41264 WITH SCORE 41467.133
AT ITER 4281 NEW BEST:: SOT 254693 SOS 203132 HAS SOPS 171750 HAS SOUS 41417 HAS SOUPS 41263 WITH SCORE 41466.132
AT ITER 4312 NEW BEST:: SOT 254693 SOS 203221 HAS SOPS 165468 HAS SOUS 41260 HAS SOUPS 41106 WITH SCORE 41309.221
AT ITER 4319 NEW BEST:: SOT 254498 SOS 203026 HAS SOPS 165273 HAS SOUS 41049 HAS SOUPS 40895 WITH SCORE 41098.026
AT ITER 4330 NEW BEST:: SOT 254492 SOS 203020 HAS SOPS 165267 HAS SOUS 41043 HAS SOUPS 40889 WITH SCORE 41092.02
AT ITER 4338 NEW BEST:: SOT 254492 SOS 202977 HAS SOPS 161339 HAS SOUS 41031 HAS SOUPS 40877 WITH SCORE 41079.977
AT ITER 4345 NEW BEST:: SOT 254492 SOS 202977 HAS SOPS 161372 HAS SOUS 41028 HAS SOUPS 40874 WITH SCORE 41076.977
AT ITER 4377 NEW BEST:: SOT 254495 SOS 202980 HAS SOPS 161375 HAS SOUS 40971 HAS SOUPS 40817 WITH SCORE 41019.98
AT ITER 4390 NEW BEST:: SOT 254501 SOS 201233 HAS SOPS 159581 HAS SOUS 40960 HAS SOUPS 40759 WITH SCORE 40960.233
AT ITER 4393 NEW BEST:: SOT 254520 SOS 201252 HAS SOPS 159600 HAS SOUS 40953 HAS SOUPS 40752 WITH SCORE 40953.252
AT ITER 4449 NEW BEST:: SOT 254519 SOS 201251 HAS SOPS 159599 HAS SOUS 40951 HAS SOUPS 40750 WITH SCORE 40951.251
AT ITER 4454 NEW BEST:: SOT 254510 SOS 201242 HAS SOPS 159590 HAS SOUS 40945 HAS SOUPS 40744 WITH SCORE 40945.242
AT ITER 4477 NEW BEST:: SOT 254510 SOS 201321 HAS SOPS 153608 HAS SOUS 40848 HAS SOUPS 40647 WITH SCORE 40848.321
AT ITER 4494 NEW BEST:: SOT 254509 SOS 201320 HAS SOPS 153607 HAS SOUS 40846 HAS SOUPS 40645 WITH SCORE 40846.32
AT ITER 4500 NEW BEST:: SOT 254509 SOS 201240 HAS SOPS 154515 HAS SOUS 40836 HAS SOUPS 40635 WITH SCORE 40836.24
AT ITER 4506 NEW BEST:: SOT 254509 SOS 201232 HAS SOPS 154771 HAS SOUS 40836 HAS SOUPS 40635 WITH SCORE 40836.232
AT ITER 4530 NEW BEST:: SOT 254509 SOS 201232 HAS SOPS 154771 HAS SOUS 40833 HAS SOUPS 40632 WITH SCORE 40833.232
AT ITER 4586 NEW BEST:: SOT 254507 SOS 201230 HAS SOPS 154769 HAS SOUS 40831 HAS SOUPS 40630 WITH SCORE 40831.23
AT ITER 4594 NEW BEST:: SOT 254507 SOS 201230 HAS SOPS 154769 HAS SOUS 40827 HAS SOUPS 40626 WITH SCORE 40827.23
AT ITER 4640 NEW BEST:: SOT 254507 SOS 201230 HAS SOPS 154769 HAS SOUS 40821 HAS SOUPS 40620 WITH SCORE 40821.23
AT ITER 4650 NEW BEST:: SOT 254461 SOS 200754 HAS SOPS 154273 HAS SOUS 40827 HAS SOUPS 40606 WITH SCORE 40806.754
AT ITER 4671 NEW BEST:: SOT 254463 SOS 200742 HAS SOPS 154228 HAS SOUS 40823 HAS SOUPS 40602 WITH SCORE 40802.742
AT ITER 4689 NEW BEST:: SOT 254463 SOS 200742 HAS SOPS 154248 HAS SOUS 40821 HAS SOUPS 40600 WITH SCORE 40800.742
AT ITER 4724 NEW BEST:: SOT 254462 SOS 200741 HAS SOPS 154247 HAS SOUS 40820 HAS SOUPS 40599 WITH SCORE 40799.741
AT ITER 4760 NEW BEST:: SOT 254459 SOS 200738 HAS SOPS 154244 HAS SOUS 40816 HAS SOUPS 40595 WITH SCORE 40795.738
AT ITER 4773 NEW BEST:: SOT 254459 SOS 200738 HAS SOPS 154365 HAS SOUS 40815 HAS SOUPS 40594 WITH SCORE 40794.738
AT ITER 4803 NEW BEST:: SOT 254459 SOS 200738 HAS SOPS 153946 HAS SOUS 40802 HAS SOUPS 40581 WITH SCORE 40781.738
AT ITER 4826 NEW BEST:: SOT 254469 SOS 200744 HAS SOPS 153952 HAS SOUS 40747 HAS SOUPS 40526 WITH SCORE 40726.744
AT ITER 4841 NEW BEST:: SOT 254458 SOS 200741 HAS SOPS 153949 HAS SOUS 40736 HAS SOUPS 40515 WITH SCORE 40715.741
AT ITER 4880 NEW BEST:: SOT 254458 SOS 200741 HAS SOPS 153617 HAS SOUS 40713 HAS SOUPS 40492 WITH SCORE 40692.741
AT ITER 4881 NEW BEST:: SOT 254453 SOS 200736 HAS SOPS 153612 HAS SOUS 40707 HAS SOUPS 40486 WITH SCORE 40686.736
AT ITER 4884 NEW BEST:: SOT 254449 SOS 200732 HAS SOPS 153608 HAS SOUS 40703 HAS SOUPS 40482 WITH SCORE 40682.732
AT ITER 4946 NEW BEST:: SOT 254387 SOS 200670 HAS SOPS 153546 HAS SOUS 40701 HAS SOUPS 40480 WITH SCORE 40680.67
AT ITER 4952 NEW BEST:: SOT 254387 SOS 200670 HAS SOPS 153630 HAS SOUS 40695 HAS SOUPS 40474 WITH SCORE 40674.67
AT ITER 4963 NEW BEST:: SOT 254363 SOS 200586 HAS SOPS 153543 HAS SOUS 40665 HAS SOUPS 40441 WITH SCORE 40641.586
AT ITER 4985 NEW BEST:: SOT 254360 SOS 200583 HAS SOPS 153540 HAS SOUS 40662 HAS SOUPS 40438 WITH SCORE 40638.583
AT ITER 5104 NEW BEST:: SOT 254236 SOS 200459 HAS SOPS 153416 HAS SOUS 40538 HAS SOUPS 40314 WITH SCORE 40514.459
AT ITER 5105 NEW BEST:: SOT 254236 SOS 200424 HAS SOPS 153414 HAS SOUS 40538 HAS SOUPS 40314 WITH SCORE 40514.424
AT ITER 5213 NEW BEST:: SOT 254236 SOS 200424 HAS SOPS 153414 HAS SOUS 40533 HAS SOUPS 40309 WITH SCORE 40509.424
AT ITER 5246 NEW BEST:: SOT 254284 SOS 200472 HAS SOPS 153462 HAS SOUS 40521 HAS SOUPS 40297 WITH SCORE 40497.472
AT ITER 5270 NEW BEST:: SOT 254284 SOS 200462 HAS SOPS 153422 HAS SOUS 40512 HAS SOUPS 40288 WITH SCORE 40488.462
AT ITER 5287 NEW BEST:: SOT 254284 SOS 200462 HAS SOPS 153576 HAS SOUS 40508 HAS SOUPS 40284 WITH SCORE 40484.462
AT ITER 5289 NEW BEST:: SOT 254284 SOS 200462 HAS SOPS 153576 HAS SOUS 40503 HAS SOUPS 40279 WITH SCORE 40479.462
AT ITER 5297 NEW BEST:: SOT 254300 SOS 200669 HAS SOPS 153792 HAS SOUS 40439 HAS SOUPS 40224 WITH SCORE 40424.669
AT ITER 5303 NEW BEST:: SOT 254302 SOS 200671 HAS SOPS 153871 HAS SOUS 40438 HAS SOUPS 40223 WITH SCORE 40423.671
AT ITER 5322 NEW BEST:: SOT 254302 SOS 200671 HAS SOPS 154047 HAS SOUS 40434 HAS SOUPS 40219 WITH SCORE 40419.671
AT ITER 5360 NEW BEST:: SOT 254302 SOS 200538 HAS SOPS 154081 HAS SOUS 40433 HAS SOUPS 40218 WITH SCORE 40418.538
AT ITER 5365 NEW BEST:: SOT 254302 SOS 200538 HAS SOPS 154180 HAS SOUS 40424 HAS SOUPS 40209 WITH SCORE 40409.538
AT ITER 5367 NEW BEST:: SOT 254302 SOS 200538 HAS SOPS 154026 HAS SOUS 40423 HAS SOUPS 40208 WITH SCORE 40408.538
AT ITER 5371 NEW BEST:: SOT 254302 SOS 200538 HAS SOPS 154026 HAS SOUS 40414 HAS SOUPS 40199 WITH SCORE 40399.538
AT ITER 5394 NEW BEST:: SOT 254382 SOS 200618 HAS SOPS 154106 HAS SOUS 40385 HAS SOUPS 40170 WITH SCORE 40370.618
AT ITER 5396 NEW BEST:: SOT 254577 SOS 201052 HAS SOPS 153682 HAS SOUS 40378 HAS SOUPS 40163 WITH SCORE 40364.052
AT ITER 5419 NEW BEST:: SOT 254577 SOS 201052 HAS SOPS 153748 HAS SOUS 40372 HAS SOUPS 40157 WITH SCORE 40358.052
AT ITER 5428 NEW BEST:: SOT 254577 SOS 200918 HAS SOPS 157242 HAS SOUS 40368 HAS SOUPS 40154 WITH SCORE 40354.918
AT ITER 5431 NEW BEST:: SOT 254577 SOS 200918 HAS SOPS 157253 HAS SOUS 40367 HAS SOUPS 40153 WITH SCORE 40353.918
AT ITER 5446 NEW BEST:: SOT 254577 SOS 200918 HAS SOPS 157190 HAS SOUS 40364 HAS SOUPS 40150 WITH SCORE 40350.918
AT ITER 5469 NEW BEST:: SOT 254589 SOS 200930 HAS SOPS 157202 HAS SOUS 40352 HAS SOUPS 40138 WITH SCORE 40338.93
AT ITER 5482 NEW BEST:: SOT 254577 SOS 200918 HAS SOPS 157190 HAS SOUS 40340 HAS SOUPS 40126 WITH SCORE 40326.918
AT ITER 5509 NEW BEST:: SOT 254577 SOS 200918 HAS SOPS 157146 HAS SOUS 40338 HAS SOUPS 40124 WITH SCORE 40324.918
AT ITER 5529 NEW BEST:: SOT 254577 SOS 200918 HAS SOPS 157146 HAS SOUS 40332 HAS SOUPS 40118 WITH SCORE 40318.918
AT ITER 5559 NEW BEST:: SOT 254572 SOS 200913 HAS SOPS 157141 HAS SOUS 40332 HAS SOUPS 40118 WITH SCORE 40318.913
AT ITER 5597 NEW BEST:: SOT 254572 SOS 200892 HAS SOPS 157147 HAS SOUS 40308 HAS SOUPS 40094 WITH SCORE 40294.892
AT ITER 5600 NEW BEST:: SOT 254608 SOS 200928 HAS SOPS 157183 HAS SOUS 40254 HAS SOUPS 40040 WITH SCORE 40240.928
AT ITER 5622 NEW BEST:: SOT 254409 SOS 200729 HAS SOPS 156984 HAS SOUS 40217 HAS SOUPS 40003 WITH SCORE 40203.729
AT ITER 5633 NEW BEST:: SOT 254409 SOS 200729 HAS SOPS 157547 HAS SOUS 40216 HAS SOUPS 40002 WITH SCORE 40202.729
AT ITER 5636 NEW BEST:: SOT 254409 SOS 200729 HAS SOPS 157737 HAS SOUS 40212 HAS SOUPS 39998 WITH SCORE 40198.729
AT ITER 5663 NEW BEST:: SOT 254409 SOS 200785 HAS SOPS 157720 HAS SOUS 40211 HAS SOUPS 39997 WITH SCORE 40197.785
AT ITER 5687 NEW BEST:: SOT 254409 SOS 200785 HAS SOPS 155208 HAS SOUS 40136 HAS SOUPS 39921 WITH SCORE 40121.785
AT ITER 5699 NEW BEST:: SOT 254409 SOS 200771 HAS SOPS 155458 HAS SOUS 40136 HAS SOUPS 39921 WITH SCORE 40121.771
AT ITER 5718 NEW BEST:: SOT 254373 SOS 200735 HAS SOPS 155422 HAS SOUS 40102 HAS SOUPS 39887 WITH SCORE 40087.735
AT ITER 5722 NEW BEST:: SOT 254373 SOS 200735 HAS SOPS 155311 HAS SOUS 40101 HAS SOUPS 39886 WITH SCORE 40086.735
AT ITER 5756 NEW BEST:: SOT 254373 SOS 200735 HAS SOPS 155267 HAS SOUS 40090 HAS SOUPS 39875 WITH SCORE 40075.735
AT ITER 5760 NEW BEST:: SOT 254373 SOS 200739 HAS SOPS 155151 HAS SOUS 40062 HAS SOUPS 39847 WITH SCORE 40047.739
AT ITER 5780 NEW BEST:: SOT 254373 SOS 200732 HAS SOPS 155144 HAS SOUS 40062 HAS SOUPS 39847 WITH SCORE 40047.732
AT ITER 5789 NEW BEST:: SOT 254371 SOS 200730 HAS SOPS 155142 HAS SOUS 40062 HAS SOUPS 39847 WITH SCORE 40047.73
AT ITER 5791 NEW BEST:: SOT 254263 SOS 200609 HAS SOPS 155034 HAS SOUS 39716 HAS SOUPS 39514 WITH SCORE 39714.609
AT ITER 5852 NEW BEST:: SOT 254263 SOS 200635 HAS SOPS 154022 HAS SOUS 39712 HAS SOUPS 39510 WITH SCORE 39710.635
AT ITER 5905 NEW BEST:: SOT 254263 SOS 200635 HAS SOPS 154341 HAS SOUS 39685 HAS SOUPS 39483 WITH SCORE 39683.635
AT ITER 5913 NEW BEST:: SOT 254263 SOS 200635 HAS SOPS 154407 HAS SOUS 39679 HAS SOUPS 39477 WITH SCORE 39677.635
AT ITER 5931 NEW BEST:: SOT 254263 SOS 200635 HAS SOPS 154407 HAS SOUS 39676 HAS SOUPS 39474 WITH SCORE 39674.635
AT ITER 5933 NEW BEST:: SOT 254259 SOS 200619 HAS SOPS 154391 HAS SOUS 39660 HAS SOUPS 39458 WITH SCORE 39658.619
AT ITER 5941 NEW BEST:: SOT 254259 SOS 200466 HAS SOPS 154690 HAS SOUS 39592 HAS SOUPS 39397 WITH SCORE 39597.466
AT ITER 5943 NEW BEST:: SOT 254259 SOS 200466 HAS SOPS 154690 HAS SOUS 39583 HAS SOUPS 39388 WITH SCORE 39588.466
AT ITER 5955 NEW BEST:: SOT 254259 SOS 200456 HAS SOPS 154680 HAS SOUS 39579 HAS SOUPS 39384 WITH SCORE 39584.456
AT ITER 5958 NEW BEST:: SOT 254259 SOS 200458 HAS SOPS 154693 HAS SOUS 39578 HAS SOUPS 39383 WITH SCORE 39583.458
AT ITER 5982 NEW BEST:: SOT 254226 SOS 200398 HAS SOPS 154633 HAS SOUS 39542 HAS SOUPS 39347 WITH SCORE 39547.398
AT ITER 5994 NEW BEST:: SOT 254247 SOS 200384 HAS SOPS 154675 HAS SOUS 39390 HAS SOUPS 39251 WITH SCORE 39451.384
AT ITER 5999 NEW BEST:: SOT 254247 SOS 200384 HAS SOPS 155075 HAS SOUS 39388 HAS SOUPS 39249 WITH SCORE 39449.384
AT ITER 6007 NEW BEST:: SOT 254237 SOS 200374 HAS SOPS 155065 HAS SOUS 39376 HAS SOUPS 39237 WITH SCORE 39437.374
AT ITER 6028 NEW BEST:: SOT 254237 SOS 200374 HAS SOPS 155527 HAS SOUS 39372 HAS SOUPS 39233 WITH SCORE 39433.374
AT ITER 6030 NEW BEST:: SOT 254327 SOS 200464 HAS SOPS 155617 HAS SOUS 39354 HAS SOUPS 39215 WITH SCORE 39415.464
AT ITER 6032 NEW BEST:: SOT 254327 SOS 200464 HAS SOPS 155773 HAS SOUS 39343 HAS SOUPS 39204 WITH SCORE 39404.464
AT ITER 6055 NEW BEST:: SOT 254327 SOS 200366 HAS SOPS 155657 HAS SOUS 39325 HAS SOUPS 39186 WITH SCORE 39386.366
AT ITER 6087 NEW BEST:: SOT 254309 SOS 200348 HAS SOPS 155639 HAS SOUS 39296 HAS SOUPS 39157 WITH SCORE 39357.348
AT ITER 6091 NEW BEST:: SOT 254399 SOS 200438 HAS SOPS 155729 HAS SOUS 39266 HAS SOUPS 39127 WITH SCORE 39327.438
AT ITER 6118 NEW BEST:: SOT 254393 SOS 200432 HAS SOPS 155723 HAS SOUS 39259 HAS SOUPS 39120 WITH SCORE 39320.432
AT ITER 6121 NEW BEST:: SOT 254393 SOS 200427 HAS SOPS 155273 HAS SOUS 39259 HAS SOUPS 39120 WITH SCORE 39320.427
AT ITER 6131 NEW BEST:: SOT 254393 SOS 200427 HAS SOPS 155273 HAS SOUS 39258 HAS SOUPS 39119 WITH SCORE 39319.427
AT ITER 6185 NEW BEST:: SOT 254393 SOS 200427 HAS SOPS 155405 HAS SOUS 39246 HAS SOUPS 39107 WITH SCORE 39307.427
AT ITER 6214 NEW BEST:: SOT 254393 SOS 200427 HAS SOPS 155763 HAS SOUS 39229 HAS SOUPS 39090 WITH SCORE 39290.427
AT ITER 6251 NEW BEST:: SOT 254393 SOS 200427 HAS SOPS 155763 HAS SOUS 39220 HAS SOUPS 39081 WITH SCORE 39281.427
AT ITER 6269 NEW BEST:: SOT 254395 SOS 200429 HAS SOPS 155765 HAS SOUS 39218 HAS SOUPS 39079 WITH SCORE 39279.429
AT ITER 6276 NEW BEST:: SOT 254375 SOS 200409 HAS SOPS 155745 HAS SOUS 39198 HAS SOUPS 39059 WITH SCORE 39259.409
AT ITER 6290 NEW BEST:: SOT 254375 SOS 200409 HAS SOPS 155833 HAS SOUS 39163 HAS SOUPS 39024 WITH SCORE 39224.409
AT ITER 6320 NEW BEST:: SOT 254387 SOS 200421 HAS SOPS 155845 HAS SOUS 39159 HAS SOUPS 39020 WITH SCORE 39220.421
AT ITER 6343 NEW BEST:: SOT 254387 SOS 200421 HAS SOPS 155845 HAS SOUS 39149 HAS SOUPS 39010 WITH SCORE 39210.421
AT ITER 6358 NEW BEST:: SOT 254387 SOS 200421 HAS SOPS 155845 HAS SOUS 39078 HAS SOUPS 38939 WITH SCORE 39139.421
AT ITER 6371 NEW BEST:: SOT 254364 SOS 200398 HAS SOPS 155822 HAS SOUS 39024 HAS SOUPS 38885 WITH SCORE 39085.398
AT ITER 6418 NEW BEST:: SOT 254364 SOS 200398 HAS SOPS 155492 HAS SOUS 39020 HAS SOUPS 38881 WITH SCORE 39081.398
AT ITER 6426 NEW BEST:: SOT 254499 SOS 201411 HAS SOPS 155592 HAS SOUS 39009 HAS SOUPS 38870 WITH SCORE 39071.411
AT ITER 6489 NEW BEST:: SOT 254386 SOS 201287 HAS SOPS 155458 HAS SOUS 38971 HAS SOUPS 38822 WITH SCORE 39023.287
AT ITER 6545 NEW BEST:: SOT 254386 SOS 201259 HAS SOPS 155430 HAS SOUS 38971 HAS SOUPS 38822 WITH SCORE 39023.259
AT ITER 6564 NEW BEST:: SOT 254386 SOS 147705 HAS SOPS 147621 HAS SOUS 38906 HAS SOUPS 38842 WITH SCORE 38989.705
AT ITER 6610 NEW BEST:: SOT 254377 SOS 147696 HAS SOPS 147612 HAS SOUS 38891 HAS SOUPS 38827 WITH SCORE 38974.696
AT ITER 6619 NEW BEST:: SOT 254377 SOS 147698 HAS SOPS 147625 HAS SOUS 38871 HAS SOUPS 38808 WITH SCORE 38955.698
AT ITER 6640 NEW BEST:: SOT 254357 SOS 147678 HAS SOPS 147605 HAS SOUS 38845 HAS SOUPS 38782 WITH SCORE 38929.678
AT ITER 6644 NEW BEST:: SOT 254353 SOS 147674 HAS SOPS 147601 HAS SOUS 38845 HAS SOUPS 38782 WITH SCORE 38929.674
AT ITER 6661 NEW BEST:: SOT 254353 SOS 147672 HAS SOPS 147599 HAS SOUS 38845 HAS SOUPS 38782 WITH SCORE 38929.672
AT ITER 6662 NEW BEST:: SOT 254353 SOS 147595 HAS SOPS 147522 HAS SOUS 38845 HAS SOUPS 38782 WITH SCORE 38929.595
AT ITER 6696 NEW BEST:: SOT 254345 SOS 147587 HAS SOPS 147514 HAS SOUS 38832 HAS SOUPS 38769 WITH SCORE 38916.587
AT ITER 6698 NEW BEST:: SOT 254334 SOS 147565 HAS SOPS 147503 HAS SOUS 38799 HAS SOUPS 38747 WITH SCORE 38894.565
AT ITER 6699 NEW BEST:: SOT 254334 SOS 147565 HAS SOPS 147503 HAS SOUS 38796 HAS SOUPS 38744 WITH SCORE 38891.565
AT ITER 6743 NEW BEST:: SOT 254334 SOS 147235 HAS SOPS 147173 HAS SOUS 38796 HAS SOUPS 38744 WITH SCORE 38891.235
AT ITER 6744 NEW BEST:: SOT 254334 SOS 147345 HAS SOPS 147283 HAS SOUS 38785 HAS SOUPS 38733 WITH SCORE 38880.345
AT ITER 6745 NEW BEST:: SOT 254334 SOS 147540 HAS SOPS 147478 HAS SOUS 38778 HAS SOUPS 38726 WITH SCORE 38873.54
AT ITER 6799 NEW BEST:: SOT 254334 SOS 147221 HAS SOPS 147159 HAS SOUS 38768 HAS SOUPS 38716 WITH SCORE 38863.221
AT ITER 6825 NEW BEST:: SOT 254334 SOS 147481 HAS SOPS 147419 HAS SOUS 38742 HAS SOUPS 38690 WITH SCORE 38837.481
AT ITER 6869 NEW BEST:: SOT 254334 SOS 147426 HAS SOPS 147364 HAS SOUS 38742 HAS SOUPS 38690 WITH SCORE 38837.426
AT ITER 6898 NEW BEST:: SOT 254334 SOS 147521 HAS SOPS 147459 HAS SOUS 38740 HAS SOUPS 38688 WITH SCORE 38835.521
AT ITER 6937 NEW BEST:: SOT 254333 SOS 147520 HAS SOPS 147458 HAS SOUS 38734 HAS SOUPS 38682 WITH SCORE 38829.52
AT ITER 6985 NEW BEST:: SOT 254328 SOS 147515 HAS SOPS 147453 HAS SOUS 38716 HAS SOUPS 38664 WITH SCORE 38811.515
AT ITER 7015 NEW BEST:: SOT 254335 SOS 147532 HAS SOPS 147470 HAS SOUS 38715 HAS SOUPS 38663 WITH SCORE 38810.532
AT ITER 7036 NEW BEST:: SOT 254335 SOS 147632 HAS SOPS 147570 HAS SOUS 38705 HAS SOUPS 38653 WITH SCORE 38800.632
AT ITER 7062 NEW BEST:: SOT 254328 SOS 147635 HAS SOPS 147573 HAS SOUS 38703 HAS SOUPS 38651 WITH SCORE 38798.635
AT ITER 7068 NEW BEST:: SOT 254328 SOS 147635 HAS SOPS 147573 HAS SOUS 38701 HAS SOUPS 38649 WITH SCORE 38796.635
AT ITER 7086 NEW BEST:: SOT 254328 SOS 147624 HAS SOPS 147562 HAS SOUS 38701 HAS SOUPS 38649 WITH SCORE 38796.624
AT ITER 7098 NEW BEST:: SOT 254328 SOS 147624 HAS SOPS 147562 HAS SOUS 38695 HAS SOUPS 38643 WITH SCORE 38790.624
AT ITER 7106 NEW BEST:: SOT 254279 SOS 147575 HAS SOPS 147513 HAS SOUS 38646 HAS SOUPS 38594 WITH SCORE 38741.575
AT ITER 7112 NEW BEST:: SOT 254279 SOS 147370 HAS SOPS 147308 HAS SOUS 38646 HAS SOUPS 38594 WITH SCORE 38741.37
AT ITER 7157 NEW BEST:: SOT 254279 SOS 147370 HAS SOPS 147308 HAS SOUS 38644 HAS SOUPS 38592 WITH SCORE 38739.37
AT ITER 7186 NEW BEST:: SOT 254279 SOS 147304 HAS SOPS 147242 HAS SOUS 38625 HAS SOUPS 38573 WITH SCORE 38720.304
AT ITER 7188 NEW BEST:: SOT 254248 SOS 147273 HAS SOPS 147211 HAS SOUS 38624 HAS SOUPS 38572 WITH SCORE 38719.273
AT ITER 7212 NEW BEST:: SOT 254248 SOS 147339 HAS SOPS 147277 HAS SOUS 38623 HAS SOUPS 38571 WITH SCORE 38718.339
AT ITER 7226 NEW BEST:: SOT 254248 SOS 147337 HAS SOPS 147275 HAS SOUS 38621 HAS SOUPS 38569 WITH SCORE 38716.337
AT ITER 7254 NEW BEST:: SOT 254248 SOS 147462 HAS SOPS 147400 HAS SOUS 38614 HAS SOUPS 38562 WITH SCORE 38709.462
AT ITER 7308 NEW BEST:: SOT 254248 SOS 147440 HAS SOPS 147378 HAS SOUS 38614 HAS SOUPS 38562 WITH SCORE 38709.44
AT ITER 7314 NEW BEST:: SOT 254208 SOS 147400 HAS SOPS 147338 HAS SOUS 38574 HAS SOUPS 38522 WITH SCORE 38669.4
AT ITER 7339 NEW BEST:: SOT 254198 SOS 147390 HAS SOPS 147328 HAS SOUS 38561 HAS SOUPS 38509 WITH SCORE 38656.39
AT ITER 7340 NEW BEST:: SOT 254198 SOS 147258 HAS SOPS 147196 HAS SOUS 38556 HAS SOUPS 38504 WITH SCORE 38651.258
AT ITER 7367 NEW BEST:: SOT 254198 SOS 145908 HAS SOPS 145846 HAS SOUS 38509 HAS SOUPS 38457 WITH SCORE 38602.908
AT ITER 7379 NEW BEST:: SOT 254195 SOS 145905 HAS SOPS 145843 HAS SOUS 38505 HAS SOUPS 38453 WITH SCORE 38598.905
AT ITER 7396 NEW BEST:: SOT 254190 SOS 145685 HAS SOPS 145623 HAS SOUS 38473 HAS SOUPS 38421 WITH SCORE 38566.685
AT ITER 7436 NEW BEST:: SOT 254190 SOS 145663 HAS SOPS 145601 HAS SOUS 38455 HAS SOUPS 38403 WITH SCORE 38548.663
AT ITER 7464 NEW BEST:: SOT 254190 SOS 145654 HAS SOPS 145592 HAS SOUS 38454 HAS SOUPS 38402 WITH SCORE 38547.654
AT ITER 7498 NEW BEST:: SOT 254190 SOS 145368 HAS SOPS 145306 HAS SOUS 38443 HAS SOUPS 38391 WITH SCORE 38536.368
AT ITER 7508 NEW BEST:: SOT 254190 SOS 145368 HAS SOPS 145306 HAS SOUS 38369 HAS SOUPS 38317 WITH SCORE 38462.368
AT ITER 7517 NEW BEST:: SOT 254190 SOS 147241 HAS SOPS 147179 HAS SOUS 38361 HAS SOUPS 38309 WITH SCORE 38456.241
AT ITER 7545 NEW BEST:: SOT 254185 SOS 147236 HAS SOPS 147174 HAS SOUS 38356 HAS SOUPS 38304 WITH SCORE 38451.236
AT ITER 7652 NEW BEST:: SOT 254131 SOS 147182 HAS SOPS 147120 HAS SOUS 38356 HAS SOUPS 38304 WITH SCORE 38451.182
AT ITER 7660 NEW BEST:: SOT 254104 SOS 147152 HAS SOPS 147093 HAS SOUS 38323 HAS SOUPS 38274 WITH SCORE 38421.152
AT ITER 7661 NEW BEST:: SOT 254060 SOS 147108 HAS SOPS 147049 HAS SOUS 38311 HAS SOUPS 38262 WITH SCORE 38409.108
AT ITER 7677 NEW BEST:: SOT 254042 SOS 147088 HAS SOPS 147031 HAS SOUS 38289 HAS SOUPS 38242 WITH SCORE 38389.088
AT ITER 7690 NEW BEST:: SOT 253896 SOS 146942 HAS SOPS 146885 HAS SOUS 38222 HAS SOUPS 38175 WITH SCORE 38321.942
AT ITER 7736 NEW BEST:: SOT 253896 SOS 147268 HAS SOPS 147211 HAS SOUS 38214 HAS SOUPS 38167 WITH SCORE 38314.268
AT ITER 7737 NEW BEST:: SOT 253786 SOS 147152 HAS SOPS 147095 HAS SOUS 38101 HAS SOUPS 38054 WITH SCORE 38201.152
AT ITER 7740 NEW BEST:: SOT 253780 SOS 147146 HAS SOPS 147089 HAS SOUS 38101 HAS SOUPS 38054 WITH SCORE 38201.146
AT ITER 7747 NEW BEST:: SOT 253780 SOS 147135 HAS SOPS 147078 HAS SOUS 38101 HAS SOUPS 38054 WITH SCORE 38201.135
AT ITER 7779 NEW BEST:: SOT 253780 SOS 147135 HAS SOPS 147078 HAS SOUS 38099 HAS SOUPS 38052 WITH SCORE 38199.135
AT ITER 7791 NEW BEST:: SOT 253774 SOS 147129 HAS SOPS 147072 HAS SOUS 38093 HAS SOUPS 38046 WITH SCORE 38193.129
AT ITER 7804 NEW BEST:: SOT 253774 SOS 147860 HAS SOPS 147803 HAS SOUS 38087 HAS SOUPS 38040 WITH SCORE 38187.86
AT ITER 7830 NEW BEST:: SOT 253770 SOS 147856 HAS SOPS 147799 HAS SOUS 38081 HAS SOUPS 38034 WITH SCORE 38181.856
AT ITER 7834 NEW BEST:: SOT 253762 SOS 147848 HAS SOPS 147791 HAS SOUS 38075 HAS SOUPS 38028 WITH SCORE 38175.848
AT ITER 7850 NEW BEST:: SOT 253754 SOS 147840 HAS SOPS 147783 HAS SOUS 38061 HAS SOUPS 38014 WITH SCORE 38161.84
AT ITER 7853 NEW BEST:: SOT 253754 SOS 148017 HAS SOPS 147971 HAS SOUS 38051 HAS SOUPS 38005 WITH SCORE 38153.017
AT ITER 7855 NEW BEST:: SOT 253754 SOS 148017 HAS SOPS 147971 HAS SOUS 38031 HAS SOUPS 37985 WITH SCORE 38133.017
AT ITER 7903 NEW BEST:: SOT 253736 SOS 147999 HAS SOPS 147953 HAS SOUS 37957 HAS SOUPS 37911 WITH SCORE 38058.999
AT ITER 7986 NEW BEST:: SOT 253808 SOS 148071 HAS SOPS 148025 HAS SOUS 37953 HAS SOUPS 37907 WITH SCORE 38055.071
AT ITER 8021 NEW BEST:: SOT 253803 SOS 148066 HAS SOPS 148020 HAS SOUS 37951 HAS SOUPS 37905 WITH SCORE 38053.066
AT ITER 8034 NEW BEST:: SOT 253803 SOS 147968 HAS SOPS 147922 HAS SOUS 37951 HAS SOUPS 37905 WITH SCORE 38052.968
AT ITER 8048 NEW BEST:: SOT 253803 SOS 147891 HAS SOPS 147845 HAS SOUS 37951 HAS SOUPS 37905 WITH SCORE 38052.891
AT ITER 8049 NEW BEST:: SOT 253788 SOS 147876 HAS SOPS 147830 HAS SOUS 37908 HAS SOUPS 37862 WITH SCORE 38009.876
AT ITER 8058 NEW BEST:: SOT 253786 SOS 147874 HAS SOPS 147828 HAS SOUS 37906 HAS SOUPS 37860 WITH SCORE 38007.874
AT ITER 8066 NEW BEST:: SOT 253786 SOS 147874 HAS SOPS 147828 HAS SOUS 37905 HAS SOUPS 37859 WITH SCORE 38006.874
AT ITER 8076 NEW BEST:: SOT 253786 SOS 147853 HAS SOPS 147807 HAS SOUS 37905 HAS SOUPS 37859 WITH SCORE 38006.853
AT ITER 8089 NEW BEST:: SOT 253786 SOS 148013 HAS SOPS 147967 HAS SOUS 37897 HAS SOUPS 37851 WITH SCORE 37999.013
AT ITER 8094 NEW BEST:: SOT 253786 SOS 147887 HAS SOPS 147841 HAS SOUS 37891 HAS SOUPS 37845 WITH SCORE 37992.887
AT ITER 8119 NEW BEST:: SOT 253772 SOS 147838 HAS SOPS 147792 HAS SOUS 37877 HAS SOUPS 37831 WITH SCORE 37978.838
AT ITER 8129 NEW BEST:: SOT 253772 SOS 147467 HAS SOPS 147421 HAS SOUS 37876 HAS SOUPS 37830 WITH SCORE 37977.467
AT ITER 8151 NEW BEST:: SOT 253836 SOS 147531 HAS SOPS 147485 HAS SOUS 37865 HAS SOUPS 37819 WITH SCORE 37966.531
AT ITER 8165 NEW BEST:: SOT 253832 SOS 147527 HAS SOPS 147481 HAS SOUS 37859 HAS SOUPS 37813 WITH SCORE 37960.527
AT ITER 8210 NEW BEST:: SOT 253833 SOS 147528 HAS SOPS 147482 HAS SOUS 37828 HAS SOUPS 37782 WITH SCORE 37929.528
AT ITER 8212 NEW BEST:: SOT 253833 SOS 147518 HAS SOPS 147472 HAS SOUS 37828 HAS SOUPS 37782 WITH SCORE 37929.518
AT ITER 8264 NEW BEST:: SOT 253833 SOS 147659 HAS SOPS 147613 HAS SOUS 37818 HAS SOUPS 37772 WITH SCORE 37919.659
AT ITER 8274 NEW BEST:: SOT 253833 SOS 147659 HAS SOPS 147613 HAS SOUS 37816 HAS SOUPS 37770 WITH SCORE 37917.659
AT ITER 8305 NEW BEST:: SOT 253802 SOS 147628 HAS SOPS 147582 HAS SOUS 37793 HAS SOUPS 37747 WITH SCORE 37894.628
AT ITER 8306 NEW BEST:: SOT 253800 SOS 147626 HAS SOPS 147580 HAS SOUS 37792 HAS SOUPS 37746 WITH SCORE 37893.626
AT ITER 8322 NEW BEST:: SOT 253802 SOS 147628 HAS SOPS 147582 HAS SOUS 37791 HAS SOUPS 37745 WITH SCORE 37892.628
AT ITER 8413 NEW BEST:: SOT 253640 SOS 147466 HAS SOPS 147420 HAS SOUS 37749 HAS SOUPS 37703 WITH SCORE 37850.466
AT ITER 8414 NEW BEST:: SOT 253649 SOS 147210 HAS SOPS 147149 HAS SOUS 37753 HAS SOUPS 37692 WITH SCORE 37839.21
AT ITER 8419 NEW BEST:: SOT 253664 SOS 146885 HAS SOPS 146824 HAS SOUS 37712 HAS SOUPS 37651 WITH SCORE 37797.885
AT ITER 8434 NEW BEST:: SOT 253637 SOS 146858 HAS SOPS 146797 HAS SOUS 37704 HAS SOUPS 37643 WITH SCORE 37789.858
AT ITER 8560 NEW BEST:: SOT 253637 SOS 146863 HAS SOPS 146802 HAS SOUS 37687 HAS SOUPS 37626 WITH SCORE 37772.863
AT ITER 8576 NEW BEST:: SOT 253637 SOS 146819 HAS SOPS 146758 HAS SOUS 37687 HAS SOUPS 37626 WITH SCORE 37772.819
AT ITER 8588 NEW BEST:: SOT 253444 SOS 146626 HAS SOPS 146565 HAS SOUS 37672 HAS SOUPS 37611 WITH SCORE 37757.626
AT ITER 8641 NEW BEST:: SOT 253444 SOS 146626 HAS SOPS 146565 HAS SOUS 37634 HAS SOUPS 37573 WITH SCORE 37719.626
AT ITER 8707 NEW BEST:: SOT 253530 SOS 146712 HAS SOPS 146651 HAS SOUS 37620 HAS SOUPS 37559 WITH SCORE 37705.712
AT ITER 8750 NEW BEST:: SOT 253514 SOS 146696 HAS SOPS 146635 HAS SOUS 37604 HAS SOUPS 37543 WITH SCORE 37689.696
AT ITER 8755 NEW BEST:: SOT 253514 SOS 147165 HAS SOPS 147104 HAS SOUS 37567 HAS SOUPS 37506 WITH SCORE 37653.165
AT ITER 8764 NEW BEST:: SOT 253450 SOS 147101 HAS SOPS 147040 HAS SOUS 37503 HAS SOUPS 37442 WITH SCORE 37589.101
AT ITER 8779 NEW BEST:: SOT 253450 SOS 147101 HAS SOPS 147040 HAS SOUS 37498 HAS SOUPS 37437 WITH SCORE 37584.101
AT ITER 8807 NEW BEST:: SOT 253450 SOS 147362 HAS SOPS 147301 HAS SOUS 37496 HAS SOUPS 37435 WITH SCORE 37582.362
AT ITER 8856 NEW BEST:: SOT 253450 SOS 147329 HAS SOPS 147268 HAS SOUS 37496 HAS SOUPS 37435 WITH SCORE 37582.329
AT ITER 8903 NEW BEST:: SOT 253380 SOS 147273 HAS SOPS 147212 HAS SOUS 37433 HAS SOUPS 37372 WITH SCORE 37519.273
AT ITER 8954 NEW BEST:: SOT 253380 SOS 147273 HAS SOPS 147212 HAS SOUS 37427 HAS SOUPS 37366 WITH SCORE 37513.273
AT ITER 8965 NEW BEST:: SOT 253422 SOS 147315 HAS SOPS 147254 HAS SOUS 37383 HAS SOUPS 37322 WITH SCORE 37469.315
AT ITER 9007 NEW BEST:: SOT 253439 SOS 147332 HAS SOPS 147271 HAS SOUS 37375 HAS SOUPS 37314 WITH SCORE 37461.332
AT ITER 9025 NEW BEST:: SOT 253439 SOS 147299 HAS SOPS 147238 HAS SOUS 37375 HAS SOUPS 37314 WITH SCORE 37461.299
AT ITER 9050 NEW BEST:: SOT 253439 SOS 147287 HAS SOPS 147226 HAS SOUS 37375 HAS SOUPS 37314 WITH SCORE 37461.287
AT ITER 9103 NEW BEST:: SOT 253439 SOS 147710 HAS SOPS 147649 HAS SOUS 37369 HAS SOUPS 37308 WITH SCORE 37455.71
AT ITER 9166 NEW BEST:: SOT 253574 SOS 147845 HAS SOPS 147784 HAS SOUS 37368 HAS SOUPS 37307 WITH SCORE 37454.845
AT ITER 9270 NEW BEST:: SOT 253574 SOS 147334 HAS SOPS 147244 HAS SOUS 37380 HAS SOUPS 37290 WITH SCORE 37437.334
AT ITER 9273 NEW BEST:: SOT 253567 SOS 147327 HAS SOPS 147237 HAS SOUS 37373 HAS SOUPS 37283 WITH SCORE 37430.327
AT ITER 9276 NEW BEST:: SOT 253567 SOS 147324 HAS SOPS 147237 HAS SOUS 37364 HAS SOUPS 37277 WITH SCORE 37424.324
AT ITER 9277 NEW BEST:: SOT 253567 SOS 147298 HAS SOPS 147211 HAS SOUS 37364 HAS SOUPS 37277 WITH SCORE 37424.298
AT ITER 9291 NEW BEST:: SOT 253567 SOS 147297 HAS SOPS 147210 HAS SOUS 37363 HAS SOUPS 37276 WITH SCORE 37423.297
AT ITER 9309 NEW BEST:: SOT 253562 SOS 147292 HAS SOPS 147205 HAS SOUS 37363 HAS SOUPS 37276 WITH SCORE 37423.292
AT ITER 9321 NEW BEST:: SOT 253562 SOS 147182 HAS SOPS 147095 HAS SOUS 37363 HAS SOUPS 37276 WITH SCORE 37423.182
AT ITER 9349 NEW BEST:: SOT 253562 SOS 147017 HAS SOPS 146930 HAS SOUS 37356 HAS SOUPS 37269 WITH SCORE 37416.017
AT ITER 9364 NEW BEST:: SOT 253562 SOS 147056 HAS SOPS 146969 HAS SOUS 37353 HAS SOUPS 37266 WITH SCORE 37413.056
AT ITER 9373 NEW BEST:: SOT 253409 SOS 146903 HAS SOPS 146816 HAS SOUS 37330 HAS SOUPS 37243 WITH SCORE 37389.903
AT ITER 9386 NEW BEST:: SOT 253409 SOS 146781 HAS SOPS 146694 HAS SOUS 37208 HAS SOUPS 37121 WITH SCORE 37267.781
AT ITER 9435 NEW BEST:: SOT 253409 SOS 146781 HAS SOPS 146694 HAS SOUS 37206 HAS SOUPS 37119 WITH SCORE 37265.781
AT ITER 9468 NEW BEST:: SOT 253114 SOS 146483 HAS SOPS 146417 HAS SOUS 37159 HAS SOUPS 37093 WITH SCORE 37239.483
AT ITER 9507 NEW BEST:: SOT 253114 SOS 146465 HAS SOPS 146417 HAS SOUS 37099 HAS SOUPS 37051 WITH SCORE 37197.465
AT ITER 9511 NEW BEST:: SOT 253114 SOS 146333 HAS SOPS 146285 HAS SOUS 37099 HAS SOUPS 37051 WITH SCORE 37197.333
AT ITER 9593 NEW BEST:: SOT 253106 SOS 146325 HAS SOPS 146277 HAS SOUS 37088 HAS SOUPS 37040 WITH SCORE 37186.325
AT ITER 9633 NEW BEST:: SOT 253111 SOS 146325 HAS SOPS 146277 HAS SOUS 37038 HAS SOUPS 36990 WITH SCORE 37136.325
AT ITER 9710 NEW BEST:: SOT 253111 SOS 146434 HAS SOPS 146386 HAS SOUS 37037 HAS SOUPS 36989 WITH SCORE 37135.434
AT ITER 9820 NEW BEST:: SOT 253111 SOS 146621 HAS SOPS 146573 HAS SOUS 37031 HAS SOUPS 36983 WITH SCORE 37129.621
AT ITER 9846 NEW BEST:: SOT 253106 SOS 146616 HAS SOPS 146568 HAS SOUS 37026 HAS SOUPS 36978 WITH SCORE 37124.616
AT ITER 9885 NEW BEST:: SOT 253106 SOS 146612 HAS SOPS 146564 HAS SOUS 37022 HAS SOUPS 36974 WITH SCORE 37120.612
AT ITER 9909 NEW BEST:: SOT 253043 SOS 146542 HAS SOPS 146501 HAS SOUS 36997 HAS SOUPS 36956 WITH SCORE 37102.542
AT ITER 9934 NEW BEST:: SOT 252838 SOS 146499 HAS SOPS 146458 HAS SOUS 36810 HAS SOUPS 36769 WITH SCORE 36915.499
AT ITER 9944 NEW BEST:: SOT 252831 SOS 146492 HAS SOPS 146451 HAS SOUS 36803 HAS SOUPS 36762 WITH SCORE 36908.492
AT ITER 9945 NEW BEST:: SOT 252831 SOS 146448 HAS SOPS 146407 HAS SOUS 36799 HAS SOUPS 36758 WITH SCORE 36904.448
AT ITER 9981 NEW BEST:: SOT 252821 SOS 146440 HAS SOPS 146399 HAS SOUS 36790 HAS SOUPS 36749 WITH SCORE 36895.44
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3567856 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16142228 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="SafeBus-PT-10"
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 SafeBus-PT-10, 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 r355-smll-167891803200280"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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