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.r451-smll-167912643800648.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 StigmergyElection-PT-07b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r451-smll-167912643800648
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 6.7K Feb 26 16:22 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 26 16:22 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 16:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 47K Feb 26 16:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.3K Feb 25 17:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 30K Feb 25 17:14 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:14 LTLFireability.xml
-rw-r--r-- 1 mcc users 13K Feb 26 16:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 139K Feb 26 16:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 9.4K Feb 26 16:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 26 16:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 3.4M Mar 5 18:23 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 1679331415599

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=StigmergyElection-PT-07b
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyElection (PT), instance 07b
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: 971 places, 5542 transitions, 65199 arcs.
AT ITER 0 NEW BEST:: SOT 4442720 SOS 744390 HAS SOPS 744390 HAS SOUS 521033 HAS SOUPS 521033 WITH SCORE 521777.39
AT ITER 11 NEW BEST:: SOT 4439223 SOS 1193659 HAS SOPS 1193659 HAS SOUS 518953 HAS SOUPS 518953 WITH SCORE 520146.659
AT ITER 18 NEW BEST:: SOT 4439219 SOS 1193650 HAS SOPS 1193650 HAS SOUS 518944 HAS SOUPS 518944 WITH SCORE 520137.65
AT ITER 26 NEW BEST:: SOT 4439211 SOS 1193634 HAS SOPS 1193634 HAS SOUS 518928 HAS SOUPS 518928 WITH SCORE 520121.634
AT ITER 31 NEW BEST:: SOT 4436824 SOS 1207911 HAS SOPS 1207911 HAS SOUS 517172 HAS SOUPS 517172 WITH SCORE 518379.911
AT ITER 40 NEW BEST:: SOT 4436787 SOS 1207874 HAS SOPS 1207874 HAS SOUS 517135 HAS SOUPS 517135 WITH SCORE 518342.874
AT ITER 68 NEW BEST:: SOT 4436673 SOS 1207722 HAS SOPS 1207722 HAS SOUS 516983 HAS SOUPS 516983 WITH SCORE 518190.722
AT ITER 90 NEW BEST:: SOT 4436522 SOS 1207227 HAS SOPS 1207227 HAS SOUS 516488 HAS SOUPS 516488 WITH SCORE 517695.227
AT ITER 92 NEW BEST:: SOT 4436426 SOS 1207131 HAS SOPS 1207131 HAS SOUS 516392 HAS SOUPS 516392 WITH SCORE 517599.131
AT ITER 106 NEW BEST:: SOT 4436998 SOS 1207903 HAS SOPS 1207903 HAS SOUS 516332 HAS SOUPS 516332 WITH SCORE 517539.903
AT ITER 114 NEW BEST:: SOT 4430213 SOS 1417523 HAS SOPS 1417523 HAS SOUS 511423 HAS SOUPS 511423 WITH SCORE 512840.523
AT ITER 116 NEW BEST:: SOT 4424003 SOS 1411427 HAS SOPS 1411427 HAS SOUS 505369 HAS SOUPS 505369 WITH SCORE 506780.427
AT ITER 127 NEW BEST:: SOT 4424003 SOS 1411441 HAS SOPS 1411441 HAS SOUS 505239 HAS SOUPS 505239 WITH SCORE 506650.441
AT ITER 142 NEW BEST:: SOT 4407779 SOS 1440816 HAS SOPS 1440816 HAS SOUS 489649 HAS SOUPS 489649 WITH SCORE 491089.816
AT ITER 153 NEW BEST:: SOT 4407778 SOS 1440814 HAS SOPS 1440814 HAS SOUS 489647 HAS SOUPS 489647 WITH SCORE 491087.814
AT ITER 166 NEW BEST:: SOT 4381960 SOS 1548302 HAS SOPS 1548302 HAS SOUS 471847 HAS SOUPS 471847 WITH SCORE 473395.302
AT ITER 169 NEW BEST:: SOT 4381959 SOS 1548300 HAS SOPS 1548300 HAS SOUS 471845 HAS SOUPS 471845 WITH SCORE 473393.3
AT ITER 199 NEW BEST:: SOT 4381960 SOS 1548481 HAS SOPS 1548481 HAS SOUS 471832 HAS SOUPS 471832 WITH SCORE 473380.481
AT ITER 200 NEW BEST:: SOT 4381783 SOS 1548127 HAS SOPS 1548127 HAS SOUS 471655 HAS SOUPS 471655 WITH SCORE 473203.127
AT ITER 203 NEW BEST:: SOT 4381783 SOS 1548127 HAS SOPS 1548127 HAS SOUS 471581 HAS SOUPS 471581 WITH SCORE 473129.127
AT ITER 205 NEW BEST:: SOT 4379766 SOS 1554425 HAS SOPS 1554425 HAS SOUS 470217 HAS SOUPS 470217 WITH SCORE 471771.425
AT ITER 221 NEW BEST:: SOT 4376230 SOS 1550873 HAS SOPS 1550873 HAS SOUS 466420 HAS SOUPS 466420 WITH SCORE 467970.873
AT ITER 226 NEW BEST:: SOT 4373796 SOS 1626128 HAS SOPS 1626128 HAS SOUS 465116 HAS SOUPS 465116 WITH SCORE 466742.128
AT ITER 229 NEW BEST:: SOT 4373743 SOS 1626130 HAS SOPS 1626130 HAS SOUS 465094 HAS SOUPS 465094 WITH SCORE 466720.13
AT ITER 233 NEW BEST:: SOT 4373665 SOS 1625974 HAS SOPS 1625974 HAS SOUS 464938 HAS SOUPS 464938 WITH SCORE 466563.974
AT ITER 261 NEW BEST:: SOT 4373527 SOS 1625698 HAS SOPS 1625698 HAS SOUS 464800 HAS SOUPS 464800 WITH SCORE 466425.698
AT ITER 265 NEW BEST:: SOT 4370190 SOS 1695290 HAS SOPS 1695290 HAS SOUS 461906 HAS SOUPS 461906 WITH SCORE 463601.29
AT ITER 274 NEW BEST:: SOT 4370082 SOS 1695074 HAS SOPS 1695074 HAS SOUS 461798 HAS SOUPS 461798 WITH SCORE 463493.074
AT ITER 285 NEW BEST:: SOT 4358809 SOS 1801629 HAS SOPS 1801629 HAS SOUS 455034 HAS SOUPS 455034 WITH SCORE 456835.629
AT ITER 289 NEW BEST:: SOT 4358805 SOS 1801621 HAS SOPS 1801621 HAS SOUS 455026 HAS SOUPS 455026 WITH SCORE 456827.621
AT ITER 296 NEW BEST:: SOT 4324439 SOS 1775292 HAS SOPS 1775292 HAS SOUS 421616 HAS SOUPS 421616 WITH SCORE 423391.292
AT ITER 299 NEW BEST:: SOT 4324397 SOS 1775267 HAS SOPS 1775267 HAS SOUS 421591 HAS SOUPS 421591 WITH SCORE 423366.267
AT ITER 300 NEW BEST:: SOT 4324397 SOS 1775257 HAS SOPS 1775257 HAS SOUS 421581 HAS SOUPS 421581 WITH SCORE 423356.257
AT ITER 305 NEW BEST:: SOT 4324354 SOS 1775171 HAS SOPS 1775171 HAS SOUS 421537 HAS SOUPS 421537 WITH SCORE 423312.171
AT ITER 320 NEW BEST:: SOT 4324322 SOS 1775160 HAS SOPS 1775160 HAS SOUS 421526 HAS SOUPS 421526 WITH SCORE 423301.16
AT ITER 338 NEW BEST:: SOT 4324382 SOS 1775073 HAS SOPS 1775073 HAS SOUS 421439 HAS SOUPS 421439 WITH SCORE 423214.073
AT ITER 350 NEW BEST:: SOT 4311788 SOS 1817207 HAS SOPS 1817207 HAS SOUS 412595 HAS SOUPS 412595 WITH SCORE 414412.207
AT ITER 354 NEW BEST:: SOT 4308676 SOS 1848527 HAS SOPS 1848527 HAS SOUS 412130 HAS SOUPS 412130 WITH SCORE 413978.527
AT ITER 361 NEW BEST:: SOT 4308104 SOS 1847832 HAS SOPS 1847832 HAS SOUS 411435 HAS SOUPS 411435 WITH SCORE 413282.832
AT ITER 376 NEW BEST:: SOT 4307939 SOS 1847502 HAS SOPS 1847502 HAS SOUS 411270 HAS SOUPS 411270 WITH SCORE 413117.502
AT ITER 413 NEW BEST:: SOT 4305276 SOS 1878869 HAS SOPS 1878869 HAS SOUS 410189 HAS SOUPS 410189 WITH SCORE 412067.869
AT ITER 437 NEW BEST:: SOT 4305264 SOS 1878845 HAS SOPS 1878845 HAS SOUS 410165 HAS SOUPS 410165 WITH SCORE 412043.845
AT ITER 446 NEW BEST:: SOT 4304881 SOS 1878079 HAS SOPS 1878079 HAS SOUS 409658 HAS SOUPS 409658 WITH SCORE 411536.079
AT ITER 460 NEW BEST:: SOT 4304903 SOS 1877991 HAS SOPS 1877991 HAS SOUS 409650 HAS SOUPS 409650 WITH SCORE 411527.991
AT ITER 463 NEW BEST:: SOT 4304872 SOS 1855330 HAS SOPS 1855330 HAS SOUS 409588 HAS SOUPS 409588 WITH SCORE 411443.33
AT ITER 466 NEW BEST:: SOT 4304823 SOS 1855281 HAS SOPS 1855281 HAS SOUS 409539 HAS SOUPS 409539 WITH SCORE 411394.281
AT ITER 469 NEW BEST:: SOT 4304819 SOS 1855273 HAS SOPS 1855273 HAS SOUS 409531 HAS SOUPS 409531 WITH SCORE 411386.273
AT ITER 493 NEW BEST:: SOT 4304819 SOS 1826437 HAS SOPS 1826437 HAS SOUS 409264 HAS SOUPS 409264 WITH SCORE 411090.437
AT ITER 499 NEW BEST:: SOT 4303531 SOS 1828404 HAS SOPS 1828404 HAS SOUS 408372 HAS SOUPS 408372 WITH SCORE 410200.404
AT ITER 592 NEW BEST:: SOT 4303360 SOS 1828062 HAS SOPS 1828062 HAS SOUS 408201 HAS SOUPS 408201 WITH SCORE 410029.062
AT ITER 603 NEW BEST:: SOT 4303360 SOS 1828005 HAS SOPS 1828005 HAS SOUS 408144 HAS SOUPS 408144 WITH SCORE 409972.005
AT ITER 606 NEW BEST:: SOT 4303288 SOS 1827861 HAS SOPS 1827861 HAS SOUS 408000 HAS SOUPS 408000 WITH SCORE 409827.861
AT ITER 643 NEW BEST:: SOT 4299392 SOS 1827989 HAS SOPS 1827989 HAS SOUS 404914 HAS SOUPS 404914 WITH SCORE 406741.989
AT ITER 658 NEW BEST:: SOT 4299332 SOS 1798989 HAS SOPS 1798989 HAS SOUS 404515 HAS SOUPS 404515 WITH SCORE 406313.989
AT ITER 672 NEW BEST:: SOT 4299332 SOS 1798852 HAS SOPS 1798852 HAS SOUS 404378 HAS SOUPS 404378 WITH SCORE 406176.852
AT ITER 674 NEW BEST:: SOT 4299290 SOS 1798768 HAS SOPS 1798768 HAS SOUS 404294 HAS SOUPS 404294 WITH SCORE 406092.768
AT ITER 678 NEW BEST:: SOT 4299256 SOS 1798700 HAS SOPS 1798700 HAS SOUS 404226 HAS SOUPS 404226 WITH SCORE 406024.7
AT ITER 690 NEW BEST:: SOT 4239719 SOS 1921520 HAS SOPS 1921520 HAS SOUS 371645 HAS SOUPS 371645 WITH SCORE 373566.52
AT ITER 712 NEW BEST:: SOT 4239719 SOS 1921520 HAS SOPS 1921520 HAS SOUS 371462 HAS SOUPS 371462 WITH SCORE 373383.52
AT ITER 717 NEW BEST:: SOT 4239718 SOS 1921518 HAS SOPS 1921518 HAS SOUS 371460 HAS SOUPS 371460 WITH SCORE 373381.518
AT ITER 721 NEW BEST:: SOT 4239608 SOS 1921298 HAS SOPS 1921298 HAS SOUS 371350 HAS SOUPS 371350 WITH SCORE 373271.298
AT ITER 736 NEW BEST:: SOT 4239552 SOS 1921186 HAS SOPS 1921186 HAS SOUS 371340 HAS SOUPS 371340 WITH SCORE 373261.186
AT ITER 743 NEW BEST:: SOT 4239551 SOS 1921184 HAS SOPS 1921184 HAS SOUS 371338 HAS SOUPS 371338 WITH SCORE 373259.184
AT ITER 750 NEW BEST:: SOT 4239550 SOS 1921182 HAS SOPS 1921182 HAS SOUS 371336 HAS SOUPS 371336 WITH SCORE 373257.182
AT ITER 777 NEW BEST:: SOT 4239373 SOS 1872120 HAS SOPS 1872120 HAS SOUS 370131 HAS SOUPS 370131 WITH SCORE 372003.12
AT ITER 784 NEW BEST:: SOT 4239373 SOS 1872000 HAS SOPS 1872000 HAS SOUS 370011 HAS SOUPS 370011 WITH SCORE 371883.0
AT ITER 786 NEW BEST:: SOT 4239305 SOS 1871864 HAS SOPS 1871864 HAS SOUS 369961 HAS SOUPS 369961 WITH SCORE 371832.864
AT ITER 835 NEW BEST:: SOT 4239280 SOS 1871814 HAS SOPS 1871814 HAS SOUS 369956 HAS SOUPS 369956 WITH SCORE 371827.814
AT ITER 852 NEW BEST:: SOT 4239268 SOS 1871790 HAS SOPS 1871790 HAS SOUS 369932 HAS SOUPS 369932 WITH SCORE 371803.79
AT ITER 859 NEW BEST:: SOT 4239268 SOS 1871790 HAS SOPS 1871790 HAS SOUS 369921 HAS SOUPS 369921 WITH SCORE 371792.79
AT ITER 886 NEW BEST:: SOT 4239147 SOS 1871223 HAS SOPS 1871223 HAS SOUS 369499 HAS SOUPS 369499 WITH SCORE 371370.223
AT ITER 891 NEW BEST:: SOT 4238972 SOS 1871191 HAS SOPS 1871191 HAS SOUS 369326 HAS SOUPS 369326 WITH SCORE 371197.191
AT ITER 911 NEW BEST:: SOT 4238971 SOS 1871189 HAS SOPS 1871189 HAS SOUS 369324 HAS SOUPS 369324 WITH SCORE 371195.189
AT ITER 926 NEW BEST:: SOT 4232638 SOS 1866917 HAS SOPS 1866917 HAS SOUS 363417 HAS SOUPS 363417 WITH SCORE 365283.917
AT ITER 983 NEW BEST:: SOT 4232458 SOS 1866557 HAS SOPS 1866557 HAS SOUS 363057 HAS SOUPS 363057 WITH SCORE 364923.557
AT ITER 984 NEW BEST:: SOT 4232442 SOS 1866540 HAS SOPS 1866540 HAS SOUS 363040 HAS SOUPS 363040 WITH SCORE 364906.54
AT ITER 986 NEW BEST:: SOT 4232441 SOS 1866538 HAS SOPS 1866538 HAS SOUS 363038 HAS SOUPS 363038 WITH SCORE 364904.538
AT ITER 988 NEW BEST:: SOT 4217500 SOS 1947836 HAS SOPS 1947836 HAS SOUS 350620 HAS SOUPS 350620 WITH SCORE 352567.836
AT ITER 1011 NEW BEST:: SOT 4192990 SOS 1931859 HAS SOPS 1931859 HAS SOUS 330466 HAS SOUPS 330466 WITH SCORE 332397.859
AT ITER 1033 NEW BEST:: SOT 4192979 SOS 1931837 HAS SOPS 1931837 HAS SOUS 330444 HAS SOUPS 330444 WITH SCORE 332375.837
AT ITER 1041 NEW BEST:: SOT 4192903 SOS 1931685 HAS SOPS 1931685 HAS SOUS 330292 HAS SOUPS 330292 WITH SCORE 332223.685
AT ITER 1042 NEW BEST:: SOT 4192774 SOS 1931427 HAS SOPS 1931427 HAS SOUS 330186 HAS SOUPS 330186 WITH SCORE 332117.427
AT ITER 1063 NEW BEST:: SOT 4192640 SOS 1931159 HAS SOPS 1931159 HAS SOUS 329918 HAS SOUPS 329918 WITH SCORE 331849.159
AT ITER 1079 NEW BEST:: SOT 4192439 SOS 1930757 HAS SOPS 1930757 HAS SOUS 329717 HAS SOUPS 329717 WITH SCORE 331647.757
AT ITER 1080 NEW BEST:: SOT 4192431 SOS 1930749 HAS SOPS 1930749 HAS SOUS 329709 HAS SOUPS 329709 WITH SCORE 331639.749
AT ITER 1105 NEW BEST:: SOT 4192060 SOS 1930225 HAS SOPS 1930225 HAS SOUS 329185 HAS SOUPS 329185 WITH SCORE 331115.225
AT ITER 1107 NEW BEST:: SOT 4192029 SOS 1930163 HAS SOPS 1930163 HAS SOUS 329123 HAS SOUPS 329123 WITH SCORE 331053.163
AT ITER 1114 NEW BEST:: SOT 4191963 SOS 1930031 HAS SOPS 1930031 HAS SOUS 328991 HAS SOUPS 328991 WITH SCORE 330921.031
AT ITER 1138 NEW BEST:: SOT 4191963 SOS 1929869 HAS SOPS 1929869 HAS SOUS 328829 HAS SOUPS 328829 WITH SCORE 330758.869
AT ITER 1152 NEW BEST:: SOT 4187963 SOS 1925869 HAS SOPS 1925869 HAS SOUS 324629 HAS SOUPS 324629 WITH SCORE 326554.869
AT ITER 1171 NEW BEST:: SOT 4187922 SOS 1925787 HAS SOPS 1925787 HAS SOUS 324588 HAS SOUPS 324588 WITH SCORE 326513.787
AT ITER 1174 NEW BEST:: SOT 4187824 SOS 1925591 HAS SOPS 1925591 HAS SOUS 324570 HAS SOUPS 324570 WITH SCORE 326495.591
AT ITER 1193 NEW BEST:: SOT 4187808 SOS 1925575 HAS SOPS 1925575 HAS SOUS 324554 HAS SOUPS 324554 WITH SCORE 326479.575
AT ITER 1200 NEW BEST:: SOT 4187620 SOS 1925199 HAS SOPS 1925199 HAS SOUS 324460 HAS SOUPS 324460 WITH SCORE 326385.199
AT ITER 1213 NEW BEST:: SOT 4187143 SOS 1924245 HAS SOPS 1924245 HAS SOUS 323506 HAS SOUPS 323506 WITH SCORE 325430.245
AT ITER 1234 NEW BEST:: SOT 4187142 SOS 1923307 HAS SOPS 1923307 HAS SOUS 323231 HAS SOUPS 323231 WITH SCORE 325154.307
AT ITER 1291 NEW BEST:: SOT 4187138 SOS 1923295 HAS SOPS 1923295 HAS SOUS 323223 HAS SOUPS 323223 WITH SCORE 325146.295
AT ITER 1296 NEW BEST:: SOT 4187137 SOS 1923293 HAS SOPS 1923293 HAS SOUS 323221 HAS SOUPS 323221 WITH SCORE 325144.293
AT ITER 1357 NEW BEST:: SOT 4187136 SOS 1916001 HAS SOPS 1916001 HAS SOUS 323204 HAS SOUPS 323204 WITH SCORE 325120.001
AT ITER 1373 NEW BEST:: SOT 4186926 SOS 1916484 HAS SOPS 1916484 HAS SOUS 323101 HAS SOUPS 323101 WITH SCORE 325017.484
AT ITER 1389 NEW BEST:: SOT 4186925 SOS 1916482 HAS SOPS 1916482 HAS SOUS 323099 HAS SOUPS 323099 WITH SCORE 325015.482
AT ITER 1410 NEW BEST:: SOT 4187039 SOS 1913702 HAS SOPS 1913702 HAS SOUS 322772 HAS SOUPS 322772 WITH SCORE 324685.702
AT ITER 1414 NEW BEST:: SOT 4186985 SOS 1913594 HAS SOPS 1913594 HAS SOUS 322718 HAS SOUPS 322718 WITH SCORE 324631.594
AT ITER 1436 NEW BEST:: SOT 4186984 SOS 1913592 HAS SOPS 1913592 HAS SOUS 322716 HAS SOUPS 322716 WITH SCORE 324629.592
AT ITER 1443 NEW BEST:: SOT 4186938 SOS 1913500 HAS SOPS 1913500 HAS SOUS 322624 HAS SOUPS 322624 WITH SCORE 324537.5
AT ITER 1450 NEW BEST:: SOT 4186837 SOS 1913399 HAS SOPS 1913399 HAS SOUS 322523 HAS SOUPS 322523 WITH SCORE 324436.399
AT ITER 1459 NEW BEST:: SOT 4186833 SOS 1913395 HAS SOPS 1913395 HAS SOUS 322515 HAS SOUPS 322515 WITH SCORE 324428.395
AT ITER 1466 NEW BEST:: SOT 4186833 SOS 1913394 HAS SOPS 1913394 HAS SOUS 322514 HAS SOUPS 322514 WITH SCORE 324427.394
AT ITER 1468 NEW BEST:: SOT 4186806 SOS 1913370 HAS SOPS 1913370 HAS SOUS 322497 HAS SOUPS 322497 WITH SCORE 324410.37
AT ITER 1477 NEW BEST:: SOT 4186799 SOS 1913356 HAS SOPS 1913356 HAS SOUS 322483 HAS SOUPS 322483 WITH SCORE 324396.356
AT ITER 1481 NEW BEST:: SOT 4186795 SOS 1913352 HAS SOPS 1913352 HAS SOUS 322479 HAS SOUPS 322479 WITH SCORE 324392.352
AT ITER 1483 NEW BEST:: SOT 4186694 SOS 1913150 HAS SOPS 1913150 HAS SOUS 322277 HAS SOUPS 322277 WITH SCORE 324190.15
AT ITER 1493 NEW BEST:: SOT 4186692 SOS 1910106 HAS SOPS 1910106 HAS SOUS 322237 HAS SOUPS 322237 WITH SCORE 324147.106
AT ITER 1497 NEW BEST:: SOT 4186679 SOS 1910080 HAS SOPS 1910080 HAS SOUS 322211 HAS SOUPS 322211 WITH SCORE 324121.08
AT ITER 1514 NEW BEST:: SOT 4186506 SOS 1909734 HAS SOPS 1909734 HAS SOUS 322066 HAS SOUPS 322066 WITH SCORE 323975.734
AT ITER 1547 NEW BEST:: SOT 4186479 SOS 1909680 HAS SOPS 1909680 HAS SOUS 322012 HAS SOUPS 322012 WITH SCORE 323921.68
AT ITER 1575 NEW BEST:: SOT 4183655 SOS 1907392 HAS SOPS 1907392 HAS SOUS 319246 HAS SOUPS 319246 WITH SCORE 321153.392
AT ITER 1581 NEW BEST:: SOT 4145325 SOS 2064723 HAS SOPS 2064723 HAS SOUS 291546 HAS SOUPS 291546 WITH SCORE 293610.723
AT ITER 1591 NEW BEST:: SOT 4145274 SOS 2064621 HAS SOPS 2064621 HAS SOUS 291541 HAS SOUPS 291541 WITH SCORE 293605.621
AT ITER 1600 NEW BEST:: SOT 4145218 SOS 2064509 HAS SOPS 2064509 HAS SOUS 291514 HAS SOUPS 291514 WITH SCORE 293578.509
AT ITER 1613 NEW BEST:: SOT 4145190 SOS 2064481 HAS SOPS 2064481 HAS SOUS 291514 HAS SOUPS 291514 WITH SCORE 293578.481
AT ITER 1629 NEW BEST:: SOT 4145235 SOS 2064571 HAS SOPS 2064571 HAS SOUS 291416 HAS SOUPS 291416 WITH SCORE 293480.571
AT ITER 1659 NEW BEST:: SOT 4130530 SOS 2065110 HAS SOPS 2065110 HAS SOUS 277804 HAS SOUPS 277804 WITH SCORE 279869.11
AT ITER 1661 NEW BEST:: SOT 4130497 SOS 2065096 HAS SOPS 2065096 HAS SOUS 277780 HAS SOUPS 277780 WITH SCORE 279845.096
AT ITER 1662 NEW BEST:: SOT 4071972 SOS 2166205 HAS SOPS 2166205 HAS SOUS 257783 HAS SOUPS 257783 WITH SCORE 259949.205
AT ITER 1664 NEW BEST:: SOT 4071965 SOS 2166147 HAS SOPS 2166147 HAS SOUS 257725 HAS SOUPS 257725 WITH SCORE 259891.147
AT ITER 1670 NEW BEST:: SOT 4066896 SOS 2161200 HAS SOPS 2161200 HAS SOUS 252778 HAS SOUPS 252778 WITH SCORE 254939.2
AT ITER 1683 NEW BEST:: SOT 4066774 SOS 2161978 HAS SOPS 2161978 HAS SOUS 251192 HAS SOUPS 251192 WITH SCORE 253353.978
AT ITER 1690 NEW BEST:: SOT 4066770 SOS 2161970 HAS SOPS 2161970 HAS SOUS 251184 HAS SOUPS 251184 WITH SCORE 253345.97
AT ITER 1693 NEW BEST:: SOT 4066695 SOS 2161894 HAS SOPS 2161894 HAS SOUS 251108 HAS SOUPS 251108 WITH SCORE 253269.894
AT ITER 1695 NEW BEST:: SOT 4066608 SOS 2162985 HAS SOPS 2162985 HAS SOUS 251026 HAS SOUPS 251026 WITH SCORE 253188.985
AT ITER 1703 NEW BEST:: SOT 4057225 SOS 2183175 HAS SOPS 2183175 HAS SOUS 242096 HAS SOUPS 242096 WITH SCORE 244279.175
AT ITER 1723 NEW BEST:: SOT 4057145 SOS 2182935 HAS SOPS 2182935 HAS SOUS 241936 HAS SOUPS 241936 WITH SCORE 244118.935
AT ITER 1733 NEW BEST:: SOT 4057144 SOS 2182933 HAS SOPS 2182933 HAS SOUS 241934 HAS SOUPS 241934 WITH SCORE 244116.933
AT ITER 1735 NEW BEST:: SOT 4057170 SOS 2182985 HAS SOPS 2182985 HAS SOUS 241855 HAS SOUPS 241855 WITH SCORE 244037.985
AT ITER 1755 NEW BEST:: SOT 4057122 SOS 2182889 HAS SOPS 2182889 HAS SOUS 241727 HAS SOUPS 241727 WITH SCORE 243909.889
AT ITER 1759 NEW BEST:: SOT 4056997 SOS 2182639 HAS SOPS 2182639 HAS SOUS 241477 HAS SOUPS 241477 WITH SCORE 243659.639
AT ITER 1769 NEW BEST:: SOT 4056962 SOS 2182569 HAS SOPS 2182569 HAS SOUS 241407 HAS SOUPS 241407 WITH SCORE 243589.569
AT ITER 1772 NEW BEST:: SOT 4056893 SOS 2182431 HAS SOPS 2182431 HAS SOUS 241269 HAS SOUPS 241269 WITH SCORE 243451.431
AT ITER 1784 NEW BEST:: SOT 4056700 SOS 2073289 HAS SOPS 2073289 HAS SOUS 240443 HAS SOUPS 240443 WITH SCORE 242516.289
AT ITER 1785 NEW BEST:: SOT 4056661 SOS 2073211 HAS SOPS 2073211 HAS SOUS 240403 HAS SOUPS 240403 WITH SCORE 242476.211
AT ITER 1787 NEW BEST:: SOT 4056631 SOS 2073151 HAS SOPS 2073151 HAS SOUS 240343 HAS SOUPS 240343 WITH SCORE 242416.151
AT ITER 1825 NEW BEST:: SOT 4056625 SOS 2073139 HAS SOPS 2073139 HAS SOUS 240334 HAS SOUPS 240334 WITH SCORE 242407.139
AT ITER 1836 NEW BEST:: SOT 4056624 SOS 2073137 HAS SOPS 2073137 HAS SOUS 240332 HAS SOUPS 240332 WITH SCORE 242405.137
AT ITER 1840 NEW BEST:: SOT 4056582 SOS 2073053 HAS SOPS 2073053 HAS SOUS 240248 HAS SOUPS 240248 WITH SCORE 242321.053
AT ITER 1861 NEW BEST:: SOT 4056569 SOS 2073027 HAS SOPS 2073027 HAS SOUS 240222 HAS SOUPS 240222 WITH SCORE 242295.027
AT ITER 1864 NEW BEST:: SOT 4056365 SOS 2072619 HAS SOPS 2072619 HAS SOUS 239965 HAS SOUPS 239965 WITH SCORE 242037.619
AT ITER 1868 NEW BEST:: SOT 4056365 SOS 2072613 HAS SOPS 2072613 HAS SOUS 239959 HAS SOUPS 239959 WITH SCORE 242031.613
AT ITER 1869 NEW BEST:: SOT 4056394 SOS 2072671 HAS SOPS 2072671 HAS SOUS 239855 HAS SOUPS 239855 WITH SCORE 241927.671
AT ITER 1881 NEW BEST:: SOT 4056259 SOS 2072266 HAS SOPS 2072266 HAS SOUS 239720 HAS SOUPS 239720 WITH SCORE 241792.266
AT ITER 1888 NEW BEST:: SOT 4056141 SOS 2072030 HAS SOPS 2072030 HAS SOUS 239484 HAS SOUPS 239484 WITH SCORE 241556.03
AT ITER 1895 NEW BEST:: SOT 4055898 SOS 2091957 HAS SOPS 2091957 HAS SOUS 239417 HAS SOUPS 239417 WITH SCORE 241508.957
AT ITER 1899 NEW BEST:: SOT 4055898 SOS 2091957 HAS SOPS 2091957 HAS SOUS 239241 HAS SOUPS 239241 WITH SCORE 241332.957
AT ITER 1900 NEW BEST:: SOT 4055883 SOS 2091927 HAS SOPS 2091927 HAS SOUS 239175 HAS SOUPS 239175 WITH SCORE 241266.927
AT ITER 1902 NEW BEST:: SOT 4055723 SOS 2091767 HAS SOPS 2091767 HAS SOUS 239015 HAS SOUPS 239015 WITH SCORE 241106.767
AT ITER 1921 NEW BEST:: SOT 4055710 SOS 2091741 HAS SOPS 2091741 HAS SOUS 238989 HAS SOUPS 238989 WITH SCORE 241080.741
AT ITER 1927 NEW BEST:: SOT 4055669 SOS 2091659 HAS SOPS 2091659 HAS SOUS 238948 HAS SOUPS 238948 WITH SCORE 241039.659
AT ITER 1940 NEW BEST:: SOT 4055624 SOS 2091569 HAS SOPS 2091569 HAS SOUS 238858 HAS SOUPS 238858 WITH SCORE 240949.569
AT ITER 1953 NEW BEST:: SOT 4055516 SOS 2091353 HAS SOPS 2091353 HAS SOUS 238642 HAS SOUPS 238642 WITH SCORE 240733.353
AT ITER 1959 NEW BEST:: SOT 4055420 SOS 2091161 HAS SOPS 2091161 HAS SOUS 238450 HAS SOUPS 238450 WITH SCORE 240541.161
AT ITER 1978 NEW BEST:: SOT 4055361 SOS 2091043 HAS SOPS 2091043 HAS SOUS 238391 HAS SOUPS 238391 WITH SCORE 240482.043
AT ITER 1981 NEW BEST:: SOT 4055345 SOS 2088723 HAS SOPS 2088723 HAS SOUS 238119 HAS SOUPS 238119 WITH SCORE 240207.723
AT ITER 1993 NEW BEST:: SOT 4055114 SOS 2088261 HAS SOPS 2088261 HAS SOUS 237657 HAS SOUPS 237657 WITH SCORE 239745.261
AT ITER 2004 NEW BEST:: SOT 4055113 SOS 2088259 HAS SOPS 2088259 HAS SOUS 237655 HAS SOUPS 237655 WITH SCORE 239743.259
AT ITER 2051 NEW BEST:: SOT 4055113 SOS 2088240 HAS SOPS 2088240 HAS SOUS 237655 HAS SOUPS 237655 WITH SCORE 239743.24
AT ITER 2059 NEW BEST:: SOT 4055009 SOS 2087834 HAS SOPS 2087834 HAS SOUS 237588 HAS SOUPS 237588 WITH SCORE 239675.834
AT ITER 2132 NEW BEST:: SOT 4055009 SOS 2058812 HAS SOPS 2058812 HAS SOUS 237617 HAS SOUPS 237617 WITH SCORE 239675.812
AT ITER 2149 NEW BEST:: SOT 4055127 SOS 2058805 HAS SOPS 2058805 HAS SOUS 237610 HAS SOUPS 237610 WITH SCORE 239668.805
AT ITER 2154 NEW BEST:: SOT 4055127 SOS 2058805 HAS SOPS 2058805 HAS SOUS 237564 HAS SOUPS 237564 WITH SCORE 239622.805
AT ITER 2173 NEW BEST:: SOT 4054209 SOS 2061784 HAS SOPS 2061784 HAS SOUS 236706 HAS SOUPS 236706 WITH SCORE 238767.784
AT ITER 2175 NEW BEST:: SOT 4054093 SOS 2061552 HAS SOPS 2061552 HAS SOUS 236474 HAS SOUPS 236474 WITH SCORE 238535.552
AT ITER 2191 NEW BEST:: SOT 4053982 SOS 2061330 HAS SOPS 2061330 HAS SOUS 236252 HAS SOUPS 236252 WITH SCORE 238313.33
AT ITER 2207 NEW BEST:: SOT 4053957 SOS 2061280 HAS SOPS 2061280 HAS SOUS 236202 HAS SOUPS 236202 WITH SCORE 238263.28
AT ITER 2209 NEW BEST:: SOT 4053957 SOS 2061280 HAS SOPS 2061280 HAS SOUS 236199 HAS SOUPS 236199 WITH SCORE 238260.28
AT ITER 2211 NEW BEST:: SOT 4053896 SOS 2060995 HAS SOPS 2060995 HAS SOUS 236077 HAS SOUPS 236077 WITH SCORE 238137.995
AT ITER 2222 NEW BEST:: SOT 4053867 SOS 2051541 HAS SOPS 2051541 HAS SOUS 235932 HAS SOUPS 235932 WITH SCORE 237983.541
AT ITER 2225 NEW BEST:: SOT 4053867 SOS 1909521 HAS SOPS 1909521 HAS SOUS 235370 HAS SOUPS 235370 WITH SCORE 237279.521
AT ITER 2229 NEW BEST:: SOT 4053466 SOS 1715534 HAS SOPS 1715534 HAS SOUS 235105 HAS SOUPS 235105 WITH SCORE 236820.534
AT ITER 2251 NEW BEST:: SOT 4053465 SOS 1715532 HAS SOPS 1715532 HAS SOUS 235103 HAS SOUPS 235103 WITH SCORE 236818.532
AT ITER 2254 NEW BEST:: SOT 4053465 SOS 1715532 HAS SOPS 1715532 HAS SOUS 234984 HAS SOUPS 234984 WITH SCORE 236699.532
AT ITER 2255 NEW BEST:: SOT 4053542 SOS 1715529 HAS SOPS 1715529 HAS SOUS 234981 HAS SOUPS 234981 WITH SCORE 236696.529
AT ITER 2274 NEW BEST:: SOT 4053530 SOS 1715409 HAS SOPS 1715409 HAS SOUS 234915 HAS SOUPS 234915 WITH SCORE 236630.409
AT ITER 2289 NEW BEST:: SOT 4053453 SOS 1715255 HAS SOPS 1715255 HAS SOUS 234761 HAS SOUPS 234761 WITH SCORE 236476.255
AT ITER 2298 NEW BEST:: SOT 4053425 SOS 1715199 HAS SOPS 1715199 HAS SOUS 234719 HAS SOUPS 234719 WITH SCORE 236434.199
AT ITER 2333 NEW BEST:: SOT 4053192 SOS 1714972 HAS SOPS 1714972 HAS SOUS 234433 HAS SOUPS 234433 WITH SCORE 236147.972
AT ITER 2358 NEW BEST:: SOT 4053186 SOS 1714960 HAS SOPS 1714960 HAS SOUS 234421 HAS SOUPS 234421 WITH SCORE 236135.96
AT ITER 2368 NEW BEST:: SOT 4053196 SOS 1714980 HAS SOPS 1714980 HAS SOUS 234418 HAS SOUPS 234418 WITH SCORE 236132.98
AT ITER 2369 NEW BEST:: SOT 4053184 SOS 1714956 HAS SOPS 1714956 HAS SOUS 234256 HAS SOUPS 234256 WITH SCORE 235970.956
AT ITER 2399 NEW BEST:: SOT 4053153 SOS 1714894 HAS SOPS 1714894 HAS SOUS 234225 HAS SOUPS 234225 WITH SCORE 235939.894
AT ITER 2401 NEW BEST:: SOT 4053078 SOS 1657336 HAS SOPS 1657336 HAS SOUS 233991 HAS SOUPS 233991 WITH SCORE 235648.336
AT ITER 2458 NEW BEST:: SOT 4053077 SOS 1657334 HAS SOPS 1657334 HAS SOUS 233989 HAS SOUPS 233989 WITH SCORE 235646.334
AT ITER 2467 NEW BEST:: SOT 4052908 SOS 1656996 HAS SOPS 1656996 HAS SOUS 233820 HAS SOUPS 233820 WITH SCORE 235476.996
AT ITER 2470 NEW BEST:: SOT 4052865 SOS 1657082 HAS SOPS 1657082 HAS SOUS 233754 HAS SOUPS 233754 WITH SCORE 235411.082
AT ITER 2478 NEW BEST:: SOT 4052824 SOS 1657041 HAS SOPS 1657041 HAS SOUS 233713 HAS SOUPS 233713 WITH SCORE 235370.041
AT ITER 2485 NEW BEST:: SOT 4052824 SOS 1657021 HAS SOPS 1657021 HAS SOUS 233703 HAS SOUPS 233703 WITH SCORE 235360.021
AT ITER 2489 NEW BEST:: SOT 4052797 SOS 1657028 HAS SOPS 1657028 HAS SOUS 233676 HAS SOUPS 233676 WITH SCORE 235333.028
AT ITER 2494 NEW BEST:: SOT 4052738 SOS 1656910 HAS SOPS 1656910 HAS SOUS 233558 HAS SOUPS 233558 WITH SCORE 235214.91
AT ITER 2498 NEW BEST:: SOT 4052737 SOS 1656909 HAS SOPS 1656909 HAS SOUS 233557 HAS SOUPS 233557 WITH SCORE 235213.909
AT ITER 2501 NEW BEST:: SOT 4052584 SOS 1656603 HAS SOPS 1656603 HAS SOUS 233251 HAS SOUPS 233251 WITH SCORE 234907.603
AT ITER 2568 NEW BEST:: SOT 4052430 SOS 1656552 HAS SOPS 1656552 HAS SOUS 233179 HAS SOUPS 233179 WITH SCORE 234835.552
AT ITER 2581 NEW BEST:: SOT 4052422 SOS 1656536 HAS SOPS 1656536 HAS SOUS 233163 HAS SOUPS 233163 WITH SCORE 234819.536
AT ITER 2616 NEW BEST:: SOT 4052421 SOS 1656534 HAS SOPS 1656534 HAS SOUS 233161 HAS SOUPS 233161 WITH SCORE 234817.534
AT ITER 2620 NEW BEST:: SOT 4052398 SOS 1656488 HAS SOPS 1656488 HAS SOUS 233115 HAS SOUPS 233115 WITH SCORE 234771.488
AT ITER 2627 NEW BEST:: SOT 4052380 SOS 1656452 HAS SOPS 1656452 HAS SOUS 233079 HAS SOUPS 233079 WITH SCORE 234735.452
AT ITER 2628 NEW BEST:: SOT 4052177 SOS 1642756 HAS SOPS 1642756 HAS SOUS 232416 HAS SOUPS 232416 WITH SCORE 234058.756
AT ITER 2686 NEW BEST:: SOT 4052167 SOS 1642736 HAS SOPS 1642736 HAS SOUS 232406 HAS SOUPS 232406 WITH SCORE 234048.736
AT ITER 2697 NEW BEST:: SOT 4052085 SOS 1621431 HAS SOPS 1621431 HAS SOUS 232295 HAS SOUPS 232295 WITH SCORE 233916.431
AT ITER 2699 NEW BEST:: SOT 4052085 SOS 1621373 HAS SOPS 1621373 HAS SOUS 232237 HAS SOUPS 232237 WITH SCORE 233858.373
AT ITER 2710 NEW BEST:: SOT 4051926 SOS 1638510 HAS SOPS 1638510 HAS SOUS 227776 HAS SOUPS 227776 WITH SCORE 229414.51
AT ITER 2715 NEW BEST:: SOT 4051875 SOS 1638408 HAS SOPS 1638408 HAS SOUS 227674 HAS SOUPS 227674 WITH SCORE 229312.408
AT ITER 2719 NEW BEST:: SOT 4049000 SOS 1635605 HAS SOPS 1635605 HAS SOUS 224773 HAS SOUPS 224773 WITH SCORE 226408.605
AT ITER 2722 NEW BEST:: SOT 4048947 SOS 1635499 HAS SOPS 1635499 HAS SOUS 224667 HAS SOUPS 224667 WITH SCORE 226302.499
AT ITER 2723 NEW BEST:: SOT 4048904 SOS 1635413 HAS SOPS 1635413 HAS SOUS 224581 HAS SOUPS 224581 WITH SCORE 226216.413
AT ITER 2726 NEW BEST:: SOT 4048715 SOS 1635257 HAS SOPS 1635257 HAS SOUS 224219 HAS SOUPS 224219 WITH SCORE 225854.257
AT ITER 2727 NEW BEST:: SOT 4048715 SOS 1635232 HAS SOPS 1635232 HAS SOUS 224219 HAS SOUPS 224219 WITH SCORE 225854.232
AT ITER 2758 NEW BEST:: SOT 4048705 SOS 1635178 HAS SOPS 1635178 HAS SOUS 224165 HAS SOUPS 224165 WITH SCORE 225800.178
AT ITER 2783 NEW BEST:: SOT 4048693 SOS 1635154 HAS SOPS 1635154 HAS SOUS 224141 HAS SOUPS 224141 WITH SCORE 225776.154
AT ITER 2786 NEW BEST:: SOT 4048693 SOS 1635154 HAS SOPS 1635154 HAS SOUS 224120 HAS SOUPS 224120 WITH SCORE 225755.154
AT ITER 2818 NEW BEST:: SOT 4048650 SOS 1635095 HAS SOPS 1635095 HAS SOUS 224057 HAS SOUPS 224057 WITH SCORE 225692.095
AT ITER 2821 NEW BEST:: SOT 4048606 SOS 1635007 HAS SOPS 1635007 HAS SOUS 223969 HAS SOUPS 223969 WITH SCORE 225604.007
AT ITER 2824 NEW BEST:: SOT 4048606 SOS 1635007 HAS SOPS 1635007 HAS SOUS 223926 HAS SOUPS 223926 WITH SCORE 225561.007
AT ITER 2851 NEW BEST:: SOT 4048584 SOS 1634941 HAS SOPS 1634941 HAS SOUS 223860 HAS SOUPS 223860 WITH SCORE 225494.941
AT ITER 2853 NEW BEST:: SOT 4048584 SOS 1634916 HAS SOPS 1634916 HAS SOUS 223860 HAS SOUPS 223860 WITH SCORE 225494.916
AT ITER 2856 NEW BEST:: SOT 4048568 SOS 1634884 HAS SOPS 1634884 HAS SOUS 223828 HAS SOUPS 223828 WITH SCORE 225462.884
AT ITER 2868 NEW BEST:: SOT 4048464 SOS 1634676 HAS SOPS 1634676 HAS SOUS 223620 HAS SOUPS 223620 WITH SCORE 225254.676
AT ITER 2876 NEW BEST:: SOT 4048441 SOS 1634630 HAS SOPS 1634630 HAS SOUS 223574 HAS SOUPS 223574 WITH SCORE 225208.63
AT ITER 2879 NEW BEST:: SOT 4048220 SOS 1634188 HAS SOPS 1634188 HAS SOUS 223132 HAS SOUPS 223132 WITH SCORE 224766.188
AT ITER 2903 NEW BEST:: SOT 4048206 SOS 1634160 HAS SOPS 1634160 HAS SOUS 223104 HAS SOUPS 223104 WITH SCORE 224738.16
AT ITER 2930 NEW BEST:: SOT 4048166 SOS 1634104 HAS SOPS 1634104 HAS SOUS 223048 HAS SOUPS 223048 WITH SCORE 224682.104
AT ITER 2931 NEW BEST:: SOT 4048161 SOS 1634094 HAS SOPS 1634094 HAS SOUS 223043 HAS SOUPS 223043 WITH SCORE 224677.094
AT ITER 2937 NEW BEST:: SOT 4048117 SOS 1634006 HAS SOPS 1634006 HAS SOUS 222999 HAS SOUPS 222999 WITH SCORE 224633.006
AT ITER 2945 NEW BEST:: SOT 4048287 SOS 1634155 HAS SOPS 1634155 HAS SOUS 222957 HAS SOUPS 222957 WITH SCORE 224591.155
AT ITER 2954 NEW BEST:: SOT 4048285 SOS 1634151 HAS SOPS 1634151 HAS SOUS 222953 HAS SOUPS 222953 WITH SCORE 224587.151
AT ITER 2971 NEW BEST:: SOT 4047817 SOS 1633715 HAS SOPS 1633715 HAS SOUS 222550 HAS SOUPS 222550 WITH SCORE 224183.715
AT ITER 2975 NEW BEST:: SOT 4047802 SOS 1633700 HAS SOPS 1633700 HAS SOUS 222535 HAS SOUPS 222535 WITH SCORE 224168.7
AT ITER 2987 NEW BEST:: SOT 4047722 SOS 1633540 HAS SOPS 1633540 HAS SOUS 222375 HAS SOUPS 222375 WITH SCORE 224008.54
AT ITER 3002 NEW BEST:: SOT 4047679 SOS 1633454 HAS SOPS 1633454 HAS SOUS 222289 HAS SOUPS 222289 WITH SCORE 223922.454
AT ITER 3007 NEW BEST:: SOT 4047677 SOS 1633590 HAS SOPS 1633590 HAS SOUS 222285 HAS SOUPS 222285 WITH SCORE 223918.59
AT ITER 3022 NEW BEST:: SOT 4047421 SOS 1633078 HAS SOPS 1633078 HAS SOUS 221935 HAS SOUPS 221935 WITH SCORE 223568.078
AT ITER 3031 NEW BEST:: SOT 4047415 SOS 1633066 HAS SOPS 1633066 HAS SOUS 221929 HAS SOUPS 221929 WITH SCORE 223562.066
AT ITER 3050 NEW BEST:: SOT 4047354 SOS 1632944 HAS SOPS 1632944 HAS SOUS 221807 HAS SOUPS 221807 WITH SCORE 223439.944
AT ITER 3057 NEW BEST:: SOT 4047333 SOS 1632902 HAS SOPS 1632902 HAS SOUS 221765 HAS SOUPS 221765 WITH SCORE 223397.902
AT ITER 3071 NEW BEST:: SOT 4047321 SOS 1632878 HAS SOPS 1632878 HAS SOUS 221672 HAS SOUPS 221672 WITH SCORE 223304.878
AT ITER 3072 NEW BEST:: SOT 4047359 SOS 1632954 HAS SOPS 1632954 HAS SOUS 221589 HAS SOUPS 221589 WITH SCORE 223221.954
AT ITER 3076 NEW BEST:: SOT 4047309 SOS 1632854 HAS SOPS 1632854 HAS SOUS 221489 HAS SOUPS 221489 WITH SCORE 223121.854
AT ITER 3097 NEW BEST:: SOT 4047309 SOS 1632854 HAS SOPS 1632854 HAS SOUS 221453 HAS SOUPS 221453 WITH SCORE 223085.854
AT ITER 3109 NEW BEST:: SOT 4047309 SOS 1611146 HAS SOPS 1611146 HAS SOUS 220366 HAS SOUPS 220366 WITH SCORE 221977.146
AT ITER 3148 NEW BEST:: SOT 4047253 SOS 1611034 HAS SOPS 1611034 HAS SOUS 220254 HAS SOUPS 220254 WITH SCORE 221865.034
AT ITER 3163 NEW BEST:: SOT 4047061 SOS 1610650 HAS SOPS 1610650 HAS SOUS 220128 HAS SOUPS 220128 WITH SCORE 221738.65
AT ITER 3164 NEW BEST:: SOT 4047060 SOS 1610648 HAS SOPS 1610648 HAS SOUS 220123 HAS SOUPS 220123 WITH SCORE 221733.648
AT ITER 3176 NEW BEST:: SOT 4047055 SOS 1610638 HAS SOPS 1610638 HAS SOUS 220113 HAS SOUPS 220113 WITH SCORE 221723.638
AT ITER 3188 NEW BEST:: SOT 4046950 SOS 1610428 HAS SOPS 1610428 HAS SOUS 219903 HAS SOUPS 219903 WITH SCORE 221513.428
AT ITER 3218 NEW BEST:: SOT 4046784 SOS 1610096 HAS SOPS 1610096 HAS SOUS 219571 HAS SOUPS 219571 WITH SCORE 221181.096
AT ITER 3232 NEW BEST:: SOT 4046774 SOS 1610076 HAS SOPS 1610076 HAS SOUS 219551 HAS SOUPS 219551 WITH SCORE 221161.076
AT ITER 3239 NEW BEST:: SOT 4046638 SOS 1609804 HAS SOPS 1609804 HAS SOUS 219279 HAS SOUPS 219279 WITH SCORE 220888.804
AT ITER 3240 NEW BEST:: SOT 4046637 SOS 1609802 HAS SOPS 1609802 HAS SOUS 219277 HAS SOUPS 219277 WITH SCORE 220886.802
AT ITER 3251 NEW BEST:: SOT 4046615 SOS 1609764 HAS SOPS 1609764 HAS SOUS 219231 HAS SOUPS 219231 WITH SCORE 220840.764
AT ITER 3292 NEW BEST:: SOT 4046580 SOS 1609694 HAS SOPS 1609694 HAS SOUS 219161 HAS SOUPS 219161 WITH SCORE 220770.694
AT ITER 3307 NEW BEST:: SOT 4046580 SOS 1609669 HAS SOPS 1609669 HAS SOUS 219136 HAS SOUPS 219136 WITH SCORE 220745.669
AT ITER 3346 NEW BEST:: SOT 4046722 SOS 1603537 HAS SOPS 1603537 HAS SOUS 218980 HAS SOUPS 218980 WITH SCORE 220583.537
AT ITER 3357 NEW BEST:: SOT 4046722 SOS 1603380 HAS SOPS 1603380 HAS SOUS 218823 HAS SOUPS 218823 WITH SCORE 220426.38
AT ITER 3388 NEW BEST:: SOT 4046705 SOS 1603346 HAS SOPS 1603346 HAS SOUS 218789 HAS SOUPS 218789 WITH SCORE 220392.346
AT ITER 3427 NEW BEST:: SOT 4046664 SOS 1603264 HAS SOPS 1603264 HAS SOUS 218707 HAS SOUPS 218707 WITH SCORE 220310.264
AT ITER 3432 NEW BEST:: SOT 4046594 SOS 1603124 HAS SOPS 1603124 HAS SOUS 218567 HAS SOUPS 218567 WITH SCORE 220170.124
AT ITER 3486 NEW BEST:: SOT 4046540 SOS 1603016 HAS SOPS 1603016 HAS SOUS 218513 HAS SOUPS 218513 WITH SCORE 220116.016
AT ITER 3563 NEW BEST:: SOT 4046540 SOS 1585034 HAS SOPS 1585034 HAS SOUS 218509 HAS SOUPS 218509 WITH SCORE 220094.034
AT ITER 3580 NEW BEST:: SOT 4046495 SOS 1584944 HAS SOPS 1584944 HAS SOUS 218376 HAS SOUPS 218376 WITH SCORE 219960.944
AT ITER 3584 NEW BEST:: SOT 4046479 SOS 1584912 HAS SOPS 1584912 HAS SOUS 218344 HAS SOUPS 218344 WITH SCORE 219928.912
AT ITER 3611 NEW BEST:: SOT 4046430 SOS 1582595 HAS SOPS 1582595 HAS SOUS 218267 HAS SOUPS 218267 WITH SCORE 219849.595
AT ITER 3640 NEW BEST:: SOT 4046397 SOS 1582529 HAS SOPS 1582529 HAS SOUS 217906 HAS SOUPS 217906 WITH SCORE 219488.529
AT ITER 3659 NEW BEST:: SOT 4046242 SOS 1582379 HAS SOPS 1582379 HAS SOUS 217756 HAS SOUPS 217756 WITH SCORE 219338.379
AT ITER 3669 NEW BEST:: SOT 4046212 SOS 1582319 HAS SOPS 1582319 HAS SOUS 217696 HAS SOUPS 217696 WITH SCORE 219278.319
AT ITER 3674 NEW BEST:: SOT 4043517 SOS 1733500 HAS SOPS 1733500 HAS SOUS 216177 HAS SOUPS 216177 WITH SCORE 217910.5
AT ITER 3677 NEW BEST:: SOT 4043499 SOS 1733496 HAS SOPS 1733496 HAS SOUS 216175 HAS SOUPS 216175 WITH SCORE 217908.496
AT ITER 3701 NEW BEST:: SOT 4043393 SOS 1733284 HAS SOPS 1733284 HAS SOUS 215963 HAS SOUPS 215963 WITH SCORE 217696.284
AT ITER 3704 NEW BEST:: SOT 4051945 SOS 1741694 HAS SOPS 1741694 HAS SOUS 214256 HAS SOUPS 214256 WITH SCORE 215997.694
AT ITER 3722 NEW BEST:: SOT 4051919 SOS 1741642 HAS SOPS 1741642 HAS SOUS 214204 HAS SOUPS 214204 WITH SCORE 215945.642
AT ITER 3723 NEW BEST:: SOT 4051969 SOS 1741742 HAS SOPS 1741742 HAS SOUS 214172 HAS SOUPS 214172 WITH SCORE 215913.742
AT ITER 3744 NEW BEST:: SOT 4051886 SOS 1741576 HAS SOPS 1741576 HAS SOUS 214089 HAS SOUPS 214089 WITH SCORE 215830.576
AT ITER 3754 NEW BEST:: SOT 4051267 SOS 1744706 HAS SOPS 1744706 HAS SOUS 213788 HAS SOUPS 213788 WITH SCORE 215532.706
AT ITER 3760 NEW BEST:: SOT 4051577 SOS 1745060 HAS SOPS 1745060 HAS SOUS 213384 HAS SOUPS 213384 WITH SCORE 215129.06
AT ITER 3774 NEW BEST:: SOT 4051661 SOS 1705364 HAS SOPS 1705364 HAS SOUS 213318 HAS SOUPS 213318 WITH SCORE 215023.364
AT ITER 3797 NEW BEST:: SOT 4051527 SOS 1705096 HAS SOPS 1705096 HAS SOUS 213214 HAS SOUPS 213214 WITH SCORE 214919.096
AT ITER 3807 NEW BEST:: SOT 4051361 SOS 1704764 HAS SOPS 1704764 HAS SOUS 212870 HAS SOUPS 212870 WITH SCORE 214574.764
AT ITER 3814 NEW BEST:: SOT 4051340 SOS 1704701 HAS SOPS 1704701 HAS SOUS 212807 HAS SOUPS 212807 WITH SCORE 214511.701
AT ITER 3815 NEW BEST:: SOT 4051311 SOS 1704643 HAS SOPS 1704643 HAS SOUS 212749 HAS SOUPS 212749 WITH SCORE 214453.643
AT ITER 3859 NEW BEST:: SOT 4051310 SOS 1704641 HAS SOPS 1704641 HAS SOUS 212747 HAS SOUPS 212747 WITH SCORE 214451.641
AT ITER 3877 NEW BEST:: SOT 4051252 SOS 1704525 HAS SOPS 1704525 HAS SOUS 212631 HAS SOUPS 212631 WITH SCORE 214335.525
AT ITER 3883 NEW BEST:: SOT 4051215 SOS 1704495 HAS SOPS 1704495 HAS SOUS 212601 HAS SOUPS 212601 WITH SCORE 214305.495
AT ITER 3887 NEW BEST:: SOT 4051114 SOS 1704293 HAS SOPS 1704293 HAS SOUS 212399 HAS SOUPS 212399 WITH SCORE 214103.293
AT ITER 3925 NEW BEST:: SOT 4051104 SOS 1704273 HAS SOPS 1704273 HAS SOUS 212379 HAS SOUPS 212379 WITH SCORE 214083.273
AT ITER 3941 NEW BEST:: SOT 4051093 SOS 1704251 HAS SOPS 1704251 HAS SOUS 211840 HAS SOUPS 211840 WITH SCORE 213544.251
AT ITER 3954 NEW BEST:: SOT 4050895 SOS 1703855 HAS SOPS 1703855 HAS SOUS 211629 HAS SOUPS 211629 WITH SCORE 213332.855
AT ITER 3967 NEW BEST:: SOT 4050873 SOS 1703811 HAS SOPS 1703811 HAS SOUS 211585 HAS SOUPS 211585 WITH SCORE 213288.811
AT ITER 3971 NEW BEST:: SOT 4050862 SOS 1703789 HAS SOPS 1703789 HAS SOUS 211563 HAS SOUPS 211563 WITH SCORE 213266.789
AT ITER 3980 NEW BEST:: SOT 4050765 SOS 1703595 HAS SOPS 1703595 HAS SOUS 211520 HAS SOUPS 211520 WITH SCORE 213223.595
AT ITER 3993 NEW BEST:: SOT 4050750 SOS 1703565 HAS SOPS 1703565 HAS SOUS 211490 HAS SOUPS 211490 WITH SCORE 213193.565
AT ITER 3996 NEW BEST:: SOT 4050746 SOS 1703617 HAS SOPS 1703617 HAS SOUS 211486 HAS SOUPS 211486 WITH SCORE 213189.617
AT ITER 4019 NEW BEST:: SOT 4050729 SOS 1703583 HAS SOPS 1703583 HAS SOUS 211452 HAS SOUPS 211452 WITH SCORE 213155.583
AT ITER 4020 NEW BEST:: SOT 4050712 SOS 1703549 HAS SOPS 1703549 HAS SOUS 211418 HAS SOUPS 211418 WITH SCORE 213121.549
AT ITER 4060 NEW BEST:: SOT 4050673 SOS 1703510 HAS SOPS 1703510 HAS SOUS 211340 HAS SOUPS 211340 WITH SCORE 213043.51
AT ITER 4130 NEW BEST:: SOT 4050477 SOS 1703118 HAS SOPS 1703118 HAS SOUS 211221 HAS SOUPS 211221 WITH SCORE 212924.118
AT ITER 4140 NEW BEST:: SOT 4050357 SOS 1702878 HAS SOPS 1702878 HAS SOUS 211183 HAS SOUPS 211183 WITH SCORE 212885.878
AT ITER 4147 NEW BEST:: SOT 4050107 SOS 1549592 HAS SOPS 1549592 HAS SOUS 210479 HAS SOUPS 210479 WITH SCORE 212028.592
AT ITER 4159 NEW BEST:: SOT 4050085 SOS 1549548 HAS SOPS 1549548 HAS SOUS 210435 HAS SOUPS 210435 WITH SCORE 211984.548
AT ITER 4161 NEW BEST:: SOT 4050036 SOS 1549450 HAS SOPS 1549450 HAS SOUS 210386 HAS SOUPS 210386 WITH SCORE 211935.45
AT ITER 4172 NEW BEST:: SOT 4050035 SOS 1549448 HAS SOPS 1549448 HAS SOUS 210384 HAS SOUPS 210384 WITH SCORE 211933.448
AT ITER 4184 NEW BEST:: SOT 4049993 SOS 1549364 HAS SOPS 1549364 HAS SOUS 210300 HAS SOUPS 210300 WITH SCORE 211849.364
AT ITER 4192 NEW BEST:: SOT 4049949 SOS 1549276 HAS SOPS 1549276 HAS SOUS 210212 HAS SOUPS 210212 WITH SCORE 211761.276
AT ITER 4208 NEW BEST:: SOT 4047669 SOS 1558004 HAS SOPS 1558004 HAS SOUS 209751 HAS SOUPS 209751 WITH SCORE 211309.004
AT ITER 4210 NEW BEST:: SOT 4047669 SOS 1558004 HAS SOPS 1558004 HAS SOUS 209653 HAS SOUPS 209653 WITH SCORE 211211.004
AT ITER 4215 NEW BEST:: SOT 4047638 SOS 1557942 HAS SOPS 1557942 HAS SOUS 209591 HAS SOUPS 209591 WITH SCORE 211148.942
AT ITER 4245 NEW BEST:: SOT 4047606 SOS 1557878 HAS SOPS 1557878 HAS SOUS 209527 HAS SOUPS 209527 WITH SCORE 211084.878
AT ITER 4266 NEW BEST:: SOT 4047668 SOS 1558002 HAS SOPS 1558002 HAS SOUS 209517 HAS SOUPS 209517 WITH SCORE 211075.002
AT ITER 4267 NEW BEST:: SOT 4047668 SOS 1556497 HAS SOPS 1556497 HAS SOUS 209517 HAS SOUPS 209517 WITH SCORE 211073.497
AT ITER 4295 NEW BEST:: SOT 4047618 SOS 1474861 HAS SOPS 1474861 HAS SOUS 209417 HAS SOUPS 209417 WITH SCORE 210891.861
AT ITER 4333 NEW BEST:: SOT 4047567 SOS 1474759 HAS SOPS 1474759 HAS SOUS 207350 HAS SOUPS 207350 WITH SCORE 208824.759
AT ITER 4336 NEW BEST:: SOT 4047523 SOS 1465059 HAS SOPS 1465059 HAS SOUS 207296 HAS SOUPS 207296 WITH SCORE 208761.059
AT ITER 4339 NEW BEST:: SOT 4047422 SOS 1464857 HAS SOPS 1464857 HAS SOUS 207094 HAS SOUPS 207094 WITH SCORE 208558.857
AT ITER 4387 NEW BEST:: SOT 4047449 SOS 1464911 HAS SOPS 1464911 HAS SOUS 207046 HAS SOUPS 207046 WITH SCORE 208510.911
AT ITER 4407 NEW BEST:: SOT 4047370 SOS 1464753 HAS SOPS 1464753 HAS SOUS 206959 HAS SOUPS 206959 WITH SCORE 208423.753
AT ITER 4411 NEW BEST:: SOT 4047354 SOS 1464721 HAS SOPS 1464721 HAS SOUS 206927 HAS SOUPS 206927 WITH SCORE 208391.721
AT ITER 4434 NEW BEST:: SOT 4047303 SOS 1464619 HAS SOPS 1464619 HAS SOUS 206825 HAS SOUPS 206825 WITH SCORE 208289.619
AT ITER 4471 NEW BEST:: SOT 4047302 SOS 1464617 HAS SOPS 1464617 HAS SOUS 206823 HAS SOUPS 206823 WITH SCORE 208287.617
AT ITER 4480 NEW BEST:: SOT 4047247 SOS 1464507 HAS SOPS 1464507 HAS SOUS 206713 HAS SOUPS 206713 WITH SCORE 208177.507
AT ITER 4517 NEW BEST:: SOT 4047229 SOS 1464471 HAS SOPS 1464471 HAS SOUS 206677 HAS SOUPS 206677 WITH SCORE 208141.471
AT ITER 4531 NEW BEST:: SOT 4047221 SOS 1464455 HAS SOPS 1464455 HAS SOUS 206661 HAS SOUPS 206661 WITH SCORE 208125.455
AT ITER 4561 NEW BEST:: SOT 4047198 SOS 1464409 HAS SOPS 1464409 HAS SOUS 206615 HAS SOUPS 206615 WITH SCORE 208079.409
AT ITER 4583 NEW BEST:: SOT 4047317 SOS 1338478 HAS SOPS 1338478 HAS SOUS 206425 HAS SOUPS 206425 WITH SCORE 207763.478
AT ITER 4585 NEW BEST:: SOT 4050133 SOS 1341032 HAS SOPS 1341032 HAS SOUS 197304 HAS SOUPS 197304 WITH SCORE 198645.032
AT ITER 4619 NEW BEST:: SOT 4050132 SOS 1341030 HAS SOPS 1341030 HAS SOUS 197302 HAS SOUPS 197302 WITH SCORE 198643.03
AT ITER 4629 NEW BEST:: SOT 4050132 SOS 1341030 HAS SOPS 1341030 HAS SOUS 197283 HAS SOUPS 197283 WITH SCORE 198624.03
AT ITER 4635 NEW BEST:: SOT 4050063 SOS 1330809 HAS SOPS 1330809 HAS SOUS 197167 HAS SOUPS 197167 WITH SCORE 198497.809
AT ITER 4638 NEW BEST:: SOT 4049921 SOS 1316377 HAS SOPS 1316377 HAS SOUS 196319 HAS SOUPS 196319 WITH SCORE 197635.377
AT ITER 4640 NEW BEST:: SOT 4049916 SOS 1316367 HAS SOPS 1316367 HAS SOUS 196309 HAS SOUPS 196309 WITH SCORE 197625.367
AT ITER 4643 NEW BEST:: SOT 4049907 SOS 1316349 HAS SOPS 1316349 HAS SOUS 196291 HAS SOUPS 196291 WITH SCORE 197607.349
AT ITER 4649 NEW BEST:: SOT 4049900 SOS 1316335 HAS SOPS 1316335 HAS SOUS 196284 HAS SOUPS 196284 WITH SCORE 197600.335
AT ITER 4651 NEW BEST:: SOT 4049883 SOS 1314941 HAS SOPS 1314941 HAS SOUS 196250 HAS SOUPS 196250 WITH SCORE 197564.941
AT ITER 4670 NEW BEST:: SOT 4049871 SOS 1314917 HAS SOPS 1314917 HAS SOUS 196226 HAS SOUPS 196226 WITH SCORE 197540.917
AT ITER 4700 NEW BEST:: SOT 4049871 SOS 1314917 HAS SOPS 1314917 HAS SOUS 196115 HAS SOUPS 196115 WITH SCORE 197429.917
AT ITER 4715 NEW BEST:: SOT 4049848 SOS 1314894 HAS SOPS 1314894 HAS SOUS 196092 HAS SOUPS 196092 WITH SCORE 197406.894
AT ITER 4819 NEW BEST:: SOT 4049847 SOS 1314892 HAS SOPS 1314892 HAS SOUS 196090 HAS SOUPS 196090 WITH SCORE 197404.892
AT ITER 4826 NEW BEST:: SOT 4049762 SOS 1314722 HAS SOPS 1314722 HAS SOUS 195927 HAS SOUPS 195927 WITH SCORE 197241.722
AT ITER 4839 NEW BEST:: SOT 4049758 SOS 1314714 HAS SOPS 1314714 HAS SOUS 195919 HAS SOUPS 195919 WITH SCORE 197233.714
AT ITER 4868 NEW BEST:: SOT 4049749 SOS 1314696 HAS SOPS 1314696 HAS SOUS 195901 HAS SOUPS 195901 WITH SCORE 197215.696
AT ITER 4930 NEW BEST:: SOT 4049727 SOS 1314652 HAS SOPS 1314652 HAS SOUS 195857 HAS SOUPS 195857 WITH SCORE 197171.652
AT ITER 4942 NEW BEST:: SOT 4049553 SOS 1314304 HAS SOPS 1314304 HAS SOUS 195683 HAS SOUPS 195683 WITH SCORE 196997.304
AT ITER 4968 NEW BEST:: SOT 4049537 SOS 1314272 HAS SOPS 1314272 HAS SOUS 195651 HAS SOUPS 195651 WITH SCORE 196965.272
AT ITER 4982 NEW BEST:: SOT 4049277 SOS 1314012 HAS SOPS 1314012 HAS SOUS 195391 HAS SOUPS 195391 WITH SCORE 196705.012
AT ITER 4999 NEW BEST:: SOT 4049258 SOS 1313974 HAS SOPS 1313974 HAS SOUS 195353 HAS SOUPS 195353 WITH SCORE 196666.974
AT ITER 5019 NEW BEST:: SOT 4049193 SOS 1313909 HAS SOPS 1313909 HAS SOUS 195288 HAS SOUPS 195288 WITH SCORE 196601.909
AT ITER 5035 NEW BEST:: SOT 4050127 SOS 1315777 HAS SOPS 1315777 HAS SOUS 194477 HAS SOUPS 194477 WITH SCORE 195792.777
AT ITER 5036 NEW BEST:: SOT 4050113 SOS 1315749 HAS SOPS 1315749 HAS SOUS 194449 HAS SOUPS 194449 WITH SCORE 195764.749
AT ITER 5037 NEW BEST:: SOT 4050107 SOS 1315737 HAS SOPS 1315737 HAS SOUS 194443 HAS SOUPS 194443 WITH SCORE 195758.737
AT ITER 5054 NEW BEST:: SOT 4050106 SOS 1315735 HAS SOPS 1315735 HAS SOUS 194438 HAS SOUPS 194438 WITH SCORE 195753.735
AT ITER 5089 NEW BEST:: SOT 4049986 SOS 1315555 HAS SOPS 1315555 HAS SOUS 194258 HAS SOUPS 194258 WITH SCORE 195573.555
AT ITER 5140 NEW BEST:: SOT 4049944 SOS 1315573 HAS SOPS 1315573 HAS SOUS 194254 HAS SOUPS 194254 WITH SCORE 195569.573
AT ITER 5153 NEW BEST:: SOT 4049928 SOS 1315557 HAS SOPS 1315557 HAS SOUS 194238 HAS SOUPS 194238 WITH SCORE 195553.557
AT ITER 5165 NEW BEST:: SOT 4049902 SOS 1315505 HAS SOPS 1315505 HAS SOUS 194186 HAS SOUPS 194186 WITH SCORE 195501.505
AT ITER 5185 NEW BEST:: SOT 4049897 SOS 1315488 HAS SOPS 1315488 HAS SOUS 194169 HAS SOUPS 194169 WITH SCORE 195484.488
AT ITER 5189 NEW BEST:: SOT 4049893 SOS 1315480 HAS SOPS 1315480 HAS SOUS 194151 HAS SOUPS 194151 WITH SCORE 195466.48
AT ITER 5196 NEW BEST:: SOT 4049655 SOS 1315004 HAS SOPS 1315004 HAS SOUS 193831 HAS SOUPS 193831 WITH SCORE 195146.004
AT ITER 5205 NEW BEST:: SOT 4049554 SOS 1314802 HAS SOPS 1314802 HAS SOUS 193816 HAS SOUPS 193816 WITH SCORE 195130.802
AT ITER 5235 NEW BEST:: SOT 4049481 SOS 1293831 HAS SOPS 1293831 HAS SOUS 193305 HAS SOUPS 193305 WITH SCORE 194598.831
AT ITER 5240 NEW BEST:: SOT 4049408 SOS 1293685 HAS SOPS 1293685 HAS SOUS 193159 HAS SOUPS 193159 WITH SCORE 194452.685
AT ITER 5263 NEW BEST:: SOT 4049368 SOS 1293605 HAS SOPS 1293605 HAS SOUS 193119 HAS SOUPS 193119 WITH SCORE 194412.605
AT ITER 5271 NEW BEST:: SOT 4049368 SOS 1293475 HAS SOPS 1293475 HAS SOUS 193119 HAS SOUPS 193119 WITH SCORE 194412.475
AT ITER 5300 NEW BEST:: SOT 4049346 SOS 1293431 HAS SOPS 1293431 HAS SOUS 193075 HAS SOUPS 193075 WITH SCORE 194368.431
AT ITER 5309 NEW BEST:: SOT 4049337 SOS 1293413 HAS SOPS 1293413 HAS SOUS 193057 HAS SOUPS 193057 WITH SCORE 194350.413
AT ITER 5360 NEW BEST:: SOT 4049197 SOS 1293133 HAS SOPS 1293133 HAS SOUS 192880 HAS SOUPS 192880 WITH SCORE 194173.133
AT ITER 5388 NEW BEST:: SOT 4049191 SOS 1293121 HAS SOPS 1293121 HAS SOUS 192868 HAS SOUPS 192868 WITH SCORE 194161.121
AT ITER 5428 NEW BEST:: SOT 4049160 SOS 1293101 HAS SOPS 1293101 HAS SOUS 192795 HAS SOUPS 192795 WITH SCORE 194088.101
AT ITER 5435 NEW BEST:: SOT 4049160 SOS 1293101 HAS SOPS 1293101 HAS SOUS 192702 HAS SOUPS 192702 WITH SCORE 193995.101
AT ITER 5471 NEW BEST:: SOT 4049213 SOS 1293207 HAS SOPS 1293207 HAS SOUS 192558 HAS SOUPS 192558 WITH SCORE 193851.207
AT ITER 5474 NEW BEST:: SOT 4049151 SOS 1293083 HAS SOPS 1293083 HAS SOUS 192550 HAS SOUPS 192550 WITH SCORE 193843.083
AT ITER 5488 NEW BEST:: SOT 4049109 SOS 1292999 HAS SOPS 1292999 HAS SOUS 192523 HAS SOUPS 192523 WITH SCORE 193815.999
AT ITER 5508 NEW BEST:: SOT 4049082 SOS 1292960 HAS SOPS 1292960 HAS SOUS 192511 HAS SOUPS 192511 WITH SCORE 193803.96
AT ITER 5527 NEW BEST:: SOT 4049016 SOS 1292828 HAS SOPS 1292828 HAS SOUS 192379 HAS SOUPS 192379 WITH SCORE 193671.828
AT ITER 5535 NEW BEST:: SOT 4049007 SOS 1292810 HAS SOPS 1292810 HAS SOUS 192361 HAS SOUPS 192361 WITH SCORE 193653.81
AT ITER 5540 NEW BEST:: SOT 4048948 SOS 1292692 HAS SOPS 1292692 HAS SOUS 192243 HAS SOUPS 192243 WITH SCORE 193535.692
AT ITER 5554 NEW BEST:: SOT 4048936 SOS 1292476 HAS SOPS 1292476 HAS SOUS 192171 HAS SOUPS 192171 WITH SCORE 193463.476
AT ITER 5594 NEW BEST:: SOT 4048713 SOS 1292030 HAS SOPS 1292030 HAS SOUS 191991 HAS SOUPS 191991 WITH SCORE 193283.03
AT ITER 5606 NEW BEST:: SOT 4048696 SOS 1292037 HAS SOPS 1292037 HAS SOUS 191973 HAS SOUPS 191973 WITH SCORE 193265.037
AT ITER 5664 NEW BEST:: SOT 4048626 SOS 1291897 HAS SOPS 1291897 HAS SOUS 191833 HAS SOUPS 191833 WITH SCORE 193124.897
AT ITER 5672 NEW BEST:: SOT 4048625 SOS 1291895 HAS SOPS 1291895 HAS SOUS 191831 HAS SOUPS 191831 WITH SCORE 193122.895
AT ITER 5685 NEW BEST:: SOT 4048530 SOS 1291705 HAS SOPS 1291705 HAS SOUS 191641 HAS SOUPS 191641 WITH SCORE 192932.705
AT ITER 5730 NEW BEST:: SOT 4048530 SOS 1291505 HAS SOPS 1291505 HAS SOUS 191441 HAS SOUPS 191441 WITH SCORE 192732.505
AT ITER 5741 NEW BEST:: SOT 4048530 SOS 1291476 HAS SOPS 1291476 HAS SOUS 191412 HAS SOUPS 191412 WITH SCORE 192703.476
AT ITER 5773 NEW BEST:: SOT 4048476 SOS 1291368 HAS SOPS 1291368 HAS SOUS 191304 HAS SOUPS 191304 WITH SCORE 192595.368
AT ITER 5779 NEW BEST:: SOT 4048436 SOS 1291288 HAS SOPS 1291288 HAS SOUS 191224 HAS SOUPS 191224 WITH SCORE 192515.288
AT ITER 5793 NEW BEST:: SOT 4048209 SOS 1168018 HAS SOPS 1168018 HAS SOUS 190213 HAS SOUPS 190213 WITH SCORE 191381.018
AT ITER 5822 NEW BEST:: SOT 4048081 SOS 1167762 HAS SOPS 1167762 HAS SOUS 190085 HAS SOUPS 190085 WITH SCORE 191252.762
AT ITER 5826 NEW BEST:: SOT 4048067 SOS 1167734 HAS SOPS 1167734 HAS SOUS 190057 HAS SOUPS 190057 WITH SCORE 191224.734
AT ITER 5832 NEW BEST:: SOT 4047965 SOS 1167530 HAS SOPS 1167530 HAS SOUS 189853 HAS SOUPS 189853 WITH SCORE 191020.53
AT ITER 5900 NEW BEST:: SOT 4047949 SOS 1167456 HAS SOPS 1167456 HAS SOUS 189779 HAS SOUPS 189779 WITH SCORE 190946.456
AT ITER 5947 NEW BEST:: SOT 4047999 SOS 1166740 HAS SOPS 1166740 HAS SOUS 189706 HAS SOUPS 189706 WITH SCORE 190872.74
AT ITER 5996 NEW BEST:: SOT 4047948 SOS 1166638 HAS SOPS 1166638 HAS SOUS 189665 HAS SOUPS 189665 WITH SCORE 190831.638
AT ITER 6017 NEW BEST:: SOT 4047704 SOS 1166150 HAS SOPS 1166150 HAS SOUS 188881 HAS SOUPS 188881 WITH SCORE 190047.15
AT ITER 6063 NEW BEST:: SOT 4047777 SOS 1166296 HAS SOPS 1166296 HAS SOUS 188842 HAS SOUPS 188842 WITH SCORE 190008.296
AT ITER 6064 NEW BEST:: SOT 4047688 SOS 1166027 HAS SOPS 1166027 HAS SOUS 188664 HAS SOUPS 188664 WITH SCORE 189830.027
AT ITER 6095 NEW BEST:: SOT 4047687 SOS 1166025 HAS SOPS 1166025 HAS SOUS 188662 HAS SOUPS 188662 WITH SCORE 189828.025
AT ITER 6099 NEW BEST:: SOT 4047538 SOS 1165534 HAS SOPS 1165534 HAS SOUS 188289 HAS SOUPS 188289 WITH SCORE 189454.534
AT ITER 6112 NEW BEST:: SOT 4047510 SOS 1165478 HAS SOPS 1165478 HAS SOUS 188261 HAS SOUPS 188261 WITH SCORE 189426.478
AT ITER 6136 NEW BEST:: SOT 4047497 SOS 1165452 HAS SOPS 1165452 HAS SOUS 188235 HAS SOUPS 188235 WITH SCORE 189400.452
AT ITER 6145 NEW BEST:: SOT 4047488 SOS 1165434 HAS SOPS 1165434 HAS SOUS 188217 HAS SOUPS 188217 WITH SCORE 189382.434
AT ITER 6181 NEW BEST:: SOT 4047488 SOS 1165434 HAS SOPS 1165434 HAS SOUS 188064 HAS SOUPS 188064 WITH SCORE 189229.434
AT ITER 6188 NEW BEST:: SOT 4047375 SOS 1165208 HAS SOPS 1165208 HAS SOUS 187838 HAS SOUPS 187838 WITH SCORE 189003.208
AT ITER 6191 NEW BEST:: SOT 4047314 SOS 1165086 HAS SOPS 1165086 HAS SOUS 187716 HAS SOUPS 187716 WITH SCORE 188881.086
AT ITER 6239 NEW BEST:: SOT 4047292 SOS 1165042 HAS SOPS 1165042 HAS SOUS 187672 HAS SOUPS 187672 WITH SCORE 188837.042
AT ITER 6276 NEW BEST:: SOT 4047270 SOS 1164976 HAS SOPS 1164976 HAS SOUS 186978 HAS SOUPS 186978 WITH SCORE 188142.976
AT ITER 6279 NEW BEST:: SOT 4047217 SOS 1164914 HAS SOPS 1164914 HAS SOUS 186916 HAS SOUPS 186916 WITH SCORE 188080.914
AT ITER 6280 NEW BEST:: SOT 4047219 SOS 1164720 HAS SOPS 1164720 HAS SOUS 186907 HAS SOUPS 186907 WITH SCORE 188071.72
AT ITER 6285 NEW BEST:: SOT 4047219 SOS 1164721 HAS SOPS 1164721 HAS SOUS 186892 HAS SOUPS 186892 WITH SCORE 188056.721
AT ITER 6311 NEW BEST:: SOT 4047209 SOS 1164701 HAS SOPS 1164701 HAS SOUS 186872 HAS SOUPS 186872 WITH SCORE 188036.701
AT ITER 6333 NEW BEST:: SOT 4047193 SOS 1164669 HAS SOPS 1164669 HAS SOUS 186840 HAS SOUPS 186840 WITH SCORE 188004.669
AT ITER 6342 NEW BEST:: SOT 4047197 SOS 1157786 HAS SOPS 1157786 HAS SOUS 186665 HAS SOUPS 186665 WITH SCORE 187822.786
AT ITER 6350 NEW BEST:: SOT 4047181 SOS 1157754 HAS SOPS 1157754 HAS SOUS 186633 HAS SOUPS 186633 WITH SCORE 187790.754
AT ITER 6365 NEW BEST:: SOT 4047138 SOS 1157668 HAS SOPS 1157668 HAS SOUS 186547 HAS SOUPS 186547 WITH SCORE 187704.668
AT ITER 6367 NEW BEST:: SOT 4047129 SOS 1157664 HAS SOPS 1157664 HAS SOUS 186543 HAS SOUPS 186543 WITH SCORE 187700.664
AT ITER 6389 NEW BEST:: SOT 4047069 SOS 1157644 HAS SOPS 1157644 HAS SOUS 186487 HAS SOUPS 186487 WITH SCORE 187644.644
AT ITER 6402 NEW BEST:: SOT 4047067 SOS 1157640 HAS SOPS 1157640 HAS SOUS 186483 HAS SOUPS 186483 WITH SCORE 187640.64
AT ITER 6436 NEW BEST:: SOT 4047065 SOS 1157636 HAS SOPS 1157636 HAS SOUS 186479 HAS SOUPS 186479 WITH SCORE 187636.636
AT ITER 6461 NEW BEST:: SOT 4047057 SOS 1157620 HAS SOPS 1157620 HAS SOUS 186463 HAS SOUPS 186463 WITH SCORE 187620.62
AT ITER 6500 NEW BEST:: SOT 4047027 SOS 1157560 HAS SOPS 1157560 HAS SOUS 186403 HAS SOUPS 186403 WITH SCORE 187560.56
AT ITER 6536 NEW BEST:: SOT 4047026 SOS 1157558 HAS SOPS 1157558 HAS SOUS 186401 HAS SOUPS 186401 WITH SCORE 187558.558
AT ITER 6540 NEW BEST:: SOT 4046948 SOS 1100618 HAS SOPS 1100618 HAS SOUS 186245 HAS SOUPS 186245 WITH SCORE 187345.618
AT ITER 6561 NEW BEST:: SOT 4046911 SOS 1100544 HAS SOPS 1100544 HAS SOUS 186171 HAS SOUPS 186171 WITH SCORE 187271.544
AT ITER 6581 NEW BEST:: SOT 4046896 SOS 1100514 HAS SOPS 1100514 HAS SOUS 186141 HAS SOUPS 186141 WITH SCORE 187241.514
AT ITER 6598 NEW BEST:: SOT 4046995 SOS 1114201 HAS SOPS 1114201 HAS SOUS 185981 HAS SOUPS 185981 WITH SCORE 187095.201
AT ITER 6615 NEW BEST:: SOT 4046814 SOS 1113839 HAS SOPS 1113839 HAS SOUS 185831 HAS SOUPS 185831 WITH SCORE 186944.839
AT ITER 6627 NEW BEST:: SOT 4046866 SOS 1113805 HAS SOPS 1113805 HAS SOUS 185797 HAS SOUPS 185797 WITH SCORE 186910.805
AT ITER 6633 NEW BEST:: SOT 4046718 SOS 1062326 HAS SOPS 1062326 HAS SOUS 185532 HAS SOUPS 185532 WITH SCORE 186594.326
AT ITER 6681 NEW BEST:: SOT 4046701 SOS 1062292 HAS SOPS 1062292 HAS SOUS 185524 HAS SOUPS 185524 WITH SCORE 186586.292
AT ITER 6685 NEW BEST:: SOT 4047028 SOS 1062714 HAS SOPS 1062714 HAS SOUS 185134 HAS SOUPS 185134 WITH SCORE 186196.714
AT ITER 6752 NEW BEST:: SOT 4047027 SOS 1062712 HAS SOPS 1062712 HAS SOUS 185132 HAS SOUPS 185132 WITH SCORE 186194.712
AT ITER 6754 NEW BEST:: SOT 4047013 SOS 1062684 HAS SOPS 1062684 HAS SOUS 185104 HAS SOUPS 185104 WITH SCORE 186166.684
AT ITER 6763 NEW BEST:: SOT 4046786 SOS 1062230 HAS SOPS 1062230 HAS SOUS 184938 HAS SOUPS 184938 WITH SCORE 186000.23
AT ITER 6800 NEW BEST:: SOT 4046684 SOS 1062026 HAS SOPS 1062026 HAS SOUS 184836 HAS SOUPS 184836 WITH SCORE 185898.026
AT ITER 6810 NEW BEST:: SOT 4046670 SOS 1061998 HAS SOPS 1061998 HAS SOUS 184808 HAS SOUPS 184808 WITH SCORE 185869.998
AT ITER 6863 NEW BEST:: SOT 4046648 SOS 1061954 HAS SOPS 1061954 HAS SOUS 184764 HAS SOUPS 184764 WITH SCORE 185825.954
AT ITER 6924 NEW BEST:: SOT 4046631 SOS 1061920 HAS SOPS 1061920 HAS SOUS 184730 HAS SOUPS 184730 WITH SCORE 185791.92
AT ITER 6926 NEW BEST:: SOT 4046624 SOS 1061906 HAS SOPS 1061906 HAS SOUS 184664 HAS SOUPS 184664 WITH SCORE 185725.906
AT ITER 6950 NEW BEST:: SOT 4046623 SOS 1061904 HAS SOPS 1061904 HAS SOUS 184662 HAS SOUPS 184662 WITH SCORE 185723.904
AT ITER 6976 NEW BEST:: SOT 4046616 SOS 1061747 HAS SOPS 1061747 HAS SOUS 184648 HAS SOUPS 184648 WITH SCORE 185709.747
AT ITER 6992 NEW BEST:: SOT 4046426 SOS 1061367 HAS SOPS 1061367 HAS SOUS 184539 HAS SOUPS 184539 WITH SCORE 185600.367
AT ITER 7008 NEW BEST:: SOT 4046455 SOS 1061425 HAS SOPS 1061425 HAS SOUS 184537 HAS SOUPS 184537 WITH SCORE 185598.425
AT ITER 7039 NEW BEST:: SOT 4046395 SOS 1076559 HAS SOPS 1076559 HAS SOUS 184392 HAS SOUPS 184392 WITH SCORE 185468.559
AT ITER 7049 NEW BEST:: SOT 4046381 SOS 1076531 HAS SOPS 1076531 HAS SOUS 184364 HAS SOUPS 184364 WITH SCORE 185440.531
AT ITER 7051 NEW BEST:: SOT 4046413 SOS 1068851 HAS SOPS 1068851 HAS SOUS 184301 HAS SOUPS 184301 WITH SCORE 185369.851
AT ITER 7060 NEW BEST:: SOT 4046430 SOS 1068885 HAS SOPS 1068885 HAS SOUS 184295 HAS SOUPS 184295 WITH SCORE 185363.885
AT ITER 7066 NEW BEST:: SOT 4046427 SOS 1068879 HAS SOPS 1068879 HAS SOUS 184289 HAS SOUPS 184289 WITH SCORE 185357.879
AT ITER 7076 NEW BEST:: SOT 4046423 SOS 1068955 HAS SOPS 1068955 HAS SOUS 184281 HAS SOUPS 184281 WITH SCORE 185349.955
AT ITER 7087 NEW BEST:: SOT 4046409 SOS 1069024 HAS SOPS 1069024 HAS SOUS 184253 HAS SOUPS 184253 WITH SCORE 185322.024
AT ITER 7091 NEW BEST:: SOT 4046373 SOS 1068952 HAS SOPS 1068952 HAS SOUS 184181 HAS SOUPS 184181 WITH SCORE 185249.952
AT ITER 7096 NEW BEST:: SOT 4046271 SOS 1068748 HAS SOPS 1068748 HAS SOUS 184079 HAS SOUPS 184079 WITH SCORE 185147.748
AT ITER 7097 NEW BEST:: SOT 4046271 SOS 1068747 HAS SOPS 1068747 HAS SOUS 184079 HAS SOUPS 184079 WITH SCORE 185147.747
AT ITER 7102 NEW BEST:: SOT 4046434 SOS 1067492 HAS SOPS 1067492 HAS SOUS 183478 HAS SOUPS 183478 WITH SCORE 184545.492
AT ITER 7143 NEW BEST:: SOT 4046405 SOS 1067434 HAS SOPS 1067434 HAS SOUS 183420 HAS SOUPS 183420 WITH SCORE 184487.434
AT ITER 7161 NEW BEST:: SOT 4046405 SOS 1067365 HAS SOPS 1067365 HAS SOUS 183420 HAS SOUPS 183420 WITH SCORE 184487.365
AT ITER 7172 NEW BEST:: SOT 4046395 SOS 1067345 HAS SOPS 1067345 HAS SOUS 183400 HAS SOUPS 183400 WITH SCORE 184467.345
AT ITER 7174 NEW BEST:: SOT 4046377 SOS 1067309 HAS SOPS 1067309 HAS SOUS 183382 HAS SOUPS 183382 WITH SCORE 184449.309
AT ITER 7209 NEW BEST:: SOT 4046367 SOS 1067289 HAS SOPS 1067289 HAS SOUS 183362 HAS SOUPS 183362 WITH SCORE 184429.289
AT ITER 7227 NEW BEST:: SOT 4046367 SOS 1065375 HAS SOPS 1065375 HAS SOUS 183358 HAS SOUPS 183358 WITH SCORE 184423.375
AT ITER 7239 NEW BEST:: SOT 4046339 SOS 1079869 HAS SOPS 1079869 HAS SOUS 183332 HAS SOUPS 183332 WITH SCORE 184411.869
AT ITER 7249 NEW BEST:: SOT 4046339 SOS 1079869 HAS SOPS 1079869 HAS SOUS 183325 HAS SOUPS 183325 WITH SCORE 184404.869
AT ITER 7265 NEW BEST:: SOT 4046339 SOS 1068996 HAS SOPS 1068996 HAS SOUS 183325 HAS SOUPS 183325 WITH SCORE 184393.996
AT ITER 7284 NEW BEST:: SOT 4046339 SOS 1068996 HAS SOPS 1068996 HAS SOUS 183316 HAS SOUPS 183316 WITH SCORE 184384.996
AT ITER 7285 NEW BEST:: SOT 4046338 SOS 1068994 HAS SOPS 1068994 HAS SOUS 183314 HAS SOUPS 183314 WITH SCORE 184382.994
AT ITER 7334 NEW BEST:: SOT 4046275 SOS 1068900 HAS SOPS 1068900 HAS SOUS 183220 HAS SOUPS 183220 WITH SCORE 184288.9
AT ITER 7372 NEW BEST:: SOT 4046241 SOS 1069104 HAS SOPS 1069104 HAS SOUS 183203 HAS SOUPS 183203 WITH SCORE 184272.104
AT ITER 7398 NEW BEST:: SOT 4046221 SOS 1069064 HAS SOPS 1069064 HAS SOUS 183163 HAS SOUPS 183163 WITH SCORE 184232.064
AT ITER 7402 NEW BEST:: SOT 4046143 SOS 1068908 HAS SOPS 1068908 HAS SOUS 182929 HAS SOUPS 182929 WITH SCORE 183997.908
AT ITER 7417 NEW BEST:: SOT 4046099 SOS 1068820 HAS SOPS 1068820 HAS SOUS 182885 HAS SOUPS 182885 WITH SCORE 183953.82
AT ITER 7459 NEW BEST:: SOT 4046097 SOS 1068816 HAS SOPS 1068816 HAS SOUS 182881 HAS SOUPS 182881 WITH SCORE 183949.816
AT ITER 7465 NEW BEST:: SOT 4045937 SOS 1068496 HAS SOPS 1068496 HAS SOUS 182721 HAS SOUPS 182721 WITH SCORE 183789.496
AT ITER 7496 NEW BEST:: SOT 4045893 SOS 1068408 HAS SOPS 1068408 HAS SOUS 182655 HAS SOUPS 182655 WITH SCORE 183723.408
AT ITER 7518 NEW BEST:: SOT 4045810 SOS 1068242 HAS SOPS 1068242 HAS SOUS 182489 HAS SOUPS 182489 WITH SCORE 183557.242
AT ITER 7526 NEW BEST:: SOT 4045800 SOS 1068222 HAS SOPS 1068222 HAS SOUS 182469 HAS SOUPS 182469 WITH SCORE 183537.222
AT ITER 7535 NEW BEST:: SOT 4045798 SOS 1068220 HAS SOPS 1068220 HAS SOUS 182467 HAS SOUPS 182467 WITH SCORE 183535.22
AT ITER 7557 NEW BEST:: SOT 4045792 SOS 1068208 HAS SOPS 1068208 HAS SOUS 182455 HAS SOUPS 182455 WITH SCORE 183523.208
AT ITER 7559 NEW BEST:: SOT 4045729 SOS 1068245 HAS SOPS 1068245 HAS SOUS 182444 HAS SOUPS 182444 WITH SCORE 183512.245
AT ITER 7561 NEW BEST:: SOT 4045675 SOS 1068137 HAS SOPS 1068137 HAS SOUS 182336 HAS SOUPS 182336 WITH SCORE 183404.137
AT ITER 7565 NEW BEST:: SOT 4045673 SOS 1068133 HAS SOPS 1068133 HAS SOUS 182332 HAS SOUPS 182332 WITH SCORE 183400.133
AT ITER 7566 NEW BEST:: SOT 4045600 SOS 1067987 HAS SOPS 1067987 HAS SOUS 182259 HAS SOUPS 182259 WITH SCORE 183326.987
AT ITER 7594 NEW BEST:: SOT 4045590 SOS 1067995 HAS SOPS 1067995 HAS SOUS 182253 HAS SOUPS 182253 WITH SCORE 183320.995
AT ITER 7614 NEW BEST:: SOT 4045575 SOS 1067980 HAS SOPS 1067980 HAS SOUS 182238 HAS SOUPS 182238 WITH SCORE 183305.98
AT ITER 7620 NEW BEST:: SOT 4045566 SOS 1056762 HAS SOPS 1056762 HAS SOUS 181676 HAS SOUPS 181676 WITH SCORE 182732.762
AT ITER 7621 NEW BEST:: SOT 4045477 SOS 1056651 HAS SOPS 1056651 HAS SOUS 181565 HAS SOUPS 181565 WITH SCORE 182621.651
AT ITER 7623 NEW BEST:: SOT 4045448 SOS 1056593 HAS SOPS 1056593 HAS SOUS 181507 HAS SOUPS 181507 WITH SCORE 182563.593
AT ITER 7676 NEW BEST:: SOT 4045448 SOS 1056547 HAS SOPS 1056547 HAS SOUS 181461 HAS SOUPS 181461 WITH SCORE 182517.547
AT ITER 7728 NEW BEST:: SOT 4045430 SOS 1046117 HAS SOPS 1046117 HAS SOUS 181355 HAS SOUPS 181355 WITH SCORE 182401.117
AT ITER 7791 NEW BEST:: SOT 4045430 SOS 1046090 HAS SOPS 1046090 HAS SOUS 181234 HAS SOUPS 181234 WITH SCORE 182280.09
AT ITER 7800 NEW BEST:: SOT 4045430 SOS 1046090 HAS SOPS 1046090 HAS SOUS 181202 HAS SOUPS 181202 WITH SCORE 182248.09
AT ITER 7814 NEW BEST:: SOT 4045387 SOS 1046004 HAS SOPS 1046004 HAS SOUS 181116 HAS SOUPS 181116 WITH SCORE 182162.004
AT ITER 7828 NEW BEST:: SOT 4045361 SOS 1045974 HAS SOPS 1045974 HAS SOUS 181086 HAS SOUPS 181086 WITH SCORE 182131.974
AT ITER 7830 NEW BEST:: SOT 4045315 SOS 1045908 HAS SOPS 1045908 HAS SOUS 181046 HAS SOUPS 181046 WITH SCORE 182091.908
AT ITER 7902 NEW BEST:: SOT 4045306 SOS 1045890 HAS SOPS 1045890 HAS SOUS 180991 HAS SOUPS 180991 WITH SCORE 182036.89
AT ITER 7909 NEW BEST:: SOT 4045284 SOS 1045846 HAS SOPS 1045846 HAS SOUS 180969 HAS SOUPS 180969 WITH SCORE 182014.846
AT ITER 7931 NEW BEST:: SOT 4045264 SOS 1045806 HAS SOPS 1045806 HAS SOUS 180929 HAS SOUPS 180929 WITH SCORE 181974.806
AT ITER 7934 NEW BEST:: SOT 4045263 SOS 1045804 HAS SOPS 1045804 HAS SOUS 180927 HAS SOUPS 180927 WITH SCORE 181972.804
AT ITER 7940 NEW BEST:: SOT 4045234 SOS 1045746 HAS SOPS 1045746 HAS SOUS 180852 HAS SOUPS 180852 WITH SCORE 181897.746
AT ITER 7957 NEW BEST:: SOT 4045233 SOS 1045926 HAS SOPS 1045926 HAS SOUS 180850 HAS SOUPS 180850 WITH SCORE 181895.926
AT ITER 7962 NEW BEST:: SOT 4045064 SOS 1045588 HAS SOPS 1045588 HAS SOUS 180681 HAS SOUPS 180681 WITH SCORE 181726.588
AT ITER 7965 NEW BEST:: SOT 4045057 SOS 1045574 HAS SOPS 1045574 HAS SOUS 180674 HAS SOUPS 180674 WITH SCORE 181719.574
AT ITER 7969 NEW BEST:: SOT 4045057 SOS 1044939 HAS SOPS 1044939 HAS SOUS 180622 HAS SOUPS 180622 WITH SCORE 181666.939
AT ITER 8057 NEW BEST:: SOT 4045030 SOS 1044885 HAS SOPS 1044885 HAS SOUS 180568 HAS SOUPS 180568 WITH SCORE 181612.885
AT ITER 8068 NEW BEST:: SOT 4044620 SOS 1044270 HAS SOPS 1044270 HAS SOUS 180076 HAS SOUPS 180076 WITH SCORE 181120.27
AT ITER 8070 NEW BEST:: SOT 4044613 SOS 1044263 HAS SOPS 1044263 HAS SOUS 180069 HAS SOUPS 180069 WITH SCORE 181113.263
AT ITER 8073 NEW BEST:: SOT 4044568 SOS 1044173 HAS SOPS 1044173 HAS SOUS 179979 HAS SOUPS 179979 WITH SCORE 181023.173
AT ITER 8136 NEW BEST:: SOT 4044568 SOS 1046603 HAS SOPS 1046603 HAS SOUS 179969 HAS SOUPS 179969 WITH SCORE 181015.603
AT ITER 8147 NEW BEST:: SOT 4044566 SOS 1046568 HAS SOPS 1046568 HAS SOUS 179944 HAS SOUPS 179944 WITH SCORE 180990.568
AT ITER 8231 NEW BEST:: SOT 4044566 SOS 1046551 HAS SOPS 1046551 HAS SOUS 179944 HAS SOUPS 179944 WITH SCORE 180990.551
AT ITER 8260 NEW BEST:: SOT 4044544 SOS 1046507 HAS SOPS 1046507 HAS SOUS 179900 HAS SOUPS 179900 WITH SCORE 180946.507
AT ITER 8262 NEW BEST:: SOT 4044426 SOS 1046271 HAS SOPS 1046271 HAS SOUS 179777 HAS SOUPS 179777 WITH SCORE 180823.271
AT ITER 8278 NEW BEST:: SOT 4044450 SOS 1046235 HAS SOPS 1046235 HAS SOUS 179741 HAS SOUPS 179741 WITH SCORE 180787.235
AT ITER 8282 NEW BEST:: SOT 4044420 SOS 1046175 HAS SOPS 1046175 HAS SOUS 179696 HAS SOUPS 179696 WITH SCORE 180742.175
AT ITER 8302 NEW BEST:: SOT 4044413 SOS 1046161 HAS SOPS 1046161 HAS SOUS 179682 HAS SOUPS 179682 WITH SCORE 180728.161
AT ITER 8337 NEW BEST:: SOT 4044413 SOS 1046128 HAS SOPS 1046128 HAS SOUS 179682 HAS SOUPS 179682 WITH SCORE 180728.128
AT ITER 8340 NEW BEST:: SOT 4044375 SOS 1046124 HAS SOPS 1046124 HAS SOUS 179678 HAS SOUPS 179678 WITH SCORE 180724.124
AT ITER 8359 NEW BEST:: SOT 4044361 SOS 1046096 HAS SOPS 1046096 HAS SOUS 179650 HAS SOUPS 179650 WITH SCORE 180696.096
AT ITER 8383 NEW BEST:: SOT 4044356 SOS 1046086 HAS SOPS 1046086 HAS SOUS 179640 HAS SOUPS 179640 WITH SCORE 180686.086
AT ITER 8415 NEW BEST:: SOT 4044247 SOS 1045758 HAS SOPS 1045758 HAS SOUS 179530 HAS SOUPS 179530 WITH SCORE 180575.758
AT ITER 8424 NEW BEST:: SOT 4044240 SOS 1045744 HAS SOPS 1045744 HAS SOUS 179516 HAS SOUPS 179516 WITH SCORE 180561.744
AT ITER 8455 NEW BEST:: SOT 4044188 SOS 1045640 HAS SOPS 1045640 HAS SOUS 179412 HAS SOUPS 179412 WITH SCORE 180457.64
AT ITER 8499 NEW BEST:: SOT 4044140 SOS 1045544 HAS SOPS 1045544 HAS SOUS 179316 HAS SOUPS 179316 WITH SCORE 180361.544
AT ITER 8502 NEW BEST:: SOT 4044095 SOS 1045454 HAS SOPS 1045454 HAS SOUS 179226 HAS SOUPS 179226 WITH SCORE 180271.454
AT ITER 8544 NEW BEST:: SOT 4044074 SOS 1045433 HAS SOPS 1045433 HAS SOUS 179205 HAS SOUPS 179205 WITH SCORE 180250.433
AT ITER 8546 NEW BEST:: SOT 4044061 SOS 1045407 HAS SOPS 1045407 HAS SOUS 179179 HAS SOUPS 179179 WITH SCORE 180224.407
AT ITER 8549 NEW BEST:: SOT 4043997 SOS 1045279 HAS SOPS 1045279 HAS SOUS 179051 HAS SOUPS 179051 WITH SCORE 180096.279
AT ITER 8573 NEW BEST:: SOT 4043977 SOS 1045239 HAS SOPS 1045239 HAS SOUS 179011 HAS SOUPS 179011 WITH SCORE 180056.239
AT ITER 8583 NEW BEST:: SOT 4043971 SOS 1045227 HAS SOPS 1045227 HAS SOUS 178999 HAS SOUPS 178999 WITH SCORE 180044.227
AT ITER 8591 NEW BEST:: SOT 4043951 SOS 1045187 HAS SOPS 1045187 HAS SOUS 178959 HAS SOUPS 178959 WITH SCORE 180004.187
AT ITER 8639 NEW BEST:: SOT 4043904 SOS 1045124 HAS SOPS 1045124 HAS SOUS 178893 HAS SOUPS 178893 WITH SCORE 179938.124
AT ITER 8672 NEW BEST:: SOT 4043931 SOS 1045068 HAS SOPS 1045068 HAS SOUS 178837 HAS SOUPS 178837 WITH SCORE 179882.068
AT ITER 8749 NEW BEST:: SOT 4043928 SOS 1045062 HAS SOPS 1045062 HAS SOUS 178831 HAS SOUPS 178831 WITH SCORE 179876.062
AT ITER 8767 NEW BEST:: SOT 4043928 SOS 1081152 HAS SOPS 1081152 HAS SOUS 178785 HAS SOUPS 178785 WITH SCORE 179866.152
AT ITER 8769 NEW BEST:: SOT 4043843 SOS 1081074 HAS SOPS 1081074 HAS SOUS 178707 HAS SOUPS 178707 WITH SCORE 179788.074
AT ITER 8854 NEW BEST:: SOT 4043832 SOS 1081052 HAS SOPS 1081052 HAS SOUS 178685 HAS SOUPS 178685 WITH SCORE 179766.052
AT ITER 8890 NEW BEST:: SOT 4043815 SOS 1081018 HAS SOPS 1081018 HAS SOUS 178675 HAS SOUPS 178675 WITH SCORE 179756.018
AT ITER 8910 NEW BEST:: SOT 4043787 SOS 1080962 HAS SOPS 1080962 HAS SOUS 178619 HAS SOUPS 178619 WITH SCORE 179699.962
AT ITER 8920 NEW BEST:: SOT 4043699 SOS 1080786 HAS SOPS 1080786 HAS SOUS 178443 HAS SOUPS 178443 WITH SCORE 179523.786
AT ITER 8938 NEW BEST:: SOT 4043698 SOS 1080784 HAS SOPS 1080784 HAS SOUS 178441 HAS SOUPS 178441 WITH SCORE 179521.784
AT ITER 8942 NEW BEST:: SOT 4043691 SOS 1080770 HAS SOPS 1080770 HAS SOUS 178427 HAS SOUPS 178427 WITH SCORE 179507.77
AT ITER 8967 NEW BEST:: SOT 4043691 SOS 1080770 HAS SOPS 1080770 HAS SOUS 178419 HAS SOUPS 178419 WITH SCORE 179499.77
AT ITER 8979 NEW BEST:: SOT 4043682 SOS 1080752 HAS SOPS 1080752 HAS SOUS 178401 HAS SOUPS 178401 WITH SCORE 179481.752
AT ITER 8987 NEW BEST:: SOT 4043662 SOS 1080712 HAS SOPS 1080712 HAS SOUS 178361 HAS SOUPS 178361 WITH SCORE 179441.712
AT ITER 9015 NEW BEST:: SOT 4043662 SOS 1080712 HAS SOPS 1080712 HAS SOUS 178259 HAS SOUPS 178259 WITH SCORE 179339.712
AT ITER 9077 NEW BEST:: SOT 4043641 SOS 1080670 HAS SOPS 1080670 HAS SOUS 178194 HAS SOUPS 178194 WITH SCORE 179274.67
AT ITER 9146 NEW BEST:: SOT 4043615 SOS 1080618 HAS SOPS 1080618 HAS SOUS 177859 HAS SOUPS 177859 WITH SCORE 178939.618
AT ITER 9148 NEW BEST:: SOT 4043577 SOS 1080596 HAS SOPS 1080596 HAS SOUS 177837 HAS SOUPS 177837 WITH SCORE 178917.596
AT ITER 9182 NEW BEST:: SOT 4043543 SOS 1080545 HAS SOPS 1080545 HAS SOUS 177786 HAS SOUPS 177786 WITH SCORE 178866.545
AT ITER 9196 NEW BEST:: SOT 4043555 SOS 1080521 HAS SOPS 1080521 HAS SOUS 177779 HAS SOUPS 177779 WITH SCORE 178859.521
AT ITER 9204 NEW BEST:: SOT 4043521 SOS 1080453 HAS SOPS 1080453 HAS SOUS 177711 HAS SOUPS 177711 WITH SCORE 178791.453
AT ITER 9207 NEW BEST:: SOT 4043464 SOS 1082259 HAS SOPS 1082259 HAS SOUS 177678 HAS SOUPS 177678 WITH SCORE 178760.259
AT ITER 9219 NEW BEST:: SOT 4043433 SOS 1082197 HAS SOPS 1082197 HAS SOUS 177616 HAS SOUPS 177616 WITH SCORE 178698.197
AT ITER 9222 NEW BEST:: SOT 4043387 SOS 1082105 HAS SOPS 1082105 HAS SOUS 177524 HAS SOUPS 177524 WITH SCORE 178606.105
AT ITER 9223 NEW BEST:: SOT 4043345 SOS 1082021 HAS SOPS 1082021 HAS SOUS 177440 HAS SOUPS 177440 WITH SCORE 178522.021
AT ITER 9260 NEW BEST:: SOT 4043330 SOS 1081991 HAS SOPS 1081991 HAS SOUS 177410 HAS SOUPS 177410 WITH SCORE 178491.991
AT ITER 9276 NEW BEST:: SOT 4043330 SOS 1049250 HAS SOPS 1049250 HAS SOUS 177410 HAS SOUPS 177410 WITH SCORE 178459.25
AT ITER 9314 NEW BEST:: SOT 4043199 SOS 1048988 HAS SOPS 1048988 HAS SOUS 177035 HAS SOUPS 177035 WITH SCORE 178083.988
AT ITER 9337 NEW BEST:: SOT 4043146 SOS 1048882 HAS SOPS 1048882 HAS SOUS 176929 HAS SOUPS 176929 WITH SCORE 177977.882
AT ITER 9342 NEW BEST:: SOT 4043041 SOS 1048672 HAS SOPS 1048672 HAS SOUS 176824 HAS SOUPS 176824 WITH SCORE 177872.672
AT ITER 9356 NEW BEST:: SOT 4043041 SOS 1048672 HAS SOPS 1048672 HAS SOUS 176766 HAS SOUPS 176766 WITH SCORE 177814.672
AT ITER 9386 NEW BEST:: SOT 4043016 SOS 1048664 HAS SOPS 1048664 HAS SOUS 176745 HAS SOUPS 176745 WITH SCORE 177793.664
AT ITER 9397 NEW BEST:: SOT 4042989 SOS 1048610 HAS SOPS 1048610 HAS SOUS 176691 HAS SOUPS 176691 WITH SCORE 177739.61
AT ITER 9403 NEW BEST:: SOT 4043007 SOS 1048646 HAS SOPS 1048646 HAS SOUS 176619 HAS SOUPS 176619 WITH SCORE 177667.646
AT ITER 9436 NEW BEST:: SOT 4043000 SOS 1048632 HAS SOPS 1048632 HAS SOUS 176580 HAS SOUPS 176580 WITH SCORE 177628.632
AT ITER 9463 NEW BEST:: SOT 4042962 SOS 1048070 HAS SOPS 1048070 HAS SOUS 176324 HAS SOUPS 176324 WITH SCORE 177372.07
AT ITER 9464 NEW BEST:: SOT 4042935 SOS 1048016 HAS SOPS 1048016 HAS SOUS 176297 HAS SOUPS 176297 WITH SCORE 177345.016
AT ITER 9491 NEW BEST:: SOT 4042910 SOS 1047966 HAS SOPS 1047966 HAS SOUS 176247 HAS SOUPS 176247 WITH SCORE 177294.966
AT ITER 9492 NEW BEST:: SOT 4042834 SOS 1047814 HAS SOPS 1047814 HAS SOUS 176206 HAS SOUPS 176206 WITH SCORE 177253.814
AT ITER 9553 NEW BEST:: SOT 4042708 SOS 1047562 HAS SOPS 1047562 HAS SOUS 175954 HAS SOUPS 175954 WITH SCORE 177001.562
AT ITER 9567 NEW BEST:: SOT 4042681 SOS 1047544 HAS SOPS 1047544 HAS SOUS 175900 HAS SOUPS 175900 WITH SCORE 176947.544
AT ITER 9586 NEW BEST:: SOT 4042680 SOS 1047542 HAS SOPS 1047542 HAS SOUS 175898 HAS SOUPS 175898 WITH SCORE 176945.542
AT ITER 9655 NEW BEST:: SOT 4042598 SOS 1047378 HAS SOPS 1047378 HAS SOUS 175714 HAS SOUPS 175714 WITH SCORE 176761.378
AT ITER 9728 NEW BEST:: SOT 4042611 SOS 1047404 HAS SOPS 1047404 HAS SOUS 175692 HAS SOUPS 175692 WITH SCORE 176739.404
AT ITER 9738 NEW BEST:: SOT 4042606 SOS 1047399 HAS SOPS 1047399 HAS SOUS 175692 HAS SOUPS 175692 WITH SCORE 176739.399
AT ITER 9864 NEW BEST:: SOT 4042542 SOS 1047335 HAS SOPS 1047335 HAS SOUS 175627 HAS SOUPS 175627 WITH SCORE 176674.335
AT ITER 9945 NEW BEST:: SOT 4042542 SOS 1047335 HAS SOPS 1047335 HAS SOUS 175622 HAS SOUPS 175622 WITH SCORE 176669.335
AT ITER 9946 NEW BEST:: SOT 4042515 SOS 1047329 HAS SOPS 1047329 HAS SOUS 175616 HAS SOUPS 175616 WITH SCORE 176663.329
AT ITER 9970 NEW BEST:: SOT 4042515 SOS 1047325 HAS SOPS 1047325 HAS SOUS 175616 HAS SOUPS 175616 WITH SCORE 176663.325
AT ITER 9992 NEW BEST:: SOT 4042494 SOS 1047283 HAS SOPS 1047283 HAS SOUS 175595 HAS SOUPS 175595 WITH SCORE 176642.283
AT ITER 9993 NEW BEST:: SOT 4042469 SOS 1047233 HAS SOPS 1047233 HAS SOUS 175545 HAS SOUPS 175545 WITH SCORE 176592.233
AT ITER 9994 NEW BEST:: SOT 4042466 SOS 1047121 HAS SOPS 1047121 HAS SOUS 175509 HAS SOUPS 175509 WITH SCORE 176556.121
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393932 kB
MemFree: 14146184 kB
After kill :
MemTotal: 16393932 kB
MemFree: 16141840 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="StigmergyElection-PT-07b"
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 StigmergyElection-PT-07b, 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 r451-smll-167912643800648"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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