Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r515-tall-167987242200248.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
........................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is EisenbergMcGuire-PT-06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r515-tall-167987242200248
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.2M
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:23 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Mar 23 15:23 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Mar 23 15:21 CTLFireability.txt
-rw-r--r-- 1 mcc users 67K Mar 23 15:21 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Mar 23 07:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Mar 23 07:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 23 07:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 Mar 26 22:42 NewModel
-rw-r--r-- 1 mcc users 13K Mar 23 15:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 121K Mar 23 15:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.6K Mar 23 15:23 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 39K Mar 23 15:23 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Mar 23 07:07 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Mar 23 07:07 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 26 22:42 instance
-rw-r--r-- 1 mcc users 6 Mar 26 22:42 iscolored
-rw-r--r-- 1 mcc users 693K Mar 26 22:42 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 1679880166930

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=EisenbergMcGuire-PT-06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running EisenbergMcGuire (PT), instance 06
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: 414 places, 1296 transitions, 5976 arcs.
AT ITER 0 NEW BEST:: SOT 399230 SOS 197573 HAS SOPS 134117 HAS SOUS 97600 HAS SOUPS 93521 WITH SCORE 93718.573
AT ITER 19 NEW BEST:: SOT 399959 SOS 198299 HAS SOPS 132965 HAS SOUS 96087 HAS SOUPS 91994 WITH SCORE 92192.299
AT ITER 20 NEW BEST:: SOT 399800 SOS 198083 HAS SOPS 132839 HAS SOUS 95926 HAS SOUPS 91833 WITH SCORE 92031.083
AT ITER 21 NEW BEST:: SOT 399715 SOS 198631 HAS SOPS 133304 HAS SOUS 95827 HAS SOUPS 91734 WITH SCORE 91932.631
AT ITER 24 NEW BEST:: SOT 399691 SOS 198607 HAS SOPS 133280 HAS SOUS 95779 HAS SOUPS 91686 WITH SCORE 91884.607
AT ITER 25 NEW BEST:: SOT 399691 SOS 198587 HAS SOPS 133260 HAS SOUS 95759 HAS SOUPS 91666 WITH SCORE 91864.587
AT ITER 29 NEW BEST:: SOT 399691 SOS 198570 HAS SOPS 133158 HAS SOUS 95762 HAS SOUPS 91666 WITH SCORE 91864.57
AT ITER 34 NEW BEST:: SOT 399191 SOS 198603 HAS SOPS 132658 HAS SOUS 95277 HAS SOUPS 91122 WITH SCORE 91320.603
AT ITER 35 NEW BEST:: SOT 399187 SOS 198587 HAS SOPS 132642 HAS SOUS 95269 HAS SOUPS 91114 WITH SCORE 91312.587
AT ITER 36 NEW BEST:: SOT 399036 SOS 198498 HAS SOPS 132660 HAS SOUS 95123 HAS SOUPS 90968 WITH SCORE 91166.498
AT ITER 38 NEW BEST:: SOT 398862 SOS 198421 HAS SOPS 132896 HAS SOUS 94949 HAS SOUPS 90794 WITH SCORE 90992.421
AT ITER 47 NEW BEST:: SOT 399500 SOS 194521 HAS SOPS 133857 HAS SOUS 94698 HAS SOUPS 90683 WITH SCORE 90877.521
AT ITER 62 NEW BEST:: SOT 399500 SOS 194520 HAS SOPS 133856 HAS SOUS 94697 HAS SOUPS 90682 WITH SCORE 90876.52
AT ITER 63 NEW BEST:: SOT 399426 SOS 194395 HAS SOPS 133768 HAS SOUS 94618 HAS SOUPS 90603 WITH SCORE 90797.395
AT ITER 69 NEW BEST:: SOT 399350 SOS 194243 HAS SOPS 133160 HAS SOUS 94048 HAS SOUPS 90033 WITH SCORE 90227.243
AT ITER 75 NEW BEST:: SOT 399350 SOS 194183 HAS SOPS 132770 HAS SOUS 93688 HAS SOUPS 89673 WITH SCORE 89867.183
AT ITER 81 NEW BEST:: SOT 399323 SOS 193453 HAS SOPS 132040 HAS SOUS 93634 HAS SOUPS 89619 WITH SCORE 89812.453
AT ITER 82 NEW BEST:: SOT 399269 SOS 193399 HAS SOPS 131932 HAS SOUS 93580 HAS SOUPS 89565 WITH SCORE 89758.399
AT ITER 83 NEW BEST:: SOT 399269 SOS 193280 HAS SOPS 131813 HAS SOUS 93580 HAS SOUPS 89565 WITH SCORE 89758.28
AT ITER 93 NEW BEST:: SOT 398965 SOS 192903 HAS SOPS 131301 HAS SOUS 93203 HAS SOUPS 89123 WITH SCORE 89315.903
AT ITER 96 NEW BEST:: SOT 398956 SOS 192919 HAS SOPS 131283 HAS SOUS 93184 HAS SOUPS 89104 WITH SCORE 89296.919
AT ITER 100 NEW BEST:: SOT 398880 SOS 192751 HAS SOPS 131115 HAS SOUS 93039 HAS SOUPS 88959 WITH SCORE 89151.751
AT ITER 102 NEW BEST:: SOT 399114 SOS 192985 HAS SOPS 131349 HAS SOUS 92908 HAS SOUPS 88828 WITH SCORE 89020.985
AT ITER 104 NEW BEST:: SOT 399055 SOS 192778 HAS SOPS 131142 HAS SOUS 92791 HAS SOUPS 88711 WITH SCORE 88903.778
AT ITER 110 NEW BEST:: SOT 398916 SOS 192903 HAS SOPS 131342 HAS SOUS 92822 HAS SOUPS 88704 WITH SCORE 88896.903
AT ITER 111 NEW BEST:: SOT 398552 SOS 192585 HAS SOPS 131320 HAS SOUS 92796 HAS SOUPS 88681 WITH SCORE 88873.585
AT ITER 113 NEW BEST:: SOT 398427 SOS 193108 HAS SOPS 131672 HAS SOUS 92616 HAS SOUPS 88418 WITH SCORE 88611.108
AT ITER 115 NEW BEST:: SOT 398360 SOS 192840 HAS SOPS 131404 HAS SOUS 92482 HAS SOUPS 88284 WITH SCORE 88476.84
AT ITER 129 NEW BEST:: SOT 398387 SOS 192823 HAS SOPS 131387 HAS SOUS 92465 HAS SOUPS 88267 WITH SCORE 88459.823
AT ITER 132 NEW BEST:: SOT 398378 SOS 192805 HAS SOPS 131369 HAS SOUS 92447 HAS SOUPS 88249 WITH SCORE 88441.805
AT ITER 136 NEW BEST:: SOT 398343 SOS 192735 HAS SOPS 131299 HAS SOUS 92342 HAS SOUPS 88144 WITH SCORE 88336.735
AT ITER 137 NEW BEST:: SOT 398264 SOS 192498 HAS SOPS 130272 HAS SOUS 91386 HAS SOUPS 87196 WITH SCORE 87388.498
AT ITER 142 NEW BEST:: SOT 398093 SOS 192941 HAS SOPS 130982 HAS SOUS 91349 HAS SOUPS 87159 WITH SCORE 87351.941
AT ITER 143 NEW BEST:: SOT 398022 SOS 192628 HAS SOPS 130669 HAS SOUS 91207 HAS SOUPS 87017 WITH SCORE 87209.628
AT ITER 146 NEW BEST:: SOT 397873 SOS 193085 HAS SOPS 131031 HAS SOUS 90951 HAS SOUPS 86754 WITH SCORE 86947.085
AT ITER 147 NEW BEST:: SOT 397873 SOS 192993 HAS SOPS 130939 HAS SOUS 90905 HAS SOUPS 86708 WITH SCORE 86900.993
AT ITER 153 NEW BEST:: SOT 397873 SOS 192769 HAS SOPS 130715 HAS SOUS 90905 HAS SOUPS 86708 WITH SCORE 86900.769
AT ITER 157 NEW BEST:: SOT 397873 SOS 192643 HAS SOPS 130589 HAS SOUS 90905 HAS SOUPS 86708 WITH SCORE 86900.643
AT ITER 159 NEW BEST:: SOT 397828 SOS 192508 HAS SOPS 130454 HAS SOUS 90815 HAS SOUPS 86618 WITH SCORE 86810.508
AT ITER 161 NEW BEST:: SOT 397828 SOS 192508 HAS SOPS 130454 HAS SOUS 90813 HAS SOUPS 86616 WITH SCORE 86808.508
AT ITER 162 NEW BEST:: SOT 397808 SOS 192407 HAS SOPS 130353 HAS SOUS 90773 HAS SOUPS 86576 WITH SCORE 86768.407
AT ITER 167 NEW BEST:: SOT 397808 SOS 192407 HAS SOPS 130353 HAS SOUS 90772 HAS SOUPS 86575 WITH SCORE 86767.407
AT ITER 174 NEW BEST:: SOT 397808 SOS 192393 HAS SOPS 130339 HAS SOUS 90772 HAS SOUPS 86575 WITH SCORE 86767.393
AT ITER 176 NEW BEST:: SOT 397755 SOS 191948 HAS SOPS 129894 HAS SOUS 90666 HAS SOUPS 86469 WITH SCORE 86660.948
AT ITER 189 NEW BEST:: SOT 397625 SOS 192463 HAS SOPS 130639 HAS SOUS 90581 HAS SOUPS 86384 WITH SCORE 86576.463
AT ITER 191 NEW BEST:: SOT 398021 SOS 192876 HAS SOPS 131070 HAS SOUS 90563 HAS SOUPS 86366 WITH SCORE 86558.876
AT ITER 196 NEW BEST:: SOT 398018 SOS 192873 HAS SOPS 131034 HAS SOUS 90524 HAS SOUPS 86297 WITH SCORE 86489.873
AT ITER 197 NEW BEST:: SOT 397982 SOS 192801 HAS SOPS 130728 HAS SOUS 90236 HAS SOUPS 86009 WITH SCORE 86201.801
AT ITER 198 NEW BEST:: SOT 397762 SOS 192587 HAS SOPS 130616 HAS SOUS 90020 HAS SOUPS 85801 WITH SCORE 85993.587
AT ITER 207 NEW BEST:: SOT 397850 SOS 192653 HAS SOPS 130682 HAS SOUS 89998 HAS SOUPS 85779 WITH SCORE 85971.653
AT ITER 216 NEW BEST:: SOT 397744 SOS 192394 HAS SOPS 130232 HAS SOUS 89654 HAS SOUPS 85425 WITH SCORE 85617.394
AT ITER 217 NEW BEST:: SOT 397726 SOS 192340 HAS SOPS 130178 HAS SOUS 89618 HAS SOUPS 85389 WITH SCORE 85581.34
AT ITER 220 NEW BEST:: SOT 397786 SOS 192254 HAS SOPS 128810 HAS SOUS 88601 HAS SOUPS 84458 WITH SCORE 84650.254
AT ITER 226 NEW BEST:: SOT 397626 SOS 192102 HAS SOPS 128490 HAS SOUS 88305 HAS SOUPS 84134 WITH SCORE 84326.102
AT ITER 235 NEW BEST:: SOT 397547 SOS 191896 HAS SOPS 128284 HAS SOUS 88257 HAS SOUPS 84086 WITH SCORE 84277.896
AT ITER 237 NEW BEST:: SOT 397210 SOS 191598 HAS SOPS 128259 HAS SOUS 88221 HAS SOUPS 84061 WITH SCORE 84252.598
AT ITER 241 NEW BEST:: SOT 397208 SOS 191594 HAS SOPS 128255 HAS SOUS 88217 HAS SOUPS 84057 WITH SCORE 84248.594
AT ITER 252 NEW BEST:: SOT 397169 SOS 191552 HAS SOPS 128213 HAS SOUS 88175 HAS SOUPS 84015 WITH SCORE 84206.552
AT ITER 259 NEW BEST:: SOT 397169 SOS 191546 HAS SOPS 128135 HAS SOUS 88103 HAS SOUPS 83943 WITH SCORE 84134.546
AT ITER 265 NEW BEST:: SOT 397128 SOS 191423 HAS SOPS 128012 HAS SOUS 88062 HAS SOUPS 83902 WITH SCORE 84093.423
AT ITER 266 NEW BEST:: SOT 396807 SOS 191091 HAS SOPS 127785 HAS SOUS 87832 HAS SOUPS 83675 WITH SCORE 83866.091
AT ITER 269 NEW BEST:: SOT 396807 SOS 190318 HAS SOPS 127012 HAS SOUS 87749 HAS SOUPS 83592 WITH SCORE 83782.318
AT ITER 274 NEW BEST:: SOT 396781 SOS 189954 HAS SOPS 126648 HAS SOUS 87697 HAS SOUPS 83540 WITH SCORE 83729.954
AT ITER 282 NEW BEST:: SOT 396781 SOS 189951 HAS SOPS 126645 HAS SOUS 87694 HAS SOUPS 83537 WITH SCORE 83726.951
AT ITER 289 NEW BEST:: SOT 393600 SOS 186904 HAS SOPS 123624 HAS SOUS 84626 HAS SOUPS 80469 WITH SCORE 80655.904
AT ITER 293 NEW BEST:: SOT 393600 SOS 186754 HAS SOPS 123474 HAS SOUS 84626 HAS SOUPS 80469 WITH SCORE 80655.754
AT ITER 300 NEW BEST:: SOT 393584 SOS 186722 HAS SOPS 123442 HAS SOUS 84594 HAS SOUPS 80437 WITH SCORE 80623.722
AT ITER 306 NEW BEST:: SOT 393562 SOS 186667 HAS SOPS 123387 HAS SOUS 84572 HAS SOUPS 80415 WITH SCORE 80601.667
AT ITER 311 NEW BEST:: SOT 393474 SOS 186591 HAS SOPS 123303 HAS SOUS 84474 HAS SOUPS 80317 WITH SCORE 80503.591
AT ITER 315 NEW BEST:: SOT 393493 SOS 186340 HAS SOPS 123052 HAS SOUS 84473 HAS SOUPS 80316 WITH SCORE 80502.34
AT ITER 317 NEW BEST:: SOT 393468 SOS 186127 HAS SOPS 122839 HAS SOUS 84418 HAS SOUPS 80261 WITH SCORE 80447.127
AT ITER 318 NEW BEST:: SOT 389495 SOS 193009 HAS SOPS 133465 HAS SOUS 82346 HAS SOUPS 78189 WITH SCORE 78382.009
AT ITER 323 NEW BEST:: SOT 389271 SOS 192871 HAS SOPS 133562 HAS SOUS 81961 HAS SOUPS 77804 WITH SCORE 77996.871
AT ITER 326 NEW BEST:: SOT 389259 SOS 192823 HAS SOPS 133514 HAS SOUS 81937 HAS SOUPS 77780 WITH SCORE 77972.823
AT ITER 328 NEW BEST:: SOT 389217 SOS 192743 HAS SOPS 133430 HAS SOUS 81853 HAS SOUPS 77696 WITH SCORE 77888.743
AT ITER 351 NEW BEST:: SOT 384648 SOS 216072 HAS SOPS 132346 HAS SOUS 81616 HAS SOUPS 76876 WITH SCORE 77092.072
AT ITER 353 NEW BEST:: SOT 384600 SOS 215830 HAS SOPS 132104 HAS SOUS 81520 HAS SOUPS 76780 WITH SCORE 76995.83
AT ITER 355 NEW BEST:: SOT 385122 SOS 215904 HAS SOPS 132661 HAS SOUS 80685 HAS SOUPS 76131 WITH SCORE 76346.904
AT ITER 375 NEW BEST:: SOT 385125 SOS 215946 HAS SOPS 132578 HAS SOUS 80697 HAS SOUPS 76000 WITH SCORE 76215.946
AT ITER 386 NEW BEST:: SOT 385116 SOS 215928 HAS SOPS 132560 HAS SOUS 80688 HAS SOUPS 75991 WITH SCORE 76206.928
AT ITER 393 NEW BEST:: SOT 385077 SOS 215890 HAS SOPS 132449 HAS SOUS 80653 HAS SOUPS 75956 WITH SCORE 76171.89
AT ITER 397 NEW BEST:: SOT 385069 SOS 215689 HAS SOPS 132248 HAS SOUS 80637 HAS SOUPS 75940 WITH SCORE 76155.689
AT ITER 398 NEW BEST:: SOT 384478 SOS 215109 HAS SOPS 131636 HAS SOUS 80670 HAS SOUPS 75938 WITH SCORE 76153.109
AT ITER 406 NEW BEST:: SOT 384478 SOS 214935 HAS SOPS 130592 HAS SOUS 79786 HAS SOUPS 75064 WITH SCORE 75278.935
AT ITER 418 NEW BEST:: SOT 384460 SOS 214899 HAS SOPS 130556 HAS SOUS 79783 HAS SOUPS 75061 WITH SCORE 75275.899
AT ITER 422 NEW BEST:: SOT 384341 SOS 214822 HAS SOPS 130997 HAS SOUS 79783 HAS SOUPS 75061 WITH SCORE 75275.822
AT ITER 428 NEW BEST:: SOT 384336 SOS 214792 HAS SOPS 130967 HAS SOUS 79773 HAS SOUPS 75051 WITH SCORE 75265.792
AT ITER 435 NEW BEST:: SOT 384336 SOS 214774 HAS SOPS 130953 HAS SOUS 79759 HAS SOUPS 75037 WITH SCORE 75251.774
AT ITER 437 NEW BEST:: SOT 383952 SOS 214631 HAS SOPS 132294 HAS SOUS 79707 HAS SOUPS 74987 WITH SCORE 75201.631
AT ITER 457 NEW BEST:: SOT 383871 SOS 214516 HAS SOPS 132248 HAS SOUS 79648 HAS SOUPS 74928 WITH SCORE 75142.516
AT ITER 471 NEW BEST:: SOT 383819 SOS 214422 HAS SOPS 132154 HAS SOUS 79502 HAS SOUPS 74782 WITH SCORE 74996.422
AT ITER 473 NEW BEST:: SOT 383801 SOS 214382 HAS SOPS 132114 HAS SOUS 79498 HAS SOUPS 74778 WITH SCORE 74992.382
AT ITER 475 NEW BEST:: SOT 383801 SOS 214364 HAS SOPS 132096 HAS SOUS 79498 HAS SOUPS 74778 WITH SCORE 74992.364
AT ITER 487 NEW BEST:: SOT 383801 SOS 214364 HAS SOPS 132096 HAS SOUS 79449 HAS SOUPS 74729 WITH SCORE 74943.364
AT ITER 493 NEW BEST:: SOT 383665 SOS 214462 HAS SOPS 132168 HAS SOUS 79386 HAS SOUPS 74655 WITH SCORE 74869.462
AT ITER 498 NEW BEST:: SOT 383714 SOS 214548 HAS SOPS 132254 HAS SOUS 79302 HAS SOUPS 74571 WITH SCORE 74785.548
AT ITER 502 NEW BEST:: SOT 383711 SOS 214545 HAS SOPS 132248 HAS SOUS 79299 HAS SOUPS 74568 WITH SCORE 74782.545
AT ITER 508 NEW BEST:: SOT 383663 SOS 214481 HAS SOPS 132190 HAS SOUS 79194 HAS SOUPS 74463 WITH SCORE 74677.481
AT ITER 516 NEW BEST:: SOT 383663 SOS 214463 HAS SOPS 132172 HAS SOUS 79181 HAS SOUPS 74450 WITH SCORE 74664.463
AT ITER 528 NEW BEST:: SOT 383663 SOS 214461 HAS SOPS 132170 HAS SOUS 79181 HAS SOUPS 74450 WITH SCORE 74664.461
AT ITER 529 NEW BEST:: SOT 384192 SOS 214981 HAS SOPS 132737 HAS SOUS 79076 HAS SOUPS 74421 WITH SCORE 74635.981
AT ITER 533 NEW BEST:: SOT 384171 SOS 214979 HAS SOPS 132735 HAS SOUS 79074 HAS SOUPS 74419 WITH SCORE 74633.979
AT ITER 543 NEW BEST:: SOT 384065 SOS 214854 HAS SOPS 132558 HAS SOUS 78959 HAS SOUPS 74321 WITH SCORE 74535.854
AT ITER 554 NEW BEST:: SOT 384081 SOS 214870 HAS SOPS 132554 HAS SOUS 78955 HAS SOUPS 74317 WITH SCORE 74531.87
AT ITER 560 NEW BEST:: SOT 384072 SOS 214835 HAS SOPS 132528 HAS SOUS 78943 HAS SOUPS 74305 WITH SCORE 74519.835
AT ITER 583 NEW BEST:: SOT 384065 SOS 214828 HAS SOPS 132521 HAS SOUS 78936 HAS SOUPS 74298 WITH SCORE 74512.828
AT ITER 584 NEW BEST:: SOT 383627 SOS 214306 HAS SOPS 131981 HAS SOUS 78608 HAS SOUPS 73970 WITH SCORE 74184.306
AT ITER 590 NEW BEST:: SOT 383561 SOS 214847 HAS SOPS 132758 HAS SOUS 78478 HAS SOUPS 73840 WITH SCORE 74054.847
AT ITER 594 NEW BEST:: SOT 383094 SOS 214380 HAS SOPS 132286 HAS SOUS 78039 HAS SOUPS 73396 WITH SCORE 73610.38
AT ITER 595 NEW BEST:: SOT 383082 SOS 214356 HAS SOPS 132262 HAS SOUS 78027 HAS SOUPS 73372 WITH SCORE 73586.356
AT ITER 596 NEW BEST:: SOT 383059 SOS 214273 HAS SOPS 132179 HAS SOUS 77981 HAS SOUPS 73326 WITH SCORE 73540.273
AT ITER 601 NEW BEST:: SOT 383008 SOS 214050 HAS SOPS 131956 HAS SOUS 77879 HAS SOUPS 73224 WITH SCORE 73438.05
AT ITER 603 NEW BEST:: SOT 382989 SOS 213195 HAS SOPS 131854 HAS SOUS 77614 HAS SOUPS 73055 WITH SCORE 73268.195
AT ITER 609 NEW BEST:: SOT 382886 SOS 213099 HAS SOPS 131694 HAS SOUS 77463 HAS SOUPS 72904 WITH SCORE 73117.099
AT ITER 619 NEW BEST:: SOT 382950 SOS 213146 HAS SOPS 131805 HAS SOUS 77377 HAS SOUPS 72818 WITH SCORE 73031.146
AT ITER 628 NEW BEST:: SOT 382877 SOS 213005 HAS SOPS 131759 HAS SOUS 77274 HAS SOUPS 72722 WITH SCORE 72935.005
AT ITER 630 NEW BEST:: SOT 382985 SOS 213086 HAS SOPS 131867 HAS SOUS 77247 HAS SOUPS 72695 WITH SCORE 72908.086
AT ITER 642 NEW BEST:: SOT 382985 SOS 213101 HAS SOPS 131882 HAS SOUS 77236 HAS SOUPS 72684 WITH SCORE 72897.101
AT ITER 643 NEW BEST:: SOT 382985 SOS 213101 HAS SOPS 131877 HAS SOUS 77231 HAS SOUPS 72679 WITH SCORE 72892.101
AT ITER 647 NEW BEST:: SOT 382994 SOS 213099 HAS SOPS 131875 HAS SOUS 77229 HAS SOUPS 72677 WITH SCORE 72890.099
AT ITER 654 NEW BEST:: SOT 382987 SOS 213080 HAS SOPS 131856 HAS SOUS 77210 HAS SOUPS 72658 WITH SCORE 72871.08
AT ITER 655 NEW BEST:: SOT 382774 SOS 212852 HAS SOPS 131628 HAS SOUS 77207 HAS SOUPS 72655 WITH SCORE 72867.852
AT ITER 658 NEW BEST:: SOT 382728 SOS 212403 HAS SOPS 132120 HAS SOUS 77196 HAS SOUPS 72644 WITH SCORE 72856.403
AT ITER 678 NEW BEST:: SOT 382776 SOS 212451 HAS SOPS 132120 HAS SOUS 77200 HAS SOUPS 72600 WITH SCORE 72812.451
AT ITER 680 NEW BEST:: SOT 382632 SOS 212253 HAS SOPS 131922 HAS SOUS 77092 HAS SOUPS 72492 WITH SCORE 72704.253
AT ITER 693 NEW BEST:: SOT 382530 SOS 210922 HAS SOPS 129762 HAS SOUS 76800 HAS SOUPS 72120 WITH SCORE 72330.922
AT ITER 696 NEW BEST:: SOT 382504 SOS 210894 HAS SOPS 129710 HAS SOUS 76757 HAS SOUPS 72068 WITH SCORE 72278.894
AT ITER 707 NEW BEST:: SOT 382504 SOS 210781 HAS SOPS 129597 HAS SOUS 76755 HAS SOUPS 72066 WITH SCORE 72276.781
AT ITER 732 NEW BEST:: SOT 382234 SOS 210303 HAS SOPS 128337 HAS SOUS 75767 HAS SOUPS 71078 WITH SCORE 71288.303
AT ITER 750 NEW BEST:: SOT 382234 SOS 210295 HAS SOPS 128329 HAS SOUS 75767 HAS SOUPS 71078 WITH SCORE 71288.295
AT ITER 771 NEW BEST:: SOT 382298 SOS 210367 HAS SOPS 128401 HAS SOUS 75671 HAS SOUPS 70982 WITH SCORE 71192.367
AT ITER 772 NEW BEST:: SOT 382240 SOS 210297 HAS SOPS 128273 HAS SOUS 75625 HAS SOUPS 70936 WITH SCORE 71146.297
AT ITER 776 NEW BEST:: SOT 382205 SOS 210265 HAS SOPS 128241 HAS SOUS 75525 HAS SOUPS 70836 WITH SCORE 71046.265
AT ITER 787 NEW BEST:: SOT 382176 SOS 210294 HAS SOPS 128270 HAS SOUS 75496 HAS SOUPS 70807 WITH SCORE 71017.294
AT ITER 793 NEW BEST:: SOT 382128 SOS 210270 HAS SOPS 128270 HAS SOUS 75494 HAS SOUPS 70805 WITH SCORE 71015.27
AT ITER 796 NEW BEST:: SOT 381419 SOS 210119 HAS SOPS 130306 HAS SOUS 75434 HAS SOUPS 70717 WITH SCORE 70927.119
AT ITER 800 NEW BEST:: SOT 381347 SOS 210029 HAS SOPS 130186 HAS SOUS 75404 HAS SOUPS 70687 WITH SCORE 70897.029
AT ITER 809 NEW BEST:: SOT 381038 SOS 210320 HAS SOPS 129696 HAS SOUS 75410 HAS SOUPS 70646 WITH SCORE 70856.32
AT ITER 814 NEW BEST:: SOT 381039 SOS 210231 HAS SOPS 129390 HAS SOUS 75324 HAS SOUPS 70532 WITH SCORE 70742.231
AT ITER 822 NEW BEST:: SOT 381039 SOS 210251 HAS SOPS 129370 HAS SOUS 75319 HAS SOUPS 70512 WITH SCORE 70722.251
AT ITER 826 NEW BEST:: SOT 381039 SOS 210047 HAS SOPS 129166 HAS SOUS 75319 HAS SOUPS 70512 WITH SCORE 70722.047
AT ITER 827 NEW BEST:: SOT 380987 SOS 209831 HAS SOPS 128950 HAS SOUS 75279 HAS SOUPS 70472 WITH SCORE 70681.831
AT ITER 829 NEW BEST:: SOT 380898 SOS 209594 HAS SOPS 128836 HAS SOUS 75198 HAS SOUPS 70391 WITH SCORE 70600.594
AT ITER 833 NEW BEST:: SOT 380859 SOS 209578 HAS SOPS 128758 HAS SOUS 75099 HAS SOUPS 70313 WITH SCORE 70522.578
AT ITER 851 NEW BEST:: SOT 380882 SOS 209467 HAS SOPS 128658 HAS SOUS 75039 HAS SOUPS 70253 WITH SCORE 70462.467
AT ITER 852 NEW BEST:: SOT 380810 SOS 209377 HAS SOPS 128550 HAS SOUS 74949 HAS SOUPS 70163 WITH SCORE 70372.377
AT ITER 854 NEW BEST:: SOT 380719 SOS 209023 HAS SOPS 128186 HAS SOUS 74848 HAS SOUPS 70062 WITH SCORE 70271.023
AT ITER 856 NEW BEST:: SOT 378577 SOS 233275 HAS SOPS 127474 HAS SOUS 73666 HAS SOUPS 68635 WITH SCORE 68868.275
AT ITER 865 NEW BEST:: SOT 378573 SOS 233243 HAS SOPS 127442 HAS SOUS 73658 HAS SOUPS 68627 WITH SCORE 68860.243
AT ITER 876 NEW BEST:: SOT 378515 SOS 233185 HAS SOPS 127442 HAS SOUS 73658 HAS SOUPS 68627 WITH SCORE 68860.185
AT ITER 879 NEW BEST:: SOT 378381 SOS 232980 HAS SOPS 127166 HAS SOUS 73394 HAS SOUPS 68363 WITH SCORE 68595.98
AT ITER 882 NEW BEST:: SOT 377823 SOS 232382 HAS SOPS 125898 HAS SOUS 72744 HAS SOUPS 67713 WITH SCORE 67945.382
AT ITER 884 NEW BEST:: SOT 378067 SOS 232746 HAS SOPS 126202 HAS SOUS 72742 HAS SOUPS 67711 WITH SCORE 67943.746
AT ITER 886 NEW BEST:: SOT 377955 SOS 219388 HAS SOPS 125347 HAS SOUS 72520 HAS SOUPS 67589 WITH SCORE 67808.388
AT ITER 898 NEW BEST:: SOT 377668 SOS 219068 HAS SOPS 125060 HAS SOUS 72512 HAS SOUPS 67581 WITH SCORE 67800.068
AT ITER 905 NEW BEST:: SOT 376967 SOS 218367 HAS SOPS 124769 HAS SOUS 72190 HAS SOUPS 67268 WITH SCORE 67486.367
AT ITER 906 NEW BEST:: SOT 377663 SOS 193734 HAS SOPS 122253 HAS SOUS 71482 HAS SOUPS 66844 WITH SCORE 67037.734
AT ITER 928 NEW BEST:: SOT 377635 SOS 193845 HAS SOPS 122364 HAS SOUS 71440 HAS SOUPS 66802 WITH SCORE 66995.845
AT ITER 931 NEW BEST:: SOT 377578 SOS 193701 HAS SOPS 122220 HAS SOUS 71326 HAS SOUPS 66688 WITH SCORE 66881.701
AT ITER 946 NEW BEST:: SOT 377523 SOS 193829 HAS SOPS 122348 HAS SOUS 71287 HAS SOUPS 66649 WITH SCORE 66842.829
AT ITER 955 NEW BEST:: SOT 377541 SOS 193853 HAS SOPS 122366 HAS SOUS 71281 HAS SOUPS 66643 WITH SCORE 66836.853
AT ITER 959 NEW BEST:: SOT 377501 SOS 193747 HAS SOPS 122112 HAS SOUS 71056 HAS SOUPS 66418 WITH SCORE 66611.747
AT ITER 977 NEW BEST:: SOT 377503 SOS 193683 HAS SOPS 122021 HAS SOUS 71015 HAS SOUPS 66377 WITH SCORE 66570.683
AT ITER 987 NEW BEST:: SOT 377496 SOS 193417 HAS SOPS 121755 HAS SOUS 71001 HAS SOUPS 66363 WITH SCORE 66556.417
AT ITER 995 NEW BEST:: SOT 377445 SOS 193427 HAS SOPS 121686 HAS SOUS 70921 HAS SOUPS 66283 WITH SCORE 66476.427
AT ITER 998 NEW BEST:: SOT 377411 SOS 193378 HAS SOPS 121647 HAS SOUS 70911 HAS SOUPS 66273 WITH SCORE 66466.378
AT ITER 1002 NEW BEST:: SOT 377367 SOS 193323 HAS SOPS 121603 HAS SOUS 70872 HAS SOUPS 66234 WITH SCORE 66427.323
AT ITER 1017 NEW BEST:: SOT 377355 SOS 193259 HAS SOPS 121539 HAS SOUS 70860 HAS SOUPS 66222 WITH SCORE 66415.259
AT ITER 1051 NEW BEST:: SOT 377355 SOS 193253 HAS SOPS 121533 HAS SOUS 70860 HAS SOUPS 66222 WITH SCORE 66415.253
AT ITER 1056 NEW BEST:: SOT 377355 SOS 193253 HAS SOPS 121533 HAS SOUS 70852 HAS SOUPS 66214 WITH SCORE 66407.253
AT ITER 1063 NEW BEST:: SOT 377264 SOS 193181 HAS SOPS 121433 HAS SOUS 70752 HAS SOUPS 66114 WITH SCORE 66307.181
AT ITER 1064 NEW BEST:: SOT 377241 SOS 193140 HAS SOPS 121392 HAS SOUS 70672 HAS SOUPS 66034 WITH SCORE 66227.14
AT ITER 1066 NEW BEST:: SOT 377489 SOS 193636 HAS SOPS 122061 HAS SOUS 70509 HAS SOUPS 65871 WITH SCORE 66064.636
AT ITER 1075 NEW BEST:: SOT 377385 SOS 193428 HAS SOPS 121816 HAS SOUS 70288 HAS SOUPS 65650 WITH SCORE 65843.428
AT ITER 1086 NEW BEST:: SOT 377327 SOS 193312 HAS SOPS 121700 HAS SOUS 70172 HAS SOUPS 65534 WITH SCORE 65727.312
AT ITER 1097 NEW BEST:: SOT 376939 SOS 194092 HAS SOPS 121393 HAS SOUS 70187 HAS SOUPS 65501 WITH SCORE 65695.092
AT ITER 1119 NEW BEST:: SOT 376852 SOS 193974 HAS SOPS 121335 HAS SOUS 70168 HAS SOUPS 65482 WITH SCORE 65675.974
AT ITER 1144 NEW BEST:: SOT 376222 SOS 193297 HAS SOPS 120658 HAS SOUS 70141 HAS SOUPS 65455 WITH SCORE 65648.297
AT ITER 1147 NEW BEST:: SOT 376202 SOS 193257 HAS SOPS 120618 HAS SOUS 70101 HAS SOUPS 65415 WITH SCORE 65608.257
AT ITER 1149 NEW BEST:: SOT 376067 SOS 193114 HAS SOPS 120467 HAS SOUS 70039 HAS SOUPS 65337 WITH SCORE 65530.114
AT ITER 1155 NEW BEST:: SOT 376041 SOS 193092 HAS SOPS 120445 HAS SOUS 69988 HAS SOUPS 65286 WITH SCORE 65479.092
AT ITER 1177 NEW BEST:: SOT 376034 SOS 193085 HAS SOPS 120431 HAS SOUS 69974 HAS SOUPS 65272 WITH SCORE 65465.085
AT ITER 1180 NEW BEST:: SOT 376012 SOS 193063 HAS SOPS 120169 HAS SOUS 69953 HAS SOUPS 65247 WITH SCORE 65440.063
AT ITER 1181 NEW BEST:: SOT 375986 SOS 193045 HAS SOPS 120151 HAS SOUS 69939 HAS SOUPS 65233 WITH SCORE 65426.045
AT ITER 1183 NEW BEST:: SOT 376084 SOS 193029 HAS SOPS 120079 HAS SOUS 69907 HAS SOUPS 65191 WITH SCORE 65384.029
AT ITER 1195 NEW BEST:: SOT 375976 SOS 192921 HAS SOPS 119930 HAS SOUS 69823 HAS SOUPS 65066 WITH SCORE 65258.921
AT ITER 1198 NEW BEST:: SOT 376252 SOS 193197 HAS SOPS 119827 HAS SOUS 69313 HAS SOUPS 64556 WITH SCORE 64749.197
AT ITER 1211 NEW BEST:: SOT 376197 SOS 193075 HAS SOPS 119728 HAS SOUS 69234 HAS SOUPS 64477 WITH SCORE 64670.075
AT ITER 1221 NEW BEST:: SOT 376038 SOS 192526 HAS SOPS 119102 HAS SOUS 68839 HAS SOUPS 64082 WITH SCORE 64274.526
AT ITER 1226 NEW BEST:: SOT 376038 SOS 192526 HAS SOPS 119102 HAS SOUS 68837 HAS SOUPS 64080 WITH SCORE 64272.526
AT ITER 1227 NEW BEST:: SOT 375715 SOS 192185 HAS SOPS 118692 HAS SOUS 68428 HAS SOUPS 63670 WITH SCORE 63862.185
AT ITER 1244 NEW BEST:: SOT 375715 SOS 192061 HAS SOPS 118568 HAS SOUS 68426 HAS SOUPS 63668 WITH SCORE 63860.061
AT ITER 1249 NEW BEST:: SOT 375689 SOS 191859 HAS SOPS 118366 HAS SOUS 68374 HAS SOUPS 63616 WITH SCORE 63807.859
AT ITER 1260 NEW BEST:: SOT 375665 SOS 191837 HAS SOPS 118344 HAS SOUS 68326 HAS SOUPS 63568 WITH SCORE 63759.837
AT ITER 1264 NEW BEST:: SOT 375644 SOS 191816 HAS SOPS 118323 HAS SOUS 68284 HAS SOUPS 63526 WITH SCORE 63717.816
AT ITER 1277 NEW BEST:: SOT 375576 SOS 191796 HAS SOPS 118294 HAS SOUS 68239 HAS SOUPS 63491 WITH SCORE 63682.796
AT ITER 1281 NEW BEST:: SOT 375265 SOS 191539 HAS SOPS 117672 HAS SOUS 67922 HAS SOUPS 63174 WITH SCORE 63365.539
AT ITER 1284 NEW BEST:: SOT 375256 SOS 191521 HAS SOPS 117654 HAS SOUS 67904 HAS SOUPS 63156 WITH SCORE 63347.521
AT ITER 1285 NEW BEST:: SOT 375283 SOS 191509 HAS SOPS 117603 HAS SOUS 67697 HAS SOUPS 62949 WITH SCORE 63140.509
AT ITER 1288 NEW BEST:: SOT 375385 SOS 191707 HAS SOPS 117569 HAS SOUS 67743 HAS SOUPS 62903 WITH SCORE 63094.707
AT ITER 1302 NEW BEST:: SOT 375060 SOS 191382 HAS SOPS 116854 HAS SOUS 67411 HAS SOUPS 62513 WITH SCORE 62704.382
AT ITER 1310 NEW BEST:: SOT 375239 SOS 191631 HAS SOPS 117064 HAS SOUS 67395 HAS SOUPS 62497 WITH SCORE 62688.631
AT ITER 1314 NEW BEST:: SOT 375219 SOS 191611 HAS SOPS 117044 HAS SOUS 67395 HAS SOUPS 62493 WITH SCORE 62684.611
AT ITER 1320 NEW BEST:: SOT 375204 SOS 191598 HAS SOPS 117014 HAS SOUS 67415 HAS SOUPS 62463 WITH SCORE 62654.598
AT ITER 1321 NEW BEST:: SOT 375211 SOS 191743 HAS SOPS 117028 HAS SOUS 67381 HAS SOUPS 62408 WITH SCORE 62599.743
AT ITER 1327 NEW BEST:: SOT 375151 SOS 191683 HAS SOPS 117028 HAS SOUS 67381 HAS SOUPS 62408 WITH SCORE 62599.683
AT ITER 1328 NEW BEST:: SOT 375348 SOS 191730 HAS SOPS 116830 HAS SOUS 67394 HAS SOUPS 62393 WITH SCORE 62584.73
AT ITER 1339 NEW BEST:: SOT 375354 SOS 191695 HAS SOPS 116795 HAS SOUS 67382 HAS SOUPS 62381 WITH SCORE 62572.695
AT ITER 1351 NEW BEST:: SOT 375345 SOS 191650 HAS SOPS 116750 HAS SOUS 67364 HAS SOUPS 62363 WITH SCORE 62554.65
AT ITER 1360 NEW BEST:: SOT 375345 SOS 191597 HAS SOPS 116697 HAS SOUS 67364 HAS SOUPS 62363 WITH SCORE 62554.597
AT ITER 1363 NEW BEST:: SOT 375340 SOS 191602 HAS SOPS 116702 HAS SOUS 67354 HAS SOUPS 62353 WITH SCORE 62544.602
AT ITER 1374 NEW BEST:: SOT 375290 SOS 191616 HAS SOPS 116595 HAS SOUS 67262 HAS SOUPS 62246 WITH SCORE 62437.616
AT ITER 1377 NEW BEST:: SOT 375288 SOS 191616 HAS SOPS 116595 HAS SOUS 67260 HAS SOUPS 62244 WITH SCORE 62435.616
AT ITER 1387 NEW BEST:: SOT 375272 SOS 191584 HAS SOPS 116563 HAS SOUS 67228 HAS SOUPS 62212 WITH SCORE 62403.584
AT ITER 1391 NEW BEST:: SOT 375231 SOS 191502 HAS SOPS 116727 HAS SOUS 67146 HAS SOUPS 62171 WITH SCORE 62362.502
AT ITER 1404 NEW BEST:: SOT 375208 SOS 191559 HAS SOPS 116742 HAS SOUS 67121 HAS SOUPS 62146 WITH SCORE 62337.559
AT ITER 1406 NEW BEST:: SOT 374859 SOS 191070 HAS SOPS 116253 HAS SOUS 67092 HAS SOUPS 62117 WITH SCORE 62308.07
AT ITER 1420 NEW BEST:: SOT 374859 SOS 190346 HAS SOPS 115529 HAS SOUS 67092 HAS SOUPS 62117 WITH SCORE 62307.346
AT ITER 1428 NEW BEST:: SOT 374849 SOS 190296 HAS SOPS 115479 HAS SOUS 67072 HAS SOUPS 62097 WITH SCORE 62287.296
AT ITER 1440 NEW BEST:: SOT 374819 SOS 190072 HAS SOPS 115255 HAS SOUS 67008 HAS SOUPS 62033 WITH SCORE 62223.072
AT ITER 1446 NEW BEST:: SOT 374809 SOS 190056 HAS SOPS 115229 HAS SOUS 66988 HAS SOUPS 62013 WITH SCORE 62203.056
AT ITER 1451 NEW BEST:: SOT 374807 SOS 190052 HAS SOPS 115225 HAS SOUS 66984 HAS SOUPS 62009 WITH SCORE 62199.052
AT ITER 1470 NEW BEST:: SOT 374724 SOS 190044 HAS SOPS 115141 HAS SOUS 66890 HAS SOUPS 61888 WITH SCORE 62078.044
AT ITER 1483 NEW BEST:: SOT 374682 SOS 190010 HAS SOPS 115100 HAS SOUS 66849 HAS SOUPS 61847 WITH SCORE 62037.01
AT ITER 1504 NEW BEST:: SOT 374858 SOS 189381 HAS SOPS 115459 HAS SOUS 66782 HAS SOUPS 61821 WITH SCORE 62010.381
AT ITER 1506 NEW BEST:: SOT 374858 SOS 189300 HAS SOPS 115378 HAS SOUS 66755 HAS SOUPS 61794 WITH SCORE 61983.3
AT ITER 1508 NEW BEST:: SOT 374821 SOS 189118 HAS SOPS 115384 HAS SOUS 66581 HAS SOUPS 61720 WITH SCORE 61909.118
AT ITER 1515 NEW BEST:: SOT 374758 SOS 183034 HAS SOPS 109300 HAS SOUS 66425 HAS SOUPS 61564 WITH SCORE 61747.034
AT ITER 1522 NEW BEST:: SOT 374549 SOS 182796 HAS SOPS 109014 HAS SOUS 66296 HAS SOUPS 61406 WITH SCORE 61588.796
AT ITER 1533 NEW BEST:: SOT 374540 SOS 182778 HAS SOPS 108996 HAS SOUS 66278 HAS SOUPS 61388 WITH SCORE 61570.778
AT ITER 1577 NEW BEST:: SOT 374523 SOS 183242 HAS SOPS 109460 HAS SOUS 66272 HAS SOUPS 61382 WITH SCORE 61565.242
AT ITER 1579 NEW BEST:: SOT 374610 SOS 183282 HAS SOPS 109440 HAS SOUS 66252 HAS SOUPS 61362 WITH SCORE 61545.282
AT ITER 1580 NEW BEST:: SOT 374290 SOS 182895 HAS SOPS 109059 HAS SOUS 66057 HAS SOUPS 61167 WITH SCORE 61349.895
AT ITER 1589 NEW BEST:: SOT 374260 SOS 182501 HAS SOPS 108665 HAS SOUS 66026 HAS SOUPS 61136 WITH SCORE 61318.501
AT ITER 1601 NEW BEST:: SOT 374247 SOS 182603 HAS SOPS 108767 HAS SOUS 66000 HAS SOUPS 61110 WITH SCORE 61292.603
AT ITER 1608 NEW BEST:: SOT 374071 SOS 182801 HAS SOPS 108965 HAS SOUS 65896 HAS SOUPS 61006 WITH SCORE 61188.801
AT ITER 1637 NEW BEST:: SOT 374008 SOS 182723 HAS SOPS 108887 HAS SOUS 65833 HAS SOUPS 60943 WITH SCORE 61125.723
AT ITER 1642 NEW BEST:: SOT 373968 SOS 182683 HAS SOPS 108847 HAS SOUS 65828 HAS SOUPS 60938 WITH SCORE 61120.683
AT ITER 1648 NEW BEST:: SOT 373954 SOS 182753 HAS SOPS 108917 HAS SOUS 65800 HAS SOUPS 60910 WITH SCORE 61092.753
AT ITER 1661 NEW BEST:: SOT 373954 SOS 182696 HAS SOPS 108860 HAS SOUS 65800 HAS SOUPS 60910 WITH SCORE 61092.696
AT ITER 1663 NEW BEST:: SOT 373932 SOS 182565 HAS SOPS 108729 HAS SOUS 65756 HAS SOUPS 60866 WITH SCORE 61048.565
AT ITER 1668 NEW BEST:: SOT 373918 SOS 182481 HAS SOPS 108645 HAS SOUS 65728 HAS SOUPS 60838 WITH SCORE 61020.481
AT ITER 1672 NEW BEST:: SOT 373681 SOS 183145 HAS SOPS 108398 HAS SOUS 65477 HAS SOUPS 60566 WITH SCORE 60749.145
AT ITER 1695 NEW BEST:: SOT 373662 SOS 183115 HAS SOPS 108368 HAS SOUS 65447 HAS SOUPS 60536 WITH SCORE 60719.115
AT ITER 1696 NEW BEST:: SOT 373662 SOS 183105 HAS SOPS 108358 HAS SOUS 65437 HAS SOUPS 60526 WITH SCORE 60709.105
AT ITER 1701 NEW BEST:: SOT 373755 SOS 183198 HAS SOPS 108451 HAS SOUS 65391 HAS SOUPS 60480 WITH SCORE 60663.198
AT ITER 1709 NEW BEST:: SOT 373728 SOS 183096 HAS SOPS 108349 HAS SOUS 65337 HAS SOUPS 60426 WITH SCORE 60609.096
AT ITER 1710 NEW BEST:: SOT 373635 SOS 183003 HAS SOPS 108339 HAS SOUS 65368 HAS SOUPS 60416 WITH SCORE 60599.003
AT ITER 1714 NEW BEST:: SOT 373630 SOS 182630 HAS SOPS 107954 HAS SOUS 65350 HAS SOUPS 60398 WITH SCORE 60580.63
AT ITER 1716 NEW BEST:: SOT 373645 SOS 182580 HAS SOPS 107904 HAS SOUS 65203 HAS SOUPS 60251 WITH SCORE 60433.58
AT ITER 1717 NEW BEST:: SOT 373517 SOS 182441 HAS SOPS 107568 HAS SOUS 65029 HAS SOUPS 59995 WITH SCORE 60177.441
AT ITER 1726 NEW BEST:: SOT 373572 SOS 178916 HAS SOPS 107528 HAS SOUS 64711 HAS SOUPS 59709 WITH SCORE 59887.916
AT ITER 1734 NEW BEST:: SOT 373572 SOS 178889 HAS SOPS 107501 HAS SOUS 64711 HAS SOUPS 59709 WITH SCORE 59887.889
AT ITER 1739 NEW BEST:: SOT 373557 SOS 178797 HAS SOPS 107310 HAS SOUS 64558 HAS SOUPS 59556 WITH SCORE 59734.797
AT ITER 1747 NEW BEST:: SOT 373567 SOS 178807 HAS SOPS 107335 HAS SOUS 64538 HAS SOUPS 59536 WITH SCORE 59714.807
AT ITER 1769 NEW BEST:: SOT 373544 SOS 178807 HAS SOPS 107335 HAS SOUS 64515 HAS SOUPS 59513 WITH SCORE 59691.807
AT ITER 1775 NEW BEST:: SOT 373567 SOS 178830 HAS SOPS 107381 HAS SOUS 64226 HAS SOUPS 59224 WITH SCORE 59402.83
AT ITER 1777 NEW BEST:: SOT 373567 SOS 178830 HAS SOPS 107381 HAS SOUS 64201 HAS SOUPS 59199 WITH SCORE 59377.83
AT ITER 1789 NEW BEST:: SOT 373471 SOS 178685 HAS SOPS 107239 HAS SOUS 64055 HAS SOUPS 59075 WITH SCORE 59253.685
AT ITER 1794 NEW BEST:: SOT 373471 SOS 178685 HAS SOPS 106855 HAS SOUS 64055 HAS SOUPS 59011 WITH SCORE 59189.685
AT ITER 1818 NEW BEST:: SOT 373463 SOS 178677 HAS SOPS 106839 HAS SOUS 64044 HAS SOUPS 58995 WITH SCORE 59173.677
AT ITER 1836 NEW BEST:: SOT 373357 SOS 178495 HAS SOPS 106665 HAS SOUS 63870 HAS SOUPS 58821 WITH SCORE 58999.495
AT ITER 1857 NEW BEST:: SOT 373357 SOS 178421 HAS SOPS 106591 HAS SOUS 63870 HAS SOUPS 58821 WITH SCORE 58999.421
AT ITER 1858 NEW BEST:: SOT 373302 SOS 178461 HAS SOPS 106631 HAS SOUS 63803 HAS SOUPS 58754 WITH SCORE 58932.461
AT ITER 1879 NEW BEST:: SOT 373302 SOS 178414 HAS SOPS 106584 HAS SOUS 63803 HAS SOUPS 58754 WITH SCORE 58932.414
AT ITER 1884 NEW BEST:: SOT 373268 SOS 178361 HAS SOPS 106516 HAS SOUS 63737 HAS SOUPS 58688 WITH SCORE 58866.361
AT ITER 1911 NEW BEST:: SOT 373268 SOS 178347 HAS SOPS 106480 HAS SOUS 63708 HAS SOUPS 58652 WITH SCORE 58830.347
AT ITER 1939 NEW BEST:: SOT 373265 SOS 178344 HAS SOPS 106477 HAS SOUS 63704 HAS SOUPS 58648 WITH SCORE 58826.344
AT ITER 1941 NEW BEST:: SOT 373247 SOS 178299 HAS SOPS 106432 HAS SOUS 63697 HAS SOUPS 58641 WITH SCORE 58819.299
AT ITER 1951 NEW BEST:: SOT 373241 SOS 178107 HAS SOPS 106240 HAS SOUS 63685 HAS SOUPS 58629 WITH SCORE 58807.107
AT ITER 1967 NEW BEST:: SOT 373319 SOS 178185 HAS SOPS 106318 HAS SOUS 63643 HAS SOUPS 58587 WITH SCORE 58765.185
AT ITER 1988 NEW BEST:: SOT 373443 SOS 178221 HAS SOPS 106427 HAS SOUS 63449 HAS SOUPS 58393 WITH SCORE 58571.221
AT ITER 2011 NEW BEST:: SOT 373432 SOS 178196 HAS SOPS 106392 HAS SOUS 63427 HAS SOUPS 58371 WITH SCORE 58549.196
AT ITER 2016 NEW BEST:: SOT 373432 SOS 178172 HAS SOPS 106368 HAS SOUS 63427 HAS SOUPS 58371 WITH SCORE 58549.172
AT ITER 2029 NEW BEST:: SOT 373418 SOS 178143 HAS SOPS 106339 HAS SOUS 63416 HAS SOUPS 58360 WITH SCORE 58538.143
AT ITER 2084 NEW BEST:: SOT 373426 SOS 178131 HAS SOPS 106325 HAS SOUS 63402 HAS SOUPS 58346 WITH SCORE 58524.131
AT ITER 2092 NEW BEST:: SOT 373431 SOS 178141 HAS SOPS 106335 HAS SOUS 63393 HAS SOUPS 58337 WITH SCORE 58515.141
AT ITER 2111 NEW BEST:: SOT 373705 SOS 178401 HAS SOPS 106551 HAS SOUS 63333 HAS SOUPS 58277 WITH SCORE 58455.401
AT ITER 2118 NEW BEST:: SOT 373705 SOS 178371 HAS SOPS 106521 HAS SOUS 63303 HAS SOUPS 58247 WITH SCORE 58425.371
AT ITER 2147 NEW BEST:: SOT 373705 SOS 177968 HAS SOPS 106118 HAS SOUS 63262 HAS SOUPS 58206 WITH SCORE 58383.968
AT ITER 2163 NEW BEST:: SOT 373705 SOS 177986 HAS SOPS 106100 HAS SOUS 63244 HAS SOUPS 58188 WITH SCORE 58365.986
AT ITER 2165 NEW BEST:: SOT 373652 SOS 177917 HAS SOPS 106026 HAS SOUS 63146 HAS SOUPS 58090 WITH SCORE 58267.917
AT ITER 2167 NEW BEST:: SOT 373647 SOS 177907 HAS SOPS 106016 HAS SOUS 63136 HAS SOUPS 58080 WITH SCORE 58257.907
AT ITER 2185 NEW BEST:: SOT 373587 SOS 177847 HAS SOPS 106016 HAS SOUS 63131 HAS SOUPS 58075 WITH SCORE 58252.847
AT ITER 2200 NEW BEST:: SOT 373973 SOS 178367 HAS SOPS 105992 HAS SOUS 63051 HAS SOUPS 57995 WITH SCORE 58173.367
AT ITER 2218 NEW BEST:: SOT 373884 SOS 178321 HAS SOPS 105926 HAS SOUS 62988 HAS SOUPS 57929 WITH SCORE 58107.321
AT ITER 2225 NEW BEST:: SOT 373842 SOS 178237 HAS SOPS 105842 HAS SOUS 62946 HAS SOUPS 57887 WITH SCORE 58065.237
AT ITER 2229 NEW BEST:: SOT 373737 SOS 178132 HAS SOPS 104432 HAS SOUS 63070 HAS SOUPS 57749 WITH SCORE 57927.132
AT ITER 2241 NEW BEST:: SOT 373821 SOS 178216 HAS SOPS 104516 HAS SOUS 63064 HAS SOUPS 57743 WITH SCORE 57921.216
AT ITER 2248 NEW BEST:: SOT 373821 SOS 178215 HAS SOPS 104515 HAS SOUS 63063 HAS SOUPS 57742 WITH SCORE 57920.215
AT ITER 2268 NEW BEST:: SOT 373816 SOS 178147 HAS SOPS 104447 HAS SOUS 63053 HAS SOUPS 57732 WITH SCORE 57910.147
AT ITER 2272 NEW BEST:: SOT 373774 SOS 178105 HAS SOPS 104657 HAS SOUS 63005 HAS SOUPS 57726 WITH SCORE 57904.105
AT ITER 2285 NEW BEST:: SOT 373727 SOS 177637 HAS SOPS 104189 HAS SOUS 62935 HAS SOUPS 57656 WITH SCORE 57833.637
AT ITER 2286 NEW BEST:: SOT 373721 SOS 177870 HAS SOPS 104422 HAS SOUS 62923 HAS SOUPS 57644 WITH SCORE 57821.87
AT ITER 2287 NEW BEST:: SOT 373623 SOS 177834 HAS SOPS 104459 HAS SOUS 62903 HAS SOUPS 57624 WITH SCORE 57801.834
AT ITER 2292 NEW BEST:: SOT 373652 SOS 177905 HAS SOPS 104530 HAS SOUS 62862 HAS SOUPS 57583 WITH SCORE 57760.905
AT ITER 2295 NEW BEST:: SOT 373693 SOS 177946 HAS SOPS 104510 HAS SOUS 62891 HAS SOUPS 57563 WITH SCORE 57740.946
AT ITER 2302 NEW BEST:: SOT 373547 SOS 177810 HAS SOPS 104451 HAS SOUS 62832 HAS SOUPS 57504 WITH SCORE 57681.81
AT ITER 2326 NEW BEST:: SOT 373520 SOS 177280 HAS SOPS 103921 HAS SOUS 62830 HAS SOUPS 57502 WITH SCORE 57679.28
AT ITER 2329 NEW BEST:: SOT 373509 SOS 177258 HAS SOPS 103899 HAS SOUS 62808 HAS SOUPS 57480 WITH SCORE 57657.258
AT ITER 2343 NEW BEST:: SOT 373388 SOS 177137 HAS SOPS 103803 HAS SOUS 62719 HAS SOUPS 57391 WITH SCORE 57568.137
AT ITER 2378 NEW BEST:: SOT 373384 SOS 177133 HAS SOPS 103799 HAS SOUS 62715 HAS SOUPS 57387 WITH SCORE 57564.133
AT ITER 2380 NEW BEST:: SOT 373384 SOS 177104 HAS SOPS 103770 HAS SOUS 62686 HAS SOUPS 57358 WITH SCORE 57535.104
AT ITER 2389 NEW BEST:: SOT 373375 SOS 177095 HAS SOPS 103734 HAS SOUS 62675 HAS SOUPS 57331 WITH SCORE 57508.095
AT ITER 2403 NEW BEST:: SOT 373403 SOS 177189 HAS SOPS 103691 HAS SOUS 62716 HAS SOUPS 57288 WITH SCORE 57465.189
AT ITER 2411 NEW BEST:: SOT 373384 SOS 176791 HAS SOPS 103293 HAS SOUS 62678 HAS SOUPS 57250 WITH SCORE 57426.791
AT ITER 2444 NEW BEST:: SOT 373355 SOS 176760 HAS SOPS 103272 HAS SOUS 62657 HAS SOUPS 57229 WITH SCORE 57405.76
AT ITER 2445 NEW BEST:: SOT 373425 SOS 176632 HAS SOPS 102955 HAS SOUS 62651 HAS SOUPS 57223 WITH SCORE 57399.632
AT ITER 2461 NEW BEST:: SOT 373425 SOS 176606 HAS SOPS 102929 HAS SOUS 62638 HAS SOUPS 57210 WITH SCORE 57386.606
AT ITER 2463 NEW BEST:: SOT 373420 SOS 176572 HAS SOPS 102895 HAS SOUS 62634 HAS SOUPS 57206 WITH SCORE 57382.572
AT ITER 2468 NEW BEST:: SOT 373233 SOS 176385 HAS SOPS 102729 HAS SOUS 62437 HAS SOUPS 57009 WITH SCORE 57185.385
AT ITER 2487 NEW BEST:: SOT 373233 SOS 176379 HAS SOPS 102723 HAS SOUS 62437 HAS SOUPS 57009 WITH SCORE 57185.379
AT ITER 2525 NEW BEST:: SOT 373233 SOS 176373 HAS SOPS 102717 HAS SOUS 62431 HAS SOUPS 57003 WITH SCORE 57179.373
AT ITER 2534 NEW BEST:: SOT 373233 SOS 176333 HAS SOPS 102677 HAS SOUS 62414 HAS SOUPS 56986 WITH SCORE 57162.333
AT ITER 2543 NEW BEST:: SOT 373233 SOS 176181 HAS SOPS 102525 HAS SOUS 62414 HAS SOUPS 56986 WITH SCORE 57162.181
AT ITER 2558 NEW BEST:: SOT 373222 SOS 176121 HAS SOPS 102465 HAS SOUS 62392 HAS SOUPS 56964 WITH SCORE 57140.121
AT ITER 2575 NEW BEST:: SOT 373159 SOS 175993 HAS SOPS 102337 HAS SOUS 62388 HAS SOUPS 56960 WITH SCORE 57135.993
AT ITER 2584 NEW BEST:: SOT 373141 SOS 175943 HAS SOPS 102301 HAS SOUS 62340 HAS SOUPS 56940 WITH SCORE 57115.943
AT ITER 2586 NEW BEST:: SOT 373152 SOS 175950 HAS SOPS 102268 HAS SOUS 62307 HAS SOUPS 56907 WITH SCORE 57082.95
AT ITER 2603 NEW BEST:: SOT 373118 SOS 175848 HAS SOPS 102166 HAS SOUS 62256 HAS SOUPS 56856 WITH SCORE 57031.848
AT ITER 2607 NEW BEST:: SOT 372876 SOS 175888 HAS SOPS 101886 HAS SOUS 62183 HAS SOUPS 56707 WITH SCORE 56882.888
AT ITER 2610 NEW BEST:: SOT 372876 SOS 175883 HAS SOPS 101881 HAS SOUS 62183 HAS SOUPS 56707 WITH SCORE 56882.883
AT ITER 2619 NEW BEST:: SOT 372971 SOS 175974 HAS SOPS 101960 HAS SOUS 62131 HAS SOUPS 56655 WITH SCORE 56830.974
AT ITER 2627 NEW BEST:: SOT 372971 SOS 175967 HAS SOPS 101953 HAS SOUS 62120 HAS SOUPS 56644 WITH SCORE 56819.967
AT ITER 2633 NEW BEST:: SOT 372888 SOS 176045 HAS SOPS 102031 HAS SOUS 62002 HAS SOUPS 56526 WITH SCORE 56702.045
AT ITER 2638 NEW BEST:: SOT 372805 SOS 175813 HAS SOPS 101799 HAS SOUS 61938 HAS SOUPS 56462 WITH SCORE 56637.813
AT ITER 2652 NEW BEST:: SOT 372749 SOS 175846 HAS SOPS 101780 HAS SOUS 61967 HAS SOUPS 56443 WITH SCORE 56618.846
AT ITER 2671 NEW BEST:: SOT 372603 SOS 176075 HAS SOPS 101649 HAS SOUS 61914 HAS SOUPS 56375 WITH SCORE 56551.075
AT ITER 2672 NEW BEST:: SOT 372561 SOS 176042 HAS SOPS 101643 HAS SOUS 61889 HAS SOUPS 56350 WITH SCORE 56526.042
AT ITER 2684 NEW BEST:: SOT 372549 SOS 175925 HAS SOPS 101526 HAS SOUS 61862 HAS SOUPS 56323 WITH SCORE 56498.925
AT ITER 2694 NEW BEST:: SOT 372102 SOS 175389 HAS SOPS 100114 HAS SOUS 60654 HAS SOUPS 55115 WITH SCORE 55290.389
AT ITER 2705 NEW BEST:: SOT 372099 SOS 175383 HAS SOPS 100108 HAS SOUS 60651 HAS SOUPS 55112 WITH SCORE 55287.383
AT ITER 2711 NEW BEST:: SOT 371516 SOS 174909 HAS SOPS 99487 HAS SOUS 60622 HAS SOUPS 55007 WITH SCORE 55181.909
AT ITER 2712 NEW BEST:: SOT 371514 SOS 174909 HAS SOPS 99487 HAS SOUS 60618 HAS SOUPS 55003 WITH SCORE 55177.909
AT ITER 2713 NEW BEST:: SOT 371514 SOS 174687 HAS SOPS 99265 HAS SOUS 60580 HAS SOUPS 54965 WITH SCORE 55139.687
AT ITER 2714 NEW BEST:: SOT 371486 SOS 174631 HAS SOPS 99209 HAS SOUS 60508 HAS SOUPS 54893 WITH SCORE 55067.631
AT ITER 2751 NEW BEST:: SOT 371486 SOS 174603 HAS SOPS 99139 HAS SOUS 60470 HAS SOUPS 54855 WITH SCORE 55029.603
AT ITER 2775 NEW BEST:: SOT 371431 SOS 174655 HAS SOPS 99191 HAS SOUS 60410 HAS SOUPS 54795 WITH SCORE 54969.655
AT ITER 2784 NEW BEST:: SOT 371437 SOS 174667 HAS SOPS 99023 HAS SOUS 60422 HAS SOUPS 54777 WITH SCORE 54951.667
AT ITER 2795 NEW BEST:: SOT 371441 SOS 174359 HAS SOPS 98690 HAS SOUS 60257 HAS SOUPS 54612 WITH SCORE 54786.359
AT ITER 2796 NEW BEST:: SOT 371287 SOS 174845 HAS SOPS 98580 HAS SOUS 60257 HAS SOUPS 54590 WITH SCORE 54764.845
AT ITER 2802 NEW BEST:: SOT 371258 SOS 174990 HAS SOPS 98725 HAS SOUS 60199 HAS SOUPS 54532 WITH SCORE 54706.99
AT ITER 2820 NEW BEST:: SOT 371251 SOS 174976 HAS SOPS 98711 HAS SOUS 60185 HAS SOUPS 54518 WITH SCORE 54692.976
AT ITER 2833 NEW BEST:: SOT 371238 SOS 174848 HAS SOPS 98583 HAS SOUS 60173 HAS SOUPS 54506 WITH SCORE 54680.848
AT ITER 2857 NEW BEST:: SOT 371213 SOS 174828 HAS SOPS 98563 HAS SOUS 60168 HAS SOUPS 54501 WITH SCORE 54675.828
AT ITER 2860 NEW BEST:: SOT 371198 SOS 174813 HAS SOPS 98548 HAS SOUS 60153 HAS SOUPS 54486 WITH SCORE 54660.813
AT ITER 2874 NEW BEST:: SOT 371184 SOS 174883 HAS SOPS 98618 HAS SOUS 60139 HAS SOUPS 54472 WITH SCORE 54646.883
AT ITER 2876 NEW BEST:: SOT 371101 SOS 174755 HAS SOPS 98593 HAS SOUS 60079 HAS SOUPS 54412 WITH SCORE 54586.755
AT ITER 2882 NEW BEST:: SOT 371081 SOS 174707 HAS SOPS 98545 HAS SOUS 60075 HAS SOUPS 54408 WITH SCORE 54582.707
AT ITER 2887 NEW BEST:: SOT 371078 SOS 174622 HAS SOPS 98460 HAS SOUS 59990 HAS SOUPS 54323 WITH SCORE 54497.622
AT ITER 2888 NEW BEST:: SOT 371076 SOS 174621 HAS SOPS 98459 HAS SOUS 59986 HAS SOUPS 54319 WITH SCORE 54493.621
AT ITER 2898 NEW BEST:: SOT 371076 SOS 174601 HAS SOPS 98439 HAS SOUS 59986 HAS SOUPS 54319 WITH SCORE 54493.601
AT ITER 2903 NEW BEST:: SOT 371058 SOS 174580 HAS SOPS 98418 HAS SOUS 59985 HAS SOUPS 54318 WITH SCORE 54492.58
AT ITER 2904 NEW BEST:: SOT 371039 SOS 174191 HAS SOPS 97953 HAS SOUS 59921 HAS SOUPS 54254 WITH SCORE 54428.191
AT ITER 2912 NEW BEST:: SOT 371009 SOS 174183 HAS SOPS 97893 HAS SOUS 59861 HAS SOUPS 54194 WITH SCORE 54368.183
AT ITER 2914 NEW BEST:: SOT 370997 SOS 174189 HAS SOPS 97899 HAS SOUS 59837 HAS SOUPS 54170 WITH SCORE 54344.189
AT ITER 2934 NEW BEST:: SOT 371059 SOS 174228 HAS SOPS 97854 HAS SOUS 59876 HAS SOUPS 54125 WITH SCORE 54299.228
AT ITER 2956 NEW BEST:: SOT 371055 SOS 174224 HAS SOPS 97846 HAS SOUS 59867 HAS SOUPS 54116 WITH SCORE 54290.224
AT ITER 2957 NEW BEST:: SOT 371004 SOS 174185 HAS SOPS 97807 HAS SOUS 59857 HAS SOUPS 54106 WITH SCORE 54280.185
AT ITER 2964 NEW BEST:: SOT 370989 SOS 172891 HAS SOPS 96385 HAS SOUS 59795 HAS SOUPS 54044 WITH SCORE 54216.891
AT ITER 2985 NEW BEST:: SOT 370945 SOS 172847 HAS SOPS 96341 HAS SOUS 59751 HAS SOUPS 54000 WITH SCORE 54172.847
AT ITER 2989 NEW BEST:: SOT 370307 SOS 172617 HAS SOPS 95700 HAS SOUS 59742 HAS SOUPS 53833 WITH SCORE 54005.617
AT ITER 3009 NEW BEST:: SOT 370294 SOS 172843 HAS SOPS 95926 HAS SOUS 59716 HAS SOUPS 53807 WITH SCORE 53979.843
AT ITER 3023 NEW BEST:: SOT 370418 SOS 172949 HAS SOPS 95981 HAS SOUS 59608 HAS SOUPS 53715 WITH SCORE 53887.949
AT ITER 3030 NEW BEST:: SOT 370410 SOS 172937 HAS SOPS 95957 HAS SOUS 59584 HAS SOUPS 53691 WITH SCORE 53863.937
AT ITER 3037 NEW BEST:: SOT 370409 SOS 172915 HAS SOPS 95935 HAS SOUS 59582 HAS SOUPS 53689 WITH SCORE 53861.915
AT ITER 3042 NEW BEST:: SOT 370182 SOS 172688 HAS SOPS 95708 HAS SOUS 59571 HAS SOUPS 53678 WITH SCORE 53850.688
AT ITER 3046 NEW BEST:: SOT 370686 SOS 173192 HAS SOPS 96212 HAS SOUS 59487 HAS SOUPS 53594 WITH SCORE 53767.192
AT ITER 3087 NEW BEST:: SOT 370686 SOS 173097 HAS SOPS 96117 HAS SOUS 59487 HAS SOUPS 53594 WITH SCORE 53767.097
AT ITER 3130 NEW BEST:: SOT 370679 SOS 173090 HAS SOPS 96103 HAS SOUS 59473 HAS SOUPS 53580 WITH SCORE 53753.09
AT ITER 3146 NEW BEST:: SOT 370667 SOS 173076 HAS SOPS 96089 HAS SOUS 59461 HAS SOUPS 53568 WITH SCORE 53741.076
AT ITER 3152 NEW BEST:: SOT 370657 SOS 173098 HAS SOPS 96069 HAS SOUS 59465 HAS SOUPS 53543 WITH SCORE 53716.098
AT ITER 3161 NEW BEST:: SOT 370247 SOS 172444 HAS SOPS 95415 HAS SOUS 59444 HAS SOUPS 53522 WITH SCORE 53694.444
AT ITER 3166 NEW BEST:: SOT 370258 SOS 172243 HAS SOPS 95214 HAS SOUS 59443 HAS SOUPS 53521 WITH SCORE 53693.243
AT ITER 3180 NEW BEST:: SOT 370215 SOS 172209 HAS SOPS 95206 HAS SOUS 59435 HAS SOUPS 53513 WITH SCORE 53685.209
AT ITER 3192 NEW BEST:: SOT 370215 SOS 172187 HAS SOPS 95206 HAS SOUS 59435 HAS SOUPS 53513 WITH SCORE 53685.187
AT ITER 3235 NEW BEST:: SOT 370215 SOS 172180 HAS SOPS 95199 HAS SOUS 59428 HAS SOUPS 53506 WITH SCORE 53678.18
AT ITER 3243 NEW BEST:: SOT 370214 SOS 172121 HAS SOPS 95140 HAS SOUS 59426 HAS SOUPS 53504 WITH SCORE 53676.121
AT ITER 3246 NEW BEST:: SOT 370088 SOS 172085 HAS SOPS 95104 HAS SOUS 59390 HAS SOUPS 53468 WITH SCORE 53640.085
AT ITER 3255 NEW BEST:: SOT 370158 SOS 172155 HAS SOPS 95100 HAS SOUS 59386 HAS SOUPS 53464 WITH SCORE 53636.155
AT ITER 3261 NEW BEST:: SOT 369867 SOS 172001 HAS SOPS 94783 HAS SOUS 59369 HAS SOUPS 53403 WITH SCORE 53575.001
AT ITER 3280 NEW BEST:: SOT 369775 SOS 171902 HAS SOPS 94717 HAS SOUS 59303 HAS SOUPS 53337 WITH SCORE 53508.902
AT ITER 3322 NEW BEST:: SOT 369588 SOS 171702 HAS SOPS 94459 HAS SOUS 59047 HAS SOUPS 53079 WITH SCORE 53250.702
AT ITER 3335 NEW BEST:: SOT 369574 SOS 171674 HAS SOPS 94405 HAS SOUS 58993 HAS SOUPS 53025 WITH SCORE 53196.674
AT ITER 3357 NEW BEST:: SOT 369652 SOS 171770 HAS SOPS 94501 HAS SOUS 58983 HAS SOUPS 53015 WITH SCORE 53186.77
AT ITER 3361 NEW BEST:: SOT 369636 SOS 171743 HAS SOPS 94491 HAS SOUS 58973 HAS SOUPS 53005 WITH SCORE 53176.743
AT ITER 3374 NEW BEST:: SOT 369561 SOS 172179 HAS SOPS 94927 HAS SOUS 58971 HAS SOUPS 53003 WITH SCORE 53175.179
AT ITER 3379 NEW BEST:: SOT 369545 SOS 172157 HAS SOPS 94872 HAS SOUS 58985 HAS SOUPS 52948 WITH SCORE 53120.157
AT ITER 3380 NEW BEST:: SOT 369539 SOS 172148 HAS SOPS 94866 HAS SOUS 58979 HAS SOUPS 52942 WITH SCORE 53114.148
AT ITER 3394 NEW BEST:: SOT 369539 SOS 172043 HAS SOPS 94761 HAS SOUS 58979 HAS SOUPS 52942 WITH SCORE 53114.043
AT ITER 3429 NEW BEST:: SOT 369535 SOS 172039 HAS SOPS 94757 HAS SOUS 58971 HAS SOUPS 52934 WITH SCORE 53106.039
AT ITER 3431 NEW BEST:: SOT 369517 SOS 172021 HAS SOPS 94721 HAS SOUS 58935 HAS SOUPS 52898 WITH SCORE 53070.021
AT ITER 3452 NEW BEST:: SOT 369508 SOS 171940 HAS SOPS 94706 HAS SOUS 58929 HAS SOUPS 52889 WITH SCORE 53060.94
AT ITER 3471 NEW BEST:: SOT 369504 SOS 171922 HAS SOPS 94690 HAS SOUS 58925 HAS SOUPS 52885 WITH SCORE 53056.922
AT ITER 3479 NEW BEST:: SOT 369529 SOS 171896 HAS SOPS 94638 HAS SOUS 58873 HAS SOUPS 52833 WITH SCORE 53004.896
AT ITER 3500 NEW BEST:: SOT 369507 SOS 171867 HAS SOPS 94594 HAS SOUS 58842 HAS SOUPS 52789 WITH SCORE 52960.867
AT ITER 3509 NEW BEST:: SOT 369483 SOS 171843 HAS SOPS 94562 HAS SOUS 58832 HAS SOUPS 52779 WITH SCORE 52950.843
AT ITER 3516 NEW BEST:: SOT 369132 SOS 171492 HAS SOPS 94238 HAS SOUS 58607 HAS SOUPS 52554 WITH SCORE 52725.492
AT ITER 3566 NEW BEST:: SOT 369130 SOS 171576 HAS SOPS 94322 HAS SOUS 58603 HAS SOUPS 52550 WITH SCORE 52721.576
AT ITER 3576 NEW BEST:: SOT 369130 SOS 171546 HAS SOPS 94292 HAS SOUS 58603 HAS SOUPS 52550 WITH SCORE 52721.546
AT ITER 3590 NEW BEST:: SOT 369119 SOS 171326 HAS SOPS 94072 HAS SOUS 58581 HAS SOUPS 52528 WITH SCORE 52699.326
AT ITER 3608 NEW BEST:: SOT 369119 SOS 171244 HAS SOPS 93990 HAS SOUS 58540 HAS SOUPS 52487 WITH SCORE 52658.244
AT ITER 3621 NEW BEST:: SOT 369117 SOS 171234 HAS SOPS 93980 HAS SOUS 58538 HAS SOUPS 52485 WITH SCORE 52656.234
AT ITER 3624 NEW BEST:: SOT 369117 SOS 171215 HAS SOPS 93961 HAS SOUS 58538 HAS SOUPS 52485 WITH SCORE 52656.215
AT ITER 3647 NEW BEST:: SOT 369061 SOS 171157 HAS SOPS 93839 HAS SOUS 58416 HAS SOUPS 52363 WITH SCORE 52534.157
AT ITER 3655 NEW BEST:: SOT 369057 SOS 171169 HAS SOPS 93851 HAS SOUS 58408 HAS SOUPS 52355 WITH SCORE 52526.169
AT ITER 3691 NEW BEST:: SOT 369053 SOS 171161 HAS SOPS 93843 HAS SOUS 58400 HAS SOUPS 52347 WITH SCORE 52518.161
AT ITER 3727 NEW BEST:: SOT 369050 SOS 171158 HAS SOPS 93837 HAS SOUS 58393 HAS SOUPS 52340 WITH SCORE 52511.158
AT ITER 3760 NEW BEST:: SOT 368665 SOS 170877 HAS SOPS 93548 HAS SOUS 58328 HAS SOUPS 52275 WITH SCORE 52445.877
AT ITER 3787 NEW BEST:: SOT 368653 SOS 170867 HAS SOPS 93532 HAS SOUS 58310 HAS SOUPS 52253 WITH SCORE 52423.867
AT ITER 3809 NEW BEST:: SOT 368646 SOS 170888 HAS SOPS 93553 HAS SOUS 58303 HAS SOUPS 52246 WITH SCORE 52416.888
AT ITER 3818 NEW BEST:: SOT 368646 SOS 170882 HAS SOPS 93553 HAS SOUS 58303 HAS SOUPS 52246 WITH SCORE 52416.882
AT ITER 3820 NEW BEST:: SOT 368618 SOS 170882 HAS SOPS 93539 HAS SOUS 58284 HAS SOUPS 52227 WITH SCORE 52397.882
AT ITER 3889 NEW BEST:: SOT 368589 SOS 170824 HAS SOPS 93452 HAS SOUS 58255 HAS SOUPS 52169 WITH SCORE 52339.824
AT ITER 3895 NEW BEST:: SOT 368559 SOS 170767 HAS SOPS 93395 HAS SOUS 58222 HAS SOUPS 52136 WITH SCORE 52306.767
AT ITER 3917 NEW BEST:: SOT 368619 SOS 170817 HAS SOPS 93415 HAS SOUS 58207 HAS SOUPS 52121 WITH SCORE 52291.817
AT ITER 3920 NEW BEST:: SOT 368586 SOS 170780 HAS SOPS 93378 HAS SOUS 58198 HAS SOUPS 52112 WITH SCORE 52282.78
AT ITER 3925 NEW BEST:: SOT 368600 SOS 170794 HAS SOPS 93372 HAS SOUS 58192 HAS SOUPS 52106 WITH SCORE 52276.794
AT ITER 3936 NEW BEST:: SOT 368599 SOS 170793 HAS SOPS 93371 HAS SOUS 58191 HAS SOUPS 52105 WITH SCORE 52275.793
AT ITER 3938 NEW BEST:: SOT 368592 SOS 170962 HAS SOPS 93540 HAS SOUS 58177 HAS SOUPS 52091 WITH SCORE 52261.962
AT ITER 3942 NEW BEST:: SOT 368547 SOS 170893 HAS SOPS 93485 HAS SOUS 58136 HAS SOUPS 52050 WITH SCORE 52220.893
AT ITER 3944 NEW BEST:: SOT 368547 SOS 170878 HAS SOPS 93470 HAS SOUS 58136 HAS SOUPS 52050 WITH SCORE 52220.878
AT ITER 3945 NEW BEST:: SOT 368426 SOS 170693 HAS SOPS 93349 HAS SOUS 58015 HAS SOUPS 51929 WITH SCORE 52099.693
AT ITER 3978 NEW BEST:: SOT 368396 SOS 170625 HAS SOPS 93281 HAS SOUS 57954 HAS SOUPS 51868 WITH SCORE 52038.625
AT ITER 3998 NEW BEST:: SOT 368392 SOS 170621 HAS SOPS 93275 HAS SOUS 57948 HAS SOUPS 51862 WITH SCORE 52032.621
AT ITER 4008 NEW BEST:: SOT 368392 SOS 171950 HAS SOPS 94660 HAS SOUS 57929 HAS SOUPS 51843 WITH SCORE 52014.95
AT ITER 4052 NEW BEST:: SOT 368389 SOS 171950 HAS SOPS 94657 HAS SOUS 57925 HAS SOUPS 51839 WITH SCORE 52010.95
AT ITER 4069 NEW BEST:: SOT 368270 SOS 171746 HAS SOPS 94615 HAS SOUS 57732 HAS SOUPS 51797 WITH SCORE 51968.746
AT ITER 4083 NEW BEST:: SOT 368270 SOS 171739 HAS SOPS 94608 HAS SOUS 57725 HAS SOUPS 51790 WITH SCORE 51961.739
AT ITER 4096 NEW BEST:: SOT 368262 SOS 171726 HAS SOPS 94595 HAS SOUS 57712 HAS SOUPS 51777 WITH SCORE 51948.726
AT ITER 4118 NEW BEST:: SOT 368313 SOS 171777 HAS SOPS 94588 HAS SOUS 57705 HAS SOUPS 51770 WITH SCORE 51941.777
AT ITER 4125 NEW BEST:: SOT 368310 SOS 171771 HAS SOPS 94582 HAS SOUS 57699 HAS SOUPS 51764 WITH SCORE 51935.771
AT ITER 4139 NEW BEST:: SOT 368306 SOS 171767 HAS SOPS 94570 HAS SOUS 57687 HAS SOUPS 51752 WITH SCORE 51923.767
AT ITER 4163 NEW BEST:: SOT 367598 SOS 171059 HAS SOPS 93813 HAS SOUS 57673 HAS SOUPS 51689 WITH SCORE 51860.059
AT ITER 4166 NEW BEST:: SOT 367598 SOS 171011 HAS SOPS 93765 HAS SOUS 57655 HAS SOUPS 51671 WITH SCORE 51842.011
AT ITER 4167 NEW BEST:: SOT 367598 SOS 170997 HAS SOPS 93751 HAS SOUS 57655 HAS SOUPS 51671 WITH SCORE 51841.997
AT ITER 4194 NEW BEST:: SOT 367598 SOS 170951 HAS SOPS 93705 HAS SOUS 57643 HAS SOUPS 51659 WITH SCORE 51829.951
AT ITER 4199 NEW BEST:: SOT 367615 SOS 170914 HAS SOPS 93668 HAS SOUS 57606 HAS SOUPS 51622 WITH SCORE 51792.914
AT ITER 4210 NEW BEST:: SOT 367607 SOS 170927 HAS SOPS 93681 HAS SOUS 57590 HAS SOUPS 51606 WITH SCORE 51776.927
AT ITER 4243 NEW BEST:: SOT 367532 SOS 170840 HAS SOPS 93603 HAS SOUS 57575 HAS SOUPS 51591 WITH SCORE 51761.84
AT ITER 4252 NEW BEST:: SOT 367530 SOS 170850 HAS SOPS 93613 HAS SOUS 57571 HAS SOUPS 51587 WITH SCORE 51757.85
AT ITER 4261 NEW BEST:: SOT 367512 SOS 170832 HAS SOPS 93595 HAS SOUS 57553 HAS SOUPS 51569 WITH SCORE 51739.832
AT ITER 4278 NEW BEST:: SOT 367499 SOS 170498 HAS SOPS 93261 HAS SOUS 57540 HAS SOUPS 51556 WITH SCORE 51726.498
AT ITER 4287 NEW BEST:: SOT 367512 SOS 170504 HAS SOPS 93273 HAS SOUS 57525 HAS SOUPS 51545 WITH SCORE 51715.504
AT ITER 4303 NEW BEST:: SOT 367510 SOS 170494 HAS SOPS 93263 HAS SOUS 57523 HAS SOUPS 51543 WITH SCORE 51713.494
AT ITER 4309 NEW BEST:: SOT 367533 SOS 170494 HAS SOPS 93287 HAS SOUS 57502 HAS SOUPS 51534 WITH SCORE 51704.494
AT ITER 4316 NEW BEST:: SOT 367483 SOS 170494 HAS SOPS 93235 HAS SOUS 57505 HAS SOUPS 51526 WITH SCORE 51696.494
AT ITER 4318 NEW BEST:: SOT 367483 SOS 170479 HAS SOPS 93220 HAS SOUS 57504 HAS SOUPS 51525 WITH SCORE 51695.479
AT ITER 4328 NEW BEST:: SOT 367459 SOS 170455 HAS SOPS 93204 HAS SOUS 57485 HAS SOUPS 51509 WITH SCORE 51679.455
AT ITER 4329 NEW BEST:: SOT 367567 SOS 170563 HAS SOPS 93117 HAS SOUS 57399 HAS SOUPS 51423 WITH SCORE 51593.563
AT ITER 4341 NEW BEST:: SOT 367566 SOS 170446 HAS SOPS 93001 HAS SOUS 57398 HAS SOUPS 51422 WITH SCORE 51592.446
AT ITER 4348 NEW BEST:: SOT 367556 SOS 170453 HAS SOPS 93008 HAS SOUS 57396 HAS SOUPS 51420 WITH SCORE 51590.453
AT ITER 4350 NEW BEST:: SOT 367886 SOS 170783 HAS SOPS 93338 HAS SOUS 57369 HAS SOUPS 51393 WITH SCORE 51563.783
AT ITER 4382 NEW BEST:: SOT 367850 SOS 170855 HAS SOPS 93298 HAS SOUS 57349 HAS SOUPS 51369 WITH SCORE 51539.855
AT ITER 4394 NEW BEST:: SOT 367850 SOS 170870 HAS SOPS 93313 HAS SOUS 57323 HAS SOUPS 51343 WITH SCORE 51513.87
AT ITER 4397 NEW BEST:: SOT 367839 SOS 170862 HAS SOPS 93298 HAS SOUS 57315 HAS SOUPS 51328 WITH SCORE 51498.862
AT ITER 4413 NEW BEST:: SOT 367849 SOS 170847 HAS SOPS 93254 HAS SOUS 57279 HAS SOUPS 51292 WITH SCORE 51462.847
AT ITER 4415 NEW BEST:: SOT 367780 SOS 171088 HAS SOPS 93494 HAS SOUS 57141 HAS SOUPS 51154 WITH SCORE 51325.088
AT ITER 4417 NEW BEST:: SOT 367756 SOS 171064 HAS SOPS 93466 HAS SOUS 57139 HAS SOUPS 51152 WITH SCORE 51323.064
AT ITER 4421 NEW BEST:: SOT 367787 SOS 171007 HAS SOPS 93254 HAS SOUS 56984 HAS SOUPS 50997 WITH SCORE 51168.007
AT ITER 4444 NEW BEST:: SOT 367646 SOS 170866 HAS SOPS 93204 HAS SOUS 56934 HAS SOUPS 50947 WITH SCORE 51117.866
AT ITER 4452 NEW BEST:: SOT 367686 SOS 170901 HAS SOPS 93202 HAS SOUS 56932 HAS SOUPS 50945 WITH SCORE 51115.901
AT ITER 4456 NEW BEST:: SOT 367486 SOS 171470 HAS SOPS 92987 HAS SOUS 56891 HAS SOUPS 50876 WITH SCORE 51047.47
AT ITER 4477 NEW BEST:: SOT 367509 SOS 171021 HAS SOPS 92538 HAS SOUS 56880 HAS SOUPS 50865 WITH SCORE 51036.021
AT ITER 4502 NEW BEST:: SOT 367508 SOS 171022 HAS SOPS 92539 HAS SOUS 56879 HAS SOUPS 50864 WITH SCORE 51035.022
AT ITER 4516 NEW BEST:: SOT 367455 SOS 170971 HAS SOPS 92425 HAS SOUS 56765 HAS SOUPS 50750 WITH SCORE 50920.971
AT ITER 4529 NEW BEST:: SOT 367438 SOS 170945 HAS SOPS 92355 HAS SOUS 56695 HAS SOUPS 50680 WITH SCORE 50850.945
AT ITER 4569 NEW BEST:: SOT 367421 SOS 170928 HAS SOPS 92338 HAS SOUS 56661 HAS SOUPS 50646 WITH SCORE 50816.928
AT ITER 4600 NEW BEST:: SOT 367268 SOS 170793 HAS SOPS 92209 HAS SOUS 56639 HAS SOUPS 50624 WITH SCORE 50794.793
AT ITER 4601 NEW BEST:: SOT 367214 SOS 170989 HAS SOPS 92155 HAS SOUS 56645 HAS SOUPS 50621 WITH SCORE 50791.989
AT ITER 4602 NEW BEST:: SOT 367166 SOS 170965 HAS SOPS 92103 HAS SOUS 56605 HAS SOUPS 50569 WITH SCORE 50739.965
AT ITER 4622 NEW BEST:: SOT 367172 SOS 170972 HAS SOPS 92110 HAS SOUS 56604 HAS SOUPS 50568 WITH SCORE 50738.972
AT ITER 4625 NEW BEST:: SOT 367101 SOS 171327 HAS SOPS 92465 HAS SOUS 56555 HAS SOUPS 50519 WITH SCORE 50690.327
AT ITER 4635 NEW BEST:: SOT 367017 SOS 171222 HAS SOPS 92360 HAS SOUS 56514 HAS SOUPS 50478 WITH SCORE 50649.222
AT ITER 4644 NEW BEST:: SOT 366949 SOS 171120 HAS SOPS 92254 HAS SOUS 56447 HAS SOUPS 50411 WITH SCORE 50582.12
AT ITER 4675 NEW BEST:: SOT 366963 SOS 171054 HAS SOPS 92186 HAS SOUS 56441 HAS SOUPS 50405 WITH SCORE 50576.054
AT ITER 4694 NEW BEST:: SOT 367175 SOS 171283 HAS SOPS 92367 HAS SOUS 56317 HAS SOUPS 50281 WITH SCORE 50452.283
AT ITER 4703 NEW BEST:: SOT 366810 SOS 171580 HAS SOPS 92003 HAS SOUS 56157 HAS SOUPS 50012 WITH SCORE 50183.58
AT ITER 4720 NEW BEST:: SOT 366758 SOS 171528 HAS SOPS 91899 HAS SOUS 56053 HAS SOUPS 49908 WITH SCORE 50079.528
AT ITER 4740 NEW BEST:: SOT 366788 SOS 171595 HAS SOPS 91979 HAS SOUS 56048 HAS SOUPS 49903 WITH SCORE 50074.595
AT ITER 4809 NEW BEST:: SOT 367045 SOS 171869 HAS SOPS 92253 HAS SOUS 56044 HAS SOUPS 49899 WITH SCORE 50070.869
AT ITER 4826 NEW BEST:: SOT 367068 SOS 172356 HAS SOPS 92740 HAS SOUS 56040 HAS SOUPS 49895 WITH SCORE 50067.356
AT ITER 4871 NEW BEST:: SOT 367063 SOS 172351 HAS SOPS 92728 HAS SOUS 56026 HAS SOUPS 49881 WITH SCORE 50053.351
AT ITER 4883 NEW BEST:: SOT 367045 SOS 172393 HAS SOPS 92770 HAS SOUS 56008 HAS SOUPS 49863 WITH SCORE 50035.393
AT ITER 4884 NEW BEST:: SOT 367042 SOS 172419 HAS SOPS 92796 HAS SOUS 56002 HAS SOUPS 49857 WITH SCORE 50029.419
AT ITER 4900 NEW BEST:: SOT 367042 SOS 172463 HAS SOPS 92708 HAS SOUS 55914 HAS SOUPS 49769 WITH SCORE 49941.463
AT ITER 4911 NEW BEST:: SOT 367027 SOS 172433 HAS SOPS 92678 HAS SOUS 55884 HAS SOUPS 49739 WITH SCORE 49911.433
AT ITER 4941 NEW BEST:: SOT 367063 SOS 172480 HAS SOPS 91810 HAS SOUS 55777 HAS SOUPS 49632 WITH SCORE 49804.48
AT ITER 4952 NEW BEST:: SOT 366961 SOS 172348 HAS SOPS 91654 HAS SOUS 55677 HAS SOUPS 49532 WITH SCORE 49704.348
AT ITER 4964 NEW BEST:: SOT 367124 SOS 172463 HAS SOPS 91733 HAS SOUS 55673 HAS SOUPS 49528 WITH SCORE 49700.463
AT ITER 4984 NEW BEST:: SOT 367090 SOS 172474 HAS SOPS 91746 HAS SOUS 55607 HAS SOUPS 49462 WITH SCORE 49634.474
AT ITER 5021 NEW BEST:: SOT 367090 SOS 172456 HAS SOPS 91728 HAS SOUS 55607 HAS SOUPS 49462 WITH SCORE 49634.456
AT ITER 5024 NEW BEST:: SOT 367178 SOS 172520 HAS SOPS 90986 HAS SOUS 55638 HAS SOUPS 49387 WITH SCORE 49559.52
AT ITER 5049 NEW BEST:: SOT 367178 SOS 172518 HAS SOPS 90984 HAS SOUS 55638 HAS SOUPS 49387 WITH SCORE 49559.518
AT ITER 5059 NEW BEST:: SOT 367197 SOS 172566 HAS SOPS 90920 HAS SOUS 55703 HAS SOUPS 49305 WITH SCORE 49477.566
AT ITER 5069 NEW BEST:: SOT 367194 SOS 172566 HAS SOPS 90920 HAS SOUS 55697 HAS SOUPS 49299 WITH SCORE 49471.566
AT ITER 5078 NEW BEST:: SOT 367190 SOS 172565 HAS SOPS 90915 HAS SOUS 55694 HAS SOUPS 49294 WITH SCORE 49466.565
AT ITER 5132 NEW BEST:: SOT 367185 SOS 172570 HAS SOPS 90905 HAS SOUS 55684 HAS SOUPS 49284 WITH SCORE 49456.57
AT ITER 5157 NEW BEST:: SOT 366563 SOS 171940 HAS SOPS 90276 HAS SOUS 55403 HAS SOUPS 49003 WITH SCORE 49174.94
AT ITER 5174 NEW BEST:: SOT 366563 SOS 170629 HAS SOPS 88879 HAS SOUS 55381 HAS SOUPS 48981 WITH SCORE 49151.629
AT ITER 5188 NEW BEST:: SOT 366599 SOS 170589 HAS SOPS 88779 HAS SOUS 55281 HAS SOUPS 48881 WITH SCORE 49051.589
AT ITER 5237 NEW BEST:: SOT 366598 SOS 170587 HAS SOPS 88777 HAS SOUS 55279 HAS SOUPS 48879 WITH SCORE 49049.587
AT ITER 5251 NEW BEST:: SOT 366633 SOS 170820 HAS SOPS 88847 HAS SOUS 55232 HAS SOUPS 48832 WITH SCORE 49002.82
AT ITER 5261 NEW BEST:: SOT 366633 SOS 170784 HAS SOPS 88811 HAS SOUS 55232 HAS SOUPS 48832 WITH SCORE 49002.784
AT ITER 5262 NEW BEST:: SOT 366632 SOS 170781 HAS SOPS 88808 HAS SOUS 55231 HAS SOUPS 48831 WITH SCORE 49001.781
AT ITER 5267 NEW BEST:: SOT 366608 SOS 170733 HAS SOPS 88768 HAS SOUS 55199 HAS SOUPS 48799 WITH SCORE 48969.733
AT ITER 5279 NEW BEST:: SOT 366364 SOS 170464 HAS SOPS 88511 HAS SOUS 55153 HAS SOUPS 48753 WITH SCORE 48923.464
AT ITER 5323 NEW BEST:: SOT 366356 SOS 170456 HAS SOPS 88503 HAS SOUS 55145 HAS SOUPS 48745 WITH SCORE 48915.456
AT ITER 5343 NEW BEST:: SOT 366316 SOS 170421 HAS SOPS 88393 HAS SOUS 55167 HAS SOUPS 48635 WITH SCORE 48805.421
AT ITER 5369 NEW BEST:: SOT 366314 SOS 170417 HAS SOPS 88389 HAS SOUS 55163 HAS SOUPS 48631 WITH SCORE 48801.417
AT ITER 5373 NEW BEST:: SOT 366314 SOS 170421 HAS SOPS 88381 HAS SOUS 55155 HAS SOUPS 48623 WITH SCORE 48793.421
AT ITER 5383 NEW BEST:: SOT 366311 SOS 170352 HAS SOPS 88312 HAS SOUS 55149 HAS SOUPS 48617 WITH SCORE 48787.352
AT ITER 5402 NEW BEST:: SOT 366234 SOS 170515 HAS SOPS 88175 HAS SOUS 55112 HAS SOUPS 48570 WITH SCORE 48740.515
AT ITER 5412 NEW BEST:: SOT 366203 SOS 170458 HAS SOPS 88118 HAS SOUS 55091 HAS SOUPS 48549 WITH SCORE 48719.458
AT ITER 5417 NEW BEST:: SOT 366203 SOS 170456 HAS SOPS 88116 HAS SOUS 55091 HAS SOUPS 48549 WITH SCORE 48719.456
AT ITER 5442 NEW BEST:: SOT 366076 SOS 170363 HAS SOPS 88023 HAS SOUS 55074 HAS SOUPS 48532 WITH SCORE 48702.363
AT ITER 5461 NEW BEST:: SOT 366010 SOS 170340 HAS SOPS 88035 HAS SOUS 55042 HAS SOUPS 48500 WITH SCORE 48670.34
AT ITER 5466 NEW BEST:: SOT 365975 SOS 170181 HAS SOPS 87892 HAS SOUS 55007 HAS SOUPS 48465 WITH SCORE 48635.181
AT ITER 5503 NEW BEST:: SOT 365975 SOS 170157 HAS SOPS 87868 HAS SOUS 55007 HAS SOUPS 48465 WITH SCORE 48635.157
AT ITER 5522 NEW BEST:: SOT 365936 SOS 170082 HAS SOPS 87814 HAS SOUS 54953 HAS SOUPS 48411 WITH SCORE 48581.082
AT ITER 5572 NEW BEST:: SOT 365723 SOS 169863 HAS SOPS 87811 HAS SOUS 54950 HAS SOUPS 48408 WITH SCORE 48577.863
AT ITER 5580 NEW BEST:: SOT 365711 SOS 169740 HAS SOPS 87688 HAS SOUS 54926 HAS SOUPS 48384 WITH SCORE 48553.74
AT ITER 5603 NEW BEST:: SOT 365678 SOS 169728 HAS SOPS 87652 HAS SOUS 54929 HAS SOUPS 48378 WITH SCORE 48547.728
AT ITER 5612 NEW BEST:: SOT 365674 SOS 169724 HAS SOPS 87644 HAS SOUS 54921 HAS SOUPS 48370 WITH SCORE 48539.724
AT ITER 5614 NEW BEST:: SOT 365635 SOS 169685 HAS SOPS 87350 HAS SOUS 54836 HAS SOUPS 48283 WITH SCORE 48452.685
AT ITER 5673 NEW BEST:: SOT 365628 SOS 169644 HAS SOPS 87309 HAS SOUS 54817 HAS SOUPS 48264 WITH SCORE 48433.644
AT ITER 5698 NEW BEST:: SOT 365630 SOS 169658 HAS SOPS 87323 HAS SOUS 54811 HAS SOUPS 48258 WITH SCORE 48427.658
AT ITER 5710 NEW BEST:: SOT 365588 SOS 169613 HAS SOPS 87278 HAS SOUS 54808 HAS SOUPS 48255 WITH SCORE 48424.613
AT ITER 5714 NEW BEST:: SOT 365552 SOS 169549 HAS SOPS 87214 HAS SOUS 54746 HAS SOUPS 48193 WITH SCORE 48362.549
AT ITER 5719 NEW BEST:: SOT 365554 SOS 169568 HAS SOPS 87233 HAS SOUS 54733 HAS SOUPS 48180 WITH SCORE 48349.568
AT ITER 5734 NEW BEST:: SOT 365550 SOS 169566 HAS SOPS 87225 HAS SOUS 54733 HAS SOUPS 48180 WITH SCORE 48349.566
AT ITER 5766 NEW BEST:: SOT 365818 SOS 169834 HAS SOPS 87531 HAS SOUS 54675 HAS SOUPS 48160 WITH SCORE 48329.834
AT ITER 5767 NEW BEST:: SOT 365742 SOS 170060 HAS SOPS 87465 HAS SOUS 54635 HAS SOUPS 48110 WITH SCORE 48280.06
AT ITER 5779 NEW BEST:: SOT 365742 SOS 170057 HAS SOPS 87462 HAS SOUS 54635 HAS SOUPS 48110 WITH SCORE 48280.057
AT ITER 5784 NEW BEST:: SOT 365742 SOS 170039 HAS SOPS 87444 HAS SOUS 54635 HAS SOUPS 48110 WITH SCORE 48280.039
AT ITER 5794 NEW BEST:: SOT 366044 SOS 170341 HAS SOPS 87362 HAS SOUS 54603 HAS SOUPS 48078 WITH SCORE 48248.341
AT ITER 5795 NEW BEST:: SOT 366060 SOS 170226 HAS SOPS 87247 HAS SOUS 54586 HAS SOUPS 48061 WITH SCORE 48231.226
AT ITER 5822 NEW BEST:: SOT 366002 SOS 170352 HAS SOPS 87380 HAS SOUS 54582 HAS SOUPS 48057 WITH SCORE 48227.352
AT ITER 5825 NEW BEST:: SOT 365998 SOS 170344 HAS SOPS 87372 HAS SOUS 54574 HAS SOUPS 48049 WITH SCORE 48219.344
AT ITER 5841 NEW BEST:: SOT 365933 SOS 170214 HAS SOPS 87242 HAS SOUS 54561 HAS SOUPS 48036 WITH SCORE 48206.214
AT ITER 5843 NEW BEST:: SOT 365923 SOS 170204 HAS SOPS 87232 HAS SOUS 54551 HAS SOUPS 48026 WITH SCORE 48196.204
AT ITER 5856 NEW BEST:: SOT 365923 SOS 170190 HAS SOPS 87218 HAS SOUS 54551 HAS SOUPS 48026 WITH SCORE 48196.19
AT ITER 5880 NEW BEST:: SOT 365944 SOS 170204 HAS SOPS 87218 HAS SOUS 54530 HAS SOUPS 48005 WITH SCORE 48175.204
AT ITER 5888 NEW BEST:: SOT 365944 SOS 170168 HAS SOPS 87218 HAS SOUS 54530 HAS SOUPS 48005 WITH SCORE 48175.168
AT ITER 5889 NEW BEST:: SOT 365944 SOS 170132 HAS SOPS 87182 HAS SOUS 54530 HAS SOUPS 48005 WITH SCORE 48175.132
AT ITER 5917 NEW BEST:: SOT 365940 SOS 170128 HAS SOPS 87170 HAS SOUS 54518 HAS SOUPS 47993 WITH SCORE 48163.128
AT ITER 5922 NEW BEST:: SOT 365595 SOS 169783 HAS SOPS 86802 HAS SOUS 54487 HAS SOUPS 47962 WITH SCORE 48131.783
AT ITER 5948 NEW BEST:: SOT 365340 SOS 169495 HAS SOPS 86802 HAS SOUS 54487 HAS SOUPS 47962 WITH SCORE 48131.495
AT ITER 5951 NEW BEST:: SOT 365316 SOS 169450 HAS SOPS 86753 HAS SOUS 54453 HAS SOUPS 47928 WITH SCORE 48097.45
AT ITER 5973 NEW BEST:: SOT 365316 SOS 169451 HAS SOPS 86733 HAS SOUS 54432 HAS SOUPS 47907 WITH SCORE 48076.451
AT ITER 5985 NEW BEST:: SOT 365430 SOS 168160 HAS SOPS 86835 HAS SOUS 54324 HAS SOUPS 47840 WITH SCORE 48008.16
AT ITER 5999 NEW BEST:: SOT 365356 SOS 168086 HAS SOPS 86814 HAS SOUS 54303 HAS SOUPS 47819 WITH SCORE 47987.086
AT ITER 6004 NEW BEST:: SOT 365350 SOS 167965 HAS SOPS 86802 HAS SOUS 54291 HAS SOUPS 47807 WITH SCORE 47974.965
AT ITER 6022 NEW BEST:: SOT 365344 SOS 167960 HAS SOPS 86797 HAS SOUS 54285 HAS SOUPS 47801 WITH SCORE 47968.96
AT ITER 6043 NEW BEST:: SOT 365350 SOS 167962 HAS SOPS 86799 HAS SOUS 54284 HAS SOUPS 47800 WITH SCORE 47967.962
AT ITER 6066 NEW BEST:: SOT 365348 SOS 167958 HAS SOPS 86795 HAS SOUS 54280 HAS SOUPS 47796 WITH SCORE 47963.958
AT ITER 6070 NEW BEST:: SOT 365485 SOS 168131 HAS SOPS 86960 HAS SOUS 54274 HAS SOUPS 47790 WITH SCORE 47958.131
AT ITER 6075 NEW BEST:: SOT 365480 SOS 168143 HAS SOPS 86955 HAS SOUS 54264 HAS SOUPS 47780 WITH SCORE 47948.143
AT ITER 6079 NEW BEST:: SOT 365450 SOS 168113 HAS SOPS 86923 HAS SOUS 54232 HAS SOUPS 47748 WITH SCORE 47916.113
AT ITER 6126 NEW BEST:: SOT 365464 SOS 168127 HAS SOPS 86954 HAS SOUS 54161 HAS SOUPS 47677 WITH SCORE 47845.127
AT ITER 6128 NEW BEST:: SOT 365446 SOS 168109 HAS SOPS 86924 HAS SOUS 54137 HAS SOUPS 47647 WITH SCORE 47815.109
AT ITER 6148 NEW BEST:: SOT 365543 SOS 168162 HAS SOPS 86987 HAS SOUS 54132 HAS SOUPS 47642 WITH SCORE 47810.162
AT ITER 6165 NEW BEST:: SOT 365547 SOS 168179 HAS SOPS 86982 HAS SOUS 54149 HAS SOUPS 47637 WITH SCORE 47805.179
AT ITER 6187 NEW BEST:: SOT 365513 SOS 168043 HAS SOPS 86846 HAS SOUS 54081 HAS SOUPS 47569 WITH SCORE 47737.043
AT ITER 6266 NEW BEST:: SOT 365500 SOS 168030 HAS SOPS 86832 HAS SOUS 54068 HAS SOUPS 47555 WITH SCORE 47723.03
AT ITER 6267 NEW BEST:: SOT 365499 SOS 168027 HAS SOPS 86834 HAS SOUS 54066 HAS SOUPS 47553 WITH SCORE 47721.027
AT ITER 6280 NEW BEST:: SOT 365493 SOS 167909 HAS SOPS 86716 HAS SOUS 54056 HAS SOUPS 47543 WITH SCORE 47710.909
AT ITER 6290 NEW BEST:: SOT 365759 SOS 168175 HAS SOPS 86982 HAS SOUS 54037 HAS SOUPS 47524 WITH SCORE 47692.175
AT ITER 6293 NEW BEST:: SOT 365754 SOS 168164 HAS SOPS 86971 HAS SOUS 54031 HAS SOUPS 47518 WITH SCORE 47686.164
AT ITER 6300 NEW BEST:: SOT 365753 SOS 168163 HAS SOPS 86963 HAS SOUS 54030 HAS SOUPS 47510 WITH SCORE 47678.163
AT ITER 6308 NEW BEST:: SOT 365745 SOS 168180 HAS SOPS 86980 HAS SOUS 54025 HAS SOUPS 47505 WITH SCORE 47673.18
AT ITER 6339 NEW BEST:: SOT 365751 SOS 168180 HAS SOPS 86980 HAS SOUS 54016 HAS SOUPS 47496 WITH SCORE 47664.18
AT ITER 6342 NEW BEST:: SOT 365749 SOS 168178 HAS SOPS 86978 HAS SOUS 54014 HAS SOUPS 47494 WITH SCORE 47662.178
AT ITER 6343 NEW BEST:: SOT 365749 SOS 168153 HAS SOPS 86953 HAS SOUS 54014 HAS SOUPS 47494 WITH SCORE 47662.153
AT ITER 6344 NEW BEST:: SOT 365714 SOS 168111 HAS SOPS 86883 HAS SOUS 53944 HAS SOUPS 47424 WITH SCORE 47592.111
AT ITER 6349 NEW BEST:: SOT 365743 SOS 168129 HAS SOPS 86901 HAS SOUS 53922 HAS SOUPS 47402 WITH SCORE 47570.129
AT ITER 6365 NEW BEST:: SOT 365785 SOS 168162 HAS SOPS 86934 HAS SOUS 53909 HAS SOUPS 47389 WITH SCORE 47557.162
AT ITER 6366 NEW BEST:: SOT 365743 SOS 167985 HAS SOPS 86757 HAS SOUS 53875 HAS SOUPS 47355 WITH SCORE 47522.985
AT ITER 6376 NEW BEST:: SOT 365763 SOS 168007 HAS SOPS 86629 HAS SOUS 53869 HAS SOUPS 47349 WITH SCORE 47517.007
AT ITER 6384 NEW BEST:: SOT 366073 SOS 168368 HAS SOPS 86618 HAS SOUS 53858 HAS SOUPS 47338 WITH SCORE 47506.368
AT ITER 6394 NEW BEST:: SOT 365900 SOS 168208 HAS SOPS 86441 HAS SOUS 53811 HAS SOUPS 47291 WITH SCORE 47459.208
AT ITER 6410 NEW BEST:: SOT 365900 SOS 168208 HAS SOPS 86441 HAS SOUS 53809 HAS SOUPS 47289 WITH SCORE 47457.208
AT ITER 6432 NEW BEST:: SOT 365885 SOS 168193 HAS SOPS 86421 HAS SOUS 53794 HAS SOUPS 47269 WITH SCORE 47437.193
AT ITER 6444 NEW BEST:: SOT 365503 SOS 167811 HAS SOPS 86029 HAS SOUS 53739 HAS SOUPS 47214 WITH SCORE 47381.811
AT ITER 6446 NEW BEST:: SOT 365502 SOS 167833 HAS SOPS 86051 HAS SOUS 53737 HAS SOUPS 47212 WITH SCORE 47379.833
AT ITER 6461 NEW BEST:: SOT 365422 SOS 167764 HAS SOPS 85982 HAS SOUS 53726 HAS SOUPS 47201 WITH SCORE 47368.764
AT ITER 6467 NEW BEST:: SOT 365377 SOS 167719 HAS SOPS 85907 HAS SOUS 53723 HAS SOUPS 47198 WITH SCORE 47365.719
AT ITER 6475 NEW BEST:: SOT 365369 SOS 167725 HAS SOPS 85913 HAS SOUS 53707 HAS SOUPS 47182 WITH SCORE 47349.725
AT ITER 6492 NEW BEST:: SOT 365369 SOS 167688 HAS SOPS 85876 HAS SOUS 53707 HAS SOUPS 47182 WITH SCORE 47349.688
AT ITER 6502 NEW BEST:: SOT 365272 SOS 168053 HAS SOPS 86241 HAS SOUS 53675 HAS SOUPS 47150 WITH SCORE 47318.053
AT ITER 6522 NEW BEST:: SOT 365275 SOS 168107 HAS SOPS 86295 HAS SOUS 53665 HAS SOUPS 47140 WITH SCORE 47308.107
AT ITER 6527 NEW BEST:: SOT 365223 SOS 168046 HAS SOPS 86234 HAS SOUS 53594 HAS SOUPS 47069 WITH SCORE 47237.046
AT ITER 6529 NEW BEST:: SOT 365285 SOS 167997 HAS SOPS 86208 HAS SOUS 53561 HAS SOUPS 47036 WITH SCORE 47203.997
AT ITER 6535 NEW BEST:: SOT 365349 SOS 168045 HAS SOPS 86248 HAS SOUS 53525 HAS SOUPS 47000 WITH SCORE 47168.045
AT ITER 6543 NEW BEST:: SOT 365239 SOS 167935 HAS SOPS 86226 HAS SOUS 53503 HAS SOUPS 46978 WITH SCORE 47145.935
AT ITER 6545 NEW BEST:: SOT 365228 SOS 167924 HAS SOPS 86215 HAS SOUS 53503 HAS SOUPS 46978 WITH SCORE 47145.924
AT ITER 6558 NEW BEST:: SOT 365217 SOS 167902 HAS SOPS 86193 HAS SOUS 53481 HAS SOUPS 46956 WITH SCORE 47123.902
AT ITER 6609 NEW BEST:: SOT 365182 SOS 167832 HAS SOPS 86123 HAS SOUS 53411 HAS SOUPS 46886 WITH SCORE 47053.832
AT ITER 6655 NEW BEST:: SOT 365182 SOS 167829 HAS SOPS 86120 HAS SOUS 53411 HAS SOUPS 46886 WITH SCORE 47053.829
AT ITER 6663 NEW BEST:: SOT 365181 SOS 167827 HAS SOPS 86118 HAS SOUS 53410 HAS SOUPS 46885 WITH SCORE 47052.827
AT ITER 6680 NEW BEST:: SOT 365181 SOS 167823 HAS SOPS 86110 HAS SOUS 53402 HAS SOUPS 46877 WITH SCORE 47044.823
AT ITER 6692 NEW BEST:: SOT 365170 SOS 167803 HAS SOPS 86090 HAS SOUS 53329 HAS SOUPS 46804 WITH SCORE 46971.803
AT ITER 6698 NEW BEST:: SOT 365166 SOS 167792 HAS SOPS 86076 HAS SOUS 53324 HAS SOUPS 46799 WITH SCORE 46966.792
AT ITER 6739 NEW BEST:: SOT 365124 SOS 167752 HAS SOPS 86036 HAS SOUS 53282 HAS SOUPS 46757 WITH SCORE 46924.752
AT ITER 6757 NEW BEST:: SOT 365051 SOS 167684 HAS SOPS 85960 HAS SOUS 53270 HAS SOUPS 46745 WITH SCORE 46912.684
AT ITER 6822 NEW BEST:: SOT 365048 SOS 167687 HAS SOPS 85954 HAS SOUS 53261 HAS SOUPS 46731 WITH SCORE 46898.687
AT ITER 6824 NEW BEST:: SOT 365043 SOS 167680 HAS SOPS 85945 HAS SOUS 53252 HAS SOUPS 46722 WITH SCORE 46889.68
AT ITER 6831 NEW BEST:: SOT 365043 SOS 167674 HAS SOPS 85939 HAS SOUS 53252 HAS SOUPS 46722 WITH SCORE 46889.674
AT ITER 6845 NEW BEST:: SOT 365059 SOS 167687 HAS SOPS 85761 HAS SOUS 53245 HAS SOUPS 46715 WITH SCORE 46882.687
AT ITER 6847 NEW BEST:: SOT 365195 SOS 167851 HAS SOPS 85853 HAS SOUS 53237 HAS SOUPS 46707 WITH SCORE 46874.851
AT ITER 6854 NEW BEST:: SOT 365195 SOS 167741 HAS SOPS 85743 HAS SOUS 53237 HAS SOUPS 46707 WITH SCORE 46874.741
AT ITER 6881 NEW BEST:: SOT 365187 SOS 167769 HAS SOPS 85771 HAS SOUS 53221 HAS SOUPS 46691 WITH SCORE 46858.769
AT ITER 6933 NEW BEST:: SOT 365330 SOS 167951 HAS SOPS 84978 HAS SOUS 53208 HAS SOUPS 46678 WITH SCORE 46845.951
AT ITER 6968 NEW BEST:: SOT 364869 SOS 168111 HAS SOPS 84436 HAS SOUS 53282 HAS SOUPS 46618 WITH SCORE 46786.111
AT ITER 6972 NEW BEST:: SOT 364830 SOS 168186 HAS SOPS 84517 HAS SOUS 53244 HAS SOUPS 46580 WITH SCORE 46748.186
AT ITER 6987 NEW BEST:: SOT 364830 SOS 168030 HAS SOPS 84361 HAS SOUS 53217 HAS SOUPS 46553 WITH SCORE 46721.03
AT ITER 7001 NEW BEST:: SOT 364819 SOS 168030 HAS SOPS 84350 HAS SOUS 53206 HAS SOUPS 46542 WITH SCORE 46710.03
AT ITER 7011 NEW BEST:: SOT 364803 SOS 168365 HAS SOPS 84375 HAS SOUS 53207 HAS SOUPS 46533 WITH SCORE 46701.365
AT ITER 7028 NEW BEST:: SOT 364801 SOS 168361 HAS SOPS 84371 HAS SOUS 53203 HAS SOUPS 46529 WITH SCORE 46697.361
AT ITER 7136 NEW BEST:: SOT 364798 SOS 168355 HAS SOPS 84365 HAS SOUS 53197 HAS SOUPS 46523 WITH SCORE 46691.355
AT ITER 7137 NEW BEST:: SOT 364781 SOS 168391 HAS SOPS 84331 HAS SOUS 53163 HAS SOUPS 46489 WITH SCORE 46657.391
AT ITER 7150 NEW BEST:: SOT 364781 SOS 168345 HAS SOPS 84285 HAS SOUS 53163 HAS SOUPS 46489 WITH SCORE 46657.345
AT ITER 7153 NEW BEST:: SOT 364775 SOS 168313 HAS SOPS 84245 HAS SOUS 53149 HAS SOUPS 46475 WITH SCORE 46643.313
AT ITER 7154 NEW BEST:: SOT 364750 SOS 168288 HAS SOPS 84220 HAS SOUS 53149 HAS SOUPS 46475 WITH SCORE 46643.288
AT ITER 7188 NEW BEST:: SOT 364735 SOS 168313 HAS SOPS 84245 HAS SOUS 53119 HAS SOUPS 46445 WITH SCORE 46613.313
AT ITER 7224 NEW BEST:: SOT 364714 SOS 168292 HAS SOPS 84203 HAS SOUS 53077 HAS SOUPS 46403 WITH SCORE 46571.292
AT ITER 7239 NEW BEST:: SOT 364713 SOS 168290 HAS SOPS 84201 HAS SOUS 53075 HAS SOUPS 46401 WITH SCORE 46569.29
AT ITER 7255 NEW BEST:: SOT 364710 SOS 168287 HAS SOPS 84197 HAS SOUS 53071 HAS SOUPS 46397 WITH SCORE 46565.287
AT ITER 7260 NEW BEST:: SOT 364710 SOS 168178 HAS SOPS 84088 HAS SOUS 53067 HAS SOUPS 46393 WITH SCORE 46561.178
AT ITER 7276 NEW BEST:: SOT 364673 SOS 168067 HAS SOPS 83792 HAS SOUS 52993 HAS SOUPS 46282 WITH SCORE 46450.067
AT ITER 7281 NEW BEST:: SOT 364657 SOS 168021 HAS SOPS 83746 HAS SOUS 52962 HAS SOUPS 46251 WITH SCORE 46419.021
AT ITER 7294 NEW BEST:: SOT 364636 SOS 167979 HAS SOPS 83729 HAS SOUS 52945 HAS SOUPS 46234 WITH SCORE 46401.979
AT ITER 7295 NEW BEST:: SOT 364635 SOS 167983 HAS SOPS 83733 HAS SOUS 52944 HAS SOUPS 46233 WITH SCORE 46400.983
AT ITER 7300 NEW BEST:: SOT 364650 SOS 167998 HAS SOPS 83748 HAS SOUS 52940 HAS SOUPS 46229 WITH SCORE 46396.998
AT ITER 7360 NEW BEST:: SOT 364648 SOS 167930 HAS SOPS 83680 HAS SOUS 52936 HAS SOUPS 46225 WITH SCORE 46392.93
AT ITER 7373 NEW BEST:: SOT 364647 SOS 167906 HAS SOPS 83656 HAS SOUS 52926 HAS SOUPS 46215 WITH SCORE 46382.906
AT ITER 7375 NEW BEST:: SOT 364647 SOS 167898 HAS SOPS 83648 HAS SOUS 52926 HAS SOUPS 46215 WITH SCORE 46382.898
AT ITER 7388 NEW BEST:: SOT 364645 SOS 167902 HAS SOPS 83650 HAS SOUS 52920 HAS SOUPS 46209 WITH SCORE 46376.902
AT ITER 7400 NEW BEST:: SOT 364639 SOS 167896 HAS SOPS 83602 HAS SOUS 52914 HAS SOUPS 46203 WITH SCORE 46370.896
AT ITER 7414 NEW BEST:: SOT 364650 SOS 167892 HAS SOPS 83596 HAS SOUS 52910 HAS SOUPS 46199 WITH SCORE 46366.892
AT ITER 7416 NEW BEST:: SOT 364606 SOS 167902 HAS SOPS 83562 HAS SOUS 52884 HAS SOUPS 46165 WITH SCORE 46332.902
AT ITER 7417 NEW BEST:: SOT 364582 SOS 167856 HAS SOPS 83492 HAS SOUS 52874 HAS SOUPS 46155 WITH SCORE 46322.856
AT ITER 7448 NEW BEST:: SOT 364394 SOS 168139 HAS SOPS 83238 HAS SOUS 52954 HAS SOUPS 46103 WITH SCORE 46271.139
AT ITER 7455 NEW BEST:: SOT 364364 SOS 168106 HAS SOPS 83175 HAS SOUS 52936 HAS SOUPS 46085 WITH SCORE 46253.106
AT ITER 7456 NEW BEST:: SOT 364352 SOS 168048 HAS SOPS 83151 HAS SOUS 52838 HAS SOUPS 46061 WITH SCORE 46229.048
AT ITER 7458 NEW BEST:: SOT 364346 SOS 168203 HAS SOPS 83306 HAS SOUS 52826 HAS SOUPS 46049 WITH SCORE 46217.203
AT ITER 7461 NEW BEST:: SOT 364342 SOS 168209 HAS SOPS 83288 HAS SOUS 52832 HAS SOUPS 46031 WITH SCORE 46199.209
AT ITER 7463 NEW BEST:: SOT 364153 SOS 168120 HAS SOPS 83089 HAS SOUS 52667 HAS SOUPS 45832 WITH SCORE 46000.12
AT ITER 7512 NEW BEST:: SOT 364109 SOS 168484 HAS SOPS 82965 HAS SOUS 52453 HAS SOUPS 45508 WITH SCORE 45676.484
AT ITER 7539 NEW BEST:: SOT 364076 SOS 168352 HAS SOPS 82833 HAS SOUS 52420 HAS SOUPS 45475 WITH SCORE 45643.352
AT ITER 7547 NEW BEST:: SOT 364035 SOS 168270 HAS SOPS 82751 HAS SOUS 52338 HAS SOUPS 45393 WITH SCORE 45561.27
AT ITER 7550 NEW BEST:: SOT 364035 SOS 168260 HAS SOPS 82751 HAS SOUS 52338 HAS SOUPS 45393 WITH SCORE 45561.26
AT ITER 7552 NEW BEST:: SOT 364028 SOS 168268 HAS SOPS 82759 HAS SOUS 52324 HAS SOUPS 45379 WITH SCORE 45547.268
AT ITER 7605 NEW BEST:: SOT 363799 SOS 168409 HAS SOPS 82507 HAS SOUS 52160 HAS SOUPS 45127 WITH SCORE 45295.409
AT ITER 7620 NEW BEST:: SOT 363465 SOS 168034 HAS SOPS 82011 HAS SOUS 52099 HAS SOUPS 45066 WITH SCORE 45234.034
AT ITER 7668 NEW BEST:: SOT 363442 SOS 167993 HAS SOPS 81970 HAS SOUS 52061 HAS SOUPS 45028 WITH SCORE 45195.993
AT ITER 7672 NEW BEST:: SOT 363442 SOS 167997 HAS SOPS 81974 HAS SOUS 52057 HAS SOUPS 45024 WITH SCORE 45191.997
AT ITER 7675 NEW BEST:: SOT 363442 SOS 167997 HAS SOPS 81974 HAS SOUS 52026 HAS SOUPS 44993 WITH SCORE 45160.997
AT ITER 7680 NEW BEST:: SOT 363465 SOS 168012 HAS SOPS 81989 HAS SOUS 52014 HAS SOUPS 44981 WITH SCORE 45149.012
AT ITER 7702 NEW BEST:: SOT 363454 SOS 167984 HAS SOPS 81950 HAS SOUS 51983 HAS SOUPS 44950 WITH SCORE 45117.984
AT ITER 7728 NEW BEST:: SOT 363442 SOS 167960 HAS SOPS 81926 HAS SOUS 51971 HAS SOUPS 44938 WITH SCORE 45105.96
AT ITER 7806 NEW BEST:: SOT 363451 SOS 168018 HAS SOPS 81984 HAS SOUS 51969 HAS SOUPS 44936 WITH SCORE 45104.018
AT ITER 7810 NEW BEST:: SOT 363507 SOS 168128 HAS SOPS 82090 HAS SOUS 51963 HAS SOUPS 44930 WITH SCORE 45098.128
AT ITER 7878 NEW BEST:: SOT 363507 SOS 168120 HAS SOPS 82082 HAS SOUS 51963 HAS SOUPS 44930 WITH SCORE 45098.12
AT ITER 7887 NEW BEST:: SOT 363263 SOS 167859 HAS SOPS 81815 HAS SOUS 51957 HAS SOUPS 44918 WITH SCORE 45085.859
AT ITER 7905 NEW BEST:: SOT 363277 SOS 168096 HAS SOPS 81792 HAS SOUS 51882 HAS SOUPS 44843 WITH SCORE 45011.096
AT ITER 7927 NEW BEST:: SOT 363227 SOS 168134 HAS SOPS 81722 HAS SOUS 51832 HAS SOUPS 44773 WITH SCORE 44941.134
AT ITER 7931 NEW BEST:: SOT 363223 SOS 168130 HAS SOPS 81714 HAS SOUS 51824 HAS SOUPS 44765 WITH SCORE 44933.13
AT ITER 7948 NEW BEST:: SOT 363199 SOS 168092 HAS SOPS 81688 HAS SOUS 51820 HAS SOUPS 44739 WITH SCORE 44907.092
AT ITER 7962 NEW BEST:: SOT 363209 SOS 168147 HAS SOPS 81743 HAS SOUS 51804 HAS SOUPS 44723 WITH SCORE 44891.147
AT ITER 8043 NEW BEST:: SOT 363286 SOS 168255 HAS SOPS 81627 HAS SOUS 51688 HAS SOUPS 44607 WITH SCORE 44775.255
AT ITER 8122 NEW BEST:: SOT 363273 SOS 168229 HAS SOPS 81601 HAS SOUS 51675 HAS SOUPS 44594 WITH SCORE 44762.229
AT ITER 8157 NEW BEST:: SOT 363411 SOS 168367 HAS SOPS 81739 HAS SOUS 51666 HAS SOUPS 44585 WITH SCORE 44753.367
AT ITER 8192 NEW BEST:: SOT 363401 SOS 168317 HAS SOPS 81689 HAS SOUS 51646 HAS SOUPS 44565 WITH SCORE 44733.317
AT ITER 8195 NEW BEST:: SOT 363445 SOS 168357 HAS SOPS 81665 HAS SOUS 51622 HAS SOUPS 44541 WITH SCORE 44709.357
AT ITER 8231 NEW BEST:: SOT 363417 SOS 168329 HAS SOPS 81629 HAS SOUS 51610 HAS SOUPS 44529 WITH SCORE 44697.329
AT ITER 8281 NEW BEST:: SOT 363395 SOS 168175 HAS SOPS 81475 HAS SOUS 51593 HAS SOUPS 44512 WITH SCORE 44680.175
AT ITER 8286 NEW BEST:: SOT 363422 SOS 168210 HAS SOPS 81521 HAS SOUS 51580 HAS SOUPS 44507 WITH SCORE 44675.21
AT ITER 8350 NEW BEST:: SOT 363341 SOS 168129 HAS SOPS 81392 HAS SOUS 51451 HAS SOUPS 44378 WITH SCORE 44546.129
AT ITER 8362 NEW BEST:: SOT 363325 SOS 168105 HAS SOPS 81360 HAS SOUS 51419 HAS SOUPS 44346 WITH SCORE 44514.105
AT ITER 8385 NEW BEST:: SOT 363031 SOS 167811 HAS SOPS 81024 HAS SOUS 51439 HAS SOUPS 44324 WITH SCORE 44491.811
AT ITER 8393 NEW BEST:: SOT 363035 SOS 167820 HAS SOPS 80986 HAS SOUS 51401 HAS SOUPS 44286 WITH SCORE 44453.82
AT ITER 8416 NEW BEST:: SOT 362984 SOS 167766 HAS SOPS 80935 HAS SOUS 51350 HAS SOUPS 44235 WITH SCORE 44402.766
AT ITER 8488 NEW BEST:: SOT 362964 SOS 167746 HAS SOPS 80919 HAS SOUS 51346 HAS SOUPS 44231 WITH SCORE 44398.746
AT ITER 8489 NEW BEST:: SOT 362958 SOS 167740 HAS SOPS 80913 HAS SOUS 51340 HAS SOUPS 44225 WITH SCORE 44392.74
AT ITER 8564 NEW BEST:: SOT 362979 SOS 167761 HAS SOPS 80529 HAS SOUS 51325 HAS SOUPS 44210 WITH SCORE 44377.761
AT ITER 8602 NEW BEST:: SOT 362946 SOS 167662 HAS SOPS 80430 HAS SOUS 51226 HAS SOUPS 44111 WITH SCORE 44278.662
AT ITER 8608 NEW BEST:: SOT 362961 SOS 167677 HAS SOPS 80424 HAS SOUS 51197 HAS SOUPS 44078 WITH SCORE 44245.677
AT ITER 8629 NEW BEST:: SOT 362961 SOS 167657 HAS SOPS 80404 HAS SOUS 51187 HAS SOUPS 44068 WITH SCORE 44235.657
AT ITER 8662 NEW BEST:: SOT 362927 SOS 167623 HAS SOPS 80336 HAS SOUS 51119 HAS SOUPS 44000 WITH SCORE 44167.623
AT ITER 8678 NEW BEST:: SOT 362923 SOS 167613 HAS SOPS 80326 HAS SOUS 51109 HAS SOUPS 43990 WITH SCORE 44157.613
AT ITER 8684 NEW BEST:: SOT 362918 SOS 167614 HAS SOPS 80316 HAS SOUS 51099 HAS SOUPS 43980 WITH SCORE 44147.614
AT ITER 8702 NEW BEST:: SOT 362922 SOS 167616 HAS SOPS 80315 HAS SOUS 51093 HAS SOUPS 43974 WITH SCORE 44141.616
AT ITER 8734 NEW BEST:: SOT 362927 SOS 167605 HAS SOPS 80304 HAS SOUS 51082 HAS SOUPS 43963 WITH SCORE 44130.605
AT ITER 8753 NEW BEST:: SOT 362927 SOS 167615 HAS SOPS 80314 HAS SOUS 51077 HAS SOUPS 43958 WITH SCORE 44125.615
AT ITER 8793 NEW BEST:: SOT 362926 SOS 167571 HAS SOPS 80270 HAS SOUS 51075 HAS SOUPS 43956 WITH SCORE 44123.571
AT ITER 8824 NEW BEST:: SOT 363066 SOS 167711 HAS SOPS 80410 HAS SOUS 51066 HAS SOUPS 43947 WITH SCORE 44114.711
AT ITER 8825 NEW BEST:: SOT 363066 SOS 167705 HAS SOPS 80404 HAS SOUS 51066 HAS SOUPS 43947 WITH SCORE 44114.705
AT ITER 8845 NEW BEST:: SOT 362998 SOS 167444 HAS SOPS 80143 HAS SOUS 51049 HAS SOUPS 43930 WITH SCORE 44097.444
AT ITER 8877 NEW BEST:: SOT 363009 SOS 167375 HAS SOPS 80074 HAS SOUS 51038 HAS SOUPS 43919 WITH SCORE 44086.375
AT ITER 8968 NEW BEST:: SOT 363009 SOS 167340 HAS SOPS 80039 HAS SOUS 51033 HAS SOUPS 43914 WITH SCORE 44081.34
AT ITER 8982 NEW BEST:: SOT 363009 SOS 167340 HAS SOPS 80039 HAS SOUS 51032 HAS SOUPS 43913 WITH SCORE 44080.34
AT ITER 9088 NEW BEST:: SOT 362993 SOS 167407 HAS SOPS 80106 HAS SOUS 51000 HAS SOUPS 43881 WITH SCORE 44048.407
AT ITER 9099 NEW BEST:: SOT 362951 SOS 167365 HAS SOPS 80064 HAS SOUS 50987 HAS SOUPS 43868 WITH SCORE 44035.365
AT ITER 9145 NEW BEST:: SOT 363086 SOS 166658 HAS SOPS 79357 HAS SOUS 50987 HAS SOUPS 43868 WITH SCORE 44034.658
AT ITER 9177 NEW BEST:: SOT 362906 SOS 166478 HAS SOPS 79125 HAS SOUS 50821 HAS SOUPS 43702 WITH SCORE 43868.478
AT ITER 9195 NEW BEST:: SOT 362689 SOS 166261 HAS SOPS 78919 HAS SOUS 50801 HAS SOUPS 43644 WITH SCORE 43810.261
AT ITER 9206 NEW BEST:: SOT 362638 SOS 166210 HAS SOPS 77593 HAS SOUS 50721 HAS SOUPS 43530 WITH SCORE 43696.21
AT ITER 9214 NEW BEST:: SOT 362638 SOS 166178 HAS SOPS 77561 HAS SOUS 50721 HAS SOUPS 43530 WITH SCORE 43696.178
AT ITER 9235 NEW BEST:: SOT 362647 SOS 166118 HAS SOPS 77501 HAS SOUS 50715 HAS SOUPS 43524 WITH SCORE 43690.118
AT ITER 9244 NEW BEST:: SOT 362643 SOS 166114 HAS SOPS 77497 HAS SOUS 50707 HAS SOUPS 43516 WITH SCORE 43682.114
AT ITER 9258 NEW BEST:: SOT 362643 SOS 166104 HAS SOPS 77487 HAS SOUS 50702 HAS SOUPS 43511 WITH SCORE 43677.104
AT ITER 9282 NEW BEST:: SOT 362634 SOS 166066 HAS SOPS 77449 HAS SOUS 50684 HAS SOUPS 43493 WITH SCORE 43659.066
AT ITER 9288 NEW BEST:: SOT 362484 SOS 166311 HAS SOPS 77250 HAS SOUS 50690 HAS SOUPS 43469 WITH SCORE 43635.311
AT ITER 9320 NEW BEST:: SOT 362478 SOS 166305 HAS SOPS 77250 HAS SOUS 50690 HAS SOUPS 43469 WITH SCORE 43635.305
AT ITER 9448 NEW BEST:: SOT 362375 SOS 166185 HAS SOPS 77146 HAS SOUS 50670 HAS SOUPS 43449 WITH SCORE 43615.185
AT ITER 9454 NEW BEST:: SOT 362375 SOS 166181 HAS SOPS 77142 HAS SOUS 50670 HAS SOUPS 43449 WITH SCORE 43615.181
AT ITER 9459 NEW BEST:: SOT 362373 SOS 166179 HAS SOPS 77140 HAS SOUS 50666 HAS SOUPS 43445 WITH SCORE 43611.179
AT ITER 9533 NEW BEST:: SOT 362425 SOS 166231 HAS SOPS 77172 HAS SOUS 50632 HAS SOUPS 43411 WITH SCORE 43577.231
AT ITER 9557 NEW BEST:: SOT 362425 SOS 166229 HAS SOPS 77170 HAS SOUS 50630 HAS SOUPS 43409 WITH SCORE 43575.229
AT ITER 9580 NEW BEST:: SOT 362550 SOS 166354 HAS SOPS 77280 HAS SOUS 50605 HAS SOUPS 43384 WITH SCORE 43550.354
AT ITER 9589 NEW BEST:: SOT 362560 SOS 166388 HAS SOPS 77276 HAS SOUS 50601 HAS SOUPS 43380 WITH SCORE 43546.388
AT ITER 9611 NEW BEST:: SOT 362545 SOS 166373 HAS SOPS 77276 HAS SOUS 50601 HAS SOUPS 43380 WITH SCORE 43546.373
AT ITER 9631 NEW BEST:: SOT 362542 SOS 166397 HAS SOPS 77300 HAS SOUS 50595 HAS SOUPS 43374 WITH SCORE 43540.397
AT ITER 9632 NEW BEST:: SOT 362544 SOS 166389 HAS SOPS 77292 HAS SOUS 50593 HAS SOUPS 43372 WITH SCORE 43538.389
AT ITER 9648 NEW BEST:: SOT 362517 SOS 166335 HAS SOPS 77238 HAS SOUS 50566 HAS SOUPS 43345 WITH SCORE 43511.335
AT ITER 9682 NEW BEST:: SOT 362512 SOS 166340 HAS SOPS 77209 HAS SOUS 50537 HAS SOUPS 43316 WITH SCORE 43482.34
AT ITER 9686 NEW BEST:: SOT 362476 SOS 166520 HAS SOPS 77157 HAS SOUS 50540 HAS SOUPS 43311 WITH SCORE 43477.52
AT ITER 9687 NEW BEST:: SOT 362452 SOS 166392 HAS SOPS 77029 HAS SOUS 50492 HAS SOUPS 43263 WITH SCORE 43429.392
AT ITER 9758 NEW BEST:: SOT 362452 SOS 166380 HAS SOPS 77017 HAS SOUS 50492 HAS SOUPS 43263 WITH SCORE 43429.38
AT ITER 9764 NEW BEST:: SOT 362470 SOS 166450 HAS SOPS 77001 HAS SOUS 50476 HAS SOUPS 43247 WITH SCORE 43413.45
AT ITER 9891 NEW BEST:: SOT 362456 SOS 166458 HAS SOPS 77009 HAS SOUS 50444 HAS SOUPS 43215 WITH SCORE 43381.458
AT ITER 9916 NEW BEST:: SOT 362467 SOS 166599 HAS SOPS 77150 HAS SOUS 50436 HAS SOUPS 43207 WITH SCORE 43373.599
AT ITER 9930 NEW BEST:: SOT 362467 SOS 166582 HAS SOPS 77150 HAS SOUS 50436 HAS SOUPS 43207 WITH SCORE 43373.582
AT ITER 9958 NEW BEST:: SOT 362423 SOS 166736 HAS SOPS 77304 HAS SOUS 50392 HAS SOUPS 43163 WITH SCORE 43329.736
AT ITER 9978 NEW BEST:: SOT 362423 SOS 166472 HAS SOPS 77040 HAS SOUS 50391 HAS SOUPS 43162 WITH SCORE 43328.472
AT ITER 9985 NEW BEST:: SOT 362421 SOS 166456 HAS SOPS 77024 HAS SOUS 50389 HAS SOUPS 43160 WITH SCORE 43326.456
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 6212372 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16148640 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="EisenbergMcGuire-PT-06"
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 EisenbergMcGuire-PT-06, 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 r515-tall-167987242200248"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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