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.r451-smll-167912643500472.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 StigmergyCommit-PT-06b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643500472
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 4.1M
-rw-r--r-- 1 mcc users 6.9K Feb 26 10:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 10:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.1K Feb 26 10:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 26 10:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.1K Feb 25 17:12 LTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Feb 25 17:12 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 17:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 10:56 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 135K Feb 26 10:56 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 10:56 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 26 10:56 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.7M 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 1679274692072

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=StigmergyCommit-PT-06b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 06b
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: 2140 places, 6760 transitions, 67803 arcs.
AT ITER 0 NEW BEST:: SOT 10351365 SOS 1426716 HAS SOPS 1426716 HAS SOUS 1184504 HAS SOUPS 1184504 WITH SCORE 1185930.716
AT ITER 19 NEW BEST:: SOT 10351233 SOS 1426750 HAS SOPS 1426750 HAS SOUS 1184456 HAS SOUPS 1184456 WITH SCORE 1185882.75
AT ITER 42 NEW BEST:: SOT 10350967 SOS 1426482 HAS SOPS 1426482 HAS SOUS 1184188 HAS SOUPS 1184188 WITH SCORE 1185614.482
AT ITER 43 NEW BEST:: SOT 10350966 SOS 1426480 HAS SOPS 1426480 HAS SOUS 1184186 HAS SOUPS 1184186 WITH SCORE 1185612.48
AT ITER 88 NEW BEST:: SOT 10350938 SOS 1426424 HAS SOPS 1426424 HAS SOUS 1184130 HAS SOUPS 1184130 WITH SCORE 1185556.424
AT ITER 101 NEW BEST:: SOT 10350937 SOS 1426422 HAS SOPS 1426422 HAS SOUS 1184128 HAS SOUPS 1184128 WITH SCORE 1185554.422
AT ITER 159 NEW BEST:: SOT 10350937 SOS 1426316 HAS SOPS 1426316 HAS SOUS 1184128 HAS SOUPS 1184128 WITH SCORE 1185554.316
AT ITER 164 NEW BEST:: SOT 10350937 SOS 1426189 HAS SOPS 1426189 HAS SOUS 1184128 HAS SOUPS 1184128 WITH SCORE 1185554.189
AT ITER 199 NEW BEST:: SOT 10350937 SOS 1426177 HAS SOPS 1426177 HAS SOUS 1184128 HAS SOUPS 1184128 WITH SCORE 1185554.177
AT ITER 234 NEW BEST:: SOT 10350830 SOS 1426070 HAS SOPS 1426070 HAS SOUS 1184021 HAS SOUPS 1184021 WITH SCORE 1185447.07
AT ITER 246 NEW BEST:: SOT 10340226 SOS 2170098 HAS SOPS 2170098 HAS SOUS 1178982 HAS SOUPS 1178982 WITH SCORE 1181152.098
AT ITER 248 NEW BEST:: SOT 10340225 SOS 2170096 HAS SOPS 2170096 HAS SOUS 1178980 HAS SOUPS 1178980 WITH SCORE 1181150.096
AT ITER 270 NEW BEST:: SOT 10340128 SOS 2169999 HAS SOPS 2169999 HAS SOUS 1178883 HAS SOUPS 1178883 WITH SCORE 1181052.999
AT ITER 273 NEW BEST:: SOT 10340548 SOS 2170633 HAS SOPS 2170633 HAS SOUS 1178688 HAS SOUPS 1178688 WITH SCORE 1180858.633
AT ITER 284 NEW BEST:: SOT 10340417 SOS 2170502 HAS SOPS 2170502 HAS SOUS 1178557 HAS SOUPS 1178557 WITH SCORE 1180727.502
AT ITER 301 NEW BEST:: SOT 10340488 SOS 2170644 HAS SOPS 2170644 HAS SOUS 1178391 HAS SOUPS 1178391 WITH SCORE 1180561.644
AT ITER 319 NEW BEST:: SOT 10340487 SOS 2170642 HAS SOPS 2170642 HAS SOUS 1178389 HAS SOUPS 1178389 WITH SCORE 1180559.642
AT ITER 329 NEW BEST:: SOT 10334429 SOS 2170210 HAS SOPS 2170210 HAS SOUS 1172563 HAS SOUPS 1172563 WITH SCORE 1174733.21
AT ITER 357 NEW BEST:: SOT 10324618 SOS 3200620 HAS SOPS 3200620 HAS SOUS 1169847 HAS SOUPS 1169847 WITH SCORE 1173047.62
AT ITER 366 NEW BEST:: SOT 10320417 SOS 3261952 HAS SOPS 3261952 HAS SOUS 1167517 HAS SOUPS 1167517 WITH SCORE 1170778.952
AT ITER 370 NEW BEST:: SOT 10307234 SOS 3707150 HAS SOPS 3707150 HAS SOUS 1157375 HAS SOUPS 1157375 WITH SCORE 1161082.15
AT ITER 381 NEW BEST:: SOT 10305053 SOS 3705102 HAS SOPS 3705102 HAS SOUS 1155194 HAS SOUPS 1155194 WITH SCORE 1158899.102
AT ITER 415 NEW BEST:: SOT 10305053 SOS 3705102 HAS SOPS 3705102 HAS SOUS 1155189 HAS SOUPS 1155189 WITH SCORE 1158894.102
AT ITER 419 NEW BEST:: SOT 10305052 SOS 3705100 HAS SOPS 3705100 HAS SOUS 1155187 HAS SOUPS 1155187 WITH SCORE 1158892.1
AT ITER 495 NEW BEST:: SOT 10304955 SOS 3704906 HAS SOPS 3704906 HAS SOUS 1154993 HAS SOUPS 1154993 WITH SCORE 1158697.906
AT ITER 505 NEW BEST:: SOT 10304854 SOS 3704790 HAS SOPS 3704790 HAS SOUS 1154957 HAS SOUPS 1154957 WITH SCORE 1158661.79
AT ITER 516 NEW BEST:: SOT 10290748 SOS 4120235 HAS SOPS 4120235 HAS SOUS 1143679 HAS SOUPS 1143679 WITH SCORE 1147799.235
AT ITER 524 NEW BEST:: SOT 10290748 SOS 4120049 HAS SOPS 4120049 HAS SOUS 1143679 HAS SOUPS 1143679 WITH SCORE 1147799.049
AT ITER 529 NEW BEST:: SOT 10290344 SOS 3411382 HAS SOPS 3411382 HAS SOUS 1142347 HAS SOUPS 1142347 WITH SCORE 1145758.382
AT ITER 546 NEW BEST:: SOT 10290317 SOS 3411328 HAS SOPS 3411328 HAS SOUS 1142293 HAS SOUPS 1142293 WITH SCORE 1145704.328
AT ITER 629 NEW BEST:: SOT 10290267 SOS 3411108 HAS SOPS 3411108 HAS SOUS 1142192 HAS SOUPS 1142192 WITH SCORE 1145603.108
AT ITER 640 NEW BEST:: SOT 10290267 SOS 3411108 HAS SOPS 3411108 HAS SOUS 1142070 HAS SOUPS 1142070 WITH SCORE 1145481.108
AT ITER 661 NEW BEST:: SOT 10290095 SOS 3410764 HAS SOPS 3410764 HAS SOUS 1141726 HAS SOUPS 1141726 WITH SCORE 1145136.764
AT ITER 665 NEW BEST:: SOT 10289919 SOS 3410412 HAS SOPS 3410412 HAS SOUS 1141642 HAS SOUPS 1141642 WITH SCORE 1145052.412
AT ITER 683 NEW BEST:: SOT 10289910 SOS 3410332 HAS SOPS 3410332 HAS SOUS 1141562 HAS SOUPS 1141562 WITH SCORE 1144972.332
AT ITER 691 NEW BEST:: SOT 10289874 SOS 3410260 HAS SOPS 3410260 HAS SOUS 1141490 HAS SOUPS 1141490 WITH SCORE 1144900.26
AT ITER 693 NEW BEST:: SOT 10289816 SOS 3410144 HAS SOPS 3410144 HAS SOUS 1141374 HAS SOUPS 1141374 WITH SCORE 1144784.144
AT ITER 695 NEW BEST:: SOT 10289809 SOS 3410130 HAS SOPS 3410130 HAS SOUS 1141360 HAS SOUPS 1141360 WITH SCORE 1144770.13
AT ITER 703 NEW BEST:: SOT 10289730 SOS 3409972 HAS SOPS 3409972 HAS SOUS 1141202 HAS SOUPS 1141202 WITH SCORE 1144611.972
AT ITER 704 NEW BEST:: SOT 10289730 SOS 3409796 HAS SOPS 3409796 HAS SOUS 1141026 HAS SOUPS 1141026 WITH SCORE 1144435.796
AT ITER 710 NEW BEST:: SOT 10289730 SOS 3409789 HAS SOPS 3409789 HAS SOUS 1141026 HAS SOUPS 1141026 WITH SCORE 1144435.789
AT ITER 711 NEW BEST:: SOT 10289715 SOS 3409688 HAS SOPS 3409688 HAS SOUS 1140925 HAS SOUPS 1140925 WITH SCORE 1144334.688
AT ITER 724 NEW BEST:: SOT 10289715 SOS 3409593 HAS SOPS 3409593 HAS SOUS 1140925 HAS SOUPS 1140925 WITH SCORE 1144334.593
AT ITER 743 NEW BEST:: SOT 10289715 SOS 3409537 HAS SOPS 3409537 HAS SOUS 1140869 HAS SOUPS 1140869 WITH SCORE 1144278.537
AT ITER 779 NEW BEST:: SOT 10289723 SOS 3409553 HAS SOPS 3409553 HAS SOUS 1140618 HAS SOUPS 1140618 WITH SCORE 1144027.553
AT ITER 786 NEW BEST:: SOT 10289717 SOS 3409541 HAS SOPS 3409541 HAS SOUS 1140606 HAS SOUPS 1140606 WITH SCORE 1144015.541
AT ITER 787 NEW BEST:: SOT 10289618 SOS 3409343 HAS SOPS 3409343 HAS SOUS 1140408 HAS SOUPS 1140408 WITH SCORE 1143817.343
AT ITER 794 NEW BEST:: SOT 10289413 SOS 3408933 HAS SOPS 3408933 HAS SOUS 1140095 HAS SOUPS 1140095 WITH SCORE 1143503.933
AT ITER 803 NEW BEST:: SOT 10289318 SOS 3408743 HAS SOPS 3408743 HAS SOUS 1139905 HAS SOUPS 1139905 WITH SCORE 1143313.743
AT ITER 823 NEW BEST:: SOT 10265140 SOS 3599340 HAS SOPS 3599340 HAS SOUS 1120891 HAS SOUPS 1120891 WITH SCORE 1124490.34
AT ITER 830 NEW BEST:: SOT 10265140 SOS 3599340 HAS SOPS 3599340 HAS SOUS 1120710 HAS SOUPS 1120710 WITH SCORE 1124309.34
AT ITER 835 NEW BEST:: SOT 10265066 SOS 3599192 HAS SOPS 3599192 HAS SOUS 1120562 HAS SOUPS 1120562 WITH SCORE 1124161.192
AT ITER 927 NEW BEST:: SOT 10255607 SOS 3647162 HAS SOPS 3647162 HAS SOUS 1112124 HAS SOUPS 1112124 WITH SCORE 1115771.162
AT ITER 958 NEW BEST:: SOT 10255530 SOS 3647085 HAS SOPS 3647085 HAS SOUS 1112047 HAS SOUPS 1112047 WITH SCORE 1115694.085
AT ITER 1041 NEW BEST:: SOT 10255357 SOS 3646739 HAS SOPS 3646739 HAS SOUS 1111701 HAS SOUPS 1111701 WITH SCORE 1115347.739
AT ITER 1074 NEW BEST:: SOT 10255356 SOS 3646737 HAS SOPS 3646737 HAS SOUS 1111699 HAS SOUPS 1111699 WITH SCORE 1115345.737
AT ITER 1086 NEW BEST:: SOT 10255287 SOS 3646899 HAS SOPS 3646899 HAS SOUS 1111641 HAS SOUPS 1111641 WITH SCORE 1115287.899
AT ITER 1132 NEW BEST:: SOT 10255184 SOS 3646693 HAS SOPS 3646693 HAS SOUS 1111537 HAS SOUPS 1111537 WITH SCORE 1115183.693
AT ITER 1143 NEW BEST:: SOT 10255084 SOS 3646246 HAS SOPS 3646246 HAS SOUS 1111337 HAS SOUPS 1111337 WITH SCORE 1114983.246
AT ITER 1151 NEW BEST:: SOT 10254816 SOS 3646112 HAS SOPS 3646112 HAS SOUS 1111136 HAS SOUPS 1111136 WITH SCORE 1114782.112
AT ITER 1204 NEW BEST:: SOT 10254779 SOS 3645976 HAS SOPS 3645976 HAS SOUS 1111062 HAS SOUPS 1111062 WITH SCORE 1114707.976
AT ITER 1230 NEW BEST:: SOT 10254507 SOS 3645704 HAS SOPS 3645704 HAS SOUS 1110790 HAS SOUPS 1110790 WITH SCORE 1114435.704
AT ITER 1243 NEW BEST:: SOT 10250215 SOS 3650766 HAS SOPS 3650766 HAS SOUS 1107180 HAS SOUPS 1107180 WITH SCORE 1110830.766
AT ITER 1249 NEW BEST:: SOT 10250031 SOS 3650398 HAS SOPS 3650398 HAS SOUS 1106916 HAS SOUPS 1106916 WITH SCORE 1110566.398
AT ITER 1256 NEW BEST:: SOT 10245831 SOS 4091559 HAS SOPS 4091559 HAS SOUS 1104397 HAS SOUPS 1104397 WITH SCORE 1108488.559
AT ITER 1307 NEW BEST:: SOT 10245813 SOS 4091523 HAS SOPS 4091523 HAS SOUS 1104361 HAS SOUPS 1104361 WITH SCORE 1108452.523
AT ITER 1312 NEW BEST:: SOT 10245747 SOS 4091391 HAS SOPS 4091391 HAS SOUS 1104229 HAS SOUPS 1104229 WITH SCORE 1108320.391
AT ITER 1316 NEW BEST:: SOT 10245738 SOS 4091373 HAS SOPS 4091373 HAS SOUS 1104211 HAS SOUPS 1104211 WITH SCORE 1108302.373
AT ITER 1372 NEW BEST:: SOT 10245501 SOS 4090899 HAS SOPS 4090899 HAS SOUS 1103737 HAS SOUPS 1103737 WITH SCORE 1107827.899
AT ITER 1383 NEW BEST:: SOT 10245501 SOS 4090899 HAS SOPS 4090899 HAS SOUS 1103699 HAS SOUPS 1103699 WITH SCORE 1107789.899
AT ITER 1416 NEW BEST:: SOT 10245370 SOS 4090499 HAS SOPS 4090499 HAS SOUS 1103299 HAS SOUPS 1103299 WITH SCORE 1107389.499
AT ITER 1452 NEW BEST:: SOT 10245286 SOS 4090415 HAS SOPS 4090415 HAS SOUS 1103215 HAS SOUPS 1103215 WITH SCORE 1107305.415
AT ITER 1506 NEW BEST:: SOT 10241629 SOS 4159769 HAS SOPS 4159769 HAS SOUS 1102896 HAS SOUPS 1102896 WITH SCORE 1107055.769
AT ITER 1515 NEW BEST:: SOT 10237557 SOS 4172295 HAS SOPS 4172295 HAS SOUS 1100469 HAS SOUPS 1100469 WITH SCORE 1104641.295
AT ITER 1524 NEW BEST:: SOT 10237427 SOS 4172035 HAS SOPS 4172035 HAS SOUS 1100209 HAS SOUPS 1100209 WITH SCORE 1104381.035
AT ITER 1576 NEW BEST:: SOT 10237348 SOS 3841559 HAS SOPS 3841559 HAS SOUS 1099229 HAS SOUPS 1099229 WITH SCORE 1103070.559
AT ITER 1610 NEW BEST:: SOT 10237332 SOS 3841543 HAS SOPS 3841543 HAS SOUS 1099213 HAS SOUPS 1099213 WITH SCORE 1103054.543
AT ITER 1618 NEW BEST:: SOT 10237332 SOS 3841465 HAS SOPS 3841465 HAS SOUS 1099213 HAS SOUPS 1099213 WITH SCORE 1103054.465
AT ITER 1629 NEW BEST:: SOT 10237230 SOS 3841261 HAS SOPS 3841261 HAS SOUS 1099009 HAS SOUPS 1099009 WITH SCORE 1102850.261
AT ITER 1659 NEW BEST:: SOT 10237212 SOS 3841225 HAS SOPS 3841225 HAS SOUS 1098973 HAS SOUPS 1098973 WITH SCORE 1102814.225
AT ITER 1666 NEW BEST:: SOT 10237037 SOS 3840875 HAS SOPS 3840875 HAS SOUS 1098623 HAS SOUPS 1098623 WITH SCORE 1102463.875
AT ITER 1668 NEW BEST:: SOT 10236865 SOS 3840531 HAS SOPS 3840531 HAS SOUS 1098279 HAS SOUPS 1098279 WITH SCORE 1102119.531
AT ITER 1675 NEW BEST:: SOT 10236864 SOS 3840403 HAS SOPS 3840403 HAS SOUS 1098277 HAS SOUPS 1098277 WITH SCORE 1102117.403
AT ITER 1684 NEW BEST:: SOT 10201254 SOS 3964920 HAS SOPS 3964920 HAS SOUS 1070006 HAS SOUPS 1070006 WITH SCORE 1073970.92
AT ITER 1685 NEW BEST:: SOT 10201254 SOS 3964796 HAS SOPS 3964796 HAS SOUS 1070006 HAS SOUPS 1070006 WITH SCORE 1073970.796
AT ITER 1687 NEW BEST:: SOT 10144258 SOS 4133004 HAS SOPS 4133004 HAS SOUS 1044949 HAS SOUPS 1044949 WITH SCORE 1049082.004
AT ITER 1700 NEW BEST:: SOT 10144197 SOS 4132732 HAS SOPS 4132732 HAS SOUS 1044827 HAS SOUPS 1044827 WITH SCORE 1048959.732
AT ITER 1717 NEW BEST:: SOT 10144170 SOS 4132678 HAS SOPS 4132678 HAS SOUS 1044773 HAS SOUPS 1044773 WITH SCORE 1048905.678
AT ITER 1731 NEW BEST:: SOT 10143962 SOS 4132262 HAS SOPS 4132262 HAS SOUS 1044684 HAS SOUPS 1044684 WITH SCORE 1048816.262
AT ITER 1751 NEW BEST:: SOT 10143894 SOS 4132126 HAS SOPS 4132126 HAS SOUS 1044548 HAS SOUPS 1044548 WITH SCORE 1048680.126
AT ITER 1763 NEW BEST:: SOT 10143860 SOS 4114319 HAS SOPS 4114319 HAS SOUS 1044451 HAS SOUPS 1044451 WITH SCORE 1048565.319
AT ITER 1777 NEW BEST:: SOT 10143564 SOS 4114171 HAS SOPS 4114171 HAS SOUS 1044229 HAS SOUPS 1044229 WITH SCORE 1048343.171
AT ITER 1781 NEW BEST:: SOT 10143563 SOS 4114169 HAS SOPS 4114169 HAS SOUS 1044227 HAS SOUPS 1044227 WITH SCORE 1048341.169
AT ITER 1804 NEW BEST:: SOT 10143597 SOS 4114237 HAS SOPS 4114237 HAS SOUS 1044007 HAS SOUPS 1044007 WITH SCORE 1048121.237
AT ITER 1807 NEW BEST:: SOT 10143299 SOS 4113641 HAS SOPS 4113641 HAS SOUS 1043411 HAS SOUPS 1043411 WITH SCORE 1047524.641
AT ITER 1810 NEW BEST:: SOT 10143260 SOS 4113436 HAS SOPS 4113436 HAS SOUS 1043288 HAS SOUPS 1043288 WITH SCORE 1047401.436
AT ITER 1829 NEW BEST:: SOT 10143224 SOS 4113103 HAS SOPS 4113103 HAS SOUS 1043216 HAS SOUPS 1043216 WITH SCORE 1047329.103
AT ITER 1835 NEW BEST:: SOT 10143154 SOS 4112963 HAS SOPS 4112963 HAS SOUS 1043169 HAS SOUPS 1043169 WITH SCORE 1047281.963
AT ITER 1857 NEW BEST:: SOT 10143038 SOS 4112731 HAS SOPS 4112731 HAS SOUS 1042937 HAS SOUPS 1042937 WITH SCORE 1047049.731
AT ITER 1861 NEW BEST:: SOT 10143205 SOS 4112695 HAS SOPS 4112695 HAS SOUS 1042901 HAS SOUPS 1042901 WITH SCORE 1047013.695
AT ITER 1872 NEW BEST:: SOT 10143111 SOS 4112507 HAS SOPS 4112507 HAS SOUS 1042807 HAS SOUPS 1042807 WITH SCORE 1046919.507
AT ITER 1900 NEW BEST:: SOT 10143108 SOS 4112501 HAS SOPS 4112501 HAS SOUS 1042801 HAS SOUPS 1042801 WITH SCORE 1046913.501
AT ITER 1907 NEW BEST:: SOT 10064342 SOS 4080537 HAS SOPS 4080537 HAS SOUS 981134 HAS SOUPS 981134 WITH SCORE 985214.537
AT ITER 1932 NEW BEST:: SOT 10064341 SOS 4080535 HAS SOPS 4080535 HAS SOUS 981132 HAS SOUPS 981132 WITH SCORE 985212.535
AT ITER 1934 NEW BEST:: SOT 10028606 SOS 4721383 HAS SOPS 4721383 HAS SOUS 953429 HAS SOUPS 953429 WITH SCORE 958150.383
AT ITER 1989 NEW BEST:: SOT 9971122 SOS 5101280 HAS SOPS 5101280 HAS SOUS 924654 HAS SOUPS 924654 WITH SCORE 929755.28
AT ITER 1993 NEW BEST:: SOT 9971120 SOS 5101276 HAS SOPS 5101276 HAS SOUS 924650 HAS SOUPS 924650 WITH SCORE 929751.276
AT ITER 2006 NEW BEST:: SOT 9971119 SOS 5101155 HAS SOPS 5101155 HAS SOUS 924648 HAS SOUPS 924648 WITH SCORE 929749.155
AT ITER 2023 NEW BEST:: SOT 9970840 SOS 5100597 HAS SOPS 5100597 HAS SOUS 924369 HAS SOUPS 924369 WITH SCORE 929469.597
AT ITER 2048 NEW BEST:: SOT 9970356 SOS 5099629 HAS SOPS 5099629 HAS SOUS 923401 HAS SOUPS 923401 WITH SCORE 928500.629
AT ITER 2089 NEW BEST:: SOT 9970248 SOS 5099467 HAS SOPS 5099467 HAS SOUS 923293 HAS SOUPS 923293 WITH SCORE 928392.467
AT ITER 2132 NEW BEST:: SOT 9970169 SOS 5040085 HAS SOPS 5040085 HAS SOUS 922944 HAS SOUPS 922944 WITH SCORE 927984.085
AT ITER 2214 NEW BEST:: SOT 9970164 SOS 5039999 HAS SOPS 5039999 HAS SOUS 922858 HAS SOUPS 922858 WITH SCORE 927897.999
AT ITER 2216 NEW BEST:: SOT 9970163 SOS 5039939 HAS SOPS 5039939 HAS SOUS 922856 HAS SOUPS 922856 WITH SCORE 927895.939
AT ITER 2230 NEW BEST:: SOT 9969995 SOS 5006483 HAS SOPS 5006483 HAS SOUS 911825 HAS SOUPS 911825 WITH SCORE 916831.483
AT ITER 2237 NEW BEST:: SOT 9888709 SOS 4960206 HAS SOPS 4960206 HAS SOUS 838748 HAS SOUPS 838748 WITH SCORE 843708.206
AT ITER 2263 NEW BEST:: SOT 9888608 SOS 4960085 HAS SOPS 4960085 HAS SOUS 838561 HAS SOUPS 838561 WITH SCORE 843521.085
AT ITER 2272 NEW BEST:: SOT 9888454 SOS 4738809 HAS SOPS 4738809 HAS SOUS 837187 HAS SOUPS 837187 WITH SCORE 841925.809
AT ITER 2281 NEW BEST:: SOT 9888282 SOS 4368295 HAS SOPS 4368295 HAS SOUS 836425 HAS SOUPS 836425 WITH SCORE 840793.295
AT ITER 2295 NEW BEST:: SOT 9888281 SOS 4368293 HAS SOPS 4368293 HAS SOUS 836423 HAS SOUPS 836423 WITH SCORE 840791.293
AT ITER 2322 NEW BEST:: SOT 9888134 SOS 4367999 HAS SOPS 4367999 HAS SOUS 836276 HAS SOUPS 836276 WITH SCORE 840643.999
AT ITER 2345 NEW BEST:: SOT 9887485 SOS 4366701 HAS SOPS 4366701 HAS SOUS 834978 HAS SOUPS 834978 WITH SCORE 839344.701
AT ITER 2348 NEW BEST:: SOT 9887484 SOS 4366699 HAS SOPS 4366699 HAS SOUS 834976 HAS SOUPS 834976 WITH SCORE 839342.699
AT ITER 2352 NEW BEST:: SOT 9887483 SOS 4366697 HAS SOPS 4366697 HAS SOUS 834974 HAS SOUPS 834974 WITH SCORE 839340.697
AT ITER 2356 NEW BEST:: SOT 9887152 SOS 4366035 HAS SOPS 4366035 HAS SOUS 834312 HAS SOUPS 834312 WITH SCORE 838678.035
AT ITER 2362 NEW BEST:: SOT 9887097 SOS 4365925 HAS SOPS 4365925 HAS SOUS 834202 HAS SOUPS 834202 WITH SCORE 838567.925
AT ITER 2363 NEW BEST:: SOT 9886984 SOS 4365462 HAS SOPS 4365462 HAS SOUS 833976 HAS SOUPS 833976 WITH SCORE 838341.462
AT ITER 2364 NEW BEST:: SOT 9886983 SOS 4365279 HAS SOPS 4365279 HAS SOUS 833974 HAS SOUPS 833974 WITH SCORE 838339.279
AT ITER 2365 NEW BEST:: SOT 9886791 SOS 4364895 HAS SOPS 4364895 HAS SOUS 833686 HAS SOUPS 833686 WITH SCORE 838050.895
AT ITER 2367 NEW BEST:: SOT 9886503 SOS 4364319 HAS SOPS 4364319 HAS SOUS 833110 HAS SOUPS 833110 WITH SCORE 837474.319
AT ITER 2434 NEW BEST:: SOT 9886365 SOS 4407222 HAS SOPS 4407222 HAS SOUS 824098 HAS SOUPS 824098 WITH SCORE 828505.222
AT ITER 2468 NEW BEST:: SOT 9886340 SOS 4407172 HAS SOPS 4407172 HAS SOUS 824048 HAS SOUPS 824048 WITH SCORE 828455.172
AT ITER 2517 NEW BEST:: SOT 9886330 SOS 4407152 HAS SOPS 4407152 HAS SOUS 824028 HAS SOUPS 824028 WITH SCORE 828435.152
AT ITER 2540 NEW BEST:: SOT 9886304 SOS 4407100 HAS SOPS 4407100 HAS SOUS 823976 HAS SOUPS 823976 WITH SCORE 828383.1
AT ITER 2570 NEW BEST:: SOT 9886220 SOS 4406932 HAS SOPS 4406932 HAS SOUS 823808 HAS SOUPS 823808 WITH SCORE 828214.932
AT ITER 2596 NEW BEST:: SOT 9886220 SOS 4406868 HAS SOPS 4406868 HAS SOUS 823744 HAS SOUPS 823744 WITH SCORE 828150.868
AT ITER 2598 NEW BEST:: SOT 9886219 SOS 4406866 HAS SOPS 4406866 HAS SOUS 823742 HAS SOUPS 823742 WITH SCORE 828148.866
AT ITER 2609 NEW BEST:: SOT 9886121 SOS 4406719 HAS SOPS 4406719 HAS SOUS 823595 HAS SOUPS 823595 WITH SCORE 828001.719
AT ITER 2678 NEW BEST:: SOT 9886094 SOS 4406665 HAS SOPS 4406665 HAS SOUS 823541 HAS SOUPS 823541 WITH SCORE 827947.665
AT ITER 2680 NEW BEST:: SOT 9769717 SOS 4324851 HAS SOPS 4324851 HAS SOUS 723128 HAS SOUPS 723128 WITH SCORE 727452.851
AT ITER 2691 NEW BEST:: SOT 9769438 SOS 4324293 HAS SOPS 4324293 HAS SOUS 722570 HAS SOUPS 722570 WITH SCORE 726894.293
AT ITER 2720 NEW BEST:: SOT 9765709 SOS 4707987 HAS SOPS 4707987 HAS SOUS 721016 HAS SOUPS 721016 WITH SCORE 725723.987
AT ITER 2727 NEW BEST:: SOT 9765662 SOS 4707893 HAS SOPS 4707893 HAS SOUS 720969 HAS SOUPS 720969 WITH SCORE 725676.893
AT ITER 2741 NEW BEST:: SOT 9765532 SOS 4707763 HAS SOPS 4707763 HAS SOUS 720839 HAS SOUPS 720839 WITH SCORE 725546.763
AT ITER 2745 NEW BEST:: SOT 9765305 SOS 4707309 HAS SOPS 4707309 HAS SOUS 720385 HAS SOUPS 720385 WITH SCORE 725092.309
AT ITER 2814 NEW BEST:: SOT 9765150 SOS 4706999 HAS SOPS 4706999 HAS SOUS 720075 HAS SOUPS 720075 WITH SCORE 724781.999
AT ITER 2851 NEW BEST:: SOT 9764969 SOS 4706637 HAS SOPS 4706637 HAS SOUS 719894 HAS SOUPS 719894 WITH SCORE 724600.637
AT ITER 2884 NEW BEST:: SOT 9764952 SOS 4706603 HAS SOPS 4706603 HAS SOUS 719860 HAS SOUPS 719860 WITH SCORE 724566.603
AT ITER 2885 NEW BEST:: SOT 9764793 SOS 4706285 HAS SOPS 4706285 HAS SOUS 719542 HAS SOUPS 719542 WITH SCORE 724248.285
AT ITER 2936 NEW BEST:: SOT 9764661 SOS 4614413 HAS SOPS 4614413 HAS SOUS 710984 HAS SOUPS 710984 WITH SCORE 715598.413
AT ITER 2937 NEW BEST:: SOT 9764661 SOS 4614380 HAS SOPS 4614380 HAS SOUS 710984 HAS SOUPS 710984 WITH SCORE 715598.38
AT ITER 2946 NEW BEST:: SOT 9764660 SOS 4614378 HAS SOPS 4614378 HAS SOUS 710982 HAS SOUPS 710982 WITH SCORE 715596.378
AT ITER 2965 NEW BEST:: SOT 9764550 SOS 4614268 HAS SOPS 4614268 HAS SOUS 710779 HAS SOUPS 710779 WITH SCORE 715393.268
AT ITER 2966 NEW BEST:: SOT 9764457 SOS 4614082 HAS SOPS 4614082 HAS SOUS 710593 HAS SOUPS 710593 WITH SCORE 715207.082
AT ITER 2978 NEW BEST:: SOT 9763713 SOS 4613202 HAS SOPS 4613202 HAS SOUS 709849 HAS SOUPS 709849 WITH SCORE 714462.202
AT ITER 2996 NEW BEST:: SOT 9763668 SOS 4613113 HAS SOPS 4613113 HAS SOUS 709759 HAS SOUPS 709759 WITH SCORE 714372.113
AT ITER 3035 NEW BEST:: SOT 9763671 SOS 4612837 HAS SOPS 4612837 HAS SOUS 709201 HAS SOUPS 709201 WITH SCORE 713813.837
AT ITER 3061 NEW BEST:: SOT 9763659 SOS 4612825 HAS SOPS 4612825 HAS SOUS 709189 HAS SOUPS 709189 WITH SCORE 713801.825
AT ITER 3082 NEW BEST:: SOT 9763659 SOS 4612786 HAS SOPS 4612786 HAS SOUS 709189 HAS SOUPS 709189 WITH SCORE 713801.786
AT ITER 3094 NEW BEST:: SOT 9763610 SOS 4612785 HAS SOPS 4612785 HAS SOUS 709143 HAS SOUPS 709143 WITH SCORE 713755.785
AT ITER 3107 NEW BEST:: SOT 9763593 SOS 4612751 HAS SOPS 4612751 HAS SOUS 709109 HAS SOUPS 709109 WITH SCORE 713721.751
AT ITER 3133 NEW BEST:: SOT 9759357 SOS 4628389 HAS SOPS 4628389 HAS SOUS 706994 HAS SOUPS 706994 WITH SCORE 711622.389
AT ITER 3135 NEW BEST:: SOT 9759207 SOS 4628089 HAS SOPS 4628089 HAS SOUS 706694 HAS SOUPS 706694 WITH SCORE 711322.089
AT ITER 3138 NEW BEST:: SOT 9758994 SOS 4485105 HAS SOPS 4485105 HAS SOUS 704894 HAS SOUPS 704894 WITH SCORE 709379.105
AT ITER 3139 NEW BEST:: SOT 9758766 SOS 4484899 HAS SOPS 4484899 HAS SOUS 704666 HAS SOUPS 704666 WITH SCORE 709150.899
AT ITER 3140 NEW BEST:: SOT 9758754 SOS 4484875 HAS SOPS 4484875 HAS SOUS 704642 HAS SOUPS 704642 WITH SCORE 709126.875
AT ITER 3149 NEW BEST:: SOT 9758592 SOS 4484551 HAS SOPS 4484551 HAS SOUS 704318 HAS SOUPS 704318 WITH SCORE 708802.551
AT ITER 3159 NEW BEST:: SOT 9758540 SOS 4484447 HAS SOPS 4484447 HAS SOUS 704214 HAS SOUPS 704214 WITH SCORE 708698.447
AT ITER 3164 NEW BEST:: SOT 9758531 SOS 4484429 HAS SOPS 4484429 HAS SOUS 704196 HAS SOUPS 704196 WITH SCORE 708680.429
AT ITER 3174 NEW BEST:: SOT 9758406 SOS 4484179 HAS SOPS 4484179 HAS SOUS 703946 HAS SOUPS 703946 WITH SCORE 708430.179
AT ITER 3212 NEW BEST:: SOT 9758226 SOS 4483819 HAS SOPS 4483819 HAS SOUS 703766 HAS SOUPS 703766 WITH SCORE 708249.819
AT ITER 3215 NEW BEST:: SOT 9758226 SOS 4483783 HAS SOPS 4483783 HAS SOUS 703730 HAS SOUPS 703730 WITH SCORE 708213.783
AT ITER 3236 NEW BEST:: SOT 9758175 SOS 4483681 HAS SOPS 4483681 HAS SOUS 703628 HAS SOUPS 703628 WITH SCORE 708111.681
AT ITER 3249 NEW BEST:: SOT 9758097 SOS 4483525 HAS SOPS 4483525 HAS SOUS 703550 HAS SOUPS 703550 WITH SCORE 708033.525
AT ITER 3257 NEW BEST:: SOT 9758097 SOS 4483520 HAS SOPS 4483520 HAS SOUS 703550 HAS SOUPS 703550 WITH SCORE 708033.52
AT ITER 3274 NEW BEST:: SOT 9633207 SOS 4799467 HAS SOPS 4799467 HAS SOUS 604211 HAS SOUPS 604211 WITH SCORE 609010.467
AT ITER 3275 NEW BEST:: SOT 9633206 SOS 4799306 HAS SOPS 4799306 HAS SOUS 604209 HAS SOUPS 604209 WITH SCORE 609008.306
AT ITER 3282 NEW BEST:: SOT 9633206 SOS 4799209 HAS SOPS 4799209 HAS SOUS 604112 HAS SOUPS 604112 WITH SCORE 608911.209
AT ITER 3360 NEW BEST:: SOT 9633182 SOS 4799161 HAS SOPS 4799161 HAS SOUS 604064 HAS SOUPS 604064 WITH SCORE 608863.161
AT ITER 3390 NEW BEST:: SOT 9633162 SOS 4799121 HAS SOPS 4799121 HAS SOUS 604024 HAS SOUPS 604024 WITH SCORE 608823.121
AT ITER 3417 NEW BEST:: SOT 9632998 SOS 4798531 HAS SOPS 4798531 HAS SOUS 603958 HAS SOUPS 603958 WITH SCORE 608756.531
AT ITER 3424 NEW BEST:: SOT 9632623 SOS 4797781 HAS SOPS 4797781 HAS SOUS 603583 HAS SOUPS 603583 WITH SCORE 608380.781
AT ITER 3450 NEW BEST:: SOT 9632600 SOS 4797735 HAS SOPS 4797735 HAS SOUS 603537 HAS SOUPS 603537 WITH SCORE 608334.735
AT ITER 3457 NEW BEST:: SOT 9632333 SOS 4797201 HAS SOPS 4797201 HAS SOUS 603003 HAS SOUPS 603003 WITH SCORE 607800.201
AT ITER 3502 NEW BEST:: SOT 9632333 SOS 4797084 HAS SOPS 4797084 HAS SOUS 603003 HAS SOUPS 603003 WITH SCORE 607800.084
AT ITER 3526 NEW BEST:: SOT 9632332 SOS 4797082 HAS SOPS 4797082 HAS SOUS 603001 HAS SOUPS 603001 WITH SCORE 607798.082
AT ITER 3536 NEW BEST:: SOT 9632332 SOS 4797045 HAS SOPS 4797045 HAS SOUS 602964 HAS SOUPS 602964 WITH SCORE 607761.045
AT ITER 3580 NEW BEST:: SOT 9632269 SOS 4738599 HAS SOPS 4738599 HAS SOUS 600948 HAS SOUPS 600948 WITH SCORE 605686.599
AT ITER 3585 NEW BEST:: SOT 9632160 SOS 4738381 HAS SOPS 4738381 HAS SOUS 600839 HAS SOUPS 600839 WITH SCORE 605577.381
AT ITER 3589 NEW BEST:: SOT 9632160 SOS 4738381 HAS SOPS 4738381 HAS SOUS 600674 HAS SOUPS 600674 WITH SCORE 605412.381
AT ITER 3600 NEW BEST:: SOT 9632068 SOS 4738197 HAS SOPS 4738197 HAS SOUS 600490 HAS SOUPS 600490 WITH SCORE 605228.197
AT ITER 3603 NEW BEST:: SOT 9631822 SOS 4674185 HAS SOPS 4674185 HAS SOUS 588230 HAS SOUPS 588230 WITH SCORE 592904.185
AT ITER 3613 NEW BEST:: SOT 9631574 SOS 4673689 HAS SOPS 4673689 HAS SOUS 587734 HAS SOUPS 587734 WITH SCORE 592407.689
AT ITER 3639 NEW BEST:: SOT 9631350 SOS 4304909 HAS SOPS 4304909 HAS SOUS 584934 HAS SOUPS 584934 WITH SCORE 589238.909
AT ITER 3641 NEW BEST:: SOT 9631203 SOS 4304615 HAS SOPS 4304615 HAS SOUS 584787 HAS SOUPS 584787 WITH SCORE 589091.615
AT ITER 3653 NEW BEST:: SOT 9631186 SOS 4304581 HAS SOPS 4304581 HAS SOUS 584753 HAS SOUPS 584753 WITH SCORE 589057.581
AT ITER 3657 NEW BEST:: SOT 9631068 SOS 4304420 HAS SOPS 4304420 HAS SOUS 584592 HAS SOUPS 584592 WITH SCORE 588896.42
AT ITER 3682 NEW BEST:: SOT 9630854 SOS 4304206 HAS SOPS 4304206 HAS SOUS 584378 HAS SOUPS 584378 WITH SCORE 588682.206
AT ITER 3685 NEW BEST:: SOT 9630641 SOS 4303780 HAS SOPS 4303780 HAS SOUS 584256 HAS SOUPS 584256 WITH SCORE 588559.78
AT ITER 3707 NEW BEST:: SOT 9630568 SOS 4303634 HAS SOPS 4303634 HAS SOUS 584183 HAS SOUPS 584183 WITH SCORE 588486.634
AT ITER 3710 NEW BEST:: SOT 9630541 SOS 4303618 HAS SOPS 4303618 HAS SOUS 584162 HAS SOUPS 584162 WITH SCORE 588465.618
AT ITER 3712 NEW BEST:: SOT 9630540 SOS 4303616 HAS SOPS 4303616 HAS SOUS 584160 HAS SOUPS 584160 WITH SCORE 588463.616
AT ITER 3731 NEW BEST:: SOT 9630747 SOS 4300836 HAS SOPS 4300836 HAS SOUS 582415 HAS SOUPS 582415 WITH SCORE 586715.836
AT ITER 3734 NEW BEST:: SOT 9630689 SOS 4300720 HAS SOPS 4300720 HAS SOUS 582299 HAS SOUPS 582299 WITH SCORE 586599.72
AT ITER 3751 NEW BEST:: SOT 9630589 SOS 4300520 HAS SOPS 4300520 HAS SOUS 582199 HAS SOUPS 582199 WITH SCORE 586499.52
AT ITER 3770 NEW BEST:: SOT 9630589 SOS 4300520 HAS SOPS 4300520 HAS SOUS 581859 HAS SOUPS 581859 WITH SCORE 586159.52
AT ITER 3777 NEW BEST:: SOT 9630538 SOS 4300367 HAS SOPS 4300367 HAS SOUS 581808 HAS SOUPS 581808 WITH SCORE 586108.367
AT ITER 3786 NEW BEST:: SOT 9630538 SOS 4300206 HAS SOPS 4300206 HAS SOUS 581647 HAS SOUPS 581647 WITH SCORE 585947.206
AT ITER 3791 NEW BEST:: SOT 9630508 SOS 4299930 HAS SOPS 4299930 HAS SOUS 581537 HAS SOUPS 581537 WITH SCORE 585836.93
AT ITER 3798 NEW BEST:: SOT 9630507 SOS 4299928 HAS SOPS 4299928 HAS SOUS 581535 HAS SOUPS 581535 WITH SCORE 585834.928
AT ITER 3803 NEW BEST:: SOT 9630507 SOS 4299856 HAS SOPS 4299856 HAS SOUS 581535 HAS SOUPS 581535 WITH SCORE 585834.856
AT ITER 3841 NEW BEST:: SOT 9630015 SOS 4298872 HAS SOPS 4298872 HAS SOUS 580962 HAS SOUPS 580962 WITH SCORE 585260.872
AT ITER 3860 NEW BEST:: SOT 9629558 SOS 4297958 HAS SOPS 4297958 HAS SOUS 580048 HAS SOUPS 580048 WITH SCORE 584345.958
AT ITER 3867 NEW BEST:: SOT 9629371 SOS 4297584 HAS SOPS 4297584 HAS SOUS 579861 HAS SOUPS 579861 WITH SCORE 584158.584
AT ITER 3874 NEW BEST:: SOT 9629111 SOS 4270544 HAS SOPS 4270544 HAS SOUS 579341 HAS SOUPS 579341 WITH SCORE 583611.544
AT ITER 3884 NEW BEST:: SOT 9628728 SOS 4269851 HAS SOPS 4269851 HAS SOUS 578648 HAS SOUPS 578648 WITH SCORE 582917.851
AT ITER 3911 NEW BEST:: SOT 9628728 SOS 4269672 HAS SOPS 4269672 HAS SOUS 578648 HAS SOUPS 578648 WITH SCORE 582917.672
AT ITER 3916 NEW BEST:: SOT 9628727 SOS 4269539 HAS SOPS 4269539 HAS SOUS 578646 HAS SOUPS 578646 WITH SCORE 582915.539
AT ITER 3931 NEW BEST:: SOT 9628717 SOS 4269425 HAS SOPS 4269425 HAS SOUS 578623 HAS SOUPS 578623 WITH SCORE 582892.425
AT ITER 3938 NEW BEST:: SOT 9628714 SOS 4269419 HAS SOPS 4269419 HAS SOUS 578617 HAS SOUPS 578617 WITH SCORE 582886.419
AT ITER 3946 NEW BEST:: SOT 9628610 SOS 4269211 HAS SOPS 4269211 HAS SOUS 578513 HAS SOUPS 578513 WITH SCORE 582782.211
AT ITER 3949 NEW BEST:: SOT 9628474 SOS 4268939 HAS SOPS 4268939 HAS SOUS 578241 HAS SOUPS 578241 WITH SCORE 582509.939
AT ITER 3959 NEW BEST:: SOT 9628287 SOS 4268565 HAS SOPS 4268565 HAS SOUS 577867 HAS SOUPS 577867 WITH SCORE 582135.565
AT ITER 3968 NEW BEST:: SOT 9618675 SOS 4320177 HAS SOPS 4320177 HAS SOUS 571741 HAS SOUPS 571741 WITH SCORE 576061.177
AT ITER 3989 NEW BEST:: SOT 9618675 SOS 4319980 HAS SOPS 4319980 HAS SOUS 571741 HAS SOUPS 571741 WITH SCORE 576060.98
AT ITER 4003 NEW BEST:: SOT 9618674 SOS 4319899 HAS SOPS 4319899 HAS SOUS 571739 HAS SOUPS 571739 WITH SCORE 576058.899
AT ITER 4041 NEW BEST:: SOT 9587432 SOS 4357885 HAS SOPS 4357885 HAS SOUS 546866 HAS SOUPS 546866 WITH SCORE 551223.885
AT ITER 4042 NEW BEST:: SOT 9587072 SOS 4356805 HAS SOPS 4356805 HAS SOUS 546146 HAS SOUPS 546146 WITH SCORE 550502.805
AT ITER 4063 NEW BEST:: SOT 9587021 SOS 4356703 HAS SOPS 4356703 HAS SOUS 546044 HAS SOUPS 546044 WITH SCORE 550400.703
AT ITER 4071 NEW BEST:: SOT 9587021 SOS 4356998 HAS SOPS 4356998 HAS SOUS 545749 HAS SOUPS 545749 WITH SCORE 550105.998
AT ITER 4079 NEW BEST:: SOT 9586667 SOS 4356290 HAS SOPS 4356290 HAS SOUS 545542 HAS SOUPS 545542 WITH SCORE 549898.29
AT ITER 4097 NEW BEST:: SOT 9586522 SOS 4356000 HAS SOPS 4356000 HAS SOUS 545252 HAS SOUPS 545252 WITH SCORE 549608.0
AT ITER 4103 NEW BEST:: SOT 9586462 SOS 4355881 HAS SOPS 4355881 HAS SOUS 545132 HAS SOUPS 545132 WITH SCORE 549487.881
AT ITER 4136 NEW BEST:: SOT 9586413 SOS 4355783 HAS SOPS 4355783 HAS SOUS 545034 HAS SOUPS 545034 WITH SCORE 549389.783
AT ITER 4156 NEW BEST:: SOT 9586342 SOS 4355641 HAS SOPS 4355641 HAS SOUS 544892 HAS SOUPS 544892 WITH SCORE 549247.641
AT ITER 4184 NEW BEST:: SOT 9586245 SOS 4355569 HAS SOPS 4355569 HAS SOUS 544808 HAS SOUPS 544808 WITH SCORE 549163.569
AT ITER 4194 NEW BEST:: SOT 9586033 SOS 4355145 HAS SOPS 4355145 HAS SOUS 544596 HAS SOUPS 544596 WITH SCORE 548951.145
AT ITER 4256 NEW BEST:: SOT 9585996 SOS 4355071 HAS SOPS 4355071 HAS SOUS 544522 HAS SOUPS 544522 WITH SCORE 548877.071
AT ITER 4277 NEW BEST:: SOT 9585709 SOS 4354497 HAS SOPS 4354497 HAS SOUS 544235 HAS SOUPS 544235 WITH SCORE 548589.497
AT ITER 4288 NEW BEST:: SOT 9585581 SOS 4354369 HAS SOPS 4354369 HAS SOUS 543978 HAS SOUPS 543978 WITH SCORE 548332.369
AT ITER 4299 NEW BEST:: SOT 9585377 SOS 4353961 HAS SOPS 4353961 HAS SOUS 543570 HAS SOUPS 543570 WITH SCORE 547923.961
AT ITER 4300 NEW BEST:: SOT 9585354 SOS 4353915 HAS SOPS 4353915 HAS SOUS 543524 HAS SOUPS 543524 WITH SCORE 547877.915
AT ITER 4305 NEW BEST:: SOT 9585192 SOS 4353591 HAS SOPS 4353591 HAS SOUS 543362 HAS SOUPS 543362 WITH SCORE 547715.591
AT ITER 4322 NEW BEST:: SOT 9585186 SOS 4353573 HAS SOPS 4353573 HAS SOUS 543344 HAS SOUPS 543344 WITH SCORE 547697.573
AT ITER 4382 NEW BEST:: SOT 9585144 SOS 4353489 HAS SOPS 4353489 HAS SOUS 543260 HAS SOUPS 543260 WITH SCORE 547613.489
AT ITER 4395 NEW BEST:: SOT 9585071 SOS 4353343 HAS SOPS 4353343 HAS SOUS 543199 HAS SOUPS 543199 WITH SCORE 547552.343
AT ITER 4453 NEW BEST:: SOT 9584823 SOS 4352847 HAS SOPS 4352847 HAS SOUS 542455 HAS SOUPS 542455 WITH SCORE 546807.847
AT ITER 4472 NEW BEST:: SOT 9584697 SOS 4352739 HAS SOPS 4352739 HAS SOUS 542347 HAS SOUPS 542347 WITH SCORE 546699.739
AT ITER 4479 NEW BEST:: SOT 9584593 SOS 4352531 HAS SOPS 4352531 HAS SOUS 542139 HAS SOUPS 542139 WITH SCORE 546491.531
AT ITER 4506 NEW BEST:: SOT 9584592 SOS 4352437 HAS SOPS 4352437 HAS SOUS 542137 HAS SOUPS 542137 WITH SCORE 546489.437
AT ITER 4529 NEW BEST:: SOT 9584456 SOS 4352165 HAS SOPS 4352165 HAS SOUS 541865 HAS SOUPS 541865 WITH SCORE 546217.165
AT ITER 4549 NEW BEST:: SOT 9584490 SOS 4352052 HAS SOPS 4352052 HAS SOUS 541752 HAS SOUPS 541752 WITH SCORE 546104.052
AT ITER 4570 NEW BEST:: SOT 9584418 SOS 4351908 HAS SOPS 4351908 HAS SOUS 541427 HAS SOUPS 541427 WITH SCORE 545778.908
AT ITER 4573 NEW BEST:: SOT 9584239 SOS 4351550 HAS SOPS 4351550 HAS SOUS 541257 HAS SOUPS 541257 WITH SCORE 545608.55
AT ITER 4575 NEW BEST:: SOT 9584113 SOS 4351428 HAS SOPS 4351428 HAS SOUS 541131 HAS SOUPS 541131 WITH SCORE 545482.428
AT ITER 4576 NEW BEST:: SOT 9577905 SOS 4345220 HAS SOPS 4345220 HAS SOUS 534815 HAS SOUPS 534815 WITH SCORE 539160.22
AT ITER 4620 NEW BEST:: SOT 9577765 SOS 4344940 HAS SOPS 4344940 HAS SOUS 534535 HAS SOUPS 534535 WITH SCORE 538879.94
AT ITER 4621 NEW BEST:: SOT 9577739 SOS 4344888 HAS SOPS 4344888 HAS SOUS 534483 HAS SOUPS 534483 WITH SCORE 538827.888
AT ITER 4631 NEW BEST:: SOT 9577738 SOS 4344886 HAS SOPS 4344886 HAS SOUS 534481 HAS SOUPS 534481 WITH SCORE 538825.886
AT ITER 4639 NEW BEST:: SOT 9577737 SOS 4344884 HAS SOPS 4344884 HAS SOUS 534479 HAS SOUPS 534479 WITH SCORE 538823.884
AT ITER 4665 NEW BEST:: SOT 9577537 SOS 4344484 HAS SOPS 4344484 HAS SOUS 534279 HAS SOUPS 534279 WITH SCORE 538623.484
AT ITER 4668 NEW BEST:: SOT 9577536 SOS 4344482 HAS SOPS 4344482 HAS SOUS 534277 HAS SOUPS 534277 WITH SCORE 538621.482
AT ITER 4678 NEW BEST:: SOT 9577481 SOS 4344372 HAS SOPS 4344372 HAS SOUS 534205 HAS SOUPS 534205 WITH SCORE 538549.372
AT ITER 4689 NEW BEST:: SOT 9577333 SOS 4343914 HAS SOPS 4343914 HAS SOUS 533909 HAS SOUPS 533909 WITH SCORE 538252.914
AT ITER 4762 NEW BEST:: SOT 9577333 SOS 4343914 HAS SOPS 4343914 HAS SOUS 533899 HAS SOUPS 533899 WITH SCORE 538242.914
AT ITER 4770 NEW BEST:: SOT 9577313 SOS 4343874 HAS SOPS 4343874 HAS SOUS 533859 HAS SOUPS 533859 WITH SCORE 538202.874
AT ITER 4794 NEW BEST:: SOT 9577084 SOS 4343416 HAS SOPS 4343416 HAS SOUS 533721 HAS SOUPS 533721 WITH SCORE 538064.416
AT ITER 4810 NEW BEST:: SOT 9577081 SOS 4343410 HAS SOPS 4343410 HAS SOUS 533715 HAS SOUPS 533715 WITH SCORE 538058.41
AT ITER 4830 NEW BEST:: SOT 9577080 SOS 4343309 HAS SOPS 4343309 HAS SOUS 533713 HAS SOUPS 533713 WITH SCORE 538056.309
AT ITER 4858 NEW BEST:: SOT 9576842 SOS 4339064 HAS SOPS 4339064 HAS SOUS 533331 HAS SOUPS 533331 WITH SCORE 537670.064
AT ITER 4880 NEW BEST:: SOT 9576572 SOS 4338524 HAS SOPS 4338524 HAS SOUS 533061 HAS SOUPS 533061 WITH SCORE 537399.524
AT ITER 4966 NEW BEST:: SOT 9576416 SOS 4338510 HAS SOPS 4338510 HAS SOUS 532905 HAS SOUPS 532905 WITH SCORE 537243.51
AT ITER 5015 NEW BEST:: SOT 9576302 SOS 4338282 HAS SOPS 4338282 HAS SOUS 532677 HAS SOUPS 532677 WITH SCORE 537015.282
AT ITER 5062 NEW BEST:: SOT 9576019 SOS 4337716 HAS SOPS 4337716 HAS SOUS 532394 HAS SOUPS 532394 WITH SCORE 536731.716
AT ITER 5076 NEW BEST:: SOT 9576015 SOS 4337708 HAS SOPS 4337708 HAS SOUS 532198 HAS SOUPS 532198 WITH SCORE 536535.708
AT ITER 5093 NEW BEST:: SOT 9575968 SOS 4337614 HAS SOPS 4337614 HAS SOUS 532104 HAS SOUPS 532104 WITH SCORE 536441.614
AT ITER 5097 NEW BEST:: SOT 9575850 SOS 4337378 HAS SOPS 4337378 HAS SOUS 531868 HAS SOUPS 531868 WITH SCORE 536205.378
AT ITER 5110 NEW BEST:: SOT 9575810 SOS 4337298 HAS SOPS 4337298 HAS SOUS 531867 HAS SOUPS 531867 WITH SCORE 536204.298
AT ITER 5126 NEW BEST:: SOT 9575756 SOS 4337190 HAS SOPS 4337190 HAS SOUS 531759 HAS SOUPS 531759 WITH SCORE 536096.19
AT ITER 5147 NEW BEST:: SOT 9575714 SOS 4337190 HAS SOPS 4337190 HAS SOUS 531731 HAS SOUPS 531731 WITH SCORE 536068.19
AT ITER 5150 NEW BEST:: SOT 9575568 SOS 4336898 HAS SOPS 4336898 HAS SOUS 531439 HAS SOUPS 531439 WITH SCORE 535775.898
AT ITER 5183 NEW BEST:: SOT 9575536 SOS 4336834 HAS SOPS 4336834 HAS SOUS 531375 HAS SOUPS 531375 WITH SCORE 535711.834
AT ITER 5216 NEW BEST:: SOT 9575457 SOS 4336676 HAS SOPS 4336676 HAS SOUS 531217 HAS SOUPS 531217 WITH SCORE 535553.676
AT ITER 5222 NEW BEST:: SOT 9575440 SOS 4336642 HAS SOPS 4336642 HAS SOUS 531200 HAS SOUPS 531200 WITH SCORE 535536.642
AT ITER 5223 NEW BEST:: SOT 9575371 SOS 4336504 HAS SOPS 4336504 HAS SOUS 531131 HAS SOUPS 531131 WITH SCORE 535467.504
AT ITER 5227 NEW BEST:: SOT 9575291 SOS 4336344 HAS SOPS 4336344 HAS SOUS 530971 HAS SOUPS 530971 WITH SCORE 535307.344
AT ITER 5252 NEW BEST:: SOT 9575158 SOS 4336078 HAS SOPS 4336078 HAS SOUS 530705 HAS SOUPS 530705 WITH SCORE 535041.078
AT ITER 5254 NEW BEST:: SOT 9575131 SOS 4336024 HAS SOPS 4336024 HAS SOUS 530651 HAS SOUPS 530651 WITH SCORE 534987.024
AT ITER 5325 NEW BEST:: SOT 9575116 SOS 4335994 HAS SOPS 4335994 HAS SOUS 530621 HAS SOUPS 530621 WITH SCORE 534956.994
AT ITER 5326 NEW BEST:: SOT 9575107 SOS 4335976 HAS SOPS 4335976 HAS SOUS 530603 HAS SOUPS 530603 WITH SCORE 534938.976
AT ITER 5327 NEW BEST:: SOT 9574851 SOS 4335464 HAS SOPS 4335464 HAS SOUS 530091 HAS SOUPS 530091 WITH SCORE 534426.464
AT ITER 5328 NEW BEST:: SOT 9574851 SOS 4335421 HAS SOPS 4335421 HAS SOUS 530091 HAS SOUPS 530091 WITH SCORE 534426.421
AT ITER 5330 NEW BEST:: SOT 9574667 SOS 4335053 HAS SOPS 4335053 HAS SOUS 529965 HAS SOUPS 529965 WITH SCORE 534300.053
AT ITER 5350 NEW BEST:: SOT 9574647 SOS 4335013 HAS SOPS 4335013 HAS SOUS 529925 HAS SOUPS 529925 WITH SCORE 534260.013
AT ITER 5409 NEW BEST:: SOT 9574474 SOS 4334667 HAS SOPS 4334667 HAS SOUS 529579 HAS SOUPS 529579 WITH SCORE 533913.667
AT ITER 5421 NEW BEST:: SOT 9574392 SOS 4334503 HAS SOPS 4334503 HAS SOUS 529415 HAS SOUPS 529415 WITH SCORE 533749.503
AT ITER 5424 NEW BEST:: SOT 9574043 SOS 3699170 HAS SOPS 3699170 HAS SOUS 527036 HAS SOUPS 527036 WITH SCORE 530735.17
AT ITER 5434 NEW BEST:: SOT 9573807 SOS 3699226 HAS SOPS 3699226 HAS SOUS 526884 HAS SOUPS 526884 WITH SCORE 530583.226
AT ITER 5443 NEW BEST:: SOT 9572139 SOS 3697609 HAS SOPS 3697609 HAS SOUS 525561 HAS SOUPS 525561 WITH SCORE 529258.609
AT ITER 5444 NEW BEST:: SOT 9572136 SOS 3697603 HAS SOPS 3697603 HAS SOUS 525555 HAS SOUPS 525555 WITH SCORE 529252.603
AT ITER 5472 NEW BEST:: SOT 9572099 SOS 3697529 HAS SOPS 3697529 HAS SOUS 525481 HAS SOUPS 525481 WITH SCORE 529178.529
AT ITER 5474 NEW BEST:: SOT 9571829 SOS 3696989 HAS SOPS 3696989 HAS SOUS 524941 HAS SOUPS 524941 WITH SCORE 528637.989
AT ITER 5487 NEW BEST:: SOT 9571829 SOS 3693329 HAS SOPS 3693329 HAS SOUS 524087 HAS SOUPS 524087 WITH SCORE 527780.329
AT ITER 5503 NEW BEST:: SOT 9571626 SOS 3692923 HAS SOPS 3692923 HAS SOUS 523681 HAS SOUPS 523681 WITH SCORE 527373.923
AT ITER 5519 NEW BEST:: SOT 9571485 SOS 3692413 HAS SOPS 3692413 HAS SOUS 523399 HAS SOUPS 523399 WITH SCORE 527091.413
AT ITER 5520 NEW BEST:: SOT 9571375 SOS 3692193 HAS SOPS 3692193 HAS SOUS 523179 HAS SOUPS 523179 WITH SCORE 526871.193
AT ITER 5540 NEW BEST:: SOT 9571360 SOS 3692163 HAS SOPS 3692163 HAS SOUS 522914 HAS SOUPS 522914 WITH SCORE 526606.163
AT ITER 5543 NEW BEST:: SOT 9571359 SOS 3692161 HAS SOPS 3692161 HAS SOUS 522912 HAS SOUPS 522912 WITH SCORE 526604.161
AT ITER 5571 NEW BEST:: SOT 9571082 SOS 3691607 HAS SOPS 3691607 HAS SOUS 522703 HAS SOUPS 522703 WITH SCORE 526394.607
AT ITER 5588 NEW BEST:: SOT 9571008 SOS 3691459 HAS SOPS 3691459 HAS SOUS 522555 HAS SOUPS 522555 WITH SCORE 526246.459
AT ITER 5593 NEW BEST:: SOT 9570620 SOS 3675355 HAS SOPS 3675355 HAS SOUS 512279 HAS SOUPS 512279 WITH SCORE 515954.355
AT ITER 5634 NEW BEST:: SOT 9570620 SOS 3675154 HAS SOPS 3675154 HAS SOUS 512279 HAS SOUPS 512279 WITH SCORE 515954.154
AT ITER 5643 NEW BEST:: SOT 9570619 SOS 3675152 HAS SOPS 3675152 HAS SOUS 512277 HAS SOUPS 512277 WITH SCORE 515952.152
AT ITER 5644 NEW BEST:: SOT 9570309 SOS 3674532 HAS SOPS 3674532 HAS SOUS 511950 HAS SOUPS 511950 WITH SCORE 515624.532
AT ITER 5674 NEW BEST:: SOT 9570183 SOS 3674406 HAS SOPS 3674406 HAS SOUS 511824 HAS SOUPS 511824 WITH SCORE 515498.406
AT ITER 5692 NEW BEST:: SOT 9569887 SOS 3673814 HAS SOPS 3673814 HAS SOUS 511528 HAS SOUPS 511528 WITH SCORE 515201.814
AT ITER 5722 NEW BEST:: SOT 9569817 SOS 3674160 HAS SOPS 3674160 HAS SOUS 511458 HAS SOUPS 511458 WITH SCORE 515132.16
AT ITER 5762 NEW BEST:: SOT 9569741 SOS 3674008 HAS SOPS 3674008 HAS SOUS 511306 HAS SOUPS 511306 WITH SCORE 514980.008
AT ITER 5764 NEW BEST:: SOT 9569729 SOS 3673984 HAS SOPS 3673984 HAS SOUS 511294 HAS SOUPS 511294 WITH SCORE 514967.984
AT ITER 5776 NEW BEST:: SOT 9569599 SOS 3673724 HAS SOPS 3673724 HAS SOUS 510892 HAS SOUPS 510892 WITH SCORE 514565.724
AT ITER 5799 NEW BEST:: SOT 9569567 SOS 3673660 HAS SOPS 3673660 HAS SOUS 510828 HAS SOUPS 510828 WITH SCORE 514501.66
AT ITER 5821 NEW BEST:: SOT 9569465 SOS 3673456 HAS SOPS 3673456 HAS SOUS 510497 HAS SOUPS 510497 WITH SCORE 514170.456
AT ITER 5845 NEW BEST:: SOT 9569479 SOS 3673484 HAS SOPS 3673484 HAS SOUS 510490 HAS SOUPS 510490 WITH SCORE 514163.484
AT ITER 5853 NEW BEST:: SOT 9569342 SOS 3673210 HAS SOPS 3673210 HAS SOUS 510216 HAS SOUPS 510216 WITH SCORE 513889.21
AT ITER 5899 NEW BEST:: SOT 9569134 SOS 3533312 HAS SOPS 3533312 HAS SOUS 509338 HAS SOUPS 509338 WITH SCORE 512871.312
AT ITER 5910 NEW BEST:: SOT 9569133 SOS 3533311 HAS SOPS 3533311 HAS SOUS 509336 HAS SOUPS 509336 WITH SCORE 512869.311
AT ITER 5915 NEW BEST:: SOT 9569053 SOS 3533243 HAS SOPS 3533243 HAS SOUS 509268 HAS SOUPS 509268 WITH SCORE 512801.243
AT ITER 5923 NEW BEST:: SOT 9568777 SOS 3532691 HAS SOPS 3532691 HAS SOUS 508992 HAS SOUPS 508992 WITH SCORE 512524.691
AT ITER 5938 NEW BEST:: SOT 9568740 SOS 3532617 HAS SOPS 3532617 HAS SOUS 508918 HAS SOUPS 508918 WITH SCORE 512450.617
AT ITER 5966 NEW BEST:: SOT 9568705 SOS 3532547 HAS SOPS 3532547 HAS SOUS 508883 HAS SOUPS 508883 WITH SCORE 512415.547
AT ITER 5974 NEW BEST:: SOT 9568595 SOS 3532327 HAS SOPS 3532327 HAS SOUS 508663 HAS SOUPS 508663 WITH SCORE 512195.327
AT ITER 6024 NEW BEST:: SOT 9568494 SOS 3531953 HAS SOPS 3531953 HAS SOUS 508289 HAS SOUPS 508289 WITH SCORE 511820.953
AT ITER 6049 NEW BEST:: SOT 9568186 SOS 3531337 HAS SOPS 3531337 HAS SOUS 507673 HAS SOUPS 507673 WITH SCORE 511204.337
AT ITER 6069 NEW BEST:: SOT 9568113 SOS 3531191 HAS SOPS 3531191 HAS SOUS 507527 HAS SOUPS 507527 WITH SCORE 511058.191
AT ITER 6093 NEW BEST:: SOT 9568113 SOS 3531096 HAS SOPS 3531096 HAS SOUS 507527 HAS SOUPS 507527 WITH SCORE 511058.096
AT ITER 6099 NEW BEST:: SOT 9567976 SOS 3530822 HAS SOPS 3530822 HAS SOUS 507402 HAS SOUPS 507402 WITH SCORE 510932.822
AT ITER 6114 NEW BEST:: SOT 9567880 SOS 3495686 HAS SOPS 3495686 HAS SOUS 507258 HAS SOUPS 507258 WITH SCORE 510753.686
AT ITER 6127 NEW BEST:: SOT 9567864 SOS 3495654 HAS SOPS 3495654 HAS SOUS 507234 HAS SOUPS 507234 WITH SCORE 510729.654
AT ITER 6135 NEW BEST:: SOT 9567543 SOS 3407190 HAS SOPS 3407190 HAS SOUS 503992 HAS SOUPS 503992 WITH SCORE 507399.19
AT ITER 6201 NEW BEST:: SOT 9567477 SOS 3407058 HAS SOPS 3407058 HAS SOUS 503926 HAS SOUPS 503926 WITH SCORE 507333.058
AT ITER 6219 NEW BEST:: SOT 9567311 SOS 3406560 HAS SOPS 3406560 HAS SOUS 503594 HAS SOUPS 503594 WITH SCORE 507000.56
AT ITER 6251 NEW BEST:: SOT 9567310 SOS 3406558 HAS SOPS 3406558 HAS SOUS 503592 HAS SOUPS 503592 WITH SCORE 506998.558
AT ITER 6253 NEW BEST:: SOT 9567062 SOS 3406566 HAS SOPS 3406566 HAS SOUS 503290 HAS SOUPS 503290 WITH SCORE 506696.566
AT ITER 6316 NEW BEST:: SOT 9567056 SOS 3406554 HAS SOPS 3406554 HAS SOUS 503278 HAS SOUPS 503278 WITH SCORE 506684.554
AT ITER 6321 NEW BEST:: SOT 9566716 SOS 3405874 HAS SOPS 3405874 HAS SOUS 502960 HAS SOUPS 502960 WITH SCORE 506365.874
AT ITER 6335 NEW BEST:: SOT 9566459 SOS 3405360 HAS SOPS 3405360 HAS SOUS 502446 HAS SOUPS 502446 WITH SCORE 505851.36
AT ITER 6339 NEW BEST:: SOT 9566404 SOS 3405250 HAS SOPS 3405250 HAS SOUS 502336 HAS SOUPS 502336 WITH SCORE 505741.25
AT ITER 6341 NEW BEST:: SOT 9566106 SOS 3404654 HAS SOPS 3404654 HAS SOUS 502038 HAS SOUPS 502038 WITH SCORE 505442.654
AT ITER 6352 NEW BEST:: SOT 9565863 SOS 3146939 HAS SOPS 3146939 HAS SOUS 500153 HAS SOUPS 500153 WITH SCORE 503299.939
AT ITER 6353 NEW BEST:: SOT 9565406 SOS 3146025 HAS SOPS 3146025 HAS SOUS 499404 HAS SOUPS 499404 WITH SCORE 502550.025
AT ITER 6360 NEW BEST:: SOT 9565236 SOS 3145685 HAS SOPS 3145685 HAS SOUS 499064 HAS SOUPS 499064 WITH SCORE 502209.685
AT ITER 6394 NEW BEST:: SOT 9564776 SOS 3144765 HAS SOPS 3144765 HAS SOUS 498144 HAS SOUPS 498144 WITH SCORE 501288.765
AT ITER 6398 NEW BEST:: SOT 9564748 SOS 3144709 HAS SOPS 3144709 HAS SOUS 498088 HAS SOUPS 498088 WITH SCORE 501232.709
AT ITER 6400 NEW BEST:: SOT 9564747 SOS 3144708 HAS SOPS 3144708 HAS SOUS 498086 HAS SOUPS 498086 WITH SCORE 501230.708
AT ITER 6407 NEW BEST:: SOT 9564735 SOS 3144684 HAS SOPS 3144684 HAS SOUS 498074 HAS SOUPS 498074 WITH SCORE 501218.684
AT ITER 6431 NEW BEST:: SOT 9564824 SOS 3144701 HAS SOPS 3144701 HAS SOUS 497979 HAS SOUPS 497979 WITH SCORE 501123.701
AT ITER 6475 NEW BEST:: SOT 9564751 SOS 3144628 HAS SOPS 3144628 HAS SOUS 497906 HAS SOUPS 497906 WITH SCORE 501050.628
AT ITER 6478 NEW BEST:: SOT 9564876 SOS 3141914 HAS SOPS 3141914 HAS SOUS 497719 HAS SOUPS 497719 WITH SCORE 500860.914
AT ITER 6487 NEW BEST:: SOT 9564826 SOS 3141814 HAS SOPS 3141814 HAS SOUS 497619 HAS SOUPS 497619 WITH SCORE 500760.814
AT ITER 6512 NEW BEST:: SOT 9564815 SOS 3141792 HAS SOPS 3141792 HAS SOUS 497597 HAS SOUPS 497597 WITH SCORE 500738.792
AT ITER 6518 NEW BEST:: SOT 9564815 SOS 3141709 HAS SOPS 3141709 HAS SOUS 497597 HAS SOUPS 497597 WITH SCORE 500738.709
AT ITER 6523 NEW BEST:: SOT 9564781 SOS 3141641 HAS SOPS 3141641 HAS SOUS 497529 HAS SOUPS 497529 WITH SCORE 500670.641
AT ITER 6568 NEW BEST:: SOT 9564558 SOS 3141195 HAS SOPS 3141195 HAS SOUS 497446 HAS SOUPS 497446 WITH SCORE 500587.195
AT ITER 6569 NEW BEST:: SOT 9564402 SOS 3141255 HAS SOPS 3141255 HAS SOUS 497352 HAS SOUPS 497352 WITH SCORE 500493.255
AT ITER 6573 NEW BEST:: SOT 9564190 SOS 3141097 HAS SOPS 3141097 HAS SOUS 496968 HAS SOUPS 496968 WITH SCORE 500109.097
AT ITER 6594 NEW BEST:: SOT 9563916 SOS 3140549 HAS SOPS 3140549 HAS SOUS 496738 HAS SOUPS 496738 WITH SCORE 499878.549
AT ITER 6628 NEW BEST:: SOT 9563915 SOS 3140547 HAS SOPS 3140547 HAS SOUS 496736 HAS SOUPS 496736 WITH SCORE 499876.547
AT ITER 6671 NEW BEST:: SOT 9563679 SOS 3140075 HAS SOPS 3140075 HAS SOUS 496264 HAS SOUPS 496264 WITH SCORE 499404.075
AT ITER 6684 NEW BEST:: SOT 9563544 SOS 3139805 HAS SOPS 3139805 HAS SOUS 496129 HAS SOUPS 496129 WITH SCORE 499268.805
AT ITER 6691 NEW BEST:: SOT 9563413 SOS 3139674 HAS SOPS 3139674 HAS SOUS 496070 HAS SOUPS 496070 WITH SCORE 499209.674
AT ITER 6712 NEW BEST:: SOT 9563228 SOS 3139304 HAS SOPS 3139304 HAS SOUS 495817 HAS SOUPS 495817 WITH SCORE 498956.304
AT ITER 6730 NEW BEST:: SOT 9563228 SOS 3139300 HAS SOPS 3139300 HAS SOUS 495817 HAS SOUPS 495817 WITH SCORE 498956.3
AT ITER 6737 NEW BEST:: SOT 9563208 SOS 3139260 HAS SOPS 3139260 HAS SOUS 495572 HAS SOUPS 495572 WITH SCORE 498711.26
AT ITER 6774 NEW BEST:: SOT 9563149 SOS 3139142 HAS SOPS 3139142 HAS SOUS 495454 HAS SOUPS 495454 WITH SCORE 498593.142
AT ITER 6784 NEW BEST:: SOT 9563149 SOS 3139052 HAS SOPS 3139052 HAS SOUS 495454 HAS SOUPS 495454 WITH SCORE 498593.052
AT ITER 6793 NEW BEST:: SOT 9562846 SOS 3010936 HAS SOPS 3010936 HAS SOUS 491914 HAS SOUPS 491914 WITH SCORE 494924.936
AT ITER 6794 NEW BEST:: SOT 9562846 SOS 3010936 HAS SOPS 3010936 HAS SOUS 491801 HAS SOUPS 491801 WITH SCORE 494811.936
AT ITER 6845 NEW BEST:: SOT 9562842 SOS 3010626 HAS SOPS 3010626 HAS SOUS 491793 HAS SOUPS 491793 WITH SCORE 494803.626
AT ITER 6847 NEW BEST:: SOT 9562825 SOS 3010458 HAS SOPS 3010458 HAS SOUS 491759 HAS SOUPS 491759 WITH SCORE 494769.458
AT ITER 6872 NEW BEST:: SOT 9562825 SOS 3010458 HAS SOPS 3010458 HAS SOUS 491702 HAS SOUPS 491702 WITH SCORE 494712.458
AT ITER 6889 NEW BEST:: SOT 9562824 SOS 3010288 HAS SOPS 3010288 HAS SOUS 491700 HAS SOUPS 491700 WITH SCORE 494710.288
AT ITER 6893 NEW BEST:: SOT 9562753 SOS 3010146 HAS SOPS 3010146 HAS SOUS 491558 HAS SOUPS 491558 WITH SCORE 494568.146
AT ITER 6913 NEW BEST:: SOT 9562752 SOS 3010108 HAS SOPS 3010108 HAS SOUS 491556 HAS SOUPS 491556 WITH SCORE 494566.108
AT ITER 6936 NEW BEST:: SOT 9562650 SOS 3009904 HAS SOPS 3009904 HAS SOUS 491352 HAS SOUPS 491352 WITH SCORE 494361.904
AT ITER 6962 NEW BEST:: SOT 9562622 SOS 3009848 HAS SOPS 3009848 HAS SOUS 491296 HAS SOUPS 491296 WITH SCORE 494305.848
AT ITER 6973 NEW BEST:: SOT 9562540 SOS 3009684 HAS SOPS 3009684 HAS SOUS 491132 HAS SOUPS 491132 WITH SCORE 494141.684
AT ITER 6999 NEW BEST:: SOT 9563009 SOS 3009254 HAS SOPS 3009254 HAS SOUS 490482 HAS SOUPS 490482 WITH SCORE 493491.254
AT ITER 7058 NEW BEST:: SOT 9563008 SOS 3009252 HAS SOPS 3009252 HAS SOUS 490480 HAS SOUPS 490480 WITH SCORE 493489.252
AT ITER 7075 NEW BEST:: SOT 9562890 SOS 3009016 HAS SOPS 3009016 HAS SOUS 490478 HAS SOUPS 490478 WITH SCORE 493487.016
AT ITER 7129 NEW BEST:: SOT 9562669 SOS 3008574 HAS SOPS 3008574 HAS SOUS 490036 HAS SOUPS 490036 WITH SCORE 493044.574
AT ITER 7139 NEW BEST:: SOT 9562492 SOS 3008220 HAS SOPS 3008220 HAS SOUS 489954 HAS SOUPS 489954 WITH SCORE 492962.22
AT ITER 7192 NEW BEST:: SOT 9562456 SOS 3008148 HAS SOPS 3008148 HAS SOUS 489882 HAS SOUPS 489882 WITH SCORE 492890.148
AT ITER 7206 NEW BEST:: SOT 9562403 SOS 3008042 HAS SOPS 3008042 HAS SOUS 489776 HAS SOUPS 489776 WITH SCORE 492784.042
AT ITER 7208 NEW BEST:: SOT 9562402 SOS 3008041 HAS SOPS 3008041 HAS SOUS 489774 HAS SOUPS 489774 WITH SCORE 492782.041
AT ITER 7281 NEW BEST:: SOT 9562350 SOS 3007937 HAS SOPS 3007937 HAS SOUS 489721 HAS SOUPS 489721 WITH SCORE 492728.937
AT ITER 7306 NEW BEST:: SOT 9562333 SOS 3007903 HAS SOPS 3007903 HAS SOUS 489704 HAS SOUPS 489704 WITH SCORE 492711.903
AT ITER 7332 NEW BEST:: SOT 9562240 SOS 3007717 HAS SOPS 3007717 HAS SOUS 489518 HAS SOUPS 489518 WITH SCORE 492525.717
AT ITER 7345 NEW BEST:: SOT 9562214 SOS 3007665 HAS SOPS 3007665 HAS SOUS 489466 HAS SOUPS 489466 WITH SCORE 492473.665
AT ITER 7350 NEW BEST:: SOT 9561929 SOS 3007095 HAS SOPS 3007095 HAS SOUS 488896 HAS SOUPS 488896 WITH SCORE 491903.095
AT ITER 7388 NEW BEST:: SOT 9561928 SOS 3006941 HAS SOPS 3006941 HAS SOUS 488894 HAS SOUPS 488894 WITH SCORE 491900.941
AT ITER 7394 NEW BEST:: SOT 9561928 SOS 3006859 HAS SOPS 3006859 HAS SOUS 488894 HAS SOUPS 488894 WITH SCORE 491900.859
AT ITER 7396 NEW BEST:: SOT 9561819 SOS 3006661 HAS SOPS 3006661 HAS SOUS 488696 HAS SOUPS 488696 WITH SCORE 491702.661
AT ITER 7401 NEW BEST:: SOT 9558749 SOS 3003646 HAS SOPS 3003646 HAS SOUS 486528 HAS SOUPS 486528 WITH SCORE 489531.646
AT ITER 7428 NEW BEST:: SOT 9558640 SOS 3003428 HAS SOPS 3003428 HAS SOUS 486310 HAS SOUPS 486310 WITH SCORE 489313.428
AT ITER 7450 NEW BEST:: SOT 9558440 SOS 3003028 HAS SOPS 3003028 HAS SOUS 486131 HAS SOUPS 486131 WITH SCORE 489134.028
AT ITER 7478 NEW BEST:: SOT 9558390 SOS 3002928 HAS SOPS 3002928 HAS SOUS 486031 HAS SOUPS 486031 WITH SCORE 489033.928
AT ITER 7493 NEW BEST:: SOT 9558389 SOS 3002926 HAS SOPS 3002926 HAS SOUS 486029 HAS SOUPS 486029 WITH SCORE 489031.926
AT ITER 7521 NEW BEST:: SOT 9558374 SOS 3002896 HAS SOPS 3002896 HAS SOUS 485999 HAS SOUPS 485999 WITH SCORE 489001.896
AT ITER 7533 NEW BEST:: SOT 9558105 SOS 3002974 HAS SOPS 3002974 HAS SOUS 485730 HAS SOUPS 485730 WITH SCORE 488732.974
AT ITER 7560 NEW BEST:: SOT 9558084 SOS 3002932 HAS SOPS 3002932 HAS SOUS 485688 HAS SOUPS 485688 WITH SCORE 488690.932
AT ITER 7574 NEW BEST:: SOT 9558101 SOS 3002966 HAS SOPS 3002966 HAS SOUS 485536 HAS SOUPS 485536 WITH SCORE 488538.966
AT ITER 7599 NEW BEST:: SOT 9558100 SOS 3002964 HAS SOPS 3002964 HAS SOUS 485534 HAS SOUPS 485534 WITH SCORE 488536.964
AT ITER 7604 NEW BEST:: SOT 9557858 SOS 3002480 HAS SOPS 3002480 HAS SOUS 485513 HAS SOUPS 485513 WITH SCORE 488515.48
AT ITER 7611 NEW BEST:: SOT 9557792 SOS 3002432 HAS SOPS 3002432 HAS SOUS 485441 HAS SOUPS 485441 WITH SCORE 488443.432
AT ITER 7614 NEW BEST:: SOT 9557747 SOS 3002342 HAS SOPS 3002342 HAS SOUS 485351 HAS SOUPS 485351 WITH SCORE 488353.342
AT ITER 7618 NEW BEST:: SOT 9557601 SOS 3002050 HAS SOPS 3002050 HAS SOUS 485059 HAS SOUPS 485059 WITH SCORE 488061.05
AT ITER 7631 NEW BEST:: SOT 9557601 SOS 3002017 HAS SOPS 3002017 HAS SOUS 485059 HAS SOUPS 485059 WITH SCORE 488061.017
AT ITER 7640 NEW BEST:: SOT 9557600 SOS 3002015 HAS SOPS 3002015 HAS SOUS 485057 HAS SOUPS 485057 WITH SCORE 488059.015
AT ITER 7655 NEW BEST:: SOT 9557600 SOS 3002303 HAS SOPS 3002303 HAS SOUS 484801 HAS SOUPS 484801 WITH SCORE 487803.303
AT ITER 7663 NEW BEST:: SOT 9557552 SOS 3002207 HAS SOPS 3002207 HAS SOUS 484705 HAS SOUPS 484705 WITH SCORE 487707.207
AT ITER 7692 NEW BEST:: SOT 9557383 SOS 3001869 HAS SOPS 3001869 HAS SOUS 484381 HAS SOUPS 484381 WITH SCORE 487382.869
AT ITER 7714 NEW BEST:: SOT 9557396 SOS 3001796 HAS SOPS 3001796 HAS SOUS 484379 HAS SOUPS 484379 WITH SCORE 487380.796
AT ITER 7727 NEW BEST:: SOT 9557352 SOS 3001708 HAS SOPS 3001708 HAS SOUS 484291 HAS SOUPS 484291 WITH SCORE 487292.708
AT ITER 7754 NEW BEST:: SOT 9557301 SOS 3001606 HAS SOPS 3001606 HAS SOUS 484189 HAS SOUPS 484189 WITH SCORE 487190.606
AT ITER 7758 NEW BEST:: SOT 9557284 SOS 3001572 HAS SOPS 3001572 HAS SOUS 484155 HAS SOUPS 484155 WITH SCORE 487156.572
AT ITER 7807 NEW BEST:: SOT 9557102 SOS 2857676 HAS SOPS 2857676 HAS SOUS 483275 HAS SOUPS 483275 WITH SCORE 486132.676
AT ITER 7819 NEW BEST:: SOT 9557062 SOS 2857596 HAS SOPS 2857596 HAS SOUS 483193 HAS SOUPS 483193 WITH SCORE 486050.596
AT ITER 7846 NEW BEST:: SOT 9556987 SOS 2853396 HAS SOPS 2853396 HAS SOUS 482968 HAS SOUPS 482968 WITH SCORE 485821.396
AT ITER 7875 NEW BEST:: SOT 9556861 SOS 2853144 HAS SOPS 2853144 HAS SOUS 482716 HAS SOUPS 482716 WITH SCORE 485569.144
AT ITER 7879 NEW BEST:: SOT 9556859 SOS 2853140 HAS SOPS 2853140 HAS SOUS 482712 HAS SOUPS 482712 WITH SCORE 485565.14
AT ITER 7918 NEW BEST:: SOT 9556817 SOS 2853056 HAS SOPS 2853056 HAS SOUS 482628 HAS SOUPS 482628 WITH SCORE 485481.056
AT ITER 7925 NEW BEST:: SOT 9556881 SOS 2852874 HAS SOPS 2852874 HAS SOUS 482446 HAS SOUPS 482446 WITH SCORE 485298.874
AT ITER 7928 NEW BEST:: SOT 9556872 SOS 2852856 HAS SOPS 2852856 HAS SOUS 482428 HAS SOUPS 482428 WITH SCORE 485280.856
AT ITER 7932 NEW BEST:: SOT 9556716 SOS 2852544 HAS SOPS 2852544 HAS SOUS 482116 HAS SOUPS 482116 WITH SCORE 484968.544
AT ITER 7946 NEW BEST:: SOT 9556716 SOS 2852522 HAS SOPS 2852522 HAS SOUS 482116 HAS SOUPS 482116 WITH SCORE 484968.522
AT ITER 7970 NEW BEST:: SOT 9556629 SOS 2852348 HAS SOPS 2852348 HAS SOUS 481942 HAS SOUPS 481942 WITH SCORE 484794.348
AT ITER 7982 NEW BEST:: SOT 9551709 SOS 2847468 HAS SOPS 2847468 HAS SOUS 481830 HAS SOUPS 481830 WITH SCORE 484677.468
AT ITER 7985 NEW BEST:: SOT 9551610 SOS 2847270 HAS SOPS 2847270 HAS SOUS 481632 HAS SOUPS 481632 WITH SCORE 484479.27
AT ITER 8067 NEW BEST:: SOT 9551556 SOS 2847162 HAS SOPS 2847162 HAS SOUS 481524 HAS SOUPS 481524 WITH SCORE 484371.162
AT ITER 8123 NEW BEST:: SOT 9551450 SOS 2846950 HAS SOPS 2846950 HAS SOUS 481312 HAS SOUPS 481312 WITH SCORE 484158.95
AT ITER 8134 NEW BEST:: SOT 9551187 SOS 2846424 HAS SOPS 2846424 HAS SOUS 481071 HAS SOUPS 481071 WITH SCORE 483917.424
AT ITER 8138 NEW BEST:: SOT 9551005 SOS 2846060 HAS SOPS 2846060 HAS SOUS 480707 HAS SOUPS 480707 WITH SCORE 483553.06
AT ITER 8172 NEW BEST:: SOT 9550860 SOS 2845770 HAS SOPS 2845770 HAS SOUS 480423 HAS SOUPS 480423 WITH SCORE 483268.77
AT ITER 8185 NEW BEST:: SOT 9550538 SOS 2845610 HAS SOPS 2845610 HAS SOUS 480251 HAS SOUPS 480251 WITH SCORE 483096.61
AT ITER 8188 NEW BEST:: SOT 9550443 SOS 2845180 HAS SOPS 2845180 HAS SOUS 479821 HAS SOUPS 479821 WITH SCORE 482666.18
AT ITER 8232 NEW BEST:: SOT 9550426 SOS 2845146 HAS SOPS 2845146 HAS SOUS 479787 HAS SOUPS 479787 WITH SCORE 482632.146
AT ITER 8270 NEW BEST:: SOT 9550420 SOS 2845134 HAS SOPS 2845134 HAS SOUS 479775 HAS SOUPS 479775 WITH SCORE 482620.134
AT ITER 8282 NEW BEST:: SOT 9550128 SOS 2844550 HAS SOPS 2844550 HAS SOUS 479376 HAS SOUPS 479376 WITH SCORE 482220.55
AT ITER 8309 NEW BEST:: SOT 9550110 SOS 2844514 HAS SOPS 2844514 HAS SOUS 479340 HAS SOUPS 479340 WITH SCORE 482184.514
AT ITER 8366 NEW BEST:: SOT 9549980 SOS 2844254 HAS SOPS 2844254 HAS SOUS 479080 HAS SOUPS 479080 WITH SCORE 481924.254
AT ITER 8375 NEW BEST:: SOT 9549979 SOS 2844252 HAS SOPS 2844252 HAS SOUS 479078 HAS SOUPS 479078 WITH SCORE 481922.252
AT ITER 8400 NEW BEST:: SOT 9549970 SOS 2844234 HAS SOPS 2844234 HAS SOUS 479060 HAS SOUPS 479060 WITH SCORE 481904.234
AT ITER 8409 NEW BEST:: SOT 9549919 SOS 2844191 HAS SOPS 2844191 HAS SOUS 479017 HAS SOUPS 479017 WITH SCORE 481861.191
AT ITER 8508 NEW BEST:: SOT 9549825 SOS 2844003 HAS SOPS 2844003 HAS SOUS 478829 HAS SOUPS 478829 WITH SCORE 481673.003
AT ITER 8509 NEW BEST:: SOT 9549707 SOS 2843767 HAS SOPS 2843767 HAS SOUS 478593 HAS SOUPS 478593 WITH SCORE 481436.767
AT ITER 8522 NEW BEST:: SOT 9549442 SOS 2843237 HAS SOPS 2843237 HAS SOUS 478063 HAS SOUPS 478063 WITH SCORE 480906.237
AT ITER 8574 NEW BEST:: SOT 9549442 SOS 2843237 HAS SOPS 2843237 HAS SOUS 478057 HAS SOUPS 478057 WITH SCORE 480900.237
AT ITER 8592 NEW BEST:: SOT 9549258 SOS 2851533 HAS SOPS 2851533 HAS SOUS 475119 HAS SOUPS 475119 WITH SCORE 477970.533
AT ITER 8594 NEW BEST:: SOT 9549094 SOS 2851205 HAS SOPS 2851205 HAS SOUS 474791 HAS SOUPS 474791 WITH SCORE 477642.205
AT ITER 8600 NEW BEST:: SOT 9548955 SOS 2831055 HAS SOPS 2831055 HAS SOUS 472934 HAS SOUPS 472934 WITH SCORE 475765.055
AT ITER 8607 NEW BEST:: SOT 9548944 SOS 2831033 HAS SOPS 2831033 HAS SOUS 472739 HAS SOUPS 472739 WITH SCORE 475570.033
AT ITER 8620 NEW BEST:: SOT 9548849 SOS 2830748 HAS SOPS 2830748 HAS SOUS 472549 HAS SOUPS 472549 WITH SCORE 475379.748
AT ITER 8649 NEW BEST:: SOT 9548798 SOS 2830646 HAS SOPS 2830646 HAS SOUS 472447 HAS SOUPS 472447 WITH SCORE 475277.646
AT ITER 8743 NEW BEST:: SOT 9548795 SOS 2830540 HAS SOPS 2830540 HAS SOUS 472441 HAS SOUPS 472441 WITH SCORE 475271.54
AT ITER 8744 NEW BEST:: SOT 9548795 SOS 2830351 HAS SOPS 2830351 HAS SOUS 472315 HAS SOUPS 472315 WITH SCORE 475145.351
AT ITER 8748 NEW BEST:: SOT 9548644 SOS 2830049 HAS SOPS 2830049 HAS SOUS 472013 HAS SOUPS 472013 WITH SCORE 474843.049
AT ITER 8751 NEW BEST:: SOT 9548620 SOS 2830001 HAS SOPS 2830001 HAS SOUS 471877 HAS SOUPS 471877 WITH SCORE 474707.001
AT ITER 8755 NEW BEST:: SOT 9548570 SOS 2829667 HAS SOPS 2829667 HAS SOUS 471777 HAS SOUPS 471777 WITH SCORE 474606.667
AT ITER 8757 NEW BEST:: SOT 9548569 SOS 2829393 HAS SOPS 2829393 HAS SOUS 471775 HAS SOUPS 471775 WITH SCORE 474604.393
AT ITER 8826 NEW BEST:: SOT 9548538 SOS 2829331 HAS SOPS 2829331 HAS SOUS 471713 HAS SOUPS 471713 WITH SCORE 474542.331
AT ITER 8850 NEW BEST:: SOT 9548526 SOS 2829307 HAS SOPS 2829307 HAS SOUS 471701 HAS SOUPS 471701 WITH SCORE 474530.307
AT ITER 8854 NEW BEST:: SOT 9548563 SOS 2829381 HAS SOPS 2829381 HAS SOUS 471699 HAS SOUPS 471699 WITH SCORE 474528.381
AT ITER 8856 NEW BEST:: SOT 9548496 SOS 2829247 HAS SOPS 2829247 HAS SOUS 471629 HAS SOUPS 471629 WITH SCORE 474458.247
AT ITER 8883 NEW BEST:: SOT 9548479 SOS 2829213 HAS SOPS 2829213 HAS SOUS 471595 HAS SOUPS 471595 WITH SCORE 474424.213
AT ITER 8917 NEW BEST:: SOT 9548327 SOS 2828909 HAS SOPS 2828909 HAS SOUS 471487 HAS SOUPS 471487 WITH SCORE 474315.909
AT ITER 8942 NEW BEST:: SOT 9548076 SOS 2828591 HAS SOPS 2828591 HAS SOUS 471111 HAS SOUPS 471111 WITH SCORE 473939.591
AT ITER 8959 NEW BEST:: SOT 9548076 SOS 2828573 HAS SOPS 2828573 HAS SOUS 471075 HAS SOUPS 471075 WITH SCORE 473903.573
AT ITER 8976 NEW BEST:: SOT 9548058 SOS 2828537 HAS SOPS 2828537 HAS SOUS 471057 HAS SOUPS 471057 WITH SCORE 473885.537
AT ITER 9007 NEW BEST:: SOT 9548018 SOS 2828457 HAS SOPS 2828457 HAS SOUS 470977 HAS SOUPS 470977 WITH SCORE 473805.457
AT ITER 9012 NEW BEST:: SOT 9547962 SOS 2828345 HAS SOPS 2828345 HAS SOUS 470865 HAS SOUPS 470865 WITH SCORE 473693.345
AT ITER 9066 NEW BEST:: SOT 9547896 SOS 2828213 HAS SOPS 2828213 HAS SOUS 470733 HAS SOUPS 470733 WITH SCORE 473561.213
AT ITER 9068 NEW BEST:: SOT 9547852 SOS 2823877 HAS SOPS 2823877 HAS SOUS 469993 HAS SOUPS 469993 WITH SCORE 472816.877
AT ITER 9105 NEW BEST:: SOT 9547851 SOS 2823875 HAS SOPS 2823875 HAS SOUS 469991 HAS SOUPS 469991 WITH SCORE 472814.875
AT ITER 9118 NEW BEST:: SOT 9547779 SOS 2823731 HAS SOPS 2823731 HAS SOUS 469847 HAS SOUPS 469847 WITH SCORE 472670.731
AT ITER 9163 NEW BEST:: SOT 9547711 SOS 2823595 HAS SOPS 2823595 HAS SOUS 469711 HAS SOUPS 469711 WITH SCORE 472534.595
AT ITER 9171 NEW BEST:: SOT 9547699 SOS 2823571 HAS SOPS 2823571 HAS SOUS 469687 HAS SOUPS 469687 WITH SCORE 472510.571
AT ITER 9174 NEW BEST:: SOT 9547662 SOS 2823497 HAS SOPS 2823497 HAS SOUS 469613 HAS SOUPS 469613 WITH SCORE 472436.497
AT ITER 9177 NEW BEST:: SOT 9547670 SOS 2823513 HAS SOPS 2823513 HAS SOUS 469594 HAS SOUPS 469594 WITH SCORE 472417.513
AT ITER 9202 NEW BEST:: SOT 9547589 SOS 2823195 HAS SOPS 2823195 HAS SOUS 469432 HAS SOUPS 469432 WITH SCORE 472255.195
AT ITER 9249 NEW BEST:: SOT 9547521 SOS 2823059 HAS SOPS 2823059 HAS SOUS 469296 HAS SOUPS 469296 WITH SCORE 472119.059
AT ITER 9267 NEW BEST:: SOT 9547473 SOS 2822963 HAS SOPS 2822963 HAS SOUS 469200 HAS SOUPS 469200 WITH SCORE 472022.963
AT ITER 9268 NEW BEST:: SOT 9547472 SOS 2822898 HAS SOPS 2822898 HAS SOUS 469135 HAS SOUPS 469135 WITH SCORE 471957.898
AT ITER 9281 NEW BEST:: SOT 9547419 SOS 2822792 HAS SOPS 2822792 HAS SOUS 469029 HAS SOUPS 469029 WITH SCORE 471851.792
AT ITER 9283 NEW BEST:: SOT 9547212 SOS 2822501 HAS SOPS 2822501 HAS SOUS 468822 HAS SOUPS 468822 WITH SCORE 471644.501
AT ITER 9307 NEW BEST:: SOT 9547211 SOS 2822336 HAS SOPS 2822336 HAS SOUS 468820 HAS SOUPS 468820 WITH SCORE 471642.336
AT ITER 9324 NEW BEST:: SOT 9547226 SOS 2822366 HAS SOPS 2822366 HAS SOUS 468815 HAS SOUPS 468815 WITH SCORE 471637.366
AT ITER 9328 NEW BEST:: SOT 9547136 SOS 2822186 HAS SOPS 2822186 HAS SOUS 468721 HAS SOUPS 468721 WITH SCORE 471543.186
AT ITER 9359 NEW BEST:: SOT 9547131 SOS 2822176 HAS SOPS 2822176 HAS SOUS 468711 HAS SOUPS 468711 WITH SCORE 471533.176
AT ITER 9377 NEW BEST:: SOT 9546987 SOS 2821746 HAS SOPS 2821746 HAS SOUS 468423 HAS SOUPS 468423 WITH SCORE 471244.746
AT ITER 9429 NEW BEST:: SOT 9546979 SOS 2821730 HAS SOPS 2821730 HAS SOUS 468407 HAS SOUPS 468407 WITH SCORE 471228.73
AT ITER 9463 NEW BEST:: SOT 9546979 SOS 2821730 HAS SOPS 2821730 HAS SOUS 468403 HAS SOUPS 468403 WITH SCORE 471224.73
AT ITER 9493 NEW BEST:: SOT 9546951 SOS 2821674 HAS SOPS 2821674 HAS SOUS 468361 HAS SOUPS 468361 WITH SCORE 471182.674
AT ITER 9505 NEW BEST:: SOT 9546950 SOS 2821627 HAS SOPS 2821627 HAS SOUS 468359 HAS SOUPS 468359 WITH SCORE 471180.627
AT ITER 9520 NEW BEST:: SOT 9546861 SOS 2821449 HAS SOPS 2821449 HAS SOUS 468181 HAS SOUPS 468181 WITH SCORE 471002.449
AT ITER 9523 NEW BEST:: SOT 9546760 SOS 2821048 HAS SOPS 2821048 HAS SOUS 467979 HAS SOUPS 467979 WITH SCORE 470800.048
AT ITER 9562 NEW BEST:: SOT 9546481 SOS 2820490 HAS SOPS 2820490 HAS SOUS 467741 HAS SOUPS 467741 WITH SCORE 470561.49
AT ITER 9569 NEW BEST:: SOT 9546323 SOS 2820174 HAS SOPS 2820174 HAS SOUS 467425 HAS SOUPS 467425 WITH SCORE 470245.174
AT ITER 9599 NEW BEST:: SOT 9545835 SOS 2819198 HAS SOPS 2819198 HAS SOUS 466449 HAS SOUPS 466449 WITH SCORE 469268.198
AT ITER 9605 NEW BEST:: SOT 9545646 SOS 2818840 HAS SOPS 2818840 HAS SOUS 466260 HAS SOUPS 466260 WITH SCORE 469078.84
AT ITER 9609 NEW BEST:: SOT 9545598 SOS 2818744 HAS SOPS 2818744 HAS SOUS 466260 HAS SOUPS 466260 WITH SCORE 469078.744
AT ITER 9624 NEW BEST:: SOT 9545561 SOS 2818670 HAS SOPS 2818670 HAS SOUS 466186 HAS SOUPS 466186 WITH SCORE 469004.67
AT ITER 9625 NEW BEST:: SOT 9545284 SOS 2818116 HAS SOPS 2818116 HAS SOUS 465909 HAS SOUPS 465909 WITH SCORE 468727.116
AT ITER 9628 NEW BEST:: SOT 9545215 SOS 2817978 HAS SOPS 2817978 HAS SOUS 465771 HAS SOUPS 465771 WITH SCORE 468588.978
AT ITER 9637 NEW BEST:: SOT 9545189 SOS 2817821 HAS SOPS 2817821 HAS SOUS 465719 HAS SOUPS 465719 WITH SCORE 468536.821
AT ITER 9647 NEW BEST:: SOT 9545136 SOS 2817715 HAS SOPS 2817715 HAS SOUS 465613 HAS SOUPS 465613 WITH SCORE 468430.715
AT ITER 9677 NEW BEST:: SOT 9545101 SOS 2817645 HAS SOPS 2817645 HAS SOUS 465543 HAS SOUPS 465543 WITH SCORE 468360.645
AT ITER 9709 NEW BEST:: SOT 9545023 SOS 2817489 HAS SOPS 2817489 HAS SOUS 465426 HAS SOUPS 465426 WITH SCORE 468243.489
AT ITER 9773 NEW BEST:: SOT 9544968 SOS 2817379 HAS SOPS 2817379 HAS SOUS 465316 HAS SOUPS 465316 WITH SCORE 468133.379
AT ITER 9784 NEW BEST:: SOT 9544952 SOS 2817347 HAS SOPS 2817347 HAS SOUS 465284 HAS SOUPS 465284 WITH SCORE 468101.347
AT ITER 9830 NEW BEST:: SOT 9544766 SOS 2816975 HAS SOPS 2816975 HAS SOUS 464912 HAS SOUPS 464912 WITH SCORE 467728.975
AT ITER 9850 NEW BEST:: SOT 9544620 SOS 2816683 HAS SOPS 2816683 HAS SOUS 464620 HAS SOUPS 464620 WITH SCORE 467436.683
AT ITER 9853 NEW BEST:: SOT 9544612 SOS 2816667 HAS SOPS 2816667 HAS SOUS 464604 HAS SOUPS 464604 WITH SCORE 467420.667
AT ITER 9871 NEW BEST:: SOT 9544561 SOS 2816565 HAS SOPS 2816565 HAS SOUS 464553 HAS SOUPS 464553 WITH SCORE 467369.565
AT ITER 9874 NEW BEST:: SOT 9544674 SOS 2816791 HAS SOPS 2816791 HAS SOUS 464198 HAS SOUPS 464198 WITH SCORE 467014.791
AT ITER 9934 NEW BEST:: SOT 9544673 SOS 2816708 HAS SOPS 2816708 HAS SOUS 464196 HAS SOUPS 464196 WITH SCORE 467012.708
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 14839084 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16142924 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="StigmergyCommit-PT-06b"
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 StigmergyCommit-PT-06b, 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 r451-smll-167912643500472"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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