Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.1M
-rw-r--r-- 1 mcc users 4.2K Apr 12 00:55 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 00:55 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.9K Apr 10 23:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 10 23:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.6K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 4.5K Apr 14 12:44 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 3.3K Apr 14 12:44 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 10 08:28 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 08:28 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 4.4K Apr 9 13:07 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 13:07 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Apr 10 22:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.0K Apr 10 22:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 9 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 2.9M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-00
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-01
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-02
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-03
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-04
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-05
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-06
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-07
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-08
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-09
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-10
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-11
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-12
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-13
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-14
FORMULA_NAME PhaseVariation-PT-D10CS100-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589648743481

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhaseVariation (PT), instance D10CS100
Examination CTLCardinality
Parser /home/mcc/BenchKit/bin/parser/CTLCard.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 302 places, 3137 transitions, 21755 arcs.
AT ITER 0 NEW BEST:: SOT 919740 SOS 653923 HAS SOPS 584195 HAS SOUS 529501 HAS SOUPS 517736 WITH SCORE 518389.923
AT ITER 1 NEW BEST:: SOT 919740 SOS 654788 HAS SOPS 586313 HAS SOUS 528767 HAS SOUPS 516716 WITH SCORE 517370.788
AT ITER 2 NEW BEST:: SOT 919740 SOS 656256 HAS SOPS 586313 HAS SOUS 528535 HAS SOUPS 515866 WITH SCORE 516522.256
AT ITER 3 NEW BEST:: SOT 919740 SOS 658076 HAS SOPS 588893 HAS SOUS 526270 HAS SOUPS 513421 WITH SCORE 514079.076
AT ITER 5 NEW BEST:: SOT 919740 SOS 658597 HAS SOPS 590325 HAS SOUS 524845 HAS SOUPS 512237 WITH SCORE 512895.597
AT ITER 7 NEW BEST:: SOT 919740 SOS 657086 HAS SOPS 588615 HAS SOUS 522776 HAS SOUPS 510233 WITH SCORE 510890.086
AT ITER 8 NEW BEST:: SOT 919740 SOS 658301 HAS SOPS 589683 HAS SOUS 522772 HAS SOUPS 509824 WITH SCORE 510482.301
AT ITER 9 NEW BEST:: SOT 919740 SOS 658583 HAS SOPS 589803 HAS SOUS 522103 HAS SOUPS 508836 WITH SCORE 509494.583
AT ITER 10 NEW BEST:: SOT 919740 SOS 658186 HAS SOPS 588561 HAS SOUS 520366 HAS SOUPS 506924 WITH SCORE 507582.186
AT ITER 11 NEW BEST:: SOT 919740 SOS 658084 HAS SOPS 588357 HAS SOUS 520077 HAS SOUPS 506601 WITH SCORE 507259.084
AT ITER 12 NEW BEST:: SOT 919740 SOS 659357 HAS SOPS 588843 HAS SOUS 519975 HAS SOUPS 506348 WITH SCORE 507007.357
AT ITER 14 NEW BEST:: SOT 919740 SOS 659164 HAS SOPS 587367 HAS SOUS 518860 HAS SOUPS 504173 WITH SCORE 504832.164
AT ITER 15 NEW BEST:: SOT 919740 SOS 658782 HAS SOPS 585837 HAS SOUS 516452 HAS SOUPS 501557 WITH SCORE 502215.782
AT ITER 16 NEW BEST:: SOT 919740 SOS 658858 HAS SOPS 585645 HAS SOUS 516183 HAS SOUPS 501024 WITH SCORE 501682.858
AT ITER 18 NEW BEST:: SOT 919740 SOS 659390 HAS SOPS 585645 HAS SOUS 515651 HAS SOUPS 500492 WITH SCORE 501151.39
AT ITER 21 NEW BEST:: SOT 919740 SOS 657912 HAS SOPS 584529 HAS SOUS 513552 HAS SOUPS 498354 WITH SCORE 499011.912
AT ITER 23 NEW BEST:: SOT 919740 SOS 659432 HAS SOPS 584355 HAS SOUS 511503 HAS SOUPS 496133 WITH SCORE 496792.432
AT ITER 25 NEW BEST:: SOT 919740 SOS 661940 HAS SOPS 586971 HAS SOUS 507711 HAS SOUPS 492277 WITH SCORE 492938.94
AT ITER 27 NEW BEST:: SOT 919740 SOS 662511 HAS SOPS 587811 HAS SOUS 506906 HAS SOUPS 491273 WITH SCORE 491935.511
AT ITER 28 NEW BEST:: SOT 919740 SOS 664187 HAS SOPS 587655 HAS SOUS 503724 HAS SOUPS 488054 WITH SCORE 488718.187
AT ITER 29 NEW BEST:: SOT 919740 SOS 665083 HAS SOPS 589653 HAS SOUS 502406 HAS SOUPS 486847 WITH SCORE 487512.083
AT ITER 31 NEW BEST:: SOT 919740 SOS 664979 HAS SOPS 589305 HAS SOUS 501895 HAS SOUPS 486226 WITH SCORE 486890.979
AT ITER 32 NEW BEST:: SOT 919740 SOS 664329 HAS SOPS 588027 HAS SOUS 499848 HAS SOUPS 484250 WITH SCORE 484914.329
AT ITER 33 NEW BEST:: SOT 919740 SOS 663488 HAS SOPS 589239 HAS SOUS 498617 HAS SOUPS 483173 WITH SCORE 483836.488
AT ITER 34 NEW BEST:: SOT 919740 SOS 663059 HAS SOPS 587925 HAS SOUS 496718 HAS SOUPS 481107 WITH SCORE 481770.059
AT ITER 35 NEW BEST:: SOT 919740 SOS 665515 HAS SOPS 592143 HAS SOUS 494539 HAS SOUPS 479032 WITH SCORE 479697.515
AT ITER 36 NEW BEST:: SOT 919740 SOS 666389 HAS SOPS 593451 HAS SOUS 493180 HAS SOUPS 477327 WITH SCORE 477993.389
AT ITER 38 NEW BEST:: SOT 919740 SOS 666462 HAS SOPS 593583 HAS SOUS 492672 HAS SOUPS 476664 WITH SCORE 477330.462
AT ITER 39 NEW BEST:: SOT 919740 SOS 666988 HAS SOPS 593907 HAS SOUS 491181 HAS SOUPS 475101 WITH SCORE 475767.988
AT ITER 40 NEW BEST:: SOT 919740 SOS 665613 HAS SOPS 592917 HAS SOUS 490466 HAS SOUPS 474441 WITH SCORE 475106.613
AT ITER 42 NEW BEST:: SOT 919740 SOS 665562 HAS SOPS 592917 HAS SOUS 490051 HAS SOUPS 474048 WITH SCORE 474713.562
AT ITER 43 NEW BEST:: SOT 919740 SOS 665532 HAS SOPS 592917 HAS SOUS 489100 HAS SOUPS 473192 WITH SCORE 473857.532
AT ITER 46 NEW BEST:: SOT 919740 SOS 665300 HAS SOPS 592953 HAS SOUS 488306 HAS SOUPS 472212 WITH SCORE 472877.3
AT ITER 48 NEW BEST:: SOT 919740 SOS 665744 HAS SOPS 592953 HAS SOUS 487800 HAS SOUPS 471706 WITH SCORE 472371.744
AT ITER 51 NEW BEST:: SOT 919740 SOS 667319 HAS SOPS 593349 HAS SOUS 486825 HAS SOUPS 470549 WITH SCORE 471216.319
AT ITER 52 NEW BEST:: SOT 919740 SOS 666678 HAS SOPS 592953 HAS SOUS 486112 HAS SOUPS 469830 WITH SCORE 470496.678
AT ITER 54 NEW BEST:: SOT 919740 SOS 666573 HAS SOPS 592683 HAS SOUS 486007 HAS SOUPS 469650 WITH SCORE 470316.573
AT ITER 55 NEW BEST:: SOT 919790 SOS 666567 HAS SOPS 592265 HAS SOUS 486008 HAS SOUPS 469554 WITH SCORE 470220.567
AT ITER 56 NEW BEST:: SOT 919790 SOS 666490 HAS SOPS 592373 HAS SOUS 485695 HAS SOUPS 469519 WITH SCORE 470185.49
AT ITER 57 NEW BEST:: SOT 919790 SOS 666501 HAS SOPS 592373 HAS SOUS 485680 HAS SOUPS 469508 WITH SCORE 470174.501
AT ITER 58 NEW BEST:: SOT 919790 SOS 667796 HAS SOPS 592607 HAS SOUS 484448 HAS SOUPS 468263 WITH SCORE 468930.796
AT ITER 62 NEW BEST:: SOT 919790 SOS 667548 HAS SOPS 591923 HAS SOUS 483328 HAS SOUPS 467143 WITH SCORE 467810.548
AT ITER 63 NEW BEST:: SOT 919790 SOS 667587 HAS SOPS 592227 HAS SOUS 483014 HAS SOUPS 467094 WITH SCORE 467761.587
AT ITER 65 NEW BEST:: SOT 919790 SOS 669040 HAS SOPS 592443 HAS SOUS 481025 HAS SOUPS 464994 WITH SCORE 465663.04
AT ITER 66 NEW BEST:: SOT 919790 SOS 668802 HAS SOPS 592191 HAS SOUS 480762 HAS SOUPS 464745 WITH SCORE 465413.802
AT ITER 67 NEW BEST:: SOT 919790 SOS 669895 HAS SOPS 592191 HAS SOUS 479667 HAS SOUPS 463650 WITH SCORE 464319.895
AT ITER 68 NEW BEST:: SOT 919790 SOS 670818 HAS SOPS 592317 HAS SOUS 479534 HAS SOUPS 463263 WITH SCORE 463933.818
AT ITER 69 NEW BEST:: SOT 919790 SOS 671397 HAS SOPS 592641 HAS SOUS 479269 HAS SOUPS 462972 WITH SCORE 463643.397
AT ITER 71 NEW BEST:: SOT 919790 SOS 671066 HAS SOPS 592623 HAS SOUS 478915 HAS SOUPS 462672 WITH SCORE 463343.066
AT ITER 74 NEW BEST:: SOT 919790 SOS 670897 HAS SOPS 592587 HAS SOUS 478698 HAS SOUPS 462469 WITH SCORE 463139.897
AT ITER 75 NEW BEST:: SOT 920082 SOS 673112 HAS SOPS 594737 HAS SOUS 475823 HAS SOUPS 459768 WITH SCORE 460441.112
AT ITER 76 NEW BEST:: SOT 920082 SOS 672632 HAS SOPS 595859 HAS SOUS 474846 HAS SOUPS 459067 WITH SCORE 459739.632
AT ITER 77 NEW BEST:: SOT 920082 SOS 672161 HAS SOPS 595859 HAS SOUS 472824 HAS SOUPS 457131 WITH SCORE 457803.161
AT ITER 78 NEW BEST:: SOT 920082 SOS 673613 HAS SOPS 597719 HAS SOUS 469629 HAS SOUPS 454145 WITH SCORE 454818.613
AT ITER 80 NEW BEST:: SOT 920082 SOS 675151 HAS SOPS 598283 HAS SOUS 468339 HAS SOUPS 452700 WITH SCORE 453375.151
AT ITER 81 NEW BEST:: SOT 920082 SOS 675273 HAS SOPS 598283 HAS SOUS 468194 HAS SOUPS 452555 WITH SCORE 453230.273
AT ITER 82 NEW BEST:: SOT 920082 SOS 675839 HAS SOPS 599543 HAS SOUS 467219 HAS SOUPS 451621 WITH SCORE 452296.839
AT ITER 83 NEW BEST:: SOT 920082 SOS 674615 HAS SOPS 597911 HAS SOUS 466947 HAS SOUPS 451349 WITH SCORE 452023.615
AT ITER 84 NEW BEST:: SOT 920082 SOS 674561 HAS SOPS 598139 HAS SOUS 466586 HAS SOUPS 450988 WITH SCORE 451662.561
AT ITER 85 NEW BEST:: SOT 920082 SOS 674802 HAS SOPS 598319 HAS SOUS 466135 HAS SOUPS 450816 WITH SCORE 451490.802
AT ITER 87 NEW BEST:: SOT 920082 SOS 675278 HAS SOPS 598883 HAS SOUS 466102 HAS SOUPS 450141 WITH SCORE 450816.278
AT ITER 88 NEW BEST:: SOT 920082 SOS 674781 HAS SOPS 598883 HAS SOUS 464979 HAS SOUPS 449107 WITH SCORE 449781.781
AT ITER 89 NEW BEST:: SOT 920082 SOS 675084 HAS SOPS 598883 HAS SOUS 464921 HAS SOUPS 448757 WITH SCORE 449432.084
AT ITER 90 NEW BEST:: SOT 920082 SOS 675639 HAS SOPS 599243 HAS SOUS 464746 HAS SOUPS 448582 WITH SCORE 449257.639
AT ITER 92 NEW BEST:: SOT 920082 SOS 676654 HAS SOPS 599129 HAS SOUS 462789 HAS SOUPS 446523 WITH SCORE 447199.654
AT ITER 95 NEW BEST:: SOT 920082 SOS 676914 HAS SOPS 599129 HAS SOUS 460071 HAS SOUPS 443732 WITH SCORE 444408.914
AT ITER 97 NEW BEST:: SOT 920082 SOS 676627 HAS SOPS 599075 HAS SOUS 459718 HAS SOUPS 443411 WITH SCORE 444087.627
AT ITER 98 NEW BEST:: SOT 920082 SOS 676811 HAS SOPS 598973 HAS SOUS 458005 HAS SOUPS 441665 WITH SCORE 442341.811
AT ITER 99 NEW BEST:: SOT 920082 SOS 676588 HAS SOPS 598637 HAS SOUS 456947 HAS SOUPS 440665 WITH SCORE 441341.588
AT ITER 100 NEW BEST:: SOT 920082 SOS 678090 HAS SOPS 599375 HAS SOUS 456493 HAS SOUPS 440095 WITH SCORE 440773.09
AT ITER 101 NEW BEST:: SOT 920082 SOS 678352 HAS SOPS 599327 HAS SOUS 456342 HAS SOUPS 439937 WITH SCORE 440615.352
AT ITER 102 NEW BEST:: SOT 920082 SOS 678235 HAS SOPS 599135 HAS SOUS 456313 HAS SOUPS 439892 WITH SCORE 440570.235
AT ITER 103 NEW BEST:: SOT 920192 SOS 676932 HAS SOPS 596885 HAS SOUS 454508 HAS SOUPS 438094 WITH SCORE 438770.932
AT ITER 106 NEW BEST:: SOT 920192 SOS 677398 HAS SOPS 596795 HAS SOUS 453997 HAS SOUPS 437583 WITH SCORE 438260.398
AT ITER 107 NEW BEST:: SOT 920192 SOS 677174 HAS SOPS 596795 HAS SOUS 453645 HAS SOUPS 437263 WITH SCORE 437940.174
AT ITER 111 NEW BEST:: SOT 920192 SOS 676760 HAS SOPS 596795 HAS SOUS 453285 HAS SOUPS 436946 WITH SCORE 437622.76
AT ITER 113 NEW BEST:: SOT 920192 SOS 676822 HAS SOPS 596795 HAS SOUS 453223 HAS SOUPS 436884 WITH SCORE 437560.822
AT ITER 114 NEW BEST:: SOT 920192 SOS 676795 HAS SOPS 596813 HAS SOUS 453190 HAS SOUPS 436854 WITH SCORE 437530.795
AT ITER 115 NEW BEST:: SOT 920192 SOS 678215 HAS SOPS 598145 HAS SOUS 449286 HAS SOUPS 433074 WITH SCORE 433752.215
AT ITER 116 NEW BEST:: SOT 920192 SOS 678069 HAS SOPS 600179 HAS SOUS 448129 HAS SOUPS 432046 WITH SCORE 432724.069
AT ITER 119 NEW BEST:: SOT 920192 SOS 679338 HAS SOPS 601439 HAS SOUS 445742 HAS SOUPS 429694 WITH SCORE 430373.338
AT ITER 121 NEW BEST:: SOT 920192 SOS 679442 HAS SOPS 601799 HAS SOUS 445695 HAS SOUPS 429674 WITH SCORE 430353.442
AT ITER 125 NEW BEST:: SOT 920192 SOS 677928 HAS SOPS 600515 HAS SOUS 445638 HAS SOUPS 429617 WITH SCORE 430294.928
AT ITER 126 NEW BEST:: SOT 920192 SOS 678483 HAS SOPS 601043 HAS SOUS 445397 HAS SOUPS 429302 WITH SCORE 429980.483
AT ITER 128 NEW BEST:: SOT 920192 SOS 679800 HAS SOPS 601205 HAS SOUS 444251 HAS SOUPS 428156 WITH SCORE 428835.8
AT ITER 129 NEW BEST:: SOT 920192 SOS 680657 HAS SOPS 601205 HAS SOUS 443239 HAS SOUPS 427144 WITH SCORE 427824.657
AT ITER 130 NEW BEST:: SOT 920192 SOS 680709 HAS SOPS 601205 HAS SOUS 443187 HAS SOUPS 427092 WITH SCORE 427772.709
AT ITER 133 NEW BEST:: SOT 920192 SOS 679745 HAS SOPS 599351 HAS SOUS 441892 HAS SOUPS 425797 WITH SCORE 426476.745
AT ITER 134 NEW BEST:: SOT 920192 SOS 680900 HAS SOPS 599141 HAS SOUS 441297 HAS SOUPS 425202 WITH SCORE 425882.9
AT ITER 135 NEW BEST:: SOT 920192 SOS 683198 HAS SOPS 602441 HAS SOUS 438752 HAS SOUPS 422739 WITH SCORE 423422.198
AT ITER 136 NEW BEST:: SOT 920192 SOS 683663 HAS SOPS 602795 HAS SOUS 438177 HAS SOUPS 422151 WITH SCORE 422834.663
AT ITER 137 NEW BEST:: SOT 920192 SOS 683962 HAS SOPS 602345 HAS SOUS 436991 HAS SOUPS 420965 WITH SCORE 421648.962
AT ITER 141 NEW BEST:: SOT 920192 SOS 684343 HAS SOPS 602345 HAS SOUS 436636 HAS SOUPS 420610 WITH SCORE 421294.343
AT ITER 144 NEW BEST:: SOT 920192 SOS 684399 HAS SOPS 602005 HAS SOUS 436851 HAS SOUPS 420364 WITH SCORE 421048.399
AT ITER 146 NEW BEST:: SOT 920192 SOS 683242 HAS SOPS 600439 HAS SOUS 436577 HAS SOUPS 420090 WITH SCORE 420773.242
AT ITER 148 NEW BEST:: SOT 920192 SOS 683870 HAS SOPS 600331 HAS SOUS 435956 HAS SOUPS 419390 WITH SCORE 420073.87
AT ITER 150 NEW BEST:: SOT 920192 SOS 683924 HAS SOPS 600379 HAS SOUS 435941 HAS SOUPS 419364 WITH SCORE 420047.924
AT ITER 151 NEW BEST:: SOT 920192 SOS 684908 HAS SOPS 603637 HAS SOUS 435143 HAS SOUPS 418722 WITH SCORE 419406.908
AT ITER 154 NEW BEST:: SOT 920192 SOS 684872 HAS SOPS 603637 HAS SOUS 435107 HAS SOUPS 418686 WITH SCORE 419370.872
AT ITER 155 NEW BEST:: SOT 920192 SOS 684694 HAS SOPS 603439 HAS SOUS 434597 HAS SOUPS 418170 WITH SCORE 418854.694
AT ITER 156 NEW BEST:: SOT 920192 SOS 684070 HAS SOPS 602539 HAS SOUS 432851 HAS SOUPS 416424 WITH SCORE 417108.07
AT ITER 157 NEW BEST:: SOT 920192 SOS 683948 HAS SOPS 602641 HAS SOUS 429709 HAS SOUPS 413368 WITH SCORE 414051.948
AT ITER 158 NEW BEST:: SOT 920192 SOS 683845 HAS SOPS 603889 HAS SOUS 429560 HAS SOUPS 413318 WITH SCORE 414001.845
AT ITER 159 NEW BEST:: SOT 920192 SOS 683973 HAS SOPS 603889 HAS SOUS 429413 HAS SOUPS 413171 WITH SCORE 413854.973
AT ITER 160 NEW BEST:: SOT 920192 SOS 683319 HAS SOPS 602899 HAS SOUS 426901 HAS SOUPS 410751 WITH SCORE 411434.319
AT ITER 161 NEW BEST:: SOT 920192 SOS 683094 HAS SOPS 602899 HAS SOUS 426329 HAS SOUPS 410221 WITH SCORE 410904.094
AT ITER 162 NEW BEST:: SOT 920192 SOS 683014 HAS SOPS 602899 HAS SOUS 425909 HAS SOUPS 409841 WITH SCORE 410524.014
AT ITER 163 NEW BEST:: SOT 920192 SOS 682876 HAS SOPS 602647 HAS SOUS 423360 HAS SOUPS 407398 WITH SCORE 408080.876
AT ITER 164 NEW BEST:: SOT 920192 SOS 684826 HAS SOPS 607567 HAS SOUS 420905 HAS SOUPS 405391 WITH SCORE 406075.826
AT ITER 165 NEW BEST:: SOT 917291 SOS 688317 HAS SOPS 619774 HAS SOUS 415765 HAS SOUPS 404597 WITH SCORE 405285.317
AT ITER 166 NEW BEST:: SOT 917399 SOS 688551 HAS SOPS 619606 HAS SOUS 415119 HAS SOUPS 403951 WITH SCORE 404639.551
AT ITER 167 NEW BEST:: SOT 917399 SOS 689063 HAS SOPS 620272 HAS SOUS 414749 HAS SOUPS 403584 WITH SCORE 404273.063
AT ITER 169 NEW BEST:: SOT 917399 SOS 689063 HAS SOPS 620272 HAS SOUS 413919 HAS SOUPS 402754 WITH SCORE 403443.063
AT ITER 170 NEW BEST:: SOT 917399 SOS 689361 HAS SOPS 620632 HAS SOUS 412636 HAS SOUPS 401441 WITH SCORE 402130.361
AT ITER 172 NEW BEST:: SOT 917399 SOS 688651 HAS SOPS 621010 HAS SOUS 411423 HAS SOUPS 400373 WITH SCORE 401061.651
AT ITER 173 NEW BEST:: SOT 917399 SOS 688086 HAS SOPS 620578 HAS SOUS 410235 HAS SOUPS 399240 WITH SCORE 399928.086
AT ITER 174 NEW BEST:: SOT 917399 SOS 688007 HAS SOPS 621034 HAS SOUS 409370 HAS SOUPS 398375 WITH SCORE 399063.007
AT ITER 179 NEW BEST:: SOT 917399 SOS 690257 HAS SOPS 622798 HAS SOUS 407861 HAS SOUPS 396854 WITH SCORE 397544.257
AT ITER 182 NEW BEST:: SOT 917399 SOS 690186 HAS SOPS 622750 HAS SOUS 407852 HAS SOUPS 396845 WITH SCORE 397535.186
AT ITER 183 NEW BEST:: SOT 917399 SOS 690341 HAS SOPS 624838 HAS SOUS 406964 HAS SOUPS 396078 WITH SCORE 396768.341
AT ITER 189 NEW BEST:: SOT 917399 SOS 690448 HAS SOPS 625648 HAS SOUS 406695 HAS SOUPS 395854 WITH SCORE 396544.448
AT ITER 190 NEW BEST:: SOT 917399 SOS 690467 HAS SOPS 624766 HAS SOUS 405831 HAS SOUPS 394986 WITH SCORE 395676.467
AT ITER 195 NEW BEST:: SOT 917399 SOS 690669 HAS SOPS 625090 HAS SOUS 404750 HAS SOUPS 393913 WITH SCORE 394603.669
AT ITER 197 NEW BEST:: SOT 917399 SOS 690703 HAS SOPS 625048 HAS SOUS 404669 HAS SOUPS 393832 WITH SCORE 394522.703
AT ITER 199 NEW BEST:: SOT 917399 SOS 691072 HAS SOPS 625876 HAS SOUS 404493 HAS SOUPS 393679 WITH SCORE 394370.072
AT ITER 200 NEW BEST:: SOT 917399 SOS 691071 HAS SOPS 625894 HAS SOUS 404492 HAS SOUPS 393679 WITH SCORE 394370.071
AT ITER 204 NEW BEST:: SOT 917399 SOS 692182 HAS SOPS 629098 HAS SOUS 403474 HAS SOUPS 392842 WITH SCORE 393534.182
AT ITER 206 NEW BEST:: SOT 917399 SOS 691868 HAS SOPS 629254 HAS SOUS 402018 HAS SOUPS 391483 WITH SCORE 392174.868
AT ITER 207 NEW BEST:: SOT 917399 SOS 692413 HAS SOPS 629254 HAS SOUS 401478 HAS SOUPS 390943 WITH SCORE 391635.413
AT ITER 212 NEW BEST:: SOT 917399 SOS 691457 HAS SOPS 627358 HAS SOUS 401117 HAS SOUPS 390582 WITH SCORE 391273.457
AT ITER 213 NEW BEST:: SOT 917399 SOS 691151 HAS SOPS 629104 HAS SOUS 400862 HAS SOUPS 390424 WITH SCORE 391115.151
AT ITER 215 NEW BEST:: SOT 917399 SOS 690236 HAS SOPS 628042 HAS SOUS 400640 HAS SOUPS 390202 WITH SCORE 390892.236
AT ITER 216 NEW BEST:: SOT 917399 SOS 690799 HAS SOPS 628702 HAS SOUS 396895 HAS SOUPS 386567 WITH SCORE 387257.799
AT ITER 217 NEW BEST:: SOT 917399 SOS 690799 HAS SOPS 628702 HAS SOUS 396541 HAS SOUPS 386213 WITH SCORE 386903.799
AT ITER 220 NEW BEST:: SOT 917399 SOS 691082 HAS SOPS 630238 HAS SOUS 395548 HAS SOUPS 385345 WITH SCORE 386036.082
AT ITER 224 NEW BEST:: SOT 917399 SOS 691584 HAS SOPS 630850 HAS SOUS 392380 HAS SOUPS 382255 WITH SCORE 382946.584
AT ITER 225 NEW BEST:: SOT 917399 SOS 691218 HAS SOPS 629788 HAS SOUS 391247 HAS SOUPS 381122 WITH SCORE 381813.218
AT ITER 226 NEW BEST:: SOT 917399 SOS 691234 HAS SOPS 629692 HAS SOUS 390776 HAS SOUPS 380651 WITH SCORE 381342.234
AT ITER 227 NEW BEST:: SOT 917399 SOS 691234 HAS SOPS 629692 HAS SOUS 390256 HAS SOUPS 380131 WITH SCORE 380822.234
AT ITER 229 NEW BEST:: SOT 917399 SOS 691007 HAS SOPS 630604 HAS SOUS 389689 HAS SOUPS 379711 WITH SCORE 380402.007
AT ITER 230 NEW BEST:: SOT 917399 SOS 690935 HAS SOPS 630496 HAS SOUS 389527 HAS SOUPS 379549 WITH SCORE 380239.935
AT ITER 232 NEW BEST:: SOT 732856 SOS 508988 HAS SOPS 446067 HAS SOUS 203537 HAS SOUPS 193660 WITH SCORE 194168.988
AT ITER 233 NEW BEST:: SOT 732856 SOS 509029 HAS SOPS 446067 HAS SOUS 203338 HAS SOUPS 193461 WITH SCORE 193970.029
AT ITER 240 NEW BEST:: SOT 732856 SOS 509247 HAS SOPS 446301 HAS SOUS 203277 HAS SOUPS 193400 WITH SCORE 193909.247
AT ITER 244 NEW BEST:: SOT 732856 SOS 509295 HAS SOPS 446661 HAS SOUS 202556 HAS SOUPS 192727 WITH SCORE 193236.295
AT ITER 249 NEW BEST:: SOT 732474 SOS 508717 HAS SOPS 445847 HAS SOUS 202372 HAS SOUPS 192361 WITH SCORE 192869.717
AT ITER 250 NEW BEST:: SOT 733734 SOS 510102 HAS SOPS 448131 HAS SOUS 201362 HAS SOUPS 191436 WITH SCORE 191946.102
AT ITER 251 NEW BEST:: SOT 733734 SOS 510520 HAS SOPS 448131 HAS SOUS 200946 HAS SOUPS 191020 WITH SCORE 191530.52
AT ITER 253 NEW BEST:: SOT 733728 SOS 511097 HAS SOPS 449709 HAS SOUS 200574 HAS SOUPS 190648 WITH SCORE 191159.097
AT ITER 255 NEW BEST:: SOT 733683 SOS 511052 HAS SOPS 449664 HAS SOUS 200223 HAS SOUPS 190297 WITH SCORE 190808.052
AT ITER 256 NEW BEST:: SOT 733615 SOS 510984 HAS SOPS 449596 HAS SOUS 199508 HAS SOUPS 189582 WITH SCORE 190092.984
AT ITER 258 NEW BEST:: SOT 734033 SOS 511720 HAS SOPS 450374 HAS SOUS 198396 HAS SOUPS 188470 WITH SCORE 188981.72
AT ITER 262 NEW BEST:: SOT 734033 SOS 512220 HAS SOPS 452372 HAS SOUS 197403 HAS SOUPS 187583 WITH SCORE 188095.22
AT ITER 264 NEW BEST:: SOT 734132 SOS 512319 HAS SOPS 452471 HAS SOUS 197304 HAS SOUPS 187484 WITH SCORE 187996.319
AT ITER 270 NEW BEST:: SOT 734182 SOS 512314 HAS SOPS 454471 HAS SOUS 194665 HAS SOUPS 185084 WITH SCORE 185596.314
AT ITER 271 NEW BEST:: SOT 734520 SOS 511793 HAS SOPS 453717 HAS SOUS 193480 HAS SOUPS 183899 WITH SCORE 184410.793
AT ITER 277 NEW BEST:: SOT 734520 SOS 510891 HAS SOPS 452385 HAS SOUS 193451 HAS SOUPS 183870 WITH SCORE 184380.891
AT ITER 279 NEW BEST:: SOT 735343 SOS 511714 HAS SOPS 453208 HAS SOUS 193281 HAS SOUPS 183700 WITH SCORE 184211.714
AT ITER 283 NEW BEST:: SOT 735343 SOS 511593 HAS SOPS 453138 HAS SOUS 193248 HAS SOUPS 183667 WITH SCORE 184178.593
AT ITER 284 NEW BEST:: SOT 735343 SOS 512358 HAS SOPS 454752 HAS SOUS 193151 HAS SOUPS 183642 WITH SCORE 184154.358
AT ITER 285 NEW BEST:: SOT 735343 SOS 513428 HAS SOPS 456588 HAS SOUS 192709 HAS SOUPS 183251 WITH SCORE 183764.428
AT ITER 288 NEW BEST:: SOT 735343 SOS 513531 HAS SOPS 456768 HAS SOUS 192693 HAS SOUPS 183240 WITH SCORE 183753.531
AT ITER 289 NEW BEST:: SOT 736576 SOS 514664 HAS SOPS 460011 HAS SOUS 189454 HAS SOUPS 180418 WITH SCORE 180932.664
AT ITER 290 NEW BEST:: SOT 737776 SOS 516318 HAS SOPS 462471 HAS SOUS 188320 HAS SOUPS 179442 WITH SCORE 179958.318
AT ITER 291 NEW BEST:: SOT 737776 SOS 514974 HAS SOPS 462579 HAS SOUS 186678 HAS SOUPS 177961 WITH SCORE 178475.974
AT ITER 293 NEW BEST:: SOT 738836 SOS 514975 HAS SOPS 462109 HAS SOUS 186443 HAS SOUPS 177647 WITH SCORE 178161.975
AT ITER 296 NEW BEST:: SOT 738836 SOS 515136 HAS SOPS 461947 HAS SOUS 186234 HAS SOUPS 177438 WITH SCORE 177953.136
AT ITER 305 NEW BEST:: SOT 738843 SOS 514861 HAS SOPS 461234 HAS SOUS 186190 HAS SOUPS 177231 WITH SCORE 177745.861
AT ITER 308 NEW BEST:: SOT 739039 SOS 515654 HAS SOPS 463146 HAS SOUS 185364 HAS SOUPS 176405 WITH SCORE 176920.654
AT ITER 311 NEW BEST:: SOT 739063 SOS 515678 HAS SOPS 463170 HAS SOUS 184653 HAS SOUPS 175694 WITH SCORE 176209.678
AT ITER 317 NEW BEST:: SOT 739133 SOS 514471 HAS SOPS 462154 HAS SOUS 183388 HAS SOUPS 174488 WITH SCORE 175002.471
AT ITER 327 NEW BEST:: SOT 739133 SOS 515904 HAS SOPS 464314 HAS SOUS 183126 HAS SOUPS 174335 WITH SCORE 174850.904
AT ITER 332 NEW BEST:: SOT 739133 SOS 515210 HAS SOPS 463000 HAS SOUS 182798 HAS SOUPS 174007 WITH SCORE 174522.21
AT ITER 334 NEW BEST:: SOT 739133 SOS 511440 HAS SOPS 457672 HAS SOUS 181952 HAS SOUPS 173140 WITH SCORE 173651.44
AT ITER 335 NEW BEST:: SOT 739133 SOS 511651 HAS SOPS 458890 HAS SOUS 180717 HAS SOUPS 172074 WITH SCORE 172585.651
AT ITER 339 NEW BEST:: SOT 739133 SOS 511684 HAS SOPS 459094 HAS SOUS 180480 HAS SOUPS 171871 WITH SCORE 172382.684
AT ITER 341 NEW BEST:: SOT 739610 SOS 512161 HAS SOPS 459571 HAS SOUS 180363 HAS SOUPS 171754 WITH SCORE 172266.161
AT ITER 343 NEW BEST:: SOT 739610 SOS 512154 HAS SOPS 459319 HAS SOUS 180475 HAS SOUPS 171754 WITH SCORE 172266.154
AT ITER 346 NEW BEST:: SOT 738758 SOS 511302 HAS SOPS 458467 HAS SOUS 179674 HAS SOUPS 170953 WITH SCORE 171464.302
AT ITER 347 NEW BEST:: SOT 739839 SOS 513012 HAS SOPS 463418 HAS SOUS 179292 HAS SOUPS 170819 WITH SCORE 171332.012
AT ITER 353 NEW BEST:: SOT 739839 SOS 513306 HAS SOPS 463418 HAS SOUS 179069 HAS SOUPS 170596 WITH SCORE 171109.306
AT ITER 355 NEW BEST:: SOT 739839 SOS 512815 HAS SOPS 463718 HAS SOUS 178826 HAS SOUPS 170403 WITH SCORE 170915.815
AT ITER 359 NEW BEST:: SOT 740135 SOS 513812 HAS SOPS 466108 HAS SOUS 177183 HAS SOUPS 168925 WITH SCORE 169438.812
AT ITER 366 NEW BEST:: SOT 740031 SOS 513708 HAS SOPS 466004 HAS SOUS 176810 HAS SOUPS 168552 WITH SCORE 169065.708
AT ITER 367 NEW BEST:: SOT 740005 SOS 513682 HAS SOPS 465978 HAS SOUS 176807 HAS SOUPS 168549 WITH SCORE 169062.682
AT ITER 376 NEW BEST:: SOT 739866 SOS 513543 HAS SOPS 465839 HAS SOUS 176794 HAS SOUPS 168536 WITH SCORE 169049.543
AT ITER 377 NEW BEST:: SOT 739866 SOS 513457 HAS SOPS 465599 HAS SOUS 176727 HAS SOUPS 168469 WITH SCORE 168982.457
AT ITER 378 NEW BEST:: SOT 739866 SOS 513991 HAS SOPS 466115 HAS SOUS 176718 HAS SOUPS 168460 WITH SCORE 168973.991
AT ITER 379 NEW BEST:: SOT 739866 SOS 514115 HAS SOPS 466115 HAS SOUS 176161 HAS SOUPS 167903 WITH SCORE 168417.115
AT ITER 381 NEW BEST:: SOT 739172 SOS 513421 HAS SOPS 465421 HAS SOUS 174735 HAS SOUPS 166477 WITH SCORE 166990.421
AT ITER 389 NEW BEST:: SOT 739520 SOS 513721 HAS SOPS 465769 HAS SOUS 174483 HAS SOUPS 166261 WITH SCORE 166774.721
AT ITER 392 NEW BEST:: SOT 739510 SOS 513711 HAS SOPS 465759 HAS SOUS 174476 HAS SOUPS 166254 WITH SCORE 166767.711
AT ITER 394 NEW BEST:: SOT 739600 SOS 514835 HAS SOPS 465849 HAS SOUS 174351 HAS SOUPS 165824 WITH SCORE 166338.835
AT ITER 401 NEW BEST:: SOT 739592 SOS 514767 HAS SOPS 466045 HAS SOUS 173930 HAS SOUPS 165403 WITH SCORE 165917.767
AT ITER 402 NEW BEST:: SOT 739746 SOS 512897 HAS SOPS 464123 HAS SOUS 173002 HAS SOUPS 164519 WITH SCORE 165031.897
AT ITER 404 NEW BEST:: SOT 739746 SOS 514325 HAS SOPS 464501 HAS SOUS 172344 HAS SOUPS 163832 WITH SCORE 164346.325
AT ITER 406 NEW BEST:: SOT 739746 SOS 514052 HAS SOPS 464453 HAS SOUS 171775 HAS SOUPS 163329 WITH SCORE 163843.052
AT ITER 407 NEW BEST:: SOT 739746 SOS 513486 HAS SOPS 463709 HAS SOUS 171724 HAS SOUPS 163278 WITH SCORE 163791.486
AT ITER 413 NEW BEST:: SOT 739638 SOS 513378 HAS SOPS 463601 HAS SOUS 171297 HAS SOUPS 162851 WITH SCORE 163364.378
AT ITER 417 NEW BEST:: SOT 741364 SOS 517052 HAS SOPS 468423 HAS SOUS 170656 HAS SOUPS 162469 WITH SCORE 162986.052
AT ITER 419 NEW BEST:: SOT 741364 SOS 518214 HAS SOPS 470907 HAS SOUS 170528 HAS SOUPS 162410 WITH SCORE 162928.214
AT ITER 435 NEW BEST:: SOT 741320 SOS 518170 HAS SOPS 470863 HAS SOUS 170504 HAS SOUPS 162386 WITH SCORE 162904.17
AT ITER 438 NEW BEST:: SOT 741320 SOS 518483 HAS SOPS 471613 HAS SOUS 169881 HAS SOUPS 161824 WITH SCORE 162342.483
AT ITER 439 NEW BEST:: SOT 741365 SOS 519228 HAS SOPS 472894 HAS SOUS 169772 HAS SOUPS 161727 WITH SCORE 162246.228
AT ITER 444 NEW BEST:: SOT 741365 SOS 518901 HAS SOPS 472894 HAS SOUS 168866 HAS SOUPS 160871 WITH SCORE 161389.901
AT ITER 446 NEW BEST:: SOT 739291 SOS 516862 HAS SOPS 470820 HAS SOUS 168177 HAS SOUPS 160176 WITH SCORE 160692.862
AT ITER 455 NEW BEST:: SOT 739351 SOS 516936 HAS SOPS 471516 HAS SOUS 167858 HAS SOUPS 160070 WITH SCORE 160586.936
AT ITER 456 NEW BEST:: SOT 739351 SOS 516035 HAS SOPS 470622 HAS SOUS 167813 HAS SOUPS 160025 WITH SCORE 160541.035
AT ITER 459 NEW BEST:: SOT 739539 SOS 516072 HAS SOPS 470978 HAS SOUS 166091 HAS SOUPS 158412 WITH SCORE 158928.072
AT ITER 463 NEW BEST:: SOT 739539 SOS 535902 HAS SOPS 470747 HAS SOUS 165261 HAS SOUPS 157582 WITH SCORE 158117.902
AT ITER 468 NEW BEST:: SOT 738930 SOS 534523 HAS SOPS 468614 HAS SOUS 164399 HAS SOUPS 156770 WITH SCORE 157304.523
AT ITER 471 NEW BEST:: SOT 738930 SOS 534523 HAS SOPS 467906 HAS SOUS 164180 HAS SOUPS 156560 WITH SCORE 157094.523
AT ITER 475 NEW BEST:: SOT 739191 SOS 535502 HAS SOPS 468971 HAS SOUS 163838 HAS SOUPS 156159 WITH SCORE 156694.502
AT ITER 478 NEW BEST:: SOT 739191 SOS 535562 HAS SOPS 468971 HAS SOUS 163620 HAS SOUPS 155941 WITH SCORE 156476.562
AT ITER 480 NEW BEST:: SOT 739191 SOS 533641 HAS SOPS 466703 HAS SOUS 163472 HAS SOUPS 155793 WITH SCORE 156326.641
AT ITER 483 NEW BEST:: SOT 739306 SOS 533648 HAS SOPS 466818 HAS SOUS 162948 HAS SOUPS 155269 WITH SCORE 155802.648
AT ITER 487 NEW BEST:: SOT 739306 SOS 533648 HAS SOPS 466818 HAS SOUS 162921 HAS SOUPS 155235 WITH SCORE 155768.648
AT ITER 489 NEW BEST:: SOT 739306 SOS 533656 HAS SOPS 467448 HAS SOUS 162693 HAS SOUPS 155053 WITH SCORE 155586.656
AT ITER 495 NEW BEST:: SOT 739306 SOS 533762 HAS SOPS 467820 HAS SOUS 162540 HAS SOUPS 154900 WITH SCORE 155433.762
AT ITER 499 NEW BEST:: SOT 739296 SOS 533816 HAS SOPS 468746 HAS SOUS 162055 HAS SOUPS 154625 WITH SCORE 155158.816
AT ITER 505 NEW BEST:: SOT 739296 SOS 533810 HAS SOPS 468758 HAS SOUS 162047 HAS SOUPS 154619 WITH SCORE 155152.81
AT ITER 506 NEW BEST:: SOT 739296 SOS 533808 HAS SOPS 468758 HAS SOUS 162042 HAS SOUPS 154614 WITH SCORE 155147.808
AT ITER 507 NEW BEST:: SOT 739296 SOS 534078 HAS SOPS 469298 HAS SOUS 162012 HAS SOUPS 154599 WITH SCORE 155133.078
AT ITER 509 NEW BEST:: SOT 740039 SOS 534821 HAS SOPS 469663 HAS SOUS 161231 HAS SOUPS 153807 WITH SCORE 154341.821
AT ITER 512 NEW BEST:: SOT 739990 SOS 534772 HAS SOPS 469614 HAS SOUS 160223 HAS SOUPS 152821 WITH SCORE 153355.772
AT ITER 513 NEW BEST:: SOT 739990 SOS 535782 HAS SOPS 471438 HAS SOUS 159938 HAS SOUPS 152612 WITH SCORE 153147.782
AT ITER 515 NEW BEST:: SOT 739990 SOS 537502 HAS SOPS 475506 HAS SOUS 159486 HAS SOUPS 152268 WITH SCORE 152805.502
AT ITER 516 NEW BEST:: SOT 740877 SOS 538730 HAS SOPS 478745 HAS SOUS 158729 HAS SOUPS 151511 WITH SCORE 152049.73
AT ITER 520 NEW BEST:: SOT 740877 SOS 538906 HAS SOPS 478745 HAS SOUS 158560 HAS SOUPS 151356 WITH SCORE 151894.906
AT ITER 533 NEW BEST:: SOT 740810 SOS 539005 HAS SOPS 480958 HAS SOUS 156784 HAS SOUPS 149858 WITH SCORE 150397.005
AT ITER 534 NEW BEST:: SOT 740586 SOS 538781 HAS SOPS 480734 HAS SOUS 156768 HAS SOUPS 149842 WITH SCORE 150380.781
AT ITER 535 NEW BEST:: SOT 740586 SOS 536728 HAS SOPS 477746 HAS SOUS 156438 HAS SOUPS 149528 WITH SCORE 150064.728
AT ITER 538 NEW BEST:: SOT 740586 SOS 537138 HAS SOPS 478646 HAS SOUS 156293 HAS SOUPS 149383 WITH SCORE 149920.138
AT ITER 539 NEW BEST:: SOT 740614 SOS 537166 HAS SOPS 478674 HAS SOUS 155184 HAS SOUPS 148312 WITH SCORE 148849.166
AT ITER 543 NEW BEST:: SOT 740638 SOS 537190 HAS SOPS 478410 HAS SOUS 154862 HAS SOUPS 147983 WITH SCORE 148520.19
AT ITER 546 NEW BEST:: SOT 740638 SOS 537056 HAS SOPS 478146 HAS SOUS 154797 HAS SOUPS 147918 WITH SCORE 148455.056
AT ITER 547 NEW BEST:: SOT 740627 SOS 537045 HAS SOPS 478135 HAS SOUS 154577 HAS SOUPS 147698 WITH SCORE 148235.045
AT ITER 548 NEW BEST:: SOT 740627 SOS 538102 HAS SOPS 479917 HAS SOUS 153167 HAS SOUPS 146428 WITH SCORE 146966.102
AT ITER 549 NEW BEST:: SOT 740627 SOS 537728 HAS SOPS 479935 HAS SOUS 152618 HAS SOUPS 145932 WITH SCORE 146469.728
AT ITER 550 NEW BEST:: SOT 740627 SOS 538560 HAS SOPS 480787 HAS SOUS 152584 HAS SOUPS 145876 WITH SCORE 146414.56
AT ITER 552 NEW BEST:: SOT 740627 SOS 540066 HAS SOPS 482695 HAS SOUS 152422 HAS SOUPS 145779 WITH SCORE 146319.066
AT ITER 560 NEW BEST:: SOT 739624 SOS 539063 HAS SOPS 481944 HAS SOUS 151867 HAS SOUPS 145231 WITH SCORE 145770.063
AT ITER 563 NEW BEST:: SOT 739724 SOS 539079 HAS SOPS 482044 HAS SOUS 151427 HAS SOUPS 144841 WITH SCORE 145380.079
AT ITER 564 NEW BEST:: SOT 739724 SOS 539193 HAS SOPS 482692 HAS SOUS 151211 HAS SOUPS 144670 WITH SCORE 145209.193
AT ITER 574 NEW BEST:: SOT 739891 SOS 539360 HAS SOPS 482859 HAS SOUS 151105 HAS SOUPS 144564 WITH SCORE 145103.36
AT ITER 579 NEW BEST:: SOT 739891 SOS 539330 HAS SOPS 482699 HAS SOUS 151049 HAS SOUPS 144508 WITH SCORE 145047.33
AT ITER 581 NEW BEST:: SOT 739891 SOS 541011 HAS SOPS 485495 HAS SOUS 150817 HAS SOUPS 144366 WITH SCORE 144907.011
AT ITER 588 NEW BEST:: SOT 739891 SOS 540993 HAS SOPS 485475 HAS SOUS 150816 HAS SOUPS 144365 WITH SCORE 144905.993
AT ITER 596 NEW BEST:: SOT 739891 SOS 542094 HAS SOPS 487311 HAS SOUS 150480 HAS SOUPS 144080 WITH SCORE 144622.094
AT ITER 597 NEW BEST:: SOT 739922 SOS 542125 HAS SOPS 487342 HAS SOUS 150464 HAS SOUPS 144064 WITH SCORE 144606.125
AT ITER 603 NEW BEST:: SOT 739922 SOS 542125 HAS SOPS 487534 HAS SOUS 150431 HAS SOUPS 144039 WITH SCORE 144581.125
AT ITER 605 NEW BEST:: SOT 739516 SOS 541719 HAS SOPS 487128 HAS SOUS 150072 HAS SOUPS 143680 WITH SCORE 144221.719
AT ITER 606 NEW BEST:: SOT 739333 SOS 541536 HAS SOPS 486945 HAS SOUS 149808 HAS SOUPS 143416 WITH SCORE 143957.536
AT ITER 610 NEW BEST:: SOT 739413 SOS 541616 HAS SOPS 487025 HAS SOUS 149567 HAS SOUPS 143175 WITH SCORE 143716.616
AT ITER 612 NEW BEST:: SOT 738793 SOS 540996 HAS SOPS 486405 HAS SOUS 148864 HAS SOUPS 142472 WITH SCORE 143012.996
AT ITER 618 NEW BEST:: SOT 738975 SOS 541178 HAS SOPS 486587 HAS SOUS 148841 HAS SOUPS 142449 WITH SCORE 142990.178
AT ITER 620 NEW BEST:: SOT 740800 SOS 542932 HAS SOPS 489732 HAS SOUS 148521 HAS SOUPS 142200 WITH SCORE 142742.932
AT ITER 624 NEW BEST:: SOT 740880 SOS 543012 HAS SOPS 489812 HAS SOUS 148116 HAS SOUPS 141795 WITH SCORE 142338.012
AT ITER 625 NEW BEST:: SOT 740628 SOS 542590 HAS SOPS 488432 HAS SOUS 147476 HAS SOUPS 141254 WITH SCORE 141796.59
AT ITER 626 NEW BEST:: SOT 740742 SOS 542704 HAS SOPS 488546 HAS SOUS 147402 HAS SOUPS 141146 WITH SCORE 141688.704
AT ITER 631 NEW BEST:: SOT 740742 SOS 542704 HAS SOPS 488294 HAS SOUS 147220 HAS SOUPS 140964 WITH SCORE 141506.704
AT ITER 632 NEW BEST:: SOT 740742 SOS 543986 HAS SOPS 489398 HAS SOUS 147131 HAS SOUPS 140875 WITH SCORE 141418.986
AT ITER 633 NEW BEST:: SOT 740742 SOS 543990 HAS SOPS 489398 HAS SOUS 147129 HAS SOUPS 140873 WITH SCORE 141416.99
AT ITER 641 NEW BEST:: SOT 740742 SOS 543992 HAS SOPS 489036 HAS SOUS 147119 HAS SOUPS 140828 WITH SCORE 141371.992
AT ITER 643 NEW BEST:: SOT 740742 SOS 543997 HAS SOPS 489162 HAS SOUS 147107 HAS SOUPS 140823 WITH SCORE 141366.997
AT ITER 646 NEW BEST:: SOT 740742 SOS 544377 HAS SOPS 489504 HAS SOUS 147069 HAS SOUPS 140785 WITH SCORE 141329.377
AT ITER 648 NEW BEST:: SOT 740742 SOS 544506 HAS SOPS 488892 HAS SOUS 147008 HAS SOUPS 140714 WITH SCORE 141258.506
AT ITER 649 NEW BEST:: SOT 740710 SOS 544474 HAS SOPS 488860 HAS SOUS 146832 HAS SOUPS 140538 WITH SCORE 141082.474
AT ITER 652 NEW BEST:: SOT 740706 SOS 544470 HAS SOPS 488856 HAS SOUS 146806 HAS SOUPS 140512 WITH SCORE 141056.47
AT ITER 665 NEW BEST:: SOT 740706 SOS 544470 HAS SOPS 488964 HAS SOUS 146704 HAS SOUPS 140430 WITH SCORE 140974.47
AT ITER 668 NEW BEST:: SOT 740680 SOS 544444 HAS SOPS 488938 HAS SOUS 146682 HAS SOUPS 140408 WITH SCORE 140952.444
AT ITER 672 NEW BEST:: SOT 740680 SOS 544393 HAS SOPS 488884 HAS SOUS 146467 HAS SOUPS 140376 WITH SCORE 140920.393
AT ITER 676 NEW BEST:: SOT 740584 SOS 544297 HAS SOPS 488788 HAS SOUS 146421 HAS SOUPS 140330 WITH SCORE 140874.297
AT ITER 677 NEW BEST:: SOT 740584 SOS 544200 HAS SOPS 488842 HAS SOUS 145583 HAS SOUPS 139538 WITH SCORE 140082.2
AT ITER 681 NEW BEST:: SOT 740282 SOS 543898 HAS SOPS 488540 HAS SOUS 145268 HAS SOUPS 139223 WITH SCORE 139766.898
AT ITER 685 NEW BEST:: SOT 740282 SOS 543616 HAS SOPS 488220 HAS SOUS 145249 HAS SOUPS 139204 WITH SCORE 139747.616
AT ITER 689 NEW BEST:: SOT 740282 SOS 543624 HAS SOPS 488220 HAS SOUS 145245 HAS SOUPS 139200 WITH SCORE 139743.624
AT ITER 693 NEW BEST:: SOT 740282 SOS 543534 HAS SOPS 488760 HAS SOUS 145122 HAS SOUPS 139115 WITH SCORE 139658.534
AT ITER 694 NEW BEST:: SOT 740282 SOS 544452 HAS SOPS 491136 HAS SOUS 144226 HAS SOUPS 138314 WITH SCORE 138858.452
AT ITER 701 NEW BEST:: SOT 740282 SOS 545838 HAS SOPS 493200 HAS SOUS 143877 HAS SOUPS 138051 WITH SCORE 138596.838
AT ITER 709 NEW BEST:: SOT 740282 SOS 545685 HAS SOPS 493212 HAS SOUS 143840 HAS SOUPS 138014 WITH SCORE 138559.685
AT ITER 718 NEW BEST:: SOT 740282 SOS 545951 HAS SOPS 495732 HAS SOUS 143573 HAS SOUPS 137773 WITH SCORE 138318.951
AT ITER 723 NEW BEST:: SOT 740282 SOS 545951 HAS SOPS 495732 HAS SOUS 143573 HAS SOUPS 137768 WITH SCORE 138313.951
AT ITER 733 NEW BEST:: SOT 740087 SOS 545756 HAS SOPS 495537 HAS SOUS 143368 HAS SOUPS 137563 WITH SCORE 138108.756
AT ITER 737 NEW BEST:: SOT 740087 SOS 546432 HAS SOPS 496797 HAS SOUS 143262 HAS SOUPS 137496 WITH SCORE 138042.432
AT ITER 738 NEW BEST:: SOT 740087 SOS 547214 HAS SOPS 498633 HAS SOUS 142949 HAS SOUPS 137234 WITH SCORE 137781.214
AT ITER 739 NEW BEST:: SOT 740087 SOS 547134 HAS SOPS 498753 HAS SOUS 142909 HAS SOUPS 137214 WITH SCORE 137761.134
AT ITER 748 NEW BEST:: SOT 740587 SOS 547634 HAS SOPS 498767 HAS SOUS 142810 HAS SOUPS 137096 WITH SCORE 137643.634
AT ITER 755 NEW BEST:: SOT 740587 SOS 547610 HAS SOPS 498743 HAS SOUS 142810 HAS SOUPS 137096 WITH SCORE 137643.61
AT ITER 756 NEW BEST:: SOT 740429 SOS 547452 HAS SOPS 498585 HAS SOUS 142765 HAS SOUPS 137051 WITH SCORE 137598.452
AT ITER 763 NEW BEST:: SOT 740429 SOS 547452 HAS SOPS 498765 HAS SOUS 142735 HAS SOUPS 137026 WITH SCORE 137573.452
AT ITER 768 NEW BEST:: SOT 740429 SOS 547490 HAS SOPS 498765 HAS SOUS 142716 HAS SOUPS 137007 WITH SCORE 137554.49
AT ITER 779 NEW BEST:: SOT 740332 SOS 547393 HAS SOPS 498668 HAS SOUS 142532 HAS SOUPS 136823 WITH SCORE 137370.393
AT ITER 784 NEW BEST:: SOT 740332 SOS 547841 HAS SOPS 500144 HAS SOUS 141833 HAS SOUPS 136233 WITH SCORE 136780.841
AT ITER 787 NEW BEST:: SOT 739960 SOS 547469 HAS SOPS 499772 HAS SOUS 141310 HAS SOUPS 135710 WITH SCORE 136257.469
AT ITER 789 NEW BEST:: SOT 740100 SOS 547648 HAS SOPS 499900 HAS SOUS 140738 HAS SOUPS 135098 WITH SCORE 135645.648
AT ITER 791 NEW BEST:: SOT 740779 SOS 548327 HAS SOPS 502847 HAS SOUS 140490 HAS SOUPS 135011 WITH SCORE 135559.327
AT ITER 793 NEW BEST:: SOT 740793 SOS 548341 HAS SOPS 502861 HAS SOUS 140488 HAS SOUPS 135009 WITH SCORE 135557.341
AT ITER 799 NEW BEST:: SOT 740793 SOS 548983 HAS SOPS 503509 HAS SOUS 140455 HAS SOUPS 134976 WITH SCORE 135524.983
AT ITER 806 NEW BEST:: SOT 740415 SOS 548605 HAS SOPS 503131 HAS SOUS 140093 HAS SOUPS 134627 WITH SCORE 135175.605
AT ITER 807 NEW BEST:: SOT 740415 SOS 548589 HAS SOPS 503131 HAS SOUS 140105 HAS SOUPS 134519 WITH SCORE 135067.589
AT ITER 814 NEW BEST:: SOT 740415 SOS 549230 HAS SOPS 504013 HAS SOUS 139943 HAS SOUPS 134336 WITH SCORE 134885.23
AT ITER 815 NEW BEST:: SOT 740415 SOS 549230 HAS SOPS 504049 HAS SOUS 139939 HAS SOUPS 134333 WITH SCORE 134882.23
AT ITER 824 NEW BEST:: SOT 740415 SOS 548380 HAS SOPS 504283 HAS SOUS 139667 HAS SOUPS 134135 WITH SCORE 134683.38
AT ITER 833 NEW BEST:: SOT 740415 SOS 548470 HAS SOPS 504363 HAS SOUS 139573 HAS SOUPS 134041 WITH SCORE 134589.47
AT ITER 856 NEW BEST:: SOT 740431 SOS 548450 HAS SOPS 504817 HAS SOUS 138320 HAS SOUPS 133083 WITH SCORE 133631.45
AT ITER 861 NEW BEST:: SOT 740431 SOS 548990 HAS SOPS 506047 HAS SOUS 137734 HAS SOUPS 132587 WITH SCORE 133135.99
AT ITER 863 NEW BEST:: SOT 740431 SOS 549005 HAS SOPS 506137 HAS SOUS 137719 HAS SOUPS 132577 WITH SCORE 133126.005
AT ITER 865 NEW BEST:: SOT 740431 SOS 547219 HAS SOPS 504865 HAS SOUS 137703 HAS SOUPS 132561 WITH SCORE 133108.219
AT ITER 868 NEW BEST:: SOT 740431 SOS 547793 HAS SOPS 505837 HAS SOUS 137423 HAS SOUPS 132398 WITH SCORE 132945.793
AT ITER 876 NEW BEST:: SOT 741221 SOS 548583 HAS SOPS 508139 HAS SOUS 136865 HAS SOUPS 131959 WITH SCORE 132507.583
AT ITER 877 NEW BEST:: SOT 715189 SOS 651517 HAS SOPS 650911 HAS SOUS 110868 HAS SOUPS 110732 WITH SCORE 111383.517
AT ITER 878 NEW BEST:: SOT 715189 SOS 651517 HAS SOPS 650911 HAS SOUS 110832 HAS SOUPS 110696 WITH SCORE 111347.517
AT ITER 895 NEW BEST:: SOT 715189 SOS 651517 HAS SOPS 650911 HAS SOUS 110580 HAS SOUPS 110444 WITH SCORE 111095.517
AT ITER 899 NEW BEST:: SOT 715219 SOS 651547 HAS SOPS 650941 HAS SOUS 110425 HAS SOUPS 110289 WITH SCORE 110940.547
AT ITER 900 NEW BEST:: SOT 714587 SOS 650915 HAS SOPS 650309 HAS SOUS 110225 HAS SOUPS 110089 WITH SCORE 110739.915
AT ITER 902 NEW BEST:: SOT 714527 SOS 650855 HAS SOPS 650249 HAS SOUS 110033 HAS SOUPS 109897 WITH SCORE 110547.855
AT ITER 904 NEW BEST:: SOT 714527 SOS 650855 HAS SOPS 650249 HAS SOUS 110014 HAS SOUPS 109878 WITH SCORE 110528.855
AT ITER 905 NEW BEST:: SOT 714527 SOS 650435 HAS SOPS 649829 HAS SOUS 110010 HAS SOUPS 109874 WITH SCORE 110524.435
AT ITER 906 NEW BEST:: SOT 714527 SOS 650435 HAS SOPS 649829 HAS SOUS 109891 HAS SOUPS 109755 WITH SCORE 110405.435
AT ITER 912 NEW BEST:: SOT 714472 SOS 650380 HAS SOPS 649774 HAS SOUS 109857 HAS SOUPS 109721 WITH SCORE 110371.38
AT ITER 924 NEW BEST:: SOT 714472 SOS 650448 HAS SOPS 649870 HAS SOUS 109718 HAS SOUPS 109586 WITH SCORE 110236.448
AT ITER 926 NEW BEST:: SOT 714676 SOS 650652 HAS SOPS 650074 HAS SOUS 109381 HAS SOUPS 109249 WITH SCORE 109899.652
AT ITER 933 NEW BEST:: SOT 713107 SOS 649083 HAS SOPS 648505 HAS SOUS 109288 HAS SOUPS 109156 WITH SCORE 109805.083
AT ITER 950 NEW BEST:: SOT 712843 SOS 648819 HAS SOPS 648241 HAS SOUS 109113 HAS SOUPS 108981 WITH SCORE 109629.819
AT ITER 951 NEW BEST:: SOT 712877 SOS 648853 HAS SOPS 648275 HAS SOUS 108791 HAS SOUPS 108659 WITH SCORE 109307.853
AT ITER 956 NEW BEST:: SOT 712877 SOS 648973 HAS SOPS 648545 HAS SOUS 108561 HAS SOUPS 108439 WITH SCORE 109087.973
AT ITER 961 NEW BEST:: SOT 712833 SOS 648929 HAS SOPS 648501 HAS SOUS 108503 HAS SOUPS 108381 WITH SCORE 109029.929
AT ITER 962 NEW BEST:: SOT 712320 SOS 648416 HAS SOPS 647988 HAS SOUS 108356 HAS SOUPS 108234 WITH SCORE 108882.416
AT ITER 968 NEW BEST:: SOT 712320 SOS 648396 HAS SOPS 647968 HAS SOUS 108356 HAS SOUPS 108234 WITH SCORE 108882.396
AT ITER 972 NEW BEST:: SOT 712274 SOS 648350 HAS SOPS 647922 HAS SOUS 108356 HAS SOUPS 108234 WITH SCORE 108882.35
AT ITER 974 NEW BEST:: SOT 713161 SOS 649237 HAS SOPS 648809 HAS SOUS 107930 HAS SOUPS 107808 WITH SCORE 108457.237
AT ITER 980 NEW BEST:: SOT 713161 SOS 649255 HAS SOPS 649025 HAS SOUS 107894 HAS SOUPS 107784 WITH SCORE 108433.255
AT ITER 983 NEW BEST:: SOT 713316 SOS 649410 HAS SOPS 649180 HAS SOUS 107869 HAS SOUPS 107759 WITH SCORE 108408.41
AT ITER 985 NEW BEST:: SOT 713316 SOS 649410 HAS SOPS 649180 HAS SOUS 107806 HAS SOUPS 107696 WITH SCORE 108345.41
AT ITER 993 NEW BEST:: SOT 713284 SOS 649378 HAS SOPS 649148 HAS SOUS 107724 HAS SOUPS 107614 WITH SCORE 108263.378
AT ITER 996 NEW BEST:: SOT 713372 SOS 649466 HAS SOPS 649236 HAS SOUS 107614 HAS SOUPS 107504 WITH SCORE 108153.466
AT ITER 997 NEW BEST:: SOT 713624 SOS 649718 HAS SOPS 649488 HAS SOUS 107239 HAS SOUPS 107129 WITH SCORE 107778.718
AT ITER 1010 NEW BEST:: SOT 713372 SOS 649466 HAS SOPS 649236 HAS SOUS 107062 HAS SOUPS 106952 WITH SCORE 107601.466
AT ITER 1017 NEW BEST:: SOT 713372 SOS 649466 HAS SOPS 649236 HAS SOUS 106635 HAS SOUPS 106525 WITH SCORE 107174.466
AT ITER 1018 NEW BEST:: SOT 713268 SOS 649362 HAS SOPS 649132 HAS SOUS 106427 HAS SOUPS 106317 WITH SCORE 106966.362
AT ITER 1020 NEW BEST:: SOT 712846 SOS 648940 HAS SOPS 648710 HAS SOUS 105716 HAS SOUPS 105606 WITH SCORE 106254.94
AT ITER 1022 NEW BEST:: SOT 712846 SOS 648940 HAS SOPS 648710 HAS SOUS 105703 HAS SOUPS 105593 WITH SCORE 106241.94
AT ITER 1023 NEW BEST:: SOT 712927 SOS 649021 HAS SOPS 648791 HAS SOUS 105660 HAS SOUPS 105550 WITH SCORE 106199.021
AT ITER 1024 NEW BEST:: SOT 712927 SOS 649021 HAS SOPS 648791 HAS SOUS 105655 HAS SOUPS 105545 WITH SCORE 106194.021
AT ITER 1033 NEW BEST:: SOT 709684 SOS 645778 HAS SOPS 645590 HAS SOUS 102236 HAS SOUPS 102168 WITH SCORE 102813.778
AT ITER 1034 NEW BEST:: SOT 709130 SOS 645224 HAS SOPS 645036 HAS SOUS 102159 HAS SOUPS 102091 WITH SCORE 102736.224
AT ITER 1036 NEW BEST:: SOT 709169 SOS 645263 HAS SOPS 645075 HAS SOUS 101970 HAS SOUPS 101902 WITH SCORE 102547.263
AT ITER 1038 NEW BEST:: SOT 709169 SOS 645299 HAS SOPS 645111 HAS SOUS 101963 HAS SOUPS 101895 WITH SCORE 102540.299
AT ITER 1054 NEW BEST:: SOT 708977 SOS 645107 HAS SOPS 644919 HAS SOUS 101854 HAS SOUPS 101786 WITH SCORE 102431.107
AT ITER 1056 NEW BEST:: SOT 709271 SOS 645401 HAS SOPS 645213 HAS SOUS 101638 HAS SOUPS 101570 WITH SCORE 102215.401
AT ITER 1060 NEW BEST:: SOT 709429 SOS 645559 HAS SOPS 645371 HAS SOUS 101582 HAS SOUPS 101514 WITH SCORE 102159.559
AT ITER 1065 NEW BEST:: SOT 709045 SOS 645175 HAS SOPS 644987 HAS SOUS 101580 HAS SOUPS 101512 WITH SCORE 102157.175
AT ITER 1070 NEW BEST:: SOT 709045 SOS 644911 HAS SOPS 644723 HAS SOUS 101580 HAS SOUPS 101512 WITH SCORE 102156.911
AT ITER 1073 NEW BEST:: SOT 709051 SOS 644917 HAS SOPS 644729 HAS SOUS 101523 HAS SOUPS 101455 WITH SCORE 102099.917
AT ITER 1076 NEW BEST:: SOT 709025 SOS 644891 HAS SOPS 644703 HAS SOUS 101478 HAS SOUPS 101410 WITH SCORE 102054.891
AT ITER 1081 NEW BEST:: SOT 708867 SOS 644733 HAS SOPS 644545 HAS SOUS 101115 HAS SOUPS 101047 WITH SCORE 101691.733
AT ITER 1082 NEW BEST:: SOT 708683 SOS 644549 HAS SOPS 644361 HAS SOUS 100899 HAS SOUPS 100831 WITH SCORE 101475.549
AT ITER 1086 NEW BEST:: SOT 708681 SOS 644547 HAS SOPS 644359 HAS SOUS 100895 HAS SOUPS 100827 WITH SCORE 101471.547
AT ITER 1087 NEW BEST:: SOT 708696 SOS 644562 HAS SOPS 644374 HAS SOUS 100806 HAS SOUPS 100738 WITH SCORE 101382.562
AT ITER 1099 NEW BEST:: SOT 708660 SOS 644526 HAS SOPS 644338 HAS SOUS 100805 HAS SOUPS 100737 WITH SCORE 101381.526
AT ITER 1100 NEW BEST:: SOT 708041 SOS 643907 HAS SOPS 643719 HAS SOUS 100782 HAS SOUPS 100714 WITH SCORE 101357.907
AT ITER 1101 NEW BEST:: SOT 707393 SOS 643259 HAS SOPS 643071 HAS SOUS 99826 HAS SOUPS 99758 WITH SCORE 100401.259
AT ITER 1104 NEW BEST:: SOT 707423 SOS 643289 HAS SOPS 643101 HAS SOUS 99753 HAS SOUPS 99685 WITH SCORE 100328.289
AT ITER 1110 NEW BEST:: SOT 707405 SOS 643271 HAS SOPS 643083 HAS SOUS 99689 HAS SOUPS 99621 WITH SCORE 100264.271
AT ITER 1111 NEW BEST:: SOT 707285 SOS 643151 HAS SOPS 642963 HAS SOUS 99423 HAS SOUPS 99355 WITH SCORE 99998.151
AT ITER 1112 NEW BEST:: SOT 707285 SOS 643151 HAS SOPS 642963 HAS SOUS 99419 HAS SOUPS 99351 WITH SCORE 99994.151
AT ITER 1117 NEW BEST:: SOT 707435 SOS 643301 HAS SOPS 643113 HAS SOUS 99350 HAS SOUPS 99282 WITH SCORE 99925.301
AT ITER 1119 NEW BEST:: SOT 708119 SOS 644008 HAS SOPS 643953 HAS SOUS 99069 HAS SOUPS 99014 WITH SCORE 99658.008
AT ITER 1124 NEW BEST:: SOT 708119 SOS 644008 HAS SOPS 643953 HAS SOUS 99019 HAS SOUPS 98964 WITH SCORE 99608.008
AT ITER 1129 NEW BEST:: SOT 708027 SOS 643916 HAS SOPS 643861 HAS SOUS 98805 HAS SOUPS 98750 WITH SCORE 99393.916
AT ITER 1131 NEW BEST:: SOT 707094 SOS 642983 HAS SOPS 642928 HAS SOUS 98192 HAS SOUPS 98137 WITH SCORE 98779.983
AT ITER 1141 NEW BEST:: SOT 706976 SOS 642865 HAS SOPS 642810 HAS SOUS 98159 HAS SOUPS 98104 WITH SCORE 98746.865
AT ITER 1143 NEW BEST:: SOT 705757 SOS 641646 HAS SOPS 641591 HAS SOUS 97806 HAS SOUPS 97751 WITH SCORE 98392.646
AT ITER 1154 NEW BEST:: SOT 704671 SOS 640560 HAS SOPS 640505 HAS SOUS 97725 HAS SOUPS 97670 WITH SCORE 98310.56
AT ITER 1157 NEW BEST:: SOT 705593 SOS 641482 HAS SOPS 641427 HAS SOUS 97409 HAS SOUPS 97354 WITH SCORE 97995.482
AT ITER 1158 NEW BEST:: SOT 706298 SOS 642187 HAS SOPS 642132 HAS SOUS 97070 HAS SOUPS 97015 WITH SCORE 97657.187
AT ITER 1163 NEW BEST:: SOT 704772 SOS 640661 HAS SOPS 640606 HAS SOUS 96753 HAS SOUPS 96698 WITH SCORE 97338.661
AT ITER 1168 NEW BEST:: SOT 704262 SOS 652720 HAS SOPS 639976 HAS SOUS 96195 HAS SOUPS 96190 WITH SCORE 96842.72
AT ITER 1174 NEW BEST:: SOT 703305 SOS 651763 HAS SOPS 639019 HAS SOUS 96062 HAS SOUPS 96057 WITH SCORE 96708.763
AT ITER 1189 NEW BEST:: SOT 703305 SOS 651763 HAS SOPS 638971 HAS SOUS 96036 HAS SOUPS 96031 WITH SCORE 96682.763
AT ITER 1192 NEW BEST:: SOT 703305 SOS 651763 HAS SOPS 638971 HAS SOUS 96009 HAS SOUPS 96004 WITH SCORE 96655.763
AT ITER 1202 NEW BEST:: SOT 702608 SOS 651066 HAS SOPS 638274 HAS SOUS 95936 HAS SOUPS 95931 WITH SCORE 96582.066
AT ITER 1205 NEW BEST:: SOT 702771 SOS 651229 HAS SOPS 638437 HAS SOUS 95768 HAS SOUPS 95763 WITH SCORE 96414.229
AT ITER 1206 NEW BEST:: SOT 704126 SOS 652584 HAS SOPS 639792 HAS SOUS 95009 HAS SOUPS 95004 WITH SCORE 95656.584
AT ITER 1208 NEW BEST:: SOT 704104 SOS 652562 HAS SOPS 639770 HAS SOUS 94928 HAS SOUPS 94923 WITH SCORE 95575.562
AT ITER 1219 NEW BEST:: SOT 703644 SOS 652102 HAS SOPS 639310 HAS SOUS 94497 HAS SOUPS 94492 WITH SCORE 95144.102
AT ITER 1220 NEW BEST:: SOT 703632 SOS 652090 HAS SOPS 639298 HAS SOUS 94447 HAS SOUPS 94442 WITH SCORE 95094.09
AT ITER 1225 NEW BEST:: SOT 702898 SOS 651356 HAS SOPS 638564 HAS SOUS 94349 HAS SOUPS 94344 WITH SCORE 94995.356
AT ITER 1230 NEW BEST:: SOT 702780 SOS 651238 HAS SOPS 638446 HAS SOUS 94224 HAS SOUPS 94219 WITH SCORE 94870.238
AT ITER 1252 NEW BEST:: SOT 702780 SOS 651238 HAS SOPS 638446 HAS SOUS 94211 HAS SOUPS 94206 WITH SCORE 94857.238
AT ITER 1264 NEW BEST:: SOT 703672 SOS 652130 HAS SOPS 639338 HAS SOUS 94178 HAS SOUPS 94173 WITH SCORE 94825.13
AT ITER 1302 NEW BEST:: SOT 703676 SOS 652134 HAS SOPS 639342 HAS SOUS 94078 HAS SOUPS 94073 WITH SCORE 94725.134
AT ITER 1309 NEW BEST:: SOT 703581 SOS 652039 HAS SOPS 639247 HAS SOUS 94073 HAS SOUPS 94068 WITH SCORE 94720.039
AT ITER 1310 NEW BEST:: SOT 703423 SOS 651881 HAS SOPS 639089 HAS SOUS 93308 HAS SOUPS 93303 WITH SCORE 93954.881
AT ITER 1317 NEW BEST:: SOT 703363 SOS 651821 HAS SOPS 639029 HAS SOUS 93297 HAS SOUPS 93292 WITH SCORE 93943.821
AT ITER 1331 NEW BEST:: SOT 703363 SOS 651821 HAS SOPS 639029 HAS SOUS 93206 HAS SOUPS 93201 WITH SCORE 93852.821
AT ITER 1335 NEW BEST:: SOT 703376 SOS 651834 HAS SOPS 639042 HAS SOUS 93105 HAS SOUPS 93100 WITH SCORE 93751.834
AT ITER 1340 NEW BEST:: SOT 703647 SOS 652105 HAS SOPS 639313 HAS SOUS 92532 HAS SOUPS 92527 WITH SCORE 93179.105
AT ITER 1347 NEW BEST:: SOT 703636 SOS 652094 HAS SOPS 639302 HAS SOUS 92458 HAS SOUPS 92453 WITH SCORE 93105.094
AT ITER 1355 NEW BEST:: SOT 703229 SOS 651687 HAS SOPS 638895 HAS SOUS 92289 HAS SOUPS 92284 WITH SCORE 92935.687
AT ITER 1359 NEW BEST:: SOT 703273 SOS 651731 HAS SOPS 638939 HAS SOUS 92276 HAS SOUPS 92271 WITH SCORE 92922.731
AT ITER 1360 NEW BEST:: SOT 700836 SOS 649294 HAS SOPS 636502 HAS SOUS 92049 HAS SOUPS 92044 WITH SCORE 92693.294
AT ITER 1361 NEW BEST:: SOT 700684 SOS 649142 HAS SOPS 636350 HAS SOUS 91982 HAS SOUPS 91977 WITH SCORE 92626.142
AT ITER 1370 NEW BEST:: SOT 700528 SOS 648986 HAS SOPS 636194 HAS SOUS 91764 HAS SOUPS 91759 WITH SCORE 92407.986
AT ITER 1372 NEW BEST:: SOT 700528 SOS 648986 HAS SOPS 636194 HAS SOUS 91759 HAS SOUPS 91754 WITH SCORE 92402.986
AT ITER 1380 NEW BEST:: SOT 700718 SOS 649176 HAS SOPS 636384 HAS SOUS 91675 HAS SOUPS 91670 WITH SCORE 92319.176
AT ITER 1389 NEW BEST:: SOT 700640 SOS 649098 HAS SOPS 636306 HAS SOUS 91648 HAS SOUPS 91643 WITH SCORE 92292.098
AT ITER 1390 NEW BEST:: SOT 700485 SOS 648943 HAS SOPS 636151 HAS SOUS 91315 HAS SOUPS 91310 WITH SCORE 91958.943
AT ITER 1391 NEW BEST:: SOT 700485 SOS 648943 HAS SOPS 636151 HAS SOUS 91312 HAS SOUPS 91307 WITH SCORE 91955.943
AT ITER 1394 NEW BEST:: SOT 700449 SOS 648907 HAS SOPS 636115 HAS SOUS 91261 HAS SOUPS 91256 WITH SCORE 91904.907
AT ITER 1423 NEW BEST:: SOT 700449 SOS 648907 HAS SOPS 636115 HAS SOUS 91257 HAS SOUPS 91252 WITH SCORE 91900.907
AT ITER 1426 NEW BEST:: SOT 700449 SOS 648883 HAS SOPS 636031 HAS SOUS 91168 HAS SOUPS 91163 WITH SCORE 91811.883
AT ITER 1445 NEW BEST:: SOT 700543 SOS 648977 HAS SOPS 636125 HAS SOUS 91158 HAS SOUPS 91153 WITH SCORE 91801.977
AT ITER 1451 NEW BEST:: SOT 700755 SOS 649189 HAS SOPS 636337 HAS SOUS 91045 HAS SOUPS 91040 WITH SCORE 91689.189
AT ITER 1457 NEW BEST:: SOT 700755 SOS 649189 HAS SOPS 636337 HAS SOUS 91024 HAS SOUPS 91019 WITH SCORE 91668.189
AT ITER 1465 NEW BEST:: SOT 700143 SOS 648577 HAS SOPS 635725 HAS SOUS 90987 HAS SOUPS 90982 WITH SCORE 91630.577
AT ITER 1467 NEW BEST:: SOT 700143 SOS 648577 HAS SOPS 635725 HAS SOUS 90985 HAS SOUPS 90980 WITH SCORE 91628.577
AT ITER 1471 NEW BEST:: SOT 700155 SOS 648589 HAS SOPS 635737 HAS SOUS 90969 HAS SOUPS 90964 WITH SCORE 91612.589
AT ITER 1482 NEW BEST:: SOT 699074 SOS 647508 HAS SOPS 634656 HAS SOUS 90667 HAS SOUPS 90662 WITH SCORE 91309.508
AT ITER 1491 NEW BEST:: SOT 699280 SOS 647714 HAS SOPS 634862 HAS SOUS 90353 HAS SOUPS 90348 WITH SCORE 90995.714
AT ITER 1493 NEW BEST:: SOT 699283 SOS 647717 HAS SOPS 634865 HAS SOUS 90352 HAS SOUPS 90347 WITH SCORE 90994.717
AT ITER 1496 NEW BEST:: SOT 699283 SOS 647729 HAS SOPS 634937 HAS SOUS 90232 HAS SOUPS 90227 WITH SCORE 90874.729
AT ITER 1517 NEW BEST:: SOT 699135 SOS 647581 HAS SOPS 634789 HAS SOUS 90119 HAS SOUPS 90114 WITH SCORE 90761.581
AT ITER 1524 NEW BEST:: SOT 698574 SOS 647020 HAS SOPS 634228 HAS SOUS 89749 HAS SOUPS 89744 WITH SCORE 90391.02
AT ITER 1526 NEW BEST:: SOT 696953 SOS 645399 HAS SOPS 632607 HAS SOUS 89182 HAS SOUPS 89177 WITH SCORE 89822.399
AT ITER 1528 NEW BEST:: SOT 696929 SOS 645375 HAS SOPS 632583 HAS SOUS 89143 HAS SOUPS 89138 WITH SCORE 89783.375
AT ITER 1529 NEW BEST:: SOT 697823 SOS 646269 HAS SOPS 633477 HAS SOUS 88728 HAS SOUPS 88723 WITH SCORE 89369.269
AT ITER 1531 NEW BEST:: SOT 697783 SOS 646229 HAS SOPS 633437 HAS SOUS 88680 HAS SOUPS 88675 WITH SCORE 89321.229
AT ITER 1536 NEW BEST:: SOT 697022 SOS 645468 HAS SOPS 632678 HAS SOUS 88557 HAS SOUPS 88551 WITH SCORE 89196.468
AT ITER 1546 NEW BEST:: SOT 696992 SOS 645438 HAS SOPS 632648 HAS SOUS 88527 HAS SOUPS 88521 WITH SCORE 89166.438
AT ITER 1547 NEW BEST:: SOT 696832 SOS 645278 HAS SOPS 632488 HAS SOUS 88399 HAS SOUPS 88393 WITH SCORE 89038.278
AT ITER 1558 NEW BEST:: SOT 696832 SOS 645278 HAS SOPS 632488 HAS SOUS 88132 HAS SOUPS 88126 WITH SCORE 88771.278
AT ITER 1559 NEW BEST:: SOT 696188 SOS 644634 HAS SOPS 631844 HAS SOUS 88111 HAS SOUPS 88105 WITH SCORE 88749.634
AT ITER 1563 NEW BEST:: SOT 696239 SOS 644685 HAS SOPS 631895 HAS SOUS 88097 HAS SOUPS 88091 WITH SCORE 88735.685
AT ITER 1567 NEW BEST:: SOT 696159 SOS 644605 HAS SOPS 631815 HAS SOUS 88073 HAS SOUPS 88067 WITH SCORE 88711.605
AT ITER 1568 NEW BEST:: SOT 696080 SOS 644526 HAS SOPS 631736 HAS SOUS 87905 HAS SOUPS 87899 WITH SCORE 88543.526
AT ITER 1570 NEW BEST:: SOT 696094 SOS 644540 HAS SOPS 631750 HAS SOUS 87824 HAS SOUPS 87818 WITH SCORE 88462.54
AT ITER 1580 NEW BEST:: SOT 695889 SOS 644335 HAS SOPS 631545 HAS SOUS 87570 HAS SOUPS 87564 WITH SCORE 88208.335
AT ITER 1592 NEW BEST:: SOT 696063 SOS 644509 HAS SOPS 631719 HAS SOUS 87554 HAS SOUPS 87548 WITH SCORE 88192.509
AT ITER 1593 NEW BEST:: SOT 696065 SOS 644511 HAS SOPS 631721 HAS SOUS 87546 HAS SOUPS 87540 WITH SCORE 88184.511
AT ITER 1595 NEW BEST:: SOT 695963 SOS 644409 HAS SOPS 631619 HAS SOUS 87495 HAS SOUPS 87489 WITH SCORE 88133.409
AT ITER 1596 NEW BEST:: SOT 695627 SOS 644073 HAS SOPS 631283 HAS SOUS 87451 HAS SOUPS 87445 WITH SCORE 88089.073
AT ITER 1606 NEW BEST:: SOT 695599 SOS 644045 HAS SOPS 631255 HAS SOUS 87444 HAS SOUPS 87438 WITH SCORE 88082.045
AT ITER 1608 NEW BEST:: SOT 695501 SOS 643947 HAS SOPS 631157 HAS SOUS 87375 HAS SOUPS 87369 WITH SCORE 88012.947
AT ITER 1609 NEW BEST:: SOT 695549 SOS 643995 HAS SOPS 631205 HAS SOUS 87256 HAS SOUPS 87250 WITH SCORE 87893.995
AT ITER 1612 NEW BEST:: SOT 695445 SOS 643891 HAS SOPS 631101 HAS SOUS 87224 HAS SOUPS 87218 WITH SCORE 87861.891
AT ITER 1614 NEW BEST:: SOT 695396 SOS 643842 HAS SOPS 631052 HAS SOUS 87224 HAS SOUPS 87218 WITH SCORE 87861.842
AT ITER 1624 NEW BEST:: SOT 695115 SOS 643561 HAS SOPS 630771 HAS SOUS 87207 HAS SOUPS 87201 WITH SCORE 87844.561
AT ITER 1625 NEW BEST:: SOT 695213 SOS 643659 HAS SOPS 630869 HAS SOUS 87188 HAS SOUPS 87182 WITH SCORE 87825.659
AT ITER 1632 NEW BEST:: SOT 695256 SOS 643702 HAS SOPS 630912 HAS SOUS 87154 HAS SOUPS 87148 WITH SCORE 87791.702
AT ITER 1642 NEW BEST:: SOT 695302 SOS 643748 HAS SOPS 630958 HAS SOUS 87144 HAS SOUPS 87138 WITH SCORE 87781.748
AT ITER 1649 NEW BEST:: SOT 695703 SOS 644149 HAS SOPS 631359 HAS SOUS 87033 HAS SOUPS 87027 WITH SCORE 87671.149
AT ITER 1650 NEW BEST:: SOT 695389 SOS 643835 HAS SOPS 631045 HAS SOUS 86849 HAS SOUPS 86843 WITH SCORE 87486.835
AT ITER 1657 NEW BEST:: SOT 695389 SOS 643815 HAS SOPS 631025 HAS SOUS 86849 HAS SOUPS 86843 WITH SCORE 87486.815
AT ITER 1669 NEW BEST:: SOT 695449 SOS 643875 HAS SOPS 631085 HAS SOUS 86846 HAS SOUPS 86840 WITH SCORE 87483.875
AT ITER 1672 NEW BEST:: SOT 695461 SOS 643887 HAS SOPS 631097 HAS SOUS 86840 HAS SOUPS 86834 WITH SCORE 87477.887
AT ITER 1675 NEW BEST:: SOT 695447 SOS 643873 HAS SOPS 631083 HAS SOUS 86820 HAS SOUPS 86814 WITH SCORE 87457.873
AT ITER 1677 NEW BEST:: SOT 695641 SOS 644067 HAS SOPS 631277 HAS SOUS 86593 HAS SOUPS 86587 WITH SCORE 87231.067
AT ITER 1689 NEW BEST:: SOT 695713 SOS 644139 HAS SOPS 631349 HAS SOUS 86586 HAS SOUPS 86580 WITH SCORE 87224.139
AT ITER 1690 NEW BEST:: SOT 695728 SOS 644154 HAS SOPS 631364 HAS SOUS 86556 HAS SOUPS 86550 WITH SCORE 87194.154
AT ITER 1703 NEW BEST:: SOT 695521 SOS 643947 HAS SOPS 631157 HAS SOUS 86334 HAS SOUPS 86328 WITH SCORE 86971.947
AT ITER 1706 NEW BEST:: SOT 695521 SOS 643851 HAS SOPS 631061 HAS SOUS 86334 HAS SOUPS 86328 WITH SCORE 86971.851
AT ITER 1720 NEW BEST:: SOT 695611 SOS 643941 HAS SOPS 631151 HAS SOUS 86244 HAS SOUPS 86238 WITH SCORE 86881.941
AT ITER 1730 NEW BEST:: SOT 695616 SOS 643946 HAS SOPS 631156 HAS SOUS 86226 HAS SOUPS 86220 WITH SCORE 86863.946
AT ITER 1737 NEW BEST:: SOT 694980 SOS 643310 HAS SOPS 630520 HAS SOUS 85981 HAS SOUPS 85975 WITH SCORE 86618.31
AT ITER 1740 NEW BEST:: SOT 694800 SOS 643130 HAS SOPS 630340 HAS SOUS 85864 HAS SOUPS 85858 WITH SCORE 86501.13
AT ITER 1767 NEW BEST:: SOT 694708 SOS 643038 HAS SOPS 630248 HAS SOUS 85852 HAS SOUPS 85846 WITH SCORE 86489.038
AT ITER 1775 NEW BEST:: SOT 694708 SOS 642918 HAS SOPS 630068 HAS SOUS 85852 HAS SOUPS 85846 WITH SCORE 86488.918
AT ITER 1800 NEW BEST:: SOT 694708 SOS 642898 HAS SOPS 630048 HAS SOUS 85852 HAS SOUPS 85846 WITH SCORE 86488.898
AT ITER 1813 NEW BEST:: SOT 694708 SOS 643114 HAS SOPS 630324 HAS SOUS 85843 HAS SOUPS 85837 WITH SCORE 86480.114
AT ITER 1848 NEW BEST:: SOT 695923 SOS 644329 HAS SOPS 631539 HAS SOUS 85716 HAS SOUPS 85710 WITH SCORE 86354.329
AT ITER 1860 NEW BEST:: SOT 696843 SOS 645249 HAS SOPS 632459 HAS SOUS 85580 HAS SOUPS 85574 WITH SCORE 86219.249
AT ITER 1868 NEW BEST:: SOT 696427 SOS 644833 HAS SOPS 632043 HAS SOUS 85518 HAS SOUPS 85512 WITH SCORE 86156.833
AT ITER 1898 NEW BEST:: SOT 696427 SOS 644817 HAS SOPS 631987 HAS SOUS 85518 HAS SOUPS 85512 WITH SCORE 86156.817
AT ITER 1902 NEW BEST:: SOT 696527 SOS 644917 HAS SOPS 632087 HAS SOUS 85360 HAS SOUPS 85354 WITH SCORE 85998.917
AT ITER 1904 NEW BEST:: SOT 696221 SOS 644611 HAS SOPS 631781 HAS SOUS 85203 HAS SOUPS 85197 WITH SCORE 85841.611
AT ITER 1915 NEW BEST:: SOT 695591 SOS 643981 HAS SOPS 631151 HAS SOUS 84874 HAS SOUPS 84868 WITH SCORE 85511.981
AT ITER 1923 NEW BEST:: SOT 695596 SOS 643986 HAS SOPS 631156 HAS SOUS 84804 HAS SOUPS 84798 WITH SCORE 85441.986
AT ITER 1940 NEW BEST:: SOT 695602 SOS 643992 HAS SOPS 631162 HAS SOUS 84739 HAS SOUPS 84733 WITH SCORE 85376.992
AT ITER 1969 NEW BEST:: SOT 696150 SOS 644540 HAS SOPS 631710 HAS SOUS 84532 HAS SOUPS 84526 WITH SCORE 85170.54
AT ITER 1988 NEW BEST:: SOT 696150 SOS 644540 HAS SOPS 631710 HAS SOUS 84527 HAS SOUPS 84521 WITH SCORE 85165.54
AT ITER 1989 NEW BEST:: SOT 696271 SOS 644661 HAS SOPS 631831 HAS SOUS 84497 HAS SOUPS 84491 WITH SCORE 85135.661
AT ITER 1993 NEW BEST:: SOT 696362 SOS 644752 HAS SOPS 631922 HAS SOUS 84476 HAS SOUPS 84470 WITH SCORE 85114.752
AT ITER 2004 NEW BEST:: SOT 695530 SOS 643920 HAS SOPS 631090 HAS SOUS 84365 HAS SOUPS 84359 WITH SCORE 85002.92
AT ITER 2009 NEW BEST:: SOT 695530 SOS 643920 HAS SOPS 631090 HAS SOUS 84342 HAS SOUPS 84336 WITH SCORE 84979.92
AT ITER 2041 NEW BEST:: SOT 696235 SOS 644625 HAS SOPS 631795 HAS SOUS 84269 HAS SOUPS 84263 WITH SCORE 84907.625
AT ITER 2052 NEW BEST:: SOT 696211 SOS 644601 HAS SOPS 631771 HAS SOUS 84264 HAS SOUPS 84258 WITH SCORE 84902.601
AT ITER 2064 NEW BEST:: SOT 696236 SOS 644626 HAS SOPS 631796 HAS SOUS 84249 HAS SOUPS 84243 WITH SCORE 84887.626
AT ITER 2081 NEW BEST:: SOT 696274 SOS 644664 HAS SOPS 631834 HAS SOUS 84209 HAS SOUPS 84203 WITH SCORE 84847.664
AT ITER 2084 NEW BEST:: SOT 696412 SOS 644802 HAS SOPS 631990 HAS SOUS 84151 HAS SOUPS 84146 WITH SCORE 84790.802
AT ITER 2085 NEW BEST:: SOT 696056 SOS 644446 HAS SOPS 631634 HAS SOUS 83969 HAS SOUPS 83964 WITH SCORE 84608.446
AT ITER 2086 NEW BEST:: SOT 696056 SOS 644446 HAS SOPS 631634 HAS SOUS 83933 HAS SOUPS 83928 WITH SCORE 84572.446
AT ITER 2095 NEW BEST:: SOT 695978 SOS 644368 HAS SOPS 631556 HAS SOUS 83846 HAS SOUPS 83841 WITH SCORE 84485.368
AT ITER 2096 NEW BEST:: SOT 695978 SOS 644368 HAS SOPS 631556 HAS SOUS 83646 HAS SOUPS 83641 WITH SCORE 84285.368
AT ITER 2102 NEW BEST:: SOT 694771 SOS 643161 HAS SOPS 630349 HAS SOUS 83275 HAS SOUPS 83270 WITH SCORE 83913.161
AT ITER 2113 NEW BEST:: SOT 694443 SOS 642833 HAS SOPS 630021 HAS SOUS 83112 HAS SOUPS 83107 WITH SCORE 83749.833
AT ITER 2128 NEW BEST:: SOT 693977 SOS 642367 HAS SOPS 629555 HAS SOUS 82773 HAS SOUPS 82768 WITH SCORE 83410.367
AT ITER 2160 NEW BEST:: SOT 693303 SOS 641693 HAS SOPS 628881 HAS SOUS 82513 HAS SOUPS 82508 WITH SCORE 83149.693
AT ITER 2169 NEW BEST:: SOT 693373 SOS 641763 HAS SOPS 628951 HAS SOUS 82503 HAS SOUPS 82498 WITH SCORE 83139.763
AT ITER 2201 NEW BEST:: SOT 693329 SOS 641719 HAS SOPS 628907 HAS SOUS 82370 HAS SOUPS 82365 WITH SCORE 83006.719
AT ITER 2208 NEW BEST:: SOT 693351 SOS 641741 HAS SOPS 628929 HAS SOUS 82313 HAS SOUPS 82308 WITH SCORE 82949.741
AT ITER 2238 NEW BEST:: SOT 693365 SOS 641755 HAS SOPS 628943 HAS SOUS 82271 HAS SOUPS 82266 WITH SCORE 82907.755
AT ITER 2240 NEW BEST:: SOT 693347 SOS 641737 HAS SOPS 628925 HAS SOUS 82271 HAS SOUPS 82266 WITH SCORE 82907.737
AT ITER 2260 NEW BEST:: SOT 693383 SOS 641773 HAS SOPS 628961 HAS SOUS 82251 HAS SOUPS 82246 WITH SCORE 82887.773
AT ITER 2268 NEW BEST:: SOT 693685 SOS 642075 HAS SOPS 629263 HAS SOUS 82099 HAS SOUPS 82094 WITH SCORE 82736.075
AT ITER 2269 NEW BEST:: SOT 693685 SOS 641991 HAS SOPS 629119 HAS SOUS 82099 HAS SOUPS 82094 WITH SCORE 82735.991
AT ITER 2276 NEW BEST:: SOT 693737 SOS 642043 HAS SOPS 629171 HAS SOUS 81971 HAS SOUPS 81966 WITH SCORE 82608.043
AT ITER 2301 NEW BEST:: SOT 693801 SOS 642107 HAS SOPS 629235 HAS SOUS 81909 HAS SOUPS 81904 WITH SCORE 82546.107
AT ITER 2310 NEW BEST:: SOT 692072 SOS 640378 HAS SOPS 627506 HAS SOUS 81601 HAS SOUPS 81596 WITH SCORE 82236.378
AT ITER 2311 NEW BEST:: SOT 691987 SOS 640293 HAS SOPS 627421 HAS SOUS 81419 HAS SOUPS 81414 WITH SCORE 82054.293
AT ITER 2318 NEW BEST:: SOT 691975 SOS 640281 HAS SOPS 627409 HAS SOUS 81408 HAS SOUPS 81403 WITH SCORE 82043.281
AT ITER 2329 NEW BEST:: SOT 691975 SOS 640281 HAS SOPS 627409 HAS SOUS 81401 HAS SOUPS 81396 WITH SCORE 82036.281
AT ITER 2345 NEW BEST:: SOT 691747 SOS 640053 HAS SOPS 627181 HAS SOUS 81384 HAS SOUPS 81379 WITH SCORE 82019.053
AT ITER 2348 NEW BEST:: SOT 691747 SOS 639981 HAS SOPS 627049 HAS SOUS 81384 HAS SOUPS 81379 WITH SCORE 82018.981
AT ITER 2352 NEW BEST:: SOT 691627 SOS 639861 HAS SOPS 626929 HAS SOUS 81362 HAS SOUPS 81357 WITH SCORE 81996.861
AT ITER 2357 NEW BEST:: SOT 691691 SOS 639925 HAS SOPS 626993 HAS SOUS 81334 HAS SOUPS 81329 WITH SCORE 81968.925
AT ITER 2375 NEW BEST:: SOT 690719 SOS 638953 HAS SOPS 626021 HAS SOUS 81031 HAS SOUPS 81026 WITH SCORE 81664.953
AT ITER 2378 NEW BEST:: SOT 690595 SOS 638829 HAS SOPS 625897 HAS SOUS 80874 HAS SOUPS 80869 WITH SCORE 81507.829
AT ITER 2384 NEW BEST:: SOT 690607 SOS 638841 HAS SOPS 625909 HAS SOUS 80862 HAS SOUPS 80857 WITH SCORE 81495.841
AT ITER 2398 NEW BEST:: SOT 690465 SOS 638699 HAS SOPS 625767 HAS SOUS 80666 HAS SOUPS 80661 WITH SCORE 81299.699
AT ITER 2424 NEW BEST:: SOT 690373 SOS 638607 HAS SOPS 625675 HAS SOUS 80504 HAS SOUPS 80499 WITH SCORE 81137.607
AT ITER 2443 NEW BEST:: SOT 690329 SOS 638563 HAS SOPS 625631 HAS SOUS 80472 HAS SOUPS 80467 WITH SCORE 81105.563
AT ITER 2462 NEW BEST:: SOT 690329 SOS 638563 HAS SOPS 625631 HAS SOUS 80442 HAS SOUPS 80437 WITH SCORE 81075.563
AT ITER 2477 NEW BEST:: SOT 690330 SOS 638564 HAS SOPS 625632 HAS SOUS 80414 HAS SOUPS 80409 WITH SCORE 81047.564
AT ITER 2479 NEW BEST:: SOT 690322 SOS 638556 HAS SOPS 625624 HAS SOUS 80400 HAS SOUPS 80395 WITH SCORE 81033.556
AT ITER 2483 NEW BEST:: SOT 690343 SOS 638577 HAS SOPS 625645 HAS SOUS 80391 HAS SOUPS 80386 WITH SCORE 81024.577
AT ITER 2493 NEW BEST:: SOT 690377 SOS 638611 HAS SOPS 625679 HAS SOUS 80302 HAS SOUPS 80297 WITH SCORE 80935.611
AT ITER 2525 NEW BEST:: SOT 689464 SOS 637698 HAS SOPS 624766 HAS SOUS 80139 HAS SOUPS 80134 WITH SCORE 80771.698
AT ITER 2533 NEW BEST:: SOT 689464 SOS 637482 HAS SOPS 624490 HAS SOUS 80139 HAS SOUPS 80134 WITH SCORE 80771.482
AT ITER 2542 NEW BEST:: SOT 689228 SOS 637246 HAS SOPS 624254 HAS SOUS 79957 HAS SOUPS 79952 WITH SCORE 80589.246
AT ITER 2565 NEW BEST:: SOT 689146 SOS 637164 HAS SOPS 624172 HAS SOUS 79933 HAS SOUPS 79928 WITH SCORE 80565.164
AT ITER 2589 NEW BEST:: SOT 688774 SOS 636792 HAS SOPS 623800 HAS SOUS 79914 HAS SOUPS 79909 WITH SCORE 80545.792
AT ITER 2595 NEW BEST:: SOT 688484 SOS 636502 HAS SOPS 623510 HAS SOUS 79875 HAS SOUPS 79870 WITH SCORE 80506.502
AT ITER 2637 NEW BEST:: SOT 688482 SOS 636500 HAS SOPS 623508 HAS SOUS 79871 HAS SOUPS 79866 WITH SCORE 80502.5
AT ITER 2658 NEW BEST:: SOT 688553 SOS 636571 HAS SOPS 623579 HAS SOUS 79631 HAS SOUPS 79626 WITH SCORE 80262.571
AT ITER 2662 NEW BEST:: SOT 688303 SOS 636321 HAS SOPS 623329 HAS SOUS 79490 HAS SOUPS 79485 WITH SCORE 80121.321
AT ITER 2678 NEW BEST:: SOT 687187 SOS 635205 HAS SOPS 622213 HAS SOUS 79136 HAS SOUPS 79131 WITH SCORE 79766.205
AT ITER 2679 NEW BEST:: SOT 686907 SOS 634925 HAS SOPS 621933 HAS SOUS 79101 HAS SOUPS 79096 WITH SCORE 79730.925
AT ITER 2699 NEW BEST:: SOT 686907 SOS 634781 HAS SOPS 621753 HAS SOUS 79101 HAS SOUPS 79096 WITH SCORE 79730.781
AT ITER 2737 NEW BEST:: SOT 686857 SOS 634731 HAS SOPS 621703 HAS SOUS 79003 HAS SOUPS 78998 WITH SCORE 79632.731
AT ITER 2761 NEW BEST:: SOT 686956 SOS 634830 HAS SOPS 621802 HAS SOUS 78992 HAS SOUPS 78987 WITH SCORE 79621.83
AT ITER 2770 NEW BEST:: SOT 686820 SOS 634694 HAS SOPS 621666 HAS SOUS 78872 HAS SOUPS 78867 WITH SCORE 79501.694
AT ITER 2797 NEW BEST:: SOT 686848 SOS 634722 HAS SOPS 621694 HAS SOUS 78788 HAS SOUPS 78783 WITH SCORE 79417.722
AT ITER 2808 NEW BEST:: SOT 686832 SOS 634706 HAS SOPS 621678 HAS SOUS 78645 HAS SOUPS 78640 WITH SCORE 79274.706
AT ITER 2817 NEW BEST:: SOT 686414 SOS 634288 HAS SOPS 621260 HAS SOUS 78341 HAS SOUPS 78336 WITH SCORE 78970.288
AT ITER 2822 NEW BEST:: SOT 686439 SOS 634313 HAS SOPS 621285 HAS SOUS 78334 HAS SOUPS 78329 WITH SCORE 78963.313
AT ITER 2824 NEW BEST:: SOT 684930 SOS 632804 HAS SOPS 619776 HAS SOUS 77660 HAS SOUPS 77655 WITH SCORE 78287.804
AT ITER 2836 NEW BEST:: SOT 684839 SOS 632713 HAS SOPS 619685 HAS SOUS 77653 HAS SOUPS 77648 WITH SCORE 78280.713
AT ITER 2841 NEW BEST:: SOT 684723 SOS 632597 HAS SOPS 619569 HAS SOUS 77653 HAS SOUPS 77648 WITH SCORE 78280.597
AT ITER 2845 NEW BEST:: SOT 685393 SOS 633267 HAS SOPS 620239 HAS SOUS 77634 HAS SOUPS 77629 WITH SCORE 78262.267
AT ITER 2857 NEW BEST:: SOT 685237 SOS 633111 HAS SOPS 620083 HAS SOUS 77518 HAS SOUPS 77513 WITH SCORE 78146.111
AT ITER 2876 NEW BEST:: SOT 685417 SOS 633291 HAS SOPS 620263 HAS SOUS 77516 HAS SOUPS 77511 WITH SCORE 78144.291
AT ITER 2879 NEW BEST:: SOT 685427 SOS 633301 HAS SOPS 620273 HAS SOUS 77514 HAS SOUPS 77509 WITH SCORE 78142.301
AT ITER 2887 NEW BEST:: SOT 685401 SOS 633275 HAS SOPS 620247 HAS SOUS 77507 HAS SOUPS 77502 WITH SCORE 78135.275
AT ITER 2891 NEW BEST:: SOT 685217 SOS 633091 HAS SOPS 620063 HAS SOUS 77430 HAS SOUPS 77425 WITH SCORE 78058.091
AT ITER 2902 NEW BEST:: SOT 685116 SOS 632990 HAS SOPS 619962 HAS SOUS 77426 HAS SOUPS 77421 WITH SCORE 78053.99
AT ITER 2904 NEW BEST:: SOT 684646 SOS 632520 HAS SOPS 619492 HAS SOUS 77422 HAS SOUPS 77417 WITH SCORE 78049.52
AT ITER 2906 NEW BEST:: SOT 684600 SOS 632474 HAS SOPS 619446 HAS SOUS 77141 HAS SOUPS 77136 WITH SCORE 77768.474
AT ITER 2930 NEW BEST:: SOT 684584 SOS 632458 HAS SOPS 619430 HAS SOUS 77137 HAS SOUPS 77132 WITH SCORE 77764.458
AT ITER 2933 NEW BEST:: SOT 684595 SOS 632469 HAS SOPS 619441 HAS SOUS 77127 HAS SOUPS 77122 WITH SCORE 77754.469
AT ITER 2947 NEW BEST:: SOT 684523 SOS 632397 HAS SOPS 619369 HAS SOUS 76989 HAS SOUPS 76984 WITH SCORE 77616.397
AT ITER 2954 NEW BEST:: SOT 684524 SOS 632398 HAS SOPS 619370 HAS SOUS 76984 HAS SOUPS 76979 WITH SCORE 77611.398
AT ITER 2955 NEW BEST:: SOT 684403 SOS 632277 HAS SOPS 619249 HAS SOUS 76959 HAS SOUPS 76954 WITH SCORE 77586.277
AT ITER 2966 NEW BEST:: SOT 684387 SOS 632261 HAS SOPS 619233 HAS SOUS 76888 HAS SOUPS 76883 WITH SCORE 77515.261
AT ITER 2971 NEW BEST:: SOT 684541 SOS 632415 HAS SOPS 619387 HAS SOUS 76759 HAS SOUPS 76754 WITH SCORE 77386.415
AT ITER 2976 NEW BEST:: SOT 684744 SOS 632618 HAS SOPS 619590 HAS SOUS 76735 HAS SOUPS 76730 WITH SCORE 77362.618
AT ITER 2988 NEW BEST:: SOT 684503 SOS 632377 HAS SOPS 619349 HAS SOUS 76693 HAS SOUPS 76688 WITH SCORE 77320.377
AT ITER 2998 NEW BEST:: SOT 684487 SOS 632361 HAS SOPS 619333 HAS SOUS 76685 HAS SOUPS 76680 WITH SCORE 77312.361
AT ITER 3004 NEW BEST:: SOT 684377 SOS 632251 HAS SOPS 619223 HAS SOUS 76649 HAS SOUPS 76644 WITH SCORE 77276.251
AT ITER 3010 NEW BEST:: SOT 684411 SOS 632285 HAS SOPS 619257 HAS SOUS 76586 HAS SOUPS 76581 WITH SCORE 77213.285
AT ITER 3014 NEW BEST:: SOT 684751 SOS 632625 HAS SOPS 619597 HAS SOUS 76541 HAS SOUPS 76536 WITH SCORE 77168.625
AT ITER 3018 NEW BEST:: SOT 684751 SOS 632625 HAS SOPS 619597 HAS SOUS 76539 HAS SOUPS 76534 WITH SCORE 77166.625
AT ITER 3026 NEW BEST:: SOT 684757 SOS 632631 HAS SOPS 619603 HAS SOUS 76538 HAS SOUPS 76533 WITH SCORE 77165.631
AT ITER 3029 NEW BEST:: SOT 684767 SOS 632641 HAS SOPS 619613 HAS SOUS 76529 HAS SOUPS 76524 WITH SCORE 77156.641
AT ITER 3054 NEW BEST:: SOT 684767 SOS 632641 HAS SOPS 619613 HAS SOUS 76519 HAS SOUPS 76514 WITH SCORE 77146.641
AT ITER 3055 NEW BEST:: SOT 684761 SOS 632635 HAS SOPS 619607 HAS SOUS 76483 HAS SOUPS 76478 WITH SCORE 77110.635
AT ITER 3073 NEW BEST:: SOT 684709 SOS 632583 HAS SOPS 619555 HAS SOUS 76328 HAS SOUPS 76323 WITH SCORE 76955.583
AT ITER 3106 NEW BEST:: SOT 684473 SOS 632347 HAS SOPS 619319 HAS SOUS 76143 HAS SOUPS 76138 WITH SCORE 76770.347
AT ITER 3110 NEW BEST:: SOT 684061 SOS 631935 HAS SOPS 618907 HAS SOUS 75886 HAS SOUPS 75881 WITH SCORE 76512.935
AT ITER 3116 NEW BEST:: SOT 683397 SOS 631271 HAS SOPS 618243 HAS SOUS 75730 HAS SOUPS 75725 WITH SCORE 76356.271
AT ITER 3127 NEW BEST:: SOT 683568 SOS 631442 HAS SOPS 618414 HAS SOUS 75718 HAS SOUPS 75713 WITH SCORE 76344.442
AT ITER 3138 NEW BEST:: SOT 683568 SOS 631394 HAS SOPS 618306 HAS SOUS 75718 HAS SOUPS 75713 WITH SCORE 76344.394
AT ITER 3140 NEW BEST:: SOT 683568 SOS 631394 HAS SOPS 618306 HAS SOUS 75712 HAS SOUPS 75707 WITH SCORE 76338.394
AT ITER 3145 NEW BEST:: SOT 683584 SOS 631410 HAS SOPS 618322 HAS SOUS 75707 HAS SOUPS 75702 WITH SCORE 76333.41
AT ITER 3155 NEW BEST:: SOT 683587 SOS 631413 HAS SOPS 618325 HAS SOUS 75703 HAS SOUPS 75698 WITH SCORE 76329.413
AT ITER 3167 NEW BEST:: SOT 683539 SOS 631365 HAS SOPS 618277 HAS SOUS 75664 HAS SOUPS 75659 WITH SCORE 76290.365
AT ITER 3224 NEW BEST:: SOT 683611 SOS 631437 HAS SOPS 618349 HAS SOUS 75657 HAS SOUPS 75652 WITH SCORE 76283.437
AT ITER 3241 NEW BEST:: SOT 683611 SOS 631437 HAS SOPS 618349 HAS SOUS 75629 HAS SOUPS 75624 WITH SCORE 76255.437
AT ITER 3254 NEW BEST:: SOT 683517 SOS 631343 HAS SOPS 618255 HAS SOUS 75527 HAS SOUPS 75522 WITH SCORE 76153.343
AT ITER 3277 NEW BEST:: SOT 683473 SOS 631299 HAS SOPS 618211 HAS SOUS 75455 HAS SOUPS 75450 WITH SCORE 76081.299
AT ITER 3284 NEW BEST:: SOT 683491 SOS 631317 HAS SOPS 618229 HAS SOUS 75415 HAS SOUPS 75410 WITH SCORE 76041.317
AT ITER 3293 NEW BEST:: SOT 683491 SOS 631317 HAS SOPS 618229 HAS SOUS 75391 HAS SOUPS 75386 WITH SCORE 76017.317
AT ITER 3296 NEW BEST:: SOT 683367 SOS 631193 HAS SOPS 618105 HAS SOUS 75300 HAS SOUPS 75295 WITH SCORE 75926.193
AT ITER 3337 NEW BEST:: SOT 683367 SOS 631193 HAS SOPS 618105 HAS SOUS 75294 HAS SOUPS 75289 WITH SCORE 75920.193
AT ITER 3350 NEW BEST:: SOT 683373 SOS 631199 HAS SOPS 618111 HAS SOUS 75267 HAS SOUPS 75262 WITH SCORE 75893.199
AT ITER 3373 NEW BEST:: SOT 683087 SOS 630913 HAS SOPS 617825 HAS SOUS 75104 HAS SOUPS 75099 WITH SCORE 75729.913
AT ITER 3384 NEW BEST:: SOT 683181 SOS 631007 HAS SOPS 617919 HAS SOUS 75049 HAS SOUPS 75044 WITH SCORE 75675.007
AT ITER 3401 NEW BEST:: SOT 683171 SOS 630997 HAS SOPS 617909 HAS SOUS 75039 HAS SOUPS 75034 WITH SCORE 75664.997
AT ITER 3402 NEW BEST:: SOT 683171 SOS 630997 HAS SOPS 617909 HAS SOUS 75032 HAS SOUPS 75027 WITH SCORE 75657.997
AT ITER 3418 NEW BEST:: SOT 683161 SOS 630987 HAS SOPS 617899 HAS SOUS 75022 HAS SOUPS 75017 WITH SCORE 75647.987
AT ITER 3419 NEW BEST:: SOT 683156 SOS 630982 HAS SOPS 617894 HAS SOUS 75022 HAS SOUPS 75017 WITH SCORE 75647.982
AT ITER 3437 NEW BEST:: SOT 683001 SOS 630827 HAS SOPS 617739 HAS SOUS 75021 HAS SOUPS 75016 WITH SCORE 75646.827
AT ITER 3439 NEW BEST:: SOT 683049 SOS 630875 HAS SOPS 617787 HAS SOUS 74807 HAS SOUPS 74802 WITH SCORE 75432.875
AT ITER 3490 NEW BEST:: SOT 683062 SOS 630888 HAS SOPS 617800 HAS SOUS 74798 HAS SOUPS 74793 WITH SCORE 75423.888
AT ITER 3530 NEW BEST:: SOT 682897 SOS 630723 HAS SOPS 617635 HAS SOUS 74745 HAS SOUPS 74740 WITH SCORE 75370.723
AT ITER 3535 NEW BEST:: SOT 682895 SOS 630721 HAS SOPS 617633 HAS SOUS 74744 HAS SOUPS 74739 WITH SCORE 75369.721
AT ITER 3554 NEW BEST:: SOT 682828 SOS 630654 HAS SOPS 617566 HAS SOUS 74705 HAS SOUPS 74700 WITH SCORE 75330.654
AT ITER 3559 NEW BEST:: SOT 680710 SOS 628536 HAS SOPS 615448 HAS SOUS 74457 HAS SOUPS 74452 WITH SCORE 75080.536
AT ITER 3570 NEW BEST:: SOT 680644 SOS 628470 HAS SOPS 615382 HAS SOUS 74417 HAS SOUPS 74412 WITH SCORE 75040.47
AT ITER 3577 NEW BEST:: SOT 680633 SOS 628459 HAS SOPS 615371 HAS SOUS 74417 HAS SOUPS 74412 WITH SCORE 75040.459
AT ITER 3590 NEW BEST:: SOT 680637 SOS 628463 HAS SOPS 615375 HAS SOUS 74364 HAS SOUPS 74359 WITH SCORE 74987.463
AT ITER 3680 NEW BEST:: SOT 680829 SOS 628655 HAS SOPS 615567 HAS SOUS 74008 HAS SOUPS 74003 WITH SCORE 74631.655
AT ITER 3688 NEW BEST:: SOT 680843 SOS 628669 HAS SOPS 615581 HAS SOUS 73966 HAS SOUPS 73961 WITH SCORE 74589.669
AT ITER 3713 NEW BEST:: SOT 680751 SOS 628577 HAS SOPS 615489 HAS SOUS 73960 HAS SOUPS 73955 WITH SCORE 74583.577
AT ITER 3729 NEW BEST:: SOT 680693 SOS 628519 HAS SOPS 615431 HAS SOUS 73741 HAS SOUPS 73736 WITH SCORE 74364.519
AT ITER 3762 NEW BEST:: SOT 679415 SOS 627241 HAS SOPS 614153 HAS SOUS 73678 HAS SOUPS 73673 WITH SCORE 74300.241
AT ITER 3789 NEW BEST:: SOT 679419 SOS 627245 HAS SOPS 614157 HAS SOUS 73638 HAS SOUPS 73633 WITH SCORE 74260.245
AT ITER 3807 NEW BEST:: SOT 679357 SOS 627183 HAS SOPS 614095 HAS SOUS 73611 HAS SOUPS 73606 WITH SCORE 74233.183
AT ITER 3825 NEW BEST:: SOT 677965 SOS 625791 HAS SOPS 612703 HAS SOUS 72725 HAS SOUPS 72720 WITH SCORE 73345.791
AT ITER 3827 NEW BEST:: SOT 677858 SOS 625684 HAS SOPS 612596 HAS SOUS 72693 HAS SOUPS 72688 WITH SCORE 73313.684
AT ITER 3843 NEW BEST:: SOT 677890 SOS 625716 HAS SOPS 612628 HAS SOUS 72691 HAS SOUPS 72686 WITH SCORE 73311.716
AT ITER 3897 NEW BEST:: SOT 677894 SOS 625720 HAS SOPS 612632 HAS SOUS 72688 HAS SOUPS 72683 WITH SCORE 73308.72
AT ITER 3919 NEW BEST:: SOT 676530 SOS 624356 HAS SOPS 611268 HAS SOUS 72677 HAS SOUPS 72672 WITH SCORE 73296.356
AT ITER 3928 NEW BEST:: SOT 676530 SOS 624308 HAS SOPS 611220 HAS SOUS 72677 HAS SOUPS 72672 WITH SCORE 73296.308
AT ITER 3944 NEW BEST:: SOT 676516 SOS 624294 HAS SOPS 611206 HAS SOUS 72635 HAS SOUPS 72630 WITH SCORE 73254.294
AT ITER 3946 NEW BEST:: SOT 676380 SOS 624158 HAS SOPS 611070 HAS SOUS 72609 HAS SOUPS 72604 WITH SCORE 73228.158
AT ITER 3952 NEW BEST:: SOT 675323 SOS 623101 HAS SOPS 610013 HAS SOUS 72032 HAS SOUPS 72027 WITH SCORE 72650.101
AT ITER 3959 NEW BEST:: SOT 675323 SOS 623101 HAS SOPS 610013 HAS SOUS 72031 HAS SOUPS 72026 WITH SCORE 72649.101
AT ITER 3960 NEW BEST:: SOT 675323 SOS 623101 HAS SOPS 610013 HAS SOUS 72026 HAS SOUPS 72021 WITH SCORE 72644.101
AT ITER 4012 NEW BEST:: SOT 675323 SOS 623101 HAS SOPS 610013 HAS SOUS 72011 HAS SOUPS 72006 WITH SCORE 72629.101
AT ITER 4044 NEW BEST:: SOT 675083 SOS 622861 HAS SOPS 609773 HAS SOUS 71860 HAS SOUPS 71855 WITH SCORE 72477.861
AT ITER 4054 NEW BEST:: SOT 675123 SOS 622901 HAS SOPS 609813 HAS SOUS 71818 HAS SOUPS 71813 WITH SCORE 72435.901
AT ITER 4066 NEW BEST:: SOT 675101 SOS 622879 HAS SOPS 609791 HAS SOUS 71811 HAS SOUPS 71806 WITH SCORE 72428.879
AT ITER 4072 NEW BEST:: SOT 674961 SOS 622739 HAS SOPS 609651 HAS SOUS 71701 HAS SOUPS 71696 WITH SCORE 72318.739
AT ITER 4101 NEW BEST:: SOT 675079 SOS 622857 HAS SOPS 609769 HAS SOUS 71689 HAS SOUPS 71684 WITH SCORE 72306.857
AT ITER 4106 NEW BEST:: SOT 674015 SOS 621793 HAS SOPS 608705 HAS SOUS 71647 HAS SOUPS 71642 WITH SCORE 72263.793
AT ITER 4121 NEW BEST:: SOT 673979 SOS 621757 HAS SOPS 608669 HAS SOUS 71599 HAS SOUPS 71594 WITH SCORE 72215.757
AT ITER 4125 NEW BEST:: SOT 673979 SOS 613906 HAS SOPS 608774 HAS SOUS 71596 HAS SOUPS 71594 WITH SCORE 72207.906
AT ITER 4146 NEW BEST:: SOT 673853 SOS 613780 HAS SOPS 608648 HAS SOUS 71430 HAS SOUPS 71428 WITH SCORE 72041.78
AT ITER 4166 NEW BEST:: SOT 673853 SOS 613780 HAS SOPS 608648 HAS SOUS 71426 HAS SOUPS 71424 WITH SCORE 72037.78
AT ITER 4179 NEW BEST:: SOT 673845 SOS 613772 HAS SOPS 608640 HAS SOUS 71426 HAS SOUPS 71424 WITH SCORE 72037.772
AT ITER 4181 NEW BEST:: SOT 671773 SOS 611700 HAS SOPS 606568 HAS SOUS 70197 HAS SOUPS 70195 WITH SCORE 70806.7
AT ITER 4190 NEW BEST:: SOT 671885 SOS 611812 HAS SOPS 606680 HAS SOUS 70184 HAS SOUPS 70182 WITH SCORE 70793.812
AT ITER 4202 NEW BEST:: SOT 671878 SOS 611805 HAS SOPS 606673 HAS SOUS 70162 HAS SOUPS 70160 WITH SCORE 70771.805
AT ITER 4207 NEW BEST:: SOT 671547 SOS 611474 HAS SOPS 606342 HAS SOUS 70134 HAS SOUPS 70132 WITH SCORE 70743.474
AT ITER 4218 NEW BEST:: SOT 671995 SOS 611922 HAS SOPS 606790 HAS SOUS 70047 HAS SOUPS 70045 WITH SCORE 70656.922
AT ITER 4246 NEW BEST:: SOT 671881 SOS 611808 HAS SOPS 606676 HAS SOUS 69981 HAS SOUPS 69979 WITH SCORE 70590.808
AT ITER 4298 NEW BEST:: SOT 671554 SOS 611481 HAS SOPS 606349 HAS SOUS 69778 HAS SOUPS 69776 WITH SCORE 70387.481
AT ITER 4333 NEW BEST:: SOT 671596 SOS 611523 HAS SOPS 606391 HAS SOUS 69772 HAS SOUPS 69770 WITH SCORE 70381.523
AT ITER 4340 NEW BEST:: SOT 671551 SOS 611478 HAS SOPS 606346 HAS SOUS 69710 HAS SOUPS 69708 WITH SCORE 70319.478
AT ITER 4365 NEW BEST:: SOT 671531 SOS 611458 HAS SOPS 606326 HAS SOUS 69695 HAS SOUPS 69693 WITH SCORE 70304.458
AT ITER 4407 NEW BEST:: SOT 671531 SOS 611458 HAS SOPS 606326 HAS SOUS 69659 HAS SOUPS 69657 WITH SCORE 70268.458
AT ITER 4421 NEW BEST:: SOT 671531 SOS 611458 HAS SOPS 606326 HAS SOUS 69631 HAS SOUPS 69629 WITH SCORE 70240.458
AT ITER 4428 NEW BEST:: SOT 671471 SOS 611398 HAS SOPS 606266 HAS SOUS 69549 HAS SOUPS 69547 WITH SCORE 70158.398
AT ITER 4478 NEW BEST:: SOT 671471 SOS 611398 HAS SOPS 606266 HAS SOUS 69515 HAS SOUPS 69513 WITH SCORE 70124.398
AT ITER 4488 NEW BEST:: SOT 671492 SOS 611419 HAS SOPS 606287 HAS SOUS 69368 HAS SOUPS 69366 WITH SCORE 69977.419
AT ITER 4497 NEW BEST:: SOT 671492 SOS 611419 HAS SOPS 606287 HAS SOUS 69360 HAS SOUPS 69358 WITH SCORE 69969.419
AT ITER 4505 NEW BEST:: SOT 671308 SOS 611235 HAS SOPS 606103 HAS SOUS 69274 HAS SOUPS 69272 WITH SCORE 69883.235
AT ITER 4561 NEW BEST:: SOT 671210 SOS 611137 HAS SOPS 606005 HAS SOUS 69071 HAS SOUPS 69069 WITH SCORE 69680.137
AT ITER 4659 NEW BEST:: SOT 670601 SOS 610528 HAS SOPS 605396 HAS SOUS 68984 HAS SOUPS 68982 WITH SCORE 69592.528
AT ITER 4681 NEW BEST:: SOT 670601 SOS 610456 HAS SOPS 605324 HAS SOUS 68984 HAS SOUPS 68982 WITH SCORE 69592.456
AT ITER 4685 NEW BEST:: SOT 670366 SOS 610221 HAS SOPS 605089 HAS SOUS 68969 HAS SOUPS 68967 WITH SCORE 69577.221
AT ITER 4716 NEW BEST:: SOT 670322 SOS 610177 HAS SOPS 605045 HAS SOUS 68950 HAS SOUPS 68948 WITH SCORE 69558.177
AT ITER 4736 NEW BEST:: SOT 670481 SOS 610336 HAS SOPS 605204 HAS SOUS 68885 HAS SOUPS 68883 WITH SCORE 69493.336
AT ITER 4758 NEW BEST:: SOT 670496 SOS 610351 HAS SOPS 605219 HAS SOUS 68832 HAS SOUPS 68830 WITH SCORE 69440.351
AT ITER 4780 NEW BEST:: SOT 670475 SOS 610330 HAS SOPS 605198 HAS SOUS 68778 HAS SOUPS 68776 WITH SCORE 69386.33
AT ITER 4834 NEW BEST:: SOT 670542 SOS 610397 HAS SOPS 605265 HAS SOUS 68757 HAS SOUPS 68755 WITH SCORE 69365.397
AT ITER 4874 NEW BEST:: SOT 670570 SOS 610425 HAS SOPS 605293 HAS SOUS 68713 HAS SOUPS 68711 WITH SCORE 69321.425
AT ITER 4934 NEW BEST:: SOT 670577 SOS 610432 HAS SOPS 605300 HAS SOUS 68686 HAS SOUPS 68684 WITH SCORE 69294.432
AT ITER 4944 NEW BEST:: SOT 670559 SOS 610414 HAS SOPS 605282 HAS SOUS 68684 HAS SOUPS 68682 WITH SCORE 69292.414
AT ITER 4945 NEW BEST:: SOT 670574 SOS 610429 HAS SOPS 605297 HAS SOUS 68593 HAS SOUPS 68591 WITH SCORE 69201.429
AT ITER 4962 NEW BEST:: SOT 670580 SOS 610435 HAS SOPS 605303 HAS SOUS 68578 HAS SOUPS 68576 WITH SCORE 69186.435
AT ITER 4973 NEW BEST:: SOT 670580 SOS 610411 HAS SOPS 605279 HAS SOUS 68578 HAS SOUPS 68576 WITH SCORE 69186.411
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-00 (EG( ( ( ( potential( (tk(P293)) <= (tk(P184)) ) & potential( ( 2 ) <= (tk(P115)) ) ) | (! potential( ( 1 ) <= (tk(P55)) )) ) | potential( (tk(P212)) <= (tk(P198)) ) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-01 (EF((AG( ( potential( ( 1 ) <= (tk(P217)) ) | potential( (tk(P179)) <= (tk(P147)) ) )))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-02 (EX( ( (AF(potential( (tk(P243)) <= (tk(P125)) ))) | ( ( potential( ( 3 ) <= (tk(P128)) ) & potential( ( 3 ) <= (tk(P143)) ) ) & potential( (tk(P204)) <= (tk(P207)) ) ) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-03 ( potential( ( 1 ) <= (tk(P45)) ) | (EG( potential( ( 2 ) <= (tk(P272)) ))) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-04 (EF(( ( ( potential( ( 2 ) <= (tk(P52)) ) & potential( (tk(P201)) <= (tk(P124)) ) ) & ( potential( (tk(P198)) <= (tk(P178)) ) & potential( ( 1 ) <= (tk(P200)) ) ) ) & (AG( potential( ( 3 ) <= (tk(P45)) ))) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-05 (AU( ( ( potential( (tk(P290)) <= (tk(P142)) ) & potential( ( 3 ) <= (tk(P214)) ) ) | (! potential( (tk(P232)) <= (tk(P71)) )) ),(AF(potential( ( 1 ) <= (tk(P134)) ))) ))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-06 ( (! (EG( ( potential( ( 1 ) <= (tk(P46)) ) | potential( (tk(P62)) <= (tk(P188)) ) )))) | (! (EU( potential( (tk(P67)) <= (tk(P159)) ),potential( (tk(P58)) <= (tk(P5)) ) ))) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-07 ( (! (EG( ( potential( (tk(P180)) <= (tk(P226)) ) | potential( ( 2 ) <= (tk(P29)) ) )))) & ( (EF(potential( ( 1 ) <= (tk(P41)) ))) | (! (EG( potential( (tk(P106)) <= (tk(P51)) )))) ) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-08 (! ( (EG( ( potential( (tk(P279)) <= (tk(P246)) ) | potential( ( 1 ) <= (tk(P146)) ) ))) | (AU( potential( ( 3 ) <= (tk(P233)) ),potential( ( 1 ) <= (tk(P69)) ) )) ))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-09 (AF(( potential( ( 2 ) <= (tk(P267)) ) & ( (! potential( (tk(P217)) <= (tk(P286)) )) | (! potential( ( 2 ) <= (tk(P297)) )) ) )))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-10 (EG( (AF(( potential( (tk(P239)) <= (tk(P212)) ) & potential( (tk(P228)) <= (tk(P284)) ) )))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-11 ( ( (! potential( (tk(P270)) <= (tk(P45)) )) & (AG( ( potential( (tk(P35)) <= (tk(P253)) ) | potential( ( 2 ) <= (tk(P283)) ) ))) ) | (AU( ( potential( ( 1 ) <= (tk(P31)) ) | potential( (tk(P259)) <= (tk(P6)) ) ),( potential( ( 2 ) <= (tk(P93)) ) | potential( ( 1 ) <= (tk(P51)) ) ) )) )
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-12 (EF((AG( (! potential( ( 3 ) <= (tk(P258)) ))))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-13 (! (EG( (EG( potential( (tk(P175)) <= (tk(P101)) ))))))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-14 (AU( (AF(potential( ( 3 ) <= (tk(P98)) ))),potential( ( 1 ) <= (tk(P4)) ) ))
PROPERTY: PhaseVariation-PT-D10CS100-CTLCardinality-15 (! (AG( (EG( potential( (tk(P161)) <= (tk(P158)) ))))))

BK_STOP 1589651484412

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

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="PhaseVariation-PT-D10CS100"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is PhaseVariation-PT-D10CS100, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r108-csrt-158961251000795"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/PhaseVariation-PT-D10CS100.tgz
mv PhaseVariation-PT-D10CS100 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;