Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r035-tajo-167813688300504.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
...................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is BusinessProcesses-PT-07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r035-tajo-167813688300504
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 532K
-rw-r--r-- 1 mcc users 8.4K Feb 25 16:44 CTLCardinality.txt
-rw-r--r-- 1 mcc users 96K Feb 25 16:44 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.5K Feb 25 16:42 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 16:42 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 15:38 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:38 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 15:38 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.9K Feb 25 16:44 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 16:44 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.4K Feb 25 16:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 62K Feb 25 16:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:38 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 15:38 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 100K Mar 5 18:22 model.pnml

--------------------
content from stdout:

=== Data for post analysis generated by BenchKit (invocation template)

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678469489067

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=BusinessProcesses-PT-07
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BusinessProcesses (PT), instance 07
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 386 places, 360 transitions, 1110 arcs.
AT ITER 0 NEW BEST:: SOT 89715 SOS 36715 HAS SOPS 36715 HAS SOUS 34995 HAS SOUPS 34995 WITH SCORE 35031.715
AT ITER 7 NEW BEST:: SOT 89663 SOS 36663 HAS SOPS 36663 HAS SOUS 34940 HAS SOUPS 34940 WITH SCORE 34976.663
AT ITER 13 NEW BEST:: SOT 89663 SOS 36637 HAS SOPS 36637 HAS SOUS 34914 HAS SOUPS 34914 WITH SCORE 34950.637
AT ITER 21 NEW BEST:: SOT 89586 SOS 36544 HAS SOPS 36544 HAS SOUS 34821 HAS SOUPS 34821 WITH SCORE 34857.544
AT ITER 29 NEW BEST:: SOT 89548 SOS 36506 HAS SOPS 36506 HAS SOUS 34783 HAS SOUPS 34783 WITH SCORE 34819.506
AT ITER 31 NEW BEST:: SOT 89548 SOS 36216 HAS SOPS 36216 HAS SOUS 34747 HAS SOUPS 34747 WITH SCORE 34783.216
AT ITER 35 NEW BEST:: SOT 89547 SOS 36214 HAS SOPS 36214 HAS SOUS 34745 HAS SOUPS 34745 WITH SCORE 34781.214
AT ITER 36 NEW BEST:: SOT 89547 SOS 36214 HAS SOPS 36214 HAS SOUS 34744 HAS SOUPS 34744 WITH SCORE 34780.214
AT ITER 45 NEW BEST:: SOT 89547 SOS 36166 HAS SOPS 36166 HAS SOUS 34696 HAS SOUPS 34696 WITH SCORE 34732.166
AT ITER 49 NEW BEST:: SOT 89504 SOS 36123 HAS SOPS 36123 HAS SOUS 34653 HAS SOUPS 34653 WITH SCORE 34689.123
AT ITER 62 NEW BEST:: SOT 89503 SOS 36121 HAS SOPS 36121 HAS SOUS 34651 HAS SOUPS 34651 WITH SCORE 34687.121
AT ITER 70 NEW BEST:: SOT 87705 SOS 42005 HAS SOPS 42005 HAS SOUS 33053 HAS SOUPS 33053 WITH SCORE 33095.005
AT ITER 81 NEW BEST:: SOT 87817 SOS 41850 HAS SOPS 41850 HAS SOUS 33044 HAS SOUPS 33044 WITH SCORE 33085.85
AT ITER 92 NEW BEST:: SOT 87809 SOS 41842 HAS SOPS 41842 HAS SOUS 33036 HAS SOUPS 33036 WITH SCORE 33077.842
AT ITER 98 NEW BEST:: SOT 87709 SOS 41651 HAS SOPS 41651 HAS SOUS 32952 HAS SOUPS 32952 WITH SCORE 32993.651
AT ITER 101 NEW BEST:: SOT 87695 SOS 41636 HAS SOPS 41636 HAS SOUS 32950 HAS SOUPS 32950 WITH SCORE 32991.636
AT ITER 113 NEW BEST:: SOT 87625 SOS 41559 HAS SOPS 41559 HAS SOUS 32908 HAS SOUPS 32908 WITH SCORE 32949.559
AT ITER 119 NEW BEST:: SOT 87564 SOS 41437 HAS SOPS 41437 HAS SOUS 32846 HAS SOUPS 32846 WITH SCORE 32887.437
AT ITER 125 NEW BEST:: SOT 87543 SOS 41327 HAS SOPS 41327 HAS SOUS 32670 HAS SOUPS 32670 WITH SCORE 32711.327
AT ITER 128 NEW BEST:: SOT 87498 SOS 41282 HAS SOPS 41282 HAS SOUS 32625 HAS SOUPS 32625 WITH SCORE 32666.282
AT ITER 133 NEW BEST:: SOT 87447 SOS 41231 HAS SOPS 41231 HAS SOUS 32622 HAS SOUPS 32622 WITH SCORE 32663.231
AT ITER 147 NEW BEST:: SOT 87446 SOS 41230 HAS SOPS 41230 HAS SOUS 32621 HAS SOUPS 32621 WITH SCORE 32662.23
AT ITER 148 NEW BEST:: SOT 87389 SOS 41115 HAS SOPS 41115 HAS SOUS 32588 HAS SOUPS 32588 WITH SCORE 32629.115
AT ITER 154 NEW BEST:: SOT 87321 SOS 41046 HAS SOPS 41046 HAS SOUS 32519 HAS SOUPS 32519 WITH SCORE 32560.046
AT ITER 157 NEW BEST:: SOT 87235 SOS 40874 HAS SOPS 40874 HAS SOUS 32412 HAS SOUPS 32412 WITH SCORE 32452.874
AT ITER 159 NEW BEST:: SOT 87195 SOS 40844 HAS SOPS 40844 HAS SOUS 32382 HAS SOUPS 32382 WITH SCORE 32422.844
AT ITER 162 NEW BEST:: SOT 85288 SOS 39372 HAS SOPS 39372 HAS SOUS 30517 HAS SOUPS 30517 WITH SCORE 30556.372
AT ITER 167 NEW BEST:: SOT 85287 SOS 39370 HAS SOPS 39370 HAS SOUS 30515 HAS SOUPS 30515 WITH SCORE 30554.37
AT ITER 169 NEW BEST:: SOT 85249 SOS 39370 HAS SOPS 39370 HAS SOUS 30496 HAS SOUPS 30496 WITH SCORE 30535.37
AT ITER 173 NEW BEST:: SOT 85234 SOS 39340 HAS SOPS 39340 HAS SOUS 30466 HAS SOUPS 30466 WITH SCORE 30505.34
AT ITER 178 NEW BEST:: SOT 85210 SOS 39316 HAS SOPS 39316 HAS SOUS 30442 HAS SOUPS 30442 WITH SCORE 30481.316
AT ITER 197 NEW BEST:: SOT 84572 SOS 39352 HAS SOPS 39352 HAS SOUS 30137 HAS SOUPS 30137 WITH SCORE 30176.352
AT ITER 200 NEW BEST:: SOT 84548 SOS 39328 HAS SOPS 39328 HAS SOUS 30136 HAS SOUPS 30136 WITH SCORE 30175.328
AT ITER 218 NEW BEST:: SOT 84535 SOS 39201 HAS SOPS 39201 HAS SOUS 30009 HAS SOUPS 30009 WITH SCORE 30048.201
AT ITER 228 NEW BEST:: SOT 84450 SOS 39117 HAS SOPS 39117 HAS SOUS 29982 HAS SOUPS 29982 WITH SCORE 30021.117
AT ITER 233 NEW BEST:: SOT 84279 SOS 38797 HAS SOPS 38797 HAS SOUS 29813 HAS SOUPS 29813 WITH SCORE 29851.797
AT ITER 253 NEW BEST:: SOT 84245 SOS 38763 HAS SOPS 38763 HAS SOUS 29813 HAS SOUPS 29813 WITH SCORE 29851.763
AT ITER 268 NEW BEST:: SOT 84237 SOS 38774 HAS SOPS 38774 HAS SOUS 29797 HAS SOUPS 29797 WITH SCORE 29835.774
AT ITER 284 NEW BEST:: SOT 84235 SOS 38854 HAS SOPS 38854 HAS SOUS 29795 HAS SOUPS 29795 WITH SCORE 29833.854
AT ITER 289 NEW BEST:: SOT 84233 SOS 38847 HAS SOPS 38847 HAS SOUS 29794 HAS SOUPS 29794 WITH SCORE 29832.847
AT ITER 294 NEW BEST:: SOT 84233 SOS 38835 HAS SOPS 38835 HAS SOUS 29782 HAS SOUPS 29782 WITH SCORE 29820.835
AT ITER 297 NEW BEST:: SOT 84222 SOS 38796 HAS SOPS 38796 HAS SOUS 29760 HAS SOUPS 29760 WITH SCORE 29798.796
AT ITER 313 NEW BEST:: SOT 84201 SOS 38754 HAS SOPS 38754 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29777.754
AT ITER 315 NEW BEST:: SOT 84201 SOS 38753 HAS SOPS 38753 HAS SOUS 29739 HAS SOUPS 29739 WITH SCORE 29777.753
AT ITER 326 NEW BEST:: SOT 84201 SOS 38744 HAS SOPS 38744 HAS SOUS 29730 HAS SOUPS 29730 WITH SCORE 29768.744
AT ITER 332 NEW BEST:: SOT 84143 SOS 38628 HAS SOPS 38628 HAS SOUS 29714 HAS SOUPS 29714 WITH SCORE 29752.628
AT ITER 335 NEW BEST:: SOT 84175 SOS 38506 HAS SOPS 38506 HAS SOUS 29699 HAS SOUPS 29699 WITH SCORE 29737.506
AT ITER 336 NEW BEST:: SOT 84169 SOS 38481 HAS SOPS 38481 HAS SOUS 29552 HAS SOUPS 29552 WITH SCORE 29590.481
AT ITER 338 NEW BEST:: SOT 84104 SOS 38385 HAS SOPS 38385 HAS SOUS 29490 HAS SOUPS 29490 WITH SCORE 29528.385
AT ITER 355 NEW BEST:: SOT 84107 SOS 38410 HAS SOPS 38410 HAS SOUS 29489 HAS SOUPS 29489 WITH SCORE 29527.41
AT ITER 358 NEW BEST:: SOT 84144 SOS 38257 HAS SOPS 38257 HAS SOUS 29420 HAS SOUPS 29420 WITH SCORE 29458.257
AT ITER 360 NEW BEST:: SOT 84062 SOS 38093 HAS SOPS 38093 HAS SOUS 29256 HAS SOUPS 29256 WITH SCORE 29294.093
AT ITER 372 NEW BEST:: SOT 84043 SOS 38050 HAS SOPS 38050 HAS SOUS 29213 HAS SOUPS 29213 WITH SCORE 29251.05
AT ITER 393 NEW BEST:: SOT 84035 SOS 38040 HAS SOPS 38040 HAS SOUS 29203 HAS SOUPS 29203 WITH SCORE 29241.04
AT ITER 407 NEW BEST:: SOT 83924 SOS 37929 HAS SOPS 37929 HAS SOUS 29092 HAS SOUPS 29092 WITH SCORE 29129.929
AT ITER 416 NEW BEST:: SOT 83896 SOS 37887 HAS SOPS 37887 HAS SOUS 29053 HAS SOUPS 29053 WITH SCORE 29090.887
AT ITER 425 NEW BEST:: SOT 83759 SOS 37663 HAS SOPS 37663 HAS SOUS 28829 HAS SOUPS 28829 WITH SCORE 28866.663
AT ITER 437 NEW BEST:: SOT 82822 SOS 36689 HAS SOPS 36689 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27951.689
AT ITER 441 NEW BEST:: SOT 82822 SOS 36682 HAS SOPS 36682 HAS SOUS 27915 HAS SOUPS 27915 WITH SCORE 27951.682
AT ITER 448 NEW BEST:: SOT 82857 SOS 36589 HAS SOPS 36589 HAS SOUS 27756 HAS SOUPS 27756 WITH SCORE 27792.589
AT ITER 473 NEW BEST:: SOT 82857 SOS 36582 HAS SOPS 36582 HAS SOUS 27749 HAS SOUPS 27749 WITH SCORE 27785.582
AT ITER 481 NEW BEST:: SOT 82795 SOS 36436 HAS SOPS 36436 HAS SOUS 27687 HAS SOUPS 27687 WITH SCORE 27723.436
AT ITER 485 NEW BEST:: SOT 82738 SOS 36321 HAS SOPS 36321 HAS SOUS 27607 HAS SOUPS 27607 WITH SCORE 27643.321
AT ITER 495 NEW BEST:: SOT 82730 SOS 36313 HAS SOPS 36313 HAS SOUS 27599 HAS SOUPS 27599 WITH SCORE 27635.313
AT ITER 511 NEW BEST:: SOT 82733 SOS 36307 HAS SOPS 36307 HAS SOUS 27599 HAS SOUPS 27599 WITH SCORE 27635.307
AT ITER 512 NEW BEST:: SOT 82708 SOS 36181 HAS SOPS 36181 HAS SOUS 27473 HAS SOUPS 27473 WITH SCORE 27509.181
AT ITER 528 NEW BEST:: SOT 82695 SOS 36168 HAS SOPS 36168 HAS SOUS 27460 HAS SOUPS 27460 WITH SCORE 27496.168
AT ITER 530 NEW BEST:: SOT 82648 SOS 36127 HAS SOPS 36127 HAS SOUS 27419 HAS SOUPS 27419 WITH SCORE 27455.127
AT ITER 545 NEW BEST:: SOT 82622 SOS 36088 HAS SOPS 36088 HAS SOUS 27380 HAS SOUPS 27380 WITH SCORE 27416.088
AT ITER 548 NEW BEST:: SOT 82557 SOS 36028 HAS SOPS 36028 HAS SOUS 27320 HAS SOUPS 27320 WITH SCORE 27356.028
AT ITER 551 NEW BEST:: SOT 82540 SOS 35977 HAS SOPS 35977 HAS SOUS 27286 HAS SOUPS 27286 WITH SCORE 27321.977
AT ITER 555 NEW BEST:: SOT 82479 SOS 35888 HAS SOPS 35888 HAS SOUS 27255 HAS SOUPS 27255 WITH SCORE 27290.888
AT ITER 556 NEW BEST:: SOT 82479 SOS 35887 HAS SOPS 35887 HAS SOUS 27255 HAS SOUPS 27255 WITH SCORE 27290.887
AT ITER 574 NEW BEST:: SOT 82466 SOS 35874 HAS SOPS 35874 HAS SOUS 27242 HAS SOUPS 27242 WITH SCORE 27277.874
AT ITER 584 NEW BEST:: SOT 82470 SOS 35882 HAS SOPS 35882 HAS SOUS 27232 HAS SOUPS 27232 WITH SCORE 27267.882
AT ITER 585 NEW BEST:: SOT 82458 SOS 35857 HAS SOPS 35857 HAS SOUS 27207 HAS SOUPS 27207 WITH SCORE 27242.857
AT ITER 592 NEW BEST:: SOT 82447 SOS 35835 HAS SOPS 35835 HAS SOUS 27185 HAS SOUPS 27185 WITH SCORE 27220.835
AT ITER 597 NEW BEST:: SOT 82447 SOS 35720 HAS SOPS 35720 HAS SOUS 27070 HAS SOUPS 27070 WITH SCORE 27105.72
AT ITER 616 NEW BEST:: SOT 82425 SOS 35702 HAS SOPS 35702 HAS SOUS 27052 HAS SOUPS 27052 WITH SCORE 27087.702
AT ITER 620 NEW BEST:: SOT 82458 SOS 35735 HAS SOPS 35735 HAS SOUS 26965 HAS SOUPS 26965 WITH SCORE 27000.735
AT ITER 625 NEW BEST:: SOT 82618 SOS 35835 HAS SOPS 35835 HAS SOUS 26905 HAS SOUPS 26905 WITH SCORE 26940.835
AT ITER 634 NEW BEST:: SOT 82589 SOS 35827 HAS SOPS 35827 HAS SOUS 26897 HAS SOUPS 26897 WITH SCORE 26932.827
AT ITER 637 NEW BEST:: SOT 82589 SOS 35827 HAS SOPS 35827 HAS SOUS 26885 HAS SOUPS 26885 WITH SCORE 26920.827
AT ITER 662 NEW BEST:: SOT 82498 SOS 35320 HAS SOPS 35320 HAS SOUS 26555 HAS SOUPS 26555 WITH SCORE 26590.32
AT ITER 667 NEW BEST:: SOT 82462 SOS 35288 HAS SOPS 35288 HAS SOUS 26521 HAS SOUPS 26521 WITH SCORE 26556.288
AT ITER 669 NEW BEST:: SOT 82408 SOS 35207 HAS SOPS 35207 HAS SOUS 26462 HAS SOUPS 26462 WITH SCORE 26497.207
AT ITER 674 NEW BEST:: SOT 82404 SOS 35199 HAS SOPS 35199 HAS SOUS 26456 HAS SOUPS 26456 WITH SCORE 26491.199
AT ITER 717 NEW BEST:: SOT 82270 SOS 35079 HAS SOPS 35079 HAS SOUS 26384 HAS SOUPS 26384 WITH SCORE 26419.079
AT ITER 721 NEW BEST:: SOT 82251 SOS 34832 HAS SOPS 34832 HAS SOUS 26346 HAS SOUPS 26346 WITH SCORE 26380.832
AT ITER 730 NEW BEST:: SOT 81420 SOS 35497 HAS SOPS 35497 HAS SOUS 25845 HAS SOUPS 25845 WITH SCORE 25880.497
AT ITER 765 NEW BEST:: SOT 81321 SOS 35393 HAS SOPS 35393 HAS SOUS 25794 HAS SOUPS 25794 WITH SCORE 25829.393
AT ITER 766 NEW BEST:: SOT 81109 SOS 35084 HAS SOPS 35084 HAS SOUS 25600 HAS SOUPS 25600 WITH SCORE 25635.084
AT ITER 774 NEW BEST:: SOT 81105 SOS 34958 HAS SOPS 34958 HAS SOUS 25536 HAS SOUPS 25536 WITH SCORE 25570.958
AT ITER 777 NEW BEST:: SOT 81086 SOS 34939 HAS SOPS 34939 HAS SOUS 25517 HAS SOUPS 25517 WITH SCORE 25551.939
AT ITER 787 NEW BEST:: SOT 81048 SOS 34867 HAS SOPS 34867 HAS SOUS 25464 HAS SOUPS 25464 WITH SCORE 25498.867
AT ITER 803 NEW BEST:: SOT 80966 SOS 34741 HAS SOPS 34741 HAS SOUS 25409 HAS SOUPS 25409 WITH SCORE 25443.741
AT ITER 813 NEW BEST:: SOT 80915 SOS 34699 HAS SOPS 34699 HAS SOUS 25367 HAS SOUPS 25367 WITH SCORE 25401.699
AT ITER 817 NEW BEST:: SOT 80854 SOS 34638 HAS SOPS 34638 HAS SOUS 25367 HAS SOUPS 25367 WITH SCORE 25401.638
AT ITER 823 NEW BEST:: SOT 80854 SOS 34536 HAS SOPS 34536 HAS SOUS 25304 HAS SOUPS 25304 WITH SCORE 25338.536
AT ITER 840 NEW BEST:: SOT 80864 SOS 34546 HAS SOPS 34546 HAS SOUS 25301 HAS SOUPS 25301 WITH SCORE 25335.546
AT ITER 848 NEW BEST:: SOT 80860 SOS 34538 HAS SOPS 34538 HAS SOUS 25290 HAS SOUPS 25290 WITH SCORE 25324.538
AT ITER 865 NEW BEST:: SOT 80845 SOS 34508 HAS SOPS 34508 HAS SOUS 25275 HAS SOUPS 25275 WITH SCORE 25309.508
AT ITER 877 NEW BEST:: SOT 80843 SOS 34490 HAS SOPS 34490 HAS SOUS 25257 HAS SOUPS 25257 WITH SCORE 25291.49
AT ITER 882 NEW BEST:: SOT 80843 SOS 34226 HAS SOPS 34226 HAS SOUS 25145 HAS SOUPS 25145 WITH SCORE 25179.226
AT ITER 887 NEW BEST:: SOT 80838 SOS 34216 HAS SOPS 34216 HAS SOUS 25135 HAS SOUPS 25135 WITH SCORE 25169.216
AT ITER 891 NEW BEST:: SOT 80837 SOS 34214 HAS SOPS 34214 HAS SOUS 25135 HAS SOUPS 25135 WITH SCORE 25169.214
AT ITER 893 NEW BEST:: SOT 80724 SOS 34061 HAS SOPS 34061 HAS SOUS 25020 HAS SOUPS 25020 WITH SCORE 25054.061
AT ITER 894 NEW BEST:: SOT 80669 SOS 33996 HAS SOPS 33996 HAS SOUS 24953 HAS SOUPS 24953 WITH SCORE 24986.996
AT ITER 908 NEW BEST:: SOT 80199 SOS 34122 HAS SOPS 34122 HAS SOUS 24644 HAS SOUPS 24644 WITH SCORE 24678.122
AT ITER 910 NEW BEST:: SOT 80192 SOS 34108 HAS SOPS 34108 HAS SOUS 24630 HAS SOUPS 24630 WITH SCORE 24664.108
AT ITER 928 NEW BEST:: SOT 80230 SOS 34145 HAS SOPS 34145 HAS SOUS 24628 HAS SOUPS 24628 WITH SCORE 24662.145
AT ITER 947 NEW BEST:: SOT 80134 SOS 33630 HAS SOPS 33630 HAS SOUS 24284 HAS SOUPS 24284 WITH SCORE 24317.63
AT ITER 958 NEW BEST:: SOT 80108 SOS 33578 HAS SOPS 33578 HAS SOUS 24032 HAS SOUPS 24032 WITH SCORE 24065.578
AT ITER 961 NEW BEST:: SOT 80095 SOS 33570 HAS SOPS 33570 HAS SOUS 24024 HAS SOUPS 24024 WITH SCORE 24057.57
AT ITER 964 NEW BEST:: SOT 80102 SOS 33564 HAS SOPS 33564 HAS SOUS 24018 HAS SOUPS 24018 WITH SCORE 24051.564
AT ITER 971 NEW BEST:: SOT 80102 SOS 33502 HAS SOPS 33502 HAS SOUS 23995 HAS SOUPS 23995 WITH SCORE 24028.502
AT ITER 984 NEW BEST:: SOT 80096 SOS 33490 HAS SOPS 33490 HAS SOUS 23983 HAS SOUPS 23983 WITH SCORE 24016.49
AT ITER 991 NEW BEST:: SOT 80059 SOS 33443 HAS SOPS 33443 HAS SOUS 23936 HAS SOUPS 23936 WITH SCORE 23969.443
AT ITER 1002 NEW BEST:: SOT 80045 SOS 33415 HAS SOPS 33415 HAS SOUS 23908 HAS SOUPS 23908 WITH SCORE 23941.415
AT ITER 1031 NEW BEST:: SOT 80045 SOS 33392 HAS SOPS 33392 HAS SOUS 23885 HAS SOUPS 23885 WITH SCORE 23918.392
AT ITER 1037 NEW BEST:: SOT 80031 SOS 33378 HAS SOPS 33378 HAS SOUS 23871 HAS SOUPS 23871 WITH SCORE 23904.378
AT ITER 1038 NEW BEST:: SOT 79743 SOS 33188 HAS SOPS 33188 HAS SOUS 23611 HAS SOUPS 23611 WITH SCORE 23644.188
AT ITER 1052 NEW BEST:: SOT 79729 SOS 33174 HAS SOPS 33174 HAS SOUS 23595 HAS SOUPS 23595 WITH SCORE 23628.174
AT ITER 1061 NEW BEST:: SOT 79608 SOS 33053 HAS SOPS 33053 HAS SOUS 23474 HAS SOUPS 23474 WITH SCORE 23507.053
AT ITER 1073 NEW BEST:: SOT 79584 SOS 33029 HAS SOPS 33029 HAS SOUS 23474 HAS SOUPS 23474 WITH SCORE 23507.029
AT ITER 1077 NEW BEST:: SOT 79511 SOS 32915 HAS SOPS 32915 HAS SOUS 23360 HAS SOUPS 23360 WITH SCORE 23392.915
AT ITER 1078 NEW BEST:: SOT 79505 SOS 32903 HAS SOPS 32903 HAS SOUS 23348 HAS SOUPS 23348 WITH SCORE 23380.903
AT ITER 1083 NEW BEST:: SOT 79457 SOS 32844 HAS SOPS 32844 HAS SOUS 23289 HAS SOUPS 23289 WITH SCORE 23321.844
AT ITER 1089 NEW BEST:: SOT 79508 SOS 32890 HAS SOPS 32890 HAS SOUS 23279 HAS SOUPS 23279 WITH SCORE 23311.89
AT ITER 1103 NEW BEST:: SOT 79505 SOS 32883 HAS SOPS 32883 HAS SOUS 23272 HAS SOUPS 23272 WITH SCORE 23304.883
AT ITER 1107 NEW BEST:: SOT 79505 SOS 32725 HAS SOPS 32725 HAS SOUS 23114 HAS SOUPS 23114 WITH SCORE 23146.725
AT ITER 1108 NEW BEST:: SOT 79472 SOS 32700 HAS SOPS 32700 HAS SOUS 23089 HAS SOUPS 23089 WITH SCORE 23121.7
AT ITER 1119 NEW BEST:: SOT 79479 SOS 32702 HAS SOPS 32702 HAS SOUS 23081 HAS SOUPS 23081 WITH SCORE 23113.702
AT ITER 1122 NEW BEST:: SOT 79441 SOS 32623 HAS SOPS 32623 HAS SOUS 23002 HAS SOUPS 23002 WITH SCORE 23034.623
AT ITER 1131 NEW BEST:: SOT 79273 SOS 32391 HAS SOPS 32391 HAS SOUS 22861 HAS SOUPS 22861 WITH SCORE 22893.391
AT ITER 1146 NEW BEST:: SOT 79303 SOS 32329 HAS SOPS 32329 HAS SOUS 22799 HAS SOUPS 22799 WITH SCORE 22831.329
AT ITER 1153 NEW BEST:: SOT 79302 SOS 32327 HAS SOPS 32327 HAS SOUS 22797 HAS SOUPS 22797 WITH SCORE 22829.327
AT ITER 1166 NEW BEST:: SOT 79307 SOS 32301 HAS SOPS 32301 HAS SOUS 22771 HAS SOUPS 22771 WITH SCORE 22803.301
AT ITER 1176 NEW BEST:: SOT 79293 SOS 32063 HAS SOPS 32063 HAS SOUS 22743 HAS SOUPS 22743 WITH SCORE 22775.063
AT ITER 1177 NEW BEST:: SOT 79265 SOS 31619 HAS SOPS 31619 HAS SOUS 22687 HAS SOUPS 22687 WITH SCORE 22718.619
AT ITER 1179 NEW BEST:: SOT 79249 SOS 31587 HAS SOPS 31587 HAS SOUS 22655 HAS SOUPS 22655 WITH SCORE 22686.587
AT ITER 1181 NEW BEST:: SOT 79247 SOS 31548 HAS SOPS 31548 HAS SOUS 22616 HAS SOUPS 22616 WITH SCORE 22647.548
AT ITER 1197 NEW BEST:: SOT 79151 SOS 31354 HAS SOPS 31354 HAS SOUS 22532 HAS SOUPS 22532 WITH SCORE 22563.354
AT ITER 1220 NEW BEST:: SOT 79145 SOS 31348 HAS SOPS 31348 HAS SOUS 22526 HAS SOUPS 22526 WITH SCORE 22557.348
AT ITER 1222 NEW BEST:: SOT 78927 SOS 31138 HAS SOPS 31138 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22553.138
AT ITER 1229 NEW BEST:: SOT 78862 SOS 31073 HAS SOPS 31073 HAS SOUS 22522 HAS SOUPS 22522 WITH SCORE 22553.073
AT ITER 1238 NEW BEST:: SOT 78862 SOS 31074 HAS SOPS 31074 HAS SOUS 22518 HAS SOUPS 22518 WITH SCORE 22549.074
AT ITER 1270 NEW BEST:: SOT 78746 SOS 30928 HAS SOPS 30928 HAS SOUS 22447 HAS SOUPS 22447 WITH SCORE 22477.928
AT ITER 1271 NEW BEST:: SOT 78750 SOS 30930 HAS SOPS 30930 HAS SOUS 22446 HAS SOUPS 22446 WITH SCORE 22476.93
AT ITER 1275 NEW BEST:: SOT 78735 SOS 30899 HAS SOPS 30899 HAS SOUS 22430 HAS SOUPS 22430 WITH SCORE 22460.899
AT ITER 1277 NEW BEST:: SOT 78715 SOS 30901 HAS SOPS 30901 HAS SOUS 22410 HAS SOUPS 22410 WITH SCORE 22440.901
AT ITER 1309 NEW BEST:: SOT 78732 SOS 30916 HAS SOPS 30916 HAS SOUS 22408 HAS SOUPS 22408 WITH SCORE 22438.916
AT ITER 1341 NEW BEST:: SOT 78732 SOS 30916 HAS SOPS 30916 HAS SOUS 22371 HAS SOUPS 22371 WITH SCORE 22401.916
AT ITER 1370 NEW BEST:: SOT 78708 SOS 30914 HAS SOPS 30914 HAS SOUS 22352 HAS SOUPS 22352 WITH SCORE 22382.914
AT ITER 1376 NEW BEST:: SOT 78708 SOS 30992 HAS SOPS 30992 HAS SOUS 22351 HAS SOUPS 22351 WITH SCORE 22381.992
AT ITER 1386 NEW BEST:: SOT 78712 SOS 30991 HAS SOPS 30991 HAS SOUS 22350 HAS SOUPS 22350 WITH SCORE 22380.991
AT ITER 1387 NEW BEST:: SOT 78673 SOS 30832 HAS SOPS 30832 HAS SOUS 22340 HAS SOUPS 22340 WITH SCORE 22370.832
AT ITER 1398 NEW BEST:: SOT 78670 SOS 30828 HAS SOPS 30828 HAS SOUS 22338 HAS SOUPS 22338 WITH SCORE 22368.828
AT ITER 1412 NEW BEST:: SOT 78644 SOS 30808 HAS SOPS 30808 HAS SOUS 22309 HAS SOUPS 22309 WITH SCORE 22339.808
AT ITER 1418 NEW BEST:: SOT 78538 SOS 30687 HAS SOPS 30687 HAS SOUS 22251 HAS SOUPS 22251 WITH SCORE 22281.687
AT ITER 1426 NEW BEST:: SOT 78537 SOS 30686 HAS SOPS 30686 HAS SOUS 22249 HAS SOUPS 22249 WITH SCORE 22279.686
AT ITER 1435 NEW BEST:: SOT 78537 SOS 30583 HAS SOPS 30583 HAS SOUS 22203 HAS SOUPS 22203 WITH SCORE 22233.583
AT ITER 1444 NEW BEST:: SOT 78544 SOS 30518 HAS SOPS 30518 HAS SOUS 22138 HAS SOUPS 22138 WITH SCORE 22168.518
AT ITER 1448 NEW BEST:: SOT 78587 SOS 30560 HAS SOPS 30560 HAS SOUS 22135 HAS SOUPS 22135 WITH SCORE 22165.56
AT ITER 1461 NEW BEST:: SOT 78622 SOS 30595 HAS SOPS 30595 HAS SOUS 22126 HAS SOUPS 22126 WITH SCORE 22156.595
AT ITER 1482 NEW BEST:: SOT 78620 SOS 30591 HAS SOPS 30591 HAS SOUS 22122 HAS SOUPS 22122 WITH SCORE 22152.591
AT ITER 1502 NEW BEST:: SOT 78620 SOS 30608 HAS SOPS 30608 HAS SOUS 22105 HAS SOUPS 22105 WITH SCORE 22135.608
AT ITER 1509 NEW BEST:: SOT 78619 SOS 30606 HAS SOPS 30606 HAS SOUS 22103 HAS SOUPS 22103 WITH SCORE 22133.606
AT ITER 1513 NEW BEST:: SOT 78564 SOS 30551 HAS SOPS 30551 HAS SOUS 22010 HAS SOUPS 22010 WITH SCORE 22040.551
AT ITER 1525 NEW BEST:: SOT 78564 SOS 30538 HAS SOPS 30538 HAS SOUS 21997 HAS SOUPS 21997 WITH SCORE 22027.538
AT ITER 1528 NEW BEST:: SOT 78560 SOS 30534 HAS SOPS 30534 HAS SOUS 21993 HAS SOUPS 21993 WITH SCORE 22023.534
AT ITER 1529 NEW BEST:: SOT 78474 SOS 30472 HAS SOPS 30472 HAS SOUS 21796 HAS SOUPS 21796 WITH SCORE 21826.472
AT ITER 1530 NEW BEST:: SOT 78339 SOS 30271 HAS SOPS 30271 HAS SOUS 21744 HAS SOUPS 21744 WITH SCORE 21774.271
AT ITER 1532 NEW BEST:: SOT 78313 SOS 30228 HAS SOPS 30228 HAS SOUS 21711 HAS SOUPS 21711 WITH SCORE 21741.228
AT ITER 1539 NEW BEST:: SOT 78300 SOS 30189 HAS SOPS 30189 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21715.189
AT ITER 1541 NEW BEST:: SOT 78231 SOS 30120 HAS SOPS 30120 HAS SOUS 21685 HAS SOUPS 21685 WITH SCORE 21715.12
AT ITER 1543 NEW BEST:: SOT 78230 SOS 30119 HAS SOPS 30119 HAS SOUS 21684 HAS SOUPS 21684 WITH SCORE 21714.119
AT ITER 1550 NEW BEST:: SOT 78168 SOS 30110 HAS SOPS 30110 HAS SOUS 21675 HAS SOUPS 21675 WITH SCORE 21705.11
AT ITER 1565 NEW BEST:: SOT 78154 SOS 30077 HAS SOPS 30077 HAS SOUS 21621 HAS SOUPS 21621 WITH SCORE 21651.077
AT ITER 1571 NEW BEST:: SOT 78161 SOS 30084 HAS SOPS 30084 HAS SOUS 21620 HAS SOUPS 21620 WITH SCORE 21650.084
AT ITER 1583 NEW BEST:: SOT 78171 SOS 30080 HAS SOPS 30080 HAS SOUS 21616 HAS SOUPS 21616 WITH SCORE 21646.08
AT ITER 1622 NEW BEST:: SOT 78121 SOS 29951 HAS SOPS 29951 HAS SOUS 21590 HAS SOUPS 21590 WITH SCORE 21619.951
AT ITER 1639 NEW BEST:: SOT 78070 SOS 29829 HAS SOPS 29829 HAS SOUS 21522 HAS SOUPS 21522 WITH SCORE 21551.829
AT ITER 1644 NEW BEST:: SOT 78052 SOS 29811 HAS SOPS 29811 HAS SOUS 21464 HAS SOUPS 21464 WITH SCORE 21493.811
AT ITER 1651 NEW BEST:: SOT 78029 SOS 29765 HAS SOPS 29765 HAS SOUS 21418 HAS SOUPS 21418 WITH SCORE 21447.765
AT ITER 1663 NEW BEST:: SOT 77967 SOS 29703 HAS SOPS 29703 HAS SOUS 21356 HAS SOUPS 21356 WITH SCORE 21385.703
AT ITER 1709 NEW BEST:: SOT 77952 SOS 29685 HAS SOPS 29685 HAS SOUS 21338 HAS SOUPS 21338 WITH SCORE 21367.685
AT ITER 1719 NEW BEST:: SOT 77930 SOS 29676 HAS SOPS 29676 HAS SOUS 21328 HAS SOUPS 21328 WITH SCORE 21357.676
AT ITER 1723 NEW BEST:: SOT 77946 SOS 29685 HAS SOPS 29685 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21355.685
AT ITER 1742 NEW BEST:: SOT 77940 SOS 29679 HAS SOPS 29679 HAS SOUS 21326 HAS SOUPS 21326 WITH SCORE 21355.679
AT ITER 1746 NEW BEST:: SOT 77833 SOS 29393 HAS SOPS 29393 HAS SOUS 21040 HAS SOUPS 21040 WITH SCORE 21069.393
AT ITER 1763 NEW BEST:: SOT 77783 SOS 29234 HAS SOPS 29234 HAS SOUS 20976 HAS SOUPS 20976 WITH SCORE 21005.234
AT ITER 1769 NEW BEST:: SOT 77736 SOS 29187 HAS SOPS 29187 HAS SOUS 20929 HAS SOUPS 20929 WITH SCORE 20958.187
AT ITER 1772 NEW BEST:: SOT 77719 SOS 29170 HAS SOPS 29170 HAS SOUS 20912 HAS SOUPS 20912 WITH SCORE 20941.17
AT ITER 1779 NEW BEST:: SOT 77713 SOS 29102 HAS SOPS 29102 HAS SOUS 20844 HAS SOUPS 20844 WITH SCORE 20873.102
AT ITER 1783 NEW BEST:: SOT 77717 SOS 29110 HAS SOPS 29110 HAS SOUS 20796 HAS SOUPS 20796 WITH SCORE 20825.11
AT ITER 1791 NEW BEST:: SOT 77703 SOS 29106 HAS SOPS 29106 HAS SOUS 20792 HAS SOUPS 20792 WITH SCORE 20821.106
AT ITER 1792 NEW BEST:: SOT 77693 SOS 29096 HAS SOPS 29096 HAS SOUS 20782 HAS SOUPS 20782 WITH SCORE 20811.096
AT ITER 1819 NEW BEST:: SOT 77662 SOS 29061 HAS SOPS 29061 HAS SOUS 20778 HAS SOUPS 20778 WITH SCORE 20807.061
AT ITER 1831 NEW BEST:: SOT 77667 SOS 29055 HAS SOPS 29055 HAS SOUS 20772 HAS SOUPS 20772 WITH SCORE 20801.055
AT ITER 1835 NEW BEST:: SOT 77638 SOS 29027 HAS SOPS 29027 HAS SOUS 20744 HAS SOUPS 20744 WITH SCORE 20773.027
AT ITER 1850 NEW BEST:: SOT 77627 SOS 29016 HAS SOPS 29016 HAS SOUS 20733 HAS SOUPS 20733 WITH SCORE 20762.016
AT ITER 1861 NEW BEST:: SOT 77661 SOS 28971 HAS SOPS 28971 HAS SOUS 20723 HAS SOUPS 20723 WITH SCORE 20751.971
AT ITER 1862 NEW BEST:: SOT 77662 SOS 28973 HAS SOPS 28973 HAS SOUS 20707 HAS SOUPS 20707 WITH SCORE 20735.973
AT ITER 1865 NEW BEST:: SOT 77665 SOS 28964 HAS SOPS 28964 HAS SOUS 20698 HAS SOUPS 20698 WITH SCORE 20726.964
AT ITER 1887 NEW BEST:: SOT 77652 SOS 28925 HAS SOPS 28925 HAS SOUS 20672 HAS SOUPS 20672 WITH SCORE 20700.925
AT ITER 1898 NEW BEST:: SOT 77644 SOS 28923 HAS SOPS 28923 HAS SOUS 20670 HAS SOUPS 20670 WITH SCORE 20698.923
AT ITER 1952 NEW BEST:: SOT 77626 SOS 28887 HAS SOPS 28887 HAS SOUS 20662 HAS SOUPS 20662 WITH SCORE 20690.887
AT ITER 1960 NEW BEST:: SOT 77621 SOS 28882 HAS SOPS 28882 HAS SOUS 20657 HAS SOUPS 20657 WITH SCORE 20685.882
AT ITER 1980 NEW BEST:: SOT 77589 SOS 28845 HAS SOPS 28845 HAS SOUS 20620 HAS SOUPS 20620 WITH SCORE 20648.845
AT ITER 1996 NEW BEST:: SOT 77573 SOS 28816 HAS SOPS 28816 HAS SOUS 20569 HAS SOUPS 20569 WITH SCORE 20597.816
AT ITER 1997 NEW BEST:: SOT 77559 SOS 28801 HAS SOPS 28801 HAS SOUS 20554 HAS SOUPS 20554 WITH SCORE 20582.801
AT ITER 2006 NEW BEST:: SOT 77572 SOS 28813 HAS SOPS 28813 HAS SOUS 20552 HAS SOUPS 20552 WITH SCORE 20580.813
AT ITER 2027 NEW BEST:: SOT 77596 SOS 28776 HAS SOPS 28776 HAS SOUS 20515 HAS SOUPS 20515 WITH SCORE 20543.776
AT ITER 2058 NEW BEST:: SOT 77562 SOS 28700 HAS SOPS 28700 HAS SOUS 20439 HAS SOUPS 20439 WITH SCORE 20467.7
AT ITER 2062 NEW BEST:: SOT 77562 SOS 28602 HAS SOPS 28602 HAS SOUS 20428 HAS SOUPS 20428 WITH SCORE 20456.602
AT ITER 2075 NEW BEST:: SOT 77543 SOS 28592 HAS SOPS 28592 HAS SOUS 20418 HAS SOUPS 20418 WITH SCORE 20446.592
AT ITER 2077 NEW BEST:: SOT 77537 SOS 28587 HAS SOPS 28587 HAS SOUS 20413 HAS SOUPS 20413 WITH SCORE 20441.587
AT ITER 2082 NEW BEST:: SOT 77508 SOS 28529 HAS SOPS 28529 HAS SOUS 20387 HAS SOUPS 20387 WITH SCORE 20415.529
AT ITER 2086 NEW BEST:: SOT 77481 SOS 28515 HAS SOPS 28515 HAS SOUS 20373 HAS SOUPS 20373 WITH SCORE 20401.515
AT ITER 2091 NEW BEST:: SOT 77469 SOS 28497 HAS SOPS 28497 HAS SOUS 20368 HAS SOUPS 20368 WITH SCORE 20396.497
AT ITER 2093 NEW BEST:: SOT 77472 SOS 28484 HAS SOPS 28484 HAS SOUS 20355 HAS SOUPS 20355 WITH SCORE 20383.484
AT ITER 2106 NEW BEST:: SOT 77457 SOS 28460 HAS SOPS 28460 HAS SOUS 20280 HAS SOUPS 20280 WITH SCORE 20308.46
AT ITER 2107 NEW BEST:: SOT 77456 SOS 28458 HAS SOPS 28458 HAS SOUS 20278 HAS SOUPS 20278 WITH SCORE 20306.458
AT ITER 2110 NEW BEST:: SOT 77491 SOS 28443 HAS SOPS 28443 HAS SOUS 20251 HAS SOUPS 20251 WITH SCORE 20279.443
AT ITER 2149 NEW BEST:: SOT 77485 SOS 28429 HAS SOPS 28429 HAS SOUS 20237 HAS SOUPS 20237 WITH SCORE 20265.429
AT ITER 2181 NEW BEST:: SOT 77483 SOS 28425 HAS SOPS 28425 HAS SOUS 20218 HAS SOUPS 20218 WITH SCORE 20246.425
AT ITER 2215 NEW BEST:: SOT 77518 SOS 28419 HAS SOPS 28419 HAS SOUS 20212 HAS SOUPS 20212 WITH SCORE 20240.419
AT ITER 2219 NEW BEST:: SOT 77498 SOS 28407 HAS SOPS 28407 HAS SOUS 20200 HAS SOUPS 20200 WITH SCORE 20228.407
AT ITER 2220 NEW BEST:: SOT 77489 SOS 28028 HAS SOPS 28028 HAS SOUS 20181 HAS SOUPS 20181 WITH SCORE 20209.028
AT ITER 2245 NEW BEST:: SOT 77491 SOS 28030 HAS SOPS 28030 HAS SOUS 20175 HAS SOUPS 20175 WITH SCORE 20203.03
AT ITER 2254 NEW BEST:: SOT 77473 SOS 27935 HAS SOPS 27935 HAS SOUS 20088 HAS SOUPS 20088 WITH SCORE 20115.935
AT ITER 2260 NEW BEST:: SOT 77473 SOS 27928 HAS SOPS 27928 HAS SOUS 20081 HAS SOUPS 20081 WITH SCORE 20108.928
AT ITER 2264 NEW BEST:: SOT 77447 SOS 27876 HAS SOPS 27876 HAS SOUS 20029 HAS SOUPS 20029 WITH SCORE 20056.876
AT ITER 2265 NEW BEST:: SOT 77434 SOS 27850 HAS SOPS 27850 HAS SOUS 20028 HAS SOUPS 20028 WITH SCORE 20055.85
AT ITER 2272 NEW BEST:: SOT 77421 SOS 27833 HAS SOPS 27833 HAS SOUS 20011 HAS SOUPS 20011 WITH SCORE 20038.833
AT ITER 2292 NEW BEST:: SOT 77398 SOS 27787 HAS SOPS 27787 HAS SOUS 19965 HAS SOUPS 19965 WITH SCORE 19992.787
AT ITER 2307 NEW BEST:: SOT 77151 SOS 27653 HAS SOPS 27653 HAS SOUS 19711 HAS SOUPS 19711 WITH SCORE 19738.653
AT ITER 2314 NEW BEST:: SOT 77141 SOS 27643 HAS SOPS 27643 HAS SOUS 19710 HAS SOUPS 19710 WITH SCORE 19737.643
AT ITER 2342 NEW BEST:: SOT 77130 SOS 27621 HAS SOPS 27621 HAS SOUS 19699 HAS SOUPS 19699 WITH SCORE 19726.621
AT ITER 2344 NEW BEST:: SOT 77108 SOS 27576 HAS SOPS 27576 HAS SOUS 19673 HAS SOUPS 19673 WITH SCORE 19700.576
AT ITER 2349 NEW BEST:: SOT 77133 SOS 27601 HAS SOPS 27601 HAS SOUS 19668 HAS SOUPS 19668 WITH SCORE 19695.601
AT ITER 2360 NEW BEST:: SOT 77190 SOS 27588 HAS SOPS 27588 HAS SOUS 19523 HAS SOUPS 19523 WITH SCORE 19550.588
AT ITER 2419 NEW BEST:: SOT 77164 SOS 27507 HAS SOPS 27507 HAS SOUS 19493 HAS SOUPS 19493 WITH SCORE 19520.507
AT ITER 2443 NEW BEST:: SOT 77193 SOS 27565 HAS SOPS 27565 HAS SOUS 19474 HAS SOUPS 19474 WITH SCORE 19501.565
AT ITER 2450 NEW BEST:: SOT 77152 SOS 27551 HAS SOPS 27551 HAS SOUS 19409 HAS SOUPS 19409 WITH SCORE 19436.551
AT ITER 2459 NEW BEST:: SOT 77146 SOS 27517 HAS SOPS 27517 HAS SOUS 19403 HAS SOUPS 19403 WITH SCORE 19430.517
AT ITER 2469 NEW BEST:: SOT 77097 SOS 27452 HAS SOPS 27452 HAS SOUS 19338 HAS SOUPS 19338 WITH SCORE 19365.452
AT ITER 2491 NEW BEST:: SOT 77103 SOS 27448 HAS SOPS 27448 HAS SOUS 19334 HAS SOUPS 19334 WITH SCORE 19361.448
AT ITER 2508 NEW BEST:: SOT 77087 SOS 27432 HAS SOPS 27432 HAS SOUS 19318 HAS SOUPS 19318 WITH SCORE 19345.432
AT ITER 2520 NEW BEST:: SOT 77059 SOS 27389 HAS SOPS 27389 HAS SOUS 19275 HAS SOUPS 19275 WITH SCORE 19302.389
AT ITER 2522 NEW BEST:: SOT 77059 SOS 27389 HAS SOPS 27389 HAS SOUS 19249 HAS SOUPS 19249 WITH SCORE 19276.389
AT ITER 2536 NEW BEST:: SOT 77045 SOS 27308 HAS SOPS 27308 HAS SOUS 19204 HAS SOUPS 19204 WITH SCORE 19231.308
AT ITER 2538 NEW BEST:: SOT 76996 SOS 27291 HAS SOPS 27291 HAS SOUS 19187 HAS SOUPS 19187 WITH SCORE 19214.291
AT ITER 2548 NEW BEST:: SOT 76983 SOS 27248 HAS SOPS 27248 HAS SOUS 19144 HAS SOUPS 19144 WITH SCORE 19171.248
AT ITER 2583 NEW BEST:: SOT 76848 SOS 27113 HAS SOPS 27113 HAS SOUS 18940 HAS SOUPS 18940 WITH SCORE 18967.113
AT ITER 2605 NEW BEST:: SOT 76842 SOS 27110 HAS SOPS 27110 HAS SOUS 18937 HAS SOUPS 18937 WITH SCORE 18964.11
AT ITER 2611 NEW BEST:: SOT 76869 SOS 27107 HAS SOPS 27107 HAS SOUS 18934 HAS SOUPS 18934 WITH SCORE 18961.107
AT ITER 2626 NEW BEST:: SOT 76867 SOS 27103 HAS SOPS 27103 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18957.103
AT ITER 2662 NEW BEST:: SOT 76816 SOS 27052 HAS SOPS 27052 HAS SOUS 18930 HAS SOUPS 18930 WITH SCORE 18957.052
AT ITER 2698 NEW BEST:: SOT 76812 SOS 27044 HAS SOPS 27044 HAS SOUS 18922 HAS SOUPS 18922 WITH SCORE 18949.044
AT ITER 2700 NEW BEST:: SOT 76837 SOS 27072 HAS SOPS 27072 HAS SOUS 18892 HAS SOUPS 18892 WITH SCORE 18919.072
AT ITER 2713 NEW BEST:: SOT 76817 SOS 27002 HAS SOPS 27002 HAS SOUS 18822 HAS SOUPS 18822 WITH SCORE 18849.002
AT ITER 2742 NEW BEST:: SOT 76815 SOS 26998 HAS SOPS 26998 HAS SOUS 18818 HAS SOUPS 18818 WITH SCORE 18844.998
AT ITER 2746 NEW BEST:: SOT 76891 SOS 27045 HAS SOPS 27045 HAS SOUS 18795 HAS SOUPS 18795 WITH SCORE 18822.045
AT ITER 2750 NEW BEST:: SOT 76880 SOS 27152 HAS SOPS 27152 HAS SOUS 18768 HAS SOUPS 18768 WITH SCORE 18795.152
AT ITER 2752 NEW BEST:: SOT 76813 SOS 27094 HAS SOPS 27094 HAS SOUS 18710 HAS SOUPS 18710 WITH SCORE 18737.094
AT ITER 2762 NEW BEST:: SOT 76804 SOS 27076 HAS SOPS 27076 HAS SOUS 18692 HAS SOUPS 18692 WITH SCORE 18719.076
AT ITER 2768 NEW BEST:: SOT 76775 SOS 26994 HAS SOPS 26994 HAS SOUS 18610 HAS SOUPS 18610 WITH SCORE 18636.994
AT ITER 2771 NEW BEST:: SOT 76730 SOS 26930 HAS SOPS 26930 HAS SOUS 18597 HAS SOUPS 18597 WITH SCORE 18623.93
AT ITER 2805 NEW BEST:: SOT 76709 SOS 26888 HAS SOPS 26888 HAS SOUS 18555 HAS SOUPS 18555 WITH SCORE 18581.888
AT ITER 2815 NEW BEST:: SOT 76694 SOS 26875 HAS SOPS 26875 HAS SOUS 18542 HAS SOUPS 18542 WITH SCORE 18568.875
AT ITER 2819 NEW BEST:: SOT 76694 SOS 26821 HAS SOPS 26821 HAS SOUS 18488 HAS SOUPS 18488 WITH SCORE 18514.821
AT ITER 2824 NEW BEST:: SOT 76680 SOS 26793 HAS SOPS 26793 HAS SOUS 18467 HAS SOUPS 18467 WITH SCORE 18493.793
AT ITER 2827 NEW BEST:: SOT 76687 SOS 26799 HAS SOPS 26799 HAS SOUS 18466 HAS SOUPS 18466 WITH SCORE 18492.799
AT ITER 2831 NEW BEST:: SOT 76662 SOS 26756 HAS SOPS 26756 HAS SOUS 18441 HAS SOUPS 18441 WITH SCORE 18467.756
AT ITER 2835 NEW BEST:: SOT 76662 SOS 26740 HAS SOPS 26740 HAS SOUS 18409 HAS SOUPS 18409 WITH SCORE 18435.74
AT ITER 2859 NEW BEST:: SOT 76639 SOS 26675 HAS SOPS 26675 HAS SOUS 18367 HAS SOUPS 18367 WITH SCORE 18393.675
AT ITER 2877 NEW BEST:: SOT 76629 SOS 26665 HAS SOPS 26665 HAS SOUS 18367 HAS SOUPS 18367 WITH SCORE 18393.665
AT ITER 2892 NEW BEST:: SOT 76590 SOS 26572 HAS SOPS 26572 HAS SOUS 18301 HAS SOUPS 18301 WITH SCORE 18327.572
AT ITER 2910 NEW BEST:: SOT 76564 SOS 26550 HAS SOPS 26550 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18305.55
AT ITER 2915 NEW BEST:: SOT 76564 SOS 26495 HAS SOPS 26495 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18305.495
AT ITER 2921 NEW BEST:: SOT 76514 SOS 26445 HAS SOPS 26445 HAS SOUS 18279 HAS SOUPS 18279 WITH SCORE 18305.445
AT ITER 2945 NEW BEST:: SOT 76514 SOS 26445 HAS SOPS 26445 HAS SOUS 18266 HAS SOUPS 18266 WITH SCORE 18292.445
AT ITER 2950 NEW BEST:: SOT 76483 SOS 26412 HAS SOPS 26412 HAS SOUS 18233 HAS SOUPS 18233 WITH SCORE 18259.412
AT ITER 2955 NEW BEST:: SOT 76482 SOS 26410 HAS SOPS 26410 HAS SOUS 18231 HAS SOUPS 18231 WITH SCORE 18257.41
AT ITER 2957 NEW BEST:: SOT 76476 SOS 26398 HAS SOPS 26398 HAS SOUS 18219 HAS SOUPS 18219 WITH SCORE 18245.398
AT ITER 2984 NEW BEST:: SOT 76475 SOS 26391 HAS SOPS 26391 HAS SOUS 18179 HAS SOUPS 18179 WITH SCORE 18205.391
AT ITER 2986 NEW BEST:: SOT 76469 SOS 26379 HAS SOPS 26379 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18193.379
AT ITER 2997 NEW BEST:: SOT 76439 SOS 26349 HAS SOPS 26349 HAS SOUS 18167 HAS SOUPS 18167 WITH SCORE 18193.349
AT ITER 3026 NEW BEST:: SOT 76465 SOS 26356 HAS SOPS 26356 HAS SOUS 18145 HAS SOUPS 18145 WITH SCORE 18171.356
AT ITER 3035 NEW BEST:: SOT 76419 SOS 26323 HAS SOPS 26323 HAS SOUS 18144 HAS SOUPS 18144 WITH SCORE 18170.323
AT ITER 3046 NEW BEST:: SOT 76412 SOS 26268 HAS SOPS 26268 HAS SOUS 18129 HAS SOUPS 18129 WITH SCORE 18155.268
AT ITER 3059 NEW BEST:: SOT 76394 SOS 26241 HAS SOPS 26241 HAS SOUS 18111 HAS SOUPS 18111 WITH SCORE 18137.241
AT ITER 3078 NEW BEST:: SOT 76392 SOS 26239 HAS SOPS 26239 HAS SOUS 18109 HAS SOUPS 18109 WITH SCORE 18135.239
AT ITER 3100 NEW BEST:: SOT 76391 SOS 26236 HAS SOPS 26236 HAS SOUS 18106 HAS SOUPS 18106 WITH SCORE 18132.236
AT ITER 3106 NEW BEST:: SOT 76394 SOS 26221 HAS SOPS 26221 HAS SOUS 18098 HAS SOUPS 18098 WITH SCORE 18124.221
AT ITER 3107 NEW BEST:: SOT 76388 SOS 26191 HAS SOPS 26191 HAS SOUS 18086 HAS SOUPS 18086 WITH SCORE 18112.191
AT ITER 3151 NEW BEST:: SOT 76378 SOS 26161 HAS SOPS 26161 HAS SOUS 18066 HAS SOUPS 18066 WITH SCORE 18092.161
AT ITER 3158 NEW BEST:: SOT 76341 SOS 26562 HAS SOPS 26562 HAS SOUS 18042 HAS SOUPS 18042 WITH SCORE 18068.562
AT ITER 3165 NEW BEST:: SOT 76323 SOS 26528 HAS SOPS 26528 HAS SOUS 18024 HAS SOUPS 18024 WITH SCORE 18050.528
AT ITER 3167 NEW BEST:: SOT 76268 SOS 26383 HAS SOPS 26383 HAS SOUS 17944 HAS SOUPS 17944 WITH SCORE 17970.383
AT ITER 3175 NEW BEST:: SOT 76276 SOS 26227 HAS SOPS 26227 HAS SOUS 17929 HAS SOUPS 17929 WITH SCORE 17955.227
AT ITER 3193 NEW BEST:: SOT 76273 SOS 26221 HAS SOPS 26221 HAS SOUS 17923 HAS SOUPS 17923 WITH SCORE 17949.221
AT ITER 3198 NEW BEST:: SOT 76301 SOS 26228 HAS SOPS 26228 HAS SOUS 17898 HAS SOUPS 17898 WITH SCORE 17924.228
AT ITER 3205 NEW BEST:: SOT 76263 SOS 26153 HAS SOPS 26153 HAS SOUS 17887 HAS SOUPS 17887 WITH SCORE 17913.153
AT ITER 3209 NEW BEST:: SOT 76223 SOS 26112 HAS SOPS 26112 HAS SOUS 17846 HAS SOUPS 17846 WITH SCORE 17872.112
AT ITER 3221 NEW BEST:: SOT 76220 SOS 26096 HAS SOPS 26096 HAS SOUS 17833 HAS SOUPS 17833 WITH SCORE 17859.096
AT ITER 3235 NEW BEST:: SOT 76213 SOS 26082 HAS SOPS 26082 HAS SOUS 17819 HAS SOUPS 17819 WITH SCORE 17845.082
AT ITER 3238 NEW BEST:: SOT 76213 SOS 26082 HAS SOPS 26082 HAS SOUS 17801 HAS SOUPS 17801 WITH SCORE 17827.082
AT ITER 3259 NEW BEST:: SOT 76213 SOS 26054 HAS SOPS 26054 HAS SOUS 17773 HAS SOUPS 17773 WITH SCORE 17799.054
AT ITER 3274 NEW BEST:: SOT 76111 SOS 25866 HAS SOPS 25866 HAS SOUS 17585 HAS SOUPS 17585 WITH SCORE 17610.866
AT ITER 3309 NEW BEST:: SOT 76103 SOS 25861 HAS SOPS 25861 HAS SOUS 17580 HAS SOUPS 17580 WITH SCORE 17605.861
AT ITER 3320 NEW BEST:: SOT 76099 SOS 25838 HAS SOPS 25838 HAS SOUS 17572 HAS SOUPS 17572 WITH SCORE 17597.838
AT ITER 3325 NEW BEST:: SOT 76093 SOS 25826 HAS SOPS 25826 HAS SOUS 17560 HAS SOUPS 17560 WITH SCORE 17585.826
AT ITER 3335 NEW BEST:: SOT 75998 SOS 25693 HAS SOPS 25693 HAS SOUS 17508 HAS SOUPS 17508 WITH SCORE 17533.693
AT ITER 3350 NEW BEST:: SOT 75899 SOS 25562 HAS SOPS 25562 HAS SOUS 17498 HAS SOUPS 17498 WITH SCORE 17523.562
AT ITER 3403 NEW BEST:: SOT 75898 SOS 25560 HAS SOPS 25560 HAS SOUS 17496 HAS SOUPS 17496 WITH SCORE 17521.56
AT ITER 3454 NEW BEST:: SOT 75898 SOS 25524 HAS SOPS 25524 HAS SOUS 17460 HAS SOUPS 17460 WITH SCORE 17485.524
AT ITER 3479 NEW BEST:: SOT 75894 SOS 25516 HAS SOPS 25516 HAS SOUS 17452 HAS SOUPS 17452 WITH SCORE 17477.516
AT ITER 3490 NEW BEST:: SOT 75903 SOS 25503 HAS SOPS 25503 HAS SOUS 17450 HAS SOUPS 17450 WITH SCORE 17475.503
AT ITER 3494 NEW BEST:: SOT 75904 SOS 25476 HAS SOPS 25476 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17448.476
AT ITER 3502 NEW BEST:: SOT 75903 SOS 25475 HAS SOPS 25475 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17448.475
AT ITER 3537 NEW BEST:: SOT 75901 SOS 25473 HAS SOPS 25473 HAS SOUS 17423 HAS SOUPS 17423 WITH SCORE 17448.473
AT ITER 3539 NEW BEST:: SOT 75893 SOS 25465 HAS SOPS 25465 HAS SOUS 17415 HAS SOUPS 17415 WITH SCORE 17440.465
AT ITER 3554 NEW BEST:: SOT 75862 SOS 25372 HAS SOPS 25372 HAS SOUS 17353 HAS SOUPS 17353 WITH SCORE 17378.372
AT ITER 3573 NEW BEST:: SOT 75860 SOS 25370 HAS SOPS 25370 HAS SOUS 17351 HAS SOUPS 17351 WITH SCORE 17376.37
AT ITER 3605 NEW BEST:: SOT 75863 SOS 25376 HAS SOPS 25376 HAS SOUS 17349 HAS SOUPS 17349 WITH SCORE 17374.376
AT ITER 3622 NEW BEST:: SOT 75922 SOS 25324 HAS SOPS 25324 HAS SOUS 17297 HAS SOUPS 17297 WITH SCORE 17322.324
AT ITER 3640 NEW BEST:: SOT 75922 SOS 25323 HAS SOPS 25323 HAS SOUS 17296 HAS SOUPS 17296 WITH SCORE 17321.323
AT ITER 3646 NEW BEST:: SOT 75893 SOS 25294 HAS SOPS 25294 HAS SOUS 17267 HAS SOUPS 17267 WITH SCORE 17292.294
AT ITER 3652 NEW BEST:: SOT 75893 SOS 25283 HAS SOPS 25283 HAS SOUS 17256 HAS SOUPS 17256 WITH SCORE 17281.283
AT ITER 3667 NEW BEST:: SOT 75893 SOS 25279 HAS SOPS 25279 HAS SOUS 17252 HAS SOUPS 17252 WITH SCORE 17277.279
AT ITER 3668 NEW BEST:: SOT 75870 SOS 25315 HAS SOPS 25315 HAS SOUS 17247 HAS SOUPS 17247 WITH SCORE 17272.315
AT ITER 3677 NEW BEST:: SOT 75837 SOS 25282 HAS SOPS 25282 HAS SOUS 17203 HAS SOUPS 17203 WITH SCORE 17228.282
AT ITER 3691 NEW BEST:: SOT 75800 SOS 25218 HAS SOPS 25218 HAS SOUS 17166 HAS SOUPS 17166 WITH SCORE 17191.218
AT ITER 3741 NEW BEST:: SOT 75720 SOS 25069 HAS SOPS 25069 HAS SOUS 17058 HAS SOUPS 17058 WITH SCORE 17083.069
AT ITER 3749 NEW BEST:: SOT 75732 SOS 25098 HAS SOPS 25098 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17074.098
AT ITER 3778 NEW BEST:: SOT 75646 SOS 25012 HAS SOPS 25012 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17074.012
AT ITER 3787 NEW BEST:: SOT 75629 SOS 24995 HAS SOPS 24995 HAS SOUS 17049 HAS SOUPS 17049 WITH SCORE 17073.995
AT ITER 3794 NEW BEST:: SOT 75523 SOS 24830 HAS SOPS 24830 HAS SOUS 16949 HAS SOUPS 16949 WITH SCORE 16973.83
AT ITER 3800 NEW BEST:: SOT 75549 SOS 24785 HAS SOPS 24785 HAS SOUS 16920 HAS SOUPS 16920 WITH SCORE 16944.785
AT ITER 3801 NEW BEST:: SOT 75545 SOS 24781 HAS SOPS 24781 HAS SOUS 16916 HAS SOUPS 16916 WITH SCORE 16940.781
AT ITER 3835 NEW BEST:: SOT 75531 SOS 24777 HAS SOPS 24777 HAS SOUS 16912 HAS SOUPS 16912 WITH SCORE 16936.777
AT ITER 3884 NEW BEST:: SOT 75470 SOS 24666 HAS SOPS 24666 HAS SOUS 16765 HAS SOUPS 16765 WITH SCORE 16789.666
AT ITER 3998 NEW BEST:: SOT 75444 SOS 24662 HAS SOPS 24662 HAS SOUS 16739 HAS SOUPS 16739 WITH SCORE 16763.662
AT ITER 4017 NEW BEST:: SOT 75413 SOS 24600 HAS SOPS 24600 HAS SOUS 16677 HAS SOUPS 16677 WITH SCORE 16701.6
AT ITER 4063 NEW BEST:: SOT 75411 SOS 24597 HAS SOPS 24597 HAS SOUS 16673 HAS SOUPS 16673 WITH SCORE 16697.597
AT ITER 4064 NEW BEST:: SOT 75400 SOS 24590 HAS SOPS 24590 HAS SOUS 16666 HAS SOUPS 16666 WITH SCORE 16690.59
AT ITER 4092 NEW BEST:: SOT 75399 SOS 24588 HAS SOPS 24588 HAS SOUS 16664 HAS SOUPS 16664 WITH SCORE 16688.588
AT ITER 4174 NEW BEST:: SOT 75385 SOS 24574 HAS SOPS 24574 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16674.574
AT ITER 4188 NEW BEST:: SOT 75279 SOS 24468 HAS SOPS 24468 HAS SOUS 16650 HAS SOUPS 16650 WITH SCORE 16674.468
AT ITER 4191 NEW BEST:: SOT 75282 SOS 24418 HAS SOPS 24418 HAS SOUS 16605 HAS SOUPS 16605 WITH SCORE 16629.418
AT ITER 4204 NEW BEST:: SOT 75295 SOS 24361 HAS SOPS 24361 HAS SOUS 16572 HAS SOUPS 16572 WITH SCORE 16596.361
AT ITER 4210 NEW BEST:: SOT 75298 SOS 24364 HAS SOPS 24364 HAS SOUS 16557 HAS SOUPS 16557 WITH SCORE 16581.364
AT ITER 4248 NEW BEST:: SOT 75293 SOS 24354 HAS SOPS 24354 HAS SOUS 16547 HAS SOUPS 16547 WITH SCORE 16571.354
AT ITER 4256 NEW BEST:: SOT 75344 SOS 24387 HAS SOPS 24387 HAS SOUS 16529 HAS SOUPS 16529 WITH SCORE 16553.387
AT ITER 4283 NEW BEST:: SOT 75351 SOS 24388 HAS SOPS 24388 HAS SOUS 16504 HAS SOUPS 16504 WITH SCORE 16528.388
AT ITER 4284 NEW BEST:: SOT 75348 SOS 24385 HAS SOPS 24385 HAS SOUS 16501 HAS SOUPS 16501 WITH SCORE 16525.385
AT ITER 4300 NEW BEST:: SOT 75303 SOS 24205 HAS SOPS 24205 HAS SOUS 16321 HAS SOUPS 16321 WITH SCORE 16345.205
AT ITER 4350 NEW BEST:: SOT 75303 SOS 24170 HAS SOPS 24170 HAS SOUS 16314 HAS SOUPS 16314 WITH SCORE 16338.17
AT ITER 4361 NEW BEST:: SOT 75300 SOS 24167 HAS SOPS 24167 HAS SOUS 16311 HAS SOUPS 16311 WITH SCORE 16335.167
AT ITER 4400 NEW BEST:: SOT 75298 SOS 24163 HAS SOPS 24163 HAS SOUS 16307 HAS SOUPS 16307 WITH SCORE 16331.163
AT ITER 4403 NEW BEST:: SOT 75290 SOS 24156 HAS SOPS 24156 HAS SOUS 16300 HAS SOUPS 16300 WITH SCORE 16324.156
AT ITER 4438 NEW BEST:: SOT 75290 SOS 24106 HAS SOPS 24106 HAS SOUS 16250 HAS SOUPS 16250 WITH SCORE 16274.106
AT ITER 4519 NEW BEST:: SOT 75255 SOS 24069 HAS SOPS 24069 HAS SOUS 16246 HAS SOUPS 16246 WITH SCORE 16270.069
AT ITER 4553 NEW BEST:: SOT 75246 SOS 24068 HAS SOPS 24068 HAS SOUS 16245 HAS SOUPS 16245 WITH SCORE 16269.068
AT ITER 4569 NEW BEST:: SOT 75249 SOS 24051 HAS SOPS 24051 HAS SOUS 16228 HAS SOUPS 16228 WITH SCORE 16252.051
AT ITER 4628 NEW BEST:: SOT 75253 SOS 24055 HAS SOPS 24055 HAS SOUS 16202 HAS SOUPS 16202 WITH SCORE 16226.055
AT ITER 4653 NEW BEST:: SOT 75241 SOS 24043 HAS SOPS 24043 HAS SOUS 16190 HAS SOUPS 16190 WITH SCORE 16214.043
AT ITER 4668 NEW BEST:: SOT 75241 SOS 24034 HAS SOPS 24034 HAS SOUS 16181 HAS SOUPS 16181 WITH SCORE 16205.034
AT ITER 4683 NEW BEST:: SOT 75239 SOS 24030 HAS SOPS 24030 HAS SOUS 16097 HAS SOUPS 16097 WITH SCORE 16121.03
AT ITER 4689 NEW BEST:: SOT 75185 SOS 23976 HAS SOPS 23976 HAS SOUS 16043 HAS SOUPS 16043 WITH SCORE 16066.976
AT ITER 4721 NEW BEST:: SOT 75131 SOS 23923 HAS SOPS 23923 HAS SOUS 15990 HAS SOUPS 15990 WITH SCORE 16013.923
AT ITER 4727 NEW BEST:: SOT 75131 SOS 23923 HAS SOPS 23923 HAS SOUS 15980 HAS SOUPS 15980 WITH SCORE 16003.923
AT ITER 4729 NEW BEST:: SOT 75118 SOS 23895 HAS SOPS 23895 HAS SOUS 15952 HAS SOUPS 15952 WITH SCORE 15975.895
AT ITER 4740 NEW BEST:: SOT 75117 SOS 23893 HAS SOPS 23893 HAS SOUS 15950 HAS SOUPS 15950 WITH SCORE 15973.893
AT ITER 4745 NEW BEST:: SOT 75075 SOS 23809 HAS SOPS 23809 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15871.809
AT ITER 4769 NEW BEST:: SOT 75072 SOS 23806 HAS SOPS 23806 HAS SOUS 15848 HAS SOUPS 15848 WITH SCORE 15871.806
AT ITER 4789 NEW BEST:: SOT 75072 SOS 23793 HAS SOPS 23793 HAS SOUS 15835 HAS SOUPS 15835 WITH SCORE 15858.793
AT ITER 4801 NEW BEST:: SOT 75061 SOS 23782 HAS SOPS 23782 HAS SOUS 15824 HAS SOUPS 15824 WITH SCORE 15847.782
AT ITER 4809 NEW BEST:: SOT 75048 SOS 23757 HAS SOPS 23757 HAS SOUS 15807 HAS SOUPS 15807 WITH SCORE 15830.757
AT ITER 4814 NEW BEST:: SOT 75039 SOS 23739 HAS SOPS 23739 HAS SOUS 15789 HAS SOUPS 15789 WITH SCORE 15812.739
AT ITER 4850 NEW BEST:: SOT 75035 SOS 23731 HAS SOPS 23731 HAS SOUS 15781 HAS SOUPS 15781 WITH SCORE 15804.731
AT ITER 4893 NEW BEST:: SOT 75066 SOS 23784 HAS SOPS 23784 HAS SOUS 15777 HAS SOUPS 15777 WITH SCORE 15800.784
AT ITER 4894 NEW BEST:: SOT 75059 SOS 23777 HAS SOPS 23777 HAS SOUS 15770 HAS SOUPS 15770 WITH SCORE 15793.777
AT ITER 4906 NEW BEST:: SOT 75059 SOS 23774 HAS SOPS 23774 HAS SOUS 15767 HAS SOUPS 15767 WITH SCORE 15790.774
AT ITER 4911 NEW BEST:: SOT 75057 SOS 23772 HAS SOPS 23772 HAS SOUS 15765 HAS SOUPS 15765 WITH SCORE 15788.772
AT ITER 4947 NEW BEST:: SOT 75037 SOS 23732 HAS SOPS 23732 HAS SOUS 15725 HAS SOUPS 15725 WITH SCORE 15748.732
AT ITER 4999 NEW BEST:: SOT 75011 SOS 23540 HAS SOPS 23540 HAS SOUS 15693 HAS SOUPS 15693 WITH SCORE 15716.54
AT ITER 5016 NEW BEST:: SOT 75005 SOS 23528 HAS SOPS 23528 HAS SOUS 15681 HAS SOUPS 15681 WITH SCORE 15704.528
AT ITER 5025 NEW BEST:: SOT 74999 SOS 23520 HAS SOPS 23520 HAS SOUS 15673 HAS SOUPS 15673 WITH SCORE 15696.52
AT ITER 5038 NEW BEST:: SOT 74985 SOS 23503 HAS SOPS 23503 HAS SOUS 15656 HAS SOUPS 15656 WITH SCORE 15679.503
AT ITER 5074 NEW BEST:: SOT 74996 SOS 23495 HAS SOPS 23495 HAS SOUS 15648 HAS SOUPS 15648 WITH SCORE 15671.495
AT ITER 5077 NEW BEST:: SOT 74933 SOS 23402 HAS SOPS 23402 HAS SOUS 15637 HAS SOUPS 15637 WITH SCORE 15660.402
AT ITER 5109 NEW BEST:: SOT 74923 SOS 23315 HAS SOPS 23315 HAS SOUS 15550 HAS SOUPS 15550 WITH SCORE 15573.315
AT ITER 5114 NEW BEST:: SOT 74923 SOS 23314 HAS SOPS 23314 HAS SOUS 15549 HAS SOUPS 15549 WITH SCORE 15572.314
AT ITER 5206 NEW BEST:: SOT 74918 SOS 23299 HAS SOPS 23299 HAS SOUS 15534 HAS SOUPS 15534 WITH SCORE 15557.299
AT ITER 5224 NEW BEST:: SOT 74896 SOS 23295 HAS SOPS 23295 HAS SOUS 15530 HAS SOUPS 15530 WITH SCORE 15553.295
AT ITER 5248 NEW BEST:: SOT 74877 SOS 23276 HAS SOPS 23276 HAS SOUS 15511 HAS SOUPS 15511 WITH SCORE 15534.276
AT ITER 5267 NEW BEST:: SOT 74854 SOS 23230 HAS SOPS 23230 HAS SOUS 15484 HAS SOUPS 15484 WITH SCORE 15507.23
AT ITER 5292 NEW BEST:: SOT 74816 SOS 23181 HAS SOPS 23181 HAS SOUS 15442 HAS SOUPS 15442 WITH SCORE 15465.181
AT ITER 5296 NEW BEST:: SOT 74816 SOS 23174 HAS SOPS 23174 HAS SOUS 15435 HAS SOUPS 15435 WITH SCORE 15458.174
AT ITER 5300 NEW BEST:: SOT 74865 SOS 23154 HAS SOPS 23154 HAS SOUS 15415 HAS SOUPS 15415 WITH SCORE 15438.154
AT ITER 5358 NEW BEST:: SOT 74848 SOS 23137 HAS SOPS 23137 HAS SOUS 15398 HAS SOUPS 15398 WITH SCORE 15421.137
AT ITER 5360 NEW BEST:: SOT 74848 SOS 23129 HAS SOPS 23129 HAS SOUS 15390 HAS SOUPS 15390 WITH SCORE 15413.129
AT ITER 5376 NEW BEST:: SOT 74832 SOS 23097 HAS SOPS 23097 HAS SOUS 15374 HAS SOUPS 15374 WITH SCORE 15397.097
AT ITER 5431 NEW BEST:: SOT 74789 SOS 23039 HAS SOPS 23039 HAS SOUS 15344 HAS SOUPS 15344 WITH SCORE 15367.039
AT ITER 5443 NEW BEST:: SOT 74778 SOS 23046 HAS SOPS 23046 HAS SOUS 15329 HAS SOUPS 15329 WITH SCORE 15352.046
AT ITER 5453 NEW BEST:: SOT 74757 SOS 23007 HAS SOPS 23007 HAS SOUS 15308 HAS SOUPS 15308 WITH SCORE 15331.007
AT ITER 5458 NEW BEST:: SOT 74726 SOS 22945 HAS SOPS 22945 HAS SOUS 15246 HAS SOUPS 15246 WITH SCORE 15268.945
AT ITER 5569 NEW BEST:: SOT 74717 SOS 22936 HAS SOPS 22936 HAS SOUS 15228 HAS SOUPS 15228 WITH SCORE 15250.936
AT ITER 5578 NEW BEST:: SOT 74675 SOS 22918 HAS SOPS 22918 HAS SOUS 15210 HAS SOUPS 15210 WITH SCORE 15232.918
AT ITER 5628 NEW BEST:: SOT 74701 SOS 22519 HAS SOPS 22519 HAS SOUS 15180 HAS SOUPS 15180 WITH SCORE 15202.519
AT ITER 5637 NEW BEST:: SOT 74699 SOS 22515 HAS SOPS 22515 HAS SOUS 15173 HAS SOUPS 15173 WITH SCORE 15195.515
AT ITER 5789 NEW BEST:: SOT 74719 SOS 22504 HAS SOPS 22504 HAS SOUS 15162 HAS SOUPS 15162 WITH SCORE 15184.504
AT ITER 5805 NEW BEST:: SOT 74717 SOS 22500 HAS SOPS 22500 HAS SOUS 15158 HAS SOUPS 15158 WITH SCORE 15180.5
AT ITER 5837 NEW BEST:: SOT 74715 SOS 22498 HAS SOPS 22498 HAS SOUS 15154 HAS SOUPS 15154 WITH SCORE 15176.498
AT ITER 6022 NEW BEST:: SOT 74714 SOS 22492 HAS SOPS 22492 HAS SOUS 15148 HAS SOUPS 15148 WITH SCORE 15170.492
AT ITER 6067 NEW BEST:: SOT 74715 SOS 22492 HAS SOPS 22492 HAS SOUS 15146 HAS SOUPS 15146 WITH SCORE 15168.492
AT ITER 6086 NEW BEST:: SOT 74646 SOS 22414 HAS SOPS 22414 HAS SOUS 15142 HAS SOUPS 15142 WITH SCORE 15164.414
AT ITER 6103 NEW BEST:: SOT 74700 SOS 22448 HAS SOPS 22448 HAS SOUS 15100 HAS SOUPS 15100 WITH SCORE 15122.448
AT ITER 6115 NEW BEST:: SOT 74698 SOS 22444 HAS SOPS 22444 HAS SOUS 15096 HAS SOUPS 15096 WITH SCORE 15118.444
AT ITER 6121 NEW BEST:: SOT 74699 SOS 22440 HAS SOPS 22440 HAS SOUS 15092 HAS SOUPS 15092 WITH SCORE 15114.44
AT ITER 6122 NEW BEST:: SOT 74681 SOS 22413 HAS SOPS 22413 HAS SOUS 15065 HAS SOUPS 15065 WITH SCORE 15087.413
AT ITER 6149 NEW BEST:: SOT 74660 SOS 22379 HAS SOPS 22379 HAS SOUS 15056 HAS SOUPS 15056 WITH SCORE 15078.379
AT ITER 6156 NEW BEST:: SOT 74677 SOS 22393 HAS SOPS 22393 HAS SOUS 15049 HAS SOUPS 15049 WITH SCORE 15071.393
AT ITER 6175 NEW BEST:: SOT 74670 SOS 22379 HAS SOPS 22379 HAS SOUS 15042 HAS SOUPS 15042 WITH SCORE 15064.379
AT ITER 6237 NEW BEST:: SOT 74640 SOS 22349 HAS SOPS 22349 HAS SOUS 15012 HAS SOUPS 15012 WITH SCORE 15034.349
AT ITER 6241 NEW BEST:: SOT 74635 SOS 22339 HAS SOPS 22339 HAS SOUS 15002 HAS SOUPS 15002 WITH SCORE 15024.339
AT ITER 6251 NEW BEST:: SOT 74654 SOS 22288 HAS SOPS 22288 HAS SOUS 14951 HAS SOUPS 14951 WITH SCORE 14973.288
AT ITER 6277 NEW BEST:: SOT 74659 SOS 22297 HAS SOPS 22297 HAS SOUS 14949 HAS SOUPS 14949 WITH SCORE 14971.297
AT ITER 6338 NEW BEST:: SOT 74659 SOS 22297 HAS SOPS 22297 HAS SOUS 14943 HAS SOUPS 14943 WITH SCORE 14965.297
AT ITER 6362 NEW BEST:: SOT 74659 SOS 22243 HAS SOPS 22243 HAS SOUS 14889 HAS SOUPS 14889 WITH SCORE 14911.243
AT ITER 6399 NEW BEST:: SOT 74645 SOS 22215 HAS SOPS 22215 HAS SOUS 14860 HAS SOUPS 14860 WITH SCORE 14882.215
AT ITER 6415 NEW BEST:: SOT 74638 SOS 22205 HAS SOPS 22205 HAS SOUS 14850 HAS SOUPS 14850 WITH SCORE 14872.205
AT ITER 6438 NEW BEST:: SOT 74646 SOS 22221 HAS SOPS 22221 HAS SOUS 14834 HAS SOUPS 14834 WITH SCORE 14856.221
AT ITER 6444 NEW BEST:: SOT 74568 SOS 22059 HAS SOPS 22059 HAS SOUS 14751 HAS SOUPS 14751 WITH SCORE 14773.059
AT ITER 6491 NEW BEST:: SOT 74585 SOS 22046 HAS SOPS 22046 HAS SOUS 14749 HAS SOUPS 14749 WITH SCORE 14771.046
AT ITER 6563 NEW BEST:: SOT 74555 SOS 22036 HAS SOPS 22036 HAS SOUS 14729 HAS SOUPS 14729 WITH SCORE 14751.036
AT ITER 6580 NEW BEST:: SOT 74555 SOS 22052 HAS SOPS 22052 HAS SOUS 14725 HAS SOUPS 14725 WITH SCORE 14747.052
AT ITER 6613 NEW BEST:: SOT 74569 SOS 22046 HAS SOPS 22046 HAS SOUS 14719 HAS SOUPS 14719 WITH SCORE 14741.046
AT ITER 6626 NEW BEST:: SOT 74472 SOS 21945 HAS SOPS 21945 HAS SOUS 14700 HAS SOUPS 14700 WITH SCORE 14721.945
AT ITER 6631 NEW BEST:: SOT 74463 SOS 21927 HAS SOPS 21927 HAS SOUS 14682 HAS SOUPS 14682 WITH SCORE 14703.927
AT ITER 6643 NEW BEST:: SOT 74469 SOS 21891 HAS SOPS 21891 HAS SOUS 14676 HAS SOUPS 14676 WITH SCORE 14697.891
AT ITER 6654 NEW BEST:: SOT 74452 SOS 21874 HAS SOPS 21874 HAS SOUS 14659 HAS SOUPS 14659 WITH SCORE 14680.874
AT ITER 6663 NEW BEST:: SOT 74452 SOS 21867 HAS SOPS 21867 HAS SOUS 14652 HAS SOUPS 14652 WITH SCORE 14673.867
AT ITER 6723 NEW BEST:: SOT 74452 SOS 21867 HAS SOPS 21867 HAS SOUS 14642 HAS SOUPS 14642 WITH SCORE 14663.867
AT ITER 6726 NEW BEST:: SOT 74452 SOS 21867 HAS SOPS 21867 HAS SOUS 14638 HAS SOUPS 14638 WITH SCORE 14659.867
AT ITER 6775 NEW BEST:: SOT 74639 SOS 21858 HAS SOPS 21858 HAS SOUS 14629 HAS SOUPS 14629 WITH SCORE 14650.858
AT ITER 6802 NEW BEST:: SOT 74620 SOS 21821 HAS SOPS 21821 HAS SOUS 14592 HAS SOUPS 14592 WITH SCORE 14613.821
AT ITER 6826 NEW BEST:: SOT 74609 SOS 21752 HAS SOPS 21752 HAS SOUS 14564 HAS SOUPS 14564 WITH SCORE 14585.752
AT ITER 6837 NEW BEST:: SOT 74508 SOS 21618 HAS SOPS 21618 HAS SOUS 14498 HAS SOUPS 14498 WITH SCORE 14519.618
AT ITER 6851 NEW BEST:: SOT 74502 SOS 21607 HAS SOPS 21607 HAS SOUS 14487 HAS SOUPS 14487 WITH SCORE 14508.607
AT ITER 6878 NEW BEST:: SOT 74497 SOS 21600 HAS SOPS 21600 HAS SOUS 14480 HAS SOUPS 14480 WITH SCORE 14501.6
AT ITER 6906 NEW BEST:: SOT 74517 SOS 21584 HAS SOPS 21584 HAS SOUS 14464 HAS SOUPS 14464 WITH SCORE 14485.584
AT ITER 6911 NEW BEST:: SOT 74494 SOS 21570 HAS SOPS 21570 HAS SOUS 14435 HAS SOUPS 14435 WITH SCORE 14456.57
AT ITER 6917 NEW BEST:: SOT 74465 SOS 21862 HAS SOPS 21862 HAS SOUS 14425 HAS SOUPS 14425 WITH SCORE 14446.862
AT ITER 6919 NEW BEST:: SOT 74469 SOS 21858 HAS SOPS 21858 HAS SOUS 14423 HAS SOUPS 14423 WITH SCORE 14444.858
AT ITER 6930 NEW BEST:: SOT 74459 SOS 21849 HAS SOPS 21849 HAS SOUS 14414 HAS SOUPS 14414 WITH SCORE 14435.849
AT ITER 6934 NEW BEST:: SOT 74446 SOS 21836 HAS SOPS 21836 HAS SOUS 14401 HAS SOUPS 14401 WITH SCORE 14422.836
AT ITER 6980 NEW BEST:: SOT 74444 SOS 21833 HAS SOPS 21833 HAS SOUS 14398 HAS SOUPS 14398 WITH SCORE 14419.833
AT ITER 6983 NEW BEST:: SOT 74415 SOS 21804 HAS SOPS 21804 HAS SOUS 14369 HAS SOUPS 14369 WITH SCORE 14390.804
AT ITER 7012 NEW BEST:: SOT 74404 SOS 21796 HAS SOPS 21796 HAS SOUS 14361 HAS SOUPS 14361 WITH SCORE 14382.796
AT ITER 7076 NEW BEST:: SOT 74413 SOS 21788 HAS SOPS 21788 HAS SOUS 14353 HAS SOUPS 14353 WITH SCORE 14374.788
AT ITER 7083 NEW BEST:: SOT 74424 SOS 21798 HAS SOPS 21798 HAS SOUS 14344 HAS SOUPS 14344 WITH SCORE 14365.798
AT ITER 7096 NEW BEST:: SOT 74429 SOS 21808 HAS SOPS 21808 HAS SOUS 14336 HAS SOUPS 14336 WITH SCORE 14357.808
AT ITER 7109 NEW BEST:: SOT 74429 SOS 21802 HAS SOPS 21802 HAS SOUS 14330 HAS SOUPS 14330 WITH SCORE 14351.802
AT ITER 7135 NEW BEST:: SOT 74397 SOS 21762 HAS SOPS 21762 HAS SOUS 14298 HAS SOUPS 14298 WITH SCORE 14319.762
AT ITER 7138 NEW BEST:: SOT 74341 SOS 21758 HAS SOPS 21758 HAS SOUS 14294 HAS SOUPS 14294 WITH SCORE 14315.758
AT ITER 7161 NEW BEST:: SOT 74341 SOS 21754 HAS SOPS 21754 HAS SOUS 14290 HAS SOUPS 14290 WITH SCORE 14311.754
AT ITER 7202 NEW BEST:: SOT 74340 SOS 21751 HAS SOPS 21751 HAS SOUS 14287 HAS SOUPS 14287 WITH SCORE 14308.751
AT ITER 7203 NEW BEST:: SOT 74346 SOS 21754 HAS SOPS 21754 HAS SOUS 14281 HAS SOUPS 14281 WITH SCORE 14302.754
AT ITER 7204 NEW BEST:: SOT 74344 SOS 21750 HAS SOPS 21750 HAS SOUS 14280 HAS SOUPS 14280 WITH SCORE 14301.75
AT ITER 7213 NEW BEST:: SOT 74333 SOS 21739 HAS SOPS 21739 HAS SOUS 14269 HAS SOUPS 14269 WITH SCORE 14290.739
AT ITER 7249 NEW BEST:: SOT 74333 SOS 21739 HAS SOPS 21739 HAS SOUS 14257 HAS SOUPS 14257 WITH SCORE 14278.739
AT ITER 7294 NEW BEST:: SOT 74334 SOS 21734 HAS SOPS 21734 HAS SOUS 14252 HAS SOUPS 14252 WITH SCORE 14273.734
AT ITER 7380 NEW BEST:: SOT 74332 SOS 21730 HAS SOPS 21730 HAS SOUS 14248 HAS SOUPS 14248 WITH SCORE 14269.73
AT ITER 7383 NEW BEST:: SOT 74306 SOS 21743 HAS SOPS 21743 HAS SOUS 14240 HAS SOUPS 14240 WITH SCORE 14261.743
AT ITER 7396 NEW BEST:: SOT 74305 SOS 21741 HAS SOPS 21741 HAS SOUS 14238 HAS SOUPS 14238 WITH SCORE 14259.741
AT ITER 7441 NEW BEST:: SOT 74320 SOS 21726 HAS SOPS 21726 HAS SOUS 14165 HAS SOUPS 14165 WITH SCORE 14186.726
AT ITER 7547 NEW BEST:: SOT 74312 SOS 21702 HAS SOPS 21702 HAS SOUS 14149 HAS SOUPS 14149 WITH SCORE 14170.702
AT ITER 7558 NEW BEST:: SOT 74293 SOS 21684 HAS SOPS 21684 HAS SOUS 14131 HAS SOUPS 14131 WITH SCORE 14152.684
AT ITER 7562 NEW BEST:: SOT 74312 SOS 21677 HAS SOPS 21677 HAS SOUS 14124 HAS SOUPS 14124 WITH SCORE 14145.677
AT ITER 7570 NEW BEST:: SOT 74310 SOS 21675 HAS SOPS 21675 HAS SOUS 14122 HAS SOUPS 14122 WITH SCORE 14143.675
AT ITER 7596 NEW BEST:: SOT 74302 SOS 21659 HAS SOPS 21659 HAS SOUS 14114 HAS SOUPS 14114 WITH SCORE 14135.659
AT ITER 7600 NEW BEST:: SOT 74301 SOS 21645 HAS SOPS 21645 HAS SOUS 14100 HAS SOUPS 14100 WITH SCORE 14121.645
AT ITER 7638 NEW BEST:: SOT 74298 SOS 21642 HAS SOPS 21642 HAS SOUS 14097 HAS SOUPS 14097 WITH SCORE 14118.642
AT ITER 7662 NEW BEST:: SOT 74295 SOS 21639 HAS SOPS 21639 HAS SOUS 14097 HAS SOUPS 14097 WITH SCORE 14118.639
AT ITER 7663 NEW BEST:: SOT 74314 SOS 21658 HAS SOPS 21658 HAS SOUS 14092 HAS SOUPS 14092 WITH SCORE 14113.658
AT ITER 7669 NEW BEST:: SOT 74341 SOS 21665 HAS SOPS 21665 HAS SOUS 14046 HAS SOUPS 14046 WITH SCORE 14067.665
AT ITER 7672 NEW BEST:: SOT 74335 SOS 21662 HAS SOPS 21662 HAS SOUS 14040 HAS SOUPS 14040 WITH SCORE 14061.662
AT ITER 7776 NEW BEST:: SOT 74332 SOS 21651 HAS SOPS 21651 HAS SOUS 14029 HAS SOUPS 14029 WITH SCORE 14050.651
AT ITER 7806 NEW BEST:: SOT 74328 SOS 21643 HAS SOPS 21643 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14042.643
AT ITER 7813 NEW BEST:: SOT 74316 SOS 21631 HAS SOPS 21631 HAS SOUS 14021 HAS SOUPS 14021 WITH SCORE 14042.631
AT ITER 7855 NEW BEST:: SOT 74296 SOS 21557 HAS SOPS 21557 HAS SOUS 13989 HAS SOUPS 13989 WITH SCORE 14010.557
AT ITER 7888 NEW BEST:: SOT 74298 SOS 21578 HAS SOPS 21578 HAS SOUS 13978 HAS SOUPS 13978 WITH SCORE 13999.578
AT ITER 7897 NEW BEST:: SOT 74281 SOS 21559 HAS SOPS 21559 HAS SOUS 13959 HAS SOUPS 13959 WITH SCORE 13980.559
AT ITER 7971 NEW BEST:: SOT 74261 SOS 21519 HAS SOPS 21519 HAS SOUS 13919 HAS SOUPS 13919 WITH SCORE 13940.519
AT ITER 7975 NEW BEST:: SOT 74258 SOS 21516 HAS SOPS 21516 HAS SOUS 13915 HAS SOUPS 13915 WITH SCORE 13936.516
AT ITER 7983 NEW BEST:: SOT 74260 SOS 21518 HAS SOPS 21518 HAS SOUS 13911 HAS SOUPS 13911 WITH SCORE 13932.518
AT ITER 7997 NEW BEST:: SOT 74258 SOS 21517 HAS SOPS 21517 HAS SOUS 13910 HAS SOUPS 13910 WITH SCORE 13931.517
AT ITER 7998 NEW BEST:: SOT 74238 SOS 21497 HAS SOPS 21497 HAS SOUS 13890 HAS SOUPS 13890 WITH SCORE 13911.497
AT ITER 8032 NEW BEST:: SOT 74235 SOS 21488 HAS SOPS 21488 HAS SOUS 13881 HAS SOUPS 13881 WITH SCORE 13902.488
AT ITER 8047 NEW BEST:: SOT 74230 SOS 21475 HAS SOPS 21475 HAS SOUS 13857 HAS SOUPS 13857 WITH SCORE 13878.475
AT ITER 8074 NEW BEST:: SOT 74227 SOS 21469 HAS SOPS 21469 HAS SOUS 13854 HAS SOUPS 13854 WITH SCORE 13875.469
AT ITER 8082 NEW BEST:: SOT 74238 SOS 21469 HAS SOPS 21469 HAS SOUS 13847 HAS SOUPS 13847 WITH SCORE 13868.469
AT ITER 8108 NEW BEST:: SOT 74241 SOS 21457 HAS SOPS 21457 HAS SOUS 13836 HAS SOUPS 13836 WITH SCORE 13857.457
AT ITER 8118 NEW BEST:: SOT 74244 SOS 21434 HAS SOPS 21434 HAS SOUS 13834 HAS SOUPS 13834 WITH SCORE 13855.434
AT ITER 8233 NEW BEST:: SOT 74243 SOS 21433 HAS SOPS 21433 HAS SOUS 13833 HAS SOUPS 13833 WITH SCORE 13854.433
AT ITER 8252 NEW BEST:: SOT 74243 SOS 21430 HAS SOPS 21430 HAS SOUS 13830 HAS SOUPS 13830 WITH SCORE 13851.43
AT ITER 8433 NEW BEST:: SOT 74226 SOS 21380 HAS SOPS 21380 HAS SOUS 13780 HAS SOUPS 13780 WITH SCORE 13801.38
AT ITER 8445 NEW BEST:: SOT 74194 SOS 21356 HAS SOPS 21356 HAS SOUS 13736 HAS SOUPS 13736 WITH SCORE 13757.356
AT ITER 8450 NEW BEST:: SOT 74194 SOS 21356 HAS SOPS 21356 HAS SOUS 13729 HAS SOUPS 13729 WITH SCORE 13750.356
AT ITER 8454 NEW BEST:: SOT 74194 SOS 21356 HAS SOPS 21356 HAS SOUS 13708 HAS SOUPS 13708 WITH SCORE 13729.356
AT ITER 8513 NEW BEST:: SOT 74194 SOS 21346 HAS SOPS 21346 HAS SOUS 13703 HAS SOUPS 13703 WITH SCORE 13724.346
AT ITER 8580 NEW BEST:: SOT 74188 SOS 21338 HAS SOPS 21338 HAS SOUS 13684 HAS SOUPS 13684 WITH SCORE 13705.338
AT ITER 8583 NEW BEST:: SOT 74168 SOS 21323 HAS SOPS 21323 HAS SOUS 13682 HAS SOUPS 13682 WITH SCORE 13703.323
AT ITER 8607 NEW BEST:: SOT 74182 SOS 21314 HAS SOPS 21314 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13692.314
AT ITER 8630 NEW BEST:: SOT 74182 SOS 21308 HAS SOPS 21308 HAS SOUS 13671 HAS SOUPS 13671 WITH SCORE 13692.308
AT ITER 8637 NEW BEST:: SOT 74182 SOS 21281 HAS SOPS 21281 HAS SOUS 13622 HAS SOUPS 13622 WITH SCORE 13643.281
AT ITER 8676 NEW BEST:: SOT 74187 SOS 21283 HAS SOPS 21283 HAS SOUS 13620 HAS SOUPS 13620 WITH SCORE 13641.283
AT ITER 8839 NEW BEST:: SOT 74184 SOS 21280 HAS SOPS 21280 HAS SOUS 13617 HAS SOUPS 13617 WITH SCORE 13638.28
AT ITER 8914 NEW BEST:: SOT 74270 SOS 21265 HAS SOPS 21265 HAS SOUS 13602 HAS SOUPS 13602 WITH SCORE 13623.265
AT ITER 8952 NEW BEST:: SOT 74214 SOS 21209 HAS SOPS 21209 HAS SOUS 13546 HAS SOUPS 13546 WITH SCORE 13567.209
AT ITER 8978 NEW BEST:: SOT 74220 SOS 21207 HAS SOPS 21207 HAS SOUS 13544 HAS SOUPS 13544 WITH SCORE 13565.207
AT ITER 9033 NEW BEST:: SOT 74218 SOS 21203 HAS SOPS 21203 HAS SOUS 13542 HAS SOUPS 13542 WITH SCORE 13563.203
AT ITER 9057 NEW BEST:: SOT 74245 SOS 21186 HAS SOPS 21186 HAS SOUS 13529 HAS SOUPS 13529 WITH SCORE 13550.186
AT ITER 9247 NEW BEST:: SOT 74244 SOS 21184 HAS SOPS 21184 HAS SOUS 13527 HAS SOUPS 13527 WITH SCORE 13548.184
AT ITER 9342 NEW BEST:: SOT 74236 SOS 21176 HAS SOPS 21176 HAS SOUS 13519 HAS SOUPS 13519 WITH SCORE 13540.176
AT ITER 9377 NEW BEST:: SOT 74230 SOS 21160 HAS SOPS 21160 HAS SOUS 13513 HAS SOUPS 13513 WITH SCORE 13534.16
AT ITER 9411 NEW BEST:: SOT 74210 SOS 21130 HAS SOPS 21130 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13504.13
AT ITER 9441 NEW BEST:: SOT 74206 SOS 21126 HAS SOPS 21126 HAS SOUS 13483 HAS SOUPS 13483 WITH SCORE 13504.126
AT ITER 9451 NEW BEST:: SOT 74191 SOS 21111 HAS SOPS 21111 HAS SOUS 13468 HAS SOUPS 13468 WITH SCORE 13489.111
AT ITER 9515 NEW BEST:: SOT 74188 SOS 21108 HAS SOPS 21108 HAS SOUS 13465 HAS SOUPS 13465 WITH SCORE 13486.108
AT ITER 9576 NEW BEST:: SOT 74181 SOS 21098 HAS SOPS 21098 HAS SOUS 13455 HAS SOUPS 13455 WITH SCORE 13476.098
AT ITER 9621 NEW BEST:: SOT 74173 SOS 21086 HAS SOPS 21086 HAS SOUS 13447 HAS SOUPS 13447 WITH SCORE 13468.086
AT ITER 9631 NEW BEST:: SOT 74173 SOS 21074 HAS SOPS 21074 HAS SOUS 13447 HAS SOUPS 13447 WITH SCORE 13468.074
AT ITER 9645 NEW BEST:: SOT 74174 SOS 21068 HAS SOPS 21068 HAS SOUS 13443 HAS SOUPS 13443 WITH SCORE 13464.068
AT ITER 9799 NEW BEST:: SOT 74164 SOS 21052 HAS SOPS 21052 HAS SOUS 13423 HAS SOUPS 13423 WITH SCORE 13444.052
AT ITER 9916 NEW BEST:: SOT 74151 SOS 21039 HAS SOPS 21039 HAS SOUS 13418 HAS SOUPS 13418 WITH SCORE 13439.039
AT ITER 9921 NEW BEST:: SOT 74147 SOS 21035 HAS SOPS 21035 HAS SOUS 13418 HAS SOUPS 13418 WITH SCORE 13439.035
AT ITER 9951 NEW BEST:: SOT 74144 SOS 21029 HAS SOPS 21029 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13436.029
AT ITER 9953 NEW BEST:: SOT 74140 SOS 21021 HAS SOPS 21021 HAS SOUS 13415 HAS SOUPS 13415 WITH SCORE 13436.021
AT ITER 9971 NEW BEST:: SOT 74137 SOS 21016 HAS SOPS 21016 HAS SOUS 13410 HAS SOUPS 13410 WITH SCORE 13431.016
AT ITER 9997 NEW BEST:: SOT 74137 SOS 21019 HAS SOPS 21019 HAS SOUS 13408 HAS SOUPS 13408 WITH SCORE 13429.019
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16394052 kB
MemFree: 4639768 kB
After kill :
MemTotal: 16394052 kB
MemFree: 16156508 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BusinessProcesses-PT-07"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is BusinessProcesses-PT-07, 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 r035-tajo-167813688300504"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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