Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r018-oct2-158897680200608.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 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 BusinessProcesses-PT-20, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r018-oct2-158897680200608
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 352K
-rw-r--r-- 1 mcc users 3.2K Mar 26 02:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 26 02:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 25 22:46 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 22:46 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.0K Mar 25 17:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 13K Mar 25 17:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 14:38 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 14:38 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Mar 25 17:55 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:55 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 192K Mar 24 05:37 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 1590869259032

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

Filename model.pnml
Petri model created: 782 places, 697 transitions, 2011 arcs.
AT ITER 0 NEW BEST:: SOT 346049 SOS 133379 HAS SOPS 133379 HAS SOUS 130584 HAS SOUPS 130584 WITH SCORE 130717.379
AT ITER 4 NEW BEST:: SOT 345796 SOS 133126 HAS SOPS 133126 HAS SOUS 130331 HAS SOUPS 130331 WITH SCORE 130464.126
AT ITER 10 NEW BEST:: SOT 345796 SOS 133034 HAS SOPS 133034 HAS SOUS 130239 HAS SOUPS 130239 WITH SCORE 130372.034
AT ITER 11 NEW BEST:: SOT 345630 SOS 132783 HAS SOPS 132783 HAS SOUS 130051 HAS SOUPS 130051 WITH SCORE 130183.783
AT ITER 20 NEW BEST:: SOT 345490 SOS 132682 HAS SOPS 132682 HAS SOUS 129947 HAS SOUPS 129947 WITH SCORE 130079.682
AT ITER 24 NEW BEST:: SOT 345490 SOS 132473 HAS SOPS 132473 HAS SOUS 129738 HAS SOUPS 129738 WITH SCORE 129870.473
AT ITER 27 NEW BEST:: SOT 345489 SOS 132471 HAS SOPS 132471 HAS SOUS 129736 HAS SOUPS 129736 WITH SCORE 129868.471
AT ITER 34 NEW BEST:: SOT 345488 SOS 132469 HAS SOPS 132469 HAS SOUS 129734 HAS SOUPS 129734 WITH SCORE 129866.469
AT ITER 46 NEW BEST:: SOT 345485 SOS 132465 HAS SOPS 132465 HAS SOUS 129730 HAS SOUPS 129730 WITH SCORE 129862.465
AT ITER 47 NEW BEST:: SOT 345485 SOS 132459 HAS SOPS 132459 HAS SOUS 129724 HAS SOUPS 129724 WITH SCORE 129856.459
AT ITER 49 NEW BEST:: SOT 345479 SOS 132453 HAS SOPS 132453 HAS SOUS 129718 HAS SOUPS 129718 WITH SCORE 129850.453
AT ITER 52 NEW BEST:: SOT 345321 SOS 132516 HAS SOPS 132516 HAS SOUS 129697 HAS SOUPS 129697 WITH SCORE 129829.516
AT ITER 54 NEW BEST:: SOT 345320 SOS 132364 HAS SOPS 132364 HAS SOUS 129545 HAS SOUPS 129545 WITH SCORE 129677.364
AT ITER 55 NEW BEST:: SOT 341450 SOS 128494 HAS SOPS 128494 HAS SOUS 125675 HAS SOUPS 125675 WITH SCORE 125803.494
AT ITER 59 NEW BEST:: SOT 341507 SOS 128405 HAS SOPS 128405 HAS SOUS 125586 HAS SOUPS 125586 WITH SCORE 125714.405
AT ITER 60 NEW BEST:: SOT 341506 SOS 128403 HAS SOPS 128403 HAS SOUS 125584 HAS SOUPS 125584 WITH SCORE 125712.403
AT ITER 65 NEW BEST:: SOT 341506 SOS 128361 HAS SOPS 128361 HAS SOUS 125542 HAS SOUPS 125542 WITH SCORE 125670.361
AT ITER 68 NEW BEST:: SOT 341506 SOS 128116 HAS SOPS 128116 HAS SOUS 125393 HAS SOUPS 125393 WITH SCORE 125521.116
AT ITER 71 NEW BEST:: SOT 341370 SOS 127980 HAS SOPS 127980 HAS SOUS 125257 HAS SOUPS 125257 WITH SCORE 125384.98
AT ITER 76 NEW BEST:: SOT 337852 SOS 124509 HAS SOPS 124509 HAS SOUS 121786 HAS SOUPS 121786 WITH SCORE 121910.509
AT ITER 77 NEW BEST:: SOT 337875 SOS 124466 HAS SOPS 124466 HAS SOUS 121743 HAS SOUPS 121743 WITH SCORE 121867.466
AT ITER 83 NEW BEST:: SOT 337957 SOS 124425 HAS SOPS 124425 HAS SOUS 121702 HAS SOUPS 121702 WITH SCORE 121826.425
AT ITER 86 NEW BEST:: SOT 337904 SOS 124385 HAS SOPS 124385 HAS SOUS 121662 HAS SOUPS 121662 WITH SCORE 121786.385
AT ITER 95 NEW BEST:: SOT 337904 SOS 124350 HAS SOPS 124350 HAS SOUS 121627 HAS SOUPS 121627 WITH SCORE 121751.35
AT ITER 96 NEW BEST:: SOT 337732 SOS 124220 HAS SOPS 124220 HAS SOUS 121497 HAS SOUPS 121497 WITH SCORE 121621.22
AT ITER 99 NEW BEST:: SOT 337732 SOS 124015 HAS SOPS 124015 HAS SOUS 121292 HAS SOUPS 121292 WITH SCORE 121416.015
AT ITER 102 NEW BEST:: SOT 337590 SOS 123845 HAS SOPS 123845 HAS SOUS 121122 HAS SOUPS 121122 WITH SCORE 121245.845
AT ITER 103 NEW BEST:: SOT 337570 SOS 123805 HAS SOPS 123805 HAS SOUS 121102 HAS SOUPS 121102 WITH SCORE 121225.805
AT ITER 104 NEW BEST:: SOT 337427 SOS 123576 HAS SOPS 123576 HAS SOUS 121043 HAS SOUPS 121043 WITH SCORE 121166.576
AT ITER 105 NEW BEST:: SOT 337427 SOS 123508 HAS SOPS 123508 HAS SOUS 120975 HAS SOUPS 120975 WITH SCORE 121098.508
AT ITER 119 NEW BEST:: SOT 337142 SOS 123106 HAS SOPS 123106 HAS SOUS 120573 HAS SOUPS 120573 WITH SCORE 120696.106
AT ITER 124 NEW BEST:: SOT 337156 SOS 122798 HAS SOPS 122798 HAS SOUS 120562 HAS SOUPS 120562 WITH SCORE 120684.798
AT ITER 125 NEW BEST:: SOT 337156 SOS 122774 HAS SOPS 122774 HAS SOUS 120538 HAS SOUPS 120538 WITH SCORE 120660.774
AT ITER 126 NEW BEST:: SOT 337127 SOS 122767 HAS SOPS 122767 HAS SOUS 120531 HAS SOUPS 120531 WITH SCORE 120653.767
AT ITER 127 NEW BEST:: SOT 337079 SOS 122604 HAS SOPS 122604 HAS SOUS 120497 HAS SOUPS 120497 WITH SCORE 120619.604
AT ITER 129 NEW BEST:: SOT 337142 SOS 122646 HAS SOPS 122646 HAS SOUS 120476 HAS SOUPS 120476 WITH SCORE 120598.646
AT ITER 130 NEW BEST:: SOT 336915 SOS 122485 HAS SOPS 122485 HAS SOUS 120315 HAS SOUPS 120315 WITH SCORE 120437.485
AT ITER 148 NEW BEST:: SOT 336892 SOS 122439 HAS SOPS 122439 HAS SOUS 120269 HAS SOUPS 120269 WITH SCORE 120391.439
AT ITER 151 NEW BEST:: SOT 336876 SOS 122439 HAS SOPS 122439 HAS SOUS 120253 HAS SOUPS 120253 WITH SCORE 120375.439
AT ITER 159 NEW BEST:: SOT 336854 SOS 122417 HAS SOPS 122417 HAS SOUS 120231 HAS SOUPS 120231 WITH SCORE 120353.417
AT ITER 161 NEW BEST:: SOT 336834 SOS 122389 HAS SOPS 122389 HAS SOUS 120194 HAS SOUPS 120194 WITH SCORE 120316.389
AT ITER 170 NEW BEST:: SOT 336830 SOS 122383 HAS SOPS 122383 HAS SOUS 120188 HAS SOUPS 120188 WITH SCORE 120310.383
AT ITER 185 NEW BEST:: SOT 336729 SOS 122190 HAS SOPS 122190 HAS SOUS 120095 HAS SOUPS 120095 WITH SCORE 120217.19
AT ITER 202 NEW BEST:: SOT 336603 SOS 122036 HAS SOPS 122036 HAS SOUS 119941 HAS SOUPS 119941 WITH SCORE 120063.036
AT ITER 204 NEW BEST:: SOT 336586 SOS 122019 HAS SOPS 122019 HAS SOUS 119924 HAS SOUPS 119924 WITH SCORE 120046.019
AT ITER 206 NEW BEST:: SOT 336586 SOS 122018 HAS SOPS 122018 HAS SOUS 119923 HAS SOUPS 119923 WITH SCORE 120045.018
AT ITER 220 NEW BEST:: SOT 336550 SOS 121924 HAS SOPS 121924 HAS SOUS 119822 HAS SOUPS 119822 WITH SCORE 119943.924
AT ITER 239 NEW BEST:: SOT 336550 SOS 121869 HAS SOPS 121869 HAS SOUS 119767 HAS SOUPS 119767 WITH SCORE 119888.869
AT ITER 243 NEW BEST:: SOT 336550 SOS 121855 HAS SOPS 121855 HAS SOUS 119753 HAS SOUPS 119753 WITH SCORE 119874.855
AT ITER 252 NEW BEST:: SOT 336556 SOS 121453 HAS SOPS 121453 HAS SOUS 119352 HAS SOUPS 119352 WITH SCORE 119473.453
AT ITER 255 NEW BEST:: SOT 336467 SOS 121437 HAS SOPS 121437 HAS SOUS 119350 HAS SOUPS 119350 WITH SCORE 119471.437
AT ITER 257 NEW BEST:: SOT 336466 SOS 121380 HAS SOPS 121380 HAS SOUS 119293 HAS SOUPS 119293 WITH SCORE 119414.38
AT ITER 266 NEW BEST:: SOT 336456 SOS 121282 HAS SOPS 121282 HAS SOUS 119195 HAS SOUPS 119195 WITH SCORE 119316.282
AT ITER 270 NEW BEST:: SOT 336455 SOS 120975 HAS SOPS 120975 HAS SOUS 118888 HAS SOUPS 118888 WITH SCORE 119008.975
AT ITER 273 NEW BEST:: SOT 336424 SOS 120851 HAS SOPS 120851 HAS SOUS 118764 HAS SOUPS 118764 WITH SCORE 118884.851
AT ITER 276 NEW BEST:: SOT 336464 SOS 120780 HAS SOPS 120780 HAS SOUS 118734 HAS SOUPS 118734 WITH SCORE 118854.78
AT ITER 277 NEW BEST:: SOT 336482 SOS 120646 HAS SOPS 120646 HAS SOUS 118600 HAS SOUPS 118600 WITH SCORE 118720.646
AT ITER 280 NEW BEST:: SOT 336396 SOS 120744 HAS SOPS 120744 HAS SOUS 118535 HAS SOUPS 118535 WITH SCORE 118655.744
AT ITER 281 NEW BEST:: SOT 336342 SOS 120726 HAS SOPS 120726 HAS SOUS 118499 HAS SOUPS 118499 WITH SCORE 118619.726
AT ITER 293 NEW BEST:: SOT 336301 SOS 120722 HAS SOPS 120722 HAS SOUS 118478 HAS SOUPS 118478 WITH SCORE 118598.722
AT ITER 294 NEW BEST:: SOT 336232 SOS 120653 HAS SOPS 120653 HAS SOUS 118409 HAS SOUPS 118409 WITH SCORE 118529.653
AT ITER 304 NEW BEST:: SOT 336232 SOS 120552 HAS SOPS 120552 HAS SOUS 118308 HAS SOUPS 118308 WITH SCORE 118428.552
AT ITER 305 NEW BEST:: SOT 336152 SOS 120392 HAS SOPS 120392 HAS SOUS 118253 HAS SOUPS 118253 WITH SCORE 118373.392
AT ITER 306 NEW BEST:: SOT 336137 SOS 120377 HAS SOPS 120377 HAS SOUS 118238 HAS SOUPS 118238 WITH SCORE 118358.377
AT ITER 321 NEW BEST:: SOT 336123 SOS 120363 HAS SOPS 120363 HAS SOUS 118238 HAS SOUPS 118238 WITH SCORE 118358.363
AT ITER 329 NEW BEST:: SOT 336123 SOS 120306 HAS SOPS 120306 HAS SOUS 118181 HAS SOUPS 118181 WITH SCORE 118301.306
AT ITER 347 NEW BEST:: SOT 335968 SOS 120313 HAS SOPS 120313 HAS SOUS 118043 HAS SOUPS 118043 WITH SCORE 118163.313
AT ITER 355 NEW BEST:: SOT 335968 SOS 120313 HAS SOPS 120313 HAS SOUS 118042 HAS SOUPS 118042 WITH SCORE 118162.313
AT ITER 373 NEW BEST:: SOT 335852 SOS 120081 HAS SOPS 120081 HAS SOUS 117810 HAS SOUPS 117810 WITH SCORE 117930.081
AT ITER 375 NEW BEST:: SOT 335734 SOS 119963 HAS SOPS 119963 HAS SOUS 117692 HAS SOUPS 117692 WITH SCORE 117811.963
AT ITER 376 NEW BEST:: SOT 335642 SOS 119749 HAS SOPS 119749 HAS SOUS 117478 HAS SOUPS 117478 WITH SCORE 117597.749
AT ITER 385 NEW BEST:: SOT 334226 SOS 119765 HAS SOPS 119765 HAS SOUS 116325 HAS SOUPS 116325 WITH SCORE 116444.765
AT ITER 386 NEW BEST:: SOT 334153 SOS 119619 HAS SOPS 119619 HAS SOUS 116255 HAS SOUPS 116255 WITH SCORE 116374.619
AT ITER 400 NEW BEST:: SOT 334188 SOS 119555 HAS SOPS 119555 HAS SOUS 116156 HAS SOUPS 116156 WITH SCORE 116275.555
AT ITER 406 NEW BEST:: SOT 334097 SOS 119464 HAS SOPS 119464 HAS SOUS 116065 HAS SOUPS 116065 WITH SCORE 116184.464
AT ITER 416 NEW BEST:: SOT 334096 SOS 119462 HAS SOPS 119462 HAS SOUS 116063 HAS SOUPS 116063 WITH SCORE 116182.462
AT ITER 443 NEW BEST:: SOT 334060 SOS 119360 HAS SOPS 119360 HAS SOUS 115961 HAS SOUPS 115961 WITH SCORE 116080.36
AT ITER 449 NEW BEST:: SOT 334060 SOS 119346 HAS SOPS 119346 HAS SOUS 115947 HAS SOUPS 115947 WITH SCORE 116066.346
AT ITER 458 NEW BEST:: SOT 334107 SOS 119329 HAS SOPS 119329 HAS SOUS 115930 HAS SOUPS 115930 WITH SCORE 116049.329
AT ITER 460 NEW BEST:: SOT 334585 SOS 119192 HAS SOPS 119192 HAS SOUS 115842 HAS SOUPS 115842 WITH SCORE 115961.192
AT ITER 463 NEW BEST:: SOT 334693 SOS 119090 HAS SOPS 119090 HAS SOUS 115698 HAS SOUPS 115698 WITH SCORE 115817.09
AT ITER 469 NEW BEST:: SOT 334942 SOS 119084 HAS SOPS 119084 HAS SOUS 115520 HAS SOUPS 115520 WITH SCORE 115639.084
AT ITER 483 NEW BEST:: SOT 334881 SOS 118962 HAS SOPS 118962 HAS SOUS 115459 HAS SOUPS 115459 WITH SCORE 115577.962
AT ITER 492 NEW BEST:: SOT 334881 SOS 118961 HAS SOPS 118961 HAS SOUS 115458 HAS SOUPS 115458 WITH SCORE 115576.961
AT ITER 501 NEW BEST:: SOT 334652 SOS 118726 HAS SOPS 118726 HAS SOUS 115219 HAS SOUPS 115219 WITH SCORE 115337.726
AT ITER 506 NEW BEST:: SOT 334413 SOS 118228 HAS SOPS 118228 HAS SOUS 114721 HAS SOUPS 114721 WITH SCORE 114839.228
AT ITER 513 NEW BEST:: SOT 334329 SOS 118144 HAS SOPS 118144 HAS SOUS 114637 HAS SOUPS 114637 WITH SCORE 114755.144
AT ITER 518 NEW BEST:: SOT 334298 SOS 117759 HAS SOPS 117759 HAS SOUS 114415 HAS SOUPS 114415 WITH SCORE 114532.759
AT ITER 547 NEW BEST:: SOT 334298 SOS 117621 HAS SOPS 117621 HAS SOUS 114277 HAS SOUPS 114277 WITH SCORE 114394.621
AT ITER 558 NEW BEST:: SOT 334396 SOS 117599 HAS SOPS 117599 HAS SOUS 114255 HAS SOUPS 114255 WITH SCORE 114372.599
AT ITER 565 NEW BEST:: SOT 334396 SOS 117393 HAS SOPS 117393 HAS SOUS 114049 HAS SOUPS 114049 WITH SCORE 114166.393
AT ITER 578 NEW BEST:: SOT 334386 SOS 117373 HAS SOPS 117373 HAS SOUS 114029 HAS SOUPS 114029 WITH SCORE 114146.373
AT ITER 585 NEW BEST:: SOT 334223 SOS 117210 HAS SOPS 117210 HAS SOUS 113866 HAS SOUPS 113866 WITH SCORE 113983.21
AT ITER 593 NEW BEST:: SOT 334223 SOS 117131 HAS SOPS 117131 HAS SOUS 113787 HAS SOUPS 113787 WITH SCORE 113904.131
AT ITER 594 NEW BEST:: SOT 334056 SOS 116580 HAS SOPS 116580 HAS SOUS 113236 HAS SOUPS 113236 WITH SCORE 113352.58
AT ITER 606 NEW BEST:: SOT 334045 SOS 116340 HAS SOPS 116340 HAS SOUS 112996 HAS SOUPS 112996 WITH SCORE 113112.34
AT ITER 617 NEW BEST:: SOT 334055 SOS 116189 HAS SOPS 116189 HAS SOUS 112547 HAS SOUPS 112547 WITH SCORE 112663.189
AT ITER 623 NEW BEST:: SOT 334084 SOS 115949 HAS SOPS 115949 HAS SOUS 112279 HAS SOUPS 112279 WITH SCORE 112394.949
AT ITER 632 NEW BEST:: SOT 334075 SOS 115931 HAS SOPS 115931 HAS SOUS 112261 HAS SOUPS 112261 WITH SCORE 112376.931
AT ITER 669 NEW BEST:: SOT 333958 SOS 115814 HAS SOPS 115814 HAS SOUS 112144 HAS SOUPS 112144 WITH SCORE 112259.814
AT ITER 672 NEW BEST:: SOT 333911 SOS 115732 HAS SOPS 115732 HAS SOUS 112062 HAS SOUPS 112062 WITH SCORE 112177.732
AT ITER 683 NEW BEST:: SOT 333911 SOS 115731 HAS SOPS 115731 HAS SOUS 112061 HAS SOUPS 112061 WITH SCORE 112176.731
AT ITER 685 NEW BEST:: SOT 333878 SOS 115665 HAS SOPS 115665 HAS SOUS 112028 HAS SOUPS 112028 WITH SCORE 112143.665
AT ITER 693 NEW BEST:: SOT 333846 SOS 115609 HAS SOPS 115609 HAS SOUS 111973 HAS SOUPS 111973 WITH SCORE 112088.609
AT ITER 698 NEW BEST:: SOT 333768 SOS 115453 HAS SOPS 115453 HAS SOUS 111817 HAS SOUPS 111817 WITH SCORE 111932.453
AT ITER 700 NEW BEST:: SOT 333704 SOS 115451 HAS SOPS 115451 HAS SOUS 111815 HAS SOUPS 111815 WITH SCORE 111930.451
AT ITER 708 NEW BEST:: SOT 333485 SOS 115232 HAS SOPS 115232 HAS SOUS 111596 HAS SOUPS 111596 WITH SCORE 111711.232
AT ITER 712 NEW BEST:: SOT 333555 SOS 115066 HAS SOPS 115066 HAS SOUS 111430 HAS SOUPS 111430 WITH SCORE 111545.066
AT ITER 713 NEW BEST:: SOT 333351 SOS 114955 HAS SOPS 114955 HAS SOUS 111319 HAS SOUPS 111319 WITH SCORE 111433.955
AT ITER 724 NEW BEST:: SOT 333350 SOS 114953 HAS SOPS 114953 HAS SOUS 111317 HAS SOUPS 111317 WITH SCORE 111431.953
AT ITER 728 NEW BEST:: SOT 333350 SOS 114769 HAS SOPS 114769 HAS SOUS 111133 HAS SOUPS 111133 WITH SCORE 111247.769
AT ITER 737 NEW BEST:: SOT 333304 SOS 114718 HAS SOPS 114718 HAS SOUS 111082 HAS SOUPS 111082 WITH SCORE 111196.718
AT ITER 744 NEW BEST:: SOT 333045 SOS 114203 HAS SOPS 114203 HAS SOUS 110567 HAS SOUPS 110567 WITH SCORE 110681.203
AT ITER 753 NEW BEST:: SOT 333045 SOS 114080 HAS SOPS 114080 HAS SOUS 110444 HAS SOUPS 110444 WITH SCORE 110558.08
AT ITER 762 NEW BEST:: SOT 333000 SOS 113990 HAS SOPS 113990 HAS SOUS 110354 HAS SOUPS 110354 WITH SCORE 110467.99
AT ITER 765 NEW BEST:: SOT 332977 SOS 114013 HAS SOPS 114013 HAS SOUS 110308 HAS SOUPS 110308 WITH SCORE 110422.013
AT ITER 772 NEW BEST:: SOT 332803 SOS 113888 HAS SOPS 113888 HAS SOUS 110051 HAS SOUPS 110051 WITH SCORE 110164.888
AT ITER 783 NEW BEST:: SOT 332760 SOS 113898 HAS SOPS 113898 HAS SOUS 110032 HAS SOUPS 110032 WITH SCORE 110145.898
AT ITER 785 NEW BEST:: SOT 332760 SOS 113888 HAS SOPS 113888 HAS SOUS 110022 HAS SOUPS 110022 WITH SCORE 110135.888
AT ITER 812 NEW BEST:: SOT 332695 SOS 113898 HAS SOPS 113898 HAS SOUS 109999 HAS SOUPS 109999 WITH SCORE 110112.898
AT ITER 818 NEW BEST:: SOT 332546 SOS 113600 HAS SOPS 113600 HAS SOUS 109701 HAS SOUPS 109701 WITH SCORE 109814.6
AT ITER 819 NEW BEST:: SOT 332346 SOS 113468 HAS SOPS 113468 HAS SOUS 109512 HAS SOUPS 109512 WITH SCORE 109625.468
AT ITER 820 NEW BEST:: SOT 332232 SOS 113354 HAS SOPS 113354 HAS SOUS 109398 HAS SOUPS 109398 WITH SCORE 109511.354
AT ITER 835 NEW BEST:: SOT 332231 SOS 113353 HAS SOPS 113353 HAS SOUS 109397 HAS SOUPS 109397 WITH SCORE 109510.353
AT ITER 838 NEW BEST:: SOT 326067 SOS 112888 HAS SOPS 112888 HAS SOUS 103483 HAS SOUPS 103483 WITH SCORE 103595.888
AT ITER 853 NEW BEST:: SOT 325957 SOS 112668 HAS SOPS 112668 HAS SOUS 103263 HAS SOUPS 103263 WITH SCORE 103375.668
AT ITER 860 NEW BEST:: SOT 325786 SOS 112439 HAS SOPS 112439 HAS SOUS 103159 HAS SOUPS 103159 WITH SCORE 103271.439
AT ITER 874 NEW BEST:: SOT 325786 SOS 112339 HAS SOPS 112339 HAS SOUS 103059 HAS SOUPS 103059 WITH SCORE 103171.339
AT ITER 876 NEW BEST:: SOT 325785 SOS 112337 HAS SOPS 112337 HAS SOUS 103057 HAS SOUPS 103057 WITH SCORE 103169.337
AT ITER 882 NEW BEST:: SOT 325709 SOS 112237 HAS SOPS 112237 HAS SOUS 102996 HAS SOUPS 102996 WITH SCORE 103108.237
AT ITER 883 NEW BEST:: SOT 325651 SOS 112121 HAS SOPS 112121 HAS SOUS 102965 HAS SOUPS 102965 WITH SCORE 103077.121
AT ITER 889 NEW BEST:: SOT 325339 SOS 111596 HAS SOPS 111596 HAS SOUS 102578 HAS SOUPS 102578 WITH SCORE 102689.596
AT ITER 896 NEW BEST:: SOT 325253 SOS 111510 HAS SOPS 111510 HAS SOUS 102492 HAS SOUPS 102492 WITH SCORE 102603.51
AT ITER 903 NEW BEST:: SOT 325199 SOS 111402 HAS SOPS 111402 HAS SOUS 102384 HAS SOUPS 102384 WITH SCORE 102495.402
AT ITER 923 NEW BEST:: SOT 324872 SOS 111315 HAS SOPS 111315 HAS SOUS 102297 HAS SOUPS 102297 WITH SCORE 102408.315
AT ITER 925 NEW BEST:: SOT 324831 SOS 111253 HAS SOPS 111253 HAS SOUS 102255 HAS SOUPS 102255 WITH SCORE 102366.253
AT ITER 932 NEW BEST:: SOT 324752 SOS 111117 HAS SOPS 111117 HAS SOUS 102176 HAS SOUPS 102176 WITH SCORE 102287.117
AT ITER 941 NEW BEST:: SOT 324724 SOS 111097 HAS SOPS 111097 HAS SOUS 102156 HAS SOUPS 102156 WITH SCORE 102267.097
AT ITER 943 NEW BEST:: SOT 324713 SOS 111018 HAS SOPS 111018 HAS SOUS 102077 HAS SOUPS 102077 WITH SCORE 102188.018
AT ITER 944 NEW BEST:: SOT 324623 SOS 110837 HAS SOPS 110837 HAS SOUS 102023 HAS SOUPS 102023 WITH SCORE 102133.837
AT ITER 949 NEW BEST:: SOT 324623 SOS 110817 HAS SOPS 110817 HAS SOUS 102003 HAS SOUPS 102003 WITH SCORE 102113.817
AT ITER 963 NEW BEST:: SOT 324545 SOS 110467 HAS SOPS 110467 HAS SOUS 101785 HAS SOUPS 101785 WITH SCORE 101895.467
AT ITER 983 NEW BEST:: SOT 324543 SOS 110464 HAS SOPS 110464 HAS SOUS 101782 HAS SOUPS 101782 WITH SCORE 101892.464
AT ITER 989 NEW BEST:: SOT 324543 SOS 110459 HAS SOPS 110459 HAS SOUS 101777 HAS SOUPS 101777 WITH SCORE 101887.459
AT ITER 995 NEW BEST:: SOT 324395 SOS 110311 HAS SOPS 110311 HAS SOUS 101629 HAS SOUPS 101629 WITH SCORE 101739.311
AT ITER 997 NEW BEST:: SOT 324394 SOS 110307 HAS SOPS 110307 HAS SOUS 101625 HAS SOUPS 101625 WITH SCORE 101735.307
AT ITER 1013 NEW BEST:: SOT 324392 SOS 110305 HAS SOPS 110305 HAS SOUS 101570 HAS SOUPS 101570 WITH SCORE 101680.305
AT ITER 1023 NEW BEST:: SOT 324391 SOS 110304 HAS SOPS 110304 HAS SOUS 101569 HAS SOUPS 101569 WITH SCORE 101679.304
AT ITER 1028 NEW BEST:: SOT 324329 SOS 110219 HAS SOPS 110219 HAS SOUS 101507 HAS SOUPS 101507 WITH SCORE 101617.219
AT ITER 1046 NEW BEST:: SOT 324328 SOS 110217 HAS SOPS 110217 HAS SOUS 101505 HAS SOUPS 101505 WITH SCORE 101615.217
AT ITER 1057 NEW BEST:: SOT 324022 SOS 109642 HAS SOPS 109642 HAS SOUS 100930 HAS SOUPS 100930 WITH SCORE 101039.642
AT ITER 1070 NEW BEST:: SOT 324174 SOS 109471 HAS SOPS 109471 HAS SOUS 100759 HAS SOUPS 100759 WITH SCORE 100868.471
AT ITER 1071 NEW BEST:: SOT 324186 SOS 109471 HAS SOPS 109471 HAS SOUS 100747 HAS SOUPS 100747 WITH SCORE 100856.471
AT ITER 1074 NEW BEST:: SOT 324167 SOS 109452 HAS SOPS 109452 HAS SOUS 100728 HAS SOUPS 100728 WITH SCORE 100837.452
AT ITER 1094 NEW BEST:: SOT 324167 SOS 109452 HAS SOPS 109452 HAS SOUS 100714 HAS SOUPS 100714 WITH SCORE 100823.452
AT ITER 1127 NEW BEST:: SOT 324184 SOS 109400 HAS SOPS 109400 HAS SOUS 100662 HAS SOUPS 100662 WITH SCORE 100771.4
AT ITER 1138 NEW BEST:: SOT 324118 SOS 109294 HAS SOPS 109294 HAS SOUS 100556 HAS SOUPS 100556 WITH SCORE 100665.294
AT ITER 1140 NEW BEST:: SOT 324073 SOS 109249 HAS SOPS 109249 HAS SOUS 100511 HAS SOUPS 100511 WITH SCORE 100620.249
AT ITER 1143 NEW BEST:: SOT 323949 SOS 109001 HAS SOPS 109001 HAS SOUS 100263 HAS SOUPS 100263 WITH SCORE 100372.001
AT ITER 1154 NEW BEST:: SOT 323949 SOS 108999 HAS SOPS 108999 HAS SOUS 100262 HAS SOUPS 100262 WITH SCORE 100370.999
AT ITER 1157 NEW BEST:: SOT 320011 SOS 105359 HAS SOPS 105359 HAS SOUS 96622 HAS SOUPS 96622 WITH SCORE 96727.359
AT ITER 1158 NEW BEST:: SOT 319971 SOS 105310 HAS SOPS 105310 HAS SOUS 96573 HAS SOUPS 96573 WITH SCORE 96678.31
AT ITER 1170 NEW BEST:: SOT 320052 SOS 105391 HAS SOPS 105391 HAS SOUS 96567 HAS SOUPS 96567 WITH SCORE 96672.391
AT ITER 1172 NEW BEST:: SOT 320030 SOS 105342 HAS SOPS 105342 HAS SOUS 96518 HAS SOUPS 96518 WITH SCORE 96623.342
AT ITER 1185 NEW BEST:: SOT 319983 SOS 105353 HAS SOPS 105353 HAS SOUS 96463 HAS SOUPS 96463 WITH SCORE 96568.353
AT ITER 1225 NEW BEST:: SOT 320046 SOS 105154 HAS SOPS 105154 HAS SOUS 96339 HAS SOUPS 96339 WITH SCORE 96444.154
AT ITER 1237 NEW BEST:: SOT 320042 SOS 105150 HAS SOPS 105150 HAS SOUS 96335 HAS SOUPS 96335 WITH SCORE 96440.15
AT ITER 1244 NEW BEST:: SOT 319993 SOS 105140 HAS SOPS 105140 HAS SOUS 96325 HAS SOUPS 96325 WITH SCORE 96430.14
AT ITER 1260 NEW BEST:: SOT 320063 SOS 105109 HAS SOPS 105109 HAS SOUS 96294 HAS SOUPS 96294 WITH SCORE 96399.109
AT ITER 1275 NEW BEST:: SOT 319917 SOS 104857 HAS SOPS 104857 HAS SOUS 96148 HAS SOUPS 96148 WITH SCORE 96252.857
AT ITER 1288 NEW BEST:: SOT 319867 SOS 104799 HAS SOPS 104799 HAS SOUS 96090 HAS SOUPS 96090 WITH SCORE 96194.799
AT ITER 1296 NEW BEST:: SOT 319866 SOS 104798 HAS SOPS 104798 HAS SOUS 96089 HAS SOUPS 96089 WITH SCORE 96193.798
AT ITER 1317 NEW BEST:: SOT 319574 SOS 104509 HAS SOPS 104509 HAS SOUS 95659 HAS SOUPS 95659 WITH SCORE 95763.509
AT ITER 1318 NEW BEST:: SOT 319506 SOS 104494 HAS SOPS 104494 HAS SOUS 95644 HAS SOUPS 95644 WITH SCORE 95748.494
AT ITER 1321 NEW BEST:: SOT 319535 SOS 104762 HAS SOPS 104762 HAS SOUS 95592 HAS SOUPS 95592 WITH SCORE 95696.762
AT ITER 1341 NEW BEST:: SOT 319630 SOS 104857 HAS SOPS 104857 HAS SOUS 95566 HAS SOUPS 95566 WITH SCORE 95670.857
AT ITER 1342 NEW BEST:: SOT 319630 SOS 104917 HAS SOPS 104917 HAS SOUS 95565 HAS SOUPS 95565 WITH SCORE 95669.917
AT ITER 1369 NEW BEST:: SOT 319577 SOS 104864 HAS SOPS 104864 HAS SOUS 95512 HAS SOUPS 95512 WITH SCORE 95616.864
AT ITER 1370 NEW BEST:: SOT 319317 SOS 104621 HAS SOPS 104621 HAS SOUS 95367 HAS SOUPS 95367 WITH SCORE 95471.621
AT ITER 1386 NEW BEST:: SOT 319298 SOS 104545 HAS SOPS 104545 HAS SOUS 95291 HAS SOUPS 95291 WITH SCORE 95395.545
AT ITER 1393 NEW BEST:: SOT 319244 SOS 104437 HAS SOPS 104437 HAS SOUS 95237 HAS SOUPS 95237 WITH SCORE 95341.437
AT ITER 1399 NEW BEST:: SOT 319244 SOS 104372 HAS SOPS 104372 HAS SOUS 95172 HAS SOUPS 95172 WITH SCORE 95276.372
AT ITER 1406 NEW BEST:: SOT 319110 SOS 104128 HAS SOPS 104128 HAS SOUS 95110 HAS SOUPS 95110 WITH SCORE 95214.128
AT ITER 1415 NEW BEST:: SOT 319110 SOS 104042 HAS SOPS 104042 HAS SOUS 95024 HAS SOUPS 95024 WITH SCORE 95128.042
AT ITER 1417 NEW BEST:: SOT 319109 SOS 104031 HAS SOPS 104031 HAS SOUS 95013 HAS SOUPS 95013 WITH SCORE 95117.031
AT ITER 1424 NEW BEST:: SOT 319058 SOS 103929 HAS SOPS 103929 HAS SOUS 94962 HAS SOUPS 94962 WITH SCORE 95065.929
AT ITER 1437 NEW BEST:: SOT 318918 SOS 104053 HAS SOPS 104053 HAS SOUS 94902 HAS SOUPS 94902 WITH SCORE 95006.053
AT ITER 1439 NEW BEST:: SOT 318918 SOS 104037 HAS SOPS 104037 HAS SOUS 94886 HAS SOUPS 94886 WITH SCORE 94990.037
AT ITER 1443 NEW BEST:: SOT 318866 SOS 103915 HAS SOPS 103915 HAS SOUS 94628 HAS SOUPS 94628 WITH SCORE 94731.915
AT ITER 1451 NEW BEST:: SOT 318759 SOS 103704 HAS SOPS 103704 HAS SOUS 94417 HAS SOUPS 94417 WITH SCORE 94520.704
AT ITER 1475 NEW BEST:: SOT 318660 SOS 103629 HAS SOPS 103629 HAS SOUS 94342 HAS SOUPS 94342 WITH SCORE 94445.629
AT ITER 1489 NEW BEST:: SOT 318692 SOS 103593 HAS SOPS 103593 HAS SOUS 94173 HAS SOUPS 94173 WITH SCORE 94276.593
AT ITER 1497 NEW BEST:: SOT 318660 SOS 103571 HAS SOPS 103571 HAS SOUS 94151 HAS SOUPS 94151 WITH SCORE 94254.571
AT ITER 1500 NEW BEST:: SOT 318880 SOS 103785 HAS SOPS 103785 HAS SOUS 94145 HAS SOUPS 94145 WITH SCORE 94248.785
AT ITER 1503 NEW BEST:: SOT 318880 SOS 103747 HAS SOPS 103747 HAS SOUS 94107 HAS SOUPS 94107 WITH SCORE 94210.747
AT ITER 1525 NEW BEST:: SOT 318758 SOS 103503 HAS SOPS 103503 HAS SOUS 93985 HAS SOUPS 93985 WITH SCORE 94088.503
AT ITER 1530 NEW BEST:: SOT 318578 SOS 103064 HAS SOPS 103064 HAS SOUS 93546 HAS SOUPS 93546 WITH SCORE 93649.064
AT ITER 1532 NEW BEST:: SOT 318302 SOS 102297 HAS SOPS 102297 HAS SOUS 93055 HAS SOUPS 93055 WITH SCORE 93157.297
AT ITER 1538 NEW BEST:: SOT 318302 SOS 102297 HAS SOPS 102297 HAS SOUS 93004 HAS SOUPS 93004 WITH SCORE 93106.297
AT ITER 1540 NEW BEST:: SOT 318344 SOS 102163 HAS SOPS 102163 HAS SOUS 92751 HAS SOUPS 92751 WITH SCORE 92853.163
AT ITER 1543 NEW BEST:: SOT 318263 SOS 102032 HAS SOPS 102032 HAS SOUS 92620 HAS SOUPS 92620 WITH SCORE 92722.032
AT ITER 1555 NEW BEST:: SOT 317333 SOS 101102 HAS SOPS 101102 HAS SOUS 91690 HAS SOUPS 91690 WITH SCORE 91791.102
AT ITER 1562 NEW BEST:: SOT 317399 SOS 101040 HAS SOPS 101040 HAS SOUS 91628 HAS SOUPS 91628 WITH SCORE 91729.04
AT ITER 1583 NEW BEST:: SOT 317378 SOS 101019 HAS SOPS 101019 HAS SOUS 91607 HAS SOUPS 91607 WITH SCORE 91708.019
AT ITER 1586 NEW BEST:: SOT 314914 SOS 98630 HAS SOPS 98630 HAS SOUS 89130 HAS SOUPS 89130 WITH SCORE 89228.63
AT ITER 1593 NEW BEST:: SOT 314914 SOS 98549 HAS SOPS 98549 HAS SOUS 89049 HAS SOUPS 89049 WITH SCORE 89147.549
AT ITER 1617 NEW BEST:: SOT 314859 SOS 98439 HAS SOPS 98439 HAS SOUS 88994 HAS SOUPS 88994 WITH SCORE 89092.439
AT ITER 1624 NEW BEST:: SOT 314837 SOS 98261 HAS SOPS 98261 HAS SOUS 88721 HAS SOUPS 88721 WITH SCORE 88819.261
AT ITER 1631 NEW BEST:: SOT 314837 SOS 98261 HAS SOPS 98261 HAS SOUS 88683 HAS SOUPS 88683 WITH SCORE 88781.261
AT ITER 1660 NEW BEST:: SOT 314837 SOS 98261 HAS SOPS 98261 HAS SOUS 88677 HAS SOUPS 88677 WITH SCORE 88775.261
AT ITER 1664 NEW BEST:: SOT 314751 SOS 98243 HAS SOPS 98243 HAS SOUS 88659 HAS SOUPS 88659 WITH SCORE 88757.243
AT ITER 1686 NEW BEST:: SOT 314693 SOS 98127 HAS SOPS 98127 HAS SOUS 88543 HAS SOUPS 88543 WITH SCORE 88641.127
AT ITER 1691 NEW BEST:: SOT 314693 SOS 98118 HAS SOPS 98118 HAS SOUS 88534 HAS SOUPS 88534 WITH SCORE 88632.118
AT ITER 1693 NEW BEST:: SOT 314693 SOS 98104 HAS SOPS 98104 HAS SOUS 88520 HAS SOUPS 88520 WITH SCORE 88618.104
AT ITER 1701 NEW BEST:: SOT 314686 SOS 98090 HAS SOPS 98090 HAS SOUS 88513 HAS SOUPS 88513 WITH SCORE 88611.09
AT ITER 1717 NEW BEST:: SOT 314591 SOS 98021 HAS SOPS 98021 HAS SOUS 88456 HAS SOUPS 88456 WITH SCORE 88554.021
AT ITER 1725 NEW BEST:: SOT 314571 SOS 97991 HAS SOPS 97991 HAS SOUS 88436 HAS SOUPS 88436 WITH SCORE 88533.991
AT ITER 1731 NEW BEST:: SOT 314576 SOS 97984 HAS SOPS 97984 HAS SOUS 88434 HAS SOUPS 88434 WITH SCORE 88531.984
AT ITER 1751 NEW BEST:: SOT 314575 SOS 97979 HAS SOPS 97979 HAS SOUS 88429 HAS SOUPS 88429 WITH SCORE 88526.979
AT ITER 1784 NEW BEST:: SOT 314452 SOS 97966 HAS SOPS 97966 HAS SOUS 88429 HAS SOUPS 88429 WITH SCORE 88526.966
AT ITER 1788 NEW BEST:: SOT 314444 SOS 97958 HAS SOPS 97958 HAS SOUS 88421 HAS SOUPS 88421 WITH SCORE 88518.958
AT ITER 1794 NEW BEST:: SOT 314414 SOS 97898 HAS SOPS 97898 HAS SOUS 88361 HAS SOUPS 88361 WITH SCORE 88458.898
AT ITER 1806 NEW BEST:: SOT 314300 SOS 97653 HAS SOPS 97653 HAS SOUS 88116 HAS SOUPS 88116 WITH SCORE 88213.653
AT ITER 1827 NEW BEST:: SOT 314286 SOS 97614 HAS SOPS 97614 HAS SOUS 88077 HAS SOUPS 88077 WITH SCORE 88174.614
AT ITER 1862 NEW BEST:: SOT 314271 SOS 97584 HAS SOPS 97584 HAS SOUS 88047 HAS SOUPS 88047 WITH SCORE 88144.584
AT ITER 1865 NEW BEST:: SOT 314254 SOS 97550 HAS SOPS 97550 HAS SOUS 88013 HAS SOUPS 88013 WITH SCORE 88110.55
AT ITER 1867 NEW BEST:: SOT 314291 SOS 97587 HAS SOPS 97587 HAS SOUS 87972 HAS SOUPS 87972 WITH SCORE 88069.587
AT ITER 1871 NEW BEST:: SOT 314275 SOS 97555 HAS SOPS 97555 HAS SOUS 87940 HAS SOUPS 87940 WITH SCORE 88037.555
AT ITER 1872 NEW BEST:: SOT 314240 SOS 97520 HAS SOPS 97520 HAS SOUS 87905 HAS SOUPS 87905 WITH SCORE 88002.52
AT ITER 1875 NEW BEST:: SOT 314093 SOS 97405 HAS SOPS 97405 HAS SOUS 87764 HAS SOUPS 87764 WITH SCORE 87861.405
AT ITER 1879 NEW BEST:: SOT 314023 SOS 97335 HAS SOPS 97335 HAS SOUS 87764 HAS SOUPS 87764 WITH SCORE 87861.335
AT ITER 1883 NEW BEST:: SOT 313966 SOS 97278 HAS SOPS 97278 HAS SOUS 87707 HAS SOUPS 87707 WITH SCORE 87804.278
AT ITER 1886 NEW BEST:: SOT 313918 SOS 97206 HAS SOPS 97206 HAS SOUS 87635 HAS SOUPS 87635 WITH SCORE 87732.206
AT ITER 1891 NEW BEST:: SOT 313928 SOS 97216 HAS SOPS 97216 HAS SOUS 87548 HAS SOUPS 87548 WITH SCORE 87645.216
AT ITER 1909 NEW BEST:: SOT 313928 SOS 97124 HAS SOPS 97124 HAS SOUS 87548 HAS SOUPS 87548 WITH SCORE 87645.124
AT ITER 1912 NEW BEST:: SOT 313836 SOS 97032 HAS SOPS 97032 HAS SOUS 87506 HAS SOUPS 87506 WITH SCORE 87603.032
AT ITER 1921 NEW BEST:: SOT 313875 SOS 97025 HAS SOPS 97025 HAS SOUS 87501 HAS SOUPS 87501 WITH SCORE 87598.025
AT ITER 1922 NEW BEST:: SOT 313869 SOS 96954 HAS SOPS 96954 HAS SOUS 87430 HAS SOUPS 87430 WITH SCORE 87526.954
AT ITER 1925 NEW BEST:: SOT 313671 SOS 96702 HAS SOPS 96702 HAS SOUS 87306 HAS SOUPS 87306 WITH SCORE 87402.702
AT ITER 1926 NEW BEST:: SOT 313614 SOS 96594 HAS SOPS 96594 HAS SOUS 87198 HAS SOUPS 87198 WITH SCORE 87294.594
AT ITER 1934 NEW BEST:: SOT 313505 SOS 96503 HAS SOPS 96503 HAS SOUS 87107 HAS SOUPS 87107 WITH SCORE 87203.503
AT ITER 1938 NEW BEST:: SOT 313428 SOS 96410 HAS SOPS 96410 HAS SOUS 87078 HAS SOUPS 87078 WITH SCORE 87174.41
AT ITER 1939 NEW BEST:: SOT 313428 SOS 96363 HAS SOPS 96363 HAS SOUS 87031 HAS SOUPS 87031 WITH SCORE 87127.363
AT ITER 1956 NEW BEST:: SOT 313425 SOS 96357 HAS SOPS 96357 HAS SOUS 87025 HAS SOUPS 87025 WITH SCORE 87121.357
AT ITER 1960 NEW BEST:: SOT 313425 SOS 96337 HAS SOPS 96337 HAS SOUS 87005 HAS SOUPS 87005 WITH SCORE 87101.337
AT ITER 1974 NEW BEST:: SOT 313422 SOS 96331 HAS SOPS 96331 HAS SOUS 86999 HAS SOUPS 86999 WITH SCORE 87095.331
AT ITER 1993 NEW BEST:: SOT 313320 SOS 96179 HAS SOPS 96179 HAS SOUS 86847 HAS SOUPS 86847 WITH SCORE 86943.179
AT ITER 1995 NEW BEST:: SOT 313344 SOS 96161 HAS SOPS 96161 HAS SOUS 86783 HAS SOUPS 86783 WITH SCORE 86879.161
AT ITER 2000 NEW BEST:: SOT 313339 SOS 96055 HAS SOPS 96055 HAS SOUS 86693 HAS SOUPS 86693 WITH SCORE 86789.055
AT ITER 2003 NEW BEST:: SOT 313324 SOS 96025 HAS SOPS 96025 HAS SOUS 86684 HAS SOUPS 86684 WITH SCORE 86780.025
AT ITER 2006 NEW BEST:: SOT 313388 SOS 96040 HAS SOPS 96040 HAS SOUS 86561 HAS SOUPS 86561 WITH SCORE 86657.04
AT ITER 2031 NEW BEST:: SOT 313387 SOS 96038 HAS SOPS 96038 HAS SOUS 86559 HAS SOUPS 86559 WITH SCORE 86655.038
AT ITER 2040 NEW BEST:: SOT 313328 SOS 95979 HAS SOPS 95979 HAS SOUS 86559 HAS SOUPS 86559 WITH SCORE 86654.979
AT ITER 2054 NEW BEST:: SOT 313327 SOS 95978 HAS SOPS 95978 HAS SOUS 86558 HAS SOUPS 86558 WITH SCORE 86653.978
AT ITER 2074 NEW BEST:: SOT 313213 SOS 95863 HAS SOPS 95863 HAS SOUS 86443 HAS SOUPS 86443 WITH SCORE 86538.863
AT ITER 2081 NEW BEST:: SOT 313195 SOS 95840 HAS SOPS 95840 HAS SOUS 86420 HAS SOUPS 86420 WITH SCORE 86515.84
AT ITER 2138 NEW BEST:: SOT 313103 SOS 95831 HAS SOPS 95831 HAS SOUS 86396 HAS SOUPS 86396 WITH SCORE 86491.831
AT ITER 2139 NEW BEST:: SOT 313094 SOS 95943 HAS SOPS 95943 HAS SOUS 86350 HAS SOUPS 86350 WITH SCORE 86445.943
AT ITER 2153 NEW BEST:: SOT 312963 SOS 95760 HAS SOPS 95760 HAS SOUS 86246 HAS SOUPS 86246 WITH SCORE 86341.76
AT ITER 2154 NEW BEST:: SOT 312939 SOS 95736 HAS SOPS 95736 HAS SOUS 86217 HAS SOUPS 86217 WITH SCORE 86312.736
AT ITER 2157 NEW BEST:: SOT 312899 SOS 95659 HAS SOPS 95659 HAS SOUS 86177 HAS SOUPS 86177 WITH SCORE 86272.659
AT ITER 2173 NEW BEST:: SOT 312895 SOS 95651 HAS SOPS 95651 HAS SOUS 86169 HAS SOUPS 86169 WITH SCORE 86264.651
AT ITER 2207 NEW BEST:: SOT 312878 SOS 95600 HAS SOPS 95600 HAS SOUS 86135 HAS SOUPS 86135 WITH SCORE 86230.6
AT ITER 2221 NEW BEST:: SOT 312873 SOS 95590 HAS SOPS 95590 HAS SOUS 86125 HAS SOUPS 86125 WITH SCORE 86220.59
AT ITER 2226 NEW BEST:: SOT 312852 SOS 95431 HAS SOPS 95431 HAS SOUS 86006 HAS SOUPS 86006 WITH SCORE 86101.431
AT ITER 2240 NEW BEST:: SOT 312848 SOS 95423 HAS SOPS 95423 HAS SOUS 85998 HAS SOUPS 85998 WITH SCORE 86093.423
AT ITER 2244 NEW BEST:: SOT 312868 SOS 95404 HAS SOPS 95404 HAS SOUS 85979 HAS SOUPS 85979 WITH SCORE 86074.404
AT ITER 2255 NEW BEST:: SOT 312881 SOS 95361 HAS SOPS 95361 HAS SOUS 85951 HAS SOUPS 85951 WITH SCORE 86046.361
AT ITER 2257 NEW BEST:: SOT 312824 SOS 95304 HAS SOPS 95304 HAS SOUS 85894 HAS SOUPS 85894 WITH SCORE 85989.304
AT ITER 2279 NEW BEST:: SOT 312775 SOS 95206 HAS SOPS 95206 HAS SOUS 85796 HAS SOUPS 85796 WITH SCORE 85891.206
AT ITER 2282 NEW BEST:: SOT 312704 SOS 95034 HAS SOPS 95034 HAS SOUS 85624 HAS SOUPS 85624 WITH SCORE 85719.034
AT ITER 2285 NEW BEST:: SOT 312704 SOS 94983 HAS SOPS 94983 HAS SOUS 85573 HAS SOUPS 85573 WITH SCORE 85667.983
AT ITER 2286 NEW BEST:: SOT 312704 SOS 94974 HAS SOPS 94974 HAS SOUS 85555 HAS SOUPS 85555 WITH SCORE 85649.974
AT ITER 2294 NEW BEST:: SOT 313069 SOS 95287 HAS SOPS 95287 HAS SOUS 85451 HAS SOUPS 85451 WITH SCORE 85546.287
AT ITER 2311 NEW BEST:: SOT 313049 SOS 95247 HAS SOPS 95247 HAS SOUS 85411 HAS SOUPS 85411 WITH SCORE 85506.247
AT ITER 2334 NEW BEST:: SOT 312959 SOS 95617 HAS SOPS 95617 HAS SOUS 85357 HAS SOUPS 85357 WITH SCORE 85452.617
AT ITER 2342 NEW BEST:: SOT 312936 SOS 95548 HAS SOPS 95548 HAS SOUS 85288 HAS SOUPS 85288 WITH SCORE 85383.548
AT ITER 2352 NEW BEST:: SOT 312929 SOS 95520 HAS SOPS 95520 HAS SOUS 85274 HAS SOUPS 85274 WITH SCORE 85369.52
AT ITER 2355 NEW BEST:: SOT 312995 SOS 95585 HAS SOPS 95585 HAS SOUS 85272 HAS SOUPS 85272 WITH SCORE 85367.585
AT ITER 2360 NEW BEST:: SOT 312995 SOS 95567 HAS SOPS 95567 HAS SOUS 85254 HAS SOUPS 85254 WITH SCORE 85349.567
AT ITER 2366 NEW BEST:: SOT 312966 SOS 95538 HAS SOPS 95538 HAS SOUS 85225 HAS SOUPS 85225 WITH SCORE 85320.538
AT ITER 2388 NEW BEST:: SOT 312840 SOS 95412 HAS SOPS 95412 HAS SOUS 85099 HAS SOUPS 85099 WITH SCORE 85194.412
AT ITER 2396 NEW BEST:: SOT 312783 SOS 95355 HAS SOPS 95355 HAS SOUS 85042 HAS SOUPS 85042 WITH SCORE 85137.355
AT ITER 2399 NEW BEST:: SOT 312720 SOS 95229 HAS SOPS 95229 HAS SOUS 84979 HAS SOUPS 84979 WITH SCORE 85074.229
AT ITER 2414 NEW BEST:: SOT 312720 SOS 95131 HAS SOPS 95131 HAS SOUS 84979 HAS SOUPS 84979 WITH SCORE 85074.131
AT ITER 2422 NEW BEST:: SOT 312718 SOS 95125 HAS SOPS 95125 HAS SOUS 84973 HAS SOUPS 84973 WITH SCORE 85068.125
AT ITER 2441 NEW BEST:: SOT 312368 SOS 94728 HAS SOPS 94728 HAS SOUS 84677 HAS SOUPS 84677 WITH SCORE 84771.728
AT ITER 2449 NEW BEST:: SOT 312320 SOS 94632 HAS SOPS 94632 HAS SOUS 84581 HAS SOUPS 84581 WITH SCORE 84675.632
AT ITER 2475 NEW BEST:: SOT 312235 SOS 94382 HAS SOPS 94382 HAS SOUS 84331 HAS SOUPS 84331 WITH SCORE 84425.382
AT ITER 2476 NEW BEST:: SOT 312225 SOS 94372 HAS SOPS 94372 HAS SOUS 84321 HAS SOUPS 84321 WITH SCORE 84415.372
AT ITER 2477 NEW BEST:: SOT 312220 SOS 94372 HAS SOPS 94372 HAS SOUS 84316 HAS SOUPS 84316 WITH SCORE 84410.372
AT ITER 2480 NEW BEST:: SOT 312219 SOS 94370 HAS SOPS 94370 HAS SOUS 84314 HAS SOUPS 84314 WITH SCORE 84408.37
AT ITER 2486 NEW BEST:: SOT 312202 SOS 94258 HAS SOPS 94258 HAS SOUS 84297 HAS SOUPS 84297 WITH SCORE 84391.258
AT ITER 2504 NEW BEST:: SOT 312202 SOS 94245 HAS SOPS 94245 HAS SOUS 84284 HAS SOUPS 84284 WITH SCORE 84378.245
AT ITER 2518 NEW BEST:: SOT 312202 SOS 94244 HAS SOPS 94244 HAS SOUS 84283 HAS SOUPS 84283 WITH SCORE 84377.244
AT ITER 2535 NEW BEST:: SOT 312188 SOS 94230 HAS SOPS 94230 HAS SOUS 84283 HAS SOUPS 84283 WITH SCORE 84377.23
AT ITER 2557 NEW BEST:: SOT 312141 SOS 94183 HAS SOPS 94183 HAS SOUS 84283 HAS SOUPS 84283 WITH SCORE 84377.183
AT ITER 2567 NEW BEST:: SOT 312129 SOS 94171 HAS SOPS 94171 HAS SOUS 84283 HAS SOUPS 84283 WITH SCORE 84377.171
AT ITER 2568 NEW BEST:: SOT 312129 SOS 94161 HAS SOPS 94161 HAS SOUS 84273 HAS SOUPS 84273 WITH SCORE 84367.161
AT ITER 2577 NEW BEST:: SOT 312206 SOS 94280 HAS SOPS 94280 HAS SOUS 84257 HAS SOUPS 84257 WITH SCORE 84351.28
AT ITER 2583 NEW BEST:: SOT 312239 SOS 94257 HAS SOPS 94257 HAS SOUS 84234 HAS SOUPS 84234 WITH SCORE 84328.257
AT ITER 2594 NEW BEST:: SOT 312242 SOS 94235 HAS SOPS 94235 HAS SOUS 84212 HAS SOUPS 84212 WITH SCORE 84306.235
AT ITER 2597 NEW BEST:: SOT 312228 SOS 94207 HAS SOPS 94207 HAS SOUS 84198 HAS SOUPS 84198 WITH SCORE 84292.207
AT ITER 2601 NEW BEST:: SOT 312227 SOS 94205 HAS SOPS 94205 HAS SOUS 84196 HAS SOUPS 84196 WITH SCORE 84290.205
AT ITER 2605 NEW BEST:: SOT 312225 SOS 94203 HAS SOPS 94203 HAS SOUS 84196 HAS SOUPS 84196 WITH SCORE 84290.203
AT ITER 2625 NEW BEST:: SOT 312216 SOS 94178 HAS SOPS 94178 HAS SOUS 84171 HAS SOUPS 84171 WITH SCORE 84265.178
AT ITER 2628 NEW BEST:: SOT 312212 SOS 94174 HAS SOPS 94174 HAS SOUS 84167 HAS SOUPS 84167 WITH SCORE 84261.174
AT ITER 2653 NEW BEST:: SOT 312006 SOS 93930 HAS SOPS 93930 HAS SOUS 83961 HAS SOUPS 83961 WITH SCORE 84054.93
AT ITER 2678 NEW BEST:: SOT 311950 SOS 93818 HAS SOPS 93818 HAS SOUS 83942 HAS SOUPS 83942 WITH SCORE 84035.818
AT ITER 2689 NEW BEST:: SOT 311871 SOS 93726 HAS SOPS 93726 HAS SOUS 83850 HAS SOUPS 83850 WITH SCORE 83943.726
AT ITER 2695 NEW BEST:: SOT 311867 SOS 93704 HAS SOPS 93704 HAS SOUS 83832 HAS SOUPS 83832 WITH SCORE 83925.704
AT ITER 2697 NEW BEST:: SOT 311755 SOS 93548 HAS SOPS 93548 HAS SOUS 83676 HAS SOUPS 83676 WITH SCORE 83769.548
AT ITER 2715 NEW BEST:: SOT 311755 SOS 93525 HAS SOPS 93525 HAS SOUS 83630 HAS SOUPS 83630 WITH SCORE 83723.525
AT ITER 2725 NEW BEST:: SOT 311712 SOS 93470 HAS SOPS 93470 HAS SOUS 83606 HAS SOUPS 83606 WITH SCORE 83699.47
AT ITER 2732 NEW BEST:: SOT 312025 SOS 93520 HAS SOPS 93520 HAS SOUS 83583 HAS SOUPS 83583 WITH SCORE 83676.52
AT ITER 2740 NEW BEST:: SOT 311971 SOS 93412 HAS SOPS 93412 HAS SOUS 83475 HAS SOUPS 83475 WITH SCORE 83568.412
AT ITER 2746 NEW BEST:: SOT 311965 SOS 93367 HAS SOPS 93367 HAS SOUS 83412 HAS SOUPS 83412 WITH SCORE 83505.367
AT ITER 2750 NEW BEST:: SOT 311961 SOS 93361 HAS SOPS 93361 HAS SOUS 83408 HAS SOUPS 83408 WITH SCORE 83501.361
AT ITER 2756 NEW BEST:: SOT 311674 SOS 93074 HAS SOPS 93074 HAS SOUS 83408 HAS SOUPS 83408 WITH SCORE 83501.074
AT ITER 2760 NEW BEST:: SOT 311673 SOS 93067 HAS SOPS 93067 HAS SOUS 83401 HAS SOUPS 83401 WITH SCORE 83494.067
AT ITER 2764 NEW BEST:: SOT 311621 SOS 92963 HAS SOPS 92963 HAS SOUS 83297 HAS SOUPS 83297 WITH SCORE 83389.963
AT ITER 2768 NEW BEST:: SOT 311560 SOS 92841 HAS SOPS 92841 HAS SOUS 83290 HAS SOUPS 83290 WITH SCORE 83382.841
AT ITER 2769 NEW BEST:: SOT 311548 SOS 92829 HAS SOPS 92829 HAS SOUS 83278 HAS SOUPS 83278 WITH SCORE 83370.829
AT ITER 2792 NEW BEST:: SOT 311542 SOS 92823 HAS SOPS 92823 HAS SOUS 83272 HAS SOUPS 83272 WITH SCORE 83364.823
AT ITER 2802 NEW BEST:: SOT 311591 SOS 92569 HAS SOPS 92569 HAS SOUS 83018 HAS SOUPS 83018 WITH SCORE 83110.569
AT ITER 2813 NEW BEST:: SOT 311225 SOS 92185 HAS SOPS 92185 HAS SOUS 82873 HAS SOUPS 82873 WITH SCORE 82965.185
AT ITER 2818 NEW BEST:: SOT 311425 SOS 92145 HAS SOPS 92145 HAS SOUS 82862 HAS SOUPS 82862 WITH SCORE 82954.145
AT ITER 2829 NEW BEST:: SOT 311425 SOS 92102 HAS SOPS 92102 HAS SOUS 82835 HAS SOUPS 82835 WITH SCORE 82927.102
AT ITER 2830 NEW BEST:: SOT 311425 SOS 92165 HAS SOPS 92165 HAS SOUS 82832 HAS SOUPS 82832 WITH SCORE 82924.165
AT ITER 2834 NEW BEST:: SOT 311439 SOS 92148 HAS SOPS 92148 HAS SOUS 82815 HAS SOUPS 82815 WITH SCORE 82907.148
AT ITER 2842 NEW BEST:: SOT 311444 SOS 91908 HAS SOPS 91908 HAS SOUS 82575 HAS SOUPS 82575 WITH SCORE 82666.908
AT ITER 2872 NEW BEST:: SOT 311429 SOS 91896 HAS SOPS 91896 HAS SOUS 82563 HAS SOUPS 82563 WITH SCORE 82654.896
AT ITER 2880 NEW BEST:: SOT 311390 SOS 91840 HAS SOPS 91840 HAS SOUS 82507 HAS SOUPS 82507 WITH SCORE 82598.84
AT ITER 2904 NEW BEST:: SOT 311322 SOS 91704 HAS SOPS 91704 HAS SOUS 82377 HAS SOUPS 82377 WITH SCORE 82468.704
AT ITER 2911 NEW BEST:: SOT 311284 SOS 91728 HAS SOPS 91728 HAS SOUS 82294 HAS SOUPS 82294 WITH SCORE 82385.728
AT ITER 2912 NEW BEST:: SOT 311283 SOS 91727 HAS SOPS 91727 HAS SOUS 82293 HAS SOUPS 82293 WITH SCORE 82384.727
AT ITER 2917 NEW BEST:: SOT 311237 SOS 91681 HAS SOPS 91681 HAS SOUS 82247 HAS SOUPS 82247 WITH SCORE 82338.681
AT ITER 2921 NEW BEST:: SOT 311336 SOS 91631 HAS SOPS 91631 HAS SOUS 82185 HAS SOUPS 82185 WITH SCORE 82276.631
AT ITER 2941 NEW BEST:: SOT 311330 SOS 91619 HAS SOPS 91619 HAS SOUS 82173 HAS SOUPS 82173 WITH SCORE 82264.619
AT ITER 2946 NEW BEST:: SOT 311300 SOS 91588 HAS SOPS 91588 HAS SOUS 82163 HAS SOUPS 82163 WITH SCORE 82254.588
AT ITER 2973 NEW BEST:: SOT 311316 SOS 91340 HAS SOPS 91340 HAS SOUS 81915 HAS SOUPS 81915 WITH SCORE 82006.34
AT ITER 2991 NEW BEST:: SOT 311316 SOS 91339 HAS SOPS 91339 HAS SOUS 81914 HAS SOUPS 81914 WITH SCORE 82005.339
AT ITER 2996 NEW BEST:: SOT 311315 SOS 91337 HAS SOPS 91337 HAS SOUS 81912 HAS SOUPS 81912 WITH SCORE 82003.337
AT ITER 3011 NEW BEST:: SOT 311315 SOS 91523 HAS SOPS 91523 HAS SOUS 81849 HAS SOUPS 81849 WITH SCORE 81940.523
AT ITER 3014 NEW BEST:: SOT 311352 SOS 91495 HAS SOPS 91495 HAS SOUS 81821 HAS SOUPS 81821 WITH SCORE 81912.495
AT ITER 3016 NEW BEST:: SOT 311362 SOS 91488 HAS SOPS 91488 HAS SOUS 81814 HAS SOUPS 81814 WITH SCORE 81905.488
AT ITER 3022 NEW BEST:: SOT 311343 SOS 91450 HAS SOPS 91450 HAS SOUS 81776 HAS SOUPS 81776 WITH SCORE 81867.45
AT ITER 3032 NEW BEST:: SOT 311331 SOS 91438 HAS SOPS 91438 HAS SOUS 81764 HAS SOUPS 81764 WITH SCORE 81855.438
AT ITER 3035 NEW BEST:: SOT 311204 SOS 91183 HAS SOPS 91183 HAS SOUS 81509 HAS SOUPS 81509 WITH SCORE 81600.183
AT ITER 3040 NEW BEST:: SOT 311194 SOS 91168 HAS SOPS 91168 HAS SOUS 81494 HAS SOUPS 81494 WITH SCORE 81585.168
AT ITER 3044 NEW BEST:: SOT 311194 SOS 91151 HAS SOPS 91151 HAS SOUS 81477 HAS SOUPS 81477 WITH SCORE 81568.151
AT ITER 3069 NEW BEST:: SOT 311088 SOS 91074 HAS SOPS 91074 HAS SOUS 81400 HAS SOUPS 81400 WITH SCORE 81491.074
AT ITER 3075 NEW BEST:: SOT 310903 SOS 90811 HAS SOPS 90811 HAS SOUS 81137 HAS SOUPS 81137 WITH SCORE 81227.811
AT ITER 3083 NEW BEST:: SOT 310903 SOS 90798 HAS SOPS 90798 HAS SOUS 81124 HAS SOUPS 81124 WITH SCORE 81214.798
AT ITER 3084 NEW BEST:: SOT 310907 SOS 90802 HAS SOPS 90802 HAS SOUS 81112 HAS SOUPS 81112 WITH SCORE 81202.802
AT ITER 3099 NEW BEST:: SOT 310885 SOS 90780 HAS SOPS 90780 HAS SOUS 81090 HAS SOUPS 81090 WITH SCORE 81180.78
AT ITER 3103 NEW BEST:: SOT 310852 SOS 90747 HAS SOPS 90747 HAS SOUS 81090 HAS SOUPS 81090 WITH SCORE 81180.747
AT ITER 3117 NEW BEST:: SOT 310852 SOS 90431 HAS SOPS 90431 HAS SOUS 80774 HAS SOUPS 80774 WITH SCORE 80864.431
AT ITER 3122 NEW BEST:: SOT 310842 SOS 90360 HAS SOPS 90360 HAS SOUS 80703 HAS SOUPS 80703 WITH SCORE 80793.36
AT ITER 3150 NEW BEST:: SOT 310842 SOS 90338 HAS SOPS 90338 HAS SOUS 80681 HAS SOUPS 80681 WITH SCORE 80771.338
AT ITER 3191 NEW BEST:: SOT 310842 SOS 90326 HAS SOPS 90326 HAS SOUS 80681 HAS SOUPS 80681 WITH SCORE 80771.326
AT ITER 3202 NEW BEST:: SOT 310827 SOS 90319 HAS SOPS 90319 HAS SOUS 80674 HAS SOUPS 80674 WITH SCORE 80764.319
AT ITER 3230 NEW BEST:: SOT 310777 SOS 90236 HAS SOPS 90236 HAS SOUS 80591 HAS SOUPS 80591 WITH SCORE 80681.236
AT ITER 3245 NEW BEST:: SOT 310675 SOS 90134 HAS SOPS 90134 HAS SOUS 80489 HAS SOUPS 80489 WITH SCORE 80579.134
AT ITER 3292 NEW BEST:: SOT 310661 SOS 90031 HAS SOPS 90031 HAS SOUS 80393 HAS SOUPS 80393 WITH SCORE 80483.031
AT ITER 3295 NEW BEST:: SOT 310639 SOS 89987 HAS SOPS 89987 HAS SOUS 80349 HAS SOUPS 80349 WITH SCORE 80438.987
AT ITER 3309 NEW BEST:: SOT 310632 SOS 89973 HAS SOPS 89973 HAS SOUS 80335 HAS SOUPS 80335 WITH SCORE 80424.973
AT ITER 3318 NEW BEST:: SOT 310664 SOS 89920 HAS SOPS 89920 HAS SOUS 80282 HAS SOUPS 80282 WITH SCORE 80371.92
AT ITER 3341 NEW BEST:: SOT 310579 SOS 89835 HAS SOPS 89835 HAS SOUS 80222 HAS SOUPS 80222 WITH SCORE 80311.835
AT ITER 3354 NEW BEST:: SOT 310566 SOS 89706 HAS SOPS 89706 HAS SOUS 80093 HAS SOUPS 80093 WITH SCORE 80182.706
AT ITER 3357 NEW BEST:: SOT 310540 SOS 89654 HAS SOPS 89654 HAS SOUS 80069 HAS SOUPS 80069 WITH SCORE 80158.654
AT ITER 3381 NEW BEST:: SOT 310493 SOS 89568 HAS SOPS 89568 HAS SOUS 80009 HAS SOUPS 80009 WITH SCORE 80098.568
AT ITER 3388 NEW BEST:: SOT 310485 SOS 89556 HAS SOPS 89556 HAS SOUS 80001 HAS SOUPS 80001 WITH SCORE 80090.556
AT ITER 3413 NEW BEST:: SOT 310485 SOS 89539 HAS SOPS 89539 HAS SOUS 79967 HAS SOUPS 79967 WITH SCORE 80056.539
AT ITER 3423 NEW BEST:: SOT 310485 SOS 89537 HAS SOPS 89537 HAS SOUS 79963 HAS SOUPS 79963 WITH SCORE 80052.537
AT ITER 3449 NEW BEST:: SOT 310475 SOS 89517 HAS SOPS 89517 HAS SOUS 79943 HAS SOUPS 79943 WITH SCORE 80032.517
AT ITER 3487 NEW BEST:: SOT 310475 SOS 89472 HAS SOPS 89472 HAS SOUS 79898 HAS SOUPS 79898 WITH SCORE 79987.472
AT ITER 3495 NEW BEST:: SOT 310465 SOS 89452 HAS SOPS 89452 HAS SOUS 79878 HAS SOUPS 79878 WITH SCORE 79967.452
AT ITER 3502 NEW BEST:: SOT 310451 SOS 89424 HAS SOPS 89424 HAS SOUS 79850 HAS SOUPS 79850 WITH SCORE 79939.424
AT ITER 3545 NEW BEST:: SOT 310382 SOS 89367 HAS SOPS 89367 HAS SOUS 79793 HAS SOUPS 79793 WITH SCORE 79882.367
AT ITER 3549 NEW BEST:: SOT 310359 SOS 89405 HAS SOPS 89405 HAS SOUS 79789 HAS SOUPS 79789 WITH SCORE 79878.405
AT ITER 3585 NEW BEST:: SOT 310377 SOS 89397 HAS SOPS 89397 HAS SOUS 79789 HAS SOUPS 79789 WITH SCORE 79878.397
AT ITER 3586 NEW BEST:: SOT 310369 SOS 89405 HAS SOPS 89405 HAS SOUS 79781 HAS SOUPS 79781 WITH SCORE 79870.405
AT ITER 3588 NEW BEST:: SOT 310305 SOS 89341 HAS SOPS 89341 HAS SOUS 79678 HAS SOUPS 79678 WITH SCORE 79767.341
AT ITER 3592 NEW BEST:: SOT 310320 SOS 89315 HAS SOPS 89315 HAS SOUS 79652 HAS SOUPS 79652 WITH SCORE 79741.315
AT ITER 3597 NEW BEST:: SOT 310292 SOS 89259 HAS SOPS 89259 HAS SOUS 79596 HAS SOUPS 79596 WITH SCORE 79685.259
AT ITER 3607 NEW BEST:: SOT 310209 SOS 89145 HAS SOPS 89145 HAS SOUS 79482 HAS SOUPS 79482 WITH SCORE 79571.145
AT ITER 3608 NEW BEST:: SOT 310209 SOS 89135 HAS SOPS 89135 HAS SOUS 79462 HAS SOUPS 79462 WITH SCORE 79551.135
AT ITER 3641 NEW BEST:: SOT 308540 SOS 105678 HAS SOPS 105678 HAS SOUS 78300 HAS SOUPS 78300 WITH SCORE 78405.678
AT ITER 3660 NEW BEST:: SOT 308540 SOS 105675 HAS SOPS 105675 HAS SOUS 78280 HAS SOUPS 78280 WITH SCORE 78385.675
AT ITER 3671 NEW BEST:: SOT 308592 SOS 105727 HAS SOPS 105727 HAS SOUS 78279 HAS SOUPS 78279 WITH SCORE 78384.727
AT ITER 3782 NEW BEST:: SOT 308575 SOS 105493 HAS SOPS 105493 HAS SOUS 78130 HAS SOUPS 78130 WITH SCORE 78235.493
AT ITER 3783 NEW BEST:: SOT 308299 SOS 105217 HAS SOPS 105217 HAS SOUS 77932 HAS SOUPS 77932 WITH SCORE 78037.217
AT ITER 3785 NEW BEST:: SOT 308299 SOS 105217 HAS SOPS 105217 HAS SOUS 77931 HAS SOUPS 77931 WITH SCORE 78036.217
AT ITER 3807 NEW BEST:: SOT 308244 SOS 105162 HAS SOPS 105162 HAS SOUS 77876 HAS SOUPS 77876 WITH SCORE 77981.162
AT ITER 3808 NEW BEST:: SOT 308348 SOS 105238 HAS SOPS 105238 HAS SOUS 77804 HAS SOUPS 77804 WITH SCORE 77909.238
AT ITER 3813 NEW BEST:: SOT 308348 SOS 105238 HAS SOPS 105238 HAS SOUS 77800 HAS SOUPS 77800 WITH SCORE 77905.238
AT ITER 3829 NEW BEST:: SOT 308386 SOS 105175 HAS SOPS 105175 HAS SOUS 77636 HAS SOUPS 77636 WITH SCORE 77741.175
AT ITER 3836 NEW BEST:: SOT 308392 SOS 105169 HAS SOPS 105169 HAS SOUS 77630 HAS SOUPS 77630 WITH SCORE 77735.169
AT ITER 3842 NEW BEST:: SOT 308345 SOS 105122 HAS SOPS 105122 HAS SOUS 77583 HAS SOUPS 77583 WITH SCORE 77688.122
AT ITER 3867 NEW BEST:: SOT 308332 SOS 105096 HAS SOPS 105096 HAS SOUS 77557 HAS SOUPS 77557 WITH SCORE 77662.096
AT ITER 3898 NEW BEST:: SOT 308332 SOS 105066 HAS SOPS 105066 HAS SOUS 77557 HAS SOUPS 77557 WITH SCORE 77662.066
AT ITER 3918 NEW BEST:: SOT 308203 SOS 104913 HAS SOPS 104913 HAS SOUS 77533 HAS SOUPS 77533 WITH SCORE 77637.913
AT ITER 3925 NEW BEST:: SOT 308166 SOS 104876 HAS SOPS 104876 HAS SOUS 77429 HAS SOUPS 77429 WITH SCORE 77533.876
AT ITER 3933 NEW BEST:: SOT 308148 SOS 104847 HAS SOPS 104847 HAS SOUS 77400 HAS SOUPS 77400 WITH SCORE 77504.847
AT ITER 3934 NEW BEST:: SOT 308131 SOS 104742 HAS SOPS 104742 HAS SOUS 77339 HAS SOUPS 77339 WITH SCORE 77443.742
AT ITER 3938 NEW BEST:: SOT 308209 SOS 104820 HAS SOPS 104820 HAS SOUS 77278 HAS SOUPS 77278 WITH SCORE 77382.82
AT ITER 3947 NEW BEST:: SOT 308137 SOS 104802 HAS SOPS 104802 HAS SOUS 77260 HAS SOUPS 77260 WITH SCORE 77364.802
AT ITER 3954 NEW BEST:: SOT 308129 SOS 104770 HAS SOPS 104770 HAS SOUS 77236 HAS SOUPS 77236 WITH SCORE 77340.77
AT ITER 3990 NEW BEST:: SOT 308129 SOS 104770 HAS SOPS 104770 HAS SOUS 77228 HAS SOUPS 77228 WITH SCORE 77332.77
AT ITER 3998 NEW BEST:: SOT 308021 SOS 104599 HAS SOPS 104599 HAS SOUS 77042 HAS SOUPS 77042 WITH SCORE 77146.599
AT ITER 3999 NEW BEST:: SOT 307999 SOS 104566 HAS SOPS 104566 HAS SOUS 77009 HAS SOUPS 77009 WITH SCORE 77113.566
AT ITER 4000 NEW BEST:: SOT 307947 SOS 104514 HAS SOPS 104514 HAS SOUS 76957 HAS SOUPS 76957 WITH SCORE 77061.514
AT ITER 4029 NEW BEST:: SOT 307974 SOS 104555 HAS SOPS 104555 HAS SOUS 76930 HAS SOUPS 76930 WITH SCORE 77034.555
AT ITER 4037 NEW BEST:: SOT 307860 SOS 104441 HAS SOPS 104441 HAS SOUS 76778 HAS SOUPS 76778 WITH SCORE 76882.441
AT ITER 4051 NEW BEST:: SOT 307756 SOS 104285 HAS SOPS 104285 HAS SOUS 76674 HAS SOUPS 76674 WITH SCORE 76778.285
AT ITER 4054 NEW BEST:: SOT 307609 SOS 104137 HAS SOPS 104137 HAS SOUS 76672 HAS SOUPS 76672 WITH SCORE 76776.137
AT ITER 4063 NEW BEST:: SOT 307680 SOS 104199 HAS SOPS 104199 HAS SOUS 76654 HAS SOUPS 76654 WITH SCORE 76758.199
AT ITER 4081 NEW BEST:: SOT 307592 SOS 104023 HAS SOPS 104023 HAS SOUS 76623 HAS SOUPS 76623 WITH SCORE 76727.023
AT ITER 4145 NEW BEST:: SOT 307547 SOS 103933 HAS SOPS 103933 HAS SOUS 76578 HAS SOUPS 76578 WITH SCORE 76681.933
AT ITER 4170 NEW BEST:: SOT 307552 SOS 103754 HAS SOPS 103754 HAS SOUS 76399 HAS SOUPS 76399 WITH SCORE 76502.754
AT ITER 4192 NEW BEST:: SOT 307552 SOS 103744 HAS SOPS 103744 HAS SOUS 76389 HAS SOUPS 76389 WITH SCORE 76492.744
AT ITER 4200 NEW BEST:: SOT 307603 SOS 103732 HAS SOPS 103732 HAS SOUS 76377 HAS SOUPS 76377 WITH SCORE 76480.732
AT ITER 4201 NEW BEST:: SOT 307597 SOS 103720 HAS SOPS 103720 HAS SOUS 76365 HAS SOUPS 76365 WITH SCORE 76468.72
AT ITER 4203 NEW BEST:: SOT 307537 SOS 103660 HAS SOPS 103660 HAS SOUS 76305 HAS SOUPS 76305 WITH SCORE 76408.66
AT ITER 4219 NEW BEST:: SOT 307492 SOS 103612 HAS SOPS 103612 HAS SOUS 76257 HAS SOUPS 76257 WITH SCORE 76360.612
AT ITER 4228 NEW BEST:: SOT 307491 SOS 103608 HAS SOPS 103608 HAS SOUS 76253 HAS SOUPS 76253 WITH SCORE 76356.608
AT ITER 4232 NEW BEST:: SOT 307452 SOS 103563 HAS SOPS 103563 HAS SOUS 76208 HAS SOUPS 76208 WITH SCORE 76311.563
AT ITER 4275 NEW BEST:: SOT 307377 SOS 103435 HAS SOPS 103435 HAS SOUS 76070 HAS SOUPS 76070 WITH SCORE 76173.435
AT ITER 4276 NEW BEST:: SOT 307377 SOS 103416 HAS SOPS 103416 HAS SOUS 76051 HAS SOUPS 76051 WITH SCORE 76154.416
AT ITER 4287 NEW BEST:: SOT 307336 SOS 103334 HAS SOPS 103334 HAS SOUS 76010 HAS SOUPS 76010 WITH SCORE 76113.334
AT ITER 4322 NEW BEST:: SOT 307325 SOS 103312 HAS SOPS 103312 HAS SOUS 75977 HAS SOUPS 75977 WITH SCORE 76080.312
AT ITER 4367 NEW BEST:: SOT 307324 SOS 103310 HAS SOPS 103310 HAS SOUS 75975 HAS SOUPS 75975 WITH SCORE 76078.31
AT ITER 4376 NEW BEST:: SOT 307308 SOS 103302 HAS SOPS 103302 HAS SOUS 75959 HAS SOUPS 75959 WITH SCORE 76062.302
AT ITER 4382 NEW BEST:: SOT 307302 SOS 103296 HAS SOPS 103296 HAS SOUS 75953 HAS SOUPS 75953 WITH SCORE 76056.296
AT ITER 4399 NEW BEST:: SOT 307160 SOS 103154 HAS SOPS 103154 HAS SOUS 75811 HAS SOUPS 75811 WITH SCORE 75914.154
AT ITER 4402 NEW BEST:: SOT 307139 SOS 103112 HAS SOPS 103112 HAS SOUS 75717 HAS SOUPS 75717 WITH SCORE 75820.112
AT ITER 4444 NEW BEST:: SOT 307080 SOS 103026 HAS SOPS 103026 HAS SOUS 75631 HAS SOUPS 75631 WITH SCORE 75734.026
AT ITER 4446 NEW BEST:: SOT 306949 SOS 102856 HAS SOPS 102856 HAS SOUS 75461 HAS SOUPS 75461 WITH SCORE 75563.856
AT ITER 4465 NEW BEST:: SOT 306890 SOS 102743 HAS SOPS 102743 HAS SOUS 75348 HAS SOUPS 75348 WITH SCORE 75450.743
AT ITER 4472 NEW BEST:: SOT 306888 SOS 102715 HAS SOPS 102715 HAS SOUS 75321 HAS SOUPS 75321 WITH SCORE 75423.715
AT ITER 4477 NEW BEST:: SOT 306828 SOS 102515 HAS SOPS 102515 HAS SOUS 75173 HAS SOUPS 75173 WITH SCORE 75275.515
AT ITER 4499 NEW BEST:: SOT 306734 SOS 102384 HAS SOPS 102384 HAS SOUS 75164 HAS SOUPS 75164 WITH SCORE 75266.384
AT ITER 4551 NEW BEST:: SOT 306764 SOS 102348 HAS SOPS 102348 HAS SOUS 75128 HAS SOUPS 75128 WITH SCORE 75230.348
AT ITER 4571 NEW BEST:: SOT 306756 SOS 102332 HAS SOPS 102332 HAS SOUS 75120 HAS SOUPS 75120 WITH SCORE 75222.332
AT ITER 4573 NEW BEST:: SOT 306695 SOS 102181 HAS SOPS 102181 HAS SOUS 74969 HAS SOUPS 74969 WITH SCORE 75071.181
AT ITER 4587 NEW BEST:: SOT 306820 SOS 102241 HAS SOPS 102241 HAS SOUS 74920 HAS SOUPS 74920 WITH SCORE 75022.241
AT ITER 4606 NEW BEST:: SOT 306820 SOS 102231 HAS SOPS 102231 HAS SOUS 74900 HAS SOUPS 74900 WITH SCORE 75002.231
AT ITER 4612 NEW BEST:: SOT 306830 SOS 102206 HAS SOPS 102206 HAS SOUS 74875 HAS SOUPS 74875 WITH SCORE 74977.206
AT ITER 4652 NEW BEST:: SOT 306703 SOS 102079 HAS SOPS 102079 HAS SOUS 74875 HAS SOUPS 74875 WITH SCORE 74977.079
AT ITER 4670 NEW BEST:: SOT 306692 SOS 102057 HAS SOPS 102057 HAS SOUS 74853 HAS SOUPS 74853 WITH SCORE 74955.057
AT ITER 4704 NEW BEST:: SOT 306627 SOS 101978 HAS SOPS 101978 HAS SOUS 74827 HAS SOUPS 74827 WITH SCORE 74928.978
AT ITER 4713 NEW BEST:: SOT 306460 SOS 101833 HAS SOPS 101833 HAS SOUS 74520 HAS SOUPS 74520 WITH SCORE 74621.833
AT ITER 4755 NEW BEST:: SOT 306435 SOS 101786 HAS SOPS 101786 HAS SOUS 74440 HAS SOUPS 74440 WITH SCORE 74541.786
AT ITER 4770 NEW BEST:: SOT 306392 SOS 101700 HAS SOPS 101700 HAS SOUS 74354 HAS SOUPS 74354 WITH SCORE 74455.7
AT ITER 4796 NEW BEST:: SOT 306392 SOS 101691 HAS SOPS 101691 HAS SOUS 74345 HAS SOUPS 74345 WITH SCORE 74446.691
AT ITER 4799 NEW BEST:: SOT 306440 SOS 101469 HAS SOPS 101469 HAS SOUS 74126 HAS SOUPS 74126 WITH SCORE 74227.469
AT ITER 4802 NEW BEST:: SOT 306446 SOS 101446 HAS SOPS 101446 HAS SOUS 74103 HAS SOUPS 74103 WITH SCORE 74204.446
AT ITER 4817 NEW BEST:: SOT 305878 SOS 100706 HAS SOPS 100706 HAS SOUS 73664 HAS SOUPS 73664 WITH SCORE 73764.706
AT ITER 4832 NEW BEST:: SOT 305878 SOS 100664 HAS SOPS 100664 HAS SOUS 73580 HAS SOUPS 73580 WITH SCORE 73680.664
AT ITER 4867 NEW BEST:: SOT 305811 SOS 100556 HAS SOPS 100556 HAS SOUS 73544 HAS SOUPS 73544 WITH SCORE 73644.556
AT ITER 4913 NEW BEST:: SOT 305742 SOS 100418 HAS SOPS 100418 HAS SOUS 73406 HAS SOUPS 73406 WITH SCORE 73506.418
AT ITER 4927 NEW BEST:: SOT 305712 SOS 100358 HAS SOPS 100358 HAS SOUS 73376 HAS SOUPS 73376 WITH SCORE 73476.358
AT ITER 4980 NEW BEST:: SOT 305674 SOS 100320 HAS SOPS 100320 HAS SOUS 73338 HAS SOUPS 73338 WITH SCORE 73438.32
AT ITER 5001 NEW BEST:: SOT 305674 SOS 100263 HAS SOPS 100263 HAS SOUS 73281 HAS SOUPS 73281 WITH SCORE 73381.263
AT ITER 5004 NEW BEST:: SOT 305554 SOS 100134 HAS SOPS 100134 HAS SOUS 73152 HAS SOUPS 73152 WITH SCORE 73252.134
AT ITER 5017 NEW BEST:: SOT 305546 SOS 99938 HAS SOPS 99938 HAS SOUS 73101 HAS SOUPS 73101 WITH SCORE 73200.938
AT ITER 5036 NEW BEST:: SOT 305371 SOS 99683 HAS SOPS 99683 HAS SOUS 72941 HAS SOUPS 72941 WITH SCORE 73040.683
AT ITER 5039 NEW BEST:: SOT 305329 SOS 99620 HAS SOPS 99620 HAS SOUS 72878 HAS SOUPS 72878 WITH SCORE 72977.62
AT ITER 5048 NEW BEST:: SOT 305301 SOS 99564 HAS SOPS 99564 HAS SOUS 72850 HAS SOUPS 72850 WITH SCORE 72949.564
AT ITER 5052 NEW BEST:: SOT 305301 SOS 99520 HAS SOPS 99520 HAS SOUS 72850 HAS SOUPS 72850 WITH SCORE 72949.52
AT ITER 5059 NEW BEST:: SOT 305245 SOS 99498 HAS SOPS 99498 HAS SOUS 72828 HAS SOUPS 72828 WITH SCORE 72927.498
AT ITER 5071 NEW BEST:: SOT 305238 SOS 99484 HAS SOPS 99484 HAS SOUS 72814 HAS SOUPS 72814 WITH SCORE 72913.484
AT ITER 5074 NEW BEST:: SOT 305215 SOS 99438 HAS SOPS 99438 HAS SOUS 72808 HAS SOUPS 72808 WITH SCORE 72907.438
AT ITER 5076 NEW BEST:: SOT 305214 SOS 99436 HAS SOPS 99436 HAS SOUS 72784 HAS SOUPS 72784 WITH SCORE 72883.436
AT ITER 5089 NEW BEST:: SOT 305175 SOS 99398 HAS SOPS 99398 HAS SOUS 72746 HAS SOUPS 72746 WITH SCORE 72845.398
AT ITER 5091 NEW BEST:: SOT 305164 SOS 99387 HAS SOPS 99387 HAS SOUS 72735 HAS SOUPS 72735 WITH SCORE 72834.387
AT ITER 5124 NEW BEST:: SOT 305459 SOS 99284 HAS SOPS 99284 HAS SOUS 72677 HAS SOUPS 72677 WITH SCORE 72776.284
AT ITER 5141 NEW BEST:: SOT 305448 SOS 99273 HAS SOPS 99273 HAS SOUS 72677 HAS SOUPS 72677 WITH SCORE 72776.273
AT ITER 5149 NEW BEST:: SOT 305430 SOS 99237 HAS SOPS 99237 HAS SOUS 72650 HAS SOUPS 72650 WITH SCORE 72749.237
AT ITER 5153 NEW BEST:: SOT 305338 SOS 99128 HAS SOPS 99128 HAS SOUS 72638 HAS SOUPS 72638 WITH SCORE 72737.128
AT ITER 5183 NEW BEST:: SOT 305297 SOS 99091 HAS SOPS 99091 HAS SOUS 72601 HAS SOUPS 72601 WITH SCORE 72700.091
AT ITER 5185 NEW BEST:: SOT 305265 SOS 99040 HAS SOPS 99040 HAS SOUS 72550 HAS SOUPS 72550 WITH SCORE 72649.04
AT ITER 5206 NEW BEST:: SOT 305269 SOS 99023 HAS SOPS 99023 HAS SOUS 72533 HAS SOUPS 72533 WITH SCORE 72632.023
AT ITER 5220 NEW BEST:: SOT 305269 SOS 98901 HAS SOPS 98901 HAS SOUS 72447 HAS SOUPS 72447 WITH SCORE 72545.901
AT ITER 5224 NEW BEST:: SOT 305013 SOS 98397 HAS SOPS 98397 HAS SOUS 72281 HAS SOUPS 72281 WITH SCORE 72379.397
AT ITER 5256 NEW BEST:: SOT 305049 SOS 98306 HAS SOPS 98306 HAS SOUS 72190 HAS SOUPS 72190 WITH SCORE 72288.306
AT ITER 5261 NEW BEST:: SOT 305048 SOS 98303 HAS SOPS 98303 HAS SOUS 72188 HAS SOUPS 72188 WITH SCORE 72286.303
AT ITER 5308 NEW BEST:: SOT 305006 SOS 98198 HAS SOPS 98198 HAS SOUS 72083 HAS SOUPS 72083 WITH SCORE 72181.198
AT ITER 5312 NEW BEST:: SOT 305154 SOS 97882 HAS SOPS 97882 HAS SOUS 71974 HAS SOUPS 71974 WITH SCORE 72071.882
AT ITER 5345 NEW BEST:: SOT 305110 SOS 97836 HAS SOPS 97836 HAS SOUS 71928 HAS SOUPS 71928 WITH SCORE 72025.836
AT ITER 5379 NEW BEST:: SOT 305139 SOS 97865 HAS SOPS 97865 HAS SOUS 71893 HAS SOUPS 71893 WITH SCORE 71990.865
AT ITER 5380 NEW BEST:: SOT 305135 SOS 97801 HAS SOPS 97801 HAS SOUS 71864 HAS SOUPS 71864 WITH SCORE 71961.801
AT ITER 5382 NEW BEST:: SOT 305133 SOS 97795 HAS SOPS 97795 HAS SOUS 71858 HAS SOUPS 71858 WITH SCORE 71955.795
AT ITER 5388 NEW BEST:: SOT 305104 SOS 97766 HAS SOPS 97766 HAS SOUS 71858 HAS SOUPS 71858 WITH SCORE 71955.766
AT ITER 5392 NEW BEST:: SOT 305054 SOS 97680 HAS SOPS 97680 HAS SOUS 71772 HAS SOUPS 71772 WITH SCORE 71869.68
AT ITER 5425 NEW BEST:: SOT 305032 SOS 97636 HAS SOPS 97636 HAS SOUS 71769 HAS SOUPS 71769 WITH SCORE 71866.636
AT ITER 5436 NEW BEST:: SOT 304746 SOS 97301 HAS SOPS 97301 HAS SOUS 71671 HAS SOUPS 71671 WITH SCORE 71768.301
AT ITER 5449 NEW BEST:: SOT 304746 SOS 97301 HAS SOPS 97301 HAS SOUS 71560 HAS SOUPS 71560 WITH SCORE 71657.301
AT ITER 5457 NEW BEST:: SOT 304808 SOS 97353 HAS SOPS 97353 HAS SOUS 71540 HAS SOUPS 71540 WITH SCORE 71637.353
AT ITER 5458 NEW BEST:: SOT 304316 SOS 96935 HAS SOPS 96935 HAS SOUS 71043 HAS SOUPS 71043 WITH SCORE 71139.935
AT ITER 5477 NEW BEST:: SOT 304250 SOS 96869 HAS SOPS 96869 HAS SOUS 70977 HAS SOUPS 70977 WITH SCORE 71073.869
AT ITER 5480 NEW BEST:: SOT 304242 SOS 96861 HAS SOPS 96861 HAS SOUS 70969 HAS SOUPS 70969 WITH SCORE 71065.861
AT ITER 5481 NEW BEST:: SOT 304219 SOS 96815 HAS SOPS 96815 HAS SOUS 70923 HAS SOUPS 70923 WITH SCORE 71019.815
AT ITER 5491 NEW BEST:: SOT 304202 SOS 96737 HAS SOPS 96737 HAS SOUS 70845 HAS SOUPS 70845 WITH SCORE 70941.737
AT ITER 5524 NEW BEST:: SOT 304139 SOS 96674 HAS SOPS 96674 HAS SOUS 70845 HAS SOUPS 70845 WITH SCORE 70941.674
AT ITER 5531 NEW BEST:: SOT 304133 SOS 96662 HAS SOPS 96662 HAS SOUS 70833 HAS SOUPS 70833 WITH SCORE 70929.662
AT ITER 5537 NEW BEST:: SOT 304089 SOS 96584 HAS SOPS 96584 HAS SOUS 70759 HAS SOUPS 70759 WITH SCORE 70855.584
AT ITER 5538 NEW BEST:: SOT 304005 SOS 96383 HAS SOPS 96383 HAS SOUS 70558 HAS SOUPS 70558 WITH SCORE 70654.383
AT ITER 5548 NEW BEST:: SOT 304005 SOS 96343 HAS SOPS 96343 HAS SOUS 70527 HAS SOUPS 70527 WITH SCORE 70623.343
AT ITER 5552 NEW BEST:: SOT 303944 SOS 96294 HAS SOPS 96294 HAS SOUS 70492 HAS SOUPS 70492 WITH SCORE 70588.294
AT ITER 5556 NEW BEST:: SOT 303932 SOS 96282 HAS SOPS 96282 HAS SOUS 70480 HAS SOUPS 70480 WITH SCORE 70576.282
AT ITER 5570 NEW BEST:: SOT 303850 SOS 96257 HAS SOPS 96257 HAS SOUS 70455 HAS SOUPS 70455 WITH SCORE 70551.257
AT ITER 5582 NEW BEST:: SOT 303806 SOS 96213 HAS SOPS 96213 HAS SOUS 70455 HAS SOUPS 70455 WITH SCORE 70551.213
AT ITER 5590 NEW BEST:: SOT 303806 SOS 96206 HAS SOPS 96206 HAS SOUS 70448 HAS SOUPS 70448 WITH SCORE 70544.206
AT ITER 5618 NEW BEST:: SOT 303829 SOS 96150 HAS SOPS 96150 HAS SOUS 70413 HAS SOUPS 70413 WITH SCORE 70509.15
AT ITER 5658 NEW BEST:: SOT 303795 SOS 96082 HAS SOPS 96082 HAS SOUS 70345 HAS SOUPS 70345 WITH SCORE 70441.082
AT ITER 5673 NEW BEST:: SOT 303795 SOS 96034 HAS SOPS 96034 HAS SOUS 70252 HAS SOUPS 70252 WITH SCORE 70348.034
AT ITER 5681 NEW BEST:: SOT 303795 SOS 96020 HAS SOPS 96020 HAS SOUS 70238 HAS SOUPS 70238 WITH SCORE 70334.02
AT ITER 5686 NEW BEST:: SOT 303795 SOS 95971 HAS SOPS 95971 HAS SOUS 70238 HAS SOUPS 70238 WITH SCORE 70333.971
AT ITER 5697 NEW BEST:: SOT 303781 SOS 95961 HAS SOPS 95961 HAS SOUS 70228 HAS SOUPS 70228 WITH SCORE 70323.961
AT ITER 5716 NEW BEST:: SOT 303790 SOS 95933 HAS SOPS 95933 HAS SOUS 70154 HAS SOUPS 70154 WITH SCORE 70249.933
AT ITER 5734 NEW BEST:: SOT 303789 SOS 95932 HAS SOPS 95932 HAS SOUS 70153 HAS SOUPS 70153 WITH SCORE 70248.932
AT ITER 5754 NEW BEST:: SOT 303763 SOS 95906 HAS SOPS 95906 HAS SOUS 70153 HAS SOUPS 70153 WITH SCORE 70248.906
AT ITER 5756 NEW BEST:: SOT 303751 SOS 95882 HAS SOPS 95882 HAS SOUS 70115 HAS SOUPS 70115 WITH SCORE 70210.882
AT ITER 5759 NEW BEST:: SOT 303751 SOS 95826 HAS SOPS 95826 HAS SOUS 70073 HAS SOUPS 70073 WITH SCORE 70168.826
AT ITER 5845 NEW BEST:: SOT 303751 SOS 95825 HAS SOPS 95825 HAS SOUS 70072 HAS SOUPS 70072 WITH SCORE 70167.825
AT ITER 5895 NEW BEST:: SOT 303735 SOS 95866 HAS SOPS 95866 HAS SOUS 70040 HAS SOUPS 70040 WITH SCORE 70135.866
AT ITER 5951 NEW BEST:: SOT 303716 SOS 95752 HAS SOPS 95752 HAS SOUS 69999 HAS SOUPS 69999 WITH SCORE 70094.752
AT ITER 5976 NEW BEST:: SOT 303716 SOS 95488 HAS SOPS 95488 HAS SOUS 69933 HAS SOUPS 69933 WITH SCORE 70028.488
AT ITER 5983 NEW BEST:: SOT 303708 SOS 95480 HAS SOPS 95480 HAS SOUS 69925 HAS SOUPS 69925 WITH SCORE 70020.48
AT ITER 5995 NEW BEST:: SOT 303633 SOS 95330 HAS SOPS 95330 HAS SOUS 69804 HAS SOUPS 69804 WITH SCORE 69899.33
AT ITER 5996 NEW BEST:: SOT 303548 SOS 95316 HAS SOPS 95316 HAS SOUS 69790 HAS SOUPS 69790 WITH SCORE 69885.316
AT ITER 6014 NEW BEST:: SOT 303521 SOS 95304 HAS SOPS 95304 HAS SOUS 69765 HAS SOUPS 69765 WITH SCORE 69860.304
AT ITER 6033 NEW BEST:: SOT 303532 SOS 95272 HAS SOPS 95272 HAS SOUS 69733 HAS SOUPS 69733 WITH SCORE 69828.272
AT ITER 6042 NEW BEST:: SOT 303323 SOS 94899 HAS SOPS 94899 HAS SOUS 69531 HAS SOUPS 69531 WITH SCORE 69625.899
AT ITER 6047 NEW BEST:: SOT 303289 SOS 94831 HAS SOPS 94831 HAS SOUS 69517 HAS SOUPS 69517 WITH SCORE 69611.831
AT ITER 6065 NEW BEST:: SOT 303272 SOS 94797 HAS SOPS 94797 HAS SOUS 69483 HAS SOUPS 69483 WITH SCORE 69577.797
AT ITER 6078 NEW BEST:: SOT 303292 SOS 94837 HAS SOPS 94837 HAS SOUS 69461 HAS SOUPS 69461 WITH SCORE 69555.837
AT ITER 6092 NEW BEST:: SOT 303274 SOS 94819 HAS SOPS 94819 HAS SOUS 69443 HAS SOUPS 69443 WITH SCORE 69537.819
AT ITER 6097 NEW BEST:: SOT 303233 SOS 94734 HAS SOPS 94734 HAS SOUS 69384 HAS SOUPS 69384 WITH SCORE 69478.734
AT ITER 6103 NEW BEST:: SOT 303233 SOS 94720 HAS SOPS 94720 HAS SOUS 69370 HAS SOUPS 69370 WITH SCORE 69464.72
AT ITER 6111 NEW BEST:: SOT 303215 SOS 94709 HAS SOPS 94709 HAS SOUS 69359 HAS SOUPS 69359 WITH SCORE 69453.709
AT ITER 6121 NEW BEST:: SOT 303201 SOS 94695 HAS SOPS 94695 HAS SOUS 69345 HAS SOUPS 69345 WITH SCORE 69439.695
AT ITER 6141 NEW BEST:: SOT 303152 SOS 94656 HAS SOPS 94656 HAS SOUS 69306 HAS SOUPS 69306 WITH SCORE 69400.656
AT ITER 6167 NEW BEST:: SOT 303116 SOS 94595 HAS SOPS 94595 HAS SOUS 69245 HAS SOUPS 69245 WITH SCORE 69339.595
AT ITER 6173 NEW BEST:: SOT 303086 SOS 94565 HAS SOPS 94565 HAS SOUS 69245 HAS SOUPS 69245 WITH SCORE 69339.565
AT ITER 6192 NEW BEST:: SOT 303084 SOS 94561 HAS SOPS 94561 HAS SOUS 69241 HAS SOUPS 69241 WITH SCORE 69335.561
AT ITER 6207 NEW BEST:: SOT 303074 SOS 94541 HAS SOPS 94541 HAS SOUS 69231 HAS SOUPS 69231 WITH SCORE 69325.541
AT ITER 6213 NEW BEST:: SOT 302980 SOS 94445 HAS SOPS 94445 HAS SOUS 69146 HAS SOUPS 69146 WITH SCORE 69240.445
AT ITER 6214 NEW BEST:: SOT 302951 SOS 94433 HAS SOPS 94433 HAS SOUS 69134 HAS SOUPS 69134 WITH SCORE 69228.433
AT ITER 6216 NEW BEST:: SOT 302932 SOS 94395 HAS SOPS 94395 HAS SOUS 69096 HAS SOUPS 69096 WITH SCORE 69190.395
AT ITER 6243 NEW BEST:: SOT 302856 SOS 94341 HAS SOPS 94341 HAS SOUS 69042 HAS SOUPS 69042 WITH SCORE 69136.341
AT ITER 6262 NEW BEST:: SOT 302836 SOS 94339 HAS SOPS 94339 HAS SOUS 69040 HAS SOUPS 69040 WITH SCORE 69134.339
AT ITER 6268 NEW BEST:: SOT 302836 SOS 94316 HAS SOPS 94316 HAS SOUS 69017 HAS SOUPS 69017 WITH SCORE 69111.316
AT ITER 6272 NEW BEST:: SOT 302836 SOS 94316 HAS SOPS 94316 HAS SOUS 69000 HAS SOUPS 69000 WITH SCORE 69094.316
AT ITER 6281 NEW BEST:: SOT 302834 SOS 94312 HAS SOPS 94312 HAS SOUS 68996 HAS SOUPS 68996 WITH SCORE 69090.312
AT ITER 6287 NEW BEST:: SOT 302798 SOS 94301 HAS SOPS 94301 HAS SOUS 68985 HAS SOUPS 68985 WITH SCORE 69079.301
AT ITER 6321 NEW BEST:: SOT 302774 SOS 94253 HAS SOPS 94253 HAS SOUS 68937 HAS SOUPS 68937 WITH SCORE 69031.253
AT ITER 6332 NEW BEST:: SOT 302679 SOS 94613 HAS SOPS 94613 HAS SOUS 68906 HAS SOUPS 68906 WITH SCORE 69000.613
AT ITER 6337 NEW BEST:: SOT 302708 SOS 94545 HAS SOPS 94545 HAS SOUS 68861 HAS SOUPS 68861 WITH SCORE 68955.545
AT ITER 6340 NEW BEST:: SOT 302684 SOS 94497 HAS SOPS 94497 HAS SOUS 68813 HAS SOUPS 68813 WITH SCORE 68907.497
AT ITER 6366 NEW BEST:: SOT 302683 SOS 94496 HAS SOPS 94496 HAS SOUS 68812 HAS SOUPS 68812 WITH SCORE 68906.496
AT ITER 6406 NEW BEST:: SOT 302663 SOS 94539 HAS SOPS 94539 HAS SOUS 68752 HAS SOUPS 68752 WITH SCORE 68846.539
AT ITER 6420 NEW BEST:: SOT 302641 SOS 94517 HAS SOPS 94517 HAS SOUS 68752 HAS SOUPS 68752 WITH SCORE 68846.517
AT ITER 6427 NEW BEST:: SOT 302642 SOS 94516 HAS SOPS 94516 HAS SOUS 68752 HAS SOUPS 68752 WITH SCORE 68846.516
AT ITER 6443 NEW BEST:: SOT 302642 SOS 94509 HAS SOPS 94509 HAS SOUS 68745 HAS SOUPS 68745 WITH SCORE 68839.509
AT ITER 6472 NEW BEST:: SOT 302661 SOS 94463 HAS SOPS 94463 HAS SOUS 68716 HAS SOUPS 68716 WITH SCORE 68810.463
AT ITER 6481 NEW BEST:: SOT 302635 SOS 94091 HAS SOPS 94091 HAS SOUS 68542 HAS SOUPS 68542 WITH SCORE 68636.091
AT ITER 6488 NEW BEST:: SOT 302635 SOS 94068 HAS SOPS 94068 HAS SOUS 68519 HAS SOUPS 68519 WITH SCORE 68613.068
AT ITER 6515 NEW BEST:: SOT 302635 SOS 93897 HAS SOPS 93897 HAS SOUS 68519 HAS SOUPS 68519 WITH SCORE 68612.897
AT ITER 6548 NEW BEST:: SOT 302643 SOS 93922 HAS SOPS 93922 HAS SOUS 68404 HAS SOUPS 68404 WITH SCORE 68497.922
AT ITER 6550 NEW BEST:: SOT 302594 SOS 93824 HAS SOPS 93824 HAS SOUS 68355 HAS SOUPS 68355 WITH SCORE 68448.824
AT ITER 6569 NEW BEST:: SOT 302594 SOS 93820 HAS SOPS 93820 HAS SOUS 68351 HAS SOUPS 68351 WITH SCORE 68444.82
AT ITER 6575 NEW BEST:: SOT 302543 SOS 93769 HAS SOPS 93769 HAS SOUS 68351 HAS SOUPS 68351 WITH SCORE 68444.769
AT ITER 6579 NEW BEST:: SOT 302559 SOS 93783 HAS SOPS 93783 HAS SOUS 68347 HAS SOUPS 68347 WITH SCORE 68440.783
AT ITER 6580 NEW BEST:: SOT 302548 SOS 93772 HAS SOPS 93772 HAS SOUS 68336 HAS SOUPS 68336 WITH SCORE 68429.772
AT ITER 6584 NEW BEST:: SOT 302548 SOS 93772 HAS SOPS 93772 HAS SOUS 68333 HAS SOUPS 68333 WITH SCORE 68426.772
AT ITER 6588 NEW BEST:: SOT 302544 SOS 93710 HAS SOPS 93710 HAS SOUS 68325 HAS SOUPS 68325 WITH SCORE 68418.71
AT ITER 6601 NEW BEST:: SOT 302544 SOS 93710 HAS SOPS 93710 HAS SOUS 68292 HAS SOUPS 68292 WITH SCORE 68385.71
AT ITER 6619 NEW BEST:: SOT 302532 SOS 93686 HAS SOPS 93686 HAS SOUS 68268 HAS SOUPS 68268 WITH SCORE 68361.686
AT ITER 6622 NEW BEST:: SOT 302482 SOS 93586 HAS SOPS 93586 HAS SOUS 68168 HAS SOUPS 68168 WITH SCORE 68261.586
AT ITER 6629 NEW BEST:: SOT 302481 SOS 93583 HAS SOPS 93583 HAS SOUS 68165 HAS SOUPS 68165 WITH SCORE 68258.583
AT ITER 6635 NEW BEST:: SOT 302485 SOS 93582 HAS SOPS 93582 HAS SOUS 68164 HAS SOUPS 68164 WITH SCORE 68257.582
AT ITER 6663 NEW BEST:: SOT 302460 SOS 93532 HAS SOPS 93532 HAS SOUS 68114 HAS SOUPS 68114 WITH SCORE 68207.532
AT ITER 6667 NEW BEST:: SOT 302460 SOS 93520 HAS SOPS 93520 HAS SOUS 68090 HAS SOUPS 68090 WITH SCORE 68183.52
AT ITER 6677 NEW BEST:: SOT 302354 SOS 93520 HAS SOPS 93520 HAS SOUS 68087 HAS SOUPS 68087 WITH SCORE 68180.52
AT ITER 6702 NEW BEST:: SOT 302349 SOS 93510 HAS SOPS 93510 HAS SOUS 68077 HAS SOUPS 68077 WITH SCORE 68170.51
AT ITER 6711 NEW BEST:: SOT 302340 SOS 93492 HAS SOPS 93492 HAS SOUS 68059 HAS SOUPS 68059 WITH SCORE 68152.492
AT ITER 6726 NEW BEST:: SOT 302326 SOS 93403 HAS SOPS 93403 HAS SOUS 67970 HAS SOUPS 67970 WITH SCORE 68063.403
AT ITER 6758 NEW BEST:: SOT 302295 SOS 93402 HAS SOPS 93402 HAS SOUS 67969 HAS SOUPS 67969 WITH SCORE 68062.402
AT ITER 6761 NEW BEST:: SOT 302260 SOS 93360 HAS SOPS 93360 HAS SOUS 67953 HAS SOUPS 67953 WITH SCORE 68046.36
AT ITER 6780 NEW BEST:: SOT 302212 SOS 93345 HAS SOPS 93345 HAS SOUS 67905 HAS SOUPS 67905 WITH SCORE 67998.345
AT ITER 6816 NEW BEST:: SOT 301838 SOS 92971 HAS SOPS 92971 HAS SOUS 67694 HAS SOUPS 67694 WITH SCORE 67786.971
AT ITER 6833 NEW BEST:: SOT 301838 SOS 92953 HAS SOPS 92953 HAS SOUS 67658 HAS SOUPS 67658 WITH SCORE 67750.953
AT ITER 6835 NEW BEST:: SOT 301841 SOS 92921 HAS SOPS 92921 HAS SOUS 67623 HAS SOUPS 67623 WITH SCORE 67715.921
AT ITER 6845 NEW BEST:: SOT 301837 SOS 92917 HAS SOPS 92917 HAS SOUS 67619 HAS SOUPS 67619 WITH SCORE 67711.917
AT ITER 6855 NEW BEST:: SOT 301799 SOS 92879 HAS SOPS 92879 HAS SOUS 67603 HAS SOUPS 67603 WITH SCORE 67695.879
AT ITER 6938 NEW BEST:: SOT 301799 SOS 92829 HAS SOPS 92829 HAS SOUS 67553 HAS SOUPS 67553 WITH SCORE 67645.829
AT ITER 6948 NEW BEST:: SOT 301774 SOS 92779 HAS SOPS 92779 HAS SOUS 67503 HAS SOUPS 67503 WITH SCORE 67595.779
AT ITER 6962 NEW BEST:: SOT 301629 SOS 92634 HAS SOPS 92634 HAS SOUS 67438 HAS SOUPS 67438 WITH SCORE 67530.634
AT ITER 7007 NEW BEST:: SOT 301696 SOS 92563 HAS SOPS 92563 HAS SOUS 67367 HAS SOUPS 67367 WITH SCORE 67459.563
AT ITER 7034 NEW BEST:: SOT 301656 SOS 92483 HAS SOPS 92483 HAS SOUS 67287 HAS SOUPS 67287 WITH SCORE 67379.483
AT ITER 7050 NEW BEST:: SOT 301620 SOS 92532 HAS SOPS 92532 HAS SOUS 67256 HAS SOUPS 67256 WITH SCORE 67348.532
AT ITER 7055 NEW BEST:: SOT 301620 SOS 92532 HAS SOPS 92532 HAS SOUS 67252 HAS SOUPS 67252 WITH SCORE 67344.532
AT ITER 7099 NEW BEST:: SOT 301620 SOS 92532 HAS SOPS 92532 HAS SOUS 67226 HAS SOUPS 67226 WITH SCORE 67318.532
AT ITER 7127 NEW BEST:: SOT 301553 SOS 92504 HAS SOPS 92504 HAS SOUS 67198 HAS SOUPS 67198 WITH SCORE 67290.504
AT ITER 7138 NEW BEST:: SOT 301522 SOS 92442 HAS SOPS 92442 HAS SOUS 67136 HAS SOUPS 67136 WITH SCORE 67228.442
AT ITER 7148 NEW BEST:: SOT 301480 SOS 92400 HAS SOPS 92400 HAS SOUS 67052 HAS SOUPS 67052 WITH SCORE 67144.4
AT ITER 7160 NEW BEST:: SOT 301422 SOS 92385 HAS SOPS 92385 HAS SOUS 67037 HAS SOUPS 67037 WITH SCORE 67129.385
AT ITER 7171 NEW BEST:: SOT 301526 SOS 92489 HAS SOPS 92489 HAS SOUS 67035 HAS SOUPS 67035 WITH SCORE 67127.489
AT ITER 7173 NEW BEST:: SOT 301494 SOS 92457 HAS SOPS 92457 HAS SOUS 67003 HAS SOUPS 67003 WITH SCORE 67095.457
AT ITER 7174 NEW BEST:: SOT 301420 SOS 92309 HAS SOPS 92309 HAS SOUS 66855 HAS SOUPS 66855 WITH SCORE 66947.309
AT ITER 7182 NEW BEST:: SOT 301418 SOS 92283 HAS SOPS 92283 HAS SOUS 66829 HAS SOUPS 66829 WITH SCORE 66921.283
AT ITER 7186 NEW BEST:: SOT 301351 SOS 92088 HAS SOPS 92088 HAS SOUS 66738 HAS SOUPS 66738 WITH SCORE 66830.088
AT ITER 7235 NEW BEST:: SOT 301475 SOS 92145 HAS SOPS 92145 HAS SOUS 66651 HAS SOUPS 66651 WITH SCORE 66743.145
AT ITER 7252 NEW BEST:: SOT 301424 SOS 91992 HAS SOPS 91992 HAS SOUS 66498 HAS SOUPS 66498 WITH SCORE 66589.992
AT ITER 7264 NEW BEST:: SOT 301412 SOS 91988 HAS SOPS 91988 HAS SOUS 66494 HAS SOUPS 66494 WITH SCORE 66585.988
AT ITER 7268 NEW BEST:: SOT 301405 SOS 91981 HAS SOPS 91981 HAS SOUS 66487 HAS SOUPS 66487 WITH SCORE 66578.981
AT ITER 7271 NEW BEST:: SOT 301369 SOS 91940 HAS SOPS 91940 HAS SOUS 66446 HAS SOUPS 66446 WITH SCORE 66537.94
AT ITER 7283 NEW BEST:: SOT 301367 SOS 91938 HAS SOPS 91938 HAS SOUS 66398 HAS SOUPS 66398 WITH SCORE 66489.938
AT ITER 7298 NEW BEST:: SOT 301337 SOS 91863 HAS SOPS 91863 HAS SOUS 66368 HAS SOUPS 66368 WITH SCORE 66459.863
AT ITER 7299 NEW BEST:: SOT 301315 SOS 91825 HAS SOPS 91825 HAS SOUS 66330 HAS SOUPS 66330 WITH SCORE 66421.825
AT ITER 7302 NEW BEST:: SOT 301315 SOS 91825 HAS SOPS 91825 HAS SOUS 66313 HAS SOUPS 66313 WITH SCORE 66404.825
AT ITER 7318 NEW BEST:: SOT 301152 SOS 91817 HAS SOPS 91817 HAS SOUS 66305 HAS SOUPS 66305 WITH SCORE 66396.817
AT ITER 7327 NEW BEST:: SOT 301151 SOS 91815 HAS SOPS 91815 HAS SOUS 66303 HAS SOUPS 66303 WITH SCORE 66394.815
AT ITER 7339 NEW BEST:: SOT 301148 SOS 91791 HAS SOPS 91791 HAS SOUS 66279 HAS SOUPS 66279 WITH SCORE 66370.791
AT ITER 7347 NEW BEST:: SOT 301097 SOS 91651 HAS SOPS 91651 HAS SOUS 66139 HAS SOUPS 66139 WITH SCORE 66230.651
AT ITER 7375 NEW BEST:: SOT 301101 SOS 91640 HAS SOPS 91640 HAS SOUS 66128 HAS SOUPS 66128 WITH SCORE 66219.64
AT ITER 7391 NEW BEST:: SOT 301079 SOS 91595 HAS SOPS 91595 HAS SOUS 66103 HAS SOUPS 66103 WITH SCORE 66194.595
AT ITER 7394 NEW BEST:: SOT 301089 SOS 91635 HAS SOPS 91635 HAS SOUS 66095 HAS SOUPS 66095 WITH SCORE 66186.635
AT ITER 7494 NEW BEST:: SOT 301098 SOS 91556 HAS SOPS 91556 HAS SOUS 66016 HAS SOUPS 66016 WITH SCORE 66107.556
AT ITER 7502 NEW BEST:: SOT 301052 SOS 91470 HAS SOPS 91470 HAS SOUS 65930 HAS SOUPS 65930 WITH SCORE 66021.47
AT ITER 7513 NEW BEST:: SOT 300999 SOS 91417 HAS SOPS 91417 HAS SOUS 65877 HAS SOUPS 65877 WITH SCORE 65968.417
AT ITER 7522 NEW BEST:: SOT 300980 SOS 91316 HAS SOPS 91316 HAS SOUS 65776 HAS SOUPS 65776 WITH SCORE 65867.316
AT ITER 7547 NEW BEST:: SOT 300863 SOS 91237 HAS SOPS 91237 HAS SOUS 65708 HAS SOUPS 65708 WITH SCORE 65799.237
AT ITER 7548 NEW BEST:: SOT 300839 SOS 91201 HAS SOPS 91201 HAS SOUS 65672 HAS SOUPS 65672 WITH SCORE 65763.201
AT ITER 7594 NEW BEST:: SOT 300818 SOS 91159 HAS SOPS 91159 HAS SOUS 65630 HAS SOUPS 65630 WITH SCORE 65721.159
AT ITER 7610 NEW BEST:: SOT 300818 SOS 91094 HAS SOPS 91094 HAS SOUS 65565 HAS SOUPS 65565 WITH SCORE 65656.094
AT ITER 7617 NEW BEST:: SOT 300818 SOS 91077 HAS SOPS 91077 HAS SOUS 65531 HAS SOUPS 65531 WITH SCORE 65622.077
AT ITER 7645 NEW BEST:: SOT 300700 SOS 90975 HAS SOPS 90975 HAS SOUS 65480 HAS SOUPS 65480 WITH SCORE 65570.975
AT ITER 7750 NEW BEST:: SOT 300689 SOS 90953 HAS SOPS 90953 HAS SOUS 65458 HAS SOUPS 65458 WITH SCORE 65548.953
AT ITER 7776 NEW BEST:: SOT 300686 SOS 91040 HAS SOPS 91040 HAS SOUS 65452 HAS SOUPS 65452 WITH SCORE 65543.04
AT ITER 7786 NEW BEST:: SOT 300680 SOS 91028 HAS SOPS 91028 HAS SOUS 65446 HAS SOUPS 65446 WITH SCORE 65537.028
AT ITER 7788 NEW BEST:: SOT 300663 SOS 90994 HAS SOPS 90994 HAS SOUS 65444 HAS SOUPS 65444 WITH SCORE 65534.994
AT ITER 7792 NEW BEST:: SOT 300627 SOS 90884 HAS SOPS 90884 HAS SOUS 65334 HAS SOUPS 65334 WITH SCORE 65424.884
AT ITER 7820 NEW BEST:: SOT 300627 SOS 90807 HAS SOPS 90807 HAS SOUS 65309 HAS SOUPS 65309 WITH SCORE 65399.807
AT ITER 7823 NEW BEST:: SOT 300617 SOS 90784 HAS SOPS 90784 HAS SOUS 65296 HAS SOUPS 65296 WITH SCORE 65386.784
AT ITER 7836 NEW BEST:: SOT 300555 SOS 90598 HAS SOPS 90598 HAS SOUS 65172 HAS SOUPS 65172 WITH SCORE 65262.598
AT ITER 7838 NEW BEST:: SOT 300558 SOS 90595 HAS SOPS 90595 HAS SOUS 65169 HAS SOUPS 65169 WITH SCORE 65259.595
AT ITER 7840 NEW BEST:: SOT 300559 SOS 90592 HAS SOPS 90592 HAS SOUS 65166 HAS SOUPS 65166 WITH SCORE 65256.592
AT ITER 7881 NEW BEST:: SOT 300499 SOS 90582 HAS SOPS 90582 HAS SOUS 65046 HAS SOUPS 65046 WITH SCORE 65136.582
AT ITER 7916 NEW BEST:: SOT 300433 SOS 90450 HAS SOPS 90450 HAS SOUS 64914 HAS SOUPS 64914 WITH SCORE 65004.45
AT ITER 7955 NEW BEST:: SOT 300433 SOS 90449 HAS SOPS 90449 HAS SOUS 64913 HAS SOUPS 64913 WITH SCORE 65003.449
AT ITER 7958 NEW BEST:: SOT 300432 SOS 90315 HAS SOPS 90315 HAS SOUS 64911 HAS SOUPS 64911 WITH SCORE 65001.315
AT ITER 7967 NEW BEST:: SOT 300470 SOS 90315 HAS SOPS 90315 HAS SOUS 64907 HAS SOUPS 64907 WITH SCORE 64997.315
AT ITER 7971 NEW BEST:: SOT 300513 SOS 90247 HAS SOPS 90247 HAS SOUS 64839 HAS SOUPS 64839 WITH SCORE 64929.247
AT ITER 7997 NEW BEST:: SOT 300507 SOS 90235 HAS SOPS 90235 HAS SOUS 64827 HAS SOUPS 64827 WITH SCORE 64917.235
AT ITER 8006 NEW BEST:: SOT 300496 SOS 90230 HAS SOPS 90230 HAS SOUS 64822 HAS SOUPS 64822 WITH SCORE 64912.23
AT ITER 8014 NEW BEST:: SOT 300372 SOS 90034 HAS SOPS 90034 HAS SOUS 64626 HAS SOUPS 64626 WITH SCORE 64716.034
AT ITER 8029 NEW BEST:: SOT 300389 SOS 89748 HAS SOPS 89748 HAS SOUS 64563 HAS SOUPS 64563 WITH SCORE 64652.748
AT ITER 8036 NEW BEST:: SOT 300241 SOS 89497 HAS SOPS 89497 HAS SOUS 64312 HAS SOUPS 64312 WITH SCORE 64401.497
AT ITER 8045 NEW BEST:: SOT 300241 SOS 89411 HAS SOPS 89411 HAS SOUS 64226 HAS SOUPS 64226 WITH SCORE 64315.411
AT ITER 8070 NEW BEST:: SOT 300512 SOS 89666 HAS SOPS 89666 HAS SOUS 64194 HAS SOUPS 64194 WITH SCORE 64283.666
AT ITER 8108 NEW BEST:: SOT 300512 SOS 89662 HAS SOPS 89662 HAS SOUS 64190 HAS SOUPS 64190 WITH SCORE 64279.662
AT ITER 8120 NEW BEST:: SOT 300509 SOS 89656 HAS SOPS 89656 HAS SOUS 64184 HAS SOUPS 64184 WITH SCORE 64273.656
AT ITER 8128 NEW BEST:: SOT 300493 SOS 89640 HAS SOPS 89640 HAS SOUS 64168 HAS SOUPS 64168 WITH SCORE 64257.64
AT ITER 8134 NEW BEST:: SOT 300426 SOS 89542 HAS SOPS 89542 HAS SOUS 64070 HAS SOUPS 64070 WITH SCORE 64159.542
AT ITER 8151 NEW BEST:: SOT 300420 SOS 89542 HAS SOPS 89542 HAS SOUS 64064 HAS SOUPS 64064 WITH SCORE 64153.542
AT ITER 8181 NEW BEST:: SOT 300403 SOS 89525 HAS SOPS 89525 HAS SOUS 64047 HAS SOUPS 64047 WITH SCORE 64136.525
AT ITER 8221 NEW BEST:: SOT 300387 SOS 89509 HAS SOPS 89509 HAS SOUS 64031 HAS SOUPS 64031 WITH SCORE 64120.509
AT ITER 8226 NEW BEST:: SOT 300429 SOS 89467 HAS SOPS 89467 HAS SOUS 63949 HAS SOUPS 63949 WITH SCORE 64038.467
AT ITER 8307 NEW BEST:: SOT 300427 SOS 89434 HAS SOPS 89434 HAS SOUS 63916 HAS SOUPS 63916 WITH SCORE 64005.434
AT ITER 8312 NEW BEST:: SOT 300462 SOS 89337 HAS SOPS 89337 HAS SOUS 63819 HAS SOUPS 63819 WITH SCORE 63908.337
AT ITER 8326 NEW BEST:: SOT 300448 SOS 89329 HAS SOPS 89329 HAS SOUS 63811 HAS SOUPS 63811 WITH SCORE 63900.329
AT ITER 8362 NEW BEST:: SOT 300388 SOS 89308 HAS SOPS 89308 HAS SOUS 63790 HAS SOUPS 63790 WITH SCORE 63879.308
AT ITER 8427 NEW BEST:: SOT 300379 SOS 89277 HAS SOPS 89277 HAS SOUS 63744 HAS SOUPS 63744 WITH SCORE 63833.277
AT ITER 8471 NEW BEST:: SOT 300351 SOS 89241 HAS SOPS 89241 HAS SOUS 63708 HAS SOUPS 63708 WITH SCORE 63797.241
AT ITER 8478 NEW BEST:: SOT 300342 SOS 89232 HAS SOPS 89232 HAS SOUS 63708 HAS SOUPS 63708 WITH SCORE 63797.232
AT ITER 8479 NEW BEST:: SOT 300272 SOS 89160 HAS SOPS 89160 HAS SOUS 63684 HAS SOUPS 63684 WITH SCORE 63773.16
AT ITER 8485 NEW BEST:: SOT 300271 SOS 89043 HAS SOPS 89043 HAS SOUS 63579 HAS SOUPS 63579 WITH SCORE 63668.043
AT ITER 8563 NEW BEST:: SOT 300282 SOS 89043 HAS SOPS 89043 HAS SOUS 63568 HAS SOUPS 63568 WITH SCORE 63657.043
AT ITER 8658 NEW BEST:: SOT 300273 SOS 89025 HAS SOPS 89025 HAS SOUS 63550 HAS SOUPS 63550 WITH SCORE 63639.025
AT ITER 8662 NEW BEST:: SOT 300243 SOS 88961 HAS SOPS 88961 HAS SOUS 63486 HAS SOUPS 63486 WITH SCORE 63574.961
AT ITER 8689 NEW BEST:: SOT 300243 SOS 88961 HAS SOPS 88961 HAS SOUS 63469 HAS SOUPS 63469 WITH SCORE 63557.961
AT ITER 8691 NEW BEST:: SOT 300235 SOS 88945 HAS SOPS 88945 HAS SOUS 63461 HAS SOUPS 63461 WITH SCORE 63549.945
AT ITER 8735 NEW BEST:: SOT 300218 SOS 88986 HAS SOPS 88986 HAS SOUS 63427 HAS SOUPS 63427 WITH SCORE 63515.986
AT ITER 8806 NEW BEST:: SOT 300213 SOS 88983 HAS SOPS 88983 HAS SOUS 63424 HAS SOUPS 63424 WITH SCORE 63512.983
AT ITER 8853 NEW BEST:: SOT 300211 SOS 88981 HAS SOPS 88981 HAS SOUS 63422 HAS SOUPS 63422 WITH SCORE 63510.981
AT ITER 8862 NEW BEST:: SOT 300130 SOS 88873 HAS SOPS 88873 HAS SOUS 63314 HAS SOUPS 63314 WITH SCORE 63402.873
AT ITER 8874 NEW BEST:: SOT 300126 SOS 88869 HAS SOPS 88869 HAS SOUS 63310 HAS SOUPS 63310 WITH SCORE 63398.869
AT ITER 8876 NEW BEST:: SOT 300112 SOS 88863 HAS SOPS 88863 HAS SOUS 63304 HAS SOUPS 63304 WITH SCORE 63392.863
AT ITER 8904 NEW BEST:: SOT 300016 SOS 88772 HAS SOPS 88772 HAS SOUS 63304 HAS SOUPS 63304 WITH SCORE 63392.772
AT ITER 8905 NEW BEST:: SOT 299841 SOS 88581 HAS SOPS 88581 HAS SOUS 63253 HAS SOUPS 63253 WITH SCORE 63341.581
AT ITER 8927 NEW BEST:: SOT 299859 SOS 88297 HAS SOPS 88297 HAS SOUS 63176 HAS SOUPS 63176 WITH SCORE 63264.297
AT ITER 8933 NEW BEST:: SOT 299832 SOS 88270 HAS SOPS 88270 HAS SOUS 63149 HAS SOUPS 63149 WITH SCORE 63237.27
AT ITER 8957 NEW BEST:: SOT 299795 SOS 88233 HAS SOPS 88233 HAS SOUS 63112 HAS SOUPS 63112 WITH SCORE 63200.233
AT ITER 9010 NEW BEST:: SOT 299787 SOS 88225 HAS SOPS 88225 HAS SOUS 63104 HAS SOUPS 63104 WITH SCORE 63192.225
AT ITER 9021 NEW BEST:: SOT 299755 SOS 88285 HAS SOPS 88285 HAS SOUS 63072 HAS SOUPS 63072 WITH SCORE 63160.285
AT ITER 9027 NEW BEST:: SOT 299722 SOS 88281 HAS SOPS 88281 HAS SOUS 63068 HAS SOUPS 63068 WITH SCORE 63156.281
AT ITER 9067 NEW BEST:: SOT 299705 SOS 88240 HAS SOPS 88240 HAS SOUS 63051 HAS SOUPS 63051 WITH SCORE 63139.24
AT ITER 9071 NEW BEST:: SOT 299705 SOS 88240 HAS SOPS 88240 HAS SOUS 63049 HAS SOUPS 63049 WITH SCORE 63137.24
AT ITER 9080 NEW BEST:: SOT 299702 SOS 88234 HAS SOPS 88234 HAS SOUS 62993 HAS SOUPS 62993 WITH SCORE 63081.234
AT ITER 9081 NEW BEST:: SOT 299688 SOS 88206 HAS SOPS 88206 HAS SOUS 62965 HAS SOUPS 62965 WITH SCORE 63053.206
AT ITER 9082 NEW BEST:: SOT 299660 SOS 88150 HAS SOPS 88150 HAS SOUS 62909 HAS SOUPS 62909 WITH SCORE 62997.15
AT ITER 9117 NEW BEST:: SOT 299662 SOS 88119 HAS SOPS 88119 HAS SOUS 62878 HAS SOUPS 62878 WITH SCORE 62966.119
AT ITER 9124 NEW BEST:: SOT 299662 SOS 88099 HAS SOPS 88099 HAS SOUS 62838 HAS SOUPS 62838 WITH SCORE 62926.099
AT ITER 9179 NEW BEST:: SOT 299645 SOS 88082 HAS SOPS 88082 HAS SOUS 62838 HAS SOUPS 62838 WITH SCORE 62926.082
AT ITER 9203 NEW BEST:: SOT 299645 SOS 88070 HAS SOPS 88070 HAS SOUS 62837 HAS SOUPS 62837 WITH SCORE 62925.07
AT ITER 9213 NEW BEST:: SOT 299617 SOS 88044 HAS SOPS 88044 HAS SOUS 62835 HAS SOUPS 62835 WITH SCORE 62923.044
AT ITER 9226 NEW BEST:: SOT 299617 SOS 87916 HAS SOPS 87916 HAS SOUS 62707 HAS SOUPS 62707 WITH SCORE 62794.916
AT ITER 9269 NEW BEST:: SOT 299614 SOS 87901 HAS SOPS 87901 HAS SOUS 62692 HAS SOUPS 62692 WITH SCORE 62779.901
AT ITER 9285 NEW BEST:: SOT 299555 SOS 87718 HAS SOPS 87718 HAS SOUS 62509 HAS SOUPS 62509 WITH SCORE 62596.718
AT ITER 9294 NEW BEST:: SOT 299536 SOS 87699 HAS SOPS 87699 HAS SOUS 62490 HAS SOUPS 62490 WITH SCORE 62577.699
AT ITER 9308 NEW BEST:: SOT 299515 SOS 89004 HAS SOPS 89004 HAS SOUS 62485 HAS SOUPS 62485 WITH SCORE 62574.004
AT ITER 9316 NEW BEST:: SOT 299486 SOS 88946 HAS SOPS 88946 HAS SOUS 62262 HAS SOUPS 62262 WITH SCORE 62350.946
AT ITER 9324 NEW BEST:: SOT 299489 SOS 88934 HAS SOPS 88934 HAS SOUS 62250 HAS SOUPS 62250 WITH SCORE 62338.934
AT ITER 9334 NEW BEST:: SOT 299489 SOS 88976 HAS SOPS 88976 HAS SOUS 62246 HAS SOUPS 62246 WITH SCORE 62334.976
AT ITER 9360 NEW BEST:: SOT 299486 SOS 88975 HAS SOPS 88975 HAS SOUS 62245 HAS SOUPS 62245 WITH SCORE 62333.975
AT ITER 9371 NEW BEST:: SOT 299479 SOS 88962 HAS SOPS 88962 HAS SOUS 62232 HAS SOUPS 62232 WITH SCORE 62320.962
AT ITER 9377 NEW BEST:: SOT 299476 SOS 88956 HAS SOPS 88956 HAS SOUS 62226 HAS SOUPS 62226 WITH SCORE 62314.956
AT ITER 9385 NEW BEST:: SOT 299473 SOS 88951 HAS SOPS 88951 HAS SOUS 62217 HAS SOUPS 62217 WITH SCORE 62305.951
AT ITER 9394 NEW BEST:: SOT 299482 SOS 88946 HAS SOPS 88946 HAS SOUS 62212 HAS SOUPS 62212 WITH SCORE 62300.946
AT ITER 9399 NEW BEST:: SOT 299584 SOS 88944 HAS SOPS 88944 HAS SOUS 62210 HAS SOUPS 62210 WITH SCORE 62298.944
AT ITER 9414 NEW BEST:: SOT 299669 SOS 88927 HAS SOPS 88927 HAS SOUS 62193 HAS SOUPS 62193 WITH SCORE 62281.927
AT ITER 9417 NEW BEST:: SOT 299661 SOS 88919 HAS SOPS 88919 HAS SOUS 62185 HAS SOUPS 62185 WITH SCORE 62273.919
AT ITER 9530 NEW BEST:: SOT 299573 SOS 88831 HAS SOPS 88831 HAS SOUS 62097 HAS SOUPS 62097 WITH SCORE 62185.831
AT ITER 9568 NEW BEST:: SOT 299538 SOS 88809 HAS SOPS 88809 HAS SOUS 62075 HAS SOUPS 62075 WITH SCORE 62163.809
AT ITER 9574 NEW BEST:: SOT 299529 SOS 88800 HAS SOPS 88800 HAS SOUS 62066 HAS SOUPS 62066 WITH SCORE 62154.8
AT ITER 9611 NEW BEST:: SOT 299529 SOS 88800 HAS SOPS 88800 HAS SOUS 62002 HAS SOUPS 62002 WITH SCORE 62090.8
AT ITER 9638 NEW BEST:: SOT 299477 SOS 88748 HAS SOPS 88748 HAS SOUS 61950 HAS SOUPS 61950 WITH SCORE 62038.748
AT ITER 9641 NEW BEST:: SOT 299487 SOS 88598 HAS SOPS 88598 HAS SOUS 61920 HAS SOUPS 61920 WITH SCORE 62008.598
AT ITER 9663 NEW BEST:: SOT 299420 SOS 88531 HAS SOPS 88531 HAS SOUS 61853 HAS SOUPS 61853 WITH SCORE 61941.531
AT ITER 9716 NEW BEST:: SOT 299391 SOS 88473 HAS SOPS 88473 HAS SOUS 61795 HAS SOUPS 61795 WITH SCORE 61883.473
AT ITER 9727 NEW BEST:: SOT 299417 SOS 88387 HAS SOPS 88387 HAS SOUS 61787 HAS SOUPS 61787 WITH SCORE 61875.387
AT ITER 9782 NEW BEST:: SOT 299393 SOS 88306 HAS SOPS 88306 HAS SOUS 61702 HAS SOUPS 61702 WITH SCORE 61790.306
AT ITER 9834 NEW BEST:: SOT 299393 SOS 88306 HAS SOPS 88306 HAS SOUS 61644 HAS SOUPS 61644 WITH SCORE 61732.306
AT ITER 9837 NEW BEST:: SOT 299393 SOS 88282 HAS SOPS 88282 HAS SOUS 61620 HAS SOUPS 61620 WITH SCORE 61708.282
AT ITER 9864 NEW BEST:: SOT 299386 SOS 88268 HAS SOPS 88268 HAS SOUS 61606 HAS SOUPS 61606 WITH SCORE 61694.268
AT ITER 9957 NEW BEST:: SOT 299279 SOS 88068 HAS SOPS 88068 HAS SOUS 61552 HAS SOUPS 61552 WITH SCORE 61640.068
AT ITER 9996 NEW BEST:: SOT 299242 SOS 88031 HAS SOPS 88031 HAS SOUS 61515 HAS SOUPS 61515 WITH SCORE 61603.031

BK_TIME_CONFINEMENT_REACHED

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

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="BusinessProcesses-PT-20"
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 BusinessProcesses-PT-20, 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 r018-oct2-158897680200608"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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