Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542300544.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-08b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300544
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.3M
-rw-r--r-- 1 mcc users 4.2K Mar 30 19:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 30 19:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Mar 29 09:26 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 29 09:26 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Apr 8 14:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Mar 28 05:07 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 28 05:07 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 26 23:39 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:39 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.1M Mar 24 05:37 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 1589128586394

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

Filename model.pnml
Petri model created: 3088 places, 4732 transitions, 13004 arcs.
AT ITER 0 NEW BEST:: SOT 9173617 SOS 2109158 HAS SOPS 2109158 HAS SOUS 1266858 HAS SOUPS 1266858 WITH SCORE 1268967.158
AT ITER 8 NEW BEST:: SOT 9173163 SOS 2110811 HAS SOPS 2110811 HAS SOUS 1266463 HAS SOUPS 1266463 WITH SCORE 1268573.811
AT ITER 24 NEW BEST:: SOT 9172362 SOS 2109209 HAS SOPS 2109209 HAS SOUS 1264861 HAS SOUPS 1264861 WITH SCORE 1266970.209
AT ITER 36 NEW BEST:: SOT 9172361 SOS 2109207 HAS SOPS 2109207 HAS SOUS 1264859 HAS SOUPS 1264859 WITH SCORE 1266968.207
AT ITER 42 NEW BEST:: SOT 9172227 SOS 2109204 HAS SOPS 2109204 HAS SOUS 1264858 HAS SOUPS 1264858 WITH SCORE 1266967.204
AT ITER 64 NEW BEST:: SOT 9172227 SOS 2108787 HAS SOPS 2108787 HAS SOUS 1264719 HAS SOUPS 1264719 WITH SCORE 1266827.787
AT ITER 87 NEW BEST:: SOT 9172112 SOS 2108557 HAS SOPS 2108557 HAS SOUS 1264489 HAS SOUPS 1264489 WITH SCORE 1266597.557
AT ITER 88 NEW BEST:: SOT 9172043 SOS 2108419 HAS SOPS 2108419 HAS SOUS 1263806 HAS SOUPS 1263806 WITH SCORE 1265914.419
AT ITER 95 NEW BEST:: SOT 9171687 SOS 2108245 HAS SOPS 2108245 HAS SOUS 1263630 HAS SOUPS 1263630 WITH SCORE 1265738.245
AT ITER 103 NEW BEST:: SOT 9171586 SOS 2108043 HAS SOPS 2108043 HAS SOUS 1263428 HAS SOUPS 1263428 WITH SCORE 1265536.043
AT ITER 140 NEW BEST:: SOT 9169992 SOS 2105652 HAS SOPS 2105652 HAS SOUS 1261037 HAS SOUPS 1261037 WITH SCORE 1263142.652
AT ITER 159 NEW BEST:: SOT 9169898 SOS 2105464 HAS SOPS 2105464 HAS SOUS 1260849 HAS SOUPS 1260849 WITH SCORE 1262954.464
AT ITER 164 NEW BEST:: SOT 9169898 SOS 2105368 HAS SOPS 2105368 HAS SOUS 1260753 HAS SOUPS 1260753 WITH SCORE 1262858.368
AT ITER 169 NEW BEST:: SOT 9169593 SOS 2105358 HAS SOPS 2105358 HAS SOUS 1260492 HAS SOUPS 1260492 WITH SCORE 1262597.358
AT ITER 193 NEW BEST:: SOT 9169503 SOS 2105355 HAS SOPS 2105355 HAS SOUS 1260491 HAS SOUPS 1260491 WITH SCORE 1262596.355
AT ITER 227 NEW BEST:: SOT 9169186 SOS 2105345 HAS SOPS 2105345 HAS SOUS 1260396 HAS SOUPS 1260396 WITH SCORE 1262501.345
AT ITER 229 NEW BEST:: SOT 9169186 SOS 2105345 HAS SOPS 2105345 HAS SOUS 1260395 HAS SOUPS 1260395 WITH SCORE 1262500.345
AT ITER 239 NEW BEST:: SOT 9169101 SOS 2105005 HAS SOPS 2105005 HAS SOUS 1260225 HAS SOUPS 1260225 WITH SCORE 1262330.005
AT ITER 270 NEW BEST:: SOT 9168698 SOS 2104602 HAS SOPS 2104602 HAS SOUS 1259822 HAS SOUPS 1259822 WITH SCORE 1261926.602
AT ITER 303 NEW BEST:: SOT 9168632 SOS 2104470 HAS SOPS 2104470 HAS SOUS 1259690 HAS SOUPS 1259690 WITH SCORE 1261794.47
AT ITER 317 NEW BEST:: SOT 9168412 SOS 2105283 HAS SOPS 2105283 HAS SOUS 1259180 HAS SOUPS 1259180 WITH SCORE 1261285.283
AT ITER 335 NEW BEST:: SOT 9168359 SOS 2105697 HAS SOPS 2105697 HAS SOUS 1259126 HAS SOUPS 1259126 WITH SCORE 1261231.697
AT ITER 337 NEW BEST:: SOT 9168277 SOS 2105694 HAS SOPS 2105694 HAS SOUS 1259125 HAS SOUPS 1259125 WITH SCORE 1261230.694
AT ITER 341 NEW BEST:: SOT 9166773 SOS 2103438 HAS SOPS 2103438 HAS SOUS 1256869 HAS SOUPS 1256869 WITH SCORE 1258972.438
AT ITER 342 NEW BEST:: SOT 9166964 SOS 2102968 HAS SOPS 2102968 HAS SOUS 1256836 HAS SOUPS 1256836 WITH SCORE 1258938.968
AT ITER 349 NEW BEST:: SOT 9166340 SOS 2102428 HAS SOPS 2102428 HAS SOUS 1256211 HAS SOUPS 1256211 WITH SCORE 1258313.428
AT ITER 359 NEW BEST:: SOT 9166126 SOS 2102383 HAS SOPS 2102383 HAS SOUS 1256166 HAS SOUPS 1256166 WITH SCORE 1258268.383
AT ITER 363 NEW BEST:: SOT 9165859 SOS 2103370 HAS SOPS 2103370 HAS SOUS 1255631 HAS SOUPS 1255631 WITH SCORE 1257734.37
AT ITER 420 NEW BEST:: SOT 9164563 SOS 2102074 HAS SOPS 2102074 HAS SOUS 1254335 HAS SOUPS 1254335 WITH SCORE 1256437.074
AT ITER 427 NEW BEST:: SOT 9164473 SOS 2101984 HAS SOPS 2101984 HAS SOUS 1254334 HAS SOUPS 1254334 WITH SCORE 1256435.984
AT ITER 463 NEW BEST:: SOT 9164314 SOS 2103135 HAS SOPS 2103135 HAS SOUS 1254015 HAS SOUPS 1254015 WITH SCORE 1256118.135
AT ITER 468 NEW BEST:: SOT 9164275 SOS 2103205 HAS SOPS 2103205 HAS SOUS 1253974 HAS SOUPS 1253974 WITH SCORE 1256077.205
AT ITER 491 NEW BEST:: SOT 9163891 SOS 2102437 HAS SOPS 2102437 HAS SOUS 1253206 HAS SOUPS 1253206 WITH SCORE 1255308.437
AT ITER 520 NEW BEST:: SOT 9163419 SOS 2097245 HAS SOPS 2097245 HAS SOUS 1252262 HAS SOUPS 1252262 WITH SCORE 1254359.245
AT ITER 576 NEW BEST:: SOT 9163222 SOS 2097015 HAS SOPS 2097015 HAS SOUS 1252032 HAS SOUPS 1252032 WITH SCORE 1254129.015
AT ITER 578 NEW BEST:: SOT 9163400 SOS 2097011 HAS SOPS 2097011 HAS SOUS 1252028 HAS SOUPS 1252028 WITH SCORE 1254125.011
AT ITER 619 NEW BEST:: SOT 9163398 SOS 2097007 HAS SOPS 2097007 HAS SOUS 1252024 HAS SOUPS 1252024 WITH SCORE 1254121.007
AT ITER 679 NEW BEST:: SOT 9163397 SOS 2097005 HAS SOPS 2097005 HAS SOUS 1252022 HAS SOUPS 1252022 WITH SCORE 1254119.005
AT ITER 691 NEW BEST:: SOT 9163040 SOS 2098078 HAS SOPS 2098078 HAS SOUS 1251307 HAS SOUPS 1251307 WITH SCORE 1253405.078
AT ITER 695 NEW BEST:: SOT 9162842 SOS 2097880 HAS SOPS 2097880 HAS SOUS 1251109 HAS SOUPS 1251109 WITH SCORE 1253206.88
AT ITER 713 NEW BEST:: SOT 9162521 SOS 2096976 HAS SOPS 2096976 HAS SOUS 1250728 HAS SOUPS 1250728 WITH SCORE 1252824.976
AT ITER 736 NEW BEST:: SOT 9161831 SOS 2096763 HAS SOPS 2096763 HAS SOUS 1250515 HAS SOUPS 1250515 WITH SCORE 1252611.763
AT ITER 742 NEW BEST:: SOT 9161766 SOS 2097147 HAS SOPS 2097147 HAS SOUS 1250449 HAS SOUPS 1250449 WITH SCORE 1252546.147
AT ITER 764 NEW BEST:: SOT 9161638 SOS 2097083 HAS SOPS 2097083 HAS SOUS 1250385 HAS SOUPS 1250385 WITH SCORE 1252482.083
AT ITER 791 NEW BEST:: SOT 9161276 SOS 2096359 HAS SOPS 2096359 HAS SOUS 1249661 HAS SOUPS 1249661 WITH SCORE 1251757.359
AT ITER 793 NEW BEST:: SOT 9161241 SOS 2096289 HAS SOPS 2096289 HAS SOUS 1249626 HAS SOUPS 1249626 WITH SCORE 1251722.289
AT ITER 802 NEW BEST:: SOT 9160297 SOS 2095829 HAS SOPS 2095829 HAS SOUS 1248682 HAS SOUPS 1248682 WITH SCORE 1250777.829
AT ITER 823 NEW BEST:: SOT 9160323 SOS 2095731 HAS SOPS 2095731 HAS SOUS 1248584 HAS SOUPS 1248584 WITH SCORE 1250679.731
AT ITER 839 NEW BEST:: SOT 9159966 SOS 2095017 HAS SOPS 2095017 HAS SOUS 1247870 HAS SOUPS 1247870 WITH SCORE 1249965.017
AT ITER 842 NEW BEST:: SOT 9159858 SOS 2094957 HAS SOPS 2094957 HAS SOUS 1247810 HAS SOUPS 1247810 WITH SCORE 1249904.957
AT ITER 843 NEW BEST:: SOT 9159240 SOS 2094477 HAS SOPS 2094477 HAS SOUS 1247330 HAS SOUPS 1247330 WITH SCORE 1249424.477
AT ITER 884 NEW BEST:: SOT 9159002 SOS 2096133 HAS SOPS 2096133 HAS SOUS 1246853 HAS SOUPS 1246853 WITH SCORE 1248949.133
AT ITER 922 NEW BEST:: SOT 9158965 SOS 2096059 HAS SOPS 2096059 HAS SOUS 1246816 HAS SOUPS 1246816 WITH SCORE 1248912.059
AT ITER 935 NEW BEST:: SOT 9158978 SOS 2096007 HAS SOPS 2096007 HAS SOUS 1246764 HAS SOUPS 1246764 WITH SCORE 1248860.007
AT ITER 950 NEW BEST:: SOT 9158977 SOS 2096005 HAS SOPS 2096005 HAS SOUS 1246762 HAS SOUPS 1246762 WITH SCORE 1248858.005
AT ITER 995 NEW BEST:: SOT 9158585 SOS 2096130 HAS SOPS 2096130 HAS SOUS 1246673 HAS SOUPS 1246673 WITH SCORE 1248769.13
AT ITER 1012 NEW BEST:: SOT 9158585 SOS 2095521 HAS SOPS 2095521 HAS SOUS 1246470 HAS SOUPS 1246470 WITH SCORE 1248565.521
AT ITER 1039 NEW BEST:: SOT 9158585 SOS 2096450 HAS SOPS 2096450 HAS SOUS 1246469 HAS SOUPS 1246469 WITH SCORE 1248565.45
AT ITER 1040 NEW BEST:: SOT 9158584 SOS 2096448 HAS SOPS 2096448 HAS SOUS 1246467 HAS SOUPS 1246467 WITH SCORE 1248563.448
AT ITER 1045 NEW BEST:: SOT 9157738 SOS 2095200 HAS SOPS 2095200 HAS SOUS 1245177 HAS SOUPS 1245177 WITH SCORE 1247272.2
AT ITER 1077 NEW BEST:: SOT 9157023 SOS 2093770 HAS SOPS 2093770 HAS SOUS 1244547 HAS SOUPS 1244547 WITH SCORE 1246640.77
AT ITER 1079 NEW BEST:: SOT 9157006 SOS 2093736 HAS SOPS 2093736 HAS SOUS 1244513 HAS SOUPS 1244513 WITH SCORE 1246606.736
AT ITER 1146 NEW BEST:: SOT 9157006 SOS 2094254 HAS SOPS 2094254 HAS SOUS 1244512 HAS SOUPS 1244512 WITH SCORE 1246606.254
AT ITER 1166 NEW BEST:: SOT 9157139 SOS 2098317 HAS SOPS 2098317 HAS SOUS 1244354 HAS SOUPS 1244354 WITH SCORE 1246452.317
AT ITER 1175 NEW BEST:: SOT 9157139 SOS 2098613 HAS SOPS 2098613 HAS SOUS 1244353 HAS SOUPS 1244353 WITH SCORE 1246451.613
AT ITER 1186 NEW BEST:: SOT 9157063 SOS 2098309 HAS SOPS 2098309 HAS SOUS 1244201 HAS SOUPS 1244201 WITH SCORE 1246299.309
AT ITER 1210 NEW BEST:: SOT 9156706 SOS 2097595 HAS SOPS 2097595 HAS SOUS 1243863 HAS SOUPS 1243863 WITH SCORE 1245960.595
AT ITER 1226 NEW BEST:: SOT 9156706 SOS 2097668 HAS SOPS 2097668 HAS SOUS 1243862 HAS SOUPS 1243862 WITH SCORE 1245959.668
AT ITER 1228 NEW BEST:: SOT 9156347 SOS 2097517 HAS SOPS 2097517 HAS SOUS 1243711 HAS SOUPS 1243711 WITH SCORE 1245808.517
AT ITER 1232 NEW BEST:: SOT 9155729 SOS 2096899 HAS SOPS 2096899 HAS SOUS 1243093 HAS SOUPS 1243093 WITH SCORE 1245189.899
AT ITER 1243 NEW BEST:: SOT 9155729 SOS 2096813 HAS SOPS 2096813 HAS SOUS 1243007 HAS SOUPS 1243007 WITH SCORE 1245103.813
AT ITER 1244 NEW BEST:: SOT 9155727 SOS 2096809 HAS SOPS 2096809 HAS SOUS 1243003 HAS SOUPS 1243003 WITH SCORE 1245099.809
AT ITER 1259 NEW BEST:: SOT 9155118 SOS 2096317 HAS SOPS 2096317 HAS SOUS 1242394 HAS SOUPS 1242394 WITH SCORE 1244490.317
AT ITER 1281 NEW BEST:: SOT 9154397 SOS 2095981 HAS SOPS 2095981 HAS SOUS 1242343 HAS SOUPS 1242343 WITH SCORE 1244438.981
AT ITER 1293 NEW BEST:: SOT 9154362 SOS 2095876 HAS SOPS 2095876 HAS SOUS 1242308 HAS SOUPS 1242308 WITH SCORE 1244403.876
AT ITER 1303 NEW BEST:: SOT 9154362 SOS 2096470 HAS SOPS 2096470 HAS SOUS 1242307 HAS SOUPS 1242307 WITH SCORE 1244403.47
AT ITER 1314 NEW BEST:: SOT 9154732 SOS 2097210 HAS SOPS 2097210 HAS SOUS 1242123 HAS SOUPS 1242123 WITH SCORE 1244220.21
AT ITER 1318 NEW BEST:: SOT 9154732 SOS 2097165 HAS SOPS 2097165 HAS SOUS 1242078 HAS SOUPS 1242078 WITH SCORE 1244175.165
AT ITER 1320 NEW BEST:: SOT 9154355 SOS 2097239 HAS SOPS 2097239 HAS SOUS 1241977 HAS SOUPS 1241977 WITH SCORE 1244074.239
AT ITER 1348 NEW BEST:: SOT 9154355 SOS 2097957 HAS SOPS 2097957 HAS SOUS 1241854 HAS SOUPS 1241854 WITH SCORE 1243951.957
AT ITER 1364 NEW BEST:: SOT 9151911 SOS 2097016 HAS SOPS 2097016 HAS SOUS 1239719 HAS SOUPS 1239719 WITH SCORE 1241816.016
AT ITER 1396 NEW BEST:: SOT 9151911 SOS 2097868 HAS SOPS 2097868 HAS SOUS 1239579 HAS SOUPS 1239579 WITH SCORE 1241676.868
AT ITER 1412 NEW BEST:: SOT 9151695 SOS 2097436 HAS SOPS 2097436 HAS SOUS 1239147 HAS SOUPS 1239147 WITH SCORE 1241244.436
AT ITER 1424 NEW BEST:: SOT 9151695 SOS 2097228 HAS SOPS 2097228 HAS SOUS 1239147 HAS SOUPS 1239147 WITH SCORE 1241244.228
AT ITER 1437 NEW BEST:: SOT 9152076 SOS 2097608 HAS SOPS 2097608 HAS SOUS 1239146 HAS SOUPS 1239146 WITH SCORE 1241243.608
AT ITER 1471 NEW BEST:: SOT 9152503 SOS 2098462 HAS SOPS 2098462 HAS SOUS 1239083 HAS SOUPS 1239083 WITH SCORE 1241181.462
AT ITER 1479 NEW BEST:: SOT 9152013 SOS 2101892 HAS SOPS 2101892 HAS SOUS 1238593 HAS SOUPS 1238593 WITH SCORE 1240694.892
AT ITER 1513 NEW BEST:: SOT 9152013 SOS 2102193 HAS SOPS 2102193 HAS SOUS 1238592 HAS SOUPS 1238592 WITH SCORE 1240694.193
AT ITER 1524 NEW BEST:: SOT 9152055 SOS 2101852 HAS SOPS 2101852 HAS SOUS 1238251 HAS SOUPS 1238251 WITH SCORE 1240352.852
AT ITER 1526 NEW BEST:: SOT 9151609 SOS 2102078 HAS SOPS 2102078 HAS SOUS 1238145 HAS SOUPS 1238145 WITH SCORE 1240247.078
AT ITER 1555 NEW BEST:: SOT 9151609 SOS 2102078 HAS SOPS 2102078 HAS SOUS 1238089 HAS SOUPS 1238089 WITH SCORE 1240191.078
AT ITER 1560 NEW BEST:: SOT 9151512 SOS 2102262 HAS SOPS 2102262 HAS SOUS 1238088 HAS SOUPS 1238088 WITH SCORE 1240190.262
AT ITER 1570 NEW BEST:: SOT 9151639 SOS 2102389 HAS SOPS 2102389 HAS SOUS 1237961 HAS SOUPS 1237961 WITH SCORE 1240063.389
AT ITER 1573 NEW BEST:: SOT 9151639 SOS 2102386 HAS SOPS 2102386 HAS SOUS 1237724 HAS SOUPS 1237724 WITH SCORE 1239826.386
AT ITER 1599 NEW BEST:: SOT 9151680 SOS 2102468 HAS SOPS 2102468 HAS SOUS 1236803 HAS SOUPS 1236803 WITH SCORE 1238905.468
AT ITER 1626 NEW BEST:: SOT 9151640 SOS 2102388 HAS SOPS 2102388 HAS SOUS 1236679 HAS SOUPS 1236679 WITH SCORE 1238781.388
AT ITER 1686 NEW BEST:: SOT 9151506 SOS 2102120 HAS SOPS 2102120 HAS SOUS 1236411 HAS SOUPS 1236411 WITH SCORE 1238513.12
AT ITER 1698 NEW BEST:: SOT 9151506 SOS 2102119 HAS SOPS 2102119 HAS SOUS 1236410 HAS SOUPS 1236410 WITH SCORE 1238512.119
AT ITER 1699 NEW BEST:: SOT 9150910 SOS 2101783 HAS SOPS 2101783 HAS SOUS 1235338 HAS SOUPS 1235338 WITH SCORE 1237439.783
AT ITER 1738 NEW BEST:: SOT 9150547 SOS 2101057 HAS SOPS 2101057 HAS SOUS 1234612 HAS SOUPS 1234612 WITH SCORE 1236713.057
AT ITER 1743 NEW BEST:: SOT 9150561 SOS 2101085 HAS SOPS 2101085 HAS SOUS 1234519 HAS SOUPS 1234519 WITH SCORE 1236620.085
AT ITER 1755 NEW BEST:: SOT 9148913 SOS 2101465 HAS SOPS 2101465 HAS SOUS 1233823 HAS SOUPS 1233823 WITH SCORE 1235924.465
AT ITER 1773 NEW BEST:: SOT 9148721 SOS 2101081 HAS SOPS 2101081 HAS SOUS 1233704 HAS SOUPS 1233704 WITH SCORE 1235805.081
AT ITER 1784 NEW BEST:: SOT 9148734 SOS 2101104 HAS SOPS 2101104 HAS SOUS 1233703 HAS SOUPS 1233703 WITH SCORE 1235804.104
AT ITER 1791 NEW BEST:: SOT 9148335 SOS 2100306 HAS SOPS 2100306 HAS SOUS 1232853 HAS SOUPS 1232853 WITH SCORE 1234953.306
AT ITER 1801 NEW BEST:: SOT 9148357 SOS 2100291 HAS SOPS 2100291 HAS SOUS 1232838 HAS SOUPS 1232838 WITH SCORE 1234938.291
AT ITER 1806 NEW BEST:: SOT 9145932 SOS 2101460 HAS SOPS 2101460 HAS SOUS 1230960 HAS SOUPS 1230960 WITH SCORE 1233061.46
AT ITER 1809 NEW BEST:: SOT 9145270 SOS 2100136 HAS SOPS 2100136 HAS SOUS 1229369 HAS SOUPS 1229369 WITH SCORE 1231469.136
AT ITER 1815 NEW BEST:: SOT 9145206 SOS 2100136 HAS SOPS 2100136 HAS SOUS 1229305 HAS SOUPS 1229305 WITH SCORE 1231405.136
AT ITER 1826 NEW BEST:: SOT 9144798 SOS 2099842 HAS SOPS 2099842 HAS SOUS 1228991 HAS SOUPS 1228991 WITH SCORE 1231090.842
AT ITER 1828 NEW BEST:: SOT 9144018 SOS 2099062 HAS SOPS 2099062 HAS SOUS 1228211 HAS SOUPS 1228211 WITH SCORE 1230310.062
AT ITER 1830 NEW BEST:: SOT 9144018 SOS 2099059 HAS SOPS 2099059 HAS SOUS 1228210 HAS SOUPS 1228210 WITH SCORE 1230309.059
AT ITER 1832 NEW BEST:: SOT 9143984 SOS 2099025 HAS SOPS 2099025 HAS SOUS 1228176 HAS SOUPS 1228176 WITH SCORE 1230275.025
AT ITER 1849 NEW BEST:: SOT 9144304 SOS 2099216 HAS SOPS 2099216 HAS SOUS 1227833 HAS SOUPS 1227833 WITH SCORE 1229932.216
AT ITER 1858 NEW BEST:: SOT 9144298 SOS 2099138 HAS SOPS 2099138 HAS SOUS 1227821 HAS SOUPS 1227821 WITH SCORE 1229920.138
AT ITER 1884 NEW BEST:: SOT 9144298 SOS 2099368 HAS SOPS 2099368 HAS SOUS 1227819 HAS SOUPS 1227819 WITH SCORE 1229918.368
AT ITER 1959 NEW BEST:: SOT 9144298 SOS 2099308 HAS SOPS 2099308 HAS SOUS 1227759 HAS SOUPS 1227759 WITH SCORE 1229858.308
AT ITER 1978 NEW BEST:: SOT 9144251 SOS 2099325 HAS SOPS 2099325 HAS SOUS 1227749 HAS SOUPS 1227749 WITH SCORE 1229848.325
AT ITER 2035 NEW BEST:: SOT 9144251 SOS 2099325 HAS SOPS 2099325 HAS SOUS 1227716 HAS SOUPS 1227716 WITH SCORE 1229815.325
AT ITER 2054 NEW BEST:: SOT 9143931 SOS 2099164 HAS SOPS 2099164 HAS SOUS 1227557 HAS SOUPS 1227557 WITH SCORE 1229656.164
AT ITER 2061 NEW BEST:: SOT 9143928 SOS 2099155 HAS SOPS 2099155 HAS SOUS 1227548 HAS SOUPS 1227548 WITH SCORE 1229647.155
AT ITER 2091 NEW BEST:: SOT 9143928 SOS 2100144 HAS SOPS 2100144 HAS SOUS 1227546 HAS SOUPS 1227546 WITH SCORE 1229646.144
AT ITER 2117 NEW BEST:: SOT 9143494 SOS 2099710 HAS SOPS 2099710 HAS SOUS 1227112 HAS SOUPS 1227112 WITH SCORE 1229211.71
AT ITER 2120 NEW BEST:: SOT 9143409 SOS 2099540 HAS SOPS 2099540 HAS SOUS 1226942 HAS SOUPS 1226942 WITH SCORE 1229041.54
AT ITER 2149 NEW BEST:: SOT 9143270 SOS 2099262 HAS SOPS 2099262 HAS SOUS 1226664 HAS SOUPS 1226664 WITH SCORE 1228763.262
AT ITER 2150 NEW BEST:: SOT 9142973 SOS 2098668 HAS SOPS 2098668 HAS SOUS 1226556 HAS SOUPS 1226556 WITH SCORE 1228654.668
AT ITER 2164 NEW BEST:: SOT 9142875 SOS 2098506 HAS SOPS 2098506 HAS SOUS 1226394 HAS SOUPS 1226394 WITH SCORE 1228492.506
AT ITER 2173 NEW BEST:: SOT 9142875 SOS 2098506 HAS SOPS 2098506 HAS SOUS 1226393 HAS SOUPS 1226393 WITH SCORE 1228491.506
AT ITER 2196 NEW BEST:: SOT 9142496 SOS 2100958 HAS SOPS 2100958 HAS SOUS 1226354 HAS SOUPS 1226354 WITH SCORE 1228454.958
AT ITER 2264 NEW BEST:: SOT 9142369 SOS 2100112 HAS SOPS 2100112 HAS SOUS 1225931 HAS SOUPS 1225931 WITH SCORE 1228031.112
AT ITER 2273 NEW BEST:: SOT 9142477 SOS 2099606 HAS SOPS 2099606 HAS SOUS 1225786 HAS SOUPS 1225786 WITH SCORE 1227885.606
AT ITER 2285 NEW BEST:: SOT 9142422 SOS 2099441 HAS SOPS 2099441 HAS SOUS 1225676 HAS SOUPS 1225676 WITH SCORE 1227775.441
AT ITER 2328 NEW BEST:: SOT 9141718 SOS 2098619 HAS SOPS 2098619 HAS SOUS 1224619 HAS SOUPS 1224619 WITH SCORE 1226717.619
AT ITER 2335 NEW BEST:: SOT 9141626 SOS 2098435 HAS SOPS 2098435 HAS SOUS 1224527 HAS SOUPS 1224527 WITH SCORE 1226625.435
AT ITER 2338 NEW BEST:: SOT 9141213 SOS 2098022 HAS SOPS 2098022 HAS SOUS 1224114 HAS SOUPS 1224114 WITH SCORE 1226212.022
AT ITER 2342 NEW BEST:: SOT 9140842 SOS 2097786 HAS SOPS 2097786 HAS SOUS 1223881 HAS SOUPS 1223881 WITH SCORE 1225978.786
AT ITER 2370 NEW BEST:: SOT 9139940 SOS 2095982 HAS SOPS 2095982 HAS SOUS 1222077 HAS SOUPS 1222077 WITH SCORE 1224172.982
AT ITER 2424 NEW BEST:: SOT 9139355 SOS 2096251 HAS SOPS 2096251 HAS SOUS 1221303 HAS SOUPS 1221303 WITH SCORE 1223399.251
AT ITER 2429 NEW BEST:: SOT 9139255 SOS 2096463 HAS SOPS 2096463 HAS SOUS 1221294 HAS SOUPS 1221294 WITH SCORE 1223390.463
AT ITER 2446 NEW BEST:: SOT 9138807 SOS 2096177 HAS SOPS 2096177 HAS SOUS 1220919 HAS SOUPS 1220919 WITH SCORE 1223015.177
AT ITER 2447 NEW BEST:: SOT 9138630 SOS 2099640 HAS SOPS 2099640 HAS SOUS 1220565 HAS SOUPS 1220565 WITH SCORE 1222664.64
AT ITER 2468 NEW BEST:: SOT 9138157 SOS 2099238 HAS SOPS 2099238 HAS SOUS 1220163 HAS SOUPS 1220163 WITH SCORE 1222262.238
AT ITER 2469 NEW BEST:: SOT 9137988 SOS 2098900 HAS SOPS 2098900 HAS SOUS 1219994 HAS SOUPS 1219994 WITH SCORE 1222092.9
AT ITER 2497 NEW BEST:: SOT 9137988 SOS 2098899 HAS SOPS 2098899 HAS SOUS 1219993 HAS SOUPS 1219993 WITH SCORE 1222091.899
AT ITER 2509 NEW BEST:: SOT 9137806 SOS 2098752 HAS SOPS 2098752 HAS SOUS 1219846 HAS SOUPS 1219846 WITH SCORE 1221944.752
AT ITER 2530 NEW BEST:: SOT 9137793 SOS 2098713 HAS SOPS 2098713 HAS SOUS 1219820 HAS SOUPS 1219820 WITH SCORE 1221918.713
AT ITER 2543 NEW BEST:: SOT 9137793 SOS 2098359 HAS SOPS 2098359 HAS SOUS 1219702 HAS SOUPS 1219702 WITH SCORE 1221800.359
AT ITER 2549 NEW BEST:: SOT 9137611 SOS 2098541 HAS SOPS 2098541 HAS SOUS 1219583 HAS SOUPS 1219583 WITH SCORE 1221681.541
AT ITER 2580 NEW BEST:: SOT 9138094 SOS 2099507 HAS SOPS 2099507 HAS SOUS 1219259 HAS SOUPS 1219259 WITH SCORE 1221358.507
AT ITER 2613 NEW BEST:: SOT 9136166 SOS 2097338 HAS SOPS 2097338 HAS SOUS 1218603 HAS SOUPS 1218603 WITH SCORE 1220700.338
AT ITER 2677 NEW BEST:: SOT 9136166 SOS 2097020 HAS SOPS 2097020 HAS SOUS 1218497 HAS SOUPS 1218497 WITH SCORE 1220594.02
AT ITER 2681 NEW BEST:: SOT 9136315 SOS 2096939 HAS SOPS 2096939 HAS SOUS 1218416 HAS SOUPS 1218416 WITH SCORE 1220512.939
AT ITER 2686 NEW BEST:: SOT 9136315 SOS 2100711 HAS SOPS 2100711 HAS SOUS 1218071 HAS SOUPS 1218071 WITH SCORE 1220171.711
AT ITER 2730 NEW BEST:: SOT 9136078 SOS 2100237 HAS SOPS 2100237 HAS SOUS 1217555 HAS SOUPS 1217555 WITH SCORE 1219655.237
AT ITER 2733 NEW BEST:: SOT 9135975 SOS 2100134 HAS SOPS 2100134 HAS SOUS 1217452 HAS SOUPS 1217452 WITH SCORE 1219552.134
AT ITER 2748 NEW BEST:: SOT 9135955 SOS 2100094 HAS SOPS 2100094 HAS SOUS 1217412 HAS SOUPS 1217412 WITH SCORE 1219512.094
AT ITER 2777 NEW BEST:: SOT 9132937 SOS 2099847 HAS SOPS 2099847 HAS SOUS 1216009 HAS SOUPS 1216009 WITH SCORE 1218108.847
AT ITER 2788 NEW BEST:: SOT 9131674 SOS 2099711 HAS SOPS 2099711 HAS SOUS 1215404 HAS SOUPS 1215404 WITH SCORE 1217503.711
AT ITER 2798 NEW BEST:: SOT 9131658 SOS 2099710 HAS SOPS 2099710 HAS SOUS 1215403 HAS SOUPS 1215403 WITH SCORE 1217502.71
AT ITER 2804 NEW BEST:: SOT 9131549 SOS 2100084 HAS SOPS 2100084 HAS SOUS 1215385 HAS SOUPS 1215385 WITH SCORE 1217485.084
AT ITER 2809 NEW BEST:: SOT 9130533 SOS 2098052 HAS SOPS 2098052 HAS SOUS 1213491 HAS SOUPS 1213491 WITH SCORE 1215589.052
AT ITER 2833 NEW BEST:: SOT 9130533 SOS 2097964 HAS SOPS 2097964 HAS SOUS 1213491 HAS SOUPS 1213491 WITH SCORE 1215588.964
AT ITER 2834 NEW BEST:: SOT 9130533 SOS 2098763 HAS SOPS 2098763 HAS SOUS 1213490 HAS SOUPS 1213490 WITH SCORE 1215588.763
AT ITER 2870 NEW BEST:: SOT 9130526 SOS 2098749 HAS SOPS 2098749 HAS SOUS 1213483 HAS SOUPS 1213483 WITH SCORE 1215581.749
AT ITER 2910 NEW BEST:: SOT 9130145 SOS 2097987 HAS SOPS 2097987 HAS SOUS 1212626 HAS SOUPS 1212626 WITH SCORE 1214723.987
AT ITER 2938 NEW BEST:: SOT 9129946 SOS 2097788 HAS SOPS 2097788 HAS SOUS 1212427 HAS SOUPS 1212427 WITH SCORE 1214524.788
AT ITER 2947 NEW BEST:: SOT 9129969 SOS 2097785 HAS SOPS 2097785 HAS SOUS 1212424 HAS SOUPS 1212424 WITH SCORE 1214521.785
AT ITER 2958 NEW BEST:: SOT 9129842 SOS 2097531 HAS SOPS 2097531 HAS SOUS 1212169 HAS SOUPS 1212169 WITH SCORE 1214266.531
AT ITER 2971 NEW BEST:: SOT 9129906 SOS 2097659 HAS SOPS 2097659 HAS SOUS 1211875 HAS SOUPS 1211875 WITH SCORE 1213972.659
AT ITER 3001 NEW BEST:: SOT 9129287 SOS 2097008 HAS SOPS 2097008 HAS SOUS 1210897 HAS SOUPS 1210897 WITH SCORE 1212994.008
AT ITER 3002 NEW BEST:: SOT 9128870 SOS 2096590 HAS SOPS 2096590 HAS SOUS 1210479 HAS SOUPS 1210479 WITH SCORE 1212575.59
AT ITER 3015 NEW BEST:: SOT 9128870 SOS 2096590 HAS SOPS 2096590 HAS SOUS 1210478 HAS SOUPS 1210478 WITH SCORE 1212574.59
AT ITER 3031 NEW BEST:: SOT 9128845 SOS 2096390 HAS SOPS 2096390 HAS SOUS 1210478 HAS SOUPS 1210478 WITH SCORE 1212574.39
AT ITER 3036 NEW BEST:: SOT 9128845 SOS 2095445 HAS SOPS 2095445 HAS SOUS 1210477 HAS SOUPS 1210477 WITH SCORE 1212572.445
AT ITER 3049 NEW BEST:: SOT 9128836 SOS 2095427 HAS SOPS 2095427 HAS SOUS 1210459 HAS SOUPS 1210459 WITH SCORE 1212554.427
AT ITER 3073 NEW BEST:: SOT 9128836 SOS 2095941 HAS SOPS 2095941 HAS SOUS 1210147 HAS SOUPS 1210147 WITH SCORE 1212242.941
AT ITER 3077 NEW BEST:: SOT 9128836 SOS 2096840 HAS SOPS 2096840 HAS SOUS 1210146 HAS SOUPS 1210146 WITH SCORE 1212242.84
AT ITER 3107 NEW BEST:: SOT 9128836 SOS 2097523 HAS SOPS 2097523 HAS SOUS 1210145 HAS SOUPS 1210145 WITH SCORE 1212242.523
AT ITER 3110 NEW BEST:: SOT 9128402 SOS 2097521 HAS SOPS 2097521 HAS SOUS 1210087 HAS SOUPS 1210087 WITH SCORE 1212184.521
AT ITER 3143 NEW BEST:: SOT 9126966 SOS 2109122 HAS SOPS 2109122 HAS SOUS 1209962 HAS SOUPS 1209962 WITH SCORE 1212071.122
AT ITER 3148 NEW BEST:: SOT 9126815 SOS 2108978 HAS SOPS 2108978 HAS SOUS 1209818 HAS SOUPS 1209818 WITH SCORE 1211926.978
AT ITER 3155 NEW BEST:: SOT 9126524 SOS 2108066 HAS SOPS 2108066 HAS SOUS 1208906 HAS SOUPS 1208906 WITH SCORE 1211014.066
AT ITER 3201 NEW BEST:: SOT 9124565 SOS 2109622 HAS SOPS 2109622 HAS SOUS 1207709 HAS SOUPS 1207709 WITH SCORE 1209818.622
AT ITER 3269 NEW BEST:: SOT 9124565 SOS 2109622 HAS SOPS 2109622 HAS SOUS 1207539 HAS SOUPS 1207539 WITH SCORE 1209648.622
AT ITER 3282 NEW BEST:: SOT 9124473 SOS 2109530 HAS SOPS 2109530 HAS SOUS 1207447 HAS SOUPS 1207447 WITH SCORE 1209556.53
AT ITER 3285 NEW BEST:: SOT 9124357 SOS 2109477 HAS SOPS 2109477 HAS SOUS 1207331 HAS SOUPS 1207331 WITH SCORE 1209440.477
AT ITER 3306 NEW BEST:: SOT 9124356 SOS 2109475 HAS SOPS 2109475 HAS SOUS 1207329 HAS SOUPS 1207329 WITH SCORE 1209438.475
AT ITER 3322 NEW BEST:: SOT 9124355 SOS 2109473 HAS SOPS 2109473 HAS SOUS 1207327 HAS SOUPS 1207327 WITH SCORE 1209436.473
AT ITER 3323 NEW BEST:: SOT 9123095 SOS 2108061 HAS SOPS 2108061 HAS SOUS 1206015 HAS SOUPS 1206015 WITH SCORE 1208123.061
AT ITER 3330 NEW BEST:: SOT 9123094 SOS 2108816 HAS SOPS 2108816 HAS SOUS 1206012 HAS SOUPS 1206012 WITH SCORE 1208120.816
AT ITER 3343 NEW BEST:: SOT 9122669 SOS 2108388 HAS SOPS 2108388 HAS SOUS 1205586 HAS SOUPS 1205586 WITH SCORE 1207694.388
AT ITER 3365 NEW BEST:: SOT 9122420 SOS 2108176 HAS SOPS 2108176 HAS SOUS 1205336 HAS SOUPS 1205336 WITH SCORE 1207444.176
AT ITER 3374 NEW BEST:: SOT 9122446 SOS 2107778 HAS SOPS 2107778 HAS SOUS 1205324 HAS SOUPS 1205324 WITH SCORE 1207431.778
AT ITER 3393 NEW BEST:: SOT 9122299 SOS 2107721 HAS SOPS 2107721 HAS SOUS 1205267 HAS SOUPS 1205267 WITH SCORE 1207374.721
AT ITER 3398 NEW BEST:: SOT 9122299 SOS 2107593 HAS SOPS 2107593 HAS SOUS 1205196 HAS SOUPS 1205196 WITH SCORE 1207303.593
AT ITER 3401 NEW BEST:: SOT 9122058 SOS 2107372 HAS SOPS 2107372 HAS SOUS 1204955 HAS SOUPS 1204955 WITH SCORE 1207062.372
AT ITER 3412 NEW BEST:: SOT 9121922 SOS 2107100 HAS SOPS 2107100 HAS SOUS 1204818 HAS SOUPS 1204818 WITH SCORE 1206925.1
AT ITER 3420 NEW BEST:: SOT 9121922 SOS 2106572 HAS SOPS 2106572 HAS SOUS 1204642 HAS SOUPS 1204642 WITH SCORE 1206748.572
AT ITER 3426 NEW BEST:: SOT 9121048 SOS 2106110 HAS SOPS 2106110 HAS SOUS 1204180 HAS SOUPS 1204180 WITH SCORE 1206286.11
AT ITER 3431 NEW BEST:: SOT 9121004 SOS 2106022 HAS SOPS 2106022 HAS SOUS 1204092 HAS SOUPS 1204092 WITH SCORE 1206198.022
AT ITER 3437 NEW BEST:: SOT 9120970 SOS 2105942 HAS SOPS 2105942 HAS SOUS 1204023 HAS SOUPS 1204023 WITH SCORE 1206128.942
AT ITER 3477 NEW BEST:: SOT 9120970 SOS 2105906 HAS SOPS 2105906 HAS SOUS 1203987 HAS SOUPS 1203987 WITH SCORE 1206092.906
AT ITER 3482 NEW BEST:: SOT 9120866 SOS 2105802 HAS SOPS 2105802 HAS SOUS 1203883 HAS SOUPS 1203883 WITH SCORE 1205988.802
AT ITER 3499 NEW BEST:: SOT 9120693 SOS 2105756 HAS SOPS 2105756 HAS SOUS 1203810 HAS SOUPS 1203810 WITH SCORE 1205915.756
AT ITER 3509 NEW BEST:: SOT 9120623 SOS 2107025 HAS SOPS 2107025 HAS SOUS 1203564 HAS SOUPS 1203564 WITH SCORE 1205671.025
AT ITER 3519 NEW BEST:: SOT 9120571 SOS 2106921 HAS SOPS 2106921 HAS SOUS 1203512 HAS SOUPS 1203512 WITH SCORE 1205618.921
AT ITER 3527 NEW BEST:: SOT 9120648 SOS 2106868 HAS SOPS 2106868 HAS SOUS 1203382 HAS SOUPS 1203382 WITH SCORE 1205488.868
AT ITER 3545 NEW BEST:: SOT 9120354 SOS 2106574 HAS SOPS 2106574 HAS SOUS 1203088 HAS SOUPS 1203088 WITH SCORE 1205194.574
AT ITER 3560 NEW BEST:: SOT 9120037 SOS 2105940 HAS SOPS 2105940 HAS SOUS 1202454 HAS SOUPS 1202454 WITH SCORE 1204559.94
AT ITER 3583 NEW BEST:: SOT 9119887 SOS 2105902 HAS SOPS 2105902 HAS SOUS 1202416 HAS SOUPS 1202416 WITH SCORE 1204521.902
AT ITER 3591 NEW BEST:: SOT 9119842 SOS 2105812 HAS SOPS 2105812 HAS SOUS 1202326 HAS SOUPS 1202326 WITH SCORE 1204431.812
AT ITER 3615 NEW BEST:: SOT 9119831 SOS 2104868 HAS SOPS 2104868 HAS SOUS 1202265 HAS SOUPS 1202265 WITH SCORE 1204369.868
AT ITER 3628 NEW BEST:: SOT 9118640 SOS 2111198 HAS SOPS 2111198 HAS SOUS 1201945 HAS SOUPS 1201945 WITH SCORE 1204056.198
AT ITER 3644 NEW BEST:: SOT 9118485 SOS 2111043 HAS SOPS 2111043 HAS SOUS 1201945 HAS SOUPS 1201945 WITH SCORE 1204056.043
AT ITER 3681 NEW BEST:: SOT 9117085 SOS 2109655 HAS SOPS 2109655 HAS SOUS 1200828 HAS SOUPS 1200828 WITH SCORE 1202937.655
AT ITER 3702 NEW BEST:: SOT 9117000 SOS 2109230 HAS SOPS 2109230 HAS SOUS 1200658 HAS SOUPS 1200658 WITH SCORE 1202767.23
AT ITER 3709 NEW BEST:: SOT 9116887 SOS 2109160 HAS SOPS 2109160 HAS SOUS 1200588 HAS SOUPS 1200588 WITH SCORE 1202697.16
AT ITER 3719 NEW BEST:: SOT 9116887 SOS 2108734 HAS SOPS 2108734 HAS SOUS 1200375 HAS SOUPS 1200375 WITH SCORE 1202483.734
AT ITER 3732 NEW BEST:: SOT 9116849 SOS 2108658 HAS SOPS 2108658 HAS SOUS 1200323 HAS SOUPS 1200323 WITH SCORE 1202431.658
AT ITER 3739 NEW BEST:: SOT 9116849 SOS 2109280 HAS SOPS 2109280 HAS SOUS 1200321 HAS SOUPS 1200321 WITH SCORE 1202430.28
AT ITER 3752 NEW BEST:: SOT 9116840 SOS 2109262 HAS SOPS 2109262 HAS SOUS 1200303 HAS SOUPS 1200303 WITH SCORE 1202412.262
AT ITER 3783 NEW BEST:: SOT 9116840 SOS 2107801 HAS SOPS 2107801 HAS SOUS 1200303 HAS SOUPS 1200303 WITH SCORE 1202410.801
AT ITER 3789 NEW BEST:: SOT 9116749 SOS 2107619 HAS SOPS 2107619 HAS SOUS 1200021 HAS SOUPS 1200021 WITH SCORE 1202128.619
AT ITER 3795 NEW BEST:: SOT 9116749 SOS 2107412 HAS SOPS 2107412 HAS SOUS 1199814 HAS SOUPS 1199814 WITH SCORE 1201921.412
AT ITER 3796 NEW BEST:: SOT 9116231 SOS 2106894 HAS SOPS 2106894 HAS SOUS 1199296 HAS SOUPS 1199296 WITH SCORE 1201402.894
AT ITER 3797 NEW BEST:: SOT 9116231 SOS 2106729 HAS SOPS 2106729 HAS SOUS 1199131 HAS SOUPS 1199131 WITH SCORE 1201237.729
AT ITER 3825 NEW BEST:: SOT 9116116 SOS 2110917 HAS SOPS 2110917 HAS SOUS 1198760 HAS SOUPS 1198760 WITH SCORE 1200870.917
AT ITER 3827 NEW BEST:: SOT 9116079 SOS 2110843 HAS SOPS 2110843 HAS SOUS 1198686 HAS SOUPS 1198686 WITH SCORE 1200796.843
AT ITER 3860 NEW BEST:: SOT 9114393 SOS 2108962 HAS SOPS 2108962 HAS SOUS 1196805 HAS SOUPS 1196805 WITH SCORE 1198913.962
AT ITER 3864 NEW BEST:: SOT 9114376 SOS 2108945 HAS SOPS 2108945 HAS SOUS 1196788 HAS SOUPS 1196788 WITH SCORE 1198896.945
AT ITER 3873 NEW BEST:: SOT 9114169 SOS 2108531 HAS SOPS 2108531 HAS SOUS 1196566 HAS SOUPS 1196566 WITH SCORE 1198674.531
AT ITER 3875 NEW BEST:: SOT 9114273 SOS 2108385 HAS SOPS 2108385 HAS SOUS 1196466 HAS SOUPS 1196466 WITH SCORE 1198574.385
AT ITER 3880 NEW BEST:: SOT 9114273 SOS 2109122 HAS SOPS 2109122 HAS SOUS 1196465 HAS SOUPS 1196465 WITH SCORE 1198574.122
AT ITER 3916 NEW BEST:: SOT 9113874 SOS 2105660 HAS SOPS 2105660 HAS SOUS 1196000 HAS SOUPS 1196000 WITH SCORE 1198105.66
AT ITER 3936 NEW BEST:: SOT 9113874 SOS 2105101 HAS SOPS 2105101 HAS SOUS 1196000 HAS SOUPS 1196000 WITH SCORE 1198105.101
AT ITER 3940 NEW BEST:: SOT 9113766 SOS 2104885 HAS SOPS 2104885 HAS SOUS 1195894 HAS SOUPS 1195894 WITH SCORE 1197998.885
AT ITER 4008 NEW BEST:: SOT 9113766 SOS 2104162 HAS SOPS 2104162 HAS SOUS 1195894 HAS SOUPS 1195894 WITH SCORE 1197998.162
AT ITER 4025 NEW BEST:: SOT 9113753 SOS 2104136 HAS SOPS 2104136 HAS SOUS 1195881 HAS SOUPS 1195881 WITH SCORE 1197985.136
AT ITER 4036 NEW BEST:: SOT 9113833 SOS 2104296 HAS SOPS 2104296 HAS SOUS 1195469 HAS SOUPS 1195469 WITH SCORE 1197573.296
AT ITER 4038 NEW BEST:: SOT 9113833 SOS 2104230 HAS SOPS 2104230 HAS SOUS 1195403 HAS SOUPS 1195403 WITH SCORE 1197507.23
AT ITER 4077 NEW BEST:: SOT 9113765 SOS 2103958 HAS SOPS 2103958 HAS SOUS 1195335 HAS SOUPS 1195335 WITH SCORE 1197438.958
AT ITER 4121 NEW BEST:: SOT 9114048 SOS 2103812 HAS SOPS 2103812 HAS SOUS 1195306 HAS SOUPS 1195306 WITH SCORE 1197409.812
AT ITER 4131 NEW BEST:: SOT 9111820 SOS 2098738 HAS SOPS 2098738 HAS SOUS 1191866 HAS SOUPS 1191866 WITH SCORE 1193964.738
AT ITER 4155 NEW BEST:: SOT 9111500 SOS 2096859 HAS SOPS 2096859 HAS SOUS 1191226 HAS SOUPS 1191226 WITH SCORE 1193322.859
AT ITER 4161 NEW BEST:: SOT 9111488 SOS 2096857 HAS SOPS 2096857 HAS SOUS 1191224 HAS SOUPS 1191224 WITH SCORE 1193320.857
AT ITER 4217 NEW BEST:: SOT 9111318 SOS 2096687 HAS SOPS 2096687 HAS SOUS 1191054 HAS SOUPS 1191054 WITH SCORE 1193150.687
AT ITER 4226 NEW BEST:: SOT 9111197 SOS 2096445 HAS SOPS 2096445 HAS SOUS 1190671 HAS SOUPS 1190671 WITH SCORE 1192767.445
AT ITER 4236 NEW BEST:: SOT 9111197 SOS 2097070 HAS SOPS 2097070 HAS SOUS 1190670 HAS SOUPS 1190670 WITH SCORE 1192767.07
AT ITER 4242 NEW BEST:: SOT 9111119 SOS 2096914 HAS SOPS 2096914 HAS SOUS 1190668 HAS SOUPS 1190668 WITH SCORE 1192764.914
AT ITER 4256 NEW BEST:: SOT 9110495 SOS 2096290 HAS SOPS 2096290 HAS SOUS 1190356 HAS SOUPS 1190356 WITH SCORE 1192452.29
AT ITER 4290 NEW BEST:: SOT 9110886 SOS 2097068 HAS SOPS 2097068 HAS SOUS 1190121 HAS SOUPS 1190121 WITH SCORE 1192218.068
AT ITER 4294 NEW BEST:: SOT 9110826 SOS 2096948 HAS SOPS 2096948 HAS SOUS 1190001 HAS SOUPS 1190001 WITH SCORE 1192097.948
AT ITER 4321 NEW BEST:: SOT 9110826 SOS 2096985 HAS SOPS 2096985 HAS SOUS 1189999 HAS SOUPS 1189999 WITH SCORE 1192095.985
AT ITER 4388 NEW BEST:: SOT 9110798 SOS 2096957 HAS SOPS 2096957 HAS SOUS 1189971 HAS SOUPS 1189971 WITH SCORE 1192067.957
AT ITER 4394 NEW BEST:: SOT 9110805 SOS 2096636 HAS SOPS 2096636 HAS SOUS 1189650 HAS SOUPS 1189650 WITH SCORE 1191746.636
AT ITER 4406 NEW BEST:: SOT 9109816 SOS 2095926 HAS SOPS 2095926 HAS SOUS 1188586 HAS SOUPS 1188586 WITH SCORE 1190681.926
AT ITER 4443 NEW BEST:: SOT 9109685 SOS 2095664 HAS SOPS 2095664 HAS SOUS 1188324 HAS SOUPS 1188324 WITH SCORE 1190419.664
AT ITER 4458 NEW BEST:: SOT 9109903 SOS 2095074 HAS SOPS 2095074 HAS SOUS 1188200 HAS SOUPS 1188200 WITH SCORE 1190295.074
AT ITER 4460 NEW BEST:: SOT 9109903 SOS 2095343 HAS SOPS 2095343 HAS SOUS 1188199 HAS SOUPS 1188199 WITH SCORE 1190294.343
AT ITER 4490 NEW BEST:: SOT 9109903 SOS 2095343 HAS SOPS 2095343 HAS SOUS 1187913 HAS SOUPS 1187913 WITH SCORE 1190008.343
AT ITER 4500 NEW BEST:: SOT 9109777 SOS 2099249 HAS SOPS 2099249 HAS SOUS 1187661 HAS SOUPS 1187661 WITH SCORE 1189760.249
AT ITER 4508 NEW BEST:: SOT 9109160 SOS 2098632 HAS SOPS 2098632 HAS SOUS 1187044 HAS SOUPS 1187044 WITH SCORE 1189142.632
AT ITER 4564 NEW BEST:: SOT 9109152 SOS 2098616 HAS SOPS 2098616 HAS SOUS 1187036 HAS SOUPS 1187036 WITH SCORE 1189134.616
AT ITER 4569 NEW BEST:: SOT 9108685 SOS 2096748 HAS SOPS 2096748 HAS SOUS 1186102 HAS SOUPS 1186102 WITH SCORE 1188198.748
AT ITER 4582 NEW BEST:: SOT 9108684 SOS 2096750 HAS SOPS 2096750 HAS SOUS 1186101 HAS SOUPS 1186101 WITH SCORE 1188197.75
AT ITER 4718 NEW BEST:: SOT 9108684 SOS 2096747 HAS SOPS 2096747 HAS SOUS 1186098 HAS SOUPS 1186098 WITH SCORE 1188194.747
AT ITER 4722 NEW BEST:: SOT 9108526 SOS 2096431 HAS SOPS 2096431 HAS SOUS 1185782 HAS SOUPS 1185782 WITH SCORE 1187878.431
AT ITER 4723 NEW BEST:: SOT 9108526 SOS 2096431 HAS SOPS 2096431 HAS SOUS 1185781 HAS SOUPS 1185781 WITH SCORE 1187877.431
AT ITER 4764 NEW BEST:: SOT 9108342 SOS 2097709 HAS SOPS 2097709 HAS SOUS 1185412 HAS SOUPS 1185412 WITH SCORE 1187509.709
AT ITER 4785 NEW BEST:: SOT 9107922 SOS 2098448 HAS SOPS 2098448 HAS SOUS 1184500 HAS SOUPS 1184500 WITH SCORE 1186598.448
AT ITER 4786 NEW BEST:: SOT 9107881 SOS 2098366 HAS SOPS 2098366 HAS SOUS 1184418 HAS SOUPS 1184418 WITH SCORE 1186516.366
AT ITER 4787 NEW BEST:: SOT 9107499 SOS 2096072 HAS SOPS 2096072 HAS SOUS 1183827 HAS SOUPS 1183827 WITH SCORE 1185923.072
AT ITER 4789 NEW BEST:: SOT 9107499 SOS 2097774 HAS SOPS 2097774 HAS SOUS 1183801 HAS SOUPS 1183801 WITH SCORE 1185898.774
AT ITER 4797 NEW BEST:: SOT 9106715 SOS 2097556 HAS SOPS 2097556 HAS SOUS 1183301 HAS SOUPS 1183301 WITH SCORE 1185398.556
AT ITER 4826 NEW BEST:: SOT 9106565 SOS 2097256 HAS SOPS 2097256 HAS SOUS 1183001 HAS SOUPS 1183001 WITH SCORE 1185098.256
AT ITER 4873 NEW BEST:: SOT 9106543 SOS 2097212 HAS SOPS 2097212 HAS SOUS 1182957 HAS SOUPS 1182957 WITH SCORE 1185054.212
AT ITER 4906 NEW BEST:: SOT 9106504 SOS 2097134 HAS SOPS 2097134 HAS SOUS 1182956 HAS SOUPS 1182956 WITH SCORE 1185053.134
AT ITER 4907 NEW BEST:: SOT 9106367 SOS 2096517 HAS SOPS 2096517 HAS SOUS 1182771 HAS SOUPS 1182771 WITH SCORE 1184867.517
AT ITER 4938 NEW BEST:: SOT 9106251 SOS 2096285 HAS SOPS 2096285 HAS SOUS 1182539 HAS SOUPS 1182539 WITH SCORE 1184635.285
AT ITER 4940 NEW BEST:: SOT 9106258 SOS 2096299 HAS SOPS 2096299 HAS SOUS 1181681 HAS SOUPS 1181681 WITH SCORE 1183777.299
AT ITER 4944 NEW BEST:: SOT 9106030 SOS 2095843 HAS SOPS 2095843 HAS SOUS 1181438 HAS SOUPS 1181438 WITH SCORE 1183533.843
AT ITER 4968 NEW BEST:: SOT 9106024 SOS 2095830 HAS SOPS 2095830 HAS SOUS 1181425 HAS SOUPS 1181425 WITH SCORE 1183520.83
AT ITER 5000 NEW BEST:: SOT 9106024 SOS 2095284 HAS SOPS 2095284 HAS SOUS 1181243 HAS SOUPS 1181243 WITH SCORE 1183338.284
AT ITER 5039 NEW BEST:: SOT 9105838 SOS 2095007 HAS SOPS 2095007 HAS SOUS 1180966 HAS SOUPS 1180966 WITH SCORE 1183061.007
AT ITER 5041 NEW BEST:: SOT 9106362 SOS 2092390 HAS SOPS 2092390 HAS SOUS 1180783 HAS SOUPS 1180783 WITH SCORE 1182875.39
AT ITER 5045 NEW BEST:: SOT 9106362 SOS 2092276 HAS SOPS 2092276 HAS SOUS 1180783 HAS SOUPS 1180783 WITH SCORE 1182875.276
AT ITER 5051 NEW BEST:: SOT 9106362 SOS 2092276 HAS SOPS 2092276 HAS SOUS 1180782 HAS SOUPS 1180782 WITH SCORE 1182874.276
AT ITER 5061 NEW BEST:: SOT 9105240 SOS 2091052 HAS SOPS 2091052 HAS SOUS 1180738 HAS SOUPS 1180738 WITH SCORE 1182829.052
AT ITER 5062 NEW BEST:: SOT 9105218 SOS 2091206 HAS SOPS 2091206 HAS SOUS 1180694 HAS SOUPS 1180694 WITH SCORE 1182785.206
AT ITER 5069 NEW BEST:: SOT 9104866 SOS 2090502 HAS SOPS 2090502 HAS SOUS 1179990 HAS SOUPS 1179990 WITH SCORE 1182080.502
AT ITER 5084 NEW BEST:: SOT 9104866 SOS 2089944 HAS SOPS 2089944 HAS SOUS 1179990 HAS SOUPS 1179990 WITH SCORE 1182079.944
AT ITER 5113 NEW BEST:: SOT 9104913 SOS 2090038 HAS SOPS 2090038 HAS SOUS 1179864 HAS SOUPS 1179864 WITH SCORE 1181954.038
AT ITER 5120 NEW BEST:: SOT 9104921 SOS 2091142 HAS SOPS 2091142 HAS SOUS 1179515 HAS SOUPS 1179515 WITH SCORE 1181606.142
AT ITER 5150 NEW BEST:: SOT 9104921 SOS 2091915 HAS SOPS 2091915 HAS SOUS 1179514 HAS SOUPS 1179514 WITH SCORE 1181605.915
AT ITER 5161 NEW BEST:: SOT 9104921 SOS 2091915 HAS SOPS 2091915 HAS SOUS 1179513 HAS SOUPS 1179513 WITH SCORE 1181604.915
AT ITER 5177 NEW BEST:: SOT 9104921 SOS 2091555 HAS SOPS 2091555 HAS SOUS 1179333 HAS SOUPS 1179333 WITH SCORE 1181424.555
AT ITER 5201 NEW BEST:: SOT 9104847 SOS 2091748 HAS SOPS 2091748 HAS SOUS 1179184 HAS SOUPS 1179184 WITH SCORE 1181275.748
AT ITER 5232 NEW BEST:: SOT 9104874 SOS 2090746 HAS SOPS 2090746 HAS SOUS 1178886 HAS SOUPS 1178886 WITH SCORE 1180976.746
AT ITER 5250 NEW BEST:: SOT 9104873 SOS 2090744 HAS SOPS 2090744 HAS SOUS 1178884 HAS SOUPS 1178884 WITH SCORE 1180974.744
AT ITER 5257 NEW BEST:: SOT 9104873 SOS 2089997 HAS SOPS 2089997 HAS SOUS 1178635 HAS SOUPS 1178635 WITH SCORE 1180724.997
AT ITER 5261 NEW BEST:: SOT 9104873 SOS 2090953 HAS SOPS 2090953 HAS SOUS 1178634 HAS SOUPS 1178634 WITH SCORE 1180724.953
AT ITER 5270 NEW BEST:: SOT 9104684 SOS 2088874 HAS SOPS 2088874 HAS SOUS 1178256 HAS SOUPS 1178256 WITH SCORE 1180344.874
AT ITER 5308 NEW BEST:: SOT 9104684 SOS 2088519 HAS SOPS 2088519 HAS SOUS 1177546 HAS SOUPS 1177546 WITH SCORE 1179634.519
AT ITER 5368 NEW BEST:: SOT 9104684 SOS 2088295 HAS SOPS 2088295 HAS SOUS 1177434 HAS SOUPS 1177434 WITH SCORE 1179522.295
AT ITER 5399 NEW BEST:: SOT 9104683 SOS 2088293 HAS SOPS 2088293 HAS SOUS 1177432 HAS SOUPS 1177432 WITH SCORE 1179520.293
AT ITER 5420 NEW BEST:: SOT 9104683 SOS 2088827 HAS SOPS 2088827 HAS SOUS 1177162 HAS SOUPS 1177162 WITH SCORE 1179250.827
AT ITER 5422 NEW BEST:: SOT 9104523 SOS 2087810 HAS SOPS 2087810 HAS SOUS 1176803 HAS SOUPS 1176803 WITH SCORE 1178890.81
AT ITER 5450 NEW BEST:: SOT 9104288 SOS 2087575 HAS SOPS 2087575 HAS SOUS 1176568 HAS SOUPS 1176568 WITH SCORE 1178655.575
AT ITER 5471 NEW BEST:: SOT 9104288 SOS 2087394 HAS SOPS 2087394 HAS SOUS 1176387 HAS SOUPS 1176387 WITH SCORE 1178474.394
AT ITER 5509 NEW BEST:: SOT 9104148 SOS 2087111 HAS SOPS 2087111 HAS SOUS 1175864 HAS SOUPS 1175864 WITH SCORE 1177951.111
AT ITER 5524 NEW BEST:: SOT 9103973 SOS 2087841 HAS SOPS 2087841 HAS SOUS 1175801 HAS SOUPS 1175801 WITH SCORE 1177888.841
AT ITER 5535 NEW BEST:: SOT 9103910 SOS 2087715 HAS SOPS 2087715 HAS SOUS 1175675 HAS SOUPS 1175675 WITH SCORE 1177762.715
AT ITER 5544 NEW BEST:: SOT 9103150 SOS 2086195 HAS SOPS 2086195 HAS SOUS 1174155 HAS SOUPS 1174155 WITH SCORE 1176241.195
AT ITER 5571 NEW BEST:: SOT 9103251 SOS 2086135 HAS SOPS 2086135 HAS SOUS 1174095 HAS SOUPS 1174095 WITH SCORE 1176181.135
AT ITER 5586 NEW BEST:: SOT 9103115 SOS 2085999 HAS SOPS 2085999 HAS SOUS 1173959 HAS SOUPS 1173959 WITH SCORE 1176044.999
AT ITER 5600 NEW BEST:: SOT 9103041 SOS 2085940 HAS SOPS 2085940 HAS SOUS 1173894 HAS SOUPS 1173894 WITH SCORE 1175979.94
AT ITER 5629 NEW BEST:: SOT 9102903 SOS 2085664 HAS SOPS 2085664 HAS SOUS 1173628 HAS SOUPS 1173628 WITH SCORE 1175713.664
AT ITER 5635 NEW BEST:: SOT 9102805 SOS 2085566 HAS SOPS 2085566 HAS SOUS 1173530 HAS SOUPS 1173530 WITH SCORE 1175615.566
AT ITER 5638 NEW BEST:: SOT 9102663 SOS 2085424 HAS SOPS 2085424 HAS SOUS 1173388 HAS SOUPS 1173388 WITH SCORE 1175473.424
AT ITER 5642 NEW BEST:: SOT 9102662 SOS 2085422 HAS SOPS 2085422 HAS SOUS 1173386 HAS SOUPS 1173386 WITH SCORE 1175471.422
AT ITER 5666 NEW BEST:: SOT 9102354 SOS 2085422 HAS SOPS 2085422 HAS SOUS 1173295 HAS SOUPS 1173295 WITH SCORE 1175380.422
AT ITER 5704 NEW BEST:: SOT 9101981 SOS 2085378 HAS SOPS 2085378 HAS SOUS 1172922 HAS SOUPS 1172922 WITH SCORE 1175007.378
AT ITER 5742 NEW BEST:: SOT 9101936 SOS 2085377 HAS SOPS 2085377 HAS SOUS 1172921 HAS SOUPS 1172921 WITH SCORE 1175006.377
AT ITER 5760 NEW BEST:: SOT 9101916 SOS 2085117 HAS SOPS 2085117 HAS SOUS 1172881 HAS SOUPS 1172881 WITH SCORE 1174966.117
AT ITER 5767 NEW BEST:: SOT 9101817 SOS 2084919 HAS SOPS 2084919 HAS SOUS 1172718 HAS SOUPS 1172718 WITH SCORE 1174802.919
AT ITER 5770 NEW BEST:: SOT 9101817 SOS 2084797 HAS SOPS 2084797 HAS SOUS 1172718 HAS SOUPS 1172718 WITH SCORE 1174802.797
AT ITER 5794 NEW BEST:: SOT 9101774 SOS 2084711 HAS SOPS 2084711 HAS SOUS 1172674 HAS SOUPS 1172674 WITH SCORE 1174758.711
AT ITER 5832 NEW BEST:: SOT 9101613 SOS 2086749 HAS SOPS 2086749 HAS SOUS 1172173 HAS SOUPS 1172173 WITH SCORE 1174259.749
AT ITER 5858 NEW BEST:: SOT 9101669 SOS 2086282 HAS SOPS 2086282 HAS SOUS 1172133 HAS SOUPS 1172133 WITH SCORE 1174219.282
AT ITER 5866 NEW BEST:: SOT 9101625 SOS 2086624 HAS SOPS 2086624 HAS SOUS 1172132 HAS SOUPS 1172132 WITH SCORE 1174218.624
AT ITER 5892 NEW BEST:: SOT 9101625 SOS 2086592 HAS SOPS 2086592 HAS SOUS 1172132 HAS SOUPS 1172132 WITH SCORE 1174218.592
AT ITER 5901 NEW BEST:: SOT 9101625 SOS 2086322 HAS SOPS 2086322 HAS SOUS 1172132 HAS SOUPS 1172132 WITH SCORE 1174218.322
AT ITER 5934 NEW BEST:: SOT 9101530 SOS 2086079 HAS SOPS 2086079 HAS SOUS 1172051 HAS SOUPS 1172051 WITH SCORE 1174137.079
AT ITER 5949 NEW BEST:: SOT 9101529 SOS 2086077 HAS SOPS 2086077 HAS SOUS 1172049 HAS SOUPS 1172049 WITH SCORE 1174135.077
AT ITER 5968 NEW BEST:: SOT 9101254 SOS 2085919 HAS SOPS 2085919 HAS SOUS 1171730 HAS SOUPS 1171730 WITH SCORE 1173815.919
AT ITER 5979 NEW BEST:: SOT 9101037 SOS 2085485 HAS SOPS 2085485 HAS SOUS 1171296 HAS SOUPS 1171296 WITH SCORE 1173381.485
AT ITER 5982 NEW BEST:: SOT 9100906 SOS 2085859 HAS SOPS 2085859 HAS SOUS 1171034 HAS SOUPS 1171034 WITH SCORE 1173119.859
AT ITER 6016 NEW BEST:: SOT 9100904 SOS 2086632 HAS SOPS 2086632 HAS SOUS 1171029 HAS SOUPS 1171029 WITH SCORE 1173115.632
AT ITER 6041 NEW BEST:: SOT 9100904 SOS 2086739 HAS SOPS 2086739 HAS SOUS 1171028 HAS SOUPS 1171028 WITH SCORE 1173114.739
AT ITER 6048 NEW BEST:: SOT 9100883 SOS 2086725 HAS SOPS 2086725 HAS SOUS 1171014 HAS SOUPS 1171014 WITH SCORE 1173100.725
AT ITER 6074 NEW BEST:: SOT 9100637 SOS 2086479 HAS SOPS 2086479 HAS SOUS 1170768 HAS SOUPS 1170768 WITH SCORE 1172854.479
AT ITER 6083 NEW BEST:: SOT 9098837 SOS 2084454 HAS SOPS 2084454 HAS SOUS 1169248 HAS SOUPS 1169248 WITH SCORE 1171332.454
AT ITER 6095 NEW BEST:: SOT 9098406 SOS 2082808 HAS SOPS 2082808 HAS SOUS 1168210 HAS SOUPS 1168210 WITH SCORE 1170292.808
AT ITER 6107 NEW BEST:: SOT 9098264 SOS 2082524 HAS SOPS 2082524 HAS SOUS 1167869 HAS SOUPS 1167869 WITH SCORE 1169951.524
AT ITER 6108 NEW BEST:: SOT 9098264 SOS 2082604 HAS SOPS 2082604 HAS SOUS 1167868 HAS SOUPS 1167868 WITH SCORE 1169950.604
AT ITER 6133 NEW BEST:: SOT 9097998 SOS 2082753 HAS SOPS 2082753 HAS SOUS 1167602 HAS SOUPS 1167602 WITH SCORE 1169684.753
AT ITER 6137 NEW BEST:: SOT 9097995 SOS 2082747 HAS SOPS 2082747 HAS SOUS 1167599 HAS SOUPS 1167599 WITH SCORE 1169681.747
AT ITER 6147 NEW BEST:: SOT 9097995 SOS 2083460 HAS SOPS 2083460 HAS SOUS 1167573 HAS SOUPS 1167573 WITH SCORE 1169656.46
AT ITER 6188 NEW BEST:: SOT 9097970 SOS 2083434 HAS SOPS 2083434 HAS SOUS 1167547 HAS SOUPS 1167547 WITH SCORE 1169630.434
AT ITER 6235 NEW BEST:: SOT 9095232 SOS 2082740 HAS SOPS 2082740 HAS SOUS 1167141 HAS SOUPS 1167141 WITH SCORE 1169223.74
AT ITER 6271 NEW BEST:: SOT 9094744 SOS 2082682 HAS SOPS 2082682 HAS SOUS 1167083 HAS SOUPS 1167083 WITH SCORE 1169165.682
AT ITER 6273 NEW BEST:: SOT 9094163 SOS 2082101 HAS SOPS 2082101 HAS SOUS 1166502 HAS SOUPS 1166502 WITH SCORE 1168584.101
AT ITER 6285 NEW BEST:: SOT 9094122 SOS 2082071 HAS SOPS 2082071 HAS SOUS 1166472 HAS SOUPS 1166472 WITH SCORE 1168554.071
AT ITER 6314 NEW BEST:: SOT 9093933 SOS 2081496 HAS SOPS 2081496 HAS SOUS 1166086 HAS SOUPS 1166086 WITH SCORE 1168167.496
AT ITER 6332 NEW BEST:: SOT 9093714 SOS 2079087 HAS SOPS 2079087 HAS SOUS 1165648 HAS SOUPS 1165648 WITH SCORE 1167727.087
AT ITER 6338 NEW BEST:: SOT 9093714 SOS 2079087 HAS SOPS 2079087 HAS SOUS 1165237 HAS SOUPS 1165237 WITH SCORE 1167316.087
AT ITER 6340 NEW BEST:: SOT 9093799 SOS 2078494 HAS SOPS 2078494 HAS SOUS 1165112 HAS SOUPS 1165112 WITH SCORE 1167190.494
AT ITER 6362 NEW BEST:: SOT 9093685 SOS 2078152 HAS SOPS 2078152 HAS SOUS 1164884 HAS SOUPS 1164884 WITH SCORE 1166962.152
AT ITER 6364 NEW BEST:: SOT 9093685 SOS 2078152 HAS SOPS 2078152 HAS SOUS 1164727 HAS SOUPS 1164727 WITH SCORE 1166805.152
AT ITER 6381 NEW BEST:: SOT 9093647 SOS 2077928 HAS SOPS 2077928 HAS SOUS 1164614 HAS SOUPS 1164614 WITH SCORE 1166691.928
AT ITER 6390 NEW BEST:: SOT 9093647 SOS 2078240 HAS SOPS 2078240 HAS SOUS 1164613 HAS SOUPS 1164613 WITH SCORE 1166691.24
AT ITER 6406 NEW BEST:: SOT 9093647 SOS 2079268 HAS SOPS 2079268 HAS SOUS 1164393 HAS SOUPS 1164393 WITH SCORE 1166472.268
AT ITER 6410 NEW BEST:: SOT 9093456 SOS 2074115 HAS SOPS 2074115 HAS SOUS 1162667 HAS SOUPS 1162667 WITH SCORE 1164741.115
AT ITER 6467 NEW BEST:: SOT 9093190 SOS 2074263 HAS SOPS 2074263 HAS SOUS 1162612 HAS SOUPS 1162612 WITH SCORE 1164686.263
AT ITER 6472 NEW BEST:: SOT 9092854 SOS 2073980 HAS SOPS 2073980 HAS SOUS 1162271 HAS SOUPS 1162271 WITH SCORE 1164344.98
AT ITER 6477 NEW BEST:: SOT 9092741 SOS 2077618 HAS SOPS 2077618 HAS SOUS 1162245 HAS SOUPS 1162245 WITH SCORE 1164322.618
AT ITER 6498 NEW BEST:: SOT 9092601 SOS 2077338 HAS SOPS 2077338 HAS SOUS 1161965 HAS SOUPS 1161965 WITH SCORE 1164042.338
AT ITER 6506 NEW BEST:: SOT 9092176 SOS 2076488 HAS SOPS 2076488 HAS SOUS 1161540 HAS SOUPS 1161540 WITH SCORE 1163616.488
AT ITER 6508 NEW BEST:: SOT 9092110 SOS 2076356 HAS SOPS 2076356 HAS SOUS 1161525 HAS SOUPS 1161525 WITH SCORE 1163601.356
AT ITER 6512 NEW BEST:: SOT 9091322 SOS 2076361 HAS SOPS 2076361 HAS SOUS 1161264 HAS SOUPS 1161264 WITH SCORE 1163340.361
AT ITER 6515 NEW BEST:: SOT 9090963 SOS 2075643 HAS SOPS 2075643 HAS SOUS 1160862 HAS SOUPS 1160862 WITH SCORE 1162937.643
AT ITER 6538 NEW BEST:: SOT 9090269 SOS 2075286 HAS SOPS 2075286 HAS SOUS 1160514 HAS SOUPS 1160514 WITH SCORE 1162589.286
AT ITER 6545 NEW BEST:: SOT 9089521 SOS 2074337 HAS SOPS 2074337 HAS SOUS 1159766 HAS SOUPS 1159766 WITH SCORE 1161840.337
AT ITER 6566 NEW BEST:: SOT 9088110 SOS 2081679 HAS SOPS 2081679 HAS SOUS 1159346 HAS SOUPS 1159346 WITH SCORE 1161427.679
AT ITER 6569 NEW BEST:: SOT 9088110 SOS 2080935 HAS SOPS 2080935 HAS SOUS 1159098 HAS SOUPS 1159098 WITH SCORE 1161178.935
AT ITER 6574 NEW BEST:: SOT 9087770 SOS 2080255 HAS SOPS 2080255 HAS SOUS 1158957 HAS SOUPS 1158957 WITH SCORE 1161037.255
AT ITER 6584 NEW BEST:: SOT 9087800 SOS 2080315 HAS SOPS 2080315 HAS SOUS 1158693 HAS SOUPS 1158693 WITH SCORE 1160773.315
AT ITER 6594 NEW BEST:: SOT 9089324 SOS 2080003 HAS SOPS 2080003 HAS SOUS 1158393 HAS SOUPS 1158393 WITH SCORE 1160473.003
AT ITER 6606 NEW BEST:: SOT 9089318 SOS 2079991 HAS SOPS 2079991 HAS SOUS 1158381 HAS SOUPS 1158381 WITH SCORE 1160460.991
AT ITER 6638 NEW BEST:: SOT 9089318 SOS 2079983 HAS SOPS 2079983 HAS SOUS 1158381 HAS SOUPS 1158381 WITH SCORE 1160460.983
AT ITER 6650 NEW BEST:: SOT 9089318 SOS 2079873 HAS SOPS 2079873 HAS SOUS 1158326 HAS SOUPS 1158326 WITH SCORE 1160405.873
AT ITER 6669 NEW BEST:: SOT 9089318 SOS 2079863 HAS SOPS 2079863 HAS SOUS 1158325 HAS SOUPS 1158325 WITH SCORE 1160404.863
AT ITER 6681 NEW BEST:: SOT 9089318 SOS 2079437 HAS SOPS 2079437 HAS SOUS 1158183 HAS SOUPS 1158183 WITH SCORE 1160262.437
AT ITER 6727 NEW BEST:: SOT 9089318 SOS 2079194 HAS SOPS 2079194 HAS SOUS 1158044 HAS SOUPS 1158044 WITH SCORE 1160123.194
AT ITER 6728 NEW BEST:: SOT 9088850 SOS 2079102 HAS SOPS 2079102 HAS SOUS 1157787 HAS SOUPS 1157787 WITH SCORE 1159866.102
AT ITER 6741 NEW BEST:: SOT 9088930 SOS 2079262 HAS SOPS 2079262 HAS SOUS 1157401 HAS SOUPS 1157401 WITH SCORE 1159480.262
AT ITER 6763 NEW BEST:: SOT 9088930 SOS 2079038 HAS SOPS 2079038 HAS SOUS 1157196 HAS SOUPS 1157196 WITH SCORE 1159275.038
AT ITER 6786 NEW BEST:: SOT 9088401 SOS 2077980 HAS SOPS 2077980 HAS SOUS 1156138 HAS SOUPS 1156138 WITH SCORE 1158215.98
AT ITER 6795 NEW BEST:: SOT 9088401 SOS 2077080 HAS SOPS 2077080 HAS SOUS 1156136 HAS SOUPS 1156136 WITH SCORE 1158213.08
AT ITER 6802 NEW BEST:: SOT 9088525 SOS 2077043 HAS SOPS 2077043 HAS SOUS 1156099 HAS SOUPS 1156099 WITH SCORE 1158176.043
AT ITER 6816 NEW BEST:: SOT 9088525 SOS 2076891 HAS SOPS 2076891 HAS SOUS 1155946 HAS SOUPS 1155946 WITH SCORE 1158022.891
AT ITER 6828 NEW BEST:: SOT 9088521 SOS 2076883 HAS SOPS 2076883 HAS SOUS 1155938 HAS SOUPS 1155938 WITH SCORE 1158014.883
AT ITER 6838 NEW BEST:: SOT 9088351 SOS 2072803 HAS SOPS 2072803 HAS SOUS 1155598 HAS SOUPS 1155598 WITH SCORE 1157670.803
AT ITER 6846 NEW BEST:: SOT 9088332 SOS 2072765 HAS SOPS 2072765 HAS SOUS 1155560 HAS SOUPS 1155560 WITH SCORE 1157632.765
AT ITER 6862 NEW BEST:: SOT 9087493 SOS 2072416 HAS SOPS 2072416 HAS SOUS 1155164 HAS SOUPS 1155164 WITH SCORE 1157236.416
AT ITER 6867 NEW BEST:: SOT 9087390 SOS 2072210 HAS SOPS 2072210 HAS SOUS 1154958 HAS SOUPS 1154958 WITH SCORE 1157030.21
AT ITER 6904 NEW BEST:: SOT 9087217 SOS 2072600 HAS SOPS 2072600 HAS SOUS 1154839 HAS SOUPS 1154839 WITH SCORE 1156911.6
AT ITER 6920 NEW BEST:: SOT 9087232 SOS 2072243 HAS SOPS 2072243 HAS SOUS 1154740 HAS SOUPS 1154740 WITH SCORE 1156812.243
AT ITER 6924 NEW BEST:: SOT 9087118 SOS 2071206 HAS SOPS 2071206 HAS SOUS 1154212 HAS SOUPS 1154212 WITH SCORE 1156283.206
AT ITER 6938 NEW BEST:: SOT 9087118 SOS 2070747 HAS SOPS 2070747 HAS SOUS 1154059 HAS SOUPS 1154059 WITH SCORE 1156129.747
AT ITER 6998 NEW BEST:: SOT 9087288 SOS 2070127 HAS SOPS 2070127 HAS SOUS 1154052 HAS SOUPS 1154052 WITH SCORE 1156122.127
AT ITER 7033 NEW BEST:: SOT 9087288 SOS 2070761 HAS SOPS 2070761 HAS SOUS 1154050 HAS SOUPS 1154050 WITH SCORE 1156120.761
AT ITER 7044 NEW BEST:: SOT 9087288 SOS 2070761 HAS SOPS 2070761 HAS SOUS 1153807 HAS SOUPS 1153807 WITH SCORE 1155877.761
AT ITER 7053 NEW BEST:: SOT 9086743 SOS 2070189 HAS SOPS 2070189 HAS SOUS 1153583 HAS SOUPS 1153583 WITH SCORE 1155653.189
AT ITER 7059 NEW BEST:: SOT 9086563 SOS 2069829 HAS SOPS 2069829 HAS SOUS 1153223 HAS SOUPS 1153223 WITH SCORE 1155292.829
AT ITER 7072 NEW BEST:: SOT 9085972 SOS 2069228 HAS SOPS 2069228 HAS SOUS 1152631 HAS SOUPS 1152631 WITH SCORE 1154700.228
AT ITER 7073 NEW BEST:: SOT 9085884 SOS 2069204 HAS SOPS 2069204 HAS SOUS 1152618 HAS SOUPS 1152618 WITH SCORE 1154687.204
AT ITER 7074 NEW BEST:: SOT 9086122 SOS 2069333 HAS SOPS 2069333 HAS SOUS 1152509 HAS SOUPS 1152509 WITH SCORE 1154578.333
AT ITER 7078 NEW BEST:: SOT 9085707 SOS 2068503 HAS SOPS 2068503 HAS SOUS 1151710 HAS SOUPS 1151710 WITH SCORE 1153778.503
AT ITER 7145 NEW BEST:: SOT 9085355 SOS 2069671 HAS SOPS 2069671 HAS SOUS 1151228 HAS SOUPS 1151228 WITH SCORE 1153297.671
AT ITER 7158 NEW BEST:: SOT 9085183 SOS 2069499 HAS SOPS 2069499 HAS SOUS 1151056 HAS SOUPS 1151056 WITH SCORE 1153125.499
AT ITER 7195 NEW BEST:: SOT 9084985 SOS 2069577 HAS SOPS 2069577 HAS SOUS 1150978 HAS SOUPS 1150978 WITH SCORE 1153047.577
AT ITER 7241 NEW BEST:: SOT 9084985 SOS 2069577 HAS SOPS 2069577 HAS SOUS 1150605 HAS SOUPS 1150605 WITH SCORE 1152674.577
AT ITER 7258 NEW BEST:: SOT 9084977 SOS 2069561 HAS SOPS 2069561 HAS SOUS 1150589 HAS SOUPS 1150589 WITH SCORE 1152658.561
AT ITER 7294 NEW BEST:: SOT 9084639 SOS 2068885 HAS SOPS 2068885 HAS SOUS 1149953 HAS SOUPS 1149953 WITH SCORE 1152021.885
AT ITER 7296 NEW BEST:: SOT 9084530 SOS 2068940 HAS SOPS 2068940 HAS SOUS 1149844 HAS SOUPS 1149844 WITH SCORE 1151912.94
AT ITER 7313 NEW BEST:: SOT 9084489 SOS 2068858 HAS SOPS 2068858 HAS SOUS 1149762 HAS SOUPS 1149762 WITH SCORE 1151830.858
AT ITER 7318 NEW BEST:: SOT 9084489 SOS 2070028 HAS SOPS 2070028 HAS SOUS 1149717 HAS SOUPS 1149717 WITH SCORE 1151787.028
AT ITER 7343 NEW BEST:: SOT 9084469 SOS 2069988 HAS SOPS 2069988 HAS SOUS 1149677 HAS SOUPS 1149677 WITH SCORE 1151746.988
AT ITER 7382 NEW BEST:: SOT 9083691 SOS 2067442 HAS SOPS 2067442 HAS SOUS 1148457 HAS SOUPS 1148457 WITH SCORE 1150524.442
AT ITER 7390 NEW BEST:: SOT 9083631 SOS 2067142 HAS SOPS 2067142 HAS SOUS 1148277 HAS SOUPS 1148277 WITH SCORE 1150344.142
AT ITER 7407 NEW BEST:: SOT 9083562 SOS 2067142 HAS SOPS 2067142 HAS SOUS 1148218 HAS SOUPS 1148218 WITH SCORE 1150285.142
AT ITER 7421 NEW BEST:: SOT 9083549 SOS 2066769 HAS SOPS 2066769 HAS SOUS 1148197 HAS SOUPS 1148197 WITH SCORE 1150263.769
AT ITER 7424 NEW BEST:: SOT 9082795 SOS 2065829 HAS SOPS 2065829 HAS SOUS 1147257 HAS SOUPS 1147257 WITH SCORE 1149322.829
AT ITER 7435 NEW BEST:: SOT 9082751 SOS 2065741 HAS SOPS 2065741 HAS SOUS 1147208 HAS SOUPS 1147208 WITH SCORE 1149273.741
AT ITER 7459 NEW BEST:: SOT 9082589 SOS 2065576 HAS SOPS 2065576 HAS SOUS 1147043 HAS SOUPS 1147043 WITH SCORE 1149108.576
AT ITER 7517 NEW BEST:: SOT 9082518 SOS 2064725 HAS SOPS 2064725 HAS SOUS 1146430 HAS SOUPS 1146430 WITH SCORE 1148494.725
AT ITER 7529 NEW BEST:: SOT 9082518 SOS 2064002 HAS SOPS 2064002 HAS SOUS 1146211 HAS SOUPS 1146211 WITH SCORE 1148275.002
AT ITER 7534 NEW BEST:: SOT 9082700 SOS 2064544 HAS SOPS 2064544 HAS SOUS 1146210 HAS SOUPS 1146210 WITH SCORE 1148274.544
AT ITER 7551 NEW BEST:: SOT 9082689 SOS 2064522 HAS SOPS 2064522 HAS SOUS 1146188 HAS SOUPS 1146188 WITH SCORE 1148252.522
AT ITER 7576 NEW BEST:: SOT 9082625 SOS 2064394 HAS SOPS 2064394 HAS SOUS 1145998 HAS SOUPS 1145998 WITH SCORE 1148062.394
AT ITER 7586 NEW BEST:: SOT 9081785 SOS 2063554 HAS SOPS 2063554 HAS SOUS 1145158 HAS SOUPS 1145158 WITH SCORE 1147221.554
AT ITER 7607 NEW BEST:: SOT 9081648 SOS 2063993 HAS SOPS 2063993 HAS SOUS 1144969 HAS SOUPS 1144969 WITH SCORE 1147032.993
AT ITER 7615 NEW BEST:: SOT 9081648 SOS 2063992 HAS SOPS 2063992 HAS SOUS 1144934 HAS SOUPS 1144934 WITH SCORE 1146997.992
AT ITER 7655 NEW BEST:: SOT 9081648 SOS 2063583 HAS SOPS 2063583 HAS SOUS 1144933 HAS SOUPS 1144933 WITH SCORE 1146996.583
AT ITER 7656 NEW BEST:: SOT 9081561 SOS 2064849 HAS SOPS 2064849 HAS SOUS 1144919 HAS SOUPS 1144919 WITH SCORE 1146983.849
AT ITER 7693 NEW BEST:: SOT 9081449 SOS 2064811 HAS SOPS 2064811 HAS SOUS 1144881 HAS SOUPS 1144881 WITH SCORE 1146945.811
AT ITER 7711 NEW BEST:: SOT 9081427 SOS 2064767 HAS SOPS 2064767 HAS SOUS 1144837 HAS SOUPS 1144837 WITH SCORE 1146901.767
AT ITER 7738 NEW BEST:: SOT 9081427 SOS 2064712 HAS SOPS 2064712 HAS SOUS 1144782 HAS SOUPS 1144782 WITH SCORE 1146846.712
AT ITER 7741 NEW BEST:: SOT 9081557 SOS 2064516 HAS SOPS 2064516 HAS SOUS 1144586 HAS SOUPS 1144586 WITH SCORE 1146650.516
AT ITER 7749 NEW BEST:: SOT 9081473 SOS 2064456 HAS SOPS 2064456 HAS SOUS 1144501 HAS SOUPS 1144501 WITH SCORE 1146565.456
AT ITER 7756 NEW BEST:: SOT 9080381 SOS 2065268 HAS SOPS 2065268 HAS SOUS 1143675 HAS SOUPS 1143675 WITH SCORE 1145740.268
AT ITER 7758 NEW BEST:: SOT 9080380 SOS 2065266 HAS SOPS 2065266 HAS SOUS 1143673 HAS SOUPS 1143673 WITH SCORE 1145738.266
AT ITER 7896 NEW BEST:: SOT 9079975 SOS 2063187 HAS SOPS 2063187 HAS SOUS 1142863 HAS SOUPS 1142863 WITH SCORE 1144926.187
AT ITER 7898 NEW BEST:: SOT 9080050 SOS 2063337 HAS SOPS 2063337 HAS SOUS 1142837 HAS SOUPS 1142837 WITH SCORE 1144900.337
AT ITER 7906 NEW BEST:: SOT 9077670 SOS 2061476 HAS SOPS 2061476 HAS SOUS 1141479 HAS SOUPS 1141479 WITH SCORE 1143540.476
AT ITER 7922 NEW BEST:: SOT 9077670 SOS 2061012 HAS SOPS 2061012 HAS SOUS 1141247 HAS SOUPS 1141247 WITH SCORE 1143308.012
AT ITER 7947 NEW BEST:: SOT 9077099 SOS 2063762 HAS SOPS 2063762 HAS SOUS 1141026 HAS SOUPS 1141026 WITH SCORE 1143089.762
AT ITER 7954 NEW BEST:: SOT 9077032 SOS 2063695 HAS SOPS 2063695 HAS SOUS 1140959 HAS SOUPS 1140959 WITH SCORE 1143022.695
AT ITER 7965 NEW BEST:: SOT 9077080 SOS 2062535 HAS SOPS 2062535 HAS SOUS 1140650 HAS SOUPS 1140650 WITH SCORE 1142712.535
AT ITER 7996 NEW BEST:: SOT 9076882 SOS 2061851 HAS SOPS 2061851 HAS SOUS 1140627 HAS SOUPS 1140627 WITH SCORE 1142688.851
AT ITER 8011 NEW BEST:: SOT 9076363 SOS 2061332 HAS SOPS 2061332 HAS SOUS 1140627 HAS SOUPS 1140627 WITH SCORE 1142688.332
AT ITER 8013 NEW BEST:: SOT 9076363 SOS 2062271 HAS SOPS 2062271 HAS SOUS 1140626 HAS SOUPS 1140626 WITH SCORE 1142688.271
AT ITER 8017 NEW BEST:: SOT 9076363 SOS 2062271 HAS SOPS 2062271 HAS SOUS 1140624 HAS SOUPS 1140624 WITH SCORE 1142686.271
AT ITER 8018 NEW BEST:: SOT 9076363 SOS 2062161 HAS SOPS 2062161 HAS SOUS 1140569 HAS SOUPS 1140569 WITH SCORE 1142631.161
AT ITER 8030 NEW BEST:: SOT 9076263 SOS 2061961 HAS SOPS 2061961 HAS SOUS 1140469 HAS SOUPS 1140469 WITH SCORE 1142530.961
AT ITER 8042 NEW BEST:: SOT 9076263 SOS 2061073 HAS SOPS 2061073 HAS SOUS 1140469 HAS SOUPS 1140469 WITH SCORE 1142530.073
AT ITER 8047 NEW BEST:: SOT 9076073 SOS 2060693 HAS SOPS 2060693 HAS SOUS 1140089 HAS SOUPS 1140089 WITH SCORE 1142149.693
AT ITER 8060 NEW BEST:: SOT 9075995 SOS 2060771 HAS SOPS 2060771 HAS SOUS 1139933 HAS SOUPS 1139933 WITH SCORE 1141993.771
AT ITER 8074 NEW BEST:: SOT 9076162 SOS 2060937 HAS SOPS 2060937 HAS SOUS 1139932 HAS SOUPS 1139932 WITH SCORE 1141992.937
AT ITER 8082 NEW BEST:: SOT 9076185 SOS 2060983 HAS SOPS 2060983 HAS SOUS 1139903 HAS SOUPS 1139903 WITH SCORE 1141963.983
AT ITER 8092 NEW BEST:: SOT 9076006 SOS 2062462 HAS SOPS 2062462 HAS SOUS 1139879 HAS SOUPS 1139879 WITH SCORE 1141941.462
AT ITER 8098 NEW BEST:: SOT 9076006 SOS 2062467 HAS SOPS 2062467 HAS SOUS 1139878 HAS SOUPS 1139878 WITH SCORE 1141940.467
AT ITER 8109 NEW BEST:: SOT 9075291 SOS 2061828 HAS SOPS 2061828 HAS SOUS 1139254 HAS SOUPS 1139254 WITH SCORE 1141315.828
AT ITER 8112 NEW BEST:: SOT 9075277 SOS 2061568 HAS SOPS 2061568 HAS SOUS 1139008 HAS SOUPS 1139008 WITH SCORE 1141069.568
AT ITER 8124 NEW BEST:: SOT 9075233 SOS 2062156 HAS SOPS 2062156 HAS SOUS 1138920 HAS SOUPS 1138920 WITH SCORE 1140982.156
AT ITER 8138 NEW BEST:: SOT 9075370 SOS 2061852 HAS SOPS 2061852 HAS SOUS 1138806 HAS SOUPS 1138806 WITH SCORE 1140867.852
AT ITER 8139 NEW BEST:: SOT 9075143 SOS 2058601 HAS SOPS 2058601 HAS SOUS 1138001 HAS SOUPS 1138001 WITH SCORE 1140059.601
AT ITER 8159 NEW BEST:: SOT 9075067 SOS 2058297 HAS SOPS 2058297 HAS SOUS 1137849 HAS SOUPS 1137849 WITH SCORE 1139907.297
AT ITER 8225 NEW BEST:: SOT 9075067 SOS 2058297 HAS SOPS 2058297 HAS SOUS 1137846 HAS SOUPS 1137846 WITH SCORE 1139904.297
AT ITER 8232 NEW BEST:: SOT 9074747 SOS 2056327 HAS SOPS 2056327 HAS SOUS 1137405 HAS SOUPS 1137405 WITH SCORE 1139461.327
AT ITER 8247 NEW BEST:: SOT 9074089 SOS 2056922 HAS SOPS 2056922 HAS SOUS 1137384 HAS SOUPS 1137384 WITH SCORE 1139440.922
AT ITER 8251 NEW BEST:: SOT 9074089 SOS 2056867 HAS SOPS 2056867 HAS SOUS 1137329 HAS SOUPS 1137329 WITH SCORE 1139385.867
AT ITER 8277 NEW BEST:: SOT 9073930 SOS 2056549 HAS SOPS 2056549 HAS SOUS 1136710 HAS SOUPS 1136710 WITH SCORE 1138766.549
AT ITER 8278 NEW BEST:: SOT 9073799 SOS 2056156 HAS SOPS 2056156 HAS SOUS 1136579 HAS SOUPS 1136579 WITH SCORE 1138635.156
AT ITER 8292 NEW BEST:: SOT 9073791 SOS 2056076 HAS SOPS 2056076 HAS SOUS 1136571 HAS SOUPS 1136571 WITH SCORE 1138627.076
AT ITER 8297 NEW BEST:: SOT 9072912 SOS 2057025 HAS SOPS 2057025 HAS SOUS 1136300 HAS SOUPS 1136300 WITH SCORE 1138357.025
AT ITER 8301 NEW BEST:: SOT 9073064 SOS 2056848 HAS SOPS 2056848 HAS SOUS 1136136 HAS SOUPS 1136136 WITH SCORE 1138192.848
AT ITER 8340 NEW BEST:: SOT 9072977 SOS 2057447 HAS SOPS 2057447 HAS SOUS 1135961 HAS SOUPS 1135961 WITH SCORE 1138018.447
AT ITER 8375 NEW BEST:: SOT 9072871 SOS 2057235 HAS SOPS 2057235 HAS SOUS 1135749 HAS SOUPS 1135749 WITH SCORE 1137806.235
AT ITER 8378 NEW BEST:: SOT 9072401 SOS 2050265 HAS SOPS 2050265 HAS SOUS 1134809 HAS SOUPS 1134809 WITH SCORE 1136859.265
AT ITER 8385 NEW BEST:: SOT 9072373 SOS 2050209 HAS SOPS 2050209 HAS SOUS 1134781 HAS SOUPS 1134781 WITH SCORE 1136831.209
AT ITER 8405 NEW BEST:: SOT 9072373 SOS 2050209 HAS SOPS 2050209 HAS SOUS 1134777 HAS SOUPS 1134777 WITH SCORE 1136827.209
AT ITER 8407 NEW BEST:: SOT 9072235 SOS 2049888 HAS SOPS 2049888 HAS SOUS 1134692 HAS SOUPS 1134692 WITH SCORE 1136741.888
AT ITER 8411 NEW BEST:: SOT 9072235 SOS 2049675 HAS SOPS 2049675 HAS SOUS 1134692 HAS SOUPS 1134692 WITH SCORE 1136741.675
AT ITER 8412 NEW BEST:: SOT 9072091 SOS 2049527 HAS SOPS 2049527 HAS SOUS 1134420 HAS SOUPS 1134420 WITH SCORE 1136469.527
AT ITER 8423 NEW BEST:: SOT 9072091 SOS 2050390 HAS SOPS 2050390 HAS SOUS 1134328 HAS SOUPS 1134328 WITH SCORE 1136378.39
AT ITER 8432 NEW BEST:: SOT 9072091 SOS 2050154 HAS SOPS 2050154 HAS SOUS 1134328 HAS SOUPS 1134328 WITH SCORE 1136378.154
AT ITER 8436 NEW BEST:: SOT 9071914 SOS 2050133 HAS SOPS 2050133 HAS SOUS 1134262 HAS SOUPS 1134262 WITH SCORE 1136312.133
AT ITER 8458 NEW BEST:: SOT 9071881 SOS 2050067 HAS SOPS 2050067 HAS SOUS 1134196 HAS SOUPS 1134196 WITH SCORE 1136246.067
AT ITER 8507 NEW BEST:: SOT 9072028 SOS 2048909 HAS SOPS 2048909 HAS SOUS 1133932 HAS SOUPS 1133932 WITH SCORE 1135980.909
AT ITER 8530 NEW BEST:: SOT 9072028 SOS 2048776 HAS SOPS 2048776 HAS SOUS 1133932 HAS SOUPS 1133932 WITH SCORE 1135980.776
AT ITER 8555 NEW BEST:: SOT 9072030 SOS 2048634 HAS SOPS 2048634 HAS SOUS 1133790 HAS SOUPS 1133790 WITH SCORE 1135838.634
AT ITER 8567 NEW BEST:: SOT 9072030 SOS 2049380 HAS SOPS 2049380 HAS SOUS 1133789 HAS SOUPS 1133789 WITH SCORE 1135838.38
AT ITER 8603 NEW BEST:: SOT 9072018 SOS 2049356 HAS SOPS 2049356 HAS SOUS 1133765 HAS SOUPS 1133765 WITH SCORE 1135814.356
AT ITER 8608 NEW BEST:: SOT 9072344 SOS 2050008 HAS SOPS 2050008 HAS SOUS 1133439 HAS SOUPS 1133439 WITH SCORE 1135489.008
AT ITER 8620 NEW BEST:: SOT 9072277 SOS 2049931 HAS SOPS 2049931 HAS SOUS 1133438 HAS SOUPS 1133438 WITH SCORE 1135487.931
AT ITER 8627 NEW BEST:: SOT 9072143 SOS 2049663 HAS SOPS 2049663 HAS SOUS 1133130 HAS SOUPS 1133130 WITH SCORE 1135179.663
AT ITER 8646 NEW BEST:: SOT 9072058 SOS 2049465 HAS SOPS 2049465 HAS SOUS 1133031 HAS SOUPS 1133031 WITH SCORE 1135080.465
AT ITER 8650 NEW BEST:: SOT 9071929 SOS 2049207 HAS SOPS 2049207 HAS SOUS 1132773 HAS SOUPS 1132773 WITH SCORE 1134822.207
AT ITER 8657 NEW BEST:: SOT 9072235 SOS 2049819 HAS SOPS 2049819 HAS SOUS 1132725 HAS SOUPS 1132725 WITH SCORE 1134774.819
AT ITER 8666 NEW BEST:: SOT 9072265 SOS 2049778 HAS SOPS 2049778 HAS SOUS 1132684 HAS SOUPS 1132684 WITH SCORE 1134733.778
AT ITER 8729 NEW BEST:: SOT 9072308 SOS 2049864 HAS SOPS 2049864 HAS SOUS 1132200 HAS SOUPS 1132200 WITH SCORE 1134249.864
AT ITER 8731 NEW BEST:: SOT 9072093 SOS 2050151 HAS SOPS 2050151 HAS SOUS 1132057 HAS SOUPS 1132057 WITH SCORE 1134107.151
AT ITER 8790 NEW BEST:: SOT 9072093 SOS 2050121 HAS SOPS 2050121 HAS SOUS 1132057 HAS SOUPS 1132057 WITH SCORE 1134107.121
AT ITER 8802 NEW BEST:: SOT 9072184 SOS 2049649 HAS SOPS 2049649 HAS SOUS 1131821 HAS SOUPS 1131821 WITH SCORE 1133870.649
AT ITER 8813 NEW BEST:: SOT 9071895 SOS 2050370 HAS SOPS 2050370 HAS SOUS 1131732 HAS SOUPS 1131732 WITH SCORE 1133782.37
AT ITER 8825 NEW BEST:: SOT 9071660 SOS 2051442 HAS SOPS 2051442 HAS SOUS 1131513 HAS SOUPS 1131513 WITH SCORE 1133564.442
AT ITER 8850 NEW BEST:: SOT 9071660 SOS 2051432 HAS SOPS 2051432 HAS SOUS 1131512 HAS SOUPS 1131512 WITH SCORE 1133563.432
AT ITER 8918 NEW BEST:: SOT 9071552 SOS 2051333 HAS SOPS 2051333 HAS SOUS 1131415 HAS SOUPS 1131415 WITH SCORE 1133466.333
AT ITER 8935 NEW BEST:: SOT 9071528 SOS 2051285 HAS SOPS 2051285 HAS SOUS 1131379 HAS SOUPS 1131379 WITH SCORE 1133430.285
AT ITER 8941 NEW BEST:: SOT 9071212 SOS 2050653 HAS SOPS 2050653 HAS SOUS 1130747 HAS SOUPS 1130747 WITH SCORE 1132797.653
AT ITER 8942 NEW BEST:: SOT 9071039 SOS 2050307 HAS SOPS 2050307 HAS SOUS 1130574 HAS SOUPS 1130574 WITH SCORE 1132624.307
AT ITER 8953 NEW BEST:: SOT 9070759 SOS 2052267 HAS SOPS 2052267 HAS SOUS 1130294 HAS SOUPS 1130294 WITH SCORE 1132346.267
AT ITER 8958 NEW BEST:: SOT 9070781 SOS 2052311 HAS SOPS 2052311 HAS SOUS 1130076 HAS SOUPS 1130076 WITH SCORE 1132128.311
AT ITER 8961 NEW BEST:: SOT 9070816 SOS 2051975 HAS SOPS 2051975 HAS SOUS 1129517 HAS SOUPS 1129517 WITH SCORE 1131568.975
AT ITER 8970 NEW BEST:: SOT 9070522 SOS 2050082 HAS SOPS 2050082 HAS SOUS 1129164 HAS SOUPS 1129164 WITH SCORE 1131214.082
AT ITER 8995 NEW BEST:: SOT 9070522 SOS 2050082 HAS SOPS 2050082 HAS SOUS 1129082 HAS SOUPS 1129082 WITH SCORE 1131132.082
AT ITER 9034 NEW BEST:: SOT 9070619 SOS 2050731 HAS SOPS 2050731 HAS SOUS 1129046 HAS SOUPS 1129046 WITH SCORE 1131096.731
AT ITER 9039 NEW BEST:: SOT 9070483 SOS 2050731 HAS SOPS 2050731 HAS SOUS 1128978 HAS SOUPS 1128978 WITH SCORE 1131028.731
AT ITER 9042 NEW BEST:: SOT 9070446 SOS 2050758 HAS SOPS 2050758 HAS SOUS 1128940 HAS SOUPS 1128940 WITH SCORE 1130990.758
AT ITER 9043 NEW BEST:: SOT 9070170 SOS 2050754 HAS SOPS 2050754 HAS SOUS 1128939 HAS SOUPS 1128939 WITH SCORE 1130989.754
AT ITER 9088 NEW BEST:: SOT 9070168 SOS 2050750 HAS SOPS 2050750 HAS SOUS 1128937 HAS SOUPS 1128937 WITH SCORE 1130987.75
AT ITER 9108 NEW BEST:: SOT 9069844 SOS 2050422 HAS SOPS 2050422 HAS SOUS 1128612 HAS SOUPS 1128612 WITH SCORE 1130662.422
AT ITER 9111 NEW BEST:: SOT 9069894 SOS 2050372 HAS SOPS 2050372 HAS SOUS 1128612 HAS SOUPS 1128612 WITH SCORE 1130662.372
AT ITER 9119 NEW BEST:: SOT 9069860 SOS 2050304 HAS SOPS 2050304 HAS SOUS 1128485 HAS SOUPS 1128485 WITH SCORE 1130535.304
AT ITER 9121 NEW BEST:: SOT 9069730 SOS 2050431 HAS SOPS 2050431 HAS SOUS 1128354 HAS SOUPS 1128354 WITH SCORE 1130404.431
AT ITER 9130 NEW BEST:: SOT 9069675 SOS 2050321 HAS SOPS 2050321 HAS SOUS 1128354 HAS SOUPS 1128354 WITH SCORE 1130404.321
AT ITER 9140 NEW BEST:: SOT 9069389 SOS 2050159 HAS SOPS 2050159 HAS SOUS 1128250 HAS SOUPS 1128250 WITH SCORE 1130300.159
AT ITER 9200 NEW BEST:: SOT 9069449 SOS 2049799 HAS SOPS 2049799 HAS SOUS 1128210 HAS SOUPS 1128210 WITH SCORE 1130259.799
AT ITER 9230 NEW BEST:: SOT 9069441 SOS 2049783 HAS SOPS 2049783 HAS SOUS 1128072 HAS SOUPS 1128072 WITH SCORE 1130121.783
AT ITER 9256 NEW BEST:: SOT 9069440 SOS 2049653 HAS SOPS 2049653 HAS SOUS 1128063 HAS SOUPS 1128063 WITH SCORE 1130112.653
AT ITER 9260 NEW BEST:: SOT 9069147 SOS 2049067 HAS SOPS 2049067 HAS SOUS 1127477 HAS SOUPS 1127477 WITH SCORE 1129526.067
AT ITER 9263 NEW BEST:: SOT 9068920 SOS 2048896 HAS SOPS 2048896 HAS SOUS 1127022 HAS SOUPS 1127022 WITH SCORE 1129070.896
AT ITER 9278 NEW BEST:: SOT 9068919 SOS 2048894 HAS SOPS 2048894 HAS SOUS 1127020 HAS SOUPS 1127020 WITH SCORE 1129068.894
AT ITER 9319 NEW BEST:: SOT 9068828 SOS 2048712 HAS SOPS 2048712 HAS SOUS 1126838 HAS SOUPS 1126838 WITH SCORE 1128886.712
AT ITER 9321 NEW BEST:: SOT 9068828 SOS 2045179 HAS SOPS 2045179 HAS SOUS 1126317 HAS SOUPS 1126317 WITH SCORE 1128362.179
AT ITER 9322 NEW BEST:: SOT 9068793 SOS 2045158 HAS SOPS 2045158 HAS SOUS 1126296 HAS SOUPS 1126296 WITH SCORE 1128341.158
AT ITER 9384 NEW BEST:: SOT 9068647 SOS 2044574 HAS SOPS 2044574 HAS SOUS 1126150 HAS SOUPS 1126150 WITH SCORE 1128194.574
AT ITER 9428 NEW BEST:: SOT 9068327 SOS 2043934 HAS SOPS 2043934 HAS SOUS 1125510 HAS SOUPS 1125510 WITH SCORE 1127553.934
AT ITER 9461 NEW BEST:: SOT 9068374 SOS 2044028 HAS SOPS 2044028 HAS SOUS 1125472 HAS SOUPS 1125472 WITH SCORE 1127516.028
AT ITER 9479 NEW BEST:: SOT 9068374 SOS 2043317 HAS SOPS 2043317 HAS SOUS 1125472 HAS SOUPS 1125472 WITH SCORE 1127515.317
AT ITER 9525 NEW BEST:: SOT 9068339 SOS 2043350 HAS SOPS 2043350 HAS SOUS 1125402 HAS SOUPS 1125402 WITH SCORE 1127445.35
AT ITER 9532 NEW BEST:: SOT 9068192 SOS 2044369 HAS SOPS 2044369 HAS SOUS 1125107 HAS SOUPS 1125107 WITH SCORE 1127151.369
AT ITER 9541 NEW BEST:: SOT 9068044 SOS 2044295 HAS SOPS 2044295 HAS SOUS 1125033 HAS SOUPS 1125033 WITH SCORE 1127077.295
AT ITER 9550 NEW BEST:: SOT 9068062 SOS 2044331 HAS SOPS 2044331 HAS SOUS 1124823 HAS SOUPS 1124823 WITH SCORE 1126867.331
AT ITER 9554 NEW BEST:: SOT 9066907 SOS 2043641 HAS SOPS 2043641 HAS SOUS 1124652 HAS SOUPS 1124652 WITH SCORE 1126695.641
AT ITER 9573 NEW BEST:: SOT 9066791 SOS 2043061 HAS SOPS 2043061 HAS SOUS 1124420 HAS SOUPS 1124420 WITH SCORE 1126463.061
AT ITER 9575 NEW BEST:: SOT 9066407 SOS 2042715 HAS SOPS 2042715 HAS SOUS 1124074 HAS SOUPS 1124074 WITH SCORE 1126116.715
AT ITER 9616 NEW BEST:: SOT 9065637 SOS 2042028 HAS SOPS 2042028 HAS SOUS 1123304 HAS SOUPS 1123304 WITH SCORE 1125346.028
AT ITER 9632 NEW BEST:: SOT 9065306 SOS 2041999 HAS SOPS 2041999 HAS SOUS 1123146 HAS SOUPS 1123146 WITH SCORE 1125187.999
AT ITER 9661 NEW BEST:: SOT 9065102 SOS 2041591 HAS SOPS 2041591 HAS SOUS 1122738 HAS SOUPS 1122738 WITH SCORE 1124779.591
AT ITER 9669 NEW BEST:: SOT 9065062 SOS 2041511 HAS SOPS 2041511 HAS SOUS 1122658 HAS SOUPS 1122658 WITH SCORE 1124699.511
AT ITER 9706 NEW BEST:: SOT 9065005 SOS 2041645 HAS SOPS 2041645 HAS SOUS 1122544 HAS SOUPS 1122544 WITH SCORE 1124585.645
AT ITER 9725 NEW BEST:: SOT 9065005 SOS 2041840 HAS SOPS 2041840 HAS SOUS 1122543 HAS SOUPS 1122543 WITH SCORE 1124584.84
AT ITER 9750 NEW BEST:: SOT 9065138 SOS 2041275 HAS SOPS 2041275 HAS SOUS 1122465 HAS SOUPS 1122465 WITH SCORE 1124506.275
AT ITER 9788 NEW BEST:: SOT 9065123 SOS 2041265 HAS SOPS 2041265 HAS SOUS 1122455 HAS SOUPS 1122455 WITH SCORE 1124496.265
AT ITER 9795 NEW BEST:: SOT 9065123 SOS 2041579 HAS SOPS 2041579 HAS SOUS 1122454 HAS SOUPS 1122454 WITH SCORE 1124495.579
AT ITER 9831 NEW BEST:: SOT 9065123 SOS 2041579 HAS SOPS 2041579 HAS SOUS 1122453 HAS SOUPS 1122453 WITH SCORE 1124494.579
AT ITER 9838 NEW BEST:: SOT 9065168 SOS 2043083 HAS SOPS 2043083 HAS SOUS 1122382 HAS SOUPS 1122382 WITH SCORE 1124425.083
AT ITER 9855 NEW BEST:: SOT 9065168 SOS 2043770 HAS SOPS 2043770 HAS SOUS 1122275 HAS SOUPS 1122275 WITH SCORE 1124318.77
AT ITER 9870 NEW BEST:: SOT 9065048 SOS 2043530 HAS SOPS 2043530 HAS SOUS 1122155 HAS SOUPS 1122155 WITH SCORE 1124198.53
AT ITER 9895 NEW BEST:: SOT 9064977 SOS 2043028 HAS SOPS 2043028 HAS SOUS 1121823 HAS SOUPS 1121823 WITH SCORE 1123866.028
AT ITER 9927 NEW BEST:: SOT 9064955 SOS 2043006 HAS SOPS 2043006 HAS SOUS 1121801 HAS SOUPS 1121801 WITH SCORE 1123844.006
AT ITER 9931 NEW BEST:: SOT 9064191 SOS 2042363 HAS SOPS 2042363 HAS SOUS 1121024 HAS SOUPS 1121024 WITH SCORE 1123066.363
AT ITER 9960 NEW BEST:: SOT 9064315 SOS 2042607 HAS SOPS 2042607 HAS SOUS 1121023 HAS SOUPS 1121023 WITH SCORE 1123065.607
AT ITER 9966 NEW BEST:: SOT 9064315 SOS 2042537 HAS SOPS 2042537 HAS SOUS 1121023 HAS SOUPS 1121023 WITH SCORE 1123065.537
AT ITER 9975 NEW BEST:: SOT 9064296 SOS 2042457 HAS SOPS 2042457 HAS SOUS 1120920 HAS SOUPS 1120920 WITH SCORE 1122962.457
AT ITER 9977 NEW BEST:: SOT 9064296 SOS 2042757 HAS SOPS 2042757 HAS SOUS 1120919 HAS SOUPS 1120919 WITH SCORE 1122961.757
AT ITER 9981 NEW BEST:: SOT 9064573 SOS 2041556 HAS SOPS 2041556 HAS SOUS 1120704 HAS SOUPS 1120704 WITH SCORE 1122745.556
AT ITER 9986 NEW BEST:: SOT 9064466 SOS 2041342 HAS SOPS 2041342 HAS SOUS 1120490 HAS SOUPS 1120490 WITH SCORE 1122531.342

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="DLCround-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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-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 r048-ebro-158902542300544"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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