Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r138-smll-158961502200012.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
....................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is RERS17pb113-PT-2, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502200012
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.7K Apr 12 07:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 12 07:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.1K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 13:59 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 13:59 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M 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 RERS17pb113-PT-2-CTLFireability-00
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-01
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-02
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-03
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-04
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-05
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-06
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-07
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-08
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-09
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-10
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-11
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-12
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-13
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-14
FORMULA_NAME RERS17pb113-PT-2-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589649564307

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 2
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart

GOT IT HERE. BS
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 12 NEW BEST:: SOT 12195115 SOS 7745717 HAS SOPS 6413642 HAS SOUS 3040282 HAS SOUPS 2939777 WITH SCORE 2947522.717
AT ITER 16 NEW BEST:: SOT 12193229 SOS 7743741 HAS SOPS 6411666 HAS SOUS 3036176 HAS SOUPS 2935671 WITH SCORE 2943414.741
AT ITER 21 NEW BEST:: SOT 12189250 SOS 7732484 HAS SOPS 6407489 HAS SOUS 3029603 HAS SOUPS 2929229 WITH SCORE 2936961.484
AT ITER 26 NEW BEST:: SOT 12189218 SOS 7732452 HAS SOPS 6407457 HAS SOUS 3029427 HAS SOUPS 2929053 WITH SCORE 2936785.452
AT ITER 28 NEW BEST:: SOT 12183731 SOS 7724055 HAS SOPS 6406424 HAS SOUS 3024358 HAS SOUPS 2924402 WITH SCORE 2932126.055
AT ITER 31 NEW BEST:: SOT 12183141 SOS 7723441 HAS SOPS 6405450 HAS SOUS 3023180 HAS SOUPS 2923044 WITH SCORE 2930767.441
AT ITER 37 NEW BEST:: SOT 12188761 SOS 7742724 HAS SOPS 6421559 HAS SOUS 3012096 HAS SOUPS 2911960 WITH SCORE 2919702.724
AT ITER 57 NEW BEST:: SOT 12189108 SOS 7742997 HAS SOPS 6422473 HAS SOUS 3011604 HAS SOUPS 2911468 WITH SCORE 2919210.997
AT ITER 64 NEW BEST:: SOT 12188258 SOS 7737895 HAS SOPS 6416651 HAS SOUS 3009165 HAS SOUPS 2909028 WITH SCORE 2916765.895
AT ITER 65 NEW BEST:: SOT 12188545 SOS 7738774 HAS SOPS 6417091 HAS SOUS 3009135 HAS SOUPS 2908998 WITH SCORE 2916736.774
AT ITER 69 NEW BEST:: SOT 12194124 SOS 7744465 HAS SOPS 6424102 HAS SOUS 3008910 HAS SOUPS 2908773 WITH SCORE 2916517.465
AT ITER 70 NEW BEST:: SOT 12193288 SOS 7743631 HAS SOPS 6423177 HAS SOUS 3007834 HAS SOUPS 2907690 WITH SCORE 2915433.631
AT ITER 75 NEW BEST:: SOT 12191261 SOS 7736392 HAS SOPS 6419483 HAS SOUS 3002865 HAS SOUPS 2902820 WITH SCORE 2910556.392
AT ITER 95 NEW BEST:: SOT 12191120 SOS 7736203 HAS SOPS 6419387 HAS SOUS 3002778 HAS SOUPS 2902733 WITH SCORE 2910469.203
AT ITER 134 NEW BEST:: SOT 12175113 SOS 7720365 HAS SOPS 6403533 HAS SOUS 2986806 HAS SOUPS 2886745 WITH SCORE 2894465.365
AT ITER 157 NEW BEST:: SOT 12175093 SOS 7720277 HAS SOPS 6403955 HAS SOUS 2986034 HAS SOUPS 2886086 WITH SCORE 2893806.277
AT ITER 172 NEW BEST:: SOT 12178472 SOS 7727967 HAS SOPS 6414716 HAS SOUS 2985467 HAS SOUPS 2885553 WITH SCORE 2893280.967
AT ITER 196 NEW BEST:: SOT 12178077 SOS 7723810 HAS SOPS 6418110 HAS SOUS 2975689 HAS SOUPS 2876240 WITH SCORE 2883963.81
AT ITER 221 NEW BEST:: SOT 12178026 SOS 7723741 HAS SOPS 6418039 HAS SOUS 2975594 HAS SOUPS 2876151 WITH SCORE 2883874.741
AT ITER 229 NEW BEST:: SOT 12173693 SOS 7711382 HAS SOPS 6409938 HAS SOUS 2972147 HAS SOUPS 2873152 WITH SCORE 2880863.382
AT ITER 243 NEW BEST:: SOT 12173537 SOS 7710778 HAS SOPS 6409817 HAS SOUS 2971622 HAS SOUPS 2872627 WITH SCORE 2880337.778
AT ITER 253 NEW BEST:: SOT 12172493 SOS 7709811 HAS SOPS 6408642 HAS SOUS 2969482 HAS SOUPS 2870419 WITH SCORE 2878128.811
AT ITER 258 NEW BEST:: SOT 12170791 SOS 7705764 HAS SOPS 6403942 HAS SOUS 2967441 HAS SOUPS 2868378 WITH SCORE 2876083.764
AT ITER 268 NEW BEST:: SOT 12172392 SOS 7713280 HAS SOPS 6412913 HAS SOUS 2965091 HAS SOUPS 2866145 WITH SCORE 2873858.28
AT ITER 270 NEW BEST:: SOT 12169988 SOS 7710578 HAS SOPS 6409903 HAS SOUS 2960171 HAS SOUPS 2861225 WITH SCORE 2868935.578
AT ITER 271 NEW BEST:: SOT 12169948 SOS 7710560 HAS SOPS 6409818 HAS SOUS 2960003 HAS SOUPS 2861057 WITH SCORE 2868767.56
AT ITER 281 NEW BEST:: SOT 12169713 SOS 7708648 HAS SOPS 6410036 HAS SOUS 2959467 HAS SOUPS 2860519 WITH SCORE 2868227.648
AT ITER 288 NEW BEST:: SOT 12168001 SOS 7706785 HAS SOPS 6408165 HAS SOUS 2950730 HAS SOUPS 2851847 WITH SCORE 2859553.785
AT ITER 296 NEW BEST:: SOT 12167054 SOS 7705902 HAS SOPS 6406452 HAS SOUS 2948291 HAS SOUPS 2849387 WITH SCORE 2857092.902
AT ITER 299 NEW BEST:: SOT 12167778 SOS 7709654 HAS SOPS 6409859 HAS SOUS 2948122 HAS SOUPS 2849218 WITH SCORE 2856927.654
AT ITER 300 NEW BEST:: SOT 12167654 SOS 7711935 HAS SOPS 6411844 HAS SOUS 2944594 HAS SOUPS 2845692 WITH SCORE 2853403.935
AT ITER 302 NEW BEST:: SOT 12167338 SOS 7709886 HAS SOPS 6409914 HAS SOUS 2944426 HAS SOUPS 2845524 WITH SCORE 2853233.886
AT ITER 304 NEW BEST:: SOT 12164196 SOS 7702987 HAS SOPS 6407379 HAS SOUS 2940578 HAS SOUPS 2841778 WITH SCORE 2849480.987
AT ITER 305 NEW BEST:: SOT 12167481 SOS 7710703 HAS SOPS 6413824 HAS SOUS 2940570 HAS SOUPS 2841683 WITH SCORE 2849393.703
AT ITER 306 NEW BEST:: SOT 12167143 SOS 7710245 HAS SOPS 6412168 HAS SOUS 2935427 HAS SOUPS 2836443 WITH SCORE 2844153.245
AT ITER 316 NEW BEST:: SOT 12167127 SOS 7710502 HAS SOPS 6412417 HAS SOUS 2935425 HAS SOUPS 2836441 WITH SCORE 2844151.502
AT ITER 327 NEW BEST:: SOT 12166839 SOS 7709801 HAS SOPS 6412080 HAS SOUS 2935102 HAS SOUPS 2836118 WITH SCORE 2843827.801
AT ITER 335 NEW BEST:: SOT 12165984 SOS 7708179 HAS SOPS 6409823 HAS SOUS 2934214 HAS SOUPS 2835230 WITH SCORE 2842938.179
AT ITER 337 NEW BEST:: SOT 12163407 SOS 7701475 HAS SOPS 6403335 HAS SOUS 2928918 HAS SOUPS 2830005 WITH SCORE 2837706.475
AT ITER 339 NEW BEST:: SOT 12165202 SOS 7705928 HAS SOPS 6408866 HAS SOUS 2925637 HAS SOUPS 2826652 WITH SCORE 2834357.928
AT ITER 343 NEW BEST:: SOT 12163285 SOS 7704417 HAS SOPS 6406086 HAS SOUS 2919752 HAS SOUPS 2820767 WITH SCORE 2828471.417
AT ITER 346 NEW BEST:: SOT 12164981 SOS 7711894 HAS SOPS 6413392 HAS SOUS 2919467 HAS SOUPS 2820482 WITH SCORE 2828193.894
AT ITER 354 NEW BEST:: SOT 12160612 SOS 7704605 HAS SOPS 6409574 HAS SOUS 2906233 HAS SOUPS 2807698 WITH SCORE 2815402.605
AT ITER 361 NEW BEST:: SOT 12161799 SOS 7707708 HAS SOPS 6412703 HAS SOUS 2905487 HAS SOUPS 2806952 WITH SCORE 2814659.708
AT ITER 364 NEW BEST:: SOT 12161823 SOS 7707709 HAS SOPS 6412359 HAS SOUS 2904622 HAS SOUPS 2805952 WITH SCORE 2813659.709
AT ITER 371 NEW BEST:: SOT 12149659 SOS 7695545 HAS SOPS 6399075 HAS SOUS 2891218 HAS SOUPS 2792236 WITH SCORE 2799931.545
AT ITER 376 NEW BEST:: SOT 12149605 SOS 7695139 HAS SOPS 6398612 HAS SOUS 2891046 HAS SOUPS 2792064 WITH SCORE 2799759.139
AT ITER 378 NEW BEST:: SOT 12147276 SOS 7692640 HAS SOPS 6395586 HAS SOUS 2887198 HAS SOUPS 2788233 WITH SCORE 2795925.64
AT ITER 389 NEW BEST:: SOT 12143564 SOS 7695085 HAS SOPS 6397268 HAS SOUS 2873653 HAS SOUPS 2774842 WITH SCORE 2782537.085
AT ITER 407 NEW BEST:: SOT 12143198 SOS 7694707 HAS SOPS 6396710 HAS SOUS 2872519 HAS SOUPS 2773708 WITH SCORE 2781402.707
AT ITER 408 NEW BEST:: SOT 12143469 SOS 7689296 HAS SOPS 6400021 HAS SOUS 2865973 HAS SOUPS 2768116 WITH SCORE 2775805.296
AT ITER 420 NEW BEST:: SOT 12143826 SOS 7690036 HAS SOPS 6401256 HAS SOUS 2864331 HAS SOUPS 2767432 WITH SCORE 2775122.036
AT ITER 424 NEW BEST:: SOT 12141665 SOS 7687890 HAS SOPS 6400297 HAS SOUS 2860611 HAS SOUPS 2763903 WITH SCORE 2771590.89
AT ITER 437 NEW BEST:: SOT 12141270 SOS 7685931 HAS SOPS 6398128 HAS SOUS 2858292 HAS SOUPS 2761584 WITH SCORE 2769269.931
AT ITER 439 NEW BEST:: SOT 12141275 SOS 7685934 HAS SOPS 6398097 HAS SOUS 2858226 HAS SOUPS 2761518 WITH SCORE 2769203.934
AT ITER 440 NEW BEST:: SOT 12144099 SOS 7690307 HAS SOPS 6408622 HAS SOUS 2852824 HAS SOUPS 2756116 WITH SCORE 2763806.307
AT ITER 456 NEW BEST:: SOT 12144015 SOS 7690258 HAS SOPS 6408666 HAS SOUS 2852681 HAS SOUPS 2755973 WITH SCORE 2763663.258
AT ITER 457 NEW BEST:: SOT 12143142 SOS 7689916 HAS SOPS 6407722 HAS SOUS 2850840 HAS SOUPS 2753519 WITH SCORE 2761208.916
AT ITER 458 NEW BEST:: SOT 12143108 SOS 7689498 HAS SOPS 6406787 HAS SOUS 2850012 HAS SOUPS 2752691 WITH SCORE 2760380.498
AT ITER 473 NEW BEST:: SOT 12138817 SOS 7685955 HAS SOPS 6400104 HAS SOUS 2837628 HAS SOUPS 2740307 WITH SCORE 2747992.955
AT ITER 475 NEW BEST:: SOT 12172423 SOS 7715378 HAS SOPS 6425214 HAS SOUS 2828666 HAS SOUPS 2730178 WITH SCORE 2737893.378
AT ITER 477 NEW BEST:: SOT 12172399 SOS 7715374 HAS SOPS 6425394 HAS SOUS 2828589 HAS SOUPS 2730101 WITH SCORE 2737816.374
AT ITER 481 NEW BEST:: SOT 12175076 SOS 7719658 HAS SOPS 6427879 HAS SOUS 2827412 HAS SOUPS 2728924 WITH SCORE 2736643.658
AT ITER 487 NEW BEST:: SOT 12175031 SOS 7719577 HAS SOPS 6427834 HAS SOUS 2827358 HAS SOUPS 2728879 WITH SCORE 2736598.577
AT ITER 498 NEW BEST:: SOT 12175328 SOS 7719771 HAS SOPS 6428160 HAS SOUS 2826617 HAS SOUPS 2728138 WITH SCORE 2735857.771
AT ITER 500 NEW BEST:: SOT 12175186 SOS 7719629 HAS SOPS 6428018 HAS SOUS 2825747 HAS SOUPS 2727268 WITH SCORE 2734987.629
AT ITER 507 NEW BEST:: SOT 12161429 SOS 7709282 HAS SOPS 6417413 HAS SOUS 2817493 HAS SOUPS 2718887 WITH SCORE 2726596.282
AT ITER 512 NEW BEST:: SOT 12161890 SOS 7709114 HAS SOPS 6417506 HAS SOUS 2808812 HAS SOUPS 2710944 WITH SCORE 2718653.114
AT ITER 522 NEW BEST:: SOT 12158624 SOS 7705098 HAS SOPS 6413662 HAS SOUS 2802293 HAS SOUPS 2704464 WITH SCORE 2712169.098
AT ITER 528 NEW BEST:: SOT 12165750 SOS 7708411 HAS SOPS 6417959 HAS SOUS 2795603 HAS SOUPS 2697940 WITH SCORE 2705648.411
AT ITER 531 NEW BEST:: SOT 12166146 SOS 7709723 HAS SOPS 6419056 HAS SOUS 2795530 HAS SOUPS 2697867 WITH SCORE 2705576.723
AT ITER 537 NEW BEST:: SOT 12162977 SOS 7706499 HAS SOPS 6415832 HAS SOUS 2793894 HAS SOUPS 2696231 WITH SCORE 2703937.499
AT ITER 538 NEW BEST:: SOT 12163011 SOS 7705829 HAS SOPS 6413681 HAS SOUS 2793192 HAS SOUPS 2695529 WITH SCORE 2703234.829
AT ITER 541 NEW BEST:: SOT 12167234 SOS 7718861 HAS SOPS 6427629 HAS SOUS 2789602 HAS SOUPS 2691939 WITH SCORE 2699657.861
AT ITER 556 NEW BEST:: SOT 12167091 SOS 7718608 HAS SOPS 6427295 HAS SOUS 2789127 HAS SOUPS 2691464 WITH SCORE 2699182.608
AT ITER 565 NEW BEST:: SOT 12167045 SOS 7721437 HAS SOPS 6424681 HAS SOUS 2783034 HAS SOUPS 2685371 WITH SCORE 2693092.437
AT ITER 571 NEW BEST:: SOT 12166501 SOS 7720880 HAS SOPS 6423929 HAS SOUS 2781650 HAS SOUPS 2683987 WITH SCORE 2691707.88
AT ITER 584 NEW BEST:: SOT 12163314 SOS 7714397 HAS SOPS 6419649 HAS SOUS 2781166 HAS SOUPS 2683503 WITH SCORE 2691217.397
AT ITER 592 NEW BEST:: SOT 12163877 SOS 7716673 HAS SOPS 6420027 HAS SOUS 2778170 HAS SOUPS 2680433 WITH SCORE 2688149.673
AT ITER 598 NEW BEST:: SOT 12167379 SOS 7719892 HAS SOPS 6423206 HAS SOUS 2776464 HAS SOUPS 2679757 WITH SCORE 2687476.892
AT ITER 624 NEW BEST:: SOT 12164908 SOS 7716087 HAS SOPS 6419946 HAS SOUS 2773979 HAS SOUPS 2677272 WITH SCORE 2684988.087
AT ITER 636 NEW BEST:: SOT 12161495 SOS 7712725 HAS SOPS 6417445 HAS SOUS 2772455 HAS SOUPS 2676879 WITH SCORE 2684591.725
AT ITER 643 NEW BEST:: SOT 12172144 SOS 7728817 HAS SOPS 6430888 HAS SOUS 2771008 HAS SOUPS 2675228 WITH SCORE 2682956.817
AT ITER 646 NEW BEST:: SOT 12170926 SOS 7729878 HAS SOPS 6430011 HAS SOUS 2767349 HAS SOUPS 2671569 WITH SCORE 2679298.878
AT ITER 647 NEW BEST:: SOT 12170384 SOS 7729289 HAS SOPS 6427920 HAS SOUS 2764580 HAS SOUPS 2668800 WITH SCORE 2676529.289
AT ITER 656 NEW BEST:: SOT 12174130 SOS 7744065 HAS SOPS 6439658 HAS SOUS 2762745 HAS SOUPS 2666932 WITH SCORE 2674676.065
AT ITER 669 NEW BEST:: SOT 12174607 SOS 7745214 HAS SOPS 6439701 HAS SOUS 2762450 HAS SOUPS 2666581 WITH SCORE 2674326.214
AT ITER 671 NEW BEST:: SOT 12182091 SOS 7763862 HAS SOPS 6459056 HAS SOUS 2761558 HAS SOUPS 2665811 WITH SCORE 2673574.862
AT ITER 689 NEW BEST:: SOT 12181608 SOS 7765402 HAS SOPS 6458489 HAS SOUS 2760824 HAS SOUPS 2665004 WITH SCORE 2672769.402
AT ITER 691 NEW BEST:: SOT 12181349 SOS 7765490 HAS SOPS 6457472 HAS SOUS 2758386 HAS SOUPS 2662598 WITH SCORE 2670363.49
AT ITER 693 NEW BEST:: SOT 12181345 SOS 7765369 HAS SOPS 6457417 HAS SOUS 2758319 HAS SOUPS 2662534 WITH SCORE 2670299.369
AT ITER 698 NEW BEST:: SOT 12174538 SOS 7758562 HAS SOPS 6449698 HAS SOUS 2749080 HAS SOUPS 2652959 WITH SCORE 2660717.562
AT ITER 699 NEW BEST:: SOT 12168436 SOS 7752460 HAS SOPS 6443596 HAS SOUS 2742978 HAS SOUPS 2646857 WITH SCORE 2654609.46
AT ITER 700 NEW BEST:: SOT 12181789 SOS 7765741 HAS SOPS 6462753 HAS SOUS 2740031 HAS SOUPS 2643970 WITH SCORE 2651735.741
AT ITER 706 NEW BEST:: SOT 12183848 SOS 7767764 HAS SOPS 6464794 HAS SOUS 2736648 HAS SOUPS 2640605 WITH SCORE 2648372.764
AT ITER 707 NEW BEST:: SOT 12183341 SOS 7767861 HAS SOPS 6463821 HAS SOUS 2734253 HAS SOUPS 2638210 WITH SCORE 2645977.861
AT ITER 710 NEW BEST:: SOT 12183100 SOS 7767778 HAS SOPS 6463680 HAS SOUS 2733304 HAS SOUPS 2637261 WITH SCORE 2645028.778
AT ITER 713 NEW BEST:: SOT 12183184 SOS 7768338 HAS SOPS 6464102 HAS SOUS 2733062 HAS SOUPS 2637019 WITH SCORE 2644787.338
AT ITER 714 NEW BEST:: SOT 12179008 SOS 7771496 HAS SOPS 6468845 HAS SOUS 2721609 HAS SOUPS 2625791 WITH SCORE 2633562.496
AT ITER 721 NEW BEST:: SOT 12177791 SOS 7770232 HAS SOPS 6467545 HAS SOUS 2718867 HAS SOUPS 2623061 WITH SCORE 2630831.232
AT ITER 730 NEW BEST:: SOT 12185732 SOS 7777991 HAS SOPS 6477308 HAS SOUS 2717921 HAS SOUPS 2622115 WITH SCORE 2629892.991
AT ITER 747 NEW BEST:: SOT 12187069 SOS 7779091 HAS SOPS 6478899 HAS SOUS 2717126 HAS SOUPS 2622047 WITH SCORE 2629826.091
AT ITER 762 NEW BEST:: SOT 12186979 SOS 7778801 HAS SOPS 6478669 HAS SOUS 2716856 HAS SOUPS 2621777 WITH SCORE 2629555.801
AT ITER 773 NEW BEST:: SOT 12185354 SOS 7776185 HAS SOPS 6475731 HAS SOUS 2713653 HAS SOUPS 2618590 WITH SCORE 2626366.185
AT ITER 774 NEW BEST:: SOT 12173722 SOS 7763677 HAS SOPS 6460159 HAS SOUS 2691733 HAS SOUPS 2596738 WITH SCORE 2604501.677
AT ITER 778 NEW BEST:: SOT 12164696 SOS 7754643 HAS SOPS 6451089 HAS SOUS 2682671 HAS SOUPS 2587640 WITH SCORE 2595394.643
AT ITER 790 NEW BEST:: SOT 12168047 SOS 7758194 HAS SOPS 6453706 HAS SOUS 2681057 HAS SOUPS 2584811 WITH SCORE 2592569.194
AT ITER 794 NEW BEST:: SOT 12169366 SOS 7760511 HAS SOPS 6457336 HAS SOUS 2677281 HAS SOUPS 2581419 WITH SCORE 2589179.511
AT ITER 801 NEW BEST:: SOT 12169326 SOS 7760471 HAS SOPS 6457296 HAS SOUS 2677137 HAS SOUPS 2581275 WITH SCORE 2589035.471
AT ITER 811 NEW BEST:: SOT 12168768 SOS 7760313 HAS SOPS 6459880 HAS SOUS 2674570 HAS SOUPS 2578708 WITH SCORE 2586468.313
AT ITER 819 NEW BEST:: SOT 12169008 SOS 7760974 HAS SOPS 6460081 HAS SOUS 2673893 HAS SOUPS 2578031 WITH SCORE 2585791.974
AT ITER 835 NEW BEST:: SOT 12168809 SOS 7759873 HAS SOPS 6462269 HAS SOUS 2673184 HAS SOUPS 2577322 WITH SCORE 2585081.873
AT ITER 856 NEW BEST:: SOT 12168676 SOS 7759712 HAS SOPS 6461940 HAS SOUS 2672519 HAS SOUPS 2576657 WITH SCORE 2584416.712
AT ITER 857 NEW BEST:: SOT 12164591 SOS 7756155 HAS SOPS 6456925 HAS SOUS 2664245 HAS SOUPS 2568260 WITH SCORE 2576016.155
AT ITER 863 NEW BEST:: SOT 12163653 SOS 7756111 HAS SOPS 6455163 HAS SOUS 2659444 HAS SOUPS 2563459 WITH SCORE 2571215.111
AT ITER 864 NEW BEST:: SOT 12162981 SOS 7755439 HAS SOPS 6454491 HAS SOUS 2658772 HAS SOUPS 2562787 WITH SCORE 2570542.439
AT ITER 875 NEW BEST:: SOT 12165462 SOS 7758854 HAS SOPS 6459081 HAS SOUS 2650375 HAS SOUPS 2554278 WITH SCORE 2562036.854
AT ITER 881 NEW BEST:: SOT 12165060 SOS 7758329 HAS SOPS 6458752 HAS SOUS 2650033 HAS SOUPS 2553936 WITH SCORE 2561694.329
AT ITER 888 NEW BEST:: SOT 12169823 SOS 7765609 HAS SOPS 6460306 HAS SOUS 2628291 HAS SOUPS 2532122 WITH SCORE 2539887.609
AT ITER 907 NEW BEST:: SOT 12163767 SOS 7759553 HAS SOPS 6453658 HAS SOUS 2621171 HAS SOUPS 2525002 WITH SCORE 2532761.553
AT ITER 919 NEW BEST:: SOT 12161433 SOS 7756608 HAS SOPS 6450060 HAS SOUS 2615530 HAS SOUPS 2519521 WITH SCORE 2527277.608
AT ITER 923 NEW BEST:: SOT 12162618 SOS 7767148 HAS SOPS 6458910 HAS SOUS 2614107 HAS SOUPS 2517732 WITH SCORE 2525499.148
AT ITER 928 NEW BEST:: SOT 12162234 SOS 7766764 HAS SOPS 6458398 HAS SOUS 2613339 HAS SOUPS 2516964 WITH SCORE 2524730.764
AT ITER 941 NEW BEST:: SOT 12155462 SOS 7754069 HAS SOPS 6449959 HAS SOUS 2601455 HAS SOUPS 2505866 WITH SCORE 2513620.069
AT ITER 954 NEW BEST:: SOT 12154290 SOS 7749719 HAS SOPS 6444443 HAS SOUS 2596599 HAS SOUPS 2501080 WITH SCORE 2508829.719
AT ITER 960 NEW BEST:: SOT 12156559 SOS 7752515 HAS SOPS 6444538 HAS SOUS 2596035 HAS SOUPS 2500516 WITH SCORE 2508268.515
AT ITER 961 NEW BEST:: SOT 12156504 SOS 7752617 HAS SOPS 6444541 HAS SOUS 2596025 HAS SOUPS 2500506 WITH SCORE 2508258.617
AT ITER 985 NEW BEST:: SOT 12150161 SOS 7741407 HAS SOPS 6434572 HAS SOUS 2587084 HAS SOUPS 2491565 WITH SCORE 2499306.407
AT ITER 988 NEW BEST:: SOT 12142257 SOS 7724302 HAS SOPS 6417457 HAS SOUS 2578589 HAS SOUPS 2483070 WITH SCORE 2490794.302
AT ITER 989 NEW BEST:: SOT 12142545 SOS 7726824 HAS SOPS 6419305 HAS SOUS 2578160 HAS SOUPS 2482641 WITH SCORE 2490367.824
AT ITER 1019 NEW BEST:: SOT 12141847 SOS 7724850 HAS SOPS 6417949 HAS SOUS 2577592 HAS SOUPS 2482201 WITH SCORE 2489925.85
AT ITER 1026 NEW BEST:: SOT 12141759 SOS 7724744 HAS SOPS 6418065 HAS SOUS 2577402 HAS SOUPS 2482017 WITH SCORE 2489741.744
AT ITER 1030 NEW BEST:: SOT 12141554 SOS 7724539 HAS SOPS 6417796 HAS SOUS 2577101 HAS SOUPS 2481716 WITH SCORE 2489440.539
AT ITER 1035 NEW BEST:: SOT 12141272 SOS 7725921 HAS SOPS 6417955 HAS SOUS 2573707 HAS SOUPS 2478322 WITH SCORE 2486047.921
AT ITER 1070 NEW BEST:: SOT 12141648 SOS 7725639 HAS SOPS 6416309 HAS SOUS 2573166 HAS SOUPS 2477781 WITH SCORE 2485506.639
AT ITER 1075 NEW BEST:: SOT 12143464 SOS 7730916 HAS SOPS 6421219 HAS SOUS 2572077 HAS SOUPS 2476692 WITH SCORE 2484422.916
AT ITER 1083 NEW BEST:: SOT 12140875 SOS 7730359 HAS SOPS 6419480 HAS SOUS 2561950 HAS SOUPS 2466565 WITH SCORE 2474295.359
AT ITER 1088 NEW BEST:: SOT 12140895 SOS 7731682 HAS SOPS 6418453 HAS SOUS 2560214 HAS SOUPS 2464829 WITH SCORE 2472560.682
AT ITER 1093 NEW BEST:: SOT 12138990 SOS 7729552 HAS SOPS 6414896 HAS SOUS 2558467 HAS SOUPS 2461876 WITH SCORE 2469605.552
AT ITER 1111 NEW BEST:: SOT 12138320 SOS 7726220 HAS SOPS 6414279 HAS SOUS 2554782 HAS SOUPS 2459506 WITH SCORE 2467232.22
AT ITER 1113 NEW BEST:: SOT 12138265 SOS 7724101 HAS SOPS 6411166 HAS SOUS 2550342 HAS SOUPS 2455092 WITH SCORE 2462816.101
AT ITER 1123 NEW BEST:: SOT 12130280 SOS 7713613 HAS SOPS 6402864 HAS SOUS 2529309 HAS SOUPS 2434260 WITH SCORE 2441973.613
AT ITER 1143 NEW BEST:: SOT 12130048 SOS 7711389 HAS SOPS 6400077 HAS SOUS 2528923 HAS SOUPS 2433874 WITH SCORE 2441585.389
AT ITER 1149 NEW BEST:: SOT 12132727 SOS 7713313 HAS SOPS 6401149 HAS SOUS 2528488 HAS SOUPS 2433439 WITH SCORE 2441152.313
AT ITER 1158 NEW BEST:: SOT 12139463 SOS 7731406 HAS SOPS 6418040 HAS SOUS 2526344 HAS SOUPS 2431156 WITH SCORE 2438887.406
AT ITER 1166 NEW BEST:: SOT 12138938 SOS 7730921 HAS SOPS 6417011 HAS SOUS 2524526 HAS SOUPS 2429338 WITH SCORE 2437068.921
AT ITER 1168 NEW BEST:: SOT 12137353 SOS 7729208 HAS SOPS 6415296 HAS SOUS 2522697 HAS SOUPS 2427507 WITH SCORE 2435236.208
AT ITER 1171 NEW BEST:: SOT 12137666 SOS 7730610 HAS SOPS 6414784 HAS SOUS 2518503 HAS SOUPS 2423238 WITH SCORE 2430968.61
AT ITER 1172 NEW BEST:: SOT 12139148 SOS 7732124 HAS SOPS 6415626 HAS SOUS 2515602 HAS SOUPS 2420997 WITH SCORE 2428729.124
AT ITER 1176 NEW BEST:: SOT 12141238 SOS 7735633 HAS SOPS 6418653 HAS SOUS 2515050 HAS SOUPS 2420492 WITH SCORE 2428227.633
AT ITER 1188 NEW BEST:: SOT 12142550 SOS 7741769 HAS SOPS 6424400 HAS SOUS 2512087 HAS SOUPS 2417590 WITH SCORE 2425331.769
AT ITER 1189 NEW BEST:: SOT 12139367 SOS 7732237 HAS SOPS 6416444 HAS SOUS 2508084 HAS SOUPS 2413648 WITH SCORE 2421380.237
AT ITER 1193 NEW BEST:: SOT 12135528 SOS 7722056 HAS SOPS 6410672 HAS SOUS 2502941 HAS SOUPS 2408505 WITH SCORE 2416227.056
AT ITER 1204 NEW BEST:: SOT 12134791 SOS 7721088 HAS SOPS 6409506 HAS SOUS 2501929 HAS SOUPS 2407493 WITH SCORE 2415214.088
AT ITER 1207 NEW BEST:: SOT 12133351 SOS 7716137 HAS SOPS 6408711 HAS SOUS 2496696 HAS SOUPS 2403350 WITH SCORE 2411066.137
AT ITER 1208 NEW BEST:: SOT 12133385 SOS 7717594 HAS SOPS 6411384 HAS SOUS 2494010 HAS SOUPS 2400664 WITH SCORE 2408381.594
AT ITER 1236 NEW BEST:: SOT 12132443 SOS 7716360 HAS SOPS 6410410 HAS SOUS 2491102 HAS SOUPS 2397759 WITH SCORE 2405475.36
AT ITER 1240 NEW BEST:: SOT 12132375 SOS 7716278 HAS SOPS 6410288 HAS SOUS 2491028 HAS SOUPS 2397685 WITH SCORE 2405401.278
AT ITER 1253 NEW BEST:: SOT 12134169 SOS 7716926 HAS SOPS 6412268 HAS SOUS 2490772 HAS SOUPS 2397466 WITH SCORE 2405182.926
AT ITER 1254 NEW BEST:: SOT 12127686 SOS 7714752 HAS SOPS 6409437 HAS SOUS 2485788 HAS SOUPS 2392410 WITH SCORE 2400124.752
AT ITER 1279 NEW BEST:: SOT 12127180 SOS 7714890 HAS SOPS 6409594 HAS SOUS 2484821 HAS SOUPS 2391443 WITH SCORE 2399157.89
AT ITER 1295 NEW BEST:: SOT 12127100 SOS 7714411 HAS SOPS 6409357 HAS SOUS 2484457 HAS SOUPS 2391172 WITH SCORE 2398886.411
AT ITER 1297 NEW BEST:: SOT 12126908 SOS 7714143 HAS SOPS 6408885 HAS SOUS 2484319 HAS SOUPS 2391020 WITH SCORE 2398734.143
AT ITER 1301 NEW BEST:: SOT 12126461 SOS 7719274 HAS SOPS 6412718 HAS SOUS 2482529 HAS SOUPS 2389150 WITH SCORE 2396869.274
AT ITER 1309 NEW BEST:: SOT 12126295 SOS 7719114 HAS SOPS 6412521 HAS SOUS 2482153 HAS SOUPS 2388778 WITH SCORE 2396497.114
AT ITER 1312 NEW BEST:: SOT 12133154 SOS 7733777 HAS SOPS 6425486 HAS SOUS 2476992 HAS SOUPS 2383401 WITH SCORE 2391134.777
AT ITER 1313 NEW BEST:: SOT 12133298 SOS 7733921 HAS SOPS 6425550 HAS SOUS 2476576 HAS SOUPS 2382985 WITH SCORE 2390718.921
AT ITER 1314 NEW BEST:: SOT 12133330 SOS 7733900 HAS SOPS 6425529 HAS SOUS 2476331 HAS SOUPS 2382740 WITH SCORE 2390473.9
AT ITER 1327 NEW BEST:: SOT 12135500 SOS 7736334 HAS SOPS 6427428 HAS SOUS 2474486 HAS SOUPS 2380964 WITH SCORE 2388700.334
AT ITER 1330 NEW BEST:: SOT 12118317 SOS 7713654 HAS SOPS 6406263 HAS SOUS 2456464 HAS SOUPS 2362942 WITH SCORE 2370655.654
AT ITER 1335 NEW BEST:: SOT 12116424 SOS 7707701 HAS SOPS 6403698 HAS SOUS 2453603 HAS SOUPS 2360151 WITH SCORE 2367858.701
AT ITER 1345 NEW BEST:: SOT 12117820 SOS 7710273 HAS SOPS 6408360 HAS SOUS 2450425 HAS SOUPS 2356973 WITH SCORE 2364683.273
AT ITER 1347 NEW BEST:: SOT 12117913 SOS 7710323 HAS SOPS 6408419 HAS SOUS 2450380 HAS SOUPS 2356957 WITH SCORE 2364667.323
AT ITER 1349 NEW BEST:: SOT 12115682 SOS 7702326 HAS SOPS 6405008 HAS SOUS 2444167 HAS SOUPS 2350924 WITH SCORE 2358626.326
AT ITER 1351 NEW BEST:: SOT 12115352 SOS 7701988 HAS SOPS 6404542 HAS SOUS 2443453 HAS SOUPS 2350210 WITH SCORE 2357911.988
AT ITER 1353 NEW BEST:: SOT 12115368 SOS 7702090 HAS SOPS 6404643 HAS SOUS 2442954 HAS SOUPS 2349704 WITH SCORE 2357406.09
AT ITER 1367 NEW BEST:: SOT 12111272 SOS 7689595 HAS SOPS 6396915 HAS SOUS 2441045 HAS SOUPS 2347882 WITH SCORE 2355571.595
AT ITER 1379 NEW BEST:: SOT 12111211 SOS 7689814 HAS SOPS 6397146 HAS SOUS 2440231 HAS SOUPS 2347079 WITH SCORE 2354768.814
AT ITER 1382 NEW BEST:: SOT 12111036 SOS 7689468 HAS SOPS 6396731 HAS SOUS 2439954 HAS SOUPS 2346799 WITH SCORE 2354488.468
AT ITER 1384 NEW BEST:: SOT 12110656 SOS 7689088 HAS SOPS 6396079 HAS SOUS 2438718 HAS SOUPS 2345563 WITH SCORE 2353252.088
AT ITER 1390 NEW BEST:: SOT 12110008 SOS 7688440 HAS SOPS 6394871 HAS SOUS 2436046 HAS SOUPS 2342891 WITH SCORE 2350579.44
AT ITER 1399 NEW BEST:: SOT 12110025 SOS 7688485 HAS SOPS 6394842 HAS SOUS 2435997 HAS SOUPS 2342836 WITH SCORE 2350524.485
AT ITER 1404 NEW BEST:: SOT 12108886 SOS 7686234 HAS SOPS 6392912 HAS SOUS 2433881 HAS SOUPS 2341102 WITH SCORE 2348788.234
AT ITER 1457 NEW BEST:: SOT 12108932 SOS 7686423 HAS SOPS 6392396 HAS SOUS 2432900 HAS SOUPS 2340121 WITH SCORE 2347807.423
AT ITER 1464 NEW BEST:: SOT 12108899 SOS 7686042 HAS SOPS 6392109 HAS SOUS 2432782 HAS SOUPS 2340003 WITH SCORE 2347689.042
AT ITER 1474 NEW BEST:: SOT 12108835 SOS 7685899 HAS SOPS 6391902 HAS SOUS 2432765 HAS SOUPS 2339986 WITH SCORE 2347671.899
AT ITER 1479 NEW BEST:: SOT 12103457 SOS 7675208 HAS SOPS 6380452 HAS SOUS 2425599 HAS SOUPS 2332752 WITH SCORE 2340427.208
AT ITER 1480 NEW BEST:: SOT 12104112 SOS 7682959 HAS SOPS 6389294 HAS SOUS 2424466 HAS SOUPS 2331619 WITH SCORE 2339301.959
AT ITER 1506 NEW BEST:: SOT 12104031 SOS 7682878 HAS SOPS 6389165 HAS SOUS 2424181 HAS SOUPS 2331334 WITH SCORE 2339016.878
AT ITER 1509 NEW BEST:: SOT 12097545 SOS 7666616 HAS SOPS 6372091 HAS SOUS 2419586 HAS SOUPS 2326620 WITH SCORE 2334286.616
AT ITER 1524 NEW BEST:: SOT 12095079 SOS 7656283 HAS SOPS 6368249 HAS SOUS 2416047 HAS SOUPS 2323679 WITH SCORE 2331335.283
AT ITER 1543 NEW BEST:: SOT 12093444 SOS 7663012 HAS SOPS 6367872 HAS SOUS 2412351 HAS SOUPS 2319894 WITH SCORE 2327557.012
AT ITER 1544 NEW BEST:: SOT 12093576 SOS 7663412 HAS SOPS 6368338 HAS SOUS 2409925 HAS SOUPS 2317476 WITH SCORE 2325139.412
AT ITER 1559 NEW BEST:: SOT 12095266 SOS 7674364 HAS SOPS 6378491 HAS SOUS 2409045 HAS SOUPS 2316596 WITH SCORE 2324270.364
AT ITER 1560 NEW BEST:: SOT 12095139 SOS 7674528 HAS SOPS 6378382 HAS SOUS 2408312 HAS SOUPS 2315863 WITH SCORE 2323537.528
AT ITER 1561 NEW BEST:: SOT 12093189 SOS 7672578 HAS SOPS 6376432 HAS SOUS 2405946 HAS SOUPS 2313497 WITH SCORE 2321169.578
AT ITER 1568 NEW BEST:: SOT 12091752 SOS 7670636 HAS SOPS 6374297 HAS SOUS 2404119 HAS SOUPS 2311700 WITH SCORE 2319370.636
AT ITER 1569 NEW BEST:: SOT 12085860 SOS 7664744 HAS SOPS 6368405 HAS SOUS 2398003 HAS SOUPS 2305584 WITH SCORE 2313248.744
AT ITER 1574 NEW BEST:: SOT 12085526 SOS 7664422 HAS SOPS 6367883 HAS SOUS 2397226 HAS SOUPS 2304807 WITH SCORE 2312471.422
AT ITER 1578 NEW BEST:: SOT 12084000 SOS 7662535 HAS SOPS 6365289 HAS SOUS 2393122 HAS SOUPS 2300703 WITH SCORE 2308365.535
AT ITER 1589 NEW BEST:: SOT 12085230 SOS 7663877 HAS SOPS 6366170 HAS SOUS 2392470 HAS SOUPS 2300061 WITH SCORE 2307724.877
AT ITER 1594 NEW BEST:: SOT 12079219 SOS 7656528 HAS SOPS 6361143 HAS SOUS 2387049 HAS SOUPS 2294795 WITH SCORE 2302451.528
AT ITER 1627 NEW BEST:: SOT 12079235 SOS 7652825 HAS SOPS 6363701 HAS SOUS 2385830 HAS SOUPS 2293948 WITH SCORE 2301600.825
AT ITER 1631 NEW BEST:: SOT 12068914 SOS 7640000 HAS SOPS 6350423 HAS SOUS 2372011 HAS SOUPS 2280205 WITH SCORE 2287845.0
AT ITER 1638 NEW BEST:: SOT 12069135 SOS 7641838 HAS SOPS 6350553 HAS SOUS 2370518 HAS SOUPS 2278688 WITH SCORE 2286329.838
AT ITER 1650 NEW BEST:: SOT 12068927 SOS 7641584 HAS SOPS 6349817 HAS SOUS 2369558 HAS SOUPS 2277271 WITH SCORE 2284912.584
AT ITER 1654 NEW BEST:: SOT 12066269 SOS 7639030 HAS SOPS 6345566 HAS SOUS 2362021 HAS SOUPS 2269734 WITH SCORE 2277373.03
AT ITER 1657 NEW BEST:: SOT 12058195 SOS 7624348 HAS SOPS 6334514 HAS SOUS 2360275 HAS SOUPS 2268637 WITH SCORE 2276261.348
AT ITER 1662 NEW BEST:: SOT 12057736 SOS 7623847 HAS SOPS 6333895 HAS SOUS 2359273 HAS SOUPS 2267656 WITH SCORE 2275279.847
AT ITER 1666 NEW BEST:: SOT 12059195 SOS 7624667 HAS SOPS 6337264 HAS SOUS 2358940 HAS SOUPS 2267323 WITH SCORE 2274947.667
AT ITER 1689 NEW BEST:: SOT 12058913 SOS 7624162 HAS SOPS 6336211 HAS SOUS 2357921 HAS SOUPS 2266304 WITH SCORE 2273928.162
AT ITER 1698 NEW BEST:: SOT 12054992 SOS 7613223 HAS SOPS 6332128 HAS SOUS 2345698 HAS SOUPS 2254170 WITH SCORE 2261783.223
AT ITER 1701 NEW BEST:: SOT 12054668 SOS 7613177 HAS SOPS 6331795 HAS SOUS 2345658 HAS SOUPS 2254099 WITH SCORE 2261712.177
AT ITER 1714 NEW BEST:: SOT 12055095 SOS 7616355 HAS SOPS 6335479 HAS SOUS 2345001 HAS SOUPS 2253442 WITH SCORE 2261058.355
AT ITER 1720 NEW BEST:: SOT 12056840 SOS 7620816 HAS SOPS 6340974 HAS SOUS 2340525 HAS SOUPS 2249044 WITH SCORE 2256664.816
AT ITER 1721 NEW BEST:: SOT 12056809 SOS 7620765 HAS SOPS 6341162 HAS SOUS 2340379 HAS SOUPS 2248898 WITH SCORE 2256518.765
AT ITER 1725 NEW BEST:: SOT 12057996 SOS 7628192 HAS SOPS 6343185 HAS SOUS 2335734 HAS SOUPS 2244181 WITH SCORE 2251809.192
AT ITER 1733 NEW BEST:: SOT 12056958 SOS 7626641 HAS SOPS 6341916 HAS SOUS 2335158 HAS SOUPS 2243889 WITH SCORE 2251515.641
AT ITER 1740 NEW BEST:: SOT 12056950 SOS 7626408 HAS SOPS 6342040 HAS SOUS 2335095 HAS SOUPS 2243826 WITH SCORE 2251452.408
AT ITER 1744 NEW BEST:: SOT 12053342 SOS 7618870 HAS SOPS 6336652 HAS SOUS 2333985 HAS SOUPS 2242716 WITH SCORE 2250334.87
AT ITER 1789 NEW BEST:: SOT 12053287 SOS 7618732 HAS SOPS 6336524 HAS SOUS 2333983 HAS SOUPS 2242714 WITH SCORE 2250332.732
AT ITER 1801 NEW BEST:: SOT 12054260 SOS 7622905 HAS SOPS 6337779 HAS SOUS 2333501 HAS SOUPS 2241568 WITH SCORE 2249190.905
AT ITER 1802 NEW BEST:: SOT 12053610 SOS 7626175 HAS SOPS 6337653 HAS SOUS 2328560 HAS SOUPS 2236777 WITH SCORE 2244403.175
AT ITER 1817 NEW BEST:: SOT 12050163 SOS 7615031 HAS SOPS 6331126 HAS SOUS 2328076 HAS SOUPS 2236406 WITH SCORE 2244021.031
AT ITER 1832 NEW BEST:: SOT 12049219 SOS 7614087 HAS SOPS 6330166 HAS SOUS 2327036 HAS SOUPS 2235378 WITH SCORE 2242992.087
AT ITER 1839 NEW BEST:: SOT 12049294 SOS 7614333 HAS SOPS 6330650 HAS SOUS 2323980 HAS SOUPS 2232382 WITH SCORE 2239996.333
AT ITER 1866 NEW BEST:: SOT 12049279 SOS 7614248 HAS SOPS 6330530 HAS SOUS 2323941 HAS SOUPS 2232343 WITH SCORE 2239957.248
AT ITER 1867 NEW BEST:: SOT 12050431 SOS 7618142 HAS SOPS 6333774 HAS SOUS 2322621 HAS SOUPS 2231023 WITH SCORE 2238641.142
AT ITER 1869 NEW BEST:: SOT 12046707 SOS 7613323 HAS SOPS 6326707 HAS SOUS 2314156 HAS SOUPS 2222558 WITH SCORE 2230171.323
AT ITER 1872 NEW BEST:: SOT 12046119 SOS 7614093 HAS SOPS 6326889 HAS SOUS 2312191 HAS SOUPS 2220593 WITH SCORE 2228207.093
AT ITER 1887 NEW BEST:: SOT 12046749 SOS 7619272 HAS SOPS 6332095 HAS SOUS 2311294 HAS SOUPS 2219541 WITH SCORE 2227160.272
AT ITER 1896 NEW BEST:: SOT 12045669 SOS 7618192 HAS SOPS 6330455 HAS SOUS 2308014 HAS SOUPS 2216261 WITH SCORE 2223879.192
AT ITER 1899 NEW BEST:: SOT 12044698 SOS 7617498 HAS SOPS 6328497 HAS SOUS 2303697 HAS SOUPS 2212290 WITH SCORE 2219907.498
AT ITER 1902 NEW BEST:: SOT 12044771 SOS 7617409 HAS SOPS 6334415 HAS SOUS 2302553 HAS SOUPS 2210995 WITH SCORE 2218612.409
AT ITER 1911 NEW BEST:: SOT 12050075 SOS 7633551 HAS SOPS 6348620 HAS SOUS 2297648 HAS SOUPS 2206090 WITH SCORE 2213723.551
AT ITER 1928 NEW BEST:: SOT 12050155 SOS 7631199 HAS SOPS 6343681 HAS SOUS 2290930 HAS SOUPS 2199449 WITH SCORE 2207080.199
AT ITER 1932 NEW BEST:: SOT 12050225 SOS 7629161 HAS SOPS 6342356 HAS SOUS 2290228 HAS SOUPS 2198747 WITH SCORE 2206376.161
AT ITER 1938 NEW BEST:: SOT 12050323 SOS 7629147 HAS SOPS 6342348 HAS SOUS 2290058 HAS SOUPS 2198581 WITH SCORE 2206210.147
AT ITER 1946 NEW BEST:: SOT 12048353 SOS 7625263 HAS SOPS 6338609 HAS SOUS 2288830 HAS SOUPS 2197353 WITH SCORE 2204978.263
AT ITER 1948 NEW BEST:: SOT 12045588 SOS 7619746 HAS SOPS 6335844 HAS SOUS 2284547 HAS SOUPS 2193156 WITH SCORE 2200775.746
AT ITER 1957 NEW BEST:: SOT 12045481 SOS 7619305 HAS SOPS 6335650 HAS SOUS 2284459 HAS SOUPS 2193068 WITH SCORE 2200687.305
AT ITER 1970 NEW BEST:: SOT 12045281 SOS 7619105 HAS SOPS 6335194 HAS SOUS 2283179 HAS SOUPS 2191788 WITH SCORE 2199407.105
AT ITER 1982 NEW BEST:: SOT 12042607 SOS 7617541 HAS SOPS 6333055 HAS SOUS 2280951 HAS SOUPS 2189560 WITH SCORE 2197177.541
AT ITER 1991 NEW BEST:: SOT 12040227 SOS 7604544 HAS SOPS 6324643 HAS SOUS 2272575 HAS SOUPS 2181383 WITH SCORE 2188987.544
AT ITER 2027 NEW BEST:: SOT 12040650 SOS 7604756 HAS SOPS 6324581 HAS SOUS 2272527 HAS SOUPS 2181335 WITH SCORE 2188939.756
AT ITER 2049 NEW BEST:: SOT 12034016 SOS 7597352 HAS SOPS 6318064 HAS SOUS 2269331 HAS SOUPS 2178257 WITH SCORE 2185854.352
AT ITER 2070 NEW BEST:: SOT 12028829 SOS 7589592 HAS SOPS 6310073 HAS SOUS 2256737 HAS SOUPS 2165723 WITH SCORE 2173312.592
AT ITER 2074 NEW BEST:: SOT 12028781 SOS 7589352 HAS SOPS 6309783 HAS SOUS 2256679 HAS SOUPS 2165665 WITH SCORE 2173254.352
AT ITER 2088 NEW BEST:: SOT 12028931 SOS 7591802 HAS SOPS 6310733 HAS SOUS 2254319 HAS SOUPS 2163275 WITH SCORE 2170866.802
AT ITER 2104 NEW BEST:: SOT 12021448 SOS 7580627 HAS SOPS 6297791 HAS SOUS 2251096 HAS SOUPS 2159908 WITH SCORE 2167488.627
AT ITER 2106 NEW BEST:: SOT 12021139 SOS 7579160 HAS SOPS 6297954 HAS SOUS 2250436 HAS SOUPS 2159248 WITH SCORE 2166827.16
AT ITER 2109 NEW BEST:: SOT 12018265 SOS 7574067 HAS SOPS 6290808 HAS SOUS 2245937 HAS SOUPS 2154749 WITH SCORE 2162323.067
AT ITER 2177 NEW BEST:: SOT 12013453 SOS 7573095 HAS SOPS 6284721 HAS SOUS 2230949 HAS SOUPS 2139595 WITH SCORE 2147168.095
AT ITER 2199 NEW BEST:: SOT 12013385 SOS 7572787 HAS SOPS 6284445 HAS SOUS 2230469 HAS SOUPS 2139183 WITH SCORE 2146755.787
AT ITER 2200 NEW BEST:: SOT 12014068 SOS 7574257 HAS SOPS 6284181 HAS SOUS 2228230 HAS SOUPS 2136414 WITH SCORE 2143988.257
AT ITER 2202 NEW BEST:: SOT 12012514 SOS 7570572 HAS SOPS 6281039 HAS SOUS 2227463 HAS SOUPS 2135647 WITH SCORE 2143217.572
AT ITER 2235 NEW BEST:: SOT 12007769 SOS 7565657 HAS SOPS 6276294 HAS SOUS 2218990 HAS SOUPS 2127174 WITH SCORE 2134739.657
AT ITER 2237 NEW BEST:: SOT 12007697 SOS 7566694 HAS SOPS 6277079 HAS SOUS 2218312 HAS SOUPS 2126496 WITH SCORE 2134062.694
AT ITER 2238 NEW BEST:: SOT 12007649 SOS 7566646 HAS SOPS 6277031 HAS SOUS 2218216 HAS SOUPS 2126400 WITH SCORE 2133966.646
AT ITER 2243 NEW BEST:: SOT 12008512 SOS 7574962 HAS SOPS 6279900 HAS SOUS 2213637 HAS SOUPS 2121708 WITH SCORE 2129282.962
AT ITER 2296 NEW BEST:: SOT 12007087 SOS 7573555 HAS SOPS 6278763 HAS SOUS 2212590 HAS SOUPS 2120931 WITH SCORE 2128504.555
AT ITER 2306 NEW BEST:: SOT 12007086 SOS 7573930 HAS SOPS 6278913 HAS SOUS 2212403 HAS SOUPS 2120744 WITH SCORE 2128317.93
AT ITER 2313 NEW BEST:: SOT 12021068 SOS 7587867 HAS SOPS 6293951 HAS SOUS 2211169 HAS SOUPS 2119709 WITH SCORE 2127296.867
AT ITER 2353 NEW BEST:: SOT 12020934 SOS 7587671 HAS SOPS 6293685 HAS SOUS 2210917 HAS SOUPS 2119455 WITH SCORE 2127042.671
AT ITER 2356 NEW BEST:: SOT 12016987 SOS 7583084 HAS SOPS 6287913 HAS SOUS 2201877 HAS SOUPS 2110455 WITH SCORE 2118038.084
AT ITER 2358 NEW BEST:: SOT 12016951 SOS 7582234 HAS SOPS 6287310 HAS SOUS 2201802 HAS SOUPS 2110380 WITH SCORE 2117962.234
AT ITER 2393 NEW BEST:: SOT 12026042 SOS 7610629 HAS SOPS 6309753 HAS SOUS 2200871 HAS SOUPS 2109428 WITH SCORE 2117038.629
AT ITER 2395 NEW BEST:: SOT 12026063 SOS 7610743 HAS SOPS 6309957 HAS SOUS 2200804 HAS SOUPS 2109370 WITH SCORE 2116980.743
AT ITER 2408 NEW BEST:: SOT 12021229 SOS 7599861 HAS SOPS 6298281 HAS SOUS 2194805 HAS SOUPS 2103356 WITH SCORE 2110955.861
AT ITER 2409 NEW BEST:: SOT 12027657 SOS 7613309 HAS SOPS 6307969 HAS SOUS 2193270 HAS SOUPS 2101821 WITH SCORE 2109434.309
AT ITER 2432 NEW BEST:: SOT 12028388 SOS 7614067 HAS SOPS 6309132 HAS SOUS 2191688 HAS SOUPS 2100644 WITH SCORE 2108258.067
AT ITER 2475 NEW BEST:: SOT 12028367 SOS 7614124 HAS SOPS 6308805 HAS SOUS 2191372 HAS SOUPS 2100321 WITH SCORE 2107935.124
AT ITER 2479 NEW BEST:: SOT 12028300 SOS 7612882 HAS SOPS 6307671 HAS SOUS 2190381 HAS SOUPS 2099330 WITH SCORE 2106942.882
AT ITER 2493 NEW BEST:: SOT 12021338 SOS 7593291 HAS SOPS 6291400 HAS SOUS 2183665 HAS SOUPS 2093157 WITH SCORE 2100750.291
AT ITER 2502 NEW BEST:: SOT 12021351 SOS 7591884 HAS SOPS 6290997 HAS SOUS 2183232 HAS SOUPS 2092724 WITH SCORE 2100315.884
AT ITER 2505 NEW BEST:: SOT 12021421 SOS 7592543 HAS SOPS 6291808 HAS SOUS 2183181 HAS SOUPS 2092673 WITH SCORE 2100265.543
AT ITER 2507 NEW BEST:: SOT 12023511 SOS 7595022 HAS SOPS 6293258 HAS SOUS 2179850 HAS SOUPS 2089146 WITH SCORE 2096741.022
AT ITER 2509 NEW BEST:: SOT 12023503 SOS 7595014 HAS SOPS 6293250 HAS SOUS 2179850 HAS SOUPS 2089146 WITH SCORE 2096741.014
AT ITER 2511 NEW BEST:: SOT 12023387 SOS 7594898 HAS SOPS 6292814 HAS SOUS 2178082 HAS SOUPS 2087378 WITH SCORE 2094972.898
AT ITER 2528 NEW BEST:: SOT 12023506 SOS 7597849 HAS SOPS 6298364 HAS SOUS 2177382 HAS SOUPS 2086678 WITH SCORE 2094275.849
AT ITER 2544 NEW BEST:: SOT 11995792 SOS 7570133 HAS SOPS 6270620 HAS SOUS 2151213 HAS SOUPS 2060500 WITH SCORE 2068070.133
AT ITER 2546 NEW BEST:: SOT 11994984 SOS 7569293 HAS SOPS 6269867 HAS SOUS 2148009 HAS SOUPS 2058102 WITH SCORE 2065671.293
AT ITER 2578 NEW BEST:: SOT 11993875 SOS 7565322 HAS SOPS 6267029 HAS SOUS 2147710 HAS SOUPS 2057803 WITH SCORE 2065368.322
AT ITER 2580 NEW BEST:: SOT 11994051 SOS 7566218 HAS SOPS 6267652 HAS SOUS 2147616 HAS SOUPS 2057709 WITH SCORE 2065275.218
AT ITER 2589 NEW BEST:: SOT 11988999 SOS 7561166 HAS SOPS 6262408 HAS SOUS 2141220 HAS SOUPS 2051313 WITH SCORE 2058874.166
AT ITER 2592 NEW BEST:: SOT 12001572 SOS 7585955 HAS SOPS 6286406 HAS SOUS 2138477 HAS SOUPS 2048151 WITH SCORE 2055736.955
AT ITER 2601 NEW BEST:: SOT 12001531 SOS 7587990 HAS SOPS 6289221 HAS SOUS 2137136 HAS SOUPS 2046810 WITH SCORE 2054397.99
AT ITER 2644 NEW BEST:: SOT 12002846 SOS 7590304 HAS SOPS 6289016 HAS SOUS 2134357 HAS SOUPS 2044031 WITH SCORE 2051621.304
AT ITER 2657 NEW BEST:: SOT 12002657 SOS 7590040 HAS SOPS 6288967 HAS SOUS 2134278 HAS SOUPS 2043952 WITH SCORE 2051542.04
AT ITER 2662 NEW BEST:: SOT 12002005 SOS 7590481 HAS SOPS 6286581 HAS SOUS 2130806 HAS SOUPS 2040436 WITH SCORE 2048026.481
AT ITER 2679 NEW BEST:: SOT 12001556 SOS 7586066 HAS SOPS 6283599 HAS SOUS 2126789 HAS SOUPS 2036521 WITH SCORE 2044107.066
AT ITER 2680 NEW BEST:: SOT 12000303 SOS 7584524 HAS SOPS 6281640 HAS SOUS 2125091 HAS SOUPS 2034823 WITH SCORE 2042407.524
AT ITER 2693 NEW BEST:: SOT 12000135 SOS 7584681 HAS SOPS 6281565 HAS SOUS 2122148 HAS SOUPS 2031880 WITH SCORE 2039464.681
AT ITER 2709 NEW BEST:: SOT 11999958 SOS 7583931 HAS SOPS 6280922 HAS SOUS 2121937 HAS SOUPS 2031669 WITH SCORE 2039252.931
AT ITER 2715 NEW BEST:: SOT 11998811 SOS 7582784 HAS SOPS 6279775 HAS SOUS 2120662 HAS SOUPS 2030394 WITH SCORE 2037976.784
AT ITER 2727 NEW BEST:: SOT 11998939 SOS 7582912 HAS SOPS 6279903 HAS SOUS 2120598 HAS SOUPS 2030330 WITH SCORE 2037912.912
AT ITER 2731 NEW BEST:: SOT 11998833 SOS 7582919 HAS SOPS 6279819 HAS SOUS 2120518 HAS SOUPS 2030242 WITH SCORE 2037824.919
AT ITER 2741 NEW BEST:: SOT 11998758 SOS 7582667 HAS SOPS 6279423 HAS SOUS 2119684 HAS SOUPS 2029400 WITH SCORE 2036982.667
AT ITER 2747 NEW BEST:: SOT 11995084 SOS 7564698 HAS SOPS 6263201 HAS SOUS 2119594 HAS SOUPS 2029310 WITH SCORE 2036874.698
AT ITER 2804 NEW BEST:: SOT 11995058 SOS 7564498 HAS SOPS 6263118 HAS SOUS 2119592 HAS SOUPS 2029308 WITH SCORE 2036872.498
AT ITER 2821 NEW BEST:: SOT 11994312 SOS 7561681 HAS SOPS 6260598 HAS SOUS 2118362 HAS SOUPS 2028078 WITH SCORE 2035639.681
AT ITER 2831 NEW BEST:: SOT 11986104 SOS 7555154 HAS SOPS 6250715 HAS SOUS 2108443 HAS SOUPS 2017434 WITH SCORE 2024989.154
AT ITER 2835 NEW BEST:: SOT 11986120 SOS 7554828 HAS SOPS 6249788 HAS SOUS 2108174 HAS SOUPS 2017165 WITH SCORE 2024719.828
AT ITER 2841 NEW BEST:: SOT 11985992 SOS 7554678 HAS SOPS 6249629 HAS SOUS 2107980 HAS SOUPS 2016963 WITH SCORE 2024517.678
AT ITER 2846 NEW BEST:: SOT 11988571 SOS 7552416 HAS SOPS 6257829 HAS SOUS 2107092 HAS SOUPS 2016075 WITH SCORE 2023627.416
AT ITER 2850 NEW BEST:: SOT 11988523 SOS 7552843 HAS SOPS 6257001 HAS SOUS 2106935 HAS SOUPS 2015918 WITH SCORE 2023470.843
AT ITER 2851 NEW BEST:: SOT 11988090 SOS 7548444 HAS SOPS 6253200 HAS SOUS 2102912 HAS SOUPS 2011895 WITH SCORE 2019443.444
AT ITER 2867 NEW BEST:: SOT 11981061 SOS 7541443 HAS SOPS 6245225 HAS SOUS 2095385 HAS SOUPS 2004354 WITH SCORE 2011895.443
AT ITER 2875 NEW BEST:: SOT 11973059 SOS 7523073 HAS SOPS 6228305 HAS SOUS 2089532 HAS SOUPS 1998501 WITH SCORE 2006024.073
AT ITER 2919 NEW BEST:: SOT 11972744 SOS 7522758 HAS SOPS 6227910 HAS SOUS 2088817 HAS SOUPS 1997786 WITH SCORE 2005308.758
AT ITER 2955 NEW BEST:: SOT 11972744 SOS 7522798 HAS SOPS 6227875 HAS SOUS 2088738 HAS SOUPS 1997706 WITH SCORE 2005228.798
AT ITER 2965 NEW BEST:: SOT 11985053 SOS 7529390 HAS SOPS 6236660 HAS SOUS 2087083 HAS SOUPS 1996244 WITH SCORE 2003773.39
AT ITER 2986 NEW BEST:: SOT 11985457 SOS 7529794 HAS SOPS 6237048 HAS SOUS 2086971 HAS SOUPS 1996132 WITH SCORE 2003661.794
AT ITER 2997 NEW BEST:: SOT 11985748 SOS 7530522 HAS SOPS 6237692 HAS SOUS 2086851 HAS SOUPS 1996012 WITH SCORE 2003542.522
AT ITER 3007 NEW BEST:: SOT 11985231 SOS 7530187 HAS SOPS 6237620 HAS SOUS 2086669 HAS SOUPS 1995830 WITH SCORE 2003360.187
AT ITER 3017 NEW BEST:: SOT 11985204 SOS 7530174 HAS SOPS 6237591 HAS SOUS 2086658 HAS SOUPS 1995819 WITH SCORE 2003349.174
AT ITER 3030 NEW BEST:: SOT 11984811 SOS 7529760 HAS SOPS 6236782 HAS SOUS 2084999 HAS SOUPS 1994160 WITH SCORE 2001689.76
AT ITER 3033 NEW BEST:: SOT 11988185 SOS 7536608 HAS SOPS 6241821 HAS SOUS 2081215 HAS SOUPS 1990278 WITH SCORE 1997814.608
AT ITER 3034 NEW BEST:: SOT 11988172 SOS 7536292 HAS SOPS 6241776 HAS SOUS 2081057 HAS SOUPS 1990120 WITH SCORE 1997656.292
AT ITER 3036 NEW BEST:: SOT 11987513 SOS 7538477 HAS SOPS 6241568 HAS SOUS 2075110 HAS SOUPS 1984203 WITH SCORE 1991741.477
AT ITER 3048 NEW BEST:: SOT 11986593 SOS 7537557 HAS SOPS 6240536 HAS SOUS 2074202 HAS SOUPS 1983295 WITH SCORE 1990832.557
AT ITER 3066 NEW BEST:: SOT 11986596 SOS 7537762 HAS SOPS 6240423 HAS SOUS 2074044 HAS SOUPS 1983137 WITH SCORE 1990674.762
AT ITER 3079 NEW BEST:: SOT 11986548 SOS 7537702 HAS SOPS 6240324 HAS SOUS 2073939 HAS SOUPS 1983032 WITH SCORE 1990569.702
AT ITER 3100 NEW BEST:: SOT 11986536 SOS 7537806 HAS SOPS 6240230 HAS SOUS 2073827 HAS SOUPS 1982920 WITH SCORE 1990457.806
AT ITER 3109 NEW BEST:: SOT 11987067 SOS 7538416 HAS SOPS 6240380 HAS SOUS 2073615 HAS SOUPS 1982772 WITH SCORE 1990310.416
AT ITER 3114 NEW BEST:: SOT 11987038 SOS 7538366 HAS SOPS 6240339 HAS SOUS 2073559 HAS SOUPS 1982716 WITH SCORE 1990254.366
AT ITER 3119 NEW BEST:: SOT 11987874 SOS 7542647 HAS SOPS 6244932 HAS SOUS 2073002 HAS SOUPS 1982170 WITH SCORE 1989712.647
AT ITER 3124 NEW BEST:: SOT 11987162 SOS 7541830 HAS SOPS 6243688 HAS SOUS 2071595 HAS SOUPS 1980763 WITH SCORE 1988304.83
AT ITER 3129 NEW BEST:: SOT 11987294 SOS 7542386 HAS SOPS 6244223 HAS SOUS 2071082 HAS SOUPS 1980250 WITH SCORE 1987792.386
AT ITER 3150 NEW BEST:: SOT 11992171 SOS 7551316 HAS SOPS 6251724 HAS SOUS 2067364 HAS SOUPS 1976532 WITH SCORE 1984083.316
AT ITER 3164 NEW BEST:: SOT 11991765 SOS 7550205 HAS SOPS 6251082 HAS SOUS 2067311 HAS SOUPS 1976479 WITH SCORE 1984029.205
AT ITER 3172 NEW BEST:: SOT 11991243 SOS 7549498 HAS SOPS 6250082 HAS SOUS 2066804 HAS SOUPS 1975973 WITH SCORE 1983522.498
AT ITER 3188 NEW BEST:: SOT 11991249 SOS 7549327 HAS SOPS 6249887 HAS SOUS 2066486 HAS SOUPS 1975658 WITH SCORE 1983207.327
AT ITER 3204 NEW BEST:: SOT 11991221 SOS 7551809 HAS SOPS 6252887 HAS SOUS 2065533 HAS SOUPS 1974705 WITH SCORE 1982256.809
AT ITER 3206 NEW BEST:: SOT 11990428 SOS 7549170 HAS SOPS 6251505 HAS SOUS 2065120 HAS SOUPS 1974319 WITH SCORE 1981868.17
AT ITER 3252 NEW BEST:: SOT 11990994 SOS 7551040 HAS SOPS 6254365 HAS SOUS 2064724 HAS SOUPS 1973923 WITH SCORE 1981474.04
AT ITER 3262 NEW BEST:: SOT 11990951 SOS 7550997 HAS SOPS 6254322 HAS SOUS 2064529 HAS SOUPS 1973728 WITH SCORE 1981278.997
AT ITER 3270 NEW BEST:: SOT 11991642 SOS 7551482 HAS SOPS 6254069 HAS SOUS 2062465 HAS SOUPS 1971648 WITH SCORE 1979199.482
AT ITER 3289 NEW BEST:: SOT 11987652 SOS 7546063 HAS SOPS 6249046 HAS SOUS 2052506 HAS SOUPS 1961791 WITH SCORE 1969337.063
AT ITER 3299 NEW BEST:: SOT 11985510 SOS 7543359 HAS SOPS 6246315 HAS SOUS 2047733 HAS SOUPS 1957018 WITH SCORE 1964561.359
AT ITER 3322 NEW BEST:: SOT 11985516 SOS 7543655 HAS SOPS 6246350 HAS SOUS 2047602 HAS SOUPS 1956887 WITH SCORE 1964430.655
AT ITER 3324 NEW BEST:: SOT 11985088 SOS 7542661 HAS SOPS 6245535 HAS SOUS 2047148 HAS SOUPS 1956433 WITH SCORE 1963975.661
AT ITER 3335 NEW BEST:: SOT 11985364 SOS 7542839 HAS SOPS 6244426 HAS SOUS 2045475 HAS SOUPS 1954501 WITH SCORE 1962043.839
AT ITER 3352 NEW BEST:: SOT 11985627 SOS 7543102 HAS SOPS 6244433 HAS SOUS 2044570 HAS SOUPS 1953596 WITH SCORE 1961139.102
AT ITER 3357 NEW BEST:: SOT 11983750 SOS 7539395 HAS SOPS 6241102 HAS SOUS 2041666 HAS SOUPS 1950868 WITH SCORE 1958407.395
AT ITER 3366 NEW BEST:: SOT 11983554 SOS 7540213 HAS SOPS 6241312 HAS SOUS 2040130 HAS SOUPS 1949273 WITH SCORE 1956813.213
AT ITER 3387 NEW BEST:: SOT 11983107 SOS 7539582 HAS SOPS 6236908 HAS SOUS 2036979 HAS SOUPS 1946022 WITH SCORE 1953561.582
AT ITER 3397 NEW BEST:: SOT 11982599 SOS 7538737 HAS SOPS 6236234 HAS SOUS 2036885 HAS SOUPS 1945928 WITH SCORE 1953466.737
AT ITER 3398 NEW BEST:: SOT 11982631 SOS 7538986 HAS SOPS 6236752 HAS SOUS 2036546 HAS SOUPS 1945589 WITH SCORE 1953127.986
AT ITER 3417 NEW BEST:: SOT 11979681 SOS 7534687 HAS SOPS 6231317 HAS SOUS 2032915 HAS SOUPS 1941958 WITH SCORE 1949492.687
AT ITER 3421 NEW BEST:: SOT 11982077 SOS 7537083 HAS SOPS 6233313 HAS SOUS 2028167 HAS SOUPS 1937010 WITH SCORE 1944547.083
AT ITER 3423 NEW BEST:: SOT 11980996 SOS 7536037 HAS SOPS 6231688 HAS SOUS 2025935 HAS SOUPS 1934769 WITH SCORE 1942305.037
AT ITER 3424 NEW BEST:: SOT 11990425 SOS 7558404 HAS SOPS 6251380 HAS SOUS 2024802 HAS SOUPS 1933636 WITH SCORE 1941194.404
AT ITER 3431 NEW BEST:: SOT 11990188 SOS 7558208 HAS SOPS 6251476 HAS SOUS 2023953 HAS SOUPS 1932787 WITH SCORE 1940345.208
AT ITER 3456 NEW BEST:: SOT 11989867 SOS 7557887 HAS SOPS 6250963 HAS SOUS 2023152 HAS SOUPS 1931986 WITH SCORE 1939543.887
AT ITER 3463 NEW BEST:: SOT 11990121 SOS 7558337 HAS SOPS 6251217 HAS SOUS 2022902 HAS SOUPS 1931718 WITH SCORE 1939276.337
AT ITER 3475 NEW BEST:: SOT 11990794 SOS 7559157 HAS SOPS 6252044 HAS SOUS 2021569 HAS SOUPS 1930385 WITH SCORE 1937944.157
AT ITER 3483 NEW BEST:: SOT 11988012 SOS 7555938 HAS SOPS 6248026 HAS SOUS 2016178 HAS SOUPS 1924994 WITH SCORE 1932549.938
AT ITER 3488 NEW BEST:: SOT 11987073 SOS 7550755 HAS SOPS 6245119 HAS SOUS 2014762 HAS SOUPS 1923578 WITH SCORE 1931128.755
AT ITER 3502 NEW BEST:: SOT 11986895 SOS 7550577 HAS SOPS 6244881 HAS SOUS 2014524 HAS SOUPS 1923335 WITH SCORE 1930885.577
AT ITER 3514 NEW BEST:: SOT 11992442 SOS 7560906 HAS SOPS 6257657 HAS SOUS 2009489 HAS SOUPS 1918613 WITH SCORE 1926173.906
AT ITER 3515 NEW BEST:: SOT 11992142 SOS 7559496 HAS SOPS 6256114 HAS SOUS 2008604 HAS SOUPS 1917728 WITH SCORE 1925287.496
AT ITER 3517 NEW BEST:: SOT 11992277 SOS 7558981 HAS SOPS 6256572 HAS SOUS 2008603 HAS SOUPS 1917727 WITH SCORE 1925285.981
AT ITER 3544 NEW BEST:: SOT 11992117 SOS 7558821 HAS SOPS 6256412 HAS SOUS 2008283 HAS SOUPS 1917407 WITH SCORE 1924965.821
AT ITER 3577 NEW BEST:: SOT 11993629 SOS 7561613 HAS SOPS 6261065 HAS SOUS 2006482 HAS SOUPS 1915606 WITH SCORE 1923167.613
AT ITER 3598 NEW BEST:: SOT 11992994 SOS 7559733 HAS SOPS 6261414 HAS SOUS 2006433 HAS SOUPS 1915557 WITH SCORE 1923116.733
AT ITER 3610 NEW BEST:: SOT 11992207 SOS 7561458 HAS SOPS 6263153 HAS SOUS 2005715 HAS SOUPS 1914839 WITH SCORE 1922400.458
AT ITER 3624 NEW BEST:: SOT 11986575 SOS 7555826 HAS SOPS 6257421 HAS SOUS 2001691 HAS SOUPS 1911015 WITH SCORE 1918570.826
AT ITER 3637 NEW BEST:: SOT 11986544 SOS 7555548 HAS SOPS 6257120 HAS SOUS 2001595 HAS SOUPS 1910919 WITH SCORE 1918474.548
AT ITER 3641 NEW BEST:: SOT 11986488 SOS 7555523 HAS SOPS 6257265 HAS SOUS 2001288 HAS SOUPS 1910612 WITH SCORE 1918167.523
AT ITER 3642 NEW BEST:: SOT 11986582 SOS 7555598 HAS SOPS 6255500 HAS SOUS 1999274 HAS SOUPS 1907858 WITH SCORE 1915413.598
AT ITER 3661 NEW BEST:: SOT 11984817 SOS 7554578 HAS SOPS 6253358 HAS SOUS 1995774 HAS SOUPS 1904358 WITH SCORE 1911912.578
AT ITER 3667 NEW BEST:: SOT 11981865 SOS 7549230 HAS SOPS 6245677 HAS SOUS 1990114 HAS SOUPS 1898698 WITH SCORE 1906247.23
AT ITER 3682 NEW BEST:: SOT 11980728 SOS 7547836 HAS SOPS 6244326 HAS SOUS 1988367 HAS SOUPS 1896951 WITH SCORE 1904498.836
AT ITER 3684 NEW BEST:: SOT 11980529 SOS 7547738 HAS SOPS 6242069 HAS SOUS 1987530 HAS SOUPS 1896114 WITH SCORE 1903661.738
AT ITER 3690 NEW BEST:: SOT 11979841 SOS 7547050 HAS SOPS 6241429 HAS SOUS 1987474 HAS SOUPS 1896058 WITH SCORE 1903605.05
AT ITER 3694 NEW BEST:: SOT 11977484 SOS 7543418 HAS SOPS 6239252 HAS SOUS 1984993 HAS SOUPS 1893577 WITH SCORE 1901120.418
AT ITER 3698 NEW BEST:: SOT 11976741 SOS 7542675 HAS SOPS 6238605 HAS SOUS 1983594 HAS SOUPS 1892370 WITH SCORE 1899912.675
AT ITER 3706 NEW BEST:: SOT 11976523 SOS 7543136 HAS SOPS 6241597 HAS SOUS 1982442 HAS SOUPS 1891218 WITH SCORE 1898761.136
AT ITER 3707 NEW BEST:: SOT 11974260 SOS 7536302 HAS SOPS 6237409 HAS SOUS 1981562 HAS SOUPS 1890338 WITH SCORE 1897874.302
AT ITER 3725 NEW BEST:: SOT 11974920 SOS 7536532 HAS SOPS 6237554 HAS SOUS 1979346 HAS SOUPS 1888124 WITH SCORE 1895660.532
AT ITER 3749 NEW BEST:: SOT 11974837 SOS 7536704 HAS SOPS 6237930 HAS SOUS 1978718 HAS SOUPS 1887496 WITH SCORE 1895032.704
AT ITER 3766 NEW BEST:: SOT 11974921 SOS 7536812 HAS SOPS 6238014 HAS SOUS 1978706 HAS SOUPS 1887484 WITH SCORE 1895020.812
AT ITER 3787 NEW BEST:: SOT 11967717 SOS 7529644 HAS SOPS 6227137 HAS SOUS 1961027 HAS SOUPS 1869805 WITH SCORE 1877334.644
AT ITER 3844 NEW BEST:: SOT 11969194 SOS 7531537 HAS SOPS 6229743 HAS SOUS 1958333 HAS SOUPS 1867295 WITH SCORE 1874826.537
AT ITER 3845 NEW BEST:: SOT 11969052 SOS 7531250 HAS SOPS 6229290 HAS SOUS 1957999 HAS SOUPS 1866956 WITH SCORE 1874487.25
AT ITER 3863 NEW BEST:: SOT 11968998 SOS 7531241 HAS SOPS 6229180 HAS SOUS 1957919 HAS SOUPS 1866876 WITH SCORE 1874407.241
AT ITER 3883 NEW BEST:: SOT 11968982 SOS 7531225 HAS SOPS 6229164 HAS SOUS 1957919 HAS SOUPS 1866876 WITH SCORE 1874407.225
AT ITER 3896 NEW BEST:: SOT 11968257 SOS 7530618 HAS SOPS 6228022 HAS SOUS 1956368 HAS SOUPS 1865310 WITH SCORE 1872840.618
AT ITER 3928 NEW BEST:: SOT 11973561 SOS 7550375 HAS SOPS 6244848 HAS SOUS 1955059 HAS SOUPS 1864001 WITH SCORE 1871551.375
AT ITER 3936 NEW BEST:: SOT 11972689 SOS 7549618 HAS SOPS 6243347 HAS SOUS 1953724 HAS SOUPS 1862666 WITH SCORE 1870215.618
AT ITER 3938 NEW BEST:: SOT 11972202 SOS 7548087 HAS SOPS 6242037 HAS SOUS 1952931 HAS SOUPS 1861888 WITH SCORE 1869436.087
AT ITER 3948 NEW BEST:: SOT 11972262 SOS 7548025 HAS SOPS 6241973 HAS SOUS 1952859 HAS SOUPS 1861818 WITH SCORE 1869366.025
AT ITER 3963 NEW BEST:: SOT 11958792 SOS 7529523 HAS SOPS 6224333 HAS SOUS 1947919 HAS SOUPS 1856878 WITH SCORE 1864407.523
AT ITER 3977 NEW BEST:: SOT 11957345 SOS 7528014 HAS SOPS 6222871 HAS SOUS 1943444 HAS SOUPS 1852446 WITH SCORE 1859974.014
AT ITER 3982 NEW BEST:: SOT 11956822 SOS 7527261 HAS SOPS 6221092 HAS SOUS 1942664 HAS SOUPS 1851648 WITH SCORE 1859175.261
AT ITER 3992 NEW BEST:: SOT 11954805 SOS 7527268 HAS SOPS 6221569 HAS SOUS 1942540 HAS SOUPS 1851480 WITH SCORE 1859007.268
AT ITER 3996 NEW BEST:: SOT 11949544 SOS 7517403 HAS SOPS 6214826 HAS SOUS 1942149 HAS SOUPS 1851099 WITH SCORE 1858616.403
AT ITER 4001 NEW BEST:: SOT 11949462 SOS 7517561 HAS SOPS 6214869 HAS SOUS 1941735 HAS SOUPS 1850685 WITH SCORE 1858202.561
AT ITER 4022 NEW BEST:: SOT 11947678 SOS 7514723 HAS SOPS 6212326 HAS SOUS 1938921 HAS SOUPS 1847919 WITH SCORE 1855433.723
AT ITER 4028 NEW BEST:: SOT 11947742 SOS 7514703 HAS SOPS 6212306 HAS SOUS 1938865 HAS SOUPS 1847866 WITH SCORE 1855380.703
AT ITER 4034 NEW BEST:: SOT 11949356 SOS 7516489 HAS SOPS 6213516 HAS SOUS 1938759 HAS SOUPS 1847760 WITH SCORE 1855276.489
AT ITER 4040 NEW BEST:: SOT 11947810 SOS 7514665 HAS SOPS 6211189 HAS SOUS 1937767 HAS SOUPS 1846768 WITH SCORE 1854282.665
AT ITER 4048 NEW BEST:: SOT 11947707 SOS 7512224 HAS SOPS 6210320 HAS SOUS 1935099 HAS SOUPS 1845011 WITH SCORE 1852523.224
AT ITER 4052 NEW BEST:: SOT 11947756 SOS 7512471 HAS SOPS 6209652 HAS SOUS 1933124 HAS SOUPS 1843036 WITH SCORE 1850548.471
AT ITER 4079 NEW BEST:: SOT 11948990 SOS 7513490 HAS SOPS 6210569 HAS SOUS 1931077 HAS SOUPS 1840989 WITH SCORE 1848502.49
AT ITER 4087 NEW BEST:: SOT 11948728 SOS 7517036 HAS SOPS 6213353 HAS SOUS 1927159 HAS SOUPS 1837071 WITH SCORE 1844588.036
AT ITER 4109 NEW BEST:: SOT 11948717 SOS 7513685 HAS SOPS 6208881 HAS SOUS 1924796 HAS SOUPS 1834708 WITH SCORE 1842221.685
AT ITER 4114 NEW BEST:: SOT 11944257 SOS 7504992 HAS SOPS 6201119 HAS SOUS 1913866 HAS SOUPS 1823855 WITH SCORE 1831359.992
AT ITER 4124 NEW BEST:: SOT 11943479 SOS 7504224 HAS SOPS 6200357 HAS SOUS 1912654 HAS SOUPS 1822635 WITH SCORE 1830139.224
AT ITER 4130 NEW BEST:: SOT 11943430 SOS 7503718 HAS SOPS 6200103 HAS SOUS 1912579 HAS SOUPS 1822567 WITH SCORE 1830070.718
AT ITER 4141 NEW BEST:: SOT 11942048 SOS 7504625 HAS SOPS 6200008 HAS SOUS 1911722 HAS SOUPS 1821710 WITH SCORE 1829214.625
AT ITER 4143 NEW BEST:: SOT 11941567 SOS 7504113 HAS SOPS 6199421 HAS SOUS 1910648 HAS SOUPS 1820696 WITH SCORE 1828200.113
AT ITER 4159 NEW BEST:: SOT 11943049 SOS 7506281 HAS SOPS 6203136 HAS SOUS 1908664 HAS SOUPS 1818777 WITH SCORE 1826283.281
AT ITER 4166 NEW BEST:: SOT 11942607 SOS 7505626 HAS SOPS 6202807 HAS SOUS 1908177 HAS SOUPS 1818482 WITH SCORE 1825987.626
AT ITER 4174 NEW BEST:: SOT 11941047 SOS 7504066 HAS SOPS 6200895 HAS SOUS 1906177 HAS SOUPS 1816482 WITH SCORE 1823986.066
AT ITER 4197 NEW BEST:: SOT 11940994 SOS 7504083 HAS SOPS 6200802 HAS SOUS 1905700 HAS SOUPS 1816005 WITH SCORE 1823509.083
AT ITER 4199 NEW BEST:: SOT 11940991 SOS 7503651 HAS SOPS 6200018 HAS SOUS 1904309 HAS SOUPS 1814630 WITH SCORE 1822133.651
AT ITER 4202 NEW BEST:: SOT 11939012 SOS 7499405 HAS SOPS 6194713 HAS SOUS 1903251 HAS SOUPS 1813572 WITH SCORE 1821071.405
AT ITER 4209 NEW BEST:: SOT 11938355 SOS 7497507 HAS SOPS 6192683 HAS SOUS 1902909 HAS SOUPS 1813230 WITH SCORE 1820727.507
AT ITER 4217 NEW BEST:: SOT 11938179 SOS 7497331 HAS SOPS 6192443 HAS SOUS 1902365 HAS SOUPS 1812686 WITH SCORE 1820183.331
AT ITER 4219 NEW BEST:: SOT 11940494 SOS 7497101 HAS SOPS 6192578 HAS SOUS 1902175 HAS SOUPS 1812496 WITH SCORE 1819993.101
AT ITER 4228 NEW BEST:: SOT 11940518 SOS 7497180 HAS SOPS 6192307 HAS SOUS 1901871 HAS SOUPS 1812192 WITH SCORE 1819689.18
AT ITER 4255 NEW BEST:: SOT 11940609 SOS 7497271 HAS SOPS 6192398 HAS SOUS 1901822 HAS SOUPS 1812143 WITH SCORE 1819640.271
AT ITER 4256 NEW BEST:: SOT 11941414 SOS 7497426 HAS SOPS 6193335 HAS SOUS 1900757 HAS SOUPS 1811126 WITH SCORE 1818623.426
AT ITER 4267 NEW BEST:: SOT 11941258 SOS 7497330 HAS SOPS 6194563 HAS SOUS 1899421 HAS SOUPS 1809790 WITH SCORE 1817287.33
AT ITER 4287 NEW BEST:: SOT 11941235 SOS 7501679 HAS SOPS 6201140 HAS SOUS 1896047 HAS SOUPS 1806266 WITH SCORE 1813767.679
AT ITER 4363 NEW BEST:: SOT 11940539 SOS 7500716 HAS SOPS 6199753 HAS SOUS 1893482 HAS SOUPS 1803716 WITH SCORE 1811216.716
AT ITER 4381 NEW BEST:: SOT 11933584 SOS 7493761 HAS SOPS 6192286 HAS SOUS 1884071 HAS SOUPS 1794305 WITH SCORE 1801798.761
AT ITER 4388 NEW BEST:: SOT 11930778 SOS 7490930 HAS SOPS 6189000 HAS SOUS 1881025 HAS SOUPS 1790900 WITH SCORE 1798390.93
AT ITER 4427 NEW BEST:: SOT 11928091 SOS 7488659 HAS SOPS 6186494 HAS SOUS 1876670 HAS SOUPS 1786545 WITH SCORE 1794033.659
AT ITER 4456 NEW BEST:: SOT 11927892 SOS 7488418 HAS SOPS 6186227 HAS SOUS 1876269 HAS SOUPS 1786146 WITH SCORE 1793634.418
AT ITER 4481 NEW BEST:: SOT 11927785 SOS 7487944 HAS SOPS 6185321 HAS SOUS 1876049 HAS SOUPS 1785926 WITH SCORE 1793413.944
AT ITER 4482 NEW BEST:: SOT 11927647 SOS 7486385 HAS SOPS 6184534 HAS SOUS 1876006 HAS SOUPS 1785884 WITH SCORE 1793370.385
AT ITER 4502 NEW BEST:: SOT 11928533 SOS 7489622 HAS SOPS 6186770 HAS SOUS 1875056 HAS SOUPS 1784910 WITH SCORE 1792399.622
AT ITER 4514 NEW BEST:: SOT 11928704 SOS 7489697 HAS SOPS 6186733 HAS SOUS 1874946 HAS SOUPS 1784808 WITH SCORE 1792297.697
AT ITER 4531 NEW BEST:: SOT 11927852 SOS 7490652 HAS SOPS 6186476 HAS SOUS 1867215 HAS SOUPS 1777133 WITH SCORE 1784623.652
AT ITER 4534 NEW BEST:: SOT 11926994 SOS 7491547 HAS SOPS 6185460 HAS SOUS 1866045 HAS SOUPS 1775924 WITH SCORE 1783415.547
AT ITER 4545 NEW BEST:: SOT 11925364 SOS 7490119 HAS SOPS 6184710 HAS SOUS 1861711 HAS SOUPS 1771590 WITH SCORE 1779080.119
AT ITER 4550 NEW BEST:: SOT 11922644 SOS 7487464 HAS SOPS 6179945 HAS SOUS 1854341 HAS SOUPS 1764220 WITH SCORE 1771707.464
AT ITER 4555 NEW BEST:: SOT 11920986 SOS 7484943 HAS SOPS 6175282 HAS SOUS 1846867 HAS SOUPS 1756746 WITH SCORE 1764230.943
AT ITER 4569 NEW BEST:: SOT 11920328 SOS 7484303 HAS SOPS 6174154 HAS SOUS 1845908 HAS SOUPS 1755400 WITH SCORE 1762884.303
AT ITER 4586 NEW BEST:: SOT 11920040 SOS 7484031 HAS SOPS 6173486 HAS SOUS 1845024 HAS SOUPS 1754556 WITH SCORE 1762040.031
AT ITER 4599 NEW BEST:: SOT 11918581 SOS 7482874 HAS SOPS 6172400 HAS SOUS 1841205 HAS SOUPS 1750734 WITH SCORE 1758216.874
AT ITER 4614 NEW BEST:: SOT 11914241 SOS 7469798 HAS SOPS 6161022 HAS SOUS 1838650 HAS SOUPS 1748179 WITH SCORE 1755648.798
AT ITER 4616 NEW BEST:: SOT 11910615 SOS 7464729 HAS SOPS 6157330 HAS SOUS 1834307 HAS SOUPS 1743836 WITH SCORE 1751300.729
AT ITER 4621 NEW BEST:: SOT 11908103 SOS 7463073 HAS SOPS 6154023 HAS SOUS 1826239 HAS SOUPS 1735768 WITH SCORE 1743231.073
AT ITER 4661 NEW BEST:: SOT 11907895 SOS 7462865 HAS SOPS 6153591 HAS SOUS 1824863 HAS SOUPS 1734392 WITH SCORE 1741854.865
AT ITER 4662 NEW BEST:: SOT 11907664 SOS 7464601 HAS SOPS 6154362 HAS SOUS 1814165 HAS SOUPS 1723778 WITH SCORE 1731242.601
AT ITER 4669 NEW BEST:: SOT 11906906 SOS 7462410 HAS SOPS 6152531 HAS SOUS 1813976 HAS SOUPS 1723597 WITH SCORE 1731059.41
AT ITER 4714 NEW BEST:: SOT 11907056 SOS 7462183 HAS SOPS 6153378 HAS SOUS 1813721 HAS SOUPS 1723342 WITH SCORE 1730804.183
AT ITER 4722 NEW BEST:: SOT 11906758 SOS 7461741 HAS SOPS 6152936 HAS SOUS 1813232 HAS SOUPS 1722858 WITH SCORE 1730319.741
AT ITER 4725 NEW BEST:: SOT 11906204 SOS 7461137 HAS SOPS 6151813 HAS SOUS 1811558 HAS SOUPS 1721208 WITH SCORE 1728669.137
AT ITER 4742 NEW BEST:: SOT 11904439 SOS 7460344 HAS SOPS 6148370 HAS SOUS 1808807 HAS SOUPS 1718398 WITH SCORE 1725858.344
AT ITER 4756 NEW BEST:: SOT 11901885 SOS 7458330 HAS SOPS 6145384 HAS SOUS 1806531 HAS SOUPS 1715510 WITH SCORE 1722968.33
AT ITER 4778 NEW BEST:: SOT 11902845 SOS 7459218 HAS SOPS 6145802 HAS SOUS 1804077 HAS SOUPS 1713056 WITH SCORE 1720515.218
AT ITER 4784 NEW BEST:: SOT 11902765 SOS 7459138 HAS SOPS 6145626 HAS SOUS 1803557 HAS SOUPS 1712536 WITH SCORE 1719995.138
AT ITER 4792 NEW BEST:: SOT 11902352 SOS 7458245 HAS SOPS 6143925 HAS SOUS 1801114 HAS SOUPS 1710093 WITH SCORE 1717551.245
AT ITER 4811 NEW BEST:: SOT 11901445 SOS 7457515 HAS SOPS 6142199 HAS SOUS 1799611 HAS SOUPS 1708287 WITH SCORE 1715744.515
AT ITER 4812 NEW BEST:: SOT 11891415 SOS 7452371 HAS SOPS 6139154 HAS SOUS 1789746 HAS SOUPS 1700156 WITH SCORE 1707608.371
AT ITER 4815 NEW BEST:: SOT 11891103 SOS 7452034 HAS SOPS 6138767 HAS SOUS 1789469 HAS SOUPS 1699879 WITH SCORE 1707331.034
AT ITER 4827 NEW BEST:: SOT 11890887 SOS 7452094 HAS SOPS 6138813 HAS SOUS 1789481 HAS SOUPS 1699875 WITH SCORE 1707327.094
AT ITER 4837 NEW BEST:: SOT 11890725 SOS 7452426 HAS SOPS 6139230 HAS SOUS 1789415 HAS SOUPS 1699809 WITH SCORE 1707261.426
AT ITER 4846 NEW BEST:: SOT 11890930 SOS 7453307 HAS SOPS 6139854 HAS SOUS 1789385 HAS SOUPS 1699779 WITH SCORE 1707232.307
AT ITER 4847 NEW BEST:: SOT 11890535 SOS 7452467 HAS SOPS 6138686 HAS SOUS 1788550 HAS SOUPS 1698928 WITH SCORE 1706380.467
AT ITER 4850 NEW BEST:: SOT 11890155 SOS 7452127 HAS SOPS 6138049 HAS SOUS 1788094 HAS SOUPS 1698472 WITH SCORE 1705924.127
AT ITER 4852 NEW BEST:: SOT 11889872 SOS 7452302 HAS SOPS 6137572 HAS SOUS 1787131 HAS SOUPS 1697223 WITH SCORE 1704675.302
AT ITER 4866 NEW BEST:: SOT 11887662 SOS 7448992 HAS SOPS 6134532 HAS SOUS 1782586 HAS SOUPS 1692857 WITH SCORE 1700305.992
AT ITER 4867 NEW BEST:: SOT 11886447 SOS 7447503 HAS SOPS 6133305 HAS SOUS 1780432 HAS SOUPS 1691022 WITH SCORE 1698469.503
AT ITER 4871 NEW BEST:: SOT 11886805 SOS 7448404 HAS SOPS 6133766 HAS SOUS 1779684 HAS SOUPS 1690274 WITH SCORE 1697722.404
AT ITER 4909 NEW BEST:: SOT 11886652 SOS 7447873 HAS SOPS 6133314 HAS SOUS 1778875 HAS SOUPS 1689476 WITH SCORE 1696923.873
AT ITER 4912 NEW BEST:: SOT 11886094 SOS 7447273 HAS SOPS 6133558 HAS SOUS 1774124 HAS SOUPS 1684725 WITH SCORE 1692172.273
AT ITER 4942 NEW BEST:: SOT 11886134 SOS 7447185 HAS SOPS 6133598 HAS SOUS 1774094 HAS SOUPS 1684695 WITH SCORE 1692142.185
AT ITER 4965 NEW BEST:: SOT 11885232 SOS 7447673 HAS SOPS 6133572 HAS SOUS 1772882 HAS SOUPS 1683425 WITH SCORE 1690872.673
AT ITER 4969 NEW BEST:: SOT 11884546 SOS 7446937 HAS SOPS 6132292 HAS SOUS 1771855 HAS SOUPS 1682415 WITH SCORE 1689861.937
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-2-CTLFireability-00 (AF( (EX( ( ((potential((tk(P432)>=1) & (tk(P103)>=1)))) | ( ((potential((tk(P207)>=1) & (tk(P511)>=1)))) & ((potential((tk(P108)>=1) & (tk(P147)>=1)))) ) )))))
PROPERTY: RERS17pb113-PT-2-CTLFireability-01 (EU( (AU( ((potential((tk(P193)>=1) & (tk(P461)>=1)))) , ((potential((tk(P405)>=1) & (tk(P475)>=1)))) )) , ( (AF( ((potential((tk(P594)>=1) & (tk(P131)>=1)))))) | ( ((potential((tk(P308)>=1) & (tk(P11)>=1)))) | ((potential((tk(P234)>=1) & (tk(P179)>=1)))) ) ) ))
PROPERTY: RERS17pb113-PT-2-CTLFireability-02 (! ( (AU( (! ((potential((tk(P312)>=1) & (tk(P383)>=1))))) , ( ((potential((tk(P638)>=1) & (tk(P203)>=1)))) | ((potential((tk(P412)>=1) & (tk(P102)>=1)))) ) )) | ( (AG( ((potential((tk(P614)>=1) & (tk(P287)>=1)))))) & (EF( ((potential((tk(P309)>=1) & (tk(P137)>=1)))))) ) ))
PROPERTY: RERS17pb113-PT-2-CTLFireability-03 ( ( ((potential((tk(P34)>=1) & (tk(P138)>=1)))) & (! ((potential((tk(P112)>=1) & (tk(P52)>=1))))) ) | (AF( ((potential((tk(P183)>=1) & (tk(P297)>=1)))))) )
PROPERTY: RERS17pb113-PT-2-CTLFireability-04 (AU( (! (EF( ((potential((tk(P47)>=1) & (tk(P432)>=1))))))) , ((potential((tk(P584)>=1) & (tk(P61)>=1)))) ))
PROPERTY: RERS17pb113-PT-2-CTLFireability-05 (AF( (EF( ( ( ((potential((tk(P34)>=1) & (tk(P466)>=1)))) & ((potential((tk(P577)>=1) & (tk(P283)>=1)))) ) & ( ((potential((tk(P245)>=1) & (tk(P433)>=1)))) & ((potential((tk(P273)>=1) & (tk(P400)>=1)))) ) )))))
PROPERTY: RERS17pb113-PT-2-CTLFireability-06 (EF( ( (EG( ((potential((tk(P80)>=1) & (tk(P193)>=1)))))) & ( ((potential((tk(P89)>=1) & (tk(P291)>=1)))) & ( ( ((potential((tk(P263)>=1) & (tk(P299)>=1)))) & ((potential((tk(P71)>=1) & (tk(P234)>=1)))) ) | ( ((potential((tk(P444)>=1) & (tk(P374)>=1)))) & ((potential((tk(P570)>=1) & (tk(P215)>=1)))) ) ) ) )))
PROPERTY: RERS17pb113-PT-2-CTLFireability-07 (! ( (EX( (AF( ((potential((tk(P126)>=1) & (tk(P395)>=1)))))))) & (! (AU( ((potential((tk(P619)>=1) & (tk(P365)>=1)))) , ((potential((tk(P504)>=1) & (tk(P93)>=1)))) ))) ))
PROPERTY: RERS17pb113-PT-2-CTLFireability-08 (AF( ( ( (AF( ((potential((tk(P1)>=1) & (tk(P567)>=1)))))) | (AX( ((potential((tk(P432)>=1) & (tk(P617)>=1)))))) ) | ( (AG( ((potential((tk(P404)>=1) & (tk(P153)>=1)))))) & (! ((potential((tk(P524)>=1) & (tk(P501)>=1))))) ) )))
PROPERTY: RERS17pb113-PT-2-CTLFireability-09 (EF( ( ( (! (! ((potential((tk(P291)>=1) & (tk(P376)>=1)))))) | ((potential((tk(P406)>=1) & (tk(P25)>=1)))) ) | ( ( ((potential((tk(P58)>=1) & (tk(P560)>=1)))) | ( ((potential((tk(P207)>=1) & (tk(P511)>=1)))) | ((potential((tk(P528)>=1) & (tk(P181)>=1)))) ) ) | ( (! ((potential((tk(P496)>=1) & (tk(P307)>=1))))) & ( ((potential((tk(P255)>=1) & (tk(P84)>=1)))) & ((potential((tk(P168)>=1) & (tk(P150)>=1)))) ) ) ) )))
PROPERTY: RERS17pb113-PT-2-CTLFireability-10 (EU( (! (AF( ((potential((tk(P619)>=1) & (tk(P438)>=1))))))) , (EU( ((potential((tk(P387)>=1) & (tk(P317)>=1)))) , ((potential((tk(P382)>=1) & (tk(P62)>=1)))) )) ))
PROPERTY: RERS17pb113-PT-2-CTLFireability-11 ( (AF( ( ( ((potential((tk(P318)>=1) & (tk(P103)>=1)))) & ( ((potential((tk(P380)>=1) & (tk(P196)>=1)))) | ((potential((tk(P327)>=1) & (tk(P492)>=1)))) ) ) | ((potential((tk(P166)>=1) & (tk(P151)>=1)))) ))) | (AU( ( ((potential((tk(P64)>=1) & (tk(P403)>=1)))) | ((potential((tk(P574)>=1) & (tk(P603)>=1)))) ) , (EF( ((potential((tk(P166)>=1) & (tk(P403)>=1)))))) )) )
PROPERTY: RERS17pb113-PT-2-CTLFireability-12 (! (EU( (! ( ((potential((tk(P438)>=1) & (tk(P635)>=1)))) & ((potential((tk(P12)>=1) & (tk(P374)>=1)))) )) , (EX( ((potential((tk(P34)>=1) & (tk(P571)>=1)))))) )))
PROPERTY: RERS17pb113-PT-2-CTLFireability-13 (AU( (EF( (! ((potential((tk(P380)>=1) & (tk(P71)>=1))))))) , (AU( ((potential((tk(P188)>=1) & (tk(P342)>=1)))) , ((potential((tk(P317)>=1) & (tk(P362)>=1)))) )) ))
PROPERTY: RERS17pb113-PT-2-CTLFireability-14 (EF( (AU( ( ((potential((tk(P171)>=1) & (tk(P57)>=1)))) | ((potential((tk(P43)>=1) & (tk(P101)>=1)))) ) , ( ((potential((tk(P247)>=1) & (tk(P23)>=1)))) & ((potential((tk(P609)>=1) & (tk(P464)>=1)))) ) ))))
PROPERTY: RERS17pb113-PT-2-CTLFireability-15 (EU( ( (! ( ((potential((tk(P609)>=1) & (tk(P563)>=1)))) & ((potential((tk(P241)>=1) & (tk(P111)>=1)))) )) | ((potential((tk(P586)>=1) & (tk(P445)>=1)))) ) , (AG( ((potential((tk(P360)>=1) & (tk(P23)>=1)))))) ))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-2"
export BK_EXAMINATION="CTLFireability"
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 RERS17pb113-PT-2, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502200012"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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