fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r003-smll-158897508100092
Last Updated
Jun 28, 2020

About the Execution of smart for ASLink-PT-06a

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15765.890 3600000.00 3600018.00 10.10 [undef] Time out reached

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r003-smll-158897508100092.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 ASLink-PT-06a, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-smll-158897508100092
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 772K
-rw-r--r-- 1 mcc users 3.4K Mar 25 09:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Mar 25 09:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 09:37 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Mar 25 09:37 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.3K Apr 8 14:41 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:41 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Mar 25 09:03 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Mar 25 09:03 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 08:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 25 08:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 09:04 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 25 09:04 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 597K Mar 24 05:37 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME ASLink-PT-06a-CTLFireability-00
FORMULA_NAME ASLink-PT-06a-CTLFireability-01
FORMULA_NAME ASLink-PT-06a-CTLFireability-02
FORMULA_NAME ASLink-PT-06a-CTLFireability-03
FORMULA_NAME ASLink-PT-06a-CTLFireability-04
FORMULA_NAME ASLink-PT-06a-CTLFireability-05
FORMULA_NAME ASLink-PT-06a-CTLFireability-06
FORMULA_NAME ASLink-PT-06a-CTLFireability-07
FORMULA_NAME ASLink-PT-06a-CTLFireability-08
FORMULA_NAME ASLink-PT-06a-CTLFireability-09
FORMULA_NAME ASLink-PT-06a-CTLFireability-10
FORMULA_NAME ASLink-PT-06a-CTLFireability-11
FORMULA_NAME ASLink-PT-06a-CTLFireability-12
FORMULA_NAME ASLink-PT-06a-CTLFireability-13
FORMULA_NAME ASLink-PT-06a-CTLFireability-14
FORMULA_NAME ASLink-PT-06a-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589037326035

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 06a
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 1406 places, 2100 transitions, 7896 arcs.
AT ITER 0 NEW BEST:: SOT 1632622 SOS 1122872 HAS SOPS 1122872 HAS SOUS 718392 HAS SOUPS 718392 WITH SCORE 719514.872
AT ITER 4 NEW BEST:: SOT 1630723 SOS 1121627 HAS SOPS 1121627 HAS SOUS 717146 HAS SOUPS 717146 WITH SCORE 718267.627
AT ITER 5 NEW BEST:: SOT 1629849 SOS 1117820 HAS SOPS 1117820 HAS SOUS 716031 HAS SOUPS 716031 WITH SCORE 717148.82
AT ITER 7 NEW BEST:: SOT 1629849 SOS 1115730 HAS SOPS 1115730 HAS SOUS 715940 HAS SOUPS 715940 WITH SCORE 717055.73
AT ITER 15 NEW BEST:: SOT 1629807 SOS 1115688 HAS SOPS 1115688 HAS SOUS 715932 HAS SOUPS 715932 WITH SCORE 717047.688
AT ITER 16 NEW BEST:: SOT 1629355 SOS 1115235 HAS SOPS 1115235 HAS SOUS 715929 HAS SOUPS 715929 WITH SCORE 717044.235
AT ITER 17 NEW BEST:: SOT 1621113 SOS 1106993 HAS SOPS 1106993 HAS SOUS 707686 HAS SOUPS 707686 WITH SCORE 708792.993
AT ITER 19 NEW BEST:: SOT 1621113 SOS 1106993 HAS SOPS 1106993 HAS SOUS 707685 HAS SOUPS 707685 WITH SCORE 708791.993
AT ITER 21 NEW BEST:: SOT 1620610 SOS 1106490 HAS SOPS 1106490 HAS SOUS 707685 HAS SOUPS 707685 WITH SCORE 708791.49
AT ITER 31 NEW BEST:: SOT 1620327 SOS 1106207 HAS SOPS 1106207 HAS SOUS 707402 HAS SOUPS 707402 WITH SCORE 708508.207
AT ITER 32 NEW BEST:: SOT 1620087 SOS 1105967 HAS SOPS 1105967 HAS SOUS 707398 HAS SOUPS 707398 WITH SCORE 708503.967
AT ITER 37 NEW BEST:: SOT 1619903 SOS 1105783 HAS SOPS 1105783 HAS SOUS 707397 HAS SOUPS 707397 WITH SCORE 708502.783
AT ITER 39 NEW BEST:: SOT 1619906 SOS 1104933 HAS SOPS 1104933 HAS SOUS 707240 HAS SOUPS 707240 WITH SCORE 708344.933
AT ITER 44 NEW BEST:: SOT 1619906 SOS 1104270 HAS SOPS 1104270 HAS SOUS 706724 HAS SOUPS 706724 WITH SCORE 707828.27
AT ITER 48 NEW BEST:: SOT 1617358 SOS 1101722 HAS SOPS 1101722 HAS SOUS 704175 HAS SOUPS 704175 WITH SCORE 705276.722
AT ITER 61 NEW BEST:: SOT 1617218 SOS 1101582 HAS SOPS 1101582 HAS SOUS 704156 HAS SOUPS 704156 WITH SCORE 705257.582
AT ITER 68 NEW BEST:: SOT 1617218 SOS 1101567 HAS SOPS 1101567 HAS SOUS 704126 HAS SOUPS 704126 WITH SCORE 705227.567
AT ITER 85 NEW BEST:: SOT 1611743 SOS 1096333 HAS SOPS 1096333 HAS SOUS 698861 HAS SOUPS 698861 WITH SCORE 699957.333
AT ITER 87 NEW BEST:: SOT 1611253 SOS 1092413 HAS SOPS 1092413 HAS SOUS 697503 HAS SOUPS 697503 WITH SCORE 698595.413
AT ITER 90 NEW BEST:: SOT 1603661 SOS 1086334 HAS SOPS 1086334 HAS SOUS 690233 HAS SOUPS 690233 WITH SCORE 691319.334
AT ITER 92 NEW BEST:: SOT 1603320 SOS 1085993 HAS SOPS 1085993 HAS SOUS 690232 HAS SOUPS 690232 WITH SCORE 691317.993
AT ITER 93 NEW BEST:: SOT 1602066 SOS 1084960 HAS SOPS 1084960 HAS SOUS 687925 HAS SOUPS 687925 WITH SCORE 689009.96
AT ITER 94 NEW BEST:: SOT 1600416 SOS 1083337 HAS SOPS 1083337 HAS SOUS 686302 HAS SOUPS 686302 WITH SCORE 687385.337
AT ITER 99 NEW BEST:: SOT 1600416 SOS 1083285 HAS SOPS 1083285 HAS SOUS 686302 HAS SOUPS 686302 WITH SCORE 687385.285
AT ITER 101 NEW BEST:: SOT 1600023 SOS 1082677 HAS SOPS 1082677 HAS SOUS 685694 HAS SOUPS 685694 WITH SCORE 686776.677
AT ITER 102 NEW BEST:: SOT 1599735 SOS 1081813 HAS SOPS 1081813 HAS SOUS 684944 HAS SOUPS 684944 WITH SCORE 686025.813
AT ITER 123 NEW BEST:: SOT 1599348 SOS 1081353 HAS SOPS 1081353 HAS SOUS 684944 HAS SOUPS 684944 WITH SCORE 686025.353
AT ITER 129 NEW BEST:: SOT 1599348 SOS 1081352 HAS SOPS 1081352 HAS SOUS 684943 HAS SOUPS 684943 WITH SCORE 686024.352
AT ITER 130 NEW BEST:: SOT 1598307 SOS 1080109 HAS SOPS 1080109 HAS SOUS 684739 HAS SOUPS 684739 WITH SCORE 685819.109
AT ITER 147 NEW BEST:: SOT 1598263 SOS 1080065 HAS SOPS 1080065 HAS SOUS 684695 HAS SOUPS 684695 WITH SCORE 685775.065
AT ITER 157 NEW BEST:: SOT 1598116 SOS 1079914 HAS SOPS 1079914 HAS SOUS 684691 HAS SOUPS 684691 WITH SCORE 685770.914
AT ITER 181 NEW BEST:: SOT 1600247 SOS 1081606 HAS SOPS 1081606 HAS SOUS 684304 HAS SOUPS 684304 WITH SCORE 685385.606
AT ITER 182 NEW BEST:: SOT 1600247 SOS 1081329 HAS SOPS 1081329 HAS SOUS 684263 HAS SOUPS 684263 WITH SCORE 685344.329
AT ITER 192 NEW BEST:: SOT 1600140 SOS 1081216 HAS SOPS 1081216 HAS SOUS 684150 HAS SOUPS 684150 WITH SCORE 685231.216
AT ITER 197 NEW BEST:: SOT 1599999 SOS 1081074 HAS SOPS 1081074 HAS SOUS 684008 HAS SOUPS 684008 WITH SCORE 685089.074
AT ITER 199 NEW BEST:: SOT 1593955 SOS 1075030 HAS SOPS 1075030 HAS SOUS 677964 HAS SOUPS 677964 WITH SCORE 679039.03
AT ITER 204 NEW BEST:: SOT 1594629 SOS 1075474 HAS SOPS 1075474 HAS SOUS 677937 HAS SOUPS 677937 WITH SCORE 679012.474
AT ITER 205 NEW BEST:: SOT 1594401 SOS 1075241 HAS SOPS 1075241 HAS SOUS 677777 HAS SOUPS 677777 WITH SCORE 678852.241
AT ITER 210 NEW BEST:: SOT 1594399 SOS 1073828 HAS SOPS 1073828 HAS SOUS 677644 HAS SOUPS 677644 WITH SCORE 678717.828
AT ITER 212 NEW BEST:: SOT 1591813 SOS 1070791 HAS SOPS 1070791 HAS SOUS 674606 HAS SOUPS 674606 WITH SCORE 675676.791
AT ITER 217 NEW BEST:: SOT 1592407 SOS 1069994 HAS SOPS 1069994 HAS SOUS 673991 HAS SOUPS 673991 WITH SCORE 675060.994
AT ITER 219 NEW BEST:: SOT 1591630 SOS 1068551 HAS SOPS 1068551 HAS SOUS 673366 HAS SOUPS 673366 WITH SCORE 674434.551
AT ITER 221 NEW BEST:: SOT 1591354 SOS 1068275 HAS SOPS 1068275 HAS SOUS 673089 HAS SOUPS 673089 WITH SCORE 674157.275
AT ITER 226 NEW BEST:: SOT 1590839 SOS 1064583 HAS SOPS 1064583 HAS SOUS 672125 HAS SOUPS 672125 WITH SCORE 673189.583
AT ITER 231 NEW BEST:: SOT 1590839 SOS 1064403 HAS SOPS 1064403 HAS SOUS 672125 HAS SOUPS 672125 WITH SCORE 673189.403
AT ITER 240 NEW BEST:: SOT 1591154 SOS 1064857 HAS SOPS 1064857 HAS SOUS 671949 HAS SOUPS 671949 WITH SCORE 673013.857
AT ITER 251 NEW BEST:: SOT 1591523 SOS 1064857 HAS SOPS 1064857 HAS SOUS 671211 HAS SOUPS 671211 WITH SCORE 672275.857
AT ITER 253 NEW BEST:: SOT 1591305 SOS 1064639 HAS SOPS 1064639 HAS SOUS 671174 HAS SOUPS 671174 WITH SCORE 672238.639
AT ITER 273 NEW BEST:: SOT 1591190 SOS 1064409 HAS SOPS 1064409 HAS SOUS 670942 HAS SOUPS 670942 WITH SCORE 672006.409
AT ITER 274 NEW BEST:: SOT 1590976 SOS 1064195 HAS SOPS 1064195 HAS SOUS 670941 HAS SOUPS 670941 WITH SCORE 672005.195
AT ITER 277 NEW BEST:: SOT 1590976 SOS 1063818 HAS SOPS 1063818 HAS SOUS 670808 HAS SOUPS 670808 WITH SCORE 671871.818
AT ITER 281 NEW BEST:: SOT 1590788 SOS 1063625 HAS SOPS 1063625 HAS SOUS 670615 HAS SOUPS 670615 WITH SCORE 671678.625
AT ITER 283 NEW BEST:: SOT 1591658 SOS 1064488 HAS SOPS 1064488 HAS SOUS 670614 HAS SOUPS 670614 WITH SCORE 671678.488
AT ITER 285 NEW BEST:: SOT 1585163 SOS 1057993 HAS SOPS 1057993 HAS SOUS 664118 HAS SOUPS 664118 WITH SCORE 665175.993
AT ITER 296 NEW BEST:: SOT 1585163 SOS 1056307 HAS SOPS 1056307 HAS SOUS 664118 HAS SOUPS 664118 WITH SCORE 665174.307
AT ITER 297 NEW BEST:: SOT 1585163 SOS 1056231 HAS SOPS 1056231 HAS SOUS 664117 HAS SOUPS 664117 WITH SCORE 665173.231
AT ITER 300 NEW BEST:: SOT 1585085 SOS 1056153 HAS SOPS 1056153 HAS SOUS 664038 HAS SOUPS 664038 WITH SCORE 665094.153
AT ITER 301 NEW BEST:: SOT 1584641 SOS 1055364 HAS SOPS 1055364 HAS SOUS 663365 HAS SOUPS 663365 WITH SCORE 664420.364
AT ITER 315 NEW BEST:: SOT 1584641 SOS 1053740 HAS SOPS 1053740 HAS SOUS 663362 HAS SOUPS 663362 WITH SCORE 664415.74
AT ITER 319 NEW BEST:: SOT 1583786 SOS 1049896 HAS SOPS 1049896 HAS SOUS 662230 HAS SOUPS 662230 WITH SCORE 663279.896
AT ITER 320 NEW BEST:: SOT 1583786 SOS 1049626 HAS SOPS 1049626 HAS SOUS 662230 HAS SOUPS 662230 WITH SCORE 663279.626
AT ITER 322 NEW BEST:: SOT 1583746 SOS 1049745 HAS SOPS 1049745 HAS SOUS 661695 HAS SOUPS 661695 WITH SCORE 662744.745
AT ITER 325 NEW BEST:: SOT 1584250 SOS 1047404 HAS SOPS 1047404 HAS SOUS 661552 HAS SOUPS 661552 WITH SCORE 662599.404
AT ITER 327 NEW BEST:: SOT 1584243 SOS 1047390 HAS SOPS 1047390 HAS SOUS 661538 HAS SOUPS 661538 WITH SCORE 662585.39
AT ITER 328 NEW BEST:: SOT 1583737 SOS 1046843 HAS SOPS 1046843 HAS SOUS 661082 HAS SOUPS 661082 WITH SCORE 662128.843
AT ITER 335 NEW BEST:: SOT 1582787 SOS 1045893 HAS SOPS 1045893 HAS SOUS 660131 HAS SOUPS 660131 WITH SCORE 661176.893
AT ITER 339 NEW BEST:: SOT 1582555 SOS 1045429 HAS SOPS 1045429 HAS SOUS 659923 HAS SOUPS 659923 WITH SCORE 660968.429
AT ITER 341 NEW BEST:: SOT 1581773 SOS 1044717 HAS SOPS 1044717 HAS SOUS 659302 HAS SOUPS 659302 WITH SCORE 660346.717
AT ITER 350 NEW BEST:: SOT 1584218 SOS 1047228 HAS SOPS 1047228 HAS SOUS 658170 HAS SOUPS 658170 WITH SCORE 659217.228
AT ITER 352 NEW BEST:: SOT 1583774 SOS 1044531 HAS SOPS 1044531 HAS SOUS 658145 HAS SOUPS 658145 WITH SCORE 659189.531
AT ITER 354 NEW BEST:: SOT 1585585 SOS 1046161 HAS SOPS 1046161 HAS SOUS 657966 HAS SOUPS 657966 WITH SCORE 659012.161
AT ITER 355 NEW BEST:: SOT 1585585 SOS 1045680 HAS SOPS 1045680 HAS SOUS 657922 HAS SOUPS 657922 WITH SCORE 658967.68
AT ITER 357 NEW BEST:: SOT 1585354 SOS 1045449 HAS SOPS 1045449 HAS SOUS 657691 HAS SOUPS 657691 WITH SCORE 658736.449
AT ITER 359 NEW BEST:: SOT 1585354 SOS 1041923 HAS SOPS 1041923 HAS SOUS 657342 HAS SOUPS 657342 WITH SCORE 658383.923
AT ITER 370 NEW BEST:: SOT 1585097 SOS 1041451 HAS SOPS 1041451 HAS SOUS 656773 HAS SOUPS 656773 WITH SCORE 657814.451
AT ITER 372 NEW BEST:: SOT 1584935 SOS 1041032 HAS SOPS 1041032 HAS SOUS 656449 HAS SOUPS 656449 WITH SCORE 657490.032
AT ITER 374 NEW BEST:: SOT 1585239 SOS 1041456 HAS SOPS 1041456 HAS SOUS 656422 HAS SOUPS 656422 WITH SCORE 657463.456
AT ITER 378 NEW BEST:: SOT 1582448 SOS 1040489 HAS SOPS 1040489 HAS SOUS 653935 HAS SOUPS 653935 WITH SCORE 654975.489
AT ITER 379 NEW BEST:: SOT 1582244 SOS 1040285 HAS SOPS 1040285 HAS SOUS 653709 HAS SOUPS 653709 WITH SCORE 654749.285
AT ITER 384 NEW BEST:: SOT 1581966 SOS 1040007 HAS SOPS 1040007 HAS SOUS 653431 HAS SOUPS 653431 WITH SCORE 654471.007
AT ITER 393 NEW BEST:: SOT 1581966 SOS 1039590 HAS SOPS 1039590 HAS SOUS 653014 HAS SOUPS 653014 WITH SCORE 654053.59
AT ITER 394 NEW BEST:: SOT 1581966 SOS 1039180 HAS SOPS 1039180 HAS SOUS 652448 HAS SOUPS 652448 WITH SCORE 653487.18
AT ITER 399 NEW BEST:: SOT 1581907 SOS 1039121 HAS SOPS 1039121 HAS SOUS 652389 HAS SOUPS 652389 WITH SCORE 653428.121
AT ITER 403 NEW BEST:: SOT 1582344 SOS 1038122 HAS SOPS 1038122 HAS SOUS 651652 HAS SOUPS 651652 WITH SCORE 652690.122
AT ITER 404 NEW BEST:: SOT 1582491 SOS 1037493 HAS SOPS 1037493 HAS SOUS 651212 HAS SOUPS 651212 WITH SCORE 652249.493
AT ITER 405 NEW BEST:: SOT 1582380 SOS 1037382 HAS SOPS 1037382 HAS SOUS 651101 HAS SOUPS 651101 WITH SCORE 652138.382
AT ITER 413 NEW BEST:: SOT 1582379 SOS 1037160 HAS SOPS 1037160 HAS SOUS 650843 HAS SOUPS 650843 WITH SCORE 651880.16
AT ITER 419 NEW BEST:: SOT 1581569 SOS 1036350 HAS SOPS 1036350 HAS SOUS 650032 HAS SOUPS 650032 WITH SCORE 651068.35
AT ITER 422 NEW BEST:: SOT 1580902 SOS 1035635 HAS SOPS 1035635 HAS SOUS 649317 HAS SOUPS 649317 WITH SCORE 650352.635
AT ITER 427 NEW BEST:: SOT 1580095 SOS 1033847 HAS SOPS 1033847 HAS SOUS 647915 HAS SOUPS 647915 WITH SCORE 648948.847
AT ITER 433 NEW BEST:: SOT 1580200 SOS 1033952 HAS SOPS 1033952 HAS SOUS 647909 HAS SOUPS 647909 WITH SCORE 648942.952
AT ITER 436 NEW BEST:: SOT 1568996 SOS 1022748 HAS SOPS 1022748 HAS SOUS 636705 HAS SOUPS 636705 WITH SCORE 637727.748
AT ITER 439 NEW BEST:: SOT 1568728 SOS 1022210 HAS SOPS 1022210 HAS SOUS 636167 HAS SOUPS 636167 WITH SCORE 637189.21
AT ITER 444 NEW BEST:: SOT 1568463 SOS 1021945 HAS SOPS 1021945 HAS SOUS 635635 HAS SOUPS 635635 WITH SCORE 636656.945
AT ITER 456 NEW BEST:: SOT 1568019 SOS 1021501 HAS SOPS 1021501 HAS SOUS 635189 HAS SOUPS 635189 WITH SCORE 636210.501
AT ITER 471 NEW BEST:: SOT 1567976 SOS 1021031 HAS SOPS 1021031 HAS SOUS 635085 HAS SOUPS 635085 WITH SCORE 636106.031
AT ITER 473 NEW BEST:: SOT 1568258 SOS 1021591 HAS SOPS 1021591 HAS SOUS 634930 HAS SOUPS 634930 WITH SCORE 635951.591
AT ITER 477 NEW BEST:: SOT 1567758 SOS 1021935 HAS SOPS 1021935 HAS SOUS 634381 HAS SOUPS 634381 WITH SCORE 635402.935
AT ITER 485 NEW BEST:: SOT 1567758 SOS 1021692 HAS SOPS 1021692 HAS SOUS 634347 HAS SOUPS 634347 WITH SCORE 635368.692
AT ITER 490 NEW BEST:: SOT 1567510 SOS 1019460 HAS SOPS 1019460 HAS SOUS 633728 HAS SOUPS 633728 WITH SCORE 634747.46
AT ITER 500 NEW BEST:: SOT 1567351 SOS 1018641 HAS SOPS 1018641 HAS SOUS 633410 HAS SOUPS 633410 WITH SCORE 634428.641
AT ITER 501 NEW BEST:: SOT 1565819 SOS 1015680 HAS SOPS 1015680 HAS SOUS 631968 HAS SOUPS 631968 WITH SCORE 632983.68
AT ITER 512 NEW BEST:: SOT 1565666 SOS 1015527 HAS SOPS 1015527 HAS SOUS 631811 HAS SOUPS 631811 WITH SCORE 632826.527
AT ITER 513 NEW BEST:: SOT 1565666 SOS 1015432 HAS SOPS 1015432 HAS SOUS 631621 HAS SOUPS 631621 WITH SCORE 632636.432
AT ITER 518 NEW BEST:: SOT 1565497 SOS 1015263 HAS SOPS 1015263 HAS SOUS 631452 HAS SOUPS 631452 WITH SCORE 632467.263
AT ITER 519 NEW BEST:: SOT 1565322 SOS 1014041 HAS SOPS 1014041 HAS SOUS 630822 HAS SOUPS 630822 WITH SCORE 631836.041
AT ITER 531 NEW BEST:: SOT 1564562 SOS 1013281 HAS SOPS 1013281 HAS SOUS 630239 HAS SOUPS 630239 WITH SCORE 631252.281
AT ITER 532 NEW BEST:: SOT 1562890 SOS 1011609 HAS SOPS 1011609 HAS SOUS 628563 HAS SOUPS 628563 WITH SCORE 629574.609
AT ITER 536 NEW BEST:: SOT 1562782 SOS 1011501 HAS SOPS 1011501 HAS SOUS 628455 HAS SOUPS 628455 WITH SCORE 629466.501
AT ITER 539 NEW BEST:: SOT 1562782 SOS 1011373 HAS SOPS 1011373 HAS SOUS 628455 HAS SOUPS 628455 WITH SCORE 629466.373
AT ITER 545 NEW BEST:: SOT 1561932 SOS 1011707 HAS SOPS 1011707 HAS SOUS 627714 HAS SOUPS 627714 WITH SCORE 628725.707
AT ITER 549 NEW BEST:: SOT 1561591 SOS 1011490 HAS SOPS 1011490 HAS SOUS 627393 HAS SOUPS 627393 WITH SCORE 628404.49
AT ITER 550 NEW BEST:: SOT 1561442 SOS 1009872 HAS SOPS 1009872 HAS SOUS 627095 HAS SOUPS 627095 WITH SCORE 628104.872
AT ITER 562 NEW BEST:: SOT 1561320 SOS 1009750 HAS SOPS 1009750 HAS SOUS 626973 HAS SOUPS 626973 WITH SCORE 627982.75
AT ITER 566 NEW BEST:: SOT 1561563 SOS 1008831 HAS SOPS 1008831 HAS SOUS 626772 HAS SOUPS 626772 WITH SCORE 627780.831
AT ITER 572 NEW BEST:: SOT 1561386 SOS 1007916 HAS SOPS 1007916 HAS SOUS 626006 HAS SOUPS 626006 WITH SCORE 627013.916
AT ITER 574 NEW BEST:: SOT 1561121 SOS 1007777 HAS SOPS 1007777 HAS SOUS 625814 HAS SOUPS 625814 WITH SCORE 626821.777
AT ITER 577 NEW BEST:: SOT 1561339 SOS 1007602 HAS SOPS 1007602 HAS SOUS 625579 HAS SOUPS 625579 WITH SCORE 626586.602
AT ITER 588 NEW BEST:: SOT 1561339 SOS 1007516 HAS SOPS 1007516 HAS SOUS 625579 HAS SOUPS 625579 WITH SCORE 626586.516
AT ITER 593 NEW BEST:: SOT 1561339 SOS 1006901 HAS SOPS 1006901 HAS SOUS 624964 HAS SOUPS 624964 WITH SCORE 625970.901
AT ITER 597 NEW BEST:: SOT 1561409 SOS 1006971 HAS SOPS 1006971 HAS SOUS 624892 HAS SOUPS 624892 WITH SCORE 625898.971
AT ITER 598 NEW BEST:: SOT 1561409 SOS 1006737 HAS SOPS 1006737 HAS SOUS 624658 HAS SOUPS 624658 WITH SCORE 625664.737
AT ITER 604 NEW BEST:: SOT 1546076 SOS 991404 HAS SOPS 991404 HAS SOUS 609325 HAS SOUPS 609325 WITH SCORE 610316.404
AT ITER 605 NEW BEST:: SOT 1545936 SOS 991116 HAS SOPS 991116 HAS SOUS 609037 HAS SOUPS 609037 WITH SCORE 610028.116
AT ITER 607 NEW BEST:: SOT 1545019 SOS 984674 HAS SOPS 984674 HAS SOUS 607051 HAS SOUPS 607051 WITH SCORE 608035.674
AT ITER 608 NEW BEST:: SOT 1542995 SOS 983916 HAS SOPS 983916 HAS SOUS 605296 HAS SOUPS 605296 WITH SCORE 606279.916
AT ITER 613 NEW BEST:: SOT 1542995 SOS 980649 HAS SOPS 980649 HAS SOUS 605249 HAS SOUPS 605249 WITH SCORE 606229.649
AT ITER 616 NEW BEST:: SOT 1542175 SOS 979228 HAS SOPS 979228 HAS SOUS 604403 HAS SOUPS 604403 WITH SCORE 605382.228
AT ITER 619 NEW BEST:: SOT 1541625 SOS 977817 HAS SOPS 977817 HAS SOUS 603538 HAS SOUPS 603538 WITH SCORE 604515.817
AT ITER 624 NEW BEST:: SOT 1541419 SOS 977291 HAS SOPS 977291 HAS SOUS 602905 HAS SOUPS 602905 WITH SCORE 603882.291
AT ITER 632 NEW BEST:: SOT 1541415 SOS 977287 HAS SOPS 977287 HAS SOUS 602899 HAS SOUPS 602899 WITH SCORE 603876.287
AT ITER 638 NEW BEST:: SOT 1541825 SOS 976975 HAS SOPS 976975 HAS SOUS 602744 HAS SOUPS 602744 WITH SCORE 603720.975
AT ITER 639 NEW BEST:: SOT 1541794 SOS 976935 HAS SOPS 976935 HAS SOUS 602731 HAS SOUPS 602731 WITH SCORE 603707.935
AT ITER 640 NEW BEST:: SOT 1540984 SOS 975315 HAS SOPS 975315 HAS SOUS 601111 HAS SOUPS 601111 WITH SCORE 602086.315
AT ITER 649 NEW BEST:: SOT 1540962 SOS 975293 HAS SOPS 975293 HAS SOUS 601089 HAS SOUPS 601089 WITH SCORE 602064.293
AT ITER 653 NEW BEST:: SOT 1540943 SOS 975115 HAS SOPS 975115 HAS SOUS 601065 HAS SOUPS 601065 WITH SCORE 602040.115
AT ITER 664 NEW BEST:: SOT 1539260 SOS 979579 HAS SOPS 979579 HAS SOUS 600447 HAS SOUPS 600447 WITH SCORE 601426.579
AT ITER 677 NEW BEST:: SOT 1539260 SOS 979579 HAS SOPS 979579 HAS SOUS 600444 HAS SOUPS 600444 WITH SCORE 601423.579
AT ITER 684 NEW BEST:: SOT 1538998 SOS 979055 HAS SOPS 979055 HAS SOUS 599979 HAS SOUPS 599979 WITH SCORE 600958.055
AT ITER 686 NEW BEST:: SOT 1537977 SOS 976380 HAS SOPS 976380 HAS SOUS 598654 HAS SOUPS 598654 WITH SCORE 599630.38
AT ITER 689 NEW BEST:: SOT 1537447 SOS 975850 HAS SOPS 975850 HAS SOUS 598534 HAS SOUPS 598534 WITH SCORE 599509.85
AT ITER 702 NEW BEST:: SOT 1537447 SOS 975773 HAS SOPS 975773 HAS SOUS 598456 HAS SOUPS 598456 WITH SCORE 599431.773
AT ITER 705 NEW BEST:: SOT 1537651 SOS 975377 HAS SOPS 975377 HAS SOUS 598202 HAS SOUPS 598202 WITH SCORE 599177.377
AT ITER 706 NEW BEST:: SOT 1537313 SOS 975345 HAS SOPS 975345 HAS SOUS 598017 HAS SOUPS 598017 WITH SCORE 598992.345
AT ITER 709 NEW BEST:: SOT 1537313 SOS 974708 HAS SOPS 974708 HAS SOUS 597869 HAS SOUPS 597869 WITH SCORE 598843.708
AT ITER 717 NEW BEST:: SOT 1537312 SOS 974671 HAS SOPS 974671 HAS SOUS 597863 HAS SOUPS 597863 WITH SCORE 598837.671
AT ITER 727 NEW BEST:: SOT 1533033 SOS 978447 HAS SOPS 978447 HAS SOUS 593320 HAS SOUPS 593320 WITH SCORE 594298.447
AT ITER 728 NEW BEST:: SOT 1533033 SOS 978447 HAS SOPS 978447 HAS SOUS 593313 HAS SOUPS 593313 WITH SCORE 594291.447
AT ITER 729 NEW BEST:: SOT 1533032 SOS 978406 HAS SOPS 978406 HAS SOUS 593272 HAS SOUPS 593272 WITH SCORE 594250.406
AT ITER 732 NEW BEST:: SOT 1533032 SOS 975368 HAS SOPS 975368 HAS SOUS 593272 HAS SOUPS 593272 WITH SCORE 594247.368
AT ITER 738 NEW BEST:: SOT 1532328 SOS 973596 HAS SOPS 973596 HAS SOUS 591500 HAS SOUPS 591500 WITH SCORE 592473.596
AT ITER 750 NEW BEST:: SOT 1532016 SOS 973282 HAS SOPS 973282 HAS SOUS 591186 HAS SOUPS 591186 WITH SCORE 592159.282
AT ITER 755 NEW BEST:: SOT 1532015 SOS 972975 HAS SOPS 972975 HAS SOUS 591184 HAS SOUPS 591184 WITH SCORE 592156.975
AT ITER 758 NEW BEST:: SOT 1532015 SOS 972937 HAS SOPS 972937 HAS SOUS 591146 HAS SOUPS 591146 WITH SCORE 592118.937
AT ITER 763 NEW BEST:: SOT 1529702 SOS 970624 HAS SOPS 970624 HAS SOUS 589564 HAS SOUPS 589564 WITH SCORE 590534.624
AT ITER 772 NEW BEST:: SOT 1529123 SOS 969789 HAS SOPS 969789 HAS SOUS 588729 HAS SOUPS 588729 WITH SCORE 589698.789
AT ITER 775 NEW BEST:: SOT 1528847 SOS 969513 HAS SOPS 969513 HAS SOUS 588729 HAS SOUPS 588729 WITH SCORE 589698.513
AT ITER 777 NEW BEST:: SOT 1516806 SOS 957472 HAS SOPS 957472 HAS SOUS 576688 HAS SOUPS 576688 WITH SCORE 577645.472
AT ITER 778 NEW BEST:: SOT 1516323 SOS 956989 HAS SOPS 956989 HAS SOUS 576205 HAS SOUPS 576205 WITH SCORE 577161.989
AT ITER 779 NEW BEST:: SOT 1515945 SOS 956083 HAS SOPS 956083 HAS SOUS 576061 HAS SOUPS 576061 WITH SCORE 577017.083
AT ITER 782 NEW BEST:: SOT 1515747 SOS 955388 HAS SOPS 955388 HAS SOUS 575863 HAS SOUPS 575863 WITH SCORE 576818.388
AT ITER 789 NEW BEST:: SOT 1515707 SOS 953852 HAS SOPS 953852 HAS SOUS 575553 HAS SOUPS 575553 WITH SCORE 576506.852
AT ITER 798 NEW BEST:: SOT 1516107 SOS 954043 HAS SOPS 954043 HAS SOUS 575262 HAS SOUPS 575262 WITH SCORE 576216.043
AT ITER 800 NEW BEST:: SOT 1515736 SOS 952735 HAS SOPS 952735 HAS SOUS 574385 HAS SOUPS 574385 WITH SCORE 575337.735
AT ITER 801 NEW BEST:: SOT 1515735 SOS 952645 HAS SOPS 952645 HAS SOUS 574378 HAS SOUPS 574378 WITH SCORE 575330.645
AT ITER 804 NEW BEST:: SOT 1507975 SOS 947540 HAS SOPS 947540 HAS SOUS 566896 HAS SOUPS 566896 WITH SCORE 567843.54
AT ITER 806 NEW BEST:: SOT 1491133 SOS 929598 HAS SOPS 929598 HAS SOUS 548191 HAS SOUPS 548191 WITH SCORE 549120.598
AT ITER 807 NEW BEST:: SOT 1490852 SOS 928894 HAS SOPS 928894 HAS SOUS 547629 HAS SOUPS 547629 WITH SCORE 548557.894
AT ITER 821 NEW BEST:: SOT 1490933 SOS 928077 HAS SOPS 928077 HAS SOUS 546812 HAS SOUPS 546812 WITH SCORE 547740.077
AT ITER 822 NEW BEST:: SOT 1490904 SOS 928048 HAS SOPS 928048 HAS SOUS 546777 HAS SOUPS 546777 WITH SCORE 547705.048
AT ITER 842 NEW BEST:: SOT 1490884 SOS 928008 HAS SOPS 928008 HAS SOUS 546737 HAS SOUPS 546737 WITH SCORE 547665.008
AT ITER 847 NEW BEST:: SOT 1490596 SOS 927894 HAS SOPS 927894 HAS SOUS 545737 HAS SOUPS 545737 WITH SCORE 546664.894
AT ITER 853 NEW BEST:: SOT 1490575 SOS 927843 HAS SOPS 927843 HAS SOUS 545686 HAS SOUPS 545686 WITH SCORE 546613.843
AT ITER 860 NEW BEST:: SOT 1490575 SOS 927843 HAS SOPS 927843 HAS SOUS 545685 HAS SOUPS 545685 WITH SCORE 546612.843
AT ITER 862 NEW BEST:: SOT 1490575 SOS 927322 HAS SOPS 927322 HAS SOUS 545685 HAS SOUPS 545685 WITH SCORE 546612.322
AT ITER 865 NEW BEST:: SOT 1489775 SOS 926496 HAS SOPS 926496 HAS SOUS 544859 HAS SOUPS 544859 WITH SCORE 545785.496
AT ITER 866 NEW BEST:: SOT 1489637 SOS 925809 HAS SOPS 925809 HAS SOUS 544813 HAS SOUPS 544813 WITH SCORE 545738.809
AT ITER 869 NEW BEST:: SOT 1489513 SOS 925685 HAS SOPS 925685 HAS SOUS 544689 HAS SOUPS 544689 WITH SCORE 545614.685
AT ITER 871 NEW BEST:: SOT 1489662 SOS 925244 HAS SOPS 925244 HAS SOUS 544248 HAS SOUPS 544248 WITH SCORE 545173.244
AT ITER 876 NEW BEST:: SOT 1489667 SOS 925258 HAS SOPS 925258 HAS SOUS 543961 HAS SOUPS 543961 WITH SCORE 544886.258
AT ITER 880 NEW BEST:: SOT 1489431 SOS 925132 HAS SOPS 925132 HAS SOUS 543957 HAS SOUPS 543957 WITH SCORE 544882.132
AT ITER 882 NEW BEST:: SOT 1489173 SOS 924874 HAS SOPS 924874 HAS SOUS 543695 HAS SOUPS 543695 WITH SCORE 544619.874
AT ITER 888 NEW BEST:: SOT 1486962 SOS 922171 HAS SOPS 922171 HAS SOUS 540992 HAS SOUPS 540992 WITH SCORE 541914.171
AT ITER 898 NEW BEST:: SOT 1487067 SOS 922123 HAS SOPS 922123 HAS SOUS 540944 HAS SOUPS 540944 WITH SCORE 541866.123
AT ITER 900 NEW BEST:: SOT 1487067 SOS 922110 HAS SOPS 922110 HAS SOUS 540931 HAS SOUPS 540931 WITH SCORE 541853.11
AT ITER 907 NEW BEST:: SOT 1487009 SOS 921173 HAS SOPS 921173 HAS SOUS 540293 HAS SOUPS 540293 WITH SCORE 541214.173
AT ITER 910 NEW BEST:: SOT 1486659 SOS 920473 HAS SOPS 920473 HAS SOUS 539988 HAS SOUPS 539988 WITH SCORE 540908.473
AT ITER 919 NEW BEST:: SOT 1486634 SOS 920268 HAS SOPS 920268 HAS SOUS 539896 HAS SOUPS 539896 WITH SCORE 540816.268
AT ITER 933 NEW BEST:: SOT 1486296 SOS 920131 HAS SOPS 920131 HAS SOUS 539759 HAS SOUPS 539759 WITH SCORE 540679.131
AT ITER 955 NEW BEST:: SOT 1486296 SOS 919691 HAS SOPS 919691 HAS SOUS 539379 HAS SOUPS 539379 WITH SCORE 540298.691
AT ITER 956 NEW BEST:: SOT 1486295 SOS 919690 HAS SOPS 919690 HAS SOUS 539378 HAS SOUPS 539378 WITH SCORE 540297.69
AT ITER 958 NEW BEST:: SOT 1485465 SOS 916966 HAS SOPS 916966 HAS SOUS 538019 HAS SOUPS 538019 WITH SCORE 538935.966
AT ITER 963 NEW BEST:: SOT 1485374 SOS 916784 HAS SOPS 916784 HAS SOUS 538019 HAS SOUPS 538019 WITH SCORE 538935.784
AT ITER 969 NEW BEST:: SOT 1483142 SOS 914552 HAS SOPS 914552 HAS SOUS 535787 HAS SOUPS 535787 WITH SCORE 536701.552
AT ITER 972 NEW BEST:: SOT 1477811 SOS 909728 HAS SOPS 909728 HAS SOUS 530541 HAS SOUPS 530541 WITH SCORE 531450.728
AT ITER 977 NEW BEST:: SOT 1477811 SOS 909702 HAS SOPS 909702 HAS SOUS 530515 HAS SOUPS 530515 WITH SCORE 531424.702
AT ITER 978 NEW BEST:: SOT 1478018 SOS 909689 HAS SOPS 909689 HAS SOUS 530074 HAS SOUPS 530074 WITH SCORE 530983.689
AT ITER 984 NEW BEST:: SOT 1475968 SOS 907820 HAS SOPS 907820 HAS SOUS 529845 HAS SOUPS 529845 WITH SCORE 530752.82
AT ITER 988 NEW BEST:: SOT 1475968 SOS 907521 HAS SOPS 907521 HAS SOUS 529546 HAS SOUPS 529546 WITH SCORE 530453.521
AT ITER 995 NEW BEST:: SOT 1475945 SOS 907496 HAS SOPS 907496 HAS SOUS 529521 HAS SOUPS 529521 WITH SCORE 530428.496
AT ITER 1000 NEW BEST:: SOT 1475945 SOS 905919 HAS SOPS 905919 HAS SOUS 529222 HAS SOUPS 529222 WITH SCORE 530127.919
AT ITER 1002 NEW BEST:: SOT 1475013 SOS 904987 HAS SOPS 904987 HAS SOUS 528248 HAS SOUPS 528248 WITH SCORE 529152.987
AT ITER 1004 NEW BEST:: SOT 1475253 SOS 905227 HAS SOPS 905227 HAS SOUS 528145 HAS SOUPS 528145 WITH SCORE 529050.227
AT ITER 1006 NEW BEST:: SOT 1474592 SOS 904348 HAS SOPS 904348 HAS SOUS 527051 HAS SOUPS 527051 WITH SCORE 527955.348
AT ITER 1015 NEW BEST:: SOT 1474628 SOS 906699 HAS SOPS 906699 HAS SOUS 526761 HAS SOUPS 526761 WITH SCORE 527667.699
AT ITER 1023 NEW BEST:: SOT 1474819 SOS 906567 HAS SOPS 906567 HAS SOUS 526761 HAS SOUPS 526761 WITH SCORE 527667.567
AT ITER 1028 NEW BEST:: SOT 1474653 SOS 906562 HAS SOPS 906562 HAS SOUS 526756 HAS SOUPS 526756 WITH SCORE 527662.562
AT ITER 1031 NEW BEST:: SOT 1474627 SOS 906536 HAS SOPS 906536 HAS SOUS 526756 HAS SOUPS 526756 WITH SCORE 527662.536
AT ITER 1035 NEW BEST:: SOT 1474627 SOS 906471 HAS SOPS 906471 HAS SOUS 526691 HAS SOUPS 526691 WITH SCORE 527597.471
AT ITER 1039 NEW BEST:: SOT 1474627 SOS 906470 HAS SOPS 906470 HAS SOUS 526690 HAS SOUPS 526690 WITH SCORE 527596.47
AT ITER 1045 NEW BEST:: SOT 1474002 SOS 905845 HAS SOPS 905845 HAS SOUS 526065 HAS SOUPS 526065 WITH SCORE 526970.845
AT ITER 1046 NEW BEST:: SOT 1473706 SOS 904677 HAS SOPS 904677 HAS SOUS 524960 HAS SOUPS 524960 WITH SCORE 525864.677
AT ITER 1067 NEW BEST:: SOT 1473066 SOS 903086 HAS SOPS 903086 HAS SOUS 523626 HAS SOUPS 523626 WITH SCORE 524529.086
AT ITER 1071 NEW BEST:: SOT 1473541 SOS 901639 HAS SOPS 901639 HAS SOUS 523348 HAS SOUPS 523348 WITH SCORE 524249.639
AT ITER 1079 NEW BEST:: SOT 1470063 SOS 898896 HAS SOPS 898896 HAS SOUS 519955 HAS SOUPS 519955 WITH SCORE 520853.896
AT ITER 1096 NEW BEST:: SOT 1470063 SOS 898523 HAS SOPS 898523 HAS SOUS 519934 HAS SOUPS 519934 WITH SCORE 520832.523
AT ITER 1098 NEW BEST:: SOT 1469844 SOS 898304 HAS SOPS 898304 HAS SOUS 519715 HAS SOUPS 519715 WITH SCORE 520613.304
AT ITER 1145 NEW BEST:: SOT 1469844 SOS 898162 HAS SOPS 898162 HAS SOUS 519573 HAS SOUPS 519573 WITH SCORE 520471.162
AT ITER 1154 NEW BEST:: SOT 1469749 SOS 898107 HAS SOPS 898107 HAS SOUS 519518 HAS SOUPS 519518 WITH SCORE 520416.107
AT ITER 1158 NEW BEST:: SOT 1469138 SOS 897496 HAS SOPS 897496 HAS SOUS 518907 HAS SOUPS 518907 WITH SCORE 519804.496
AT ITER 1167 NEW BEST:: SOT 1468783 SOS 896699 HAS SOPS 896699 HAS SOUS 518538 HAS SOUPS 518538 WITH SCORE 519434.699
AT ITER 1189 NEW BEST:: SOT 1468405 SOS 895955 HAS SOPS 895955 HAS SOUS 517794 HAS SOUPS 517794 WITH SCORE 518689.955
AT ITER 1198 NEW BEST:: SOT 1468405 SOS 895955 HAS SOPS 895955 HAS SOUS 517790 HAS SOUPS 517790 WITH SCORE 518685.955
AT ITER 1203 NEW BEST:: SOT 1467826 SOS 894422 HAS SOPS 894422 HAS SOUS 516292 HAS SOUPS 516292 WITH SCORE 517186.422
AT ITER 1205 NEW BEST:: SOT 1467826 SOS 894317 HAS SOPS 894317 HAS SOUS 516187 HAS SOUPS 516187 WITH SCORE 517081.317
AT ITER 1214 NEW BEST:: SOT 1467878 SOS 894195 HAS SOPS 894195 HAS SOUS 516074 HAS SOUPS 516074 WITH SCORE 516968.195
AT ITER 1222 NEW BEST:: SOT 1467174 SOS 895694 HAS SOPS 895694 HAS SOUS 515759 HAS SOUPS 515759 WITH SCORE 516654.694
AT ITER 1225 NEW BEST:: SOT 1467174 SOS 895694 HAS SOPS 895694 HAS SOUS 515758 HAS SOUPS 515758 WITH SCORE 516653.694
AT ITER 1227 NEW BEST:: SOT 1466405 SOS 894925 HAS SOPS 894925 HAS SOUS 514539 HAS SOUPS 514539 WITH SCORE 515433.925
AT ITER 1236 NEW BEST:: SOT 1466405 SOS 891305 HAS SOPS 891305 HAS SOUS 514504 HAS SOUPS 514504 WITH SCORE 515395.305
AT ITER 1238 NEW BEST:: SOT 1466402 SOS 890750 HAS SOPS 890750 HAS SOUS 514333 HAS SOUPS 514333 WITH SCORE 515223.75
AT ITER 1242 NEW BEST:: SOT 1466285 SOS 890633 HAS SOPS 890633 HAS SOUS 514185 HAS SOUPS 514185 WITH SCORE 515075.633
AT ITER 1244 NEW BEST:: SOT 1467095 SOS 891263 HAS SOPS 891263 HAS SOUS 514166 HAS SOUPS 514166 WITH SCORE 515057.263
AT ITER 1245 NEW BEST:: SOT 1465958 SOS 890122 HAS SOPS 890122 HAS SOUS 513118 HAS SOUPS 513118 WITH SCORE 514008.122
AT ITER 1246 NEW BEST:: SOT 1465615 SOS 889093 HAS SOPS 889093 HAS SOUS 512758 HAS SOUPS 512758 WITH SCORE 513647.093
AT ITER 1247 NEW BEST:: SOT 1465137 SOS 888614 HAS SOPS 888614 HAS SOUS 512279 HAS SOUPS 512279 WITH SCORE 513167.614
AT ITER 1255 NEW BEST:: SOT 1464870 SOS 888312 HAS SOPS 888312 HAS SOUS 511977 HAS SOUPS 511977 WITH SCORE 512865.312
AT ITER 1258 NEW BEST:: SOT 1457596 SOS 881027 HAS SOPS 881027 HAS SOUS 504495 HAS SOUPS 504495 WITH SCORE 505376.027
AT ITER 1271 NEW BEST:: SOT 1456869 SOS 880515 HAS SOPS 880515 HAS SOUS 503983 HAS SOUPS 503983 WITH SCORE 504863.515
AT ITER 1272 NEW BEST:: SOT 1456711 SOS 880357 HAS SOPS 880357 HAS SOUS 503983 HAS SOUPS 503983 WITH SCORE 504863.357
AT ITER 1282 NEW BEST:: SOT 1454814 SOS 877940 HAS SOPS 877940 HAS SOUS 501788 HAS SOUPS 501788 WITH SCORE 502665.94
AT ITER 1293 NEW BEST:: SOT 1454683 SOS 877809 HAS SOPS 877809 HAS SOUS 501655 HAS SOUPS 501655 WITH SCORE 502532.809
AT ITER 1295 NEW BEST:: SOT 1453859 SOS 877222 HAS SOPS 877222 HAS SOUS 501652 HAS SOUPS 501652 WITH SCORE 502529.222
AT ITER 1296 NEW BEST:: SOT 1453842 SOS 876943 HAS SOPS 876943 HAS SOUS 501430 HAS SOUPS 501430 WITH SCORE 502306.943
AT ITER 1298 NEW BEST:: SOT 1453586 SOS 877191 HAS SOPS 877191 HAS SOUS 501010 HAS SOUPS 501010 WITH SCORE 501887.191
AT ITER 1303 NEW BEST:: SOT 1453576 SOS 877181 HAS SOPS 877181 HAS SOUS 500999 HAS SOUPS 500999 WITH SCORE 501876.181
AT ITER 1304 NEW BEST:: SOT 1453157 SOS 876583 HAS SOPS 876583 HAS SOUS 500524 HAS SOUPS 500524 WITH SCORE 501400.583
AT ITER 1306 NEW BEST:: SOT 1452845 SOS 876754 HAS SOPS 876754 HAS SOUS 500440 HAS SOUPS 500440 WITH SCORE 501316.754
AT ITER 1319 NEW BEST:: SOT 1452845 SOS 876400 HAS SOPS 876400 HAS SOUS 500275 HAS SOUPS 500275 WITH SCORE 501151.4
AT ITER 1324 NEW BEST:: SOT 1452822 SOS 876377 HAS SOPS 876377 HAS SOUS 500252 HAS SOUPS 500252 WITH SCORE 501128.377
AT ITER 1328 NEW BEST:: SOT 1452287 SOS 875905 HAS SOPS 875905 HAS SOUS 499652 HAS SOUPS 499652 WITH SCORE 500527.905
AT ITER 1333 NEW BEST:: SOT 1451948 SOS 875304 HAS SOPS 875304 HAS SOUS 499112 HAS SOUPS 499112 WITH SCORE 499987.304
AT ITER 1337 NEW BEST:: SOT 1451896 SOS 875301 HAS SOPS 875301 HAS SOUS 499108 HAS SOUPS 499108 WITH SCORE 499983.301
AT ITER 1339 NEW BEST:: SOT 1451896 SOS 875244 HAS SOPS 875244 HAS SOUS 499044 HAS SOUPS 499044 WITH SCORE 499919.244
AT ITER 1343 NEW BEST:: SOT 1451777 SOS 875172 HAS SOPS 875172 HAS SOUS 498966 HAS SOUPS 498966 WITH SCORE 499841.172
AT ITER 1346 NEW BEST:: SOT 1451666 SOS 874933 HAS SOPS 874933 HAS SOUS 498938 HAS SOUPS 498938 WITH SCORE 499812.933
AT ITER 1348 NEW BEST:: SOT 1451666 SOS 874933 HAS SOPS 874933 HAS SOUS 498906 HAS SOUPS 498906 WITH SCORE 499780.933
AT ITER 1360 NEW BEST:: SOT 1446492 SOS 874881 HAS SOPS 874881 HAS SOUS 493744 HAS SOUPS 493744 WITH SCORE 494618.881
AT ITER 1367 NEW BEST:: SOT 1446401 SOS 874370 HAS SOPS 874370 HAS SOUS 493301 HAS SOUPS 493301 WITH SCORE 494175.37
AT ITER 1368 NEW BEST:: SOT 1446183 SOS 873933 HAS SOPS 873933 HAS SOUS 493082 HAS SOUPS 493082 WITH SCORE 493955.933
AT ITER 1370 NEW BEST:: SOT 1445741 SOS 873684 HAS SOPS 873684 HAS SOUS 492242 HAS SOUPS 492242 WITH SCORE 493115.684
AT ITER 1379 NEW BEST:: SOT 1445674 SOS 873206 HAS SOPS 873206 HAS SOUS 492086 HAS SOUPS 492086 WITH SCORE 492959.206
AT ITER 1384 NEW BEST:: SOT 1444284 SOS 871816 HAS SOPS 871816 HAS SOUS 490696 HAS SOUPS 490696 WITH SCORE 491567.816
AT ITER 1386 NEW BEST:: SOT 1444311 SOS 871760 HAS SOPS 871760 HAS SOUS 490640 HAS SOUPS 490640 WITH SCORE 491511.76
AT ITER 1389 NEW BEST:: SOT 1443066 SOS 870515 HAS SOPS 870515 HAS SOUS 489395 HAS SOUPS 489395 WITH SCORE 490265.515
AT ITER 1395 NEW BEST:: SOT 1443040 SOS 870489 HAS SOPS 870489 HAS SOUS 489362 HAS SOUPS 489362 WITH SCORE 490232.489
AT ITER 1404 NEW BEST:: SOT 1443074 SOS 868620 HAS SOPS 868620 HAS SOUS 488428 HAS SOUPS 488428 WITH SCORE 489296.62
AT ITER 1405 NEW BEST:: SOT 1442442 SOS 867819 HAS SOPS 867819 HAS SOUS 487489 HAS SOUPS 487489 WITH SCORE 488356.819
AT ITER 1407 NEW BEST:: SOT 1442442 SOS 867819 HAS SOPS 867819 HAS SOUS 487456 HAS SOUPS 487456 WITH SCORE 488323.819
AT ITER 1414 NEW BEST:: SOT 1442442 SOS 867814 HAS SOPS 867814 HAS SOUS 487452 HAS SOUPS 487452 WITH SCORE 488319.814
AT ITER 1417 NEW BEST:: SOT 1442146 SOS 867211 HAS SOPS 867211 HAS SOUS 486860 HAS SOUPS 486860 WITH SCORE 487727.211
AT ITER 1424 NEW BEST:: SOT 1441583 SOS 865758 HAS SOPS 865758 HAS SOUS 486033 HAS SOUPS 486033 WITH SCORE 486898.758
AT ITER 1429 NEW BEST:: SOT 1441569 SOS 865744 HAS SOPS 865744 HAS SOUS 486033 HAS SOUPS 486033 WITH SCORE 486898.744
AT ITER 1437 NEW BEST:: SOT 1440882 SOS 865057 HAS SOPS 865057 HAS SOUS 485346 HAS SOUPS 485346 WITH SCORE 486211.057
AT ITER 1447 NEW BEST:: SOT 1440598 SOS 864512 HAS SOPS 864512 HAS SOUS 485322 HAS SOUPS 485322 WITH SCORE 486186.512
AT ITER 1459 NEW BEST:: SOT 1440158 SOS 862683 HAS SOPS 862683 HAS SOUS 483493 HAS SOUPS 483493 WITH SCORE 484355.683
AT ITER 1464 NEW BEST:: SOT 1439968 SOS 862493 HAS SOPS 862493 HAS SOUS 483303 HAS SOUPS 483303 WITH SCORE 484165.493
AT ITER 1473 NEW BEST:: SOT 1439941 SOS 862841 HAS SOPS 862841 HAS SOUS 483249 HAS SOUPS 483249 WITH SCORE 484111.841
AT ITER 1474 NEW BEST:: SOT 1439935 SOS 862835 HAS SOPS 862835 HAS SOUS 483241 HAS SOUPS 483241 WITH SCORE 484103.835
AT ITER 1481 NEW BEST:: SOT 1434595 SOS 857497 HAS SOPS 857497 HAS SOUS 477903 HAS SOUPS 477903 WITH SCORE 478760.497
AT ITER 1483 NEW BEST:: SOT 1431641 SOS 854543 HAS SOPS 854543 HAS SOUS 474949 HAS SOUPS 474949 WITH SCORE 475803.543
AT ITER 1495 NEW BEST:: SOT 1431222 SOS 854124 HAS SOPS 854124 HAS SOUS 474543 HAS SOUPS 474543 WITH SCORE 475397.124
AT ITER 1496 NEW BEST:: SOT 1430232 SOS 855082 HAS SOPS 855082 HAS SOUS 474145 HAS SOUPS 474145 WITH SCORE 475000.082
AT ITER 1503 NEW BEST:: SOT 1430246 SOS 854825 HAS SOPS 854825 HAS SOUS 474127 HAS SOUPS 474127 WITH SCORE 474981.825
AT ITER 1504 NEW BEST:: SOT 1430155 SOS 854734 HAS SOPS 854734 HAS SOUS 474069 HAS SOUPS 474069 WITH SCORE 474923.734
AT ITER 1511 NEW BEST:: SOT 1429831 SOS 854410 HAS SOPS 854410 HAS SOUS 473745 HAS SOUPS 473745 WITH SCORE 474599.41
AT ITER 1516 NEW BEST:: SOT 1428278 SOS 855266 HAS SOPS 855266 HAS SOUS 472797 HAS SOUPS 472797 WITH SCORE 473652.266
AT ITER 1520 NEW BEST:: SOT 1428273 SOS 855256 HAS SOPS 855256 HAS SOUS 472787 HAS SOUPS 472787 WITH SCORE 473642.256
AT ITER 1522 NEW BEST:: SOT 1426225 SOS 853360 HAS SOPS 853360 HAS SOUS 470827 HAS SOUPS 470827 WITH SCORE 471680.36
AT ITER 1524 NEW BEST:: SOT 1426260 SOS 853984 HAS SOPS 853984 HAS SOUS 470634 HAS SOUPS 470634 WITH SCORE 471487.984
AT ITER 1525 NEW BEST:: SOT 1423296 SOS 851020 HAS SOPS 851020 HAS SOUS 467670 HAS SOUPS 467670 WITH SCORE 468521.02
AT ITER 1528 NEW BEST:: SOT 1423252 SOS 850751 HAS SOPS 850751 HAS SOUS 467648 HAS SOUPS 467648 WITH SCORE 468498.751
AT ITER 1536 NEW BEST:: SOT 1423252 SOS 850751 HAS SOPS 850751 HAS SOUS 467382 HAS SOUPS 467382 WITH SCORE 468232.751
AT ITER 1537 NEW BEST:: SOT 1423257 SOS 850351 HAS SOPS 850351 HAS SOUS 467040 HAS SOUPS 467040 WITH SCORE 467890.351
AT ITER 1540 NEW BEST:: SOT 1423203 SOS 850297 HAS SOPS 850297 HAS SOUS 466986 HAS SOUPS 466986 WITH SCORE 467836.297
AT ITER 1547 NEW BEST:: SOT 1423203 SOS 850285 HAS SOPS 850285 HAS SOUS 466756 HAS SOUPS 466756 WITH SCORE 467606.285
AT ITER 1551 NEW BEST:: SOT 1423194 SOS 850276 HAS SOPS 850276 HAS SOUS 466724 HAS SOUPS 466724 WITH SCORE 467574.276
AT ITER 1568 NEW BEST:: SOT 1422901 SOS 847424 HAS SOPS 847424 HAS SOUS 465913 HAS SOUPS 465913 WITH SCORE 466760.424
AT ITER 1574 NEW BEST:: SOT 1422833 SOS 847356 HAS SOPS 847356 HAS SOUS 465845 HAS SOUPS 465845 WITH SCORE 466692.356
AT ITER 1581 NEW BEST:: SOT 1422888 SOS 847431 HAS SOPS 847431 HAS SOUS 465284 HAS SOUPS 465284 WITH SCORE 466131.431
AT ITER 1588 NEW BEST:: SOT 1422888 SOS 847669 HAS SOPS 847669 HAS SOUS 465196 HAS SOUPS 465196 WITH SCORE 466043.669
AT ITER 1603 NEW BEST:: SOT 1420668 SOS 845449 HAS SOPS 845449 HAS SOUS 462976 HAS SOUPS 462976 WITH SCORE 463821.449
AT ITER 1620 NEW BEST:: SOT 1421088 SOS 845238 HAS SOPS 845238 HAS SOUS 462774 HAS SOUPS 462774 WITH SCORE 463619.238
AT ITER 1635 NEW BEST:: SOT 1420516 SOS 844641 HAS SOPS 844641 HAS SOUS 462329 HAS SOUPS 462329 WITH SCORE 463173.641
AT ITER 1636 NEW BEST:: SOT 1420516 SOS 844641 HAS SOPS 844641 HAS SOUS 462274 HAS SOUPS 462274 WITH SCORE 463118.641
AT ITER 1642 NEW BEST:: SOT 1420328 SOS 844573 HAS SOPS 844573 HAS SOUS 462206 HAS SOUPS 462206 WITH SCORE 463050.573
AT ITER 1644 NEW BEST:: SOT 1420208 SOS 844351 HAS SOPS 844351 HAS SOUS 462009 HAS SOUPS 462009 WITH SCORE 462853.351
AT ITER 1649 NEW BEST:: SOT 1420208 SOS 844280 HAS SOPS 844280 HAS SOUS 461994 HAS SOUPS 461994 WITH SCORE 462838.28
AT ITER 1654 NEW BEST:: SOT 1420112 SOS 844136 HAS SOPS 844136 HAS SOUS 461886 HAS SOUPS 461886 WITH SCORE 462730.136
AT ITER 1661 NEW BEST:: SOT 1420002 SOS 843586 HAS SOPS 843586 HAS SOUS 461666 HAS SOUPS 461666 WITH SCORE 462509.586
AT ITER 1665 NEW BEST:: SOT 1419851 SOS 843411 HAS SOPS 843411 HAS SOUS 461364 HAS SOUPS 461364 WITH SCORE 462207.411
AT ITER 1667 NEW BEST:: SOT 1419851 SOS 846671 HAS SOPS 846671 HAS SOUS 461301 HAS SOUPS 461301 WITH SCORE 462147.671
AT ITER 1678 NEW BEST:: SOT 1419844 SOS 846664 HAS SOPS 846664 HAS SOUS 461287 HAS SOUPS 461287 WITH SCORE 462133.664
AT ITER 1698 NEW BEST:: SOT 1419844 SOS 846354 HAS SOPS 846354 HAS SOUS 460977 HAS SOUPS 460977 WITH SCORE 461823.354
AT ITER 1709 NEW BEST:: SOT 1419780 SOS 846290 HAS SOPS 846290 HAS SOUS 460913 HAS SOUPS 460913 WITH SCORE 461759.29
AT ITER 1711 NEW BEST:: SOT 1419699 SOS 846208 HAS SOPS 846208 HAS SOUS 460822 HAS SOUPS 460822 WITH SCORE 461668.208
AT ITER 1716 NEW BEST:: SOT 1419620 SOS 846129 HAS SOPS 846129 HAS SOUS 460636 HAS SOUPS 460636 WITH SCORE 461482.129
AT ITER 1743 NEW BEST:: SOT 1419620 SOS 846196 HAS SOPS 846196 HAS SOUS 460635 HAS SOUPS 460635 WITH SCORE 461481.196
AT ITER 1748 NEW BEST:: SOT 1419387 SOS 847740 HAS SOPS 847740 HAS SOUS 460610 HAS SOUPS 460610 WITH SCORE 461457.74
AT ITER 1758 NEW BEST:: SOT 1419749 SOS 847861 HAS SOPS 847861 HAS SOUS 460525 HAS SOUPS 460525 WITH SCORE 461372.861
AT ITER 1768 NEW BEST:: SOT 1419590 SOS 847848 HAS SOPS 847848 HAS SOUS 460455 HAS SOUPS 460455 WITH SCORE 461302.848
AT ITER 1777 NEW BEST:: SOT 1419587 SOS 847614 HAS SOPS 847614 HAS SOUS 460284 HAS SOUPS 460284 WITH SCORE 461131.614
AT ITER 1780 NEW BEST:: SOT 1419451 SOS 847465 HAS SOPS 847465 HAS SOUS 460135 HAS SOUPS 460135 WITH SCORE 460982.465
AT ITER 1782 NEW BEST:: SOT 1419056 SOS 846164 HAS SOPS 846164 HAS SOUS 458834 HAS SOUPS 458834 WITH SCORE 459680.164
AT ITER 1787 NEW BEST:: SOT 1419096 SOS 845602 HAS SOPS 845602 HAS SOUS 458385 HAS SOUPS 458385 WITH SCORE 459230.602
AT ITER 1796 NEW BEST:: SOT 1418214 SOS 847631 HAS SOPS 847631 HAS SOUS 457783 HAS SOUPS 457783 WITH SCORE 458630.631
AT ITER 1801 NEW BEST:: SOT 1417965 SOS 845409 HAS SOPS 845409 HAS SOUS 457119 HAS SOUPS 457119 WITH SCORE 457964.409
AT ITER 1804 NEW BEST:: SOT 1417820 SOS 845264 HAS SOPS 845264 HAS SOUS 457085 HAS SOUPS 457085 WITH SCORE 457930.264
AT ITER 1815 NEW BEST:: SOT 1417798 SOS 845189 HAS SOPS 845189 HAS SOUS 457041 HAS SOUPS 457041 WITH SCORE 457886.189
AT ITER 1837 NEW BEST:: SOT 1417604 SOS 844995 HAS SOPS 844995 HAS SOUS 456977 HAS SOUPS 456977 WITH SCORE 457821.995
AT ITER 1848 NEW BEST:: SOT 1417359 SOS 844505 HAS SOPS 844505 HAS SOUS 456487 HAS SOUPS 456487 WITH SCORE 457331.505
AT ITER 1860 NEW BEST:: SOT 1416638 SOS 843790 HAS SOPS 843790 HAS SOUS 455510 HAS SOUPS 455510 WITH SCORE 456353.79
AT ITER 1864 NEW BEST:: SOT 1416535 SOS 843736 HAS SOPS 843736 HAS SOUS 455304 HAS SOUPS 455304 WITH SCORE 456147.736
AT ITER 1869 NEW BEST:: SOT 1416319 SOS 843520 HAS SOPS 843520 HAS SOUS 455018 HAS SOUPS 455018 WITH SCORE 455861.52
AT ITER 1871 NEW BEST:: SOT 1416307 SOS 843504 HAS SOPS 843504 HAS SOUS 454994 HAS SOUPS 454994 WITH SCORE 455837.504
AT ITER 1878 NEW BEST:: SOT 1416685 SOS 843882 HAS SOPS 843882 HAS SOUS 454868 HAS SOUPS 454868 WITH SCORE 455711.882
AT ITER 1887 NEW BEST:: SOT 1415994 SOS 843156 HAS SOPS 843156 HAS SOUS 454142 HAS SOUPS 454142 WITH SCORE 454985.156
AT ITER 1889 NEW BEST:: SOT 1415993 SOS 842680 HAS SOPS 842680 HAS SOUS 454140 HAS SOUPS 454140 WITH SCORE 454982.68
AT ITER 1900 NEW BEST:: SOT 1415993 SOS 841979 HAS SOPS 841979 HAS SOUS 453936 HAS SOUPS 453936 WITH SCORE 454777.979
AT ITER 1927 NEW BEST:: SOT 1414377 SOS 843052 HAS SOPS 843052 HAS SOUS 451963 HAS SOUPS 451963 WITH SCORE 452806.052
AT ITER 1939 NEW BEST:: SOT 1413545 SOS 840495 HAS SOPS 840495 HAS SOUS 450873 HAS SOUPS 450873 WITH SCORE 451713.495
AT ITER 1955 NEW BEST:: SOT 1413418 SOS 840368 HAS SOPS 840368 HAS SOUS 450746 HAS SOUPS 450746 WITH SCORE 451586.368
AT ITER 1966 NEW BEST:: SOT 1413219 SOS 840169 HAS SOPS 840169 HAS SOUS 450547 HAS SOUPS 450547 WITH SCORE 451387.169
AT ITER 1976 NEW BEST:: SOT 1413219 SOS 839373 HAS SOPS 839373 HAS SOUS 450199 HAS SOUPS 450199 WITH SCORE 451038.373
AT ITER 1979 NEW BEST:: SOT 1413095 SOS 839249 HAS SOPS 839249 HAS SOUS 450073 HAS SOUPS 450073 WITH SCORE 450912.249
AT ITER 1980 NEW BEST:: SOT 1413095 SOS 839178 HAS SOPS 839178 HAS SOUS 450008 HAS SOUPS 450008 WITH SCORE 450847.178
AT ITER 2026 NEW BEST:: SOT 1412669 SOS 838508 HAS SOPS 838508 HAS SOUS 449338 HAS SOUPS 449338 WITH SCORE 450176.508
AT ITER 2028 NEW BEST:: SOT 1412668 SOS 837493 HAS SOPS 837493 HAS SOUS 449336 HAS SOUPS 449336 WITH SCORE 450173.493
AT ITER 2029 NEW BEST:: SOT 1414068 SOS 838893 HAS SOPS 838893 HAS SOUS 448643 HAS SOUPS 448643 WITH SCORE 449481.893
AT ITER 2037 NEW BEST:: SOT 1414016 SOS 838733 HAS SOPS 838733 HAS SOUS 448483 HAS SOUPS 448483 WITH SCORE 449321.733
AT ITER 2041 NEW BEST:: SOT 1413955 SOS 838465 HAS SOPS 838465 HAS SOUS 448329 HAS SOUPS 448329 WITH SCORE 449167.465
AT ITER 2047 NEW BEST:: SOT 1414278 SOS 838788 HAS SOPS 838788 HAS SOUS 448057 HAS SOUPS 448057 WITH SCORE 448895.788
AT ITER 2048 NEW BEST:: SOT 1414278 SOS 838626 HAS SOPS 838626 HAS SOUS 448057 HAS SOUPS 448057 WITH SCORE 448895.626
AT ITER 2051 NEW BEST:: SOT 1414278 SOS 838729 HAS SOPS 838729 HAS SOUS 447954 HAS SOUPS 447954 WITH SCORE 448792.729
AT ITER 2052 NEW BEST:: SOT 1412495 SOS 836946 HAS SOPS 836946 HAS SOUS 446167 HAS SOUPS 446167 WITH SCORE 447003.946
AT ITER 2066 NEW BEST:: SOT 1412481 SOS 836932 HAS SOPS 836932 HAS SOUS 446139 HAS SOUPS 446139 WITH SCORE 446975.932
AT ITER 2071 NEW BEST:: SOT 1412477 SOS 836924 HAS SOPS 836924 HAS SOUS 446135 HAS SOUPS 446135 WITH SCORE 446971.924
AT ITER 2085 NEW BEST:: SOT 1412273 SOS 836720 HAS SOPS 836720 HAS SOUS 445931 HAS SOUPS 445931 WITH SCORE 446767.72
AT ITER 2086 NEW BEST:: SOT 1412273 SOS 836121 HAS SOPS 836121 HAS SOUS 445652 HAS SOUPS 445652 WITH SCORE 446488.121
AT ITER 2099 NEW BEST:: SOT 1412031 SOS 836952 HAS SOPS 836952 HAS SOUS 445328 HAS SOUPS 445328 WITH SCORE 446164.952
AT ITER 2100 NEW BEST:: SOT 1412058 SOS 836796 HAS SOPS 836796 HAS SOUS 445172 HAS SOUPS 445172 WITH SCORE 446008.796
AT ITER 2101 NEW BEST:: SOT 1411793 SOS 837564 HAS SOPS 837564 HAS SOUS 444907 HAS SOUPS 444907 WITH SCORE 445744.564
AT ITER 2117 NEW BEST:: SOT 1410883 SOS 837531 HAS SOPS 837531 HAS SOUS 444006 HAS SOUPS 444006 WITH SCORE 444843.531
AT ITER 2118 NEW BEST:: SOT 1410775 SOS 837423 HAS SOPS 837423 HAS SOUS 443894 HAS SOUPS 443894 WITH SCORE 444731.423
AT ITER 2131 NEW BEST:: SOT 1410775 SOS 837343 HAS SOPS 837343 HAS SOUS 443814 HAS SOUPS 443814 WITH SCORE 444651.343
AT ITER 2138 NEW BEST:: SOT 1410712 SOS 837058 HAS SOPS 837058 HAS SOUS 443688 HAS SOUPS 443688 WITH SCORE 444525.058
AT ITER 2145 NEW BEST:: SOT 1410712 SOS 837043 HAS SOPS 837043 HAS SOUS 443673 HAS SOUPS 443673 WITH SCORE 444510.043
AT ITER 2161 NEW BEST:: SOT 1411399 SOS 837585 HAS SOPS 837585 HAS SOUS 443523 HAS SOUPS 443523 WITH SCORE 444360.585
AT ITER 2173 NEW BEST:: SOT 1411290 SOS 837371 HAS SOPS 837371 HAS SOUS 443472 HAS SOUPS 443472 WITH SCORE 444309.371
AT ITER 2174 NEW BEST:: SOT 1409090 SOS 835171 HAS SOPS 835171 HAS SOUS 441272 HAS SOUPS 441272 WITH SCORE 442107.171
AT ITER 2182 NEW BEST:: SOT 1409006 SOS 835016 HAS SOPS 835016 HAS SOUS 441272 HAS SOUPS 441272 WITH SCORE 442107.016
AT ITER 2189 NEW BEST:: SOT 1409001 SOS 835011 HAS SOPS 835011 HAS SOUS 441267 HAS SOUPS 441267 WITH SCORE 442102.011
AT ITER 2193 NEW BEST:: SOT 1409001 SOS 834343 HAS SOPS 834343 HAS SOUS 440876 HAS SOUPS 440876 WITH SCORE 441710.343
AT ITER 2203 NEW BEST:: SOT 1409001 SOS 834274 HAS SOPS 834274 HAS SOUS 440821 HAS SOUPS 440821 WITH SCORE 441655.274
AT ITER 2212 NEW BEST:: SOT 1409001 SOS 833176 HAS SOPS 833176 HAS SOUS 440597 HAS SOUPS 440597 WITH SCORE 441430.176
AT ITER 2221 NEW BEST:: SOT 1408703 SOS 833038 HAS SOPS 833038 HAS SOUS 440549 HAS SOUPS 440549 WITH SCORE 441382.038
AT ITER 2224 NEW BEST:: SOT 1408465 SOS 832565 HAS SOPS 832565 HAS SOUS 440282 HAS SOUPS 440282 WITH SCORE 441114.565
AT ITER 2236 NEW BEST:: SOT 1408465 SOS 831899 HAS SOPS 831899 HAS SOUS 439283 HAS SOUPS 439283 WITH SCORE 440114.899
AT ITER 2242 NEW BEST:: SOT 1408498 SOS 831932 HAS SOPS 831932 HAS SOUS 439050 HAS SOUPS 439050 WITH SCORE 439881.932
AT ITER 2254 NEW BEST:: SOT 1408415 SOS 831683 HAS SOPS 831683 HAS SOUS 438801 HAS SOUPS 438801 WITH SCORE 439632.683
AT ITER 2259 NEW BEST:: SOT 1408314 SOS 831582 HAS SOPS 831582 HAS SOUS 438700 HAS SOUPS 438700 WITH SCORE 439531.582
AT ITER 2281 NEW BEST:: SOT 1408314 SOS 831228 HAS SOPS 831228 HAS SOUS 438523 HAS SOUPS 438523 WITH SCORE 439354.228
AT ITER 2284 NEW BEST:: SOT 1407795 SOS 830851 HAS SOPS 830851 HAS SOUS 437588 HAS SOUPS 437588 WITH SCORE 438418.851
AT ITER 2295 NEW BEST:: SOT 1407803 SOS 830869 HAS SOPS 830869 HAS SOUS 437586 HAS SOUPS 437586 WITH SCORE 438416.869
AT ITER 2312 NEW BEST:: SOT 1407184 SOS 830599 HAS SOPS 830599 HAS SOUS 437080 HAS SOUPS 437080 WITH SCORE 437910.599
AT ITER 2315 NEW BEST:: SOT 1406822 SOS 830251 HAS SOPS 830251 HAS SOUS 436637 HAS SOUPS 436637 WITH SCORE 437467.251
AT ITER 2332 NEW BEST:: SOT 1406822 SOS 829973 HAS SOPS 829973 HAS SOUS 436528 HAS SOUPS 436528 WITH SCORE 437357.973
AT ITER 2333 NEW BEST:: SOT 1406780 SOS 829931 HAS SOPS 829931 HAS SOUS 436409 HAS SOUPS 436409 WITH SCORE 437238.931
AT ITER 2353 NEW BEST:: SOT 1406564 SOS 829715 HAS SOPS 829715 HAS SOUS 436193 HAS SOUPS 436193 WITH SCORE 437022.715
AT ITER 2354 NEW BEST:: SOT 1406549 SOS 829678 HAS SOPS 829678 HAS SOUS 436163 HAS SOUPS 436163 WITH SCORE 436992.678
AT ITER 2357 NEW BEST:: SOT 1406549 SOS 829678 HAS SOPS 829678 HAS SOUS 436026 HAS SOUPS 436026 WITH SCORE 436855.678
AT ITER 2362 NEW BEST:: SOT 1406391 SOS 829520 HAS SOPS 829520 HAS SOUS 435868 HAS SOUPS 435868 WITH SCORE 436697.52
AT ITER 2364 NEW BEST:: SOT 1406552 SOS 829681 HAS SOPS 829681 HAS SOUS 435720 HAS SOUPS 435720 WITH SCORE 436549.681
AT ITER 2366 NEW BEST:: SOT 1406552 SOS 829878 HAS SOPS 829878 HAS SOUS 435707 HAS SOUPS 435707 WITH SCORE 436536.878
AT ITER 2374 NEW BEST:: SOT 1407236 SOS 825257 HAS SOPS 825257 HAS SOUS 435607 HAS SOUPS 435607 WITH SCORE 436432.257
AT ITER 2383 NEW BEST:: SOT 1407235 SOS 825008 HAS SOPS 825008 HAS SOUS 435601 HAS SOUPS 435601 WITH SCORE 436426.008
AT ITER 2388 NEW BEST:: SOT 1407195 SOS 824968 HAS SOPS 824968 HAS SOUS 435558 HAS SOUPS 435558 WITH SCORE 436382.968
AT ITER 2410 NEW BEST:: SOT 1407195 SOS 824849 HAS SOPS 824849 HAS SOUS 435426 HAS SOUPS 435426 WITH SCORE 436250.849
AT ITER 2414 NEW BEST:: SOT 1407195 SOS 824849 HAS SOPS 824849 HAS SOUS 435038 HAS SOUPS 435038 WITH SCORE 435862.849
AT ITER 2439 NEW BEST:: SOT 1407341 SOS 824995 HAS SOPS 824995 HAS SOUS 435034 HAS SOUPS 435034 WITH SCORE 435858.995
AT ITER 2440 NEW BEST:: SOT 1407279 SOS 824933 HAS SOPS 824933 HAS SOUS 434972 HAS SOUPS 434972 WITH SCORE 435796.933
AT ITER 2446 NEW BEST:: SOT 1407119 SOS 823632 HAS SOPS 823632 HAS SOUS 434068 HAS SOUPS 434068 WITH SCORE 434891.632
AT ITER 2447 NEW BEST:: SOT 1405591 SOS 821954 HAS SOPS 821954 HAS SOUS 432379 HAS SOUPS 432379 WITH SCORE 433200.954
AT ITER 2453 NEW BEST:: SOT 1405478 SOS 821840 HAS SOPS 821840 HAS SOUS 432265 HAS SOUPS 432265 WITH SCORE 433086.84
AT ITER 2458 NEW BEST:: SOT 1405478 SOS 821600 HAS SOPS 821600 HAS SOUS 432196 HAS SOUPS 432196 WITH SCORE 433017.6
AT ITER 2463 NEW BEST:: SOT 1405366 SOS 821417 HAS SOPS 821417 HAS SOUS 432144 HAS SOUPS 432144 WITH SCORE 432965.417
AT ITER 2466 NEW BEST:: SOT 1405556 SOS 822761 HAS SOPS 822761 HAS SOUS 431983 HAS SOUPS 431983 WITH SCORE 432805.761
AT ITER 2481 NEW BEST:: SOT 1405547 SOS 822728 HAS SOPS 822728 HAS SOUS 431965 HAS SOUPS 431965 WITH SCORE 432787.728
AT ITER 2484 NEW BEST:: SOT 1405438 SOS 822427 HAS SOPS 822427 HAS SOUS 431689 HAS SOUPS 431689 WITH SCORE 432511.427
AT ITER 2486 NEW BEST:: SOT 1405352 SOS 822341 HAS SOPS 822341 HAS SOUS 431603 HAS SOUPS 431603 WITH SCORE 432425.341
AT ITER 2495 NEW BEST:: SOT 1405161 SOS 822150 HAS SOPS 822150 HAS SOUS 431306 HAS SOUPS 431306 WITH SCORE 432128.15
AT ITER 2497 NEW BEST:: SOT 1405136 SOS 822164 HAS SOPS 822164 HAS SOUS 431302 HAS SOUPS 431302 WITH SCORE 432124.164
AT ITER 2506 NEW BEST:: SOT 1405120 SOS 820945 HAS SOPS 820945 HAS SOUS 431172 HAS SOUPS 431172 WITH SCORE 431992.945
AT ITER 2509 NEW BEST:: SOT 1405119 SOS 820944 HAS SOPS 820944 HAS SOUS 431170 HAS SOUPS 431170 WITH SCORE 431990.944
AT ITER 2517 NEW BEST:: SOT 1404735 SOS 820560 HAS SOPS 820560 HAS SOUS 430786 HAS SOUPS 430786 WITH SCORE 431606.56
AT ITER 2533 NEW BEST:: SOT 1404594 SOS 820360 HAS SOPS 820360 HAS SOUS 430586 HAS SOUPS 430586 WITH SCORE 431406.36
AT ITER 2540 NEW BEST:: SOT 1403698 SOS 820282 HAS SOPS 820282 HAS SOUS 429690 HAS SOUPS 429690 WITH SCORE 430510.282
AT ITER 2547 NEW BEST:: SOT 1403420 SOS 820485 HAS SOPS 820485 HAS SOUS 428716 HAS SOUPS 428716 WITH SCORE 429536.485
AT ITER 2550 NEW BEST:: SOT 1403358 SOS 820423 HAS SOPS 820423 HAS SOUS 428654 HAS SOUPS 428654 WITH SCORE 429474.423
AT ITER 2553 NEW BEST:: SOT 1403479 SOS 820544 HAS SOPS 820544 HAS SOUS 428584 HAS SOUPS 428584 WITH SCORE 429404.544
AT ITER 2563 NEW BEST:: SOT 1403479 SOS 820291 HAS SOPS 820291 HAS SOUS 428233 HAS SOUPS 428233 WITH SCORE 429053.291
AT ITER 2569 NEW BEST:: SOT 1403536 SOS 819418 HAS SOPS 819418 HAS SOUS 427922 HAS SOUPS 427922 WITH SCORE 428741.418
AT ITER 2571 NEW BEST:: SOT 1403454 SOS 818905 HAS SOPS 818905 HAS SOUS 427847 HAS SOUPS 427847 WITH SCORE 428665.905
AT ITER 2574 NEW BEST:: SOT 1403335 SOS 818496 HAS SOPS 818496 HAS SOUS 427438 HAS SOUPS 427438 WITH SCORE 428256.496
AT ITER 2579 NEW BEST:: SOT 1402507 SOS 818111 HAS SOPS 818111 HAS SOUS 427074 HAS SOUPS 427074 WITH SCORE 427892.111
AT ITER 2584 NEW BEST:: SOT 1401534 SOS 817138 HAS SOPS 817138 HAS SOUS 426101 HAS SOUPS 426101 WITH SCORE 426918.138
AT ITER 2588 NEW BEST:: SOT 1401184 SOS 816612 HAS SOPS 816612 HAS SOUS 425575 HAS SOUPS 425575 WITH SCORE 426391.612
AT ITER 2595 NEW BEST:: SOT 1399951 SOS 816928 HAS SOPS 816928 HAS SOUS 424726 HAS SOUPS 424726 WITH SCORE 425542.928
AT ITER 2600 NEW BEST:: SOT 1399843 SOS 816280 HAS SOPS 816280 HAS SOUS 424564 HAS SOUPS 424564 WITH SCORE 425380.28
AT ITER 2618 NEW BEST:: SOT 1399831 SOS 815800 HAS SOPS 815800 HAS SOUS 424540 HAS SOUPS 424540 WITH SCORE 425355.8
AT ITER 2623 NEW BEST:: SOT 1399822 SOS 815791 HAS SOPS 815791 HAS SOUS 424538 HAS SOUPS 424538 WITH SCORE 425353.791
AT ITER 2624 NEW BEST:: SOT 1399099 SOS 815068 HAS SOPS 815068 HAS SOUS 423815 HAS SOUPS 423815 WITH SCORE 424630.068
AT ITER 2635 NEW BEST:: SOT 1398475 SOS 814519 HAS SOPS 814519 HAS SOUS 423266 HAS SOUPS 423266 WITH SCORE 424080.519
AT ITER 2651 NEW BEST:: SOT 1398313 SOS 814083 HAS SOPS 814083 HAS SOUS 422836 HAS SOUPS 422836 WITH SCORE 423650.083
AT ITER 2656 NEW BEST:: SOT 1398301 SOS 814059 HAS SOPS 814059 HAS SOUS 422812 HAS SOUPS 422812 WITH SCORE 423626.059
AT ITER 2660 NEW BEST:: SOT 1398276 SOS 814192 HAS SOPS 814192 HAS SOUS 422730 HAS SOUPS 422730 WITH SCORE 423544.192
AT ITER 2665 NEW BEST:: SOT 1398266 SOS 814173 HAS SOPS 814173 HAS SOUS 422710 HAS SOUPS 422710 WITH SCORE 423524.173
AT ITER 2679 NEW BEST:: SOT 1398072 SOS 814113 HAS SOPS 814113 HAS SOUS 422650 HAS SOUPS 422650 WITH SCORE 423464.113
AT ITER 2680 NEW BEST:: SOT 1398072 SOS 813344 HAS SOPS 813344 HAS SOUS 422507 HAS SOUPS 422507 WITH SCORE 423320.344
AT ITER 2697 NEW BEST:: SOT 1397802 SOS 813074 HAS SOPS 813074 HAS SOUS 422237 HAS SOUPS 422237 WITH SCORE 423050.074
AT ITER 2705 NEW BEST:: SOT 1397752 SOS 813024 HAS SOPS 813024 HAS SOUS 422187 HAS SOUPS 422187 WITH SCORE 423000.024
AT ITER 2720 NEW BEST:: SOT 1397752 SOS 813024 HAS SOPS 813024 HAS SOUS 422186 HAS SOUPS 422186 WITH SCORE 422999.024
AT ITER 2722 NEW BEST:: SOT 1397601 SOS 811048 HAS SOPS 811048 HAS SOUS 421593 HAS SOUPS 421593 WITH SCORE 422404.048
AT ITER 2726 NEW BEST:: SOT 1397537 SOS 810920 HAS SOPS 810920 HAS SOUS 421526 HAS SOUPS 421526 WITH SCORE 422336.92
AT ITER 2728 NEW BEST:: SOT 1397050 SOS 810506 HAS SOPS 810506 HAS SOUS 421039 HAS SOUPS 421039 WITH SCORE 421849.506
AT ITER 2735 NEW BEST:: SOT 1396892 SOS 810329 HAS SOPS 810329 HAS SOUS 420862 HAS SOUPS 420862 WITH SCORE 421672.329
AT ITER 2737 NEW BEST:: SOT 1396782 SOS 810218 HAS SOPS 810218 HAS SOUS 420696 HAS SOUPS 420696 WITH SCORE 421506.218
AT ITER 2752 NEW BEST:: SOT 1396782 SOS 809047 HAS SOPS 809047 HAS SOUS 420437 HAS SOUPS 420437 WITH SCORE 421246.047
AT ITER 2776 NEW BEST:: SOT 1396774 SOS 809031 HAS SOPS 809031 HAS SOUS 420420 HAS SOUPS 420420 WITH SCORE 421229.031
AT ITER 2798 NEW BEST:: SOT 1396774 SOS 809013 HAS SOPS 809013 HAS SOUS 420402 HAS SOUPS 420402 WITH SCORE 421211.013
AT ITER 2802 NEW BEST:: SOT 1396528 SOS 808521 HAS SOPS 808521 HAS SOUS 419732 HAS SOUPS 419732 WITH SCORE 420540.521
AT ITER 2805 NEW BEST:: SOT 1395802 SOS 807855 HAS SOPS 807855 HAS SOUS 418924 HAS SOUPS 418924 WITH SCORE 419731.855
AT ITER 2806 NEW BEST:: SOT 1395750 SOS 807803 HAS SOPS 807803 HAS SOUS 418872 HAS SOUPS 418872 WITH SCORE 419679.803
AT ITER 2813 NEW BEST:: SOT 1395733 SOS 807704 HAS SOPS 807704 HAS SOUS 418838 HAS SOUPS 418838 WITH SCORE 419645.704
AT ITER 2814 NEW BEST:: SOT 1395636 SOS 807649 HAS SOPS 807649 HAS SOUS 418783 HAS SOUPS 418783 WITH SCORE 419590.649
AT ITER 2816 NEW BEST:: SOT 1393602 SOS 806305 HAS SOPS 806305 HAS SOUS 417334 HAS SOUPS 417334 WITH SCORE 418140.305
AT ITER 2829 NEW BEST:: SOT 1393601 SOS 806303 HAS SOPS 806303 HAS SOUS 417332 HAS SOUPS 417332 WITH SCORE 418138.303
AT ITER 2835 NEW BEST:: SOT 1391579 SOS 804281 HAS SOPS 804281 HAS SOUS 415295 HAS SOUPS 415295 WITH SCORE 416099.281
AT ITER 2878 NEW BEST:: SOT 1391553 SOS 804229 HAS SOPS 804229 HAS SOUS 415197 HAS SOUPS 415197 WITH SCORE 416001.229
AT ITER 2886 NEW BEST:: SOT 1390382 SOS 808859 HAS SOPS 808859 HAS SOUS 414659 HAS SOUPS 414659 WITH SCORE 415467.859
AT ITER 2888 NEW BEST:: SOT 1390377 SOS 808467 HAS SOPS 808467 HAS SOUS 414267 HAS SOUPS 414267 WITH SCORE 415075.467
AT ITER 2894 NEW BEST:: SOT 1390377 SOS 808464 HAS SOPS 808464 HAS SOUS 414264 HAS SOUPS 414264 WITH SCORE 415072.464
AT ITER 2906 NEW BEST:: SOT 1390593 SOS 808484 HAS SOPS 808484 HAS SOUS 414055 HAS SOUPS 414055 WITH SCORE 414863.484
AT ITER 2942 NEW BEST:: SOT 1391079 SOS 809064 HAS SOPS 809064 HAS SOUS 413718 HAS SOUPS 413718 WITH SCORE 414527.064
AT ITER 2943 NEW BEST:: SOT 1391079 SOS 808898 HAS SOPS 808898 HAS SOUS 413635 HAS SOUPS 413635 WITH SCORE 414443.898
AT ITER 2947 NEW BEST:: SOT 1390990 SOS 808720 HAS SOPS 808720 HAS SOUS 413531 HAS SOUPS 413531 WITH SCORE 414339.72
AT ITER 2964 NEW BEST:: SOT 1389451 SOS 810219 HAS SOPS 810219 HAS SOUS 412837 HAS SOUPS 412837 WITH SCORE 413647.219
AT ITER 2970 NEW BEST:: SOT 1389451 SOS 809271 HAS SOPS 809271 HAS SOUS 412837 HAS SOUPS 412837 WITH SCORE 413646.271
AT ITER 2981 NEW BEST:: SOT 1389449 SOS 809269 HAS SOPS 809269 HAS SOUS 412827 HAS SOUPS 412827 WITH SCORE 413636.269
AT ITER 3000 NEW BEST:: SOT 1389286 SOS 809106 HAS SOPS 809106 HAS SOUS 412660 HAS SOUPS 412660 WITH SCORE 413469.106
AT ITER 3006 NEW BEST:: SOT 1388836 SOS 808693 HAS SOPS 808693 HAS SOUS 411989 HAS SOUPS 411989 WITH SCORE 412797.693
AT ITER 3008 NEW BEST:: SOT 1388834 SOS 808288 HAS SOPS 808288 HAS SOUS 411985 HAS SOUPS 411985 WITH SCORE 412793.288
AT ITER 3011 NEW BEST:: SOT 1388807 SOS 808261 HAS SOPS 808261 HAS SOUS 411958 HAS SOUPS 411958 WITH SCORE 412766.261
AT ITER 3025 NEW BEST:: SOT 1388589 SOS 808214 HAS SOPS 808214 HAS SOUS 411887 HAS SOUPS 411887 WITH SCORE 412695.214
AT ITER 3028 NEW BEST:: SOT 1388552 SOS 808177 HAS SOPS 808177 HAS SOUS 411850 HAS SOUPS 411850 WITH SCORE 412658.177
AT ITER 3057 NEW BEST:: SOT 1385536 SOS 805161 HAS SOPS 805161 HAS SOUS 408834 HAS SOUPS 408834 WITH SCORE 409639.161
AT ITER 3060 NEW BEST:: SOT 1385019 SOS 805075 HAS SOPS 805075 HAS SOUS 408748 HAS SOUPS 408748 WITH SCORE 409553.075
AT ITER 3072 NEW BEST:: SOT 1384909 SOS 804533 HAS SOPS 804533 HAS SOUS 408418 HAS SOUPS 408418 WITH SCORE 409222.533
AT ITER 3079 NEW BEST:: SOT 1384687 SOS 804755 HAS SOPS 804755 HAS SOUS 408001 HAS SOUPS 408001 WITH SCORE 408805.755
AT ITER 3093 NEW BEST:: SOT 1384624 SOS 804582 HAS SOPS 804582 HAS SOUS 407817 HAS SOUPS 407817 WITH SCORE 408621.582
AT ITER 3104 NEW BEST:: SOT 1384623 SOS 804581 HAS SOPS 804581 HAS SOUS 407815 HAS SOUPS 407815 WITH SCORE 408619.581
AT ITER 3106 NEW BEST:: SOT 1384070 SOS 804141 HAS SOPS 804141 HAS SOUS 407289 HAS SOUPS 407289 WITH SCORE 408093.141
AT ITER 3108 NEW BEST:: SOT 1384070 SOS 804141 HAS SOPS 804141 HAS SOUS 407254 HAS SOUPS 407254 WITH SCORE 408058.141
AT ITER 3114 NEW BEST:: SOT 1384069 SOS 804140 HAS SOPS 804140 HAS SOUS 407253 HAS SOUPS 407253 WITH SCORE 408057.14
AT ITER 3119 NEW BEST:: SOT 1383767 SOS 803838 HAS SOPS 803838 HAS SOUS 406598 HAS SOUPS 406598 WITH SCORE 407401.838
AT ITER 3122 NEW BEST:: SOT 1384231 SOS 803556 HAS SOPS 803556 HAS SOUS 406316 HAS SOUPS 406316 WITH SCORE 407119.556
AT ITER 3136 NEW BEST:: SOT 1384092 SOS 803417 HAS SOPS 803417 HAS SOUS 406038 HAS SOUPS 406038 WITH SCORE 406841.417
AT ITER 3137 NEW BEST:: SOT 1383924 SOS 803081 HAS SOPS 803081 HAS SOUS 405702 HAS SOUPS 405702 WITH SCORE 406505.081
AT ITER 3138 NEW BEST:: SOT 1383458 SOS 802062 HAS SOPS 802062 HAS SOUS 404715 HAS SOUPS 404715 WITH SCORE 405517.062
AT ITER 3145 NEW BEST:: SOT 1383404 SOS 802016 HAS SOPS 802016 HAS SOUS 404669 HAS SOUPS 404669 WITH SCORE 405471.016
AT ITER 3160 NEW BEST:: SOT 1383383 SOS 801890 HAS SOPS 801890 HAS SOUS 404606 HAS SOUPS 404606 WITH SCORE 405407.89
AT ITER 3165 NEW BEST:: SOT 1383383 SOS 801761 HAS SOPS 801761 HAS SOUS 404589 HAS SOUPS 404589 WITH SCORE 405390.761
AT ITER 3172 NEW BEST:: SOT 1383095 SOS 801473 HAS SOPS 801473 HAS SOUS 404301 HAS SOUPS 404301 WITH SCORE 405102.473
AT ITER 3182 NEW BEST:: SOT 1382145 SOS 800006 HAS SOPS 800006 HAS SOUS 403533 HAS SOUPS 403533 WITH SCORE 404333.006
AT ITER 3192 NEW BEST:: SOT 1382145 SOS 800119 HAS SOPS 800119 HAS SOUS 403498 HAS SOUPS 403498 WITH SCORE 404298.119
AT ITER 3193 NEW BEST:: SOT 1382143 SOS 800117 HAS SOPS 800117 HAS SOUS 403494 HAS SOUPS 403494 WITH SCORE 404294.117
AT ITER 3195 NEW BEST:: SOT 1381814 SOS 799498 HAS SOPS 799498 HAS SOUS 402875 HAS SOUPS 402875 WITH SCORE 403674.498
AT ITER 3211 NEW BEST:: SOT 1381814 SOS 798508 HAS SOPS 798508 HAS SOUS 402875 HAS SOUPS 402875 WITH SCORE 403673.508
AT ITER 3216 NEW BEST:: SOT 1380630 SOS 797041 HAS SOPS 797041 HAS SOUS 401408 HAS SOUPS 401408 WITH SCORE 402205.041
AT ITER 3217 NEW BEST:: SOT 1380606 SOS 796981 HAS SOPS 796981 HAS SOUS 401380 HAS SOUPS 401380 WITH SCORE 402176.981
AT ITER 3220 NEW BEST:: SOT 1380677 SOS 796952 HAS SOPS 796952 HAS SOUS 401351 HAS SOUPS 401351 WITH SCORE 402147.952
AT ITER 3235 NEW BEST:: SOT 1380657 SOS 795642 HAS SOPS 795642 HAS SOUS 400627 HAS SOUPS 400627 WITH SCORE 401422.642
AT ITER 3236 NEW BEST:: SOT 1380676 SOS 795826 HAS SOPS 795826 HAS SOUS 400594 HAS SOUPS 400594 WITH SCORE 401389.826
AT ITER 3266 NEW BEST:: SOT 1380752 SOS 794958 HAS SOPS 794958 HAS SOUS 400433 HAS SOUPS 400433 WITH SCORE 401227.958
AT ITER 3275 NEW BEST:: SOT 1380690 SOS 794711 HAS SOPS 794711 HAS SOUS 400235 HAS SOUPS 400235 WITH SCORE 401029.711
AT ITER 3279 NEW BEST:: SOT 1380654 SOS 794675 HAS SOPS 794675 HAS SOUS 400197 HAS SOUPS 400197 WITH SCORE 400991.675
AT ITER 3291 NEW BEST:: SOT 1380652 SOS 794673 HAS SOPS 794673 HAS SOUS 400194 HAS SOUPS 400194 WITH SCORE 400988.673
AT ITER 3292 NEW BEST:: SOT 1380652 SOS 794581 HAS SOPS 794581 HAS SOUS 400194 HAS SOUPS 400194 WITH SCORE 400988.581
AT ITER 3301 NEW BEST:: SOT 1380451 SOS 794202 HAS SOPS 794202 HAS SOUS 399815 HAS SOUPS 399815 WITH SCORE 400609.202
AT ITER 3313 NEW BEST:: SOT 1380451 SOS 794194 HAS SOPS 794194 HAS SOUS 399815 HAS SOUPS 399815 WITH SCORE 400609.194
AT ITER 3327 NEW BEST:: SOT 1380451 SOS 794150 HAS SOPS 794150 HAS SOUS 399815 HAS SOUPS 399815 WITH SCORE 400609.15
AT ITER 3340 NEW BEST:: SOT 1380044 SOS 793741 HAS SOPS 793741 HAS SOUS 399406 HAS SOUPS 399406 WITH SCORE 400199.741
AT ITER 3341 NEW BEST:: SOT 1379961 SOS 793577 HAS SOPS 793577 HAS SOUS 399242 HAS SOUPS 399242 WITH SCORE 400035.577
AT ITER 3345 NEW BEST:: SOT 1379961 SOS 793577 HAS SOPS 793577 HAS SOUS 399240 HAS SOUPS 399240 WITH SCORE 400033.577
AT ITER 3350 NEW BEST:: SOT 1379945 SOS 793561 HAS SOPS 793561 HAS SOUS 399224 HAS SOUPS 399224 WITH SCORE 400017.561
AT ITER 3356 NEW BEST:: SOT 1379760 SOS 793376 HAS SOPS 793376 HAS SOUS 399031 HAS SOUPS 399031 WITH SCORE 399824.376
AT ITER 3358 NEW BEST:: SOT 1379522 SOS 792424 HAS SOPS 792424 HAS SOUS 398555 HAS SOUPS 398555 WITH SCORE 399347.424
AT ITER 3364 NEW BEST:: SOT 1378905 SOS 791807 HAS SOPS 791807 HAS SOUS 397938 HAS SOUPS 397938 WITH SCORE 398729.807
AT ITER 3371 NEW BEST:: SOT 1378893 SOS 791795 HAS SOPS 791795 HAS SOUS 397925 HAS SOUPS 397925 WITH SCORE 398716.795
AT ITER 3380 NEW BEST:: SOT 1378867 SOS 791769 HAS SOPS 791769 HAS SOUS 397899 HAS SOUPS 397899 WITH SCORE 398690.769
AT ITER 3381 NEW BEST:: SOT 1378867 SOS 791470 HAS SOPS 791470 HAS SOUS 397856 HAS SOUPS 397856 WITH SCORE 398647.47
AT ITER 3397 NEW BEST:: SOT 1378730 SOS 791541 HAS SOPS 791541 HAS SOUS 397674 HAS SOUPS 397674 WITH SCORE 398465.541
AT ITER 3413 NEW BEST:: SOT 1378533 SOS 791344 HAS SOPS 791344 HAS SOUS 397470 HAS SOUPS 397470 WITH SCORE 398261.344
AT ITER 3421 NEW BEST:: SOT 1378192 SOS 790966 HAS SOPS 790966 HAS SOUS 396890 HAS SOUPS 396890 WITH SCORE 397680.966
AT ITER 3422 NEW BEST:: SOT 1377982 SOS 788364 HAS SOPS 788364 HAS SOUS 396245 HAS SOUPS 396245 WITH SCORE 397033.364
AT ITER 3454 NEW BEST:: SOT 1377796 SOS 788012 HAS SOPS 788012 HAS SOUS 395893 HAS SOUPS 395893 WITH SCORE 396681.012
AT ITER 3457 NEW BEST:: SOT 1377790 SOS 788006 HAS SOPS 788006 HAS SOUS 395887 HAS SOUPS 395887 WITH SCORE 396675.006
AT ITER 3459 NEW BEST:: SOT 1377790 SOS 787596 HAS SOPS 787596 HAS SOUS 395520 HAS SOUPS 395520 WITH SCORE 396307.596
AT ITER 3467 NEW BEST:: SOT 1377790 SOS 787596 HAS SOPS 787596 HAS SOUS 395449 HAS SOUPS 395449 WITH SCORE 396236.596
AT ITER 3482 NEW BEST:: SOT 1377753 SOS 787559 HAS SOPS 787559 HAS SOUS 395412 HAS SOUPS 395412 WITH SCORE 396199.559
AT ITER 3485 NEW BEST:: SOT 1377600 SOS 787406 HAS SOPS 787406 HAS SOUS 395259 HAS SOUPS 395259 WITH SCORE 396046.406
AT ITER 3488 NEW BEST:: SOT 1377568 SOS 787342 HAS SOPS 787342 HAS SOUS 395103 HAS SOUPS 395103 WITH SCORE 395890.342
AT ITER 3492 NEW BEST:: SOT 1377281 SOS 787119 HAS SOPS 787119 HAS SOUS 394880 HAS SOUPS 394880 WITH SCORE 395667.119
AT ITER 3511 NEW BEST:: SOT 1377243 SOS 787081 HAS SOPS 787081 HAS SOUS 394784 HAS SOUPS 394784 WITH SCORE 395571.081
AT ITER 3532 NEW BEST:: SOT 1377039 SOS 787296 HAS SOPS 787296 HAS SOUS 394715 HAS SOUPS 394715 WITH SCORE 395502.296
AT ITER 3538 NEW BEST:: SOT 1377071 SOS 787916 HAS SOPS 787916 HAS SOUS 394703 HAS SOUPS 394703 WITH SCORE 395490.916
AT ITER 3551 NEW BEST:: SOT 1377042 SOS 787887 HAS SOPS 787887 HAS SOUS 394674 HAS SOUPS 394674 WITH SCORE 395461.887
AT ITER 3555 NEW BEST:: SOT 1376951 SOS 787705 HAS SOPS 787705 HAS SOUS 394492 HAS SOUPS 394492 WITH SCORE 395279.705
AT ITER 3561 NEW BEST:: SOT 1376951 SOS 787581 HAS SOPS 787581 HAS SOUS 394368 HAS SOUPS 394368 WITH SCORE 395155.581
AT ITER 3567 NEW BEST:: SOT 1376777 SOS 787322 HAS SOPS 787322 HAS SOUS 394109 HAS SOUPS 394109 WITH SCORE 394896.322
AT ITER 3584 NEW BEST:: SOT 1376524 SOS 786768 HAS SOPS 786768 HAS SOUS 393567 HAS SOUPS 393567 WITH SCORE 394353.768
AT ITER 3592 NEW BEST:: SOT 1376524 SOS 786759 HAS SOPS 786759 HAS SOUS 393438 HAS SOUPS 393438 WITH SCORE 394224.759
AT ITER 3619 NEW BEST:: SOT 1376451 SOS 786759 HAS SOPS 786759 HAS SOUS 393365 HAS SOUPS 393365 WITH SCORE 394151.759
AT ITER 3630 NEW BEST:: SOT 1376470 SOS 786778 HAS SOPS 786778 HAS SOUS 393227 HAS SOUPS 393227 WITH SCORE 394013.778
AT ITER 3643 NEW BEST:: SOT 1376004 SOS 787113 HAS SOPS 787113 HAS SOUS 392809 HAS SOUPS 392809 WITH SCORE 393596.113
AT ITER 3647 NEW BEST:: SOT 1375911 SOS 787149 HAS SOPS 787149 HAS SOUS 392747 HAS SOUPS 392747 WITH SCORE 393534.149
AT ITER 3648 NEW BEST:: SOT 1375833 SOS 786993 HAS SOPS 786993 HAS SOUS 392591 HAS SOUPS 392591 WITH SCORE 393377.993
AT ITER 3674 NEW BEST:: SOT 1375643 SOS 787594 HAS SOPS 787594 HAS SOUS 392401 HAS SOUPS 392401 WITH SCORE 393188.594
AT ITER 3677 NEW BEST:: SOT 1375643 SOS 787594 HAS SOPS 787594 HAS SOUS 392393 HAS SOUPS 392393 WITH SCORE 393180.594
AT ITER 3680 NEW BEST:: SOT 1375643 SOS 787418 HAS SOPS 787418 HAS SOUS 392376 HAS SOUPS 392376 WITH SCORE 393163.418
AT ITER 3682 NEW BEST:: SOT 1375508 SOS 787144 HAS SOPS 787144 HAS SOUS 392290 HAS SOUPS 392290 WITH SCORE 393077.144
AT ITER 3692 NEW BEST:: SOT 1375237 SOS 786602 HAS SOPS 786602 HAS SOUS 391748 HAS SOUPS 391748 WITH SCORE 392534.602
AT ITER 3706 NEW BEST:: SOT 1375205 SOS 787292 HAS SOPS 787292 HAS SOUS 391527 HAS SOUPS 391527 WITH SCORE 392314.292
AT ITER 3711 NEW BEST:: SOT 1375189 SOS 787276 HAS SOPS 787276 HAS SOUS 391511 HAS SOUPS 391511 WITH SCORE 392298.276
AT ITER 3714 NEW BEST:: SOT 1370583 SOS 778699 HAS SOPS 778699 HAS SOUS 386304 HAS SOUPS 386304 WITH SCORE 387082.699
AT ITER 3734 NEW BEST:: SOT 1370557 SOS 778627 HAS SOPS 778627 HAS SOUS 386298 HAS SOUPS 386298 WITH SCORE 387076.627
AT ITER 3741 NEW BEST:: SOT 1370556 SOS 778626 HAS SOPS 778626 HAS SOUS 386296 HAS SOUPS 386296 WITH SCORE 387074.626
AT ITER 3742 NEW BEST:: SOT 1370955 SOS 777725 HAS SOPS 777725 HAS SOUS 386267 HAS SOUPS 386267 WITH SCORE 387044.725
AT ITER 3755 NEW BEST:: SOT 1370883 SOS 777656 HAS SOPS 777656 HAS SOUS 386198 HAS SOUPS 386198 WITH SCORE 386975.656
AT ITER 3761 NEW BEST:: SOT 1370928 SOS 777552 HAS SOPS 777552 HAS SOUS 386143 HAS SOUPS 386143 WITH SCORE 386920.552
AT ITER 3764 NEW BEST:: SOT 1370922 SOS 777496 HAS SOPS 777496 HAS SOUS 386037 HAS SOUPS 386037 WITH SCORE 386814.496
AT ITER 3775 NEW BEST:: SOT 1369982 SOS 776329 HAS SOPS 776329 HAS SOUS 385561 HAS SOUPS 385561 WITH SCORE 386337.329
AT ITER 3789 NEW BEST:: SOT 1367418 SOS 774013 HAS SOPS 774013 HAS SOUS 382958 HAS SOUPS 382958 WITH SCORE 383732.013
AT ITER 3791 NEW BEST:: SOT 1366345 SOS 775604 HAS SOPS 775604 HAS SOUS 382825 HAS SOUPS 382825 WITH SCORE 383600.604
AT ITER 3799 NEW BEST:: SOT 1366316 SOS 775575 HAS SOPS 775575 HAS SOUS 382767 HAS SOUPS 382767 WITH SCORE 383542.575
AT ITER 3804 NEW BEST:: SOT 1366316 SOS 775494 HAS SOPS 775494 HAS SOUS 382742 HAS SOUPS 382742 WITH SCORE 383517.494
AT ITER 3806 NEW BEST:: SOT 1366289 SOS 775246 HAS SOPS 775246 HAS SOUS 382352 HAS SOUPS 382352 WITH SCORE 383127.246
AT ITER 3822 NEW BEST:: SOT 1366241 SOS 775198 HAS SOPS 775198 HAS SOUS 382303 HAS SOUPS 382303 WITH SCORE 383078.198
AT ITER 3823 NEW BEST:: SOT 1366226 SOS 775106 HAS SOPS 775106 HAS SOUS 382265 HAS SOUPS 382265 WITH SCORE 383040.106
AT ITER 3845 NEW BEST:: SOT 1366121 SOS 775001 HAS SOPS 775001 HAS SOUS 382155 HAS SOUPS 382155 WITH SCORE 382930.001
AT ITER 3851 NEW BEST:: SOT 1366121 SOS 774727 HAS SOPS 774727 HAS SOUS 381881 HAS SOUPS 381881 WITH SCORE 382655.727
AT ITER 3853 NEW BEST:: SOT 1364458 SOS 771782 HAS SOPS 771782 HAS SOUS 380137 HAS SOUPS 380137 WITH SCORE 380908.782
AT ITER 3871 NEW BEST:: SOT 1364458 SOS 770131 HAS SOPS 770131 HAS SOUS 380092 HAS SOUPS 380092 WITH SCORE 380862.131
AT ITER 3880 NEW BEST:: SOT 1364458 SOS 770041 HAS SOPS 770041 HAS SOUS 380002 HAS SOUPS 380002 WITH SCORE 380772.041
AT ITER 3884 NEW BEST:: SOT 1364290 SOS 769823 HAS SOPS 769823 HAS SOUS 379708 HAS SOUPS 379708 WITH SCORE 380477.823
AT ITER 3906 NEW BEST:: SOT 1364223 SOS 769695 HAS SOPS 769695 HAS SOUS 379508 HAS SOUPS 379508 WITH SCORE 380277.695
AT ITER 3914 NEW BEST:: SOT 1364100 SOS 769651 HAS SOPS 769651 HAS SOUS 379464 HAS SOUPS 379464 WITH SCORE 380233.651
AT ITER 3926 NEW BEST:: SOT 1363227 SOS 768694 HAS SOPS 768694 HAS SOUS 379385 HAS SOUPS 379385 WITH SCORE 380153.694
AT ITER 3931 NEW BEST:: SOT 1363181 SOS 768409 HAS SOPS 768409 HAS SOUS 379100 HAS SOUPS 379100 WITH SCORE 379868.409
AT ITER 3932 NEW BEST:: SOT 1363126 SOS 768354 HAS SOPS 768354 HAS SOUS 379045 HAS SOUPS 379045 WITH SCORE 379813.354
AT ITER 3935 NEW BEST:: SOT 1362966 SOS 768041 HAS SOPS 768041 HAS SOUS 378732 HAS SOUPS 378732 WITH SCORE 379500.041
AT ITER 3943 NEW BEST:: SOT 1362965 SOS 768040 HAS SOPS 768040 HAS SOUS 378731 HAS SOUPS 378731 WITH SCORE 379499.04
AT ITER 3944 NEW BEST:: SOT 1362988 SOS 768005 HAS SOPS 768005 HAS SOUS 378696 HAS SOUPS 378696 WITH SCORE 379464.005
AT ITER 3952 NEW BEST:: SOT 1362966 SOS 767986 HAS SOPS 767986 HAS SOUS 378677 HAS SOUPS 378677 WITH SCORE 379444.986
AT ITER 3970 NEW BEST:: SOT 1363037 SOS 767892 HAS SOPS 767892 HAS SOUS 378607 HAS SOUPS 378607 WITH SCORE 379374.892
AT ITER 3988 NEW BEST:: SOT 1362913 SOS 767766 HAS SOPS 767766 HAS SOUS 378359 HAS SOUPS 378359 WITH SCORE 379126.766
AT ITER 3991 NEW BEST:: SOT 1363235 SOS 767763 HAS SOPS 767763 HAS SOUS 378356 HAS SOUPS 378356 WITH SCORE 379123.763
AT ITER 3995 NEW BEST:: SOT 1363515 SOS 768043 HAS SOPS 768043 HAS SOUS 378307 HAS SOUPS 378307 WITH SCORE 379075.043
AT ITER 4005 NEW BEST:: SOT 1363061 SOS 767870 HAS SOPS 767870 HAS SOUS 378092 HAS SOUPS 378092 WITH SCORE 378859.87
AT ITER 4009 NEW BEST:: SOT 1362619 SOS 767280 HAS SOPS 767280 HAS SOUS 377566 HAS SOUPS 377566 WITH SCORE 378333.28
AT ITER 4013 NEW BEST:: SOT 1359625 SOS 770045 HAS SOPS 770045 HAS SOUS 374891 HAS SOUPS 374891 WITH SCORE 375661.045
AT ITER 4030 NEW BEST:: SOT 1359625 SOS 770084 HAS SOPS 770084 HAS SOUS 374769 HAS SOUPS 374769 WITH SCORE 375539.084
AT ITER 4039 NEW BEST:: SOT 1354184 SOS 764643 HAS SOPS 764643 HAS SOUS 369315 HAS SOUPS 369315 WITH SCORE 370079.643
AT ITER 4041 NEW BEST:: SOT 1354285 SOS 764744 HAS SOPS 764744 HAS SOUS 369291 HAS SOUPS 369291 WITH SCORE 370055.744
AT ITER 4042 NEW BEST:: SOT 1353276 SOS 763735 HAS SOPS 763735 HAS SOUS 368282 HAS SOUPS 368282 WITH SCORE 369045.735
AT ITER 4044 NEW BEST:: SOT 1353276 SOS 763725 HAS SOPS 763725 HAS SOUS 368272 HAS SOUPS 368272 WITH SCORE 369035.725
AT ITER 4063 NEW BEST:: SOT 1353276 SOS 763503 HAS SOPS 763503 HAS SOUS 367828 HAS SOUPS 367828 WITH SCORE 368591.503
AT ITER 4077 NEW BEST:: SOT 1353263 SOS 763490 HAS SOPS 763490 HAS SOUS 367815 HAS SOUPS 367815 WITH SCORE 368578.49
AT ITER 4081 NEW BEST:: SOT 1353104 SOS 763348 HAS SOPS 763348 HAS SOUS 367609 HAS SOUPS 367609 WITH SCORE 368372.348
AT ITER 4097 NEW BEST:: SOT 1353046 SOS 762772 HAS SOPS 762772 HAS SOUS 367460 HAS SOUPS 367460 WITH SCORE 368222.772
AT ITER 4112 NEW BEST:: SOT 1352973 SOS 762699 HAS SOPS 762699 HAS SOUS 366883 HAS SOUPS 366883 WITH SCORE 367645.699
AT ITER 4137 NEW BEST:: SOT 1352876 SOS 762602 HAS SOPS 762602 HAS SOUS 366786 HAS SOUPS 366786 WITH SCORE 367548.602
AT ITER 4144 NEW BEST:: SOT 1352732 SOS 762458 HAS SOPS 762458 HAS SOUS 366641 HAS SOUPS 366641 WITH SCORE 367403.458
AT ITER 4149 NEW BEST:: SOT 1352730 SOS 762308 HAS SOPS 762308 HAS SOUS 366491 HAS SOUPS 366491 WITH SCORE 367253.308
AT ITER 4152 NEW BEST:: SOT 1352488 SOS 762201 HAS SOPS 762201 HAS SOUS 366127 HAS SOUPS 366127 WITH SCORE 366889.201
AT ITER 4161 NEW BEST:: SOT 1352494 SOS 762212 HAS SOPS 762212 HAS SOUS 366098 HAS SOUPS 366098 WITH SCORE 366860.212
AT ITER 4166 NEW BEST:: SOT 1352490 SOS 762204 HAS SOPS 762204 HAS SOUS 366092 HAS SOUPS 366092 WITH SCORE 366854.204
AT ITER 4172 NEW BEST:: SOT 1352471 SOS 762204 HAS SOPS 762204 HAS SOUS 366073 HAS SOUPS 366073 WITH SCORE 366835.204
AT ITER 4177 NEW BEST:: SOT 1352326 SOS 761744 HAS SOPS 761744 HAS SOUS 365896 HAS SOUPS 365896 WITH SCORE 366657.744
AT ITER 4181 NEW BEST:: SOT 1352296 SOS 761654 HAS SOPS 761654 HAS SOUS 365808 HAS SOUPS 365808 WITH SCORE 366569.654
AT ITER 4185 NEW BEST:: SOT 1352180 SOS 761480 HAS SOPS 761480 HAS SOUS 365634 HAS SOUPS 365634 WITH SCORE 366395.48
AT ITER 4207 NEW BEST:: SOT 1351794 SOS 760855 HAS SOPS 760855 HAS SOUS 365009 HAS SOUPS 365009 WITH SCORE 365769.855
AT ITER 4228 NEW BEST:: SOT 1351697 SOS 760661 HAS SOPS 760661 HAS SOUS 364815 HAS SOUPS 364815 WITH SCORE 365575.661
AT ITER 4232 NEW BEST:: SOT 1351342 SOS 760081 HAS SOPS 760081 HAS SOUS 364184 HAS SOUPS 364184 WITH SCORE 364944.081
AT ITER 4238 NEW BEST:: SOT 1351745 SOS 760385 HAS SOPS 760385 HAS SOUS 364124 HAS SOUPS 364124 WITH SCORE 364884.385
AT ITER 4243 NEW BEST:: SOT 1351590 SOS 760133 HAS SOPS 760133 HAS SOUS 363769 HAS SOUPS 363769 WITH SCORE 364529.133
AT ITER 4278 NEW BEST:: SOT 1351515 SOS 760408 HAS SOPS 760408 HAS SOUS 363729 HAS SOUPS 363729 WITH SCORE 364489.408
AT ITER 4299 NEW BEST:: SOT 1351515 SOS 760347 HAS SOPS 760347 HAS SOUS 363729 HAS SOUPS 363729 WITH SCORE 364489.347
AT ITER 4337 NEW BEST:: SOT 1351515 SOS 760369 HAS SOPS 760369 HAS SOUS 363413 HAS SOUPS 363413 WITH SCORE 364173.369
AT ITER 4375 NEW BEST:: SOT 1351434 SOS 760224 HAS SOPS 760224 HAS SOUS 363297 HAS SOUPS 363297 WITH SCORE 364057.224
AT ITER 4392 NEW BEST:: SOT 1351385 SOS 760161 HAS SOPS 760161 HAS SOUS 363234 HAS SOUPS 363234 WITH SCORE 363994.161
AT ITER 4395 NEW BEST:: SOT 1351373 SOS 760125 HAS SOPS 760125 HAS SOUS 363210 HAS SOUPS 363210 WITH SCORE 363970.125
AT ITER 4419 NEW BEST:: SOT 1351944 SOS 753311 HAS SOPS 753311 HAS SOUS 362971 HAS SOUPS 362971 WITH SCORE 363724.311
AT ITER 4423 NEW BEST:: SOT 1351985 SOS 753393 HAS SOPS 753393 HAS SOUS 362941 HAS SOUPS 362941 WITH SCORE 363694.393
AT ITER 4433 NEW BEST:: SOT 1352179 SOS 752747 HAS SOPS 752747 HAS SOUS 362510 HAS SOUPS 362510 WITH SCORE 363262.747
AT ITER 4457 NEW BEST:: SOT 1352013 SOS 751357 HAS SOPS 751357 HAS SOUS 362165 HAS SOUPS 362165 WITH SCORE 362916.357
AT ITER 4461 NEW BEST:: SOT 1352007 SOS 751287 HAS SOPS 751287 HAS SOUS 362095 HAS SOUPS 362095 WITH SCORE 362846.287
AT ITER 4497 NEW BEST:: SOT 1352005 SOS 751285 HAS SOPS 751285 HAS SOUS 362093 HAS SOUPS 362093 WITH SCORE 362844.285
AT ITER 4505 NEW BEST:: SOT 1351902 SOS 751215 HAS SOPS 751215 HAS SOUS 362023 HAS SOUPS 362023 WITH SCORE 362774.215
AT ITER 4514 NEW BEST:: SOT 1351903 SOS 751426 HAS SOPS 751426 HAS SOUS 361854 HAS SOUPS 361854 WITH SCORE 362605.426
AT ITER 4518 NEW BEST:: SOT 1351857 SOS 750964 HAS SOPS 750964 HAS SOUS 361729 HAS SOUPS 361729 WITH SCORE 362479.964
AT ITER 4529 NEW BEST:: SOT 1351796 SOS 750953 HAS SOPS 750953 HAS SOUS 361612 HAS SOUPS 361612 WITH SCORE 362362.953
AT ITER 4532 NEW BEST:: SOT 1351578 SOS 750592 HAS SOPS 750592 HAS SOUS 361245 HAS SOUPS 361245 WITH SCORE 361995.592
AT ITER 4534 NEW BEST:: SOT 1350691 SOS 751831 HAS SOPS 751831 HAS SOUS 360535 HAS SOUPS 360535 WITH SCORE 361286.831
AT ITER 4542 NEW BEST:: SOT 1350678 SOS 751805 HAS SOPS 751805 HAS SOUS 360509 HAS SOUPS 360509 WITH SCORE 361260.805
AT ITER 4543 NEW BEST:: SOT 1350644 SOS 751784 HAS SOPS 751784 HAS SOUS 360488 HAS SOUPS 360488 WITH SCORE 361239.784
AT ITER 4553 NEW BEST:: SOT 1350644 SOS 751648 HAS SOPS 751648 HAS SOUS 360488 HAS SOUPS 360488 WITH SCORE 361239.648
AT ITER 4592 NEW BEST:: SOT 1350644 SOS 751513 HAS SOPS 751513 HAS SOUS 360353 HAS SOUPS 360353 WITH SCORE 361104.513
AT ITER 4613 NEW BEST:: SOT 1350613 SOS 751482 HAS SOPS 751482 HAS SOUS 360241 HAS SOUPS 360241 WITH SCORE 360992.482
AT ITER 4623 NEW BEST:: SOT 1350431 SOS 751300 HAS SOPS 751300 HAS SOUS 359877 HAS SOUPS 359877 WITH SCORE 360628.3
AT ITER 4636 NEW BEST:: SOT 1349196 SOS 750398 HAS SOPS 750398 HAS SOUS 359722 HAS SOUPS 359722 WITH SCORE 360472.398
AT ITER 4647 NEW BEST:: SOT 1349032 SOS 750234 HAS SOPS 750234 HAS SOUS 359557 HAS SOUPS 359557 WITH SCORE 360307.234
AT ITER 4654 NEW BEST:: SOT 1349014 SOS 750180 HAS SOPS 750180 HAS SOUS 359503 HAS SOUPS 359503 WITH SCORE 360253.18
AT ITER 4656 NEW BEST:: SOT 1349014 SOS 750154 HAS SOPS 750154 HAS SOUS 359477 HAS SOUPS 359477 WITH SCORE 360227.154
AT ITER 4663 NEW BEST:: SOT 1348769 SOS 750025 HAS SOPS 750025 HAS SOUS 359348 HAS SOUPS 359348 WITH SCORE 360098.025
AT ITER 4667 NEW BEST:: SOT 1348393 SOS 749649 HAS SOPS 749649 HAS SOUS 359214 HAS SOUPS 359214 WITH SCORE 359963.649
AT ITER 4694 NEW BEST:: SOT 1348325 SOS 749497 HAS SOPS 749497 HAS SOUS 359096 HAS SOUPS 359096 WITH SCORE 359845.497
AT ITER 4705 NEW BEST:: SOT 1348287 SOS 749447 HAS SOPS 749447 HAS SOUS 359055 HAS SOUPS 359055 WITH SCORE 359804.447
AT ITER 4708 NEW BEST:: SOT 1348284 SOS 749444 HAS SOPS 749444 HAS SOUS 359052 HAS SOUPS 359052 WITH SCORE 359801.444
AT ITER 4715 NEW BEST:: SOT 1348068 SOS 749376 HAS SOPS 749376 HAS SOUS 358992 HAS SOUPS 358992 WITH SCORE 359741.376
AT ITER 4730 NEW BEST:: SOT 1348035 SOS 749325 HAS SOPS 749325 HAS SOUS 358941 HAS SOUPS 358941 WITH SCORE 359690.325
AT ITER 4734 NEW BEST:: SOT 1347888 SOS 749031 HAS SOPS 749031 HAS SOUS 358725 HAS SOUPS 358725 WITH SCORE 359474.031
AT ITER 4735 NEW BEST:: SOT 1347739 SOS 748810 HAS SOPS 748810 HAS SOUS 358504 HAS SOUPS 358504 WITH SCORE 359252.81
AT ITER 4736 NEW BEST:: SOT 1347677 SOS 748702 HAS SOPS 748702 HAS SOUS 358396 HAS SOUPS 358396 WITH SCORE 359144.702
AT ITER 4750 NEW BEST:: SOT 1344657 SOS 745682 HAS SOPS 745682 HAS SOUS 355164 HAS SOUPS 355164 WITH SCORE 355909.682
AT ITER 4752 NEW BEST:: SOT 1344648 SOS 745664 HAS SOPS 745664 HAS SOUS 355146 HAS SOUPS 355146 WITH SCORE 355891.664
AT ITER 4759 NEW BEST:: SOT 1344647 SOS 745696 HAS SOPS 745696 HAS SOUS 355118 HAS SOUPS 355118 WITH SCORE 355863.696
AT ITER 4783 NEW BEST:: SOT 1344647 SOS 745678 HAS SOPS 745678 HAS SOUS 355116 HAS SOUPS 355116 WITH SCORE 355861.678
AT ITER 4792 NEW BEST:: SOT 1344630 SOS 745631 HAS SOPS 745631 HAS SOUS 355069 HAS SOUPS 355069 WITH SCORE 355814.631
AT ITER 4804 NEW BEST:: SOT 1344137 SOS 744525 HAS SOPS 744525 HAS SOUS 354696 HAS SOUPS 354696 WITH SCORE 355440.525
AT ITER 4820 NEW BEST:: SOT 1343897 SOS 743818 HAS SOPS 743818 HAS SOUS 354457 HAS SOUPS 354457 WITH SCORE 355200.818
AT ITER 4822 NEW BEST:: SOT 1343805 SOS 743726 HAS SOPS 743726 HAS SOUS 354365 HAS SOUPS 354365 WITH SCORE 355108.726
AT ITER 4835 NEW BEST:: SOT 1343725 SOS 743692 HAS SOPS 743692 HAS SOUS 354205 HAS SOUPS 354205 WITH SCORE 354948.692
AT ITER 4843 NEW BEST:: SOT 1343725 SOS 743666 HAS SOPS 743666 HAS SOUS 354179 HAS SOUPS 354179 WITH SCORE 354922.666
AT ITER 4852 NEW BEST:: SOT 1343443 SOS 741815 HAS SOPS 741815 HAS SOUS 353693 HAS SOUPS 353693 WITH SCORE 354434.815
AT ITER 4853 NEW BEST:: SOT 1343294 SOS 741415 HAS SOPS 741415 HAS SOUS 353677 HAS SOUPS 353677 WITH SCORE 354418.415
AT ITER 4861 NEW BEST:: SOT 1342921 SOS 741042 HAS SOPS 741042 HAS SOUS 353217 HAS SOUPS 353217 WITH SCORE 353958.042
AT ITER 4865 NEW BEST:: SOT 1342892 SOS 741013 HAS SOPS 741013 HAS SOUS 353188 HAS SOUPS 353188 WITH SCORE 353929.013
AT ITER 4867 NEW BEST:: SOT 1342890 SOS 740938 HAS SOPS 740938 HAS SOUS 353184 HAS SOUPS 353184 WITH SCORE 353924.938
AT ITER 4877 NEW BEST:: SOT 1342314 SOS 740338 HAS SOPS 740338 HAS SOUS 352966 HAS SOUPS 352966 WITH SCORE 353706.338
AT ITER 4878 NEW BEST:: SOT 1342226 SOS 740250 HAS SOPS 740250 HAS SOUS 352878 HAS SOUPS 352878 WITH SCORE 353618.25
AT ITER 4882 NEW BEST:: SOT 1342219 SOS 740243 HAS SOPS 740243 HAS SOUS 352852 HAS SOUPS 352852 WITH SCORE 353592.243
AT ITER 4885 NEW BEST:: SOT 1342205 SOS 740190 HAS SOPS 740190 HAS SOUS 352828 HAS SOUPS 352828 WITH SCORE 353568.19
AT ITER 4886 NEW BEST:: SOT 1341889 SOS 740088 HAS SOPS 740088 HAS SOUS 352726 HAS SOUPS 352726 WITH SCORE 353466.088
AT ITER 4906 NEW BEST:: SOT 1341687 SOS 739717 HAS SOPS 739717 HAS SOUS 352177 HAS SOUPS 352177 WITH SCORE 352916.717
AT ITER 4940 NEW BEST:: SOT 1341687 SOS 739161 HAS SOPS 739161 HAS SOUS 351911 HAS SOUPS 351911 WITH SCORE 352650.161
AT ITER 4947 NEW BEST:: SOT 1341587 SOS 739061 HAS SOPS 739061 HAS SOUS 351811 HAS SOUPS 351811 WITH SCORE 352550.061
AT ITER 4963 NEW BEST:: SOT 1341419 SOS 738893 HAS SOPS 738893 HAS SOUS 351643 HAS SOUPS 351643 WITH SCORE 352381.893
Bounds file is: CTLFireability.xml
PROPERTY: ASLink-PT-06a-CTLFireability-00 ( (EX( ((potential((tk(P791)>=1) & (tk(P794)>=1) & (tk(P606)>=1)))))) | ( ((potential((tk(P247)>=1) & (tk(P474)>=1)))) | ( ( (EX( ((potential((tk(P554)>=1) & (tk(P551)>=1) & (tk(P557)>=1) & (tk(P618)>=1)))))) | (EF( ((potential((tk(P242)>=1) & (tk(P467)>=1)))))) ) | (EG( (! ((potential((tk(P1205)>=1) & (tk(P1366)>=1))))))) ) ) )
PROPERTY: ASLink-PT-06a-CTLFireability-01 (EF( ( (AF( ( ((potential((tk(P1390)>=1)))) | ((potential((tk(P623)>=1) & (tk(P854)>=1)))) ))) & (EU( ((potential((tk(P1016)>=1) & (tk(P1210)>=1)))) , ((potential((tk(P243)>=1) & (tk(P470)>=1)))) )) )))
PROPERTY: ASLink-PT-06a-CTLFireability-02 (! ( ((potential((tk(P639)>=1) & (tk(P715)>=1)))) | ( ( (EF( ((potential((tk(P237)>=1) & (tk(P472)>=1)))))) | (EF( ((potential((tk(P1015)>=1) & (tk(P1219)>=1)))))) ) & ( (AF( ((potential((tk(P50)>=1) & (tk(P282)>=1)))))) | (! (! ((potential((tk(P448)>=1) & (tk(P605)>=1)))))) ) ) ))
PROPERTY: ASLink-PT-06a-CTLFireability-03 (EG( (! (EU( ((potential((tk(P145)>=1)))) , ((potential((tk(P438)>=1) & (tk(P661)>=1)))) )))))
PROPERTY: ASLink-PT-06a-CTLFireability-04 ( (! (AG( (EX( ((potential((tk(P1025)>=1) & (tk(P1215)>=1))))))))) & (EU( (! ((potential((tk(P426)>=1) & (tk(P497)>=1))))) , ( ( ((potential((tk(P817)>=1) & (tk(P888)>=1)))) | ((potential((tk(P1019)>=1) & (tk(P1236)>=1)))) ) & ((potential((tk(P145)>=1)))) ) )) )
PROPERTY: ASLink-PT-06a-CTLFireability-05 (EF( ( (AG( ((potential((tk(P1010)>=1) & (tk(P1080)>=1)))))) | ((potential((tk(P434)>=1) & (tk(P673)>=1)))) )))
PROPERTY: ASLink-PT-06a-CTLFireability-06 (AU( ((potential((tk(P946)>=1)))) , (EF( ( ((potential((tk(P485)>=1) & (tk(P617)>=1)))) | ((potential((tk(P1022)>=1) & (tk(P1210)>=1)))) ))) ))
PROPERTY: ASLink-PT-06a-CTLFireability-07 (EF( ((potential((tk(P828)>=1) & (tk(P1063)>=1))))))
PROPERTY: ASLink-PT-06a-CTLFireability-08 ( (AG( (! (! ((potential((tk(P291)>=1)))))))) | ( (AF( (! ( ((potential((tk(P1152)>=1) & (tk(P1186)>=1)))) | ((potential((tk(P2)>=1) & (tk(P33)>=1)))) )))) & (AX( (EF( ((potential((tk(P596)>=1) & (tk(P599)>=1) & (tk(P411)>=1)))))))) ) )
PROPERTY: ASLink-PT-06a-CTLFireability-09 ( ( (! (! (EX( ((potential((tk(P439)>=1) & (tk(P664)>=1)))))))) & (! ( (EG( ((potential((tk(P825)>=1) & (tk(P1052)>=1)))))) | (! (! ((potential((tk(P791)>=1) & (tk(P794)>=1) & (tk(P606)>=1)))))) )) ) | (AG( (EF( ( ((potential((tk(P94)>=1) & (tk(P223)>=1)))) | ((potential((tk(P1026)>=1) & (tk(P1233)>=1)))) ))))) )
PROPERTY: ASLink-PT-06a-CTLFireability-10 (AU( (EF( ( ((potential((tk(P239)>=1) & (tk(P468)>=1)))) & ((potential((tk(P873)>=1) & (tk(P852)>=1)))) ))) , (EX( ( ((potential((tk(P19)>=1) & (tk(P84)>=1)))) & ((potential((tk(P429)>=1) & (tk(P672)>=1)))) ))) ))
PROPERTY: ASLink-PT-06a-CTLFireability-11 ( (EG( (! (AF( ((potential((tk(P443)>=1) & (tk(P674)>=1))))))))) | (EG( (AU( ((potential((tk(P921)>=1)))) , ((potential((tk(P821)>=1) & (tk(P1060)>=1)))) )))) )
PROPERTY: ASLink-PT-06a-CTLFireability-12 ( (AU( (AF( ((potential((tk(P1279)>=1)))))) , ( ( ((potential((tk(P709)>=1)))) & ((potential((tk(P625)>=1) & (tk(P860)>=1)))) ) & ( ((potential((tk(P1192)>=1) & (tk(P1256)>=1)))) | ((potential((tk(P831)>=1) & (tk(P1056)>=1)))) ) ) )) & (AU( (! (! ((potential((tk(P235)>=1) & (tk(P474)>=1)))))) , (EF( ((potential((tk(P36)>=1) & (tk(P112)>=1)))))) )) )
PROPERTY: ASLink-PT-06a-CTLFireability-13 (EU( (! ( ( ((potential((tk(P429)>=1) & (tk(P666)>=1)))) | ((potential((tk(P1194)>=1) & (tk(P1255)>=1)))) ) & ((potential((tk(P771)>=1)))) )) , ( ( ( ((potential((tk(P756)>=1)))) & ((potential((tk(P43)>=1) & (tk(P277)>=1)))) ) & (! ((potential((tk(P1195)>=1) & (tk(P1252)>=1))))) ) & (AX( ((potential((tk(P630)>=1) & (tk(P867)>=1)))))) ) ))
PROPERTY: ASLink-PT-06a-CTLFireability-14 (AF( (EU( (! ((potential((tk(P20)>=1) & (tk(P34)>=1))))) , ((potential((tk(P450)>=1) & (tk(P605)>=1)))) ))))
PROPERTY: ASLink-PT-06a-CTLFireability-15 (! (EU( ( ( ((potential((tk(P455)>=1) & (tk(P601)>=1)))) & ((potential((tk(P740)>=1)))) ) | (! ((potential((tk(P1192)>=1) & (tk(P1260)>=1))))) ) , ( ( ((potential((tk(P9)>=1) & (tk(P84)>=1)))) & ((potential((tk(P1223)>=1) & (tk(P1270)>=1)))) ) & ( ((potential((tk(P768)>=1)))) | ((potential((tk(P822)>=1) & (tk(P1051)>=1)))) ) ) )))

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="ASLink-PT-06a"
export BK_EXAMINATION="CTLFireability"
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 ASLink-PT-06a, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-smll-158897508100092"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/ASLink-PT-06a.tgz
mv ASLink-PT-06a execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "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 [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "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 "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.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 '' CTLFireability.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
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 ;