Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r003-oct2-167813590400088.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is ASLink-PT-05b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813590400088
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 73K Feb 26 13:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.6K Feb 26 13:08 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 26 13:08 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Feb 25 15:29 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:29 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 15:29 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:29 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.8K Feb 26 13:08 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 13:08 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.8K Feb 26 13:08 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 55K Feb 26 13:08 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:29 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:29 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 795K Mar 5 18:22 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 1678469063193

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ASLink-PT-05b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ASLink (PT), instance 05b
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 2430 places, 3040 transitions, 9292 arcs.
AT ITER 0 NEW BEST:: SOT 4060326 SOS 958073 HAS SOPS 958073 HAS SOUS 765610 HAS SOUPS 765610 WITH SCORE 766568.073
AT ITER 22 NEW BEST:: SOT 4060325 SOS 958071 HAS SOPS 958071 HAS SOUS 765608 HAS SOUPS 765608 WITH SCORE 766566.071
AT ITER 26 NEW BEST:: SOT 4060329 SOS 958030 HAS SOPS 958030 HAS SOUS 765311 HAS SOUPS 765311 WITH SCORE 766269.03
AT ITER 40 NEW BEST:: SOT 4059809 SOS 958737 HAS SOPS 958737 HAS SOUS 765122 HAS SOUPS 765122 WITH SCORE 766080.737
AT ITER 50 NEW BEST:: SOT 4059827 SOS 958654 HAS SOPS 958654 HAS SOUS 765057 HAS SOUPS 765057 WITH SCORE 766015.654
AT ITER 63 NEW BEST:: SOT 4059713 SOS 958184 HAS SOPS 958184 HAS SOUS 764829 HAS SOUPS 764829 WITH SCORE 765787.184
AT ITER 69 NEW BEST:: SOT 4059591 SOS 957940 HAS SOPS 957940 HAS SOUS 764585 HAS SOUPS 764585 WITH SCORE 765542.94
AT ITER 80 NEW BEST:: SOT 4059591 SOS 957936 HAS SOPS 957936 HAS SOUS 764581 HAS SOUPS 764581 WITH SCORE 765538.936
AT ITER 87 NEW BEST:: SOT 4059590 SOS 957934 HAS SOPS 957934 HAS SOUS 764579 HAS SOUPS 764579 WITH SCORE 765536.934
AT ITER 93 NEW BEST:: SOT 4059450 SOS 957932 HAS SOPS 957932 HAS SOUS 764577 HAS SOUPS 764577 WITH SCORE 765534.932
AT ITER 94 NEW BEST:: SOT 4059259 SOS 957028 HAS SOPS 957028 HAS SOUS 764217 HAS SOUPS 764217 WITH SCORE 765174.028
AT ITER 102 NEW BEST:: SOT 4059048 SOS 956796 HAS SOPS 956796 HAS SOUS 763964 HAS SOUPS 763964 WITH SCORE 764920.796
AT ITER 107 NEW BEST:: SOT 4059048 SOS 956756 HAS SOPS 956756 HAS SOUS 763924 HAS SOUPS 763924 WITH SCORE 764880.756
AT ITER 170 NEW BEST:: SOT 4058968 SOS 956672 HAS SOPS 956672 HAS SOUS 763843 HAS SOUPS 763843 WITH SCORE 764799.672
AT ITER 171 NEW BEST:: SOT 4058921 SOS 956625 HAS SOPS 956625 HAS SOUS 763796 HAS SOUPS 763796 WITH SCORE 764752.625
AT ITER 181 NEW BEST:: SOT 4058921 SOS 956559 HAS SOPS 956559 HAS SOUS 763730 HAS SOUPS 763730 WITH SCORE 764686.559
AT ITER 192 NEW BEST:: SOT 4058086 SOS 956049 HAS SOPS 956049 HAS SOUS 763224 HAS SOUPS 763224 WITH SCORE 764180.049
AT ITER 198 NEW BEST:: SOT 4057813 SOS 955503 HAS SOPS 955503 HAS SOUS 762674 HAS SOUPS 762674 WITH SCORE 763629.503
AT ITER 206 NEW BEST:: SOT 4057659 SOS 955348 HAS SOPS 955348 HAS SOUS 762519 HAS SOUPS 762519 WITH SCORE 763474.348
AT ITER 247 NEW BEST:: SOT 4054322 SOS 952224 HAS SOPS 952224 HAS SOUS 762164 HAS SOUPS 762164 WITH SCORE 763116.224
AT ITER 250 NEW BEST:: SOT 4053955 SOS 951845 HAS SOPS 951845 HAS SOUS 761780 HAS SOUPS 761780 WITH SCORE 762731.845
AT ITER 259 NEW BEST:: SOT 4053946 SOS 951836 HAS SOPS 951836 HAS SOUS 761762 HAS SOUPS 761762 WITH SCORE 762713.836
AT ITER 269 NEW BEST:: SOT 4053942 SOS 951832 HAS SOPS 951832 HAS SOUS 761758 HAS SOUPS 761758 WITH SCORE 762709.832
AT ITER 271 NEW BEST:: SOT 4053368 SOS 951911 HAS SOPS 951911 HAS SOUS 761519 HAS SOUPS 761519 WITH SCORE 762470.911
AT ITER 276 NEW BEST:: SOT 4053292 SOS 951835 HAS SOPS 951835 HAS SOUS 761443 HAS SOUPS 761443 WITH SCORE 762394.835
AT ITER 289 NEW BEST:: SOT 4053209 SOS 951613 HAS SOPS 951613 HAS SOUS 761304 HAS SOUPS 761304 WITH SCORE 762255.613
AT ITER 297 NEW BEST:: SOT 4053209 SOS 951546 HAS SOPS 951546 HAS SOUS 761303 HAS SOUPS 761303 WITH SCORE 762254.546
AT ITER 308 NEW BEST:: SOT 4052802 SOS 951592 HAS SOPS 951592 HAS SOUS 760788 HAS SOUPS 760788 WITH SCORE 761739.592
AT ITER 316 NEW BEST:: SOT 4052596 SOS 951220 HAS SOPS 951220 HAS SOUS 760448 HAS SOUPS 760448 WITH SCORE 761399.22
AT ITER 318 NEW BEST:: SOT 4052295 SOS 950740 HAS SOPS 950740 HAS SOUS 760100 HAS SOUPS 760100 WITH SCORE 761050.74
AT ITER 329 NEW BEST:: SOT 4051938 SOS 951550 HAS SOPS 951550 HAS SOUS 760069 HAS SOUPS 760069 WITH SCORE 761020.55
AT ITER 360 NEW BEST:: SOT 4051795 SOS 951154 HAS SOPS 951154 HAS SOUS 759643 HAS SOUPS 759643 WITH SCORE 760594.154
AT ITER 372 NEW BEST:: SOT 4051582 SOS 950482 HAS SOPS 950482 HAS SOUS 759217 HAS SOUPS 759217 WITH SCORE 760167.482
AT ITER 373 NEW BEST:: SOT 4051506 SOS 950330 HAS SOPS 950330 HAS SOUS 759138 HAS SOUPS 759138 WITH SCORE 760088.33
AT ITER 383 NEW BEST:: SOT 4051239 SOS 950062 HAS SOPS 950062 HAS SOUS 758868 HAS SOUPS 758868 WITH SCORE 759818.062
AT ITER 386 NEW BEST:: SOT 4051109 SOS 950424 HAS SOPS 950424 HAS SOUS 758572 HAS SOUPS 758572 WITH SCORE 759522.424
AT ITER 395 NEW BEST:: SOT 4050822 SOS 949952 HAS SOPS 949952 HAS SOUS 757997 HAS SOUPS 757997 WITH SCORE 758946.952
AT ITER 399 NEW BEST:: SOT 4050654 SOS 949615 HAS SOPS 949615 HAS SOUS 757660 HAS SOUPS 757660 WITH SCORE 758609.615
AT ITER 412 NEW BEST:: SOT 4050654 SOS 949430 HAS SOPS 949430 HAS SOUS 757656 HAS SOUPS 757656 WITH SCORE 758605.43
AT ITER 413 NEW BEST:: SOT 4050574 SOS 949280 HAS SOPS 949280 HAS SOUS 757506 HAS SOUPS 757506 WITH SCORE 758455.28
AT ITER 422 NEW BEST:: SOT 4050490 SOS 949112 HAS SOPS 949112 HAS SOUS 757338 HAS SOUPS 757338 WITH SCORE 758287.112
AT ITER 428 NEW BEST:: SOT 4050424 SOS 948980 HAS SOPS 948980 HAS SOUS 757206 HAS SOUPS 757206 WITH SCORE 758154.98
AT ITER 448 NEW BEST:: SOT 4050046 SOS 948548 HAS SOPS 948548 HAS SOUS 757166 HAS SOUPS 757166 WITH SCORE 758114.548
AT ITER 508 NEW BEST:: SOT 4049858 SOS 948356 HAS SOPS 948356 HAS SOUS 756974 HAS SOUPS 756974 WITH SCORE 757922.356
AT ITER 516 NEW BEST:: SOT 4049858 SOS 948349 HAS SOPS 948349 HAS SOUS 756967 HAS SOUPS 756967 WITH SCORE 757915.349
AT ITER 520 NEW BEST:: SOT 4049698 SOS 948185 HAS SOPS 948185 HAS SOUS 756803 HAS SOUPS 756803 WITH SCORE 757751.185
AT ITER 537 NEW BEST:: SOT 4049060 SOS 947690 HAS SOPS 947690 HAS SOUS 756281 HAS SOUPS 756281 WITH SCORE 757228.69
AT ITER 577 NEW BEST:: SOT 4048779 SOS 947669 HAS SOPS 947669 HAS SOUS 756281 HAS SOUPS 756281 WITH SCORE 757228.669
AT ITER 599 NEW BEST:: SOT 4048779 SOS 947586 HAS SOPS 947586 HAS SOUS 756273 HAS SOUPS 756273 WITH SCORE 757220.586
AT ITER 622 NEW BEST:: SOT 4048654 SOS 947207 HAS SOPS 947207 HAS SOUS 756019 HAS SOUPS 756019 WITH SCORE 756966.207
AT ITER 634 NEW BEST:: SOT 4045947 SOS 948288 HAS SOPS 948288 HAS SOUS 753400 HAS SOUPS 753400 WITH SCORE 754348.288
AT ITER 638 NEW BEST:: SOT 4045701 SOS 948042 HAS SOPS 948042 HAS SOUS 753154 HAS SOUPS 753154 WITH SCORE 754102.042
AT ITER 644 NEW BEST:: SOT 4045404 SOS 947817 HAS SOPS 947817 HAS SOUS 752897 HAS SOUPS 752897 WITH SCORE 753844.817
AT ITER 654 NEW BEST:: SOT 4045342 SOS 947631 HAS SOPS 947631 HAS SOUS 752773 HAS SOUPS 752773 WITH SCORE 753720.631
AT ITER 658 NEW BEST:: SOT 4045342 SOS 947603 HAS SOPS 947603 HAS SOUS 752773 HAS SOUPS 752773 WITH SCORE 753720.603
AT ITER 667 NEW BEST:: SOT 4045342 SOS 947603 HAS SOPS 947603 HAS SOUS 752497 HAS SOUPS 752497 WITH SCORE 753444.603
AT ITER 681 NEW BEST:: SOT 4045114 SOS 947321 HAS SOPS 947321 HAS SOUS 752215 HAS SOUPS 752215 WITH SCORE 753162.321
AT ITER 694 NEW BEST:: SOT 4045045 SOS 947183 HAS SOPS 947183 HAS SOUS 752145 HAS SOUPS 752145 WITH SCORE 753092.183
AT ITER 698 NEW BEST:: SOT 4045025 SOS 946937 HAS SOPS 946937 HAS SOUS 752055 HAS SOUPS 752055 WITH SCORE 753001.937
AT ITER 782 NEW BEST:: SOT 4044458 SOS 946370 HAS SOPS 946370 HAS SOUS 752055 HAS SOUPS 752055 WITH SCORE 753001.37
AT ITER 787 NEW BEST:: SOT 4044415 SOS 946284 HAS SOPS 946284 HAS SOUS 751969 HAS SOUPS 751969 WITH SCORE 752915.284
AT ITER 793 NEW BEST:: SOT 4043956 SOS 946496 HAS SOPS 946496 HAS SOUS 751790 HAS SOUPS 751790 WITH SCORE 752736.496
AT ITER 810 NEW BEST:: SOT 4043227 SOS 945767 HAS SOPS 945767 HAS SOUS 751061 HAS SOUPS 751061 WITH SCORE 752006.767
AT ITER 822 NEW BEST:: SOT 4043207 SOS 945744 HAS SOPS 945744 HAS SOUS 751038 HAS SOUPS 751038 WITH SCORE 751983.744
AT ITER 854 NEW BEST:: SOT 4043190 SOS 945710 HAS SOPS 945710 HAS SOUS 751004 HAS SOUPS 751004 WITH SCORE 751949.71
AT ITER 861 NEW BEST:: SOT 4043049 SOS 944441 HAS SOPS 944441 HAS SOUS 750722 HAS SOUPS 750722 WITH SCORE 751666.441
AT ITER 871 NEW BEST:: SOT 4043013 SOS 944405 HAS SOPS 944405 HAS SOUS 750686 HAS SOUPS 750686 WITH SCORE 751630.405
AT ITER 876 NEW BEST:: SOT 4042923 SOS 944435 HAS SOPS 944435 HAS SOUS 750611 HAS SOUPS 750611 WITH SCORE 751555.435
AT ITER 883 NEW BEST:: SOT 4042444 SOS 944347 HAS SOPS 944347 HAS SOUS 750056 HAS SOUPS 750056 WITH SCORE 751000.347
AT ITER 890 NEW BEST:: SOT 4042348 SOS 944539 HAS SOPS 944539 HAS SOUS 749959 HAS SOUPS 749959 WITH SCORE 750903.539
AT ITER 923 NEW BEST:: SOT 4041951 SOS 944142 HAS SOPS 944142 HAS SOUS 749561 HAS SOUPS 749561 WITH SCORE 750505.142
AT ITER 933 NEW BEST:: SOT 4041905 SOS 944021 HAS SOPS 944021 HAS SOUS 749512 HAS SOUPS 749512 WITH SCORE 750456.021
AT ITER 947 NEW BEST:: SOT 4041702 SOS 943615 HAS SOPS 943615 HAS SOUS 749106 HAS SOUPS 749106 WITH SCORE 750049.615
AT ITER 965 NEW BEST:: SOT 4040382 SOS 942030 HAS SOPS 942030 HAS SOUS 747416 HAS SOUPS 747416 WITH SCORE 748358.03
AT ITER 971 NEW BEST:: SOT 4040306 SOS 942114 HAS SOPS 942114 HAS SOUS 747250 HAS SOUPS 747250 WITH SCORE 748192.114
AT ITER 977 NEW BEST:: SOT 4040208 SOS 942072 HAS SOPS 942072 HAS SOUS 747165 HAS SOUPS 747165 WITH SCORE 748107.072
AT ITER 987 NEW BEST:: SOT 4040170 SOS 941994 HAS SOPS 941994 HAS SOUS 747087 HAS SOUPS 747087 WITH SCORE 748028.994
AT ITER 1009 NEW BEST:: SOT 4040019 SOS 941786 HAS SOPS 941786 HAS SOUS 746879 HAS SOUPS 746879 WITH SCORE 747820.786
AT ITER 1028 NEW BEST:: SOT 4037395 SOS 942308 HAS SOPS 942308 HAS SOUS 744807 HAS SOUPS 744807 WITH SCORE 745749.308
AT ITER 1071 NEW BEST:: SOT 4037395 SOS 942238 HAS SOPS 942238 HAS SOUS 744807 HAS SOUPS 744807 WITH SCORE 745749.238
AT ITER 1082 NEW BEST:: SOT 4037395 SOS 942233 HAS SOPS 942233 HAS SOUS 744807 HAS SOUPS 744807 WITH SCORE 745749.233
AT ITER 1083 NEW BEST:: SOT 4037290 SOS 942101 HAS SOPS 942101 HAS SOUS 744700 HAS SOUPS 744700 WITH SCORE 745642.101
AT ITER 1092 NEW BEST:: SOT 4036956 SOS 941433 HAS SOPS 941433 HAS SOUS 744032 HAS SOUPS 744032 WITH SCORE 744973.433
AT ITER 1097 NEW BEST:: SOT 4036720 SOS 941399 HAS SOPS 941399 HAS SOUS 743997 HAS SOUPS 743997 WITH SCORE 744938.399
AT ITER 1100 NEW BEST:: SOT 4036526 SOS 940857 HAS SOPS 940857 HAS SOUS 743455 HAS SOUPS 743455 WITH SCORE 744395.857
AT ITER 1113 NEW BEST:: SOT 4036293 SOS 940392 HAS SOPS 940392 HAS SOUS 743212 HAS SOUPS 743212 WITH SCORE 744152.392
AT ITER 1117 NEW BEST:: SOT 4036253 SOS 940643 HAS SOPS 940643 HAS SOUS 743181 HAS SOUPS 743181 WITH SCORE 744121.643
AT ITER 1119 NEW BEST:: SOT 4036055 SOS 940234 HAS SOPS 940234 HAS SOUS 742982 HAS SOUPS 742982 WITH SCORE 743922.234
AT ITER 1134 NEW BEST:: SOT 4036099 SOS 942889 HAS SOPS 942889 HAS SOUS 742752 HAS SOUPS 742752 WITH SCORE 743694.889
AT ITER 1205 NEW BEST:: SOT 4035953 SOS 942655 HAS SOPS 942655 HAS SOUS 742603 HAS SOUPS 742603 WITH SCORE 743545.655
AT ITER 1212 NEW BEST:: SOT 4035809 SOS 942367 HAS SOPS 942367 HAS SOUS 742450 HAS SOUPS 742450 WITH SCORE 743392.367
AT ITER 1235 NEW BEST:: SOT 4034189 SOS 944570 HAS SOPS 944570 HAS SOUS 741434 HAS SOUPS 741434 WITH SCORE 742378.57
AT ITER 1251 NEW BEST:: SOT 4034032 SOS 944442 HAS SOPS 944442 HAS SOUS 741306 HAS SOUPS 741306 WITH SCORE 742250.442
AT ITER 1272 NEW BEST:: SOT 4033534 SOS 947633 HAS SOPS 947633 HAS SOUS 741215 HAS SOUPS 741215 WITH SCORE 742162.633
AT ITER 1278 NEW BEST:: SOT 4033534 SOS 947538 HAS SOPS 947538 HAS SOUS 741199 HAS SOUPS 741199 WITH SCORE 742146.538
AT ITER 1285 NEW BEST:: SOT 4033143 SOS 946747 HAS SOPS 946747 HAS SOUS 740551 HAS SOUPS 740551 WITH SCORE 741497.747
AT ITER 1291 NEW BEST:: SOT 4033065 SOS 946664 HAS SOPS 946664 HAS SOUS 740468 HAS SOUPS 740468 WITH SCORE 741414.664
AT ITER 1313 NEW BEST:: SOT 4032889 SOS 946400 HAS SOPS 946400 HAS SOUS 740203 HAS SOUPS 740203 WITH SCORE 741149.4
AT ITER 1321 NEW BEST:: SOT 4031404 SOS 945390 HAS SOPS 945390 HAS SOUS 738793 HAS SOUPS 738793 WITH SCORE 739738.39
AT ITER 1338 NEW BEST:: SOT 4031404 SOS 945390 HAS SOPS 945390 HAS SOUS 738519 HAS SOUPS 738519 WITH SCORE 739464.39
AT ITER 1359 NEW BEST:: SOT 4030465 SOS 944765 HAS SOPS 944765 HAS SOUS 737490 HAS SOUPS 737490 WITH SCORE 738434.765
AT ITER 1367 NEW BEST:: SOT 4030213 SOS 944084 HAS SOPS 944084 HAS SOUS 736985 HAS SOUPS 736985 WITH SCORE 737929.084
AT ITER 1379 NEW BEST:: SOT 4030213 SOS 943927 HAS SOPS 943927 HAS SOUS 736951 HAS SOUPS 736951 WITH SCORE 737894.927
AT ITER 1381 NEW BEST:: SOT 4029890 SOS 943281 HAS SOPS 943281 HAS SOUS 736833 HAS SOUPS 736833 WITH SCORE 737776.281
AT ITER 1398 NEW BEST:: SOT 4029889 SOS 943058 HAS SOPS 943058 HAS SOUS 736831 HAS SOUPS 736831 WITH SCORE 737774.058
AT ITER 1415 NEW BEST:: SOT 4029873 SOS 943041 HAS SOPS 943041 HAS SOUS 736814 HAS SOUPS 736814 WITH SCORE 737757.041
AT ITER 1421 NEW BEST:: SOT 4029873 SOS 943038 HAS SOPS 943038 HAS SOUS 736811 HAS SOUPS 736811 WITH SCORE 737754.038
AT ITER 1439 NEW BEST:: SOT 4029841 SOS 942974 HAS SOPS 942974 HAS SOUS 736747 HAS SOUPS 736747 WITH SCORE 737689.974
AT ITER 1445 NEW BEST:: SOT 4029840 SOS 942816 HAS SOPS 942816 HAS SOUS 736589 HAS SOUPS 736589 WITH SCORE 737531.816
AT ITER 1480 NEW BEST:: SOT 4029840 SOS 942827 HAS SOPS 942827 HAS SOUS 736588 HAS SOUPS 736588 WITH SCORE 737530.827
AT ITER 1484 NEW BEST:: SOT 4029840 SOS 942826 HAS SOPS 942826 HAS SOUS 736587 HAS SOUPS 736587 WITH SCORE 737529.826
AT ITER 1488 NEW BEST:: SOT 4029622 SOS 941823 HAS SOPS 941823 HAS SOUS 736151 HAS SOUPS 736151 WITH SCORE 737092.823
AT ITER 1489 NEW BEST:: SOT 4028839 SOS 941688 HAS SOPS 941688 HAS SOUS 735802 HAS SOUPS 735802 WITH SCORE 736743.688
AT ITER 1492 NEW BEST:: SOT 4028549 SOS 941197 HAS SOPS 941197 HAS SOUS 735511 HAS SOUPS 735511 WITH SCORE 736452.197
AT ITER 1500 NEW BEST:: SOT 4026712 SOS 945393 HAS SOPS 945393 HAS SOUS 735180 HAS SOUPS 735180 WITH SCORE 736125.393
AT ITER 1526 NEW BEST:: SOT 4026540 SOS 945324 HAS SOPS 945324 HAS SOUS 735111 HAS SOUPS 735111 WITH SCORE 736056.324
AT ITER 1532 NEW BEST:: SOT 4026511 SOS 945293 HAS SOPS 945293 HAS SOUS 735080 HAS SOUPS 735080 WITH SCORE 736025.293
AT ITER 1536 NEW BEST:: SOT 4026118 SOS 944900 HAS SOPS 944900 HAS SOUS 734955 HAS SOUPS 734955 WITH SCORE 735899.9
AT ITER 1559 NEW BEST:: SOT 4026118 SOS 944805 HAS SOPS 944805 HAS SOUS 734954 HAS SOUPS 734954 WITH SCORE 735898.805
AT ITER 1562 NEW BEST:: SOT 4026118 SOS 944801 HAS SOPS 944801 HAS SOUS 734950 HAS SOUPS 734950 WITH SCORE 735894.801
AT ITER 1577 NEW BEST:: SOT 4026081 SOS 944768 HAS SOPS 944768 HAS SOUS 734927 HAS SOUPS 734927 WITH SCORE 735871.768
AT ITER 1609 NEW BEST:: SOT 4026051 SOS 944708 HAS SOPS 944708 HAS SOUS 734867 HAS SOUPS 734867 WITH SCORE 735811.708
AT ITER 1617 NEW BEST:: SOT 4026464 SOS 944496 HAS SOPS 944496 HAS SOUS 734755 HAS SOUPS 734755 WITH SCORE 735699.496
AT ITER 1618 NEW BEST:: SOT 4024577 SOS 942748 HAS SOPS 942748 HAS SOUS 732997 HAS SOUPS 732997 WITH SCORE 733939.748
AT ITER 1628 NEW BEST:: SOT 4024422 SOS 942438 HAS SOPS 942438 HAS SOUS 732687 HAS SOUPS 732687 WITH SCORE 733629.438
AT ITER 1631 NEW BEST:: SOT 4024392 SOS 942147 HAS SOPS 942147 HAS SOUS 732583 HAS SOUPS 732583 WITH SCORE 733525.147
AT ITER 1645 NEW BEST:: SOT 4022355 SOS 940110 HAS SOPS 940110 HAS SOUS 732582 HAS SOUPS 732582 WITH SCORE 733522.11
AT ITER 1650 NEW BEST:: SOT 4022354 SOS 939740 HAS SOPS 939740 HAS SOUS 732580 HAS SOUPS 732580 WITH SCORE 733519.74
AT ITER 1654 NEW BEST:: SOT 4022166 SOS 939526 HAS SOPS 939526 HAS SOUS 732392 HAS SOUPS 732392 WITH SCORE 733331.526
AT ITER 1668 NEW BEST:: SOT 4022133 SOS 937307 HAS SOPS 937307 HAS SOUS 732326 HAS SOUPS 732326 WITH SCORE 733263.307
AT ITER 1671 NEW BEST:: SOT 4022013 SOS 937105 HAS SOPS 937105 HAS SOUS 732124 HAS SOUPS 732124 WITH SCORE 733061.105
AT ITER 1692 NEW BEST:: SOT 4022004 SOS 938008 HAS SOPS 938008 HAS SOUS 732106 HAS SOUPS 732106 WITH SCORE 733044.008
AT ITER 1705 NEW BEST:: SOT 4022004 SOS 937940 HAS SOPS 937940 HAS SOUS 732038 HAS SOUPS 732038 WITH SCORE 732975.94
AT ITER 1708 NEW BEST:: SOT 4021813 SOS 937369 HAS SOPS 937369 HAS SOUS 731656 HAS SOUPS 731656 WITH SCORE 732593.369
AT ITER 1710 NEW BEST:: SOT 4021671 SOS 938018 HAS SOPS 938018 HAS SOUS 731325 HAS SOUPS 731325 WITH SCORE 732263.018
AT ITER 1711 NEW BEST:: SOT 4021455 SOS 937565 HAS SOPS 937565 HAS SOUS 730794 HAS SOUPS 730794 WITH SCORE 731731.565
AT ITER 1721 NEW BEST:: SOT 4021407 SOS 937456 HAS SOPS 937456 HAS SOUS 730706 HAS SOUPS 730706 WITH SCORE 731643.456
AT ITER 1727 NEW BEST:: SOT 4021410 SOS 937285 HAS SOPS 937285 HAS SOUS 730661 HAS SOUPS 730661 WITH SCORE 731598.285
AT ITER 1730 NEW BEST:: SOT 4021379 SOS 937223 HAS SOPS 937223 HAS SOUS 730599 HAS SOUPS 730599 WITH SCORE 731536.223
AT ITER 1731 NEW BEST:: SOT 4021379 SOS 937222 HAS SOPS 937222 HAS SOUS 730598 HAS SOUPS 730598 WITH SCORE 731535.222
AT ITER 1756 NEW BEST:: SOT 4021359 SOS 937202 HAS SOPS 937202 HAS SOUS 730577 HAS SOUPS 730577 WITH SCORE 731514.202
AT ITER 1766 NEW BEST:: SOT 4021242 SOS 937177 HAS SOPS 937177 HAS SOUS 730302 HAS SOUPS 730302 WITH SCORE 731239.177
AT ITER 1786 NEW BEST:: SOT 4021208 SOS 936747 HAS SOPS 936747 HAS SOUS 730219 HAS SOUPS 730219 WITH SCORE 731155.747
AT ITER 1798 NEW BEST:: SOT 4021208 SOS 936746 HAS SOPS 936746 HAS SOUS 730159 HAS SOUPS 730159 WITH SCORE 731095.746
AT ITER 1799 NEW BEST:: SOT 4021097 SOS 936574 HAS SOPS 936574 HAS SOUS 729989 HAS SOUPS 729989 WITH SCORE 730925.574
AT ITER 1832 NEW BEST:: SOT 4021111 SOS 936602 HAS SOPS 936602 HAS SOUS 729809 HAS SOUPS 729809 WITH SCORE 730745.602
AT ITER 1890 NEW BEST:: SOT 4021111 SOS 935657 HAS SOPS 935657 HAS SOUS 729794 HAS SOUPS 729794 WITH SCORE 730729.657
AT ITER 1906 NEW BEST:: SOT 4020961 SOS 934845 HAS SOPS 934845 HAS SOUS 729563 HAS SOUPS 729563 WITH SCORE 730497.845
AT ITER 1918 NEW BEST:: SOT 4020826 SOS 934440 HAS SOPS 934440 HAS SOUS 729293 HAS SOUPS 729293 WITH SCORE 730227.44
AT ITER 1924 NEW BEST:: SOT 4020645 SOS 934440 HAS SOPS 934440 HAS SOUS 728931 HAS SOUPS 728931 WITH SCORE 729865.44
AT ITER 1925 NEW BEST:: SOT 4020649 SOS 934259 HAS SOPS 934259 HAS SOUS 728750 HAS SOUPS 728750 WITH SCORE 729684.259
AT ITER 1930 NEW BEST:: SOT 4020727 SOS 934087 HAS SOPS 934087 HAS SOUS 728536 HAS SOUPS 728536 WITH SCORE 729470.087
AT ITER 1936 NEW BEST:: SOT 4020575 SOS 933261 HAS SOPS 933261 HAS SOUS 728232 HAS SOUPS 728232 WITH SCORE 729165.261
AT ITER 1944 NEW BEST:: SOT 4020560 SOS 933231 HAS SOPS 933231 HAS SOUS 728202 HAS SOUPS 728202 WITH SCORE 729135.231
AT ITER 1956 NEW BEST:: SOT 4020348 SOS 932701 HAS SOPS 932701 HAS SOUS 727457 HAS SOUPS 727457 WITH SCORE 728389.701
AT ITER 1965 NEW BEST:: SOT 4020348 SOS 932795 HAS SOPS 932795 HAS SOUS 727456 HAS SOUPS 727456 WITH SCORE 728388.795
AT ITER 1970 NEW BEST:: SOT 4020233 SOS 932604 HAS SOPS 932604 HAS SOUS 727322 HAS SOUPS 727322 WITH SCORE 728254.604
AT ITER 1985 NEW BEST:: SOT 4020158 SOS 932604 HAS SOPS 932604 HAS SOUS 727172 HAS SOUPS 727172 WITH SCORE 728104.604
AT ITER 2008 NEW BEST:: SOT 4019994 SOS 932317 HAS SOPS 932317 HAS SOUS 727088 HAS SOUPS 727088 WITH SCORE 728020.317
AT ITER 2031 NEW BEST:: SOT 4019911 SOS 932234 HAS SOPS 932234 HAS SOUS 727005 HAS SOUPS 727005 WITH SCORE 727937.234
AT ITER 2032 NEW BEST:: SOT 4019778 SOS 931823 HAS SOPS 931823 HAS SOUS 726738 HAS SOUPS 726738 WITH SCORE 727669.823
AT ITER 2041 NEW BEST:: SOT 4019474 SOS 931519 HAS SOPS 931519 HAS SOUS 726434 HAS SOUPS 726434 WITH SCORE 727365.519
AT ITER 2049 NEW BEST:: SOT 4018986 SOS 931092 HAS SOPS 931092 HAS SOUS 726434 HAS SOUPS 726434 WITH SCORE 727365.092
AT ITER 2071 NEW BEST:: SOT 4018986 SOS 931113 HAS SOPS 931113 HAS SOUS 726100 HAS SOUPS 726100 WITH SCORE 727031.113
AT ITER 2097 NEW BEST:: SOT 4018892 SOS 931082 HAS SOPS 931082 HAS SOUS 726066 HAS SOUPS 726066 WITH SCORE 726997.082
AT ITER 2111 NEW BEST:: SOT 4018686 SOS 930785 HAS SOPS 930785 HAS SOUS 725563 HAS SOUPS 725563 WITH SCORE 726493.785
AT ITER 2131 NEW BEST:: SOT 4018647 SOS 930707 HAS SOPS 930707 HAS SOUS 725524 HAS SOUPS 725524 WITH SCORE 726454.707
AT ITER 2143 NEW BEST:: SOT 4018493 SOS 930707 HAS SOPS 930707 HAS SOUS 725523 HAS SOUPS 725523 WITH SCORE 726453.707
AT ITER 2145 NEW BEST:: SOT 4017905 SOS 930208 HAS SOPS 930208 HAS SOUS 725185 HAS SOUPS 725185 WITH SCORE 726115.208
AT ITER 2147 NEW BEST:: SOT 4017836 SOS 930070 HAS SOPS 930070 HAS SOUS 724729 HAS SOUPS 724729 WITH SCORE 725659.07
AT ITER 2156 NEW BEST:: SOT 4017836 SOS 930311 HAS SOPS 930311 HAS SOUS 724703 HAS SOUPS 724703 WITH SCORE 725633.311
AT ITER 2165 NEW BEST:: SOT 4017746 SOS 930221 HAS SOPS 930221 HAS SOUS 724523 HAS SOUPS 724523 WITH SCORE 725453.221
AT ITER 2166 NEW BEST:: SOT 4017746 SOS 930213 HAS SOPS 930213 HAS SOUS 724523 HAS SOUPS 724523 WITH SCORE 725453.213
AT ITER 2167 NEW BEST:: SOT 4017709 SOS 929987 HAS SOPS 929987 HAS SOUS 724459 HAS SOUPS 724459 WITH SCORE 725388.987
AT ITER 2175 NEW BEST:: SOT 4017709 SOS 929773 HAS SOPS 929773 HAS SOUS 724245 HAS SOUPS 724245 WITH SCORE 725174.773
AT ITER 2226 NEW BEST:: SOT 4016239 SOS 928529 HAS SOPS 928529 HAS SOUS 722558 HAS SOUPS 722558 WITH SCORE 723486.529
AT ITER 2249 NEW BEST:: SOT 4015910 SOS 928043 HAS SOPS 928043 HAS SOUS 721969 HAS SOUPS 721969 WITH SCORE 722897.043
AT ITER 2263 NEW BEST:: SOT 4015871 SOS 928004 HAS SOPS 928004 HAS SOUS 721930 HAS SOUPS 721930 WITH SCORE 722858.004
AT ITER 2284 NEW BEST:: SOT 4015682 SOS 927562 HAS SOPS 927562 HAS SOUS 721488 HAS SOUPS 721488 WITH SCORE 722415.562
AT ITER 2294 NEW BEST:: SOT 4015651 SOS 927516 HAS SOPS 927516 HAS SOUS 721442 HAS SOUPS 721442 WITH SCORE 722369.516
AT ITER 2297 NEW BEST:: SOT 4015619 SOS 927452 HAS SOPS 927452 HAS SOUS 721378 HAS SOUPS 721378 WITH SCORE 722305.452
AT ITER 2304 NEW BEST:: SOT 4015400 SOS 927135 HAS SOPS 927135 HAS SOUS 721110 HAS SOUPS 721110 WITH SCORE 722037.135
AT ITER 2308 NEW BEST:: SOT 4015400 SOS 927065 HAS SOPS 927065 HAS SOUS 721040 HAS SOUPS 721040 WITH SCORE 721967.065
AT ITER 2316 NEW BEST:: SOT 4015252 SOS 926917 HAS SOPS 926917 HAS SOUS 720892 HAS SOUPS 720892 WITH SCORE 721818.917
AT ITER 2328 NEW BEST:: SOT 4015205 SOS 926907 HAS SOPS 926907 HAS SOUS 720882 HAS SOUPS 720882 WITH SCORE 721808.907
AT ITER 2354 NEW BEST:: SOT 4015205 SOS 926906 HAS SOPS 926906 HAS SOUS 720881 HAS SOUPS 720881 WITH SCORE 721807.906
AT ITER 2360 NEW BEST:: SOT 4015205 SOS 926877 HAS SOPS 926877 HAS SOUS 720878 HAS SOUPS 720878 WITH SCORE 721804.877
AT ITER 2374 NEW BEST:: SOT 4015158 SOS 926737 HAS SOPS 926737 HAS SOUS 720679 HAS SOUPS 720679 WITH SCORE 721605.737
AT ITER 2399 NEW BEST:: SOT 4012548 SOS 924813 HAS SOPS 924813 HAS SOUS 717761 HAS SOUPS 717761 WITH SCORE 718685.813
AT ITER 2408 NEW BEST:: SOT 4012388 SOS 924653 HAS SOPS 924653 HAS SOUS 717441 HAS SOUPS 717441 WITH SCORE 718365.653
AT ITER 2412 NEW BEST:: SOT 4012388 SOS 924644 HAS SOPS 924644 HAS SOUS 717438 HAS SOUPS 717438 WITH SCORE 718362.644
AT ITER 2413 NEW BEST:: SOT 4012338 SOS 924544 HAS SOPS 924544 HAS SOUS 717338 HAS SOUPS 717338 WITH SCORE 718262.544
AT ITER 2427 NEW BEST:: SOT 4012338 SOS 924443 HAS SOPS 924443 HAS SOUS 717331 HAS SOUPS 717331 WITH SCORE 718255.443
AT ITER 2439 NEW BEST:: SOT 4011851 SOS 923741 HAS SOPS 923741 HAS SOUS 716629 HAS SOUPS 716629 WITH SCORE 717552.741
AT ITER 2457 NEW BEST:: SOT 4011368 SOS 923084 HAS SOPS 923084 HAS SOUS 715972 HAS SOUPS 715972 WITH SCORE 716895.084
AT ITER 2460 NEW BEST:: SOT 4011302 SOS 923364 HAS SOPS 923364 HAS SOUS 715906 HAS SOUPS 715906 WITH SCORE 716829.364
AT ITER 2489 NEW BEST:: SOT 4010952 SOS 923014 HAS SOPS 923014 HAS SOUS 713852 HAS SOUPS 713852 WITH SCORE 714775.014
AT ITER 2512 NEW BEST:: SOT 4009760 SOS 923948 HAS SOPS 923948 HAS SOUS 713528 HAS SOUPS 713528 WITH SCORE 714451.948
AT ITER 2530 NEW BEST:: SOT 4009595 SOS 924824 HAS SOPS 924824 HAS SOUS 713394 HAS SOUPS 713394 WITH SCORE 714318.824
AT ITER 2534 NEW BEST:: SOT 4009344 SOS 924541 HAS SOPS 924541 HAS SOUS 713192 HAS SOUPS 713192 WITH SCORE 714116.541
AT ITER 2574 NEW BEST:: SOT 4009224 SOS 923941 HAS SOPS 923941 HAS SOUS 711561 HAS SOUPS 711561 WITH SCORE 712484.941
AT ITER 2578 NEW BEST:: SOT 4009223 SOS 923939 HAS SOPS 923939 HAS SOUS 711541 HAS SOUPS 711541 WITH SCORE 712464.939
AT ITER 2582 NEW BEST:: SOT 4009223 SOS 923750 HAS SOPS 923750 HAS SOUS 711540 HAS SOUPS 711540 WITH SCORE 712463.75
AT ITER 2588 NEW BEST:: SOT 4009038 SOS 923380 HAS SOPS 923380 HAS SOUS 711347 HAS SOUPS 711347 WITH SCORE 712270.38
AT ITER 2688 NEW BEST:: SOT 4008992 SOS 923334 HAS SOPS 923334 HAS SOUS 711331 HAS SOUPS 711331 WITH SCORE 712254.334
AT ITER 2699 NEW BEST:: SOT 4008754 SOS 924783 HAS SOPS 924783 HAS SOUS 711184 HAS SOUPS 711184 WITH SCORE 712108.783
AT ITER 2708 NEW BEST:: SOT 4008426 SOS 925084 HAS SOPS 925084 HAS SOUS 710993 HAS SOUPS 710993 WITH SCORE 711918.084
AT ITER 2711 NEW BEST:: SOT 4007824 SOS 924488 HAS SOPS 924488 HAS SOUS 710453 HAS SOUPS 710453 WITH SCORE 711377.488
AT ITER 2716 NEW BEST:: SOT 4007704 SOS 924181 HAS SOPS 924181 HAS SOUS 710145 HAS SOUPS 710145 WITH SCORE 711069.181
AT ITER 2727 NEW BEST:: SOT 4007323 SOS 923784 HAS SOPS 923784 HAS SOUS 709376 HAS SOUPS 709376 WITH SCORE 710299.784
AT ITER 2741 NEW BEST:: SOT 4007119 SOS 923617 HAS SOPS 923617 HAS SOUS 709209 HAS SOUPS 709209 WITH SCORE 710132.617
AT ITER 2767 NEW BEST:: SOT 4007119 SOS 923604 HAS SOPS 923604 HAS SOUS 709202 HAS SOUPS 709202 WITH SCORE 710125.604
AT ITER 2775 NEW BEST:: SOT 4006917 SOS 923519 HAS SOPS 923519 HAS SOUS 709117 HAS SOUPS 709117 WITH SCORE 710040.519
AT ITER 2783 NEW BEST:: SOT 4006879 SOS 923439 HAS SOPS 923439 HAS SOUS 709037 HAS SOUPS 709037 WITH SCORE 709960.439
AT ITER 2798 NEW BEST:: SOT 4006879 SOS 923438 HAS SOPS 923438 HAS SOUS 709036 HAS SOUPS 709036 WITH SCORE 709959.438
AT ITER 2835 NEW BEST:: SOT 4006879 SOS 923435 HAS SOPS 923435 HAS SOUS 709033 HAS SOUPS 709033 WITH SCORE 709956.435
AT ITER 2836 NEW BEST:: SOT 4006828 SOS 923333 HAS SOPS 923333 HAS SOUS 708931 HAS SOUPS 708931 WITH SCORE 709854.333
AT ITER 2840 NEW BEST:: SOT 4006555 SOS 923060 HAS SOPS 923060 HAS SOUS 708385 HAS SOUPS 708385 WITH SCORE 709308.06
AT ITER 2860 NEW BEST:: SOT 4006304 SOS 922809 HAS SOPS 922809 HAS SOUS 708133 HAS SOUPS 708133 WITH SCORE 709055.809
AT ITER 2889 NEW BEST:: SOT 4006149 SOS 922637 HAS SOPS 922637 HAS SOUS 707961 HAS SOUPS 707961 WITH SCORE 708883.637
AT ITER 2909 NEW BEST:: SOT 4006149 SOS 922865 HAS SOPS 922865 HAS SOUS 705933 HAS SOUPS 705933 WITH SCORE 706855.865
AT ITER 2920 NEW BEST:: SOT 4005927 SOS 922603 HAS SOPS 922603 HAS SOUS 705554 HAS SOUPS 705554 WITH SCORE 706476.603
AT ITER 2971 NEW BEST:: SOT 4005784 SOS 922249 HAS SOPS 922249 HAS SOUS 705309 HAS SOUPS 705309 WITH SCORE 706231.249
AT ITER 2983 NEW BEST:: SOT 4005783 SOS 922248 HAS SOPS 922248 HAS SOUS 705308 HAS SOUPS 705308 WITH SCORE 706230.248
AT ITER 2987 NEW BEST:: SOT 4004879 SOS 921495 HAS SOPS 921495 HAS SOUS 704517 HAS SOUPS 704517 WITH SCORE 705438.495
AT ITER 2998 NEW BEST:: SOT 4004488 SOS 922372 HAS SOPS 922372 HAS SOUS 704153 HAS SOUPS 704153 WITH SCORE 705075.372
AT ITER 3003 NEW BEST:: SOT 4004413 SOS 922297 HAS SOPS 922297 HAS SOUS 704078 HAS SOUPS 704078 WITH SCORE 705000.297
AT ITER 3030 NEW BEST:: SOT 4004409 SOS 922395 HAS SOPS 922395 HAS SOUS 704070 HAS SOUPS 704070 WITH SCORE 704992.395
AT ITER 3034 NEW BEST:: SOT 4004409 SOS 922474 HAS SOPS 922474 HAS SOUS 703398 HAS SOUPS 703398 WITH SCORE 704320.474
AT ITER 3045 NEW BEST:: SOT 4004395 SOS 922460 HAS SOPS 922460 HAS SOUS 703384 HAS SOUPS 703384 WITH SCORE 704306.46
AT ITER 3048 NEW BEST:: SOT 4004380 SOS 922434 HAS SOPS 922434 HAS SOUS 703139 HAS SOUPS 703139 WITH SCORE 704061.434
AT ITER 3055 NEW BEST:: SOT 4004359 SOS 922413 HAS SOPS 922413 HAS SOUS 703118 HAS SOUPS 703118 WITH SCORE 704040.413
AT ITER 3057 NEW BEST:: SOT 4004359 SOS 922412 HAS SOPS 922412 HAS SOUS 703117 HAS SOUPS 703117 WITH SCORE 704039.412
AT ITER 3082 NEW BEST:: SOT 4004358 SOS 922984 HAS SOPS 922984 HAS SOUS 703115 HAS SOUPS 703115 WITH SCORE 704037.984
AT ITER 3089 NEW BEST:: SOT 4004336 SOS 922961 HAS SOPS 922961 HAS SOUS 703092 HAS SOUPS 703092 WITH SCORE 704014.961
AT ITER 3119 NEW BEST:: SOT 4004356 SOS 922981 HAS SOPS 922981 HAS SOUS 702720 HAS SOUPS 702720 WITH SCORE 703642.981
AT ITER 3168 NEW BEST:: SOT 4004275 SOS 922900 HAS SOPS 922900 HAS SOUS 702558 HAS SOUPS 702558 WITH SCORE 703480.9
AT ITER 3225 NEW BEST:: SOT 4004238 SOS 922826 HAS SOPS 922826 HAS SOUS 702484 HAS SOUPS 702484 WITH SCORE 703406.826
AT ITER 3231 NEW BEST:: SOT 4004267 SOS 922829 HAS SOPS 922829 HAS SOUS 702424 HAS SOUPS 702424 WITH SCORE 703346.829
AT ITER 3234 NEW BEST:: SOT 4004258 SOS 922820 HAS SOPS 922820 HAS SOUS 702415 HAS SOUPS 702415 WITH SCORE 703337.82
AT ITER 3235 NEW BEST:: SOT 4004081 SOS 922410 HAS SOPS 922410 HAS SOUS 702061 HAS SOUPS 702061 WITH SCORE 702983.41
AT ITER 3242 NEW BEST:: SOT 4005414 SOS 924778 HAS SOPS 924778 HAS SOUS 701154 HAS SOUPS 701154 WITH SCORE 702078.778
AT ITER 3267 NEW BEST:: SOT 4005414 SOS 924777 HAS SOPS 924777 HAS SOUS 701153 HAS SOUPS 701153 WITH SCORE 702077.777
AT ITER 3295 NEW BEST:: SOT 4005313 SOS 924676 HAS SOPS 924676 HAS SOUS 700951 HAS SOUPS 700951 WITH SCORE 701875.676
AT ITER 3337 NEW BEST:: SOT 4005358 SOS 924195 HAS SOPS 924195 HAS SOUS 700559 HAS SOUPS 700559 WITH SCORE 701483.195
AT ITER 3349 NEW BEST:: SOT 4005212 SOS 923966 HAS SOPS 923966 HAS SOUS 700330 HAS SOUPS 700330 WITH SCORE 701253.966
AT ITER 3353 NEW BEST:: SOT 4005210 SOS 923962 HAS SOPS 923962 HAS SOUS 700326 HAS SOUPS 700326 WITH SCORE 701249.962
AT ITER 3359 NEW BEST:: SOT 4005210 SOS 923961 HAS SOPS 923961 HAS SOUS 700325 HAS SOUPS 700325 WITH SCORE 701248.961
AT ITER 3363 NEW BEST:: SOT 4005210 SOS 923943 HAS SOPS 923943 HAS SOUS 700325 HAS SOUPS 700325 WITH SCORE 701248.943
AT ITER 3379 NEW BEST:: SOT 4004857 SOS 923681 HAS SOPS 923681 HAS SOUS 700063 HAS SOUPS 700063 WITH SCORE 700986.681
AT ITER 3381 NEW BEST:: SOT 4004621 SOS 923508 HAS SOPS 923508 HAS SOUS 699890 HAS SOUPS 699890 WITH SCORE 700813.508
AT ITER 3384 NEW BEST:: SOT 4004621 SOS 923447 HAS SOPS 923447 HAS SOUS 699890 HAS SOUPS 699890 WITH SCORE 700813.447
AT ITER 3387 NEW BEST:: SOT 4004621 SOS 923228 HAS SOPS 923228 HAS SOUS 699671 HAS SOUPS 699671 WITH SCORE 700594.228
AT ITER 3401 NEW BEST:: SOT 4004559 SOS 923104 HAS SOPS 923104 HAS SOUS 699547 HAS SOUPS 699547 WITH SCORE 700470.104
AT ITER 3407 NEW BEST:: SOT 4004830 SOS 923089 HAS SOPS 923089 HAS SOUS 699532 HAS SOUPS 699532 WITH SCORE 700455.089
AT ITER 3418 NEW BEST:: SOT 4005455 SOS 924988 HAS SOPS 924988 HAS SOUS 697622 HAS SOUPS 697622 WITH SCORE 698546.988
AT ITER 3431 NEW BEST:: SOT 4006919 SOS 926208 HAS SOPS 926208 HAS SOUS 697359 HAS SOUPS 697359 WITH SCORE 698285.208
AT ITER 3435 NEW BEST:: SOT 4006918 SOS 926206 HAS SOPS 926206 HAS SOUS 697357 HAS SOUPS 697357 WITH SCORE 698283.206
AT ITER 3439 NEW BEST:: SOT 4006918 SOS 926200 HAS SOPS 926200 HAS SOUS 697351 HAS SOUPS 697351 WITH SCORE 698277.2
AT ITER 3452 NEW BEST:: SOT 4006918 SOS 926187 HAS SOPS 926187 HAS SOUS 697338 HAS SOUPS 697338 WITH SCORE 698264.187
AT ITER 3476 NEW BEST:: SOT 4006704 SOS 925972 HAS SOPS 925972 HAS SOUS 697337 HAS SOUPS 697337 WITH SCORE 698262.972
AT ITER 3497 NEW BEST:: SOT 4006640 SOS 925843 HAS SOPS 925843 HAS SOUS 697208 HAS SOUPS 697208 WITH SCORE 698133.843
AT ITER 3515 NEW BEST:: SOT 4006485 SOS 925684 HAS SOPS 925684 HAS SOUS 697049 HAS SOUPS 697049 WITH SCORE 697974.684
AT ITER 3557 NEW BEST:: SOT 4006431 SOS 925630 HAS SOPS 925630 HAS SOUS 696995 HAS SOUPS 696995 WITH SCORE 697920.63
AT ITER 3599 NEW BEST:: SOT 4006918 SOS 925521 HAS SOPS 925521 HAS SOUS 696374 HAS SOUPS 696374 WITH SCORE 697299.521
AT ITER 3633 NEW BEST:: SOT 4005883 SOS 927162 HAS SOPS 927162 HAS SOUS 695954 HAS SOUPS 695954 WITH SCORE 696881.162
AT ITER 3634 NEW BEST:: SOT 4005791 SOS 927077 HAS SOPS 927077 HAS SOUS 695864 HAS SOUPS 695864 WITH SCORE 696791.077
AT ITER 3653 NEW BEST:: SOT 4005714 SOS 927011 HAS SOPS 927011 HAS SOUS 695798 HAS SOUPS 695798 WITH SCORE 696725.011
AT ITER 3659 NEW BEST:: SOT 4005566 SOS 926971 HAS SOPS 926971 HAS SOUS 695758 HAS SOUPS 695758 WITH SCORE 696684.971
AT ITER 3698 NEW BEST:: SOT 4005333 SOS 925292 HAS SOPS 925292 HAS SOUS 695564 HAS SOUPS 695564 WITH SCORE 696489.292
AT ITER 3703 NEW BEST:: SOT 4005081 SOS 925024 HAS SOPS 925024 HAS SOUS 695285 HAS SOUPS 695285 WITH SCORE 696210.024
AT ITER 3723 NEW BEST:: SOT 4004892 SOS 924646 HAS SOPS 924646 HAS SOUS 694905 HAS SOUPS 694905 WITH SCORE 695829.646
AT ITER 3733 NEW BEST:: SOT 4004891 SOS 924644 HAS SOPS 924644 HAS SOUS 694903 HAS SOUPS 694903 WITH SCORE 695827.644
AT ITER 3778 NEW BEST:: SOT 4004835 SOS 924686 HAS SOPS 924686 HAS SOUS 694861 HAS SOUPS 694861 WITH SCORE 695785.686
AT ITER 3802 NEW BEST:: SOT 4004835 SOS 924487 HAS SOPS 924487 HAS SOUS 694662 HAS SOUPS 694662 WITH SCORE 695586.487
AT ITER 3815 NEW BEST:: SOT 4004835 SOS 924434 HAS SOPS 924434 HAS SOUS 694660 HAS SOUPS 694660 WITH SCORE 695584.434
AT ITER 3824 NEW BEST:: SOT 4004074 SOS 923858 HAS SOPS 923858 HAS SOUS 693897 HAS SOUPS 693897 WITH SCORE 694820.858
AT ITER 3826 NEW BEST:: SOT 4004036 SOS 923820 HAS SOPS 923820 HAS SOUS 693896 HAS SOUPS 693896 WITH SCORE 694819.82
AT ITER 3843 NEW BEST:: SOT 4004035 SOS 923678 HAS SOPS 923678 HAS SOUS 693754 HAS SOUPS 693754 WITH SCORE 694677.678
AT ITER 3855 NEW BEST:: SOT 4004058 SOS 923236 HAS SOPS 923236 HAS SOUS 693605 HAS SOUPS 693605 WITH SCORE 694528.236
AT ITER 3861 NEW BEST:: SOT 4003955 SOS 923019 HAS SOPS 923019 HAS SOUS 693398 HAS SOUPS 693398 WITH SCORE 694321.019
AT ITER 3903 NEW BEST:: SOT 4003648 SOS 923050 HAS SOPS 923050 HAS SOUS 692890 HAS SOUPS 692890 WITH SCORE 693813.05
AT ITER 3933 NEW BEST:: SOT 4003648 SOS 923050 HAS SOPS 923050 HAS SOUS 692822 HAS SOUPS 692822 WITH SCORE 693745.05
AT ITER 3935 NEW BEST:: SOT 4003359 SOS 922744 HAS SOPS 922744 HAS SOUS 692516 HAS SOUPS 692516 WITH SCORE 693438.744
AT ITER 3967 NEW BEST:: SOT 4002911 SOS 922525 HAS SOPS 922525 HAS SOUS 692253 HAS SOUPS 692253 WITH SCORE 693175.525
AT ITER 3998 NEW BEST:: SOT 4002819 SOS 922569 HAS SOPS 922569 HAS SOUS 692141 HAS SOUPS 692141 WITH SCORE 693063.569
AT ITER 3999 NEW BEST:: SOT 4002755 SOS 922441 HAS SOPS 922441 HAS SOUS 692013 HAS SOUPS 692013 WITH SCORE 692935.441
AT ITER 4008 NEW BEST:: SOT 4002755 SOS 922417 HAS SOPS 922417 HAS SOUS 692005 HAS SOUPS 692005 WITH SCORE 692927.417
AT ITER 4017 NEW BEST:: SOT 4002754 SOS 922415 HAS SOPS 922415 HAS SOUS 691918 HAS SOUPS 691918 WITH SCORE 692840.415
AT ITER 4032 NEW BEST:: SOT 4002753 SOS 922413 HAS SOPS 922413 HAS SOUS 691916 HAS SOUPS 691916 WITH SCORE 692838.413
AT ITER 4039 NEW BEST:: SOT 4002739 SOS 922399 HAS SOPS 922399 HAS SOUS 691916 HAS SOUPS 691916 WITH SCORE 692838.399
AT ITER 4099 NEW BEST:: SOT 4002661 SOS 922243 HAS SOPS 922243 HAS SOUS 691760 HAS SOUPS 691760 WITH SCORE 692682.243
AT ITER 4133 NEW BEST:: SOT 4002607 SOS 919390 HAS SOPS 919390 HAS SOUS 691706 HAS SOUPS 691706 WITH SCORE 692625.39
AT ITER 4137 NEW BEST:: SOT 4002409 SOS 918911 HAS SOPS 918911 HAS SOUS 691227 HAS SOUPS 691227 WITH SCORE 692145.911
AT ITER 4139 NEW BEST:: SOT 4002359 SOS 918659 HAS SOPS 918659 HAS SOUS 691125 HAS SOUPS 691125 WITH SCORE 692043.659
AT ITER 4154 NEW BEST:: SOT 4002177 SOS 918477 HAS SOPS 918477 HAS SOUS 690943 HAS SOUPS 690943 WITH SCORE 691861.477
AT ITER 4156 NEW BEST:: SOT 4002177 SOS 917889 HAS SOPS 917889 HAS SOUS 690943 HAS SOUPS 690943 WITH SCORE 691860.889
AT ITER 4160 NEW BEST:: SOT 4000297 SOS 918273 HAS SOPS 918273 HAS SOUS 689177 HAS SOUPS 689177 WITH SCORE 690095.273
AT ITER 4186 NEW BEST:: SOT 4000297 SOS 918073 HAS SOPS 918073 HAS SOUS 689081 HAS SOUPS 689081 WITH SCORE 689999.073
AT ITER 4187 NEW BEST:: SOT 4000283 SOS 918059 HAS SOPS 918059 HAS SOUS 689067 HAS SOUPS 689067 WITH SCORE 689985.059
AT ITER 4218 NEW BEST:: SOT 4000057 SOS 918028 HAS SOPS 918028 HAS SOUS 689067 HAS SOUPS 689067 WITH SCORE 689985.028
AT ITER 4227 NEW BEST:: SOT 4000119 SOS 917920 HAS SOPS 917920 HAS SOUS 688959 HAS SOUPS 688959 WITH SCORE 689876.92
AT ITER 4229 NEW BEST:: SOT 3999975 SOS 917750 HAS SOPS 917750 HAS SOUS 688757 HAS SOUPS 688757 WITH SCORE 689674.75
AT ITER 4234 NEW BEST:: SOT 3997801 SOS 915073 HAS SOPS 915073 HAS SOUS 688214 HAS SOUPS 688214 WITH SCORE 689129.073
AT ITER 4256 NEW BEST:: SOT 3997723 SOS 914917 HAS SOPS 914917 HAS SOUS 688058 HAS SOUPS 688058 WITH SCORE 688972.917
AT ITER 4268 NEW BEST:: SOT 3997616 SOS 914703 HAS SOPS 914703 HAS SOUS 687844 HAS SOUPS 687844 WITH SCORE 688758.703
AT ITER 4283 NEW BEST:: SOT 3997417 SOS 914306 HAS SOPS 914306 HAS SOUS 687644 HAS SOUPS 687644 WITH SCORE 688558.306
AT ITER 4290 NEW BEST:: SOT 3997288 SOS 914134 HAS SOPS 914134 HAS SOUS 687214 HAS SOUPS 687214 WITH SCORE 688128.134
AT ITER 4291 NEW BEST:: SOT 3997163 SOS 914025 HAS SOPS 914025 HAS SOUS 687105 HAS SOUPS 687105 WITH SCORE 688019.025
AT ITER 4379 NEW BEST:: SOT 3997096 SOS 913745 HAS SOPS 913745 HAS SOUS 686967 HAS SOUPS 686967 WITH SCORE 687880.745
AT ITER 4398 NEW BEST:: SOT 3996957 SOS 913152 HAS SOPS 913152 HAS SOUS 686602 HAS SOUPS 686602 WITH SCORE 687515.152
AT ITER 4427 NEW BEST:: SOT 3996957 SOS 913136 HAS SOPS 913136 HAS SOUS 686602 HAS SOUPS 686602 WITH SCORE 687515.136
AT ITER 4436 NEW BEST:: SOT 3996727 SOS 912651 HAS SOPS 912651 HAS SOUS 686117 HAS SOUPS 686117 WITH SCORE 687029.651
AT ITER 4448 NEW BEST:: SOT 3996726 SOS 912649 HAS SOPS 912649 HAS SOUS 686115 HAS SOUPS 686115 WITH SCORE 687027.649
AT ITER 4451 NEW BEST:: SOT 3996725 SOS 912647 HAS SOPS 912647 HAS SOUS 686113 HAS SOUPS 686113 WITH SCORE 687025.647
AT ITER 4454 NEW BEST:: SOT 3996719 SOS 912563 HAS SOPS 912563 HAS SOUS 686095 HAS SOUPS 686095 WITH SCORE 687007.563
AT ITER 4457 NEW BEST:: SOT 3996718 SOS 912531 HAS SOPS 912531 HAS SOUS 686063 HAS SOUPS 686063 WITH SCORE 686975.531
AT ITER 4498 NEW BEST:: SOT 3996506 SOS 912239 HAS SOPS 912239 HAS SOUS 685847 HAS SOUPS 685847 WITH SCORE 686759.239
AT ITER 4533 NEW BEST:: SOT 3996362 SOS 914159 HAS SOPS 914159 HAS SOUS 685712 HAS SOUPS 685712 WITH SCORE 686626.159
AT ITER 4540 NEW BEST:: SOT 3996272 SOS 913979 HAS SOPS 913979 HAS SOUS 685620 HAS SOUPS 685620 WITH SCORE 686533.979
AT ITER 4549 NEW BEST:: SOT 3996232 SOS 913920 HAS SOPS 913920 HAS SOUS 685561 HAS SOUPS 685561 WITH SCORE 686474.92
AT ITER 4560 NEW BEST:: SOT 3996222 SOS 913611 HAS SOPS 913611 HAS SOUS 685319 HAS SOUPS 685319 WITH SCORE 686232.611
AT ITER 4584 NEW BEST:: SOT 3996170 SOS 913496 HAS SOPS 913496 HAS SOUS 685204 HAS SOUPS 685204 WITH SCORE 686117.496
AT ITER 4608 NEW BEST:: SOT 3996157 SOS 913232 HAS SOPS 913232 HAS SOUS 685178 HAS SOUPS 685178 WITH SCORE 686091.232
AT ITER 4632 NEW BEST:: SOT 3996128 SOS 913174 HAS SOPS 913174 HAS SOUS 685120 HAS SOUPS 685120 WITH SCORE 686033.174
AT ITER 4659 NEW BEST:: SOT 3995846 SOS 913090 HAS SOPS 913090 HAS SOUS 684904 HAS SOUPS 684904 WITH SCORE 685817.09
AT ITER 4669 NEW BEST:: SOT 3995738 SOS 913064 HAS SOPS 913064 HAS SOUS 684878 HAS SOUPS 684878 WITH SCORE 685791.064
AT ITER 4671 NEW BEST:: SOT 3995738 SOS 912989 HAS SOPS 912989 HAS SOUS 684803 HAS SOUPS 684803 WITH SCORE 685715.989
AT ITER 4676 NEW BEST:: SOT 3995738 SOS 912977 HAS SOPS 912977 HAS SOUS 684796 HAS SOUPS 684796 WITH SCORE 685708.977
AT ITER 4677 NEW BEST:: SOT 3995676 SOS 912724 HAS SOPS 912724 HAS SOUS 684670 HAS SOUPS 684670 WITH SCORE 685582.724
AT ITER 4679 NEW BEST:: SOT 3995574 SOS 912520 HAS SOPS 912520 HAS SOUS 684465 HAS SOUPS 684465 WITH SCORE 685377.52
AT ITER 4682 NEW BEST:: SOT 3995592 SOS 912568 HAS SOPS 912568 HAS SOUS 684455 HAS SOUPS 684455 WITH SCORE 685367.568
AT ITER 4695 NEW BEST:: SOT 3995592 SOS 912472 HAS SOPS 912472 HAS SOUS 684359 HAS SOUPS 684359 WITH SCORE 685271.472
AT ITER 4711 NEW BEST:: SOT 3994037 SOS 910546 HAS SOPS 910546 HAS SOUS 684153 HAS SOUPS 684153 WITH SCORE 685063.546
AT ITER 4714 NEW BEST:: SOT 3993993 SOS 910458 HAS SOPS 910458 HAS SOUS 684065 HAS SOUPS 684065 WITH SCORE 684975.458
AT ITER 4747 NEW BEST:: SOT 3992586 SOS 909045 HAS SOPS 909045 HAS SOUS 684066 HAS SOUPS 684066 WITH SCORE 684975.045
AT ITER 4773 NEW BEST:: SOT 3992335 SOS 908543 HAS SOPS 908543 HAS SOUS 683564 HAS SOUPS 683564 WITH SCORE 684472.543
AT ITER 4812 NEW BEST:: SOT 3992306 SOS 908549 HAS SOPS 908549 HAS SOUS 683500 HAS SOUPS 683500 WITH SCORE 684408.549
AT ITER 4820 NEW BEST:: SOT 3992306 SOS 908120 HAS SOPS 908120 HAS SOUS 683500 HAS SOUPS 683500 WITH SCORE 684408.12
AT ITER 4835 NEW BEST:: SOT 3992288 SOS 908084 HAS SOPS 908084 HAS SOUS 683473 HAS SOUPS 683473 WITH SCORE 684381.084
AT ITER 4839 NEW BEST:: SOT 3992198 SOS 907904 HAS SOPS 907904 HAS SOUS 683298 HAS SOUPS 683298 WITH SCORE 684205.904
AT ITER 4849 NEW BEST:: SOT 3992198 SOS 907903 HAS SOPS 907903 HAS SOUS 683297 HAS SOUPS 683297 WITH SCORE 684204.903
AT ITER 4856 NEW BEST:: SOT 3991904 SOS 907362 HAS SOPS 907362 HAS SOUS 682756 HAS SOUPS 682756 WITH SCORE 683663.362
AT ITER 4860 NEW BEST:: SOT 3991891 SOS 907328 HAS SOPS 907328 HAS SOUS 682730 HAS SOUPS 682730 WITH SCORE 683637.328
AT ITER 4861 NEW BEST:: SOT 3991966 SOS 907305 HAS SOPS 907305 HAS SOUS 682700 HAS SOUPS 682700 WITH SCORE 683607.305
AT ITER 4892 NEW BEST:: SOT 3990608 SOS 905888 HAS SOPS 905888 HAS SOUS 681341 HAS SOUPS 681341 WITH SCORE 682246.888
AT ITER 4904 NEW BEST:: SOT 3990560 SOS 905790 HAS SOPS 905790 HAS SOUS 681196 HAS SOUPS 681196 WITH SCORE 682101.79
AT ITER 4908 NEW BEST:: SOT 3990503 SOS 905752 HAS SOPS 905752 HAS SOUS 681158 HAS SOUPS 681158 WITH SCORE 682063.752
AT ITER 4968 NEW BEST:: SOT 3990427 SOS 905445 HAS SOPS 905445 HAS SOUS 680851 HAS SOUPS 680851 WITH SCORE 681756.445
AT ITER 4977 NEW BEST:: SOT 3990329 SOS 905093 HAS SOPS 905093 HAS SOUS 680661 HAS SOUPS 680661 WITH SCORE 681566.093
AT ITER 4978 NEW BEST:: SOT 3990126 SOS 904961 HAS SOPS 904961 HAS SOUS 680363 HAS SOUPS 680363 WITH SCORE 681267.961
AT ITER 5009 NEW BEST:: SOT 3989921 SOS 904141 HAS SOPS 904141 HAS SOUS 679953 HAS SOUPS 679953 WITH SCORE 680857.141
AT ITER 5044 NEW BEST:: SOT 3989929 SOS 905658 HAS SOPS 905658 HAS SOUS 679944 HAS SOUPS 679944 WITH SCORE 680849.658
AT ITER 5064 NEW BEST:: SOT 3989929 SOS 905658 HAS SOPS 905658 HAS SOUS 679928 HAS SOUPS 679928 WITH SCORE 680833.658
AT ITER 5066 NEW BEST:: SOT 3989694 SOS 905276 HAS SOPS 905276 HAS SOUS 679546 HAS SOUPS 679546 WITH SCORE 680451.276
AT ITER 5093 NEW BEST:: SOT 3989654 SOS 905196 HAS SOPS 905196 HAS SOUS 679466 HAS SOUPS 679466 WITH SCORE 680371.196
AT ITER 5129 NEW BEST:: SOT 3989640 SOS 905308 HAS SOPS 905308 HAS SOUS 679444 HAS SOUPS 679444 WITH SCORE 680349.308
AT ITER 5145 NEW BEST:: SOT 3989640 SOS 904876 HAS SOPS 904876 HAS SOUS 679444 HAS SOUPS 679444 WITH SCORE 680348.876
AT ITER 5164 NEW BEST:: SOT 3987473 SOS 906258 HAS SOPS 906258 HAS SOUS 677785 HAS SOUPS 677785 WITH SCORE 678691.258
AT ITER 5177 NEW BEST:: SOT 3987364 SOS 905772 HAS SOPS 905772 HAS SOUS 677528 HAS SOUPS 677528 WITH SCORE 678433.772
AT ITER 5183 NEW BEST:: SOT 3987245 SOS 905663 HAS SOPS 905663 HAS SOUS 677419 HAS SOUPS 677419 WITH SCORE 678324.663
AT ITER 5185 NEW BEST:: SOT 3987238 SOS 906710 HAS SOPS 906710 HAS SOUS 677381 HAS SOUPS 677381 WITH SCORE 678287.71
AT ITER 5195 NEW BEST:: SOT 3987087 SOS 906587 HAS SOPS 906587 HAS SOUS 677287 HAS SOUPS 677287 WITH SCORE 678193.587
AT ITER 5204 NEW BEST:: SOT 3986836 SOS 906104 HAS SOPS 906104 HAS SOUS 676803 HAS SOUPS 676803 WITH SCORE 677709.104
AT ITER 5211 NEW BEST:: SOT 3986806 SOS 906074 HAS SOPS 906074 HAS SOUS 676743 HAS SOUPS 676743 WITH SCORE 677649.074
AT ITER 5232 NEW BEST:: SOT 3986722 SOS 906032 HAS SOPS 906032 HAS SOUS 676701 HAS SOUPS 676701 WITH SCORE 677607.032
AT ITER 5246 NEW BEST:: SOT 3986623 SOS 905929 HAS SOPS 905929 HAS SOUS 676601 HAS SOUPS 676601 WITH SCORE 677506.929
AT ITER 5249 NEW BEST:: SOT 3986595 SOS 906346 HAS SOPS 906346 HAS SOUS 676514 HAS SOUPS 676514 WITH SCORE 677420.346
AT ITER 5253 NEW BEST:: SOT 3986507 SOS 906258 HAS SOPS 906258 HAS SOUS 676426 HAS SOUPS 676426 WITH SCORE 677332.258
AT ITER 5261 NEW BEST:: SOT 3986502 SOS 906218 HAS SOPS 906218 HAS SOUS 676416 HAS SOUPS 676416 WITH SCORE 677322.218
AT ITER 5308 NEW BEST:: SOT 3986438 SOS 906154 HAS SOPS 906154 HAS SOUS 676271 HAS SOUPS 676271 WITH SCORE 677177.154
AT ITER 5310 NEW BEST:: SOT 3986286 SOS 905897 HAS SOPS 905897 HAS SOUS 676209 HAS SOUPS 676209 WITH SCORE 677114.897
AT ITER 5312 NEW BEST:: SOT 3985884 SOS 905365 HAS SOPS 905365 HAS SOUS 672679 HAS SOUPS 672679 WITH SCORE 673584.365
AT ITER 5345 NEW BEST:: SOT 3985883 SOS 905363 HAS SOPS 905363 HAS SOUS 672677 HAS SOUPS 672677 WITH SCORE 673582.363
AT ITER 5352 NEW BEST:: SOT 3984401 SOS 903877 HAS SOPS 903877 HAS SOUS 671303 HAS SOUPS 671303 WITH SCORE 672206.877
AT ITER 5371 NEW BEST:: SOT 3981656 SOS 903587 HAS SOPS 903587 HAS SOUS 669200 HAS SOUPS 669200 WITH SCORE 670103.587
AT ITER 5383 NEW BEST:: SOT 3981145 SOS 903199 HAS SOPS 903199 HAS SOUS 668713 HAS SOUPS 668713 WITH SCORE 669616.199
AT ITER 5402 NEW BEST:: SOT 3981047 SOS 903164 HAS SOPS 903164 HAS SOUS 668691 HAS SOUPS 668691 WITH SCORE 669594.164
AT ITER 5441 NEW BEST:: SOT 3981047 SOS 907924 HAS SOPS 907924 HAS SOUS 668251 HAS SOUPS 668251 WITH SCORE 669158.924
AT ITER 5485 NEW BEST:: SOT 3981016 SOS 907455 HAS SOPS 907455 HAS SOUS 668248 HAS SOUPS 668248 WITH SCORE 669155.455
AT ITER 5525 NEW BEST:: SOT 3980483 SOS 907330 HAS SOPS 907330 HAS SOUS 668001 HAS SOUPS 668001 WITH SCORE 668908.33
AT ITER 5547 NEW BEST:: SOT 3979619 SOS 906165 HAS SOPS 906165 HAS SOUS 666885 HAS SOUPS 666885 WITH SCORE 667791.165
AT ITER 5599 NEW BEST:: SOT 3979573 SOS 906173 HAS SOPS 906173 HAS SOUS 666848 HAS SOUPS 666848 WITH SCORE 667754.173
AT ITER 5601 NEW BEST:: SOT 3979572 SOS 906172 HAS SOPS 906172 HAS SOUS 666841 HAS SOUPS 666841 WITH SCORE 667747.172
AT ITER 5602 NEW BEST:: SOT 3979262 SOS 905900 HAS SOPS 905900 HAS SOUS 666405 HAS SOUPS 666405 WITH SCORE 667310.9
AT ITER 5608 NEW BEST:: SOT 3979070 SOS 905708 HAS SOPS 905708 HAS SOUS 666191 HAS SOUPS 666191 WITH SCORE 667096.708
AT ITER 5611 NEW BEST:: SOT 3978924 SOS 905452 HAS SOPS 905452 HAS SOUS 665055 HAS SOUPS 665055 WITH SCORE 665960.452
AT ITER 5614 NEW BEST:: SOT 3978736 SOS 905329 HAS SOPS 905329 HAS SOUS 664932 HAS SOUPS 664932 WITH SCORE 665837.329
AT ITER 5640 NEW BEST:: SOT 3978736 SOS 905329 HAS SOPS 905329 HAS SOUS 664924 HAS SOUPS 664924 WITH SCORE 665829.329
AT ITER 5647 NEW BEST:: SOT 3978706 SOS 905299 HAS SOPS 905299 HAS SOUS 664894 HAS SOUPS 664894 WITH SCORE 665799.299
AT ITER 5648 NEW BEST:: SOT 3978455 SOS 904789 HAS SOPS 904789 HAS SOUS 664392 HAS SOUPS 664392 WITH SCORE 665296.789
AT ITER 5652 NEW BEST:: SOT 3978322 SOS 904656 HAS SOPS 904656 HAS SOUS 664259 HAS SOUPS 664259 WITH SCORE 665163.656
AT ITER 5682 NEW BEST:: SOT 3978219 SOS 904347 HAS SOPS 904347 HAS SOUS 664053 HAS SOUPS 664053 WITH SCORE 664957.347
AT ITER 5690 NEW BEST:: SOT 3978166 SOS 904249 HAS SOPS 904249 HAS SOUS 664000 HAS SOUPS 664000 WITH SCORE 664904.249
AT ITER 5699 NEW BEST:: SOT 3977816 SOS 903860 HAS SOPS 903860 HAS SOUS 663611 HAS SOUPS 663611 WITH SCORE 664514.86
AT ITER 5711 NEW BEST:: SOT 3977816 SOS 903832 HAS SOPS 903832 HAS SOUS 663583 HAS SOUPS 663583 WITH SCORE 664486.832
AT ITER 5712 NEW BEST:: SOT 3977774 SOS 903748 HAS SOPS 903748 HAS SOUS 663438 HAS SOUPS 663438 WITH SCORE 664341.748
AT ITER 5729 NEW BEST:: SOT 3977774 SOS 903709 HAS SOPS 903709 HAS SOUS 663438 HAS SOUPS 663438 WITH SCORE 664341.709
AT ITER 5744 NEW BEST:: SOT 3977774 SOS 904234 HAS SOPS 904234 HAS SOUS 663223 HAS SOUPS 663223 WITH SCORE 664127.234
AT ITER 5752 NEW BEST:: SOT 3978341 SOS 904787 HAS SOPS 904787 HAS SOUS 662707 HAS SOUPS 662707 WITH SCORE 663611.787
AT ITER 5759 NEW BEST:: SOT 3978195 SOS 905417 HAS SOPS 905417 HAS SOUS 662645 HAS SOUPS 662645 WITH SCORE 663550.417
AT ITER 5781 NEW BEST:: SOT 3978195 SOS 905211 HAS SOPS 905211 HAS SOUS 662645 HAS SOUPS 662645 WITH SCORE 663550.211
AT ITER 5792 NEW BEST:: SOT 3978169 SOS 905159 HAS SOPS 905159 HAS SOUS 662593 HAS SOUPS 662593 WITH SCORE 663498.159
AT ITER 5799 NEW BEST:: SOT 3978169 SOS 905049 HAS SOPS 905049 HAS SOUS 662483 HAS SOUPS 662483 WITH SCORE 663388.049
AT ITER 5806 NEW BEST:: SOT 3978036 SOS 905350 HAS SOPS 905350 HAS SOUS 662284 HAS SOUPS 662284 WITH SCORE 663189.35
AT ITER 5824 NEW BEST:: SOT 3977941 SOS 905050 HAS SOPS 905050 HAS SOUS 662203 HAS SOUPS 662203 WITH SCORE 663108.05
AT ITER 5857 NEW BEST:: SOT 3977941 SOS 904999 HAS SOPS 904999 HAS SOUS 662152 HAS SOUPS 662152 WITH SCORE 663056.999
AT ITER 5881 NEW BEST:: SOT 3977247 SOS 905075 HAS SOPS 905075 HAS SOUS 661724 HAS SOUPS 661724 WITH SCORE 662629.075
AT ITER 5882 NEW BEST:: SOT 3977030 SOS 904857 HAS SOPS 904857 HAS SOUS 661308 HAS SOUPS 661308 WITH SCORE 662212.857
AT ITER 5900 NEW BEST:: SOT 3978383 SOS 906375 HAS SOPS 906375 HAS SOUS 659700 HAS SOUPS 659700 WITH SCORE 660606.375
AT ITER 5907 NEW BEST:: SOT 3978275 SOS 906283 HAS SOPS 906283 HAS SOUS 659607 HAS SOUPS 659607 WITH SCORE 660513.283
AT ITER 5913 NEW BEST:: SOT 3977900 SOS 905911 HAS SOPS 905911 HAS SOUS 659235 HAS SOUPS 659235 WITH SCORE 660140.911
AT ITER 5918 NEW BEST:: SOT 3977688 SOS 905648 HAS SOPS 905648 HAS SOUS 659196 HAS SOUPS 659196 WITH SCORE 660101.648
AT ITER 5921 NEW BEST:: SOT 3977723 SOS 905599 HAS SOPS 905599 HAS SOUS 659147 HAS SOUPS 659147 WITH SCORE 660052.599
AT ITER 5922 NEW BEST:: SOT 3977849 SOS 905569 HAS SOPS 905569 HAS SOUS 658788 HAS SOUPS 658788 WITH SCORE 659693.569
AT ITER 5953 NEW BEST:: SOT 3977729 SOS 905834 HAS SOPS 905834 HAS SOUS 658781 HAS SOUPS 658781 WITH SCORE 659686.834
AT ITER 5959 NEW BEST:: SOT 3977694 SOS 905775 HAS SOPS 905775 HAS SOUS 658722 HAS SOUPS 658722 WITH SCORE 659627.775
AT ITER 5963 NEW BEST:: SOT 3977534 SOS 905215 HAS SOPS 905215 HAS SOUS 658362 HAS SOUPS 658362 WITH SCORE 659267.215
AT ITER 5964 NEW BEST:: SOT 3977510 SOS 907127 HAS SOPS 907127 HAS SOUS 658346 HAS SOUPS 658346 WITH SCORE 659253.127
AT ITER 5970 NEW BEST:: SOT 3977510 SOS 907447 HAS SOPS 907447 HAS SOUS 658282 HAS SOUPS 658282 WITH SCORE 659189.447
AT ITER 5977 NEW BEST:: SOT 3977510 SOS 907669 HAS SOPS 907669 HAS SOUS 658238 HAS SOUPS 658238 WITH SCORE 659145.669
AT ITER 5988 NEW BEST:: SOT 3977509 SOS 907554 HAS SOPS 907554 HAS SOUS 658123 HAS SOUPS 658123 WITH SCORE 659030.554
AT ITER 5992 NEW BEST:: SOT 3977475 SOS 907520 HAS SOPS 907520 HAS SOUS 658089 HAS SOUPS 658089 WITH SCORE 658996.52
AT ITER 6018 NEW BEST:: SOT 3976643 SOS 906494 HAS SOPS 906494 HAS SOUS 657775 HAS SOUPS 657775 WITH SCORE 658681.494
AT ITER 6084 NEW BEST:: SOT 3976562 SOS 906253 HAS SOPS 906253 HAS SOUS 657613 HAS SOUPS 657613 WITH SCORE 658519.253
AT ITER 6086 NEW BEST:: SOT 3976476 SOS 905995 HAS SOPS 905995 HAS SOUS 657441 HAS SOUPS 657441 WITH SCORE 658346.995
AT ITER 6106 NEW BEST:: SOT 3976289 SOS 905621 HAS SOPS 905621 HAS SOUS 657304 HAS SOUPS 657304 WITH SCORE 658209.621
AT ITER 6117 NEW BEST:: SOT 3976583 SOS 905866 HAS SOPS 905866 HAS SOUS 657206 HAS SOUPS 657206 WITH SCORE 658111.866
AT ITER 6130 NEW BEST:: SOT 3976639 SOS 905748 HAS SOPS 905748 HAS SOUS 657088 HAS SOUPS 657088 WITH SCORE 657993.748
AT ITER 6156 NEW BEST:: SOT 3976639 SOS 905728 HAS SOPS 905728 HAS SOUS 656982 HAS SOUPS 656982 WITH SCORE 657887.728
AT ITER 6169 NEW BEST:: SOT 3976576 SOS 905500 HAS SOPS 905500 HAS SOUS 656752 HAS SOUPS 656752 WITH SCORE 657657.5
AT ITER 6174 NEW BEST:: SOT 3976576 SOS 905478 HAS SOPS 905478 HAS SOUS 656730 HAS SOUPS 656730 WITH SCORE 657635.478
AT ITER 6199 NEW BEST:: SOT 3976560 SOS 905446 HAS SOPS 905446 HAS SOUS 656698 HAS SOUPS 656698 WITH SCORE 657603.446
AT ITER 6200 NEW BEST:: SOT 3976332 SOS 905261 HAS SOPS 905261 HAS SOUS 656561 HAS SOUPS 656561 WITH SCORE 657466.261
AT ITER 6202 NEW BEST:: SOT 3976262 SOS 905121 HAS SOPS 905121 HAS SOUS 656421 HAS SOUPS 656421 WITH SCORE 657326.121
AT ITER 6215 NEW BEST:: SOT 3976262 SOS 905095 HAS SOPS 905095 HAS SOUS 656421 HAS SOUPS 656421 WITH SCORE 657326.095
AT ITER 6281 NEW BEST:: SOT 3975471 SOS 904886 HAS SOPS 904886 HAS SOUS 655921 HAS SOUPS 655921 WITH SCORE 656825.886
AT ITER 6282 NEW BEST:: SOT 3975470 SOS 904885 HAS SOPS 904885 HAS SOUS 655919 HAS SOUPS 655919 WITH SCORE 656823.885
AT ITER 6293 NEW BEST:: SOT 3975387 SOS 904791 HAS SOPS 904791 HAS SOUS 655825 HAS SOUPS 655825 WITH SCORE 656729.791
AT ITER 6303 NEW BEST:: SOT 3975386 SOS 904648 HAS SOPS 904648 HAS SOUS 655823 HAS SOUPS 655823 WITH SCORE 656727.648
AT ITER 6318 NEW BEST:: SOT 3974969 SOS 904234 HAS SOPS 904234 HAS SOUS 655430 HAS SOUPS 655430 WITH SCORE 656334.234
AT ITER 6358 NEW BEST:: SOT 3974969 SOS 904219 HAS SOPS 904219 HAS SOUS 655415 HAS SOUPS 655415 WITH SCORE 656319.219
AT ITER 6405 NEW BEST:: SOT 3973705 SOS 907803 HAS SOPS 907803 HAS SOUS 654704 HAS SOUPS 654704 WITH SCORE 655611.803
AT ITER 6406 NEW BEST:: SOT 3973656 SOS 907704 HAS SOPS 907704 HAS SOUS 654605 HAS SOUPS 654605 WITH SCORE 655512.704
AT ITER 6413 NEW BEST:: SOT 3973656 SOS 907168 HAS SOPS 907168 HAS SOUS 654605 HAS SOUPS 654605 WITH SCORE 655512.168
AT ITER 6420 NEW BEST:: SOT 3973656 SOS 907141 HAS SOPS 907141 HAS SOUS 654596 HAS SOUPS 654596 WITH SCORE 655503.141
AT ITER 6452 NEW BEST:: SOT 3973615 SOS 906928 HAS SOPS 906928 HAS SOUS 654522 HAS SOUPS 654522 WITH SCORE 655428.928
AT ITER 6457 NEW BEST:: SOT 3973536 SOS 906849 HAS SOPS 906849 HAS SOUS 654443 HAS SOUPS 654443 WITH SCORE 655349.849
AT ITER 6468 NEW BEST:: SOT 3973536 SOS 906847 HAS SOPS 906847 HAS SOUS 654442 HAS SOUPS 654442 WITH SCORE 655348.847
AT ITER 6472 NEW BEST:: SOT 3973147 SOS 909076 HAS SOPS 909076 HAS SOUS 654237 HAS SOUPS 654237 WITH SCORE 655146.076
AT ITER 6477 NEW BEST:: SOT 3973147 SOS 908967 HAS SOPS 908967 HAS SOUS 654128 HAS SOUPS 654128 WITH SCORE 655036.967
AT ITER 6490 NEW BEST:: SOT 3972985 SOS 908754 HAS SOPS 908754 HAS SOUS 653915 HAS SOUPS 653915 WITH SCORE 654823.754
AT ITER 6515 NEW BEST:: SOT 3972976 SOS 908718 HAS SOPS 908718 HAS SOUS 653887 HAS SOUPS 653887 WITH SCORE 654795.718
AT ITER 6530 NEW BEST:: SOT 3972735 SOS 909301 HAS SOPS 909301 HAS SOUS 653405 HAS SOUPS 653405 WITH SCORE 654314.301
AT ITER 6553 NEW BEST:: SOT 3972500 SOS 909278 HAS SOPS 909278 HAS SOUS 653303 HAS SOUPS 653303 WITH SCORE 654212.278
AT ITER 6566 NEW BEST:: SOT 3971945 SOS 908896 HAS SOPS 908896 HAS SOUS 652921 HAS SOUPS 652921 WITH SCORE 653829.896
AT ITER 6584 NEW BEST:: SOT 3971930 SOS 908880 HAS SOPS 908880 HAS SOUS 652905 HAS SOUPS 652905 WITH SCORE 653813.88
AT ITER 6601 NEW BEST:: SOT 3971930 SOS 908838 HAS SOPS 908838 HAS SOUS 652905 HAS SOUPS 652905 WITH SCORE 653813.838
AT ITER 6613 NEW BEST:: SOT 3971595 SOS 908526 HAS SOPS 908526 HAS SOUS 652593 HAS SOUPS 652593 WITH SCORE 653501.526
AT ITER 6614 NEW BEST:: SOT 3971463 SOS 908347 HAS SOPS 908347 HAS SOUS 652329 HAS SOUPS 652329 WITH SCORE 653237.347
AT ITER 6643 NEW BEST:: SOT 3971364 SOS 908149 HAS SOPS 908149 HAS SOUS 652230 HAS SOUPS 652230 WITH SCORE 653138.149
AT ITER 6696 NEW BEST:: SOT 3971372 SOS 907955 HAS SOPS 907955 HAS SOUS 652036 HAS SOUPS 652036 WITH SCORE 652943.955
AT ITER 6711 NEW BEST:: SOT 3971191 SOS 907810 HAS SOPS 907810 HAS SOUS 651891 HAS SOUPS 651891 WITH SCORE 652798.81
AT ITER 6720 NEW BEST:: SOT 3971237 SOS 907534 HAS SOPS 907534 HAS SOUS 651891 HAS SOUPS 651891 WITH SCORE 652798.534
AT ITER 6770 NEW BEST:: SOT 3971211 SOS 907482 HAS SOPS 907482 HAS SOUS 651761 HAS SOUPS 651761 WITH SCORE 652668.482
AT ITER 6788 NEW BEST:: SOT 3971186 SOS 907432 HAS SOPS 907432 HAS SOUS 651711 HAS SOUPS 651711 WITH SCORE 652618.432
AT ITER 6789 NEW BEST:: SOT 3971182 SOS 907340 HAS SOPS 907340 HAS SOUS 651531 HAS SOUPS 651531 WITH SCORE 652438.34
AT ITER 6790 NEW BEST:: SOT 3971170 SOS 907316 HAS SOPS 907316 HAS SOUS 651507 HAS SOUPS 651507 WITH SCORE 652414.316
AT ITER 6796 NEW BEST:: SOT 3971164 SOS 907304 HAS SOPS 907304 HAS SOUS 651495 HAS SOUPS 651495 WITH SCORE 652402.304
AT ITER 6847 NEW BEST:: SOT 3971208 SOS 907348 HAS SOPS 907348 HAS SOUS 651494 HAS SOUPS 651494 WITH SCORE 652401.348
AT ITER 6873 NEW BEST:: SOT 3971801 SOS 908777 HAS SOPS 908777 HAS SOUS 649438 HAS SOUPS 649438 WITH SCORE 650346.777
AT ITER 6876 NEW BEST:: SOT 3971119 SOS 907660 HAS SOPS 907660 HAS SOUS 648323 HAS SOUPS 648323 WITH SCORE 649230.66
AT ITER 6910 NEW BEST:: SOT 3970951 SOS 907492 HAS SOPS 907492 HAS SOUS 648155 HAS SOUPS 648155 WITH SCORE 649062.492
AT ITER 6931 NEW BEST:: SOT 3970891 SOS 907372 HAS SOPS 907372 HAS SOUS 648035 HAS SOUPS 648035 WITH SCORE 648942.372
AT ITER 6939 NEW BEST:: SOT 3970708 SOS 907097 HAS SOPS 907097 HAS SOUS 647790 HAS SOUPS 647790 WITH SCORE 648697.097
AT ITER 6951 NEW BEST:: SOT 3970708 SOS 907096 HAS SOPS 907096 HAS SOUS 647789 HAS SOUPS 647789 WITH SCORE 648696.096
AT ITER 6965 NEW BEST:: SOT 3970532 SOS 907032 HAS SOPS 907032 HAS SOUS 647725 HAS SOUPS 647725 WITH SCORE 648632.032
AT ITER 6971 NEW BEST:: SOT 3970358 SOS 906684 HAS SOPS 906684 HAS SOUS 647584 HAS SOUPS 647584 WITH SCORE 648490.684
AT ITER 6975 NEW BEST:: SOT 3970358 SOS 906552 HAS SOPS 906552 HAS SOUS 647584 HAS SOUPS 647584 WITH SCORE 648490.552
AT ITER 6977 NEW BEST:: SOT 3970381 SOS 906550 HAS SOPS 906550 HAS SOUS 647582 HAS SOUPS 647582 WITH SCORE 648488.55
AT ITER 6980 NEW BEST:: SOT 3969913 SOS 906082 HAS SOPS 906082 HAS SOUS 647113 HAS SOUPS 647113 WITH SCORE 648019.082
AT ITER 6995 NEW BEST:: SOT 3969872 SOS 906041 HAS SOPS 906041 HAS SOUS 647072 HAS SOUPS 647072 WITH SCORE 647978.041
AT ITER 6997 NEW BEST:: SOT 3969779 SOS 905944 HAS SOPS 905944 HAS SOUS 646882 HAS SOUPS 646882 WITH SCORE 647787.944
AT ITER 7002 NEW BEST:: SOT 3969771 SOS 905734 HAS SOPS 905734 HAS SOUS 646866 HAS SOUPS 646866 WITH SCORE 647771.734
AT ITER 7015 NEW BEST:: SOT 3969773 SOS 905666 HAS SOPS 905666 HAS SOUS 646810 HAS SOUPS 646810 WITH SCORE 647715.666
AT ITER 7021 NEW BEST:: SOT 3970166 SOS 905664 HAS SOPS 905664 HAS SOUS 646699 HAS SOUPS 646699 WITH SCORE 647604.664
AT ITER 7053 NEW BEST:: SOT 3970162 SOS 905656 HAS SOPS 905656 HAS SOUS 646527 HAS SOUPS 646527 WITH SCORE 647432.656
AT ITER 7066 NEW BEST:: SOT 3970006 SOS 903220 HAS SOPS 903220 HAS SOUS 646506 HAS SOUPS 646506 WITH SCORE 647409.22
AT ITER 7085 NEW BEST:: SOT 3969815 SOS 903484 HAS SOPS 903484 HAS SOUS 646421 HAS SOUPS 646421 WITH SCORE 647324.484
AT ITER 7102 NEW BEST:: SOT 3969702 SOS 903258 HAS SOPS 903258 HAS SOUS 644131 HAS SOUPS 644131 WITH SCORE 645034.258
AT ITER 7115 NEW BEST:: SOT 3969595 SOS 903022 HAS SOPS 903022 HAS SOUS 643895 HAS SOUPS 643895 WITH SCORE 644798.022
AT ITER 7126 NEW BEST:: SOT 3969577 SOS 903004 HAS SOPS 903004 HAS SOUS 643877 HAS SOUPS 643877 WITH SCORE 644780.004
AT ITER 7188 NEW BEST:: SOT 3969529 SOS 904351 HAS SOPS 904351 HAS SOUS 643772 HAS SOUPS 643772 WITH SCORE 644676.351
AT ITER 7190 NEW BEST:: SOT 3969337 SOS 904051 HAS SOPS 904051 HAS SOUS 643605 HAS SOUPS 643605 WITH SCORE 644509.051
AT ITER 7196 NEW BEST:: SOT 3969437 SOS 904019 HAS SOPS 904019 HAS SOUS 643013 HAS SOUPS 643013 WITH SCORE 643917.019
AT ITER 7227 NEW BEST:: SOT 3969437 SOS 903848 HAS SOPS 903848 HAS SOUS 642842 HAS SOUPS 642842 WITH SCORE 643745.848
AT ITER 7232 NEW BEST:: SOT 3969437 SOS 903769 HAS SOPS 903769 HAS SOUS 642840 HAS SOUPS 642840 WITH SCORE 643743.769
AT ITER 7252 NEW BEST:: SOT 3969270 SOS 903843 HAS SOPS 903843 HAS SOUS 642809 HAS SOUPS 642809 WITH SCORE 643712.843
AT ITER 7263 NEW BEST:: SOT 3969257 SOS 903815 HAS SOPS 903815 HAS SOUS 642781 HAS SOUPS 642781 WITH SCORE 643684.815
AT ITER 7268 NEW BEST:: SOT 3968130 SOS 903724 HAS SOPS 903724 HAS SOUS 642304 HAS SOUPS 642304 WITH SCORE 643207.724
AT ITER 7285 NEW BEST:: SOT 3968128 SOS 903770 HAS SOPS 903770 HAS SOUS 642301 HAS SOUPS 642301 WITH SCORE 643204.77
AT ITER 7287 NEW BEST:: SOT 3967352 SOS 903765 HAS SOPS 903765 HAS SOUS 641857 HAS SOUPS 641857 WITH SCORE 642760.765
AT ITER 7301 NEW BEST:: SOT 3967226 SOS 903639 HAS SOPS 903639 HAS SOUS 641731 HAS SOUPS 641731 WITH SCORE 642634.639
AT ITER 7354 NEW BEST:: SOT 3966501 SOS 903676 HAS SOPS 903676 HAS SOUS 641185 HAS SOUPS 641185 WITH SCORE 642088.676
AT ITER 7366 NEW BEST:: SOT 3966271 SOS 902936 HAS SOPS 902936 HAS SOUS 637563 HAS SOUPS 637563 WITH SCORE 638465.936
AT ITER 7432 NEW BEST:: SOT 3966134 SOS 902883 HAS SOPS 902883 HAS SOUS 637510 HAS SOUPS 637510 WITH SCORE 638412.883
AT ITER 7437 NEW BEST:: SOT 3966134 SOS 902996 HAS SOPS 902996 HAS SOUS 637483 HAS SOUPS 637483 WITH SCORE 638385.996
AT ITER 7450 NEW BEST:: SOT 3966134 SOS 902995 HAS SOPS 902995 HAS SOUS 637482 HAS SOUPS 637482 WITH SCORE 638384.995
AT ITER 7454 NEW BEST:: SOT 3965975 SOS 902632 HAS SOPS 902632 HAS SOUS 637119 HAS SOUPS 637119 WITH SCORE 638021.632
AT ITER 7502 NEW BEST:: SOT 3965814 SOS 902448 HAS SOPS 902448 HAS SOUS 636998 HAS SOUPS 636998 WITH SCORE 637900.448
AT ITER 7508 NEW BEST:: SOT 3965814 SOS 902333 HAS SOPS 902333 HAS SOUS 634033 HAS SOUPS 634033 WITH SCORE 634935.333
AT ITER 7519 NEW BEST:: SOT 3965614 SOS 904667 HAS SOPS 904667 HAS SOUS 634014 HAS SOUPS 634014 WITH SCORE 634918.667
AT ITER 7562 NEW BEST:: SOT 3965584 SOS 904637 HAS SOPS 904637 HAS SOUS 634008 HAS SOUPS 634008 WITH SCORE 634912.637
AT ITER 7609 NEW BEST:: SOT 3965288 SOS 899230 HAS SOPS 899230 HAS SOUS 633094 HAS SOUPS 633094 WITH SCORE 633993.23
AT ITER 7611 NEW BEST:: SOT 3965216 SOS 898941 HAS SOPS 898941 HAS SOUS 633022 HAS SOUPS 633022 WITH SCORE 633920.941
AT ITER 7623 NEW BEST:: SOT 3964851 SOS 898769 HAS SOPS 898769 HAS SOUS 632847 HAS SOUPS 632847 WITH SCORE 633745.769
AT ITER 7631 NEW BEST:: SOT 3964577 SOS 898463 HAS SOPS 898463 HAS SOUS 632572 HAS SOUPS 632572 WITH SCORE 633470.463
AT ITER 7645 NEW BEST:: SOT 3964636 SOS 896978 HAS SOPS 896978 HAS SOUS 632337 HAS SOUPS 632337 WITH SCORE 633233.978
AT ITER 7648 NEW BEST:: SOT 3964150 SOS 896492 HAS SOPS 896492 HAS SOUS 631851 HAS SOUPS 631851 WITH SCORE 632747.492
AT ITER 7656 NEW BEST:: SOT 3964064 SOS 896331 HAS SOPS 896331 HAS SOUS 631754 HAS SOUPS 631754 WITH SCORE 632650.331
AT ITER 7665 NEW BEST:: SOT 3963901 SOS 896168 HAS SOPS 896168 HAS SOUS 631591 HAS SOUPS 631591 WITH SCORE 632487.168
AT ITER 7667 NEW BEST:: SOT 3963569 SOS 895652 HAS SOPS 895652 HAS SOUS 630971 HAS SOUPS 630971 WITH SCORE 631866.652
AT ITER 7723 NEW BEST:: SOT 3963334 SOS 895866 HAS SOPS 895866 HAS SOUS 630936 HAS SOUPS 630936 WITH SCORE 631831.866
AT ITER 7736 NEW BEST:: SOT 3963334 SOS 896095 HAS SOPS 896095 HAS SOUS 629333 HAS SOUPS 629333 WITH SCORE 630229.095
AT ITER 7746 NEW BEST:: SOT 3963285 SOS 895838 HAS SOPS 895838 HAS SOUS 629235 HAS SOUPS 629235 WITH SCORE 630130.838
AT ITER 7747 NEW BEST:: SOT 3963372 SOS 895762 HAS SOPS 895762 HAS SOUS 629159 HAS SOUPS 629159 WITH SCORE 630054.762
AT ITER 7748 NEW BEST:: SOT 3963258 SOS 895468 HAS SOPS 895468 HAS SOUS 628865 HAS SOUPS 628865 WITH SCORE 629760.468
AT ITER 7750 NEW BEST:: SOT 3963258 SOS 895447 HAS SOPS 895447 HAS SOUS 628854 HAS SOUPS 628854 WITH SCORE 629749.447
AT ITER 7760 NEW BEST:: SOT 3963565 SOS 895442 HAS SOPS 895442 HAS SOUS 628849 HAS SOUPS 628849 WITH SCORE 629744.442
AT ITER 7797 NEW BEST:: SOT 3963495 SOS 895302 HAS SOPS 895302 HAS SOUS 628779 HAS SOUPS 628779 WITH SCORE 629674.302
AT ITER 7816 NEW BEST:: SOT 3963494 SOS 895258 HAS SOPS 895258 HAS SOUS 628778 HAS SOUPS 628778 WITH SCORE 629673.258
AT ITER 7833 NEW BEST:: SOT 3963484 SOS 895214 HAS SOPS 895214 HAS SOUS 628758 HAS SOUPS 628758 WITH SCORE 629653.214
AT ITER 7846 NEW BEST:: SOT 3963453 SOS 895182 HAS SOPS 895182 HAS SOUS 628593 HAS SOUPS 628593 WITH SCORE 629488.182
AT ITER 7873 NEW BEST:: SOT 3963027 SOS 894543 HAS SOPS 894543 HAS SOUS 627954 HAS SOUPS 627954 WITH SCORE 628848.543
AT ITER 7876 NEW BEST:: SOT 3963027 SOS 894465 HAS SOPS 894465 HAS SOUS 627954 HAS SOUPS 627954 WITH SCORE 628848.465
AT ITER 7883 NEW BEST:: SOT 3962899 SOS 894273 HAS SOPS 894273 HAS SOUS 627890 HAS SOUPS 627890 WITH SCORE 628784.273
AT ITER 7896 NEW BEST:: SOT 3962855 SOS 894185 HAS SOPS 894185 HAS SOUS 627802 HAS SOUPS 627802 WITH SCORE 628696.185
AT ITER 7903 NEW BEST:: SOT 3962372 SOS 893767 HAS SOPS 893767 HAS SOUS 627319 HAS SOUPS 627319 WITH SCORE 628212.767
AT ITER 7904 NEW BEST:: SOT 3962263 SOS 893113 HAS SOPS 893113 HAS SOUS 627101 HAS SOUPS 627101 WITH SCORE 627994.113
AT ITER 7960 NEW BEST:: SOT 3962254 SOS 893082 HAS SOPS 893082 HAS SOUS 627070 HAS SOUPS 627070 WITH SCORE 627963.082
AT ITER 8006 NEW BEST:: SOT 3962062 SOS 892866 HAS SOPS 892866 HAS SOUS 627022 HAS SOUPS 627022 WITH SCORE 627914.866
AT ITER 8014 NEW BEST:: SOT 3961983 SOS 892708 HAS SOPS 892708 HAS SOUS 626943 HAS SOUPS 626943 WITH SCORE 627835.708
AT ITER 8060 NEW BEST:: SOT 3961930 SOS 892602 HAS SOPS 892602 HAS SOUS 626837 HAS SOUPS 626837 WITH SCORE 627729.602
AT ITER 8064 NEW BEST:: SOT 3961624 SOS 892244 HAS SOPS 892244 HAS SOUS 626575 HAS SOUPS 626575 WITH SCORE 627467.244
AT ITER 8111 NEW BEST:: SOT 3961497 SOS 892139 HAS SOPS 892139 HAS SOUS 626470 HAS SOUPS 626470 WITH SCORE 627362.139
AT ITER 8125 NEW BEST:: SOT 3961410 SOS 892313 HAS SOPS 892313 HAS SOUS 626412 HAS SOUPS 626412 WITH SCORE 627304.313
AT ITER 8151 NEW BEST:: SOT 3961366 SOS 892225 HAS SOPS 892225 HAS SOUS 626324 HAS SOUPS 626324 WITH SCORE 627216.225
AT ITER 8167 NEW BEST:: SOT 3961351 SOS 892195 HAS SOPS 892195 HAS SOUS 626294 HAS SOUPS 626294 WITH SCORE 627186.195
AT ITER 8170 NEW BEST:: SOT 3961325 SOS 892091 HAS SOPS 892091 HAS SOUS 626268 HAS SOUPS 626268 WITH SCORE 627160.091
AT ITER 8176 NEW BEST:: SOT 3961418 SOS 892160 HAS SOPS 892160 HAS SOUS 626007 HAS SOUPS 626007 WITH SCORE 626899.16
AT ITER 8187 NEW BEST:: SOT 3961650 SOS 891481 HAS SOPS 891481 HAS SOUS 625877 HAS SOUPS 625877 WITH SCORE 626768.481
AT ITER 8198 NEW BEST:: SOT 3961557 SOS 891295 HAS SOPS 891295 HAS SOUS 625691 HAS SOUPS 625691 WITH SCORE 626582.295
AT ITER 8204 NEW BEST:: SOT 3961393 SOS 891056 HAS SOPS 891056 HAS SOUS 622828 HAS SOUPS 622828 WITH SCORE 623719.056
AT ITER 8215 NEW BEST:: SOT 3961317 SOS 890980 HAS SOPS 890980 HAS SOUS 622752 HAS SOUPS 622752 WITH SCORE 623642.98
AT ITER 8238 NEW BEST:: SOT 3961389 SOS 891052 HAS SOPS 891052 HAS SOUS 622748 HAS SOUPS 622748 WITH SCORE 623639.052
AT ITER 8240 NEW BEST:: SOT 3958592 SOS 888084 HAS SOPS 888084 HAS SOUS 622641 HAS SOUPS 622641 WITH SCORE 623529.084
AT ITER 8250 NEW BEST:: SOT 3958513 SOS 888042 HAS SOPS 888042 HAS SOUS 622599 HAS SOUPS 622599 WITH SCORE 623487.042
AT ITER 8270 NEW BEST:: SOT 3958242 SOS 889071 HAS SOPS 889071 HAS SOUS 622401 HAS SOUPS 622401 WITH SCORE 623290.071
AT ITER 8275 NEW BEST:: SOT 3958242 SOS 889067 HAS SOPS 889067 HAS SOUS 622397 HAS SOUPS 622397 WITH SCORE 623286.067
AT ITER 8278 NEW BEST:: SOT 3958238 SOS 889059 HAS SOPS 889059 HAS SOUS 622391 HAS SOUPS 622391 WITH SCORE 623280.059
AT ITER 8303 NEW BEST:: SOT 3958237 SOS 889058 HAS SOPS 889058 HAS SOUS 622389 HAS SOUPS 622389 WITH SCORE 623278.058
AT ITER 8391 NEW BEST:: SOT 3958109 SOS 888850 HAS SOPS 888850 HAS SOUS 621701 HAS SOUPS 621701 WITH SCORE 622589.85
AT ITER 8415 NEW BEST:: SOT 3958091 SOS 888698 HAS SOPS 888698 HAS SOUS 621665 HAS SOUPS 621665 WITH SCORE 622553.698
AT ITER 8447 NEW BEST:: SOT 3958091 SOS 888666 HAS SOPS 888666 HAS SOUS 621649 HAS SOUPS 621649 WITH SCORE 622537.666
AT ITER 8490 NEW BEST:: SOT 3958079 SOS 888630 HAS SOPS 888630 HAS SOUS 621613 HAS SOUPS 621613 WITH SCORE 622501.63
AT ITER 8521 NEW BEST:: SOT 3958079 SOS 889508 HAS SOPS 889508 HAS SOUS 621581 HAS SOUPS 621581 WITH SCORE 622470.508
AT ITER 8533 NEW BEST:: SOT 3958052 SOS 889372 HAS SOPS 889372 HAS SOUS 621526 HAS SOUPS 621526 WITH SCORE 622415.372
AT ITER 8584 NEW BEST:: SOT 3957986 SOS 889143 HAS SOPS 889143 HAS SOUS 621426 HAS SOUPS 621426 WITH SCORE 622315.143
AT ITER 8702 NEW BEST:: SOT 3958020 SOS 888453 HAS SOPS 888453 HAS SOUS 621115 HAS SOUPS 621115 WITH SCORE 622003.453
AT ITER 8706 NEW BEST:: SOT 3957962 SOS 888262 HAS SOPS 888262 HAS SOUS 620980 HAS SOUPS 620980 WITH SCORE 621868.262
AT ITER 8719 NEW BEST:: SOT 3957849 SOS 887810 HAS SOPS 887810 HAS SOUS 620641 HAS SOUPS 620641 WITH SCORE 621528.81
AT ITER 8735 NEW BEST:: SOT 3957823 SOS 887472 HAS SOPS 887472 HAS SOUS 620473 HAS SOUPS 620473 WITH SCORE 621360.472
AT ITER 8793 NEW BEST:: SOT 3957823 SOS 887472 HAS SOPS 887472 HAS SOUS 620435 HAS SOUPS 620435 WITH SCORE 621322.472
AT ITER 8794 NEW BEST:: SOT 3957653 SOS 887869 HAS SOPS 887869 HAS SOUS 620168 HAS SOUPS 620168 WITH SCORE 621055.869
AT ITER 8800 NEW BEST:: SOT 3957391 SOS 887455 HAS SOPS 887455 HAS SOUS 619804 HAS SOUPS 619804 WITH SCORE 620691.455
AT ITER 8810 NEW BEST:: SOT 3957376 SOS 887438 HAS SOPS 887438 HAS SOUS 619788 HAS SOUPS 619788 WITH SCORE 620675.438
AT ITER 8839 NEW BEST:: SOT 3957357 SOS 887400 HAS SOPS 887400 HAS SOUS 619750 HAS SOUPS 619750 WITH SCORE 620637.4
AT ITER 8874 NEW BEST:: SOT 3957265 SOS 887307 HAS SOPS 887307 HAS SOUS 619748 HAS SOUPS 619748 WITH SCORE 620635.307
AT ITER 8885 NEW BEST:: SOT 3957116 SOS 887215 HAS SOPS 887215 HAS SOUS 619656 HAS SOUPS 619656 WITH SCORE 620543.215
AT ITER 8890 NEW BEST:: SOT 3957031 SOS 887233 HAS SOPS 887233 HAS SOUS 619571 HAS SOUPS 619571 WITH SCORE 620458.233
AT ITER 8895 NEW BEST:: SOT 3957003 SOS 887177 HAS SOPS 887177 HAS SOUS 619515 HAS SOUPS 619515 WITH SCORE 620402.177
AT ITER 8907 NEW BEST:: SOT 3956991 SOS 887224 HAS SOPS 887224 HAS SOUS 619491 HAS SOUPS 619491 WITH SCORE 620378.224
AT ITER 8922 NEW BEST:: SOT 3956450 SOS 886860 HAS SOPS 886860 HAS SOUS 619127 HAS SOUPS 619127 WITH SCORE 620013.86
AT ITER 8939 NEW BEST:: SOT 3956475 SOS 886760 HAS SOPS 886760 HAS SOUS 619116 HAS SOUPS 619116 WITH SCORE 620002.76
AT ITER 8960 NEW BEST:: SOT 3956402 SOS 886614 HAS SOPS 886614 HAS SOUS 619038 HAS SOUPS 619038 WITH SCORE 619924.614
AT ITER 8971 NEW BEST:: SOT 3956151 SOS 886413 HAS SOPS 886413 HAS SOUS 618712 HAS SOUPS 618712 WITH SCORE 619598.413
AT ITER 8983 NEW BEST:: SOT 3956127 SOS 886341 HAS SOPS 886341 HAS SOUS 618640 HAS SOUPS 618640 WITH SCORE 619526.341
AT ITER 8988 NEW BEST:: SOT 3956057 SOS 886490 HAS SOPS 886490 HAS SOUS 618446 HAS SOUPS 618446 WITH SCORE 619332.49
AT ITER 8990 NEW BEST:: SOT 3956050 SOS 886476 HAS SOPS 886476 HAS SOUS 618432 HAS SOUPS 618432 WITH SCORE 619318.476
AT ITER 9004 NEW BEST:: SOT 3956050 SOS 886163 HAS SOPS 886163 HAS SOUS 618119 HAS SOUPS 618119 WITH SCORE 619005.163
AT ITER 9046 NEW BEST:: SOT 3956050 SOS 886142 HAS SOPS 886142 HAS SOUS 618098 HAS SOUPS 618098 WITH SCORE 618984.142
AT ITER 9049 NEW BEST:: SOT 3956050 SOS 886129 HAS SOPS 886129 HAS SOUS 618098 HAS SOUPS 618098 WITH SCORE 618984.129
AT ITER 9054 NEW BEST:: SOT 3956050 SOS 886128 HAS SOPS 886128 HAS SOUS 618097 HAS SOUPS 618097 WITH SCORE 618983.128
AT ITER 9057 NEW BEST:: SOT 3955854 SOS 885843 HAS SOPS 885843 HAS SOUS 616100 HAS SOUPS 616100 WITH SCORE 616985.843
AT ITER 9059 NEW BEST:: SOT 3955690 SOS 885515 HAS SOPS 885515 HAS SOUS 615772 HAS SOUPS 615772 WITH SCORE 616657.515
AT ITER 9080 NEW BEST:: SOT 3955689 SOS 885402 HAS SOPS 885402 HAS SOUS 615770 HAS SOUPS 615770 WITH SCORE 616655.402
AT ITER 9135 NEW BEST:: SOT 3955558 SOS 885271 HAS SOPS 885271 HAS SOUS 615508 HAS SOUPS 615508 WITH SCORE 616393.271
AT ITER 9138 NEW BEST:: SOT 3955551 SOS 885263 HAS SOPS 885263 HAS SOUS 615500 HAS SOUPS 615500 WITH SCORE 616385.263
AT ITER 9149 NEW BEST:: SOT 3955439 SOS 885240 HAS SOPS 885240 HAS SOUS 615276 HAS SOUPS 615276 WITH SCORE 616161.24
AT ITER 9154 NEW BEST:: SOT 3955375 SOS 885101 HAS SOPS 885101 HAS SOUS 613225 HAS SOUPS 613225 WITH SCORE 614110.101
AT ITER 9160 NEW BEST:: SOT 3955344 SOS 885039 HAS SOPS 885039 HAS SOUS 613163 HAS SOUPS 613163 WITH SCORE 614048.039
AT ITER 9254 NEW BEST:: SOT 3955344 SOS 885038 HAS SOPS 885038 HAS SOUS 613162 HAS SOUPS 613162 WITH SCORE 614047.038
AT ITER 9296 NEW BEST:: SOT 3955326 SOS 885014 HAS SOPS 885014 HAS SOUS 613138 HAS SOUPS 613138 WITH SCORE 614023.014
AT ITER 9336 NEW BEST:: SOT 3955144 SOS 885538 HAS SOPS 885538 HAS SOUS 612956 HAS SOUPS 612956 WITH SCORE 613841.538
AT ITER 9338 NEW BEST:: SOT 3955053 SOS 885447 HAS SOPS 885447 HAS SOUS 612137 HAS SOUPS 612137 WITH SCORE 613022.447
AT ITER 9350 NEW BEST:: SOT 3954933 SOS 885267 HAS SOPS 885267 HAS SOUS 611989 HAS SOUPS 611989 WITH SCORE 612874.267
AT ITER 9364 NEW BEST:: SOT 3954397 SOS 884689 HAS SOPS 884689 HAS SOUS 611900 HAS SOUPS 611900 WITH SCORE 612784.689
AT ITER 9367 NEW BEST:: SOT 3954303 SOS 884364 HAS SOPS 884364 HAS SOUS 611708 HAS SOUPS 611708 WITH SCORE 612592.364
AT ITER 9370 NEW BEST:: SOT 3954303 SOS 884226 HAS SOPS 884226 HAS SOUS 611708 HAS SOUPS 611708 WITH SCORE 612592.226
AT ITER 9387 NEW BEST:: SOT 3954299 SOS 884218 HAS SOPS 884218 HAS SOUS 611703 HAS SOUPS 611703 WITH SCORE 612587.218
AT ITER 9416 NEW BEST:: SOT 3954239 SOS 883441 HAS SOPS 883441 HAS SOUS 611670 HAS SOUPS 611670 WITH SCORE 612553.441
AT ITER 9435 NEW BEST:: SOT 3954217 SOS 883419 HAS SOPS 883419 HAS SOUS 611648 HAS SOUPS 611648 WITH SCORE 612531.419
AT ITER 9439 NEW BEST:: SOT 3953625 SOS 883004 HAS SOPS 883004 HAS SOUS 611233 HAS SOUPS 611233 WITH SCORE 612116.004
AT ITER 9512 NEW BEST:: SOT 3952217 SOS 885798 HAS SOPS 885798 HAS SOUS 610218 HAS SOUPS 610218 WITH SCORE 611103.798
AT ITER 9513 NEW BEST:: SOT 3952217 SOS 885858 HAS SOPS 885858 HAS SOUS 609798 HAS SOUPS 609798 WITH SCORE 610683.858
AT ITER 9540 NEW BEST:: SOT 3952269 SOS 885822 HAS SOPS 885822 HAS SOUS 609762 HAS SOUPS 609762 WITH SCORE 610647.822
AT ITER 9554 NEW BEST:: SOT 3952250 SOS 885653 HAS SOPS 885653 HAS SOUS 609723 HAS SOUPS 609723 WITH SCORE 610608.653
AT ITER 9576 NEW BEST:: SOT 3952247 SOS 885650 HAS SOPS 885650 HAS SOUS 609720 HAS SOUPS 609720 WITH SCORE 610605.65
AT ITER 9581 NEW BEST:: SOT 3952115 SOS 885386 HAS SOPS 885386 HAS SOUS 609479 HAS SOUPS 609479 WITH SCORE 610364.386
AT ITER 9609 NEW BEST:: SOT 3952115 SOS 885327 HAS SOPS 885327 HAS SOUS 609420 HAS SOUPS 609420 WITH SCORE 610305.327
AT ITER 9632 NEW BEST:: SOT 3952115 SOS 885214 HAS SOPS 885214 HAS SOUS 609339 HAS SOUPS 609339 WITH SCORE 610224.214
AT ITER 9654 NEW BEST:: SOT 3951907 SOS 888184 HAS SOPS 888184 HAS SOUS 609321 HAS SOUPS 609321 WITH SCORE 610209.184
AT ITER 9658 NEW BEST:: SOT 3951841 SOS 888066 HAS SOPS 888066 HAS SOUS 609278 HAS SOUPS 609278 WITH SCORE 610166.066
AT ITER 9660 NEW BEST:: SOT 3951841 SOS 888066 HAS SOPS 888066 HAS SOUS 609277 HAS SOUPS 609277 WITH SCORE 610165.066
AT ITER 9663 NEW BEST:: SOT 3951768 SOS 888110 HAS SOPS 888110 HAS SOUS 608751 HAS SOUPS 608751 WITH SCORE 609639.11
AT ITER 9707 NEW BEST:: SOT 3951721 SOS 888041 HAS SOPS 888041 HAS SOUS 608703 HAS SOUPS 608703 WITH SCORE 609591.041
AT ITER 9717 NEW BEST:: SOT 3951429 SOS 887624 HAS SOPS 887624 HAS SOUS 608341 HAS SOUPS 608341 WITH SCORE 609228.624
AT ITER 9736 NEW BEST:: SOT 3951354 SOS 887631 HAS SOPS 887631 HAS SOUS 608203 HAS SOUPS 608203 WITH SCORE 609090.631
AT ITER 9765 NEW BEST:: SOT 3951354 SOS 887631 HAS SOPS 887631 HAS SOUS 608200 HAS SOUPS 608200 WITH SCORE 609087.631
AT ITER 9769 NEW BEST:: SOT 3950934 SOS 886791 HAS SOPS 886791 HAS SOUS 607360 HAS SOUPS 607360 WITH SCORE 608246.791
AT ITER 9814 NEW BEST:: SOT 3950933 SOS 886789 HAS SOPS 886789 HAS SOUS 607358 HAS SOUPS 607358 WITH SCORE 608244.789
AT ITER 9847 NEW BEST:: SOT 3950764 SOS 886406 HAS SOPS 886406 HAS SOUS 607168 HAS SOUPS 607168 WITH SCORE 608054.406
AT ITER 9850 NEW BEST:: SOT 3950763 SOS 886661 HAS SOPS 886661 HAS SOUS 607166 HAS SOUPS 607166 WITH SCORE 608052.661
AT ITER 9872 NEW BEST:: SOT 3950762 SOS 886602 HAS SOPS 886602 HAS SOUS 607115 HAS SOUPS 607115 WITH SCORE 608001.602
AT ITER 9901 NEW BEST:: SOT 3950547 SOS 886387 HAS SOPS 886387 HAS SOUS 606685 HAS SOUPS 606685 WITH SCORE 607571.387
AT ITER 9903 NEW BEST:: SOT 3950547 SOS 886572 HAS SOPS 886572 HAS SOUS 606684 HAS SOUPS 606684 WITH SCORE 607570.572
AT ITER 9917 NEW BEST:: SOT 3950523 SOS 886524 HAS SOPS 886524 HAS SOUS 606636 HAS SOUPS 606636 WITH SCORE 607522.524
AT ITER 9924 NEW BEST:: SOT 3950479 SOS 886357 HAS SOPS 886357 HAS SOUS 606545 HAS SOUPS 606545 WITH SCORE 607431.357
AT ITER 9942 NEW BEST:: SOT 3950531 SOS 886330 HAS SOPS 886330 HAS SOUS 606518 HAS SOUPS 606518 WITH SCORE 607404.33
AT ITER 9948 NEW BEST:: SOT 3950531 SOS 886188 HAS SOPS 886188 HAS SOUS 606518 HAS SOUPS 606518 WITH SCORE 607404.188
AT ITER 9950 NEW BEST:: SOT 3950322 SOS 885959 HAS SOPS 885959 HAS SOUS 606289 HAS SOUPS 606289 WITH SCORE 607174.959
AT ITER 9957 NEW BEST:: SOT 3949283 SOS 884187 HAS SOPS 884187 HAS SOUS 605088 HAS SOUPS 605088 WITH SCORE 605972.187
AT ITER 9975 NEW BEST:: SOT 3949125 SOS 883871 HAS SOPS 883871 HAS SOUS 604772 HAS SOUPS 604772 WITH SCORE 605655.871
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13221900 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153588 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ASLink-PT-05b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is ASLink-PT-05b, 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 r003-oct2-167813590400088"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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