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.r515-tall-167987241900072.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 Anderson-PT-12, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987241900072
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.4M
-rw-r--r-- 1 mcc users 8.2K Mar 23 15:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 84K Mar 23 15:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.0K Mar 23 15:18 CTLFireability.txt
-rw-r--r-- 1 mcc users 51K Mar 23 15:18 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:06 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Mar 23 07:06 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:06 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 23 07:06 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 14K Mar 23 15:20 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 145K Mar 23 15:20 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.6K Mar 23 15:19 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 59K Mar 23 15:19 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 23 07:06 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 23 07:06 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 26 22:42 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 1679876124895

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=Anderson-PT-12
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Anderson (PT), instance 12
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: 889 places, 4152 transitions, 16080 arcs.
AT ITER 0 NEW BEST:: SOT 2115992 SOS 1375933 HAS SOPS 1375933 HAS SOUS 314534 HAS SOUPS 314534 WITH SCORE 315909.933
AT ITER 6 NEW BEST:: SOT 2114796 SOS 1373570 HAS SOPS 1373570 HAS SOUS 314482 HAS SOUPS 314482 WITH SCORE 315855.57
AT ITER 14 NEW BEST:: SOT 2114740 SOS 1373178 HAS SOPS 1373178 HAS SOUS 314398 HAS SOUPS 314398 WITH SCORE 315771.178
AT ITER 15 NEW BEST:: SOT 2114740 SOS 1373178 HAS SOPS 1373178 HAS SOUS 314391 HAS SOUPS 314391 WITH SCORE 315764.178
AT ITER 30 NEW BEST:: SOT 2114584 SOS 1372710 HAS SOPS 1372710 HAS SOUS 314209 HAS SOUPS 314209 WITH SCORE 315581.71
AT ITER 33 NEW BEST:: SOT 2114847 SOS 1370885 HAS SOPS 1370885 HAS SOUS 314175 HAS SOUPS 314175 WITH SCORE 315545.885
AT ITER 39 NEW BEST:: SOT 2114605 SOS 1369191 HAS SOPS 1369191 HAS SOUS 313812 HAS SOUPS 313812 WITH SCORE 315181.191
AT ITER 48 NEW BEST:: SOT 2114328 SOS 1366007 HAS SOPS 1366007 HAS SOUS 313422 HAS SOUPS 313422 WITH SCORE 314788.007
AT ITER 55 NEW BEST:: SOT 2113905 SOS 1365703 HAS SOPS 1365703 HAS SOUS 313063 HAS SOUPS 313063 WITH SCORE 314428.703
AT ITER 58 NEW BEST:: SOT 2113540 SOS 1363043 HAS SOPS 1363043 HAS SOUS 312520 HAS SOUPS 312520 WITH SCORE 313883.043
AT ITER 114 NEW BEST:: SOT 2113300 SOS 1361323 HAS SOPS 1361323 HAS SOUS 312164 HAS SOUPS 312164 WITH SCORE 313525.323
AT ITER 116 NEW BEST:: SOT 2113112 SOS 1360007 HAS SOPS 1360007 HAS SOUS 311882 HAS SOUPS 311882 WITH SCORE 313242.007
AT ITER 120 NEW BEST:: SOT 2115147 SOS 1362042 HAS SOPS 1362042 HAS SOUS 311497 HAS SOUPS 311497 WITH SCORE 312859.042
AT ITER 154 NEW BEST:: SOT 2114934 SOS 1360516 HAS SOPS 1360516 HAS SOUS 311181 HAS SOUPS 311181 WITH SCORE 312541.516
AT ITER 156 NEW BEST:: SOT 2114934 SOS 1360373 HAS SOPS 1360373 HAS SOUS 311080 HAS SOUPS 311080 WITH SCORE 312440.373
AT ITER 172 NEW BEST:: SOT 2114832 SOS 1359229 HAS SOPS 1359229 HAS SOUS 310930 HAS SOUPS 310930 WITH SCORE 312289.229
AT ITER 175 NEW BEST:: SOT 2114690 SOS 1358235 HAS SOPS 1358235 HAS SOUS 310717 HAS SOUPS 310717 WITH SCORE 312075.235
AT ITER 178 NEW BEST:: SOT 2114615 SOS 1357335 HAS SOPS 1357335 HAS SOUS 310642 HAS SOUPS 310642 WITH SCORE 311999.335
AT ITER 184 NEW BEST:: SOT 2119445 SOS 1362165 HAS SOPS 1362165 HAS SOUS 310467 HAS SOUPS 310467 WITH SCORE 311829.165
AT ITER 212 NEW BEST:: SOT 2119408 SOS 1362091 HAS SOPS 1362091 HAS SOUS 310393 HAS SOUPS 310393 WITH SCORE 311755.091
AT ITER 225 NEW BEST:: SOT 2118984 SOS 1359023 HAS SOPS 1359023 HAS SOUS 309761 HAS SOUPS 309761 WITH SCORE 311120.023
AT ITER 226 NEW BEST:: SOT 2118718 SOS 1355701 HAS SOPS 1355701 HAS SOUS 309368 HAS SOUPS 309368 WITH SCORE 310723.701
AT ITER 229 NEW BEST:: SOT 2118299 SOS 1352693 HAS SOPS 1352693 HAS SOUS 308743 HAS SOUPS 308743 WITH SCORE 310095.693
AT ITER 240 NEW BEST:: SOT 2117929 SOS 1349085 HAS SOPS 1349085 HAS SOUS 308487 HAS SOUPS 308487 WITH SCORE 309836.085
AT ITER 241 NEW BEST:: SOT 2117787 SOS 1348091 HAS SOPS 1348091 HAS SOUS 308274 HAS SOUPS 308274 WITH SCORE 309622.091
AT ITER 243 NEW BEST:: SOT 2117787 SOS 1346861 HAS SOPS 1346861 HAS SOUS 308274 HAS SOUPS 308274 WITH SCORE 309620.861
AT ITER 283 NEW BEST:: SOT 2117682 SOS 1345541 HAS SOPS 1345541 HAS SOUS 308168 HAS SOUPS 308168 WITH SCORE 309513.541
AT ITER 284 NEW BEST:: SOT 2117624 SOS 1345425 HAS SOPS 1345425 HAS SOUS 308110 HAS SOUPS 308110 WITH SCORE 309455.425
AT ITER 295 NEW BEST:: SOT 2117393 SOS 1342673 HAS SOPS 1342673 HAS SOUS 307786 HAS SOUPS 307786 WITH SCORE 309128.673
AT ITER 297 NEW BEST:: SOT 2117029 SOS 1340125 HAS SOPS 1340125 HAS SOUS 307240 HAS SOUPS 307240 WITH SCORE 308580.125
AT ITER 313 NEW BEST:: SOT 2117021 SOS 1340109 HAS SOPS 1340109 HAS SOUS 307224 HAS SOUPS 307224 WITH SCORE 308564.109
AT ITER 322 NEW BEST:: SOT 2117067 SOS 1336063 HAS SOPS 1336063 HAS SOUS 307125 HAS SOUPS 307125 WITH SCORE 308461.063
AT ITER 326 NEW BEST:: SOT 2117067 SOS 1336063 HAS SOPS 1336063 HAS SOUS 307113 HAS SOUPS 307113 WITH SCORE 308449.063
AT ITER 352 NEW BEST:: SOT 2116881 SOS 1334761 HAS SOPS 1334761 HAS SOUS 306834 HAS SOUPS 306834 WITH SCORE 308168.761
AT ITER 362 NEW BEST:: SOT 2116881 SOS 1334618 HAS SOPS 1334618 HAS SOUS 306706 HAS SOUPS 306706 WITH SCORE 308040.618
AT ITER 371 NEW BEST:: SOT 2115097 SOS 1333174 HAS SOPS 1333174 HAS SOUS 305068 HAS SOUPS 305068 WITH SCORE 306401.174
AT ITER 383 NEW BEST:: SOT 2115097 SOS 1333097 HAS SOPS 1333097 HAS SOUS 304991 HAS SOUPS 304991 WITH SCORE 306324.097
AT ITER 398 NEW BEST:: SOT 2115007 SOS 1332917 HAS SOPS 1332917 HAS SOUS 304856 HAS SOUPS 304856 WITH SCORE 306188.917
AT ITER 419 NEW BEST:: SOT 2114836 SOS 1331395 HAS SOPS 1331395 HAS SOUS 304626 HAS SOUPS 304626 WITH SCORE 305957.395
AT ITER 437 NEW BEST:: SOT 2114830 SOS 1331383 HAS SOPS 1331383 HAS SOUS 304614 HAS SOUPS 304614 WITH SCORE 305945.383
AT ITER 442 NEW BEST:: SOT 2114686 SOS 1330375 HAS SOPS 1330375 HAS SOUS 304398 HAS SOUPS 304398 WITH SCORE 305728.375
AT ITER 445 NEW BEST:: SOT 2114378 SOS 1327999 HAS SOPS 1327999 HAS SOUS 303958 HAS SOUPS 303958 WITH SCORE 305285.999
AT ITER 448 NEW BEST:: SOT 2114333 SOS 1327459 HAS SOPS 1327459 HAS SOUS 303913 HAS SOUPS 303913 WITH SCORE 305240.459
AT ITER 452 NEW BEST:: SOT 2114333 SOS 1327333 HAS SOPS 1327333 HAS SOUS 303800 HAS SOUPS 303800 WITH SCORE 305127.333
AT ITER 470 NEW BEST:: SOT 2114173 SOS 1325753 HAS SOPS 1325753 HAS SOUS 303606 HAS SOUPS 303606 WITH SCORE 304931.753
AT ITER 475 NEW BEST:: SOT 2114171 SOS 1325749 HAS SOPS 1325749 HAS SOUS 303572 HAS SOUPS 303572 WITH SCORE 304897.749
AT ITER 497 NEW BEST:: SOT 2113900 SOS 1322927 HAS SOPS 1322927 HAS SOUS 303170 HAS SOUPS 303170 WITH SCORE 304492.927
AT ITER 542 NEW BEST:: SOT 2113585 SOS 1320707 HAS SOPS 1320707 HAS SOUS 302699 HAS SOUPS 302699 WITH SCORE 304019.707
AT ITER 545 NEW BEST:: SOT 2113585 SOS 1320459 HAS SOPS 1320459 HAS SOUS 302693 HAS SOUPS 302693 WITH SCORE 304013.459
AT ITER 546 NEW BEST:: SOT 2113421 SOS 1319311 HAS SOPS 1319311 HAS SOUS 302447 HAS SOUPS 302447 WITH SCORE 303766.311
AT ITER 550 NEW BEST:: SOT 2113411 SOS 1319291 HAS SOPS 1319291 HAS SOUS 302427 HAS SOUPS 302427 WITH SCORE 303746.291
AT ITER 552 NEW BEST:: SOT 2113481 SOS 1319278 HAS SOPS 1319278 HAS SOUS 302375 HAS SOUPS 302375 WITH SCORE 303694.278
AT ITER 566 NEW BEST:: SOT 2113571 SOS 1319311 HAS SOPS 1319311 HAS SOUS 302326 HAS SOUPS 302326 WITH SCORE 303645.311
AT ITER 568 NEW BEST:: SOT 2113403 SOS 1318135 HAS SOPS 1318135 HAS SOUS 302074 HAS SOUPS 302074 WITH SCORE 303392.135
AT ITER 569 NEW BEST:: SOT 2111356 SOS 1314321 HAS SOPS 1314321 HAS SOUS 301985 HAS SOUPS 301985 WITH SCORE 303299.321
AT ITER 574 NEW BEST:: SOT 2111297 SOS 1314203 HAS SOPS 1314203 HAS SOUS 301926 HAS SOUPS 301926 WITH SCORE 303240.203
AT ITER 584 NEW BEST:: SOT 2111181 SOS 1314115 HAS SOPS 1314115 HAS SOUS 301632 HAS SOUPS 301632 WITH SCORE 302946.115
AT ITER 585 NEW BEST:: SOT 2110787 SOS 1311357 HAS SOPS 1311357 HAS SOUS 301041 HAS SOUPS 301041 WITH SCORE 302352.357
AT ITER 586 NEW BEST:: SOT 2110654 SOS 1307831 HAS SOPS 1307831 HAS SOUS 300887 HAS SOUPS 300887 WITH SCORE 302194.831
AT ITER 597 NEW BEST:: SOT 2110631 SOS 1307790 HAS SOPS 1307790 HAS SOUS 300441 HAS SOUPS 300441 WITH SCORE 301748.79
AT ITER 613 NEW BEST:: SOT 2110373 SOS 1305764 HAS SOPS 1305764 HAS SOUS 300063 HAS SOUPS 300063 WITH SCORE 301368.764
AT ITER 621 NEW BEST:: SOT 2109979 SOS 1302826 HAS SOPS 1302826 HAS SOUS 299475 HAS SOUPS 299475 WITH SCORE 300777.826
AT ITER 635 NEW BEST:: SOT 2109565 SOS 1299928 HAS SOPS 1299928 HAS SOUS 298854 HAS SOUPS 298854 WITH SCORE 300153.928
AT ITER 650 NEW BEST:: SOT 2109193 SOS 1296574 HAS SOPS 1296574 HAS SOUS 298300 HAS SOUPS 298300 WITH SCORE 299596.574
AT ITER 656 NEW BEST:: SOT 2109193 SOS 1296513 HAS SOPS 1296513 HAS SOUS 298239 HAS SOUPS 298239 WITH SCORE 299535.513
AT ITER 657 NEW BEST:: SOT 2109088 SOS 1293503 HAS SOPS 1293503 HAS SOUS 298145 HAS SOUPS 298145 WITH SCORE 299438.503
AT ITER 663 NEW BEST:: SOT 2109088 SOS 1293293 HAS SOPS 1293293 HAS SOUS 298145 HAS SOUPS 298145 WITH SCORE 299438.293
AT ITER 670 NEW BEST:: SOT 2108803 SOS 1290146 HAS SOPS 1290146 HAS SOUS 297718 HAS SOUPS 297718 WITH SCORE 299008.146
AT ITER 676 NEW BEST:: SOT 2108798 SOS 1289406 HAS SOPS 1289406 HAS SOUS 297713 HAS SOUPS 297713 WITH SCORE 299002.406
AT ITER 688 NEW BEST:: SOT 2108660 SOS 1288440 HAS SOPS 1288440 HAS SOUS 297506 HAS SOUPS 297506 WITH SCORE 298794.44
AT ITER 691 NEW BEST:: SOT 2108288 SOS 1285836 HAS SOPS 1285836 HAS SOUS 296948 HAS SOUPS 296948 WITH SCORE 298233.836
AT ITER 695 NEW BEST:: SOT 2108112 SOS 1284604 HAS SOPS 1284604 HAS SOUS 296684 HAS SOUPS 296684 WITH SCORE 297968.604
AT ITER 697 NEW BEST:: SOT 2108078 SOS 1284536 HAS SOPS 1284536 HAS SOUS 296616 HAS SOUPS 296616 WITH SCORE 297900.536
AT ITER 705 NEW BEST:: SOT 2107991 SOS 1284449 HAS SOPS 1284449 HAS SOUS 296612 HAS SOUPS 296612 WITH SCORE 297896.449
AT ITER 708 NEW BEST:: SOT 2107946 SOS 1283909 HAS SOPS 1283909 HAS SOUS 296567 HAS SOUPS 296567 WITH SCORE 297850.909
AT ITER 723 NEW BEST:: SOT 2108027 SOS 1283945 HAS SOPS 1283945 HAS SOUS 296522 HAS SOUPS 296522 WITH SCORE 297805.945
AT ITER 752 NEW BEST:: SOT 2108021 SOS 1283933 HAS SOPS 1283933 HAS SOUS 296516 HAS SOUPS 296516 WITH SCORE 297799.933
AT ITER 755 NEW BEST:: SOT 2108015 SOS 1283861 HAS SOPS 1283861 HAS SOUS 296510 HAS SOUPS 296510 WITH SCORE 297793.861
AT ITER 775 NEW BEST:: SOT 2107783 SOS 1282237 HAS SOPS 1282237 HAS SOUS 296162 HAS SOUPS 296162 WITH SCORE 297444.237
AT ITER 776 NEW BEST:: SOT 2107780 SOS 1282162 HAS SOPS 1282162 HAS SOUS 296156 HAS SOUPS 296156 WITH SCORE 297438.162
AT ITER 780 NEW BEST:: SOT 2107678 SOS 1280648 HAS SOPS 1280648 HAS SOUS 296082 HAS SOUPS 296082 WITH SCORE 297362.648
AT ITER 793 NEW BEST:: SOT 2107466 SOS 1279164 HAS SOPS 1279164 HAS SOUS 295764 HAS SOUPS 295764 WITH SCORE 297043.164
AT ITER 794 NEW BEST:: SOT 2107425 SOS 1279082 HAS SOPS 1279082 HAS SOUS 295723 HAS SOUPS 295723 WITH SCORE 297002.082
AT ITER 806 NEW BEST:: SOT 2107572 SOS 1278641 HAS SOPS 1278641 HAS SOUS 295665 HAS SOUPS 295665 WITH SCORE 296943.641
AT ITER 814 NEW BEST:: SOT 2107480 SOS 1277997 HAS SOPS 1277997 HAS SOUS 295527 HAS SOUPS 295527 WITH SCORE 296804.997
AT ITER 823 NEW BEST:: SOT 2108137 SOS 1278700 HAS SOPS 1278700 HAS SOUS 295172 HAS SOUPS 295172 WITH SCORE 296450.7
AT ITER 836 NEW BEST:: SOT 2108137 SOS 1278700 HAS SOPS 1278700 HAS SOUS 295160 HAS SOUPS 295160 WITH SCORE 296438.7
AT ITER 845 NEW BEST:: SOT 2107745 SOS 1275786 HAS SOPS 1275786 HAS SOUS 294579 HAS SOUPS 294579 WITH SCORE 295854.786
AT ITER 870 NEW BEST:: SOT 2107599 SOS 1272534 HAS SOPS 1272534 HAS SOUS 294399 HAS SOUPS 294399 WITH SCORE 295671.534
AT ITER 895 NEW BEST:: SOT 2107300 SOS 1272260 HAS SOPS 1272260 HAS SOUS 294117 HAS SOUPS 294117 WITH SCORE 295389.26
AT ITER 897 NEW BEST:: SOT 2107226 SOS 1270372 HAS SOPS 1270372 HAS SOUS 294072 HAS SOUPS 294072 WITH SCORE 295342.372
AT ITER 902 NEW BEST:: SOT 2107159 SOS 1270238 HAS SOPS 1270238 HAS SOUS 293945 HAS SOUPS 293945 WITH SCORE 295215.238
AT ITER 923 NEW BEST:: SOT 2106882 SOS 1267754 HAS SOPS 1267754 HAS SOUS 293542 HAS SOUPS 293542 WITH SCORE 294809.754
AT ITER 939 NEW BEST:: SOT 2106843 SOS 1267676 HAS SOPS 1267676 HAS SOUS 293503 HAS SOUPS 293503 WITH SCORE 294770.676
AT ITER 944 NEW BEST:: SOT 2106837 SOS 1267664 HAS SOPS 1267664 HAS SOUS 293497 HAS SOUPS 293497 WITH SCORE 294764.664
AT ITER 945 NEW BEST:: SOT 2106811 SOS 1267612 HAS SOPS 1267612 HAS SOUS 293445 HAS SOUPS 293445 WITH SCORE 294712.612
AT ITER 952 NEW BEST:: SOT 2106811 SOS 1265740 HAS SOPS 1265740 HAS SOUS 293289 HAS SOUPS 293289 WITH SCORE 294554.74
AT ITER 960 NEW BEST:: SOT 2106795 SOS 1265708 HAS SOPS 1265708 HAS SOUS 293257 HAS SOUPS 293257 WITH SCORE 294522.708
AT ITER 962 NEW BEST:: SOT 2106778 SOS 1265674 HAS SOPS 1265674 HAS SOUS 293240 HAS SOUPS 293240 WITH SCORE 294505.674
AT ITER 967 NEW BEST:: SOT 2106774 SOS 1265676 HAS SOPS 1265676 HAS SOUS 293236 HAS SOUPS 293236 WITH SCORE 294501.676
AT ITER 976 NEW BEST:: SOT 2106668 SOS 1265464 HAS SOPS 1265464 HAS SOUS 293067 HAS SOUPS 293067 WITH SCORE 294332.464
AT ITER 978 NEW BEST:: SOT 2106627 SOS 1265382 HAS SOPS 1265382 HAS SOUS 293014 HAS SOUPS 293014 WITH SCORE 294279.382
AT ITER 991 NEW BEST:: SOT 2106562 SOS 1265252 HAS SOPS 1265252 HAS SOUS 292937 HAS SOUPS 292937 WITH SCORE 294202.252
AT ITER 998 NEW BEST:: SOT 2104318 SOS 1260979 HAS SOPS 1260979 HAS SOUS 292937 HAS SOUPS 292937 WITH SCORE 294197.979
AT ITER 1024 NEW BEST:: SOT 2104193 SOS 1259009 HAS SOPS 1259009 HAS SOUS 292816 HAS SOUPS 292816 WITH SCORE 294075.009
AT ITER 1037 NEW BEST:: SOT 2104104 SOS 1258831 HAS SOPS 1258831 HAS SOUS 292638 HAS SOUPS 292638 WITH SCORE 293896.831
AT ITER 1041 NEW BEST:: SOT 2104076 SOS 1258775 HAS SOPS 1258775 HAS SOUS 292610 HAS SOUPS 292610 WITH SCORE 293868.775
AT ITER 1043 NEW BEST:: SOT 2103831 SOS 1255435 HAS SOPS 1255435 HAS SOUS 292405 HAS SOUPS 292405 WITH SCORE 293660.435
AT ITER 1046 NEW BEST:: SOT 2103830 SOS 1255434 HAS SOPS 1255434 HAS SOUS 292404 HAS SOUPS 292404 WITH SCORE 293659.434
AT ITER 1051 NEW BEST:: SOT 2103608 SOS 1253680 HAS SOPS 1253680 HAS SOUS 292091 HAS SOUPS 292091 WITH SCORE 293344.68
AT ITER 1057 NEW BEST:: SOT 2103385 SOS 1250924 HAS SOPS 1250924 HAS SOUS 291819 HAS SOUPS 291819 WITH SCORE 293069.924
AT ITER 1070 NEW BEST:: SOT 2103330 SOS 1250869 HAS SOPS 1250869 HAS SOUS 291764 HAS SOUPS 291764 WITH SCORE 293014.869
AT ITER 1076 NEW BEST:: SOT 2103150 SOS 1249289 HAS SOPS 1249289 HAS SOUS 291526 HAS SOUPS 291526 WITH SCORE 292775.289
AT ITER 1091 NEW BEST:: SOT 2103099 SOS 1249187 HAS SOPS 1249187 HAS SOUS 291466 HAS SOUPS 291466 WITH SCORE 292715.187
AT ITER 1095 NEW BEST:: SOT 2103099 SOS 1249187 HAS SOPS 1249187 HAS SOUS 291454 HAS SOUPS 291454 WITH SCORE 292703.187
AT ITER 1104 NEW BEST:: SOT 2102958 SOS 1247125 HAS SOPS 1247125 HAS SOUS 291336 HAS SOUPS 291336 WITH SCORE 292583.125
AT ITER 1108 NEW BEST:: SOT 2102871 SOS 1243891 HAS SOPS 1243891 HAS SOUS 291313 HAS SOUPS 291313 WITH SCORE 292556.891
AT ITER 1110 NEW BEST:: SOT 2102780 SOS 1243709 HAS SOPS 1243709 HAS SOUS 291222 HAS SOUPS 291222 WITH SCORE 292465.709
AT ITER 1140 NEW BEST:: SOT 2102700 SOS 1242399 HAS SOPS 1242399 HAS SOUS 291142 HAS SOUPS 291142 WITH SCORE 292384.399
AT ITER 1150 NEW BEST:: SOT 2102700 SOS 1240883 HAS SOPS 1240883 HAS SOUS 291133 HAS SOUPS 291133 WITH SCORE 292373.883
AT ITER 1173 NEW BEST:: SOT 2102644 SOS 1240467 HAS SOPS 1240219 HAS SOUS 291138 HAS SOUPS 290890 WITH SCORE 292130.467
AT ITER 1182 NEW BEST:: SOT 2100051 SOS 1237984 HAS SOPS 1237736 HAS SOUS 288655 HAS SOUPS 288407 WITH SCORE 289644.984
AT ITER 1195 NEW BEST:: SOT 2100016 SOS 1237949 HAS SOPS 1237701 HAS SOUS 288620 HAS SOUPS 288372 WITH SCORE 289609.949
AT ITER 1229 NEW BEST:: SOT 2099990 SOS 1237897 HAS SOPS 1237649 HAS SOUS 288594 HAS SOUPS 288346 WITH SCORE 289583.897
AT ITER 1237 NEW BEST:: SOT 2099815 SOS 1236637 HAS SOPS 1236389 HAS SOUS 288335 HAS SOUPS 288087 WITH SCORE 289323.637
AT ITER 1240 NEW BEST:: SOT 2099691 SOS 1234839 HAS SOPS 1234591 HAS SOUS 288211 HAS SOUPS 287963 WITH SCORE 289197.839
AT ITER 1244 NEW BEST:: SOT 2099645 SOS 1234397 HAS SOPS 1234149 HAS SOUS 288154 HAS SOUPS 287906 WITH SCORE 289140.397
AT ITER 1253 NEW BEST:: SOT 2099614 SOS 1234335 HAS SOPS 1234087 HAS SOUS 288111 HAS SOUPS 287863 WITH SCORE 289097.335
AT ITER 1258 NEW BEST:: SOT 2099311 SOS 1230989 HAS SOPS 1230741 HAS SOUS 287655 HAS SOUPS 287407 WITH SCORE 288637.989
AT ITER 1263 NEW BEST:: SOT 2099265 SOS 1230943 HAS SOPS 1230695 HAS SOUS 287609 HAS SOUPS 287361 WITH SCORE 288591.943
AT ITER 1265 NEW BEST:: SOT 2099265 SOS 1230876 HAS SOPS 1230628 HAS SOUS 287580 HAS SOUPS 287332 WITH SCORE 288562.876
AT ITER 1275 NEW BEST:: SOT 2099265 SOS 1230866 HAS SOPS 1230618 HAS SOUS 287580 HAS SOUPS 287332 WITH SCORE 288562.866
AT ITER 1296 NEW BEST:: SOT 2099217 SOS 1230770 HAS SOPS 1230522 HAS SOUS 287484 HAS SOUPS 287236 WITH SCORE 288466.77
AT ITER 1300 NEW BEST:: SOT 2099128 SOS 1230592 HAS SOPS 1230344 HAS SOUS 287330 HAS SOUPS 287082 WITH SCORE 288312.592
AT ITER 1309 NEW BEST:: SOT 2099091 SOS 1230518 HAS SOPS 1230270 HAS SOUS 287256 HAS SOUPS 287008 WITH SCORE 288238.518
AT ITER 1335 NEW BEST:: SOT 2098995 SOS 1229846 HAS SOPS 1229598 HAS SOUS 287112 HAS SOUPS 286864 WITH SCORE 288093.846
AT ITER 1339 NEW BEST:: SOT 2098867 SOS 1229590 HAS SOPS 1229342 HAS SOUS 286883 HAS SOUPS 286635 WITH SCORE 287864.59
AT ITER 1343 NEW BEST:: SOT 2098867 SOS 1229496 HAS SOPS 1229248 HAS SOUS 286789 HAS SOUPS 286541 WITH SCORE 287770.496
AT ITER 1344 NEW BEST:: SOT 2102191 SOS 1232803 HAS SOPS 1232555 HAS SOUS 286400 HAS SOUPS 286152 WITH SCORE 287384.803
AT ITER 1366 NEW BEST:: SOT 2085810 SOS 1288667 HAS SOPS 1288419 HAS SOUS 270508 HAS SOUPS 270260 WITH SCORE 271548.667
AT ITER 1380 NEW BEST:: SOT 2085809 SOS 1287392 HAS SOPS 1286729 HAS SOUS 270614 HAS SOUPS 270259 WITH SCORE 271546.392
AT ITER 1394 NEW BEST:: SOT 2085707 SOS 1286168 HAS SOPS 1285505 HAS SOUS 270485 HAS SOUPS 270130 WITH SCORE 271416.168
AT ITER 1395 NEW BEST:: SOT 2085642 SOS 1286103 HAS SOPS 1285440 HAS SOUS 270355 HAS SOUPS 270000 WITH SCORE 271286.103
AT ITER 1410 NEW BEST:: SOT 2085532 SOS 1285993 HAS SOPS 1285330 HAS SOUS 270245 HAS SOUPS 269890 WITH SCORE 271175.993
AT ITER 1413 NEW BEST:: SOT 2085317 SOS 1283413 HAS SOPS 1282750 HAS SOUS 270030 HAS SOUPS 269675 WITH SCORE 270958.413
AT ITER 1417 NEW BEST:: SOT 2085185 SOS 1283281 HAS SOPS 1282618 HAS SOUS 269892 HAS SOUPS 269537 WITH SCORE 270820.281
AT ITER 1419 NEW BEST:: SOT 2085151 SOS 1282864 HAS SOPS 1281877 HAS SOUS 269956 HAS SOUPS 269277 WITH SCORE 270559.864
AT ITER 1435 NEW BEST:: SOT 2085152 SOS 1282865 HAS SOPS 1281878 HAS SOUS 269891 HAS SOUPS 269212 WITH SCORE 270494.865
AT ITER 1440 NEW BEST:: SOT 2085114 SOS 1282621 HAS SOPS 1281840 HAS SOUS 269498 HAS SOUPS 269025 WITH SCORE 270307.621
AT ITER 1441 NEW BEST:: SOT 2082496 SOS 1279721 HAS SOPS 1278783 HAS SOUS 266686 HAS SOUPS 266068 WITH SCORE 267347.721
AT ITER 1444 NEW BEST:: SOT 2082465 SOS 1279690 HAS SOPS 1278752 HAS SOUS 266655 HAS SOUPS 266037 WITH SCORE 267316.69
AT ITER 1451 NEW BEST:: SOT 2082313 SOS 1279234 HAS SOPS 1278676 HAS SOUS 266351 HAS SOUPS 265809 WITH SCORE 267088.234
AT ITER 1457 NEW BEST:: SOT 2082271 SOS 1279192 HAS SOPS 1278634 HAS SOUS 266342 HAS SOUPS 265800 WITH SCORE 267079.192
AT ITER 1476 NEW BEST:: SOT 2082419 SOS 1279336 HAS SOPS 1278495 HAS SOUS 266463 HAS SOUPS 265783 WITH SCORE 267062.336
AT ITER 1477 NEW BEST:: SOT 2082280 SOS 1279197 HAS SOPS 1278356 HAS SOUS 266252 HAS SOUPS 265572 WITH SCORE 266851.197
AT ITER 1486 NEW BEST:: SOT 2082195 SOS 1278177 HAS SOPS 1277336 HAS SOUS 266167 HAS SOUPS 265487 WITH SCORE 266765.177
AT ITER 1512 NEW BEST:: SOT 2082196 SOS 1278549 HAS SOPS 1277708 HAS SOUS 266147 HAS SOUPS 265467 WITH SCORE 266745.549
AT ITER 1531 NEW BEST:: SOT 2082157 SOS 1278510 HAS SOPS 1277669 HAS SOUS 266069 HAS SOUPS 265389 WITH SCORE 266667.51
AT ITER 1534 NEW BEST:: SOT 2082147 SOS 1278200 HAS SOPS 1277359 HAS SOUS 266059 HAS SOUPS 265379 WITH SCORE 266657.2
AT ITER 1538 NEW BEST:: SOT 2082135 SOS 1278404 HAS SOPS 1277563 HAS SOUS 266053 HAS SOUPS 265373 WITH SCORE 266651.404
AT ITER 1542 NEW BEST:: SOT 2082113 SOS 1278382 HAS SOPS 1277541 HAS SOUS 266037 HAS SOUPS 265357 WITH SCORE 266635.382
AT ITER 1546 NEW BEST:: SOT 2082053 SOS 1278598 HAS SOPS 1277757 HAS SOUS 265941 HAS SOUPS 265261 WITH SCORE 266539.598
AT ITER 1562 NEW BEST:: SOT 2082036 SOS 1278581 HAS SOPS 1277740 HAS SOUS 265907 HAS SOUPS 265227 WITH SCORE 266505.581
AT ITER 1576 NEW BEST:: SOT 2081989 SOS 1278487 HAS SOPS 1277646 HAS SOUS 265860 HAS SOUPS 265180 WITH SCORE 266458.487
AT ITER 1607 NEW BEST:: SOT 2081956 SOS 1278454 HAS SOPS 1277613 HAS SOUS 265827 HAS SOUPS 265147 WITH SCORE 266425.454
AT ITER 1619 NEW BEST:: SOT 2081911 SOS 1278074 HAS SOPS 1277233 HAS SOUS 265766 HAS SOUPS 265086 WITH SCORE 266364.074
AT ITER 1624 NEW BEST:: SOT 2081879 SOS 1278042 HAS SOPS 1277201 HAS SOUS 265669 HAS SOUPS 264989 WITH SCORE 266267.042
AT ITER 1627 NEW BEST:: SOT 2081819 SOS 1277322 HAS SOPS 1276481 HAS SOUS 265609 HAS SOUPS 264929 WITH SCORE 266206.322
AT ITER 1639 NEW BEST:: SOT 2081737 SOS 1277240 HAS SOPS 1276399 HAS SOUS 265458 HAS SOUPS 264778 WITH SCORE 266055.24
AT ITER 1644 NEW BEST:: SOT 2081536 SOS 1275548 HAS SOPS 1274707 HAS SOUS 265169 HAS SOUPS 264489 WITH SCORE 265764.548
AT ITER 1650 NEW BEST:: SOT 2081274 SOS 1278876 HAS SOPS 1278035 HAS SOUS 265150 HAS SOUPS 264470 WITH SCORE 265748.876
AT ITER 1653 NEW BEST:: SOT 2081217 SOS 1278819 HAS SOPS 1277978 HAS SOUS 265036 HAS SOUPS 264356 WITH SCORE 265634.819
AT ITER 1655 NEW BEST:: SOT 2081151 SOS 1278753 HAS SOPS 1277912 HAS SOUS 264970 HAS SOUPS 264290 WITH SCORE 265568.753
AT ITER 1656 NEW BEST:: SOT 2081121 SOS 1278723 HAS SOPS 1277882 HAS SOUS 264910 HAS SOUPS 264230 WITH SCORE 265508.723
AT ITER 1661 NEW BEST:: SOT 2083459 SOS 1281061 HAS SOPS 1280220 HAS SOUS 264652 HAS SOUPS 263972 WITH SCORE 265253.061
AT ITER 1668 NEW BEST:: SOT 2083322 SOS 1279537 HAS SOPS 1278696 HAS SOUS 264451 HAS SOUPS 263771 WITH SCORE 265050.537
AT ITER 1679 NEW BEST:: SOT 2083241 SOS 1279456 HAS SOPS 1278615 HAS SOUS 264264 HAS SOUPS 263584 WITH SCORE 264863.456
AT ITER 1685 NEW BEST:: SOT 2083179 SOS 1279394 HAS SOPS 1278553 HAS SOUS 264134 HAS SOUPS 263454 WITH SCORE 264733.394
AT ITER 1703 NEW BEST:: SOT 2083046 SOS 1279261 HAS SOPS 1278420 HAS SOUS 263920 HAS SOUPS 263240 WITH SCORE 264519.261
AT ITER 1708 NEW BEST:: SOT 2083081 SOS 1279331 HAS SOPS 1278490 HAS SOUS 263882 HAS SOUPS 263202 WITH SCORE 264481.331
AT ITER 1709 NEW BEST:: SOT 2083081 SOS 1277879 HAS SOPS 1277038 HAS SOUS 263882 HAS SOUPS 263202 WITH SCORE 264479.879
AT ITER 1727 NEW BEST:: SOT 2087601 SOS 1282413 HAS SOPS 1281572 HAS SOUS 263763 HAS SOUPS 263083 WITH SCORE 264365.413
AT ITER 1728 NEW BEST:: SOT 2087136 SOS 1283448 HAS SOPS 1282422 HAS SOUS 263656 HAS SOUPS 262791 WITH SCORE 264074.448
AT ITER 1737 NEW BEST:: SOT 2087136 SOS 1281258 HAS SOPS 1280232 HAS SOUS 263656 HAS SOUPS 262791 WITH SCORE 264072.258
AT ITER 1749 NEW BEST:: SOT 2087057 SOS 1281179 HAS SOPS 1280153 HAS SOUS 263486 HAS SOUPS 262621 WITH SCORE 263902.179
AT ITER 1750 NEW BEST:: SOT 2086793 SOS 1281121 HAS SOPS 1280095 HAS SOUS 263164 HAS SOUPS 262299 WITH SCORE 263580.121
AT ITER 1756 NEW BEST:: SOT 2083506 SOS 1279515 HAS SOPS 1278151 HAS SOUS 260531 HAS SOUPS 259328 WITH SCORE 260607.515
AT ITER 1782 NEW BEST:: SOT 2083307 SOS 1279316 HAS SOPS 1277952 HAS SOUS 260279 HAS SOUPS 259076 WITH SCORE 260355.316
AT ITER 1784 NEW BEST:: SOT 2083113 SOS 1278928 HAS SOPS 1277564 HAS SOUS 259891 HAS SOUPS 258688 WITH SCORE 259966.928
AT ITER 1809 NEW BEST:: SOT 2083112 SOS 1278446 HAS SOPS 1277082 HAS SOUS 259890 HAS SOUPS 258687 WITH SCORE 259965.446
AT ITER 1811 NEW BEST:: SOT 2083007 SOS 1278341 HAS SOPS 1276977 HAS SOUS 259713 HAS SOUPS 258510 WITH SCORE 259788.341
AT ITER 1815 NEW BEST:: SOT 2083007 SOS 1278341 HAS SOPS 1276977 HAS SOUS 259677 HAS SOUPS 258474 WITH SCORE 259752.341
AT ITER 1818 NEW BEST:: SOT 2082875 SOS 1278209 HAS SOPS 1276845 HAS SOUS 259413 HAS SOUPS 258210 WITH SCORE 259488.209
AT ITER 1820 NEW BEST:: SOT 2082599 SOS 1277514 HAS SOPS 1276293 HAS SOUS 258905 HAS SOUPS 257845 WITH SCORE 259122.514
AT ITER 1822 NEW BEST:: SOT 2082329 SOS 1277244 HAS SOPS 1275888 HAS SOUS 258379 HAS SOUPS 257319 WITH SCORE 258596.244
AT ITER 1826 NEW BEST:: SOT 2082317 SOS 1277232 HAS SOPS 1275876 HAS SOUS 258355 HAS SOUPS 257295 WITH SCORE 258572.232
AT ITER 1827 NEW BEST:: SOT 2082317 SOS 1277008 HAS SOPS 1275652 HAS SOUS 258131 HAS SOUPS 257071 WITH SCORE 258348.008
AT ITER 1829 NEW BEST:: SOT 2082212 SOS 1276903 HAS SOPS 1275547 HAS SOUS 257921 HAS SOUPS 256861 WITH SCORE 258137.903
AT ITER 1843 NEW BEST:: SOT 2082150 SOS 1276159 HAS SOPS 1274803 HAS SOUS 257859 HAS SOUPS 256799 WITH SCORE 258075.159
AT ITER 1845 NEW BEST:: SOT 2082061 SOS 1275091 HAS SOPS 1273735 HAS SOUS 257770 HAS SOUPS 256710 WITH SCORE 257985.091
AT ITER 1848 NEW BEST:: SOT 2082034 SOS 1274607 HAS SOPS 1273251 HAS SOUS 257743 HAS SOUPS 256683 WITH SCORE 257957.607
AT ITER 1859 NEW BEST:: SOT 2082670 SOS 1275285 HAS SOPS 1273931 HAS SOUS 257367 HAS SOUPS 256307 WITH SCORE 257582.285
AT ITER 1871 NEW BEST:: SOT 2082528 SOS 1275143 HAS SOPS 1273789 HAS SOUS 257083 HAS SOUPS 256023 WITH SCORE 257298.143
AT ITER 1884 NEW BEST:: SOT 2082345 SOS 1272913 HAS SOPS 1271563 HAS SOUS 256855 HAS SOUPS 255795 WITH SCORE 257067.913
AT ITER 1893 NEW BEST:: SOT 2082339 SOS 1272901 HAS SOPS 1271551 HAS SOUS 256849 HAS SOUPS 255789 WITH SCORE 257061.901
AT ITER 1908 NEW BEST:: SOT 2082199 SOS 1272761 HAS SOPS 1271411 HAS SOUS 256566 HAS SOUPS 255506 WITH SCORE 256778.761
AT ITER 1924 NEW BEST:: SOT 2082230 SOS 1272607 HAS SOPS 1271442 HAS SOUS 256192 HAS SOUPS 255317 WITH SCORE 256589.607
AT ITER 1933 NEW BEST:: SOT 2082230 SOS 1272927 HAS SOPS 1271762 HAS SOUS 256168 HAS SOUPS 255293 WITH SCORE 256565.927
AT ITER 1948 NEW BEST:: SOT 2082172 SOS 1270471 HAS SOPS 1269306 HAS SOUS 256155 HAS SOUPS 255280 WITH SCORE 256550.471
AT ITER 1957 NEW BEST:: SOT 2082159 SOS 1270458 HAS SOPS 1269293 HAS SOUS 256129 HAS SOUPS 255254 WITH SCORE 256524.458
AT ITER 1962 NEW BEST:: SOT 2081982 SOS 1270281 HAS SOPS 1268979 HAS SOUS 255935 HAS SOUPS 254923 WITH SCORE 256193.281
AT ITER 1964 NEW BEST:: SOT 2081880 SOS 1270179 HAS SOPS 1268877 HAS SOUS 255833 HAS SOUPS 254821 WITH SCORE 256091.179
AT ITER 1985 NEW BEST:: SOT 2081833 SOS 1270095 HAS SOPS 1268783 HAS SOUS 255720 HAS SOUPS 254708 WITH SCORE 255978.095
AT ITER 1990 NEW BEST:: SOT 2081749 SOS 1270011 HAS SOPS 1268699 HAS SOUS 255553 HAS SOUPS 254541 WITH SCORE 255811.011
AT ITER 1995 NEW BEST:: SOT 2081622 SOS 1269884 HAS SOPS 1268572 HAS SOUS 255299 HAS SOUPS 254287 WITH SCORE 255556.884
AT ITER 1998 NEW BEST:: SOT 2081622 SOS 1269620 HAS SOPS 1268308 HAS SOUS 255277 HAS SOUPS 254265 WITH SCORE 255534.62
AT ITER 2038 NEW BEST:: SOT 2081594 SOS 1269592 HAS SOPS 1268280 HAS SOUS 255221 HAS SOUPS 254209 WITH SCORE 255478.592
AT ITER 2070 NEW BEST:: SOT 2081450 SOS 1267384 HAS SOPS 1266072 HAS SOUS 255032 HAS SOUPS 254020 WITH SCORE 255287.384
AT ITER 2072 NEW BEST:: SOT 2081415 SOS 1267314 HAS SOPS 1266002 HAS SOUS 254997 HAS SOUPS 253985 WITH SCORE 255252.314
AT ITER 2073 NEW BEST:: SOT 2081293 SOS 1267192 HAS SOPS 1265880 HAS SOUS 254948 HAS SOUPS 253936 WITH SCORE 255203.192
AT ITER 2085 NEW BEST:: SOT 2081279 SOS 1266627 HAS SOPS 1264314 HAS SOUS 255138 HAS SOUPS 253922 WITH SCORE 255188.627
AT ITER 2113 NEW BEST:: SOT 2081179 SOS 1264367 HAS SOPS 1262054 HAS SOUS 255003 HAS SOUPS 253787 WITH SCORE 255051.367
AT ITER 2114 NEW BEST:: SOT 2081151 SOS 1264311 HAS SOPS 1261998 HAS SOUS 254975 HAS SOUPS 253759 WITH SCORE 255023.311
AT ITER 2122 NEW BEST:: SOT 2081126 SOS 1263709 HAS SOPS 1261359 HAS SOUS 254791 HAS SOUPS 253538 WITH SCORE 254801.709
AT ITER 2123 NEW BEST:: SOT 2081126 SOS 1263324 HAS SOPS 1261009 HAS SOUS 254791 HAS SOUPS 253538 WITH SCORE 254801.324
AT ITER 2152 NEW BEST:: SOT 2081123 SOS 1263321 HAS SOPS 1261006 HAS SOUS 254788 HAS SOUPS 253535 WITH SCORE 254798.321
AT ITER 2153 NEW BEST:: SOT 2081060 SOS 1262555 HAS SOPS 1260240 HAS SOUS 254725 HAS SOUPS 253472 WITH SCORE 254734.555
AT ITER 2160 NEW BEST:: SOT 2081056 SOS 1262551 HAS SOPS 1260236 HAS SOUS 254717 HAS SOUPS 253464 WITH SCORE 254726.551
AT ITER 2164 NEW BEST:: SOT 2080907 SOS 1262253 HAS SOPS 1259938 HAS SOUS 254440 HAS SOUPS 253187 WITH SCORE 254449.253
AT ITER 2176 NEW BEST:: SOT 2080882 SOS 1262228 HAS SOPS 1259913 HAS SOUS 254337 HAS SOUPS 253084 WITH SCORE 254346.228
AT ITER 2186 NEW BEST:: SOT 2080748 SOS 1264830 HAS SOPS 1262515 HAS SOUS 253997 HAS SOUPS 252744 WITH SCORE 254008.83
AT ITER 2190 NEW BEST:: SOT 2080739 SOS 1264722 HAS SOPS 1262407 HAS SOUS 253988 HAS SOUPS 252735 WITH SCORE 253999.722
AT ITER 2201 NEW BEST:: SOT 2080622 SOS 1264605 HAS SOPS 1262290 HAS SOUS 253754 HAS SOUPS 252501 WITH SCORE 253765.605
AT ITER 2203 NEW BEST:: SOT 2080573 SOS 1264604 HAS SOPS 1262192 HAS SOUS 253656 HAS SOUPS 252403 WITH SCORE 253667.604
AT ITER 2207 NEW BEST:: SOT 2080378 SOS 1260784 HAS SOPS 1258382 HAS SOUS 253410 HAS SOUPS 252157 WITH SCORE 253417.784
AT ITER 2219 NEW BEST:: SOT 2080353 SOS 1260484 HAS SOPS 1258082 HAS SOUS 253385 HAS SOUPS 252132 WITH SCORE 253392.484
AT ITER 2248 NEW BEST:: SOT 2080331 SOS 1260462 HAS SOPS 1258038 HAS SOUS 253363 HAS SOUPS 252088 WITH SCORE 253348.462
AT ITER 2261 NEW BEST:: SOT 2080152 SOS 1258292 HAS SOPS 1256000 HAS SOUS 253173 HAS SOUPS 251898 WITH SCORE 253156.292
AT ITER 2265 NEW BEST:: SOT 2079915 SOS 1255898 HAS SOPS 1253606 HAS SOUS 252821 HAS SOUPS 251546 WITH SCORE 252801.898
AT ITER 2271 NEW BEST:: SOT 2079903 SOS 1255886 HAS SOPS 1253594 HAS SOUS 252797 HAS SOUPS 251522 WITH SCORE 252777.886
AT ITER 2303 NEW BEST:: SOT 2079512 SOS 1252461 HAS SOPS 1250169 HAS SOUS 252512 HAS SOUPS 251237 WITH SCORE 252489.461
AT ITER 2313 NEW BEST:: SOT 2079361 SOS 1248094 HAS SOPS 1245802 HAS SOUS 252393 HAS SOUPS 251118 WITH SCORE 252366.094
AT ITER 2322 NEW BEST:: SOT 2079347 SOS 1247978 HAS SOPS 1245788 HAS SOUS 252283 HAS SOUPS 251054 WITH SCORE 252301.978
AT ITER 2323 NEW BEST:: SOT 2079313 SOS 1247944 HAS SOPS 1245754 HAS SOUS 252215 HAS SOUPS 250986 WITH SCORE 252233.944
AT ITER 2328 NEW BEST:: SOT 2080909 SOS 1249540 HAS SOPS 1247350 HAS SOUS 252063 HAS SOUPS 250834 WITH SCORE 252083.54
AT ITER 2349 NEW BEST:: SOT 2080909 SOS 1249540 HAS SOPS 1247350 HAS SOUS 252006 HAS SOUPS 250777 WITH SCORE 252026.54
AT ITER 2359 NEW BEST:: SOT 2080909 SOS 1249540 HAS SOPS 1247350 HAS SOUS 251983 HAS SOUPS 250754 WITH SCORE 252003.54
AT ITER 2364 NEW BEST:: SOT 2080642 SOS 1247143 HAS SOPS 1244953 HAS SOUS 251794 HAS SOUPS 250565 WITH SCORE 251812.143
AT ITER 2365 NEW BEST:: SOT 2080580 SOS 1247081 HAS SOPS 1244891 HAS SOUS 251672 HAS SOUPS 250443 WITH SCORE 251690.081
AT ITER 2368 NEW BEST:: SOT 2080580 SOS 1246480 HAS SOPS 1245023 HAS SOUS 251540 HAS SOUPS 250443 WITH SCORE 251689.48
AT ITER 2370 NEW BEST:: SOT 2080305 SOS 1246114 HAS SOPS 1244657 HAS SOUS 251383 HAS SOUPS 250286 WITH SCORE 251532.114
AT ITER 2378 NEW BEST:: SOT 2080260 SOS 1246024 HAS SOPS 1244567 HAS SOUS 251360 HAS SOUPS 250263 WITH SCORE 251509.024
AT ITER 2384 NEW BEST:: SOT 2080259 SOS 1244567 HAS SOPS 1243110 HAS SOUS 251165 HAS SOUPS 250068 WITH SCORE 251312.567
AT ITER 2398 NEW BEST:: SOT 2080200 SOS 1244508 HAS SOPS 1243051 HAS SOUS 251112 HAS SOUPS 250015 WITH SCORE 251259.508
AT ITER 2408 NEW BEST:: SOT 2080200 SOS 1244508 HAS SOPS 1243051 HAS SOUS 251061 HAS SOUPS 249964 WITH SCORE 251208.508
AT ITER 2418 NEW BEST:: SOT 2080190 SOS 1243768 HAS SOPS 1242311 HAS SOUS 251051 HAS SOUPS 249954 WITH SCORE 251197.768
AT ITER 2429 NEW BEST:: SOT 2080027 SOS 1241212 HAS SOPS 1239755 HAS SOUS 250879 HAS SOUPS 249782 WITH SCORE 251023.212
AT ITER 2441 NEW BEST:: SOT 2080000 SOS 1241185 HAS SOPS 1239728 HAS SOUS 250825 HAS SOUPS 249728 WITH SCORE 250969.185
AT ITER 2446 NEW BEST:: SOT 2079901 SOS 1238987 HAS SOPS 1237530 HAS SOUS 250810 HAS SOUPS 249713 WITH SCORE 250951.987
AT ITER 2449 NEW BEST:: SOT 2079868 SOS 1238901 HAS SOPS 1237464 HAS SOUS 250724 HAS SOUPS 249647 WITH SCORE 250885.901
AT ITER 2456 NEW BEST:: SOT 2079804 SOS 1237743 HAS SOPS 1236306 HAS SOUS 250660 HAS SOUPS 249583 WITH SCORE 250820.743
AT ITER 2470 NEW BEST:: SOT 2079676 SOS 1236847 HAS SOPS 1235410 HAS SOUS 250468 HAS SOUPS 249391 WITH SCORE 250627.847
AT ITER 2499 NEW BEST:: SOT 2079670 SOS 1236841 HAS SOPS 1235404 HAS SOUS 250456 HAS SOUPS 249379 WITH SCORE 250615.841
AT ITER 2503 NEW BEST:: SOT 2079598 SOS 1236697 HAS SOPS 1235260 HAS SOUS 250348 HAS SOUPS 249271 WITH SCORE 250507.697
AT ITER 2508 NEW BEST:: SOT 2079597 SOS 1236925 HAS SOPS 1235488 HAS SOUS 250346 HAS SOUPS 249269 WITH SCORE 250505.925
AT ITER 2550 NEW BEST:: SOT 2079566 SOS 1236542 HAS SOPS 1235116 HAS SOUS 250315 HAS SOUPS 249238 WITH SCORE 250474.542
AT ITER 2565 NEW BEST:: SOT 2079557 SOS 1236524 HAS SOPS 1235098 HAS SOUS 250176 HAS SOUPS 249099 WITH SCORE 250335.524
AT ITER 2573 NEW BEST:: SOT 2079419 SOS 1234958 HAS SOPS 1233532 HAS SOUS 249973 HAS SOUPS 248896 WITH SCORE 250130.958
AT ITER 2577 NEW BEST:: SOT 2079408 SOS 1234947 HAS SOPS 1233521 HAS SOUS 249962 HAS SOUPS 248885 WITH SCORE 250119.947
AT ITER 2580 NEW BEST:: SOT 2079392 SOS 1234915 HAS SOPS 1233489 HAS SOUS 249930 HAS SOUPS 248853 WITH SCORE 250087.915
AT ITER 2616 NEW BEST:: SOT 2079370 SOS 1234651 HAS SOPS 1233225 HAS SOUS 249908 HAS SOUPS 248831 WITH SCORE 250065.651
AT ITER 2619 NEW BEST:: SOT 2079348 SOS 1234629 HAS SOPS 1233203 HAS SOUS 249864 HAS SOUPS 248787 WITH SCORE 250021.629
AT ITER 2620 NEW BEST:: SOT 2081064 SOS 1236345 HAS SOPS 1234919 HAS SOUS 249853 HAS SOUPS 248776 WITH SCORE 250012.345
AT ITER 2642 NEW BEST:: SOT 2080535 SOS 1235816 HAS SOPS 1234390 HAS SOUS 249830 HAS SOUPS 248753 WITH SCORE 249988.816
AT ITER 2666 NEW BEST:: SOT 2080495 SOS 1235776 HAS SOPS 1234350 HAS SOUS 249760 HAS SOUPS 248683 WITH SCORE 249918.776
AT ITER 2667 NEW BEST:: SOT 2080484 SOS 1235765 HAS SOPS 1234339 HAS SOUS 249749 HAS SOUPS 248672 WITH SCORE 249907.765
AT ITER 2701 NEW BEST:: SOT 2080421 SOS 1235702 HAS SOPS 1234276 HAS SOUS 249646 HAS SOUPS 248569 WITH SCORE 249804.702
AT ITER 2711 NEW BEST:: SOT 2080421 SOS 1235702 HAS SOPS 1234276 HAS SOUS 249623 HAS SOUPS 248546 WITH SCORE 249781.702
AT ITER 2723 NEW BEST:: SOT 2080311 SOS 1235592 HAS SOPS 1234166 HAS SOUS 249498 HAS SOUPS 248421 WITH SCORE 249656.592
AT ITER 2725 NEW BEST:: SOT 2080279 SOS 1235248 HAS SOPS 1233822 HAS SOUS 249462 HAS SOUPS 248385 WITH SCORE 249620.248
AT ITER 2730 NEW BEST:: SOT 2080553 SOS 1238415 HAS SOPS 1236989 HAS SOUS 249445 HAS SOUPS 248368 WITH SCORE 249606.415
AT ITER 2737 NEW BEST:: SOT 2080458 SOS 1238306 HAS SOPS 1236880 HAS SOUS 249302 HAS SOUPS 248225 WITH SCORE 249463.306
AT ITER 2743 NEW BEST:: SOT 2080433 SOS 1238256 HAS SOPS 1236830 HAS SOUS 249277 HAS SOUPS 248200 WITH SCORE 249438.256
AT ITER 2761 NEW BEST:: SOT 2080348 SOS 1238171 HAS SOPS 1236745 HAS SOUS 249153 HAS SOUPS 248076 WITH SCORE 249314.171
AT ITER 2776 NEW BEST:: SOT 2080236 SOS 1237947 HAS SOPS 1236521 HAS SOUS 248912 HAS SOUPS 247835 WITH SCORE 249072.947
AT ITER 2780 NEW BEST:: SOT 2080311 SOS 1164774 HAS SOPS 1163348 HAS SOUS 248601 HAS SOUPS 247524 WITH SCORE 248688.774
AT ITER 2821 NEW BEST:: SOT 2080290 SOS 1164732 HAS SOPS 1163306 HAS SOUS 248574 HAS SOUPS 247497 WITH SCORE 248661.732
AT ITER 2828 NEW BEST:: SOT 2080223 SOS 1164665 HAS SOPS 1163239 HAS SOUS 248440 HAS SOUPS 247363 WITH SCORE 248527.665
AT ITER 2837 NEW BEST:: SOT 2080178 SOS 1164620 HAS SOPS 1163194 HAS SOUS 248350 HAS SOUPS 247273 WITH SCORE 248437.62
AT ITER 2839 NEW BEST:: SOT 2080142 SOS 1164548 HAS SOPS 1163122 HAS SOUS 248314 HAS SOUPS 247237 WITH SCORE 248401.548
AT ITER 2856 NEW BEST:: SOT 2080178 SOS 1164551 HAS SOPS 1162959 HAS SOUS 248198 HAS SOUPS 247074 WITH SCORE 248238.551
AT ITER 2885 NEW BEST:: SOT 2080142 SOS 1164515 HAS SOPS 1162923 HAS SOUS 248162 HAS SOUPS 247038 WITH SCORE 248202.515
AT ITER 2887 NEW BEST:: SOT 2080017 SOS 1164390 HAS SOPS 1162798 HAS SOUS 247954 HAS SOUPS 246830 WITH SCORE 247994.39
AT ITER 2909 NEW BEST:: SOT 2079972 SOS 1164300 HAS SOPS 1162708 HAS SOUS 247900 HAS SOUPS 246776 WITH SCORE 247940.3
AT ITER 2917 NEW BEST:: SOT 2079962 SOS 1164290 HAS SOPS 1162698 HAS SOUS 247869 HAS SOUPS 246745 WITH SCORE 247909.29
AT ITER 2920 NEW BEST:: SOT 2079846 SOS 1164058 HAS SOPS 1162466 HAS SOUS 247658 HAS SOUPS 246534 WITH SCORE 247698.058
AT ITER 2941 NEW BEST:: SOT 2079841 SOS 1164048 HAS SOPS 1162456 HAS SOUS 247648 HAS SOUPS 246524 WITH SCORE 247688.048
AT ITER 2962 NEW BEST:: SOT 2079828 SOS 1164035 HAS SOPS 1162443 HAS SOUS 247622 HAS SOUPS 246498 WITH SCORE 247662.035
AT ITER 2967 NEW BEST:: SOT 2079828 SOS 1164035 HAS SOPS 1162443 HAS SOUS 247618 HAS SOUPS 246494 WITH SCORE 247658.035
AT ITER 2970 NEW BEST:: SOT 2079919 SOS 1163713 HAS SOPS 1162005 HAS SOUS 247549 HAS SOUPS 246309 WITH SCORE 247472.713
AT ITER 2975 NEW BEST:: SOT 2079821 SOS 1163615 HAS SOPS 1161907 HAS SOUS 247353 HAS SOUPS 246113 WITH SCORE 247276.615
AT ITER 2988 NEW BEST:: SOT 2079797 SOS 1163591 HAS SOPS 1161883 HAS SOUS 247305 HAS SOUPS 246065 WITH SCORE 247228.591
AT ITER 2993 NEW BEST:: SOT 2079756 SOS 1163550 HAS SOPS 1161842 HAS SOUS 247223 HAS SOUPS 245983 WITH SCORE 247146.55
AT ITER 3001 NEW BEST:: SOT 2079739 SOS 1163533 HAS SOPS 1161825 HAS SOUS 247206 HAS SOUPS 245966 WITH SCORE 247129.533
AT ITER 3015 NEW BEST:: SOT 2079711 SOS 1163477 HAS SOPS 1161769 HAS SOUS 247166 HAS SOUPS 245926 WITH SCORE 247089.477
AT ITER 3016 NEW BEST:: SOT 2079513 SOS 1165781 HAS SOPS 1164073 HAS SOUS 246812 HAS SOUPS 245572 WITH SCORE 246737.781
AT ITER 3018 NEW BEST:: SOT 2079513 SOS 1165781 HAS SOPS 1164073 HAS SOUS 246789 HAS SOUPS 245549 WITH SCORE 246714.781
AT ITER 3041 NEW BEST:: SOT 2079503 SOS 1165761 HAS SOPS 1164053 HAS SOUS 246769 HAS SOUPS 245529 WITH SCORE 246694.761
AT ITER 3046 NEW BEST:: SOT 2079497 SOS 1165689 HAS SOPS 1163981 HAS SOUS 246763 HAS SOUPS 245523 WITH SCORE 246688.689
AT ITER 3052 NEW BEST:: SOT 2079457 SOS 1166009 HAS SOPS 1164301 HAS SOUS 246714 HAS SOUPS 245474 WITH SCORE 246640.009
AT ITER 3055 NEW BEST:: SOT 2079433 SOS 1165985 HAS SOPS 1164277 HAS SOUS 246666 HAS SOUPS 245426 WITH SCORE 246591.985
AT ITER 3068 NEW BEST:: SOT 2079434 SOS 1166667 HAS SOPS 1164959 HAS SOUS 246662 HAS SOUPS 245422 WITH SCORE 246588.667
AT ITER 3080 NEW BEST:: SOT 2079431 SOS 1166661 HAS SOPS 1164953 HAS SOUS 246659 HAS SOUPS 245419 WITH SCORE 246585.661
AT ITER 3089 NEW BEST:: SOT 2079549 SOS 1166393 HAS SOPS 1164421 HAS SOUS 246859 HAS SOUPS 245355 WITH SCORE 246521.393
AT ITER 3104 NEW BEST:: SOT 2079549 SOS 1166393 HAS SOPS 1164421 HAS SOUS 246845 HAS SOUPS 245341 WITH SCORE 246507.393
AT ITER 3106 NEW BEST:: SOT 2079451 SOS 1165658 HAS SOPS 1163735 HAS SOUS 246649 HAS SOUPS 245194 WITH SCORE 246359.658
AT ITER 3112 NEW BEST:: SOT 2079455 SOS 1165662 HAS SOPS 1163739 HAS SOUS 246643 HAS SOUPS 245188 WITH SCORE 246353.662
AT ITER 3121 NEW BEST:: SOT 2079405 SOS 1165612 HAS SOPS 1163689 HAS SOUS 246563 HAS SOUPS 245108 WITH SCORE 246273.612
AT ITER 3122 NEW BEST:: SOT 2079368 SOS 1165538 HAS SOPS 1163615 HAS SOUS 246489 HAS SOUPS 245034 WITH SCORE 246199.538
AT ITER 3124 NEW BEST:: SOT 2079368 SOS 1164328 HAS SOPS 1162405 HAS SOUS 246489 HAS SOUPS 245034 WITH SCORE 246198.328
AT ITER 3153 NEW BEST:: SOT 2079368 SOS 1163148 HAS SOPS 1161225 HAS SOUS 246489 HAS SOUPS 245034 WITH SCORE 246197.148
AT ITER 3154 NEW BEST:: SOT 2079336 SOS 1163116 HAS SOPS 1161193 HAS SOUS 246383 HAS SOUPS 244928 WITH SCORE 246091.116
AT ITER 3190 NEW BEST:: SOT 2079336 SOS 1163116 HAS SOPS 1161193 HAS SOUS 246356 HAS SOUPS 244901 WITH SCORE 246064.116
AT ITER 3195 NEW BEST:: SOT 2079236 SOS 1163016 HAS SOPS 1161152 HAS SOUS 246279 HAS SOUPS 244807 WITH SCORE 245970.016
AT ITER 3196 NEW BEST:: SOT 2079213 SOS 1162970 HAS SOPS 1161106 HAS SOUS 246247 HAS SOUPS 244775 WITH SCORE 245937.97
AT ITER 3209 NEW BEST:: SOT 2079198 SOS 1162955 HAS SOPS 1161091 HAS SOUS 246217 HAS SOUPS 244745 WITH SCORE 245907.955
AT ITER 3250 NEW BEST:: SOT 2079198 SOS 1162937 HAS SOPS 1161073 HAS SOUS 246217 HAS SOUPS 244745 WITH SCORE 245907.937
AT ITER 3272 NEW BEST:: SOT 2079198 SOS 1161697 HAS SOPS 1159833 HAS SOUS 246217 HAS SOUPS 244745 WITH SCORE 245906.697
AT ITER 3274 NEW BEST:: SOT 2079198 SOS 1162200 HAS SOPS 1160336 HAS SOUS 246214 HAS SOUPS 244742 WITH SCORE 245904.2
AT ITER 3288 NEW BEST:: SOT 2079156 SOS 1162158 HAS SOPS 1160294 HAS SOUS 246130 HAS SOUPS 244658 WITH SCORE 245820.158
AT ITER 3299 NEW BEST:: SOT 2079134 SOS 1162114 HAS SOPS 1160250 HAS SOUS 246116 HAS SOUPS 244644 WITH SCORE 245806.114
AT ITER 3338 NEW BEST:: SOT 2079101 SOS 1162081 HAS SOPS 1160217 HAS SOUS 246050 HAS SOUPS 244578 WITH SCORE 245740.081
AT ITER 3339 NEW BEST:: SOT 2079101 SOS 1162081 HAS SOPS 1160195 HAS SOUS 246028 HAS SOUPS 244556 WITH SCORE 245718.081
AT ITER 3347 NEW BEST:: SOT 2079099 SOS 1162079 HAS SOPS 1160193 HAS SOUS 246024 HAS SOUPS 244552 WITH SCORE 245714.079
AT ITER 3363 NEW BEST:: SOT 2079094 SOS 1161069 HAS SOPS 1159183 HAS SOUS 246019 HAS SOUPS 244547 WITH SCORE 245708.069
AT ITER 3380 NEW BEST:: SOT 2079013 SOS 1160988 HAS SOPS 1159102 HAS SOUS 245960 HAS SOUPS 244488 WITH SCORE 245648.988
AT ITER 3444 NEW BEST:: SOT 2078938 SOS 1160913 HAS SOPS 1159027 HAS SOUS 245891 HAS SOUPS 244419 WITH SCORE 245579.913
AT ITER 3446 NEW BEST:: SOT 2078864 SOS 1159035 HAS SOPS 1157149 HAS SOUS 245817 HAS SOUPS 244345 WITH SCORE 245504.035
AT ITER 3464 NEW BEST:: SOT 2078756 SOS 1160339 HAS SOPS 1158453 HAS SOUS 245557 HAS SOUPS 244085 WITH SCORE 245245.339
AT ITER 3465 NEW BEST:: SOT 2078732 SOS 1160051 HAS SOPS 1158165 HAS SOUS 245533 HAS SOUPS 244061 WITH SCORE 245221.051
AT ITER 3490 NEW BEST:: SOT 2078642 SOS 1159241 HAS SOPS 1157355 HAS SOUS 245416 HAS SOUPS 243944 WITH SCORE 245103.241
AT ITER 3518 NEW BEST:: SOT 2078642 SOS 1159241 HAS SOPS 1157355 HAS SOUS 245408 HAS SOUPS 243936 WITH SCORE 245095.241
AT ITER 3535 NEW BEST:: SOT 2078456 SOS 1158851 HAS SOPS 1156983 HAS SOUS 245140 HAS SOUPS 243668 WITH SCORE 244826.851
AT ITER 3561 NEW BEST:: SOT 2078484 SOS 1158879 HAS SOPS 1157011 HAS SOUS 245136 HAS SOUPS 243664 WITH SCORE 244822.879
AT ITER 3590 NEW BEST:: SOT 2078481 SOS 1158873 HAS SOPS 1157005 HAS SOUS 245133 HAS SOUPS 243661 WITH SCORE 244819.873
AT ITER 3594 NEW BEST:: SOT 2078472 SOS 1158864 HAS SOPS 1156996 HAS SOUS 245124 HAS SOUPS 243652 WITH SCORE 244810.864
AT ITER 3596 NEW BEST:: SOT 2078424 SOS 1158804 HAS SOPS 1156936 HAS SOUS 245031 HAS SOUPS 243559 WITH SCORE 244717.804
AT ITER 3600 NEW BEST:: SOT 2078424 SOS 1157429 HAS SOPS 1155561 HAS SOUS 245031 HAS SOUPS 243559 WITH SCORE 244716.429
AT ITER 3605 NEW BEST:: SOT 2078441 SOS 1158893 HAS SOPS 1157025 HAS SOUS 244959 HAS SOUPS 243487 WITH SCORE 244645.893
AT ITER 3632 NEW BEST:: SOT 2078331 SOS 1157573 HAS SOPS 1155705 HAS SOUS 244837 HAS SOUPS 243365 WITH SCORE 244522.573
AT ITER 3648 NEW BEST:: SOT 2078310 SOS 1157300 HAS SOPS 1155432 HAS SOUS 244795 HAS SOUPS 243323 WITH SCORE 244480.3
AT ITER 3653 NEW BEST:: SOT 2078282 SOS 1157272 HAS SOPS 1155432 HAS SOUS 244739 HAS SOUPS 243295 WITH SCORE 244452.272
AT ITER 3676 NEW BEST:: SOT 2078217 SOS 1157142 HAS SOPS 1155302 HAS SOUS 244674 HAS SOUPS 243230 WITH SCORE 244387.142
AT ITER 3742 NEW BEST:: SOT 2078074 SOS 1156999 HAS SOPS 1155159 HAS SOUS 244388 HAS SOUPS 242944 WITH SCORE 244100.999
AT ITER 3767 NEW BEST:: SOT 2078039 SOS 1156964 HAS SOPS 1155124 HAS SOUS 244318 HAS SOUPS 242874 WITH SCORE 244030.964
AT ITER 3815 NEW BEST:: SOT 2077970 SOS 1157516 HAS SOPS 1155676 HAS SOUS 244180 HAS SOUPS 242736 WITH SCORE 243893.516
AT ITER 3821 NEW BEST:: SOT 2077965 SOS 1157213 HAS SOPS 1155396 HAS SOUS 244140 HAS SOUPS 242719 WITH SCORE 243876.213
AT ITER 3823 NEW BEST:: SOT 2077959 SOS 1157207 HAS SOPS 1155390 HAS SOUS 244128 HAS SOUPS 242707 WITH SCORE 243864.207
AT ITER 3829 NEW BEST:: SOT 2077952 SOS 1157200 HAS SOPS 1155383 HAS SOUS 244114 HAS SOUPS 242693 WITH SCORE 243850.2
AT ITER 3835 NEW BEST:: SOT 2077901 SOS 1157149 HAS SOPS 1155332 HAS SOUS 244063 HAS SOUPS 242642 WITH SCORE 243799.149
AT ITER 3838 NEW BEST:: SOT 2077850 SOS 1157047 HAS SOPS 1155230 HAS SOUS 244012 HAS SOUPS 242591 WITH SCORE 243748.047
AT ITER 3848 NEW BEST:: SOT 2077499 SOS 1156696 HAS SOPS 1154976 HAS SOUS 243661 HAS SOUPS 242240 WITH SCORE 243396.696
AT ITER 3849 NEW BEST:: SOT 2077499 SOS 1156204 HAS SOPS 1154484 HAS SOUS 243612 HAS SOUPS 242191 WITH SCORE 243347.204
AT ITER 3859 NEW BEST:: SOT 2077404 SOS 1156014 HAS SOPS 1154294 HAS SOUS 243529 HAS SOUPS 242108 WITH SCORE 243264.014
AT ITER 3872 NEW BEST:: SOT 2077228 SOS 1155838 HAS SOPS 1154118 HAS SOUS 243529 HAS SOUPS 242108 WITH SCORE 243263.838
AT ITER 3878 NEW BEST:: SOT 2077178 SOS 1155788 HAS SOPS 1154068 HAS SOUS 243454 HAS SOUPS 242033 WITH SCORE 243188.788
AT ITER 3883 NEW BEST:: SOT 2077074 SOS 1154540 HAS SOPS 1152820 HAS SOUS 243350 HAS SOUPS 241929 WITH SCORE 243083.54
AT ITER 3937 NEW BEST:: SOT 2076810 SOS 1154276 HAS SOPS 1152556 HAS SOUS 243350 HAS SOUPS 241929 WITH SCORE 243083.276
AT ITER 3943 NEW BEST:: SOT 2077839 SOS 1155305 HAS SOPS 1153585 HAS SOUS 242949 HAS SOUPS 241528 WITH SCORE 242683.305
AT ITER 3949 NEW BEST:: SOT 2077745 SOS 1155117 HAS SOPS 1153397 HAS SOUS 242761 HAS SOUPS 241340 WITH SCORE 242495.117
AT ITER 3950 NEW BEST:: SOT 2077701 SOS 1155103 HAS SOPS 1153309 HAS SOUS 242687 HAS SOUPS 241266 WITH SCORE 242421.103
AT ITER 3969 NEW BEST:: SOT 2077701 SOS 1155103 HAS SOPS 1153309 HAS SOUS 242671 HAS SOUPS 241250 WITH SCORE 242405.103
AT ITER 3995 NEW BEST:: SOT 2077670 SOS 1155041 HAS SOPS 1153247 HAS SOUS 242593 HAS SOUPS 241172 WITH SCORE 242327.041
AT ITER 4000 NEW BEST:: SOT 2077589 SOS 1154069 HAS SOPS 1152275 HAS SOUS 242512 HAS SOUPS 241091 WITH SCORE 242245.069
AT ITER 4013 NEW BEST:: SOT 2077589 SOS 1154046 HAS SOPS 1152252 HAS SOUS 242489 HAS SOUPS 241068 WITH SCORE 242222.046
AT ITER 4018 NEW BEST:: SOT 2077533 SOS 1153934 HAS SOPS 1152140 HAS SOUS 242433 HAS SOUPS 241012 WITH SCORE 242165.934
AT ITER 4049 NEW BEST:: SOT 2077014 SOS 1153910 HAS SOPS 1152116 HAS SOUS 242103 HAS SOUPS 240682 WITH SCORE 241835.91
AT ITER 4064 NEW BEST:: SOT 2077046 SOS 1153994 HAS SOPS 1152200 HAS SOUS 242102 HAS SOUPS 240681 WITH SCORE 241834.994
AT ITER 4067 NEW BEST:: SOT 2077115 SOS 1153810 HAS SOPS 1152016 HAS SOUS 242102 HAS SOUPS 240681 WITH SCORE 241834.81
AT ITER 4071 NEW BEST:: SOT 2077025 SOS 1153630 HAS SOPS 1151836 HAS SOUS 241981 HAS SOUPS 240560 WITH SCORE 241713.63
AT ITER 4091 NEW BEST:: SOT 2077003 SOS 1153586 HAS SOPS 1151792 HAS SOUS 241981 HAS SOUPS 240560 WITH SCORE 241713.586
AT ITER 4096 NEW BEST:: SOT 2077047 SOS 1153630 HAS SOPS 1151747 HAS SOUS 242049 HAS SOUPS 240539 WITH SCORE 241692.63
AT ITER 4097 NEW BEST:: SOT 2077067 SOS 1153650 HAS SOPS 1151767 HAS SOUS 242018 HAS SOUPS 240508 WITH SCORE 241661.65
AT ITER 4099 NEW BEST:: SOT 2077056 SOS 1153518 HAS SOPS 1151635 HAS SOUS 242007 HAS SOUPS 240497 WITH SCORE 241650.518
AT ITER 4120 NEW BEST:: SOT 2077041 SOS 1153488 HAS SOPS 1151605 HAS SOUS 241977 HAS SOUPS 240467 WITH SCORE 241620.488
AT ITER 4122 NEW BEST:: SOT 2077029 SOS 1153476 HAS SOPS 1151593 HAS SOUS 241954 HAS SOUPS 240444 WITH SCORE 241597.476
AT ITER 4124 NEW BEST:: SOT 2077018 SOS 1153454 HAS SOPS 1151571 HAS SOUS 241939 HAS SOUPS 240429 WITH SCORE 241582.454
AT ITER 4130 NEW BEST:: SOT 2077010 SOS 1153324 HAS SOPS 1151441 HAS SOUS 241938 HAS SOUPS 240428 WITH SCORE 241581.324
AT ITER 4132 NEW BEST:: SOT 2076998 SOS 1153300 HAS SOPS 1151417 HAS SOUS 241914 HAS SOUPS 240404 WITH SCORE 241557.3
AT ITER 4133 NEW BEST:: SOT 2076817 SOS 1153119 HAS SOPS 1151414 HAS SOUS 241674 HAS SOUPS 240240 WITH SCORE 241393.119
AT ITER 4141 NEW BEST:: SOT 2076681 SOS 1152847 HAS SOPS 1151142 HAS SOUS 241440 HAS SOUPS 240006 WITH SCORE 241158.847
AT ITER 4156 NEW BEST:: SOT 2076678 SOS 1152811 HAS SOPS 1151106 HAS SOUS 241437 HAS SOUPS 240003 WITH SCORE 241155.811
AT ITER 4164 NEW BEST:: SOT 2076645 SOS 1152778 HAS SOPS 1151073 HAS SOUS 241371 HAS SOUPS 239937 WITH SCORE 241089.778
AT ITER 4174 NEW BEST:: SOT 2076614 SOS 1152716 HAS SOPS 1151011 HAS SOUS 241340 HAS SOUPS 239906 WITH SCORE 241058.716
AT ITER 4184 NEW BEST:: SOT 2076599 SOS 1152701 HAS SOPS 1151011 HAS SOUS 241325 HAS SOUPS 239891 WITH SCORE 241043.701
AT ITER 4185 NEW BEST:: SOT 2076555 SOS 1152613 HAS SOPS 1150923 HAS SOUS 241268 HAS SOUPS 239834 WITH SCORE 240986.613
AT ITER 4192 NEW BEST:: SOT 2076546 SOS 1152604 HAS SOPS 1150914 HAS SOUS 241250 HAS SOUPS 239816 WITH SCORE 240968.604
AT ITER 4197 NEW BEST:: SOT 2076483 SOS 1152541 HAS SOPS 1150851 HAS SOUS 241136 HAS SOUPS 239702 WITH SCORE 240854.541
AT ITER 4230 NEW BEST:: SOT 2076482 SOS 1152540 HAS SOPS 1150850 HAS SOUS 241134 HAS SOUPS 239700 WITH SCORE 240852.54
AT ITER 4235 NEW BEST:: SOT 2076415 SOS 1152473 HAS SOPS 1150783 HAS SOUS 241112 HAS SOUPS 239678 WITH SCORE 240830.473
AT ITER 4249 NEW BEST:: SOT 2076413 SOS 1152471 HAS SOPS 1150781 HAS SOUS 241108 HAS SOUPS 239674 WITH SCORE 240826.471
AT ITER 4258 NEW BEST:: SOT 2076408 SOS 1152461 HAS SOPS 1150771 HAS SOUS 241101 HAS SOUPS 239667 WITH SCORE 240819.461
AT ITER 4259 NEW BEST:: SOT 2076376 SOS 1152397 HAS SOPS 1150707 HAS SOUS 241037 HAS SOUPS 239603 WITH SCORE 240755.397
AT ITER 4275 NEW BEST:: SOT 2076362 SOS 1152383 HAS SOPS 1150693 HAS SOUS 241010 HAS SOUPS 239576 WITH SCORE 240728.383
AT ITER 4279 NEW BEST:: SOT 2076352 SOS 1152373 HAS SOPS 1150683 HAS SOUS 240990 HAS SOUPS 239556 WITH SCORE 240708.373
AT ITER 4287 NEW BEST:: SOT 2076331 SOS 1153801 HAS SOPS 1152111 HAS SOUS 240835 HAS SOUPS 239401 WITH SCORE 240554.801
AT ITER 4291 NEW BEST:: SOT 2076292 SOS 1153762 HAS SOPS 1152072 HAS SOUS 240757 HAS SOUPS 239323 WITH SCORE 240476.762
AT ITER 4296 NEW BEST:: SOT 2076292 SOS 1153762 HAS SOPS 1152052 HAS SOUS 240737 HAS SOUPS 239303 WITH SCORE 240456.762
AT ITER 4300 NEW BEST:: SOT 2076217 SOS 1153687 HAS SOPS 1151977 HAS SOUS 240587 HAS SOUPS 239153 WITH SCORE 240306.687
AT ITER 4311 NEW BEST:: SOT 2076154 SOS 1153624 HAS SOPS 1151914 HAS SOUS 240499 HAS SOUPS 239065 WITH SCORE 240218.624
AT ITER 4313 NEW BEST:: SOT 2076145 SOS 1153606 HAS SOPS 1151896 HAS SOUS 240490 HAS SOUPS 239056 WITH SCORE 240209.606
AT ITER 4318 NEW BEST:: SOT 2076067 SOS 1153528 HAS SOPS 1151818 HAS SOUS 240334 HAS SOUPS 238900 WITH SCORE 240053.528
AT ITER 4324 NEW BEST:: SOT 2075745 SOS 1151737 HAS SOPS 1150027 HAS SOUS 239808 HAS SOUPS 238374 WITH SCORE 239525.737
AT ITER 4339 NEW BEST:: SOT 2075743 SOS 1151735 HAS SOPS 1150025 HAS SOUS 239804 HAS SOUPS 238370 WITH SCORE 239521.735
AT ITER 4346 NEW BEST:: SOT 2075743 SOS 1151485 HAS SOPS 1149775 HAS SOUS 239804 HAS SOUPS 238370 WITH SCORE 239521.485
AT ITER 4380 NEW BEST:: SOT 2075739 SOS 1151481 HAS SOPS 1149771 HAS SOUS 239796 HAS SOUPS 238362 WITH SCORE 239513.481
AT ITER 4421 NEW BEST:: SOT 2075661 SOS 1151403 HAS SOPS 1149793 HAS SOUS 239723 HAS SOUPS 238306 WITH SCORE 239457.403
AT ITER 4437 NEW BEST:: SOT 2075621 SOS 1151363 HAS SOPS 1149753 HAS SOUS 239643 HAS SOUPS 238226 WITH SCORE 239377.363
AT ITER 4439 NEW BEST:: SOT 2075456 SOS 1148393 HAS SOPS 1146783 HAS SOUS 239416 HAS SOUPS 237999 WITH SCORE 239147.393
AT ITER 4451 NEW BEST:: SOT 2075437 SOS 1148355 HAS SOPS 1146745 HAS SOUS 239378 HAS SOUPS 237961 WITH SCORE 239109.355
AT ITER 4496 NEW BEST:: SOT 2075390 SOS 1148308 HAS SOPS 1146698 HAS SOUS 239284 HAS SOUPS 237867 WITH SCORE 239015.308
AT ITER 4499 NEW BEST:: SOT 2075327 SOS 1145972 HAS SOPS 1144362 HAS SOUS 239221 HAS SOUPS 237804 WITH SCORE 238949.972
AT ITER 4514 NEW BEST:: SOT 2075294 SOS 1146581 HAS SOPS 1144934 HAS SOUS 239223 HAS SOUPS 237771 WITH SCORE 238917.581
AT ITER 4522 NEW BEST:: SOT 2075235 SOS 1146522 HAS SOPS 1144875 HAS SOUS 239105 HAS SOUPS 237653 WITH SCORE 238799.522
AT ITER 4567 NEW BEST:: SOT 2075252 SOS 1146556 HAS SOPS 1144909 HAS SOUS 239103 HAS SOUPS 237651 WITH SCORE 238797.556
AT ITER 4574 NEW BEST:: SOT 2075206 SOS 1146464 HAS SOPS 1144817 HAS SOUS 239011 HAS SOUPS 237559 WITH SCORE 238705.464
AT ITER 4611 NEW BEST:: SOT 2075206 SOS 1146256 HAS SOPS 1144609 HAS SOUS 238985 HAS SOUPS 237533 WITH SCORE 238679.256
AT ITER 4616 NEW BEST:: SOT 2075288 SOS 1146305 HAS SOPS 1144544 HAS SOUS 238962 HAS SOUPS 237510 WITH SCORE 238656.305
AT ITER 4618 NEW BEST:: SOT 2075325 SOS 1147639 HAS SOPS 1145878 HAS SOUS 238910 HAS SOUPS 237458 WITH SCORE 238605.639
AT ITER 4640 NEW BEST:: SOT 2075316 SOS 1148061 HAS SOPS 1146300 HAS SOUS 238892 HAS SOUPS 237440 WITH SCORE 238588.061
AT ITER 4646 NEW BEST:: SOT 2075316 SOS 1148056 HAS SOPS 1146295 HAS SOUS 238892 HAS SOUPS 237440 WITH SCORE 238588.056
AT ITER 4663 NEW BEST:: SOT 2075306 SOS 1147724 HAS SOPS 1145963 HAS SOUS 238891 HAS SOUPS 237439 WITH SCORE 238586.724
AT ITER 4666 NEW BEST:: SOT 2075326 SOS 1147647 HAS SOPS 1145886 HAS SOUS 238806 HAS SOUPS 237354 WITH SCORE 238501.647
AT ITER 4672 NEW BEST:: SOT 2075315 SOS 1147625 HAS SOPS 1145864 HAS SOUS 238795 HAS SOUPS 237343 WITH SCORE 238490.625
AT ITER 4693 NEW BEST:: SOT 2075299 SOS 1147609 HAS SOPS 1145848 HAS SOUS 238763 HAS SOUPS 237311 WITH SCORE 238458.609
AT ITER 4694 NEW BEST:: SOT 2075293 SOS 1147657 HAS SOPS 1145896 HAS SOUS 238757 HAS SOUPS 237305 WITH SCORE 238452.657
AT ITER 4704 NEW BEST:: SOT 2075223 SOS 1148867 HAS SOPS 1147106 HAS SOUS 238628 HAS SOUPS 237176 WITH SCORE 238324.867
AT ITER 4730 NEW BEST:: SOT 2075192 SOS 1148836 HAS SOPS 1147075 HAS SOUS 238566 HAS SOUPS 237114 WITH SCORE 238262.836
AT ITER 4744 NEW BEST:: SOT 2075137 SOS 1147076 HAS SOPS 1145315 HAS SOUS 238516 HAS SOUPS 237064 WITH SCORE 238211.076
AT ITER 4746 NEW BEST:: SOT 2075015 SOS 1146954 HAS SOPS 1145193 HAS SOUS 238276 HAS SOUPS 236824 WITH SCORE 237970.954
AT ITER 4750 NEW BEST:: SOT 2075009 SOS 1147272 HAS SOPS 1145511 HAS SOUS 238237 HAS SOUPS 236785 WITH SCORE 237932.272
AT ITER 4760 NEW BEST:: SOT 2074978 SOS 1147241 HAS SOPS 1145480 HAS SOUS 238200 HAS SOUPS 236748 WITH SCORE 237895.241
AT ITER 4776 NEW BEST:: SOT 2074920 SOS 1147183 HAS SOPS 1145529 HAS SOUS 238191 HAS SOUPS 236739 WITH SCORE 237886.183
AT ITER 4785 NEW BEST:: SOT 2074930 SOS 1147123 HAS SOPS 1145469 HAS SOUS 238131 HAS SOUPS 236679 WITH SCORE 237826.123
AT ITER 4793 NEW BEST:: SOT 2074915 SOS 1147108 HAS SOPS 1145454 HAS SOUS 238101 HAS SOUPS 236649 WITH SCORE 237796.108
AT ITER 4856 NEW BEST:: SOT 2075398 SOS 1147591 HAS SOPS 1145937 HAS SOUS 238078 HAS SOUPS 236626 WITH SCORE 237773.591
AT ITER 4866 NEW BEST:: SOT 2075350 SOS 1148095 HAS SOPS 1146441 HAS SOUS 238032 HAS SOUPS 236580 WITH SCORE 237728.095
AT ITER 4869 NEW BEST:: SOT 2075212 SOS 1147867 HAS SOPS 1146213 HAS SOUS 238026 HAS SOUPS 236574 WITH SCORE 237721.867
AT ITER 4873 NEW BEST:: SOT 2075200 SOS 1147843 HAS SOPS 1146189 HAS SOUS 238014 HAS SOUPS 236562 WITH SCORE 237709.843
AT ITER 4916 NEW BEST:: SOT 2075184 SOS 1147811 HAS SOPS 1146157 HAS SOUS 237998 HAS SOUPS 236546 WITH SCORE 237693.811
AT ITER 4925 NEW BEST:: SOT 2075152 SOS 1147779 HAS SOPS 1146130 HAS SOUS 237958 HAS SOUPS 236511 WITH SCORE 237658.779
AT ITER 4954 NEW BEST:: SOT 2075092 SOS 1147719 HAS SOPS 1146070 HAS SOUS 237838 HAS SOUPS 236391 WITH SCORE 237538.719
AT ITER 4966 NEW BEST:: SOT 2075064 SOS 1146663 HAS SOPS 1145014 HAS SOUS 237813 HAS SOUPS 236366 WITH SCORE 237512.663
AT ITER 4995 NEW BEST:: SOT 2075028 SOS 1146591 HAS SOPS 1144942 HAS SOUS 237741 HAS SOUPS 236294 WITH SCORE 237440.591
AT ITER 5010 NEW BEST:: SOT 2075022 SOS 1146579 HAS SOPS 1144930 HAS SOUS 237729 HAS SOUPS 236282 WITH SCORE 237428.579
AT ITER 5037 NEW BEST:: SOT 2074956 SOS 1146513 HAS SOPS 1144864 HAS SOUS 237604 HAS SOUPS 236157 WITH SCORE 237303.513
AT ITER 5044 NEW BEST:: SOT 2074820 SOS 1146377 HAS SOPS 1144728 HAS SOUS 237332 HAS SOUPS 235885 WITH SCORE 237031.377
AT ITER 5070 NEW BEST:: SOT 2074813 SOS 1146370 HAS SOPS 1144721 HAS SOUS 237315 HAS SOUPS 235868 WITH SCORE 237014.37
AT ITER 5073 NEW BEST:: SOT 2074813 SOS 1146370 HAS SOPS 1144721 HAS SOUS 237278 HAS SOUPS 235831 WITH SCORE 236977.37
AT ITER 5125 NEW BEST:: SOT 2074813 SOS 1146370 HAS SOPS 1144721 HAS SOUS 237248 HAS SOUPS 235801 WITH SCORE 236947.37
AT ITER 5148 NEW BEST:: SOT 2074810 SOS 1146215 HAS SOPS 1144566 HAS SOUS 237161 HAS SOUPS 235714 WITH SCORE 236860.215
AT ITER 5151 NEW BEST:: SOT 2074810 SOS 1146212 HAS SOPS 1144563 HAS SOUS 237158 HAS SOUPS 235711 WITH SCORE 236857.212
AT ITER 5161 NEW BEST:: SOT 2076859 SOS 1148314 HAS SOPS 1146665 HAS SOUS 236955 HAS SOUPS 235508 WITH SCORE 236656.314
AT ITER 5169 NEW BEST:: SOT 2076856 SOS 1148548 HAS SOPS 1146899 HAS SOUS 236952 HAS SOUPS 235505 WITH SCORE 236653.548
AT ITER 5186 NEW BEST:: SOT 2076797 SOS 1147870 HAS SOPS 1146221 HAS SOUS 236890 HAS SOUPS 235443 WITH SCORE 236590.87
AT ITER 5196 NEW BEST:: SOT 2076740 SOS 1147813 HAS SOPS 1146164 HAS SOUS 236776 HAS SOUPS 235329 WITH SCORE 236476.813
AT ITER 5228 NEW BEST:: SOT 2076623 SOS 1147715 HAS SOPS 1146124 HAS SOUS 236694 HAS SOUPS 235247 WITH SCORE 236394.715
AT ITER 5243 NEW BEST:: SOT 2076623 SOS 1147715 HAS SOPS 1146124 HAS SOUS 236685 HAS SOUPS 235238 WITH SCORE 236385.715
AT ITER 5251 NEW BEST:: SOT 2076613 SOS 1147695 HAS SOPS 1146104 HAS SOUS 236675 HAS SOUPS 235228 WITH SCORE 236375.695
AT ITER 5260 NEW BEST:: SOT 2076537 SOS 1147619 HAS SOPS 1146028 HAS SOUS 236523 HAS SOUPS 235076 WITH SCORE 236223.619
AT ITER 5270 NEW BEST:: SOT 2076474 SOS 1147493 HAS SOPS 1145902 HAS SOUS 236460 HAS SOUPS 235013 WITH SCORE 236160.493
AT ITER 5278 NEW BEST:: SOT 2076453 SOS 1147472 HAS SOPS 1145881 HAS SOUS 236418 HAS SOUPS 234971 WITH SCORE 236118.472
AT ITER 5293 NEW BEST:: SOT 2076453 SOS 1147472 HAS SOPS 1145881 HAS SOUS 236415 HAS SOUPS 234968 WITH SCORE 236115.472
AT ITER 5303 NEW BEST:: SOT 2076404 SOS 1147436 HAS SOPS 1145852 HAS SOUS 236304 HAS SOUPS 234857 WITH SCORE 236004.436
AT ITER 5316 NEW BEST:: SOT 2076404 SOS 1146976 HAS SOPS 1145392 HAS SOUS 236304 HAS SOUPS 234857 WITH SCORE 236003.976
AT ITER 5326 NEW BEST:: SOT 2076355 SOS 1146927 HAS SOPS 1145343 HAS SOUS 236206 HAS SOUPS 234759 WITH SCORE 235905.927
AT ITER 5340 NEW BEST:: SOT 2076351 SOS 1147629 HAS SOPS 1146045 HAS SOUS 236202 HAS SOUPS 234755 WITH SCORE 235902.629
AT ITER 5378 NEW BEST:: SOT 2076266 SOS 1146609 HAS SOPS 1145025 HAS SOUS 236117 HAS SOUPS 234670 WITH SCORE 235816.609
AT ITER 5380 NEW BEST:: SOT 2076154 SOS 1141396 HAS SOPS 1140050 HAS SOUS 235494 HAS SOUPS 234285 WITH SCORE 235426.396
AT ITER 5385 NEW BEST:: SOT 2076075 SOS 1141585 HAS SOPS 1140201 HAS SOUS 235458 HAS SOUPS 234221 WITH SCORE 235362.585
AT ITER 5387 NEW BEST:: SOT 2076060 SOS 1141570 HAS SOPS 1140186 HAS SOUS 235428 HAS SOUPS 234191 WITH SCORE 235332.57
AT ITER 5396 NEW BEST:: SOT 2076052 SOS 1141562 HAS SOPS 1140178 HAS SOUS 235412 HAS SOUPS 234175 WITH SCORE 235316.562
AT ITER 5402 NEW BEST:: SOT 2075984 SOS 1141494 HAS SOPS 1140110 HAS SOUS 235276 HAS SOUPS 234039 WITH SCORE 235180.494
AT ITER 5426 NEW BEST:: SOT 2075900 SOS 1141326 HAS SOPS 1139942 HAS SOUS 235108 HAS SOUPS 233871 WITH SCORE 235012.326
AT ITER 5428 NEW BEST:: SOT 2075900 SOS 1141286 HAS SOPS 1139902 HAS SOUS 235108 HAS SOUPS 233871 WITH SCORE 235012.286
AT ITER 5432 NEW BEST:: SOT 2075894 SOS 1141280 HAS SOPS 1139896 HAS SOUS 235096 HAS SOUPS 233859 WITH SCORE 235000.28
AT ITER 5439 NEW BEST:: SOT 2075888 SOS 1141274 HAS SOPS 1139890 HAS SOUS 235090 HAS SOUPS 233853 WITH SCORE 234994.274
AT ITER 5453 NEW BEST:: SOT 2075879 SOS 1141166 HAS SOPS 1139791 HAS SOUS 235063 HAS SOUPS 233835 WITH SCORE 234976.166
AT ITER 5462 NEW BEST:: SOT 2075879 SOS 1141166 HAS SOPS 1139773 HAS SOUS 235063 HAS SOUPS 233817 WITH SCORE 234958.166
AT ITER 5488 NEW BEST:: SOT 2075801 SOS 1141012 HAS SOPS 1139619 HAS SOUS 234990 HAS SOUPS 233744 WITH SCORE 234885.012
AT ITER 5497 NEW BEST:: SOT 2075780 SOS 1140978 HAS SOPS 1139578 HAS SOUS 234956 HAS SOUPS 233710 WITH SCORE 234850.978
AT ITER 5509 NEW BEST:: SOT 2075648 SOS 1140846 HAS SOPS 1139446 HAS SOUS 234956 HAS SOUPS 233710 WITH SCORE 234850.846
AT ITER 5542 NEW BEST:: SOT 2075583 SOS 1140781 HAS SOPS 1139501 HAS SOUS 234831 HAS SOUPS 233700 WITH SCORE 234840.781
AT ITER 5544 NEW BEST:: SOT 2075532 SOS 1141189 HAS SOPS 1139909 HAS SOUS 234780 HAS SOUPS 233649 WITH SCORE 234790.189
AT ITER 5575 NEW BEST:: SOT 2075521 SOS 1141167 HAS SOPS 1139887 HAS SOUS 234764 HAS SOUPS 233633 WITH SCORE 234774.167
AT ITER 5584 NEW BEST:: SOT 2075513 SOS 1141151 HAS SOPS 1139871 HAS SOUS 234748 HAS SOUPS 233617 WITH SCORE 234758.151
AT ITER 5585 NEW BEST:: SOT 2075507 SOS 1141145 HAS SOPS 1139865 HAS SOUS 234736 HAS SOUPS 233605 WITH SCORE 234746.145
AT ITER 5640 NEW BEST:: SOT 2075496 SOS 1141146 HAS SOPS 1139866 HAS SOUS 234725 HAS SOUPS 233594 WITH SCORE 234735.146
AT ITER 5682 NEW BEST:: SOT 2075472 SOS 1141098 HAS SOPS 1139818 HAS SOUS 234720 HAS SOUPS 233589 WITH SCORE 234730.098
AT ITER 5690 NEW BEST:: SOT 2075468 SOS 1141090 HAS SOPS 1139810 HAS SOUS 234712 HAS SOUPS 233581 WITH SCORE 234722.09
AT ITER 5707 NEW BEST:: SOT 2075317 SOS 1139870 HAS SOPS 1138590 HAS SOUS 234614 HAS SOUPS 233483 WITH SCORE 234622.87
AT ITER 5715 NEW BEST:: SOT 2075272 SOS 1139350 HAS SOPS 1138070 HAS SOUS 234547 HAS SOUPS 233416 WITH SCORE 234555.35
AT ITER 5738 NEW BEST:: SOT 2075272 SOS 1139311 HAS SOPS 1138070 HAS SOUS 234404 HAS SOUPS 233416 WITH SCORE 234555.311
AT ITER 5764 NEW BEST:: SOT 2075259 SOS 1139285 HAS SOPS 1138044 HAS SOUS 234378 HAS SOUPS 233390 WITH SCORE 234529.285
AT ITER 5768 NEW BEST:: SOT 2075259 SOS 1139425 HAS SOPS 1138184 HAS SOUS 234364 HAS SOUPS 233376 WITH SCORE 234515.425
AT ITER 5809 NEW BEST:: SOT 2075221 SOS 1139387 HAS SOPS 1138146 HAS SOUS 234288 HAS SOUPS 233300 WITH SCORE 234439.387
AT ITER 5870 NEW BEST:: SOT 2075220 SOS 1139007 HAS SOPS 1137766 HAS SOUS 234286 HAS SOUPS 233298 WITH SCORE 234437.007
AT ITER 5886 NEW BEST:: SOT 2075214 SOS 1138695 HAS SOPS 1137454 HAS SOUS 234279 HAS SOUPS 233291 WITH SCORE 234429.695
AT ITER 5896 NEW BEST:: SOT 2075197 SOS 1138678 HAS SOPS 1137437 HAS SOUS 234245 HAS SOUPS 233257 WITH SCORE 234395.678
AT ITER 5914 NEW BEST:: SOT 2075215 SOS 1139424 HAS SOPS 1138183 HAS SOUS 234235 HAS SOUPS 233247 WITH SCORE 234386.424
AT ITER 5917 NEW BEST:: SOT 2075200 SOS 1140624 HAS SOPS 1139383 HAS SOUS 234211 HAS SOUPS 233223 WITH SCORE 234363.624
AT ITER 5940 NEW BEST:: SOT 2075192 SOS 1140616 HAS SOPS 1139367 HAS SOUS 234203 HAS SOUPS 233207 WITH SCORE 234347.616
AT ITER 5947 NEW BEST:: SOT 2075192 SOS 1140616 HAS SOPS 1139367 HAS SOUS 234200 HAS SOUPS 233204 WITH SCORE 234344.616
AT ITER 5952 NEW BEST:: SOT 2075172 SOS 1140286 HAS SOPS 1139037 HAS SOUS 234180 HAS SOUPS 233184 WITH SCORE 234324.286
AT ITER 5957 NEW BEST:: SOT 2075135 SOS 1140249 HAS SOPS 1139000 HAS SOUS 234136 HAS SOUPS 233140 WITH SCORE 234280.249
AT ITER 5986 NEW BEST:: SOT 2075096 SOS 1140210 HAS SOPS 1138961 HAS SOUS 234058 HAS SOUPS 233062 WITH SCORE 234202.21
AT ITER 6049 NEW BEST:: SOT 2075075 SOS 1139958 HAS SOPS 1138709 HAS SOUS 234037 HAS SOUPS 233041 WITH SCORE 234180.958
AT ITER 6084 NEW BEST:: SOT 2074999 SOS 1139806 HAS SOPS 1138557 HAS SOUS 233961 HAS SOUPS 232965 WITH SCORE 234104.806
AT ITER 6100 NEW BEST:: SOT 2074954 SOS 1139761 HAS SOPS 1138512 HAS SOUS 233871 HAS SOUPS 232875 WITH SCORE 234014.761
AT ITER 6145 NEW BEST:: SOT 2074935 SOS 1138633 HAS SOPS 1137384 HAS SOUS 233849 HAS SOUPS 232853 WITH SCORE 233991.633
AT ITER 6150 NEW BEST:: SOT 2074918 SOS 1138564 HAS SOPS 1137315 HAS SOUS 233775 HAS SOUPS 232779 WITH SCORE 233917.564
AT ITER 6155 NEW BEST:: SOT 2074901 SOS 1138547 HAS SOPS 1137298 HAS SOUS 233741 HAS SOUPS 232745 WITH SCORE 233883.547
AT ITER 6185 NEW BEST:: SOT 2074892 SOS 1138538 HAS SOPS 1137289 HAS SOUS 233723 HAS SOUPS 232727 WITH SCORE 233865.538
AT ITER 6194 NEW BEST:: SOT 2074892 SOS 1138538 HAS SOPS 1137289 HAS SOUS 233716 HAS SOUPS 232720 WITH SCORE 233858.538
AT ITER 6206 NEW BEST:: SOT 2074876 SOS 1138522 HAS SOPS 1137273 HAS SOUS 233716 HAS SOUPS 232720 WITH SCORE 233858.522
AT ITER 6226 NEW BEST:: SOT 2074845 SOS 1138460 HAS SOPS 1137211 HAS SOUS 233653 HAS SOUPS 232657 WITH SCORE 233795.46
AT ITER 6257 NEW BEST:: SOT 2074825 SOS 1138440 HAS SOPS 1137204 HAS SOUS 233633 HAS SOUPS 232650 WITH SCORE 233788.44
AT ITER 6271 NEW BEST:: SOT 2074640 SOS 1138125 HAS SOPS 1136889 HAS SOUS 233613 HAS SOUPS 232630 WITH SCORE 233768.125
AT ITER 6285 NEW BEST:: SOT 2074626 SOS 1138097 HAS SOPS 1136861 HAS SOUS 233585 HAS SOUPS 232602 WITH SCORE 233740.097
AT ITER 6298 NEW BEST:: SOT 2074608 SOS 1138079 HAS SOPS 1136843 HAS SOUS 233567 HAS SOUPS 232584 WITH SCORE 233722.079
AT ITER 6302 NEW BEST:: SOT 2074608 SOS 1137959 HAS SOPS 1136723 HAS SOUS 233502 HAS SOUPS 232519 WITH SCORE 233656.959
AT ITER 6309 NEW BEST:: SOT 2075650 SOS 1139001 HAS SOPS 1137765 HAS SOUS 233454 HAS SOUPS 232471 WITH SCORE 233610.001
AT ITER 6311 NEW BEST:: SOT 2075627 SOS 1138978 HAS SOPS 1137742 HAS SOUS 233357 HAS SOUPS 232374 WITH SCORE 233512.978
AT ITER 6331 NEW BEST:: SOT 2075617 SOS 1138968 HAS SOPS 1137732 HAS SOUS 233325 HAS SOUPS 232342 WITH SCORE 233480.968
AT ITER 6350 NEW BEST:: SOT 2075616 SOS 1141084 HAS SOPS 1139607 HAS SOUS 233398 HAS SOUPS 232174 WITH SCORE 233315.084
AT ITER 6373 NEW BEST:: SOT 2075577 SOS 1141045 HAS SOPS 1139568 HAS SOUS 233323 HAS SOUPS 232099 WITH SCORE 233240.045
AT ITER 6422 NEW BEST:: SOT 2075577 SOS 1140745 HAS SOPS 1139268 HAS SOUS 233323 HAS SOUPS 232099 WITH SCORE 233239.745
AT ITER 6453 NEW BEST:: SOT 2075555 SOS 1140723 HAS SOPS 1139246 HAS SOUS 233279 HAS SOUPS 232055 WITH SCORE 233195.723
AT ITER 6510 NEW BEST:: SOT 2075546 SOS 1140714 HAS SOPS 1139237 HAS SOUS 233261 HAS SOUPS 232037 WITH SCORE 233177.714
AT ITER 6537 NEW BEST:: SOT 2075473 SOS 1140568 HAS SOPS 1139091 HAS SOUS 233140 HAS SOUPS 231916 WITH SCORE 233056.568
AT ITER 6544 NEW BEST:: SOT 2075418 SOS 1139908 HAS SOPS 1138431 HAS SOUS 233078 HAS SOUPS 231854 WITH SCORE 232993.908
AT ITER 6550 NEW BEST:: SOT 2075410 SOS 1139900 HAS SOPS 1138423 HAS SOUS 233062 HAS SOUPS 231838 WITH SCORE 232977.9
AT ITER 6558 NEW BEST:: SOT 2075405 SOS 1139890 HAS SOPS 1138413 HAS SOUS 233052 HAS SOUPS 231828 WITH SCORE 232967.89
AT ITER 6608 NEW BEST:: SOT 2075364 SOS 1139808 HAS SOPS 1138331 HAS SOUS 232964 HAS SOUPS 231740 WITH SCORE 232879.808
AT ITER 6620 NEW BEST:: SOT 2075387 SOS 1139831 HAS SOPS 1138219 HAS SOUS 233005 HAS SOUPS 231651 WITH SCORE 232790.831
AT ITER 6676 NEW BEST:: SOT 2075384 SOS 1139745 HAS SOPS 1138133 HAS SOUS 233002 HAS SOUPS 231648 WITH SCORE 232787.745
AT ITER 6686 NEW BEST:: SOT 2075365 SOS 1139726 HAS SOPS 1138114 HAS SOUS 232926 HAS SOUPS 231572 WITH SCORE 232711.726
AT ITER 6714 NEW BEST:: SOT 2075411 SOS 1139725 HAS SOPS 1138082 HAS SOUS 232894 HAS SOUPS 231540 WITH SCORE 232679.725
AT ITER 6729 NEW BEST:: SOT 2075406 SOS 1139715 HAS SOPS 1138072 HAS SOUS 232886 HAS SOUPS 231532 WITH SCORE 232671.715
AT ITER 6783 NEW BEST:: SOT 2075347 SOS 1139656 HAS SOPS 1138013 HAS SOUS 232814 HAS SOUPS 231460 WITH SCORE 232599.656
AT ITER 6795 NEW BEST:: SOT 2075294 SOS 1139603 HAS SOPS 1137960 HAS SOUS 232708 HAS SOUPS 231354 WITH SCORE 232493.603
AT ITER 6796 NEW BEST:: SOT 2075223 SOS 1137641 HAS SOPS 1135998 HAS SOUS 232697 HAS SOUPS 231343 WITH SCORE 232480.641
AT ITER 6798 NEW BEST:: SOT 2075222 SOS 1137619 HAS SOPS 1135976 HAS SOUS 232696 HAS SOUPS 231342 WITH SCORE 232479.619
AT ITER 6813 NEW BEST:: SOT 2075194 SOS 1137591 HAS SOPS 1135948 HAS SOUS 232640 HAS SOUPS 231286 WITH SCORE 232423.591
AT ITER 6847 NEW BEST:: SOT 2075147 SOS 1137497 HAS SOPS 1135854 HAS SOUS 232563 HAS SOUPS 231209 WITH SCORE 232346.497
AT ITER 6875 NEW BEST:: SOT 2075009 SOS 1139474 HAS SOPS 1137859 HAS SOUS 232397 HAS SOUPS 231071 WITH SCORE 232210.474
AT ITER 6885 NEW BEST:: SOT 2074898 SOS 1139294 HAS SOPS 1137679 HAS SOUS 232395 HAS SOUPS 231069 WITH SCORE 232208.294
AT ITER 6906 NEW BEST:: SOT 2074892 SOS 1139282 HAS SOPS 1137667 HAS SOUS 232383 HAS SOUPS 231057 WITH SCORE 232196.282
AT ITER 6970 NEW BEST:: SOT 2074843 SOS 1139233 HAS SOPS 1137618 HAS SOUS 232285 HAS SOUPS 230959 WITH SCORE 232098.233
AT ITER 7002 NEW BEST:: SOT 2074863 SOS 1139253 HAS SOPS 1137597 HAS SOUS 232325 HAS SOUPS 230958 WITH SCORE 232097.253
AT ITER 7012 NEW BEST:: SOT 2074845 SOS 1139235 HAS SOPS 1137579 HAS SOUS 232289 HAS SOUPS 230922 WITH SCORE 232061.235
AT ITER 7026 NEW BEST:: SOT 2075020 SOS 1136379 HAS SOPS 1134760 HAS SOUS 232250 HAS SOUPS 230918 WITH SCORE 232054.379
AT ITER 7062 NEW BEST:: SOT 2075025 SOS 1136357 HAS SOPS 1134738 HAS SOUS 232228 HAS SOUPS 230896 WITH SCORE 232032.357
AT ITER 7072 NEW BEST:: SOT 2075013 SOS 1136345 HAS SOPS 1134726 HAS SOUS 232204 HAS SOUPS 230872 WITH SCORE 232008.345
AT ITER 7090 NEW BEST:: SOT 2074966 SOS 1135841 HAS SOPS 1134222 HAS SOUS 232151 HAS SOUPS 230819 WITH SCORE 231954.841
AT ITER 7101 NEW BEST:: SOT 2074966 SOS 1135841 HAS SOPS 1134209 HAS SOUS 232151 HAS SOUPS 230806 WITH SCORE 231941.841
AT ITER 7138 NEW BEST:: SOT 2074933 SOS 1135775 HAS SOPS 1134143 HAS SOUS 232118 HAS SOUPS 230773 WITH SCORE 231908.775
AT ITER 7148 NEW BEST:: SOT 2074894 SOS 1135697 HAS SOPS 1134065 HAS SOUS 232079 HAS SOUPS 230734 WITH SCORE 231869.697
AT ITER 7169 NEW BEST:: SOT 2074876 SOS 1136291 HAS SOPS 1134659 HAS SOUS 232047 HAS SOUPS 230702 WITH SCORE 231838.291
AT ITER 7172 NEW BEST:: SOT 2074774 SOS 1136087 HAS SOPS 1134455 HAS SOUS 231928 HAS SOUPS 230583 WITH SCORE 231719.087
AT ITER 7176 NEW BEST:: SOT 2074920 SOS 1136179 HAS SOPS 1134341 HAS SOUS 231860 HAS SOUPS 230513 WITH SCORE 231649.179
AT ITER 7279 NEW BEST:: SOT 2074906 SOS 1136165 HAS SOPS 1134327 HAS SOUS 231832 HAS SOUPS 230485 WITH SCORE 231621.165
AT ITER 7324 NEW BEST:: SOT 2074846 SOS 1136045 HAS SOPS 1134207 HAS SOUS 231712 HAS SOUPS 230365 WITH SCORE 231501.045
AT ITER 7327 NEW BEST:: SOT 2074821 SOS 1135995 HAS SOPS 1134157 HAS SOUS 231687 HAS SOUPS 230340 WITH SCORE 231475.995
AT ITER 7388 NEW BEST:: SOT 2074764 SOS 1135938 HAS SOPS 1134100 HAS SOUS 231573 HAS SOUPS 230226 WITH SCORE 231361.938
AT ITER 7398 NEW BEST:: SOT 2074756 SOS 1135842 HAS SOPS 1134004 HAS SOUS 231565 HAS SOUPS 230218 WITH SCORE 231353.842
AT ITER 7506 NEW BEST:: SOT 2074709 SOS 1135795 HAS SOPS 1133910 HAS SOUS 231518 HAS SOUPS 230124 WITH SCORE 231259.795
AT ITER 7518 NEW BEST:: SOT 2074705 SOS 1136397 HAS SOPS 1134512 HAS SOUS 231510 HAS SOUPS 230116 WITH SCORE 231252.397
AT ITER 7538 NEW BEST:: SOT 2074705 SOS 1135893 HAS SOPS 1134008 HAS SOUS 231468 HAS SOUPS 230074 WITH SCORE 231209.893
AT ITER 7555 NEW BEST:: SOT 2074705 SOS 1135893 HAS SOPS 1134008 HAS SOUS 231463 HAS SOUPS 230069 WITH SCORE 231204.893
AT ITER 7562 NEW BEST:: SOT 2074701 SOS 1135889 HAS SOPS 1134004 HAS SOUS 231455 HAS SOUPS 230061 WITH SCORE 231196.889
AT ITER 7577 NEW BEST:: SOT 2074687 SOS 1135860 HAS SOPS 1133975 HAS SOUS 231422 HAS SOUPS 230028 WITH SCORE 231163.86
AT ITER 7606 NEW BEST:: SOT 2076431 SOS 1137604 HAS SOPS 1135799 HAS SOUS 231406 HAS SOUPS 230012 WITH SCORE 231149.604
AT ITER 7610 NEW BEST:: SOT 2076379 SOS 1137552 HAS SOPS 1135747 HAS SOUS 231357 HAS SOUPS 229963 WITH SCORE 231100.552
AT ITER 7704 NEW BEST:: SOT 2076370 SOS 1137534 HAS SOPS 1135729 HAS SOUS 231348 HAS SOUPS 229954 WITH SCORE 231091.534
AT ITER 7749 NEW BEST:: SOT 2076352 SOS 1137726 HAS SOPS 1135921 HAS SOUS 231341 HAS SOUPS 229947 WITH SCORE 231084.726
AT ITER 7752 NEW BEST:: SOT 2076484 SOS 1137734 HAS SOPS 1135929 HAS SOUS 231295 HAS SOUPS 229901 WITH SCORE 231038.734
AT ITER 7757 NEW BEST:: SOT 2076483 SOS 1137733 HAS SOPS 1135928 HAS SOUS 231293 HAS SOUPS 229899 WITH SCORE 231036.733
AT ITER 7780 NEW BEST:: SOT 2076496 SOS 1137759 HAS SOPS 1135954 HAS SOUS 231267 HAS SOUPS 229873 WITH SCORE 231010.759
AT ITER 7826 NEW BEST:: SOT 2076333 SOS 1137433 HAS SOPS 1135628 HAS SOUS 230980 HAS SOUPS 229586 WITH SCORE 230723.433
AT ITER 7828 NEW BEST:: SOT 2076329 SOS 1137621 HAS SOPS 1135816 HAS SOUS 230978 HAS SOUPS 229584 WITH SCORE 230721.621
AT ITER 7834 NEW BEST:: SOT 2076327 SOS 1137619 HAS SOPS 1135814 HAS SOUS 230974 HAS SOUPS 229580 WITH SCORE 230717.619
AT ITER 7898 NEW BEST:: SOT 2076246 SOS 1135851 HAS SOPS 1134046 HAS SOUS 230892 HAS SOUPS 229498 WITH SCORE 230633.851
AT ITER 7936 NEW BEST:: SOT 2076208 SOS 1135395 HAS SOPS 1133590 HAS SOUS 230854 HAS SOUPS 229460 WITH SCORE 230595.395
AT ITER 8006 NEW BEST:: SOT 2076191 SOS 1135361 HAS SOPS 1133556 HAS SOUS 230837 HAS SOUPS 229443 WITH SCORE 230578.361
AT ITER 8050 NEW BEST:: SOT 2076184 SOS 1135347 HAS SOPS 1133542 HAS SOUS 230818 HAS SOUPS 229424 WITH SCORE 230559.347
AT ITER 8053 NEW BEST:: SOT 2076129 SOS 1135787 HAS SOPS 1133982 HAS SOUS 230755 HAS SOUPS 229361 WITH SCORE 230496.787
AT ITER 8071 NEW BEST:: SOT 2076112 SOS 1135770 HAS SOPS 1133965 HAS SOUS 230721 HAS SOUPS 229327 WITH SCORE 230462.77
AT ITER 8079 NEW BEST:: SOT 2076067 SOS 1135725 HAS SOPS 1133920 HAS SOUS 230631 HAS SOUPS 229237 WITH SCORE 230372.725
AT ITER 8081 NEW BEST:: SOT 2076046 SOS 1135704 HAS SOPS 1133899 HAS SOUS 230593 HAS SOUPS 229199 WITH SCORE 230334.704
AT ITER 8082 NEW BEST:: SOT 2079702 SOS 1139387 HAS SOPS 1137582 HAS SOUS 230311 HAS SOUPS 228917 WITH SCORE 230056.387
AT ITER 8085 NEW BEST:: SOT 2079690 SOS 1139303 HAS SOPS 1137498 HAS SOUS 230293 HAS SOUPS 228899 WITH SCORE 230038.303
AT ITER 8107 NEW BEST:: SOT 2079688 SOS 1139301 HAS SOPS 1137496 HAS SOUS 230289 HAS SOUPS 228895 WITH SCORE 230034.301
AT ITER 8126 NEW BEST:: SOT 2079685 SOS 1139298 HAS SOPS 1137493 HAS SOUS 230283 HAS SOUPS 228889 WITH SCORE 230028.298
AT ITER 8146 NEW BEST:: SOT 2079632 SOS 1139192 HAS SOPS 1137387 HAS SOUS 230242 HAS SOUPS 228848 WITH SCORE 229987.192
AT ITER 8167 NEW BEST:: SOT 2079632 SOS 1138972 HAS SOPS 1137167 HAS SOUS 230242 HAS SOUPS 228848 WITH SCORE 229986.972
AT ITER 8185 NEW BEST:: SOT 2079632 SOS 1138930 HAS SOPS 1137167 HAS SOUS 230080 HAS SOUPS 228848 WITH SCORE 229986.93
AT ITER 8194 NEW BEST:: SOT 2080355 SOS 1139683 HAS SOPS 1137937 HAS SOUS 229649 HAS SOUPS 228424 WITH SCORE 229563.683
AT ITER 8201 NEW BEST:: SOT 2080355 SOS 1139676 HAS SOPS 1137930 HAS SOUS 229642 HAS SOUPS 228417 WITH SCORE 229556.676
AT ITER 8230 NEW BEST:: SOT 2080349 SOS 1139784 HAS SOPS 1138038 HAS SOUS 229637 HAS SOUPS 228412 WITH SCORE 229551.784
AT ITER 8279 NEW BEST:: SOT 2080320 SOS 1139726 HAS SOPS 1137980 HAS SOUS 229579 HAS SOUPS 228354 WITH SCORE 229493.726
AT ITER 8290 NEW BEST:: SOT 2080288 SOS 1139676 HAS SOPS 1137930 HAS SOUS 229529 HAS SOUPS 228304 WITH SCORE 229443.676
AT ITER 8328 NEW BEST:: SOT 2080012 SOS 1139230 HAS SOPS 1137484 HAS SOUS 229517 HAS SOUPS 228292 WITH SCORE 229431.23
AT ITER 8334 NEW BEST:: SOT 2079995 SOS 1137006 HAS SOPS 1135260 HAS SOUS 229500 HAS SOUPS 228275 WITH SCORE 229412.006
AT ITER 8340 NEW BEST:: SOT 2080104 SOS 1134752 HAS SOPS 1133006 HAS SOUS 229496 HAS SOUPS 228271 WITH SCORE 229405.752
AT ITER 8359 NEW BEST:: SOT 2080094 SOS 1134660 HAS SOPS 1132914 HAS SOUS 229492 HAS SOUPS 228267 WITH SCORE 229401.66
AT ITER 8360 NEW BEST:: SOT 2080078 SOS 1134644 HAS SOPS 1132898 HAS SOUS 229460 HAS SOUPS 228235 WITH SCORE 229369.644
AT ITER 8366 NEW BEST:: SOT 2080090 SOS 1134668 HAS SOPS 1132922 HAS SOUS 229435 HAS SOUPS 228210 WITH SCORE 229344.668
AT ITER 8401 NEW BEST:: SOT 2080063 SOS 1134605 HAS SOPS 1132859 HAS SOUS 229372 HAS SOUPS 228147 WITH SCORE 229281.605
AT ITER 8412 NEW BEST:: SOT 2079999 SOS 1134541 HAS SOPS 1132795 HAS SOUS 229308 HAS SOUPS 228083 WITH SCORE 229217.541
AT ITER 8415 NEW BEST:: SOT 2079939 SOS 1134421 HAS SOPS 1132675 HAS SOUS 229188 HAS SOUPS 227963 WITH SCORE 229097.421
AT ITER 8468 NEW BEST:: SOT 2079598 SOS 1134512 HAS SOPS 1132972 HAS SOUS 229171 HAS SOUPS 227948 WITH SCORE 229082.512
AT ITER 8551 NEW BEST:: SOT 2081603 SOS 1136517 HAS SOPS 1134977 HAS SOUS 229146 HAS SOUPS 227923 WITH SCORE 229059.517
AT ITER 8581 NEW BEST:: SOT 2081138 SOS 1136207 HAS SOPS 1134775 HAS SOUS 228604 HAS SOUPS 227458 WITH SCORE 228594.207
AT ITER 8620 NEW BEST:: SOT 2081134 SOS 1136203 HAS SOPS 1134771 HAS SOUS 228596 HAS SOUPS 227450 WITH SCORE 228586.203
AT ITER 8625 NEW BEST:: SOT 2081124 SOS 1136183 HAS SOPS 1134751 HAS SOUS 228586 HAS SOUPS 227440 WITH SCORE 228576.183
AT ITER 8649 NEW BEST:: SOT 2081064 SOS 1136123 HAS SOPS 1134691 HAS SOUS 228526 HAS SOUPS 227380 WITH SCORE 228516.123
AT ITER 8699 NEW BEST:: SOT 2081052 SOS 1136039 HAS SOPS 1134607 HAS SOUS 228508 HAS SOUPS 227362 WITH SCORE 228498.039
AT ITER 8703 NEW BEST:: SOT 2081040 SOS 1136015 HAS SOPS 1134583 HAS SOUS 228500 HAS SOUPS 227354 WITH SCORE 228490.015
AT ITER 8707 NEW BEST:: SOT 2080997 SOS 1135929 HAS SOPS 1134497 HAS SOUS 228433 HAS SOUPS 227287 WITH SCORE 228422.929
AT ITER 8737 NEW BEST:: SOT 2080987 SOS 1135919 HAS SOPS 1134487 HAS SOUS 228423 HAS SOUPS 227277 WITH SCORE 228412.919
AT ITER 8750 NEW BEST:: SOT 2080969 SOS 1135901 HAS SOPS 1134469 HAS SOUS 228387 HAS SOUPS 227241 WITH SCORE 228376.901
AT ITER 8761 NEW BEST:: SOT 2080969 SOS 1133981 HAS SOPS 1132549 HAS SOUS 228227 HAS SOUPS 227081 WITH SCORE 228214.981
AT ITER 8811 NEW BEST:: SOT 2080948 SOS 1133729 HAS SOPS 1132297 HAS SOUS 228206 HAS SOUPS 227060 WITH SCORE 228193.729
AT ITER 8844 NEW BEST:: SOT 2080955 SOS 1132803 HAS SOPS 1131371 HAS SOUS 228200 HAS SOUPS 227054 WITH SCORE 228186.803
AT ITER 8873 NEW BEST:: SOT 2080207 SOS 1132055 HAS SOPS 1130623 HAS SOUS 228200 HAS SOUPS 227054 WITH SCORE 228186.055
AT ITER 8912 NEW BEST:: SOT 2080207 SOS 1132055 HAS SOPS 1130623 HAS SOUS 228198 HAS SOUPS 227052 WITH SCORE 228184.055
AT ITER 8918 NEW BEST:: SOT 2080112 SOS 1132865 HAS SOPS 1131433 HAS SOUS 228066 HAS SOUPS 226920 WITH SCORE 228052.865
AT ITER 8933 NEW BEST:: SOT 2080106 SOS 1132859 HAS SOPS 1131427 HAS SOUS 228034 HAS SOUPS 226888 WITH SCORE 228020.859
AT ITER 8941 NEW BEST:: SOT 2080274 SOS 1133027 HAS SOPS 1131603 HAS SOUS 228019 HAS SOUPS 226880 WITH SCORE 228013.027
AT ITER 8995 NEW BEST:: SOT 2080218 SOS 1132915 HAS SOPS 1131491 HAS SOUS 227933 HAS SOUPS 226794 WITH SCORE 227926.915
AT ITER 9016 NEW BEST:: SOT 2080218 SOS 1132901 HAS SOPS 1131477 HAS SOUS 227933 HAS SOUPS 226794 WITH SCORE 227926.901
AT ITER 9025 NEW BEST:: SOT 2079096 SOS 1131779 HAS SOPS 1130355 HAS SOUS 227933 HAS SOUPS 226794 WITH SCORE 227925.779
AT ITER 9043 NEW BEST:: SOT 2079082 SOS 1131751 HAS SOPS 1130327 HAS SOUS 227895 HAS SOUPS 226756 WITH SCORE 227887.751
AT ITER 9057 NEW BEST:: SOT 2079041 SOS 1131710 HAS SOPS 1130286 HAS SOUS 227813 HAS SOUPS 226674 WITH SCORE 227805.71
AT ITER 9069 NEW BEST:: SOT 2079033 SOS 1131694 HAS SOPS 1130270 HAS SOUS 227798 HAS SOUPS 226659 WITH SCORE 227790.694
AT ITER 9112 NEW BEST:: SOT 2078977 SOS 1130822 HAS SOPS 1129398 HAS SOUS 227740 HAS SOUPS 226601 WITH SCORE 227731.822
AT ITER 9115 NEW BEST:: SOT 2078973 SOS 1130394 HAS SOPS 1128970 HAS SOUS 227740 HAS SOUPS 226601 WITH SCORE 227731.394
AT ITER 9124 NEW BEST:: SOT 2078904 SOS 1130325 HAS SOPS 1128901 HAS SOUS 227650 HAS SOUPS 226511 WITH SCORE 227641.325
AT ITER 9160 NEW BEST:: SOT 2078880 SOS 1130313 HAS SOPS 1128889 HAS SOUS 227603 HAS SOUPS 226464 WITH SCORE 227594.313
AT ITER 9164 NEW BEST:: SOT 2078808 SOS 1130387 HAS SOPS 1128963 HAS SOUS 227579 HAS SOUPS 226440 WITH SCORE 227570.387
AT ITER 9174 NEW BEST:: SOT 2078790 SOS 1130351 HAS SOPS 1128927 HAS SOUS 227560 HAS SOUPS 226421 WITH SCORE 227551.351
AT ITER 9175 NEW BEST:: SOT 2078762 SOS 1130125 HAS SOPS 1128701 HAS SOUS 227521 HAS SOUPS 226382 WITH SCORE 227512.125
AT ITER 9224 NEW BEST:: SOT 2078687 SOS 1130065 HAS SOPS 1128641 HAS SOUS 227473 HAS SOUPS 226334 WITH SCORE 227464.065
AT ITER 9257 NEW BEST:: SOT 2078587 SOS 1129049 HAS SOPS 1127625 HAS SOUS 227389 HAS SOUPS 226250 WITH SCORE 227379.049
AT ITER 9276 NEW BEST:: SOT 2078587 SOS 1128269 HAS SOPS 1126910 HAS SOUS 227324 HAS SOUPS 226250 WITH SCORE 227378.269
AT ITER 9279 NEW BEST:: SOT 2078575 SOS 1128245 HAS SOPS 1126886 HAS SOUS 227312 HAS SOUPS 226238 WITH SCORE 227366.245
AT ITER 9298 NEW BEST:: SOT 2078626 SOS 1128277 HAS SOPS 1126782 HAS SOUS 227344 HAS SOUPS 226158 WITH SCORE 227286.277
AT ITER 9303 NEW BEST:: SOT 2078626 SOS 1128297 HAS SOPS 1126802 HAS SOUS 227342 HAS SOUPS 226156 WITH SCORE 227284.297
AT ITER 9324 NEW BEST:: SOT 2078576 SOS 1128174 HAS SOPS 1126679 HAS SOUS 227292 HAS SOUPS 226106 WITH SCORE 227234.174
AT ITER 9334 NEW BEST:: SOT 2078553 SOS 1128128 HAS SOPS 1126633 HAS SOUS 227269 HAS SOUPS 226083 WITH SCORE 227211.128
AT ITER 9440 NEW BEST:: SOT 2078555 SOS 1124573 HAS SOPS 1123254 HAS SOUS 226913 HAS SOUPS 225903 WITH SCORE 227027.573
AT ITER 9459 NEW BEST:: SOT 2078485 SOS 1124503 HAS SOPS 1123184 HAS SOUS 226800 HAS SOUPS 225790 WITH SCORE 226914.503
AT ITER 9488 NEW BEST:: SOT 2078447 SOS 1124307 HAS SOPS 1122988 HAS SOUS 226697 HAS SOUPS 225687 WITH SCORE 226811.307
AT ITER 9521 NEW BEST:: SOT 2077976 SOS 1121563 HAS SOPS 1120244 HAS SOUS 226254 HAS SOUPS 225244 WITH SCORE 226365.563
AT ITER 9545 NEW BEST:: SOT 2077815 SOS 1123173 HAS SOPS 1121854 HAS SOUS 226093 HAS SOUPS 225083 WITH SCORE 226206.173
AT ITER 9607 NEW BEST:: SOT 2077811 SOS 1123169 HAS SOPS 1121850 HAS SOUS 226089 HAS SOUPS 225079 WITH SCORE 226202.169
AT ITER 9643 NEW BEST:: SOT 2075875 SOS 1121233 HAS SOPS 1119914 HAS SOUS 226085 HAS SOUPS 225075 WITH SCORE 226196.233
AT ITER 9660 NEW BEST:: SOT 2075878 SOS 1122289 HAS SOPS 1120970 HAS SOUS 226050 HAS SOUPS 225040 WITH SCORE 226162.289
AT ITER 9666 NEW BEST:: SOT 2075884 SOS 1121797 HAS SOPS 1120478 HAS SOUS 226020 HAS SOUPS 225010 WITH SCORE 226131.797
AT ITER 9676 NEW BEST:: SOT 2075865 SOS 1119419 HAS SOPS 1118100 HAS SOUS 226000 HAS SOUPS 224990 WITH SCORE 226109.419
AT ITER 9690 NEW BEST:: SOT 2075755 SOS 1119309 HAS SOPS 1117990 HAS SOUS 226000 HAS SOUPS 224990 WITH SCORE 226109.309
AT ITER 9754 NEW BEST:: SOT 2075755 SOS 1118669 HAS SOPS 1117350 HAS SOUS 226000 HAS SOUPS 224990 WITH SCORE 226108.669
AT ITER 9778 NEW BEST:: SOT 2075506 SOS 1121530 HAS SOPS 1120054 HAS SOUS 226065 HAS SOUPS 224898 WITH SCORE 226019.53
AT ITER 9780 NEW BEST:: SOT 2075478 SOS 1121984 HAS SOPS 1120508 HAS SOUS 226000 HAS SOUPS 224833 WITH SCORE 225954.984
AT ITER 9795 NEW BEST:: SOT 2075466 SOS 1121972 HAS SOPS 1120496 HAS SOUS 225988 HAS SOUPS 224821 WITH SCORE 225942.972
AT ITER 9814 NEW BEST:: SOT 2075466 SOS 1121432 HAS SOPS 1119956 HAS SOUS 225988 HAS SOUPS 224821 WITH SCORE 225942.432
AT ITER 9823 NEW BEST:: SOT 2075461 SOS 1121427 HAS SOPS 1119951 HAS SOUS 225983 HAS SOUPS 224816 WITH SCORE 225937.427
AT ITER 9855 NEW BEST:: SOT 2075345 SOS 1122355 HAS SOPS 1120879 HAS SOUS 225779 HAS SOUPS 224612 WITH SCORE 225734.355
AT ITER 9864 NEW BEST:: SOT 2075341 SOS 1122347 HAS SOPS 1120871 HAS SOUS 225771 HAS SOUPS 224604 WITH SCORE 225726.347
AT ITER 9884 NEW BEST:: SOT 2075339 SOS 1122343 HAS SOPS 1120867 HAS SOUS 225767 HAS SOUPS 224600 WITH SCORE 225722.343
AT ITER 9926 NEW BEST:: SOT 2075278 SOS 1122221 HAS SOPS 1120745 HAS SOUS 225647 HAS SOUPS 224480 WITH SCORE 225602.221
AT ITER 9941 NEW BEST:: SOT 2075278 SOS 1122091 HAS SOPS 1120615 HAS SOUS 225647 HAS SOUPS 224480 WITH SCORE 225602.091
AT ITER 9952 NEW BEST:: SOT 2075267 SOS 1122069 HAS SOPS 1120593 HAS SOUS 225625 HAS SOUPS 224458 WITH SCORE 225580.069
AT ITER 9954 NEW BEST:: SOT 2075207 SOS 1121409 HAS SOPS 1119933 HAS SOUS 225538 HAS SOUPS 224371 WITH SCORE 225492.409
AT ITER 9955 NEW BEST:: SOT 2075207 SOS 1121079 HAS SOPS 1119603 HAS SOUS 225538 HAS SOUPS 224371 WITH SCORE 225492.079
AT ITER 9991 NEW BEST:: SOT 2075196 SOS 1121057 HAS SOPS 1119581 HAS SOUS 225516 HAS SOUPS 224349 WITH SCORE 225470.057
AT ITER 9994 NEW BEST:: SOT 2075185 SOS 1121046 HAS SOPS 1119570 HAS SOUS 225494 HAS SOUPS 224327 WITH SCORE 225448.046
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 3973548 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16144876 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="Anderson-PT-12"
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 Anderson-PT-12, 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 r515-tall-167987241900072"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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