Execution Chart

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

Trace from the execution

Formatting '/local/x2003239/mcc2020-input.r190-csrt-159033383000608.qcow2', fmt=qcow2 size=4294967296 backing_file=/local/x2003239/mcc2020-input.qcow2 encryption=off cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
............................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is Vasy2003-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r190-csrt-159033383000608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 384K
-rw-r--r-- 1 mcc users 3.7K Apr 12 20:13 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 20:13 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 11 23:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 22K Apr 11 23:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:38 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.3K Apr 15 10:55 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:04 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 15 10:55 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:04 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.3K Apr 10 22:21 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 16K Apr 10 22:21 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 10 07:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 10 07:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:30 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:30 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 24 05:38 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:38 iscolored
-rw-r--r-- 1 mcc users 207K Mar 24 05:38 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 1590409216502

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Vasy2003 (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 485 places, 776 transitions, 2809 arcs.
AT ITER 0 NEW BEST:: SOT 312987 SOS 279620 HAS SOPS 279598 HAS SOUS 152075 HAS SOUPS 152053 WITH SCORE 152332.62
AT ITER 2 NEW BEST:: SOT 312987 SOS 279538 HAS SOPS 279516 HAS SOUS 152034 HAS SOUPS 152012 WITH SCORE 152291.538
AT ITER 3 NEW BEST:: SOT 312987 SOS 279538 HAS SOPS 279516 HAS SOUS 152022 HAS SOUPS 152000 WITH SCORE 152279.538
AT ITER 4 NEW BEST:: SOT 312794 SOS 279345 HAS SOPS 279323 HAS SOUS 151904 HAS SOUPS 151882 WITH SCORE 152161.345
AT ITER 12 NEW BEST:: SOT 312794 SOS 279553 HAS SOPS 279531 HAS SOUS 151798 HAS SOUPS 151776 WITH SCORE 152055.553
AT ITER 18 NEW BEST:: SOT 312213 SOS 279900 HAS SOPS 279257 HAS SOUS 151874 HAS SOUPS 151538 WITH SCORE 151817.9
AT ITER 22 NEW BEST:: SOT 312176 SOS 279861 HAS SOPS 279218 HAS SOUS 151813 HAS SOUPS 151477 WITH SCORE 151756.861
AT ITER 23 NEW BEST:: SOT 311969 SOS 279654 HAS SOPS 279011 HAS SOUS 151287 HAS SOUPS 150951 WITH SCORE 151230.654
AT ITER 25 NEW BEST:: SOT 311852 SOS 279419 HAS SOPS 278776 HAS SOUS 151169 HAS SOUPS 150833 WITH SCORE 151112.419
AT ITER 27 NEW BEST:: SOT 311821 SOS 279388 HAS SOPS 278745 HAS SOUS 151129 HAS SOUPS 150793 WITH SCORE 151072.388
AT ITER 30 NEW BEST:: SOT 311821 SOS 278071 HAS SOPS 277428 HAS SOUS 151118 HAS SOUPS 150782 WITH SCORE 151060.071
AT ITER 32 NEW BEST:: SOT 311741 SOS 277831 HAS SOPS 277188 HAS SOUS 150958 HAS SOUPS 150622 WITH SCORE 150899.831
AT ITER 33 NEW BEST:: SOT 311620 SOS 278248 HAS SOPS 277437 HAS SOUS 151206 HAS SOUPS 150609 WITH SCORE 150887.248
AT ITER 43 NEW BEST:: SOT 311340 SOS 277968 HAS SOPS 277157 HAS SOUS 150894 HAS SOUPS 150297 WITH SCORE 150574.968
AT ITER 44 NEW BEST:: SOT 283627 SOS 251489 HAS SOPS 249475 HAS SOUS 129197 HAS SOUPS 128458 WITH SCORE 128709.489
AT ITER 50 NEW BEST:: SOT 280190 SOS 248052 HAS SOPS 246038 HAS SOUS 127980 HAS SOUPS 127241 WITH SCORE 127489.052
AT ITER 69 NEW BEST:: SOT 278344 SOS 246804 HAS SOPS 243479 HAS SOUS 127255 HAS SOUPS 126166 WITH SCORE 126412.804
AT ITER 82 NEW BEST:: SOT 278348 SOS 246808 HAS SOPS 243483 HAS SOUS 126762 HAS SOUPS 125673 WITH SCORE 125919.808
AT ITER 85 NEW BEST:: SOT 278348 SOS 246808 HAS SOPS 243483 HAS SOUS 126761 HAS SOUPS 125672 WITH SCORE 125918.808
AT ITER 86 NEW BEST:: SOT 278005 SOS 245739 HAS SOPS 242414 HAS SOUS 126378 HAS SOUPS 125289 WITH SCORE 125534.739
AT ITER 94 NEW BEST:: SOT 277996 SOS 245730 HAS SOPS 242405 HAS SOUS 126369 HAS SOUPS 125280 WITH SCORE 125525.73
AT ITER 96 NEW BEST:: SOT 277763 SOS 245262 HAS SOPS 241937 HAS SOUS 125960 HAS SOUPS 124871 WITH SCORE 125116.262
AT ITER 113 NEW BEST:: SOT 277763 SOS 245262 HAS SOPS 241937 HAS SOUS 125957 HAS SOUPS 124868 WITH SCORE 125113.262
AT ITER 120 NEW BEST:: SOT 277763 SOS 245453 HAS SOPS 242235 HAS SOUS 125831 HAS SOUPS 124742 WITH SCORE 124987.453
AT ITER 122 NEW BEST:: SOT 277789 SOS 245533 HAS SOPS 242408 HAS SOUS 125794 HAS SOUPS 124705 WITH SCORE 124950.533
AT ITER 135 NEW BEST:: SOT 277759 SOS 245658 HAS SOPS 242383 HAS SOUS 125719 HAS SOUPS 124580 WITH SCORE 124825.658
AT ITER 136 NEW BEST:: SOT 277674 SOS 245573 HAS SOPS 242298 HAS SOUS 125718 HAS SOUPS 124579 WITH SCORE 124824.573
AT ITER 138 NEW BEST:: SOT 277555 SOS 245454 HAS SOPS 242179 HAS SOUS 125599 HAS SOUPS 124460 WITH SCORE 124705.454
AT ITER 146 NEW BEST:: SOT 277694 SOS 245593 HAS SOPS 242318 HAS SOUS 125571 HAS SOUPS 124432 WITH SCORE 124677.593
AT ITER 147 NEW BEST:: SOT 277324 SOS 243147 HAS SOPS 239872 HAS SOUS 125200 HAS SOUPS 124061 WITH SCORE 124304.147
AT ITER 148 NEW BEST:: SOT 277316 SOS 243145 HAS SOPS 239860 HAS SOUS 125192 HAS SOUPS 124051 WITH SCORE 124294.145
AT ITER 160 NEW BEST:: SOT 277316 SOS 243145 HAS SOPS 239860 HAS SOUS 125164 HAS SOUPS 124023 WITH SCORE 124266.145
AT ITER 161 NEW BEST:: SOT 277129 SOS 242771 HAS SOPS 239486 HAS SOUS 124975 HAS SOUPS 123834 WITH SCORE 124076.771
AT ITER 162 NEW BEST:: SOT 277059 SOS 242701 HAS SOPS 239416 HAS SOUS 124974 HAS SOUPS 123833 WITH SCORE 124075.701
AT ITER 164 NEW BEST:: SOT 277049 SOS 242691 HAS SOPS 239406 HAS SOUS 124974 HAS SOUPS 123833 WITH SCORE 124075.691
AT ITER 165 NEW BEST:: SOT 277067 SOS 242709 HAS SOPS 239424 HAS SOUS 124926 HAS SOUPS 123785 WITH SCORE 124027.709
AT ITER 166 NEW BEST:: SOT 277067 SOS 242709 HAS SOPS 239424 HAS SOUS 124760 HAS SOUPS 123619 WITH SCORE 123861.709
AT ITER 168 NEW BEST:: SOT 277067 SOS 242709 HAS SOPS 239424 HAS SOUS 124587 HAS SOUPS 123446 WITH SCORE 123688.709
AT ITER 170 NEW BEST:: SOT 276888 SOS 234142 HAS SOPS 230857 HAS SOUS 124474 HAS SOUPS 123333 WITH SCORE 123567.142
AT ITER 177 NEW BEST:: SOT 276887 SOS 234140 HAS SOPS 230854 HAS SOUS 124471 HAS SOUPS 123330 WITH SCORE 123564.14
AT ITER 180 NEW BEST:: SOT 276872 SOS 234288 HAS SOPS 230839 HAS SOUS 124619 HAS SOUPS 123315 WITH SCORE 123549.288
AT ITER 188 NEW BEST:: SOT 276997 SOS 235022 HAS SOPS 230878 HAS SOUS 124783 HAS SOUPS 123241 WITH SCORE 123476.022
AT ITER 190 NEW BEST:: SOT 276996 SOS 235052 HAS SOPS 230939 HAS SOUS 124780 HAS SOUPS 123238 WITH SCORE 123473.052
AT ITER 197 NEW BEST:: SOT 277144 SOS 234250 HAS SOPS 230137 HAS SOUS 124730 HAS SOUPS 123188 WITH SCORE 123422.25
AT ITER 202 NEW BEST:: SOT 277072 SOS 234178 HAS SOPS 230065 HAS SOUS 124514 HAS SOUPS 122972 WITH SCORE 123206.178
AT ITER 204 NEW BEST:: SOT 277072 SOS 234092 HAS SOPS 229979 HAS SOUS 124514 HAS SOUPS 122972 WITH SCORE 123206.092
AT ITER 210 NEW BEST:: SOT 272058 SOS 229078 HAS SOPS 224965 HAS SOUS 117322 HAS SOUPS 115780 WITH SCORE 116009.078
AT ITER 217 NEW BEST:: SOT 272102 SOS 229122 HAS SOPS 225009 HAS SOUS 117196 HAS SOUPS 115654 WITH SCORE 115883.122
AT ITER 226 NEW BEST:: SOT 272062 SOS 229073 HAS SOPS 224822 HAS SOUS 117114 HAS SOUPS 115522 WITH SCORE 115751.073
AT ITER 234 NEW BEST:: SOT 272028 SOS 229022 HAS SOPS 224754 HAS SOUS 117080 HAS SOUPS 115488 WITH SCORE 115717.022
AT ITER 236 NEW BEST:: SOT 271995 SOS 228989 HAS SOPS 224684 HAS SOUS 117010 HAS SOUPS 115418 WITH SCORE 115646.989
AT ITER 239 NEW BEST:: SOT 272039 SOS 228953 HAS SOPS 224648 HAS SOUS 116931 HAS SOUPS 115339 WITH SCORE 115567.953
AT ITER 250 NEW BEST:: SOT 247010 SOS 215313 HAS SOPS 208940 HAS SOUS 93388 HAS SOUPS 91596 WITH SCORE 91811.313
AT ITER 255 NEW BEST:: SOT 247061 SOS 215364 HAS SOPS 208991 HAS SOUS 93381 HAS SOUPS 91589 WITH SCORE 91804.364
AT ITER 258 NEW BEST:: SOT 247014 SOS 215122 HAS SOPS 208726 HAS SOUS 93145 HAS SOUPS 91330 WITH SCORE 91545.122
AT ITER 262 NEW BEST:: SOT 246646 SOS 214754 HAS SOPS 208492 HAS SOUS 92767 HAS SOUPS 91086 WITH SCORE 91300.754
AT ITER 275 NEW BEST:: SOT 246023 SOS 214131 HAS SOPS 207907 HAS SOUS 92136 HAS SOUPS 90455 WITH SCORE 90669.131
AT ITER 277 NEW BEST:: SOT 245992 SOS 214100 HAS SOPS 207876 HAS SOUS 92105 HAS SOUPS 90424 WITH SCORE 90638.1
AT ITER 279 NEW BEST:: SOT 245737 SOS 213080 HAS SOPS 206601 HAS SOUS 91595 HAS SOUPS 89914 WITH SCORE 90127.08
AT ITER 290 NEW BEST:: SOT 245737 SOS 213080 HAS SOPS 206601 HAS SOUS 91540 HAS SOUPS 89859 WITH SCORE 90072.08
AT ITER 293 NEW BEST:: SOT 245740 SOS 213083 HAS SOPS 206604 HAS SOUS 91379 HAS SOUPS 89698 WITH SCORE 89911.083
AT ITER 297 NEW BEST:: SOT 245711 SOS 213025 HAS SOPS 206517 HAS SOUS 91321 HAS SOUPS 89640 WITH SCORE 89853.025
AT ITER 306 NEW BEST:: SOT 245532 SOS 212700 HAS SOPS 206046 HAS SOUS 91095 HAS SOUPS 89414 WITH SCORE 89626.7
AT ITER 309 NEW BEST:: SOT 245531 SOS 212699 HAS SOPS 206045 HAS SOUS 91095 HAS SOUPS 89414 WITH SCORE 89626.699
AT ITER 321 NEW BEST:: SOT 245474 SOS 212585 HAS SOPS 205931 HAS SOUS 91095 HAS SOUPS 89414 WITH SCORE 89626.585
AT ITER 322 NEW BEST:: SOT 245502 SOS 212613 HAS SOPS 205959 HAS SOUS 91043 HAS SOUPS 89362 WITH SCORE 89574.613
AT ITER 333 NEW BEST:: SOT 245476 SOS 212557 HAS SOPS 205903 HAS SOUS 90987 HAS SOUPS 89306 WITH SCORE 89518.557
AT ITER 355 NEW BEST:: SOT 245588 SOS 212669 HAS SOPS 206015 HAS SOUS 90953 HAS SOUPS 89272 WITH SCORE 89484.669
AT ITER 359 NEW BEST:: SOT 245720 SOS 212801 HAS SOPS 206147 HAS SOUS 90952 HAS SOUPS 89271 WITH SCORE 89483.801
AT ITER 364 NEW BEST:: SOT 245474 SOS 212555 HAS SOPS 205901 HAS SOUS 90870 HAS SOUPS 89189 WITH SCORE 89401.555
AT ITER 372 NEW BEST:: SOT 245432 SOS 212513 HAS SOPS 205859 HAS SOUS 90849 HAS SOUPS 89168 WITH SCORE 89380.513
AT ITER 377 NEW BEST:: SOT 245431 SOS 212512 HAS SOPS 205858 HAS SOUS 90846 HAS SOUPS 89165 WITH SCORE 89377.512
AT ITER 388 NEW BEST:: SOT 245348 SOS 212429 HAS SOPS 205775 HAS SOUS 90597 HAS SOUPS 88916 WITH SCORE 89128.429
AT ITER 390 NEW BEST:: SOT 236265 SOS 203346 HAS SOPS 196690 HAS SOUS 88111 HAS SOUPS 86430 WITH SCORE 86633.346
AT ITER 392 NEW BEST:: SOT 236221 SOS 203302 HAS SOPS 196646 HAS SOUS 88089 HAS SOUPS 86408 WITH SCORE 86611.302
AT ITER 412 NEW BEST:: SOT 236018 SOS 203128 HAS SOPS 196364 HAS SOUS 87757 HAS SOUPS 86126 WITH SCORE 86329.128
AT ITER 417 NEW BEST:: SOT 235706 SOS 202498 HAS SOPS 195734 HAS SOUS 87168 HAS SOUPS 85537 WITH SCORE 85739.498
AT ITER 419 NEW BEST:: SOT 235706 SOS 202498 HAS SOPS 195734 HAS SOUS 87142 HAS SOUPS 85511 WITH SCORE 85713.498
AT ITER 425 NEW BEST:: SOT 235629 SOS 202137 HAS SOPS 195505 HAS SOUS 87138 HAS SOUPS 85507 WITH SCORE 85709.137
AT ITER 428 NEW BEST:: SOT 235611 SOS 202119 HAS SOPS 195487 HAS SOUS 87138 HAS SOUPS 85507 WITH SCORE 85709.119
AT ITER 432 NEW BEST:: SOT 235476 SOS 201984 HAS SOPS 195352 HAS SOUS 87008 HAS SOUPS 85377 WITH SCORE 85578.984
AT ITER 442 NEW BEST:: SOT 235279 SOS 201787 HAS SOPS 195155 HAS SOUS 86653 HAS SOUPS 85022 WITH SCORE 85223.787
AT ITER 444 NEW BEST:: SOT 228960 SOS 195468 HAS SOPS 188836 HAS SOUS 80177 HAS SOUPS 78546 WITH SCORE 78741.468
AT ITER 447 NEW BEST:: SOT 228960 SOS 195346 HAS SOPS 188897 HAS SOUS 80112 HAS SOUPS 78542 WITH SCORE 78737.346
AT ITER 455 NEW BEST:: SOT 228957 SOS 195343 HAS SOPS 188894 HAS SOUS 80109 HAS SOUPS 78539 WITH SCORE 78734.343
AT ITER 460 NEW BEST:: SOT 228771 SOS 194794 HAS SOPS 188345 HAS SOUS 79829 HAS SOUPS 78259 WITH SCORE 78453.794
AT ITER 472 NEW BEST:: SOT 228233 SOS 194254 HAS SOPS 187805 HAS SOUS 79623 HAS SOUPS 78053 WITH SCORE 78247.254
AT ITER 477 NEW BEST:: SOT 228080 SOS 194142 HAS SOPS 187952 HAS SOUS 79468 HAS SOUPS 77898 WITH SCORE 78092.142
AT ITER 484 NEW BEST:: SOT 228020 SOS 193911 HAS SOPS 187721 HAS SOUS 79421 HAS SOUPS 77851 WITH SCORE 78044.911
AT ITER 486 NEW BEST:: SOT 227980 SOS 193871 HAS SOPS 187681 HAS SOUS 79375 HAS SOUPS 77805 WITH SCORE 77998.871
AT ITER 490 NEW BEST:: SOT 223759 SOS 189650 HAS SOPS 183460 HAS SOUS 75090 HAS SOUPS 73520 WITH SCORE 73709.65
AT ITER 496 NEW BEST:: SOT 222805 SOS 189010 HAS SOPS 182628 HAS SOUS 74463 HAS SOUPS 72797 WITH SCORE 72986.01
AT ITER 500 NEW BEST:: SOT 222804 SOS 189009 HAS SOPS 182627 HAS SOUS 74462 HAS SOUPS 72796 WITH SCORE 72985.009
AT ITER 506 NEW BEST:: SOT 219222 SOS 185427 HAS SOPS 179045 HAS SOUS 70880 HAS SOUPS 69214 WITH SCORE 69399.427
AT ITER 511 NEW BEST:: SOT 219210 SOS 185415 HAS SOPS 179033 HAS SOUS 70868 HAS SOUPS 69202 WITH SCORE 69387.415
AT ITER 513 NEW BEST:: SOT 219170 SOS 185375 HAS SOPS 178993 HAS SOUS 70828 HAS SOUPS 69162 WITH SCORE 69347.375
AT ITER 523 NEW BEST:: SOT 219028 SOS 186301 HAS SOPS 179138 HAS SOUS 70852 HAS SOUPS 69137 WITH SCORE 69323.301
AT ITER 525 NEW BEST:: SOT 218982 SOS 186255 HAS SOPS 179092 HAS SOUS 70835 HAS SOUPS 69120 WITH SCORE 69306.255
AT ITER 530 NEW BEST:: SOT 217887 SOS 187069 HAS SOPS 178574 HAS SOUS 70938 HAS SOUPS 68876 WITH SCORE 69063.069
AT ITER 537 NEW BEST:: SOT 217863 SOS 187021 HAS SOPS 178502 HAS SOUS 70878 HAS SOUPS 68816 WITH SCORE 69003.021
AT ITER 541 NEW BEST:: SOT 217863 SOS 187021 HAS SOPS 178502 HAS SOUS 70820 HAS SOUPS 68758 WITH SCORE 68945.021
AT ITER 544 NEW BEST:: SOT 217830 SOS 186988 HAS SOPS 178469 HAS SOUS 70787 HAS SOUPS 68725 WITH SCORE 68911.988
AT ITER 547 NEW BEST:: SOT 218042 SOS 187200 HAS SOPS 178681 HAS SOUS 70765 HAS SOUPS 68703 WITH SCORE 68890.2
AT ITER 548 NEW BEST:: SOT 218030 SOS 187188 HAS SOPS 178669 HAS SOUS 70759 HAS SOUPS 68697 WITH SCORE 68884.188
AT ITER 550 NEW BEST:: SOT 217940 SOS 178032 HAS SOPS 168961 HAS SOUS 70341 HAS SOUPS 68279 WITH SCORE 68457.032
AT ITER 552 NEW BEST:: SOT 217201 SOS 177293 HAS SOPS 168222 HAS SOUS 69902 HAS SOUPS 67840 WITH SCORE 68017.293
AT ITER 556 NEW BEST:: SOT 216908 SOS 177870 HAS SOPS 168325 HAS SOUS 69833 HAS SOUPS 67571 WITH SCORE 67748.87
AT ITER 560 NEW BEST:: SOT 217397 SOS 178359 HAS SOPS 168814 HAS SOUS 69656 HAS SOUPS 67394 WITH SCORE 67572.359
AT ITER 561 NEW BEST:: SOT 217375 SOS 178337 HAS SOPS 168792 HAS SOUS 69625 HAS SOUPS 67363 WITH SCORE 67541.337
AT ITER 563 NEW BEST:: SOT 217373 SOS 178333 HAS SOPS 168788 HAS SOUS 69622 HAS SOUPS 67360 WITH SCORE 67538.333
AT ITER 577 NEW BEST:: SOT 217299 SOS 178259 HAS SOPS 168714 HAS SOUS 69622 HAS SOUPS 67360 WITH SCORE 67538.259
AT ITER 583 NEW BEST:: SOT 217279 SOS 178239 HAS SOPS 168694 HAS SOUS 69291 HAS SOUPS 67029 WITH SCORE 67207.239
AT ITER 589 NEW BEST:: SOT 217267 SOS 178227 HAS SOPS 168682 HAS SOUS 69267 HAS SOUPS 67005 WITH SCORE 67183.227
AT ITER 590 NEW BEST:: SOT 217382 SOS 178342 HAS SOPS 168493 HAS SOUS 69258 HAS SOUPS 66928 WITH SCORE 67106.342
AT ITER 599 NEW BEST:: SOT 217290 SOS 178149 HAS SOPS 168300 HAS SOUS 69249 HAS SOUPS 66919 WITH SCORE 67097.149
AT ITER 601 NEW BEST:: SOT 217290 SOS 178149 HAS SOPS 168300 HAS SOUS 69083 HAS SOUPS 66753 WITH SCORE 66931.149
AT ITER 617 NEW BEST:: SOT 217382 SOS 178241 HAS SOPS 168392 HAS SOUS 69022 HAS SOUPS 66692 WITH SCORE 66870.241
AT ITER 630 NEW BEST:: SOT 217209 SOS 178068 HAS SOPS 168219 HAS SOUS 68849 HAS SOUPS 66519 WITH SCORE 66697.068
AT ITER 633 NEW BEST:: SOT 217155 SOS 178014 HAS SOPS 168165 HAS SOUS 68819 HAS SOUPS 66489 WITH SCORE 66667.014
AT ITER 645 NEW BEST:: SOT 217088 SOS 177943 HAS SOPS 168094 HAS SOUS 68788 HAS SOUPS 66458 WITH SCORE 66635.943
AT ITER 646 NEW BEST:: SOT 217182 SOS 178037 HAS SOPS 168188 HAS SOUS 68660 HAS SOUPS 66330 WITH SCORE 66508.037
AT ITER 651 NEW BEST:: SOT 217146 SOS 177987 HAS SOPS 168138 HAS SOUS 68627 HAS SOUPS 66297 WITH SCORE 66474.987
AT ITER 654 NEW BEST:: SOT 216905 SOS 177746 HAS SOPS 167897 HAS SOUS 68338 HAS SOUPS 66008 WITH SCORE 66185.746
AT ITER 655 NEW BEST:: SOT 216978 SOS 177819 HAS SOPS 167970 HAS SOUS 68135 HAS SOUPS 65805 WITH SCORE 65982.819
AT ITER 665 NEW BEST:: SOT 216978 SOS 177819 HAS SOPS 167970 HAS SOUS 68088 HAS SOUPS 65758 WITH SCORE 65935.819
AT ITER 666 NEW BEST:: SOT 216946 SOS 177643 HAS SOPS 167802 HAS SOUS 68068 HAS SOUPS 65738 WITH SCORE 65915.643
AT ITER 683 NEW BEST:: SOT 216935 SOS 177632 HAS SOPS 167791 HAS SOUS 67936 HAS SOUPS 65606 WITH SCORE 65783.632
AT ITER 695 NEW BEST:: SOT 216926 SOS 177623 HAS SOPS 167782 HAS SOUS 67927 HAS SOUPS 65597 WITH SCORE 65774.623
AT ITER 700 NEW BEST:: SOT 216926 SOS 177623 HAS SOPS 167782 HAS SOUS 67925 HAS SOUPS 65595 WITH SCORE 65772.623
AT ITER 704 NEW BEST:: SOT 216926 SOS 177623 HAS SOPS 167782 HAS SOUS 67841 HAS SOUPS 65511 WITH SCORE 65688.623
AT ITER 706 NEW BEST:: SOT 216911 SOS 177551 HAS SOPS 167710 HAS SOUS 67826 HAS SOUPS 65496 WITH SCORE 65673.551
AT ITER 707 NEW BEST:: SOT 216911 SOS 177391 HAS SOPS 167550 HAS SOUS 67826 HAS SOUPS 65496 WITH SCORE 65673.391
AT ITER 721 NEW BEST:: SOT 216883 SOS 177363 HAS SOPS 167522 HAS SOUS 67812 HAS SOUPS 65482 WITH SCORE 65659.363
AT ITER 723 NEW BEST:: SOT 216875 SOS 177355 HAS SOPS 167514 HAS SOUS 67801 HAS SOUPS 65471 WITH SCORE 65648.355
AT ITER 725 NEW BEST:: SOT 216751 SOS 176780 HAS SOPS 166939 HAS SOUS 67654 HAS SOUPS 65324 WITH SCORE 65500.78
AT ITER 728 NEW BEST:: SOT 216649 SOS 176678 HAS SOPS 166837 HAS SOUS 67618 HAS SOUPS 65288 WITH SCORE 65464.678
AT ITER 729 NEW BEST:: SOT 216579 SOS 176594 HAS SOPS 166753 HAS SOUS 67247 HAS SOUPS 64917 WITH SCORE 65093.594
AT ITER 734 NEW BEST:: SOT 215590 SOS 175844 HAS SOPS 165764 HAS SOUS 67031 HAS SOUPS 64640 WITH SCORE 64815.844
AT ITER 741 NEW BEST:: SOT 215460 SOS 175649 HAS SOPS 165569 HAS SOUS 66837 HAS SOUPS 64446 WITH SCORE 64621.649
AT ITER 748 NEW BEST:: SOT 215412 SOS 175601 HAS SOPS 165521 HAS SOUS 66794 HAS SOUPS 64403 WITH SCORE 64578.601
AT ITER 757 NEW BEST:: SOT 209661 SOS 169850 HAS SOPS 159770 HAS SOUS 61043 HAS SOUPS 58652 WITH SCORE 58821.85
AT ITER 763 NEW BEST:: SOT 209660 SOS 169770 HAS SOPS 159690 HAS SOUS 61040 HAS SOUPS 58649 WITH SCORE 58818.77
AT ITER 765 NEW BEST:: SOT 209521 SOS 169631 HAS SOPS 159551 HAS SOUS 60803 HAS SOUPS 58412 WITH SCORE 58581.631
AT ITER 772 NEW BEST:: SOT 209436 SOS 169366 HAS SOPS 159296 HAS SOUS 60548 HAS SOUPS 58157 WITH SCORE 58326.366
AT ITER 778 NEW BEST:: SOT 208989 SOS 168781 HAS SOPS 158711 HAS SOUS 60121 HAS SOUPS 57730 WITH SCORE 57898.781
AT ITER 783 NEW BEST:: SOT 208896 SOS 168718 HAS SOPS 158648 HAS SOUS 60028 HAS SOUPS 57637 WITH SCORE 57805.718
AT ITER 794 NEW BEST:: SOT 208302 SOS 168124 HAS SOPS 158054 HAS SOUS 59434 HAS SOUPS 57043 WITH SCORE 57211.124
AT ITER 803 NEW BEST:: SOT 208302 SOS 168069 HAS SOPS 157999 HAS SOUS 59295 HAS SOUPS 56904 WITH SCORE 57072.069
AT ITER 806 NEW BEST:: SOT 208305 SOS 167981 HAS SOPS 157523 HAS SOUS 59250 HAS SOUPS 56760 WITH SCORE 56927.981
AT ITER 810 NEW BEST:: SOT 208303 SOS 167979 HAS SOPS 157521 HAS SOUS 59244 HAS SOUPS 56754 WITH SCORE 56921.979
AT ITER 812 NEW BEST:: SOT 208285 SOS 167928 HAS SOPS 156985 HAS SOUS 59246 HAS SOUPS 56730 WITH SCORE 56897.928
AT ITER 814 NEW BEST:: SOT 208009 SOS 167655 HAS SOPS 156712 HAS SOUS 59169 HAS SOUPS 56653 WITH SCORE 56820.655
AT ITER 816 NEW BEST:: SOT 208190 SOS 167845 HAS SOPS 156902 HAS SOUS 59095 HAS SOUPS 56579 WITH SCORE 56746.845
AT ITER 818 NEW BEST:: SOT 208205 SOS 167875 HAS SOPS 156932 HAS SOUS 59080 HAS SOUPS 56564 WITH SCORE 56731.875
AT ITER 825 NEW BEST:: SOT 208343 SOS 168039 HAS SOPS 157096 HAS SOUS 59010 HAS SOUPS 56494 WITH SCORE 56662.039
AT ITER 832 NEW BEST:: SOT 208322 SOS 167918 HAS SOPS 156975 HAS SOUS 58987 HAS SOUPS 56471 WITH SCORE 56638.918
AT ITER 838 NEW BEST:: SOT 208300 SOS 167888 HAS SOPS 156945 HAS SOUS 58975 HAS SOUPS 56459 WITH SCORE 56626.888
AT ITER 842 NEW BEST:: SOT 208289 SOS 167877 HAS SOPS 156934 HAS SOUS 58961 HAS SOUPS 56445 WITH SCORE 56612.877
AT ITER 847 NEW BEST:: SOT 208225 SOS 167749 HAS SOPS 156806 HAS SOUS 58865 HAS SOUPS 56349 WITH SCORE 56516.749
AT ITER 851 NEW BEST:: SOT 208225 SOS 167655 HAS SOPS 156618 HAS SOUS 58865 HAS SOUPS 56349 WITH SCORE 56516.655
AT ITER 867 NEW BEST:: SOT 208115 SOS 167490 HAS SOPS 156453 HAS SOUS 58755 HAS SOUPS 56239 WITH SCORE 56406.49
AT ITER 883 NEW BEST:: SOT 208103 SOS 167478 HAS SOPS 156441 HAS SOUS 58695 HAS SOUPS 56179 WITH SCORE 56346.478
AT ITER 886 NEW BEST:: SOT 208185 SOS 167385 HAS SOPS 156191 HAS SOUS 58719 HAS SOUPS 56107 WITH SCORE 56274.385
AT ITER 899 NEW BEST:: SOT 208185 SOS 167385 HAS SOPS 156191 HAS SOUS 58407 HAS SOUPS 55795 WITH SCORE 55962.385
AT ITER 904 NEW BEST:: SOT 208185 SOS 167385 HAS SOPS 156191 HAS SOUS 58399 HAS SOUPS 55787 WITH SCORE 55954.385
AT ITER 910 NEW BEST:: SOT 208435 SOS 167685 HAS SOPS 156491 HAS SOUS 58324 HAS SOUPS 55712 WITH SCORE 55879.685
AT ITER 914 NEW BEST:: SOT 208435 SOS 167685 HAS SOPS 156474 HAS SOUS 58324 HAS SOUPS 55695 WITH SCORE 55862.685
AT ITER 939 NEW BEST:: SOT 207889 SOS 167139 HAS SOPS 155890 HAS SOUS 57691 HAS SOUPS 55062 WITH SCORE 55229.139
AT ITER 949 NEW BEST:: SOT 207876 SOS 167126 HAS SOPS 155864 HAS SOUS 57703 HAS SOUPS 55061 WITH SCORE 55228.126
AT ITER 953 NEW BEST:: SOT 207865 SOS 167115 HAS SOPS 155853 HAS SOUS 57690 HAS SOUPS 55048 WITH SCORE 55215.115
AT ITER 957 NEW BEST:: SOT 207015 SOS 166195 HAS SOPS 154933 HAS SOUS 57349 HAS SOUPS 54707 WITH SCORE 54873.195
AT ITER 964 NEW BEST:: SOT 206913 SOS 166093 HAS SOPS 154729 HAS SOUS 57298 HAS SOUPS 54656 WITH SCORE 54822.093
AT ITER 969 NEW BEST:: SOT 206913 SOS 166093 HAS SOPS 154729 HAS SOUS 57290 HAS SOUPS 54648 WITH SCORE 54814.093
AT ITER 974 NEW BEST:: SOT 207043 SOS 166223 HAS SOPS 154859 HAS SOUS 57260 HAS SOUPS 54618 WITH SCORE 54784.223
AT ITER 993 NEW BEST:: SOT 206835 SOS 161473 HAS SOPS 150109 HAS SOUS 56901 HAS SOUPS 54259 WITH SCORE 54420.473
AT ITER 1000 NEW BEST:: SOT 206872 SOS 161510 HAS SOPS 150146 HAS SOUS 56888 HAS SOUPS 54246 WITH SCORE 54407.51
AT ITER 1004 NEW BEST:: SOT 206790 SOS 161340 HAS SOPS 149976 HAS SOUS 56806 HAS SOUPS 54164 WITH SCORE 54325.34
AT ITER 1006 NEW BEST:: SOT 206649 SOS 161199 HAS SOPS 149835 HAS SOUS 56665 HAS SOUPS 54023 WITH SCORE 54184.199
AT ITER 1007 NEW BEST:: SOT 206385 SOS 160935 HAS SOPS 149571 HAS SOUS 56515 HAS SOUPS 53873 WITH SCORE 54033.935
AT ITER 1009 NEW BEST:: SOT 206251 SOS 160801 HAS SOPS 149437 HAS SOUS 55977 HAS SOUPS 53335 WITH SCORE 53495.801
AT ITER 1015 NEW BEST:: SOT 206096 SOS 160646 HAS SOPS 149282 HAS SOUS 55667 HAS SOUPS 53025 WITH SCORE 53185.646
AT ITER 1024 NEW BEST:: SOT 205948 SOS 160490 HAS SOPS 149118 HAS SOUS 55594 HAS SOUPS 52952 WITH SCORE 53112.49
AT ITER 1025 NEW BEST:: SOT 205944 SOS 160414 HAS SOPS 149042 HAS SOUS 55568 HAS SOUPS 52926 WITH SCORE 53086.414
AT ITER 1032 NEW BEST:: SOT 205935 SOS 160405 HAS SOPS 149033 HAS SOUS 55541 HAS SOUPS 52899 WITH SCORE 53059.405
AT ITER 1034 NEW BEST:: SOT 205931 SOS 160401 HAS SOPS 149029 HAS SOUS 55529 HAS SOUPS 52887 WITH SCORE 53047.401
AT ITER 1037 NEW BEST:: SOT 205918 SOS 160388 HAS SOPS 149016 HAS SOUS 55394 HAS SOUPS 52752 WITH SCORE 52912.388
AT ITER 1041 NEW BEST:: SOT 205842 SOS 160312 HAS SOPS 148940 HAS SOUS 55394 HAS SOUPS 52752 WITH SCORE 52912.312
AT ITER 1055 NEW BEST:: SOT 205814 SOS 160301 HAS SOPS 148929 HAS SOUS 55350 HAS SOUPS 52708 WITH SCORE 52868.301
AT ITER 1059 NEW BEST:: SOT 205716 SOS 160153 HAS SOPS 148869 HAS SOUS 55339 HAS SOUPS 52697 WITH SCORE 52857.153
AT ITER 1060 NEW BEST:: SOT 205782 SOS 160219 HAS SOPS 148935 HAS SOUS 55338 HAS SOUPS 52696 WITH SCORE 52856.219
AT ITER 1063 NEW BEST:: SOT 205822 SOS 160304 HAS SOPS 149071 HAS SOUS 55300 HAS SOUPS 52658 WITH SCORE 52818.304
AT ITER 1065 NEW BEST:: SOT 205544 SOS 159974 HAS SOPS 148741 HAS SOUS 54959 HAS SOUPS 52317 WITH SCORE 52476.974
AT ITER 1068 NEW BEST:: SOT 205454 SOS 159884 HAS SOPS 148651 HAS SOUS 54905 HAS SOUPS 52263 WITH SCORE 52422.884
AT ITER 1069 NEW BEST:: SOT 205454 SOS 159873 HAS SOPS 148640 HAS SOUS 54855 HAS SOUPS 52213 WITH SCORE 52372.873
AT ITER 1070 NEW BEST:: SOT 205453 SOS 159872 HAS SOPS 148639 HAS SOUS 54852 HAS SOUPS 52210 WITH SCORE 52369.872
AT ITER 1075 NEW BEST:: SOT 205453 SOS 159936 HAS SOPS 148703 HAS SOUS 54788 HAS SOUPS 52146 WITH SCORE 52305.936
AT ITER 1078 NEW BEST:: SOT 205419 SOS 159902 HAS SOPS 148669 HAS SOUS 54751 HAS SOUPS 52109 WITH SCORE 52268.902
AT ITER 1082 NEW BEST:: SOT 205248 SOS 159818 HAS SOPS 148429 HAS SOUS 54658 HAS SOUPS 51938 WITH SCORE 52097.818
AT ITER 1086 NEW BEST:: SOT 205319 SOS 159889 HAS SOPS 148500 HAS SOUS 54477 HAS SOUPS 51757 WITH SCORE 51916.889
AT ITER 1101 NEW BEST:: SOT 205393 SOS 159963 HAS SOPS 148574 HAS SOUS 54424 HAS SOUPS 51704 WITH SCORE 51863.963
AT ITER 1103 NEW BEST:: SOT 205393 SOS 159963 HAS SOPS 148574 HAS SOUS 54415 HAS SOUPS 51695 WITH SCORE 51854.963
AT ITER 1104 NEW BEST:: SOT 204920 SOS 157390 HAS SOPS 146001 HAS SOUS 54323 HAS SOUPS 51603 WITH SCORE 51760.39
AT ITER 1112 NEW BEST:: SOT 204920 SOS 157390 HAS SOPS 146001 HAS SOUS 54301 HAS SOUPS 51581 WITH SCORE 51738.39
AT ITER 1113 NEW BEST:: SOT 204895 SOS 157365 HAS SOPS 145976 HAS SOUS 54263 HAS SOUPS 51543 WITH SCORE 51700.365
AT ITER 1119 NEW BEST:: SOT 204711 SOS 157181 HAS SOPS 145792 HAS SOUS 54187 HAS SOUPS 51467 WITH SCORE 51624.181
AT ITER 1126 NEW BEST:: SOT 204680 SOS 157150 HAS SOPS 145699 HAS SOUS 54156 HAS SOUPS 51374 WITH SCORE 51531.15
AT ITER 1128 NEW BEST:: SOT 204896 SOS 157366 HAS SOPS 145915 HAS SOUS 54141 HAS SOUPS 51359 WITH SCORE 51516.366
AT ITER 1145 NEW BEST:: SOT 204866 SOS 157306 HAS SOPS 145883 HAS SOUS 54109 HAS SOUPS 51327 WITH SCORE 51484.306
AT ITER 1150 NEW BEST:: SOT 204859 SOS 156987 HAS SOPS 145714 HAS SOUS 54066 HAS SOUPS 51309 WITH SCORE 51465.987
AT ITER 1153 NEW BEST:: SOT 204823 SOS 156933 HAS SOPS 145606 HAS SOUS 54012 HAS SOUPS 51255 WITH SCORE 51411.933
AT ITER 1154 NEW BEST:: SOT 204878 SOS 156988 HAS SOPS 145661 HAS SOUS 53921 HAS SOUPS 51164 WITH SCORE 51320.988
AT ITER 1160 NEW BEST:: SOT 204838 SOS 156948 HAS SOPS 145621 HAS SOUS 53882 HAS SOUPS 51125 WITH SCORE 51281.948
AT ITER 1165 NEW BEST:: SOT 204650 SOS 156760 HAS SOPS 145433 HAS SOUS 53780 HAS SOUPS 51023 WITH SCORE 51179.76
AT ITER 1171 NEW BEST:: SOT 204572 SOS 156682 HAS SOPS 145355 HAS SOUS 53568 HAS SOUPS 50811 WITH SCORE 50967.682
AT ITER 1177 NEW BEST:: SOT 204572 SOS 156682 HAS SOPS 145355 HAS SOUS 53567 HAS SOUPS 50810 WITH SCORE 50966.682
AT ITER 1178 NEW BEST:: SOT 204573 SOS 156720 HAS SOPS 145420 HAS SOUS 53565 HAS SOUPS 50808 WITH SCORE 50964.72
AT ITER 1198 NEW BEST:: SOT 204619 SOS 156825 HAS SOPS 145304 HAS SOUS 53512 HAS SOUPS 50755 WITH SCORE 50911.825
AT ITER 1204 NEW BEST:: SOT 204545 SOS 156757 HAS SOPS 145378 HAS SOUS 53438 HAS SOUPS 50681 WITH SCORE 50837.757
AT ITER 1213 NEW BEST:: SOT 204493 SOS 156641 HAS SOPS 145262 HAS SOUS 53383 HAS SOUPS 50626 WITH SCORE 50782.641
AT ITER 1214 NEW BEST:: SOT 204171 SOS 156200 HAS SOPS 144702 HAS SOUS 53162 HAS SOUPS 50405 WITH SCORE 50561.2
AT ITER 1220 NEW BEST:: SOT 203320 SOS 155349 HAS SOPS 143851 HAS SOUS 53160 HAS SOUPS 50403 WITH SCORE 50558.349
AT ITER 1225 NEW BEST:: SOT 203365 SOS 155394 HAS SOPS 143896 HAS SOUS 53131 HAS SOUPS 50374 WITH SCORE 50529.394
AT ITER 1230 NEW BEST:: SOT 203357 SOS 155386 HAS SOPS 143888 HAS SOUS 53131 HAS SOUPS 50374 WITH SCORE 50529.386
AT ITER 1232 NEW BEST:: SOT 203351 SOS 155332 HAS SOPS 143834 HAS SOUS 53125 HAS SOUPS 50368 WITH SCORE 50523.332
AT ITER 1238 NEW BEST:: SOT 203308 SOS 155289 HAS SOPS 143791 HAS SOUS 53124 HAS SOUPS 50367 WITH SCORE 50522.289
AT ITER 1249 NEW BEST:: SOT 203262 SOS 155211 HAS SOPS 143713 HAS SOUS 53078 HAS SOUPS 50321 WITH SCORE 50476.211
AT ITER 1284 NEW BEST:: SOT 203185 SOS 155134 HAS SOPS 143636 HAS SOUS 52837 HAS SOUPS 50080 WITH SCORE 50235.134
AT ITER 1292 NEW BEST:: SOT 203149 SOS 155080 HAS SOPS 143582 HAS SOUS 52819 HAS SOUPS 50062 WITH SCORE 50217.08
AT ITER 1294 NEW BEST:: SOT 202891 SOS 154822 HAS SOPS 143152 HAS SOUS 52343 HAS SOUPS 49632 WITH SCORE 49786.822
AT ITER 1308 NEW BEST:: SOT 202848 SOS 154779 HAS SOPS 143109 HAS SOUS 52257 HAS SOUPS 49546 WITH SCORE 49700.779
AT ITER 1310 NEW BEST:: SOT 202837 SOS 154779 HAS SOPS 143131 HAS SOUS 52235 HAS SOUPS 49535 WITH SCORE 49689.779
AT ITER 1312 NEW BEST:: SOT 202887 SOS 154834 HAS SOPS 143186 HAS SOUS 52231 HAS SOUPS 49531 WITH SCORE 49685.834
AT ITER 1314 NEW BEST:: SOT 202817 SOS 154502 HAS SOPS 142854 HAS SOUS 52029 HAS SOUPS 49329 WITH SCORE 49483.502
AT ITER 1318 NEW BEST:: SOT 202598 SOS 154232 HAS SOPS 142533 HAS SOUS 52006 HAS SOUPS 49306 WITH SCORE 49460.232
AT ITER 1328 NEW BEST:: SOT 202716 SOS 154350 HAS SOPS 142651 HAS SOUS 51900 HAS SOUPS 49200 WITH SCORE 49354.35
AT ITER 1331 NEW BEST:: SOT 202644 SOS 154212 HAS SOPS 142513 HAS SOUS 51848 HAS SOUPS 49148 WITH SCORE 49302.212
AT ITER 1337 NEW BEST:: SOT 202632 SOS 154194 HAS SOPS 142495 HAS SOUS 51836 HAS SOUPS 49136 WITH SCORE 49290.194
AT ITER 1349 NEW BEST:: SOT 202605 SOS 154167 HAS SOPS 142468 HAS SOUS 51800 HAS SOUPS 49100 WITH SCORE 49254.167
AT ITER 1350 NEW BEST:: SOT 202491 SOS 153992 HAS SOPS 142293 HAS SOUS 51800 HAS SOUPS 49100 WITH SCORE 49253.992
AT ITER 1366 NEW BEST:: SOT 202459 SOS 153944 HAS SOPS 142245 HAS SOUS 51784 HAS SOUPS 49084 WITH SCORE 49237.944
AT ITER 1377 NEW BEST:: SOT 202311 SOS 153741 HAS SOPS 142042 HAS SOUS 51709 HAS SOUPS 49009 WITH SCORE 49162.741
AT ITER 1390 NEW BEST:: SOT 202283 SOS 153713 HAS SOPS 142014 HAS SOUS 51653 HAS SOUPS 48953 WITH SCORE 49106.713
AT ITER 1403 NEW BEST:: SOT 202319 SOS 152127 HAS SOPS 140768 HAS SOUS 51620 HAS SOUPS 48938 WITH SCORE 49090.127
AT ITER 1407 NEW BEST:: SOT 202307 SOS 152115 HAS SOPS 140756 HAS SOUS 51596 HAS SOUPS 48914 WITH SCORE 49066.115
AT ITER 1414 NEW BEST:: SOT 202235 SOS 152043 HAS SOPS 140684 HAS SOUS 51537 HAS SOUPS 48855 WITH SCORE 49007.043
AT ITER 1419 NEW BEST:: SOT 202235 SOS 152043 HAS SOPS 140684 HAS SOUS 51441 HAS SOUPS 48759 WITH SCORE 48911.043
AT ITER 1438 NEW BEST:: SOT 202235 SOS 152043 HAS SOPS 140684 HAS SOUS 51407 HAS SOUPS 48725 WITH SCORE 48877.043
AT ITER 1442 NEW BEST:: SOT 202259 SOS 152064 HAS SOPS 140681 HAS SOUS 51416 HAS SOUPS 48722 WITH SCORE 48874.064
AT ITER 1452 NEW BEST:: SOT 202109 SOS 151914 HAS SOPS 140531 HAS SOUS 51216 HAS SOUPS 48522 WITH SCORE 48673.914
AT ITER 1459 NEW BEST:: SOT 202094 SOS 151884 HAS SOPS 140501 HAS SOUS 51171 HAS SOUPS 48477 WITH SCORE 48628.884
AT ITER 1462 NEW BEST:: SOT 202008 SOS 151798 HAS SOPS 140415 HAS SOUS 50999 HAS SOUPS 48305 WITH SCORE 48456.798
AT ITER 1463 NEW BEST:: SOT 202002 SOS 151792 HAS SOPS 140406 HAS SOUS 50993 HAS SOUPS 48299 WITH SCORE 48450.792
AT ITER 1471 NEW BEST:: SOT 202059 SOS 151883 HAS SOPS 140531 HAS SOUS 50946 HAS SOUPS 48286 WITH SCORE 48437.883
AT ITER 1472 NEW BEST:: SOT 202074 SOS 151898 HAS SOPS 140546 HAS SOUS 50902 HAS SOUPS 48242 WITH SCORE 48393.898
AT ITER 1501 NEW BEST:: SOT 202086 SOS 151910 HAS SOPS 140558 HAS SOUS 50853 HAS SOUPS 48193 WITH SCORE 48344.91
AT ITER 1508 NEW BEST:: SOT 201884 SOS 150493 HAS SOPS 139141 HAS SOUS 50738 HAS SOUPS 48078 WITH SCORE 48228.493
AT ITER 1513 NEW BEST:: SOT 201823 SOS 150406 HAS SOPS 139054 HAS SOUS 50651 HAS SOUPS 47991 WITH SCORE 48141.406
AT ITER 1515 NEW BEST:: SOT 201747 SOS 150330 HAS SOPS 138978 HAS SOUS 50575 HAS SOUPS 47915 WITH SCORE 48065.33
AT ITER 1522 NEW BEST:: SOT 201709 SOS 150273 HAS SOPS 138921 HAS SOUS 50499 HAS SOUPS 47839 WITH SCORE 47989.273
AT ITER 1528 NEW BEST:: SOT 201631 SOS 150078 HAS SOPS 138619 HAS SOUS 50309 HAS SOUPS 47649 WITH SCORE 47799.078
AT ITER 1531 NEW BEST:: SOT 201662 SOS 150109 HAS SOPS 138650 HAS SOUS 50306 HAS SOUPS 47646 WITH SCORE 47796.109
AT ITER 1532 NEW BEST:: SOT 201630 SOS 150111 HAS SOPS 138620 HAS SOUS 50298 HAS SOUPS 47627 WITH SCORE 47777.111
AT ITER 1540 NEW BEST:: SOT 201660 SOS 150218 HAS SOPS 138744 HAS SOUS 50257 HAS SOUPS 47586 WITH SCORE 47736.218
AT ITER 1547 NEW BEST:: SOT 201599 SOS 150157 HAS SOPS 138589 HAS SOUS 50195 HAS SOUPS 47524 WITH SCORE 47674.157
AT ITER 1558 NEW BEST:: SOT 201476 SOS 149993 HAS SOPS 138384 HAS SOUS 50072 HAS SOUPS 47401 WITH SCORE 47550.993
AT ITER 1560 NEW BEST:: SOT 201182 SOS 149635 HAS SOPS 138026 HAS SOUS 49910 HAS SOUPS 47239 WITH SCORE 47388.635
AT ITER 1561 NEW BEST:: SOT 201006 SOS 149459 HAS SOPS 137850 HAS SOUS 49666 HAS SOUPS 46995 WITH SCORE 47144.459
AT ITER 1598 NEW BEST:: SOT 201004 SOS 149457 HAS SOPS 137848 HAS SOUS 49666 HAS SOUPS 46995 WITH SCORE 47144.457
AT ITER 1599 NEW BEST:: SOT 200991 SOS 149444 HAS SOPS 137835 HAS SOUS 49640 HAS SOUPS 46969 WITH SCORE 47118.444
AT ITER 1600 NEW BEST:: SOT 200985 SOS 149438 HAS SOPS 137829 HAS SOUS 49628 HAS SOUPS 46957 WITH SCORE 47106.438
AT ITER 1617 NEW BEST:: SOT 200943 SOS 149363 HAS SOPS 137754 HAS SOUS 49545 HAS SOUPS 46874 WITH SCORE 47023.363
AT ITER 1652 NEW BEST:: SOT 200755 SOS 148987 HAS SOPS 137378 HAS SOUS 49263 HAS SOUPS 46592 WITH SCORE 46740.987
AT ITER 1661 NEW BEST:: SOT 200755 SOS 148859 HAS SOPS 137250 HAS SOUS 49263 HAS SOUPS 46592 WITH SCORE 46740.859
AT ITER 1664 NEW BEST:: SOT 201290 SOS 148872 HAS SOPS 137263 HAS SOUS 49255 HAS SOUPS 46584 WITH SCORE 46732.872
AT ITER 1665 NEW BEST:: SOT 201015 SOS 148851 HAS SOPS 137242 HAS SOUS 49014 HAS SOUPS 46343 WITH SCORE 46491.851
AT ITER 1680 NEW BEST:: SOT 200952 SOS 148788 HAS SOPS 137179 HAS SOUS 48909 HAS SOUPS 46238 WITH SCORE 46386.788
AT ITER 1689 NEW BEST:: SOT 200855 SOS 147280 HAS SOPS 135676 HAS SOUS 48712 HAS SOUPS 46041 WITH SCORE 46188.28
AT ITER 1691 NEW BEST:: SOT 200887 SOS 147312 HAS SOPS 135708 HAS SOUS 48648 HAS SOUPS 45977 WITH SCORE 46124.312
AT ITER 1698 NEW BEST:: SOT 200760 SOS 148482 HAS SOPS 136008 HAS SOUS 48604 HAS SOUPS 45788 WITH SCORE 45936.482
AT ITER 1701 NEW BEST:: SOT 200565 SOS 148088 HAS SOPS 135614 HAS SOUS 48420 HAS SOUPS 45604 WITH SCORE 45752.088
AT ITER 1709 NEW BEST:: SOT 200501 SOS 148005 HAS SOPS 135512 HAS SOUS 48318 HAS SOUPS 45502 WITH SCORE 45650.005
AT ITER 1719 NEW BEST:: SOT 200467 SOS 147971 HAS SOPS 135478 HAS SOUS 48259 HAS SOUPS 45443 WITH SCORE 45590.971
AT ITER 1747 NEW BEST:: SOT 200457 SOS 147961 HAS SOPS 135468 HAS SOUS 48249 HAS SOUPS 45433 WITH SCORE 45580.961
AT ITER 1753 NEW BEST:: SOT 200500 SOS 148123 HAS SOPS 135283 HAS SOUS 48536 HAS SOUPS 45373 WITH SCORE 45521.123
AT ITER 1797 NEW BEST:: SOT 200475 SOS 148098 HAS SOPS 135258 HAS SOUS 48536 HAS SOUPS 45373 WITH SCORE 45521.098
AT ITER 1815 NEW BEST:: SOT 200313 SOS 147847 HAS SOPS 134934 HAS SOUS 48447 HAS SOUPS 45211 WITH SCORE 45358.847
AT ITER 1816 NEW BEST:: SOT 200283 SOS 147817 HAS SOPS 134904 HAS SOUS 48417 HAS SOUPS 45181 WITH SCORE 45328.817
AT ITER 1829 NEW BEST:: SOT 200239 SOS 147773 HAS SOPS 134860 HAS SOUS 48395 HAS SOUPS 45159 WITH SCORE 45306.773
AT ITER 1842 NEW BEST:: SOT 200216 SOS 147749 HAS SOPS 134835 HAS SOUS 48392 HAS SOUPS 45156 WITH SCORE 45303.749
AT ITER 1843 NEW BEST:: SOT 200332 SOS 147865 HAS SOPS 134951 HAS SOUS 48360 HAS SOUPS 45124 WITH SCORE 45271.865
AT ITER 1846 NEW BEST:: SOT 200332 SOS 147922 HAS SOPS 134951 HAS SOUS 48341 HAS SOUPS 45086 WITH SCORE 45233.922
AT ITER 1860 NEW BEST:: SOT 200278 SOS 147921 HAS SOPS 134950 HAS SOUS 48305 HAS SOUPS 45050 WITH SCORE 45197.921
AT ITER 1873 NEW BEST:: SOT 200240 SOS 147588 HAS SOPS 134617 HAS SOUS 48268 HAS SOUPS 45013 WITH SCORE 45160.588
AT ITER 1876 NEW BEST:: SOT 200211 SOS 147532 HAS SOPS 134561 HAS SOUS 48230 HAS SOUPS 44975 WITH SCORE 45122.532
AT ITER 1892 NEW BEST:: SOT 200161 SOS 147482 HAS SOPS 134461 HAS SOUS 48157 HAS SOUPS 44902 WITH SCORE 45049.482
AT ITER 1895 NEW BEST:: SOT 200252 SOS 147572 HAS SOPS 134252 HAS SOUS 48008 HAS SOUPS 44753 WITH SCORE 44900.572
AT ITER 1896 NEW BEST:: SOT 197140 SOS 144214 HAS SOPS 129969 HAS SOUS 44960 HAS SOUPS 41548 WITH SCORE 41692.214
AT ITER 1911 NEW BEST:: SOT 197150 SOS 144224 HAS SOPS 129979 HAS SOUS 44857 HAS SOUPS 41445 WITH SCORE 41589.224
AT ITER 1916 NEW BEST:: SOT 197060 SOS 144016 HAS SOPS 129771 HAS SOUS 44830 HAS SOUPS 41418 WITH SCORE 41562.016
AT ITER 1920 NEW BEST:: SOT 196848 SOS 143744 HAS SOPS 129499 HAS SOUS 44649 HAS SOUPS 41237 WITH SCORE 41380.744
AT ITER 1932 NEW BEST:: SOT 196700 SOS 143467 HAS SOPS 129222 HAS SOUS 44377 HAS SOUPS 40965 WITH SCORE 41108.467
AT ITER 1963 NEW BEST:: SOT 196635 SOS 143402 HAS SOPS 129157 HAS SOUS 44313 HAS SOUPS 40901 WITH SCORE 41044.402
AT ITER 1973 NEW BEST:: SOT 196464 SOS 143591 HAS SOPS 129346 HAS SOUS 44142 HAS SOUPS 40730 WITH SCORE 40873.591
AT ITER 2006 NEW BEST:: SOT 196452 SOS 143579 HAS SOPS 129334 HAS SOUS 44136 HAS SOUPS 40724 WITH SCORE 40867.579
AT ITER 2013 NEW BEST:: SOT 196416 SOS 143520 HAS SOPS 129252 HAS SOUS 44099 HAS SOUPS 40687 WITH SCORE 40830.52
AT ITER 2025 NEW BEST:: SOT 196406 SOS 143531 HAS SOPS 129242 HAS SOUS 44089 HAS SOUPS 40677 WITH SCORE 40820.531
AT ITER 2038 NEW BEST:: SOT 196402 SOS 143527 HAS SOPS 129236 HAS SOUS 44085 HAS SOUPS 40671 WITH SCORE 40814.527
AT ITER 2044 NEW BEST:: SOT 196372 SOS 143497 HAS SOPS 129206 HAS SOUS 44047 HAS SOUPS 40633 WITH SCORE 40776.497
AT ITER 2045 NEW BEST:: SOT 196370 SOS 143475 HAS SOPS 129121 HAS SOUS 43981 HAS SOUPS 40567 WITH SCORE 40710.475
AT ITER 2058 NEW BEST:: SOT 196280 SOS 143385 HAS SOPS 129031 HAS SOUS 43849 HAS SOUPS 40435 WITH SCORE 40578.385
AT ITER 2060 NEW BEST:: SOT 196264 SOS 143369 HAS SOPS 129015 HAS SOUS 43833 HAS SOUPS 40419 WITH SCORE 40562.369
AT ITER 2069 NEW BEST:: SOT 196306 SOS 143228 HAS SOPS 128874 HAS SOUS 43731 HAS SOUPS 40317 WITH SCORE 40460.228
AT ITER 2071 NEW BEST:: SOT 196251 SOS 143173 HAS SOPS 128819 HAS SOUS 43713 HAS SOUPS 40299 WITH SCORE 40442.173
AT ITER 2073 NEW BEST:: SOT 196122 SOS 143044 HAS SOPS 128690 HAS SOUS 43664 HAS SOUPS 40250 WITH SCORE 40393.044
AT ITER 2075 NEW BEST:: SOT 196115 SOS 143037 HAS SOPS 128683 HAS SOUS 43659 HAS SOUPS 40245 WITH SCORE 40388.037
AT ITER 2096 NEW BEST:: SOT 195933 SOS 142764 HAS SOPS 128319 HAS SOUS 43386 HAS SOUPS 39972 WITH SCORE 40114.764
AT ITER 2108 NEW BEST:: SOT 195926 SOS 142760 HAS SOPS 128307 HAS SOUS 43374 HAS SOUPS 39960 WITH SCORE 40102.76
AT ITER 2118 NEW BEST:: SOT 195808 SOS 142684 HAS SOPS 128231 HAS SOUS 43347 HAS SOUPS 39933 WITH SCORE 40075.684
AT ITER 2149 NEW BEST:: SOT 195808 SOS 142684 HAS SOPS 128231 HAS SOUS 43339 HAS SOUPS 39925 WITH SCORE 40067.684
AT ITER 2152 NEW BEST:: SOT 195808 SOS 142684 HAS SOPS 128231 HAS SOUS 43290 HAS SOUPS 39876 WITH SCORE 40018.684
AT ITER 2153 NEW BEST:: SOT 195808 SOS 142684 HAS SOPS 128231 HAS SOUS 43283 HAS SOUPS 39869 WITH SCORE 40011.684
AT ITER 2164 NEW BEST:: SOT 195725 SOS 142518 HAS SOPS 128065 HAS SOUS 43228 HAS SOUPS 39814 WITH SCORE 39956.518
AT ITER 2171 NEW BEST:: SOT 195230 SOS 141866 HAS SOPS 127413 HAS SOUS 42620 HAS SOUPS 39206 WITH SCORE 39347.866
AT ITER 2184 NEW BEST:: SOT 195222 SOS 141933 HAS SOPS 127387 HAS SOUS 42687 HAS SOUPS 39180 WITH SCORE 39321.933
AT ITER 2186 NEW BEST:: SOT 195192 SOS 141903 HAS SOPS 127357 HAS SOUS 42647 HAS SOUPS 39140 WITH SCORE 39281.903
AT ITER 2224 NEW BEST:: SOT 195080 SOS 141791 HAS SOPS 127245 HAS SOUS 42535 HAS SOUPS 39028 WITH SCORE 39169.791
AT ITER 2228 NEW BEST:: SOT 195021 SOS 141732 HAS SOPS 127186 HAS SOUS 42426 HAS SOUPS 38919 WITH SCORE 39060.732
AT ITER 2236 NEW BEST:: SOT 195017 SOS 141728 HAS SOPS 127182 HAS SOUS 42364 HAS SOUPS 38857 WITH SCORE 38998.728
AT ITER 2252 NEW BEST:: SOT 194927 SOS 141528 HAS SOPS 126982 HAS SOUS 42239 HAS SOUPS 38732 WITH SCORE 38873.528
AT ITER 2255 NEW BEST:: SOT 194902 SOS 141503 HAS SOPS 126957 HAS SOUS 42189 HAS SOUPS 38682 WITH SCORE 38823.503
AT ITER 2261 NEW BEST:: SOT 194858 SOS 141437 HAS SOPS 126891 HAS SOUS 42145 HAS SOUPS 38638 WITH SCORE 38779.437
AT ITER 2264 NEW BEST:: SOT 194790 SOS 141369 HAS SOPS 126823 HAS SOUS 42108 HAS SOUPS 38601 WITH SCORE 38742.369
AT ITER 2273 NEW BEST:: SOT 193758 SOS 140337 HAS SOPS 125901 HAS SOUS 41064 HAS SOUPS 37589 WITH SCORE 37729.337
AT ITER 2302 NEW BEST:: SOT 193764 SOS 140343 HAS SOPS 125895 HAS SOUS 41070 HAS SOUPS 37583 WITH SCORE 37723.343
AT ITER 2320 NEW BEST:: SOT 193680 SOS 140259 HAS SOPS 125811 HAS SOUS 40949 HAS SOUPS 37462 WITH SCORE 37602.259
AT ITER 2324 NEW BEST:: SOT 193304 SOS 139833 HAS SOPS 125385 HAS SOUS 40762 HAS SOUPS 37275 WITH SCORE 37414.833
AT ITER 2333 NEW BEST:: SOT 193349 SOS 139878 HAS SOPS 125430 HAS SOUS 40541 HAS SOUPS 37054 WITH SCORE 37193.878
AT ITER 2345 NEW BEST:: SOT 193284 SOS 139813 HAS SOPS 125365 HAS SOUS 40411 HAS SOUPS 36924 WITH SCORE 37063.813
AT ITER 2346 NEW BEST:: SOT 193128 SOS 139657 HAS SOPS 125053 HAS SOUS 40063 HAS SOUPS 36576 WITH SCORE 36715.657
AT ITER 2389 NEW BEST:: SOT 193137 SOS 139585 HAS SOPS 125035 HAS SOUS 40060 HAS SOUPS 36576 WITH SCORE 36715.585
AT ITER 2390 NEW BEST:: SOT 192993 SOS 139441 HAS SOPS 124891 HAS SOUS 40060 HAS SOUPS 36576 WITH SCORE 36715.441
AT ITER 2403 NEW BEST:: SOT 192798 SOS 139086 HAS SOPS 124536 HAS SOUS 39896 HAS SOUPS 36412 WITH SCORE 36551.086
AT ITER 2419 NEW BEST:: SOT 192761 SOS 139049 HAS SOPS 124499 HAS SOUS 39892 HAS SOUPS 36408 WITH SCORE 36547.049
AT ITER 2444 NEW BEST:: SOT 192566 SOS 138854 HAS SOPS 124340 HAS SOUS 39616 HAS SOUPS 36168 WITH SCORE 36306.854
AT ITER 2459 NEW BEST:: SOT 192566 SOS 138854 HAS SOPS 124340 HAS SOUS 39560 HAS SOUPS 36112 WITH SCORE 36250.854
AT ITER 2487 NEW BEST:: SOT 192566 SOS 138854 HAS SOPS 124208 HAS SOUS 39428 HAS SOUPS 35980 WITH SCORE 36118.854
AT ITER 2490 NEW BEST:: SOT 192535 SOS 138792 HAS SOPS 124146 HAS SOUS 39366 HAS SOUPS 35918 WITH SCORE 36056.792
AT ITER 2531 NEW BEST:: SOT 192445 SOS 138640 HAS SOPS 123994 HAS SOUS 39186 HAS SOUPS 35738 WITH SCORE 35876.64
AT ITER 2540 NEW BEST:: SOT 192439 SOS 138634 HAS SOPS 123985 HAS SOUS 39180 HAS SOUPS 35729 WITH SCORE 35867.634
AT ITER 2559 NEW BEST:: SOT 192398 SOS 138593 HAS SOPS 123944 HAS SOUS 39098 HAS SOUPS 35647 WITH SCORE 35785.593
AT ITER 2580 NEW BEST:: SOT 192363 SOS 138523 HAS SOPS 123909 HAS SOUS 39057 HAS SOUPS 35641 WITH SCORE 35779.523
AT ITER 2599 NEW BEST:: SOT 192354 SOS 138514 HAS SOPS 123900 HAS SOUS 39039 HAS SOUPS 35623 WITH SCORE 35761.514
AT ITER 2601 NEW BEST:: SOT 192324 SOS 138484 HAS SOPS 123870 HAS SOUS 39009 HAS SOUPS 35593 WITH SCORE 35731.484
AT ITER 2610 NEW BEST:: SOT 192319 SOS 138469 HAS SOPS 123855 HAS SOUS 38984 HAS SOUPS 35568 WITH SCORE 35706.469
AT ITER 2614 NEW BEST:: SOT 192255 SOS 138303 HAS SOPS 123689 HAS SOUS 38880 HAS SOUPS 35464 WITH SCORE 35602.303
AT ITER 2615 NEW BEST:: SOT 192132 SOS 138125 HAS SOPS 123456 HAS SOUS 38781 HAS SOUPS 35365 WITH SCORE 35503.125
AT ITER 2636 NEW BEST:: SOT 192229 SOS 138222 HAS SOPS 123553 HAS SOUS 38753 HAS SOUPS 35337 WITH SCORE 35475.222
AT ITER 2660 NEW BEST:: SOT 192229 SOS 138222 HAS SOPS 123553 HAS SOUS 38751 HAS SOUPS 35335 WITH SCORE 35473.222
AT ITER 2668 NEW BEST:: SOT 192223 SOS 138216 HAS SOPS 123547 HAS SOUS 38751 HAS SOUPS 35335 WITH SCORE 35473.216
AT ITER 2684 NEW BEST:: SOT 192204 SOS 138197 HAS SOPS 123528 HAS SOUS 38715 HAS SOUPS 35299 WITH SCORE 35437.197
AT ITER 2686 NEW BEST:: SOT 192190 SOS 138183 HAS SOPS 123514 HAS SOUS 38677 HAS SOUPS 35261 WITH SCORE 35399.183
AT ITER 2689 NEW BEST:: SOT 192312 SOS 136903 HAS SOPS 122960 HAS SOUS 38582 HAS SOUPS 35238 WITH SCORE 35374.903
AT ITER 2713 NEW BEST:: SOT 192310 SOS 136912 HAS SOPS 123097 HAS SOUS 38567 HAS SOUPS 35223 WITH SCORE 35359.912
AT ITER 2714 NEW BEST:: SOT 192306 SOS 136908 HAS SOPS 123093 HAS SOUS 38559 HAS SOUPS 35215 WITH SCORE 35351.908
AT ITER 2729 NEW BEST:: SOT 192417 SOS 136951 HAS SOPS 122947 HAS SOUS 38527 HAS SOUPS 35120 WITH SCORE 35256.951
AT ITER 2741 NEW BEST:: SOT 192388 SOS 136756 HAS SOPS 122752 HAS SOUS 38415 HAS SOUPS 35008 WITH SCORE 35144.756
AT ITER 2742 NEW BEST:: SOT 192353 SOS 136686 HAS SOPS 122647 HAS SOUS 38310 HAS SOUPS 34903 WITH SCORE 35039.686
AT ITER 2745 NEW BEST:: SOT 192310 SOS 136600 HAS SOPS 122561 HAS SOUS 38265 HAS SOUPS 34858 WITH SCORE 34994.6
AT ITER 2799 NEW BEST:: SOT 192413 SOS 136703 HAS SOPS 122664 HAS SOUS 38201 HAS SOUPS 34794 WITH SCORE 34930.703
AT ITER 2806 NEW BEST:: SOT 192438 SOS 136727 HAS SOPS 122714 HAS SOUS 38149 HAS SOUPS 34742 WITH SCORE 34878.727
AT ITER 2825 NEW BEST:: SOT 192372 SOS 136628 HAS SOPS 122582 HAS SOUS 38050 HAS SOUPS 34643 WITH SCORE 34779.628
AT ITER 2838 NEW BEST:: SOT 192252 SOS 136494 HAS SOPS 122448 HAS SOUS 37872 HAS SOUPS 34465 WITH SCORE 34601.494
AT ITER 2844 NEW BEST:: SOT 192217 SOS 136459 HAS SOPS 122413 HAS SOUS 37872 HAS SOUPS 34465 WITH SCORE 34601.459
AT ITER 2857 NEW BEST:: SOT 192217 SOS 136459 HAS SOPS 122413 HAS SOUS 37846 HAS SOUPS 34439 WITH SCORE 34575.459
AT ITER 2870 NEW BEST:: SOT 192262 SOS 136563 HAS SOPS 122517 HAS SOUS 37816 HAS SOUPS 34409 WITH SCORE 34545.563
AT ITER 2879 NEW BEST:: SOT 192242 SOS 135487 HAS SOPS 121441 HAS SOUS 37761 HAS SOUPS 34354 WITH SCORE 34489.487
AT ITER 2891 NEW BEST:: SOT 192251 SOS 135512 HAS SOPS 121528 HAS SOUS 37709 HAS SOUPS 34302 WITH SCORE 34437.512
AT ITER 2922 NEW BEST:: SOT 192245 SOS 135140 HAS SOPS 121156 HAS SOUS 37703 HAS SOUPS 34296 WITH SCORE 34431.14
AT ITER 2926 NEW BEST:: SOT 192229 SOS 135099 HAS SOPS 121107 HAS SOUS 37637 HAS SOUPS 34247 WITH SCORE 34382.099
AT ITER 2946 NEW BEST:: SOT 192229 SOS 135099 HAS SOPS 121107 HAS SOUS 37627 HAS SOUPS 34237 WITH SCORE 34372.099
AT ITER 2967 NEW BEST:: SOT 192197 SOS 135035 HAS SOPS 121043 HAS SOUS 37595 HAS SOUPS 34205 WITH SCORE 34340.035
AT ITER 2981 NEW BEST:: SOT 192165 SOS 135003 HAS SOPS 121011 HAS SOUS 37579 HAS SOUPS 34189 WITH SCORE 34324.003
AT ITER 2992 NEW BEST:: SOT 192163 SOS 135001 HAS SOPS 121009 HAS SOUS 37575 HAS SOUPS 34185 WITH SCORE 34320.001
AT ITER 3001 NEW BEST:: SOT 192170 SOS 135008 HAS SOPS 121016 HAS SOUS 37568 HAS SOUPS 34178 WITH SCORE 34313.008
AT ITER 3003 NEW BEST:: SOT 192216 SOS 135077 HAS SOPS 121085 HAS SOUS 37546 HAS SOUPS 34156 WITH SCORE 34291.077
AT ITER 3008 NEW BEST:: SOT 192211 SOS 135072 HAS SOPS 121080 HAS SOUS 37541 HAS SOUPS 34151 WITH SCORE 34286.072
AT ITER 3010 NEW BEST:: SOT 192192 SOS 135053 HAS SOPS 121061 HAS SOUS 37515 HAS SOUPS 34125 WITH SCORE 34260.053
AT ITER 3012 NEW BEST:: SOT 192190 SOS 135051 HAS SOPS 121059 HAS SOUS 37511 HAS SOUPS 34121 WITH SCORE 34256.051
AT ITER 3031 NEW BEST:: SOT 192188 SOS 135025 HAS SOPS 121033 HAS SOUS 37503 HAS SOUPS 34113 WITH SCORE 34248.025
AT ITER 3035 NEW BEST:: SOT 192109 SOS 135070 HAS SOPS 121009 HAS SOUS 37388 HAS SOUPS 33998 WITH SCORE 34133.07
AT ITER 3065 NEW BEST:: SOT 192106 SOS 135067 HAS SOPS 121006 HAS SOUS 37386 HAS SOUPS 33996 WITH SCORE 34131.067
AT ITER 3105 NEW BEST:: SOT 191972 SOS 134933 HAS SOPS 120872 HAS SOUS 37319 HAS SOUPS 33929 WITH SCORE 34063.933
AT ITER 3155 NEW BEST:: SOT 191972 SOS 134933 HAS SOPS 120872 HAS SOUS 37309 HAS SOUPS 33919 WITH SCORE 34053.933
AT ITER 3189 NEW BEST:: SOT 191936 SOS 134897 HAS SOPS 120836 HAS SOUS 37284 HAS SOUPS 33894 WITH SCORE 34028.897
AT ITER 3193 NEW BEST:: SOT 191821 SOS 134759 HAS SOPS 120698 HAS SOUS 37284 HAS SOUPS 33894 WITH SCORE 34028.759
AT ITER 3205 NEW BEST:: SOT 191821 SOS 134690 HAS SOPS 120629 HAS SOUS 37284 HAS SOUPS 33894 WITH SCORE 34028.69
AT ITER 3222 NEW BEST:: SOT 191841 SOS 134710 HAS SOPS 120649 HAS SOUS 37252 HAS SOUPS 33862 WITH SCORE 33996.71
AT ITER 3242 NEW BEST:: SOT 191697 SOS 134566 HAS SOPS 120505 HAS SOUS 37108 HAS SOUPS 33718 WITH SCORE 33852.566
AT ITER 3245 NEW BEST:: SOT 191660 SOS 134565 HAS SOPS 120566 HAS SOUS 37075 HAS SOUPS 33685 WITH SCORE 33819.565
AT ITER 3251 NEW BEST:: SOT 191665 SOS 134570 HAS SOPS 120571 HAS SOUS 37070 HAS SOUPS 33680 WITH SCORE 33814.57
AT ITER 3256 NEW BEST:: SOT 191661 SOS 134566 HAS SOPS 120567 HAS SOUS 37062 HAS SOUPS 33672 WITH SCORE 33806.566
AT ITER 3258 NEW BEST:: SOT 191612 SOS 134517 HAS SOPS 120518 HAS SOUS 37062 HAS SOUPS 33672 WITH SCORE 33806.517
AT ITER 3265 NEW BEST:: SOT 191645 SOS 134545 HAS SOPS 120546 HAS SOUS 37060 HAS SOUPS 33670 WITH SCORE 33804.545
AT ITER 3276 NEW BEST:: SOT 191642 SOS 134542 HAS SOPS 120543 HAS SOUS 37054 HAS SOUPS 33664 WITH SCORE 33798.542
AT ITER 3278 NEW BEST:: SOT 191539 SOS 134357 HAS SOPS 120358 HAS SOUS 36902 HAS SOUPS 33512 WITH SCORE 33646.357
AT ITER 3280 NEW BEST:: SOT 191511 SOS 134301 HAS SOPS 120302 HAS SOUS 36902 HAS SOUPS 33512 WITH SCORE 33646.301
AT ITER 3296 NEW BEST:: SOT 191515 SOS 134305 HAS SOPS 120306 HAS SOUS 36898 HAS SOUPS 33508 WITH SCORE 33642.305
AT ITER 3298 NEW BEST:: SOT 191465 SOS 134243 HAS SOPS 120232 HAS SOUS 36862 HAS SOUPS 33472 WITH SCORE 33606.243
AT ITER 3316 NEW BEST:: SOT 191378 SOS 134156 HAS SOPS 120145 HAS SOUS 36862 HAS SOUPS 33472 WITH SCORE 33606.156
AT ITER 3324 NEW BEST:: SOT 191368 SOS 134146 HAS SOPS 120135 HAS SOUS 36858 HAS SOUPS 33468 WITH SCORE 33602.146
AT ITER 3337 NEW BEST:: SOT 191368 SOS 134119 HAS SOPS 120103 HAS SOUS 36853 HAS SOUPS 33463 WITH SCORE 33597.119
AT ITER 3340 NEW BEST:: SOT 190931 SOS 133682 HAS SOPS 119666 HAS SOUS 36369 HAS SOUPS 32979 WITH SCORE 33112.682
AT ITER 3348 NEW BEST:: SOT 190931 SOS 133682 HAS SOPS 119666 HAS SOUS 36361 HAS SOUPS 32971 WITH SCORE 33104.682
AT ITER 3369 NEW BEST:: SOT 190894 SOS 133629 HAS SOPS 119597 HAS SOUS 36313 HAS SOUPS 32923 WITH SCORE 33056.629
AT ITER 3372 NEW BEST:: SOT 190872 SOS 133606 HAS SOPS 119574 HAS SOUS 36283 HAS SOUPS 32893 WITH SCORE 33026.606
AT ITER 3383 NEW BEST:: SOT 190889 SOS 133623 HAS SOPS 119591 HAS SOUS 36251 HAS SOUPS 32861 WITH SCORE 32994.623
AT ITER 3394 NEW BEST:: SOT 190861 SOS 133566 HAS SOPS 119505 HAS SOUS 36165 HAS SOUPS 32775 WITH SCORE 32908.566
AT ITER 3415 NEW BEST:: SOT 190741 SOS 133446 HAS SOPS 119385 HAS SOUS 36157 HAS SOUPS 32767 WITH SCORE 32900.446
AT ITER 3441 NEW BEST:: SOT 190724 SOS 133429 HAS SOPS 119368 HAS SOUS 36069 HAS SOUPS 32679 WITH SCORE 32812.429
AT ITER 3447 NEW BEST:: SOT 190718 SOS 133423 HAS SOPS 119362 HAS SOUS 36064 HAS SOUPS 32674 WITH SCORE 32807.423
AT ITER 3458 NEW BEST:: SOT 190625 SOS 133304 HAS SOPS 119217 HAS SOUS 35980 HAS SOUPS 32590 WITH SCORE 32723.304
AT ITER 3471 NEW BEST:: SOT 190564 SOS 133243 HAS SOPS 119156 HAS SOUS 35969 HAS SOUPS 32579 WITH SCORE 32712.243
AT ITER 3488 NEW BEST:: SOT 190571 SOS 132857 HAS SOPS 118510 HAS SOUS 35865 HAS SOUPS 32475 WITH SCORE 32607.857
AT ITER 3507 NEW BEST:: SOT 190521 SOS 132841 HAS SOPS 118638 HAS SOUS 35865 HAS SOUPS 32475 WITH SCORE 32607.841
AT ITER 3517 NEW BEST:: SOT 190435 SOS 132734 HAS SOPS 118510 HAS SOUS 35849 HAS SOUPS 32459 WITH SCORE 32591.734
AT ITER 3526 NEW BEST:: SOT 190423 SOS 132770 HAS SOPS 118512 HAS SOUS 35849 HAS SOUPS 32457 WITH SCORE 32589.77
AT ITER 3533 NEW BEST:: SOT 190225 SOS 133265 HAS SOPS 118629 HAS SOUS 35730 HAS SOUPS 32296 WITH SCORE 32429.265
AT ITER 3543 NEW BEST:: SOT 190334 SOS 133374 HAS SOPS 118738 HAS SOUS 35722 HAS SOUPS 32288 WITH SCORE 32421.374
AT ITER 3552 NEW BEST:: SOT 190354 SOS 133493 HAS SOPS 118730 HAS SOUS 35659 HAS SOUPS 32272 WITH SCORE 32405.493
AT ITER 3553 NEW BEST:: SOT 190354 SOS 133493 HAS SOPS 118666 HAS SOUS 35643 HAS SOUPS 32224 WITH SCORE 32357.493
AT ITER 3559 NEW BEST:: SOT 190334 SOS 133473 HAS SOPS 118646 HAS SOUS 35613 HAS SOUPS 32194 WITH SCORE 32327.473
AT ITER 3560 NEW BEST:: SOT 190330 SOS 133469 HAS SOPS 118642 HAS SOUS 35609 HAS SOUPS 32190 WITH SCORE 32323.469
AT ITER 3574 NEW BEST:: SOT 190294 SOS 133433 HAS SOPS 118606 HAS SOUS 35564 HAS SOUPS 32145 WITH SCORE 32278.433
AT ITER 3586 NEW BEST:: SOT 190230 SOS 133369 HAS SOPS 118542 HAS SOUS 35518 HAS SOUPS 32099 WITH SCORE 32232.369
AT ITER 3594 NEW BEST:: SOT 190225 SOS 133364 HAS SOPS 118537 HAS SOUS 35518 HAS SOUPS 32099 WITH SCORE 32232.364
AT ITER 3601 NEW BEST:: SOT 190181 SOS 133320 HAS SOPS 118497 HAS SOUS 35462 HAS SOUPS 32043 WITH SCORE 32176.32
AT ITER 3611 NEW BEST:: SOT 190167 SOS 133306 HAS SOPS 118483 HAS SOUS 35462 HAS SOUPS 32043 WITH SCORE 32176.306
AT ITER 3612 NEW BEST:: SOT 190131 SOS 133270 HAS SOPS 118447 HAS SOUS 35444 HAS SOUPS 32025 WITH SCORE 32158.27
AT ITER 3622 NEW BEST:: SOT 190131 SOS 133506 HAS SOPS 118683 HAS SOUS 35400 HAS SOUPS 31981 WITH SCORE 32114.506
AT ITER 3632 NEW BEST:: SOT 190196 SOS 133571 HAS SOPS 118748 HAS SOUS 35372 HAS SOUPS 31953 WITH SCORE 32086.571
AT ITER 3675 NEW BEST:: SOT 190169 SOS 133544 HAS SOPS 118721 HAS SOUS 35345 HAS SOUPS 31926 WITH SCORE 32059.544
AT ITER 3678 NEW BEST:: SOT 190216 SOS 133654 HAS SOPS 118833 HAS SOUS 35287 HAS SOUPS 31868 WITH SCORE 32001.654
AT ITER 3681 NEW BEST:: SOT 190216 SOS 133654 HAS SOPS 118833 HAS SOUS 35285 HAS SOUPS 31866 WITH SCORE 31999.654
AT ITER 3700 NEW BEST:: SOT 190162 SOS 133600 HAS SOPS 118779 HAS SOUS 35285 HAS SOUPS 31866 WITH SCORE 31999.6
AT ITER 3703 NEW BEST:: SOT 190142 SOS 133580 HAS SOPS 118759 HAS SOUS 35225 HAS SOUPS 31806 WITH SCORE 31939.58
AT ITER 3709 NEW BEST:: SOT 190133 SOS 132257 HAS SOPS 117436 HAS SOUS 35216 HAS SOUPS 31797 WITH SCORE 31929.257
AT ITER 3725 NEW BEST:: SOT 190133 SOS 132257 HAS SOPS 117436 HAS SOUS 35192 HAS SOUPS 31773 WITH SCORE 31905.257
AT ITER 3727 NEW BEST:: SOT 190093 SOS 132217 HAS SOPS 117396 HAS SOUS 35148 HAS SOUPS 31729 WITH SCORE 31861.217
AT ITER 3751 NEW BEST:: SOT 189900 SOS 132024 HAS SOPS 117217 HAS SOUS 34900 HAS SOUPS 31481 WITH SCORE 31613.024
AT ITER 3754 NEW BEST:: SOT 189927 SOS 132051 HAS SOPS 117244 HAS SOUS 34852 HAS SOUPS 31433 WITH SCORE 31565.051
AT ITER 3755 NEW BEST:: SOT 189925 SOS 132049 HAS SOPS 117242 HAS SOUS 34825 HAS SOUPS 31406 WITH SCORE 31538.049
AT ITER 3776 NEW BEST:: SOT 189761 SOS 131781 HAS SOPS 116974 HAS SOUS 34609 HAS SOUPS 31190 WITH SCORE 31321.781
AT ITER 3783 NEW BEST:: SOT 189759 SOS 131779 HAS SOPS 116972 HAS SOUS 34596 HAS SOUPS 31177 WITH SCORE 31308.779
AT ITER 3789 NEW BEST:: SOT 189780 SOS 131807 HAS SOPS 117007 HAS SOUS 34568 HAS SOUPS 31149 WITH SCORE 31280.807
AT ITER 3801 NEW BEST:: SOT 189758 SOS 131785 HAS SOPS 116985 HAS SOUS 34567 HAS SOUPS 31148 WITH SCORE 31279.785
AT ITER 3808 NEW BEST:: SOT 189734 SOS 131761 HAS SOPS 116961 HAS SOUS 34543 HAS SOUPS 31124 WITH SCORE 31255.761
AT ITER 3812 NEW BEST:: SOT 189693 SOS 131720 HAS SOPS 116920 HAS SOUS 34486 HAS SOUPS 31067 WITH SCORE 31198.72
AT ITER 3836 NEW BEST:: SOT 189691 SOS 131718 HAS SOPS 116914 HAS SOUS 34484 HAS SOUPS 31065 WITH SCORE 31196.718
AT ITER 3853 NEW BEST:: SOT 189691 SOS 131718 HAS SOPS 116914 HAS SOUS 34482 HAS SOUPS 31063 WITH SCORE 31194.718
AT ITER 3876 NEW BEST:: SOT 189687 SOS 131714 HAS SOPS 116910 HAS SOUS 34476 HAS SOUPS 31057 WITH SCORE 31188.714
AT ITER 3899 NEW BEST:: SOT 189667 SOS 131694 HAS SOPS 116890 HAS SOUS 34476 HAS SOUPS 31057 WITH SCORE 31188.694
AT ITER 3924 NEW BEST:: SOT 189704 SOS 131620 HAS SOPS 116503 HAS SOUS 34424 HAS SOUPS 31005 WITH SCORE 31136.62
AT ITER 3999 NEW BEST:: SOT 189654 SOS 131777 HAS SOPS 116408 HAS SOUS 34414 HAS SOUPS 30911 WITH SCORE 31042.777
AT ITER 4001 NEW BEST:: SOT 189596 SOS 131748 HAS SOPS 116276 HAS SOUS 34414 HAS SOUPS 30808 WITH SCORE 30939.748
AT ITER 4015 NEW BEST:: SOT 189587 SOS 131739 HAS SOPS 116267 HAS SOUS 34406 HAS SOUPS 30800 WITH SCORE 30931.739
AT ITER 4023 NEW BEST:: SOT 189577 SOS 132060 HAS SOPS 116790 HAS SOUS 34386 HAS SOUPS 30780 WITH SCORE 30912.06
AT ITER 4028 NEW BEST:: SOT 189341 SOS 131656 HAS SOPS 116386 HAS SOUS 34271 HAS SOUPS 30665 WITH SCORE 30796.656
AT ITER 4048 NEW BEST:: SOT 189299 SOS 131586 HAS SOPS 116316 HAS SOUS 34229 HAS SOUPS 30623 WITH SCORE 30754.586
AT ITER 4089 NEW BEST:: SOT 189299 SOS 131572 HAS SOPS 116302 HAS SOUS 34229 HAS SOUPS 30623 WITH SCORE 30754.572
AT ITER 4094 NEW BEST:: SOT 189299 SOS 131572 HAS SOPS 116302 HAS SOUS 34211 HAS SOUPS 30605 WITH SCORE 30736.572
AT ITER 4129 NEW BEST:: SOT 189367 SOS 131714 HAS SOPS 116444 HAS SOUS 34196 HAS SOUPS 30590 WITH SCORE 30721.714
AT ITER 4132 NEW BEST:: SOT 189367 SOS 131714 HAS SOPS 116444 HAS SOUS 34186 HAS SOUPS 30580 WITH SCORE 30711.714
AT ITER 4143 NEW BEST:: SOT 189379 SOS 131726 HAS SOPS 116456 HAS SOUS 34183 HAS SOUPS 30577 WITH SCORE 30708.726
AT ITER 4188 NEW BEST:: SOT 189375 SOS 131722 HAS SOPS 116452 HAS SOUS 34163 HAS SOUPS 30557 WITH SCORE 30688.722
AT ITER 4190 NEW BEST:: SOT 189313 SOS 131660 HAS SOPS 116424 HAS SOUS 34087 HAS SOUPS 30481 WITH SCORE 30612.66
AT ITER 4226 NEW BEST:: SOT 188962 SOS 131212 HAS SOPS 115986 HAS SOUS 33867 HAS SOUPS 30261 WITH SCORE 30392.212
AT ITER 4263 NEW BEST:: SOT 188952 SOS 131202 HAS SOPS 115976 HAS SOUS 33857 HAS SOUPS 30251 WITH SCORE 30382.202
AT ITER 4347 NEW BEST:: SOT 188952 SOS 131202 HAS SOPS 115976 HAS SOUS 33852 HAS SOUPS 30246 WITH SCORE 30377.202
AT ITER 4355 NEW BEST:: SOT 188950 SOS 131194 HAS SOPS 115968 HAS SOUS 33848 HAS SOUPS 30242 WITH SCORE 30373.194
AT ITER 4388 NEW BEST:: SOT 188917 SOS 131161 HAS SOPS 115935 HAS SOUS 33782 HAS SOUPS 30176 WITH SCORE 30307.161
AT ITER 4410 NEW BEST:: SOT 188911 SOS 131155 HAS SOPS 115929 HAS SOUS 33782 HAS SOUPS 30176 WITH SCORE 30307.155
AT ITER 4432 NEW BEST:: SOT 188911 SOS 131151 HAS SOPS 115929 HAS SOUS 33778 HAS SOUPS 30172 WITH SCORE 30303.151
AT ITER 4443 NEW BEST:: SOT 188911 SOS 131151 HAS SOPS 115929 HAS SOUS 33774 HAS SOUPS 30168 WITH SCORE 30299.151
AT ITER 4478 NEW BEST:: SOT 188898 SOS 131138 HAS SOPS 115916 HAS SOUS 33761 HAS SOUPS 30155 WITH SCORE 30286.138
AT ITER 4495 NEW BEST:: SOT 188851 SOS 131091 HAS SOPS 115869 HAS SOUS 33670 HAS SOUPS 30064 WITH SCORE 30195.091
AT ITER 4502 NEW BEST:: SOT 188837 SOS 131077 HAS SOPS 115855 HAS SOUS 33649 HAS SOUPS 30043 WITH SCORE 30174.077
AT ITER 4507 NEW BEST:: SOT 188829 SOS 131069 HAS SOPS 115847 HAS SOUS 33641 HAS SOUPS 30035 WITH SCORE 30166.069
AT ITER 4514 NEW BEST:: SOT 188785 SOS 131025 HAS SOPS 115803 HAS SOUS 33625 HAS SOUPS 30019 WITH SCORE 30150.025
AT ITER 4557 NEW BEST:: SOT 188740 SOS 130980 HAS SOPS 115758 HAS SOUS 33481 HAS SOUPS 29875 WITH SCORE 30005.98
AT ITER 4577 NEW BEST:: SOT 188732 SOS 130972 HAS SOPS 115750 HAS SOUS 33473 HAS SOUPS 29867 WITH SCORE 29997.972
AT ITER 4599 NEW BEST:: SOT 188722 SOS 130947 HAS SOPS 115725 HAS SOUS 33431 HAS SOUPS 29825 WITH SCORE 29955.947
AT ITER 4635 NEW BEST:: SOT 188745 SOS 130970 HAS SOPS 115748 HAS SOUS 33387 HAS SOUPS 29781 WITH SCORE 29911.97
AT ITER 4646 NEW BEST:: SOT 188705 SOS 130930 HAS SOPS 115708 HAS SOUS 33367 HAS SOUPS 29761 WITH SCORE 29891.93
AT ITER 4671 NEW BEST:: SOT 188697 SOS 130922 HAS SOPS 115700 HAS SOUS 33359 HAS SOUPS 29753 WITH SCORE 29883.922
AT ITER 4673 NEW BEST:: SOT 188695 SOS 130948 HAS SOPS 115696 HAS SOUS 33359 HAS SOUPS 29751 WITH SCORE 29881.948
AT ITER 4677 NEW BEST:: SOT 188609 SOS 130782 HAS SOPS 115490 HAS SOUS 33153 HAS SOUPS 29545 WITH SCORE 29675.782
AT ITER 4682 NEW BEST:: SOT 188545 SOS 130718 HAS SOPS 115426 HAS SOUS 33131 HAS SOUPS 29523 WITH SCORE 29653.718
AT ITER 4683 NEW BEST:: SOT 188545 SOS 130718 HAS SOPS 115426 HAS SOUS 33067 HAS SOUPS 29459 WITH SCORE 29589.718
AT ITER 4684 NEW BEST:: SOT 188619 SOS 130879 HAS SOPS 115587 HAS SOUS 33050 HAS SOUPS 29442 WITH SCORE 29572.879
AT ITER 4687 NEW BEST:: SOT 188617 SOS 130877 HAS SOPS 115585 HAS SOUS 33029 HAS SOUPS 29421 WITH SCORE 29551.877
AT ITER 4688 NEW BEST:: SOT 188613 SOS 130870 HAS SOPS 115573 HAS SOUS 33016 HAS SOUPS 29408 WITH SCORE 29538.87
AT ITER 4715 NEW BEST:: SOT 188605 SOS 130862 HAS SOPS 115565 HAS SOUS 33012 HAS SOUPS 29404 WITH SCORE 29534.862
AT ITER 4723 NEW BEST:: SOT 188601 SOS 130858 HAS SOPS 115553 HAS SOUS 33000 HAS SOUPS 29392 WITH SCORE 29522.858
AT ITER 4726 NEW BEST:: SOT 188625 SOS 130882 HAS SOPS 115551 HAS SOUS 32998 HAS SOUPS 29390 WITH SCORE 29520.882
AT ITER 4727 NEW BEST:: SOT 188658 SOS 130952 HAS SOPS 115584 HAS SOUS 33031 HAS SOUPS 29386 WITH SCORE 29516.952
AT ITER 4746 NEW BEST:: SOT 188650 SOS 130939 HAS SOPS 115574 HAS SOUS 33013 HAS SOUPS 29376 WITH SCORE 29506.939
AT ITER 4790 NEW BEST:: SOT 188650 SOS 130939 HAS SOPS 115574 HAS SOUS 33012 HAS SOUPS 29375 WITH SCORE 29505.939
AT ITER 4827 NEW BEST:: SOT 188636 SOS 130925 HAS SOPS 115560 HAS SOUS 33012 HAS SOUPS 29375 WITH SCORE 29505.925
AT ITER 4885 NEW BEST:: SOT 188636 SOS 130925 HAS SOPS 115560 HAS SOUS 32902 HAS SOUPS 29265 WITH SCORE 29395.925
AT ITER 4886 NEW BEST:: SOT 188832 SOS 131121 HAS SOPS 115756 HAS SOUS 32900 HAS SOUPS 29263 WITH SCORE 29394.121
AT ITER 4895 NEW BEST:: SOT 188753 SOS 131042 HAS SOPS 115677 HAS SOUS 32842 HAS SOUPS 29205 WITH SCORE 29336.042
AT ITER 4911 NEW BEST:: SOT 188818 SOS 131296 HAS SOPS 115931 HAS SOUS 32815 HAS SOUPS 29178 WITH SCORE 29309.296
AT ITER 4913 NEW BEST:: SOT 188796 SOS 131274 HAS SOPS 115909 HAS SOUS 32737 HAS SOUPS 29100 WITH SCORE 29231.274
AT ITER 4947 NEW BEST:: SOT 188679 SOS 131058 HAS SOPS 115693 HAS SOUS 32718 HAS SOUPS 29081 WITH SCORE 29212.058
AT ITER 4974 NEW BEST:: SOT 188734 SOS 131113 HAS SOPS 115748 HAS SOUS 32680 HAS SOUPS 29043 WITH SCORE 29174.113
AT ITER 4998 NEW BEST:: SOT 188734 SOS 131113 HAS SOPS 115748 HAS SOUS 32670 HAS SOUPS 29033 WITH SCORE 29164.113
AT ITER 5004 NEW BEST:: SOT 188695 SOS 131074 HAS SOPS 115709 HAS SOUS 32641 HAS SOUPS 29004 WITH SCORE 29135.074
AT ITER 5012 NEW BEST:: SOT 188711 SOS 131090 HAS SOPS 115725 HAS SOUS 32623 HAS SOUPS 28986 WITH SCORE 29117.09
AT ITER 5022 NEW BEST:: SOT 188665 SOS 131044 HAS SOPS 115679 HAS SOUS 32531 HAS SOUPS 28894 WITH SCORE 29025.044
AT ITER 5026 NEW BEST:: SOT 188667 SOS 131046 HAS SOPS 115681 HAS SOUS 32526 HAS SOUPS 28889 WITH SCORE 29020.046
AT ITER 5032 NEW BEST:: SOT 188673 SOS 131036 HAS SOPS 115671 HAS SOUS 32522 HAS SOUPS 28885 WITH SCORE 29016.036
AT ITER 5046 NEW BEST:: SOT 188667 SOS 131030 HAS SOPS 115665 HAS SOUS 32494 HAS SOUPS 28857 WITH SCORE 28988.03
AT ITER 5094 NEW BEST:: SOT 188609 SOS 130798 HAS SOPS 115433 HAS SOUS 32415 HAS SOUPS 28778 WITH SCORE 28908.798
AT ITER 5118 NEW BEST:: SOT 188609 SOS 130798 HAS SOPS 115433 HAS SOUS 32412 HAS SOUPS 28775 WITH SCORE 28905.798
AT ITER 5140 NEW BEST:: SOT 188522 SOS 130711 HAS SOPS 115346 HAS SOUS 32412 HAS SOUPS 28775 WITH SCORE 28905.711
AT ITER 5168 NEW BEST:: SOT 188461 SOS 130589 HAS SOPS 115224 HAS SOUS 32351 HAS SOUPS 28714 WITH SCORE 28844.589
AT ITER 5193 NEW BEST:: SOT 188461 SOS 130582 HAS SOPS 115217 HAS SOUS 32351 HAS SOUPS 28714 WITH SCORE 28844.582
AT ITER 5225 NEW BEST:: SOT 188451 SOS 130572 HAS SOPS 115207 HAS SOUS 32328 HAS SOUPS 28691 WITH SCORE 28821.572
AT ITER 5229 NEW BEST:: SOT 188397 SOS 130494 HAS SOPS 115102 HAS SOUS 32250 HAS SOUPS 28613 WITH SCORE 28743.494
AT ITER 5257 NEW BEST:: SOT 188370 SOS 130467 HAS SOPS 115072 HAS SOUS 32226 HAS SOUPS 28589 WITH SCORE 28719.467
AT ITER 5272 NEW BEST:: SOT 188228 SOS 130040 HAS SOPS 115107 HAS SOUS 32226 HAS SOUPS 28589 WITH SCORE 28719.04
AT ITER 5284 NEW BEST:: SOT 188219 SOS 130031 HAS SOPS 115098 HAS SOUS 32211 HAS SOUPS 28574 WITH SCORE 28704.031
AT ITER 5288 NEW BEST:: SOT 188211 SOS 130023 HAS SOPS 115090 HAS SOUS 32195 HAS SOUPS 28558 WITH SCORE 28688.023
AT ITER 5291 NEW BEST:: SOT 188201 SOS 130013 HAS SOPS 115080 HAS SOUS 32195 HAS SOUPS 28558 WITH SCORE 28688.013
AT ITER 5301 NEW BEST:: SOT 188200 SOS 130012 HAS SOPS 115079 HAS SOUS 32194 HAS SOUPS 28557 WITH SCORE 28687.012
AT ITER 5304 NEW BEST:: SOT 188141 SOS 129953 HAS SOPS 115020 HAS SOUS 32194 HAS SOUPS 28557 WITH SCORE 28686.953
AT ITER 5306 NEW BEST:: SOT 188141 SOS 129953 HAS SOPS 115020 HAS SOUS 32186 HAS SOUPS 28549 WITH SCORE 28678.953
AT ITER 5340 NEW BEST:: SOT 188149 SOS 129961 HAS SOPS 115028 HAS SOUS 32166 HAS SOUPS 28529 WITH SCORE 28658.961
AT ITER 5394 NEW BEST:: SOT 188143 SOS 129941 HAS SOPS 115008 HAS SOUS 32156 HAS SOUPS 28519 WITH SCORE 28648.941
AT ITER 5400 NEW BEST:: SOT 188141 SOS 129937 HAS SOPS 115004 HAS SOUS 32150 HAS SOUPS 28513 WITH SCORE 28642.937
AT ITER 5439 NEW BEST:: SOT 188127 SOS 129909 HAS SOPS 114962 HAS SOUS 32122 HAS SOUPS 28485 WITH SCORE 28614.909
AT ITER 5461 NEW BEST:: SOT 188110 SOS 129892 HAS SOPS 114945 HAS SOUS 32122 HAS SOUPS 28485 WITH SCORE 28614.892
AT ITER 5462 NEW BEST:: SOT 188109 SOS 129891 HAS SOPS 114944 HAS SOUS 32117 HAS SOUPS 28480 WITH SCORE 28609.891
AT ITER 5465 NEW BEST:: SOT 188109 SOS 129891 HAS SOPS 114882 HAS SOUS 32055 HAS SOUPS 28418 WITH SCORE 28547.891
AT ITER 5470 NEW BEST:: SOT 188063 SOS 129845 HAS SOPS 114836 HAS SOUS 32009 HAS SOUPS 28372 WITH SCORE 28501.845
AT ITER 5476 NEW BEST:: SOT 188048 SOS 129830 HAS SOPS 114821 HAS SOUS 31979 HAS SOUPS 28342 WITH SCORE 28471.83
AT ITER 5506 NEW BEST:: SOT 188046 SOS 129828 HAS SOPS 114819 HAS SOUS 31979 HAS SOUPS 28342 WITH SCORE 28471.828
AT ITER 5509 NEW BEST:: SOT 188046 SOS 129828 HAS SOPS 114819 HAS SOUS 31955 HAS SOUPS 28318 WITH SCORE 28447.828
AT ITER 5519 NEW BEST:: SOT 188046 SOS 129828 HAS SOPS 114819 HAS SOUS 31947 HAS SOUPS 28310 WITH SCORE 28439.828
AT ITER 5531 NEW BEST:: SOT 188046 SOS 129828 HAS SOPS 114819 HAS SOUS 31943 HAS SOUPS 28306 WITH SCORE 28435.828
AT ITER 5572 NEW BEST:: SOT 188025 SOS 129807 HAS SOPS 114798 HAS SOUS 31941 HAS SOUPS 28304 WITH SCORE 28433.807
AT ITER 5582 NEW BEST:: SOT 187770 SOS 129552 HAS SOPS 114543 HAS SOUS 31905 HAS SOUPS 28268 WITH SCORE 28397.552
AT ITER 5591 NEW BEST:: SOT 187744 SOS 129517 HAS SOPS 114508 HAS SOUS 31893 HAS SOUPS 28256 WITH SCORE 28385.517
AT ITER 5597 NEW BEST:: SOT 187725 SOS 129498 HAS SOPS 114489 HAS SOUS 31848 HAS SOUPS 28211 WITH SCORE 28340.498
AT ITER 5604 NEW BEST:: SOT 187709 SOS 129482 HAS SOPS 114473 HAS SOUS 31816 HAS SOUPS 28179 WITH SCORE 28308.482
AT ITER 5694 NEW BEST:: SOT 187709 SOS 129472 HAS SOPS 114463 HAS SOUS 31816 HAS SOUPS 28179 WITH SCORE 28308.472
AT ITER 5697 NEW BEST:: SOT 187707 SOS 129454 HAS SOPS 114445 HAS SOUS 31814 HAS SOUPS 28177 WITH SCORE 28306.454
AT ITER 5715 NEW BEST:: SOT 187675 SOS 129492 HAS SOPS 114455 HAS SOUS 31824 HAS SOUPS 28173 WITH SCORE 28302.492
AT ITER 5716 NEW BEST:: SOT 187672 SOS 129489 HAS SOPS 114452 HAS SOUS 31818 HAS SOUPS 28167 WITH SCORE 28296.489
AT ITER 5717 NEW BEST:: SOT 187672 SOS 129462 HAS SOPS 114425 HAS SOUS 31812 HAS SOUPS 28161 WITH SCORE 28290.462
AT ITER 5749 NEW BEST:: SOT 187667 SOS 129457 HAS SOPS 114420 HAS SOUS 31811 HAS SOUPS 28160 WITH SCORE 28289.457
AT ITER 5764 NEW BEST:: SOT 187667 SOS 129457 HAS SOPS 114420 HAS SOUS 31804 HAS SOUPS 28153 WITH SCORE 28282.457
AT ITER 5819 NEW BEST:: SOT 187648 SOS 129438 HAS SOPS 114401 HAS SOUS 31766 HAS SOUPS 28115 WITH SCORE 28244.438
AT ITER 5842 NEW BEST:: SOT 187557 SOS 129132 HAS SOPS 114095 HAS SOUS 31587 HAS SOUPS 27936 WITH SCORE 28065.132
AT ITER 5853 NEW BEST:: SOT 187490 SOS 129065 HAS SOPS 114028 HAS SOUS 31533 HAS SOUPS 27882 WITH SCORE 28011.065
AT ITER 5914 NEW BEST:: SOT 187488 SOS 129063 HAS SOPS 114026 HAS SOUS 31531 HAS SOUPS 27880 WITH SCORE 28009.063
AT ITER 5921 NEW BEST:: SOT 187460 SOS 129035 HAS SOPS 113998 HAS SOUS 31487 HAS SOUPS 27836 WITH SCORE 27965.035
AT ITER 5929 NEW BEST:: SOT 187355 SOS 128930 HAS SOPS 113893 HAS SOUS 31475 HAS SOUPS 27824 WITH SCORE 27952.93
AT ITER 5958 NEW BEST:: SOT 187327 SOS 128902 HAS SOPS 113865 HAS SOUS 31386 HAS SOUPS 27735 WITH SCORE 27863.902
AT ITER 5964 NEW BEST:: SOT 187326 SOS 128901 HAS SOPS 113864 HAS SOUS 31386 HAS SOUPS 27735 WITH SCORE 27863.901
AT ITER 5973 NEW BEST:: SOT 187342 SOS 128917 HAS SOPS 113880 HAS SOUS 31370 HAS SOUPS 27719 WITH SCORE 27847.917
AT ITER 5974 NEW BEST:: SOT 187340 SOS 128915 HAS SOPS 113878 HAS SOUS 31366 HAS SOUPS 27715 WITH SCORE 27843.915
AT ITER 6040 NEW BEST:: SOT 187360 SOS 128935 HAS SOPS 113898 HAS SOUS 31354 HAS SOUPS 27703 WITH SCORE 27831.935
AT ITER 6055 NEW BEST:: SOT 187312 SOS 128887 HAS SOPS 113850 HAS SOUS 31338 HAS SOUPS 27687 WITH SCORE 27815.887
AT ITER 6076 NEW BEST:: SOT 187316 SOS 128941 HAS SOPS 113904 HAS SOUS 31228 HAS SOUPS 27577 WITH SCORE 27705.941
AT ITER 6078 NEW BEST:: SOT 187339 SOS 128987 HAS SOPS 113927 HAS SOUS 31228 HAS SOUPS 27554 WITH SCORE 27682.987
AT ITER 6098 NEW BEST:: SOT 187300 SOS 128948 HAS SOPS 113888 HAS SOUS 31184 HAS SOUPS 27510 WITH SCORE 27638.948
AT ITER 6113 NEW BEST:: SOT 187289 SOS 128907 HAS SOPS 113847 HAS SOUS 31176 HAS SOUPS 27502 WITH SCORE 27630.907
AT ITER 6124 NEW BEST:: SOT 187232 SOS 128850 HAS SOPS 113790 HAS SOUS 31119 HAS SOUPS 27445 WITH SCORE 27573.85
AT ITER 6134 NEW BEST:: SOT 187232 SOS 128728 HAS SOPS 113668 HAS SOUS 31103 HAS SOUPS 27429 WITH SCORE 27557.728
AT ITER 6146 NEW BEST:: SOT 187204 SOS 128672 HAS SOPS 113612 HAS SOUS 30946 HAS SOUPS 27272 WITH SCORE 27400.672
AT ITER 6196 NEW BEST:: SOT 187161 SOS 128592 HAS SOPS 113532 HAS SOUS 30934 HAS SOUPS 27260 WITH SCORE 27388.592
AT ITER 6221 NEW BEST:: SOT 187091 SOS 125357 HAS SOPS 110297 HAS SOUS 30898 HAS SOUPS 27224 WITH SCORE 27349.357
AT ITER 6233 NEW BEST:: SOT 187073 SOS 125339 HAS SOPS 110279 HAS SOUS 30886 HAS SOUPS 27212 WITH SCORE 27337.339
AT ITER 6254 NEW BEST:: SOT 187073 SOS 125335 HAS SOPS 110257 HAS SOUS 30875 HAS SOUPS 27190 WITH SCORE 27315.335
AT ITER 6363 NEW BEST:: SOT 187142 SOS 125434 HAS SOPS 110356 HAS SOUS 30857 HAS SOUPS 27172 WITH SCORE 27297.434
AT ITER 6367 NEW BEST:: SOT 187103 SOS 123259 HAS SOPS 108181 HAS SOUS 30828 HAS SOUPS 27143 WITH SCORE 27266.259
AT ITER 6397 NEW BEST:: SOT 187094 SOS 123250 HAS SOPS 108222 HAS SOUS 30775 HAS SOUPS 27134 WITH SCORE 27257.25
AT ITER 6407 NEW BEST:: SOT 187091 SOS 123247 HAS SOPS 108219 HAS SOUS 30775 HAS SOUPS 27134 WITH SCORE 27257.247
AT ITER 6415 NEW BEST:: SOT 187074 SOS 123196 HAS SOPS 108168 HAS SOUS 30750 HAS SOUPS 27109 WITH SCORE 27232.196
AT ITER 6417 NEW BEST:: SOT 187033 SOS 123155 HAS SOPS 108127 HAS SOUS 30668 HAS SOUPS 27027 WITH SCORE 27150.155
AT ITER 6420 NEW BEST:: SOT 187010 SOS 123132 HAS SOPS 108104 HAS SOUS 30611 HAS SOUPS 26970 WITH SCORE 27093.132
AT ITER 6424 NEW BEST:: SOT 187005 SOS 123127 HAS SOPS 108099 HAS SOUS 30606 HAS SOUPS 26965 WITH SCORE 27088.127
AT ITER 6463 NEW BEST:: SOT 187083 SOS 123217 HAS SOPS 108189 HAS SOUS 30600 HAS SOUPS 26959 WITH SCORE 27082.217
AT ITER 6471 NEW BEST:: SOT 187056 SOS 123164 HAS SOPS 108136 HAS SOUS 30598 HAS SOUPS 26957 WITH SCORE 27080.164
AT ITER 6521 NEW BEST:: SOT 187040 SOS 123146 HAS SOPS 108118 HAS SOUS 30595 HAS SOUPS 26954 WITH SCORE 27077.146
AT ITER 6537 NEW BEST:: SOT 186982 SOS 123047 HAS SOPS 108019 HAS SOUS 30581 HAS SOUPS 26940 WITH SCORE 27063.047
AT ITER 6548 NEW BEST:: SOT 186982 SOS 123042 HAS SOPS 108019 HAS SOUS 30581 HAS SOUPS 26940 WITH SCORE 27063.042
AT ITER 6605 NEW BEST:: SOT 187022 SOS 123082 HAS SOPS 108059 HAS SOUS 30541 HAS SOUPS 26900 WITH SCORE 27023.082
AT ITER 6636 NEW BEST:: SOT 187008 SOS 123068 HAS SOPS 108053 HAS SOUS 30535 HAS SOUPS 26894 WITH SCORE 27017.068
AT ITER 6700 NEW BEST:: SOT 187008 SOS 123068 HAS SOPS 108053 HAS SOUS 30533 HAS SOUPS 26892 WITH SCORE 27015.068
AT ITER 6730 NEW BEST:: SOT 186985 SOS 123486 HAS SOPS 108385 HAS SOUS 30466 HAS SOUPS 26825 WITH SCORE 26948.486
AT ITER 6736 NEW BEST:: SOT 187084 SOS 123609 HAS SOPS 108532 HAS SOUS 30442 HAS SOUPS 26801 WITH SCORE 26924.609
AT ITER 6743 NEW BEST:: SOT 187072 SOS 123591 HAS SOPS 108514 HAS SOUS 30442 HAS SOUPS 26801 WITH SCORE 26924.591
AT ITER 6746 NEW BEST:: SOT 187069 SOS 123601 HAS SOPS 108498 HAS SOUS 30459 HAS SOUPS 26798 WITH SCORE 26921.601
AT ITER 6747 NEW BEST:: SOT 187067 SOS 123599 HAS SOPS 108496 HAS SOUS 30456 HAS SOUPS 26795 WITH SCORE 26918.599
AT ITER 6777 NEW BEST:: SOT 187052 SOS 123606 HAS SOPS 108488 HAS SOUS 30448 HAS SOUPS 26787 WITH SCORE 26910.606
AT ITER 6780 NEW BEST:: SOT 187051 SOS 123603 HAS SOPS 108485 HAS SOUS 30448 HAS SOUPS 26787 WITH SCORE 26910.603
AT ITER 6822 NEW BEST:: SOT 186989 SOS 123541 HAS SOPS 108423 HAS SOUS 30386 HAS SOUPS 26725 WITH SCORE 26848.541
AT ITER 6899 NEW BEST:: SOT 186987 SOS 123539 HAS SOPS 108489 HAS SOUS 30382 HAS SOUPS 26721 WITH SCORE 26844.539
AT ITER 6933 NEW BEST:: SOT 186979 SOS 123526 HAS SOPS 108471 HAS SOUS 30364 HAS SOUPS 26703 WITH SCORE 26826.526
AT ITER 6973 NEW BEST:: SOT 186968 SOS 123515 HAS SOPS 108460 HAS SOUS 30364 HAS SOUPS 26703 WITH SCORE 26826.515
AT ITER 6978 NEW BEST:: SOT 186914 SOS 123461 HAS SOPS 108352 HAS SOUS 30283 HAS SOUPS 26622 WITH SCORE 26745.461
AT ITER 6981 NEW BEST:: SOT 186808 SOS 123487 HAS SOPS 108378 HAS SOUS 30150 HAS SOUPS 26489 WITH SCORE 26612.487
AT ITER 7005 NEW BEST:: SOT 186778 SOS 123424 HAS SOPS 108315 HAS SOUS 30109 HAS SOUPS 26448 WITH SCORE 26571.424
AT ITER 7018 NEW BEST:: SOT 186778 SOS 123424 HAS SOPS 108315 HAS SOUS 30084 HAS SOUPS 26423 WITH SCORE 26546.424
AT ITER 7040 NEW BEST:: SOT 187057 SOS 123990 HAS SOPS 108476 HAS SOUS 30340 HAS SOUPS 26400 WITH SCORE 26523.99
AT ITER 7061 NEW BEST:: SOT 187023 SOS 123922 HAS SOPS 108408 HAS SOUS 30323 HAS SOUPS 26383 WITH SCORE 26506.922
AT ITER 7082 NEW BEST:: SOT 187012 SOS 124291 HAS SOPS 108713 HAS SOUS 30320 HAS SOUPS 26376 WITH SCORE 26500.291
AT ITER 7087 NEW BEST:: SOT 186976 SOS 124255 HAS SOPS 108677 HAS SOUS 30284 HAS SOUPS 26340 WITH SCORE 26464.255
AT ITER 7135 NEW BEST:: SOT 186974 SOS 124253 HAS SOPS 108675 HAS SOUS 30280 HAS SOUPS 26336 WITH SCORE 26460.253
AT ITER 7153 NEW BEST:: SOT 186969 SOS 124248 HAS SOPS 108670 HAS SOUS 30253 HAS SOUPS 26309 WITH SCORE 26433.248
AT ITER 7166 NEW BEST:: SOT 187008 SOS 124287 HAS SOPS 108709 HAS SOUS 30243 HAS SOUPS 26299 WITH SCORE 26423.287
AT ITER 7178 NEW BEST:: SOT 187008 SOS 124262 HAS SOPS 108684 HAS SOUS 30243 HAS SOUPS 26299 WITH SCORE 26423.262
AT ITER 7193 NEW BEST:: SOT 187008 SOS 124949 HAS SOPS 109371 HAS SOUS 30240 HAS SOUPS 26296 WITH SCORE 26420.949
AT ITER 7195 NEW BEST:: SOT 186997 SOS 124927 HAS SOPS 109349 HAS SOUS 30218 HAS SOUPS 26274 WITH SCORE 26398.927
AT ITER 7218 NEW BEST:: SOT 186965 SOS 124894 HAS SOPS 109316 HAS SOUS 30186 HAS SOUPS 26242 WITH SCORE 26366.894
AT ITER 7226 NEW BEST:: SOT 186959 SOS 124888 HAS SOPS 109310 HAS SOUS 30174 HAS SOUPS 26230 WITH SCORE 26354.888
AT ITER 7231 NEW BEST:: SOT 186986 SOS 124915 HAS SOPS 109337 HAS SOUS 30167 HAS SOUPS 26223 WITH SCORE 26347.915
AT ITER 7255 NEW BEST:: SOT 186986 SOS 124915 HAS SOPS 109337 HAS SOUS 30152 HAS SOUPS 26208 WITH SCORE 26332.915
AT ITER 7288 NEW BEST:: SOT 186957 SOS 124886 HAS SOPS 109308 HAS SOUS 30152 HAS SOUPS 26208 WITH SCORE 26332.886
AT ITER 7297 NEW BEST:: SOT 186906 SOS 124784 HAS SOPS 109257 HAS SOUS 30101 HAS SOUPS 26208 WITH SCORE 26332.784
AT ITER 7307 NEW BEST:: SOT 186892 SOS 124764 HAS SOPS 109237 HAS SOUS 30066 HAS SOUPS 26173 WITH SCORE 26297.764
AT ITER 7315 NEW BEST:: SOT 186885 SOS 124750 HAS SOPS 109216 HAS SOUS 30045 HAS SOUPS 26152 WITH SCORE 26276.75
AT ITER 7338 NEW BEST:: SOT 186879 SOS 124744 HAS SOPS 109210 HAS SOUS 30045 HAS SOUPS 26152 WITH SCORE 26276.744
AT ITER 7362 NEW BEST:: SOT 186933 SOS 124798 HAS SOPS 109264 HAS SOUS 30018 HAS SOUPS 26125 WITH SCORE 26249.798
AT ITER 7379 NEW BEST:: SOT 186967 SOS 124817 HAS SOPS 109283 HAS SOUS 30007 HAS SOUPS 26114 WITH SCORE 26238.817
AT ITER 7438 NEW BEST:: SOT 186943 SOS 124793 HAS SOPS 109259 HAS SOUS 29995 HAS SOUPS 26102 WITH SCORE 26226.793
AT ITER 7439 NEW BEST:: SOT 186939 SOS 124785 HAS SOPS 109251 HAS SOUS 29995 HAS SOUPS 26102 WITH SCORE 26226.785
AT ITER 7528 NEW BEST:: SOT 186976 SOS 124822 HAS SOPS 109288 HAS SOUS 29993 HAS SOUPS 26100 WITH SCORE 26224.822
AT ITER 7543 NEW BEST:: SOT 187086 SOS 125022 HAS SOPS 109398 HAS SOUS 30076 HAS SOUPS 26093 WITH SCORE 26218.022
AT ITER 7550 NEW BEST:: SOT 187080 SOS 125016 HAS SOPS 109389 HAS SOUS 30070 HAS SOUPS 26084 WITH SCORE 26209.016
AT ITER 7558 NEW BEST:: SOT 187063 SOS 124999 HAS SOPS 109372 HAS SOUS 30036 HAS SOUPS 26050 WITH SCORE 26174.999
AT ITER 7565 NEW BEST:: SOT 187063 SOS 124900 HAS SOPS 109174 HAS SOUS 30036 HAS SOUPS 26050 WITH SCORE 26174.9
AT ITER 7576 NEW BEST:: SOT 187058 SOS 124895 HAS SOPS 109169 HAS SOUS 30026 HAS SOUPS 26040 WITH SCORE 26164.895
AT ITER 7583 NEW BEST:: SOT 187057 SOS 124893 HAS SOPS 109167 HAS SOUS 30025 HAS SOUPS 26039 WITH SCORE 26163.893
AT ITER 7588 NEW BEST:: SOT 187072 SOS 124908 HAS SOPS 109182 HAS SOUS 30019 HAS SOUPS 26033 WITH SCORE 26157.908
AT ITER 7589 NEW BEST:: SOT 187070 SOS 124906 HAS SOPS 109180 HAS SOUS 30015 HAS SOUPS 26029 WITH SCORE 26153.906
AT ITER 7639 NEW BEST:: SOT 187075 SOS 124911 HAS SOPS 109185 HAS SOUS 30010 HAS SOUPS 26024 WITH SCORE 26148.911
AT ITER 7668 NEW BEST:: SOT 187061 SOS 124897 HAS SOPS 109171 HAS SOUS 29989 HAS SOUPS 26003 WITH SCORE 26127.897
AT ITER 7701 NEW BEST:: SOT 187082 SOS 124727 HAS SOPS 109157 HAS SOUS 29938 HAS SOUPS 25978 WITH SCORE 26102.727
AT ITER 7788 NEW BEST:: SOT 187066 SOS 124711 HAS SOPS 109141 HAS SOUS 29914 HAS SOUPS 25954 WITH SCORE 26078.711
AT ITER 7792 NEW BEST:: SOT 187066 SOS 124703 HAS SOPS 109133 HAS SOUS 29914 HAS SOUPS 25954 WITH SCORE 26078.703
AT ITER 7793 NEW BEST:: SOT 187098 SOS 124736 HAS SOPS 109172 HAS SOUS 29900 HAS SOUPS 25946 WITH SCORE 26070.736
AT ITER 7807 NEW BEST:: SOT 187080 SOS 124718 HAS SOPS 109154 HAS SOUS 29882 HAS SOUPS 25928 WITH SCORE 26052.718
AT ITER 7829 NEW BEST:: SOT 187068 SOS 124997 HAS SOPS 109385 HAS SOUS 29876 HAS SOUPS 25919 WITH SCORE 26043.997
AT ITER 7865 NEW BEST:: SOT 187068 SOS 124997 HAS SOPS 109385 HAS SOUS 29854 HAS SOUPS 25897 WITH SCORE 26021.997
AT ITER 7866 NEW BEST:: SOT 186957 SOS 124850 HAS SOPS 109202 HAS SOUS 29772 HAS SOUPS 25815 WITH SCORE 25939.85
AT ITER 7967 NEW BEST:: SOT 186951 SOS 124844 HAS SOPS 109196 HAS SOUS 29770 HAS SOUPS 25813 WITH SCORE 25937.844
AT ITER 8008 NEW BEST:: SOT 186913 SOS 124796 HAS SOPS 109180 HAS SOUS 29712 HAS SOUPS 25797 WITH SCORE 25921.796
AT ITER 8052 NEW BEST:: SOT 186909 SOS 124792 HAS SOPS 109176 HAS SOUS 29704 HAS SOUPS 25789 WITH SCORE 25913.792
AT ITER 8066 NEW BEST:: SOT 186712 SOS 124595 HAS SOPS 108979 HAS SOUS 29636 HAS SOUPS 25721 WITH SCORE 25845.595
AT ITER 8079 NEW BEST:: SOT 186708 SOS 124617 HAS SOPS 108977 HAS SOUS 29628 HAS SOUPS 25713 WITH SCORE 25837.617
AT ITER 8102 NEW BEST:: SOT 186757 SOS 124666 HAS SOPS 109026 HAS SOUS 29575 HAS SOUPS 25660 WITH SCORE 25784.666
AT ITER 8123 NEW BEST:: SOT 186763 SOS 124672 HAS SOPS 109014 HAS SOUS 29575 HAS SOUPS 25654 WITH SCORE 25778.672
AT ITER 8137 NEW BEST:: SOT 186763 SOS 124672 HAS SOPS 109014 HAS SOUS 29571 HAS SOUPS 25650 WITH SCORE 25774.672
AT ITER 8138 NEW BEST:: SOT 186639 SOS 124524 HAS SOPS 108842 HAS SOUS 29519 HAS SOUPS 25598 WITH SCORE 25722.524
AT ITER 8142 NEW BEST:: SOT 186629 SOS 124514 HAS SOPS 108810 HAS SOUS 29499 HAS SOUPS 25578 WITH SCORE 25702.514
AT ITER 8144 NEW BEST:: SOT 186633 SOS 124540 HAS SOPS 108803 HAS SOUS 29506 HAS SOUPS 25574 WITH SCORE 25698.54
AT ITER 8246 NEW BEST:: SOT 186601 SOS 124495 HAS SOPS 108758 HAS SOUS 29479 HAS SOUPS 25547 WITH SCORE 25671.495
AT ITER 8287 NEW BEST:: SOT 186660 SOS 124605 HAS SOPS 108817 HAS SOUS 29525 HAS SOUPS 25542 WITH SCORE 25666.605
AT ITER 8328 NEW BEST:: SOT 186654 SOS 124599 HAS SOPS 108811 HAS SOUS 29513 HAS SOUPS 25530 WITH SCORE 25654.599
AT ITER 8350 NEW BEST:: SOT 186639 SOS 124584 HAS SOPS 108796 HAS SOUS 29511 HAS SOUPS 25528 WITH SCORE 25652.584
AT ITER 8385 NEW BEST:: SOT 186607 SOS 124483 HAS SOPS 108695 HAS SOUS 29484 HAS SOUPS 25501 WITH SCORE 25625.483
AT ITER 8408 NEW BEST:: SOT 186605 SOS 124481 HAS SOPS 108691 HAS SOUS 29480 HAS SOUPS 25497 WITH SCORE 25621.481
AT ITER 8464 NEW BEST:: SOT 186548 SOS 124395 HAS SOPS 108605 HAS SOUS 29424 HAS SOUPS 25441 WITH SCORE 25565.395
AT ITER 8483 NEW BEST:: SOT 186531 SOS 124378 HAS SOPS 108588 HAS SOUS 29424 HAS SOUPS 25441 WITH SCORE 25565.378
AT ITER 8486 NEW BEST:: SOT 186531 SOS 124378 HAS SOPS 108588 HAS SOUS 29411 HAS SOUPS 25428 WITH SCORE 25552.378
AT ITER 8492 NEW BEST:: SOT 186510 SOS 124350 HAS SOPS 108553 HAS SOUS 29390 HAS SOUPS 25407 WITH SCORE 25531.35
AT ITER 8528 NEW BEST:: SOT 186480 SOS 124320 HAS SOPS 108523 HAS SOUS 29378 HAS SOUPS 25395 WITH SCORE 25519.32
AT ITER 8552 NEW BEST:: SOT 186477 SOS 124317 HAS SOPS 108520 HAS SOUS 29378 HAS SOUPS 25395 WITH SCORE 25519.317
AT ITER 8554 NEW BEST:: SOT 186467 SOS 124297 HAS SOPS 108500 HAS SOUS 29345 HAS SOUPS 25362 WITH SCORE 25486.297
AT ITER 8555 NEW BEST:: SOT 186473 SOS 124303 HAS SOPS 108476 HAS SOUS 29355 HAS SOUPS 25342 WITH SCORE 25466.303
AT ITER 8571 NEW BEST:: SOT 186473 SOS 124268 HAS SOPS 108441 HAS SOUS 29320 HAS SOUPS 25307 WITH SCORE 25431.268
AT ITER 8582 NEW BEST:: SOT 186473 SOS 124256 HAS SOPS 108429 HAS SOUS 29320 HAS SOUPS 25307 WITH SCORE 25431.256
AT ITER 8617 NEW BEST:: SOT 186473 SOS 124249 HAS SOPS 108422 HAS SOUS 29320 HAS SOUPS 25307 WITH SCORE 25431.249
AT ITER 8649 NEW BEST:: SOT 186425 SOS 124177 HAS SOPS 108350 HAS SOUS 29248 HAS SOUPS 25235 WITH SCORE 25359.177
AT ITER 8650 NEW BEST:: SOT 186440 SOS 124192 HAS SOPS 108365 HAS SOUS 29242 HAS SOUPS 25229 WITH SCORE 25353.192
AT ITER 8722 NEW BEST:: SOT 186431 SOS 124181 HAS SOPS 108354 HAS SOUS 29239 HAS SOUPS 25226 WITH SCORE 25350.181
AT ITER 8729 NEW BEST:: SOT 186431 SOS 124181 HAS SOPS 108354 HAS SOUS 29212 HAS SOUPS 25199 WITH SCORE 25323.181
AT ITER 8757 NEW BEST:: SOT 186417 SOS 124167 HAS SOPS 108340 HAS SOUS 29180 HAS SOUPS 25167 WITH SCORE 25291.167
AT ITER 8788 NEW BEST:: SOT 186424 SOS 123810 HAS SOPS 107983 HAS SOUS 29179 HAS SOUPS 25166 WITH SCORE 25289.81
AT ITER 8833 NEW BEST:: SOT 186423 SOS 123793 HAS SOPS 108032 HAS SOUS 29172 HAS SOUPS 25159 WITH SCORE 25282.793
AT ITER 8844 NEW BEST:: SOT 186476 SOS 123850 HAS SOPS 108089 HAS SOUS 29171 HAS SOUPS 25158 WITH SCORE 25281.85
AT ITER 8969 NEW BEST:: SOT 186468 SOS 123842 HAS SOPS 108081 HAS SOUS 29163 HAS SOUPS 25150 WITH SCORE 25273.842
AT ITER 9021 NEW BEST:: SOT 186468 SOS 123842 HAS SOPS 108081 HAS SOUS 29160 HAS SOUPS 25147 WITH SCORE 25270.842
AT ITER 9025 NEW BEST:: SOT 186435 SOS 123809 HAS SOPS 108048 HAS SOUS 29127 HAS SOUPS 25114 WITH SCORE 25237.809
AT ITER 9037 NEW BEST:: SOT 186397 SOS 123771 HAS SOPS 108010 HAS SOUS 29093 HAS SOUPS 25080 WITH SCORE 25203.771
AT ITER 9038 NEW BEST:: SOT 186387 SOS 123751 HAS SOPS 108000 HAS SOUS 29063 HAS SOUPS 25060 WITH SCORE 25183.751
AT ITER 9055 NEW BEST:: SOT 186388 SOS 123752 HAS SOPS 108001 HAS SOUS 29049 HAS SOUPS 25046 WITH SCORE 25169.752
AT ITER 9072 NEW BEST:: SOT 186293 SOS 123657 HAS SOPS 107906 HAS SOUS 28936 HAS SOUPS 24933 WITH SCORE 25056.657
AT ITER 9080 NEW BEST:: SOT 186261 SOS 123625 HAS SOPS 107874 HAS SOUS 28893 HAS SOUPS 24890 WITH SCORE 25013.625
AT ITER 9166 NEW BEST:: SOT 186251 SOS 123605 HAS SOPS 107864 HAS SOUS 28883 HAS SOUPS 24890 WITH SCORE 25013.605
AT ITER 9170 NEW BEST:: SOT 186250 SOS 123604 HAS SOPS 107863 HAS SOUS 28881 HAS SOUPS 24888 WITH SCORE 25011.604
AT ITER 9175 NEW BEST:: SOT 186232 SOS 123577 HAS SOPS 107836 HAS SOUS 28874 HAS SOUPS 24881 WITH SCORE 25004.577
AT ITER 9203 NEW BEST:: SOT 186232 SOS 123577 HAS SOPS 107836 HAS SOUS 28872 HAS SOUPS 24879 WITH SCORE 25002.577
AT ITER 9210 NEW BEST:: SOT 186215 SOS 123559 HAS SOPS 107818 HAS SOUS 28872 HAS SOUPS 24879 WITH SCORE 25002.559
AT ITER 9231 NEW BEST:: SOT 186183 SOS 123527 HAS SOPS 107786 HAS SOUS 28855 HAS SOUPS 24862 WITH SCORE 24985.527
AT ITER 9239 NEW BEST:: SOT 186175 SOS 123519 HAS SOPS 107778 HAS SOUS 28835 HAS SOUPS 24842 WITH SCORE 24965.519
AT ITER 9317 NEW BEST:: SOT 186171 SOS 123515 HAS SOPS 107780 HAS SOUS 28820 HAS SOUPS 24827 WITH SCORE 24950.515
AT ITER 9342 NEW BEST:: SOT 186171 SOS 123515 HAS SOPS 107780 HAS SOUS 28817 HAS SOUPS 24824 WITH SCORE 24947.515
AT ITER 9355 NEW BEST:: SOT 186151 SOS 123495 HAS SOPS 107760 HAS SOUS 28796 HAS SOUPS 24803 WITH SCORE 24926.495
AT ITER 9433 NEW BEST:: SOT 185879 SOS 122930 HAS SOPS 107593 HAS SOUS 28483 HAS SOUPS 24762 WITH SCORE 24884.93
AT ITER 9447 NEW BEST:: SOT 185797 SOS 122848 HAS SOPS 107511 HAS SOUS 28403 HAS SOUPS 24682 WITH SCORE 24804.848
AT ITER 9451 NEW BEST:: SOT 185783 SOS 122839 HAS SOPS 107476 HAS SOUS 28388 HAS SOUPS 24667 WITH SCORE 24789.839
AT ITER 9453 NEW BEST:: SOT 185694 SOS 122732 HAS SOPS 107369 HAS SOUS 28379 HAS SOUPS 24658 WITH SCORE 24780.732
AT ITER 9462 NEW BEST:: SOT 185691 SOS 122726 HAS SOPS 107363 HAS SOUS 28376 HAS SOUPS 24655 WITH SCORE 24777.726
AT ITER 9505 NEW BEST:: SOT 185666 SOS 122701 HAS SOPS 107338 HAS SOUS 28351 HAS SOUPS 24630 WITH SCORE 24752.701
AT ITER 9536 NEW BEST:: SOT 185634 SOS 122637 HAS SOPS 107274 HAS SOUS 28335 HAS SOUPS 24614 WITH SCORE 24736.637
AT ITER 9537 NEW BEST:: SOT 185634 SOS 122593 HAS SOPS 107238 HAS SOUS 28335 HAS SOUPS 24614 WITH SCORE 24736.593
AT ITER 9538 NEW BEST:: SOT 185630 SOS 122589 HAS SOPS 107234 HAS SOUS 28319 HAS SOUPS 24598 WITH SCORE 24720.589
AT ITER 9634 NEW BEST:: SOT 185629 SOS 122588 HAS SOPS 107233 HAS SOUS 28318 HAS SOUPS 24597 WITH SCORE 24719.588
AT ITER 9679 NEW BEST:: SOT 185627 SOS 122595 HAS SOPS 107234 HAS SOUS 28318 HAS SOUPS 24596 WITH SCORE 24718.595
AT ITER 9703 NEW BEST:: SOT 185610 SOS 122552 HAS SOPS 107217 HAS SOUS 28301 HAS SOUPS 24579 WITH SCORE 24701.552
AT ITER 9808 NEW BEST:: SOT 185608 SOS 122550 HAS SOPS 107215 HAS SOUS 28295 HAS SOUPS 24573 WITH SCORE 24695.55
AT ITER 9879 NEW BEST:: SOT 185611 SOS 122388 HAS SOPS 107053 HAS SOUS 28295 HAS SOUPS 24573 WITH SCORE 24695.388
AT ITER 9949 NEW BEST:: SOT 185613 SOS 122390 HAS SOPS 107055 HAS SOUS 28291 HAS SOUPS 24569 WITH SCORE 24691.39
AT ITER 9964 NEW BEST:: SOT 185649 SOS 122426 HAS SOPS 107091 HAS SOUS 28267 HAS SOUPS 24545 WITH SCORE 24667.426
AT ITER 9965 NEW BEST:: SOT 185613 SOS 122390 HAS SOPS 107055 HAS SOUS 28267 HAS SOUPS 24545 WITH SCORE 24667.39

BK_STOP 1590412706178

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 471 Aborted ${SMART} ${INPUT_SM}

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="Vasy2003-PT-none"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is Vasy2003-PT-none, 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 r190-csrt-159033383000608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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