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.r099-tall-167814471900064.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is CloudReconfiguration-PT-308, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814471900064
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 6.3K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 64K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 52K Feb 25 11:49 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 161K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.2K Feb 25 11:50 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 68K Feb 25 11:50 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 15:47 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:47 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 660K 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 1678222458693

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=CloudReconfiguration-PT-308
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 308
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: 2585 places, 3095 transitions, 6463 arcs.
AT ITER 0 NEW BEST:: SOT 4443229 SOS 758854 HAS SOPS 758854 HAS SOUS 699876 HAS SOUPS 699876 WITH SCORE 700634.854
AT ITER 10 NEW BEST:: SOT 4442947 SOS 758572 HAS SOPS 758572 HAS SOUS 699594 HAS SOUPS 699594 WITH SCORE 700352.572
AT ITER 17 NEW BEST:: SOT 4442947 SOS 758370 HAS SOPS 758370 HAS SOUS 699594 HAS SOUPS 699594 WITH SCORE 700352.37
AT ITER 30 NEW BEST:: SOT 4442822 SOS 758245 HAS SOPS 758245 HAS SOUS 699469 HAS SOUPS 699469 WITH SCORE 700227.245
AT ITER 42 NEW BEST:: SOT 4442822 SOS 758245 HAS SOPS 758245 HAS SOUS 699391 HAS SOUPS 699391 WITH SCORE 700149.245
AT ITER 63 NEW BEST:: SOT 4441718 SOS 757322 HAS SOPS 757322 HAS SOUS 698318 HAS SOUPS 698318 WITH SCORE 699075.322
AT ITER 64 NEW BEST:: SOT 4441717 SOS 757320 HAS SOPS 757320 HAS SOUS 698316 HAS SOUPS 698316 WITH SCORE 699073.32
AT ITER 74 NEW BEST:: SOT 4441717 SOS 757143 HAS SOPS 757143 HAS SOUS 698316 HAS SOUPS 698316 WITH SCORE 699073.143
AT ITER 88 NEW BEST:: SOT 4441717 SOS 756996 HAS SOPS 756996 HAS SOUS 698169 HAS SOUPS 698169 WITH SCORE 698925.996
AT ITER 121 NEW BEST:: SOT 4441859 SOS 757280 HAS SOPS 757280 HAS SOUS 698027 HAS SOUPS 698027 WITH SCORE 698784.28
AT ITER 132 NEW BEST:: SOT 4441644 SOS 757273 HAS SOPS 757273 HAS SOUS 697845 HAS SOUPS 697845 WITH SCORE 698602.273
AT ITER 143 NEW BEST:: SOT 4441570 SOS 757521 HAS SOPS 757521 HAS SOUS 697771 HAS SOUPS 697771 WITH SCORE 698528.521
AT ITER 145 NEW BEST:: SOT 4436332 SOS 752285 HAS SOPS 752285 HAS SOUS 692535 HAS SOUPS 692535 WITH SCORE 693287.285
AT ITER 151 NEW BEST:: SOT 4436332 SOS 752285 HAS SOPS 752285 HAS SOUS 692304 HAS SOUPS 692304 WITH SCORE 693056.285
AT ITER 161 NEW BEST:: SOT 4436085 SOS 752123 HAS SOPS 752123 HAS SOUS 692057 HAS SOUPS 692057 WITH SCORE 692809.123
AT ITER 162 NEW BEST:: SOT 4436084 SOS 752121 HAS SOPS 752121 HAS SOUS 692055 HAS SOUPS 692055 WITH SCORE 692807.121
AT ITER 171 NEW BEST:: SOT 4435952 SOS 752076 HAS SOPS 752076 HAS SOUS 691923 HAS SOUPS 691923 WITH SCORE 692675.076
AT ITER 191 NEW BEST:: SOT 4436213 SOS 752112 HAS SOPS 752112 HAS SOUS 691806 HAS SOUPS 691806 WITH SCORE 692558.112
AT ITER 215 NEW BEST:: SOT 4436213 SOS 751989 HAS SOPS 751989 HAS SOUS 691806 HAS SOUPS 691806 WITH SCORE 692557.989
AT ITER 253 NEW BEST:: SOT 4436213 SOS 751899 HAS SOPS 751899 HAS SOUS 691716 HAS SOUPS 691716 WITH SCORE 692467.899
AT ITER 254 NEW BEST:: SOT 4436213 SOS 751815 HAS SOPS 751815 HAS SOUS 691716 HAS SOUPS 691716 WITH SCORE 692467.815
AT ITER 264 NEW BEST:: SOT 4436061 SOS 751663 HAS SOPS 751663 HAS SOUS 691564 HAS SOUPS 691564 WITH SCORE 692315.663
AT ITER 283 NEW BEST:: SOT 4435845 SOS 751447 HAS SOPS 751447 HAS SOUS 691276 HAS SOUPS 691276 WITH SCORE 692027.447
AT ITER 296 NEW BEST:: SOT 4435845 SOS 751442 HAS SOPS 751442 HAS SOUS 691276 HAS SOUPS 691276 WITH SCORE 692027.442
AT ITER 306 NEW BEST:: SOT 4435767 SOS 751286 HAS SOPS 751286 HAS SOUS 691120 HAS SOUPS 691120 WITH SCORE 691871.286
AT ITER 354 NEW BEST:: SOT 4435721 SOS 750987 HAS SOPS 750987 HAS SOUS 690867 HAS SOUPS 690867 WITH SCORE 691617.987
AT ITER 356 NEW BEST:: SOT 4435697 SOS 750963 HAS SOPS 750963 HAS SOUS 690843 HAS SOUPS 690843 WITH SCORE 691593.963
AT ITER 362 NEW BEST:: SOT 4435903 SOS 750841 HAS SOPS 750841 HAS SOUS 690782 HAS SOUPS 690782 WITH SCORE 691532.841
AT ITER 372 NEW BEST:: SOT 4435857 SOS 750805 HAS SOPS 750805 HAS SOUS 690746 HAS SOUPS 690746 WITH SCORE 691496.805
AT ITER 377 NEW BEST:: SOT 4435565 SOS 750805 HAS SOPS 750805 HAS SOUS 690600 HAS SOUPS 690600 WITH SCORE 691350.805
AT ITER 395 NEW BEST:: SOT 4435537 SOS 750777 HAS SOPS 750777 HAS SOUS 690571 HAS SOUPS 690571 WITH SCORE 691321.777
AT ITER 408 NEW BEST:: SOT 4435537 SOS 750522 HAS SOPS 750522 HAS SOUS 690571 HAS SOUPS 690571 WITH SCORE 691321.522
AT ITER 411 NEW BEST:: SOT 4435281 SOS 750010 HAS SOPS 750010 HAS SOUS 690096 HAS SOUPS 690096 WITH SCORE 690846.01
AT ITER 432 NEW BEST:: SOT 4435281 SOS 749938 HAS SOPS 749938 HAS SOUS 690096 HAS SOUPS 690096 WITH SCORE 690845.938
AT ITER 436 NEW BEST:: SOT 4435281 SOS 749664 HAS SOPS 749664 HAS SOUS 689959 HAS SOUPS 689959 WITH SCORE 690708.664
AT ITER 441 NEW BEST:: SOT 4435281 SOS 749506 HAS SOPS 749506 HAS SOUS 689958 HAS SOUPS 689958 WITH SCORE 690707.506
AT ITER 482 NEW BEST:: SOT 4435281 SOS 749441 HAS SOPS 749441 HAS SOUS 689957 HAS SOUPS 689957 WITH SCORE 690706.441
AT ITER 489 NEW BEST:: SOT 4435169 SOS 749401 HAS SOPS 749401 HAS SOUS 689845 HAS SOUPS 689845 WITH SCORE 690594.401
AT ITER 514 NEW BEST:: SOT 4435169 SOS 749394 HAS SOPS 749394 HAS SOUS 689838 HAS SOUPS 689838 WITH SCORE 690587.394
AT ITER 521 NEW BEST:: SOT 4435169 SOS 749336 HAS SOPS 749336 HAS SOUS 689838 HAS SOUPS 689838 WITH SCORE 690587.336
AT ITER 534 NEW BEST:: SOT 4435168 SOS 749334 HAS SOPS 749334 HAS SOUS 689836 HAS SOUPS 689836 WITH SCORE 690585.334
AT ITER 538 NEW BEST:: SOT 4435168 SOS 749032 HAS SOPS 749032 HAS SOUS 689836 HAS SOUPS 689836 WITH SCORE 690585.032
AT ITER 544 NEW BEST:: SOT 4434937 SOS 748899 HAS SOPS 748899 HAS SOUS 689661 HAS SOUPS 689661 WITH SCORE 690409.899
AT ITER 550 NEW BEST:: SOT 4434937 SOS 748792 HAS SOPS 748792 HAS SOUS 689658 HAS SOUPS 689658 WITH SCORE 690406.792
AT ITER 574 NEW BEST:: SOT 4434775 SOS 748630 HAS SOPS 748630 HAS SOUS 689496 HAS SOUPS 689496 WITH SCORE 690244.63
AT ITER 602 NEW BEST:: SOT 4434394 SOS 748248 HAS SOPS 748248 HAS SOUS 689114 HAS SOUPS 689114 WITH SCORE 689862.248
AT ITER 611 NEW BEST:: SOT 4434002 SOS 747695 HAS SOPS 747695 HAS SOUS 688561 HAS SOUPS 688561 WITH SCORE 689308.695
AT ITER 632 NEW BEST:: SOT 4434042 SOS 747432 HAS SOPS 747432 HAS SOUS 688298 HAS SOUPS 688298 WITH SCORE 689045.432
AT ITER 651 NEW BEST:: SOT 4434114 SOS 747576 HAS SOPS 747576 HAS SOUS 688167 HAS SOUPS 688167 WITH SCORE 688914.576
AT ITER 655 NEW BEST:: SOT 4434114 SOS 747350 HAS SOPS 747350 HAS SOUS 688166 HAS SOUPS 688166 WITH SCORE 688913.35
AT ITER 657 NEW BEST:: SOT 4433864 SOS 746495 HAS SOPS 746495 HAS SOUS 687627 HAS SOUPS 687627 WITH SCORE 688373.495
AT ITER 696 NEW BEST:: SOT 4433745 SOS 746331 HAS SOPS 746331 HAS SOUS 687458 HAS SOUPS 687458 WITH SCORE 688204.331
AT ITER 721 NEW BEST:: SOT 4433716 SOS 746273 HAS SOPS 746273 HAS SOUS 687400 HAS SOUPS 687400 WITH SCORE 688146.273
AT ITER 728 NEW BEST:: SOT 4433716 SOS 746218 HAS SOPS 746218 HAS SOUS 687400 HAS SOUPS 687400 WITH SCORE 688146.218
AT ITER 736 NEW BEST:: SOT 4433626 SOS 746119 HAS SOPS 746119 HAS SOUS 687262 HAS SOUPS 687262 WITH SCORE 688008.119
AT ITER 749 NEW BEST:: SOT 4433626 SOS 745871 HAS SOPS 745871 HAS SOUS 687009 HAS SOUPS 687009 WITH SCORE 687754.871
AT ITER 769 NEW BEST:: SOT 4433456 SOS 745701 HAS SOPS 745701 HAS SOUS 686839 HAS SOUPS 686839 WITH SCORE 687584.701
AT ITER 775 NEW BEST:: SOT 4433385 SOS 745630 HAS SOPS 745630 HAS SOUS 686768 HAS SOUPS 686768 WITH SCORE 687513.63
AT ITER 807 NEW BEST:: SOT 4433199 SOS 745181 HAS SOPS 745181 HAS SOUS 686582 HAS SOUPS 686582 WITH SCORE 687327.181
AT ITER 817 NEW BEST:: SOT 4433048 SOS 745030 HAS SOPS 745030 HAS SOUS 686431 HAS SOUPS 686431 WITH SCORE 687176.03
AT ITER 821 NEW BEST:: SOT 4432957 SOS 744848 HAS SOPS 744848 HAS SOUS 686173 HAS SOUPS 686173 WITH SCORE 686917.848
AT ITER 830 NEW BEST:: SOT 4432957 SOS 744848 HAS SOPS 744848 HAS SOUS 686172 HAS SOUPS 686172 WITH SCORE 686916.848
AT ITER 846 NEW BEST:: SOT 4432877 SOS 744784 HAS SOPS 744784 HAS SOUS 686108 HAS SOUPS 686108 WITH SCORE 686852.784
AT ITER 852 NEW BEST:: SOT 4432769 SOS 744676 HAS SOPS 744676 HAS SOUS 686000 HAS SOUPS 686000 WITH SCORE 686744.676
AT ITER 853 NEW BEST:: SOT 4432758 SOS 744654 HAS SOPS 744654 HAS SOUS 685926 HAS SOUPS 685926 WITH SCORE 686670.654
AT ITER 902 NEW BEST:: SOT 4432552 SOS 744242 HAS SOPS 744242 HAS SOUS 685720 HAS SOUPS 685720 WITH SCORE 686464.242
AT ITER 906 NEW BEST:: SOT 4432266 SOS 743670 HAS SOPS 743670 HAS SOUS 685148 HAS SOUPS 685148 WITH SCORE 685891.67
AT ITER 909 NEW BEST:: SOT 4432266 SOS 743323 HAS SOPS 743323 HAS SOUS 685147 HAS SOUPS 685147 WITH SCORE 685890.323
AT ITER 932 NEW BEST:: SOT 4432195 SOS 743181 HAS SOPS 743181 HAS SOUS 684895 HAS SOUPS 684895 WITH SCORE 685638.181
AT ITER 947 NEW BEST:: SOT 4421269 SOS 740271 HAS SOPS 740271 HAS SOUS 674407 HAS SOUPS 674407 WITH SCORE 675147.271
AT ITER 959 NEW BEST:: SOT 4421265 SOS 740263 HAS SOPS 740263 HAS SOUS 674234 HAS SOUPS 674234 WITH SCORE 674974.263
AT ITER 965 NEW BEST:: SOT 4420965 SOS 739963 HAS SOPS 739963 HAS SOUS 673934 HAS SOUPS 673934 WITH SCORE 674673.963
AT ITER 971 NEW BEST:: SOT 4420892 SOS 739889 HAS SOPS 739889 HAS SOUS 673860 HAS SOUPS 673860 WITH SCORE 674599.889
AT ITER 974 NEW BEST:: SOT 4420885 SOS 740131 HAS SOPS 740131 HAS SOUS 673853 HAS SOUPS 673853 WITH SCORE 674593.131
AT ITER 980 NEW BEST:: SOT 4420748 SOS 739857 HAS SOPS 739857 HAS SOUS 673579 HAS SOUPS 673579 WITH SCORE 674318.857
AT ITER 1017 NEW BEST:: SOT 4420694 SOS 739749 HAS SOPS 739749 HAS SOUS 673471 HAS SOUPS 673471 WITH SCORE 674210.749
AT ITER 1030 NEW BEST:: SOT 4420588 SOS 739537 HAS SOPS 739537 HAS SOUS 673217 HAS SOUPS 673217 WITH SCORE 673956.537
AT ITER 1034 NEW BEST:: SOT 4420489 SOS 739438 HAS SOPS 739438 HAS SOUS 673118 HAS SOUPS 673118 WITH SCORE 673857.438
AT ITER 1035 NEW BEST:: SOT 4420392 SOS 739667 HAS SOPS 739667 HAS SOUS 673021 HAS SOUPS 673021 WITH SCORE 673760.667
AT ITER 1046 NEW BEST:: SOT 4420345 SOS 739573 HAS SOPS 739573 HAS SOUS 672974 HAS SOUPS 672974 WITH SCORE 673713.573
AT ITER 1060 NEW BEST:: SOT 4420302 SOS 739487 HAS SOPS 739487 HAS SOUS 672931 HAS SOUPS 672931 WITH SCORE 673670.487
AT ITER 1064 NEW BEST:: SOT 4420321 SOS 739525 HAS SOPS 739525 HAS SOUS 672866 HAS SOUPS 672866 WITH SCORE 673605.525
AT ITER 1066 NEW BEST:: SOT 4420461 SOS 739249 HAS SOPS 739249 HAS SOUS 672789 HAS SOUPS 672789 WITH SCORE 673528.249
AT ITER 1085 NEW BEST:: SOT 4420318 SOS 739157 HAS SOPS 739157 HAS SOUS 672560 HAS SOUPS 672560 WITH SCORE 673299.157
AT ITER 1088 NEW BEST:: SOT 4420318 SOS 738977 HAS SOPS 738977 HAS SOUS 672560 HAS SOUPS 672560 WITH SCORE 673298.977
AT ITER 1090 NEW BEST:: SOT 4420229 SOS 738799 HAS SOPS 738799 HAS SOUS 672313 HAS SOUPS 672313 WITH SCORE 673051.799
AT ITER 1115 NEW BEST:: SOT 4420266 SOS 738873 HAS SOPS 738873 HAS SOUS 672179 HAS SOUPS 672179 WITH SCORE 672917.873
AT ITER 1129 NEW BEST:: SOT 4420266 SOS 738697 HAS SOPS 738697 HAS SOUS 672178 HAS SOUPS 672178 WITH SCORE 672916.697
AT ITER 1190 NEW BEST:: SOT 4420223 SOS 738654 HAS SOPS 738654 HAS SOUS 672135 HAS SOUPS 672135 WITH SCORE 672873.654
AT ITER 1214 NEW BEST:: SOT 4419963 SOS 738314 HAS SOPS 738314 HAS SOUS 671795 HAS SOUPS 671795 WITH SCORE 672533.314
AT ITER 1238 NEW BEST:: SOT 4419732 SOS 738520 HAS SOPS 738520 HAS SOUS 671731 HAS SOUPS 671731 WITH SCORE 672469.52
AT ITER 1243 NEW BEST:: SOT 4419731 SOS 738606 HAS SOPS 738606 HAS SOUS 671729 HAS SOUPS 671729 WITH SCORE 672467.606
AT ITER 1286 NEW BEST:: SOT 4419672 SOS 738488 HAS SOPS 738488 HAS SOUS 671669 HAS SOUPS 671669 WITH SCORE 672407.488
AT ITER 1328 NEW BEST:: SOT 4419618 SOS 738559 HAS SOPS 738559 HAS SOUS 671622 HAS SOUPS 671622 WITH SCORE 672360.559
AT ITER 1334 NEW BEST:: SOT 4419618 SOS 738285 HAS SOPS 738285 HAS SOUS 671621 HAS SOUPS 671621 WITH SCORE 672359.285
AT ITER 1335 NEW BEST:: SOT 4419734 SOS 738203 HAS SOPS 738203 HAS SOUS 671591 HAS SOUPS 671591 WITH SCORE 672329.203
AT ITER 1340 NEW BEST:: SOT 4419666 SOS 738339 HAS SOPS 738339 HAS SOUS 671523 HAS SOUPS 671523 WITH SCORE 672261.339
AT ITER 1350 NEW BEST:: SOT 4419564 SOS 738135 HAS SOPS 738135 HAS SOUS 671319 HAS SOUPS 671319 WITH SCORE 672057.135
AT ITER 1402 NEW BEST:: SOT 4419549 SOS 738259 HAS SOPS 738259 HAS SOUS 671304 HAS SOUPS 671304 WITH SCORE 672042.259
AT ITER 1414 NEW BEST:: SOT 4419549 SOS 737995 HAS SOPS 737995 HAS SOUS 671040 HAS SOUPS 671040 WITH SCORE 671777.995
AT ITER 1428 NEW BEST:: SOT 4419549 SOS 737763 HAS SOPS 737763 HAS SOUS 670808 HAS SOUPS 670808 WITH SCORE 671545.763
AT ITER 1432 NEW BEST:: SOT 4419511 SOS 737687 HAS SOPS 737687 HAS SOUS 670750 HAS SOUPS 670750 WITH SCORE 671487.687
AT ITER 1436 NEW BEST:: SOT 4419511 SOS 737600 HAS SOPS 737600 HAS SOUS 670750 HAS SOUPS 670750 WITH SCORE 671487.6
AT ITER 1463 NEW BEST:: SOT 4419496 SOS 737585 HAS SOPS 737585 HAS SOUS 670735 HAS SOUPS 670735 WITH SCORE 671472.585
AT ITER 1473 NEW BEST:: SOT 4419298 SOS 737814 HAS SOPS 737814 HAS SOUS 670624 HAS SOUPS 670624 WITH SCORE 671361.814
AT ITER 1478 NEW BEST:: SOT 4419042 SOS 737046 HAS SOPS 737046 HAS SOUS 670112 HAS SOUPS 670112 WITH SCORE 670849.046
AT ITER 1480 NEW BEST:: SOT 4419041 SOS 737044 HAS SOPS 737044 HAS SOUS 670110 HAS SOUPS 670110 WITH SCORE 670847.044
AT ITER 1483 NEW BEST:: SOT 4419003 SOS 736968 HAS SOPS 736968 HAS SOUS 670072 HAS SOUPS 670072 WITH SCORE 670808.968
AT ITER 1559 NEW BEST:: SOT 4419257 SOS 736494 HAS SOPS 736494 HAS SOUS 670042 HAS SOUPS 670042 WITH SCORE 670778.494
AT ITER 1564 NEW BEST:: SOT 4419172 SOS 736428 HAS SOPS 736428 HAS SOUS 669966 HAS SOUPS 669966 WITH SCORE 670702.428
AT ITER 1577 NEW BEST:: SOT 4419059 SOS 736319 HAS SOPS 736319 HAS SOUS 669853 HAS SOUPS 669853 WITH SCORE 670589.319
AT ITER 1581 NEW BEST:: SOT 4418706 SOS 735613 HAS SOPS 735613 HAS SOUS 669147 HAS SOUPS 669147 WITH SCORE 669882.613
AT ITER 1610 NEW BEST:: SOT 4418860 SOS 735485 HAS SOPS 735485 HAS SOUS 669016 HAS SOUPS 669016 WITH SCORE 669751.485
AT ITER 1613 NEW BEST:: SOT 4418574 SOS 735199 HAS SOPS 735199 HAS SOUS 668730 HAS SOUPS 668730 WITH SCORE 669465.199
AT ITER 1648 NEW BEST:: SOT 4418520 SOS 735091 HAS SOPS 735091 HAS SOUS 668676 HAS SOUPS 668676 WITH SCORE 669411.091
AT ITER 1660 NEW BEST:: SOT 4418520 SOS 735091 HAS SOPS 735091 HAS SOUS 668640 HAS SOUPS 668640 WITH SCORE 669375.091
AT ITER 1697 NEW BEST:: SOT 4418210 SOS 734788 HAS SOPS 734788 HAS SOUS 668170 HAS SOUPS 668170 WITH SCORE 668904.788
AT ITER 1751 NEW BEST:: SOT 4418210 SOS 734723 HAS SOPS 734723 HAS SOUS 668170 HAS SOUPS 668170 WITH SCORE 668904.723
AT ITER 1789 NEW BEST:: SOT 4418146 SOS 734595 HAS SOPS 734595 HAS SOUS 668042 HAS SOUPS 668042 WITH SCORE 668776.595
AT ITER 1796 NEW BEST:: SOT 4418024 SOS 734473 HAS SOPS 734473 HAS SOUS 667920 HAS SOUPS 667920 WITH SCORE 668654.473
AT ITER 1826 NEW BEST:: SOT 4417881 SOS 734187 HAS SOPS 734187 HAS SOUS 667817 HAS SOUPS 667817 WITH SCORE 668551.187
AT ITER 1831 NEW BEST:: SOT 4418113 SOS 734651 HAS SOPS 734651 HAS SOUS 667809 HAS SOUPS 667809 WITH SCORE 668543.651
AT ITER 1858 NEW BEST:: SOT 4417992 SOS 734566 HAS SOPS 734566 HAS SOUS 667722 HAS SOUPS 667722 WITH SCORE 668456.566
AT ITER 1945 NEW BEST:: SOT 4417860 SOS 734109 HAS SOPS 734109 HAS SOUS 667430 HAS SOUPS 667430 WITH SCORE 668164.109
AT ITER 1955 NEW BEST:: SOT 4417706 SOS 733955 HAS SOPS 733955 HAS SOUS 667276 HAS SOUPS 667276 WITH SCORE 668009.955
AT ITER 1967 NEW BEST:: SOT 4417706 SOS 733895 HAS SOPS 733895 HAS SOUS 667216 HAS SOUPS 667216 WITH SCORE 667949.895
AT ITER 1971 NEW BEST:: SOT 4417523 SOS 733712 HAS SOPS 733712 HAS SOUS 667033 HAS SOUPS 667033 WITH SCORE 667766.712
AT ITER 1984 NEW BEST:: SOT 4417374 SOS 733026 HAS SOPS 733026 HAS SOUS 666504 HAS SOUPS 666504 WITH SCORE 667237.026
AT ITER 1997 NEW BEST:: SOT 4417311 SOS 732900 HAS SOPS 732900 HAS SOUS 666182 HAS SOUPS 666182 WITH SCORE 666914.9
AT ITER 2031 NEW BEST:: SOT 4417311 SOS 732891 HAS SOPS 732891 HAS SOUS 666173 HAS SOUPS 666173 WITH SCORE 666905.891
AT ITER 2042 NEW BEST:: SOT 4417311 SOS 732649 HAS SOPS 732649 HAS SOUS 666173 HAS SOUPS 666173 WITH SCORE 666905.649
AT ITER 2052 NEW BEST:: SOT 4417311 SOS 732541 HAS SOPS 732541 HAS SOUS 666065 HAS SOUPS 666065 WITH SCORE 666797.541
AT ITER 2098 NEW BEST:: SOT 4417136 SOS 732191 HAS SOPS 732191 HAS SOUS 665715 HAS SOUPS 665715 WITH SCORE 666447.191
AT ITER 2125 NEW BEST:: SOT 4417136 SOS 732157 HAS SOPS 732157 HAS SOUS 665681 HAS SOUPS 665681 WITH SCORE 666413.157
AT ITER 2151 NEW BEST:: SOT 4417136 SOS 732157 HAS SOPS 732157 HAS SOUS 665338 HAS SOUPS 665338 WITH SCORE 666070.157
AT ITER 2154 NEW BEST:: SOT 4417095 SOS 732075 HAS SOPS 732075 HAS SOUS 665256 HAS SOUPS 665256 WITH SCORE 665988.075
AT ITER 2156 NEW BEST:: SOT 4417021 SOS 731927 HAS SOPS 731927 HAS SOUS 665108 HAS SOUPS 665108 WITH SCORE 665839.927
AT ITER 2170 NEW BEST:: SOT 4416593 SOS 731515 HAS SOPS 731515 HAS SOUS 664696 HAS SOUPS 664696 WITH SCORE 665427.515
AT ITER 2183 NEW BEST:: SOT 4416592 SOS 731513 HAS SOPS 731513 HAS SOUS 664694 HAS SOUPS 664694 WITH SCORE 665425.513
AT ITER 2204 NEW BEST:: SOT 4416406 SOS 731327 HAS SOPS 731327 HAS SOUS 664508 HAS SOUPS 664508 WITH SCORE 665239.327
AT ITER 2239 NEW BEST:: SOT 4416135 SOS 730987 HAS SOPS 730987 HAS SOUS 664162 HAS SOUPS 664162 WITH SCORE 664892.987
AT ITER 2248 NEW BEST:: SOT 4416135 SOS 730897 HAS SOPS 730897 HAS SOUS 664161 HAS SOUPS 664161 WITH SCORE 664891.897
AT ITER 2281 NEW BEST:: SOT 4416134 SOS 730895 HAS SOPS 730895 HAS SOUS 664159 HAS SOUPS 664159 WITH SCORE 664889.895
AT ITER 2283 NEW BEST:: SOT 4416134 SOS 730895 HAS SOPS 730895 HAS SOUS 664027 HAS SOUPS 664027 WITH SCORE 664757.895
AT ITER 2302 NEW BEST:: SOT 4416121 SOS 730881 HAS SOPS 730881 HAS SOUS 664013 HAS SOUPS 664013 WITH SCORE 664743.881
AT ITER 2331 NEW BEST:: SOT 4416091 SOS 730821 HAS SOPS 730821 HAS SOUS 663953 HAS SOUPS 663953 WITH SCORE 664683.821
AT ITER 2342 NEW BEST:: SOT 4416017 SOS 730599 HAS SOPS 730599 HAS SOUS 663879 HAS SOUPS 663879 WITH SCORE 664609.599
AT ITER 2392 NEW BEST:: SOT 4415599 SOS 729763 HAS SOPS 729763 HAS SOUS 663165 HAS SOUPS 663165 WITH SCORE 663894.763
AT ITER 2403 NEW BEST:: SOT 4415599 SOS 729684 HAS SOPS 729684 HAS SOUS 663165 HAS SOUPS 663165 WITH SCORE 663894.684
AT ITER 2476 NEW BEST:: SOT 4415557 SOS 729432 HAS SOPS 729432 HAS SOUS 663081 HAS SOUPS 663081 WITH SCORE 663810.432
AT ITER 2490 NEW BEST:: SOT 4415458 SOS 729333 HAS SOPS 729333 HAS SOUS 662982 HAS SOUPS 662982 WITH SCORE 663711.333
AT ITER 2499 NEW BEST:: SOT 4415381 SOS 729179 HAS SOPS 729179 HAS SOUS 662828 HAS SOUPS 662828 WITH SCORE 663557.179
AT ITER 2503 NEW BEST:: SOT 4415173 SOS 728971 HAS SOPS 728971 HAS SOUS 662611 HAS SOUPS 662611 WITH SCORE 663339.971
AT ITER 2507 NEW BEST:: SOT 4414967 SOS 728765 HAS SOPS 728765 HAS SOUS 662405 HAS SOUPS 662405 WITH SCORE 663133.765
AT ITER 2538 NEW BEST:: SOT 4414871 SOS 728955 HAS SOPS 728955 HAS SOUS 662309 HAS SOUPS 662309 WITH SCORE 663037.955
AT ITER 2543 NEW BEST:: SOT 4414871 SOS 728735 HAS SOPS 728735 HAS SOUS 662089 HAS SOUPS 662089 WITH SCORE 662817.735
AT ITER 2555 NEW BEST:: SOT 4414871 SOS 728735 HAS SOPS 728735 HAS SOUS 662088 HAS SOUPS 662088 WITH SCORE 662816.735
AT ITER 2581 NEW BEST:: SOT 4414828 SOS 728649 HAS SOPS 728649 HAS SOUS 662045 HAS SOUPS 662045 WITH SCORE 662773.649
AT ITER 2582 NEW BEST:: SOT 4414805 SOS 728733 HAS SOPS 728733 HAS SOUS 661942 HAS SOUPS 661942 WITH SCORE 662670.733
AT ITER 2583 NEW BEST:: SOT 4414139 SOS 727989 HAS SOPS 727989 HAS SOUS 661113 HAS SOUPS 661113 WITH SCORE 661840.989
AT ITER 2606 NEW BEST:: SOT 4414139 SOS 727779 HAS SOPS 727779 HAS SOUS 661113 HAS SOUPS 661113 WITH SCORE 661840.779
AT ITER 2634 NEW BEST:: SOT 4414225 SOS 727951 HAS SOPS 727951 HAS SOUS 661013 HAS SOUPS 661013 WITH SCORE 661740.951
AT ITER 2640 NEW BEST:: SOT 4414225 SOS 727911 HAS SOPS 727911 HAS SOUS 660973 HAS SOUPS 660973 WITH SCORE 661700.911
AT ITER 2646 NEW BEST:: SOT 4414225 SOS 727824 HAS SOPS 727824 HAS SOUS 660973 HAS SOUPS 660973 WITH SCORE 661700.824
AT ITER 2651 NEW BEST:: SOT 4413691 SOS 727774 HAS SOPS 727774 HAS SOUS 660630 HAS SOUPS 660630 WITH SCORE 661357.774
AT ITER 2660 NEW BEST:: SOT 4413618 SOS 727166 HAS SOPS 727166 HAS SOUS 660095 HAS SOUPS 660095 WITH SCORE 660822.166
AT ITER 2677 NEW BEST:: SOT 4408702 SOS 722570 HAS SOPS 722570 HAS SOUS 655479 HAS SOUPS 655479 WITH SCORE 656201.57
AT ITER 2688 NEW BEST:: SOT 4408702 SOS 722498 HAS SOPS 722498 HAS SOUS 655479 HAS SOUPS 655479 WITH SCORE 656201.498
AT ITER 2690 NEW BEST:: SOT 4408701 SOS 722496 HAS SOPS 722496 HAS SOUS 655477 HAS SOUPS 655477 WITH SCORE 656199.496
AT ITER 2695 NEW BEST:: SOT 4408701 SOS 722365 HAS SOPS 722365 HAS SOUS 655477 HAS SOUPS 655477 WITH SCORE 656199.365
AT ITER 2697 NEW BEST:: SOT 4408642 SOS 722247 HAS SOPS 722247 HAS SOUS 655336 HAS SOUPS 655336 WITH SCORE 656058.247
AT ITER 2701 NEW BEST:: SOT 4408407 SOS 722169 HAS SOPS 722169 HAS SOUS 655255 HAS SOUPS 655255 WITH SCORE 655977.169
AT ITER 2702 NEW BEST:: SOT 4408406 SOS 722064 HAS SOPS 722064 HAS SOUS 655253 HAS SOUPS 655253 WITH SCORE 655975.064
AT ITER 2729 NEW BEST:: SOT 4408406 SOS 722064 HAS SOPS 722064 HAS SOUS 655202 HAS SOUPS 655202 WITH SCORE 655924.064
AT ITER 2733 NEW BEST:: SOT 4408241 SOS 721734 HAS SOPS 721734 HAS SOUS 655037 HAS SOUPS 655037 WITH SCORE 655758.734
AT ITER 2745 NEW BEST:: SOT 4408230 SOS 721745 HAS SOPS 721745 HAS SOUS 655026 HAS SOUPS 655026 WITH SCORE 655747.745
AT ITER 2747 NEW BEST:: SOT 4404222 SOS 783701 HAS SOPS 783701 HAS SOUS 653727 HAS SOUPS 653727 WITH SCORE 654510.701
AT ITER 2827 NEW BEST:: SOT 4398802 SOS 816758 HAS SOPS 816758 HAS SOUS 650686 HAS SOUPS 650686 WITH SCORE 651502.758
AT ITER 2843 NEW BEST:: SOT 4398876 SOS 816579 HAS SOPS 816579 HAS SOUS 650530 HAS SOUPS 650530 WITH SCORE 651346.579
AT ITER 2867 NEW BEST:: SOT 4398525 SOS 816111 HAS SOPS 816111 HAS SOUS 650062 HAS SOUPS 650062 WITH SCORE 650878.111
AT ITER 2890 NEW BEST:: SOT 4398525 SOS 816111 HAS SOPS 816111 HAS SOUS 649997 HAS SOUPS 649997 WITH SCORE 650813.111
AT ITER 2901 NEW BEST:: SOT 4398525 SOS 816111 HAS SOPS 816111 HAS SOUS 649996 HAS SOUPS 649996 WITH SCORE 650812.111
AT ITER 2905 NEW BEST:: SOT 4398525 SOS 815925 HAS SOPS 815925 HAS SOUS 649996 HAS SOUPS 649996 WITH SCORE 650811.925
AT ITER 2921 NEW BEST:: SOT 4398612 SOS 815719 HAS SOPS 815719 HAS SOUS 649703 HAS SOUPS 649703 WITH SCORE 650518.719
AT ITER 2928 NEW BEST:: SOT 4398660 SOS 815117 HAS SOPS 815117 HAS SOUS 649182 HAS SOUPS 649182 WITH SCORE 649997.117
AT ITER 2950 NEW BEST:: SOT 4398656 SOS 814485 HAS SOPS 814485 HAS SOUS 648866 HAS SOUPS 648866 WITH SCORE 649680.485
AT ITER 2961 NEW BEST:: SOT 4398406 SOS 814261 HAS SOPS 814261 HAS SOUS 648494 HAS SOUPS 648494 WITH SCORE 649308.261
AT ITER 2969 NEW BEST:: SOT 4398406 SOS 814062 HAS SOPS 814062 HAS SOUS 648492 HAS SOUPS 648492 WITH SCORE 649306.062
AT ITER 2992 NEW BEST:: SOT 4398686 SOS 814622 HAS SOPS 814622 HAS SOUS 648481 HAS SOUPS 648481 WITH SCORE 649295.622
AT ITER 2998 NEW BEST:: SOT 4398593 SOS 814436 HAS SOPS 814436 HAS SOUS 648095 HAS SOUPS 648095 WITH SCORE 648909.436
AT ITER 3033 NEW BEST:: SOT 4398709 SOS 814423 HAS SOPS 814423 HAS SOUS 648082 HAS SOUPS 648082 WITH SCORE 648896.423
AT ITER 3049 NEW BEST:: SOT 4398743 SOS 814491 HAS SOPS 814491 HAS SOUS 647905 HAS SOUPS 647905 WITH SCORE 648719.491
AT ITER 3054 NEW BEST:: SOT 4398627 SOS 814143 HAS SOPS 814143 HAS SOUS 647673 HAS SOUPS 647673 WITH SCORE 648487.143
AT ITER 3146 NEW BEST:: SOT 4398493 SOS 814009 HAS SOPS 814009 HAS SOUS 647539 HAS SOUPS 647539 WITH SCORE 648353.009
AT ITER 3148 NEW BEST:: SOT 4398492 SOS 813955 HAS SOPS 813955 HAS SOUS 647537 HAS SOUPS 647537 WITH SCORE 648350.955
AT ITER 3151 NEW BEST:: SOT 4398491 SOS 813876 HAS SOPS 813876 HAS SOUS 647496 HAS SOUPS 647496 WITH SCORE 648309.876
AT ITER 3156 NEW BEST:: SOT 4398039 SOS 813424 HAS SOPS 813424 HAS SOUS 647044 HAS SOUPS 647044 WITH SCORE 647857.424
AT ITER 3169 NEW BEST:: SOT 4398007 SOS 813208 HAS SOPS 813208 HAS SOUS 646994 HAS SOUPS 646994 WITH SCORE 647807.208
AT ITER 3222 NEW BEST:: SOT 4397660 SOS 780972 HAS SOPS 780972 HAS SOUS 646300 HAS SOUPS 646300 WITH SCORE 647080.972
AT ITER 3245 NEW BEST:: SOT 4397670 SOS 780908 HAS SOPS 780908 HAS SOUS 646226 HAS SOUPS 646226 WITH SCORE 647006.908
AT ITER 3276 NEW BEST:: SOT 4397394 SOS 780632 HAS SOPS 780632 HAS SOUS 645950 HAS SOUPS 645950 WITH SCORE 646730.632
AT ITER 3291 NEW BEST:: SOT 4397343 SOS 780530 HAS SOPS 780530 HAS SOUS 645848 HAS SOUPS 645848 WITH SCORE 646628.53
AT ITER 3363 NEW BEST:: SOT 4397303 SOS 780490 HAS SOPS 780490 HAS SOUS 645808 HAS SOUPS 645808 WITH SCORE 646588.49
AT ITER 3397 NEW BEST:: SOT 4397137 SOS 780241 HAS SOPS 780241 HAS SOUS 645559 HAS SOUPS 645559 WITH SCORE 646339.241
AT ITER 3414 NEW BEST:: SOT 4397137 SOS 779997 HAS SOPS 779997 HAS SOUS 645559 HAS SOUPS 645559 WITH SCORE 646338.997
AT ITER 3444 NEW BEST:: SOT 4397104 SOS 779931 HAS SOPS 779931 HAS SOUS 645493 HAS SOUPS 645493 WITH SCORE 646272.931
AT ITER 3446 NEW BEST:: SOT 4397103 SOS 779929 HAS SOPS 779929 HAS SOUS 645491 HAS SOUPS 645491 WITH SCORE 646270.929
AT ITER 3453 NEW BEST:: SOT 4396838 SOS 779627 HAS SOPS 779627 HAS SOUS 645226 HAS SOUPS 645226 WITH SCORE 646005.627
AT ITER 3454 NEW BEST:: SOT 4396796 SOS 779543 HAS SOPS 779543 HAS SOUS 645184 HAS SOUPS 645184 WITH SCORE 645963.543
AT ITER 3462 NEW BEST:: SOT 4396911 SOS 779389 HAS SOPS 779389 HAS SOUS 645088 HAS SOUPS 645088 WITH SCORE 645867.389
AT ITER 3484 NEW BEST:: SOT 4396878 SOS 779356 HAS SOPS 779356 HAS SOUS 645087 HAS SOUPS 645087 WITH SCORE 645866.356
AT ITER 3489 NEW BEST:: SOT 4396877 SOS 779318 HAS SOPS 779318 HAS SOUS 645085 HAS SOUPS 645085 WITH SCORE 645864.318
AT ITER 3495 NEW BEST:: SOT 4396763 SOS 779264 HAS SOPS 779264 HAS SOUS 644857 HAS SOUPS 644857 WITH SCORE 645636.264
AT ITER 3518 NEW BEST:: SOT 4396762 SOS 779262 HAS SOPS 779262 HAS SOUS 644855 HAS SOUPS 644855 WITH SCORE 645634.262
AT ITER 3530 NEW BEST:: SOT 4396485 SOS 778708 HAS SOPS 778708 HAS SOUS 644301 HAS SOUPS 644301 WITH SCORE 645079.708
AT ITER 3532 NEW BEST:: SOT 4396270 SOS 777819 HAS SOPS 777819 HAS SOUS 643978 HAS SOUPS 643978 WITH SCORE 644755.819
AT ITER 3538 NEW BEST:: SOT 4396177 SOS 777633 HAS SOPS 777633 HAS SOUS 643792 HAS SOUPS 643792 WITH SCORE 644569.633
AT ITER 3569 NEW BEST:: SOT 4395857 SOS 777197 HAS SOPS 777197 HAS SOUS 643356 HAS SOUPS 643356 WITH SCORE 644133.197
AT ITER 3573 NEW BEST:: SOT 4395847 SOS 777240 HAS SOPS 777240 HAS SOUS 643353 HAS SOUPS 643353 WITH SCORE 644130.24
AT ITER 3574 NEW BEST:: SOT 4395846 SOS 777238 HAS SOPS 777238 HAS SOUS 643351 HAS SOUPS 643351 WITH SCORE 644128.238
AT ITER 3592 NEW BEST:: SOT 4395845 SOS 777022 HAS SOPS 777022 HAS SOUS 643349 HAS SOUPS 643349 WITH SCORE 644126.022
AT ITER 3635 NEW BEST:: SOT 4393902 SOS 777432 HAS SOPS 777432 HAS SOUS 641941 HAS SOUPS 641941 WITH SCORE 642718.432
AT ITER 3648 NEW BEST:: SOT 4393740 SOS 777108 HAS SOPS 777108 HAS SOUS 641720 HAS SOUPS 641720 WITH SCORE 642497.108
AT ITER 3660 NEW BEST:: SOT 4393560 SOS 776748 HAS SOPS 776748 HAS SOUS 641548 HAS SOUPS 641548 WITH SCORE 642324.748
AT ITER 3661 NEW BEST:: SOT 4393474 SOS 776576 HAS SOPS 776576 HAS SOUS 641376 HAS SOUPS 641376 WITH SCORE 642152.576
AT ITER 3666 NEW BEST:: SOT 4393473 SOS 776597 HAS SOPS 776597 HAS SOUS 641374 HAS SOUPS 641374 WITH SCORE 642150.597
AT ITER 3685 NEW BEST:: SOT 4393298 SOS 776488 HAS SOPS 776488 HAS SOUS 641199 HAS SOUPS 641199 WITH SCORE 641975.488
AT ITER 3711 NEW BEST:: SOT 4393120 SOS 776448 HAS SOPS 776448 HAS SOUS 641100 HAS SOUPS 641100 WITH SCORE 641876.448
AT ITER 3712 NEW BEST:: SOT 4393214 SOS 776308 HAS SOPS 776308 HAS SOUS 641030 HAS SOUPS 641030 WITH SCORE 641806.308
AT ITER 3726 NEW BEST:: SOT 4393214 SOS 776308 HAS SOPS 776308 HAS SOUS 641029 HAS SOUPS 641029 WITH SCORE 641805.308
AT ITER 3783 NEW BEST:: SOT 4392948 SOS 776034 HAS SOPS 776034 HAS SOUS 640755 HAS SOUPS 640755 WITH SCORE 641531.034
AT ITER 3789 NEW BEST:: SOT 4392706 SOS 775773 HAS SOPS 775773 HAS SOUS 640290 HAS SOUPS 640290 WITH SCORE 641065.773
AT ITER 3795 NEW BEST:: SOT 4392574 SOS 775418 HAS SOPS 775418 HAS SOUS 640105 HAS SOUPS 640105 WITH SCORE 640880.418
AT ITER 3806 NEW BEST:: SOT 4392448 SOS 775166 HAS SOPS 775166 HAS SOUS 639853 HAS SOUPS 639853 WITH SCORE 640628.166
AT ITER 3810 NEW BEST:: SOT 4392319 SOS 774908 HAS SOPS 774908 HAS SOUS 639595 HAS SOUPS 639595 WITH SCORE 640369.908
AT ITER 3814 NEW BEST:: SOT 4392088 SOS 773936 HAS SOPS 773936 HAS SOUS 638854 HAS SOUPS 638854 WITH SCORE 639627.936
AT ITER 3869 NEW BEST:: SOT 4391778 SOS 773613 HAS SOPS 773613 HAS SOUS 638531 HAS SOUPS 638531 WITH SCORE 639304.613
AT ITER 3879 NEW BEST:: SOT 4391691 SOS 773439 HAS SOPS 773439 HAS SOUS 638443 HAS SOUPS 638443 WITH SCORE 639216.439
AT ITER 3907 NEW BEST:: SOT 4391807 SOS 773671 HAS SOPS 773671 HAS SOUS 638424 HAS SOUPS 638424 WITH SCORE 639197.671
AT ITER 3933 NEW BEST:: SOT 4391743 SOS 773543 HAS SOPS 773543 HAS SOUS 638296 HAS SOUPS 638296 WITH SCORE 639069.543
AT ITER 3939 NEW BEST:: SOT 4391454 SOS 773413 HAS SOPS 773413 HAS SOUS 637927 HAS SOUPS 637927 WITH SCORE 638700.413
AT ITER 3964 NEW BEST:: SOT 4390548 SOS 773351 HAS SOPS 773351 HAS SOUS 637240 HAS SOUPS 637240 WITH SCORE 638013.351
AT ITER 3974 NEW BEST:: SOT 4390488 SOS 773051 HAS SOPS 773051 HAS SOUS 637120 HAS SOUPS 637120 WITH SCORE 637893.051
AT ITER 3985 NEW BEST:: SOT 4390284 SOS 772847 HAS SOPS 772847 HAS SOUS 636916 HAS SOUPS 636916 WITH SCORE 637688.847
AT ITER 4015 NEW BEST:: SOT 4390188 SOS 772655 HAS SOPS 772655 HAS SOUS 636819 HAS SOUPS 636819 WITH SCORE 637591.655
AT ITER 4017 NEW BEST:: SOT 4390276 SOS 772489 HAS SOPS 772489 HAS SOUS 636655 HAS SOUPS 636655 WITH SCORE 637427.489
AT ITER 4056 NEW BEST:: SOT 4390132 SOS 744271 HAS SOPS 744271 HAS SOUS 635932 HAS SOUPS 635932 WITH SCORE 636676.271
AT ITER 4069 NEW BEST:: SOT 4389852 SOS 744531 HAS SOPS 744531 HAS SOUS 635857 HAS SOUPS 635857 WITH SCORE 636601.531
AT ITER 4082 NEW BEST:: SOT 4389148 SOS 744285 HAS SOPS 744285 HAS SOUS 635309 HAS SOUPS 635309 WITH SCORE 636053.285
AT ITER 4102 NEW BEST:: SOT 4389148 SOS 744225 HAS SOPS 744225 HAS SOUS 635249 HAS SOUPS 635249 WITH SCORE 635993.225
AT ITER 4131 NEW BEST:: SOT 4389042 SOS 744119 HAS SOPS 744119 HAS SOUS 635143 HAS SOUPS 635143 WITH SCORE 635887.119
AT ITER 4132 NEW BEST:: SOT 4388918 SOS 743871 HAS SOPS 743871 HAS SOUS 634895 HAS SOUPS 634895 WITH SCORE 635638.871
AT ITER 4150 NEW BEST:: SOT 4386498 SOS 789036 HAS SOPS 789036 HAS SOUS 634703 HAS SOUPS 634703 WITH SCORE 635492.036
AT ITER 4155 NEW BEST:: SOT 4386413 SOS 788866 HAS SOPS 788866 HAS SOUS 634533 HAS SOUPS 634533 WITH SCORE 635321.866
AT ITER 4216 NEW BEST:: SOT 4386385 SOS 788810 HAS SOPS 788810 HAS SOUS 634477 HAS SOUPS 634477 WITH SCORE 635265.81
AT ITER 4236 NEW BEST:: SOT 4386348 SOS 788736 HAS SOPS 788736 HAS SOUS 634403 HAS SOUPS 634403 WITH SCORE 635191.736
AT ITER 4248 NEW BEST:: SOT 4386324 SOS 788688 HAS SOPS 788688 HAS SOUS 634355 HAS SOUPS 634355 WITH SCORE 635143.688
AT ITER 4268 NEW BEST:: SOT 4386327 SOS 788313 HAS SOPS 788313 HAS SOUS 634019 HAS SOUPS 634019 WITH SCORE 634807.313
AT ITER 4305 NEW BEST:: SOT 4386234 SOS 788127 HAS SOPS 788127 HAS SOUS 633833 HAS SOUPS 633833 WITH SCORE 634621.127
AT ITER 4314 NEW BEST:: SOT 4386296 SOS 788095 HAS SOPS 788095 HAS SOUS 633817 HAS SOUPS 633817 WITH SCORE 634605.095
AT ITER 4318 NEW BEST:: SOT 4386350 SOS 788203 HAS SOPS 788203 HAS SOUS 633765 HAS SOUPS 633765 WITH SCORE 634553.203
AT ITER 4332 NEW BEST:: SOT 4386350 SOS 788203 HAS SOPS 788203 HAS SOUS 633679 HAS SOUPS 633679 WITH SCORE 634467.203
AT ITER 4351 NEW BEST:: SOT 4386350 SOS 788193 HAS SOPS 788193 HAS SOUS 633679 HAS SOUPS 633679 WITH SCORE 634467.193
AT ITER 4389 NEW BEST:: SOT 4386349 SOS 787871 HAS SOPS 787871 HAS SOUS 633676 HAS SOUPS 633676 WITH SCORE 634463.871
AT ITER 4403 NEW BEST:: SOT 4386334 SOS 787841 HAS SOPS 787841 HAS SOUS 633646 HAS SOUPS 633646 WITH SCORE 634433.841
AT ITER 4419 NEW BEST:: SOT 4386268 SOS 787709 HAS SOPS 787709 HAS SOUS 633464 HAS SOUPS 633464 WITH SCORE 634251.709
AT ITER 4424 NEW BEST:: SOT 4386025 SOS 787223 HAS SOPS 787223 HAS SOUS 632978 HAS SOUPS 632978 WITH SCORE 633765.223
AT ITER 4438 NEW BEST:: SOT 4385937 SOS 787047 HAS SOPS 787047 HAS SOUS 632890 HAS SOUPS 632890 WITH SCORE 633677.047
AT ITER 4439 NEW BEST:: SOT 4385752 SOS 794010 HAS SOPS 794010 HAS SOUS 632545 HAS SOUPS 632545 WITH SCORE 633339.01
AT ITER 4444 NEW BEST:: SOT 4385726 SOS 793958 HAS SOPS 793958 HAS SOUS 632519 HAS SOUPS 632519 WITH SCORE 633312.958
AT ITER 4476 NEW BEST:: SOT 4385634 SOS 793774 HAS SOPS 793774 HAS SOUS 632335 HAS SOUPS 632335 WITH SCORE 633128.774
AT ITER 4477 NEW BEST:: SOT 4385485 SOS 793625 HAS SOPS 793625 HAS SOUS 632186 HAS SOUPS 632186 WITH SCORE 632979.625
AT ITER 4483 NEW BEST:: SOT 4385347 SOS 793349 HAS SOPS 793349 HAS SOUS 631799 HAS SOUPS 631799 WITH SCORE 632592.349
AT ITER 4507 NEW BEST:: SOT 4385207 SOS 793069 HAS SOPS 793069 HAS SOUS 631519 HAS SOUPS 631519 WITH SCORE 632312.069
AT ITER 4518 NEW BEST:: SOT 4385147 SOS 792949 HAS SOPS 792949 HAS SOUS 631399 HAS SOUPS 631399 WITH SCORE 632191.949
AT ITER 4623 NEW BEST:: SOT 4385142 SOS 792939 HAS SOPS 792939 HAS SOUS 631390 HAS SOUPS 631390 WITH SCORE 632182.939
AT ITER 4625 NEW BEST:: SOT 4385107 SOS 792869 HAS SOPS 792869 HAS SOUS 631320 HAS SOUPS 631320 WITH SCORE 632112.869
AT ITER 4634 NEW BEST:: SOT 4385026 SOS 792332 HAS SOPS 792332 HAS SOUS 630890 HAS SOUPS 630890 WITH SCORE 631682.332
AT ITER 4635 NEW BEST:: SOT 4384984 SOS 791983 HAS SOPS 791983 HAS SOUS 630806 HAS SOUPS 630806 WITH SCORE 631597.983
AT ITER 4642 NEW BEST:: SOT 4384932 SOS 791905 HAS SOPS 791905 HAS SOUS 630728 HAS SOUPS 630728 WITH SCORE 631519.905
AT ITER 4697 NEW BEST:: SOT 4384873 SOS 791787 HAS SOPS 791787 HAS SOUS 630610 HAS SOUPS 630610 WITH SCORE 631401.787
AT ITER 4704 NEW BEST:: SOT 4384873 SOS 791787 HAS SOPS 791787 HAS SOUS 630609 HAS SOUPS 630609 WITH SCORE 631400.787
AT ITER 4731 NEW BEST:: SOT 4385119 SOS 791832 HAS SOPS 791832 HAS SOUS 630408 HAS SOUPS 630408 WITH SCORE 631199.832
AT ITER 4737 NEW BEST:: SOT 4385063 SOS 791720 HAS SOPS 791720 HAS SOUS 630296 HAS SOUPS 630296 WITH SCORE 631087.72
AT ITER 4742 NEW BEST:: SOT 4384974 SOS 791632 HAS SOPS 791632 HAS SOUS 630208 HAS SOUPS 630208 WITH SCORE 630999.632
AT ITER 4757 NEW BEST:: SOT 4384937 SOS 791429 HAS SOPS 791429 HAS SOUS 630134 HAS SOUPS 630134 WITH SCORE 630925.429
AT ITER 4776 NEW BEST:: SOT 4384990 SOS 791535 HAS SOPS 791535 HAS SOUS 630042 HAS SOUPS 630042 WITH SCORE 630833.535
AT ITER 4781 NEW BEST:: SOT 4384981 SOS 791517 HAS SOPS 791517 HAS SOUS 630024 HAS SOUPS 630024 WITH SCORE 630815.517
AT ITER 4803 NEW BEST:: SOT 4384776 SOS 791107 HAS SOPS 791107 HAS SOUS 629614 HAS SOUPS 629614 WITH SCORE 630405.107
AT ITER 4808 NEW BEST:: SOT 4384776 SOS 791064 HAS SOPS 791064 HAS SOUS 629571 HAS SOUPS 629571 WITH SCORE 630362.064
AT ITER 4810 NEW BEST:: SOT 4382265 SOS 795576 HAS SOPS 795576 HAS SOUS 627287 HAS SOUPS 627287 WITH SCORE 628082.576
AT ITER 4817 NEW BEST:: SOT 4382232 SOS 795621 HAS SOPS 795621 HAS SOUS 627254 HAS SOUPS 627254 WITH SCORE 628049.621
AT ITER 4821 NEW BEST:: SOT 4382489 SOS 795950 HAS SOPS 795950 HAS SOUS 627105 HAS SOUPS 627105 WITH SCORE 627900.95
AT ITER 4831 NEW BEST:: SOT 4382483 SOS 795938 HAS SOPS 795938 HAS SOUS 627080 HAS SOUPS 627080 WITH SCORE 627875.938
AT ITER 4849 NEW BEST:: SOT 4382221 SOS 795692 HAS SOPS 795692 HAS SOUS 626679 HAS SOUPS 626679 WITH SCORE 627474.692
AT ITER 4902 NEW BEST:: SOT 4382218 SOS 795686 HAS SOPS 795686 HAS SOUS 626673 HAS SOUPS 626673 WITH SCORE 627468.686
AT ITER 4905 NEW BEST:: SOT 4382135 SOS 795424 HAS SOPS 795424 HAS SOUS 626590 HAS SOUPS 626590 WITH SCORE 627385.424
AT ITER 4910 NEW BEST:: SOT 4382134 SOS 795422 HAS SOPS 795422 HAS SOUS 626588 HAS SOUPS 626588 WITH SCORE 627383.422
AT ITER 4916 NEW BEST:: SOT 4382008 SOS 795170 HAS SOPS 795170 HAS SOUS 626336 HAS SOUPS 626336 WITH SCORE 627131.17
AT ITER 4936 NEW BEST:: SOT 4381959 SOS 795072 HAS SOPS 795072 HAS SOUS 626299 HAS SOUPS 626299 WITH SCORE 627094.072
AT ITER 4938 NEW BEST:: SOT 4381936 SOS 794973 HAS SOPS 794973 HAS SOUS 626253 HAS SOUPS 626253 WITH SCORE 627047.973
AT ITER 4948 NEW BEST:: SOT 4381859 SOS 794819 HAS SOPS 794819 HAS SOUS 626099 HAS SOUPS 626099 WITH SCORE 626893.819
AT ITER 4963 NEW BEST:: SOT 4381709 SOS 794519 HAS SOPS 794519 HAS SOUS 625981 HAS SOUPS 625981 WITH SCORE 626775.519
AT ITER 5030 NEW BEST:: SOT 4381709 SOS 793911 HAS SOPS 793911 HAS SOUS 625677 HAS SOUPS 625677 WITH SCORE 626470.911
AT ITER 5063 NEW BEST:: SOT 4381706 SOS 793905 HAS SOPS 793905 HAS SOUS 625671 HAS SOUPS 625671 WITH SCORE 626464.905
AT ITER 5065 NEW BEST:: SOT 4381703 SOS 793899 HAS SOPS 793899 HAS SOUS 625665 HAS SOUPS 625665 WITH SCORE 626458.899
AT ITER 5155 NEW BEST:: SOT 4381828 SOS 794149 HAS SOPS 794149 HAS SOUS 625460 HAS SOUPS 625460 WITH SCORE 626254.149
AT ITER 5158 NEW BEST:: SOT 4381811 SOS 794115 HAS SOPS 794115 HAS SOUS 625426 HAS SOUPS 625426 WITH SCORE 626220.115
AT ITER 5159 NEW BEST:: SOT 4381413 SOS 763514 HAS SOPS 763514 HAS SOUS 624617 HAS SOUPS 624617 WITH SCORE 625380.514
AT ITER 5170 NEW BEST:: SOT 4381470 SOS 763628 HAS SOPS 763628 HAS SOUS 624504 HAS SOUPS 624504 WITH SCORE 625267.628
AT ITER 5188 NEW BEST:: SOT 4381222 SOS 763504 HAS SOPS 763504 HAS SOUS 624319 HAS SOUPS 624319 WITH SCORE 625082.504
AT ITER 5189 NEW BEST:: SOT 4381130 SOS 763320 HAS SOPS 763320 HAS SOUS 624135 HAS SOUPS 624135 WITH SCORE 624898.32
AT ITER 5238 NEW BEST:: SOT 4381012 SOS 763320 HAS SOPS 763320 HAS SOUS 624017 HAS SOUPS 624017 WITH SCORE 624780.32
AT ITER 5257 NEW BEST:: SOT 4380883 SOS 763062 HAS SOPS 763062 HAS SOUS 623759 HAS SOUPS 623759 WITH SCORE 624522.062
AT ITER 5270 NEW BEST:: SOT 4380761 SOS 762818 HAS SOPS 762818 HAS SOUS 623515 HAS SOUPS 623515 WITH SCORE 624277.818
AT ITER 5281 NEW BEST:: SOT 4380761 SOS 762818 HAS SOPS 762818 HAS SOUS 623492 HAS SOUPS 623492 WITH SCORE 624254.818
AT ITER 5283 NEW BEST:: SOT 4380573 SOS 762747 HAS SOPS 762747 HAS SOUS 623421 HAS SOUPS 623421 WITH SCORE 624183.747
AT ITER 5302 NEW BEST:: SOT 4380510 SOS 762621 HAS SOPS 762621 HAS SOUS 623295 HAS SOUPS 623295 WITH SCORE 624057.621
AT ITER 5306 NEW BEST:: SOT 4380509 SOS 762523 HAS SOPS 762523 HAS SOUS 623293 HAS SOUPS 623293 WITH SCORE 624055.523
AT ITER 5328 NEW BEST:: SOT 4380105 SOS 761715 HAS SOPS 761715 HAS SOUS 622485 HAS SOUPS 622485 WITH SCORE 623246.715
AT ITER 5334 NEW BEST:: SOT 4380105 SOS 761544 HAS SOPS 761544 HAS SOUS 622314 HAS SOUPS 622314 WITH SCORE 623075.544
AT ITER 5343 NEW BEST:: SOT 4380138 SOS 761610 HAS SOPS 761610 HAS SOUS 622248 HAS SOUPS 622248 WITH SCORE 623009.61
AT ITER 5384 NEW BEST:: SOT 4380138 SOS 761608 HAS SOPS 761608 HAS SOUS 622248 HAS SOUPS 622248 WITH SCORE 623009.608
AT ITER 5403 NEW BEST:: SOT 4380138 SOS 761608 HAS SOPS 761608 HAS SOUS 622057 HAS SOUPS 622057 WITH SCORE 622818.608
AT ITER 5421 NEW BEST:: SOT 4380115 SOS 761585 HAS SOPS 761585 HAS SOUS 622034 HAS SOUPS 622034 WITH SCORE 622795.585
AT ITER 5438 NEW BEST:: SOT 4380157 SOS 761669 HAS SOPS 761669 HAS SOUS 621977 HAS SOUPS 621977 WITH SCORE 622738.669
AT ITER 5442 NEW BEST:: SOT 4380082 SOS 761607 HAS SOPS 761607 HAS SOUS 621821 HAS SOUPS 621821 WITH SCORE 622582.607
AT ITER 5470 NEW BEST:: SOT 4380015 SOS 761473 HAS SOPS 761473 HAS SOUS 621426 HAS SOUPS 621426 WITH SCORE 622187.473
AT ITER 5480 NEW BEST:: SOT 4379839 SOS 761121 HAS SOPS 761121 HAS SOUS 621315 HAS SOUPS 621315 WITH SCORE 622076.121
AT ITER 5488 NEW BEST:: SOT 4379806 SOS 761088 HAS SOPS 761088 HAS SOUS 621249 HAS SOUPS 621249 WITH SCORE 622010.088
AT ITER 5495 NEW BEST:: SOT 4379690 SOS 760856 HAS SOPS 760856 HAS SOUS 621017 HAS SOUPS 621017 WITH SCORE 621777.856
AT ITER 5501 NEW BEST:: SOT 4379535 SOS 760546 HAS SOPS 760546 HAS SOUS 620707 HAS SOUPS 620707 WITH SCORE 621467.546
AT ITER 5502 NEW BEST:: SOT 4379534 SOS 760545 HAS SOPS 760545 HAS SOUS 620706 HAS SOUPS 620706 WITH SCORE 621466.545
AT ITER 5532 NEW BEST:: SOT 4379534 SOS 760433 HAS SOPS 760433 HAS SOUS 620706 HAS SOUPS 620706 WITH SCORE 621466.433
AT ITER 5564 NEW BEST:: SOT 4379198 SOS 732561 HAS SOPS 732561 HAS SOUS 620034 HAS SOUPS 620034 WITH SCORE 620766.561
AT ITER 5602 NEW BEST:: SOT 4379214 SOS 732784 HAS SOPS 732784 HAS SOUS 620008 HAS SOUPS 620008 WITH SCORE 620740.784
AT ITER 5603 NEW BEST:: SOT 4379247 SOS 732748 HAS SOPS 732748 HAS SOUS 619972 HAS SOUPS 619972 WITH SCORE 620704.748
AT ITER 5608 NEW BEST:: SOT 4379247 SOS 732721 HAS SOPS 732721 HAS SOUS 619945 HAS SOUPS 619945 WITH SCORE 620677.721
AT ITER 5609 NEW BEST:: SOT 4379119 SOS 732465 HAS SOPS 732465 HAS SOUS 619900 HAS SOUPS 619900 WITH SCORE 620632.465
AT ITER 5630 NEW BEST:: SOT 4379061 SOS 732291 HAS SOPS 732291 HAS SOUS 619784 HAS SOUPS 619784 WITH SCORE 620516.291
AT ITER 5696 NEW BEST:: SOT 4378986 SOS 732141 HAS SOPS 732141 HAS SOUS 619634 HAS SOUPS 619634 WITH SCORE 620366.141
AT ITER 5706 NEW BEST:: SOT 4378760 SOS 731972 HAS SOPS 731972 HAS SOUS 619408 HAS SOUPS 619408 WITH SCORE 620139.972
AT ITER 5728 NEW BEST:: SOT 4378760 SOS 731930 HAS SOPS 731930 HAS SOUS 619408 HAS SOUPS 619408 WITH SCORE 620139.93
AT ITER 5742 NEW BEST:: SOT 4378760 SOS 731654 HAS SOPS 731654 HAS SOUS 619408 HAS SOUPS 619408 WITH SCORE 620139.654
AT ITER 5766 NEW BEST:: SOT 4378622 SOS 731378 HAS SOPS 731378 HAS SOUS 619318 HAS SOUPS 619318 WITH SCORE 620049.378
AT ITER 5774 NEW BEST:: SOT 4378611 SOS 731367 HAS SOPS 731367 HAS SOUS 619307 HAS SOUPS 619307 WITH SCORE 620038.367
AT ITER 5780 NEW BEST:: SOT 4378427 SOS 730999 HAS SOPS 730999 HAS SOUS 619076 HAS SOUPS 619076 WITH SCORE 619806.999
AT ITER 5786 NEW BEST:: SOT 4378407 SOS 730959 HAS SOPS 730959 HAS SOUS 619036 HAS SOUPS 619036 WITH SCORE 619766.959
AT ITER 5852 NEW BEST:: SOT 4378406 SOS 730958 HAS SOPS 730958 HAS SOUS 619034 HAS SOUPS 619034 WITH SCORE 619764.958
AT ITER 5863 NEW BEST:: SOT 4378406 SOS 730958 HAS SOPS 730958 HAS SOUS 618890 HAS SOUPS 618890 WITH SCORE 619620.958
AT ITER 5896 NEW BEST:: SOT 4378376 SOS 730868 HAS SOPS 730868 HAS SOUS 618830 HAS SOUPS 618830 WITH SCORE 619560.868
AT ITER 5928 NEW BEST:: SOT 4378271 SOS 730658 HAS SOPS 730658 HAS SOUS 618620 HAS SOUPS 618620 WITH SCORE 619350.658
AT ITER 5938 NEW BEST:: SOT 4378271 SOS 730360 HAS SOPS 730360 HAS SOUS 618322 HAS SOUPS 618322 WITH SCORE 619052.36
AT ITER 5953 NEW BEST:: SOT 4377101 SOS 732101 HAS SOPS 732101 HAS SOUS 618105 HAS SOUPS 618105 WITH SCORE 618837.101
AT ITER 5958 NEW BEST:: SOT 4376839 SOS 731577 HAS SOPS 731577 HAS SOUS 617581 HAS SOUPS 617581 WITH SCORE 618312.577
AT ITER 5964 NEW BEST:: SOT 4376893 SOS 731459 HAS SOPS 731459 HAS SOUS 617463 HAS SOUPS 617463 WITH SCORE 618194.459
AT ITER 5969 NEW BEST:: SOT 4376715 SOS 731103 HAS SOPS 731103 HAS SOUS 617107 HAS SOUPS 617107 WITH SCORE 617838.103
AT ITER 5981 NEW BEST:: SOT 4376638 SOS 730949 HAS SOPS 730949 HAS SOUS 616903 HAS SOUPS 616903 WITH SCORE 617633.949
AT ITER 5996 NEW BEST:: SOT 4376570 SOS 731085 HAS SOPS 731085 HAS SOUS 616835 HAS SOUPS 616835 WITH SCORE 617566.085
AT ITER 6023 NEW BEST:: SOT 4376556 SOS 731057 HAS SOPS 731057 HAS SOUS 616807 HAS SOUPS 616807 WITH SCORE 617538.057
AT ITER 6064 NEW BEST:: SOT 4376556 SOS 731057 HAS SOPS 731057 HAS SOUS 616779 HAS SOUPS 616779 WITH SCORE 617510.057
AT ITER 6065 NEW BEST:: SOT 4376432 SOS 730809 HAS SOPS 730809 HAS SOUS 616726 HAS SOUPS 616726 WITH SCORE 617456.809
AT ITER 6069 NEW BEST:: SOT 4375822 SOS 730282 HAS SOPS 730282 HAS SOUS 616199 HAS SOUPS 616199 WITH SCORE 616929.282
AT ITER 6082 NEW BEST:: SOT 4375550 SOS 729893 HAS SOPS 729893 HAS SOUS 615810 HAS SOUPS 615810 WITH SCORE 616539.893
AT ITER 6095 NEW BEST:: SOT 4375549 SOS 729891 HAS SOPS 729891 HAS SOUS 615808 HAS SOUPS 615808 WITH SCORE 616537.891
AT ITER 6131 NEW BEST:: SOT 4375549 SOS 729876 HAS SOPS 729876 HAS SOUS 615793 HAS SOUPS 615793 WITH SCORE 616522.876
AT ITER 6150 NEW BEST:: SOT 4375472 SOS 729722 HAS SOPS 729722 HAS SOUS 615639 HAS SOUPS 615639 WITH SCORE 616368.722
AT ITER 6152 NEW BEST:: SOT 4375440 SOS 729658 HAS SOPS 729658 HAS SOUS 615575 HAS SOUPS 615575 WITH SCORE 616304.658
AT ITER 6174 NEW BEST:: SOT 4375135 SOS 729353 HAS SOPS 729353 HAS SOUS 615270 HAS SOUPS 615270 WITH SCORE 615999.353
AT ITER 6189 NEW BEST:: SOT 4375113 SOS 729309 HAS SOPS 729309 HAS SOUS 615226 HAS SOUPS 615226 WITH SCORE 615955.309
AT ITER 6211 NEW BEST:: SOT 4375063 SOS 728919 HAS SOPS 728919 HAS SOUS 615014 HAS SOUPS 615014 WITH SCORE 615742.919
AT ITER 6223 NEW BEST:: SOT 4374974 SOS 728830 HAS SOPS 728830 HAS SOUS 614925 HAS SOUPS 614925 WITH SCORE 615653.83
AT ITER 6249 NEW BEST:: SOT 4374973 SOS 728868 HAS SOPS 728868 HAS SOUS 614923 HAS SOUPS 614923 WITH SCORE 615651.868
AT ITER 6294 NEW BEST:: SOT 4374972 SOS 728866 HAS SOPS 728866 HAS SOUS 614921 HAS SOUPS 614921 WITH SCORE 615649.866
AT ITER 6304 NEW BEST:: SOT 4374926 SOS 728774 HAS SOPS 728774 HAS SOUS 614875 HAS SOUPS 614875 WITH SCORE 615603.774
AT ITER 6334 NEW BEST:: SOT 4374915 SOS 728752 HAS SOPS 728752 HAS SOUS 614864 HAS SOUPS 614864 WITH SCORE 615592.752
AT ITER 6361 NEW BEST:: SOT 4374913 SOS 728750 HAS SOPS 728750 HAS SOUS 614860 HAS SOUPS 614860 WITH SCORE 615588.75
AT ITER 6362 NEW BEST:: SOT 4374878 SOS 728680 HAS SOPS 728680 HAS SOUS 614790 HAS SOUPS 614790 WITH SCORE 615518.68
AT ITER 6371 NEW BEST:: SOT 4374714 SOS 728802 HAS SOPS 728802 HAS SOUS 614626 HAS SOUPS 614626 WITH SCORE 615354.802
AT ITER 6381 NEW BEST:: SOT 4374714 SOS 728802 HAS SOPS 728802 HAS SOUS 614505 HAS SOUPS 614505 WITH SCORE 615233.802
AT ITER 6391 NEW BEST:: SOT 4374484 SOS 728519 HAS SOPS 728519 HAS SOUS 614151 HAS SOUPS 614151 WITH SCORE 614879.519
AT ITER 6393 NEW BEST:: SOT 4374606 SOS 728763 HAS SOPS 728763 HAS SOUS 614105 HAS SOUPS 614105 WITH SCORE 614833.763
AT ITER 6401 NEW BEST:: SOT 4374606 SOS 728763 HAS SOPS 728763 HAS SOUS 614104 HAS SOUPS 614104 WITH SCORE 614832.763
AT ITER 6403 NEW BEST:: SOT 4374593 SOS 728737 HAS SOPS 728737 HAS SOUS 614078 HAS SOUPS 614078 WITH SCORE 614806.737
AT ITER 6418 NEW BEST:: SOT 4374571 SOS 728693 HAS SOPS 728693 HAS SOUS 614033 HAS SOUPS 614033 WITH SCORE 614761.693
AT ITER 6445 NEW BEST:: SOT 4374571 SOS 728597 HAS SOPS 728597 HAS SOUS 614033 HAS SOUPS 614033 WITH SCORE 614761.597
AT ITER 6454 NEW BEST:: SOT 4374410 SOS 728275 HAS SOPS 728275 HAS SOUS 613711 HAS SOUPS 613711 WITH SCORE 614439.275
AT ITER 6457 NEW BEST:: SOT 4374410 SOS 728160 HAS SOPS 728160 HAS SOUS 613711 HAS SOUPS 613711 WITH SCORE 614439.16
AT ITER 6469 NEW BEST:: SOT 4374416 SOS 728134 HAS SOPS 728134 HAS SOUS 613686 HAS SOUPS 613686 WITH SCORE 614414.134
AT ITER 6474 NEW BEST:: SOT 4374416 SOS 728089 HAS SOPS 728089 HAS SOUS 613641 HAS SOUPS 613641 WITH SCORE 614369.089
AT ITER 6494 NEW BEST:: SOT 4374461 SOS 727835 HAS SOPS 727835 HAS SOUS 613549 HAS SOUPS 613549 WITH SCORE 614276.835
AT ITER 6537 NEW BEST:: SOT 4374363 SOS 727639 HAS SOPS 727639 HAS SOUS 613026 HAS SOUPS 613026 WITH SCORE 613753.639
AT ITER 6568 NEW BEST:: SOT 4374291 SOS 727439 HAS SOPS 727439 HAS SOUS 612882 HAS SOUPS 612882 WITH SCORE 613609.439
AT ITER 6597 NEW BEST:: SOT 4374159 SOS 727347 HAS SOPS 727347 HAS SOUS 612778 HAS SOUPS 612778 WITH SCORE 613505.347
AT ITER 6630 NEW BEST:: SOT 4374159 SOS 727058 HAS SOPS 727058 HAS SOUS 612778 HAS SOUPS 612778 WITH SCORE 613505.058
AT ITER 6669 NEW BEST:: SOT 4374127 SOS 727026 HAS SOPS 727026 HAS SOUS 612746 HAS SOUPS 612746 WITH SCORE 613473.026
AT ITER 6698 NEW BEST:: SOT 4374127 SOS 726984 HAS SOPS 726984 HAS SOUS 612704 HAS SOUPS 612704 WITH SCORE 613430.984
AT ITER 6700 NEW BEST:: SOT 4374047 SOS 726824 HAS SOPS 726824 HAS SOUS 612457 HAS SOUPS 612457 WITH SCORE 613183.824
AT ITER 6833 NEW BEST:: SOT 4373977 SOS 726824 HAS SOPS 726824 HAS SOUS 612387 HAS SOUPS 612387 WITH SCORE 613113.824
AT ITER 6849 NEW BEST:: SOT 4373977 SOS 726824 HAS SOPS 726824 HAS SOUS 612321 HAS SOUPS 612321 WITH SCORE 613047.824
AT ITER 6864 NEW BEST:: SOT 4373816 SOS 726502 HAS SOPS 726502 HAS SOUS 611999 HAS SOUPS 611999 WITH SCORE 612725.502
AT ITER 6892 NEW BEST:: SOT 4373780 SOS 714009 HAS SOPS 714009 HAS SOUS 611665 HAS SOUPS 611665 WITH SCORE 612379.009
AT ITER 6894 NEW BEST:: SOT 4373795 SOS 713745 HAS SOPS 713745 HAS SOUS 611533 HAS SOUPS 611533 WITH SCORE 612246.745
AT ITER 6921 NEW BEST:: SOT 4373503 SOS 715546 HAS SOPS 715546 HAS SOUS 611399 HAS SOUPS 611399 WITH SCORE 612114.546
AT ITER 6965 NEW BEST:: SOT 4373449 SOS 715438 HAS SOPS 715438 HAS SOUS 611345 HAS SOUPS 611345 WITH SCORE 612060.438
AT ITER 6983 NEW BEST:: SOT 4373397 SOS 715426 HAS SOPS 715426 HAS SOUS 611293 HAS SOUPS 611293 WITH SCORE 612008.426
AT ITER 6991 NEW BEST:: SOT 4373397 SOS 715404 HAS SOPS 715404 HAS SOUS 611293 HAS SOUPS 611293 WITH SCORE 612008.404
AT ITER 7002 NEW BEST:: SOT 4373327 SOS 715264 HAS SOPS 715264 HAS SOUS 611140 HAS SOUPS 611140 WITH SCORE 611855.264
AT ITER 7043 NEW BEST:: SOT 4373370 SOS 715080 HAS SOPS 715080 HAS SOUS 611090 HAS SOUPS 611090 WITH SCORE 611805.08
AT ITER 7058 NEW BEST:: SOT 4373102 SOS 714544 HAS SOPS 714544 HAS SOUS 610554 HAS SOUPS 610554 WITH SCORE 611268.544
AT ITER 7124 NEW BEST:: SOT 4373065 SOS 714144 HAS SOPS 714144 HAS SOUS 610393 HAS SOUPS 610393 WITH SCORE 611107.144
AT ITER 7171 NEW BEST:: SOT 4372973 SOS 713868 HAS SOPS 713868 HAS SOUS 610209 HAS SOUPS 610209 WITH SCORE 610922.868
AT ITER 7187 NEW BEST:: SOT 4372973 SOS 713818 HAS SOPS 713818 HAS SOUS 610209 HAS SOUPS 610209 WITH SCORE 610922.818
AT ITER 7197 NEW BEST:: SOT 4372825 SOS 713670 HAS SOPS 713670 HAS SOUS 610061 HAS SOUPS 610061 WITH SCORE 610774.67
AT ITER 7199 NEW BEST:: SOT 4372643 SOS 713555 HAS SOPS 713555 HAS SOUS 609946 HAS SOUPS 609946 WITH SCORE 610659.555
AT ITER 7216 NEW BEST:: SOT 4372608 SOS 713203 HAS SOPS 713203 HAS SOUS 609877 HAS SOUPS 609877 WITH SCORE 610590.203
AT ITER 7226 NEW BEST:: SOT 4372531 SOS 713049 HAS SOPS 713049 HAS SOUS 609723 HAS SOUPS 609723 WITH SCORE 610436.049
AT ITER 7242 NEW BEST:: SOT 4372519 SOS 713025 HAS SOPS 713025 HAS SOUS 609711 HAS SOUPS 609711 WITH SCORE 610424.025
AT ITER 7247 NEW BEST:: SOT 4372504 SOS 712995 HAS SOPS 712995 HAS SOUS 609681 HAS SOUPS 609681 WITH SCORE 610393.995
AT ITER 7257 NEW BEST:: SOT 4372529 SOS 712925 HAS SOPS 712925 HAS SOUS 609673 HAS SOUPS 609673 WITH SCORE 610385.925
AT ITER 7268 NEW BEST:: SOT 4372524 SOS 712915 HAS SOPS 712915 HAS SOUS 609663 HAS SOUPS 609663 WITH SCORE 610375.915
AT ITER 7272 NEW BEST:: SOT 4372449 SOS 712765 HAS SOPS 712765 HAS SOUS 609513 HAS SOUPS 609513 WITH SCORE 610225.765
AT ITER 7279 NEW BEST:: SOT 4372285 SOS 712437 HAS SOPS 712437 HAS SOUS 609350 HAS SOUPS 609350 WITH SCORE 610062.437
AT ITER 7299 NEW BEST:: SOT 4372240 SOS 712392 HAS SOPS 712392 HAS SOUS 609305 HAS SOUPS 609305 WITH SCORE 610017.392
AT ITER 7300 NEW BEST:: SOT 4371142 SOS 725946 HAS SOPS 725946 HAS SOUS 608582 HAS SOUPS 608582 WITH SCORE 609307.946
AT ITER 7303 NEW BEST:: SOT 4370982 SOS 725626 HAS SOPS 725626 HAS SOUS 608262 HAS SOUPS 608262 WITH SCORE 608987.626
AT ITER 7310 NEW BEST:: SOT 4370952 SOS 725566 HAS SOPS 725566 HAS SOUS 608232 HAS SOUPS 608232 WITH SCORE 608957.566
AT ITER 7321 NEW BEST:: SOT 4370888 SOS 725358 HAS SOPS 725358 HAS SOUS 608067 HAS SOUPS 608067 WITH SCORE 608792.358
AT ITER 7373 NEW BEST:: SOT 4370771 SOS 725124 HAS SOPS 725124 HAS SOUS 607833 HAS SOUPS 607833 WITH SCORE 608558.124
AT ITER 7399 NEW BEST:: SOT 4370743 SOS 725068 HAS SOPS 725068 HAS SOUS 607777 HAS SOUPS 607777 WITH SCORE 608502.068
AT ITER 7436 NEW BEST:: SOT 4370519 SOS 724987 HAS SOPS 724987 HAS SOUS 607532 HAS SOUPS 607532 WITH SCORE 608256.987
AT ITER 7466 NEW BEST:: SOT 4370519 SOS 724987 HAS SOPS 724987 HAS SOUS 607522 HAS SOUPS 607522 WITH SCORE 608246.987
AT ITER 7482 NEW BEST:: SOT 4370518 SOS 724985 HAS SOPS 724985 HAS SOUS 607520 HAS SOUPS 607520 WITH SCORE 608244.985
AT ITER 7493 NEW BEST:: SOT 4370429 SOS 724922 HAS SOPS 724922 HAS SOUS 607454 HAS SOUPS 607454 WITH SCORE 608178.922
AT ITER 7518 NEW BEST:: SOT 4370379 SOS 724822 HAS SOPS 724822 HAS SOUS 607364 HAS SOUPS 607364 WITH SCORE 608088.822
AT ITER 7560 NEW BEST:: SOT 4370365 SOS 724794 HAS SOPS 724794 HAS SOUS 607350 HAS SOUPS 607350 WITH SCORE 608074.794
AT ITER 7566 NEW BEST:: SOT 4370201 SOS 724466 HAS SOPS 724466 HAS SOUS 607022 HAS SOUPS 607022 WITH SCORE 607746.466
AT ITER 7568 NEW BEST:: SOT 4370201 SOS 724466 HAS SOPS 724466 HAS SOUS 606840 HAS SOUPS 606840 WITH SCORE 607564.466
AT ITER 7573 NEW BEST:: SOT 4370109 SOS 724466 HAS SOPS 724466 HAS SOUS 606748 HAS SOUPS 606748 WITH SCORE 607472.466
AT ITER 7577 NEW BEST:: SOT 4370101 SOS 724473 HAS SOPS 724473 HAS SOUS 606727 HAS SOUPS 606727 WITH SCORE 607451.473
AT ITER 7587 NEW BEST:: SOT 4369979 SOS 724351 HAS SOPS 724351 HAS SOUS 606605 HAS SOUPS 606605 WITH SCORE 607329.351
AT ITER 7588 NEW BEST:: SOT 4369939 SOS 724271 HAS SOPS 724271 HAS SOUS 606525 HAS SOUPS 606525 WITH SCORE 607249.271
AT ITER 7652 NEW BEST:: SOT 4369961 SOS 724009 HAS SOPS 724009 HAS SOUS 606504 HAS SOUPS 606504 WITH SCORE 607228.009
AT ITER 7668 NEW BEST:: SOT 4370155 SOS 723570 HAS SOPS 723570 HAS SOUS 606459 HAS SOUPS 606459 WITH SCORE 607182.57
AT ITER 7677 NEW BEST:: SOT 4370274 SOS 723482 HAS SOPS 723482 HAS SOUS 606429 HAS SOUPS 606429 WITH SCORE 607152.482
AT ITER 7696 NEW BEST:: SOT 4370012 SOS 723482 HAS SOPS 723482 HAS SOUS 606298 HAS SOUPS 606298 WITH SCORE 607021.482
AT ITER 7698 NEW BEST:: SOT 4370000 SOS 723458 HAS SOPS 723458 HAS SOUS 606274 HAS SOUPS 606274 WITH SCORE 606997.458
AT ITER 7700 NEW BEST:: SOT 4370023 SOS 723504 HAS SOPS 723504 HAS SOUS 606264 HAS SOUPS 606264 WITH SCORE 606987.504
AT ITER 7751 NEW BEST:: SOT 4369958 SOS 723374 HAS SOPS 723374 HAS SOUS 606134 HAS SOUPS 606134 WITH SCORE 606857.374
AT ITER 7755 NEW BEST:: SOT 4369946 SOS 723360 HAS SOPS 723360 HAS SOUS 606120 HAS SOUPS 606120 WITH SCORE 606843.36
AT ITER 7785 NEW BEST:: SOT 4370488 SOS 723591 HAS SOPS 723591 HAS SOUS 606054 HAS SOUPS 606054 WITH SCORE 606777.591
AT ITER 7798 NEW BEST:: SOT 4369376 SOS 723881 HAS SOPS 723881 HAS SOUS 605334 HAS SOUPS 605334 WITH SCORE 606057.881
AT ITER 7799 NEW BEST:: SOT 4369461 SOS 724051 HAS SOPS 724051 HAS SOUS 605292 HAS SOUPS 605292 WITH SCORE 606016.051
AT ITER 7801 NEW BEST:: SOT 4368155 SOS 722734 HAS SOPS 722734 HAS SOUS 603986 HAS SOUPS 603986 WITH SCORE 604708.734
AT ITER 7811 NEW BEST:: SOT 4368058 SOS 722800 HAS SOPS 722800 HAS SOUS 603889 HAS SOUPS 603889 WITH SCORE 604611.8
AT ITER 7813 NEW BEST:: SOT 4368065 SOS 722473 HAS SOPS 722473 HAS SOUS 603884 HAS SOUPS 603884 WITH SCORE 604606.473
AT ITER 7864 NEW BEST:: SOT 4367536 SOS 720695 HAS SOPS 720695 HAS SOUS 603474 HAS SOUPS 603474 WITH SCORE 604194.695
AT ITER 7869 NEW BEST:: SOT 4367446 SOS 720605 HAS SOPS 720605 HAS SOUS 603384 HAS SOUPS 603384 WITH SCORE 604104.605
AT ITER 7884 NEW BEST:: SOT 4367192 SOS 720605 HAS SOPS 720605 HAS SOUS 603257 HAS SOUPS 603257 WITH SCORE 603977.605
AT ITER 7887 NEW BEST:: SOT 4367155 SOS 720531 HAS SOPS 720531 HAS SOUS 603183 HAS SOUPS 603183 WITH SCORE 603903.531
AT ITER 7981 NEW BEST:: SOT 4367125 SOS 720471 HAS SOPS 720471 HAS SOUS 602998 HAS SOUPS 602998 WITH SCORE 603718.471
AT ITER 7997 NEW BEST:: SOT 4367118 SOS 720457 HAS SOPS 720457 HAS SOUS 602984 HAS SOUPS 602984 WITH SCORE 603704.457
AT ITER 8053 NEW BEST:: SOT 4367086 SOS 720393 HAS SOPS 720393 HAS SOUS 602920 HAS SOUPS 602920 WITH SCORE 603640.393
AT ITER 8070 NEW BEST:: SOT 4367086 SOS 720327 HAS SOPS 720327 HAS SOUS 602920 HAS SOUPS 602920 WITH SCORE 603640.327
AT ITER 8127 NEW BEST:: SOT 4367086 SOS 720109 HAS SOPS 720109 HAS SOUS 602920 HAS SOUPS 602920 WITH SCORE 603640.109
AT ITER 8154 NEW BEST:: SOT 4366964 SOS 719987 HAS SOPS 719987 HAS SOUS 602798 HAS SOUPS 602798 WITH SCORE 603517.987
AT ITER 8161 NEW BEST:: SOT 4366846 SOS 719751 HAS SOPS 719751 HAS SOUS 602707 HAS SOUPS 602707 WITH SCORE 603426.751
AT ITER 8171 NEW BEST:: SOT 4366818 SOS 719695 HAS SOPS 719695 HAS SOUS 602663 HAS SOUPS 602663 WITH SCORE 603382.695
AT ITER 8242 NEW BEST:: SOT 4366818 SOS 719540 HAS SOPS 719540 HAS SOUS 602508 HAS SOUPS 602508 WITH SCORE 603227.54
AT ITER 8247 NEW BEST:: SOT 4366818 SOS 719540 HAS SOPS 719540 HAS SOUS 602458 HAS SOUPS 602458 WITH SCORE 603177.54
AT ITER 8287 NEW BEST:: SOT 4366841 SOS 719586 HAS SOPS 719586 HAS SOUS 602456 HAS SOUPS 602456 WITH SCORE 603175.586
AT ITER 8298 NEW BEST:: SOT 4366838 SOS 719580 HAS SOPS 719580 HAS SOUS 602420 HAS SOUPS 602420 WITH SCORE 603139.58
AT ITER 8329 NEW BEST:: SOT 4366753 SOS 719410 HAS SOPS 719410 HAS SOUS 602335 HAS SOUPS 602335 WITH SCORE 603054.41
AT ITER 8357 NEW BEST:: SOT 4366711 SOS 719326 HAS SOPS 719326 HAS SOUS 602251 HAS SOUPS 602251 WITH SCORE 602970.326
AT ITER 8384 NEW BEST:: SOT 4366669 SOS 719200 HAS SOPS 719200 HAS SOUS 602167 HAS SOUPS 602167 WITH SCORE 602886.2
AT ITER 8397 NEW BEST:: SOT 4366666 SOS 718989 HAS SOPS 718989 HAS SOUS 602091 HAS SOUPS 602091 WITH SCORE 602809.989
AT ITER 8400 NEW BEST:: SOT 4366653 SOS 718963 HAS SOPS 718963 HAS SOUS 602078 HAS SOUPS 602078 WITH SCORE 602796.963
AT ITER 8402 NEW BEST:: SOT 4366612 SOS 718900 HAS SOPS 718900 HAS SOUS 601996 HAS SOUPS 601996 WITH SCORE 602714.9
AT ITER 8403 NEW BEST:: SOT 4366668 SOS 719012 HAS SOPS 719012 HAS SOUS 601567 HAS SOUPS 601567 WITH SCORE 602286.012
AT ITER 8420 NEW BEST:: SOT 4366527 SOS 718730 HAS SOPS 718730 HAS SOUS 601285 HAS SOUPS 601285 WITH SCORE 602003.73
AT ITER 8443 NEW BEST:: SOT 4366563 SOS 718669 HAS SOPS 718669 HAS SOUS 601268 HAS SOUPS 601268 WITH SCORE 601986.669
AT ITER 8495 NEW BEST:: SOT 4366396 SOS 718335 HAS SOPS 718335 HAS SOUS 600934 HAS SOUPS 600934 WITH SCORE 601652.335
AT ITER 8564 NEW BEST:: SOT 4366457 SOS 718457 HAS SOPS 718457 HAS SOUS 600920 HAS SOUPS 600920 WITH SCORE 601638.457
AT ITER 8572 NEW BEST:: SOT 4366375 SOS 718293 HAS SOPS 718293 HAS SOUS 600756 HAS SOUPS 600756 WITH SCORE 601474.293
AT ITER 8588 NEW BEST:: SOT 4366276 SOS 717996 HAS SOPS 717996 HAS SOUS 600558 HAS SOUPS 600558 WITH SCORE 601275.996
AT ITER 8606 NEW BEST:: SOT 4366182 SOS 717808 HAS SOPS 717808 HAS SOUS 600519 HAS SOUPS 600519 WITH SCORE 601236.808
AT ITER 8609 NEW BEST:: SOT 4366182 SOS 717808 HAS SOPS 717808 HAS SOUS 600518 HAS SOUPS 600518 WITH SCORE 601235.808
AT ITER 8631 NEW BEST:: SOT 4365959 SOS 717585 HAS SOPS 717585 HAS SOUS 600295 HAS SOUPS 600295 WITH SCORE 601012.585
AT ITER 8679 NEW BEST:: SOT 4365930 SOS 717527 HAS SOPS 717527 HAS SOUS 600266 HAS SOUPS 600266 WITH SCORE 600983.527
AT ITER 8700 NEW BEST:: SOT 4365904 SOS 717449 HAS SOPS 717449 HAS SOUS 600214 HAS SOUPS 600214 WITH SCORE 600931.449
AT ITER 8726 NEW BEST:: SOT 4365870 SOS 717415 HAS SOPS 717415 HAS SOUS 600214 HAS SOUPS 600214 WITH SCORE 600931.415
AT ITER 8779 NEW BEST:: SOT 4365870 SOS 717402 HAS SOPS 717402 HAS SOUS 600201 HAS SOUPS 600201 WITH SCORE 600918.402
AT ITER 8781 NEW BEST:: SOT 4366036 SOS 717568 HAS SOPS 717568 HAS SOUS 600189 HAS SOUPS 600189 WITH SCORE 600906.568
AT ITER 8798 NEW BEST:: SOT 4365939 SOS 704163 HAS SOPS 704163 HAS SOUS 599980 HAS SOUPS 599980 WITH SCORE 600684.163
AT ITER 8816 NEW BEST:: SOT 4364592 SOS 703737 HAS SOPS 703737 HAS SOUS 598915 HAS SOUPS 598915 WITH SCORE 599618.737
AT ITER 8855 NEW BEST:: SOT 4364470 SOS 703241 HAS SOPS 703241 HAS SOUS 598541 HAS SOUPS 598541 WITH SCORE 599244.241
AT ITER 8857 NEW BEST:: SOT 4364470 SOS 703164 HAS SOPS 703164 HAS SOUS 598464 HAS SOUPS 598464 WITH SCORE 599167.164
AT ITER 8866 NEW BEST:: SOT 4364469 SOS 703057 HAS SOPS 703057 HAS SOUS 598462 HAS SOUPS 598462 WITH SCORE 599165.057
AT ITER 8877 NEW BEST:: SOT 4364574 SOS 703267 HAS SOPS 703267 HAS SOUS 598459 HAS SOUPS 598459 WITH SCORE 599162.267
AT ITER 8893 NEW BEST:: SOT 4364501 SOS 703121 HAS SOPS 703121 HAS SOUS 598313 HAS SOUPS 598313 WITH SCORE 599016.121
AT ITER 8943 NEW BEST:: SOT 4364501 SOS 703092 HAS SOPS 703092 HAS SOUS 598284 HAS SOUPS 598284 WITH SCORE 598987.092
AT ITER 8954 NEW BEST:: SOT 4364501 SOS 703050 HAS SOPS 703050 HAS SOUS 598284 HAS SOUPS 598284 WITH SCORE 598987.05
AT ITER 8956 NEW BEST:: SOT 4364516 SOS 702690 HAS SOPS 702690 HAS SOUS 597924 HAS SOUPS 597924 WITH SCORE 598626.69
AT ITER 9025 NEW BEST:: SOT 4364460 SOS 702792 HAS SOPS 702792 HAS SOUS 597919 HAS SOUPS 597919 WITH SCORE 598621.792
AT ITER 9033 NEW BEST:: SOT 4364555 SOS 702982 HAS SOPS 702982 HAS SOUS 597672 HAS SOUPS 597672 WITH SCORE 598374.982
AT ITER 9073 NEW BEST:: SOT 4364555 SOS 702825 HAS SOPS 702825 HAS SOUS 597515 HAS SOUPS 597515 WITH SCORE 598217.825
AT ITER 9083 NEW BEST:: SOT 4364555 SOS 702825 HAS SOPS 702825 HAS SOUS 597466 HAS SOUPS 597466 WITH SCORE 598168.825
AT ITER 9098 NEW BEST:: SOT 4364598 SOS 702623 HAS SOPS 702623 HAS SOUS 597418 HAS SOUPS 597418 WITH SCORE 598120.623
AT ITER 9113 NEW BEST:: SOT 4364468 SOS 702696 HAS SOPS 702696 HAS SOUS 597335 HAS SOUPS 597335 WITH SCORE 598037.696
AT ITER 9117 NEW BEST:: SOT 4364425 SOS 702526 HAS SOPS 702526 HAS SOUS 597312 HAS SOUPS 597312 WITH SCORE 598014.526
AT ITER 9167 NEW BEST:: SOT 4364390 SOS 702456 HAS SOPS 702456 HAS SOUS 597222 HAS SOUPS 597222 WITH SCORE 597924.456
AT ITER 9179 NEW BEST:: SOT 4364331 SOS 702338 HAS SOPS 702338 HAS SOUS 597104 HAS SOUPS 597104 WITH SCORE 597806.338
AT ITER 9210 NEW BEST:: SOT 4364033 SOS 701742 HAS SOPS 701742 HAS SOUS 596508 HAS SOUPS 596508 WITH SCORE 597209.742
AT ITER 9221 NEW BEST:: SOT 4364028 SOS 701732 HAS SOPS 701732 HAS SOUS 596503 HAS SOUPS 596503 WITH SCORE 597204.732
AT ITER 9244 NEW BEST:: SOT 4363897 SOS 701784 HAS SOPS 701784 HAS SOUS 596241 HAS SOUPS 596241 WITH SCORE 596942.784
AT ITER 9252 NEW BEST:: SOT 4363843 SOS 701676 HAS SOPS 701676 HAS SOUS 596133 HAS SOUPS 596133 WITH SCORE 596834.676
AT ITER 9253 NEW BEST:: SOT 4363729 SOS 701448 HAS SOPS 701448 HAS SOUS 595949 HAS SOUPS 595949 WITH SCORE 596650.448
AT ITER 9300 NEW BEST:: SOT 4363713 SOS 701166 HAS SOPS 701166 HAS SOUS 595683 HAS SOUPS 595683 WITH SCORE 596384.166
AT ITER 9331 NEW BEST:: SOT 4363590 SOS 700920 HAS SOPS 700920 HAS SOUS 595437 HAS SOUPS 595437 WITH SCORE 596137.92
AT ITER 9355 NEW BEST:: SOT 4363512 SOS 700764 HAS SOPS 700764 HAS SOUS 595281 HAS SOUPS 595281 WITH SCORE 595981.764
AT ITER 9377 NEW BEST:: SOT 4363512 SOS 700616 HAS SOPS 700616 HAS SOUS 595281 HAS SOUPS 595281 WITH SCORE 595981.616
AT ITER 9415 NEW BEST:: SOT 4363276 SOS 700144 HAS SOPS 700144 HAS SOUS 595052 HAS SOUPS 595052 WITH SCORE 595752.144
AT ITER 9444 NEW BEST:: SOT 4363228 SOS 700120 HAS SOPS 700120 HAS SOUS 594989 HAS SOUPS 594989 WITH SCORE 595689.12
AT ITER 9472 NEW BEST:: SOT 4363171 SOS 700006 HAS SOPS 700006 HAS SOUS 594875 HAS SOUPS 594875 WITH SCORE 595575.006
AT ITER 9475 NEW BEST:: SOT 4363171 SOS 699732 HAS SOPS 699732 HAS SOUS 594738 HAS SOUPS 594738 WITH SCORE 595437.732
AT ITER 9505 NEW BEST:: SOT 4363152 SOS 699713 HAS SOPS 699713 HAS SOUS 594719 HAS SOUPS 594719 WITH SCORE 595418.713
AT ITER 9509 NEW BEST:: SOT 4363078 SOS 699717 HAS SOPS 699717 HAS SOUS 594647 HAS SOUPS 594647 WITH SCORE 595346.717
AT ITER 9513 NEW BEST:: SOT 4363077 SOS 699550 HAS SOPS 699550 HAS SOUS 594645 HAS SOUPS 594645 WITH SCORE 595344.55
AT ITER 9548 NEW BEST:: SOT 4363391 SOS 699394 HAS SOPS 699394 HAS SOUS 594507 HAS SOUPS 594507 WITH SCORE 595206.394
AT ITER 9550 NEW BEST:: SOT 4363072 SOS 698756 HAS SOPS 698756 HAS SOUS 593869 HAS SOUPS 593869 WITH SCORE 594567.756
AT ITER 9555 NEW BEST:: SOT 4362907 SOS 698426 HAS SOPS 698426 HAS SOUS 593704 HAS SOUPS 593704 WITH SCORE 594402.426
AT ITER 9570 NEW BEST:: SOT 4362742 SOS 698096 HAS SOPS 698096 HAS SOUS 593374 HAS SOUPS 593374 WITH SCORE 594072.096
AT ITER 9572 NEW BEST:: SOT 4362651 SOS 697914 HAS SOPS 697914 HAS SOUS 593192 HAS SOUPS 593192 WITH SCORE 593889.914
AT ITER 9593 NEW BEST:: SOT 4362605 SOS 697868 HAS SOPS 697868 HAS SOUS 593146 HAS SOUPS 593146 WITH SCORE 593843.868
AT ITER 9595 NEW BEST:: SOT 4362567 SOS 697708 HAS SOPS 697708 HAS SOUS 593070 HAS SOUPS 593070 WITH SCORE 593767.708
AT ITER 9621 NEW BEST:: SOT 4362368 SOS 697310 HAS SOPS 697310 HAS SOUS 593032 HAS SOUPS 593032 WITH SCORE 593729.31
AT ITER 9626 NEW BEST:: SOT 4362248 SOS 697070 HAS SOPS 697070 HAS SOUS 592792 HAS SOUPS 592792 WITH SCORE 593489.07
AT ITER 9643 NEW BEST:: SOT 4362087 SOS 697296 HAS SOPS 697296 HAS SOUS 592768 HAS SOUPS 592768 WITH SCORE 593465.296
AT ITER 9665 NEW BEST:: SOT 4362036 SOS 697244 HAS SOPS 697244 HAS SOUS 592716 HAS SOUPS 592716 WITH SCORE 593413.244
AT ITER 9672 NEW BEST:: SOT 4361678 SOS 696528 HAS SOPS 696528 HAS SOUS 592152 HAS SOUPS 592152 WITH SCORE 592848.528
AT ITER 9769 NEW BEST:: SOT 4361678 SOS 696526 HAS SOPS 696526 HAS SOUS 592150 HAS SOUPS 592150 WITH SCORE 592846.526
AT ITER 9787 NEW BEST:: SOT 4361606 SOS 696526 HAS SOPS 696526 HAS SOUS 592114 HAS SOUPS 592114 WITH SCORE 592810.526
AT ITER 9808 NEW BEST:: SOT 4361551 SOS 696416 HAS SOPS 696416 HAS SOUS 592004 HAS SOUPS 592004 WITH SCORE 592700.416
AT ITER 9820 NEW BEST:: SOT 4361465 SOS 696287 HAS SOPS 696287 HAS SOUS 591875 HAS SOUPS 591875 WITH SCORE 592571.287
AT ITER 9841 NEW BEST:: SOT 4360964 SOS 696080 HAS SOPS 696080 HAS SOUS 591374 HAS SOUPS 591374 WITH SCORE 592070.08
AT ITER 9888 NEW BEST:: SOT 4360805 SOS 695762 HAS SOPS 695762 HAS SOUS 591215 HAS SOUPS 591215 WITH SCORE 591910.762
AT ITER 9898 NEW BEST:: SOT 4360814 SOS 695780 HAS SOPS 695780 HAS SOUS 591193 HAS SOUPS 591193 WITH SCORE 591888.78
AT ITER 9935 NEW BEST:: SOT 4360715 SOS 695582 HAS SOPS 695582 HAS SOUS 590995 HAS SOUPS 590995 WITH SCORE 591690.582
AT ITER 9994 NEW BEST:: SOT 4360714 SOS 695580 HAS SOPS 695580 HAS SOUS 590993 HAS SOUPS 590993 WITH SCORE 591688.58
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 11754488 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16153540 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="CloudReconfiguration-PT-308"
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 CloudReconfiguration-PT-308, 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 r099-tall-167814471900064"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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