Execution Chart

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

Trace from the execution

Formatting '/data/fko/mcc2020-input.r224-oct2-159033538900539.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fko/mcc2020-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
..........................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is ViralEpidemic-PT-S04D1C1A04, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r224-oct2-159033538900539
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.3M
-rw-r--r-- 1 mcc users 4.1K May 14 05:08 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K May 14 05:08 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K May 13 23:07 CTLFireability.txt
-rw-r--r-- 1 mcc users 16K May 13 23:07 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.9K May 14 10:07 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K May 14 10:07 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K May 14 10:07 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:07 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 4.1K May 13 16:12 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K May 13 16:12 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K May 13 11:57 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K May 13 11:57 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K May 13 16:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K May 13 16:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 11 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 2.2M May 12 20:42 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 ViralEpidemic-PT-S04D1C1A04-CTLCardinality-00
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-01
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-02
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-03
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-04
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-05
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-06
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-07
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-08
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-09
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-10
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-11
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-12
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-13
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-14
FORMULA_NAME ViralEpidemic-PT-S04D1C1A04-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1590473809017

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ViralEpidemic (PT), instance S04D1C1A04
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: 2047 places, 3069 transitions, 7161 arcs.
AT ITER 0 NEW BEST:: SOT 4268333 SOS 2703647 HAS SOPS 2703647 HAS SOUS 817244 HAS SOUPS 817244 WITH SCORE 819947.647
AT ITER 3 NEW BEST:: SOT 4266371 SOS 2698739 HAS SOPS 2698739 HAS SOUS 817239 HAS SOUPS 817239 WITH SCORE 819937.739
AT ITER 8 NEW BEST:: SOT 4265323 SOS 2696119 HAS SOPS 2696119 HAS SOUS 817239 HAS SOUPS 817239 WITH SCORE 819935.119
AT ITER 10 NEW BEST:: SOT 4265133 SOS 2695644 HAS SOPS 2695644 HAS SOUS 817239 HAS SOUPS 817239 WITH SCORE 819934.644
AT ITER 11 NEW BEST:: SOT 4264243 SOS 2693416 HAS SOPS 2693416 HAS SOUS 817234 HAS SOUPS 817234 WITH SCORE 819927.416
AT ITER 15 NEW BEST:: SOT 4263337 SOS 2691150 HAS SOPS 2691150 HAS SOUS 817233 HAS SOUPS 817233 WITH SCORE 819924.15
AT ITER 21 NEW BEST:: SOT 4262547 SOS 2689174 HAS SOPS 2689174 HAS SOUS 817232 HAS SOUPS 817232 WITH SCORE 819921.174
AT ITER 23 NEW BEST:: SOT 4262195 SOS 2688293 HAS SOPS 2688293 HAS SOUS 817231 HAS SOUPS 817231 WITH SCORE 819919.293
AT ITER 24 NEW BEST:: SOT 4261045 SOS 2685415 HAS SOPS 2685415 HAS SOUS 817226 HAS SOUPS 817226 WITH SCORE 819911.415
AT ITER 27 NEW BEST:: SOT 4259927 SOS 2682619 HAS SOPS 2682619 HAS SOUS 817225 HAS SOUPS 817225 WITH SCORE 819907.619
AT ITER 28 NEW BEST:: SOT 4259887 SOS 2682519 HAS SOPS 2682519 HAS SOUS 817225 HAS SOUPS 817225 WITH SCORE 819907.519
AT ITER 49 NEW BEST:: SOT 4257929 SOS 2677621 HAS SOPS 2677621 HAS SOUS 817220 HAS SOUPS 817220 WITH SCORE 819897.621
AT ITER 51 NEW BEST:: SOT 4256367 SOS 2673714 HAS SOPS 2673714 HAS SOUS 817218 HAS SOUPS 817218 WITH SCORE 819891.714
AT ITER 69 NEW BEST:: SOT 4255427 SOS 2671364 HAS SOPS 2671364 HAS SOUS 817218 HAS SOUPS 817218 WITH SCORE 819889.364
AT ITER 72 NEW BEST:: SOT 4254387 SOS 2668762 HAS SOPS 2668762 HAS SOUS 817216 HAS SOUPS 817216 WITH SCORE 819884.762
AT ITER 75 NEW BEST:: SOT 4253191 SOS 2665770 HAS SOPS 2665770 HAS SOUS 817214 HAS SOUPS 817214 WITH SCORE 819879.77
AT ITER 80 NEW BEST:: SOT 4252975 SOS 2665227 HAS SOPS 2665227 HAS SOUS 817209 HAS SOUPS 817209 WITH SCORE 819874.227
AT ITER 82 NEW BEST:: SOT 4251543 SOS 2661645 HAS SOPS 2661645 HAS SOUS 817207 HAS SOUPS 817207 WITH SCORE 819868.645
AT ITER 89 NEW BEST:: SOT 4251221 SOS 2660838 HAS SOPS 2660838 HAS SOUS 817205 HAS SOUPS 817205 WITH SCORE 819865.838
AT ITER 90 NEW BEST:: SOT 4250373 SOS 2658718 HAS SOPS 2658718 HAS SOUS 817205 HAS SOUPS 817205 WITH SCORE 819863.718
AT ITER 98 NEW BEST:: SOT 4249615 SOS 2656820 HAS SOPS 2656820 HAS SOUS 817200 HAS SOUPS 817200 WITH SCORE 819856.82
AT ITER 104 NEW BEST:: SOT 4249027 SOS 2655056 HAS SOPS 2655056 HAS SOUS 816906 HAS SOUPS 816906 WITH SCORE 819561.056
AT ITER 105 NEW BEST:: SOT 4248069 SOS 2652660 HAS SOPS 2652660 HAS SOUS 816905 HAS SOUPS 816905 WITH SCORE 819557.66
AT ITER 107 NEW BEST:: SOT 4247033 SOS 2650067 HAS SOPS 2650067 HAS SOUS 816900 HAS SOUPS 816900 WITH SCORE 819550.067
AT ITER 108 NEW BEST:: SOT 4245763 SOS 2646892 HAS SOPS 2646892 HAS SOUS 816900 HAS SOUPS 816900 WITH SCORE 819546.892
AT ITER 114 NEW BEST:: SOT 4245365 SOS 2645896 HAS SOPS 2645896 HAS SOUS 816899 HAS SOUPS 816899 WITH SCORE 819544.896
AT ITER 129 NEW BEST:: SOT 4244501 SOS 2643734 HAS SOPS 2643734 HAS SOUS 816897 HAS SOUPS 816897 WITH SCORE 819540.734
AT ITER 130 NEW BEST:: SOT 4244113 SOS 2642570 HAS SOPS 2642570 HAS SOUS 816703 HAS SOUPS 816703 WITH SCORE 819345.57
AT ITER 133 NEW BEST:: SOT 4243815 SOS 2641822 HAS SOPS 2641822 HAS SOUS 816698 HAS SOUPS 816698 WITH SCORE 819339.822
AT ITER 141 NEW BEST:: SOT 4242127 SOS 2637601 HAS SOPS 2637601 HAS SOUS 816697 HAS SOUPS 816697 WITH SCORE 819334.601
AT ITER 145 NEW BEST:: SOT 4240739 SOS 2634130 HAS SOPS 2634130 HAS SOUS 816696 HAS SOUPS 816696 WITH SCORE 819330.13
AT ITER 148 NEW BEST:: SOT 4239419 SOS 2630828 HAS SOPS 2630828 HAS SOUS 816694 HAS SOUPS 816694 WITH SCORE 819324.828
AT ITER 160 NEW BEST:: SOT 4237497 SOS 2626023 HAS SOPS 2626023 HAS SOUS 816694 HAS SOUPS 816694 WITH SCORE 819320.023
AT ITER 185 NEW BEST:: SOT 4235819 SOS 2621826 HAS SOPS 2621826 HAS SOUS 816692 HAS SOUPS 816692 WITH SCORE 819313.826
AT ITER 198 NEW BEST:: SOT 4234611 SOS 2618806 HAS SOPS 2618806 HAS SOUS 816692 HAS SOUPS 816692 WITH SCORE 819310.806
AT ITER 231 NEW BEST:: SOT 4232771 SOS 2614204 HAS SOPS 2614204 HAS SOUS 816690 HAS SOUPS 816690 WITH SCORE 819304.204
AT ITER 235 NEW BEST:: SOT 4232099 SOS 2612188 HAS SOPS 2612188 HAS SOUS 816354 HAS SOUPS 816354 WITH SCORE 818966.188
AT ITER 236 NEW BEST:: SOT 4230333 SOS 2606890 HAS SOPS 2606890 HAS SOUS 815471 HAS SOUPS 815471 WITH SCORE 818077.89
AT ITER 256 NEW BEST:: SOT 4230153 SOS 2606440 HAS SOPS 2606440 HAS SOUS 815471 HAS SOUPS 815471 WITH SCORE 818077.44
AT ITER 260 NEW BEST:: SOT 4227142 SOS 2600156 HAS SOPS 2600156 HAS SOUS 814960 HAS SOUPS 814960 WITH SCORE 817560.156
AT ITER 267 NEW BEST:: SOT 4225834 SOS 2596884 HAS SOPS 2596884 HAS SOUS 814958 HAS SOUPS 814958 WITH SCORE 817554.884
AT ITER 271 NEW BEST:: SOT 4224674 SOS 2593463 HAS SOPS 2593463 HAS SOUS 814433 HAS SOUPS 814433 WITH SCORE 817026.463
AT ITER 272 NEW BEST:: SOT 4221612 SOS 2587333 HAS SOPS 2587333 HAS SOUS 814154 HAS SOUPS 814154 WITH SCORE 816741.333
AT ITER 279 NEW BEST:: SOT 4218330 SOS 2580764 HAS SOPS 2580764 HAS SOUS 813234 HAS SOUPS 813234 WITH SCORE 815814.764
AT ITER 280 NEW BEST:: SOT 4216882 SOS 2577143 HAS SOPS 2577143 HAS SOUS 813233 HAS SOUPS 813233 WITH SCORE 815810.143
AT ITER 286 NEW BEST:: SOT 4216148 SOS 2575308 HAS SOPS 2575308 HAS SOUS 813233 HAS SOUPS 813233 WITH SCORE 815808.308
AT ITER 290 NEW BEST:: SOT 4215326 SOS 2573250 HAS SOPS 2573250 HAS SOUS 813228 HAS SOUPS 813228 WITH SCORE 815801.25
AT ITER 294 NEW BEST:: SOT 4215326 SOS 2573248 HAS SOPS 2573248 HAS SOUS 813226 HAS SOUPS 813226 WITH SCORE 815799.248
AT ITER 297 NEW BEST:: SOT 4215416 SOS 2573230 HAS SOPS 2573230 HAS SOUS 813214 HAS SOUPS 813214 WITH SCORE 815787.23
AT ITER 304 NEW BEST:: SOT 4212574 SOS 2567543 HAS SOPS 2567543 HAS SOUS 813189 HAS SOUPS 813189 WITH SCORE 815756.543
AT ITER 306 NEW BEST:: SOT 4211718 SOS 2564975 HAS SOPS 2564975 HAS SOUS 812761 HAS SOUPS 812761 WITH SCORE 815325.975
AT ITER 311 NEW BEST:: SOT 4209436 SOS 2560232 HAS SOPS 2560232 HAS SOUS 812714 HAS SOUPS 812714 WITH SCORE 815274.232
AT ITER 313 NEW BEST:: SOT 4209000 SOS 2559045 HAS SOPS 2559045 HAS SOUS 812617 HAS SOUPS 812617 WITH SCORE 815176.045
AT ITER 329 NEW BEST:: SOT 4208904 SOS 2558805 HAS SOPS 2558805 HAS SOUS 812617 HAS SOUPS 812617 WITH SCORE 815175.805
AT ITER 343 NEW BEST:: SOT 4208428 SOS 2557428 HAS SOPS 2557428 HAS SOUS 812440 HAS SOUPS 812440 WITH SCORE 814997.428
AT ITER 345 NEW BEST:: SOT 4208240 SOS 2556403 HAS SOPS 2556403 HAS SOUS 812252 HAS SOUPS 812252 WITH SCORE 814808.403
AT ITER 359 NEW BEST:: SOT 4208018 SOS 2555848 HAS SOPS 2555848 HAS SOUS 812252 HAS SOUPS 812252 WITH SCORE 814807.848
AT ITER 373 NEW BEST:: SOT 4207418 SOS 2554346 HAS SOPS 2554346 HAS SOUS 812250 HAS SOUPS 812250 WITH SCORE 814804.346
AT ITER 378 NEW BEST:: SOT 4206102 SOS 2551056 HAS SOPS 2551056 HAS SOUS 812250 HAS SOUPS 812250 WITH SCORE 814801.056
AT ITER 380 NEW BEST:: SOT 4205167 SOS 2548590 HAS SOPS 2548590 HAS SOUS 812189 HAS SOUPS 812189 WITH SCORE 814737.59
AT ITER 383 NEW BEST:: SOT 4204817 SOS 2547715 HAS SOPS 2547715 HAS SOUS 812189 HAS SOUPS 812189 WITH SCORE 814736.715
AT ITER 392 NEW BEST:: SOT 4203919 SOS 2545469 HAS SOPS 2545469 HAS SOUS 812188 HAS SOUPS 812188 WITH SCORE 814733.469
AT ITER 402 NEW BEST:: SOT 4202750 SOS 2542196 HAS SOPS 2542196 HAS SOUS 812162 HAS SOUPS 812162 WITH SCORE 814704.196
AT ITER 403 NEW BEST:: SOT 4201858 SOS 2539818 HAS SOPS 2539818 HAS SOUS 812012 HAS SOUPS 812012 WITH SCORE 814551.818
AT ITER 409 NEW BEST:: SOT 4201714 SOS 2539386 HAS SOPS 2539386 HAS SOUS 811940 HAS SOUPS 811940 WITH SCORE 814479.386
AT ITER 415 NEW BEST:: SOT 4201020 SOS 2537648 HAS SOPS 2537648 HAS SOUS 811935 HAS SOUPS 811935 WITH SCORE 814472.648
AT ITER 429 NEW BEST:: SOT 4201005 SOS 2537618 HAS SOPS 2537618 HAS SOUS 811935 HAS SOUPS 811935 WITH SCORE 814472.618
AT ITER 444 NEW BEST:: SOT 4199441 SOS 2533705 HAS SOPS 2533705 HAS SOUS 811930 HAS SOUPS 811930 WITH SCORE 814463.705
AT ITER 452 NEW BEST:: SOT 4198197 SOS 2529973 HAS SOPS 2529973 HAS SOUS 811308 HAS SOUPS 811308 WITH SCORE 813837.973
AT ITER 468 NEW BEST:: SOT 4197849 SOS 2528929 HAS SOPS 2528929 HAS SOUS 811134 HAS SOUPS 811134 WITH SCORE 813662.929
AT ITER 471 NEW BEST:: SOT 4196391 SOS 2525283 HAS SOPS 2525283 HAS SOUS 811133 HAS SOUPS 811133 WITH SCORE 813658.283
AT ITER 482 NEW BEST:: SOT 4195909 SOS 2524077 HAS SOPS 2524077 HAS SOUS 811132 HAS SOUPS 811132 WITH SCORE 813656.077
AT ITER 494 NEW BEST:: SOT 4195047 SOS 2521919 HAS SOPS 2521919 HAS SOUS 811127 HAS SOUPS 811127 WITH SCORE 813648.919
AT ITER 500 NEW BEST:: SOT 4194569 SOS 2520724 HAS SOPS 2520724 HAS SOUS 811127 HAS SOUPS 811127 WITH SCORE 813647.724
AT ITER 522 NEW BEST:: SOT 4193909 SOS 2519073 HAS SOPS 2519073 HAS SOUS 811126 HAS SOUPS 811126 WITH SCORE 813645.073
AT ITER 533 NEW BEST:: SOT 4192839 SOS 2516398 HAS SOPS 2516398 HAS SOUS 811126 HAS SOUPS 811126 WITH SCORE 813642.398
AT ITER 539 NEW BEST:: SOT 4192051 SOS 2514426 HAS SOPS 2514426 HAS SOUS 811124 HAS SOUPS 811124 WITH SCORE 813638.426
AT ITER 541 NEW BEST:: SOT 4189186 SOS 2508691 HAS SOPS 2508691 HAS SOUS 810623 HAS SOUPS 810623 WITH SCORE 813131.691
AT ITER 555 NEW BEST:: SOT 4188724 SOS 2507536 HAS SOPS 2507536 HAS SOUS 810623 HAS SOUPS 810623 WITH SCORE 813130.536
AT ITER 583 NEW BEST:: SOT 4187398 SOS 2504218 HAS SOPS 2504218 HAS SOUS 810618 HAS SOUPS 810618 WITH SCORE 813122.218
AT ITER 597 NEW BEST:: SOT 4186758 SOS 2502618 HAS SOPS 2502618 HAS SOUS 810618 HAS SOUPS 810618 WITH SCORE 813120.618
AT ITER 600 NEW BEST:: SOT 4186086 SOS 2500678 HAS SOPS 2500678 HAS SOUS 810358 HAS SOUPS 810358 WITH SCORE 812858.678
AT ITER 616 NEW BEST:: SOT 4182857 SOS 2494217 HAS SOPS 2494217 HAS SOUS 809800 HAS SOUPS 809800 WITH SCORE 812294.217
AT ITER 625 NEW BEST:: SOT 4181737 SOS 2491417 HAS SOPS 2491417 HAS SOUS 809800 HAS SOUPS 809800 WITH SCORE 812291.417
AT ITER 632 NEW BEST:: SOT 4180751 SOS 2488951 HAS SOPS 2488951 HAS SOUS 809799 HAS SOUPS 809799 WITH SCORE 812287.951
AT ITER 641 NEW BEST:: SOT 4180461 SOS 2488063 HAS SOPS 2488063 HAS SOUS 809663 HAS SOUPS 809663 WITH SCORE 812151.063
AT ITER 642 NEW BEST:: SOT 4180461 SOS 2488062 HAS SOPS 2488062 HAS SOUS 809662 HAS SOUPS 809662 WITH SCORE 812150.062
AT ITER 652 NEW BEST:: SOT 4180261 SOS 2487559 HAS SOPS 2487559 HAS SOUS 809657 HAS SOUPS 809657 WITH SCORE 812144.559
AT ITER 659 NEW BEST:: SOT 4179845 SOS 2486518 HAS SOPS 2486518 HAS SOUS 809656 HAS SOUPS 809656 WITH SCORE 812142.518
AT ITER 661 NEW BEST:: SOT 4179197 SOS 2485220 HAS SOPS 2485220 HAS SOUS 809438 HAS SOUPS 809438 WITH SCORE 811923.22
AT ITER 663 NEW BEST:: SOT 4178109 SOS 2482099 HAS SOPS 2482099 HAS SOUS 809109 HAS SOUPS 809109 WITH SCORE 811591.099
AT ITER 665 NEW BEST:: SOT 4176133 SOS 2477157 HAS SOPS 2477157 HAS SOUS 809107 HAS SOUPS 809107 WITH SCORE 811584.157
AT ITER 666 NEW BEST:: SOT 4174059 SOS 2471971 HAS SOPS 2471971 HAS SOUS 809106 HAS SOUPS 809106 WITH SCORE 811577.971
AT ITER 668 NEW BEST:: SOT 4174259 SOS 2472056 HAS SOPS 2472056 HAS SOUS 809017 HAS SOUPS 809017 WITH SCORE 811489.056
AT ITER 669 NEW BEST:: SOT 4172301 SOS 2467161 HAS SOPS 2467161 HAS SOUS 809017 HAS SOUPS 809017 WITH SCORE 811484.161
AT ITER 673 NEW BEST:: SOT 4171260 SOS 2463244 HAS SOPS 2463244 HAS SOUS 808978 HAS SOUPS 808978 WITH SCORE 811441.244
AT ITER 694 NEW BEST:: SOT 4170572 SOS 2461523 HAS SOPS 2461523 HAS SOUS 808977 HAS SOUPS 808977 WITH SCORE 811438.523
AT ITER 703 NEW BEST:: SOT 4169224 SOS 2457809 HAS SOPS 2457809 HAS SOUS 808633 HAS SOUPS 808633 WITH SCORE 811090.809
AT ITER 706 NEW BEST:: SOT 4167752 SOS 2454129 HAS SOPS 2454129 HAS SOUS 808633 HAS SOUPS 808633 WITH SCORE 811087.129
AT ITER 712 NEW BEST:: SOT 4166548 SOS 2451116 HAS SOPS 2451116 HAS SOUS 808628 HAS SOUPS 808628 WITH SCORE 811079.116
AT ITER 717 NEW BEST:: SOT 4163412 SOS 2444839 HAS SOPS 2444839 HAS SOUS 807792 HAS SOUPS 807792 WITH SCORE 810236.839
AT ITER 722 NEW BEST:: SOT 4163116 SOS 2443951 HAS SOPS 2443951 HAS SOUS 807644 HAS SOUPS 807644 WITH SCORE 810087.951
AT ITER 734 NEW BEST:: SOT 4161820 SOS 2440063 HAS SOPS 2440063 HAS SOUS 806994 HAS SOUPS 806994 WITH SCORE 809434.063
AT ITER 741 NEW BEST:: SOT 4161588 SOS 2439407 HAS SOPS 2439407 HAS SOUS 806918 HAS SOUPS 806918 WITH SCORE 809357.407
AT ITER 742 NEW BEST:: SOT 4158499 SOS 2432900 HAS SOPS 2432900 HAS SOUS 806167 HAS SOUPS 806167 WITH SCORE 808599.9
AT ITER 748 NEW BEST:: SOT 4156851 SOS 2428777 HAS SOPS 2428777 HAS SOUS 806162 HAS SOUPS 806162 WITH SCORE 808590.777
AT ITER 753 NEW BEST:: SOT 4154863 SOS 2423806 HAS SOPS 2423806 HAS SOUS 806161 HAS SOUPS 806161 WITH SCORE 808584.806
AT ITER 765 NEW BEST:: SOT 4154146 SOS 2422370 HAS SOPS 2422370 HAS SOUS 805920 HAS SOUPS 805920 WITH SCORE 808342.37
AT ITER 772 NEW BEST:: SOT 4152934 SOS 2419337 HAS SOPS 2419337 HAS SOUS 805915 HAS SOUPS 805915 WITH SCORE 808334.337
AT ITER 787 NEW BEST:: SOT 4152046 SOS 2417116 HAS SOPS 2417116 HAS SOUS 805914 HAS SOUPS 805914 WITH SCORE 808331.116
AT ITER 788 NEW BEST:: SOT 4150958 SOS 2413852 HAS SOPS 2413852 HAS SOUS 805368 HAS SOUPS 805368 WITH SCORE 807781.852
AT ITER 793 NEW BEST:: SOT 4150086 SOS 2411671 HAS SOPS 2411671 HAS SOUS 805367 HAS SOUPS 805367 WITH SCORE 807778.671
AT ITER 797 NEW BEST:: SOT 4148660 SOS 2407502 HAS SOPS 2407502 HAS SOUS 804763 HAS SOUPS 804763 WITH SCORE 807170.502
AT ITER 799 NEW BEST:: SOT 4148570 SOS 2407230 HAS SOPS 2407230 HAS SOUS 804671 HAS SOUPS 804671 WITH SCORE 807078.23
AT ITER 801 NEW BEST:: SOT 4147722 SOS 2404966 HAS SOPS 2404966 HAS SOUS 804668 HAS SOUPS 804668 WITH SCORE 807072.966
AT ITER 835 NEW BEST:: SOT 4147156 SOS 2403551 HAS SOPS 2403551 HAS SOUS 804668 HAS SOUPS 804668 WITH SCORE 807071.551
AT ITER 841 NEW BEST:: SOT 4145878 SOS 2400355 HAS SOPS 2400355 HAS SOUS 804667 HAS SOUPS 804667 WITH SCORE 807067.355
AT ITER 851 NEW BEST:: SOT 4144572 SOS 2397089 HAS SOPS 2397089 HAS SOUS 804666 HAS SOUPS 804666 WITH SCORE 807063.089
AT ITER 855 NEW BEST:: SOT 4144572 SOS 2397086 HAS SOPS 2397086 HAS SOUS 804661 HAS SOUPS 804661 WITH SCORE 807058.086
AT ITER 862 NEW BEST:: SOT 4144352 SOS 2396536 HAS SOPS 2396536 HAS SOUS 804661 HAS SOUPS 804661 WITH SCORE 807057.536
AT ITER 878 NEW BEST:: SOT 4144094 SOS 2395504 HAS SOPS 2395504 HAS SOUS 804661 HAS SOUPS 804661 WITH SCORE 807056.504
AT ITER 882 NEW BEST:: SOT 4142430 SOS 2391341 HAS SOPS 2391341 HAS SOUS 804656 HAS SOUPS 804656 WITH SCORE 807047.341
AT ITER 892 NEW BEST:: SOT 4142430 SOS 2391180 HAS SOPS 2391180 HAS SOUS 804493 HAS SOUPS 804493 WITH SCORE 806884.18
AT ITER 893 NEW BEST:: SOT 4140669 SOS 2387071 HAS SOPS 2387071 HAS SOUS 803317 HAS SOUPS 803317 WITH SCORE 805704.071
AT ITER 930 NEW BEST:: SOT 4140441 SOS 2386150 HAS SOPS 2386150 HAS SOUS 802852 HAS SOUPS 802852 WITH SCORE 805238.15
AT ITER 935 NEW BEST:: SOT 4139505 SOS 2383400 HAS SOPS 2383400 HAS SOUS 802440 HAS SOUPS 802440 WITH SCORE 804823.4
AT ITER 940 NEW BEST:: SOT 4139117 SOS 2382236 HAS SOPS 2382236 HAS SOUS 802246 HAS SOUPS 802246 WITH SCORE 804628.236
AT ITER 944 NEW BEST:: SOT 4138059 SOS 2379080 HAS SOPS 2379080 HAS SOUS 801639 HAS SOUPS 801639 WITH SCORE 804018.08
AT ITER 951 NEW BEST:: SOT 4136145 SOS 2375249 HAS SOPS 2375249 HAS SOUS 800996 HAS SOUPS 800996 WITH SCORE 803371.249
AT ITER 956 NEW BEST:: SOT 4134847 SOS 2372003 HAS SOPS 2372003 HAS SOUS 800995 HAS SOUPS 800995 WITH SCORE 803367.003
AT ITER 961 NEW BEST:: SOT 4134847 SOS 2371764 HAS SOPS 2371764 HAS SOUS 800756 HAS SOUPS 800756 WITH SCORE 803127.764
AT ITER 965 NEW BEST:: SOT 4133949 SOS 2369518 HAS SOPS 2369518 HAS SOUS 800755 HAS SOUPS 800755 WITH SCORE 803124.518
AT ITER 975 NEW BEST:: SOT 4133949 SOS 2369476 HAS SOPS 2369476 HAS SOUS 800707 HAS SOUPS 800707 WITH SCORE 803076.476
AT ITER 996 NEW BEST:: SOT 4132325 SOS 2365413 HAS SOPS 2365413 HAS SOUS 800702 HAS SOUPS 800702 WITH SCORE 803067.413
AT ITER 999 NEW BEST:: SOT 4130946 SOS 2362652 HAS SOPS 2362652 HAS SOUS 800672 HAS SOUPS 800672 WITH SCORE 803034.652
AT ITER 1026 NEW BEST:: SOT 4129690 SOS 2358965 HAS SOPS 2358965 HAS SOUS 800450 HAS SOUPS 800450 WITH SCORE 802808.965
AT ITER 1043 NEW BEST:: SOT 4129584 SOS 2358645 HAS SOPS 2358645 HAS SOUS 800448 HAS SOUPS 800448 WITH SCORE 802806.645
AT ITER 1051 NEW BEST:: SOT 4129049 SOS 2358271 HAS SOPS 2358271 HAS SOUS 800235 HAS SOUPS 800235 WITH SCORE 802593.271
AT ITER 1052 NEW BEST:: SOT 4128853 SOS 2357779 HAS SOPS 2357779 HAS SOUS 800233 HAS SOUPS 800233 WITH SCORE 802590.779
AT ITER 1054 NEW BEST:: SOT 4128185 SOS 2356108 HAS SOPS 2356108 HAS SOUS 800232 HAS SOUPS 800232 WITH SCORE 802588.108
AT ITER 1069 NEW BEST:: SOT 4126865 SOS 2352806 HAS SOPS 2352806 HAS SOUS 800230 HAS SOUPS 800230 WITH SCORE 802582.806
AT ITER 1073 NEW BEST:: SOT 4126629 SOS 2352098 HAS SOPS 2352098 HAS SOUS 800108 HAS SOUPS 800108 WITH SCORE 802460.098
AT ITER 1075 NEW BEST:: SOT 4124713 SOS 2347308 HAS SOPS 2347308 HAS SOUS 800108 HAS SOUPS 800108 WITH SCORE 802455.308
AT ITER 1078 NEW BEST:: SOT 4123621 SOS 2344576 HAS SOPS 2344576 HAS SOUS 800106 HAS SOUPS 800106 WITH SCORE 802450.576
AT ITER 1081 NEW BEST:: SOT 4123775 SOS 2345000 HAS SOPS 2345000 HAS SOUS 800028 HAS SOUPS 800028 WITH SCORE 802373.0
AT ITER 1089 NEW BEST:: SOT 4123197 SOS 2343553 HAS SOPS 2343553 HAS SOUS 800026 HAS SOUPS 800026 WITH SCORE 802369.553
AT ITER 1098 NEW BEST:: SOT 4121311 SOS 2338837 HAS SOPS 2338837 HAS SOUS 800025 HAS SOUPS 800025 WITH SCORE 802363.837
AT ITER 1109 NEW BEST:: SOT 4120657 SOS 2337089 HAS SOPS 2337089 HAS SOUS 800025 HAS SOUPS 800025 WITH SCORE 802362.089
AT ITER 1122 NEW BEST:: SOT 4118833 SOS 2332528 HAS SOPS 2332528 HAS SOUS 800024 HAS SOUPS 800024 WITH SCORE 802356.528
AT ITER 1123 NEW BEST:: SOT 4117927 SOS 2329740 HAS SOPS 2329740 HAS SOUS 799780 HAS SOUPS 799780 WITH SCORE 802109.74
AT ITER 1124 NEW BEST:: SOT 4117884 SOS 2329613 HAS SOPS 2329613 HAS SOUS 799756 HAS SOUPS 799756 WITH SCORE 802085.613
AT ITER 1125 NEW BEST:: SOT 4117136 SOS 2326953 HAS SOPS 2326953 HAS SOUS 799662 HAS SOUPS 799662 WITH SCORE 801988.953
AT ITER 1136 NEW BEST:: SOT 4117076 SOS 2326832 HAS SOPS 2326832 HAS SOUS 799660 HAS SOUPS 799660 WITH SCORE 801986.832
AT ITER 1144 NEW BEST:: SOT 4116994 SOS 2326586 HAS SOPS 2326586 HAS SOUS 799619 HAS SOUPS 799619 WITH SCORE 801945.586
AT ITER 1162 NEW BEST:: SOT 4116066 SOS 2324265 HAS SOPS 2324265 HAS SOUS 799618 HAS SOUPS 799618 WITH SCORE 801942.265
AT ITER 1192 NEW BEST:: SOT 4115998 SOS 2324061 HAS SOPS 2324061 HAS SOUS 799584 HAS SOUPS 799584 WITH SCORE 801908.061
AT ITER 1203 NEW BEST:: SOT 4115470 SOS 2322477 HAS SOPS 2322477 HAS SOUS 799318 HAS SOUPS 799318 WITH SCORE 801640.477
AT ITER 1216 NEW BEST:: SOT 4115470 SOS 2322475 HAS SOPS 2322475 HAS SOUS 799316 HAS SOUPS 799316 WITH SCORE 801638.475
AT ITER 1219 NEW BEST:: SOT 4115394 SOS 2322247 HAS SOPS 2322247 HAS SOUS 799276 HAS SOUPS 799276 WITH SCORE 801598.247
AT ITER 1231 NEW BEST:: SOT 4115368 SOS 2322195 HAS SOPS 2322195 HAS SOUS 799250 HAS SOUPS 799250 WITH SCORE 801572.195
AT ITER 1238 NEW BEST:: SOT 4114834 SOS 2320859 HAS SOPS 2320859 HAS SOUS 799249 HAS SOUPS 799249 WITH SCORE 801569.859
AT ITER 1244 NEW BEST:: SOT 4113664 SOS 2317931 HAS SOPS 2317931 HAS SOUS 799244 HAS SOUPS 799244 WITH SCORE 801561.931
AT ITER 1250 NEW BEST:: SOT 4113586 SOS 2317736 HAS SOPS 2317736 HAS SOUS 799244 HAS SOUPS 799244 WITH SCORE 801561.736
AT ITER 1252 NEW BEST:: SOT 4111176 SOS 2310896 HAS SOPS 2310896 HAS SOUS 798786 HAS SOUPS 798786 WITH SCORE 801096.896
AT ITER 1265 NEW BEST:: SOT 4110840 SOS 2310056 HAS SOPS 2310056 HAS SOUS 798786 HAS SOUPS 798786 WITH SCORE 801096.056
AT ITER 1284 NEW BEST:: SOT 4109076 SOS 2304839 HAS SOPS 2304839 HAS SOUS 798231 HAS SOUPS 798231 WITH SCORE 800535.839
AT ITER 1299 NEW BEST:: SOT 4108346 SOS 2303013 HAS SOPS 2303013 HAS SOUS 798230 HAS SOUPS 798230 WITH SCORE 800533.013
AT ITER 1315 NEW BEST:: SOT 4108214 SOS 2302749 HAS SOPS 2302749 HAS SOUS 798098 HAS SOUPS 798098 WITH SCORE 800400.749
AT ITER 1320 NEW BEST:: SOT 4108253 SOS 2302866 HAS SOPS 2302866 HAS SOUS 798059 HAS SOUPS 798059 WITH SCORE 800361.866
AT ITER 1339 NEW BEST:: SOT 4106903 SOS 2299489 HAS SOPS 2299489 HAS SOUS 798057 HAS SOUPS 798057 WITH SCORE 800356.489
AT ITER 1340 NEW BEST:: SOT 4105769 SOS 2295685 HAS SOPS 2295685 HAS SOUS 798033 HAS SOUPS 798033 WITH SCORE 800328.685
AT ITER 1357 NEW BEST:: SOT 4104791 SOS 2293044 HAS SOPS 2293044 HAS SOUS 797897 HAS SOUPS 797897 WITH SCORE 800190.044
AT ITER 1359 NEW BEST:: SOT 4103345 SOS 2289427 HAS SOPS 2289427 HAS SOUS 797895 HAS SOUPS 797895 WITH SCORE 800184.427
AT ITER 1374 NEW BEST:: SOT 4102619 SOS 2287610 HAS SOPS 2287610 HAS SOUS 797893 HAS SOUPS 797893 WITH SCORE 800180.61
AT ITER 1375 NEW BEST:: SOT 4101935 SOS 2285899 HAS SOPS 2285899 HAS SOUS 797892 HAS SOUPS 797892 WITH SCORE 800177.899
AT ITER 1380 NEW BEST:: SOT 4100294 SOS 2281123 HAS SOPS 2281123 HAS SOUS 797490 HAS SOUPS 797490 WITH SCORE 799771.123
AT ITER 1393 NEW BEST:: SOT 4100063 SOS 2280460 HAS SOPS 2280460 HAS SOUS 797484 HAS SOUPS 797484 WITH SCORE 799764.46
AT ITER 1394 NEW BEST:: SOT 4099777 SOS 2279745 HAS SOPS 2279745 HAS SOUS 797484 HAS SOUPS 797484 WITH SCORE 799763.745
AT ITER 1403 NEW BEST:: SOT 4097903 SOS 2274123 HAS SOPS 2274123 HAS SOUS 796547 HAS SOUPS 796547 WITH SCORE 798821.123
AT ITER 1404 NEW BEST:: SOT 4096885 SOS 2271104 HAS SOPS 2271104 HAS SOUS 796210 HAS SOUPS 796210 WITH SCORE 798481.104
AT ITER 1410 NEW BEST:: SOT 4095619 SOS 2267322 HAS SOPS 2267322 HAS SOUS 795807 HAS SOUPS 795807 WITH SCORE 798074.322
AT ITER 1421 NEW BEST:: SOT 4094778 SOS 2265640 HAS SOPS 2265640 HAS SOUS 794966 HAS SOUPS 794966 WITH SCORE 797231.64
AT ITER 1430 NEW BEST:: SOT 4093265 SOS 2261474 HAS SOPS 2261474 HAS SOUS 794872 HAS SOUPS 794872 WITH SCORE 797133.474
AT ITER 1438 NEW BEST:: SOT 4093265 SOS 2260839 HAS SOPS 2260839 HAS SOUS 794297 HAS SOUPS 794297 WITH SCORE 796557.839
AT ITER 1440 NEW BEST:: SOT 4092957 SOS 2260068 HAS SOPS 2260068 HAS SOUS 794296 HAS SOUPS 794296 WITH SCORE 796556.068
AT ITER 1454 NEW BEST:: SOT 4092705 SOS 2259325 HAS SOPS 2259325 HAS SOUS 794294 HAS SOUPS 794294 WITH SCORE 796553.325
AT ITER 1463 NEW BEST:: SOT 4090789 SOS 2253690 HAS SOPS 2253690 HAS SOUS 793449 HAS SOUPS 793449 WITH SCORE 795702.69
AT ITER 1464 NEW BEST:: SOT 4090519 SOS 2252880 HAS SOPS 2252880 HAS SOUS 793312 HAS SOUPS 793312 WITH SCORE 795564.88
AT ITER 1480 NEW BEST:: SOT 4090067 SOS 2251524 HAS SOPS 2251524 HAS SOUS 793084 HAS SOUPS 793084 WITH SCORE 795335.524
AT ITER 1487 NEW BEST:: SOT 4089477 SOS 2250047 HAS SOPS 2250047 HAS SOUS 793082 HAS SOUPS 793082 WITH SCORE 795332.047
AT ITER 1491 NEW BEST:: SOT 4089477 SOS 2250045 HAS SOPS 2250045 HAS SOUS 793080 HAS SOUPS 793080 WITH SCORE 795330.045
AT ITER 1503 NEW BEST:: SOT 4088277 SOS 2247593 HAS SOPS 2247593 HAS SOUS 792713 HAS SOUPS 792713 WITH SCORE 794960.593
AT ITER 1510 NEW BEST:: SOT 4087804 SOS 2246102 HAS SOPS 2246102 HAS SOUS 792367 HAS SOUPS 792367 WITH SCORE 794613.102
AT ITER 1535 NEW BEST:: SOT 4087328 SOS 2244911 HAS SOPS 2244911 HAS SOUS 792366 HAS SOUPS 792366 WITH SCORE 794610.911
AT ITER 1544 NEW BEST:: SOT 4086166 SOS 2242005 HAS SOPS 2242005 HAS SOUS 792365 HAS SOUPS 792365 WITH SCORE 794607.005
AT ITER 1546 NEW BEST:: SOT 4085653 SOS 2240463 HAS SOPS 2240463 HAS SOUS 792110 HAS SOUPS 792110 WITH SCORE 794350.463
AT ITER 1554 NEW BEST:: SOT 4084527 SOS 2237645 HAS SOPS 2237645 HAS SOUS 792105 HAS SOUPS 792105 WITH SCORE 794342.645
AT ITER 1555 NEW BEST:: SOT 4084015 SOS 2235805 HAS SOPS 2235805 HAS SOUS 792001 HAS SOUPS 792001 WITH SCORE 794236.805
AT ITER 1559 NEW BEST:: SOT 4083071 SOS 2232973 HAS SOPS 2232973 HAS SOUS 791527 HAS SOUPS 791527 WITH SCORE 793759.973
AT ITER 1588 NEW BEST:: SOT 4083071 SOS 2232885 HAS SOPS 2232885 HAS SOUS 791439 HAS SOUPS 791439 WITH SCORE 793671.885
AT ITER 1597 NEW BEST:: SOT 4082906 SOS 2232500 HAS SOPS 2232500 HAS SOUS 791327 HAS SOUPS 791327 WITH SCORE 793559.5
AT ITER 1598 NEW BEST:: SOT 4082806 SOS 2232250 HAS SOPS 2232250 HAS SOUS 791327 HAS SOUPS 791327 WITH SCORE 793559.25
AT ITER 1601 NEW BEST:: SOT 4081509 SOS 2228511 HAS SOPS 2228511 HAS SOUS 790965 HAS SOUPS 790965 WITH SCORE 793193.511
AT ITER 1608 NEW BEST:: SOT 4080738 SOS 2226966 HAS SOPS 2226966 HAS SOUS 790703 HAS SOUPS 790703 WITH SCORE 792929.966
AT ITER 1610 NEW BEST:: SOT 4080220 SOS 2225412 HAS SOPS 2225412 HAS SOUS 790444 HAS SOUPS 790444 WITH SCORE 792669.412
AT ITER 1611 NEW BEST:: SOT 4079410 SOS 2223051 HAS SOPS 2223051 HAS SOUS 790106 HAS SOUPS 790106 WITH SCORE 792329.051
AT ITER 1636 NEW BEST:: SOT 4078374 SOS 2220458 HAS SOPS 2220458 HAS SOUS 790101 HAS SOUPS 790101 WITH SCORE 792321.458
AT ITER 1654 NEW BEST:: SOT 4078018 SOS 2219744 HAS SOPS 2219744 HAS SOUS 790099 HAS SOUPS 790099 WITH SCORE 792318.744
AT ITER 1677 NEW BEST:: SOT 4077592 SOS 2218677 HAS SOPS 2218677 HAS SOUS 790097 HAS SOUPS 790097 WITH SCORE 792315.677
AT ITER 1687 NEW BEST:: SOT 4076980 SOS 2216841 HAS SOPS 2216841 HAS SOUS 789791 HAS SOUPS 789791 WITH SCORE 792007.841
AT ITER 1693 NEW BEST:: SOT 4076616 SOS 2215929 HAS SOPS 2215929 HAS SOUS 789789 HAS SOUPS 789789 WITH SCORE 792004.929
AT ITER 1709 NEW BEST:: SOT 4074972 SOS 2211071 HAS SOPS 2211071 HAS SOUS 789308 HAS SOUPS 789308 WITH SCORE 791519.071
AT ITER 1724 NEW BEST:: SOT 4073912 SOS 2208420 HAS SOPS 2208420 HAS SOUS 789307 HAS SOUPS 789307 WITH SCORE 791515.42
AT ITER 1732 NEW BEST:: SOT 4073238 SOS 2206398 HAS SOPS 2206398 HAS SOUS 788970 HAS SOUPS 788970 WITH SCORE 791176.398
AT ITER 1754 NEW BEST:: SOT 4073238 SOS 2206397 HAS SOPS 2206397 HAS SOUS 788969 HAS SOUPS 788969 WITH SCORE 791175.397
AT ITER 1758 NEW BEST:: SOT 4071901 SOS 2202552 HAS SOPS 2202552 HAS SOUS 788645 HAS SOUPS 788645 WITH SCORE 790847.552
AT ITER 1770 NEW BEST:: SOT 4070907 SOS 2200065 HAS SOPS 2200065 HAS SOUS 788643 HAS SOUPS 788643 WITH SCORE 790843.065
AT ITER 1774 NEW BEST:: SOT 4069919 SOS 2197594 HAS SOPS 2197594 HAS SOUS 788642 HAS SOUPS 788642 WITH SCORE 790839.594
AT ITER 1775 NEW BEST:: SOT 4069260 SOS 2195689 HAS SOPS 2195689 HAS SOUS 788602 HAS SOUPS 788602 WITH SCORE 790797.689
AT ITER 1778 NEW BEST:: SOT 4069016 SOS 2195079 HAS SOPS 2195079 HAS SOUS 788602 HAS SOUPS 788602 WITH SCORE 790797.079
AT ITER 1792 NEW BEST:: SOT 4068886 SOS 2194689 HAS SOPS 2194689 HAS SOUS 788537 HAS SOUPS 788537 WITH SCORE 790731.689
AT ITER 1804 NEW BEST:: SOT 4068686 SOS 2194289 HAS SOPS 2194289 HAS SOUS 788337 HAS SOUPS 788337 WITH SCORE 790531.289
AT ITER 1811 NEW BEST:: SOT 4068512 SOS 2193883 HAS SOPS 2193883 HAS SOUS 788219 HAS SOUPS 788219 WITH SCORE 790412.883
AT ITER 1813 NEW BEST:: SOT 4066222 SOS 2188151 HAS SOPS 2188151 HAS SOUS 787702 HAS SOUPS 787702 WITH SCORE 789890.151
AT ITER 1824 NEW BEST:: SOT 4065428 SOS 2185615 HAS SOPS 2185615 HAS SOUS 787628 HAS SOUPS 787628 WITH SCORE 789813.615
AT ITER 1826 NEW BEST:: SOT 4065269 SOS 2185244 HAS SOPS 2185244 HAS SOUS 787518 HAS SOUPS 787518 WITH SCORE 789703.244
AT ITER 1827 NEW BEST:: SOT 4064607 SOS 2183588 HAS SOPS 2183588 HAS SOUS 787517 HAS SOUPS 787517 WITH SCORE 789700.588
AT ITER 1834 NEW BEST:: SOT 4064607 SOS 2183587 HAS SOPS 2183587 HAS SOUS 787516 HAS SOUPS 787516 WITH SCORE 789699.587
AT ITER 1837 NEW BEST:: SOT 4061555 SOS 2176883 HAS SOPS 2176883 HAS SOUS 786897 HAS SOUPS 786897 WITH SCORE 789073.883
AT ITER 1838 NEW BEST:: SOT 4060967 SOS 2174989 HAS SOPS 2174989 HAS SOUS 786879 HAS SOUPS 786879 WITH SCORE 789053.989
AT ITER 1848 NEW BEST:: SOT 4060308 SOS 2173665 HAS SOPS 2173665 HAS SOUS 786786 HAS SOUPS 786786 WITH SCORE 788959.665
AT ITER 1853 NEW BEST:: SOT 4059728 SOS 2172215 HAS SOPS 2172215 HAS SOUS 786786 HAS SOUPS 786786 WITH SCORE 788958.215
AT ITER 1859 NEW BEST:: SOT 4059654 SOS 2172030 HAS SOPS 2172030 HAS SOUS 786786 HAS SOUPS 786786 WITH SCORE 788958.03
AT ITER 1862 NEW BEST:: SOT 4058542 SOS 2168782 HAS SOPS 2168782 HAS SOUS 786688 HAS SOUPS 786688 WITH SCORE 788856.782
AT ITER 1864 NEW BEST:: SOT 4058542 SOS 2168488 HAS SOPS 2168488 HAS SOUS 786392 HAS SOUPS 786392 WITH SCORE 788560.488
AT ITER 1874 NEW BEST:: SOT 4057576 SOS 2165860 HAS SOPS 2165860 HAS SOUS 786359 HAS SOUPS 786359 WITH SCORE 788524.86
AT ITER 1878 NEW BEST:: SOT 4057556 SOS 2165800 HAS SOPS 2165800 HAS SOUS 786349 HAS SOUPS 786349 WITH SCORE 788514.8
AT ITER 1884 NEW BEST:: SOT 4055134 SOS 2160571 HAS SOPS 2160571 HAS SOUS 786237 HAS SOUPS 786237 WITH SCORE 788397.571
AT ITER 1890 NEW BEST:: SOT 4054031 SOS 2157190 HAS SOPS 2157190 HAS SOUS 785999 HAS SOUPS 785999 WITH SCORE 788156.19
AT ITER 1895 NEW BEST:: SOT 4053929 SOS 2156884 HAS SOPS 2156884 HAS SOUS 785948 HAS SOUPS 785948 WITH SCORE 788104.884
AT ITER 1905 NEW BEST:: SOT 4053929 SOS 2156883 HAS SOPS 2156883 HAS SOUS 785947 HAS SOUPS 785947 WITH SCORE 788103.883
AT ITER 1909 NEW BEST:: SOT 4053929 SOS 2156439 HAS SOPS 2156439 HAS SOUS 785501 HAS SOUPS 785501 WITH SCORE 787657.439
AT ITER 1925 NEW BEST:: SOT 4053248 SOS 2154489 HAS SOPS 2154489 HAS SOUS 785309 HAS SOUPS 785309 WITH SCORE 787463.489
AT ITER 1937 NEW BEST:: SOT 4053188 SOS 2154368 HAS SOPS 2154368 HAS SOUS 785288 HAS SOUPS 785288 WITH SCORE 787442.368
AT ITER 1959 NEW BEST:: SOT 4051502 SOS 2149129 HAS SOPS 2149129 HAS SOUS 784596 HAS SOUPS 784596 WITH SCORE 786745.129
AT ITER 1962 NEW BEST:: SOT 4050734 SOS 2146825 HAS SOPS 2146825 HAS SOUS 784212 HAS SOUPS 784212 WITH SCORE 786358.825
AT ITER 1966 NEW BEST:: SOT 4050181 SOS 2145396 HAS SOPS 2145396 HAS SOUS 784086 HAS SOUPS 784086 WITH SCORE 786231.396
AT ITER 1974 NEW BEST:: SOT 4049357 SOS 2143336 HAS SOPS 2143336 HAS SOUS 784086 HAS SOUPS 784086 WITH SCORE 786229.336
AT ITER 1983 NEW BEST:: SOT 4048146 SOS 2139572 HAS SOPS 2139572 HAS SOUS 783910 HAS SOUPS 783910 WITH SCORE 786049.572
AT ITER 1984 NEW BEST:: SOT 4047968 SOS 2139216 HAS SOPS 2139216 HAS SOUS 783689 HAS SOUPS 783689 WITH SCORE 785828.216
AT ITER 1985 NEW BEST:: SOT 4047908 SOS 2139063 HAS SOPS 2139063 HAS SOUS 783684 HAS SOUPS 783684 WITH SCORE 785823.063
AT ITER 1997 NEW BEST:: SOT 4045620 SOS 2132222 HAS SOPS 2132222 HAS SOUS 782995 HAS SOUPS 782995 WITH SCORE 785127.222
AT ITER 2002 NEW BEST:: SOT 4045557 SOS 2132096 HAS SOPS 2132096 HAS SOUS 782965 HAS SOUPS 782965 WITH SCORE 785097.096
AT ITER 2003 NEW BEST:: SOT 4044859 SOS 2130351 HAS SOPS 2130351 HAS SOUS 782965 HAS SOUPS 782965 WITH SCORE 785095.351
AT ITER 2013 NEW BEST:: SOT 4044304 SOS 2129056 HAS SOPS 2129056 HAS SOUS 782593 HAS SOUPS 782593 WITH SCORE 784722.056
AT ITER 2029 NEW BEST:: SOT 4043257 SOS 2125726 HAS SOPS 2125726 HAS SOUS 782164 HAS SOUPS 782164 WITH SCORE 784289.726
AT ITER 2032 NEW BEST:: SOT 4042749 SOS 2123880 HAS SOPS 2123880 HAS SOUS 781891 HAS SOUPS 781891 WITH SCORE 784014.88
AT ITER 2051 NEW BEST:: SOT 4041315 SOS 2120534 HAS SOPS 2120534 HAS SOUS 780933 HAS SOUPS 780933 WITH SCORE 783053.534
AT ITER 2058 NEW BEST:: SOT 4039592 SOS 2115361 HAS SOPS 2115361 HAS SOUS 780579 HAS SOUPS 780579 WITH SCORE 782694.361
AT ITER 2083 NEW BEST:: SOT 4039058 SOS 2114026 HAS SOPS 2114026 HAS SOUS 780579 HAS SOUPS 780579 WITH SCORE 782693.026
AT ITER 2097 NEW BEST:: SOT 4038415 SOS 2111955 HAS SOPS 2111955 HAS SOUS 780467 HAS SOUPS 780467 WITH SCORE 782578.955
AT ITER 2117 NEW BEST:: SOT 4038139 SOS 2111091 HAS SOPS 2111091 HAS SOUS 780347 HAS SOUPS 780347 WITH SCORE 782458.091
AT ITER 2129 NEW BEST:: SOT 4037672 SOS 2110157 HAS SOPS 2110157 HAS SOUS 779880 HAS SOUPS 779880 WITH SCORE 781990.157
AT ITER 2140 NEW BEST:: SOT 4035911 SOS 2104984 HAS SOPS 2104984 HAS SOUS 779447 HAS SOUPS 779447 WITH SCORE 781551.984
AT ITER 2163 NEW BEST:: SOT 4036032 SOS 2105043 HAS SOPS 2105043 HAS SOUS 779385 HAS SOUPS 779385 WITH SCORE 781490.043
AT ITER 2184 NEW BEST:: SOT 4035834 SOS 2104449 HAS SOPS 2104449 HAS SOUS 779286 HAS SOUPS 779286 WITH SCORE 781390.449
AT ITER 2193 NEW BEST:: SOT 4034971 SOS 2101849 HAS SOPS 2101849 HAS SOUS 779215 HAS SOUPS 779215 WITH SCORE 781316.849
AT ITER 2199 NEW BEST:: SOT 4032797 SOS 2096412 HAS SOPS 2096412 HAS SOUS 779213 HAS SOUPS 779213 WITH SCORE 781309.412
AT ITER 2217 NEW BEST:: SOT 4032629 SOS 2096020 HAS SOPS 2096020 HAS SOUS 778989 HAS SOUPS 778989 WITH SCORE 781085.02
AT ITER 2227 NEW BEST:: SOT 4031439 SOS 2093043 HAS SOPS 2093043 HAS SOUS 778987 HAS SOUPS 778987 WITH SCORE 781080.043
AT ITER 2228 NEW BEST:: SOT 4031399 SOS 2092963 HAS SOPS 2092963 HAS SOUS 778937 HAS SOUPS 778937 WITH SCORE 781029.963
AT ITER 2233 NEW BEST:: SOT 4030663 SOS 2090755 HAS SOPS 2090755 HAS SOUS 778567 HAS SOUPS 778567 WITH SCORE 780657.755
AT ITER 2238 NEW BEST:: SOT 4029061 SOS 2086077 HAS SOPS 2086077 HAS SOUS 777894 HAS SOUPS 777894 WITH SCORE 779980.077
AT ITER 2271 NEW BEST:: SOT 4028389 SOS 2084394 HAS SOPS 2084394 HAS SOUS 777889 HAS SOUPS 777889 WITH SCORE 779973.394
AT ITER 2274 NEW BEST:: SOT 4025906 SOS 2078889 HAS SOPS 2078889 HAS SOUS 777008 HAS SOUPS 777008 WITH SCORE 779086.889
AT ITER 2275 NEW BEST:: SOT 4025144 SOS 2076603 HAS SOPS 2076603 HAS SOUS 776627 HAS SOUPS 776627 WITH SCORE 778703.603
AT ITER 2279 NEW BEST:: SOT 4025144 SOS 2076462 HAS SOPS 2076462 HAS SOUS 776486 HAS SOUPS 776486 WITH SCORE 778562.462
AT ITER 2294 NEW BEST:: SOT 4023883 SOS 2073069 HAS SOPS 2073069 HAS SOUS 776424 HAS SOUPS 776424 WITH SCORE 778497.069
AT ITER 2296 NEW BEST:: SOT 4021819 SOS 2066877 HAS SOPS 2066877 HAS SOUS 775392 HAS SOUPS 775392 WITH SCORE 777458.877
AT ITER 2305 NEW BEST:: SOT 4021813 SOS 2066859 HAS SOPS 2066859 HAS SOUS 775389 HAS SOUPS 775389 WITH SCORE 777455.859
AT ITER 2351 NEW BEST:: SOT 4021509 SOS 2066098 HAS SOPS 2066098 HAS SOUS 775388 HAS SOUPS 775388 WITH SCORE 777454.098
AT ITER 2361 NEW BEST:: SOT 4020323 SOS 2063130 HAS SOPS 2063130 HAS SOUS 775383 HAS SOUPS 775383 WITH SCORE 777446.13
AT ITER 2365 NEW BEST:: SOT 4019685 SOS 2061533 HAS SOPS 2061533 HAS SOUS 775381 HAS SOUPS 775381 WITH SCORE 777442.533
AT ITER 2366 NEW BEST:: SOT 4019413 SOS 2060740 HAS SOPS 2060740 HAS SOUS 775268 HAS SOUPS 775268 WITH SCORE 777328.74
AT ITER 2368 NEW BEST:: SOT 4018520 SOS 2057765 HAS SOPS 2057765 HAS SOUS 775268 HAS SOUPS 775268 WITH SCORE 777325.765
AT ITER 2395 NEW BEST:: SOT 4015965 SOS 2052177 HAS SOPS 2052177 HAS SOUS 775072 HAS SOUPS 775072 WITH SCORE 777124.177
AT ITER 2412 NEW BEST:: SOT 4013962 SOS 2046252 HAS SOPS 2046252 HAS SOUS 774501 HAS SOUPS 774501 WITH SCORE 776547.252
AT ITER 2416 NEW BEST:: SOT 4013212 SOS 2044377 HAS SOPS 2044377 HAS SOUS 774501 HAS SOUPS 774501 WITH SCORE 776545.377
AT ITER 2419 NEW BEST:: SOT 4011834 SOS 2040420 HAS SOPS 2040420 HAS SOUS 774127 HAS SOUPS 774127 WITH SCORE 776167.42
AT ITER 2421 NEW BEST:: SOT 4010606 SOS 2037348 HAS SOPS 2037348 HAS SOUS 774125 HAS SOUPS 774125 WITH SCORE 776162.348
AT ITER 2436 NEW BEST:: SOT 4008664 SOS 2031551 HAS SOPS 2031551 HAS SOUS 773183 HAS SOUPS 773183 WITH SCORE 775214.551
AT ITER 2459 NEW BEST:: SOT 4008419 SOS 2030571 HAS SOPS 2030571 HAS SOUS 773183 HAS SOUPS 773183 WITH SCORE 775213.571
AT ITER 2464 NEW BEST:: SOT 4007757 SOS 2029246 HAS SOPS 2029246 HAS SOUS 773171 HAS SOUPS 773171 WITH SCORE 775200.246
AT ITER 2476 NEW BEST:: SOT 4007589 SOS 2028910 HAS SOPS 2028910 HAS SOUS 773171 HAS SOUPS 773171 WITH SCORE 775199.91
AT ITER 2479 NEW BEST:: SOT 4007547 SOS 2028784 HAS SOPS 2028784 HAS SOUS 773148 HAS SOUPS 773148 WITH SCORE 775176.784
AT ITER 2490 NEW BEST:: SOT 4007427 SOS 2028541 HAS SOPS 2028541 HAS SOUS 773023 HAS SOUPS 773023 WITH SCORE 775051.541
AT ITER 2491 NEW BEST:: SOT 4007427 SOS 2028538 HAS SOPS 2028538 HAS SOUS 773018 HAS SOUPS 773018 WITH SCORE 775046.538
AT ITER 2492 NEW BEST:: SOT 4005783 SOS 2024425 HAS SOPS 2024425 HAS SOUS 773013 HAS SOUPS 773013 WITH SCORE 775037.425
AT ITER 2505 NEW BEST:: SOT 4004530 SOS 2020803 HAS SOPS 2020803 HAS SOUS 772732 HAS SOUPS 772732 WITH SCORE 774752.803
AT ITER 2509 NEW BEST:: SOT 4004728 SOS 2021322 HAS SOPS 2021322 HAS SOUS 772684 HAS SOUPS 772684 WITH SCORE 774705.322
AT ITER 2535 NEW BEST:: SOT 4004455 SOS 2020541 HAS SOPS 2020541 HAS SOUS 772644 HAS SOUPS 772644 WITH SCORE 774664.541
AT ITER 2539 NEW BEST:: SOT 4002979 SOS 2016020 HAS SOPS 2016020 HAS SOUS 772416 HAS SOUPS 772416 WITH SCORE 774432.02
AT ITER 2548 NEW BEST:: SOT 4002394 SOS 2014847 HAS SOPS 2014847 HAS SOUS 772216 HAS SOUPS 772216 WITH SCORE 774230.847
AT ITER 2556 NEW BEST:: SOT 4002008 SOS 2014075 HAS SOPS 2014075 HAS SOUS 771841 HAS SOUPS 771841 WITH SCORE 773855.075
AT ITER 2562 NEW BEST:: SOT 4002008 SOS 2014074 HAS SOPS 2014074 HAS SOUS 771834 HAS SOUPS 771834 WITH SCORE 773848.074
AT ITER 2568 NEW BEST:: SOT 4001378 SOS 2012498 HAS SOPS 2012498 HAS SOUS 771833 HAS SOUPS 771833 WITH SCORE 773845.498
AT ITER 2575 NEW BEST:: SOT 4000824 SOS 2011113 HAS SOPS 2011113 HAS SOUS 771833 HAS SOUPS 771833 WITH SCORE 773844.113
AT ITER 2590 NEW BEST:: SOT 4000796 SOS 2011043 HAS SOPS 2011043 HAS SOUS 771833 HAS SOUPS 771833 WITH SCORE 773844.043
AT ITER 2597 NEW BEST:: SOT 4000423 SOS 2009623 HAS SOPS 2009623 HAS SOUS 771477 HAS SOUPS 771477 WITH SCORE 773486.623
AT ITER 2609 NEW BEST:: SOT 4000423 SOS 2009135 HAS SOPS 2009135 HAS SOUS 771391 HAS SOUPS 771391 WITH SCORE 773400.135
AT ITER 2633 NEW BEST:: SOT 3999596 SOS 2006808 HAS SOPS 2006808 HAS SOUS 771162 HAS SOUPS 771162 WITH SCORE 773168.808
AT ITER 2639 NEW BEST:: SOT 3999541 SOS 2006698 HAS SOPS 2006698 HAS SOUS 771107 HAS SOUPS 771107 WITH SCORE 773113.698
AT ITER 2643 NEW BEST:: SOT 3996950 SOS 2001511 HAS SOPS 2001511 HAS SOUS 770662 HAS SOUPS 770662 WITH SCORE 772663.511
AT ITER 2656 NEW BEST:: SOT 3995685 SOS 1997929 HAS SOPS 1997929 HAS SOUS 770370 HAS SOUPS 770370 WITH SCORE 772367.929
AT ITER 2660 NEW BEST:: SOT 3995614 SOS 1996604 HAS SOPS 1996604 HAS SOUS 769766 HAS SOUPS 769766 WITH SCORE 771762.604
AT ITER 2663 NEW BEST:: SOT 3995612 SOS 1996600 HAS SOPS 1996600 HAS SOUS 769766 HAS SOUPS 769766 WITH SCORE 771762.6
AT ITER 2683 NEW BEST:: SOT 3994125 SOS 1992166 HAS SOPS 1992166 HAS SOUS 769261 HAS SOUPS 769261 WITH SCORE 771253.166
AT ITER 2687 NEW BEST:: SOT 3994079 SOS 1992074 HAS SOPS 1992074 HAS SOUS 769215 HAS SOUPS 769215 WITH SCORE 771207.074
AT ITER 2692 NEW BEST:: SOT 3994053 SOS 1991996 HAS SOPS 1991996 HAS SOUS 769202 HAS SOUPS 769202 WITH SCORE 771193.996
AT ITER 2708 NEW BEST:: SOT 3995089 SOS 1994333 HAS SOPS 1994333 HAS SOUS 769167 HAS SOUPS 769167 WITH SCORE 771161.333
AT ITER 2722 NEW BEST:: SOT 3994788 SOS 1993728 HAS SOPS 1993728 HAS SOUS 768861 HAS SOUPS 768861 WITH SCORE 770854.728
AT ITER 2725 NEW BEST:: SOT 3993861 SOS 1991657 HAS SOPS 1991657 HAS SOUS 768555 HAS SOUPS 768555 WITH SCORE 770546.657
AT ITER 2726 NEW BEST:: SOT 3991925 SOS 1985802 HAS SOPS 1985802 HAS SOUS 768182 HAS SOUPS 768182 WITH SCORE 770167.802
AT ITER 2729 NEW BEST:: SOT 3990976 SOS 1983044 HAS SOPS 1983044 HAS SOUS 768044 HAS SOUPS 768044 WITH SCORE 770027.044
AT ITER 2748 NEW BEST:: SOT 3990860 SOS 1982696 HAS SOPS 1982696 HAS SOUS 768044 HAS SOUPS 768044 WITH SCORE 770026.696
AT ITER 2780 NEW BEST:: SOT 3989877 SOS 1979966 HAS SOPS 1979966 HAS SOUS 767980 HAS SOUPS 767980 WITH SCORE 769959.966
AT ITER 2795 NEW BEST:: SOT 3989877 SOS 1979965 HAS SOPS 1979965 HAS SOUS 767979 HAS SOUPS 767979 WITH SCORE 769958.965
AT ITER 2798 NEW BEST:: SOT 3988775 SOS 1976349 HAS SOPS 1976349 HAS SOUS 767762 HAS SOUPS 767762 WITH SCORE 769738.349
AT ITER 2810 NEW BEST:: SOT 3988951 SOS 1976877 HAS SOPS 1976877 HAS SOUS 767586 HAS SOUPS 767586 WITH SCORE 769562.877
AT ITER 2813 NEW BEST:: SOT 3987622 SOS 1973138 HAS SOPS 1973138 HAS SOUS 767366 HAS SOUPS 767366 WITH SCORE 769339.138
AT ITER 2828 NEW BEST:: SOT 3987256 SOS 1972284 HAS SOPS 1972284 HAS SOUS 767120 HAS SOUPS 767120 WITH SCORE 769092.284
AT ITER 2830 NEW BEST:: SOT 3985531 SOS 1967090 HAS SOPS 1967090 HAS SOUS 766585 HAS SOUPS 766585 WITH SCORE 768552.09
AT ITER 2840 NEW BEST:: SOT 3984355 SOS 1964736 HAS SOPS 1964736 HAS SOUS 766378 HAS SOUPS 766378 WITH SCORE 768342.736
AT ITER 2867 NEW BEST:: SOT 3983889 SOS 1963569 HAS SOPS 1963569 HAS SOUS 766376 HAS SOUPS 766376 WITH SCORE 768339.569
AT ITER 2878 NEW BEST:: SOT 3982164 SOS 1959544 HAS SOPS 1959544 HAS SOUS 765226 HAS SOUPS 765226 WITH SCORE 767185.544
AT ITER 2896 NEW BEST:: SOT 3980450 SOS 1955259 HAS SOPS 1955259 HAS SOUS 765226 HAS SOUPS 765226 WITH SCORE 767181.259
AT ITER 2901 NEW BEST:: SOT 3979814 SOS 1953668 HAS SOPS 1953668 HAS SOUS 765225 HAS SOUPS 765225 WITH SCORE 767178.668
AT ITER 2902 NEW BEST:: SOT 3979706 SOS 1953398 HAS SOPS 1953398 HAS SOUS 765225 HAS SOUPS 765225 WITH SCORE 767178.398
AT ITER 2917 NEW BEST:: SOT 3979657 SOS 1953300 HAS SOPS 1953300 HAS SOUS 765176 HAS SOUPS 765176 WITH SCORE 767129.3
AT ITER 2924 NEW BEST:: SOT 3978625 SOS 1950720 HAS SOPS 1950720 HAS SOUS 765176 HAS SOUPS 765176 WITH SCORE 767126.72
AT ITER 2933 NEW BEST:: SOT 3977359 SOS 1947552 HAS SOPS 1947552 HAS SOUS 765173 HAS SOUPS 765173 WITH SCORE 767120.552
AT ITER 2953 NEW BEST:: SOT 3976687 SOS 1945871 HAS SOPS 1945871 HAS SOUS 765172 HAS SOUPS 765172 WITH SCORE 767117.871
AT ITER 2957 NEW BEST:: SOT 3976697 SOS 1945901 HAS SOPS 1945901 HAS SOUS 765162 HAS SOUPS 765162 WITH SCORE 767107.901
AT ITER 2969 NEW BEST:: SOT 3976697 SOS 1945885 HAS SOPS 1945885 HAS SOUS 765146 HAS SOUPS 765146 WITH SCORE 767091.885
AT ITER 2986 NEW BEST:: SOT 3976391 SOS 1945037 HAS SOPS 1945037 HAS SOUS 765063 HAS SOUPS 765063 WITH SCORE 767008.037
AT ITER 2991 NEW BEST:: SOT 3976371 SOS 1944984 HAS SOPS 1944984 HAS SOUS 765058 HAS SOUPS 765058 WITH SCORE 767002.984
AT ITER 3004 NEW BEST:: SOT 3975803 SOS 1942712 HAS SOPS 1942712 HAS SOUS 764829 HAS SOUPS 764829 WITH SCORE 766771.712
AT ITER 3006 NEW BEST:: SOT 3975819 SOS 1942760 HAS SOPS 1942760 HAS SOUS 764813 HAS SOUPS 764813 WITH SCORE 766755.76
AT ITER 3010 NEW BEST:: SOT 3974804 SOS 1939721 HAS SOPS 1939721 HAS SOUS 764298 HAS SOUPS 764298 WITH SCORE 766237.721
AT ITER 3027 NEW BEST:: SOT 3974636 SOS 1939385 HAS SOPS 1939385 HAS SOUS 764242 HAS SOUPS 764242 WITH SCORE 766181.385
AT ITER 3037 NEW BEST:: SOT 3973812 SOS 1937322 HAS SOPS 1937322 HAS SOUS 764237 HAS SOUPS 764237 WITH SCORE 766174.322
AT ITER 3044 NEW BEST:: SOT 3972608 SOS 1933882 HAS SOPS 1933882 HAS SOUS 763803 HAS SOUPS 763803 WITH SCORE 765736.882
AT ITER 3048 NEW BEST:: SOT 3972166 SOS 1932438 HAS SOPS 1932438 HAS SOUS 763637 HAS SOUPS 763637 WITH SCORE 765569.438
AT ITER 3054 NEW BEST:: SOT 3972469 SOS 1933355 HAS SOPS 1933355 HAS SOUS 763348 HAS SOUPS 763348 WITH SCORE 765281.355
AT ITER 3057 NEW BEST:: SOT 3971767 SOS 1930802 HAS SOPS 1930802 HAS SOUS 763261 HAS SOUPS 763261 WITH SCORE 765191.802
AT ITER 3069 NEW BEST:: SOT 3970735 SOS 1929803 HAS SOPS 1929803 HAS SOUS 763042 HAS SOUPS 763042 WITH SCORE 764971.803
AT ITER 3070 NEW BEST:: SOT 3970732 SOS 1929797 HAS SOPS 1929797 HAS SOUS 763039 HAS SOUPS 763039 WITH SCORE 764968.797
AT ITER 3071 NEW BEST:: SOT 3970089 SOS 1927545 HAS SOPS 1927545 HAS SOUS 762877 HAS SOUPS 762877 WITH SCORE 764804.545
AT ITER 3075 NEW BEST:: SOT 3970069 SOS 1927485 HAS SOPS 1927485 HAS SOUS 762867 HAS SOUPS 762867 WITH SCORE 764794.485
AT ITER 3079 NEW BEST:: SOT 3969629 SOS 1926147 HAS SOPS 1926147 HAS SOUS 762656 HAS SOUPS 762656 WITH SCORE 764582.147
AT ITER 3117 NEW BEST:: SOT 3969089 SOS 1924794 HAS SOPS 1924794 HAS SOUS 762651 HAS SOUPS 762651 WITH SCORE 764575.794
AT ITER 3123 NEW BEST:: SOT 3967705 SOS 1920550 HAS SOPS 1920550 HAS SOUS 762011 HAS SOUPS 762011 WITH SCORE 763931.55
AT ITER 3142 NEW BEST:: SOT 3965870 SOS 1915087 HAS SOPS 1915087 HAS SOUS 761245 HAS SOUPS 761245 WITH SCORE 763160.087
AT ITER 3148 NEW BEST:: SOT 3964449 SOS 1910854 HAS SOPS 1910854 HAS SOUS 760708 HAS SOUPS 760708 WITH SCORE 762618.854
AT ITER 3162 NEW BEST:: SOT 3963845 SOS 1909344 HAS SOPS 1909344 HAS SOUS 760708 HAS SOUPS 760708 WITH SCORE 762617.344
AT ITER 3165 NEW BEST:: SOT 3963574 SOS 1908626 HAS SOPS 1908626 HAS SOUS 760660 HAS SOUPS 760660 WITH SCORE 762568.626
AT ITER 3178 NEW BEST:: SOT 3962687 SOS 1905910 HAS SOPS 1905910 HAS SOUS 760652 HAS SOUPS 760652 WITH SCORE 762557.91
AT ITER 3190 NEW BEST:: SOT 3962687 SOS 1905835 HAS SOPS 1905835 HAS SOUS 760575 HAS SOUPS 760575 WITH SCORE 762480.835
AT ITER 3199 NEW BEST:: SOT 3962685 SOS 1905833 HAS SOPS 1905833 HAS SOUS 760569 HAS SOUPS 760569 WITH SCORE 762474.833
AT ITER 3207 NEW BEST:: SOT 3962685 SOS 1905833 HAS SOPS 1905833 HAS SOUS 760103 HAS SOUPS 760103 WITH SCORE 762008.833
AT ITER 3218 NEW BEST:: SOT 3962409 SOS 1905189 HAS SOPS 1905189 HAS SOUS 759915 HAS SOUPS 759915 WITH SCORE 761820.189
AT ITER 3233 NEW BEST:: SOT 3962409 SOS 1904974 HAS SOPS 1904974 HAS SOUS 759700 HAS SOUPS 759700 WITH SCORE 761604.974
AT ITER 3274 NEW BEST:: SOT 3962409 SOS 1904849 HAS SOPS 1904849 HAS SOUS 759573 HAS SOUPS 759573 WITH SCORE 761477.849
AT ITER 3286 NEW BEST:: SOT 3962255 SOS 1904369 HAS SOPS 1904369 HAS SOUS 759505 HAS SOUPS 759505 WITH SCORE 761409.369
AT ITER 3294 NEW BEST:: SOT 3962255 SOS 1904369 HAS SOPS 1904369 HAS SOUS 759503 HAS SOUPS 759503 WITH SCORE 761407.369
AT ITER 3296 NEW BEST:: SOT 3960212 SOS 1898885 HAS SOPS 1898885 HAS SOUS 759500 HAS SOUPS 759500 WITH SCORE 761398.885
AT ITER 3343 NEW BEST:: SOT 3960212 SOS 1898809 HAS SOPS 1898809 HAS SOUS 759424 HAS SOUPS 759424 WITH SCORE 761322.809
AT ITER 3384 NEW BEST:: SOT 3960016 SOS 1898277 HAS SOPS 1898277 HAS SOUS 759388 HAS SOUPS 759388 WITH SCORE 761286.277
AT ITER 3390 NEW BEST:: SOT 3959108 SOS 1895644 HAS SOPS 1895644 HAS SOUS 759163 HAS SOUPS 759163 WITH SCORE 761058.644
AT ITER 3391 NEW BEST:: SOT 3959012 SOS 1895394 HAS SOPS 1895394 HAS SOUS 759009 HAS SOUPS 759009 WITH SCORE 760904.394
AT ITER 3394 NEW BEST:: SOT 3958958 SOS 1895232 HAS SOPS 1895232 HAS SOUS 758978 HAS SOUPS 758978 WITH SCORE 760873.232
AT ITER 3406 NEW BEST:: SOT 3958425 SOS 1893791 HAS SOPS 1893791 HAS SOUS 758886 HAS SOUPS 758886 WITH SCORE 760779.791
AT ITER 3408 NEW BEST:: SOT 3957929 SOS 1892524 HAS SOPS 1892524 HAS SOUS 758859 HAS SOUPS 758859 WITH SCORE 760751.524
AT ITER 3442 NEW BEST:: SOT 3957037 SOS 1889766 HAS SOPS 1889766 HAS SOUS 758195 HAS SOUPS 758195 WITH SCORE 760084.766
AT ITER 3446 NEW BEST:: SOT 3956143 SOS 1887529 HAS SOPS 1887529 HAS SOUS 758193 HAS SOUPS 758193 WITH SCORE 760080.529
AT ITER 3448 NEW BEST:: SOT 3956095 SOS 1887385 HAS SOPS 1887385 HAS SOUS 758169 HAS SOUPS 758169 WITH SCORE 760056.385
AT ITER 3460 NEW BEST:: SOT 3954029 SOS 1882217 HAS SOPS 1882217 HAS SOUS 758164 HAS SOUPS 758164 WITH SCORE 760046.217
AT ITER 3461 NEW BEST:: SOT 3953861 SOS 1881794 HAS SOPS 1881794 HAS SOUS 758159 HAS SOUPS 758159 WITH SCORE 760040.794
AT ITER 3466 NEW BEST:: SOT 3952520 SOS 1879104 HAS SOPS 1879104 HAS SOUS 757872 HAS SOUPS 757872 WITH SCORE 759751.104
AT ITER 3472 NEW BEST:: SOT 3950588 SOS 1874273 HAS SOPS 1874273 HAS SOUS 757871 HAS SOUPS 757871 WITH SCORE 759745.273
AT ITER 3481 NEW BEST:: SOT 3949778 SOS 1872561 HAS SOPS 1872561 HAS SOUS 757671 HAS SOUPS 757671 WITH SCORE 759543.561
AT ITER 3487 NEW BEST:: SOT 3949607 SOS 1872053 HAS SOPS 1872053 HAS SOUS 757664 HAS SOUPS 757664 WITH SCORE 759536.053
AT ITER 3492 NEW BEST:: SOT 3949255 SOS 1870254 HAS SOPS 1870254 HAS SOUS 757434 HAS SOUPS 757434 WITH SCORE 759304.254
AT ITER 3493 NEW BEST:: SOT 3949203 SOS 1870150 HAS SOPS 1870150 HAS SOUS 757408 HAS SOUPS 757408 WITH SCORE 759278.15
AT ITER 3500 NEW BEST:: SOT 3949131 SOS 1869934 HAS SOPS 1869934 HAS SOUS 757372 HAS SOUPS 757372 WITH SCORE 759241.934
AT ITER 3510 NEW BEST:: SOT 3947909 SOS 1866162 HAS SOPS 1866162 HAS SOUS 756814 HAS SOUPS 756814 WITH SCORE 758680.162
AT ITER 3514 NEW BEST:: SOT 3947909 SOS 1865292 HAS SOPS 1865292 HAS SOUS 755944 HAS SOUPS 755944 WITH SCORE 757809.292
AT ITER 3517 NEW BEST:: SOT 3947909 SOS 1865200 HAS SOPS 1865200 HAS SOUS 755852 HAS SOUPS 755852 WITH SCORE 757717.2
AT ITER 3539 NEW BEST:: SOT 3947627 SOS 1863880 HAS SOPS 1863880 HAS SOUS 755803 HAS SOUPS 755803 WITH SCORE 757666.88
AT ITER 3540 NEW BEST:: SOT 3947489 SOS 1863604 HAS SOPS 1863604 HAS SOUS 755632 HAS SOUPS 755632 WITH SCORE 757495.604
AT ITER 3541 NEW BEST:: SOT 3946522 SOS 1860705 HAS SOPS 1860705 HAS SOUS 755146 HAS SOUPS 755146 WITH SCORE 757006.705
AT ITER 3563 NEW BEST:: SOT 3944632 SOS 1855035 HAS SOPS 1855035 HAS SOUS 754201 HAS SOUPS 754201 WITH SCORE 756056.035
AT ITER 3568 NEW BEST:: SOT 3944678 SOS 1855007 HAS SOPS 1855007 HAS SOUS 754173 HAS SOUPS 754173 WITH SCORE 756028.007
AT ITER 3579 NEW BEST:: SOT 3944456 SOS 1854341 HAS SOPS 1854341 HAS SOUS 754062 HAS SOUPS 754062 WITH SCORE 755916.341
AT ITER 3587 NEW BEST:: SOT 3944347 SOS 1854123 HAS SOPS 1854123 HAS SOUS 753953 HAS SOUPS 753953 WITH SCORE 755807.123
AT ITER 3594 NEW BEST:: SOT 3945081 SOS 1856283 HAS SOPS 1856283 HAS SOUS 753685 HAS SOUPS 753685 WITH SCORE 755541.283
AT ITER 3612 NEW BEST:: SOT 3945081 SOS 1856081 HAS SOPS 1856081 HAS SOUS 753483 HAS SOUPS 753483 WITH SCORE 755339.081
AT ITER 3616 NEW BEST:: SOT 3944421 SOS 1854101 HAS SOPS 1854101 HAS SOUS 753153 HAS SOUPS 753153 WITH SCORE 755007.101
AT ITER 3627 NEW BEST:: SOT 3943826 SOS 1852289 HAS SOPS 1852289 HAS SOUS 752869 HAS SOUPS 752869 WITH SCORE 754721.289
AT ITER 3634 NEW BEST:: SOT 3943712 SOS 1851947 HAS SOPS 1851947 HAS SOUS 752698 HAS SOUPS 752698 WITH SCORE 754549.947
AT ITER 3635 NEW BEST:: SOT 3941904 SOS 1847425 HAS SOPS 1847425 HAS SOUS 752696 HAS SOUPS 752696 WITH SCORE 754543.425
AT ITER 3641 NEW BEST:: SOT 3941794 SOS 1847205 HAS SOPS 1847205 HAS SOUS 752586 HAS SOUPS 752586 WITH SCORE 754433.205
AT ITER 3648 NEW BEST:: SOT 3941676 SOS 1846908 HAS SOPS 1846908 HAS SOUS 752405 HAS SOUPS 752405 WITH SCORE 754251.908
AT ITER 3662 NEW BEST:: SOT 3941496 SOS 1846366 HAS SOPS 1846366 HAS SOUS 752403 HAS SOUPS 752403 WITH SCORE 754249.366
AT ITER 3667 NEW BEST:: SOT 3941312 SOS 1845906 HAS SOPS 1845906 HAS SOUS 752403 HAS SOUPS 752403 WITH SCORE 754248.906
AT ITER 3672 NEW BEST:: SOT 3940892 SOS 1844646 HAS SOPS 1844646 HAS SOUS 752193 HAS SOUPS 752193 WITH SCORE 754037.646
AT ITER 3704 NEW BEST:: SOT 3941353 SOS 1845985 HAS SOPS 1845985 HAS SOUS 752180 HAS SOUPS 752180 WITH SCORE 754025.985
AT ITER 3718 NEW BEST:: SOT 3941369 SOS 1846033 HAS SOPS 1846033 HAS SOUS 752164 HAS SOUPS 752164 WITH SCORE 754010.033
AT ITER 3719 NEW BEST:: SOT 3939629 SOS 1840813 HAS SOPS 1840813 HAS SOUS 751294 HAS SOUPS 751294 WITH SCORE 753134.813
AT ITER 3739 NEW BEST:: SOT 3939535 SOS 1839881 HAS SOPS 1839881 HAS SOUS 751030 HAS SOUPS 751030 WITH SCORE 752869.881
AT ITER 3752 NEW BEST:: SOT 3938858 SOS 1837173 HAS SOPS 1837173 HAS SOUS 751030 HAS SOUPS 751030 WITH SCORE 752867.173
AT ITER 3758 NEW BEST:: SOT 3938560 SOS 1836577 HAS SOPS 1836577 HAS SOUS 750659 HAS SOUPS 750659 WITH SCORE 752495.577
AT ITER 3759 NEW BEST:: SOT 3938440 SOS 1836337 HAS SOPS 1836337 HAS SOUS 750619 HAS SOUPS 750619 WITH SCORE 752455.337
AT ITER 3761 NEW BEST:: SOT 3937918 SOS 1834771 HAS SOPS 1834771 HAS SOUS 750354 HAS SOUPS 750354 WITH SCORE 752188.771
AT ITER 3764 NEW BEST:: SOT 3937807 SOS 1834549 HAS SOPS 1834549 HAS SOUS 750235 HAS SOUPS 750235 WITH SCORE 752069.549
AT ITER 3768 NEW BEST:: SOT 3937807 SOS 1834549 HAS SOPS 1834549 HAS SOUS 750129 HAS SOUPS 750129 WITH SCORE 751963.549
AT ITER 3769 NEW BEST:: SOT 3937081 SOS 1832371 HAS SOPS 1832371 HAS SOUS 749766 HAS SOUPS 749766 WITH SCORE 751598.371
AT ITER 3785 NEW BEST:: SOT 3936782 SOS 1831459 HAS SOPS 1831459 HAS SOUS 749647 HAS SOUPS 749647 WITH SCORE 751478.459
AT ITER 3806 NEW BEST:: SOT 3936989 SOS 1832036 HAS SOPS 1832036 HAS SOUS 749528 HAS SOUPS 749528 WITH SCORE 751360.036
AT ITER 3821 NEW BEST:: SOT 3936989 SOS 1831815 HAS SOPS 1831815 HAS SOUS 749307 HAS SOUPS 749307 WITH SCORE 751138.815
AT ITER 3828 NEW BEST:: SOT 3936511 SOS 1830856 HAS SOPS 1830856 HAS SOUS 749302 HAS SOUPS 749302 WITH SCORE 751132.856
AT ITER 3831 NEW BEST:: SOT 3936479 SOS 1830760 HAS SOPS 1830760 HAS SOUS 749286 HAS SOUPS 749286 WITH SCORE 751116.76
AT ITER 3833 NEW BEST:: SOT 3935376 SOS 1827490 HAS SOPS 1827490 HAS SOUS 749006 HAS SOUPS 749006 WITH SCORE 750833.49
AT ITER 3841 NEW BEST:: SOT 3935282 SOS 1827208 HAS SOPS 1827208 HAS SOUS 748959 HAS SOUPS 748959 WITH SCORE 750786.208
AT ITER 3842 NEW BEST:: SOT 3935026 SOS 1826568 HAS SOPS 1826568 HAS SOUS 748829 HAS SOUPS 748829 WITH SCORE 750655.568
AT ITER 3844 NEW BEST:: SOT 3934561 SOS 1825635 HAS SOPS 1825635 HAS SOUS 748669 HAS SOUPS 748669 WITH SCORE 750494.635
AT ITER 3859 NEW BEST:: SOT 3934092 SOS 1824697 HAS SOPS 1824697 HAS SOUS 748200 HAS SOUPS 748200 WITH SCORE 750024.697
AT ITER 3866 NEW BEST:: SOT 3933842 SOS 1824197 HAS SOPS 1824197 HAS SOUS 747950 HAS SOUPS 747950 WITH SCORE 749774.197
AT ITER 3897 NEW BEST:: SOT 3932372 SOS 1819691 HAS SOPS 1819691 HAS SOUS 746453 HAS SOUPS 746453 WITH SCORE 748272.691
AT ITER 3903 NEW BEST:: SOT 3932372 SOS 1819612 HAS SOPS 1819612 HAS SOUS 746374 HAS SOUPS 746374 WITH SCORE 748193.612
AT ITER 3918 NEW BEST:: SOT 3930591 SOS 1814044 HAS SOPS 1814044 HAS SOUS 745623 HAS SOUPS 745623 WITH SCORE 747437.044
AT ITER 3921 NEW BEST:: SOT 3929625 SOS 1810867 HAS SOPS 1810867 HAS SOUS 745533 HAS SOUPS 745533 WITH SCORE 747343.867
AT ITER 3925 NEW BEST:: SOT 3929581 SOS 1810735 HAS SOPS 1810735 HAS SOUS 745511 HAS SOUPS 745511 WITH SCORE 747321.735
AT ITER 3933 NEW BEST:: SOT 3927875 SOS 1806393 HAS SOPS 1806393 HAS SOUS 745481 HAS SOUPS 745481 WITH SCORE 747287.393
AT ITER 3935 NEW BEST:: SOT 3927677 SOS 1805896 HAS SOPS 1805896 HAS SOUS 745479 HAS SOUPS 745479 WITH SCORE 747284.896
AT ITER 3944 NEW BEST:: SOT 3927677 SOS 1805875 HAS SOPS 1805875 HAS SOUS 745458 HAS SOUPS 745458 WITH SCORE 747263.875
AT ITER 3954 NEW BEST:: SOT 3927281 SOS 1803921 HAS SOPS 1803921 HAS SOUS 745341 HAS SOUPS 745341 WITH SCORE 747144.921
AT ITER 3968 NEW BEST:: SOT 3926857 SOS 1802649 HAS SOPS 1802649 HAS SOUS 745129 HAS SOUPS 745129 WITH SCORE 746931.649
AT ITER 3973 NEW BEST:: SOT 3926932 SOS 1802555 HAS SOPS 1802555 HAS SOUS 745082 HAS SOUPS 745082 WITH SCORE 746884.555
AT ITER 3978 NEW BEST:: SOT 3926295 SOS 1801595 HAS SOPS 1801595 HAS SOUS 743947 HAS SOUPS 743947 WITH SCORE 745748.595
AT ITER 3982 NEW BEST:: SOT 3926144 SOS 1801290 HAS SOPS 1801290 HAS SOUS 743791 HAS SOUPS 743791 WITH SCORE 745592.29
AT ITER 3993 NEW BEST:: SOT 3926202 SOS 1801464 HAS SOPS 1801464 HAS SOUS 743733 HAS SOUPS 743733 WITH SCORE 745534.464
AT ITER 4000 NEW BEST:: SOT 3926202 SOS 1800947 HAS SOPS 1800947 HAS SOUS 743216 HAS SOUPS 743216 WITH SCORE 745016.947
AT ITER 4017 NEW BEST:: SOT 3925243 SOS 1798415 HAS SOPS 1798415 HAS SOUS 743149 HAS SOUPS 743149 WITH SCORE 744947.415
AT ITER 4019 NEW BEST:: SOT 3924378 SOS 1796120 HAS SOPS 1796120 HAS SOUS 743113 HAS SOUPS 743113 WITH SCORE 744909.12
AT ITER 4034 NEW BEST:: SOT 3924472 SOS 1796308 HAS SOPS 1796308 HAS SOUS 743062 HAS SOUPS 743062 WITH SCORE 744858.308
AT ITER 4059 NEW BEST:: SOT 3924433 SOS 1796152 HAS SOPS 1796152 HAS SOUS 743062 HAS SOUPS 743062 WITH SCORE 744858.152
AT ITER 4072 NEW BEST:: SOT 3923538 SOS 1793469 HAS SOPS 1793469 HAS SOUS 742612 HAS SOUPS 742612 WITH SCORE 744405.469
AT ITER 4084 NEW BEST:: SOT 3923254 SOS 1792883 HAS SOPS 1792883 HAS SOUS 742384 HAS SOUPS 742384 WITH SCORE 744176.883
AT ITER 4088 NEW BEST:: SOT 3922735 SOS 1791845 HAS SOPS 1791845 HAS SOUS 742309 HAS SOUPS 742309 WITH SCORE 744100.845
AT ITER 4089 NEW BEST:: SOT 3922209 SOS 1790430 HAS SOPS 1790430 HAS SOUS 742205 HAS SOUPS 742205 WITH SCORE 743995.43
AT ITER 4093 NEW BEST:: SOT 3921111 SOS 1786494 HAS SOPS 1786494 HAS SOUS 741344 HAS SOUPS 741344 WITH SCORE 743130.494
AT ITER 4103 NEW BEST:: SOT 3921111 SOS 1786494 HAS SOPS 1786494 HAS SOUS 741342 HAS SOUPS 741342 WITH SCORE 743128.494
AT ITER 4107 NEW BEST:: SOT 3920973 SOS 1786080 HAS SOPS 1786080 HAS SOUS 741271 HAS SOUPS 741271 WITH SCORE 743057.08
AT ITER 4108 NEW BEST:: SOT 3919077 SOS 1780850 HAS SOPS 1780850 HAS SOUS 741024 HAS SOUPS 741024 WITH SCORE 742804.85
AT ITER 4123 NEW BEST:: SOT 3919279 SOS 1780730 HAS SOPS 1780730 HAS SOUS 740864 HAS SOUPS 740864 WITH SCORE 742644.73
AT ITER 4132 NEW BEST:: SOT 3918089 SOS 1777650 HAS SOPS 1777650 HAS SOUS 740759 HAS SOUPS 740759 WITH SCORE 742536.65
AT ITER 4143 NEW BEST:: SOT 3917070 SOS 1774661 HAS SOPS 1774661 HAS SOUS 740538 HAS SOUPS 740538 WITH SCORE 742312.661
AT ITER 4144 NEW BEST:: SOT 3915504 SOS 1770460 HAS SOPS 1770460 HAS SOUS 740534 HAS SOUPS 740534 WITH SCORE 742304.46
AT ITER 4177 NEW BEST:: SOT 3915462 SOS 1770334 HAS SOPS 1770334 HAS SOUS 740446 HAS SOUPS 740446 WITH SCORE 742216.334
AT ITER 4194 NEW BEST:: SOT 3914372 SOS 1767064 HAS SOPS 1767064 HAS SOUS 739901 HAS SOUPS 739901 WITH SCORE 741668.064
AT ITER 4210 NEW BEST:: SOT 3914368 SOS 1767051 HAS SOPS 1767051 HAS SOUS 739900 HAS SOUPS 739900 WITH SCORE 741667.051
AT ITER 4214 NEW BEST:: SOT 3914096 SOS 1766235 HAS SOPS 1766235 HAS SOUS 739764 HAS SOUPS 739764 WITH SCORE 741530.235
AT ITER 4241 NEW BEST:: SOT 3913562 SOS 1764900 HAS SOPS 1764900 HAS SOUS 739764 HAS SOUPS 739764 WITH SCORE 741528.9
AT ITER 4254 NEW BEST:: SOT 3913261 SOS 1763288 HAS SOPS 1763288 HAS SOUS 738958 HAS SOUPS 738958 WITH SCORE 740721.288
AT ITER 4255 NEW BEST:: SOT 3912887 SOS 1762351 HAS SOPS 1762351 HAS SOUS 738956 HAS SOUPS 738956 WITH SCORE 740718.351
AT ITER 4266 NEW BEST:: SOT 3912775 SOS 1762015 HAS SOPS 1762015 HAS SOUS 738900 HAS SOUPS 738900 WITH SCORE 740662.015
AT ITER 4282 NEW BEST:: SOT 3912534 SOS 1761533 HAS SOPS 1761533 HAS SOUS 738659 HAS SOUPS 738659 WITH SCORE 740420.533
AT ITER 4295 NEW BEST:: SOT 3912182 SOS 1760477 HAS SOPS 1760477 HAS SOUS 738483 HAS SOUPS 738483 WITH SCORE 740243.477
AT ITER 4322 NEW BEST:: SOT 3912182 SOS 1760474 HAS SOPS 1760474 HAS SOUS 738478 HAS SOUPS 738478 WITH SCORE 740238.474
AT ITER 4324 NEW BEST:: SOT 3911728 SOS 1759337 HAS SOPS 1759337 HAS SOUS 738476 HAS SOUPS 738476 WITH SCORE 740235.337
AT ITER 4329 NEW BEST:: SOT 3911630 SOS 1759043 HAS SOPS 1759043 HAS SOUS 738427 HAS SOUPS 738427 WITH SCORE 740186.043
AT ITER 4336 NEW BEST:: SOT 3911593 SOS 1758969 HAS SOPS 1758969 HAS SOUS 738390 HAS SOUPS 738390 WITH SCORE 740148.969
AT ITER 4338 NEW BEST:: SOT 3911002 SOS 1757785 HAS SOPS 1757785 HAS SOUS 738313 HAS SOUPS 738313 WITH SCORE 740070.785
AT ITER 4346 NEW BEST:: SOT 3910871 SOS 1757523 HAS SOPS 1757523 HAS SOUS 738182 HAS SOUPS 738182 WITH SCORE 739939.523
AT ITER 4368 NEW BEST:: SOT 3910410 SOS 1756601 HAS SOPS 1756601 HAS SOUS 738135 HAS SOUPS 738135 WITH SCORE 739891.601
AT ITER 4374 NEW BEST:: SOT 3910212 SOS 1756201 HAS SOPS 1756201 HAS SOUS 738111 HAS SOUPS 738111 WITH SCORE 739867.201
AT ITER 4378 NEW BEST:: SOT 3909988 SOS 1755829 HAS SOPS 1755829 HAS SOUS 737963 HAS SOUPS 737963 WITH SCORE 739718.829
AT ITER 4384 NEW BEST:: SOT 3909999 SOS 1755862 HAS SOPS 1755862 HAS SOUS 737952 HAS SOUPS 737952 WITH SCORE 739707.862
AT ITER 4392 NEW BEST:: SOT 3909847 SOS 1755710 HAS SOPS 1755710 HAS SOUS 737792 HAS SOUPS 737792 WITH SCORE 739547.71
AT ITER 4408 NEW BEST:: SOT 3909845 SOS 1755704 HAS SOPS 1755704 HAS SOUS 737791 HAS SOUPS 737791 WITH SCORE 739546.704
AT ITER 4409 NEW BEST:: SOT 3909615 SOS 1755014 HAS SOPS 1755014 HAS SOUS 737676 HAS SOUPS 737676 WITH SCORE 739431.014
AT ITER 4412 NEW BEST:: SOT 3909615 SOS 1755014 HAS SOPS 1755014 HAS SOUS 737370 HAS SOUPS 737370 WITH SCORE 739125.014
AT ITER 4426 NEW BEST:: SOT 3909301 SOS 1754137 HAS SOPS 1754137 HAS SOUS 737278 HAS SOUPS 737278 WITH SCORE 739032.137
AT ITER 4509 NEW BEST:: SOT 3908667 SOS 1752235 HAS SOPS 1752235 HAS SOUS 736961 HAS SOUPS 736961 WITH SCORE 738713.235
AT ITER 4546 NEW BEST:: SOT 3908667 SOS 1752129 HAS SOPS 1752129 HAS SOUS 736855 HAS SOUPS 736855 WITH SCORE 738607.129
AT ITER 4553 NEW BEST:: SOT 3908621 SOS 1751991 HAS SOPS 1751991 HAS SOUS 736832 HAS SOUPS 736832 WITH SCORE 738583.991
AT ITER 4556 NEW BEST:: SOT 3908621 SOS 1751957 HAS SOPS 1751957 HAS SOUS 736798 HAS SOUPS 736798 WITH SCORE 738549.957
AT ITER 4563 NEW BEST:: SOT 3907241 SOS 1747857 HAS SOPS 1747857 HAS SOUS 736148 HAS SOUPS 736148 WITH SCORE 737895.857
AT ITER 4567 NEW BEST:: SOT 3906403 SOS 1745429 HAS SOPS 1745429 HAS SOUS 735815 HAS SOUPS 735815 WITH SCORE 737560.429
AT ITER 4594 NEW BEST:: SOT 3905923 SOS 1743989 HAS SOPS 1743989 HAS SOUS 735575 HAS SOUPS 735575 WITH SCORE 737318.989
AT ITER 4596 NEW BEST:: SOT 3905728 SOS 1743431 HAS SOPS 1743431 HAS SOUS 735208 HAS SOUPS 735208 WITH SCORE 736951.431
AT ITER 4615 NEW BEST:: SOT 3905176 SOS 1741561 HAS SOPS 1741561 HAS SOUS 735171 HAS SOUPS 735171 WITH SCORE 736912.561
AT ITER 4618 NEW BEST:: SOT 3904586 SOS 1740365 HAS SOPS 1740365 HAS SOUS 735155 HAS SOUPS 735155 WITH SCORE 736895.365
AT ITER 4634 NEW BEST:: SOT 3904743 SOS 1740473 HAS SOPS 1740473 HAS SOUS 735106 HAS SOUPS 735106 WITH SCORE 736846.473
AT ITER 4640 NEW BEST:: SOT 3903187 SOS 1735805 HAS SOPS 1735805 HAS SOUS 734328 HAS SOUPS 734328 WITH SCORE 736063.805
AT ITER 4643 NEW BEST:: SOT 3902090 SOS 1731413 HAS SOPS 1731413 HAS SOUS 734014 HAS SOUPS 734014 WITH SCORE 735745.413
AT ITER 4645 NEW BEST:: SOT 3902090 SOS 1731413 HAS SOPS 1731413 HAS SOUS 734010 HAS SOUPS 734010 WITH SCORE 735741.413
AT ITER 4655 NEW BEST:: SOT 3900164 SOS 1725635 HAS SOPS 1725635 HAS SOUS 733047 HAS SOUPS 733047 WITH SCORE 734772.635
AT ITER 4671 NEW BEST:: SOT 3899774 SOS 1724855 HAS SOPS 1724855 HAS SOUS 732659 HAS SOUPS 732659 WITH SCORE 734383.855
AT ITER 4674 NEW BEST:: SOT 3898900 SOS 1722233 HAS SOPS 1722233 HAS SOUS 732222 HAS SOUPS 732222 WITH SCORE 733944.233
AT ITER 4681 NEW BEST:: SOT 3898278 SOS 1720390 HAS SOPS 1720390 HAS SOUS 731934 HAS SOUPS 731934 WITH SCORE 733654.39
AT ITER 4684 NEW BEST:: SOT 3897755 SOS 1719344 HAS SOPS 1719344 HAS SOUS 731599 HAS SOUPS 731599 WITH SCORE 733318.344
AT ITER 4688 NEW BEST:: SOT 3895977 SOS 1714010 HAS SOPS 1714010 HAS SOUS 728932 HAS SOUPS 728932 WITH SCORE 730646.01
AT ITER 4703 NEW BEST:: SOT 3895833 SOS 1713542 HAS SOPS 1713542 HAS SOUS 728930 HAS SOUPS 728930 WITH SCORE 730643.542
AT ITER 4707 NEW BEST:: SOT 3894971 SOS 1711387 HAS SOPS 1711387 HAS SOUS 728930 HAS SOUPS 728930 WITH SCORE 730641.387
AT ITER 4713 NEW BEST:: SOT 3894647 SOS 1710415 HAS SOPS 1710415 HAS SOUS 728710 HAS SOUPS 728710 WITH SCORE 730420.415
AT ITER 4718 NEW BEST:: SOT 3894398 SOS 1709834 HAS SOPS 1709834 HAS SOUS 728544 HAS SOUPS 728544 WITH SCORE 730253.834
AT ITER 4723 NEW BEST:: SOT 3894505 SOS 1710367 HAS SOPS 1710367 HAS SOUS 728516 HAS SOUPS 728516 WITH SCORE 730226.367
AT ITER 4729 NEW BEST:: SOT 3893192 SOS 1706435 HAS SOPS 1706435 HAS SOUS 728024 HAS SOUPS 728024 WITH SCORE 729730.435
AT ITER 4743 NEW BEST:: SOT 3893134 SOS 1706319 HAS SOPS 1706319 HAS SOUS 727966 HAS SOUPS 727966 WITH SCORE 729672.319
AT ITER 4764 NEW BEST:: SOT 3891285 SOS 1701065 HAS SOPS 1701065 HAS SOUS 727459 HAS SOUPS 727459 WITH SCORE 729160.065
AT ITER 4771 NEW BEST:: SOT 3891269 SOS 1701025 HAS SOPS 1701025 HAS SOUS 727459 HAS SOUPS 727459 WITH SCORE 729160.025
AT ITER 4805 NEW BEST:: SOT 3891321 SOS 1701003 HAS SOPS 1701003 HAS SOUS 727001 HAS SOUPS 727001 WITH SCORE 728702.003
AT ITER 4842 NEW BEST:: SOT 3890303 SOS 1698226 HAS SOPS 1698226 HAS SOUS 726976 HAS SOUPS 726976 WITH SCORE 728674.226
AT ITER 4850 NEW BEST:: SOT 3890273 SOS 1698151 HAS SOPS 1698151 HAS SOUS 726976 HAS SOUPS 726976 WITH SCORE 728674.151
AT ITER 4863 NEW BEST:: SOT 3889511 SOS 1696079 HAS SOPS 1696079 HAS SOUS 726709 HAS SOUPS 726709 WITH SCORE 728405.079
AT ITER 4867 NEW BEST:: SOT 3889018 SOS 1693994 HAS SOPS 1693994 HAS SOUS 726417 HAS SOUPS 726417 WITH SCORE 728110.994
AT ITER 4880 NEW BEST:: SOT 3888933 SOS 1693824 HAS SOPS 1693824 HAS SOUS 726332 HAS SOUPS 726332 WITH SCORE 728025.824
AT ITER 4898 NEW BEST:: SOT 3888933 SOS 1693396 HAS SOPS 1693396 HAS SOUS 726142 HAS SOUPS 726142 WITH SCORE 727835.396
AT ITER 4901 NEW BEST:: SOT 3888985 SOS 1693552 HAS SOPS 1693552 HAS SOUS 726090 HAS SOUPS 726090 WITH SCORE 727783.552
AT ITER 4902 NEW BEST:: SOT 3888277 SOS 1692135 HAS SOPS 1692135 HAS SOUS 725853 HAS SOUPS 725853 WITH SCORE 727545.135
AT ITER 4910 NEW BEST:: SOT 3887818 SOS 1690796 HAS SOPS 1690796 HAS SOUS 725786 HAS SOUPS 725786 WITH SCORE 727476.796
AT ITER 4918 NEW BEST:: SOT 3887697 SOS 1690554 HAS SOPS 1690554 HAS SOUS 725665 HAS SOUPS 725665 WITH SCORE 727355.554
AT ITER 4919 NEW BEST:: SOT 3886627 SOS 1687505 HAS SOPS 1687505 HAS SOUS 725369 HAS SOUPS 725369 WITH SCORE 727056.505
AT ITER 4931 NEW BEST:: SOT 3886118 SOS 1685939 HAS SOPS 1685939 HAS SOUS 725134 HAS SOUPS 725134 WITH SCORE 726819.939
AT ITER 4933 NEW BEST:: SOT 3885533 SOS 1683551 HAS SOPS 1683551 HAS SOUS 725034 HAS SOUPS 725034 WITH SCORE 726717.551
AT ITER 4942 NEW BEST:: SOT 3885533 SOS 1683622 HAS SOPS 1683622 HAS SOUS 724963 HAS SOUPS 724963 WITH SCORE 726646.622
AT ITER 4943 NEW BEST:: SOT 3885111 SOS 1681489 HAS SOPS 1681489 HAS SOUS 724788 HAS SOUPS 724788 WITH SCORE 726469.489
AT ITER 4944 NEW BEST:: SOT 3885197 SOS 1681790 HAS SOPS 1681790 HAS SOUS 724745 HAS SOUPS 724745 WITH SCORE 726426.79
AT ITER 4949 NEW BEST:: SOT 3884863 SOS 1680955 HAS SOPS 1680955 HAS SOUS 724745 HAS SOUPS 724745 WITH SCORE 726425.955
AT ITER 4951 NEW BEST:: SOT 3884663 SOS 1680355 HAS SOPS 1680355 HAS SOUS 724645 HAS SOUPS 724645 WITH SCORE 726325.355
AT ITER 4961 NEW BEST:: SOT 3883394 SOS 1676569 HAS SOPS 1676569 HAS SOUS 724027 HAS SOUPS 724027 WITH SCORE 725703.569
AT ITER 4964 NEW BEST:: SOT 3883394 SOS 1676569 HAS SOPS 1676569 HAS SOUS 723623 HAS SOUPS 723623 WITH SCORE 725299.569
AT ITER 4975 NEW BEST:: SOT 3883181 SOS 1676142 HAS SOPS 1676142 HAS SOUS 723551 HAS SOUPS 723551 WITH SCORE 725227.142
AT ITER 4982 NEW BEST:: SOT 3883786 SOS 1678485 HAS SOPS 1678485 HAS SOUS 723447 HAS SOUPS 723447 WITH SCORE 725125.485
AT ITER 4990 NEW BEST:: SOT 3883786 SOS 1678482 HAS SOPS 1678482 HAS SOUS 723442 HAS SOUPS 723442 WITH SCORE 725120.482
AT ITER 4995 NEW BEST:: SOT 3883751 SOS 1677989 HAS SOPS 1677989 HAS SOUS 722949 HAS SOUPS 722949 WITH SCORE 724626.989
AT ITER 4998 NEW BEST:: SOT 3883295 SOS 1676546 HAS SOPS 1676546 HAS SOUS 722874 HAS SOUPS 722874 WITH SCORE 724550.546
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-00 (AG( (AX( ( potential( (tk(P1521)) <= (tk(P8)) ) | potential( (tk(P763)) <= (tk(P1196)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-01 ( ( ( ( ( potential( (tk(P891)) <= (tk(P654)) ) & potential( (tk(P72)) <= (tk(P1897)) ) ) & ( potential( (tk(P1627)) <= (tk(P366)) ) & potential( (tk(P1611)) <= (tk(P552)) ) ) ) & (AG( potential( ( 3 ) <= (tk(P715)) ))) ) | (AX( ( potential( (tk(P1719)) <= (tk(P1861)) ) | potential( (tk(P1)) <= (tk(P100)) ) ))) ) & (AG( ( ( potential( ( 1 ) <= (tk(P156)) ) | potential( ( 3 ) <= (tk(P2)) ) ) | ( potential( (tk(P1810)) <= (tk(P1112)) ) | potential( ( 1 ) <= (tk(P1505)) ) ) ))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-02 (AG( potential( (tk(P205)) <= (tk(P335)) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-03 (AU( (! ( potential( ( 3 ) <= (tk(P813)) ) & potential( ( 3 ) <= (tk(P1929)) ) )),(! ( potential( (tk(P1756)) <= (tk(P1863)) ) & potential( (tk(P391)) <= (tk(P1046)) ) )) ))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-04 ( potential( ( 1 ) <= (tk(P1715)) ) | (EG( (! potential( ( 2 ) <= (tk(P1245)) )))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-05 (EX( (AF(( potential( (tk(P210)) <= (tk(P1793)) ) & potential( ( 3 ) <= (tk(P1284)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-06 (AX( ( (AF(potential( ( 3 ) <= (tk(P115)) ))) | (EG( potential( (tk(P2024)) <= (tk(P1366)) ))) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-07 ( ( (! (AG( potential( (tk(P928)) <= (tk(P1535)) )))) | ( ( potential( (tk(P69)) <= (tk(P1317)) ) & ( potential( (tk(P1374)) <= (tk(P339)) ) | potential( (tk(P1702)) <= (tk(P174)) ) ) ) & (EX( potential( ( 1 ) <= (tk(P996)) ))) ) ) & (EF(potential( ( 3 ) <= (tk(P453)) ))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-08 (AG( potential( (tk(P1167)) <= (tk(P2023)) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-09 (AX( (EF(( potential( (tk(P998)) <= (tk(P1536)) ) & potential( ( 1 ) <= (tk(P1025)) ) )))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-10 (EG( ( (AF(potential( (tk(P609)) <= (tk(P611)) ))) & ( potential( (tk(P613)) <= (tk(P1969)) ) & (! potential( ( 2 ) <= (tk(P1248)) )) ) )))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-11 ( (AG( ( potential( ( 2 ) <= (tk(P1977)) ) | (! potential( (tk(P639)) <= (tk(P1371)) )) ))) & potential( (tk(P1944)) <= (tk(P1092)) ) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-12 (EG( (! (AG( potential( (tk(P520)) <= (tk(P25)) ))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-13 ( (EX( (AG( potential( (tk(P130)) <= (tk(P1720)) ))))) & (EG( (! (! potential( (tk(P437)) <= (tk(P443)) ))))) )
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-14 (! (! (EG( (! potential( ( 2 ) <= (tk(P1987)) ))))))
PROPERTY: ViralEpidemic-PT-S04D1C1A04-CTLCardinality-15 (AF((EX( ( potential( ( 3 ) <= (tk(P63)) ) | potential( (tk(P1524)) <= (tk(P1873)) ) )))))

BK_STOP 1590476231812

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

terminate called after throwing an instance of 'St9bad_alloc'
what(): std::bad_alloc
/home/mcc/BenchKit/bin/smart.sh: line 117: 460 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="ViralEpidemic-PT-S04D1C1A04"
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 ViralEpidemic-PT-S04D1C1A04, 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 r224-oct2-159033538900539"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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