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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 12M
-rw-r--r-- 1 mcc users 6.6K Feb 26 16:24 CTLCardinality.txt
-rw-r--r-- 1 mcc users 70K Feb 26 16:24 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 16:24 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 16:24 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 17:15 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 17:15 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:15 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:15 LTLFireability.xml
-rw-r--r-- 1 mcc users 8.6K Feb 26 16:26 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 26 16:26 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.0K Feb 26 16:25 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 16:25 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:15 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:15 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 12M 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 1679338172128

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=StigmergyElection-PT-08b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 08b
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: 1107 places, 14564 transitions, 216524 arcs.
AT ITER 0 NEW BEST:: SOT 13965511 SOS 2297607 HAS SOPS 2297607 HAS SOUS 1515700 HAS SOUPS 1515700 WITH SCORE 1517997.607
AT ITER 1 NEW BEST:: SOT 13965511 SOS 2297526 HAS SOPS 2297526 HAS SOUS 1515619 HAS SOUPS 1515619 WITH SCORE 1517916.526
AT ITER 30 NEW BEST:: SOT 13965468 SOS 2297440 HAS SOPS 2297440 HAS SOUS 1515533 HAS SOUPS 1515533 WITH SCORE 1517830.44
AT ITER 37 NEW BEST:: SOT 13965460 SOS 2297432 HAS SOPS 2297432 HAS SOUS 1515525 HAS SOUPS 1515525 WITH SCORE 1517822.432
AT ITER 47 NEW BEST:: SOT 13965447 SOS 2297432 HAS SOPS 2297432 HAS SOUS 1515512 HAS SOUPS 1515512 WITH SCORE 1517809.432
AT ITER 58 NEW BEST:: SOT 13951081 SOS 3473278 HAS SOPS 3473278 HAS SOUS 1512873 HAS SOUPS 1512873 WITH SCORE 1516346.278
AT ITER 60 NEW BEST:: SOT 13951081 SOS 3473269 HAS SOPS 3473269 HAS SOUS 1512864 HAS SOUPS 1512864 WITH SCORE 1516337.269
AT ITER 70 NEW BEST:: SOT 13951009 SOS 3473197 HAS SOPS 3473197 HAS SOUS 1512792 HAS SOUPS 1512792 WITH SCORE 1516265.197
AT ITER 92 NEW BEST:: SOT 13950905 SOS 3473093 HAS SOPS 3473093 HAS SOUS 1512688 HAS SOUPS 1512688 WITH SCORE 1516161.093
AT ITER 120 NEW BEST:: SOT 13950904 SOS 3473091 HAS SOPS 3473091 HAS SOUS 1512686 HAS SOUPS 1512686 WITH SCORE 1516159.091
AT ITER 150 NEW BEST:: SOT 13929026 SOS 4485805 HAS SOPS 4485805 HAS SOUS 1497381 HAS SOUPS 1497381 WITH SCORE 1501866.805
AT ITER 161 NEW BEST:: SOT 13929080 SOS 4485777 HAS SOPS 4485777 HAS SOUS 1497353 HAS SOUPS 1497353 WITH SCORE 1501838.777
AT ITER 170 NEW BEST:: SOT 13928961 SOS 4485539 HAS SOPS 4485539 HAS SOUS 1497082 HAS SOUPS 1497082 WITH SCORE 1501567.539
AT ITER 171 NEW BEST:: SOT 13928958 SOS 4485533 HAS SOPS 4485533 HAS SOUS 1497076 HAS SOUPS 1497076 WITH SCORE 1501561.533
AT ITER 184 NEW BEST:: SOT 13928958 SOS 4485499 HAS SOPS 4485499 HAS SOUS 1497042 HAS SOUPS 1497042 WITH SCORE 1501527.499
AT ITER 191 NEW BEST:: SOT 13926878 SOS 4485915 HAS SOPS 4485915 HAS SOUS 1495197 HAS SOUPS 1495197 WITH SCORE 1499682.915
AT ITER 192 NEW BEST:: SOT 13926840 SOS 4485875 HAS SOPS 4485875 HAS SOUS 1495157 HAS SOUPS 1495157 WITH SCORE 1499642.875
AT ITER 207 NEW BEST:: SOT 13926280 SOS 4485362 HAS SOPS 4485362 HAS SOUS 1494644 HAS SOUPS 1494644 WITH SCORE 1499129.362
AT ITER 216 NEW BEST:: SOT 13926279 SOS 4485360 HAS SOPS 4485360 HAS SOUS 1494642 HAS SOUPS 1494642 WITH SCORE 1499127.36
AT ITER 221 NEW BEST:: SOT 13926270 SOS 4485331 HAS SOPS 4485331 HAS SOUS 1494637 HAS SOUPS 1494637 WITH SCORE 1499122.331
AT ITER 240 NEW BEST:: SOT 13926176 SOS 4485237 HAS SOPS 4485237 HAS SOUS 1494543 HAS SOUPS 1494543 WITH SCORE 1499028.237
AT ITER 245 NEW BEST:: SOT 13926175 SOS 4485235 HAS SOPS 4485235 HAS SOUS 1494541 HAS SOUPS 1494541 WITH SCORE 1499026.235
AT ITER 248 NEW BEST:: SOT 13926136 SOS 4485196 HAS SOPS 4485196 HAS SOUS 1494502 HAS SOUPS 1494502 WITH SCORE 1498987.196
AT ITER 262 NEW BEST:: SOT 13907041 SOS 4466101 HAS SOPS 4466101 HAS SOUS 1475464 HAS SOUPS 1475464 WITH SCORE 1479930.101
AT ITER 274 NEW BEST:: SOT 13876475 SOS 5026875 HAS SOPS 5026875 HAS SOUS 1447881 HAS SOUPS 1447881 WITH SCORE 1452907.875
AT ITER 280 NEW BEST:: SOT 13876475 SOS 5026803 HAS SOPS 5026803 HAS SOUS 1447809 HAS SOUPS 1447809 WITH SCORE 1452835.803
AT ITER 307 NEW BEST:: SOT 13820905 SOS 5157976 HAS SOPS 5157976 HAS SOUS 1402238 HAS SOUPS 1402238 WITH SCORE 1407395.976
AT ITER 308 NEW BEST:: SOT 13820894 SOS 5157954 HAS SOPS 5157954 HAS SOUS 1402216 HAS SOUPS 1402216 WITH SCORE 1407373.954
AT ITER 332 NEW BEST:: SOT 13820890 SOS 5157951 HAS SOPS 5157951 HAS SOUS 1402212 HAS SOUPS 1402212 WITH SCORE 1407369.951
AT ITER 344 NEW BEST:: SOT 13818799 SOS 5212060 HAS SOPS 5212060 HAS SOUS 1401328 HAS SOUPS 1401328 WITH SCORE 1406540.06
AT ITER 355 NEW BEST:: SOT 13818891 SOS 5212019 HAS SOPS 5212019 HAS SOUS 1401250 HAS SOUPS 1401250 WITH SCORE 1406462.019
AT ITER 361 NEW BEST:: SOT 13725021 SOS 5214839 HAS SOPS 5214839 HAS SOUS 1369541 HAS SOUPS 1369541 WITH SCORE 1374755.839
AT ITER 364 NEW BEST:: SOT 13725095 SOS 5214987 HAS SOPS 5214987 HAS SOUS 1369516 HAS SOUPS 1369516 WITH SCORE 1374730.987
AT ITER 370 NEW BEST:: SOT 13725161 SOS 5214934 HAS SOPS 5214934 HAS SOUS 1369463 HAS SOUPS 1369463 WITH SCORE 1374677.934
AT ITER 390 NEW BEST:: SOT 13721593 SOS 5211366 HAS SOPS 5211366 HAS SOUS 1365895 HAS SOUPS 1365895 WITH SCORE 1371106.366
AT ITER 411 NEW BEST:: SOT 13721479 SOS 5211252 HAS SOPS 5211252 HAS SOUS 1365781 HAS SOUPS 1365781 WITH SCORE 1370992.252
AT ITER 412 NEW BEST:: SOT 13721303 SOS 5210900 HAS SOPS 5210900 HAS SOUS 1365429 HAS SOUPS 1365429 WITH SCORE 1370639.9
AT ITER 426 NEW BEST:: SOT 13721302 SOS 5210898 HAS SOPS 5210898 HAS SOUS 1365427 HAS SOUPS 1365427 WITH SCORE 1370637.898
AT ITER 462 NEW BEST:: SOT 13721231 SOS 5211402 HAS SOPS 5211402 HAS SOUS 1365394 HAS SOUPS 1365394 WITH SCORE 1370605.402
AT ITER 472 NEW BEST:: SOT 13721130 SOS 5211361 HAS SOPS 5211361 HAS SOUS 1365329 HAS SOUPS 1365329 WITH SCORE 1370540.361
AT ITER 495 NEW BEST:: SOT 13721050 SOS 5211201 HAS SOPS 5211201 HAS SOUS 1365169 HAS SOUPS 1365169 WITH SCORE 1370380.201
AT ITER 497 NEW BEST:: SOT 13721019 SOS 5211108 HAS SOPS 5211108 HAS SOUS 1365076 HAS SOUPS 1365076 WITH SCORE 1370287.108
AT ITER 499 NEW BEST:: SOT 13720995 SOS 5211060 HAS SOPS 5211060 HAS SOUS 1365052 HAS SOUPS 1365052 WITH SCORE 1370263.06
AT ITER 531 NEW BEST:: SOT 13720969 SOS 5211033 HAS SOPS 5211033 HAS SOUS 1365025 HAS SOUPS 1365025 WITH SCORE 1370236.033
AT ITER 555 NEW BEST:: SOT 13720968 SOS 5211031 HAS SOPS 5211031 HAS SOUS 1365023 HAS SOUPS 1365023 WITH SCORE 1370234.031
AT ITER 558 NEW BEST:: SOT 13720906 SOS 5210907 HAS SOPS 5210907 HAS SOUS 1364899 HAS SOUPS 1364899 WITH SCORE 1370109.907
AT ITER 591 NEW BEST:: SOT 13720795 SOS 5210796 HAS SOPS 5210796 HAS SOUS 1364899 HAS SOUPS 1364899 WITH SCORE 1370109.796
AT ITER 604 NEW BEST:: SOT 13713172 SOS 6866936 HAS SOPS 6866936 HAS SOUS 1358734 HAS SOUPS 1358734 WITH SCORE 1365600.936
AT ITER 610 NEW BEST:: SOT 13713202 SOS 6866900 HAS SOPS 6866900 HAS SOUS 1358348 HAS SOUPS 1358348 WITH SCORE 1365214.9
AT ITER 617 NEW BEST:: SOT 13712486 SOS 6866034 HAS SOPS 6866034 HAS SOUS 1357482 HAS SOUPS 1357482 WITH SCORE 1364348.034
AT ITER 632 NEW BEST:: SOT 13712403 SOS 6696740 HAS SOPS 6696740 HAS SOUS 1357299 HAS SOUPS 1357299 WITH SCORE 1363995.74
AT ITER 674 NEW BEST:: SOT 13712215 SOS 6696364 HAS SOPS 6696364 HAS SOUS 1357172 HAS SOUPS 1357172 WITH SCORE 1363868.364
AT ITER 691 NEW BEST:: SOT 13697159 SOS 7831251 HAS SOPS 7831251 HAS SOUS 1345004 HAS SOUPS 1345004 WITH SCORE 1352835.251
AT ITER 705 NEW BEST:: SOT 13696963 SOS 7830859 HAS SOPS 7830859 HAS SOUS 1344808 HAS SOUPS 1344808 WITH SCORE 1352638.859
AT ITER 712 NEW BEST:: SOT 13588965 SOS 8032307 HAS SOPS 8032307 HAS SOUS 1247367 HAS SOUPS 1247367 WITH SCORE 1255399.307
AT ITER 715 NEW BEST:: SOT 13588993 SOS 8031948 HAS SOPS 8031948 HAS SOUS 1246642 HAS SOUPS 1246642 WITH SCORE 1254673.948
AT ITER 732 NEW BEST:: SOT 13588964 SOS 8031890 HAS SOPS 8031890 HAS SOUS 1246584 HAS SOUPS 1246584 WITH SCORE 1254615.89
AT ITER 733 NEW BEST:: SOT 13588876 SOS 8031801 HAS SOPS 8031801 HAS SOUS 1246495 HAS SOUPS 1246495 WITH SCORE 1254526.801
AT ITER 739 NEW BEST:: SOT 13588857 SOS 8031788 HAS SOPS 8031788 HAS SOUS 1246480 HAS SOUPS 1246480 WITH SCORE 1254511.788
AT ITER 742 NEW BEST:: SOT 13588834 SOS 8031758 HAS SOPS 8031758 HAS SOUS 1246431 HAS SOUPS 1246431 WITH SCORE 1254462.758
AT ITER 743 NEW BEST:: SOT 13588809 SOS 8031404 HAS SOPS 8031404 HAS SOUS 1246198 HAS SOUPS 1246198 WITH SCORE 1254229.404
AT ITER 770 NEW BEST:: SOT 13588762 SOS 8031402 HAS SOPS 8031402 HAS SOUS 1246196 HAS SOUPS 1246196 WITH SCORE 1254227.402
AT ITER 778 NEW BEST:: SOT 13588172 SOS 8291172 HAS SOPS 8291172 HAS SOUS 1237408 HAS SOUPS 1237408 WITH SCORE 1245699.172
AT ITER 783 NEW BEST:: SOT 13588152 SOS 8291132 HAS SOPS 8291132 HAS SOUS 1237368 HAS SOUPS 1237368 WITH SCORE 1245659.132
AT ITER 791 NEW BEST:: SOT 13588152 SOS 8148977 HAS SOPS 8148977 HAS SOUS 1237302 HAS SOUPS 1237302 WITH SCORE 1245450.977
AT ITER 792 NEW BEST:: SOT 13588120 SOS 8104687 HAS SOPS 8104687 HAS SOUS 1237196 HAS SOUPS 1237196 WITH SCORE 1245300.687
AT ITER 803 NEW BEST:: SOT 13585382 SOS 8107711 HAS SOPS 8107711 HAS SOUS 1235000 HAS SOUPS 1235000 WITH SCORE 1243107.711
AT ITER 820 NEW BEST:: SOT 13584825 SOS 8107057 HAS SOPS 8107057 HAS SOUS 1234346 HAS SOUPS 1234346 WITH SCORE 1242453.057
AT ITER 842 NEW BEST:: SOT 13561156 SOS 8185503 HAS SOPS 8185503 HAS SOUS 1212191 HAS SOUPS 1212191 WITH SCORE 1220376.503
AT ITER 855 NEW BEST:: SOT 13561023 SOS 8185237 HAS SOPS 8185237 HAS SOUS 1211925 HAS SOUPS 1211925 WITH SCORE 1220110.237
AT ITER 856 NEW BEST:: SOT 13560890 SOS 7989599 HAS SOPS 7989599 HAS SOUS 1211056 HAS SOUPS 1211056 WITH SCORE 1219045.599
AT ITER 864 NEW BEST:: SOT 13560792 SOS 7989501 HAS SOPS 7989501 HAS SOUS 1210958 HAS SOUPS 1210958 WITH SCORE 1218947.501
AT ITER 878 NEW BEST:: SOT 13560769 SOS 7989478 HAS SOPS 7989478 HAS SOUS 1210935 HAS SOUPS 1210935 WITH SCORE 1218924.478
AT ITER 884 NEW BEST:: SOT 13560477 SOS 7990940 HAS SOPS 7990940 HAS SOUS 1210801 HAS SOUPS 1210801 WITH SCORE 1218791.94
AT ITER 923 NEW BEST:: SOT 13560411 SOS 7990912 HAS SOPS 7990912 HAS SOUS 1210773 HAS SOUPS 1210773 WITH SCORE 1218763.912
AT ITER 949 NEW BEST:: SOT 13560400 SOS 7990900 HAS SOPS 7990900 HAS SOUS 1210761 HAS SOUPS 1210761 WITH SCORE 1218751.9
AT ITER 953 NEW BEST:: SOT 13560285 SOS 7990670 HAS SOPS 7990670 HAS SOUS 1210646 HAS SOUPS 1210646 WITH SCORE 1218636.67
AT ITER 959 NEW BEST:: SOT 13560326 SOS 7990752 HAS SOPS 7990752 HAS SOUS 1210562 HAS SOUPS 1210562 WITH SCORE 1218552.752
AT ITER 962 NEW BEST:: SOT 13555689 SOS 7987046 HAS SOPS 7987046 HAS SOUS 1205995 HAS SOUPS 1205995 WITH SCORE 1213982.046
AT ITER 992 NEW BEST:: SOT 13554855 SOS 8012696 HAS SOPS 8012696 HAS SOUS 1205536 HAS SOUPS 1205536 WITH SCORE 1213548.696
AT ITER 997 NEW BEST:: SOT 13554985 SOS 8010796 HAS SOPS 8010796 HAS SOUS 1205531 HAS SOUPS 1205531 WITH SCORE 1213541.796
AT ITER 1005 NEW BEST:: SOT 13554776 SOS 8010378 HAS SOPS 8010378 HAS SOUS 1205031 HAS SOUPS 1205031 WITH SCORE 1213041.378
AT ITER 1019 NEW BEST:: SOT 13554756 SOS 8010358 HAS SOPS 8010358 HAS SOUS 1205011 HAS SOUPS 1205011 WITH SCORE 1213021.358
AT ITER 1029 NEW BEST:: SOT 13554816 SOS 8010478 HAS SOPS 8010478 HAS SOUS 1204898 HAS SOUPS 1204898 WITH SCORE 1212908.478
AT ITER 1033 NEW BEST:: SOT 13554966 SOS 8010438 HAS SOPS 8010438 HAS SOUS 1204858 HAS SOUPS 1204858 WITH SCORE 1212868.438
AT ITER 1052 NEW BEST:: SOT 13554966 SOS 8010302 HAS SOPS 8010302 HAS SOUS 1204722 HAS SOUPS 1204722 WITH SCORE 1212732.302
AT ITER 1057 NEW BEST:: SOT 13554966 SOS 8010225 HAS SOPS 8010225 HAS SOUS 1204645 HAS SOUPS 1204645 WITH SCORE 1212655.225
AT ITER 1066 NEW BEST:: SOT 13554927 SOS 8010147 HAS SOPS 8010147 HAS SOUS 1204606 HAS SOUPS 1204606 WITH SCORE 1212616.147
AT ITER 1074 NEW BEST:: SOT 13385727 SOS 7846098 HAS SOPS 7846098 HAS SOUS 1038322 HAS SOUPS 1038322 WITH SCORE 1046168.098
AT ITER 1079 NEW BEST:: SOT 13385715 SOS 7846086 HAS SOPS 7846086 HAS SOUS 1038310 HAS SOUPS 1038310 WITH SCORE 1046156.086
AT ITER 1094 NEW BEST:: SOT 13381778 SOS 7898316 HAS SOPS 7898316 HAS SOUS 1035466 HAS SOUPS 1035466 WITH SCORE 1043364.316
AT ITER 1104 NEW BEST:: SOT 13381746 SOS 7898252 HAS SOPS 7898252 HAS SOUS 1035351 HAS SOUPS 1035351 WITH SCORE 1043249.252
AT ITER 1115 NEW BEST:: SOT 13381692 SOS 7898144 HAS SOPS 7898144 HAS SOUS 1035297 HAS SOUPS 1035297 WITH SCORE 1043195.144
AT ITER 1168 NEW BEST:: SOT 13381691 SOS 7898142 HAS SOPS 7898142 HAS SOUS 1035295 HAS SOUPS 1035295 WITH SCORE 1043193.142
AT ITER 1172 NEW BEST:: SOT 13381337 SOS 7897706 HAS SOPS 7897706 HAS SOUS 1034859 HAS SOUPS 1034859 WITH SCORE 1042756.706
AT ITER 1176 NEW BEST:: SOT 13381337 SOS 7897686 HAS SOPS 7897686 HAS SOUS 1034839 HAS SOUPS 1034839 WITH SCORE 1042736.686
AT ITER 1182 NEW BEST:: SOT 13381275 SOS 7871914 HAS SOPS 7871914 HAS SOUS 1034695 HAS SOUPS 1034695 WITH SCORE 1042566.914
AT ITER 1207 NEW BEST:: SOT 13381248 SOS 7871860 HAS SOPS 7871860 HAS SOUS 1034641 HAS SOUPS 1034641 WITH SCORE 1042512.86
AT ITER 1217 NEW BEST:: SOT 13341710 SOS 8242712 HAS SOPS 8242712 HAS SOUS 1007549 HAS SOUPS 1007549 WITH SCORE 1015791.712
AT ITER 1233 NEW BEST:: SOT 13284551 SOS 8496080 HAS SOPS 8496080 HAS SOUS 968524 HAS SOUPS 968524 WITH SCORE 977020.08
AT ITER 1238 NEW BEST:: SOT 13284420 SOS 8495949 HAS SOPS 8495949 HAS SOUS 968393 HAS SOUPS 968393 WITH SCORE 976888.949
AT ITER 1239 NEW BEST:: SOT 13284374 SOS 8495945 HAS SOPS 8495945 HAS SOUS 968347 HAS SOUPS 968347 WITH SCORE 976842.945
AT ITER 1254 NEW BEST:: SOT 13284373 SOS 8495943 HAS SOPS 8495943 HAS SOUS 968345 HAS SOUPS 968345 WITH SCORE 976840.943
AT ITER 1264 NEW BEST:: SOT 13284372 SOS 8495941 HAS SOPS 8495941 HAS SOUS 968343 HAS SOUPS 968343 WITH SCORE 976838.941
AT ITER 1274 NEW BEST:: SOT 13283754 SOS 8495014 HAS SOPS 8495014 HAS SOUS 967725 HAS SOUPS 967725 WITH SCORE 976220.014
AT ITER 1278 NEW BEST:: SOT 13283822 SOS 8452481 HAS SOPS 8452481 HAS SOUS 966277 HAS SOUPS 966277 WITH SCORE 974729.481
AT ITER 1300 NEW BEST:: SOT 13283821 SOS 8452479 HAS SOPS 8452479 HAS SOUS 966275 HAS SOUPS 966275 WITH SCORE 974727.479
AT ITER 1321 NEW BEST:: SOT 13283776 SOS 8452389 HAS SOPS 8452389 HAS SOUS 966185 HAS SOUPS 966185 WITH SCORE 974637.389
AT ITER 1322 NEW BEST:: SOT 13283776 SOS 8437109 HAS SOPS 8437109 HAS SOUS 965994 HAS SOUPS 965994 WITH SCORE 974431.109
AT ITER 1332 NEW BEST:: SOT 13283740 SOS 8437037 HAS SOPS 8437037 HAS SOUS 965958 HAS SOUPS 965958 WITH SCORE 974395.037
AT ITER 1335 NEW BEST:: SOT 13283740 SOS 8441623 HAS SOPS 8441623 HAS SOUS 965848 HAS SOUPS 965848 WITH SCORE 974289.623
AT ITER 1336 NEW BEST:: SOT 13283672 SOS 8441487 HAS SOPS 8441487 HAS SOUS 965712 HAS SOUPS 965712 WITH SCORE 974153.487
AT ITER 1351 NEW BEST:: SOT 13283671 SOS 8441485 HAS SOPS 8441485 HAS SOUS 965710 HAS SOUPS 965710 WITH SCORE 974151.485
AT ITER 1368 NEW BEST:: SOT 13283592 SOS 8390135 HAS SOPS 8390135 HAS SOUS 964999 HAS SOUPS 964999 WITH SCORE 973389.135
AT ITER 1377 NEW BEST:: SOT 13283583 SOS 8389962 HAS SOPS 8389962 HAS SOUS 964826 HAS SOUPS 964826 WITH SCORE 973215.962
AT ITER 1385 NEW BEST:: SOT 13283574 SOS 8389953 HAS SOPS 8389953 HAS SOUS 964817 HAS SOUPS 964817 WITH SCORE 973206.953
AT ITER 1391 NEW BEST:: SOT 13283445 SOS 8389778 HAS SOPS 8389778 HAS SOUS 964688 HAS SOUPS 964688 WITH SCORE 973077.778
AT ITER 1404 NEW BEST:: SOT 13283444 SOS 8389776 HAS SOPS 8389776 HAS SOUS 964686 HAS SOUPS 964686 WITH SCORE 973075.776
AT ITER 1406 NEW BEST:: SOT 13283444 SOS 8346864 HAS SOPS 8346864 HAS SOUS 962083 HAS SOUPS 962083 WITH SCORE 970429.864
AT ITER 1415 NEW BEST:: SOT 13210152 SOS 8323859 HAS SOPS 8323859 HAS SOUS 908839 HAS SOUPS 908839 WITH SCORE 917162.859
AT ITER 1452 NEW BEST:: SOT 13210040 SOS 8323635 HAS SOPS 8323635 HAS SOUS 908615 HAS SOUPS 908615 WITH SCORE 916938.635
AT ITER 1455 NEW BEST:: SOT 13209999 SOS 8323553 HAS SOPS 8323553 HAS SOUS 908533 HAS SOUPS 908533 WITH SCORE 916856.553
AT ITER 1501 NEW BEST:: SOT 13202874 SOS 8366143 HAS SOPS 8366143 HAS SOUS 904251 HAS SOUPS 904251 WITH SCORE 912617.143
AT ITER 1504 NEW BEST:: SOT 13202873 SOS 8366141 HAS SOPS 8366141 HAS SOUS 904249 HAS SOUPS 904249 WITH SCORE 912615.141
AT ITER 1505 NEW BEST:: SOT 13202772 SOS 8365939 HAS SOPS 8365939 HAS SOUS 904148 HAS SOUPS 904148 WITH SCORE 912513.939
AT ITER 1507 NEW BEST:: SOT 13202709 SOS 8365813 HAS SOPS 8365813 HAS SOUS 904022 HAS SOUPS 904022 WITH SCORE 912387.813
AT ITER 1529 NEW BEST:: SOT 13203040 SOS 8357223 HAS SOPS 8357223 HAS SOUS 903550 HAS SOUPS 903550 WITH SCORE 911907.223
AT ITER 1543 NEW BEST:: SOT 13202962 SOS 8357067 HAS SOPS 8357067 HAS SOUS 903471 HAS SOUPS 903471 WITH SCORE 911828.067
AT ITER 1545 NEW BEST:: SOT 13202757 SOS 8356657 HAS SOPS 8356657 HAS SOUS 903291 HAS SOUPS 903291 WITH SCORE 911647.657
AT ITER 1550 NEW BEST:: SOT 13202752 SOS 8356647 HAS SOPS 8356647 HAS SOUS 903281 HAS SOUPS 903281 WITH SCORE 911637.647
AT ITER 1551 NEW BEST:: SOT 13202781 SOS 8356705 HAS SOPS 8356705 HAS SOUS 903262 HAS SOUPS 903262 WITH SCORE 911618.705
AT ITER 1580 NEW BEST:: SOT 13122216 SOS 8475031 HAS SOPS 8475031 HAS SOUS 829859 HAS SOUPS 829859 WITH SCORE 838334.031
AT ITER 1582 NEW BEST:: SOT 13122230 SOS 8475059 HAS SOPS 8475059 HAS SOUS 829848 HAS SOUPS 829848 WITH SCORE 838323.059
AT ITER 1586 NEW BEST:: SOT 13122138 SOS 8435131 HAS SOPS 8435131 HAS SOUS 828284 HAS SOUPS 828284 WITH SCORE 836719.131
AT ITER 1589 NEW BEST:: SOT 13122268 SOS 8435034 HAS SOPS 8435034 HAS SOUS 828187 HAS SOUPS 828187 WITH SCORE 836622.034
AT ITER 1598 NEW BEST:: SOT 13122208 SOS 8434914 HAS SOPS 8434914 HAS SOUS 828067 HAS SOUPS 828067 WITH SCORE 836501.914
AT ITER 1620 NEW BEST:: SOT 13122207 SOS 8434912 HAS SOPS 8434912 HAS SOUS 828065 HAS SOUPS 828065 WITH SCORE 836499.912
AT ITER 1623 NEW BEST:: SOT 13122172 SOS 8434842 HAS SOPS 8434842 HAS SOUS 827944 HAS SOUPS 827944 WITH SCORE 836378.842
AT ITER 1638 NEW BEST:: SOT 12986752 SOS 8323759 HAS SOPS 8323759 HAS SOUS 725059 HAS SOUPS 725059 WITH SCORE 733382.759
AT ITER 1639 NEW BEST:: SOT 12974532 SOS 8342981 HAS SOPS 8342981 HAS SOUS 716061 HAS SOUPS 716061 WITH SCORE 724403.981
AT ITER 1647 NEW BEST:: SOT 12974541 SOS 8285245 HAS SOPS 8285245 HAS SOUS 713935 HAS SOUPS 713935 WITH SCORE 722220.245
AT ITER 1663 NEW BEST:: SOT 12974541 SOS 8285217 HAS SOPS 8285217 HAS SOUS 713935 HAS SOUPS 713935 WITH SCORE 722220.217
AT ITER 1672 NEW BEST:: SOT 12974540 SOS 8285215 HAS SOPS 8285215 HAS SOUS 713933 HAS SOUPS 713933 WITH SCORE 722218.215
AT ITER 1680 NEW BEST:: SOT 12974336 SOS 8284102 HAS SOPS 8284102 HAS SOUS 712865 HAS SOUPS 712865 WITH SCORE 721149.102
AT ITER 1684 NEW BEST:: SOT 12973040 SOS 8282906 HAS SOPS 8282906 HAS SOUS 711569 HAS SOUPS 711569 WITH SCORE 719851.906
AT ITER 1701 NEW BEST:: SOT 12972935 SOS 8282696 HAS SOPS 8282696 HAS SOUS 711359 HAS SOUPS 711359 WITH SCORE 719641.696
AT ITER 1703 NEW BEST:: SOT 12972795 SOS 8282424 HAS SOPS 8282424 HAS SOUS 711087 HAS SOUPS 711087 WITH SCORE 719369.424
AT ITER 1730 NEW BEST:: SOT 12972794 SOS 8282422 HAS SOPS 8282422 HAS SOUS 711085 HAS SOUPS 711085 WITH SCORE 719367.422
AT ITER 1761 NEW BEST:: SOT 12972794 SOS 8282415 HAS SOPS 8282415 HAS SOUS 711078 HAS SOUPS 711078 WITH SCORE 719360.415
AT ITER 1764 NEW BEST:: SOT 12972770 SOS 8282367 HAS SOPS 8282367 HAS SOUS 711030 HAS SOUPS 711030 WITH SCORE 719312.367
AT ITER 1774 NEW BEST:: SOT 12972729 SOS 8282285 HAS SOPS 8282285 HAS SOUS 710948 HAS SOUPS 710948 WITH SCORE 719230.285
AT ITER 1779 NEW BEST:: SOT 12972729 SOS 8282285 HAS SOPS 8282285 HAS SOUS 710936 HAS SOUPS 710936 WITH SCORE 719218.285
AT ITER 1780 NEW BEST:: SOT 12972858 SOS 8250657 HAS SOPS 8250657 HAS SOUS 708941 HAS SOUPS 708941 WITH SCORE 717191.657
AT ITER 1807 NEW BEST:: SOT 12972784 SOS 8250509 HAS SOPS 8250509 HAS SOUS 708834 HAS SOUPS 708834 WITH SCORE 717084.509
AT ITER 1811 NEW BEST:: SOT 12972750 SOS 8250459 HAS SOPS 8250459 HAS SOUS 708784 HAS SOUPS 708784 WITH SCORE 717034.459
AT ITER 1823 NEW BEST:: SOT 12972608 SOS 8250175 HAS SOPS 8250175 HAS SOUS 708642 HAS SOUPS 708642 WITH SCORE 716892.175
AT ITER 1857 NEW BEST:: SOT 12972250 SOS 8249865 HAS SOPS 8249865 HAS SOUS 708505 HAS SOUPS 708505 WITH SCORE 716754.865
AT ITER 1872 NEW BEST:: SOT 12972225 SOS 8249840 HAS SOPS 8249840 HAS SOUS 708455 HAS SOUPS 708455 WITH SCORE 716704.84
AT ITER 1877 NEW BEST:: SOT 12972201 SOS 8249816 HAS SOPS 8249816 HAS SOUS 708431 HAS SOUPS 708431 WITH SCORE 716680.816
AT ITER 1882 NEW BEST:: SOT 12972231 SOS 8249876 HAS SOPS 8249876 HAS SOUS 708354 HAS SOUPS 708354 WITH SCORE 716603.876
AT ITER 1909 NEW BEST:: SOT 12972231 SOS 8249592 HAS SOPS 8249592 HAS SOUS 708191 HAS SOUPS 708191 WITH SCORE 716440.592
AT ITER 1910 NEW BEST:: SOT 12972062 SOS 8249254 HAS SOPS 8249254 HAS SOUS 707853 HAS SOUPS 707853 WITH SCORE 716102.254
AT ITER 1911 NEW BEST:: SOT 12972129 SOS 8249234 HAS SOPS 8249234 HAS SOUS 707833 HAS SOUPS 707833 WITH SCORE 716082.234
AT ITER 1919 NEW BEST:: SOT 12972067 SOS 8249110 HAS SOPS 8249110 HAS SOUS 707709 HAS SOUPS 707709 WITH SCORE 715958.11
AT ITER 1920 NEW BEST:: SOT 12972011 SOS 8248998 HAS SOPS 8248998 HAS SOUS 707597 HAS SOUPS 707597 WITH SCORE 715845.998
AT ITER 1933 NEW BEST:: SOT 12972009 SOS 8248994 HAS SOPS 8248994 HAS SOUS 707593 HAS SOUPS 707593 WITH SCORE 715841.994
AT ITER 1953 NEW BEST:: SOT 12972005 SOS 8248986 HAS SOPS 8248986 HAS SOUS 707587 HAS SOUPS 707587 WITH SCORE 715835.986
AT ITER 1954 NEW BEST:: SOT 12971881 SOS 8248862 HAS SOPS 8248862 HAS SOUS 707463 HAS SOUPS 707463 WITH SCORE 715711.862
AT ITER 1957 NEW BEST:: SOT 12971865 SOS 8248830 HAS SOPS 8248830 HAS SOUS 707431 HAS SOUPS 707431 WITH SCORE 715679.83
AT ITER 1961 NEW BEST:: SOT 12971800 SOS 8248700 HAS SOPS 8248700 HAS SOUS 707068 HAS SOUPS 707068 WITH SCORE 715316.7
AT ITER 1986 NEW BEST:: SOT 12971652 SOS 8248404 HAS SOPS 8248404 HAS SOUS 706951 HAS SOUPS 706951 WITH SCORE 715199.404
AT ITER 2010 NEW BEST:: SOT 12971609 SOS 8248318 HAS SOPS 8248318 HAS SOUS 706894 HAS SOUPS 706894 WITH SCORE 715142.318
AT ITER 2023 NEW BEST:: SOT 12971502 SOS 8213256 HAS SOPS 8213256 HAS SOUS 703174 HAS SOUPS 703174 WITH SCORE 711387.256
AT ITER 2033 NEW BEST:: SOT 12971456 SOS 8213164 HAS SOPS 8213164 HAS SOUS 702971 HAS SOUPS 702971 WITH SCORE 711184.164
AT ITER 2047 NEW BEST:: SOT 12971440 SOS 8213132 HAS SOPS 8213132 HAS SOUS 702939 HAS SOUPS 702939 WITH SCORE 711152.132
AT ITER 2075 NEW BEST:: SOT 12971439 SOS 8213130 HAS SOPS 8213130 HAS SOUS 702937 HAS SOUPS 702937 WITH SCORE 711150.13
AT ITER 2077 NEW BEST:: SOT 12971463 SOS 8213008 HAS SOPS 8213008 HAS SOUS 702843 HAS SOUPS 702843 WITH SCORE 711056.008
AT ITER 2095 NEW BEST:: SOT 12971265 SOS 8212612 HAS SOPS 8212612 HAS SOUS 702820 HAS SOUPS 702820 WITH SCORE 711032.612
AT ITER 2103 NEW BEST:: SOT 12971264 SOS 8212610 HAS SOPS 8212610 HAS SOUS 702818 HAS SOUPS 702818 WITH SCORE 711030.61
AT ITER 2107 NEW BEST:: SOT 12970982 SOS 7790123 HAS SOPS 7790123 HAS SOUS 696933 HAS SOUPS 696933 WITH SCORE 704723.123
AT ITER 2122 NEW BEST:: SOT 12970156 SOS 7800621 HAS SOPS 7800621 HAS SOUS 696573 HAS SOUPS 696573 WITH SCORE 704373.621
AT ITER 2124 NEW BEST:: SOT 12970084 SOS 7800587 HAS SOPS 7800587 HAS SOUS 696501 HAS SOUPS 696501 WITH SCORE 704301.587
AT ITER 2134 NEW BEST:: SOT 12970084 SOS 7793302 HAS SOPS 7793302 HAS SOUS 696496 HAS SOUPS 696496 WITH SCORE 704289.302
AT ITER 2154 NEW BEST:: SOT 12970044 SOS 7793222 HAS SOPS 7793222 HAS SOUS 696456 HAS SOUPS 696456 WITH SCORE 704249.222
AT ITER 2158 NEW BEST:: SOT 12969998 SOS 7793130 HAS SOPS 7793130 HAS SOUS 696410 HAS SOUPS 696410 WITH SCORE 704203.13
AT ITER 2172 NEW BEST:: SOT 12969941 SOS 7793016 HAS SOPS 7793016 HAS SOUS 696296 HAS SOUPS 696296 WITH SCORE 704089.016
AT ITER 2175 NEW BEST:: SOT 12969923 SOS 7792997 HAS SOPS 7792997 HAS SOUS 696277 HAS SOUPS 696277 WITH SCORE 704069.997
AT ITER 2179 NEW BEST:: SOT 12969713 SOS 7792577 HAS SOPS 7792577 HAS SOUS 695969 HAS SOUPS 695969 WITH SCORE 703761.577
AT ITER 2198 NEW BEST:: SOT 12969576 SOS 7792303 HAS SOPS 7792303 HAS SOUS 695695 HAS SOUPS 695695 WITH SCORE 703487.303
AT ITER 2223 NEW BEST:: SOT 12969576 SOS 7792303 HAS SOPS 7792303 HAS SOUS 695648 HAS SOUPS 695648 WITH SCORE 703440.303
AT ITER 2232 NEW BEST:: SOT 12969562 SOS 7792297 HAS SOPS 7792297 HAS SOUS 695639 HAS SOUPS 695639 WITH SCORE 703431.297
AT ITER 2239 NEW BEST:: SOT 12969434 SOS 7792041 HAS SOPS 7792041 HAS SOUS 695607 HAS SOUPS 695607 WITH SCORE 703399.041
AT ITER 2240 NEW BEST:: SOT 12969199 SOS 7791571 HAS SOPS 7791571 HAS SOUS 695391 HAS SOUPS 695391 WITH SCORE 703182.571
AT ITER 2242 NEW BEST:: SOT 12969159 SOS 7791491 HAS SOPS 7791491 HAS SOUS 695311 HAS SOUPS 695311 WITH SCORE 703102.491
AT ITER 2245 NEW BEST:: SOT 12969059 SOS 7791505 HAS SOPS 7791505 HAS SOUS 695303 HAS SOUPS 695303 WITH SCORE 703094.505
AT ITER 2246 NEW BEST:: SOT 12969058 SOS 7791503 HAS SOPS 7791503 HAS SOUS 695301 HAS SOUPS 695301 WITH SCORE 703092.503
AT ITER 2247 NEW BEST:: SOT 12968927 SOS 7689505 HAS SOPS 7689505 HAS SOUS 694330 HAS SOUPS 694330 WITH SCORE 702019.505
AT ITER 2252 NEW BEST:: SOT 12968730 SOS 7688914 HAS SOPS 7688914 HAS SOUS 694133 HAS SOUPS 694133 WITH SCORE 701821.914
AT ITER 2258 NEW BEST:: SOT 12968729 SOS 7688912 HAS SOPS 7688912 HAS SOUS 694131 HAS SOUPS 694131 WITH SCORE 701819.912
AT ITER 2266 NEW BEST:: SOT 12968712 SOS 7688878 HAS SOPS 7688878 HAS SOUS 694097 HAS SOUPS 694097 WITH SCORE 701785.878
AT ITER 2274 NEW BEST:: SOT 12968708 SOS 7688870 HAS SOPS 7688870 HAS SOUS 694093 HAS SOUPS 694093 WITH SCORE 701781.87
AT ITER 2325 NEW BEST:: SOT 12968588 SOS 7688630 HAS SOPS 7688630 HAS SOUS 693853 HAS SOUPS 693853 WITH SCORE 701541.63
AT ITER 2339 NEW BEST:: SOT 12968588 SOS 7686686 HAS SOPS 7686686 HAS SOUS 693847 HAS SOUPS 693847 WITH SCORE 701533.686
AT ITER 2345 NEW BEST:: SOT 12968455 SOS 7465128 HAS SOPS 7465128 HAS SOUS 692653 HAS SOUPS 692653 WITH SCORE 700118.128
AT ITER 2364 NEW BEST:: SOT 12968414 SOS 7465046 HAS SOPS 7465046 HAS SOUS 692571 HAS SOUPS 692571 WITH SCORE 700036.046
AT ITER 2393 NEW BEST:: SOT 12968390 SOS 7465010 HAS SOPS 7465010 HAS SOUS 692535 HAS SOUPS 692535 WITH SCORE 700000.01
AT ITER 2419 NEW BEST:: SOT 12968298 SOS 7464991 HAS SOPS 7464991 HAS SOUS 692443 HAS SOUPS 692443 WITH SCORE 699907.991
AT ITER 2423 NEW BEST:: SOT 12969246 SOS 7466050 HAS SOPS 7466050 HAS SOUS 691577 HAS SOUPS 691577 WITH SCORE 699043.05
AT ITER 2457 NEW BEST:: SOT 12969198 SOS 7465954 HAS SOPS 7465954 HAS SOUS 691481 HAS SOUPS 691481 WITH SCORE 698946.954
AT ITER 2490 NEW BEST:: SOT 12969100 SOS 7465758 HAS SOPS 7465758 HAS SOUS 691285 HAS SOUPS 691285 WITH SCORE 698750.758
AT ITER 2496 NEW BEST:: SOT 12969070 SOS 7465698 HAS SOPS 7465698 HAS SOUS 691225 HAS SOUPS 691225 WITH SCORE 698690.698
AT ITER 2504 NEW BEST:: SOT 12969095 SOS 7465600 HAS SOPS 7465600 HAS SOUS 690989 HAS SOUPS 690989 WITH SCORE 698454.6
AT ITER 2527 NEW BEST:: SOT 12969095 SOS 7465600 HAS SOPS 7465600 HAS SOUS 690950 HAS SOUPS 690950 WITH SCORE 698415.6
AT ITER 2538 NEW BEST:: SOT 12969058 SOS 7465526 HAS SOPS 7465526 HAS SOUS 690911 HAS SOUPS 690911 WITH SCORE 698376.526
AT ITER 2544 NEW BEST:: SOT 12969042 SOS 7465494 HAS SOPS 7465494 HAS SOUS 690879 HAS SOUPS 690879 WITH SCORE 698344.494
AT ITER 2551 NEW BEST:: SOT 12968975 SOS 7465293 HAS SOPS 7465293 HAS SOUS 690745 HAS SOUPS 690745 WITH SCORE 698210.293
AT ITER 2558 NEW BEST:: SOT 12968966 SOS 7461396 HAS SOPS 7461396 HAS SOUS 690583 HAS SOUPS 690583 WITH SCORE 698044.396
AT ITER 2563 NEW BEST:: SOT 12968814 SOS 7461092 HAS SOPS 7461092 HAS SOUS 690279 HAS SOUPS 690279 WITH SCORE 697740.092
AT ITER 2575 NEW BEST:: SOT 12970248 SOS 7462688 HAS SOPS 7462688 HAS SOUS 687477 HAS SOUPS 687477 WITH SCORE 694939.688
AT ITER 2578 NEW BEST:: SOT 12970176 SOS 7462544 HAS SOPS 7462544 HAS SOUS 687405 HAS SOUPS 687405 WITH SCORE 694867.544
AT ITER 2599 NEW BEST:: SOT 12970565 SOS 7447066 HAS SOPS 7447066 HAS SOUS 687254 HAS SOUPS 687254 WITH SCORE 694701.066
AT ITER 2601 NEW BEST:: SOT 12970556 SOS 7447048 HAS SOPS 7447048 HAS SOUS 687236 HAS SOUPS 687236 WITH SCORE 694683.048
AT ITER 2612 NEW BEST:: SOT 12970524 SOS 7446984 HAS SOPS 7446984 HAS SOUS 687172 HAS SOUPS 687172 WITH SCORE 694618.984
AT ITER 2647 NEW BEST:: SOT 12970515 SOS 7446974 HAS SOPS 7446974 HAS SOUS 687163 HAS SOUPS 687163 WITH SCORE 694609.974
AT ITER 2651 NEW BEST:: SOT 12970514 SOS 7447028 HAS SOPS 7447028 HAS SOUS 687161 HAS SOUPS 687161 WITH SCORE 694608.028
AT ITER 2652 NEW BEST:: SOT 12970513 SOS 7447026 HAS SOPS 7447026 HAS SOUS 687159 HAS SOUPS 687159 WITH SCORE 694606.026
AT ITER 2677 NEW BEST:: SOT 12767523 SOS 7250545 HAS SOPS 7250545 HAS SOUS 561748 HAS SOUPS 561748 WITH SCORE 568998.545
AT ITER 2679 NEW BEST:: SOT 12767389 SOS 7192305 HAS SOPS 7192305 HAS SOUS 553033 HAS SOUPS 553033 WITH SCORE 560225.305
AT ITER 2681 NEW BEST:: SOT 12767389 SOS 7192305 HAS SOPS 7192305 HAS SOUS 552997 HAS SOUPS 552997 WITH SCORE 560189.305
AT ITER 2685 NEW BEST:: SOT 12767337 SOS 7192201 HAS SOPS 7192201 HAS SOUS 552923 HAS SOUPS 552923 WITH SCORE 560115.201
AT ITER 2689 NEW BEST:: SOT 12767322 SOS 7192171 HAS SOPS 7192171 HAS SOUS 552893 HAS SOUPS 552893 WITH SCORE 560085.171
AT ITER 2692 NEW BEST:: SOT 12765835 SOS 7256558 HAS SOPS 7256558 HAS SOUS 552200 HAS SOUPS 552200 WITH SCORE 559456.558
AT ITER 2698 NEW BEST:: SOT 12765822 SOS 7256532 HAS SOPS 7256532 HAS SOUS 552187 HAS SOUPS 552187 WITH SCORE 559443.532
AT ITER 2700 NEW BEST:: SOT 12765742 SOS 7256372 HAS SOPS 7256372 HAS SOUS 552107 HAS SOUPS 552107 WITH SCORE 559363.372
AT ITER 2703 NEW BEST:: SOT 12765742 SOS 7256348 HAS SOPS 7256348 HAS SOUS 552083 HAS SOUPS 552083 WITH SCORE 559339.348
AT ITER 2710 NEW BEST:: SOT 12765741 SOS 7256346 HAS SOPS 7256346 HAS SOUS 552081 HAS SOUPS 552081 WITH SCORE 559337.346
AT ITER 2711 NEW BEST:: SOT 12764283 SOS 7254888 HAS SOPS 7254888 HAS SOUS 550623 HAS SOUPS 550623 WITH SCORE 557877.888
AT ITER 2714 NEW BEST:: SOT 12764277 SOS 7254876 HAS SOPS 7254876 HAS SOUS 550611 HAS SOUPS 550611 WITH SCORE 557865.876
AT ITER 2718 NEW BEST:: SOT 12751321 SOS 7361678 HAS SOPS 7361678 HAS SOUS 544837 HAS SOUPS 544837 WITH SCORE 552198.678
AT ITER 2730 NEW BEST:: SOT 12741819 SOS 7582287 HAS SOPS 7582287 HAS SOUS 536774 HAS SOUPS 536774 WITH SCORE 544356.287
AT ITER 2741 NEW BEST:: SOT 12741733 SOS 7456813 HAS SOPS 7456813 HAS SOUS 536516 HAS SOUPS 536516 WITH SCORE 543972.813
AT ITER 2756 NEW BEST:: SOT 12741794 SOS 7456327 HAS SOPS 7456327 HAS SOUS 536329 HAS SOUPS 536329 WITH SCORE 543785.327
AT ITER 2804 NEW BEST:: SOT 12741757 SOS 7456047 HAS SOPS 7456047 HAS SOUS 536284 HAS SOUPS 536284 WITH SCORE 543740.047
AT ITER 2826 NEW BEST:: SOT 12741783 SOS 7455859 HAS SOPS 7455859 HAS SOUS 536039 HAS SOUPS 536039 WITH SCORE 543494.859
AT ITER 2856 NEW BEST:: SOT 12741753 SOS 7455799 HAS SOPS 7455799 HAS SOUS 536019 HAS SOUPS 536019 WITH SCORE 543474.799
AT ITER 2870 NEW BEST:: SOT 12741712 SOS 7455717 HAS SOPS 7455717 HAS SOUS 535937 HAS SOUPS 535937 WITH SCORE 543392.717
AT ITER 2871 NEW BEST:: SOT 12742035 SOS 7455355 HAS SOPS 7455355 HAS SOUS 535909 HAS SOUPS 535909 WITH SCORE 543364.355
AT ITER 2875 NEW BEST:: SOT 12742019 SOS 7455323 HAS SOPS 7455323 HAS SOUS 535850 HAS SOUPS 535850 WITH SCORE 543305.323
AT ITER 2876 NEW BEST:: SOT 12742019 SOS 7455260 HAS SOPS 7455260 HAS SOUS 535787 HAS SOUPS 535787 WITH SCORE 543242.26
AT ITER 2891 NEW BEST:: SOT 12741961 SOS 7455218 HAS SOPS 7455218 HAS SOUS 535745 HAS SOUPS 535745 WITH SCORE 543200.218
AT ITER 2895 NEW BEST:: SOT 12741961 SOS 7455218 HAS SOPS 7455218 HAS SOUS 535717 HAS SOUPS 535717 WITH SCORE 543172.218
AT ITER 2901 NEW BEST:: SOT 12741961 SOS 7455218 HAS SOPS 7455218 HAS SOUS 535635 HAS SOUPS 535635 WITH SCORE 543090.218
AT ITER 2904 NEW BEST:: SOT 12741893 SOS 7455082 HAS SOPS 7455082 HAS SOUS 535499 HAS SOUPS 535499 WITH SCORE 542954.082
AT ITER 2913 NEW BEST:: SOT 12741789 SOS 7454874 HAS SOPS 7454874 HAS SOUS 535291 HAS SOUPS 535291 WITH SCORE 542745.874
AT ITER 2932 NEW BEST:: SOT 12741442 SOS 7454180 HAS SOPS 7454180 HAS SOUS 534597 HAS SOUPS 534597 WITH SCORE 542051.18
AT ITER 2939 NEW BEST:: SOT 12741422 SOS 7454140 HAS SOPS 7454140 HAS SOUS 531361 HAS SOUPS 531361 WITH SCORE 538815.14
AT ITER 2949 NEW BEST:: SOT 12741422 SOS 7454140 HAS SOPS 7454140 HAS SOUS 531245 HAS SOUPS 531245 WITH SCORE 538699.14
AT ITER 2950 NEW BEST:: SOT 12741398 SOS 7454092 HAS SOPS 7454092 HAS SOUS 531197 HAS SOUPS 531197 WITH SCORE 538651.092
AT ITER 2964 NEW BEST:: SOT 12741270 SOS 7453836 HAS SOPS 7453836 HAS SOUS 530941 HAS SOUPS 530941 WITH SCORE 538394.836
AT ITER 2969 NEW BEST:: SOT 12741116 SOS 7453528 HAS SOPS 7453528 HAS SOUS 530633 HAS SOUPS 530633 WITH SCORE 538086.528
AT ITER 2975 NEW BEST:: SOT 12741136 SOS 7453538 HAS SOPS 7453538 HAS SOUS 530613 HAS SOUPS 530613 WITH SCORE 538066.538
AT ITER 2979 NEW BEST:: SOT 12741111 SOS 7453488 HAS SOPS 7453488 HAS SOUS 530563 HAS SOUPS 530563 WITH SCORE 538016.488
AT ITER 2982 NEW BEST:: SOT 12741111 SOS 7453441 HAS SOPS 7453441 HAS SOUS 530516 HAS SOUPS 530516 WITH SCORE 537969.441
AT ITER 2995 NEW BEST:: SOT 12741077 SOS 7453373 HAS SOPS 7453373 HAS SOUS 530448 HAS SOUPS 530448 WITH SCORE 537901.373
AT ITER 2998 NEW BEST:: SOT 12741076 SOS 7453371 HAS SOPS 7453371 HAS SOUS 530446 HAS SOUPS 530446 WITH SCORE 537899.371
AT ITER 3007 NEW BEST:: SOT 12732735 SOS 7536700 HAS SOPS 7536700 HAS SOUS 527399 HAS SOUPS 527399 WITH SCORE 534935.7
AT ITER 3009 NEW BEST:: SOT 12732704 SOS 7536638 HAS SOPS 7536638 HAS SOUS 527378 HAS SOUPS 527378 WITH SCORE 534914.638
AT ITER 3010 NEW BEST:: SOT 12732695 SOS 7536620 HAS SOPS 7536620 HAS SOUS 527360 HAS SOUPS 527360 WITH SCORE 534896.62
AT ITER 3024 NEW BEST:: SOT 12732622 SOS 7536558 HAS SOPS 7536558 HAS SOUS 527273 HAS SOUPS 527273 WITH SCORE 534809.558
AT ITER 3037 NEW BEST:: SOT 12732582 SOS 7536478 HAS SOPS 7536478 HAS SOUS 527193 HAS SOUPS 527193 WITH SCORE 534729.478
AT ITER 3049 NEW BEST:: SOT 12732581 SOS 7536476 HAS SOPS 7536476 HAS SOUS 527191 HAS SOUPS 527191 WITH SCORE 534727.476
AT ITER 3050 NEW BEST:: SOT 12732552 SOS 7536418 HAS SOPS 7536418 HAS SOUS 527133 HAS SOUPS 527133 WITH SCORE 534669.418
AT ITER 3067 NEW BEST:: SOT 12732329 SOS 7535972 HAS SOPS 7535972 HAS SOUS 526687 HAS SOUPS 526687 WITH SCORE 534222.972
AT ITER 3074 NEW BEST:: SOT 12732328 SOS 7535970 HAS SOPS 7535970 HAS SOUS 526685 HAS SOUPS 526685 WITH SCORE 534220.97
AT ITER 3079 NEW BEST:: SOT 12732184 SOS 7535682 HAS SOPS 7535682 HAS SOUS 526541 HAS SOUPS 526541 WITH SCORE 534076.682
AT ITER 3080 NEW BEST:: SOT 12732157 SOS 7535628 HAS SOPS 7535628 HAS SOUS 526487 HAS SOUPS 526487 WITH SCORE 534022.628
AT ITER 3084 NEW BEST:: SOT 12732005 SOS 7535324 HAS SOPS 7535324 HAS SOUS 526183 HAS SOUPS 526183 WITH SCORE 533718.324
AT ITER 3106 NEW BEST:: SOT 12731970 SOS 7535254 HAS SOPS 7535254 HAS SOUS 526113 HAS SOUPS 526113 WITH SCORE 533648.254
AT ITER 3114 NEW BEST:: SOT 12731792 SOS 7534898 HAS SOPS 7534898 HAS SOUS 525757 HAS SOUPS 525757 WITH SCORE 533291.898
AT ITER 3118 NEW BEST:: SOT 12731779 SOS 7534872 HAS SOPS 7534872 HAS SOUS 525731 HAS SOUPS 525731 WITH SCORE 533265.872
AT ITER 3125 NEW BEST:: SOT 12731772 SOS 7534858 HAS SOPS 7534858 HAS SOUS 525724 HAS SOUPS 525724 WITH SCORE 533258.858
AT ITER 3152 NEW BEST:: SOT 12731772 SOS 7135366 HAS SOPS 7135366 HAS SOUS 525516 HAS SOUPS 525516 WITH SCORE 532651.366
AT ITER 3179 NEW BEST:: SOT 12731708 SOS 7135238 HAS SOPS 7135238 HAS SOUS 525452 HAS SOUPS 525452 WITH SCORE 532587.238
AT ITER 3185 NEW BEST:: SOT 12731673 SOS 7135168 HAS SOPS 7135168 HAS SOUS 525382 HAS SOUPS 525382 WITH SCORE 532517.168
AT ITER 3207 NEW BEST:: SOT 12731595 SOS 7051258 HAS SOPS 7051258 HAS SOUS 524950 HAS SOUPS 524950 WITH SCORE 532001.258
AT ITER 3221 NEW BEST:: SOT 12731646 SOS 7051240 HAS SOPS 7051240 HAS SOUS 524932 HAS SOUPS 524932 WITH SCORE 531983.24
AT ITER 3222 NEW BEST:: SOT 12731646 SOS 7051221 HAS SOPS 7051221 HAS SOUS 524913 HAS SOUPS 524913 WITH SCORE 531964.221
AT ITER 3262 NEW BEST:: SOT 12731642 SOS 7051213 HAS SOPS 7051213 HAS SOUS 524905 HAS SOUPS 524905 WITH SCORE 531956.213
AT ITER 3285 NEW BEST:: SOT 12731431 SOS 7050791 HAS SOPS 7050791 HAS SOUS 524794 HAS SOUPS 524794 WITH SCORE 531844.791
AT ITER 3287 NEW BEST:: SOT 12731398 SOS 7050725 HAS SOPS 7050725 HAS SOUS 524728 HAS SOUPS 524728 WITH SCORE 531778.725
AT ITER 3292 NEW BEST:: SOT 12731084 SOS 7050097 HAS SOPS 7050097 HAS SOUS 524100 HAS SOUPS 524100 WITH SCORE 531150.097
AT ITER 3318 NEW BEST:: SOT 12731084 SOS 7050097 HAS SOPS 7050097 HAS SOUS 524097 HAS SOUPS 524097 WITH SCORE 531147.097
AT ITER 3330 NEW BEST:: SOT 12730962 SOS 7049853 HAS SOPS 7049853 HAS SOUS 523853 HAS SOUPS 523853 WITH SCORE 530902.853
AT ITER 3344 NEW BEST:: SOT 12730830 SOS 7049941 HAS SOPS 7049941 HAS SOUS 523721 HAS SOUPS 523721 WITH SCORE 530770.941
AT ITER 3367 NEW BEST:: SOT 12730779 SOS 7049839 HAS SOPS 7049839 HAS SOUS 523619 HAS SOUPS 523619 WITH SCORE 530668.839
AT ITER 3385 NEW BEST:: SOT 12730779 SOS 7049839 HAS SOPS 7049839 HAS SOUS 523598 HAS SOUPS 523598 WITH SCORE 530647.839
AT ITER 3387 NEW BEST:: SOT 12730731 SOS 7049743 HAS SOPS 7049743 HAS SOUS 523568 HAS SOUPS 523568 WITH SCORE 530617.743
AT ITER 3422 NEW BEST:: SOT 12730626 SOS 7049533 HAS SOPS 7049533 HAS SOUS 523358 HAS SOUPS 523358 WITH SCORE 530407.533
AT ITER 3424 NEW BEST:: SOT 12730455 SOS 7049191 HAS SOPS 7049191 HAS SOUS 523016 HAS SOUPS 523016 WITH SCORE 530065.191
AT ITER 3448 NEW BEST:: SOT 12730455 SOS 7049075 HAS SOPS 7049075 HAS SOUS 523016 HAS SOUPS 523016 WITH SCORE 530065.075
AT ITER 3467 NEW BEST:: SOT 12730449 SOS 7049063 HAS SOPS 7049063 HAS SOUS 523004 HAS SOUPS 523004 WITH SCORE 530053.063
AT ITER 3491 NEW BEST:: SOT 12730425 SOS 7049015 HAS SOPS 7049015 HAS SOUS 522956 HAS SOUPS 522956 WITH SCORE 530005.015
AT ITER 3518 NEW BEST:: SOT 12730387 SOS 7048939 HAS SOPS 7048939 HAS SOUS 522880 HAS SOUPS 522880 WITH SCORE 529928.939
AT ITER 3525 NEW BEST:: SOT 12730353 SOS 7048871 HAS SOPS 7048871 HAS SOUS 522812 HAS SOUPS 522812 WITH SCORE 529860.871
AT ITER 3553 NEW BEST:: SOT 12730335 SOS 7048835 HAS SOPS 7048835 HAS SOUS 522776 HAS SOUPS 522776 WITH SCORE 529824.835
AT ITER 3567 NEW BEST:: SOT 12730299 SOS 7048763 HAS SOPS 7048763 HAS SOUS 522704 HAS SOUPS 522704 WITH SCORE 529752.763
AT ITER 3587 NEW BEST:: SOT 12730296 SOS 7048757 HAS SOPS 7048757 HAS SOUS 522698 HAS SOUPS 522698 WITH SCORE 529746.757
AT ITER 3589 NEW BEST:: SOT 12730224 SOS 7048791 HAS SOPS 7048791 HAS SOUS 522554 HAS SOUPS 522554 WITH SCORE 529602.791
AT ITER 3602 NEW BEST:: SOT 12730201 SOS 7033864 HAS SOPS 7033864 HAS SOUS 522347 HAS SOUPS 522347 WITH SCORE 529380.864
AT ITER 3608 NEW BEST:: SOT 12730194 SOS 7033910 HAS SOPS 7033910 HAS SOUS 522340 HAS SOUPS 522340 WITH SCORE 529373.91
AT ITER 3623 NEW BEST:: SOT 12730120 SOS 7033762 HAS SOPS 7033762 HAS SOUS 522192 HAS SOUPS 522192 WITH SCORE 529225.762
AT ITER 3624 NEW BEST:: SOT 12730083 SOS 7033688 HAS SOPS 7033688 HAS SOUS 522118 HAS SOUPS 522118 WITH SCORE 529151.688
AT ITER 3631 NEW BEST:: SOT 12730083 SOS 7033647 HAS SOPS 7033647 HAS SOUS 522116 HAS SOUPS 522116 WITH SCORE 529149.647
AT ITER 3635 NEW BEST:: SOT 12730083 SOS 7033557 HAS SOPS 7033557 HAS SOUS 522026 HAS SOUPS 522026 WITH SCORE 529059.557
AT ITER 3642 NEW BEST:: SOT 12729972 SOS 7033335 HAS SOPS 7033335 HAS SOUS 521748 HAS SOUPS 521748 WITH SCORE 528781.335
AT ITER 3651 NEW BEST:: SOT 12729842 SOS 7033075 HAS SOPS 7033075 HAS SOUS 521618 HAS SOUPS 521618 WITH SCORE 528651.075
AT ITER 3656 NEW BEST:: SOT 12729819 SOS 7033029 HAS SOPS 7033029 HAS SOUS 521572 HAS SOUPS 521572 WITH SCORE 528605.029
AT ITER 3669 NEW BEST:: SOT 12729819 SOS 7032956 HAS SOPS 7032956 HAS SOUS 521572 HAS SOUPS 521572 WITH SCORE 528604.956
AT ITER 3675 NEW BEST:: SOT 12729815 SOS 7032952 HAS SOPS 7032952 HAS SOUS 521568 HAS SOUPS 521568 WITH SCORE 528600.952
AT ITER 3676 NEW BEST:: SOT 12729814 SOS 7032929 HAS SOPS 7032929 HAS SOUS 521545 HAS SOUPS 521545 WITH SCORE 528577.929
AT ITER 3683 NEW BEST:: SOT 12729741 SOS 7032783 HAS SOPS 7032783 HAS SOUS 521416 HAS SOUPS 521416 WITH SCORE 528448.783
AT ITER 3687 NEW BEST:: SOT 12729676 SOS 7032653 HAS SOPS 7032653 HAS SOUS 521286 HAS SOUPS 521286 WITH SCORE 528318.653
AT ITER 3707 NEW BEST:: SOT 12729634 SOS 7032569 HAS SOPS 7032569 HAS SOUS 521202 HAS SOUPS 521202 WITH SCORE 528234.569
AT ITER 3725 NEW BEST:: SOT 12729634 SOS 7032569 HAS SOPS 7032569 HAS SOUS 521201 HAS SOUPS 521201 WITH SCORE 528233.569
AT ITER 3728 NEW BEST:: SOT 12729526 SOS 7032353 HAS SOPS 7032353 HAS SOUS 521121 HAS SOUPS 521121 WITH SCORE 528153.353
AT ITER 3738 NEW BEST:: SOT 12729526 SOS 6778661 HAS SOPS 6778661 HAS SOUS 521091 HAS SOUPS 521091 WITH SCORE 527869.661
AT ITER 3741 NEW BEST:: SOT 12729482 SOS 6778573 HAS SOPS 6778573 HAS SOUS 521003 HAS SOUPS 521003 WITH SCORE 527781.573
AT ITER 3747 NEW BEST:: SOT 12729477 SOS 6778563 HAS SOPS 6778563 HAS SOUS 520993 HAS SOUPS 520993 WITH SCORE 527771.563
AT ITER 3771 NEW BEST:: SOT 12729472 SOS 6778553 HAS SOPS 6778553 HAS SOUS 520983 HAS SOUPS 520983 WITH SCORE 527761.553
AT ITER 3782 NEW BEST:: SOT 12729448 SOS 6778505 HAS SOPS 6778505 HAS SOUS 520935 HAS SOUPS 520935 WITH SCORE 527713.505
AT ITER 3789 NEW BEST:: SOT 12729447 SOS 6778503 HAS SOPS 6778503 HAS SOUS 520933 HAS SOUPS 520933 WITH SCORE 527711.503
AT ITER 3799 NEW BEST:: SOT 12729436 SOS 6778498 HAS SOPS 6778498 HAS SOUS 520826 HAS SOUPS 520826 WITH SCORE 527604.498
AT ITER 3800 NEW BEST:: SOT 12729231 SOS 6683469 HAS SOPS 6683469 HAS SOUS 519253 HAS SOUPS 519253 WITH SCORE 525936.469
AT ITER 3812 NEW BEST:: SOT 12729084 SOS 6451731 HAS SOPS 6451731 HAS SOUS 516703 HAS SOUPS 516703 WITH SCORE 523154.731
AT ITER 3820 NEW BEST:: SOT 12728963 SOS 6451695 HAS SOPS 6451695 HAS SOUS 516640 HAS SOUPS 516640 WITH SCORE 523091.695
AT ITER 3823 NEW BEST:: SOT 12728893 SOS 6451555 HAS SOPS 6451555 HAS SOUS 516500 HAS SOUPS 516500 WITH SCORE 522951.555
AT ITER 3830 NEW BEST:: SOT 12728871 SOS 6451511 HAS SOPS 6451511 HAS SOUS 516456 HAS SOUPS 516456 WITH SCORE 522907.511
AT ITER 3837 NEW BEST:: SOT 12728807 SOS 6451456 HAS SOPS 6451456 HAS SOUS 516443 HAS SOUPS 516443 WITH SCORE 522894.456
AT ITER 3841 NEW BEST:: SOT 12728807 SOS 6451456 HAS SOPS 6451456 HAS SOUS 516421 HAS SOUPS 516421 WITH SCORE 522872.456
AT ITER 3853 NEW BEST:: SOT 12728779 SOS 6451400 HAS SOPS 6451400 HAS SOUS 516365 HAS SOUPS 516365 WITH SCORE 522816.4
AT ITER 3862 NEW BEST:: SOT 12727818 SOS 6450389 HAS SOPS 6450389 HAS SOUS 511491 HAS SOUPS 511491 WITH SCORE 517941.389
AT ITER 3866 NEW BEST:: SOT 12727674 SOS 6368489 HAS SOPS 6368489 HAS SOUS 509839 HAS SOUPS 509839 WITH SCORE 516207.489
AT ITER 3885 NEW BEST:: SOT 12727643 SOS 6368427 HAS SOPS 6368427 HAS SOUS 509777 HAS SOUPS 509777 WITH SCORE 516145.427
AT ITER 3896 NEW BEST:: SOT 12727565 SOS 6368271 HAS SOPS 6368271 HAS SOUS 509621 HAS SOUPS 509621 WITH SCORE 515989.271
AT ITER 3903 NEW BEST:: SOT 12727526 SOS 6368293 HAS SOPS 6368293 HAS SOUS 509619 HAS SOUPS 509619 WITH SCORE 515987.293
AT ITER 3904 NEW BEST:: SOT 12727511 SOS 6368263 HAS SOPS 6368263 HAS SOUS 509589 HAS SOUPS 509589 WITH SCORE 515957.263
AT ITER 3923 NEW BEST:: SOT 12727510 SOS 6368261 HAS SOPS 6368261 HAS SOUS 509587 HAS SOUPS 509587 WITH SCORE 515955.261
AT ITER 3939 NEW BEST:: SOT 12727500 SOS 6368323 HAS SOPS 6368323 HAS SOUS 509577 HAS SOUPS 509577 WITH SCORE 515945.323
AT ITER 3987 NEW BEST:: SOT 12727472 SOS 6368267 HAS SOPS 6368267 HAS SOUS 509549 HAS SOUPS 509549 WITH SCORE 515917.267
AT ITER 3990 NEW BEST:: SOT 12727280 SOS 6367883 HAS SOPS 6367883 HAS SOUS 509357 HAS SOUPS 509357 WITH SCORE 515724.883
AT ITER 4000 NEW BEST:: SOT 12727222 SOS 6367767 HAS SOPS 6367767 HAS SOUS 509241 HAS SOUPS 509241 WITH SCORE 515608.767
AT ITER 4070 NEW BEST:: SOT 12727215 SOS 6367753 HAS SOPS 6367753 HAS SOUS 509227 HAS SOUPS 509227 WITH SCORE 515594.753
AT ITER 4076 NEW BEST:: SOT 12727548 SOS 6368419 HAS SOPS 6368419 HAS SOUS 509166 HAS SOUPS 509166 WITH SCORE 515534.419
AT ITER 4089 NEW BEST:: SOT 12727548 SOS 6368389 HAS SOPS 6368389 HAS SOUS 509166 HAS SOUPS 509166 WITH SCORE 515534.389
AT ITER 4135 NEW BEST:: SOT 12727511 SOS 6368315 HAS SOPS 6368315 HAS SOUS 509092 HAS SOUPS 509092 WITH SCORE 515460.315
AT ITER 4161 NEW BEST:: SOT 12727511 SOS 6367667 HAS SOPS 6367667 HAS SOUS 509085 HAS SOUPS 509085 WITH SCORE 515452.667
AT ITER 4174 NEW BEST:: SOT 12727423 SOS 6205671 HAS SOPS 6205671 HAS SOUS 508158 HAS SOUPS 508158 WITH SCORE 514363.671
AT ITER 4179 NEW BEST:: SOT 12727311 SOS 6205447 HAS SOPS 6205447 HAS SOUS 507934 HAS SOUPS 507934 WITH SCORE 514139.447
AT ITER 4191 NEW BEST:: SOT 12727311 SOS 6205233 HAS SOPS 6205233 HAS SOUS 507827 HAS SOUPS 507827 WITH SCORE 514032.233
AT ITER 4205 NEW BEST:: SOT 12726902 SOS 6205065 HAS SOPS 6205065 HAS SOUS 507576 HAS SOUPS 507576 WITH SCORE 513781.065
AT ITER 4207 NEW BEST:: SOT 12726895 SOS 6205051 HAS SOPS 6205051 HAS SOUS 507562 HAS SOUPS 507562 WITH SCORE 513767.051
AT ITER 4212 NEW BEST:: SOT 12726894 SOS 6205049 HAS SOPS 6205049 HAS SOUS 507560 HAS SOUPS 507560 WITH SCORE 513765.049
AT ITER 4219 NEW BEST:: SOT 12726870 SOS 6205001 HAS SOPS 6205001 HAS SOUS 507512 HAS SOUPS 507512 WITH SCORE 513717.001
AT ITER 4222 NEW BEST:: SOT 12726815 SOS 6204891 HAS SOPS 6204891 HAS SOUS 507457 HAS SOUPS 507457 WITH SCORE 513661.891
AT ITER 4239 NEW BEST:: SOT 12726747 SOS 6204687 HAS SOPS 6204687 HAS SOUS 507389 HAS SOUPS 507389 WITH SCORE 513593.687
AT ITER 4242 NEW BEST:: SOT 12726745 SOS 6204683 HAS SOPS 6204683 HAS SOUS 507385 HAS SOUPS 507385 WITH SCORE 513589.683
AT ITER 4244 NEW BEST:: SOT 12726725 SOS 6204643 HAS SOPS 6204643 HAS SOUS 507345 HAS SOUPS 507345 WITH SCORE 513549.643
AT ITER 4267 NEW BEST:: SOT 12726700 SOS 6204618 HAS SOPS 6204618 HAS SOUS 507320 HAS SOUPS 507320 WITH SCORE 513524.618
AT ITER 4269 NEW BEST:: SOT 12726675 SOS 6204568 HAS SOPS 6204568 HAS SOUS 507270 HAS SOUPS 507270 WITH SCORE 513474.568
AT ITER 4304 NEW BEST:: SOT 12726596 SOS 6204410 HAS SOPS 6204410 HAS SOUS 507112 HAS SOUPS 507112 WITH SCORE 513316.41
AT ITER 4307 NEW BEST:: SOT 12726266 SOS 6111298 HAS SOPS 6111298 HAS SOUS 504775 HAS SOUPS 504775 WITH SCORE 510886.298
AT ITER 4316 NEW BEST:: SOT 12726247 SOS 6111260 HAS SOPS 6111260 HAS SOUS 504737 HAS SOUPS 504737 WITH SCORE 510848.26
AT ITER 4334 NEW BEST:: SOT 12726212 SOS 6111190 HAS SOPS 6111190 HAS SOUS 504458 HAS SOUPS 504458 WITH SCORE 510569.19
AT ITER 4343 NEW BEST:: SOT 12726211 SOS 6111188 HAS SOPS 6111188 HAS SOUS 504457 HAS SOUPS 504457 WITH SCORE 510568.188
AT ITER 4362 NEW BEST:: SOT 12726056 SOS 6110878 HAS SOPS 6110878 HAS SOUS 504103 HAS SOUPS 504103 WITH SCORE 510213.878
AT ITER 4379 NEW BEST:: SOT 12726056 SOS 6110776 HAS SOPS 6110776 HAS SOUS 504001 HAS SOUPS 504001 WITH SCORE 510111.776
AT ITER 4380 NEW BEST:: SOT 12725922 SOS 6110508 HAS SOPS 6110508 HAS SOUS 503733 HAS SOUPS 503733 WITH SCORE 509843.508
AT ITER 4381 NEW BEST:: SOT 12725922 SOS 6110487 HAS SOPS 6110487 HAS SOUS 503712 HAS SOUPS 503712 WITH SCORE 509822.487
AT ITER 4388 NEW BEST:: SOT 12724454 SOS 6108823 HAS SOPS 6108823 HAS SOUS 502028 HAS SOUPS 502028 WITH SCORE 508136.823
AT ITER 4390 NEW BEST:: SOT 12724424 SOS 6108763 HAS SOPS 6108763 HAS SOUS 501968 HAS SOUPS 501968 WITH SCORE 508076.763
AT ITER 4393 NEW BEST:: SOT 12724287 SOS 6108489 HAS SOPS 6108489 HAS SOUS 501694 HAS SOUPS 501694 WITH SCORE 507802.489
AT ITER 4427 NEW BEST:: SOT 12724285 SOS 6108485 HAS SOPS 6108485 HAS SOUS 501690 HAS SOUPS 501690 WITH SCORE 507798.485
AT ITER 4461 NEW BEST:: SOT 12724256 SOS 6108427 HAS SOPS 6108427 HAS SOUS 501661 HAS SOUPS 501661 WITH SCORE 507769.427
AT ITER 4482 NEW BEST:: SOT 12724233 SOS 6108381 HAS SOPS 6108381 HAS SOUS 501638 HAS SOUPS 501638 WITH SCORE 507746.381
AT ITER 4518 NEW BEST:: SOT 12724167 SOS 6108249 HAS SOPS 6108249 HAS SOUS 501506 HAS SOUPS 501506 WITH SCORE 507614.249
AT ITER 4519 NEW BEST:: SOT 12724165 SOS 6108245 HAS SOPS 6108245 HAS SOUS 501502 HAS SOUPS 501502 WITH SCORE 507610.245
AT ITER 4530 NEW BEST:: SOT 12724164 SOS 6108243 HAS SOPS 6108243 HAS SOUS 501500 HAS SOUPS 501500 WITH SCORE 507608.243
AT ITER 4531 NEW BEST:: SOT 12724257 SOS 6108429 HAS SOPS 6108429 HAS SOUS 501453 HAS SOUPS 501453 WITH SCORE 507561.429
AT ITER 4537 NEW BEST:: SOT 12724206 SOS 6092727 HAS SOPS 6092727 HAS SOUS 498439 HAS SOUPS 498439 WITH SCORE 504531.727
AT ITER 4540 NEW BEST:: SOT 12724206 SOS 6092727 HAS SOPS 6092727 HAS SOUS 498423 HAS SOUPS 498423 WITH SCORE 504515.727
AT ITER 4552 NEW BEST:: SOT 12723940 SOS 6092195 HAS SOPS 6092195 HAS SOUS 497891 HAS SOUPS 497891 WITH SCORE 503983.195
AT ITER 4556 NEW BEST:: SOT 12723869 SOS 6092124 HAS SOPS 6092124 HAS SOUS 497820 HAS SOUPS 497820 WITH SCORE 503912.124
AT ITER 4614 NEW BEST:: SOT 12723819 SOS 6092024 HAS SOPS 6092024 HAS SOUS 497720 HAS SOUPS 497720 WITH SCORE 503812.024
AT ITER 4618 NEW BEST:: SOT 12723664 SOS 6091714 HAS SOPS 6091714 HAS SOUS 497410 HAS SOUPS 497410 WITH SCORE 503501.714
AT ITER 4647 NEW BEST:: SOT 12723637 SOS 6032611 HAS SOPS 6032611 HAS SOUS 497356 HAS SOUPS 497356 WITH SCORE 503388.611
AT ITER 4649 NEW BEST:: SOT 12723545 SOS 6032427 HAS SOPS 6032427 HAS SOUS 497212 HAS SOUPS 497212 WITH SCORE 503244.427
AT ITER 4650 NEW BEST:: SOT 12723543 SOS 6032423 HAS SOPS 6032423 HAS SOUS 497208 HAS SOUPS 497208 WITH SCORE 503240.423
AT ITER 4651 NEW BEST:: SOT 12723543 SOS 6032423 HAS SOPS 6032423 HAS SOUS 497135 HAS SOUPS 497135 WITH SCORE 503167.423
AT ITER 4683 NEW BEST:: SOT 12723542 SOS 6032421 HAS SOPS 6032421 HAS SOUS 497133 HAS SOUPS 497133 WITH SCORE 503165.421
AT ITER 4728 NEW BEST:: SOT 12723530 SOS 6032409 HAS SOPS 6032409 HAS SOUS 497121 HAS SOUPS 497121 WITH SCORE 503153.409
AT ITER 4747 NEW BEST:: SOT 12723125 SOS 6033567 HAS SOPS 6033567 HAS SOUS 497064 HAS SOUPS 497064 WITH SCORE 503097.567
AT ITER 4762 NEW BEST:: SOT 12723124 SOS 6033565 HAS SOPS 6033565 HAS SOUS 497062 HAS SOUPS 497062 WITH SCORE 503095.565
AT ITER 4774 NEW BEST:: SOT 12723112 SOS 6033541 HAS SOPS 6033541 HAS SOUS 497038 HAS SOUPS 497038 WITH SCORE 503071.541
AT ITER 4780 NEW BEST:: SOT 12723111 SOS 6033539 HAS SOPS 6033539 HAS SOUS 497036 HAS SOUPS 497036 WITH SCORE 503069.539
AT ITER 4809 NEW BEST:: SOT 12723039 SOS 6033395 HAS SOPS 6033395 HAS SOUS 496892 HAS SOUPS 496892 WITH SCORE 502925.395
AT ITER 4810 NEW BEST:: SOT 12723037 SOS 6032095 HAS SOPS 6032095 HAS SOUS 496874 HAS SOUPS 496874 WITH SCORE 502906.095
AT ITER 4831 NEW BEST:: SOT 12722998 SOS 6032017 HAS SOPS 6032017 HAS SOUS 496852 HAS SOUPS 496852 WITH SCORE 502884.017
AT ITER 4833 NEW BEST:: SOT 12722959 SOS 6031882 HAS SOPS 6031882 HAS SOUS 496813 HAS SOUPS 496813 WITH SCORE 502844.882
AT ITER 4851 NEW BEST:: SOT 12722903 SOS 6031770 HAS SOPS 6031770 HAS SOUS 496757 HAS SOUPS 496757 WITH SCORE 502788.77
AT ITER 4896 NEW BEST:: SOT 12722890 SOS 6031744 HAS SOPS 6031744 HAS SOUS 496731 HAS SOUPS 496731 WITH SCORE 502762.744
AT ITER 4897 NEW BEST:: SOT 12722196 SOS 6032476 HAS SOPS 6032476 HAS SOUS 496215 HAS SOUPS 496215 WITH SCORE 502247.476
AT ITER 4902 NEW BEST:: SOT 12722174 SOS 6032432 HAS SOPS 6032432 HAS SOUS 496171 HAS SOUPS 496171 WITH SCORE 502203.432
AT ITER 4922 NEW BEST:: SOT 12722144 SOS 6032372 HAS SOPS 6032372 HAS SOUS 496111 HAS SOUPS 496111 WITH SCORE 502143.372
AT ITER 4926 NEW BEST:: SOT 12720497 SOS 6032982 HAS SOPS 6032982 HAS SOUS 494835 HAS SOUPS 494835 WITH SCORE 500867.982
AT ITER 4935 NEW BEST:: SOT 12720491 SOS 6032970 HAS SOPS 6032970 HAS SOUS 494823 HAS SOUPS 494823 WITH SCORE 500855.97
AT ITER 4960 NEW BEST:: SOT 12719906 SOS 5494378 HAS SOPS 5494378 HAS SOUS 486425 HAS SOUPS 486425 WITH SCORE 491919.378
AT ITER 4981 NEW BEST:: SOT 12719952 SOS 5494299 HAS SOPS 5494299 HAS SOUS 486346 HAS SOUPS 486346 WITH SCORE 491840.299
AT ITER 4985 NEW BEST:: SOT 12719952 SOS 5496731 HAS SOPS 5496731 HAS SOUS 486218 HAS SOUPS 486218 WITH SCORE 491714.731
AT ITER 4994 NEW BEST:: SOT 12719951 SOS 5496729 HAS SOPS 5496729 HAS SOUS 486216 HAS SOUPS 486216 WITH SCORE 491712.729
AT ITER 5006 NEW BEST:: SOT 12719915 SOS 5496657 HAS SOPS 5496657 HAS SOUS 486144 HAS SOUPS 486144 WITH SCORE 491640.657
AT ITER 5015 NEW BEST:: SOT 12719907 SOS 5496641 HAS SOPS 5496641 HAS SOUS 486128 HAS SOUPS 486128 WITH SCORE 491624.641
AT ITER 5017 NEW BEST:: SOT 12719805 SOS 5496437 HAS SOPS 5496437 HAS SOUS 486026 HAS SOUPS 486026 WITH SCORE 491522.437
AT ITER 5021 NEW BEST:: SOT 12719756 SOS 5496339 HAS SOPS 5496339 HAS SOUS 485928 HAS SOUPS 485928 WITH SCORE 491424.339
AT ITER 5024 NEW BEST:: SOT 12719726 SOS 5496279 HAS SOPS 5496279 HAS SOUS 485868 HAS SOUPS 485868 WITH SCORE 491364.279
AT ITER 5040 NEW BEST:: SOT 12719597 SOS 5496021 HAS SOPS 5496021 HAS SOUS 485610 HAS SOUPS 485610 WITH SCORE 491106.021
AT ITER 5051 NEW BEST:: SOT 12698667 SOS 5498121 HAS SOPS 5498121 HAS SOUS 469793 HAS SOUPS 469793 WITH SCORE 475291.121
AT ITER 5069 NEW BEST:: SOT 12698630 SOS 5498084 HAS SOPS 5498084 HAS SOUS 469719 HAS SOUPS 469719 WITH SCORE 475217.084
AT ITER 5077 NEW BEST:: SOT 12698559 SOS 5497942 HAS SOPS 5497942 HAS SOUS 469577 HAS SOUPS 469577 WITH SCORE 475074.942
AT ITER 5100 NEW BEST:: SOT 12698553 SOS 5497930 HAS SOPS 5497930 HAS SOUS 469565 HAS SOUPS 469565 WITH SCORE 475062.93
AT ITER 5124 NEW BEST:: SOT 12698513 SOS 5130434 HAS SOPS 5130434 HAS SOUS 469485 HAS SOUPS 469485 WITH SCORE 474615.434
AT ITER 5147 NEW BEST:: SOT 12698389 SOS 5130186 HAS SOPS 5130186 HAS SOUS 469237 HAS SOUPS 469237 WITH SCORE 474367.186
AT ITER 5150 NEW BEST:: SOT 12698285 SOS 5129978 HAS SOPS 5129978 HAS SOUS 469195 HAS SOUPS 469195 WITH SCORE 474324.978
AT ITER 5164 NEW BEST:: SOT 12698237 SOS 5120810 HAS SOPS 5120810 HAS SOUS 468139 HAS SOUPS 468139 WITH SCORE 473259.81
AT ITER 5221 NEW BEST:: SOT 12698229 SOS 5120794 HAS SOPS 5120794 HAS SOUS 468123 HAS SOUPS 468123 WITH SCORE 473243.794
AT ITER 5253 NEW BEST:: SOT 12698169 SOS 5120674 HAS SOPS 5120674 HAS SOUS 468003 HAS SOUPS 468003 WITH SCORE 473123.674
AT ITER 5284 NEW BEST:: SOT 12698156 SOS 5120648 HAS SOPS 5120648 HAS SOUS 467977 HAS SOUPS 467977 WITH SCORE 473097.648
AT ITER 5302 NEW BEST:: SOT 12698156 SOS 5120543 HAS SOPS 5120543 HAS SOUS 467977 HAS SOUPS 467977 WITH SCORE 473097.543
AT ITER 5320 NEW BEST:: SOT 12698156 SOS 5120543 HAS SOPS 5120543 HAS SOUS 467967 HAS SOUPS 467967 WITH SCORE 473087.543
AT ITER 5326 NEW BEST:: SOT 12694712 SOS 5117015 HAS SOPS 5117015 HAS SOUS 464523 HAS SOUPS 464523 WITH SCORE 469640.015
AT ITER 5347 NEW BEST:: SOT 12694677 SOS 5116945 HAS SOPS 5116945 HAS SOUS 464453 HAS SOUPS 464453 WITH SCORE 469569.945
AT ITER 5363 NEW BEST:: SOT 12694657 SOS 5116905 HAS SOPS 5116905 HAS SOUS 464413 HAS SOUPS 464413 WITH SCORE 469529.905
AT ITER 5371 NEW BEST:: SOT 12694596 SOS 5116783 HAS SOPS 5116783 HAS SOUS 464291 HAS SOUPS 464291 WITH SCORE 469407.783
AT ITER 5389 NEW BEST:: SOT 12694392 SOS 5094373 HAS SOPS 5094373 HAS SOUS 460033 HAS SOUPS 460033 WITH SCORE 465127.373
AT ITER 5423 NEW BEST:: SOT 12694357 SOS 5094303 HAS SOPS 5094303 HAS SOUS 459947 HAS SOUPS 459947 WITH SCORE 465041.303
AT ITER 5441 NEW BEST:: SOT 12694322 SOS 5094233 HAS SOPS 5094233 HAS SOUS 459877 HAS SOUPS 459877 WITH SCORE 464971.233
AT ITER 5472 NEW BEST:: SOT 12694202 SOS 5093993 HAS SOPS 5093993 HAS SOUS 459637 HAS SOUPS 459637 WITH SCORE 464730.993
AT ITER 5477 NEW BEST:: SOT 12694320 SOS 5094027 HAS SOPS 5094027 HAS SOUS 459538 HAS SOUPS 459538 WITH SCORE 464632.027
AT ITER 5506 NEW BEST:: SOT 12694303 SOS 5093978 HAS SOPS 5093978 HAS SOUS 459492 HAS SOUPS 459492 WITH SCORE 464585.978
AT ITER 5527 NEW BEST:: SOT 12694278 SOS 4915846 HAS SOPS 4915846 HAS SOUS 459075 HAS SOUPS 459075 WITH SCORE 463990.846
AT ITER 5545 NEW BEST:: SOT 12694211 SOS 4858040 HAS SOPS 4858040 HAS SOUS 458107 HAS SOUPS 458107 WITH SCORE 462965.04
AT ITER 5548 NEW BEST:: SOT 12694001 SOS 4857998 HAS SOPS 4857998 HAS SOUS 457983 HAS SOUPS 457983 WITH SCORE 462840.998
AT ITER 5560 NEW BEST:: SOT 12693970 SOS 4856776 HAS SOPS 4856776 HAS SOUS 457894 HAS SOUPS 457894 WITH SCORE 462750.776
AT ITER 5565 NEW BEST:: SOT 12693952 SOS 4856776 HAS SOPS 4856776 HAS SOUS 457871 HAS SOUPS 457871 WITH SCORE 462727.776
AT ITER 5580 NEW BEST:: SOT 12693873 SOS 4856618 HAS SOPS 4856618 HAS SOUS 457713 HAS SOUPS 457713 WITH SCORE 462569.618
AT ITER 5595 NEW BEST:: SOT 12693869 SOS 4856606 HAS SOPS 4856606 HAS SOUS 457701 HAS SOUPS 457701 WITH SCORE 462557.606
AT ITER 5631 NEW BEST:: SOT 12693820 SOS 4856508 HAS SOPS 4856508 HAS SOUS 457603 HAS SOUPS 457603 WITH SCORE 462459.508
AT ITER 5653 NEW BEST:: SOT 12693800 SOS 4856376 HAS SOPS 4856376 HAS SOUS 457563 HAS SOUPS 457563 WITH SCORE 462419.376
AT ITER 5664 NEW BEST:: SOT 12693763 SOS 4856302 HAS SOPS 4856302 HAS SOUS 457489 HAS SOUPS 457489 WITH SCORE 462345.302
AT ITER 5674 NEW BEST:: SOT 12693732 SOS 4856240 HAS SOPS 4856240 HAS SOUS 457427 HAS SOUPS 457427 WITH SCORE 462283.24
AT ITER 5698 NEW BEST:: SOT 12693616 SOS 4855724 HAS SOPS 4855724 HAS SOUS 457335 HAS SOUPS 457335 WITH SCORE 462190.724
AT ITER 5706 NEW BEST:: SOT 12693660 SOS 4855812 HAS SOPS 4855812 HAS SOUS 457273 HAS SOUPS 457273 WITH SCORE 462128.812
AT ITER 5711 NEW BEST:: SOT 12693600 SOS 4855692 HAS SOPS 4855692 HAS SOUS 457213 HAS SOUPS 457213 WITH SCORE 462068.692
AT ITER 5715 NEW BEST:: SOT 12693570 SOS 4855632 HAS SOPS 4855632 HAS SOUS 457153 HAS SOUPS 457153 WITH SCORE 462008.632
AT ITER 5735 NEW BEST:: SOT 12693567 SOS 4855626 HAS SOPS 4855626 HAS SOUS 457147 HAS SOUPS 457147 WITH SCORE 462002.626
AT ITER 5742 NEW BEST:: SOT 12693429 SOS 4855350 HAS SOPS 4855350 HAS SOUS 456871 HAS SOUPS 456871 WITH SCORE 461726.35
AT ITER 5764 NEW BEST:: SOT 12693334 SOS 4855160 HAS SOPS 4855160 HAS SOUS 456681 HAS SOUPS 456681 WITH SCORE 461536.16
AT ITER 5786 NEW BEST:: SOT 12693246 SOS 4855130 HAS SOPS 4855130 HAS SOUS 456651 HAS SOUPS 456651 WITH SCORE 461506.13
AT ITER 5791 NEW BEST:: SOT 12693220 SOS 4854995 HAS SOPS 4854995 HAS SOUS 456599 HAS SOUPS 456599 WITH SCORE 461453.995
AT ITER 5797 NEW BEST:: SOT 12693206 SOS 4855050 HAS SOPS 4855050 HAS SOUS 456585 HAS SOUPS 456585 WITH SCORE 461440.05
AT ITER 5855 NEW BEST:: SOT 12693198 SOS 4849858 HAS SOPS 4849858 HAS SOUS 456513 HAS SOUPS 456513 WITH SCORE 461362.858
AT ITER 5875 NEW BEST:: SOT 12693191 SOS 4849844 HAS SOPS 4849844 HAS SOUS 456499 HAS SOUPS 456499 WITH SCORE 461348.844
AT ITER 5879 NEW BEST:: SOT 12693189 SOS 4849840 HAS SOPS 4849840 HAS SOUS 456495 HAS SOUPS 456495 WITH SCORE 461344.84
AT ITER 5880 NEW BEST:: SOT 12693148 SOS 4849758 HAS SOPS 4849758 HAS SOUS 456413 HAS SOUPS 456413 WITH SCORE 461262.758
AT ITER 5911 NEW BEST:: SOT 12693138 SOS 4849738 HAS SOPS 4849738 HAS SOUS 456393 HAS SOUPS 456393 WITH SCORE 461242.738
AT ITER 5917 NEW BEST:: SOT 12691372 SOS 4847972 HAS SOPS 4847972 HAS SOUS 454594 HAS SOUPS 454594 WITH SCORE 459441.972
AT ITER 5930 NEW BEST:: SOT 12691371 SOS 4847970 HAS SOPS 4847970 HAS SOUS 454592 HAS SOUPS 454592 WITH SCORE 459439.97
AT ITER 5936 NEW BEST:: SOT 12691341 SOS 4847910 HAS SOPS 4847910 HAS SOUS 454532 HAS SOUPS 454532 WITH SCORE 459379.91
AT ITER 5939 NEW BEST:: SOT 12691341 SOS 4847910 HAS SOPS 4847910 HAS SOUS 454495 HAS SOUPS 454495 WITH SCORE 459342.91
AT ITER 5955 NEW BEST:: SOT 12691329 SOS 4847886 HAS SOPS 4847886 HAS SOUS 454471 HAS SOUPS 454471 WITH SCORE 459318.886
AT ITER 5963 NEW BEST:: SOT 12691272 SOS 4847772 HAS SOPS 4847772 HAS SOUS 454452 HAS SOUPS 454452 WITH SCORE 459299.772
AT ITER 5978 NEW BEST:: SOT 12691203 SOS 4847443 HAS SOPS 4847443 HAS SOUS 454417 HAS SOUPS 454417 WITH SCORE 459264.443
AT ITER 5998 NEW BEST:: SOT 12691193 SOS 4847433 HAS SOPS 4847433 HAS SOUS 454407 HAS SOUPS 454407 WITH SCORE 459254.433
AT ITER 6026 NEW BEST:: SOT 12690457 SOS 4846745 HAS SOPS 4846745 HAS SOUS 453719 HAS SOUPS 453719 WITH SCORE 458565.745
AT ITER 6031 NEW BEST:: SOT 12690135 SOS 4846101 HAS SOPS 4846101 HAS SOUS 453213 HAS SOUPS 453213 WITH SCORE 458059.101
AT ITER 6033 NEW BEST:: SOT 12690076 SOS 4824743 HAS SOPS 4824743 HAS SOUS 447433 HAS SOUPS 447433 WITH SCORE 452257.743
AT ITER 6036 NEW BEST:: SOT 12690059 SOS 4824709 HAS SOPS 4824709 HAS SOUS 447399 HAS SOUPS 447399 WITH SCORE 452223.709
AT ITER 6038 NEW BEST:: SOT 12689984 SOS 4824559 HAS SOPS 4824559 HAS SOUS 447249 HAS SOUPS 447249 WITH SCORE 452073.559
AT ITER 6080 NEW BEST:: SOT 12689984 SOS 4824559 HAS SOPS 4824559 HAS SOUS 447161 HAS SOUPS 447161 WITH SCORE 451985.559
AT ITER 6091 NEW BEST:: SOT 12689975 SOS 4824451 HAS SOPS 4824451 HAS SOUS 447128 HAS SOUPS 447128 WITH SCORE 451952.451
AT ITER 6108 NEW BEST:: SOT 12689903 SOS 4824307 HAS SOPS 4824307 HAS SOUS 446984 HAS SOUPS 446984 WITH SCORE 451808.307
AT ITER 6123 NEW BEST:: SOT 12689865 SOS 4824231 HAS SOPS 4824231 HAS SOUS 446908 HAS SOUPS 446908 WITH SCORE 451732.231
AT ITER 6168 NEW BEST:: SOT 12689785 SOS 4824071 HAS SOPS 4824071 HAS SOUS 446748 HAS SOUPS 446748 WITH SCORE 451572.071
AT ITER 6171 NEW BEST:: SOT 12689785 SOS 4824071 HAS SOPS 4824071 HAS SOUS 444812 HAS SOUPS 444812 WITH SCORE 449636.071
AT ITER 6179 NEW BEST:: SOT 12689780 SOS 4824066 HAS SOPS 4824066 HAS SOUS 444807 HAS SOUPS 444807 WITH SCORE 449631.066
AT ITER 6193 NEW BEST:: SOT 12689752 SOS 4824010 HAS SOPS 4824010 HAS SOUS 444751 HAS SOUPS 444751 WITH SCORE 449575.01
AT ITER 6204 NEW BEST:: SOT 12689752 SOS 4824010 HAS SOPS 4824010 HAS SOUS 444746 HAS SOUPS 444746 WITH SCORE 449570.01
AT ITER 6248 NEW BEST:: SOT 12689744 SOS 4823994 HAS SOPS 4823994 HAS SOUS 444730 HAS SOUPS 444730 WITH SCORE 449553.994
AT ITER 6251 NEW BEST:: SOT 12689694 SOS 4823894 HAS SOPS 4823894 HAS SOUS 444630 HAS SOUPS 444630 WITH SCORE 449453.894
AT ITER 6255 NEW BEST:: SOT 12689672 SOS 4823850 HAS SOPS 4823850 HAS SOUS 444586 HAS SOUPS 444586 WITH SCORE 449409.85
AT ITER 6269 NEW BEST:: SOT 12689567 SOS 4823640 HAS SOPS 4823640 HAS SOUS 444481 HAS SOUPS 444481 WITH SCORE 449304.64
AT ITER 6270 NEW BEST:: SOT 12685995 SOS 4820068 HAS SOPS 4820068 HAS SOUS 440897 HAS SOUPS 440897 WITH SCORE 445717.068
AT ITER 6296 NEW BEST:: SOT 12685777 SOS 4819632 HAS SOPS 4819632 HAS SOUS 440682 HAS SOUPS 440682 WITH SCORE 445501.632
AT ITER 6322 NEW BEST:: SOT 12685764 SOS 4819606 HAS SOPS 4819606 HAS SOUS 440656 HAS SOUPS 440656 WITH SCORE 445475.606
AT ITER 6327 NEW BEST:: SOT 12685706 SOS 4819490 HAS SOPS 4819490 HAS SOUS 440540 HAS SOUPS 440540 WITH SCORE 445359.49
AT ITER 6338 NEW BEST:: SOT 12685809 SOS 4819696 HAS SOPS 4819696 HAS SOUS 440518 HAS SOUPS 440518 WITH SCORE 445337.696
AT ITER 6353 NEW BEST:: SOT 12685805 SOS 4819688 HAS SOPS 4819688 HAS SOUS 440510 HAS SOUPS 440510 WITH SCORE 445329.688
AT ITER 6359 NEW BEST:: SOT 12685809 SOS 4819684 HAS SOPS 4819684 HAS SOUS 440506 HAS SOUPS 440506 WITH SCORE 445325.684
AT ITER 6439 NEW BEST:: SOT 12685792 SOS 4819650 HAS SOPS 4819650 HAS SOUS 440486 HAS SOUPS 440486 WITH SCORE 445305.65
AT ITER 6443 NEW BEST:: SOT 12685618 SOS 4819302 HAS SOPS 4819302 HAS SOUS 440035 HAS SOUPS 440035 WITH SCORE 444854.302
AT ITER 6461 NEW BEST:: SOT 12685568 SOS 4819202 HAS SOPS 4819202 HAS SOUS 439929 HAS SOUPS 439929 WITH SCORE 444748.202
AT ITER 6478 NEW BEST:: SOT 12685527 SOS 4819194 HAS SOPS 4819194 HAS SOUS 439921 HAS SOUPS 439921 WITH SCORE 444740.194
AT ITER 6495 NEW BEST:: SOT 12685426 SOS 4818992 HAS SOPS 4818992 HAS SOUS 439820 HAS SOUPS 439820 WITH SCORE 444638.992
AT ITER 6546 NEW BEST:: SOT 12685426 SOS 4818987 HAS SOPS 4818987 HAS SOUS 439815 HAS SOUPS 439815 WITH SCORE 444633.987
AT ITER 6555 NEW BEST:: SOT 12685351 SOS 4818837 HAS SOPS 4818837 HAS SOUS 439740 HAS SOUPS 439740 WITH SCORE 444558.837
AT ITER 6565 NEW BEST:: SOT 12685325 SOS 4818785 HAS SOPS 4818785 HAS SOUS 439688 HAS SOUPS 439688 WITH SCORE 444506.785
AT ITER 6600 NEW BEST:: SOT 12685324 SOS 4818783 HAS SOPS 4818783 HAS SOUS 439687 HAS SOUPS 439687 WITH SCORE 444505.783
AT ITER 6641 NEW BEST:: SOT 12685324 SOS 4818783 HAS SOPS 4818783 HAS SOUS 439648 HAS SOUPS 439648 WITH SCORE 444466.783
AT ITER 6647 NEW BEST:: SOT 12685311 SOS 4818757 HAS SOPS 4818757 HAS SOUS 439622 HAS SOUPS 439622 WITH SCORE 444440.757
AT ITER 6701 NEW BEST:: SOT 12685268 SOS 4818671 HAS SOPS 4818671 HAS SOUS 439536 HAS SOUPS 439536 WITH SCORE 444354.671
AT ITER 6722 NEW BEST:: SOT 12685208 SOS 4818491 HAS SOPS 4818491 HAS SOUS 439416 HAS SOUPS 439416 WITH SCORE 444234.491
AT ITER 6728 NEW BEST:: SOT 12685179 SOS 4818433 HAS SOPS 4818433 HAS SOUS 439358 HAS SOUPS 439358 WITH SCORE 444176.433
AT ITER 6734 NEW BEST:: SOT 12685122 SOS 4818319 HAS SOPS 4818319 HAS SOUS 439244 HAS SOUPS 439244 WITH SCORE 444062.319
AT ITER 6735 NEW BEST:: SOT 12685099 SOS 4818273 HAS SOPS 4818273 HAS SOUS 439198 HAS SOUPS 439198 WITH SCORE 444016.273
AT ITER 6743 NEW BEST:: SOT 12685071 SOS 4818217 HAS SOPS 4818217 HAS SOUS 439142 HAS SOUPS 439142 WITH SCORE 443960.217
AT ITER 6859 NEW BEST:: SOT 12684971 SOS 4818017 HAS SOPS 4818017 HAS SOUS 438942 HAS SOUPS 438942 WITH SCORE 443760.017
AT ITER 6860 NEW BEST:: SOT 12684804 SOS 4817771 HAS SOPS 4817771 HAS SOUS 438777 HAS SOUPS 438777 WITH SCORE 443594.771
AT ITER 6862 NEW BEST:: SOT 12684734 SOS 4813023 HAS SOPS 4813023 HAS SOUS 437241 HAS SOUPS 437241 WITH SCORE 442054.023
AT ITER 6873 NEW BEST:: SOT 12684633 SOS 4812821 HAS SOPS 4812821 HAS SOUS 436870 HAS SOUPS 436870 WITH SCORE 441682.821
AT ITER 6927 NEW BEST:: SOT 12684625 SOS 4812805 HAS SOPS 4812805 HAS SOUS 436862 HAS SOUPS 436862 WITH SCORE 441674.805
AT ITER 6942 NEW BEST:: SOT 12684582 SOS 4812719 HAS SOPS 4812719 HAS SOUS 436819 HAS SOUPS 436819 WITH SCORE 441631.719
AT ITER 6947 NEW BEST:: SOT 12684370 SOS 4812295 HAS SOPS 4812295 HAS SOUS 436457 HAS SOUPS 436457 WITH SCORE 441269.295
AT ITER 6954 NEW BEST:: SOT 12684216 SOS 4811987 HAS SOPS 4811987 HAS SOUS 436309 HAS SOUPS 436309 WITH SCORE 441120.987
AT ITER 6967 NEW BEST:: SOT 12684216 SOS 4811987 HAS SOPS 4811987 HAS SOUS 436247 HAS SOUPS 436247 WITH SCORE 441058.987
AT ITER 7000 NEW BEST:: SOT 12684213 SOS 4811945 HAS SOPS 4811945 HAS SOUS 436205 HAS SOUPS 436205 WITH SCORE 441016.945
AT ITER 7025 NEW BEST:: SOT 12684178 SOS 4811875 HAS SOPS 4811875 HAS SOUS 436135 HAS SOUPS 436135 WITH SCORE 440946.875
AT ITER 7046 NEW BEST:: SOT 12684049 SOS 4811613 HAS SOPS 4811613 HAS SOUS 435873 HAS SOUPS 435873 WITH SCORE 440684.613
AT ITER 7047 NEW BEST:: SOT 12684049 SOS 4811613 HAS SOPS 4811613 HAS SOUS 435871 HAS SOUPS 435871 WITH SCORE 440682.613
AT ITER 7052 NEW BEST:: SOT 12684045 SOS 4811797 HAS SOPS 4811797 HAS SOUS 435848 HAS SOUPS 435848 WITH SCORE 440659.797
AT ITER 7064 NEW BEST:: SOT 12684044 SOS 4811795 HAS SOPS 4811795 HAS SOUS 435846 HAS SOUPS 435846 WITH SCORE 440657.795
AT ITER 7070 NEW BEST:: SOT 12683990 SOS 4811742 HAS SOPS 4811742 HAS SOUS 435792 HAS SOUPS 435792 WITH SCORE 440603.742
AT ITER 7119 NEW BEST:: SOT 12683979 SOS 4811720 HAS SOPS 4811720 HAS SOUS 435770 HAS SOUPS 435770 WITH SCORE 440581.72
AT ITER 7142 NEW BEST:: SOT 12683949 SOS 4811660 HAS SOPS 4811660 HAS SOUS 435710 HAS SOUPS 435710 WITH SCORE 440521.66
AT ITER 7147 NEW BEST:: SOT 12683773 SOS 4811308 HAS SOPS 4811308 HAS SOUS 435455 HAS SOUPS 435455 WITH SCORE 440266.308
AT ITER 7195 NEW BEST:: SOT 12683717 SOS 4811196 HAS SOPS 4811196 HAS SOUS 435343 HAS SOUPS 435343 WITH SCORE 440154.196
AT ITER 7200 NEW BEST:: SOT 12683671 SOS 4811104 HAS SOPS 4811104 HAS SOUS 435297 HAS SOUPS 435297 WITH SCORE 440108.104
AT ITER 7230 NEW BEST:: SOT 12683625 SOS 4811012 HAS SOPS 4811012 HAS SOUS 435205 HAS SOUPS 435205 WITH SCORE 440016.012
AT ITER 7239 NEW BEST:: SOT 12683635 SOS 4811032 HAS SOPS 4811032 HAS SOUS 435160 HAS SOUPS 435160 WITH SCORE 439971.032
AT ITER 7249 NEW BEST:: SOT 12683604 SOS 4810970 HAS SOPS 4810970 HAS SOUS 435129 HAS SOUPS 435129 WITH SCORE 439939.97
AT ITER 7251 NEW BEST:: SOT 12683584 SOS 4810930 HAS SOPS 4810930 HAS SOUS 435089 HAS SOUPS 435089 WITH SCORE 439899.93
AT ITER 7255 NEW BEST:: SOT 12683526 SOS 4810814 HAS SOPS 4810814 HAS SOUS 434973 HAS SOUPS 434973 WITH SCORE 439783.814
AT ITER 7273 NEW BEST:: SOT 12683523 SOS 4810808 HAS SOPS 4810808 HAS SOUS 434967 HAS SOUPS 434967 WITH SCORE 439777.808
AT ITER 7275 NEW BEST:: SOT 12683514 SOS 4810790 HAS SOPS 4810790 HAS SOUS 434958 HAS SOUPS 434958 WITH SCORE 439768.79
AT ITER 7305 NEW BEST:: SOT 12683672 SOS 4811106 HAS SOPS 4811106 HAS SOUS 434921 HAS SOUPS 434921 WITH SCORE 439732.106
AT ITER 7332 NEW BEST:: SOT 12683659 SOS 4808584 HAS SOPS 4808584 HAS SOUS 434076 HAS SOUPS 434076 WITH SCORE 438884.584
AT ITER 7341 NEW BEST:: SOT 12683642 SOS 4808550 HAS SOPS 4808550 HAS SOUS 434042 HAS SOUPS 434042 WITH SCORE 438850.55
AT ITER 7354 NEW BEST:: SOT 12683579 SOS 4808424 HAS SOPS 4808424 HAS SOUS 433979 HAS SOUPS 433979 WITH SCORE 438787.424
AT ITER 7358 NEW BEST:: SOT 12683544 SOS 4808354 HAS SOPS 4808354 HAS SOUS 433778 HAS SOUPS 433778 WITH SCORE 438586.354
AT ITER 7389 NEW BEST:: SOT 12683525 SOS 4808339 HAS SOPS 4808339 HAS SOUS 433763 HAS SOUPS 433763 WITH SCORE 438571.339
AT ITER 7401 NEW BEST:: SOT 12683463 SOS 4808215 HAS SOPS 4808215 HAS SOUS 433639 HAS SOUPS 433639 WITH SCORE 438447.215
AT ITER 7441 NEW BEST:: SOT 12683463 SOS 4808191 HAS SOPS 4808191 HAS SOUS 433639 HAS SOUPS 433639 WITH SCORE 438447.191
AT ITER 7472 NEW BEST:: SOT 12683403 SOS 4808071 HAS SOPS 4808071 HAS SOUS 433519 HAS SOUPS 433519 WITH SCORE 438327.071
AT ITER 7483 NEW BEST:: SOT 12683333 SOS 4807931 HAS SOPS 4807931 HAS SOUS 433379 HAS SOUPS 433379 WITH SCORE 438186.931
AT ITER 7487 NEW BEST:: SOT 12683283 SOS 4807831 HAS SOPS 4807831 HAS SOUS 433329 HAS SOUPS 433329 WITH SCORE 438136.831
AT ITER 7513 NEW BEST:: SOT 12683274 SOS 4807813 HAS SOPS 4807813 HAS SOUS 433311 HAS SOUPS 433311 WITH SCORE 438118.813
AT ITER 7522 NEW BEST:: SOT 12683274 SOS 4809129 HAS SOPS 4809129 HAS SOUS 433290 HAS SOUPS 433290 WITH SCORE 438099.129
AT ITER 7589 NEW BEST:: SOT 12683258 SOS 4809097 HAS SOPS 4809097 HAS SOUS 433258 HAS SOUPS 433258 WITH SCORE 438067.097
AT ITER 7612 NEW BEST:: SOT 12683229 SOS 4809039 HAS SOPS 4809039 HAS SOUS 433200 HAS SOUPS 433200 WITH SCORE 438009.039
AT ITER 7613 NEW BEST:: SOT 12683215 SOS 4809011 HAS SOPS 4809011 HAS SOUS 433072 HAS SOUPS 433072 WITH SCORE 437881.011
AT ITER 7619 NEW BEST:: SOT 12683214 SOS 4809009 HAS SOPS 4809009 HAS SOUS 433062 HAS SOUPS 433062 WITH SCORE 437871.009
AT ITER 7624 NEW BEST:: SOT 12683177 SOS 4809065 HAS SOPS 4809065 HAS SOUS 433015 HAS SOUPS 433015 WITH SCORE 437824.065
AT ITER 7644 NEW BEST:: SOT 12683135 SOS 4808939 HAS SOPS 4808939 HAS SOUS 432931 HAS SOUPS 432931 WITH SCORE 437739.939
AT ITER 7648 NEW BEST:: SOT 12683088 SOS 4808845 HAS SOPS 4808845 HAS SOUS 432837 HAS SOUPS 432837 WITH SCORE 437645.845
AT ITER 7663 NEW BEST:: SOT 12683092 SOS 4808791 HAS SOPS 4808791 HAS SOUS 432810 HAS SOUPS 432810 WITH SCORE 437618.791
AT ITER 7665 NEW BEST:: SOT 12683081 SOS 4808780 HAS SOPS 4808780 HAS SOUS 432810 HAS SOUPS 432810 WITH SCORE 437618.78
AT ITER 7678 NEW BEST:: SOT 12683075 SOS 4808768 HAS SOPS 4808768 HAS SOUS 432798 HAS SOUPS 432798 WITH SCORE 437606.768
AT ITER 7696 NEW BEST:: SOT 12683075 SOS 4808739 HAS SOPS 4808739 HAS SOUS 432769 HAS SOUPS 432769 WITH SCORE 437577.739
AT ITER 7775 NEW BEST:: SOT 12683059 SOS 4808707 HAS SOPS 4808707 HAS SOUS 432737 HAS SOUPS 432737 WITH SCORE 437545.707
AT ITER 7780 NEW BEST:: SOT 12682908 SOS 4808405 HAS SOPS 4808405 HAS SOUS 432426 HAS SOUPS 432426 WITH SCORE 437234.405
AT ITER 7793 NEW BEST:: SOT 12682879 SOS 4808347 HAS SOPS 4808347 HAS SOUS 432416 HAS SOUPS 432416 WITH SCORE 437224.347
AT ITER 7810 NEW BEST:: SOT 12682876 SOS 4766114 HAS SOPS 4766114 HAS SOUS 432199 HAS SOUPS 432199 WITH SCORE 436965.114
AT ITER 7817 NEW BEST:: SOT 12682831 SOS 4766024 HAS SOPS 4766024 HAS SOUS 432109 HAS SOUPS 432109 WITH SCORE 436875.024
AT ITER 7818 NEW BEST:: SOT 12682907 SOS 4766176 HAS SOPS 4766176 HAS SOUS 431924 HAS SOUPS 431924 WITH SCORE 436690.176
AT ITER 7822 NEW BEST:: SOT 12682900 SOS 4766162 HAS SOPS 4766162 HAS SOUS 431910 HAS SOUPS 431910 WITH SCORE 436676.162
AT ITER 7850 NEW BEST:: SOT 12682866 SOS 4766094 HAS SOPS 4766094 HAS SOUS 431842 HAS SOUPS 431842 WITH SCORE 436608.094
AT ITER 7868 NEW BEST:: SOT 12682861 SOS 4766084 HAS SOPS 4766084 HAS SOUS 431832 HAS SOUPS 431832 WITH SCORE 436598.084
AT ITER 7876 NEW BEST:: SOT 12682839 SOS 4766040 HAS SOPS 4766040 HAS SOUS 431803 HAS SOUPS 431803 WITH SCORE 436569.04
AT ITER 7882 NEW BEST:: SOT 12682719 SOS 4765800 HAS SOPS 4765800 HAS SOUS 431563 HAS SOUPS 431563 WITH SCORE 436328.8
AT ITER 7892 NEW BEST:: SOT 12682649 SOS 4765660 HAS SOPS 4765660 HAS SOUS 431493 HAS SOUPS 431493 WITH SCORE 436258.66
AT ITER 7910 NEW BEST:: SOT 12682616 SOS 4765594 HAS SOPS 4765594 HAS SOUS 431427 HAS SOUPS 431427 WITH SCORE 436192.594
AT ITER 7944 NEW BEST:: SOT 12682609 SOS 4765540 HAS SOPS 4765540 HAS SOUS 431396 HAS SOUPS 431396 WITH SCORE 436161.54
AT ITER 7946 NEW BEST:: SOT 12682672 SOS 4765411 HAS SOPS 4765411 HAS SOUS 431267 HAS SOUPS 431267 WITH SCORE 436032.411
AT ITER 7947 NEW BEST:: SOT 12682595 SOS 4765257 HAS SOPS 4765257 HAS SOUS 431113 HAS SOUPS 431113 WITH SCORE 435878.257
AT ITER 7954 NEW BEST:: SOT 12682485 SOS 4765037 HAS SOPS 4765037 HAS SOUS 430893 HAS SOUPS 430893 WITH SCORE 435658.037
AT ITER 7960 NEW BEST:: SOT 12682403 SOS 4753065 HAS SOPS 4753065 HAS SOUS 429499 HAS SOUPS 429499 WITH SCORE 434252.065
AT ITER 7991 NEW BEST:: SOT 12682357 SOS 4753019 HAS SOPS 4753019 HAS SOUS 429453 HAS SOUPS 429453 WITH SCORE 434206.019
AT ITER 8016 NEW BEST:: SOT 12682357 SOS 4753019 HAS SOPS 4753019 HAS SOUS 429411 HAS SOUPS 429411 WITH SCORE 434164.019
AT ITER 8028 NEW BEST:: SOT 12682350 SOS 4753005 HAS SOPS 4753005 HAS SOUS 429397 HAS SOUPS 429397 WITH SCORE 434150.005
AT ITER 8047 NEW BEST:: SOT 12682261 SOS 4752827 HAS SOPS 4752827 HAS SOUS 429371 HAS SOUPS 429371 WITH SCORE 434123.827
AT ITER 8058 NEW BEST:: SOT 12682225 SOS 4752710 HAS SOPS 4752710 HAS SOUS 429342 HAS SOUPS 429342 WITH SCORE 434094.71
AT ITER 8070 NEW BEST:: SOT 12682216 SOS 4752692 HAS SOPS 4752692 HAS SOUS 429333 HAS SOUPS 429333 WITH SCORE 434085.692
AT ITER 8099 NEW BEST:: SOT 12682103 SOS 4752466 HAS SOPS 4752466 HAS SOUS 429220 HAS SOUPS 429220 WITH SCORE 433972.466
AT ITER 8102 NEW BEST:: SOT 12682092 SOS 4752444 HAS SOPS 4752444 HAS SOUS 429198 HAS SOUPS 429198 WITH SCORE 433950.444
AT ITER 8105 NEW BEST:: SOT 12682068 SOS 4752396 HAS SOPS 4752396 HAS SOUS 429150 HAS SOUPS 429150 WITH SCORE 433902.396
AT ITER 8120 NEW BEST:: SOT 12682064 SOS 4752388 HAS SOPS 4752388 HAS SOUS 429142 HAS SOUPS 429142 WITH SCORE 433894.388
AT ITER 8130 NEW BEST:: SOT 12682019 SOS 4752298 HAS SOPS 4752298 HAS SOUS 429135 HAS SOUPS 429135 WITH SCORE 433887.298
AT ITER 8140 NEW BEST:: SOT 12681992 SOS 4752244 HAS SOPS 4752244 HAS SOUS 429081 HAS SOUPS 429081 WITH SCORE 433833.244
AT ITER 8195 NEW BEST:: SOT 12681971 SOS 4752202 HAS SOPS 4752202 HAS SOUS 429039 HAS SOUPS 429039 WITH SCORE 433791.202
AT ITER 8201 NEW BEST:: SOT 12681940 SOS 4752171 HAS SOPS 4752171 HAS SOUS 429008 HAS SOUPS 429008 WITH SCORE 433760.171
AT ITER 8220 NEW BEST:: SOT 12679822 SOS 4753087 HAS SOPS 4753087 HAS SOUS 428227 HAS SOUPS 428227 WITH SCORE 432980.087
AT ITER 8278 NEW BEST:: SOT 12679820 SOS 4753083 HAS SOPS 4753083 HAS SOUS 428223 HAS SOUPS 428223 WITH SCORE 432976.083
AT ITER 8289 NEW BEST:: SOT 12679626 SOS 4752826 HAS SOPS 4752826 HAS SOUS 427966 HAS SOUPS 427966 WITH SCORE 432718.826
AT ITER 8320 NEW BEST:: SOT 12679641 SOS 4552700 HAS SOPS 4552700 HAS SOUS 427710 HAS SOUPS 427710 WITH SCORE 432262.7
AT ITER 8322 NEW BEST:: SOT 12679613 SOS 4552644 HAS SOPS 4552644 HAS SOUS 427702 HAS SOUPS 427702 WITH SCORE 432254.644
AT ITER 8335 NEW BEST:: SOT 12679564 SOS 4552546 HAS SOPS 4552546 HAS SOUS 427604 HAS SOUPS 427604 WITH SCORE 432156.546
AT ITER 8345 NEW BEST:: SOT 12679674 SOS 4552766 HAS SOPS 4552766 HAS SOUS 427603 HAS SOUPS 427603 WITH SCORE 432155.766
AT ITER 8355 NEW BEST:: SOT 12679517 SOS 4552452 HAS SOPS 4552452 HAS SOUS 427440 HAS SOUPS 427440 WITH SCORE 431992.452
AT ITER 8382 NEW BEST:: SOT 12679479 SOS 4552418 HAS SOPS 4552418 HAS SOUS 427406 HAS SOUPS 427406 WITH SCORE 431958.418
AT ITER 8403 NEW BEST:: SOT 12679478 SOS 4552416 HAS SOPS 4552416 HAS SOUS 427404 HAS SOUPS 427404 WITH SCORE 431956.416
AT ITER 8406 NEW BEST:: SOT 12679464 SOS 4552388 HAS SOPS 4552388 HAS SOUS 427383 HAS SOUPS 427383 WITH SCORE 431935.388
AT ITER 8431 NEW BEST:: SOT 12679464 SOS 4552388 HAS SOPS 4552388 HAS SOUS 427333 HAS SOUPS 427333 WITH SCORE 431885.388
AT ITER 8437 NEW BEST:: SOT 12679408 SOS 4552430 HAS SOPS 4552430 HAS SOUS 427221 HAS SOUPS 427221 WITH SCORE 431773.43
AT ITER 8439 NEW BEST:: SOT 12679898 SOS 4552924 HAS SOPS 4552924 HAS SOUS 425528 HAS SOUPS 425528 WITH SCORE 430080.924
AT ITER 8465 NEW BEST:: SOT 12679842 SOS 4552812 HAS SOPS 4552812 HAS SOUS 425253 HAS SOUPS 425253 WITH SCORE 429805.812
AT ITER 8466 NEW BEST:: SOT 12679737 SOS 4552357 HAS SOPS 4552357 HAS SOUS 425043 HAS SOUPS 425043 WITH SCORE 429595.357
AT ITER 8518 NEW BEST:: SOT 12679718 SOS 4552319 HAS SOPS 4552319 HAS SOUS 425005 HAS SOUPS 425005 WITH SCORE 429557.319
AT ITER 8522 NEW BEST:: SOT 12679688 SOS 4552259 HAS SOPS 4552259 HAS SOUS 424945 HAS SOUPS 424945 WITH SCORE 429497.259
AT ITER 8525 NEW BEST:: SOT 12679625 SOS 4552249 HAS SOPS 4552249 HAS SOUS 424935 HAS SOUPS 424935 WITH SCORE 429487.249
AT ITER 8577 NEW BEST:: SOT 12679563 SOS 4552125 HAS SOPS 4552125 HAS SOUS 424873 HAS SOUPS 424873 WITH SCORE 429425.125
AT ITER 8612 NEW BEST:: SOT 12679509 SOS 4552017 HAS SOPS 4552017 HAS SOUS 424765 HAS SOUPS 424765 WITH SCORE 429317.017
AT ITER 8639 NEW BEST:: SOT 12679357 SOS 4551713 HAS SOPS 4551713 HAS SOUS 424461 HAS SOUPS 424461 WITH SCORE 429012.713
AT ITER 8652 NEW BEST:: SOT 12679287 SOS 4551573 HAS SOPS 4551573 HAS SOUS 424321 HAS SOUPS 424321 WITH SCORE 428872.573
AT ITER 8654 NEW BEST:: SOT 12679287 SOS 4544085 HAS SOPS 4544085 HAS SOUS 424321 HAS SOUPS 424321 WITH SCORE 428865.085
AT ITER 8685 NEW BEST:: SOT 12679280 SOS 4544071 HAS SOPS 4544071 HAS SOUS 424307 HAS SOUPS 424307 WITH SCORE 428851.071
AT ITER 8698 NEW BEST:: SOT 12679022 SOS 4543555 HAS SOPS 4543555 HAS SOUS 423956 HAS SOUPS 423956 WITH SCORE 428499.555
AT ITER 8803 NEW BEST:: SOT 12679020 SOS 4543551 HAS SOPS 4543551 HAS SOUS 423952 HAS SOUPS 423952 WITH SCORE 428495.551
AT ITER 8813 NEW BEST:: SOT 12679019 SOS 4543549 HAS SOPS 4543549 HAS SOUS 423951 HAS SOUPS 423951 WITH SCORE 428494.549
AT ITER 8819 NEW BEST:: SOT 12679018 SOS 4543547 HAS SOPS 4543547 HAS SOUS 423949 HAS SOUPS 423949 WITH SCORE 428492.547
AT ITER 8834 NEW BEST:: SOT 12679018 SOS 4536312 HAS SOPS 4536312 HAS SOUS 423880 HAS SOUPS 423880 WITH SCORE 428416.312
AT ITER 8852 NEW BEST:: SOT 12678963 SOS 4536202 HAS SOPS 4536202 HAS SOUS 423770 HAS SOUPS 423770 WITH SCORE 428306.202
AT ITER 8865 NEW BEST:: SOT 12678963 SOS 4536169 HAS SOPS 4536169 HAS SOUS 423770 HAS SOUPS 423770 WITH SCORE 428306.169
AT ITER 8873 NEW BEST:: SOT 12678961 SOS 4536165 HAS SOPS 4536165 HAS SOUS 423766 HAS SOUPS 423766 WITH SCORE 428302.165
AT ITER 8880 NEW BEST:: SOT 12679038 SOS 4455235 HAS SOPS 4455235 HAS SOUS 423660 HAS SOUPS 423660 WITH SCORE 428115.235
AT ITER 8889 NEW BEST:: SOT 12679015 SOS 4455189 HAS SOPS 4455189 HAS SOUS 423614 HAS SOUPS 423614 WITH SCORE 428069.189
AT ITER 8894 NEW BEST:: SOT 12679010 SOS 4455179 HAS SOPS 4455179 HAS SOUS 423604 HAS SOUPS 423604 WITH SCORE 428059.179
AT ITER 8919 NEW BEST:: SOT 12679010 SOS 4455179 HAS SOPS 4455179 HAS SOUS 423593 HAS SOUPS 423593 WITH SCORE 428048.179
AT ITER 8929 NEW BEST:: SOT 12679010 SOS 4455172 HAS SOPS 4455172 HAS SOUS 423590 HAS SOUPS 423590 WITH SCORE 428045.172
AT ITER 8943 NEW BEST:: SOT 12679093 SOS 4454042 HAS SOPS 4454042 HAS SOUS 423528 HAS SOUPS 423528 WITH SCORE 427982.042
AT ITER 8992 NEW BEST:: SOT 12679058 SOS 4453972 HAS SOPS 4453972 HAS SOUS 423493 HAS SOUPS 423493 WITH SCORE 427946.972
AT ITER 9014 NEW BEST:: SOT 12679058 SOS 4453972 HAS SOPS 4453972 HAS SOUS 423428 HAS SOUPS 423428 WITH SCORE 427881.972
AT ITER 9030 NEW BEST:: SOT 12679058 SOS 4453972 HAS SOPS 4453972 HAS SOUS 423297 HAS SOUPS 423297 WITH SCORE 427750.972
AT ITER 9053 NEW BEST:: SOT 12679009 SOS 4453874 HAS SOPS 4453874 HAS SOUS 423199 HAS SOUPS 423199 WITH SCORE 427652.874
AT ITER 9071 NEW BEST:: SOT 12678988 SOS 4451448 HAS SOPS 4451448 HAS SOUS 421869 HAS SOUPS 421869 WITH SCORE 426320.448
AT ITER 9072 NEW BEST:: SOT 12678983 SOS 4451370 HAS SOPS 4451370 HAS SOUS 421859 HAS SOUPS 421859 WITH SCORE 426310.37
AT ITER 9105 NEW BEST:: SOT 12678983 SOS 4451347 HAS SOPS 4451347 HAS SOUS 421836 HAS SOUPS 421836 WITH SCORE 426287.347
AT ITER 9132 NEW BEST:: SOT 12678974 SOS 4451322 HAS SOPS 4451322 HAS SOUS 421795 HAS SOUPS 421795 WITH SCORE 426246.322
AT ITER 9142 NEW BEST:: SOT 12678982 SOS 4451301 HAS SOPS 4451301 HAS SOUS 421774 HAS SOUPS 421774 WITH SCORE 426225.301
AT ITER 9172 NEW BEST:: SOT 12678981 SOS 4451299 HAS SOPS 4451299 HAS SOUS 421772 HAS SOUPS 421772 WITH SCORE 426223.299
AT ITER 9182 NEW BEST:: SOT 12678981 SOS 4451282 HAS SOPS 4451282 HAS SOUS 421755 HAS SOUPS 421755 WITH SCORE 426206.282
AT ITER 9186 NEW BEST:: SOT 12678978 SOS 4451314 HAS SOPS 4451314 HAS SOUS 421752 HAS SOUPS 421752 WITH SCORE 426203.314
AT ITER 9208 NEW BEST:: SOT 12678970 SOS 4451278 HAS SOPS 4451278 HAS SOUS 421716 HAS SOUPS 421716 WITH SCORE 426167.278
AT ITER 9211 NEW BEST:: SOT 12678976 SOS 4451207 HAS SOPS 4451207 HAS SOUS 421645 HAS SOUPS 421645 WITH SCORE 426096.207
AT ITER 9212 NEW BEST:: SOT 12678897 SOS 4451049 HAS SOPS 4451049 HAS SOUS 421569 HAS SOUPS 421569 WITH SCORE 426020.049
AT ITER 9218 NEW BEST:: SOT 12679035 SOS 4451030 HAS SOPS 4451030 HAS SOUS 421398 HAS SOUPS 421398 WITH SCORE 425849.03
AT ITER 9221 NEW BEST:: SOT 12679025 SOS 4451010 HAS SOPS 4451010 HAS SOUS 421289 HAS SOUPS 421289 WITH SCORE 425740.01
AT ITER 9239 NEW BEST:: SOT 12679024 SOS 4451008 HAS SOPS 4451008 HAS SOUS 421287 HAS SOUPS 421287 WITH SCORE 425738.008
AT ITER 9257 NEW BEST:: SOT 12679009 SOS 4450978 HAS SOPS 4450978 HAS SOUS 421257 HAS SOUPS 421257 WITH SCORE 425707.978
AT ITER 9260 NEW BEST:: SOT 12678988 SOS 4450936 HAS SOPS 4450936 HAS SOUS 421215 HAS SOUPS 421215 WITH SCORE 425665.936
AT ITER 9264 NEW BEST:: SOT 12678988 SOS 4450799 HAS SOPS 4450799 HAS SOUS 421078 HAS SOUPS 421078 WITH SCORE 425528.799
AT ITER 9269 NEW BEST:: SOT 12678988 SOS 4450799 HAS SOPS 4450799 HAS SOUS 421006 HAS SOUPS 421006 WITH SCORE 425456.799
AT ITER 9294 NEW BEST:: SOT 12678987 SOS 4450797 HAS SOPS 4450797 HAS SOUS 421004 HAS SOUPS 421004 WITH SCORE 425454.797
AT ITER 9318 NEW BEST:: SOT 12678993 SOS 4450742 HAS SOPS 4450742 HAS SOUS 420949 HAS SOUPS 420949 WITH SCORE 425399.742
AT ITER 9324 NEW BEST:: SOT 12678977 SOS 4450710 HAS SOPS 4450710 HAS SOUS 420917 HAS SOUPS 420917 WITH SCORE 425367.71
AT ITER 9335 NEW BEST:: SOT 12678965 SOS 4450686 HAS SOPS 4450686 HAS SOUS 420893 HAS SOUPS 420893 WITH SCORE 425343.686
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15850268 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16144476 kB

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="StigmergyElection-PT-08b"
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 StigmergyElection-PT-08b, 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-167912643800664"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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