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-167814472000128.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-316, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472000128
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.5K Feb 25 11:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 25 11:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 25 11:49 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K 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.0K Feb 25 15:47 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 15:47 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:47 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:47 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 25 11:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 133K Feb 25 11:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.3K 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 1678226154442

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-316
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running CloudReconfiguration (PT), instance 316
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 4449380 SOS 709814 HAS SOPS 709814 HAS SOUS 687976 HAS SOUPS 687976 WITH SCORE 688685.814
AT ITER 1 NEW BEST:: SOT 4449380 SOS 709770 HAS SOPS 709770 HAS SOUS 687932 HAS SOUPS 687932 WITH SCORE 688641.77
AT ITER 19 NEW BEST:: SOT 4449015 SOS 710513 HAS SOPS 710513 HAS SOUS 687825 HAS SOUPS 687825 WITH SCORE 688535.513
AT ITER 22 NEW BEST:: SOT 4448555 SOS 710679 HAS SOPS 710679 HAS SOUS 687727 HAS SOUPS 687727 WITH SCORE 688437.679
AT ITER 29 NEW BEST:: SOT 4448555 SOS 710582 HAS SOPS 710582 HAS SOUS 687727 HAS SOUPS 687727 WITH SCORE 688437.582
AT ITER 35 NEW BEST:: SOT 4448335 SOS 710387 HAS SOPS 710387 HAS SOUS 687519 HAS SOUPS 687519 WITH SCORE 688229.387
AT ITER 38 NEW BEST:: SOT 4448145 SOS 710205 HAS SOPS 710205 HAS SOUS 687333 HAS SOUPS 687333 WITH SCORE 688043.205
AT ITER 55 NEW BEST:: SOT 4448210 SOS 710335 HAS SOPS 710335 HAS SOUS 687198 HAS SOUPS 687198 WITH SCORE 687908.335
AT ITER 66 NEW BEST:: SOT 4448113 SOS 710140 HAS SOPS 710140 HAS SOUS 687003 HAS SOUPS 687003 WITH SCORE 687713.14
AT ITER 96 NEW BEST:: SOT 4447853 SOS 709620 HAS SOPS 709620 HAS SOUS 686483 HAS SOUPS 686483 WITH SCORE 687192.62
AT ITER 113 NEW BEST:: SOT 4447858 SOS 709630 HAS SOPS 709630 HAS SOUS 686184 HAS SOUPS 686184 WITH SCORE 686893.63
AT ITER 162 NEW BEST:: SOT 4447816 SOS 709605 HAS SOPS 709605 HAS SOUS 686159 HAS SOUPS 686159 WITH SCORE 686868.605
AT ITER 196 NEW BEST:: SOT 4447631 SOS 709485 HAS SOPS 709485 HAS SOUS 686024 HAS SOUPS 686024 WITH SCORE 686733.485
AT ITER 210 NEW BEST:: SOT 4447362 SOS 708947 HAS SOPS 708947 HAS SOUS 685486 HAS SOUPS 685486 WITH SCORE 686194.947
AT ITER 229 NEW BEST:: SOT 4447360 SOS 708914 HAS SOPS 708914 HAS SOUS 685484 HAS SOUPS 685484 WITH SCORE 686192.914
AT ITER 231 NEW BEST:: SOT 4445660 SOS 707222 HAS SOPS 707222 HAS SOUS 683801 HAS SOUPS 683801 WITH SCORE 684508.222
AT ITER 239 NEW BEST:: SOT 4445659 SOS 707220 HAS SOPS 707220 HAS SOUS 683799 HAS SOUPS 683799 WITH SCORE 684506.22
AT ITER 247 NEW BEST:: SOT 4445659 SOS 707220 HAS SOPS 707220 HAS SOUS 683756 HAS SOUPS 683756 WITH SCORE 684463.22
AT ITER 254 NEW BEST:: SOT 4445658 SOS 707174 HAS SOPS 707174 HAS SOUS 683754 HAS SOUPS 683754 WITH SCORE 684461.174
AT ITER 289 NEW BEST:: SOT 4445399 SOS 706656 HAS SOPS 706656 HAS SOUS 683236 HAS SOUPS 683236 WITH SCORE 683942.656
AT ITER 293 NEW BEST:: SOT 4445332 SOS 706610 HAS SOPS 706610 HAS SOUS 683190 HAS SOUPS 683190 WITH SCORE 683896.61
AT ITER 295 NEW BEST:: SOT 4445149 SOS 706003 HAS SOPS 706003 HAS SOUS 682766 HAS SOUPS 682766 WITH SCORE 683472.003
AT ITER 299 NEW BEST:: SOT 4444418 SOS 707544 HAS SOPS 707544 HAS SOUS 682173 HAS SOUPS 682173 WITH SCORE 682880.544
AT ITER 311 NEW BEST:: SOT 4444470 SOS 707569 HAS SOPS 707569 HAS SOUS 682146 HAS SOUPS 682146 WITH SCORE 682853.569
AT ITER 313 NEW BEST:: SOT 4444527 SOS 707625 HAS SOPS 707625 HAS SOUS 682145 HAS SOUPS 682145 WITH SCORE 682852.625
AT ITER 315 NEW BEST:: SOT 4444527 SOS 707625 HAS SOPS 707625 HAS SOUS 682144 HAS SOUPS 682144 WITH SCORE 682851.625
AT ITER 321 NEW BEST:: SOT 4444362 SOS 707481 HAS SOPS 707481 HAS SOUS 682000 HAS SOUPS 682000 WITH SCORE 682707.481
AT ITER 328 NEW BEST:: SOT 4444362 SOS 707480 HAS SOPS 707480 HAS SOUS 681999 HAS SOUPS 681999 WITH SCORE 682706.48
AT ITER 336 NEW BEST:: SOT 4444350 SOS 707456 HAS SOPS 707456 HAS SOUS 681963 HAS SOUPS 681963 WITH SCORE 682670.456
AT ITER 341 NEW BEST:: SOT 4444457 SOS 707670 HAS SOPS 707670 HAS SOUS 681816 HAS SOUPS 681816 WITH SCORE 682523.67
AT ITER 354 NEW BEST:: SOT 4444681 SOS 707642 HAS SOPS 707642 HAS SOUS 681756 HAS SOUPS 681756 WITH SCORE 682463.642
AT ITER 367 NEW BEST:: SOT 4444681 SOS 707641 HAS SOPS 707641 HAS SOUS 681755 HAS SOUPS 681755 WITH SCORE 682462.641
AT ITER 370 NEW BEST:: SOT 4444594 SOS 707467 HAS SOPS 707467 HAS SOUS 681581 HAS SOUPS 681581 WITH SCORE 682288.467
AT ITER 413 NEW BEST:: SOT 4444282 SOS 707155 HAS SOPS 707155 HAS SOUS 681269 HAS SOUPS 681269 WITH SCORE 681976.155
AT ITER 450 NEW BEST:: SOT 4444039 SOS 706669 HAS SOPS 706669 HAS SOUS 680611 HAS SOUPS 680611 WITH SCORE 681317.669
AT ITER 457 NEW BEST:: SOT 4443990 SOS 706625 HAS SOPS 706625 HAS SOUS 680567 HAS SOUPS 680567 WITH SCORE 681273.625
AT ITER 481 NEW BEST:: SOT 4443757 SOS 706159 HAS SOPS 706159 HAS SOUS 680101 HAS SOUPS 680101 WITH SCORE 680807.159
AT ITER 523 NEW BEST:: SOT 4443570 SOS 706879 HAS SOPS 706879 HAS SOUS 679611 HAS SOUPS 679611 WITH SCORE 680317.879
AT ITER 542 NEW BEST:: SOT 4443570 SOS 706878 HAS SOPS 706878 HAS SOUS 679610 HAS SOUPS 679610 WITH SCORE 680316.878
AT ITER 567 NEW BEST:: SOT 4443570 SOS 706830 HAS SOPS 706830 HAS SOUS 679562 HAS SOUPS 679562 WITH SCORE 680268.83
AT ITER 586 NEW BEST:: SOT 4443434 SOS 706422 HAS SOPS 706422 HAS SOUS 679290 HAS SOUPS 679290 WITH SCORE 679996.422
AT ITER 599 NEW BEST:: SOT 4443434 SOS 706422 HAS SOPS 706422 HAS SOUS 679289 HAS SOUPS 679289 WITH SCORE 679995.422
AT ITER 603 NEW BEST:: SOT 4443434 SOS 706213 HAS SOPS 706213 HAS SOUS 679080 HAS SOUPS 679080 WITH SCORE 679786.213
AT ITER 637 NEW BEST:: SOT 4443433 SOS 706211 HAS SOPS 706211 HAS SOUS 679078 HAS SOUPS 679078 WITH SCORE 679784.211
AT ITER 643 NEW BEST:: SOT 4443189 SOS 705967 HAS SOPS 705967 HAS SOUS 678834 HAS SOUPS 678834 WITH SCORE 679539.967
AT ITER 653 NEW BEST:: SOT 4442979 SOS 705828 HAS SOPS 705828 HAS SOUS 678695 HAS SOUPS 678695 WITH SCORE 679400.828
AT ITER 676 NEW BEST:: SOT 4442995 SOS 705640 HAS SOPS 705640 HAS SOUS 678508 HAS SOUPS 678508 WITH SCORE 679213.64
AT ITER 727 NEW BEST:: SOT 4442833 SOS 705478 HAS SOPS 705478 HAS SOUS 678346 HAS SOUPS 678346 WITH SCORE 679051.478
AT ITER 764 NEW BEST:: SOT 4442833 SOS 705263 HAS SOPS 705263 HAS SOUS 678131 HAS SOUPS 678131 WITH SCORE 678836.263
AT ITER 797 NEW BEST:: SOT 4442703 SOS 705133 HAS SOPS 705133 HAS SOUS 678001 HAS SOUPS 678001 WITH SCORE 678706.133
AT ITER 838 NEW BEST:: SOT 4442481 SOS 704689 HAS SOPS 704689 HAS SOUS 677557 HAS SOUPS 677557 WITH SCORE 678261.689
AT ITER 840 NEW BEST:: SOT 4442460 SOS 704647 HAS SOPS 704647 HAS SOUS 677515 HAS SOUPS 677515 WITH SCORE 678219.647
AT ITER 873 NEW BEST:: SOT 4442283 SOS 704470 HAS SOPS 704470 HAS SOUS 677338 HAS SOUPS 677338 WITH SCORE 678042.47
AT ITER 875 NEW BEST:: SOT 4442078 SOS 704520 HAS SOPS 704520 HAS SOUS 677219 HAS SOUPS 677219 WITH SCORE 677923.52
AT ITER 892 NEW BEST:: SOT 4441903 SOS 704344 HAS SOPS 704344 HAS SOUS 677043 HAS SOUPS 677043 WITH SCORE 677747.344
AT ITER 921 NEW BEST:: SOT 4441663 SOS 704104 HAS SOPS 704104 HAS SOUS 676803 HAS SOUPS 676803 WITH SCORE 677507.104
AT ITER 922 NEW BEST:: SOT 4441622 SOS 704084 HAS SOPS 704084 HAS SOUS 676766 HAS SOUPS 676766 WITH SCORE 677470.084
AT ITER 926 NEW BEST:: SOT 4441576 SOS 704038 HAS SOPS 704038 HAS SOUS 676720 HAS SOUPS 676720 WITH SCORE 677424.038
AT ITER 931 NEW BEST:: SOT 4441600 SOS 704032 HAS SOPS 704032 HAS SOUS 676714 HAS SOUPS 676714 WITH SCORE 677418.032
AT ITER 971 NEW BEST:: SOT 4441564 SOS 703960 HAS SOPS 703960 HAS SOUS 676642 HAS SOUPS 676642 WITH SCORE 677345.96
AT ITER 976 NEW BEST:: SOT 4441564 SOS 703960 HAS SOPS 703960 HAS SOUS 676572 HAS SOUPS 676572 WITH SCORE 677275.96
AT ITER 1008 NEW BEST:: SOT 4441600 SOS 703790 HAS SOPS 703790 HAS SOUS 676402 HAS SOUPS 676402 WITH SCORE 677105.79
AT ITER 1020 NEW BEST:: SOT 4441128 SOS 703318 HAS SOPS 703318 HAS SOUS 675930 HAS SOUPS 675930 WITH SCORE 676633.318
AT ITER 1042 NEW BEST:: SOT 4441001 SOS 703859 HAS SOPS 703859 HAS SOUS 675922 HAS SOUPS 675922 WITH SCORE 676625.859
AT ITER 1062 NEW BEST:: SOT 4441001 SOS 703764 HAS SOPS 703764 HAS SOUS 675827 HAS SOUPS 675827 WITH SCORE 676530.764
AT ITER 1068 NEW BEST:: SOT 4440985 SOS 703732 HAS SOPS 703732 HAS SOUS 675810 HAS SOUPS 675810 WITH SCORE 676513.732
AT ITER 1084 NEW BEST:: SOT 4440985 SOS 703732 HAS SOPS 703732 HAS SOUS 675809 HAS SOUPS 675809 WITH SCORE 676512.732
AT ITER 1117 NEW BEST:: SOT 4440725 SOS 703212 HAS SOPS 703212 HAS SOUS 675188 HAS SOUPS 675188 WITH SCORE 675891.212
AT ITER 1171 NEW BEST:: SOT 4440724 SOS 703210 HAS SOPS 703210 HAS SOUS 675186 HAS SOUPS 675186 WITH SCORE 675889.21
AT ITER 1183 NEW BEST:: SOT 4440434 SOS 707802 HAS SOPS 707802 HAS SOUS 675143 HAS SOUPS 675143 WITH SCORE 675850.802
AT ITER 1216 NEW BEST:: SOT 4440434 SOS 707790 HAS SOPS 707790 HAS SOUS 675143 HAS SOUPS 675143 WITH SCORE 675850.79
AT ITER 1226 NEW BEST:: SOT 4440434 SOS 707790 HAS SOPS 707790 HAS SOUS 675142 HAS SOUPS 675142 WITH SCORE 675849.79
AT ITER 1227 NEW BEST:: SOT 4440236 SOS 707394 HAS SOPS 707394 HAS SOUS 674746 HAS SOUPS 674746 WITH SCORE 675453.394
AT ITER 1230 NEW BEST:: SOT 4440075 SOS 707072 HAS SOPS 707072 HAS SOUS 674424 HAS SOUPS 674424 WITH SCORE 675131.072
AT ITER 1235 NEW BEST:: SOT 4439923 SOS 706768 HAS SOPS 706768 HAS SOUS 674315 HAS SOUPS 674315 WITH SCORE 675021.768
AT ITER 1250 NEW BEST:: SOT 4439914 SOS 706750 HAS SOPS 706750 HAS SOUS 674305 HAS SOUPS 674305 WITH SCORE 675011.75
AT ITER 1271 NEW BEST:: SOT 4439914 SOS 706750 HAS SOPS 706750 HAS SOUS 674302 HAS SOUPS 674302 WITH SCORE 675008.75
AT ITER 1297 NEW BEST:: SOT 4439891 SOS 706704 HAS SOPS 706704 HAS SOUS 674256 HAS SOUPS 674256 WITH SCORE 674962.704
AT ITER 1305 NEW BEST:: SOT 4439891 SOS 706704 HAS SOPS 706704 HAS SOUS 674072 HAS SOUPS 674072 WITH SCORE 674778.704
AT ITER 1318 NEW BEST:: SOT 4439691 SOS 706504 HAS SOPS 706504 HAS SOUS 673872 HAS SOUPS 673872 WITH SCORE 674578.504
AT ITER 1328 NEW BEST:: SOT 4439637 SOS 706432 HAS SOPS 706432 HAS SOUS 673800 HAS SOUPS 673800 WITH SCORE 674506.432
AT ITER 1332 NEW BEST:: SOT 4439622 SOS 706526 HAS SOPS 706526 HAS SOUS 673785 HAS SOUPS 673785 WITH SCORE 674491.526
AT ITER 1373 NEW BEST:: SOT 4439621 SOS 706524 HAS SOPS 706524 HAS SOUS 673783 HAS SOUPS 673783 WITH SCORE 674489.524
AT ITER 1400 NEW BEST:: SOT 4439519 SOS 706494 HAS SOPS 706494 HAS SOUS 673706 HAS SOUPS 673706 WITH SCORE 674412.494
AT ITER 1407 NEW BEST:: SOT 4439519 SOS 706279 HAS SOPS 706279 HAS SOUS 673491 HAS SOUPS 673491 WITH SCORE 674197.279
AT ITER 1458 NEW BEST:: SOT 4435871 SOS 704821 HAS SOPS 704821 HAS SOUS 669982 HAS SOUPS 669982 WITH SCORE 670686.821
AT ITER 1468 NEW BEST:: SOT 4436102 SOS 704748 HAS SOPS 704748 HAS SOUS 669775 HAS SOUPS 669775 WITH SCORE 670479.748
AT ITER 1486 NEW BEST:: SOT 4436099 SOS 704742 HAS SOPS 704742 HAS SOUS 669769 HAS SOUPS 669769 WITH SCORE 670473.742
AT ITER 1524 NEW BEST:: SOT 4436098 SOS 704546 HAS SOPS 704546 HAS SOUS 669767 HAS SOUPS 669767 WITH SCORE 670471.546
AT ITER 1537 NEW BEST:: SOT 4436037 SOS 704424 HAS SOPS 704424 HAS SOUS 669645 HAS SOUPS 669645 WITH SCORE 670349.424
AT ITER 1549 NEW BEST:: SOT 4435963 SOS 704276 HAS SOPS 704276 HAS SOUS 669497 HAS SOUPS 669497 WITH SCORE 670201.276
AT ITER 1570 NEW BEST:: SOT 4435688 SOS 704001 HAS SOPS 704001 HAS SOUS 669222 HAS SOUPS 669222 WITH SCORE 669926.001
AT ITER 1572 NEW BEST:: SOT 4435440 SOS 703649 HAS SOPS 703649 HAS SOUS 668974 HAS SOUPS 668974 WITH SCORE 669677.649
AT ITER 1583 NEW BEST:: SOT 4435422 SOS 703637 HAS SOPS 703637 HAS SOUS 668956 HAS SOUPS 668956 WITH SCORE 669659.637
AT ITER 1590 NEW BEST:: SOT 4435082 SOS 703127 HAS SOPS 703127 HAS SOUS 668446 HAS SOUPS 668446 WITH SCORE 669149.127
AT ITER 1636 NEW BEST:: SOT 4435076 SOS 703115 HAS SOPS 703115 HAS SOUS 668440 HAS SOUPS 668440 WITH SCORE 669143.115
AT ITER 1639 NEW BEST:: SOT 4435076 SOS 703115 HAS SOPS 703115 HAS SOUS 668219 HAS SOUPS 668219 WITH SCORE 668922.115
AT ITER 1671 NEW BEST:: SOT 4435076 SOS 703115 HAS SOPS 703115 HAS SOUS 668218 HAS SOUPS 668218 WITH SCORE 668921.115
AT ITER 1674 NEW BEST:: SOT 4435076 SOS 703083 HAS SOPS 703083 HAS SOUS 668218 HAS SOUPS 668218 WITH SCORE 668921.083
AT ITER 1685 NEW BEST:: SOT 4435075 SOS 703081 HAS SOPS 703081 HAS SOUS 668216 HAS SOUPS 668216 WITH SCORE 668919.081
AT ITER 1688 NEW BEST:: SOT 4434997 SOS 703003 HAS SOPS 703003 HAS SOUS 668138 HAS SOUPS 668138 WITH SCORE 668841.003
AT ITER 1732 NEW BEST:: SOT 4435109 SOS 703227 HAS SOPS 703227 HAS SOUS 667805 HAS SOUPS 667805 WITH SCORE 668508.227
AT ITER 1802 NEW BEST:: SOT 4435053 SOS 703171 HAS SOPS 703171 HAS SOUS 667749 HAS SOUPS 667749 WITH SCORE 668452.171
AT ITER 1808 NEW BEST:: SOT 4434397 SOS 703651 HAS SOPS 703651 HAS SOUS 667284 HAS SOUPS 667284 WITH SCORE 667987.651
AT ITER 1853 NEW BEST:: SOT 4434101 SOS 703355 HAS SOPS 703355 HAS SOUS 666988 HAS SOUPS 666988 WITH SCORE 667691.355
AT ITER 1875 NEW BEST:: SOT 4433944 SOS 703041 HAS SOPS 703041 HAS SOUS 666674 HAS SOUPS 666674 WITH SCORE 667377.041
AT ITER 1893 NEW BEST:: SOT 4433905 SOS 702963 HAS SOPS 702963 HAS SOUS 666596 HAS SOUPS 666596 WITH SCORE 667298.963
AT ITER 1897 NEW BEST:: SOT 4433905 SOS 702962 HAS SOPS 702962 HAS SOUS 666595 HAS SOUPS 666595 WITH SCORE 667297.962
AT ITER 1924 NEW BEST:: SOT 4433757 SOS 702666 HAS SOPS 702666 HAS SOUS 666299 HAS SOUPS 666299 WITH SCORE 667001.666
AT ITER 1938 NEW BEST:: SOT 4433757 SOS 702666 HAS SOPS 702666 HAS SOUS 666239 HAS SOUPS 666239 WITH SCORE 666941.666
AT ITER 1974 NEW BEST:: SOT 4433683 SOS 702518 HAS SOPS 702518 HAS SOUS 666091 HAS SOUPS 666091 WITH SCORE 666793.518
AT ITER 2012 NEW BEST:: SOT 4433683 SOS 702243 HAS SOPS 702243 HAS SOUS 666091 HAS SOUPS 666091 WITH SCORE 666793.243
AT ITER 2054 NEW BEST:: SOT 4433675 SOS 702237 HAS SOPS 702237 HAS SOUS 666083 HAS SOUPS 666083 WITH SCORE 666785.237
AT ITER 2056 NEW BEST:: SOT 4433490 SOS 701867 HAS SOPS 701867 HAS SOUS 665605 HAS SOUPS 665605 WITH SCORE 666306.867
AT ITER 2060 NEW BEST:: SOT 4433408 SOS 701703 HAS SOPS 701703 HAS SOUS 665441 HAS SOUPS 665441 WITH SCORE 666142.703
AT ITER 2066 NEW BEST:: SOT 4433218 SOS 701758 HAS SOPS 701758 HAS SOUS 665373 HAS SOUPS 665373 WITH SCORE 666074.758
AT ITER 2068 NEW BEST:: SOT 4433176 SOS 702085 HAS SOPS 702085 HAS SOUS 665336 HAS SOUPS 665336 WITH SCORE 666038.085
AT ITER 2076 NEW BEST:: SOT 4432980 SOS 702022 HAS SOPS 702022 HAS SOUS 665140 HAS SOUPS 665140 WITH SCORE 665842.022
AT ITER 2077 NEW BEST:: SOT 4432596 SOS 701766 HAS SOPS 701766 HAS SOUS 664756 HAS SOUPS 664756 WITH SCORE 665457.766
AT ITER 2078 NEW BEST:: SOT 4431921 SOS 701100 HAS SOPS 701100 HAS SOUS 664081 HAS SOUPS 664081 WITH SCORE 664782.1
AT ITER 2088 NEW BEST:: SOT 4431877 SOS 701012 HAS SOPS 701012 HAS SOUS 663993 HAS SOUPS 663993 WITH SCORE 664694.012
AT ITER 2094 NEW BEST:: SOT 4431845 SOS 700980 HAS SOPS 700980 HAS SOUS 663961 HAS SOUPS 663961 WITH SCORE 664661.98
AT ITER 2144 NEW BEST:: SOT 4431819 SOS 700928 HAS SOPS 700928 HAS SOUS 663935 HAS SOUPS 663935 WITH SCORE 664635.928
AT ITER 2166 NEW BEST:: SOT 4431955 SOS 700824 HAS SOPS 700824 HAS SOUS 663695 HAS SOUPS 663695 WITH SCORE 664395.824
AT ITER 2171 NEW BEST:: SOT 4431780 SOS 700631 HAS SOPS 700631 HAS SOUS 663674 HAS SOUPS 663674 WITH SCORE 664374.631
AT ITER 2206 NEW BEST:: SOT 4431780 SOS 700255 HAS SOPS 700255 HAS SOUS 663486 HAS SOUPS 663486 WITH SCORE 664186.255
AT ITER 2238 NEW BEST:: SOT 4431695 SOS 700085 HAS SOPS 700085 HAS SOUS 663316 HAS SOUPS 663316 WITH SCORE 664016.085
AT ITER 2245 NEW BEST:: SOT 4431626 SOS 699947 HAS SOPS 699947 HAS SOUS 663178 HAS SOUPS 663178 WITH SCORE 663877.947
AT ITER 2309 NEW BEST:: SOT 4431206 SOS 699651 HAS SOPS 699651 HAS SOUS 662645 HAS SOUPS 662645 WITH SCORE 663344.651
AT ITER 2312 NEW BEST:: SOT 4431000 SOS 699239 HAS SOPS 699239 HAS SOUS 662233 HAS SOUPS 662233 WITH SCORE 662932.239
AT ITER 2313 NEW BEST:: SOT 4431039 SOS 699317 HAS SOPS 699317 HAS SOUS 662180 HAS SOUPS 662180 WITH SCORE 662879.317
AT ITER 2352 NEW BEST:: SOT 4430910 SOS 699215 HAS SOPS 699215 HAS SOUS 662061 HAS SOUPS 662061 WITH SCORE 662760.215
AT ITER 2370 NEW BEST:: SOT 4430502 SOS 699187 HAS SOPS 699187 HAS SOUS 661761 HAS SOUPS 661761 WITH SCORE 662460.187
AT ITER 2386 NEW BEST:: SOT 4430502 SOS 699187 HAS SOPS 699187 HAS SOUS 661717 HAS SOUPS 661717 WITH SCORE 662416.187
AT ITER 2411 NEW BEST:: SOT 4430000 SOS 698783 HAS SOPS 698783 HAS SOUS 661301 HAS SOUPS 661301 WITH SCORE 661999.783
AT ITER 2414 NEW BEST:: SOT 4429807 SOS 698397 HAS SOPS 698397 HAS SOUS 660915 HAS SOUPS 660915 WITH SCORE 661613.397
AT ITER 2430 NEW BEST:: SOT 4429344 SOS 698101 HAS SOPS 698101 HAS SOUS 660213 HAS SOUPS 660213 WITH SCORE 660911.101
AT ITER 2431 NEW BEST:: SOT 4429185 SOS 697783 HAS SOPS 697783 HAS SOUS 659895 HAS SOUPS 659895 WITH SCORE 660592.783
AT ITER 2432 NEW BEST:: SOT 4429158 SOS 697637 HAS SOPS 697637 HAS SOUS 659841 HAS SOUPS 659841 WITH SCORE 660538.637
AT ITER 2437 NEW BEST:: SOT 4429019 SOS 697359 HAS SOPS 697359 HAS SOUS 659286 HAS SOUPS 659286 WITH SCORE 659983.359
AT ITER 2461 NEW BEST:: SOT 4428759 SOS 698444 HAS SOPS 698444 HAS SOUS 659283 HAS SOUPS 659283 WITH SCORE 659981.444
AT ITER 2463 NEW BEST:: SOT 4428402 SOS 698762 HAS SOPS 698762 HAS SOUS 659184 HAS SOUPS 659184 WITH SCORE 659882.762
AT ITER 2471 NEW BEST:: SOT 4428377 SOS 699081 HAS SOPS 699081 HAS SOUS 659134 HAS SOUPS 659134 WITH SCORE 659833.081
AT ITER 2494 NEW BEST:: SOT 4428377 SOS 698996 HAS SOPS 698996 HAS SOUS 659049 HAS SOUPS 659049 WITH SCORE 659747.996
AT ITER 2515 NEW BEST:: SOT 4428364 SOS 698970 HAS SOPS 698970 HAS SOUS 659023 HAS SOUPS 659023 WITH SCORE 659721.97
AT ITER 2516 NEW BEST:: SOT 4428100 SOS 698574 HAS SOPS 698574 HAS SOUS 658627 HAS SOUPS 658627 WITH SCORE 659325.574
AT ITER 2525 NEW BEST:: SOT 4426900 SOS 698606 HAS SOPS 698606 HAS SOUS 658104 HAS SOUPS 658104 WITH SCORE 658802.606
AT ITER 2526 NEW BEST:: SOT 4426577 SOS 697960 HAS SOPS 697960 HAS SOUS 658104 HAS SOUPS 658104 WITH SCORE 658801.96
AT ITER 2534 NEW BEST:: SOT 4426471 SOS 697868 HAS SOPS 697868 HAS SOUS 657998 HAS SOUPS 657998 WITH SCORE 658695.868
AT ITER 2575 NEW BEST:: SOT 4426470 SOS 697866 HAS SOPS 697866 HAS SOUS 657996 HAS SOUPS 657996 WITH SCORE 658693.866
AT ITER 2608 NEW BEST:: SOT 4426470 SOS 697858 HAS SOPS 697858 HAS SOUS 657988 HAS SOUPS 657988 WITH SCORE 658685.858
AT ITER 2643 NEW BEST:: SOT 4426470 SOS 697770 HAS SOPS 697770 HAS SOUS 657900 HAS SOUPS 657900 WITH SCORE 658597.77
AT ITER 2671 NEW BEST:: SOT 4426469 SOS 697768 HAS SOPS 697768 HAS SOUS 657898 HAS SOUPS 657898 WITH SCORE 658595.768
AT ITER 2710 NEW BEST:: SOT 4426211 SOS 697633 HAS SOPS 697633 HAS SOUS 657699 HAS SOUPS 657699 WITH SCORE 658396.633
AT ITER 2803 NEW BEST:: SOT 4426207 SOS 697625 HAS SOPS 697625 HAS SOUS 657691 HAS SOUPS 657691 WITH SCORE 658388.625
AT ITER 2806 NEW BEST:: SOT 4426034 SOS 697279 HAS SOPS 697279 HAS SOUS 657597 HAS SOUPS 657597 WITH SCORE 658294.279
AT ITER 2809 NEW BEST:: SOT 4426033 SOS 697277 HAS SOPS 697277 HAS SOUS 657595 HAS SOUPS 657595 WITH SCORE 658292.277
AT ITER 2827 NEW BEST:: SOT 4425995 SOS 697201 HAS SOPS 697201 HAS SOUS 657557 HAS SOUPS 657557 WITH SCORE 658254.201
AT ITER 2828 NEW BEST:: SOT 4425727 SOS 696997 HAS SOPS 696997 HAS SOUS 657289 HAS SOUPS 657289 WITH SCORE 657985.997
AT ITER 2883 NEW BEST:: SOT 4425755 SOS 696969 HAS SOPS 696969 HAS SOUS 657275 HAS SOUPS 657275 WITH SCORE 657971.969
AT ITER 2916 NEW BEST:: SOT 4425755 SOS 696969 HAS SOPS 696969 HAS SOUS 657252 HAS SOUPS 657252 WITH SCORE 657948.969
AT ITER 2945 NEW BEST:: SOT 4425770 SOS 696999 HAS SOPS 696999 HAS SOUS 657227 HAS SOUPS 657227 WITH SCORE 657923.999
AT ITER 2965 NEW BEST:: SOT 4425760 SOS 696979 HAS SOPS 696979 HAS SOUS 657080 HAS SOUPS 657080 WITH SCORE 657776.979
AT ITER 2991 NEW BEST:: SOT 4425550 SOS 696558 HAS SOPS 696558 HAS SOUS 656659 HAS SOUPS 656659 WITH SCORE 657355.558
AT ITER 3002 NEW BEST:: SOT 4424989 SOS 695816 HAS SOPS 695816 HAS SOUS 655917 HAS SOUPS 655917 WITH SCORE 656612.816
AT ITER 3006 NEW BEST:: SOT 4424919 SOS 695746 HAS SOPS 695746 HAS SOUS 655847 HAS SOUPS 655847 WITH SCORE 656542.746
AT ITER 3013 NEW BEST:: SOT 4424544 SOS 695419 HAS SOPS 695419 HAS SOUS 655471 HAS SOUPS 655471 WITH SCORE 656166.419
AT ITER 3022 NEW BEST:: SOT 4424677 SOS 695384 HAS SOPS 695384 HAS SOUS 655303 HAS SOUPS 655303 WITH SCORE 655998.384
AT ITER 3035 NEW BEST:: SOT 4424668 SOS 695366 HAS SOPS 695366 HAS SOUS 655294 HAS SOUPS 655294 WITH SCORE 655989.366
AT ITER 3037 NEW BEST:: SOT 4424588 SOS 695206 HAS SOPS 695206 HAS SOUS 655134 HAS SOUPS 655134 WITH SCORE 655829.206
AT ITER 3046 NEW BEST:: SOT 4418795 SOS 697942 HAS SOPS 697942 HAS SOUS 649640 HAS SOUPS 649640 WITH SCORE 650337.942
AT ITER 3056 NEW BEST:: SOT 4418753 SOS 697858 HAS SOPS 697858 HAS SOUS 649556 HAS SOUPS 649556 WITH SCORE 650253.858
AT ITER 3058 NEW BEST:: SOT 4418630 SOS 697926 HAS SOPS 697926 HAS SOUS 649549 HAS SOUPS 649549 WITH SCORE 650246.926
AT ITER 3095 NEW BEST:: SOT 4418586 SOS 698284 HAS SOPS 698284 HAS SOUS 649317 HAS SOUPS 649317 WITH SCORE 650015.284
AT ITER 3115 NEW BEST:: SOT 4418467 SOS 698178 HAS SOPS 698178 HAS SOUS 649209 HAS SOUPS 649209 WITH SCORE 649907.178
AT ITER 3122 NEW BEST:: SOT 4418344 SOS 697932 HAS SOPS 697932 HAS SOUS 648963 HAS SOUPS 648963 WITH SCORE 649660.932
AT ITER 3170 NEW BEST:: SOT 4418320 SOS 697884 HAS SOPS 697884 HAS SOUS 648915 HAS SOUPS 648915 WITH SCORE 649612.884
AT ITER 3172 NEW BEST:: SOT 4417849 SOS 697570 HAS SOPS 697570 HAS SOUS 648444 HAS SOUPS 648444 WITH SCORE 649141.57
AT ITER 3207 NEW BEST:: SOT 4417848 SOS 697568 HAS SOPS 697568 HAS SOUS 648442 HAS SOUPS 648442 WITH SCORE 649139.568
AT ITER 3254 NEW BEST:: SOT 4417740 SOS 697464 HAS SOPS 697464 HAS SOUS 648338 HAS SOUPS 648338 WITH SCORE 649035.464
AT ITER 3282 NEW BEST:: SOT 4417580 SOS 697144 HAS SOPS 697144 HAS SOUS 648018 HAS SOUPS 648018 WITH SCORE 648715.144
AT ITER 3291 NEW BEST:: SOT 4417564 SOS 697112 HAS SOPS 697112 HAS SOUS 647986 HAS SOUPS 647986 WITH SCORE 648683.112
AT ITER 3297 NEW BEST:: SOT 4417543 SOS 697070 HAS SOPS 697070 HAS SOUS 647944 HAS SOUPS 647944 WITH SCORE 648641.07
AT ITER 3307 NEW BEST:: SOT 4416595 SOS 698562 HAS SOPS 698562 HAS SOUS 647348 HAS SOUPS 647348 WITH SCORE 648046.562
AT ITER 3311 NEW BEST:: SOT 4416636 SOS 698560 HAS SOPS 698560 HAS SOUS 647346 HAS SOUPS 647346 WITH SCORE 648044.56
AT ITER 3325 NEW BEST:: SOT 4416258 SOS 698308 HAS SOPS 698308 HAS SOUS 647039 HAS SOUPS 647039 WITH SCORE 647737.308
AT ITER 3340 NEW BEST:: SOT 4416030 SOS 698080 HAS SOPS 698080 HAS SOUS 646811 HAS SOUPS 646811 WITH SCORE 647509.08
AT ITER 3341 NEW BEST:: SOT 4416004 SOS 698028 HAS SOPS 698028 HAS SOUS 646772 HAS SOUPS 646772 WITH SCORE 647470.028
AT ITER 3373 NEW BEST:: SOT 4415651 SOS 697322 HAS SOPS 697322 HAS SOUS 646066 HAS SOUPS 646066 WITH SCORE 646763.322
AT ITER 3375 NEW BEST:: SOT 4415637 SOS 697294 HAS SOPS 697294 HAS SOUS 646052 HAS SOUPS 646052 WITH SCORE 646749.294
AT ITER 3497 NEW BEST:: SOT 4415514 SOS 697048 HAS SOPS 697048 HAS SOUS 645806 HAS SOUPS 645806 WITH SCORE 646503.048
AT ITER 3512 NEW BEST:: SOT 4415107 SOS 696854 HAS SOPS 696854 HAS SOUS 645612 HAS SOUPS 645612 WITH SCORE 646308.854
AT ITER 3516 NEW BEST:: SOT 4415097 SOS 696844 HAS SOPS 696844 HAS SOUS 645602 HAS SOUPS 645602 WITH SCORE 646298.844
AT ITER 3521 NEW BEST:: SOT 4414847 SOS 696594 HAS SOPS 696594 HAS SOUS 645352 HAS SOUPS 645352 WITH SCORE 646048.594
AT ITER 3542 NEW BEST:: SOT 4414735 SOS 696163 HAS SOPS 696163 HAS SOUS 645170 HAS SOUPS 645170 WITH SCORE 645866.163
AT ITER 3559 NEW BEST:: SOT 4414548 SOS 695789 HAS SOPS 695789 HAS SOUS 645099 HAS SOUPS 645099 WITH SCORE 645794.789
AT ITER 3585 NEW BEST:: SOT 4414443 SOS 695684 HAS SOPS 695684 HAS SOUS 645099 HAS SOUPS 645099 WITH SCORE 645794.684
AT ITER 3616 NEW BEST:: SOT 4414579 SOS 695668 HAS SOPS 695668 HAS SOUS 645083 HAS SOUPS 645083 WITH SCORE 645778.668
AT ITER 3689 NEW BEST:: SOT 4414533 SOS 695478 HAS SOPS 695478 HAS SOUS 644939 HAS SOUPS 644939 WITH SCORE 645634.478
AT ITER 3723 NEW BEST:: SOT 4414532 SOS 695504 HAS SOPS 695504 HAS SOUS 644937 HAS SOUPS 644937 WITH SCORE 645632.504
AT ITER 3724 NEW BEST:: SOT 4414418 SOS 695276 HAS SOPS 695276 HAS SOUS 644709 HAS SOUPS 644709 WITH SCORE 645404.276
AT ITER 3735 NEW BEST:: SOT 4414394 SOS 695228 HAS SOPS 695228 HAS SOUS 644661 HAS SOUPS 644661 WITH SCORE 645356.228
AT ITER 3754 NEW BEST:: SOT 4414338 SOS 695116 HAS SOPS 695116 HAS SOUS 644605 HAS SOUPS 644605 WITH SCORE 645300.116
AT ITER 3768 NEW BEST:: SOT 4414326 SOS 695092 HAS SOPS 695092 HAS SOUS 644593 HAS SOUPS 644593 WITH SCORE 645288.092
AT ITER 3776 NEW BEST:: SOT 4414326 SOS 694926 HAS SOPS 694926 HAS SOUS 644427 HAS SOUPS 644427 WITH SCORE 645121.926
AT ITER 3809 NEW BEST:: SOT 4414326 SOS 694926 HAS SOPS 694926 HAS SOUS 644425 HAS SOUPS 644425 WITH SCORE 645119.926
AT ITER 3814 NEW BEST:: SOT 4414246 SOS 694846 HAS SOPS 694846 HAS SOUS 644345 HAS SOUPS 644345 WITH SCORE 645039.846
AT ITER 3821 NEW BEST:: SOT 4413973 SOS 694300 HAS SOPS 694300 HAS SOUS 643799 HAS SOUPS 643799 WITH SCORE 644493.3
AT ITER 3826 NEW BEST:: SOT 4413928 SOS 693985 HAS SOPS 693985 HAS SOUS 643709 HAS SOUPS 643709 WITH SCORE 644402.985
AT ITER 3870 NEW BEST:: SOT 4413744 SOS 693617 HAS SOPS 693617 HAS SOUS 643341 HAS SOUPS 643341 WITH SCORE 644034.617
AT ITER 3905 NEW BEST:: SOT 4413574 SOS 693277 HAS SOPS 693277 HAS SOUS 643001 HAS SOUPS 643001 WITH SCORE 643694.277
AT ITER 3917 NEW BEST:: SOT 4413386 SOS 693253 HAS SOPS 693253 HAS SOUS 642852 HAS SOUPS 642852 WITH SCORE 643545.253
AT ITER 3929 NEW BEST:: SOT 4413255 SOS 692991 HAS SOPS 692991 HAS SOUS 642590 HAS SOUPS 642590 WITH SCORE 643282.991
AT ITER 3960 NEW BEST:: SOT 4413279 SOS 693039 HAS SOPS 693039 HAS SOUS 642557 HAS SOUPS 642557 WITH SCORE 643250.039
AT ITER 3993 NEW BEST:: SOT 4413279 SOS 693038 HAS SOPS 693038 HAS SOUS 642556 HAS SOUPS 642556 WITH SCORE 643249.038
AT ITER 3994 NEW BEST:: SOT 4413063 SOS 692750 HAS SOPS 692750 HAS SOUS 642268 HAS SOUPS 642268 WITH SCORE 642960.75
AT ITER 4010 NEW BEST:: SOT 4413063 SOS 692458 HAS SOPS 692458 HAS SOUS 642122 HAS SOUPS 642122 WITH SCORE 642814.458
AT ITER 4011 NEW BEST:: SOT 4412819 SOS 692147 HAS SOPS 692147 HAS SOUS 641811 HAS SOUPS 641811 WITH SCORE 642503.147
AT ITER 4043 NEW BEST:: SOT 4412784 SOS 692120 HAS SOPS 692120 HAS SOUS 641802 HAS SOUPS 641802 WITH SCORE 642494.12
AT ITER 4044 NEW BEST:: SOT 4412818 SOS 691745 HAS SOPS 691745 HAS SOUS 641427 HAS SOUPS 641427 WITH SCORE 642118.745
AT ITER 4053 NEW BEST:: SOT 4412786 SOS 691742 HAS SOPS 691742 HAS SOUS 641395 HAS SOUPS 641395 WITH SCORE 642086.742
AT ITER 4058 NEW BEST:: SOT 4412763 SOS 691696 HAS SOPS 691696 HAS SOUS 641372 HAS SOUPS 641372 WITH SCORE 642063.696
AT ITER 4073 NEW BEST:: SOT 4412730 SOS 691630 HAS SOPS 691630 HAS SOUS 641257 HAS SOUPS 641257 WITH SCORE 641948.63
AT ITER 4115 NEW BEST:: SOT 4412730 SOS 691610 HAS SOPS 691610 HAS SOUS 641237 HAS SOUPS 641237 WITH SCORE 641928.61
AT ITER 4123 NEW BEST:: SOT 4412543 SOS 691423 HAS SOPS 691423 HAS SOUS 641050 HAS SOUPS 641050 WITH SCORE 641741.423
AT ITER 4180 NEW BEST:: SOT 4412520 SOS 691400 HAS SOPS 691400 HAS SOUS 641050 HAS SOUPS 641050 WITH SCORE 641741.4
AT ITER 4183 NEW BEST:: SOT 4412491 SOS 691342 HAS SOPS 691342 HAS SOUS 641021 HAS SOUPS 641021 WITH SCORE 641712.342
AT ITER 4216 NEW BEST:: SOT 4412464 SOS 691315 HAS SOPS 691315 HAS SOUS 640994 HAS SOUPS 640994 WITH SCORE 641685.315
AT ITER 4220 NEW BEST:: SOT 4412463 SOS 691314 HAS SOPS 691314 HAS SOUS 640993 HAS SOUPS 640993 WITH SCORE 641684.314
AT ITER 4253 NEW BEST:: SOT 4412400 SOS 691188 HAS SOPS 691188 HAS SOUS 640930 HAS SOUPS 640930 WITH SCORE 641621.188
AT ITER 4257 NEW BEST:: SOT 4412399 SOS 691186 HAS SOPS 691186 HAS SOUS 640928 HAS SOUPS 640928 WITH SCORE 641619.186
AT ITER 4280 NEW BEST:: SOT 4412510 SOS 691136 HAS SOPS 691136 HAS SOUS 640878 HAS SOUPS 640878 WITH SCORE 641569.136
AT ITER 4289 NEW BEST:: SOT 4412260 SOS 690785 HAS SOPS 690785 HAS SOUS 640764 HAS SOUPS 640764 WITH SCORE 641454.785
AT ITER 4314 NEW BEST:: SOT 4412066 SOS 690397 HAS SOPS 690397 HAS SOUS 640376 HAS SOUPS 640376 WITH SCORE 641066.397
AT ITER 4316 NEW BEST:: SOT 4412065 SOS 690395 HAS SOPS 690395 HAS SOUS 640375 HAS SOUPS 640375 WITH SCORE 641065.395
AT ITER 4363 NEW BEST:: SOT 4412058 SOS 690381 HAS SOPS 690381 HAS SOUS 640361 HAS SOUPS 640361 WITH SCORE 641051.381
AT ITER 4380 NEW BEST:: SOT 4412042 SOS 690349 HAS SOPS 690349 HAS SOUS 640345 HAS SOUPS 640345 WITH SCORE 641035.349
AT ITER 4415 NEW BEST:: SOT 4412010 SOS 690285 HAS SOPS 690285 HAS SOUS 640281 HAS SOUPS 640281 WITH SCORE 640971.285
AT ITER 4433 NEW BEST:: SOT 4411967 SOS 690199 HAS SOPS 690199 HAS SOUS 640195 HAS SOUPS 640195 WITH SCORE 640885.199
AT ITER 4456 NEW BEST:: SOT 4411541 SOS 689825 HAS SOPS 689825 HAS SOUS 639796 HAS SOUPS 639796 WITH SCORE 640485.825
AT ITER 4471 NEW BEST:: SOT 4411511 SOS 689765 HAS SOPS 689765 HAS SOUS 639736 HAS SOUPS 639736 WITH SCORE 640425.765
AT ITER 4491 NEW BEST:: SOT 4411534 SOS 689646 HAS SOPS 689646 HAS SOUS 639617 HAS SOUPS 639617 WITH SCORE 640306.646
AT ITER 4542 NEW BEST:: SOT 4411473 SOS 689585 HAS SOPS 689585 HAS SOUS 639495 HAS SOUPS 639495 WITH SCORE 640184.585
AT ITER 4567 NEW BEST:: SOT 4411533 SOS 689705 HAS SOPS 689705 HAS SOUS 639175 HAS SOUPS 639175 WITH SCORE 639864.705
AT ITER 4639 NEW BEST:: SOT 4411428 SOS 689705 HAS SOPS 689705 HAS SOUS 639070 HAS SOUPS 639070 WITH SCORE 639759.705
AT ITER 4657 NEW BEST:: SOT 4411386 SOS 689621 HAS SOPS 689621 HAS SOUS 639028 HAS SOUPS 639028 WITH SCORE 639717.621
AT ITER 4744 NEW BEST:: SOT 4411260 SOS 689369 HAS SOPS 689369 HAS SOUS 638957 HAS SOUPS 638957 WITH SCORE 639646.369
AT ITER 4768 NEW BEST:: SOT 4411031 SOS 689579 HAS SOPS 689579 HAS SOUS 638642 HAS SOUPS 638642 WITH SCORE 639331.579
AT ITER 4776 NEW BEST:: SOT 4410946 SOS 689409 HAS SOPS 689409 HAS SOUS 638472 HAS SOUPS 638472 WITH SCORE 639161.409
AT ITER 4787 NEW BEST:: SOT 4410737 SOS 688991 HAS SOPS 688991 HAS SOUS 638054 HAS SOUPS 638054 WITH SCORE 638742.991
AT ITER 4789 NEW BEST:: SOT 4410668 SOS 688853 HAS SOPS 688853 HAS SOUS 637985 HAS SOUPS 637985 WITH SCORE 638673.853
AT ITER 4791 NEW BEST:: SOT 4410591 SOS 688699 HAS SOPS 688699 HAS SOUS 637930 HAS SOUPS 637930 WITH SCORE 638618.699
AT ITER 4793 NEW BEST:: SOT 4410477 SOS 688471 HAS SOPS 688471 HAS SOUS 637816 HAS SOUPS 637816 WITH SCORE 638504.471
AT ITER 4802 NEW BEST:: SOT 4410437 SOS 688435 HAS SOPS 688435 HAS SOUS 637780 HAS SOUPS 637780 WITH SCORE 638468.435
AT ITER 4816 NEW BEST:: SOT 4410458 SOS 688168 HAS SOPS 688168 HAS SOUS 637492 HAS SOUPS 637492 WITH SCORE 638180.168
AT ITER 4820 NEW BEST:: SOT 4410406 SOS 688064 HAS SOPS 688064 HAS SOUS 637388 HAS SOUPS 637388 WITH SCORE 638076.064
AT ITER 4851 NEW BEST:: SOT 4410416 SOS 688084 HAS SOPS 688084 HAS SOUS 637370 HAS SOUPS 637370 WITH SCORE 638058.084
AT ITER 4855 NEW BEST:: SOT 4410265 SOS 687782 HAS SOPS 687782 HAS SOUS 637068 HAS SOUPS 637068 WITH SCORE 637755.782
AT ITER 4858 NEW BEST:: SOT 4410337 SOS 687926 HAS SOPS 687926 HAS SOUS 637048 HAS SOUPS 637048 WITH SCORE 637735.926
AT ITER 4859 NEW BEST:: SOT 4410267 SOS 687786 HAS SOPS 687786 HAS SOUS 636860 HAS SOUPS 636860 WITH SCORE 637547.786
AT ITER 4868 NEW BEST:: SOT 4410262 SOS 687776 HAS SOPS 687776 HAS SOUS 636855 HAS SOUPS 636855 WITH SCORE 637542.776
AT ITER 4872 NEW BEST:: SOT 4410262 SOS 687764 HAS SOPS 687764 HAS SOUS 636843 HAS SOUPS 636843 WITH SCORE 637530.764
AT ITER 4884 NEW BEST:: SOT 4410216 SOS 687672 HAS SOPS 687672 HAS SOUS 636751 HAS SOUPS 636751 WITH SCORE 637438.672
AT ITER 4912 NEW BEST:: SOT 4410187 SOS 687069 HAS SOPS 687069 HAS SOUS 636512 HAS SOUPS 636512 WITH SCORE 637199.069
AT ITER 4924 NEW BEST:: SOT 4410179 SOS 687053 HAS SOPS 687053 HAS SOUS 636496 HAS SOUPS 636496 WITH SCORE 637183.053
AT ITER 4940 NEW BEST:: SOT 4410149 SOS 686993 HAS SOPS 686993 HAS SOUS 636466 HAS SOUPS 636466 WITH SCORE 637152.993
AT ITER 4959 NEW BEST:: SOT 4409695 SOS 687309 HAS SOPS 687309 HAS SOUS 636218 HAS SOUPS 636218 WITH SCORE 636905.309
AT ITER 4965 NEW BEST:: SOT 4409439 SOS 687234 HAS SOPS 687234 HAS SOUS 636122 HAS SOUPS 636122 WITH SCORE 636809.234
AT ITER 4971 NEW BEST:: SOT 4409347 SOS 687050 HAS SOPS 687050 HAS SOUS 635938 HAS SOUPS 635938 WITH SCORE 636625.05
AT ITER 4972 NEW BEST:: SOT 4409169 SOS 686694 HAS SOPS 686694 HAS SOUS 635582 HAS SOUPS 635582 WITH SCORE 636268.694
AT ITER 4977 NEW BEST:: SOT 4408967 SOS 686290 HAS SOPS 686290 HAS SOUS 635507 HAS SOUPS 635507 WITH SCORE 636193.29
AT ITER 4994 NEW BEST:: SOT 4408966 SOS 686288 HAS SOPS 686288 HAS SOUS 635505 HAS SOUPS 635505 WITH SCORE 636191.288
AT ITER 5014 NEW BEST:: SOT 4408767 SOS 686160 HAS SOPS 686160 HAS SOUS 635446 HAS SOUPS 635446 WITH SCORE 636132.16
AT ITER 5061 NEW BEST:: SOT 4408627 SOS 686103 HAS SOPS 686103 HAS SOUS 635347 HAS SOUPS 635347 WITH SCORE 636033.103
AT ITER 5065 NEW BEST:: SOT 4408577 SOS 686003 HAS SOPS 686003 HAS SOUS 635179 HAS SOUPS 635179 WITH SCORE 635865.003
AT ITER 5074 NEW BEST:: SOT 4408672 SOS 686193 HAS SOPS 686193 HAS SOUS 635091 HAS SOUPS 635091 WITH SCORE 635777.193
AT ITER 5087 NEW BEST:: SOT 4408376 SOS 685915 HAS SOPS 685915 HAS SOUS 634481 HAS SOUPS 634481 WITH SCORE 635166.915
AT ITER 5218 NEW BEST:: SOT 4408330 SOS 685823 HAS SOPS 685823 HAS SOUS 634389 HAS SOUPS 634389 WITH SCORE 635074.823
AT ITER 5226 NEW BEST:: SOT 4408132 SOS 685427 HAS SOPS 685427 HAS SOUS 633993 HAS SOUPS 633993 WITH SCORE 634678.427
AT ITER 5231 NEW BEST:: SOT 4408062 SOS 685526 HAS SOPS 685526 HAS SOUS 633910 HAS SOUPS 633910 WITH SCORE 634595.526
AT ITER 5233 NEW BEST:: SOT 4407934 SOS 685270 HAS SOPS 685270 HAS SOUS 633667 HAS SOUPS 633667 WITH SCORE 634352.27
AT ITER 5253 NEW BEST:: SOT 4407807 SOS 685016 HAS SOPS 685016 HAS SOUS 633413 HAS SOUPS 633413 WITH SCORE 634098.016
AT ITER 5255 NEW BEST:: SOT 4407513 SOS 684428 HAS SOPS 684428 HAS SOUS 632825 HAS SOUPS 632825 WITH SCORE 633509.428
AT ITER 5257 NEW BEST:: SOT 4407315 SOS 684230 HAS SOPS 684230 HAS SOUS 632627 HAS SOUPS 632627 WITH SCORE 633311.23
AT ITER 5294 NEW BEST:: SOT 4407081 SOS 683762 HAS SOPS 683762 HAS SOUS 632159 HAS SOUPS 632159 WITH SCORE 632842.762
AT ITER 5298 NEW BEST:: SOT 4407055 SOS 683710 HAS SOPS 683710 HAS SOUS 632107 HAS SOUPS 632107 WITH SCORE 632790.71
AT ITER 5308 NEW BEST:: SOT 4406920 SOS 683512 HAS SOPS 683512 HAS SOUS 631981 HAS SOUPS 631981 WITH SCORE 632664.512
AT ITER 5312 NEW BEST:: SOT 4406920 SOS 683458 HAS SOPS 683458 HAS SOUS 631981 HAS SOUPS 631981 WITH SCORE 632664.458
AT ITER 5315 NEW BEST:: SOT 4406879 SOS 683417 HAS SOPS 683417 HAS SOUS 631940 HAS SOUPS 631940 WITH SCORE 632623.417
AT ITER 5327 NEW BEST:: SOT 4406847 SOS 683385 HAS SOPS 683385 HAS SOUS 631908 HAS SOUPS 631908 WITH SCORE 632591.385
AT ITER 5330 NEW BEST:: SOT 4406794 SOS 683332 HAS SOPS 683332 HAS SOUS 631855 HAS SOUPS 631855 WITH SCORE 632538.332
AT ITER 5332 NEW BEST:: SOT 4406794 SOS 683315 HAS SOPS 683315 HAS SOUS 631838 HAS SOUPS 631838 WITH SCORE 632521.315
AT ITER 5341 NEW BEST:: SOT 4406783 SOS 683293 HAS SOPS 683293 HAS SOUS 631827 HAS SOUPS 631827 WITH SCORE 632510.293
AT ITER 5345 NEW BEST:: SOT 4406783 SOS 683293 HAS SOPS 683293 HAS SOUS 631789 HAS SOUPS 631789 WITH SCORE 632472.293
AT ITER 5375 NEW BEST:: SOT 4406775 SOS 683277 HAS SOPS 683277 HAS SOUS 631773 HAS SOUPS 631773 WITH SCORE 632456.277
AT ITER 5387 NEW BEST:: SOT 4406636 SOS 682999 HAS SOPS 682999 HAS SOUS 631495 HAS SOUPS 631495 WITH SCORE 632177.999
AT ITER 5404 NEW BEST:: SOT 4406636 SOS 682999 HAS SOPS 682999 HAS SOUS 631476 HAS SOUPS 631476 WITH SCORE 632158.999
AT ITER 5438 NEW BEST:: SOT 4406534 SOS 683003 HAS SOPS 683003 HAS SOUS 631411 HAS SOUPS 631411 WITH SCORE 632094.003
AT ITER 5444 NEW BEST:: SOT 4406534 SOS 682761 HAS SOPS 682761 HAS SOUS 631411 HAS SOUPS 631411 WITH SCORE 632093.761
AT ITER 5460 NEW BEST:: SOT 4406511 SOS 682715 HAS SOPS 682715 HAS SOUS 631388 HAS SOUPS 631388 WITH SCORE 632070.715
AT ITER 5475 NEW BEST:: SOT 4406440 SOS 682573 HAS SOPS 682573 HAS SOUS 631316 HAS SOUPS 631316 WITH SCORE 631998.573
AT ITER 5481 NEW BEST:: SOT 4406411 SOS 682515 HAS SOPS 682515 HAS SOUS 631287 HAS SOUPS 631287 WITH SCORE 631969.515
AT ITER 5488 NEW BEST:: SOT 4406410 SOS 682513 HAS SOPS 682513 HAS SOUS 631285 HAS SOUPS 631285 WITH SCORE 631967.513
AT ITER 5491 NEW BEST:: SOT 4406372 SOS 682437 HAS SOPS 682437 HAS SOUS 631243 HAS SOUPS 631243 WITH SCORE 631925.437
AT ITER 5514 NEW BEST:: SOT 4406290 SOS 682441 HAS SOPS 682441 HAS SOUS 631161 HAS SOUPS 631161 WITH SCORE 631843.441
AT ITER 5520 NEW BEST:: SOT 4406203 SOS 682267 HAS SOPS 682267 HAS SOUS 630987 HAS SOUPS 630987 WITH SCORE 631669.267
AT ITER 5538 NEW BEST:: SOT 4406103 SOS 682067 HAS SOPS 682067 HAS SOUS 630787 HAS SOUPS 630787 WITH SCORE 631469.067
AT ITER 5543 NEW BEST:: SOT 4405957 SOS 681956 HAS SOPS 681956 HAS SOUS 630641 HAS SOUPS 630641 WITH SCORE 631322.956
AT ITER 5566 NEW BEST:: SOT 4405577 SOS 681410 HAS SOPS 681410 HAS SOUS 630095 HAS SOUPS 630095 WITH SCORE 630776.41
AT ITER 5586 NEW BEST:: SOT 4405577 SOS 681410 HAS SOPS 681410 HAS SOUS 630031 HAS SOUPS 630031 WITH SCORE 630712.41
AT ITER 5594 NEW BEST:: SOT 4405577 SOS 681217 HAS SOPS 681217 HAS SOUS 629838 HAS SOUPS 629838 WITH SCORE 630519.217
AT ITER 5646 NEW BEST:: SOT 4405496 SOS 680974 HAS SOPS 680974 HAS SOUS 629757 HAS SOUPS 629757 WITH SCORE 630437.974
AT ITER 5650 NEW BEST:: SOT 4405429 SOS 680724 HAS SOPS 680724 HAS SOUS 629619 HAS SOUPS 629619 WITH SCORE 630299.724
AT ITER 5662 NEW BEST:: SOT 4405358 SOS 680688 HAS SOPS 680688 HAS SOUS 629583 HAS SOUPS 629583 WITH SCORE 630263.688
AT ITER 5677 NEW BEST:: SOT 4405318 SOS 680315 HAS SOPS 680315 HAS SOUS 628928 HAS SOUPS 628928 WITH SCORE 629608.315
AT ITER 5683 NEW BEST:: SOT 4405083 SOS 680067 HAS SOPS 680067 HAS SOUS 628680 HAS SOUPS 628680 WITH SCORE 629360.067
AT ITER 5703 NEW BEST:: SOT 4405045 SOS 679991 HAS SOPS 679991 HAS SOUS 628604 HAS SOUPS 628604 WITH SCORE 629283.991
AT ITER 5707 NEW BEST:: SOT 4405053 SOS 680007 HAS SOPS 680007 HAS SOUS 628475 HAS SOUPS 628475 WITH SCORE 629155.007
AT ITER 5723 NEW BEST:: SOT 4404905 SOS 679983 HAS SOPS 679983 HAS SOUS 628380 HAS SOUPS 628380 WITH SCORE 629059.983
AT ITER 5758 NEW BEST:: SOT 4404905 SOS 679983 HAS SOPS 679983 HAS SOUS 628346 HAS SOUPS 628346 WITH SCORE 629025.983
AT ITER 5791 NEW BEST:: SOT 4404824 SOS 679821 HAS SOPS 679821 HAS SOUS 628265 HAS SOUPS 628265 WITH SCORE 628944.821
AT ITER 5799 NEW BEST:: SOT 4404752 SOS 679677 HAS SOPS 679677 HAS SOUS 628121 HAS SOUPS 628121 WITH SCORE 628800.677
AT ITER 5801 NEW BEST:: SOT 4404752 SOS 679467 HAS SOPS 679467 HAS SOUS 628121 HAS SOUPS 628121 WITH SCORE 628800.467
AT ITER 5829 NEW BEST:: SOT 4404751 SOS 679465 HAS SOPS 679465 HAS SOUS 628119 HAS SOUPS 628119 WITH SCORE 628798.465
AT ITER 5831 NEW BEST:: SOT 4404645 SOS 679253 HAS SOPS 679253 HAS SOUS 628041 HAS SOUPS 628041 WITH SCORE 628720.253
AT ITER 5914 NEW BEST:: SOT 4404645 SOS 679229 HAS SOPS 679229 HAS SOUS 628017 HAS SOUPS 628017 WITH SCORE 628696.229
AT ITER 5918 NEW BEST:: SOT 4404530 SOS 679134 HAS SOPS 679134 HAS SOUS 627902 HAS SOUPS 627902 WITH SCORE 628581.134
AT ITER 5974 NEW BEST:: SOT 4404530 SOS 679048 HAS SOPS 679048 HAS SOUS 627816 HAS SOUPS 627816 WITH SCORE 628495.048
AT ITER 6012 NEW BEST:: SOT 4404751 SOS 678956 HAS SOPS 678956 HAS SOUS 627766 HAS SOUPS 627766 WITH SCORE 628444.956
AT ITER 6074 NEW BEST:: SOT 4404678 SOS 678810 HAS SOPS 678810 HAS SOUS 627620 HAS SOUPS 627620 WITH SCORE 628298.81
AT ITER 6085 NEW BEST:: SOT 4404677 SOS 678808 HAS SOPS 678808 HAS SOUS 627618 HAS SOUPS 627618 WITH SCORE 628296.808
AT ITER 6163 NEW BEST:: SOT 4404653 SOS 678760 HAS SOPS 678760 HAS SOUS 627570 HAS SOUPS 627570 WITH SCORE 628248.76
AT ITER 6192 NEW BEST:: SOT 4404263 SOS 678332 HAS SOPS 678332 HAS SOUS 627096 HAS SOUPS 627096 WITH SCORE 627774.332
AT ITER 6212 NEW BEST:: SOT 4404335 SOS 678476 HAS SOPS 678476 HAS SOUS 626918 HAS SOUPS 626918 WITH SCORE 627596.476
AT ITER 6216 NEW BEST:: SOT 4404335 SOS 678330 HAS SOPS 678330 HAS SOUS 626918 HAS SOUPS 626918 WITH SCORE 627596.33
AT ITER 6243 NEW BEST:: SOT 4404283 SOS 678418 HAS SOPS 678418 HAS SOUS 626909 HAS SOUPS 626909 WITH SCORE 627587.418
AT ITER 6247 NEW BEST:: SOT 4404232 SOS 678316 HAS SOPS 678316 HAS SOUS 626858 HAS SOUPS 626858 WITH SCORE 627536.316
AT ITER 6258 NEW BEST:: SOT 4404282 SOS 678416 HAS SOPS 678416 HAS SOUS 626837 HAS SOUPS 626837 WITH SCORE 627515.416
AT ITER 6316 NEW BEST:: SOT 4404184 SOS 677962 HAS SOPS 677962 HAS SOUS 626610 HAS SOUPS 626610 WITH SCORE 627287.962
AT ITER 6330 NEW BEST:: SOT 4403943 SOS 677788 HAS SOPS 677788 HAS SOUS 626291 HAS SOUPS 626291 WITH SCORE 626968.788
AT ITER 6385 NEW BEST:: SOT 4403793 SOS 677638 HAS SOPS 677638 HAS SOUS 626141 HAS SOUPS 626141 WITH SCORE 626818.638
AT ITER 6404 NEW BEST:: SOT 4403756 SOS 677564 HAS SOPS 677564 HAS SOUS 626095 HAS SOUPS 626095 WITH SCORE 626772.564
AT ITER 6405 NEW BEST:: SOT 4403756 SOS 677564 HAS SOPS 677564 HAS SOUS 626081 HAS SOUPS 626081 WITH SCORE 626758.564
AT ITER 6412 NEW BEST:: SOT 4403702 SOS 677456 HAS SOPS 677456 HAS SOUS 625973 HAS SOUPS 625973 WITH SCORE 626650.456
AT ITER 6447 NEW BEST:: SOT 4403769 SOS 677140 HAS SOPS 677140 HAS SOUS 625590 HAS SOUPS 625590 WITH SCORE 626267.14
AT ITER 6515 NEW BEST:: SOT 4403694 SOS 676990 HAS SOPS 676990 HAS SOUS 625514 HAS SOUPS 625514 WITH SCORE 626190.99
AT ITER 6527 NEW BEST:: SOT 4403485 SOS 676572 HAS SOPS 676572 HAS SOUS 625096 HAS SOUPS 625096 WITH SCORE 625772.572
AT ITER 6555 NEW BEST:: SOT 4403485 SOS 676572 HAS SOPS 676572 HAS SOUS 625027 HAS SOUPS 625027 WITH SCORE 625703.572
AT ITER 6572 NEW BEST:: SOT 4403281 SOS 676275 HAS SOPS 676275 HAS SOUS 624823 HAS SOUPS 624823 WITH SCORE 625499.275
AT ITER 6587 NEW BEST:: SOT 4403242 SOS 676281 HAS SOPS 676281 HAS SOUS 624800 HAS SOUPS 624800 WITH SCORE 625476.281
AT ITER 6614 NEW BEST:: SOT 4403047 SOS 676151 HAS SOPS 676151 HAS SOUS 624605 HAS SOUPS 624605 WITH SCORE 625281.151
AT ITER 6635 NEW BEST:: SOT 4403047 SOS 676151 HAS SOPS 676151 HAS SOUS 624383 HAS SOUPS 624383 WITH SCORE 625059.151
AT ITER 6659 NEW BEST:: SOT 4403014 SOS 676085 HAS SOPS 676085 HAS SOUS 624317 HAS SOUPS 624317 WITH SCORE 624993.085
AT ITER 6670 NEW BEST:: SOT 4402905 SOS 676201 HAS SOPS 676201 HAS SOUS 624113 HAS SOUPS 624113 WITH SCORE 624789.201
AT ITER 6682 NEW BEST:: SOT 4402701 SOS 675371 HAS SOPS 675371 HAS SOUS 623594 HAS SOUPS 623594 WITH SCORE 624269.371
AT ITER 6696 NEW BEST:: SOT 4402939 SOS 675047 HAS SOPS 675047 HAS SOUS 623459 HAS SOUPS 623459 WITH SCORE 624134.047
AT ITER 6700 NEW BEST:: SOT 4402934 SOS 675037 HAS SOPS 675037 HAS SOUS 623449 HAS SOUPS 623449 WITH SCORE 624124.037
AT ITER 6701 NEW BEST:: SOT 4402898 SOS 674893 HAS SOPS 674893 HAS SOUS 623413 HAS SOUPS 623413 WITH SCORE 624087.893
AT ITER 6709 NEW BEST:: SOT 4402806 SOS 674801 HAS SOPS 674801 HAS SOUS 623321 HAS SOUPS 623321 WITH SCORE 623995.801
AT ITER 6778 NEW BEST:: SOT 4402722 SOS 674633 HAS SOPS 674633 HAS SOUS 622911 HAS SOUPS 622911 WITH SCORE 623585.633
AT ITER 6793 NEW BEST:: SOT 4402718 SOS 674625 HAS SOPS 674625 HAS SOUS 622903 HAS SOUPS 622903 WITH SCORE 623577.625
AT ITER 6839 NEW BEST:: SOT 4402718 SOS 674513 HAS SOPS 674513 HAS SOUS 622875 HAS SOUPS 622875 WITH SCORE 623549.513
AT ITER 6895 NEW BEST:: SOT 4402718 SOS 674490 HAS SOPS 674490 HAS SOUS 622852 HAS SOUPS 622852 WITH SCORE 623526.49
AT ITER 6907 NEW BEST:: SOT 4402718 SOS 674490 HAS SOPS 674490 HAS SOUS 622849 HAS SOUPS 622849 WITH SCORE 623523.49
AT ITER 6919 NEW BEST:: SOT 4403090 SOS 674348 HAS SOPS 674348 HAS SOUS 622707 HAS SOUPS 622707 WITH SCORE 623381.348
AT ITER 6923 NEW BEST:: SOT 4403131 SOS 674086 HAS SOPS 674086 HAS SOUS 622404 HAS SOUPS 622404 WITH SCORE 623078.086
AT ITER 6948 NEW BEST:: SOT 4403117 SOS 674058 HAS SOPS 674058 HAS SOUS 622390 HAS SOUPS 622390 WITH SCORE 623064.058
AT ITER 6986 NEW BEST:: SOT 4403018 SOS 673983 HAS SOPS 673983 HAS SOUS 622192 HAS SOUPS 622192 WITH SCORE 622865.983
AT ITER 6990 NEW BEST:: SOT 4402991 SOS 673929 HAS SOPS 673929 HAS SOUS 622138 HAS SOUPS 622138 WITH SCORE 622811.929
AT ITER 7002 NEW BEST:: SOT 4402875 SOS 673697 HAS SOPS 673697 HAS SOUS 621811 HAS SOUPS 621811 WITH SCORE 622484.697
AT ITER 7006 NEW BEST:: SOT 4402874 SOS 673690 HAS SOPS 673690 HAS SOUS 621804 HAS SOUPS 621804 WITH SCORE 622477.69
AT ITER 7037 NEW BEST:: SOT 4402879 SOS 673552 HAS SOPS 673552 HAS SOUS 621780 HAS SOUPS 621780 WITH SCORE 622453.552
AT ITER 7040 NEW BEST:: SOT 4402757 SOS 673423 HAS SOPS 673423 HAS SOUS 621651 HAS SOUPS 621651 WITH SCORE 622324.423
AT ITER 7074 NEW BEST:: SOT 4402648 SOS 673467 HAS SOPS 673467 HAS SOUS 621594 HAS SOUPS 621594 WITH SCORE 622267.467
AT ITER 7148 NEW BEST:: SOT 4402511 SOS 673193 HAS SOPS 673193 HAS SOUS 621320 HAS SOUPS 621320 WITH SCORE 621993.193
AT ITER 7160 NEW BEST:: SOT 4402190 SOS 672740 HAS SOPS 672740 HAS SOUS 620867 HAS SOUPS 620867 WITH SCORE 621539.74
AT ITER 7167 NEW BEST:: SOT 4402190 SOS 672740 HAS SOPS 672740 HAS SOUS 620791 HAS SOUPS 620791 WITH SCORE 621463.74
AT ITER 7169 NEW BEST:: SOT 4402275 SOS 672697 HAS SOPS 672697 HAS SOUS 620748 HAS SOUPS 620748 WITH SCORE 621420.697
AT ITER 7205 NEW BEST:: SOT 4402070 SOS 672492 HAS SOPS 672492 HAS SOUS 620543 HAS SOUPS 620543 WITH SCORE 621215.492
AT ITER 7214 NEW BEST:: SOT 4402094 SOS 672394 HAS SOPS 672394 HAS SOUS 620445 HAS SOUPS 620445 WITH SCORE 621117.394
AT ITER 7242 NEW BEST:: SOT 4402093 SOS 672392 HAS SOPS 672392 HAS SOUS 620443 HAS SOUPS 620443 WITH SCORE 621115.392
AT ITER 7262 NEW BEST:: SOT 4402003 SOS 672343 HAS SOPS 672343 HAS SOUS 620353 HAS SOUPS 620353 WITH SCORE 621025.343
AT ITER 7298 NEW BEST:: SOT 4401918 SOS 672278 HAS SOPS 672278 HAS SOUS 620353 HAS SOUPS 620353 WITH SCORE 621025.278
AT ITER 7318 NEW BEST:: SOT 4401894 SOS 672230 HAS SOPS 672230 HAS SOUS 620299 HAS SOUPS 620299 WITH SCORE 620971.23
AT ITER 7319 NEW BEST:: SOT 4401790 SOS 672022 HAS SOPS 672022 HAS SOUS 620091 HAS SOUPS 620091 WITH SCORE 620763.022
AT ITER 7379 NEW BEST:: SOT 4401613 SOS 671668 HAS SOPS 671668 HAS SOUS 619967 HAS SOUPS 619967 WITH SCORE 620638.668
AT ITER 7388 NEW BEST:: SOT 4401601 SOS 671644 HAS SOPS 671644 HAS SOUS 619943 HAS SOUPS 619943 WITH SCORE 620614.644
AT ITER 7391 NEW BEST:: SOT 4401548 SOS 671591 HAS SOPS 671591 HAS SOUS 619837 HAS SOUPS 619837 WITH SCORE 620508.591
AT ITER 7405 NEW BEST:: SOT 4401540 SOS 671590 HAS SOPS 671590 HAS SOUS 619836 HAS SOUPS 619836 WITH SCORE 620507.59
AT ITER 7412 NEW BEST:: SOT 4401448 SOS 671406 HAS SOPS 671406 HAS SOUS 619744 HAS SOUPS 619744 WITH SCORE 620415.406
AT ITER 7427 NEW BEST:: SOT 4401426 SOS 671384 HAS SOPS 671384 HAS SOUS 619722 HAS SOUPS 619722 WITH SCORE 620393.384
AT ITER 7451 NEW BEST:: SOT 4401230 SOS 670992 HAS SOPS 670992 HAS SOUS 619330 HAS SOUPS 619330 WITH SCORE 620000.992
AT ITER 7459 NEW BEST:: SOT 4401229 SOS 670992 HAS SOPS 670992 HAS SOUS 619329 HAS SOUPS 619329 WITH SCORE 619999.992
AT ITER 7495 NEW BEST:: SOT 4401229 SOS 670974 HAS SOPS 670974 HAS SOUS 619329 HAS SOUPS 619329 WITH SCORE 619999.974
AT ITER 7556 NEW BEST:: SOT 4401229 SOS 670974 HAS SOPS 670974 HAS SOUS 619065 HAS SOUPS 619065 WITH SCORE 619735.974
AT ITER 7584 NEW BEST:: SOT 4401220 SOS 670956 HAS SOPS 670956 HAS SOUS 619047 HAS SOUPS 619047 WITH SCORE 619717.956
AT ITER 7698 NEW BEST:: SOT 4401066 SOS 670802 HAS SOPS 670802 HAS SOUS 618893 HAS SOUPS 618893 WITH SCORE 619563.802
AT ITER 7727 NEW BEST:: SOT 4400909 SOS 670488 HAS SOPS 670488 HAS SOUS 618630 HAS SOUPS 618630 WITH SCORE 619300.488
AT ITER 7729 NEW BEST:: SOT 4400829 SOS 670418 HAS SOPS 670418 HAS SOUS 618610 HAS SOUPS 618610 WITH SCORE 619280.418
AT ITER 7748 NEW BEST:: SOT 4400693 SOS 670336 HAS SOPS 670336 HAS SOUS 618528 HAS SOUPS 618528 WITH SCORE 619198.336
AT ITER 7755 NEW BEST:: SOT 4400651 SOS 670252 HAS SOPS 670252 HAS SOUS 618444 HAS SOUPS 618444 WITH SCORE 619114.252
AT ITER 7760 NEW BEST:: SOT 4400539 SOS 670028 HAS SOPS 670028 HAS SOUS 618220 HAS SOUPS 618220 WITH SCORE 618890.028
AT ITER 7761 NEW BEST:: SOT 4400457 SOS 670235 HAS SOPS 670235 HAS SOUS 618215 HAS SOUPS 618215 WITH SCORE 618885.235
AT ITER 7786 NEW BEST:: SOT 4400457 SOS 670235 HAS SOPS 670235 HAS SOUS 617944 HAS SOUPS 617944 WITH SCORE 618614.235
AT ITER 7789 NEW BEST:: SOT 4400426 SOS 670173 HAS SOPS 670173 HAS SOUS 617938 HAS SOUPS 617938 WITH SCORE 618608.173
AT ITER 7807 NEW BEST:: SOT 4400339 SOS 670086 HAS SOPS 670086 HAS SOUS 617851 HAS SOUPS 617851 WITH SCORE 618521.086
AT ITER 7814 NEW BEST:: SOT 4400297 SOS 670002 HAS SOPS 670002 HAS SOUS 617788 HAS SOUPS 617788 WITH SCORE 618458.002
AT ITER 7818 NEW BEST:: SOT 4400296 SOS 670000 HAS SOPS 670000 HAS SOUS 617786 HAS SOUPS 617786 WITH SCORE 618456.0
AT ITER 7830 NEW BEST:: SOT 4400216 SOS 669920 HAS SOPS 669920 HAS SOUS 617706 HAS SOUPS 617706 WITH SCORE 618375.92
AT ITER 7845 NEW BEST:: SOT 4400150 SOS 669788 HAS SOPS 669788 HAS SOUS 617574 HAS SOUPS 617574 WITH SCORE 618243.788
AT ITER 7883 NEW BEST:: SOT 4400061 SOS 669610 HAS SOPS 669610 HAS SOUS 617396 HAS SOUPS 617396 WITH SCORE 618065.61
AT ITER 7892 NEW BEST:: SOT 4399785 SOS 669333 HAS SOPS 669333 HAS SOUS 617251 HAS SOUPS 617251 WITH SCORE 617920.333
AT ITER 7901 NEW BEST:: SOT 4399682 SOS 669356 HAS SOPS 669356 HAS SOUS 617237 HAS SOUPS 617237 WITH SCORE 617906.356
AT ITER 7927 NEW BEST:: SOT 4400017 SOS 669320 HAS SOPS 669320 HAS SOUS 617219 HAS SOUPS 617219 WITH SCORE 617888.32
AT ITER 7936 NEW BEST:: SOT 4400030 SOS 669148 HAS SOPS 669148 HAS SOUS 617047 HAS SOUPS 617047 WITH SCORE 617716.148
AT ITER 7990 NEW BEST:: SOT 4399846 SOS 668780 HAS SOPS 668780 HAS SOUS 616749 HAS SOUPS 616749 WITH SCORE 617417.78
AT ITER 8000 NEW BEST:: SOT 4399829 SOS 668790 HAS SOPS 668790 HAS SOUS 616736 HAS SOUPS 616736 WITH SCORE 617404.79
AT ITER 8001 NEW BEST:: SOT 4399820 SOS 668772 HAS SOPS 668772 HAS SOUS 616718 HAS SOUPS 616718 WITH SCORE 617386.772
AT ITER 8042 NEW BEST:: SOT 4399815 SOS 668762 HAS SOPS 668762 HAS SOUS 616713 HAS SOUPS 616713 WITH SCORE 617381.762
AT ITER 8066 NEW BEST:: SOT 4399798 SOS 668728 HAS SOPS 668728 HAS SOUS 616679 HAS SOUPS 616679 WITH SCORE 617347.728
AT ITER 8097 NEW BEST:: SOT 4399638 SOS 668408 HAS SOPS 668408 HAS SOUS 616359 HAS SOUPS 616359 WITH SCORE 617027.408
AT ITER 8106 NEW BEST:: SOT 4399607 SOS 668346 HAS SOPS 668346 HAS SOUS 616297 HAS SOUPS 616297 WITH SCORE 616965.346
AT ITER 8108 NEW BEST:: SOT 4399552 SOS 668236 HAS SOPS 668236 HAS SOUS 616187 HAS SOUPS 616187 WITH SCORE 616855.236
AT ITER 8112 NEW BEST:: SOT 4399650 SOS 668150 HAS SOPS 668150 HAS SOUS 616101 HAS SOUPS 616101 WITH SCORE 616769.15
AT ITER 8115 NEW BEST:: SOT 4399538 SOS 668146 HAS SOPS 668146 HAS SOUS 616099 HAS SOUPS 616099 WITH SCORE 616767.146
AT ITER 8117 NEW BEST:: SOT 4399538 SOS 668063 HAS SOPS 668063 HAS SOUS 616099 HAS SOUPS 616099 WITH SCORE 616767.063
AT ITER 8140 NEW BEST:: SOT 4399512 SOS 668011 HAS SOPS 668011 HAS SOUS 616038 HAS SOUPS 616038 WITH SCORE 616706.011
AT ITER 8181 NEW BEST:: SOT 4399512 SOS 668011 HAS SOPS 668011 HAS SOUS 615992 HAS SOUPS 615992 WITH SCORE 616660.011
AT ITER 8184 NEW BEST:: SOT 4399511 SOS 668009 HAS SOPS 668009 HAS SOUS 615990 HAS SOUPS 615990 WITH SCORE 616658.009
AT ITER 8198 NEW BEST:: SOT 4399453 SOS 667893 HAS SOPS 667893 HAS SOUS 615932 HAS SOUPS 615932 WITH SCORE 616599.893
AT ITER 8204 NEW BEST:: SOT 4399453 SOS 667744 HAS SOPS 667744 HAS SOUS 615932 HAS SOUPS 615932 WITH SCORE 616599.744
AT ITER 8207 NEW BEST:: SOT 4399417 SOS 667672 HAS SOPS 667672 HAS SOUS 615860 HAS SOUPS 615860 WITH SCORE 616527.672
AT ITER 8242 NEW BEST:: SOT 4399281 SOS 667264 HAS SOPS 667264 HAS SOUS 615588 HAS SOUPS 615588 WITH SCORE 616255.264
AT ITER 8250 NEW BEST:: SOT 4399023 SOS 666748 HAS SOPS 666748 HAS SOUS 615072 HAS SOUPS 615072 WITH SCORE 615738.748
AT ITER 8267 NEW BEST:: SOT 4398950 SOS 666602 HAS SOPS 666602 HAS SOUS 614999 HAS SOUPS 614999 WITH SCORE 615665.602
AT ITER 8289 NEW BEST:: SOT 4398784 SOS 666592 HAS SOPS 666592 HAS SOUS 614962 HAS SOUPS 614962 WITH SCORE 615628.592
AT ITER 8310 NEW BEST:: SOT 4398780 SOS 666584 HAS SOPS 666584 HAS SOUS 614954 HAS SOUPS 614954 WITH SCORE 615620.584
AT ITER 8327 NEW BEST:: SOT 4398718 SOS 666460 HAS SOPS 666460 HAS SOUS 614830 HAS SOUPS 614830 WITH SCORE 615496.46
AT ITER 8334 NEW BEST:: SOT 4398548 SOS 666120 HAS SOPS 666120 HAS SOUS 614490 HAS SOUPS 614490 WITH SCORE 615156.12
AT ITER 8347 NEW BEST:: SOT 4398470 SOS 665964 HAS SOPS 665964 HAS SOUS 614359 HAS SOUPS 614359 WITH SCORE 615024.964
AT ITER 8375 NEW BEST:: SOT 4398472 SOS 665623 HAS SOPS 665623 HAS SOUS 614018 HAS SOUPS 614018 WITH SCORE 614683.623
AT ITER 8384 NEW BEST:: SOT 4398438 SOS 665555 HAS SOPS 665555 HAS SOUS 613967 HAS SOUPS 613967 WITH SCORE 614632.555
AT ITER 8394 NEW BEST:: SOT 4397769 SOS 665937 HAS SOPS 665937 HAS SOUS 613384 HAS SOUPS 613384 WITH SCORE 614049.937
AT ITER 8432 NEW BEST:: SOT 4397762 SOS 665923 HAS SOPS 665923 HAS SOUS 613377 HAS SOUPS 613377 WITH SCORE 614042.923
AT ITER 8447 NEW BEST:: SOT 4397573 SOS 665545 HAS SOPS 665545 HAS SOUS 612999 HAS SOUPS 612999 WITH SCORE 613664.545
AT ITER 8456 NEW BEST:: SOT 4397415 SOS 665397 HAS SOPS 665397 HAS SOUS 612846 HAS SOUPS 612846 WITH SCORE 613511.397
AT ITER 8499 NEW BEST:: SOT 4397345 SOS 665257 HAS SOPS 665257 HAS SOUS 612776 HAS SOUPS 612776 WITH SCORE 613441.257
AT ITER 8506 NEW BEST:: SOT 4397287 SOS 665141 HAS SOPS 665141 HAS SOUS 612718 HAS SOUPS 612718 WITH SCORE 613383.141
AT ITER 8515 NEW BEST:: SOT 4397287 SOS 665141 HAS SOPS 665141 HAS SOUS 612717 HAS SOUPS 612717 WITH SCORE 613382.141
AT ITER 8548 NEW BEST:: SOT 4397373 SOS 664766 HAS SOPS 664766 HAS SOUS 612563 HAS SOUPS 612563 WITH SCORE 613227.766
AT ITER 8565 NEW BEST:: SOT 4397162 SOS 664344 HAS SOPS 664344 HAS SOUS 612141 HAS SOUPS 612141 WITH SCORE 612805.344
AT ITER 8576 NEW BEST:: SOT 4397097 SOS 664214 HAS SOPS 664214 HAS SOUS 612011 HAS SOUPS 612011 WITH SCORE 612675.214
AT ITER 8595 NEW BEST:: SOT 4397058 SOS 664097 HAS SOPS 664097 HAS SOUS 611933 HAS SOUPS 611933 WITH SCORE 612597.097
AT ITER 8605 NEW BEST:: SOT 4397112 SOS 664205 HAS SOPS 664205 HAS SOUS 611921 HAS SOUPS 611921 WITH SCORE 612585.205
AT ITER 8608 NEW BEST:: SOT 4396990 SOS 663961 HAS SOPS 663961 HAS SOUS 611392 HAS SOUPS 611392 WITH SCORE 612055.961
AT ITER 8617 NEW BEST:: SOT 4396912 SOS 663648 HAS SOPS 663648 HAS SOUS 611079 HAS SOUPS 611079 WITH SCORE 611742.648
AT ITER 8629 NEW BEST:: SOT 4396885 SOS 663621 HAS SOPS 663621 HAS SOUS 611079 HAS SOUPS 611079 WITH SCORE 611742.621
AT ITER 8632 NEW BEST:: SOT 4396783 SOS 663417 HAS SOPS 663417 HAS SOUS 610875 HAS SOUPS 610875 WITH SCORE 611538.417
AT ITER 8668 NEW BEST:: SOT 4396552 SOS 663373 HAS SOPS 663373 HAS SOUS 610760 HAS SOUPS 610760 WITH SCORE 611423.373
AT ITER 8720 NEW BEST:: SOT 4396346 SOS 663587 HAS SOPS 663587 HAS SOUS 610756 HAS SOUPS 610756 WITH SCORE 611419.587
AT ITER 8736 NEW BEST:: SOT 4396305 SOS 663505 HAS SOPS 663505 HAS SOUS 610715 HAS SOUPS 610715 WITH SCORE 611378.505
AT ITER 8760 NEW BEST:: SOT 4396338 SOS 663484 HAS SOPS 663484 HAS SOUS 610661 HAS SOUPS 610661 WITH SCORE 611324.484
AT ITER 8763 NEW BEST:: SOT 4396338 SOS 663471 HAS SOPS 663471 HAS SOUS 610648 HAS SOUPS 610648 WITH SCORE 611311.471
AT ITER 8799 NEW BEST:: SOT 4396318 SOS 663263 HAS SOPS 663263 HAS SOUS 610460 HAS SOUPS 610460 WITH SCORE 611123.263
AT ITER 8814 NEW BEST:: SOT 4396257 SOS 663202 HAS SOPS 663202 HAS SOUS 610399 HAS SOUPS 610399 WITH SCORE 611062.202
AT ITER 8850 NEW BEST:: SOT 4396248 SOS 663211 HAS SOPS 663211 HAS SOUS 610390 HAS SOUPS 610390 WITH SCORE 611053.211
AT ITER 8862 NEW BEST:: SOT 4396246 SOS 663207 HAS SOPS 663207 HAS SOUS 610386 HAS SOUPS 610386 WITH SCORE 611049.207
AT ITER 8881 NEW BEST:: SOT 4396227 SOS 663207 HAS SOPS 663207 HAS SOUS 610367 HAS SOUPS 610367 WITH SCORE 611030.207
AT ITER 8889 NEW BEST:: SOT 4396191 SOS 663135 HAS SOPS 663135 HAS SOUS 610295 HAS SOUPS 610295 WITH SCORE 610958.135
AT ITER 8898 NEW BEST:: SOT 4395979 SOS 663067 HAS SOPS 663067 HAS SOUS 610103 HAS SOUPS 610103 WITH SCORE 610766.067
AT ITER 8947 NEW BEST:: SOT 4395949 SOS 663007 HAS SOPS 663007 HAS SOUS 610043 HAS SOUPS 610043 WITH SCORE 610706.007
AT ITER 8963 NEW BEST:: SOT 4395740 SOS 662807 HAS SOPS 662807 HAS SOUS 609843 HAS SOUPS 609843 WITH SCORE 610505.807
AT ITER 8996 NEW BEST:: SOT 4395791 SOS 662909 HAS SOPS 662909 HAS SOUS 609710 HAS SOUPS 609710 WITH SCORE 610372.909
AT ITER 9008 NEW BEST:: SOT 4395011 SOS 662483 HAS SOPS 662483 HAS SOUS 608956 HAS SOUPS 608956 WITH SCORE 609618.483
AT ITER 9062 NEW BEST:: SOT 4394855 SOS 662249 HAS SOPS 662249 HAS SOUS 608722 HAS SOUPS 608722 WITH SCORE 609384.249
AT ITER 9065 NEW BEST:: SOT 4394849 SOS 662243 HAS SOPS 662243 HAS SOUS 608716 HAS SOUPS 608716 WITH SCORE 609378.243
AT ITER 9090 NEW BEST:: SOT 4394836 SOS 662217 HAS SOPS 662217 HAS SOUS 608701 HAS SOUPS 608701 WITH SCORE 609363.217
AT ITER 9100 NEW BEST:: SOT 4394779 SOS 662103 HAS SOPS 662103 HAS SOUS 608654 HAS SOUPS 608654 WITH SCORE 609316.103
AT ITER 9115 NEW BEST:: SOT 4394850 SOS 662005 HAS SOPS 662005 HAS SOUS 608556 HAS SOUPS 608556 WITH SCORE 609218.005
AT ITER 9146 NEW BEST:: SOT 4394850 SOS 661931 HAS SOPS 661931 HAS SOUS 608482 HAS SOUPS 608482 WITH SCORE 609143.931
AT ITER 9150 NEW BEST:: SOT 4394794 SOS 661423 HAS SOPS 661423 HAS SOUS 608352 HAS SOUPS 608352 WITH SCORE 609013.423
AT ITER 9169 NEW BEST:: SOT 4394841 SOS 661058 HAS SOPS 661058 HAS SOUS 607987 HAS SOUPS 607987 WITH SCORE 608648.058
AT ITER 9204 NEW BEST:: SOT 4394841 SOS 661058 HAS SOPS 661058 HAS SOUS 607974 HAS SOUPS 607974 WITH SCORE 608635.058
AT ITER 9242 NEW BEST:: SOT 4394806 SOS 660988 HAS SOPS 660988 HAS SOUS 607939 HAS SOUPS 607939 WITH SCORE 608599.988
AT ITER 9259 NEW BEST:: SOT 4394584 SOS 660823 HAS SOPS 660823 HAS SOUS 607717 HAS SOUPS 607717 WITH SCORE 608377.823
AT ITER 9260 NEW BEST:: SOT 4394584 SOS 660823 HAS SOPS 660823 HAS SOUS 607454 HAS SOUPS 607454 WITH SCORE 608114.823
AT ITER 9284 NEW BEST:: SOT 4394515 SOS 660754 HAS SOPS 660754 HAS SOUS 607316 HAS SOUPS 607316 WITH SCORE 607976.754
AT ITER 9286 NEW BEST:: SOT 4394515 SOS 660754 HAS SOPS 660754 HAS SOUS 607136 HAS SOUPS 607136 WITH SCORE 607796.754
AT ITER 9322 NEW BEST:: SOT 4394475 SOS 660674 HAS SOPS 660674 HAS SOUS 607056 HAS SOUPS 607056 WITH SCORE 607716.674
AT ITER 9339 NEW BEST:: SOT 4394495 SOS 660425 HAS SOPS 660425 HAS SOUS 606807 HAS SOUPS 606807 WITH SCORE 607467.425
AT ITER 9348 NEW BEST:: SOT 4394502 SOS 660829 HAS SOPS 660829 HAS SOUS 606806 HAS SOUPS 606806 WITH SCORE 607466.829
AT ITER 9349 NEW BEST:: SOT 4394502 SOS 660755 HAS SOPS 660755 HAS SOUS 606806 HAS SOUPS 606806 WITH SCORE 607466.755
AT ITER 9417 NEW BEST:: SOT 4394474 SOS 660699 HAS SOPS 660699 HAS SOUS 606669 HAS SOUPS 606669 WITH SCORE 607329.699
AT ITER 9445 NEW BEST:: SOT 4394539 SOS 660611 HAS SOPS 660611 HAS SOUS 606599 HAS SOUPS 606599 WITH SCORE 607259.611
AT ITER 9531 NEW BEST:: SOT 4394321 SOS 660393 HAS SOPS 660393 HAS SOUS 606381 HAS SOUPS 606381 WITH SCORE 607041.393
AT ITER 9566 NEW BEST:: SOT 4394320 SOS 660391 HAS SOPS 660391 HAS SOUS 606379 HAS SOUPS 606379 WITH SCORE 607039.391
AT ITER 9605 NEW BEST:: SOT 4394124 SOS 660195 HAS SOPS 660195 HAS SOUS 606183 HAS SOUPS 606183 WITH SCORE 606843.195
AT ITER 9614 NEW BEST:: SOT 4394117 SOS 660181 HAS SOPS 660181 HAS SOUS 606176 HAS SOUPS 606176 WITH SCORE 606836.181
AT ITER 9639 NEW BEST:: SOT 4394031 SOS 660009 HAS SOPS 660009 HAS SOUS 606004 HAS SOUPS 606004 WITH SCORE 606664.009
AT ITER 9642 NEW BEST:: SOT 4394031 SOS 659985 HAS SOPS 659985 HAS SOUS 605980 HAS SOUPS 605980 WITH SCORE 606639.985
AT ITER 9656 NEW BEST:: SOT 4393991 SOS 659905 HAS SOPS 659905 HAS SOUS 605956 HAS SOUPS 605956 WITH SCORE 606615.905
AT ITER 9662 NEW BEST:: SOT 4393986 SOS 659895 HAS SOPS 659895 HAS SOUS 605951 HAS SOUPS 605951 WITH SCORE 606610.895
AT ITER 9676 NEW BEST:: SOT 4393949 SOS 659821 HAS SOPS 659821 HAS SOUS 605914 HAS SOUPS 605914 WITH SCORE 606573.821
AT ITER 9683 NEW BEST:: SOT 4393568 SOS 658596 HAS SOPS 658596 HAS SOUS 605500 HAS SOUPS 605500 WITH SCORE 606158.596
AT ITER 9684 NEW BEST:: SOT 4393477 SOS 658414 HAS SOPS 658414 HAS SOUS 605356 HAS SOUPS 605356 WITH SCORE 606014.414
AT ITER 9716 NEW BEST:: SOT 4393476 SOS 658412 HAS SOPS 658412 HAS SOUS 605354 HAS SOUPS 605354 WITH SCORE 606012.412
AT ITER 9718 NEW BEST:: SOT 4393440 SOS 658516 HAS SOPS 658516 HAS SOUS 605336 HAS SOUPS 605336 WITH SCORE 605994.516
AT ITER 9737 NEW BEST:: SOT 4393318 SOS 658272 HAS SOPS 658272 HAS SOUS 605092 HAS SOUPS 605092 WITH SCORE 605750.272
AT ITER 9756 NEW BEST:: SOT 4393141 SOS 657918 HAS SOPS 657918 HAS SOUS 604738 HAS SOUPS 604738 WITH SCORE 605395.918
AT ITER 9773 NEW BEST:: SOT 4393280 SOS 657841 HAS SOPS 657841 HAS SOUS 604717 HAS SOUPS 604717 WITH SCORE 605374.841
AT ITER 9789 NEW BEST:: SOT 4393114 SOS 657509 HAS SOPS 657509 HAS SOUS 604385 HAS SOUPS 604385 WITH SCORE 605042.509
AT ITER 9793 NEW BEST:: SOT 4393114 SOS 657405 HAS SOPS 657405 HAS SOUS 604281 HAS SOUPS 604281 WITH SCORE 604938.405
AT ITER 9814 NEW BEST:: SOT 4393198 SOS 657352 HAS SOPS 657352 HAS SOUS 604228 HAS SOUPS 604228 WITH SCORE 604885.352
AT ITER 9883 NEW BEST:: SOT 4392928 SOS 656812 HAS SOPS 656812 HAS SOUS 603688 HAS SOUPS 603688 WITH SCORE 604344.812
AT ITER 9891 NEW BEST:: SOT 4392684 SOS 659096 HAS SOPS 659096 HAS SOUS 603552 HAS SOUPS 603552 WITH SCORE 604211.096
AT ITER 9909 NEW BEST:: SOT 4392764 SOS 658922 HAS SOPS 658922 HAS SOUS 603378 HAS SOUPS 603378 WITH SCORE 604036.922
AT ITER 9910 NEW BEST:: SOT 4392737 SOS 658868 HAS SOPS 658868 HAS SOUS 603351 HAS SOUPS 603351 WITH SCORE 604009.868
AT ITER 9911 NEW BEST:: SOT 4392489 SOS 658677 HAS SOPS 658677 HAS SOUS 603160 HAS SOUPS 603160 WITH SCORE 603818.677
AT ITER 9990 NEW BEST:: SOT 4392465 SOS 658629 HAS SOPS 658629 HAS SOUS 603112 HAS SOUPS 603112 WITH SCORE 603770.629
AT ITER 9998 NEW BEST:: SOT 4392414 SOS 658527 HAS SOPS 658527 HAS SOUS 602944 HAS SOUPS 602944 WITH SCORE 603602.527
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 12533152 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16154524 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-316"
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-316, 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-167814472000128"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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