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-158961502300068.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-9, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502300068
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.0K Apr 12 07:12 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:12 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.5K Apr 11 08:06 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:06 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.0K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.6K Apr 14 12:49 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Apr 10 14:04 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 10 14:04 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 9 20:34 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Apr 9 20:34 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:25 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-9-CTLFireability-00
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-01
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-02
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-03
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-04
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-05
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-06
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-07
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-08
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-09
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-10
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-11
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-12
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-13
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-14
FORMULA_NAME RERS17pb113-PT-9-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589689789026

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 9
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 7 NEW BEST:: SOT 12196134 SOS 7747958 HAS SOPS 6415963 HAS SOUS 3041077 HAS SOUPS 2940587 WITH SCORE 2948334.958
AT ITER 8 NEW BEST:: SOT 12162413 SOS 7698384 HAS SOPS 6377158 HAS SOUS 2978755 HAS SOUPS 2878362 WITH SCORE 2886060.384
AT ITER 21 NEW BEST:: SOT 12162233 SOS 7698192 HAS SOPS 6376972 HAS SOUS 2978449 HAS SOUPS 2878056 WITH SCORE 2885754.192
AT ITER 24 NEW BEST:: SOT 12147556 SOS 7671881 HAS SOPS 6350376 HAS SOUS 2978527 HAS SOUPS 2878054 WITH SCORE 2885725.881
AT ITER 25 NEW BEST:: SOT 12137873 SOS 7662011 HAS SOPS 6340483 HAS SOUS 2966635 HAS SOUPS 2866162 WITH SCORE 2873824.011
AT ITER 26 NEW BEST:: SOT 12137769 SOS 7661801 HAS SOPS 6340343 HAS SOUS 2966546 HAS SOUPS 2866075 WITH SCORE 2873736.801
AT ITER 31 NEW BEST:: SOT 12137653 SOS 7666817 HAS SOPS 6345862 HAS SOUS 2965251 HAS SOUPS 2864912 WITH SCORE 2872578.817
AT ITER 44 NEW BEST:: SOT 12137585 SOS 7664900 HAS SOPS 6345074 HAS SOUS 2963113 HAS SOUPS 2862774 WITH SCORE 2870438.9
AT ITER 52 NEW BEST:: SOT 12136707 SOS 7663093 HAS SOPS 6343669 HAS SOUS 2961270 HAS SOUPS 2861096 WITH SCORE 2868759.093
AT ITER 54 NEW BEST:: SOT 12136665 SOS 7663181 HAS SOPS 6344181 HAS SOUS 2961232 HAS SOUPS 2861058 WITH SCORE 2868721.181
AT ITER 55 NEW BEST:: SOT 12138653 SOS 7665258 HAS SOPS 6346920 HAS SOUS 2960757 HAS SOUPS 2860679 WITH SCORE 2868344.258
AT ITER 57 NEW BEST:: SOT 12128480 SOS 7648145 HAS SOPS 6330685 HAS SOUS 2946940 HAS SOUPS 2846970 WITH SCORE 2854618.145
AT ITER 63 NEW BEST:: SOT 12122949 SOS 7642577 HAS SOPS 6324562 HAS SOUS 2940310 HAS SOUPS 2839935 WITH SCORE 2847577.577
AT ITER 72 NEW BEST:: SOT 12122905 SOS 7642587 HAS SOPS 6324437 HAS SOUS 2940193 HAS SOUPS 2839818 WITH SCORE 2847460.587
AT ITER 73 NEW BEST:: SOT 12122880 SOS 7640167 HAS SOPS 6326303 HAS SOUS 2939580 HAS SOUPS 2839422 WITH SCORE 2847062.167
AT ITER 80 NEW BEST:: SOT 12122866 SOS 7640153 HAS SOPS 6326289 HAS SOUS 2939482 HAS SOUPS 2839324 WITH SCORE 2846964.153
AT ITER 81 NEW BEST:: SOT 12121656 SOS 7639742 HAS SOPS 6324671 HAS SOUS 2936168 HAS SOUPS 2836010 WITH SCORE 2843649.742
AT ITER 88 NEW BEST:: SOT 12121407 SOS 7638509 HAS SOPS 6324150 HAS SOUS 2935240 HAS SOUPS 2835267 WITH SCORE 2842905.509
AT ITER 94 NEW BEST:: SOT 12125842 SOS 7644617 HAS SOPS 6331276 HAS SOUS 2935133 HAS SOUPS 2835229 WITH SCORE 2842873.617
AT ITER 96 NEW BEST:: SOT 12126718 SOS 7648105 HAS SOPS 6335036 HAS SOUS 2935046 HAS SOUPS 2835142 WITH SCORE 2842790.105
AT ITER 97 NEW BEST:: SOT 12125292 SOS 7643797 HAS SOPS 6332571 HAS SOUS 2932638 HAS SOUPS 2832791 WITH SCORE 2840434.797
AT ITER 111 NEW BEST:: SOT 12119400 SOS 7628697 HAS SOPS 6321225 HAS SOUS 2922193 HAS SOUPS 2822379 WITH SCORE 2830007.697
AT ITER 115 NEW BEST:: SOT 12118872 SOS 7628224 HAS SOPS 6320380 HAS SOUS 2921103 HAS SOUPS 2821289 WITH SCORE 2828917.224
AT ITER 128 NEW BEST:: SOT 12116867 SOS 7625557 HAS SOPS 6317351 HAS SOUS 2916858 HAS SOUPS 2817056 WITH SCORE 2824681.557
AT ITER 136 NEW BEST:: SOT 12116675 SOS 7625928 HAS SOPS 6317781 HAS SOUS 2913726 HAS SOUPS 2813924 WITH SCORE 2821549.928
AT ITER 160 NEW BEST:: SOT 12115044 SOS 7621524 HAS SOPS 6316584 HAS SOUS 2912626 HAS SOUPS 2812824 WITH SCORE 2820445.524
AT ITER 162 NEW BEST:: SOT 12113261 SOS 7618075 HAS SOPS 6312542 HAS SOUS 2911628 HAS SOUPS 2811826 WITH SCORE 2819444.075
AT ITER 168 NEW BEST:: SOT 12113064 SOS 7618492 HAS SOPS 6312432 HAS SOUS 2910981 HAS SOUPS 2811179 WITH SCORE 2818797.492
AT ITER 172 NEW BEST:: SOT 12112991 SOS 7618583 HAS SOPS 6312441 HAS SOUS 2910076 HAS SOUPS 2810380 WITH SCORE 2817998.583
AT ITER 177 NEW BEST:: SOT 12115274 SOS 7629969 HAS SOPS 6320399 HAS SOUS 2904261 HAS SOUPS 2804565 WITH SCORE 2812194.969
AT ITER 193 NEW BEST:: SOT 12114887 SOS 7629802 HAS SOPS 6322434 HAS SOUS 2902186 HAS SOUPS 2802490 WITH SCORE 2810119.802
AT ITER 194 NEW BEST:: SOT 12127154 SOS 7650642 HAS SOPS 6342643 HAS SOUS 2898980 HAS SOUPS 2799351 WITH SCORE 2807001.642
AT ITER 199 NEW BEST:: SOT 12126721 SOS 7649560 HAS SOPS 6341576 HAS SOUS 2897886 HAS SOUPS 2798272 WITH SCORE 2805921.56
AT ITER 206 NEW BEST:: SOT 12126658 SOS 7649471 HAS SOPS 6341370 HAS SOUS 2897727 HAS SOUPS 2798113 WITH SCORE 2805762.471
AT ITER 227 NEW BEST:: SOT 12126552 SOS 7648673 HAS SOPS 6340368 HAS SOUS 2897343 HAS SOUPS 2797729 WITH SCORE 2805377.673
AT ITER 237 NEW BEST:: SOT 12124626 SOS 7647947 HAS SOPS 6338442 HAS SOUS 2895496 HAS SOUPS 2795803 WITH SCORE 2803450.947
AT ITER 241 NEW BEST:: SOT 12125056 SOS 7650495 HAS SOPS 6339104 HAS SOUS 2893813 HAS SOUPS 2794120 WITH SCORE 2801770.495
AT ITER 246 NEW BEST:: SOT 12125695 SOS 7653964 HAS SOPS 6340490 HAS SOUS 2891988 HAS SOUPS 2792295 WITH SCORE 2799948.964
AT ITER 251 NEW BEST:: SOT 12123821 SOS 7652090 HAS SOPS 6338616 HAS SOUS 2890114 HAS SOUPS 2790421 WITH SCORE 2798073.09
AT ITER 258 NEW BEST:: SOT 12122179 SOS 7650600 HAS SOPS 6336789 HAS SOUS 2886273 HAS SOUPS 2786460 WITH SCORE 2794110.6
AT ITER 261 NEW BEST:: SOT 12121655 SOS 7650076 HAS SOPS 6335945 HAS SOUS 2884789 HAS SOUPS 2784976 WITH SCORE 2792626.076
AT ITER 266 NEW BEST:: SOT 12121332 SOS 7649450 HAS SOPS 6335319 HAS SOUS 2884403 HAS SOUPS 2784590 WITH SCORE 2792239.45
AT ITER 296 NEW BEST:: SOT 12120951 SOS 7647728 HAS SOPS 6334087 HAS SOUS 2884369 HAS SOUPS 2784556 WITH SCORE 2792203.728
AT ITER 299 NEW BEST:: SOT 12117898 SOS 7638396 HAS SOPS 6326737 HAS SOUS 2882673 HAS SOUPS 2782860 WITH SCORE 2790498.396
AT ITER 307 NEW BEST:: SOT 12118857 SOS 7639115 HAS SOPS 6327736 HAS SOUS 2881952 HAS SOUPS 2782289 WITH SCORE 2789928.115
AT ITER 308 NEW BEST:: SOT 12119140 SOS 7640137 HAS SOPS 6333330 HAS SOUS 2881824 HAS SOUPS 2782161 WITH SCORE 2789801.137
AT ITER 309 NEW BEST:: SOT 12119315 SOS 7640378 HAS SOPS 6333502 HAS SOUS 2881807 HAS SOUPS 2782144 WITH SCORE 2789784.378
AT ITER 318 NEW BEST:: SOT 12120913 SOS 7643801 HAS SOPS 6338275 HAS SOUS 2879653 HAS SOUPS 2779934 WITH SCORE 2787577.801
AT ITER 329 NEW BEST:: SOT 12120227 SOS 7643699 HAS SOPS 6337697 HAS SOUS 2878261 HAS SOUPS 2778542 WITH SCORE 2786185.699
AT ITER 332 NEW BEST:: SOT 12108561 SOS 7625551 HAS SOPS 6323994 HAS SOUS 2855110 HAS SOUPS 2755605 WITH SCORE 2763230.551
AT ITER 337 NEW BEST:: SOT 12092204 SOS 7604667 HAS SOPS 6303081 HAS SOUS 2837715 HAS SOUPS 2738208 WITH SCORE 2745812.667
AT ITER 352 NEW BEST:: SOT 12091653 SOS 7602866 HAS SOPS 6301695 HAS SOUS 2837326 HAS SOUPS 2737833 WITH SCORE 2745435.866
AT ITER 353 NEW BEST:: SOT 12086460 SOS 7597731 HAS SOPS 6296693 HAS SOUS 2832816 HAS SOUPS 2733323 WITH SCORE 2740920.731
AT ITER 358 NEW BEST:: SOT 12080103 SOS 7589899 HAS SOPS 6290253 HAS SOUS 2827433 HAS SOUPS 2728040 WITH SCORE 2735629.899
AT ITER 367 NEW BEST:: SOT 12080075 SOS 7589281 HAS SOPS 6290773 HAS SOUS 2827367 HAS SOUPS 2727974 WITH SCORE 2735563.281
AT ITER 371 NEW BEST:: SOT 12081281 SOS 7592477 HAS SOPS 6292053 HAS SOUS 2820961 HAS SOUPS 2721627 WITH SCORE 2729219.477
AT ITER 374 NEW BEST:: SOT 12080814 SOS 7592010 HAS SOPS 6291362 HAS SOUS 2819598 HAS SOUPS 2720264 WITH SCORE 2727856.01
AT ITER 393 NEW BEST:: SOT 12080490 SOS 7591787 HAS SOPS 6290934 HAS SOUS 2818350 HAS SOUPS 2718853 WITH SCORE 2726444.787
AT ITER 407 NEW BEST:: SOT 12077822 SOS 7589280 HAS SOPS 6286006 HAS SOUS 2811276 HAS SOUPS 2711779 WITH SCORE 2719368.28
AT ITER 414 NEW BEST:: SOT 12077806 SOS 7589264 HAS SOPS 6285990 HAS SOUS 2810932 HAS SOUPS 2711435 WITH SCORE 2719024.264
AT ITER 415 NEW BEST:: SOT 12077810 SOS 7589268 HAS SOPS 6285994 HAS SOUS 2810804 HAS SOUPS 2711307 WITH SCORE 2718896.268
AT ITER 433 NEW BEST:: SOT 12078318 SOS 7582881 HAS SOPS 6283075 HAS SOUS 2804025 HAS SOUPS 2704528 WITH SCORE 2712110.881
AT ITER 451 NEW BEST:: SOT 12077418 SOS 7581285 HAS SOPS 6281390 HAS SOUS 2803311 HAS SOUPS 2703829 WITH SCORE 2711410.285
AT ITER 453 NEW BEST:: SOT 12078034 SOS 7582975 HAS SOPS 6282246 HAS SOUS 2803227 HAS SOUPS 2703745 WITH SCORE 2711327.975
AT ITER 475 NEW BEST:: SOT 12083782 SOS 7594560 HAS SOPS 6294569 HAS SOUS 2795885 HAS SOUPS 2696403 WITH SCORE 2703997.56
AT ITER 480 NEW BEST:: SOT 12083177 SOS 7590042 HAS SOPS 6292415 HAS SOUS 2791051 HAS SOUPS 2692080 WITH SCORE 2699670.042
AT ITER 490 NEW BEST:: SOT 12083775 SOS 7592543 HAS SOPS 6295829 HAS SOUS 2790504 HAS SOUPS 2691533 WITH SCORE 2699125.543
AT ITER 500 NEW BEST:: SOT 12082774 SOS 7591808 HAS SOPS 6294870 HAS SOUS 2788417 HAS SOUPS 2689446 WITH SCORE 2697037.808
AT ITER 501 NEW BEST:: SOT 12080911 SOS 7588341 HAS SOPS 6293761 HAS SOUS 2786438 HAS SOUPS 2687467 WITH SCORE 2695055.341
AT ITER 510 NEW BEST:: SOT 12080778 SOS 7592412 HAS SOPS 6301336 HAS SOUS 2783894 HAS SOUPS 2684923 WITH SCORE 2692515.412
AT ITER 516 NEW BEST:: SOT 12080622 SOS 7593356 HAS SOPS 6300981 HAS SOUS 2782068 HAS SOUPS 2683097 WITH SCORE 2690690.356
AT ITER 518 NEW BEST:: SOT 12077848 SOS 7587221 HAS SOPS 6298291 HAS SOUS 2781869 HAS SOUPS 2682943 WITH SCORE 2690530.221
AT ITER 520 NEW BEST:: SOT 12079666 SOS 7589110 HAS SOPS 6300140 HAS SOUS 2779053 HAS SOUPS 2680127 WITH SCORE 2687716.11
AT ITER 522 NEW BEST:: SOT 12069825 SOS 7579230 HAS SOPS 6290240 HAS SOUS 2769126 HAS SOUPS 2670180 WITH SCORE 2677759.23
AT ITER 524 NEW BEST:: SOT 12049421 SOS 7555858 HAS SOPS 6267970 HAS SOUS 2737366 HAS SOUPS 2638535 WITH SCORE 2646090.858
AT ITER 530 NEW BEST:: SOT 12049930 SOS 7560179 HAS SOPS 6273341 HAS SOUS 2733738 HAS SOUPS 2635018 WITH SCORE 2642578.179
AT ITER 531 NEW BEST:: SOT 12049930 SOS 7560179 HAS SOPS 6273341 HAS SOUS 2733720 HAS SOUPS 2635000 WITH SCORE 2642560.179
AT ITER 547 NEW BEST:: SOT 12054686 SOS 7573235 HAS SOPS 6286169 HAS SOUS 2728987 HAS SOUPS 2630267 WITH SCORE 2637840.235
AT ITER 563 NEW BEST:: SOT 12057102 SOS 7574323 HAS SOPS 6291624 HAS SOUS 2722769 HAS SOUPS 2624050 WITH SCORE 2631624.323
AT ITER 567 NEW BEST:: SOT 12052625 SOS 7565116 HAS SOPS 6284270 HAS SOUS 2716335 HAS SOUPS 2617688 WITH SCORE 2625253.116
AT ITER 575 NEW BEST:: SOT 12049724 SOS 7560116 HAS SOPS 6280497 HAS SOUS 2713150 HAS SOUPS 2614503 WITH SCORE 2622063.116
AT ITER 579 NEW BEST:: SOT 12043973 SOS 7558938 HAS SOPS 6278998 HAS SOUS 2711752 HAS SOUPS 2612914 WITH SCORE 2620472.938
AT ITER 580 NEW BEST:: SOT 12045080 SOS 7563144 HAS SOPS 6281543 HAS SOUS 2706360 HAS SOUPS 2607433 WITH SCORE 2614996.144
AT ITER 584 NEW BEST:: SOT 12040884 SOS 7557279 HAS SOPS 6275916 HAS SOUS 2700337 HAS SOUPS 2601410 WITH SCORE 2608967.279
AT ITER 614 NEW BEST:: SOT 12040681 SOS 7557028 HAS SOPS 6275685 HAS SOUS 2700194 HAS SOUPS 2601271 WITH SCORE 2608828.028
AT ITER 627 NEW BEST:: SOT 12040393 SOS 7558050 HAS SOPS 6276906 HAS SOUS 2699223 HAS SOUPS 2600300 WITH SCORE 2607858.05
AT ITER 653 NEW BEST:: SOT 12040261 SOS 7559089 HAS SOPS 6282170 HAS SOUS 2696947 HAS SOUPS 2598138 WITH SCORE 2605697.089
AT ITER 656 NEW BEST:: SOT 12035003 SOS 7546230 HAS SOPS 6275625 HAS SOUS 2690866 HAS SOUPS 2592472 WITH SCORE 2600018.23
AT ITER 659 NEW BEST:: SOT 12034808 SOS 7545892 HAS SOPS 6275389 HAS SOUS 2690753 HAS SOUPS 2592359 WITH SCORE 2599904.892
AT ITER 663 NEW BEST:: SOT 12032415 SOS 7542985 HAS SOPS 6273375 HAS SOUS 2685805 HAS SOUPS 2587411 WITH SCORE 2594953.985
AT ITER 666 NEW BEST:: SOT 12017617 SOS 7527370 HAS SOPS 6255760 HAS SOUS 2664070 HAS SOUPS 2565664 WITH SCORE 2573191.37
AT ITER 678 NEW BEST:: SOT 12017771 SOS 7528713 HAS SOPS 6258178 HAS SOUS 2663853 HAS SOUPS 2565447 WITH SCORE 2572975.713
AT ITER 688 NEW BEST:: SOT 12028763 SOS 7552003 HAS SOPS 6280374 HAS SOUS 2661500 HAS SOUPS 2563001 WITH SCORE 2570553.003
AT ITER 690 NEW BEST:: SOT 12025042 SOS 7545327 HAS SOPS 6273154 HAS SOUS 2652582 HAS SOUPS 2554087 WITH SCORE 2561632.327
AT ITER 698 NEW BEST:: SOT 12023628 SOS 7542622 HAS SOPS 6269317 HAS SOUS 2649025 HAS SOUPS 2550440 WITH SCORE 2557982.622
AT ITER 702 NEW BEST:: SOT 12024023 SOS 7545211 HAS SOPS 6271506 HAS SOUS 2644155 HAS SOUPS 2545570 WITH SCORE 2553115.211
AT ITER 709 NEW BEST:: SOT 12023676 SOS 7544395 HAS SOPS 6275521 HAS SOUS 2641265 HAS SOUPS 2542680 WITH SCORE 2550224.395
AT ITER 717 NEW BEST:: SOT 12021142 SOS 7541067 HAS SOPS 6270735 HAS SOUS 2633981 HAS SOUPS 2535396 WITH SCORE 2542937.067
AT ITER 724 NEW BEST:: SOT 12017261 SOS 7538006 HAS SOPS 6263893 HAS SOUS 2626289 HAS SOUPS 2527643 WITH SCORE 2535181.006
AT ITER 728 NEW BEST:: SOT 12016589 SOS 7537971 HAS SOPS 6263571 HAS SOUS 2623678 HAS SOUPS 2525032 WITH SCORE 2532569.971
AT ITER 730 NEW BEST:: SOT 12011506 SOS 7533119 HAS SOPS 6258616 HAS SOUS 2617555 HAS SOUPS 2518905 WITH SCORE 2526438.119
AT ITER 775 NEW BEST:: SOT 12011290 SOS 7532915 HAS SOPS 6258639 HAS SOUS 2615650 HAS SOUPS 2517000 WITH SCORE 2524532.915
AT ITER 779 NEW BEST:: SOT 12011298 SOS 7532923 HAS SOPS 6258647 HAS SOUS 2615578 HAS SOUPS 2516928 WITH SCORE 2524460.923
AT ITER 784 NEW BEST:: SOT 12011175 SOS 7531822 HAS SOPS 6259018 HAS SOUS 2615175 HAS SOUPS 2516525 WITH SCORE 2524056.822
AT ITER 818 NEW BEST:: SOT 12010790 SOS 7531457 HAS SOPS 6258643 HAS SOUS 2614365 HAS SOUPS 2515715 WITH SCORE 2523246.457
AT ITER 819 NEW BEST:: SOT 12010620 SOS 7531299 HAS SOPS 6257832 HAS SOUS 2613802 HAS SOUPS 2515126 WITH SCORE 2522657.299
AT ITER 820 NEW BEST:: SOT 12010313 SOS 7531032 HAS SOPS 6257482 HAS SOUS 2613185 HAS SOUPS 2514509 WITH SCORE 2522040.032
AT ITER 832 NEW BEST:: SOT 12015723 SOS 7547923 HAS SOPS 6273072 HAS SOUS 2610442 HAS SOUPS 2511862 WITH SCORE 2519409.923
AT ITER 836 NEW BEST:: SOT 12015361 SOS 7547393 HAS SOPS 6272694 HAS SOUS 2610153 HAS SOUPS 2511580 WITH SCORE 2519127.393
AT ITER 846 NEW BEST:: SOT 12015206 SOS 7546741 HAS SOPS 6270370 HAS SOUS 2609829 HAS SOUPS 2511315 WITH SCORE 2518861.741
AT ITER 851 NEW BEST:: SOT 12012096 SOS 7542816 HAS SOPS 6266342 HAS SOUS 2600541 HAS SOUPS 2502717 WITH SCORE 2510259.816
AT ITER 867 NEW BEST:: SOT 12012335 SOS 7543055 HAS SOPS 6266325 HAS SOUS 2599528 HAS SOUPS 2501704 WITH SCORE 2509247.055
AT ITER 879 NEW BEST:: SOT 12008863 SOS 7539583 HAS SOPS 6262293 HAS SOUS 2593816 HAS SOUPS 2495992 WITH SCORE 2503531.583
AT ITER 880 NEW BEST:: SOT 12008327 SOS 7539047 HAS SOPS 6261757 HAS SOUS 2593280 HAS SOUPS 2495456 WITH SCORE 2502995.047
AT ITER 881 NEW BEST:: SOT 12008103 SOS 7538799 HAS SOPS 6261397 HAS SOUS 2592820 HAS SOUPS 2494994 WITH SCORE 2502532.799
AT ITER 885 NEW BEST:: SOT 12007983 SOS 7538583 HAS SOPS 6261225 HAS SOUS 2592464 HAS SOUPS 2494642 WITH SCORE 2502180.583
AT ITER 886 NEW BEST:: SOT 12007875 SOS 7538475 HAS SOPS 6260893 HAS SOUS 2591564 HAS SOUPS 2493742 WITH SCORE 2501280.475
AT ITER 909 NEW BEST:: SOT 12004587 SOS 7535187 HAS SOPS 6257301 HAS SOUS 2587620 HAS SOUPS 2489670 WITH SCORE 2497205.187
AT ITER 911 NEW BEST:: SOT 12001982 SOS 7533613 HAS SOPS 6255830 HAS SOUS 2583687 HAS SOUPS 2485737 WITH SCORE 2493270.613
AT ITER 914 NEW BEST:: SOT 12010674 SOS 7545892 HAS SOPS 6270199 HAS SOUS 2581577 HAS SOUPS 2483647 WITH SCORE 2491192.892
AT ITER 919 NEW BEST:: SOT 12014077 SOS 7552205 HAS SOPS 6275340 HAS SOUS 2576203 HAS SOUPS 2478149 WITH SCORE 2485701.205
AT ITER 921 NEW BEST:: SOT 12004251 SOS 7523626 HAS SOPS 6255289 HAS SOUS 2575026 HAS SOUPS 2477530 WITH SCORE 2485053.626
AT ITER 926 NEW BEST:: SOT 11997296 SOS 7515147 HAS SOPS 6247055 HAS SOUS 2559552 HAS SOUPS 2462161 WITH SCORE 2469676.147
AT ITER 928 NEW BEST:: SOT 11977546 SOS 7489107 HAS SOPS 6214442 HAS SOUS 2531114 HAS SOUPS 2433723 WITH SCORE 2441212.107
AT ITER 929 NEW BEST:: SOT 11977497 SOS 7489963 HAS SOPS 6214858 HAS SOUS 2528202 HAS SOUPS 2430811 WITH SCORE 2438300.963
AT ITER 930 NEW BEST:: SOT 11976589 SOS 7489055 HAS SOPS 6213950 HAS SOUS 2527090 HAS SOUPS 2429699 WITH SCORE 2437188.055
AT ITER 948 NEW BEST:: SOT 11977049 SOS 7490055 HAS SOPS 6214827 HAS SOUS 2527076 HAS SOUPS 2429685 WITH SCORE 2437175.055
AT ITER 951 NEW BEST:: SOT 11977112 SOS 7490946 HAS SOPS 6215220 HAS SOUS 2526591 HAS SOUPS 2429200 WITH SCORE 2436690.946
AT ITER 979 NEW BEST:: SOT 11976315 SOS 7490807 HAS SOPS 6214115 HAS SOUS 2523946 HAS SOUPS 2426555 WITH SCORE 2434045.807
AT ITER 988 NEW BEST:: SOT 11976096 SOS 7490180 HAS SOPS 6213608 HAS SOUS 2523931 HAS SOUPS 2426540 WITH SCORE 2434030.18
AT ITER 994 NEW BEST:: SOT 11975869 SOS 7488910 HAS SOPS 6212701 HAS SOUS 2523459 HAS SOUPS 2426082 WITH SCORE 2433570.91
AT ITER 1001 NEW BEST:: SOT 11975539 SOS 7488580 HAS SOPS 6212191 HAS SOUS 2522529 HAS SOUPS 2425212 WITH SCORE 2432700.58
AT ITER 1002 NEW BEST:: SOT 11975248 SOS 7486985 HAS SOPS 6211100 HAS SOUS 2522383 HAS SOUPS 2425192 WITH SCORE 2432678.985
AT ITER 1004 NEW BEST:: SOT 11977091 SOS 7488836 HAS SOPS 6215090 HAS SOUS 2514411 HAS SOUPS 2417620 WITH SCORE 2425108.836
AT ITER 1005 NEW BEST:: SOT 11976100 SOS 7485890 HAS SOPS 6214129 HAS SOUS 2512562 HAS SOUPS 2415771 WITH SCORE 2423256.89
AT ITER 1007 NEW BEST:: SOT 11973400 SOS 7482228 HAS SOPS 6211222 HAS SOUS 2509284 HAS SOUPS 2412537 WITH SCORE 2420019.228
AT ITER 1013 NEW BEST:: SOT 11973142 SOS 7481790 HAS SOPS 6210862 HAS SOUS 2509004 HAS SOUPS 2412259 WITH SCORE 2419740.79
AT ITER 1017 NEW BEST:: SOT 11973126 SOS 7481805 HAS SOPS 6210903 HAS SOUS 2508944 HAS SOUPS 2412199 WITH SCORE 2419680.805
AT ITER 1025 NEW BEST:: SOT 11972015 SOS 7479709 HAS SOPS 6208863 HAS SOUS 2508216 HAS SOUPS 2411471 WITH SCORE 2418950.709
AT ITER 1032 NEW BEST:: SOT 11971807 SOS 7479445 HAS SOPS 6208743 HAS SOUS 2507208 HAS SOUPS 2410599 WITH SCORE 2418078.445
AT ITER 1033 NEW BEST:: SOT 11972358 SOS 7483236 HAS SOPS 6211515 HAS SOUS 2506649 HAS SOUPS 2410040 WITH SCORE 2417523.236
AT ITER 1039 NEW BEST:: SOT 11967333 SOS 7474850 HAS SOPS 6208702 HAS SOUS 2505126 HAS SOUPS 2408680 WITH SCORE 2416154.85
AT ITER 1054 NEW BEST:: SOT 11967299 SOS 7476852 HAS SOPS 6210430 HAS SOUS 2503025 HAS SOUPS 2406579 WITH SCORE 2414055.852
AT ITER 1062 NEW BEST:: SOT 11966106 SOS 7474707 HAS SOPS 6207469 HAS SOUS 2502608 HAS SOUPS 2406162 WITH SCORE 2413636.707
AT ITER 1071 NEW BEST:: SOT 11966064 SOS 7474546 HAS SOPS 6207090 HAS SOUS 2502480 HAS SOUPS 2406034 WITH SCORE 2413508.546
AT ITER 1087 NEW BEST:: SOT 11965658 SOS 7468168 HAS SOPS 6202237 HAS SOUS 2500252 HAS SOUPS 2403994 WITH SCORE 2411462.168
AT ITER 1092 NEW BEST:: SOT 11965698 SOS 7468208 HAS SOPS 6202277 HAS SOUS 2500208 HAS SOUPS 2403950 WITH SCORE 2411418.208
AT ITER 1101 NEW BEST:: SOT 11969877 SOS 7469190 HAS SOPS 6206340 HAS SOUS 2494972 HAS SOUPS 2400113 WITH SCORE 2407582.19
AT ITER 1102 NEW BEST:: SOT 11968561 SOS 7472508 HAS SOPS 6210164 HAS SOUS 2487767 HAS SOUPS 2392908 WITH SCORE 2400380.508
AT ITER 1118 NEW BEST:: SOT 11965124 SOS 7463492 HAS SOPS 6201789 HAS SOUS 2487032 HAS SOUPS 2392173 WITH SCORE 2399636.492
AT ITER 1141 NEW BEST:: SOT 11962888 SOS 7461684 HAS SOPS 6199139 HAS SOUS 2481020 HAS SOUPS 2386153 WITH SCORE 2393614.684
AT ITER 1143 NEW BEST:: SOT 11962894 SOS 7461687 HAS SOPS 6199120 HAS SOUS 2480972 HAS SOUPS 2386107 WITH SCORE 2393568.687
AT ITER 1154 NEW BEST:: SOT 11962867 SOS 7461658 HAS SOPS 6199075 HAS SOUS 2480633 HAS SOUPS 2385892 WITH SCORE 2393353.658
AT ITER 1158 NEW BEST:: SOT 11966560 SOS 7465348 HAS SOPS 6202189 HAS SOUS 2480618 HAS SOUPS 2385877 WITH SCORE 2393342.348
AT ITER 1165 NEW BEST:: SOT 11966840 SOS 7470319 HAS SOPS 6204656 HAS SOUS 2475754 HAS SOUPS 2381013 WITH SCORE 2388483.319
AT ITER 1179 NEW BEST:: SOT 11964557 SOS 7468120 HAS SOPS 6200739 HAS SOUS 2471464 HAS SOUPS 2375857 WITH SCORE 2383325.12
AT ITER 1188 NEW BEST:: SOT 11964314 SOS 7467541 HAS SOPS 6200394 HAS SOUS 2470458 HAS SOUPS 2374851 WITH SCORE 2382318.541
AT ITER 1189 NEW BEST:: SOT 11964885 SOS 7477072 HAS SOPS 6205112 HAS SOUS 2469592 HAS SOUPS 2373985 WITH SCORE 2381462.072
AT ITER 1191 NEW BEST:: SOT 11968567 SOS 7477093 HAS SOPS 6206605 HAS SOUS 2469338 HAS SOUPS 2373717 WITH SCORE 2381194.093
AT ITER 1197 NEW BEST:: SOT 11968030 SOS 7476637 HAS SOPS 6205934 HAS SOUS 2468282 HAS SOUPS 2372638 WITH SCORE 2380114.637
AT ITER 1198 NEW BEST:: SOT 11964574 SOS 7472999 HAS SOPS 6205356 HAS SOUS 2454311 HAS SOUPS 2358837 WITH SCORE 2366309.999
AT ITER 1201 NEW BEST:: SOT 11963572 SOS 7471291 HAS SOPS 6204021 HAS SOUS 2452371 HAS SOUPS 2356941 WITH SCORE 2364412.291
AT ITER 1208 NEW BEST:: SOT 11962864 SOS 7470583 HAS SOPS 6202801 HAS SOUS 2449647 HAS SOUPS 2354217 WITH SCORE 2361687.583
AT ITER 1212 NEW BEST:: SOT 11962265 SOS 7469970 HAS SOPS 6201684 HAS SOUS 2448230 HAS SOUPS 2352782 WITH SCORE 2360251.97
AT ITER 1219 NEW BEST:: SOT 11961527 SOS 7461584 HAS SOPS 6190831 HAS SOUS 2448361 HAS SOUPS 2352690 WITH SCORE 2360151.584
AT ITER 1225 NEW BEST:: SOT 11950419 SOS 7443762 HAS SOPS 6175307 HAS SOUS 2447682 HAS SOUPS 2352021 WITH SCORE 2359464.762
AT ITER 1230 NEW BEST:: SOT 11950491 SOS 7440427 HAS SOPS 6171246 HAS SOUS 2446639 HAS SOUPS 2350978 WITH SCORE 2358418.427
AT ITER 1231 NEW BEST:: SOT 11948238 SOS 7437993 HAS SOPS 6167463 HAS SOUS 2442688 HAS SOUPS 2346994 WITH SCORE 2354431.993
AT ITER 1239 NEW BEST:: SOT 11943870 SOS 7434729 HAS SOPS 6161648 HAS SOUS 2426325 HAS SOUPS 2330631 WITH SCORE 2338065.729
AT ITER 1249 NEW BEST:: SOT 11942242 SOS 7432727 HAS SOPS 6159303 HAS SOUS 2424419 HAS SOUPS 2328725 WITH SCORE 2336157.727
AT ITER 1250 NEW BEST:: SOT 11940325 SOS 7432312 HAS SOPS 6155891 HAS SOUS 2418761 HAS SOUPS 2323067 WITH SCORE 2330499.312
AT ITER 1256 NEW BEST:: SOT 11944227 SOS 7438328 HAS SOPS 6162491 HAS SOUS 2414031 HAS SOUPS 2318486 WITH SCORE 2325924.328
AT ITER 1259 NEW BEST:: SOT 11944151 SOS 7438690 HAS SOPS 6162624 HAS SOUS 2411816 HAS SOUPS 2316238 WITH SCORE 2323676.69
AT ITER 1274 NEW BEST:: SOT 11941964 SOS 7435133 HAS SOPS 6157738 HAS SOUS 2405506 HAS SOUPS 2310092 WITH SCORE 2317527.133
AT ITER 1306 NEW BEST:: SOT 11943656 SOS 7436436 HAS SOPS 6158787 HAS SOUS 2403242 HAS SOUPS 2307743 WITH SCORE 2315179.436
AT ITER 1323 NEW BEST:: SOT 11943877 SOS 7439314 HAS SOPS 6163547 HAS SOUS 2402993 HAS SOUPS 2307538 WITH SCORE 2314977.314
AT ITER 1339 NEW BEST:: SOT 11943328 SOS 7438294 HAS SOPS 6162487 HAS SOUS 2402204 HAS SOUPS 2306758 WITH SCORE 2314196.294
AT ITER 1349 NEW BEST:: SOT 11943410 SOS 7437785 HAS SOPS 6161978 HAS SOUS 2401671 HAS SOUPS 2306225 WITH SCORE 2313662.785
AT ITER 1353 NEW BEST:: SOT 11942341 SOS 7426652 HAS SOPS 6153500 HAS SOUS 2399577 HAS SOUPS 2304321 WITH SCORE 2311747.652
AT ITER 1355 NEW BEST:: SOT 11942591 SOS 7427182 HAS SOPS 6153214 HAS SOUS 2399183 HAS SOUPS 2303780 WITH SCORE 2311207.182
AT ITER 1360 NEW BEST:: SOT 11937705 SOS 7423630 HAS SOPS 6149085 HAS SOUS 2391061 HAS SOUPS 2295573 WITH SCORE 2302996.63
AT ITER 1396 NEW BEST:: SOT 11932995 SOS 7415279 HAS SOPS 6149201 HAS SOUS 2389750 HAS SOUPS 2294262 WITH SCORE 2301677.279
AT ITER 1400 NEW BEST:: SOT 11931854 SOS 7412937 HAS SOPS 6147159 HAS SOUS 2388490 HAS SOUPS 2293002 WITH SCORE 2300414.937
AT ITER 1411 NEW BEST:: SOT 11931217 SOS 7412465 HAS SOPS 6146442 HAS SOUS 2386784 HAS SOUPS 2291296 WITH SCORE 2298708.465
AT ITER 1420 NEW BEST:: SOT 11930779 SOS 7412357 HAS SOPS 6146256 HAS SOUS 2385462 HAS SOUPS 2289960 WITH SCORE 2297372.357
AT ITER 1425 NEW BEST:: SOT 11930770 SOS 7412348 HAS SOPS 6146139 HAS SOUS 2385243 HAS SOUPS 2289741 WITH SCORE 2297153.348
AT ITER 1436 NEW BEST:: SOT 11930763 SOS 7412211 HAS SOPS 6146291 HAS SOUS 2385195 HAS SOUPS 2289693 WITH SCORE 2297105.211
AT ITER 1439 NEW BEST:: SOT 11930741 SOS 7412090 HAS SOPS 6146201 HAS SOUS 2385170 HAS SOUPS 2289683 WITH SCORE 2297095.09
AT ITER 1447 NEW BEST:: SOT 11930808 SOS 7413452 HAS SOPS 6147233 HAS SOUS 2383377 HAS SOUPS 2287890 WITH SCORE 2295303.452
AT ITER 1464 NEW BEST:: SOT 11928416 SOS 7410450 HAS SOPS 6144423 HAS SOUS 2380548 HAS SOUPS 2285131 WITH SCORE 2292541.45
AT ITER 1465 NEW BEST:: SOT 11927589 SOS 7406390 HAS SOPS 6140704 HAS SOUS 2378508 HAS SOUPS 2283148 WITH SCORE 2290554.39
AT ITER 1474 NEW BEST:: SOT 11925945 SOS 7404746 HAS SOPS 6139060 HAS SOUS 2377060 HAS SOUPS 2281700 WITH SCORE 2289104.746
AT ITER 1483 NEW BEST:: SOT 11925941 SOS 7404742 HAS SOPS 6139056 HAS SOUS 2377048 HAS SOUPS 2281688 WITH SCORE 2289092.742
AT ITER 1501 NEW BEST:: SOT 11925388 SOS 7406652 HAS SOPS 6141141 HAS SOUS 2373826 HAS SOUPS 2278466 WITH SCORE 2285872.652
AT ITER 1517 NEW BEST:: SOT 11924952 SOS 7406216 HAS SOPS 6140385 HAS SOUS 2372430 HAS SOUPS 2277070 WITH SCORE 2284476.216
AT ITER 1529 NEW BEST:: SOT 11924608 SOS 7405012 HAS SOPS 6139273 HAS SOUS 2372046 HAS SOUPS 2276697 WITH SCORE 2284102.012
AT ITER 1530 NEW BEST:: SOT 11924422 SOS 7404826 HAS SOPS 6139135 HAS SOUS 2372004 HAS SOUPS 2276655 WITH SCORE 2284059.826
AT ITER 1533 NEW BEST:: SOT 11924149 SOS 7409955 HAS SOPS 6145912 HAS SOUS 2352176 HAS SOUPS 2256869 WITH SCORE 2264278.955
AT ITER 1536 NEW BEST:: SOT 11923120 SOS 7406448 HAS SOPS 6143144 HAS SOUS 2351513 HAS SOUPS 2256306 WITH SCORE 2263712.448
AT ITER 1563 NEW BEST:: SOT 11925441 SOS 7413567 HAS SOPS 6147312 HAS SOUS 2349295 HAS SOUPS 2254088 WITH SCORE 2261501.567
AT ITER 1566 NEW BEST:: SOT 11926611 SOS 7418213 HAS SOPS 6152269 HAS SOUS 2348580 HAS SOUPS 2253373 WITH SCORE 2260791.213
AT ITER 1580 NEW BEST:: SOT 11925412 SOS 7415379 HAS SOPS 6148809 HAS SOUS 2345836 HAS SOUPS 2250629 WITH SCORE 2258044.379
AT ITER 1605 NEW BEST:: SOT 11925380 SOS 7415347 HAS SOPS 6148777 HAS SOUS 2345752 HAS SOUPS 2250545 WITH SCORE 2257960.347
AT ITER 1646 NEW BEST:: SOT 11925362 SOS 7415330 HAS SOPS 6148758 HAS SOUS 2345645 HAS SOUPS 2250438 WITH SCORE 2257853.33
AT ITER 1650 NEW BEST:: SOT 11924607 SOS 7414566 HAS SOPS 6147589 HAS SOUS 2343965 HAS SOUPS 2248751 WITH SCORE 2256165.566
AT ITER 1654 NEW BEST:: SOT 11924529 SOS 7414530 HAS SOPS 6147679 HAS SOUS 2343943 HAS SOUPS 2248722 WITH SCORE 2256136.53
AT ITER 1676 NEW BEST:: SOT 11923824 SOS 7411470 HAS SOPS 6143618 HAS SOUS 2342022 HAS SOUPS 2246885 WITH SCORE 2254296.47
AT ITER 1679 NEW BEST:: SOT 11926139 SOS 7418618 HAS SOPS 6146203 HAS SOUS 2339489 HAS SOUPS 2244352 WITH SCORE 2251770.618
AT ITER 1697 NEW BEST:: SOT 11926674 SOS 7421331 HAS SOPS 6149225 HAS SOUS 2336102 HAS SOUPS 2241011 WITH SCORE 2248432.331
AT ITER 1714 NEW BEST:: SOT 11927611 SOS 7422715 HAS SOPS 6152624 HAS SOUS 2335168 HAS SOUPS 2240077 WITH SCORE 2247499.715
AT ITER 1739 NEW BEST:: SOT 11927701 SOS 7424443 HAS SOPS 6154190 HAS SOUS 2334331 HAS SOUPS 2239240 WITH SCORE 2246664.443
AT ITER 1743 NEW BEST:: SOT 11927285 SOS 7423925 HAS SOPS 6153630 HAS SOUS 2333663 HAS SOUPS 2238572 WITH SCORE 2245995.925
AT ITER 1751 NEW BEST:: SOT 11927210 SOS 7423814 HAS SOPS 6153455 HAS SOUS 2333400 HAS SOUPS 2238309 WITH SCORE 2245732.814
AT ITER 1755 NEW BEST:: SOT 11930428 SOS 7439523 HAS SOPS 6166955 HAS SOUS 2327048 HAS SOUPS 2232036 WITH SCORE 2239475.523
AT ITER 1756 NEW BEST:: SOT 11929998 SOS 7438813 HAS SOPS 6166332 HAS SOUS 2326727 HAS SOUPS 2231715 WITH SCORE 2239153.813
AT ITER 1778 NEW BEST:: SOT 11936112 SOS 7446190 HAS SOPS 6174989 HAS SOUS 2321990 HAS SOUPS 2226860 WITH SCORE 2234306.19
AT ITER 1798 NEW BEST:: SOT 11936350 SOS 7448318 HAS SOPS 6177250 HAS SOUS 2318210 HAS SOUPS 2223080 WITH SCORE 2230528.318
AT ITER 1800 NEW BEST:: SOT 11935987 SOS 7446547 HAS SOPS 6176205 HAS SOUS 2317635 HAS SOUPS 2222505 WITH SCORE 2229951.547
AT ITER 1802 NEW BEST:: SOT 11936544 SOS 7446470 HAS SOPS 6176436 HAS SOUS 2317105 HAS SOUPS 2221999 WITH SCORE 2229445.47
AT ITER 1812 NEW BEST:: SOT 11936819 SOS 7446521 HAS SOPS 6176383 HAS SOUS 2316612 HAS SOUPS 2221522 WITH SCORE 2228968.521
AT ITER 1827 NEW BEST:: SOT 11936719 SOS 7446625 HAS SOPS 6175426 HAS SOUS 2314473 HAS SOUPS 2219332 WITH SCORE 2226778.625
AT ITER 1845 NEW BEST:: SOT 11936522 SOS 7444846 HAS SOPS 6174385 HAS SOUS 2313554 HAS SOUPS 2218442 WITH SCORE 2225886.846
AT ITER 1847 NEW BEST:: SOT 11934192 SOS 7438347 HAS SOPS 6168654 HAS SOUS 2310498 HAS SOUPS 2215386 WITH SCORE 2222824.347
AT ITER 1891 NEW BEST:: SOT 11934159 SOS 7438310 HAS SOPS 6168567 HAS SOUS 2310406 HAS SOUPS 2215294 WITH SCORE 2222732.31
AT ITER 1898 NEW BEST:: SOT 11938516 SOS 7456458 HAS SOPS 6188022 HAS SOUS 2302662 HAS SOUPS 2207550 WITH SCORE 2215006.458
AT ITER 1910 NEW BEST:: SOT 11938111 SOS 7456053 HAS SOPS 6187617 HAS SOUS 2302577 HAS SOUPS 2207465 WITH SCORE 2214921.053
AT ITER 1914 NEW BEST:: SOT 11937246 SOS 7455046 HAS SOPS 6186867 HAS SOUS 2300827 HAS SOUPS 2205773 WITH SCORE 2213228.046
AT ITER 1920 NEW BEST:: SOT 11937747 SOS 7459399 HAS SOPS 6190860 HAS SOUS 2299800 HAS SOUPS 2204746 WITH SCORE 2212205.399
AT ITER 1935 NEW BEST:: SOT 11937890 SOS 7459743 HAS SOPS 6191210 HAS SOUS 2299535 HAS SOUPS 2204481 WITH SCORE 2211940.743
AT ITER 1940 NEW BEST:: SOT 11939546 SOS 7462617 HAS SOPS 6192547 HAS SOUS 2288616 HAS SOUPS 2193562 WITH SCORE 2201024.617
AT ITER 1941 NEW BEST:: SOT 11936861 SOS 7452606 HAS SOPS 6183317 HAS SOUS 2288464 HAS SOUPS 2193410 WITH SCORE 2200862.606
AT ITER 1953 NEW BEST:: SOT 11939392 SOS 7456390 HAS SOPS 6186045 HAS SOUS 2287006 HAS SOUPS 2192028 WITH SCORE 2199484.39
AT ITER 1969 NEW BEST:: SOT 11941775 SOS 7458916 HAS SOPS 6189862 HAS SOUS 2283842 HAS SOUPS 2188886 WITH SCORE 2196344.916
AT ITER 1988 NEW BEST:: SOT 11941621 SOS 7458762 HAS SOPS 6189596 HAS SOUS 2283560 HAS SOUPS 2188604 WITH SCORE 2196062.762
AT ITER 1992 NEW BEST:: SOT 11941524 SOS 7458024 HAS SOPS 6189342 HAS SOUS 2281101 HAS SOUPS 2186189 WITH SCORE 2193647.024
AT ITER 2002 NEW BEST:: SOT 11940076 SOS 7452687 HAS SOPS 6186306 HAS SOUS 2280206 HAS SOUPS 2185294 WITH SCORE 2192746.687
AT ITER 2024 NEW BEST:: SOT 11944682 SOS 7469192 HAS SOPS 6205307 HAS SOUS 2279043 HAS SOUPS 2184131 WITH SCORE 2191600.192
AT ITER 2032 NEW BEST:: SOT 11944655 SOS 7469138 HAS SOPS 6205241 HAS SOUS 2278960 HAS SOUPS 2184048 WITH SCORE 2191517.138
AT ITER 2034 NEW BEST:: SOT 11944779 SOS 7471390 HAS SOPS 6208071 HAS SOUS 2278549 HAS SOUPS 2183637 WITH SCORE 2191108.39
AT ITER 2038 NEW BEST:: SOT 11944339 SOS 7470067 HAS SOPS 6203496 HAS SOUS 2275098 HAS SOUPS 2180186 WITH SCORE 2187656.067
AT ITER 2044 NEW BEST:: SOT 11943796 SOS 7469296 HAS SOPS 6202909 HAS SOUS 2271305 HAS SOUPS 2176445 WITH SCORE 2183914.296
AT ITER 2084 NEW BEST:: SOT 11943785 SOS 7469261 HAS SOPS 6202588 HAS SOUS 2271212 HAS SOUPS 2176352 WITH SCORE 2183821.261
AT ITER 2105 NEW BEST:: SOT 11943504 SOS 7470468 HAS SOPS 6204266 HAS SOUS 2268630 HAS SOUPS 2173770 WITH SCORE 2181240.468
AT ITER 2116 NEW BEST:: SOT 11953661 SOS 7506191 HAS SOPS 6244554 HAS SOUS 2266426 HAS SOUPS 2171566 WITH SCORE 2179072.191
AT ITER 2119 NEW BEST:: SOT 11952270 SOS 7504406 HAS SOPS 6242426 HAS SOUS 2264072 HAS SOUPS 2169212 WITH SCORE 2176716.406
AT ITER 2126 NEW BEST:: SOT 11953012 SOS 7505158 HAS SOPS 6243328 HAS SOUS 2259649 HAS SOUPS 2165005 WITH SCORE 2172510.158
AT ITER 2128 NEW BEST:: SOT 11955065 SOS 7507263 HAS SOPS 6245661 HAS SOUS 2258906 HAS SOUPS 2164346 WITH SCORE 2171853.263
AT ITER 2129 NEW BEST:: SOT 11955117 SOS 7507309 HAS SOPS 6245679 HAS SOUS 2258884 HAS SOUPS 2164318 WITH SCORE 2171825.309
AT ITER 2137 NEW BEST:: SOT 11955111 SOS 7501945 HAS SOPS 6241475 HAS SOUS 2258673 HAS SOUPS 2164107 WITH SCORE 2171608.945
AT ITER 2162 NEW BEST:: SOT 11953665 SOS 7499726 HAS SOPS 6239277 HAS SOUS 2258368 HAS SOUPS 2163779 WITH SCORE 2171278.726
AT ITER 2173 NEW BEST:: SOT 11953958 SOS 7500093 HAS SOPS 6239407 HAS SOUS 2258295 HAS SOUPS 2163706 WITH SCORE 2171206.093
AT ITER 2188 NEW BEST:: SOT 11951568 SOS 7497703 HAS SOPS 6236649 HAS SOUS 2256081 HAS SOUPS 2161492 WITH SCORE 2168989.703
AT ITER 2193 NEW BEST:: SOT 11948241 SOS 7492644 HAS SOPS 6231793 HAS SOUS 2248564 HAS SOUPS 2154169 WITH SCORE 2161661.644
AT ITER 2201 NEW BEST:: SOT 11947682 SOS 7491093 HAS SOPS 6230410 HAS SOUS 2248107 HAS SOUPS 2153712 WITH SCORE 2161203.093
AT ITER 2220 NEW BEST:: SOT 11947670 SOS 7491115 HAS SOPS 6230419 HAS SOUS 2248091 HAS SOUPS 2153696 WITH SCORE 2161187.115
AT ITER 2225 NEW BEST:: SOT 11947220 SOS 7490807 HAS SOPS 6230151 HAS SOUS 2247593 HAS SOUPS 2153198 WITH SCORE 2160688.807
AT ITER 2252 NEW BEST:: SOT 11947009 SOS 7491428 HAS SOPS 6229531 HAS SOUS 2246898 HAS SOUPS 2152503 WITH SCORE 2159994.428
AT ITER 2253 NEW BEST:: SOT 11947177 SOS 7488978 HAS SOPS 6227062 HAS SOUS 2246783 HAS SOUPS 2152388 WITH SCORE 2159876.978
AT ITER 2271 NEW BEST:: SOT 11948014 SOS 7490937 HAS SOPS 6235863 HAS SOUS 2246441 HAS SOUPS 2152046 WITH SCORE 2159536.937
AT ITER 2278 NEW BEST:: SOT 11948018 SOS 7491058 HAS SOPS 6236697 HAS SOUS 2246294 HAS SOUPS 2151899 WITH SCORE 2159390.058
AT ITER 2295 NEW BEST:: SOT 11950676 SOS 7500058 HAS SOPS 6243944 HAS SOUS 2245686 HAS SOUPS 2151291 WITH SCORE 2158791.058
AT ITER 2304 NEW BEST:: SOT 11952009 SOS 7501862 HAS SOPS 6245766 HAS SOUS 2245461 HAS SOUPS 2151066 WITH SCORE 2158567.862
AT ITER 2334 NEW BEST:: SOT 11950609 SOS 7499824 HAS SOPS 6243437 HAS SOUS 2243519 HAS SOUPS 2149155 WITH SCORE 2156654.824
AT ITER 2337 NEW BEST:: SOT 11949395 SOS 7497205 HAS SOPS 6241393 HAS SOUS 2243486 HAS SOUPS 2149122 WITH SCORE 2156619.205
AT ITER 2339 NEW BEST:: SOT 11950365 SOS 7504339 HAS SOPS 6247427 HAS SOUS 2243326 HAS SOUPS 2148905 WITH SCORE 2156409.339
AT ITER 2342 NEW BEST:: SOT 11953582 SOS 7512875 HAS SOPS 6254908 HAS SOUS 2241816 HAS SOUPS 2147395 WITH SCORE 2154907.875
AT ITER 2347 NEW BEST:: SOT 11937394 SOS 7493857 HAS SOPS 6235406 HAS SOUS 2220079 HAS SOUPS 2125852 WITH SCORE 2133345.857
AT ITER 2387 NEW BEST:: SOT 11936000 SOS 7491761 HAS SOPS 6233442 HAS SOUS 2217149 HAS SOUPS 2122955 WITH SCORE 2130446.761
AT ITER 2401 NEW BEST:: SOT 11936847 SOS 7493017 HAS SOPS 6233322 HAS SOUS 2215820 HAS SOUPS 2121590 WITH SCORE 2129083.017
AT ITER 2412 NEW BEST:: SOT 11936342 SOS 7492360 HAS SOPS 6232619 HAS SOUS 2214787 HAS SOUPS 2120528 WITH SCORE 2128020.36
AT ITER 2423 NEW BEST:: SOT 11937533 SOS 7494130 HAS SOPS 6235072 HAS SOUS 2211181 HAS SOUPS 2116979 WITH SCORE 2124473.13
AT ITER 2455 NEW BEST:: SOT 11937532 SOS 7494143 HAS SOPS 6235086 HAS SOUS 2211179 HAS SOUPS 2116977 WITH SCORE 2124471.143
AT ITER 2459 NEW BEST:: SOT 11936183 SOS 7492987 HAS SOPS 6233530 HAS SOUS 2207787 HAS SOUPS 2113305 WITH SCORE 2120797.987
AT ITER 2463 NEW BEST:: SOT 11936183 SOS 7492963 HAS SOPS 6233466 HAS SOUS 2207773 HAS SOUPS 2113291 WITH SCORE 2120783.963
AT ITER 2464 NEW BEST:: SOT 11932179 SOS 7479779 HAS SOPS 6222382 HAS SOUS 2205491 HAS SOUPS 2111009 WITH SCORE 2118488.779
AT ITER 2484 NEW BEST:: SOT 11926886 SOS 7470726 HAS SOPS 6215702 HAS SOUS 2190702 HAS SOUPS 2097767 WITH SCORE 2105237.726
AT ITER 2488 NEW BEST:: SOT 11926040 SOS 7466915 HAS SOPS 6211943 HAS SOUS 2189196 HAS SOUPS 2096261 WITH SCORE 2103727.915
AT ITER 2491 NEW BEST:: SOT 11926782 SOS 7470539 HAS SOPS 6214366 HAS SOUS 2188136 HAS SOUPS 2095201 WITH SCORE 2102671.539
AT ITER 2496 NEW BEST:: SOT 11927381 SOS 7469580 HAS SOPS 6213400 HAS SOUS 2186826 HAS SOUPS 2093950 WITH SCORE 2101419.58
AT ITER 2504 NEW BEST:: SOT 11922692 SOS 7464759 HAS SOPS 6208423 HAS SOUS 2175891 HAS SOUPS 2083173 WITH SCORE 2090637.759
AT ITER 2508 NEW BEST:: SOT 11919063 SOS 7456931 HAS SOPS 6202447 HAS SOUS 2170267 HAS SOUPS 2077605 WITH SCORE 2085061.931
AT ITER 2509 NEW BEST:: SOT 11917521 SOS 7452776 HAS SOPS 6200121 HAS SOUS 2168462 HAS SOUPS 2075800 WITH SCORE 2083252.776
AT ITER 2512 NEW BEST:: SOT 11916553 SOS 7451702 HAS SOPS 6198910 HAS SOUS 2164250 HAS SOUPS 2071617 WITH SCORE 2079068.702
AT ITER 2523 NEW BEST:: SOT 11915703 SOS 7449557 HAS SOPS 6197263 HAS SOUS 2162952 HAS SOUPS 2070319 WITH SCORE 2077768.557
AT ITER 2525 NEW BEST:: SOT 11913675 SOS 7443567 HAS SOPS 6193569 HAS SOUS 2157970 HAS SOUPS 2065337 WITH SCORE 2072780.567
AT ITER 2530 NEW BEST:: SOT 11912416 SOS 7442308 HAS SOPS 6192134 HAS SOUS 2157559 HAS SOUPS 2064750 WITH SCORE 2072192.308
AT ITER 2534 NEW BEST:: SOT 11912218 SOS 7441851 HAS SOPS 6191962 HAS SOUS 2157132 HAS SOUPS 2064323 WITH SCORE 2071764.851
AT ITER 2535 NEW BEST:: SOT 11911615 SOS 7438942 HAS SOPS 6188323 HAS SOUS 2157024 HAS SOUPS 2064209 WITH SCORE 2071647.942
AT ITER 2539 NEW BEST:: SOT 11912264 SOS 7441891 HAS SOPS 6191401 HAS SOUS 2156469 HAS SOUPS 2063654 WITH SCORE 2071095.891
AT ITER 2543 NEW BEST:: SOT 11912031 SOS 7441064 HAS SOPS 6191823 HAS SOUS 2153872 HAS SOUPS 2061208 WITH SCORE 2068649.064
AT ITER 2569 NEW BEST:: SOT 11911223 SOS 7440596 HAS SOPS 6190069 HAS SOUS 2152035 HAS SOUPS 2059344 WITH SCORE 2066784.596
AT ITER 2582 NEW BEST:: SOT 11910396 SOS 7440108 HAS SOPS 6189518 HAS SOUS 2150644 HAS SOUPS 2057953 WITH SCORE 2065393.108
AT ITER 2585 NEW BEST:: SOT 11910370 SOS 7439974 HAS SOPS 6189390 HAS SOUS 2150628 HAS SOUPS 2057937 WITH SCORE 2065376.974
AT ITER 2592 NEW BEST:: SOT 11905942 SOS 7432123 HAS SOPS 6182193 HAS SOUS 2140173 HAS SOUPS 2048184 WITH SCORE 2055616.123
AT ITER 2599 NEW BEST:: SOT 11906382 SOS 7432944 HAS SOPS 6183970 HAS SOUS 2139848 HAS SOUPS 2048068 WITH SCORE 2055500.944
AT ITER 2602 NEW BEST:: SOT 11905948 SOS 7433759 HAS SOPS 6184432 HAS SOUS 2138727 HAS SOUPS 2046947 WITH SCORE 2054380.759
AT ITER 2605 NEW BEST:: SOT 11904877 SOS 7432404 HAS SOPS 6183272 HAS SOUS 2137424 HAS SOUPS 2045839 WITH SCORE 2053271.404
AT ITER 2614 NEW BEST:: SOT 11905067 SOS 7432594 HAS SOPS 6183238 HAS SOUS 2136718 HAS SOUPS 2045133 WITH SCORE 2052565.594
AT ITER 2618 NEW BEST:: SOT 11903924 SOS 7432091 HAS SOPS 6183370 HAS SOUS 2130773 HAS SOUPS 2039560 WITH SCORE 2046992.091
AT ITER 2620 NEW BEST:: SOT 11903796 SOS 7431843 HAS SOPS 6183114 HAS SOUS 2130517 HAS SOUPS 2039304 WITH SCORE 2046735.843
AT ITER 2625 NEW BEST:: SOT 11902038 SOS 7424955 HAS SOPS 6175343 HAS SOUS 2128462 HAS SOUPS 2037238 WITH SCORE 2044662.955
AT ITER 2626 NEW BEST:: SOT 11902201 SOS 7429836 HAS SOPS 6183361 HAS SOUS 2123953 HAS SOUPS 2032861 WITH SCORE 2040290.836
AT ITER 2638 NEW BEST:: SOT 11900761 SOS 7420505 HAS SOPS 6177265 HAS SOUS 2123394 HAS SOUPS 2032302 WITH SCORE 2039722.505
AT ITER 2649 NEW BEST:: SOT 11901485 SOS 7423801 HAS SOPS 6177780 HAS SOUS 2119764 HAS SOUPS 2028672 WITH SCORE 2036095.801
AT ITER 2681 NEW BEST:: SOT 11901641 SOS 7423957 HAS SOPS 6177920 HAS SOUS 2119720 HAS SOUPS 2028628 WITH SCORE 2036051.957
AT ITER 2704 NEW BEST:: SOT 11905320 SOS 7427681 HAS SOPS 6181354 HAS SOUS 2117845 HAS SOUPS 2027371 WITH SCORE 2034798.681
AT ITER 2743 NEW BEST:: SOT 11905214 SOS 7427138 HAS SOPS 6181160 HAS SOUS 2117369 HAS SOUPS 2026895 WITH SCORE 2034322.138
AT ITER 2749 NEW BEST:: SOT 11904151 SOS 7426051 HAS SOPS 6180073 HAS SOUS 2116122 HAS SOUPS 2025648 WITH SCORE 2033074.051
AT ITER 2763 NEW BEST:: SOT 11903976 SOS 7425856 HAS SOPS 6179998 HAS SOUS 2115391 HAS SOUPS 2024917 WITH SCORE 2032342.856
AT ITER 2779 NEW BEST:: SOT 11904971 SOS 7426217 HAS SOPS 6181346 HAS SOUS 2114037 HAS SOUPS 2023563 WITH SCORE 2030989.217
AT ITER 2789 NEW BEST:: SOT 11904159 SOS 7425405 HAS SOPS 6180534 HAS SOUS 2113449 HAS SOUPS 2022975 WITH SCORE 2030400.405
AT ITER 2804 NEW BEST:: SOT 11904110 SOS 7425325 HAS SOPS 6180454 HAS SOUS 2113392 HAS SOUPS 2022918 WITH SCORE 2030343.325
AT ITER 2805 NEW BEST:: SOT 11904113 SOS 7425411 HAS SOPS 6179065 HAS SOUS 2112371 HAS SOUPS 2021897 WITH SCORE 2029322.411
AT ITER 2821 NEW BEST:: SOT 11903294 SOS 7424587 HAS SOPS 6177793 HAS SOUS 2108848 HAS SOUPS 2018374 WITH SCORE 2025798.587
AT ITER 2835 NEW BEST:: SOT 11901686 SOS 7423249 HAS SOPS 6176785 HAS SOUS 2106977 HAS SOUPS 2016503 WITH SCORE 2023926.249
AT ITER 2853 NEW BEST:: SOT 11902246 SOS 7419229 HAS SOPS 6178201 HAS SOUS 2105025 HAS SOUPS 2014642 WITH SCORE 2022061.229
AT ITER 2855 NEW BEST:: SOT 11902119 SOS 7419102 HAS SOPS 6178074 HAS SOUS 2103802 HAS SOUPS 2013419 WITH SCORE 2020838.102
AT ITER 2859 NEW BEST:: SOT 11902104 SOS 7418218 HAS SOPS 6177568 HAS SOUS 2103631 HAS SOUPS 2013248 WITH SCORE 2020666.218
AT ITER 2865 NEW BEST:: SOT 11902118 SOS 7417977 HAS SOPS 6177338 HAS SOUS 2103558 HAS SOUPS 2013175 WITH SCORE 2020592.977
AT ITER 2897 NEW BEST:: SOT 11901674 SOS 7417533 HAS SOPS 6176798 HAS SOUS 2102658 HAS SOUPS 2012275 WITH SCORE 2019692.533
AT ITER 2900 NEW BEST:: SOT 11899878 SOS 7415762 HAS SOPS 6174259 HAS SOUS 2100094 HAS SOUPS 2009711 WITH SCORE 2017126.762
AT ITER 2901 NEW BEST:: SOT 11899857 SOS 7416411 HAS SOPS 6174930 HAS SOUS 2100011 HAS SOUPS 2009628 WITH SCORE 2017044.411
AT ITER 2922 NEW BEST:: SOT 11899846 SOS 7416723 HAS SOPS 6174916 HAS SOUS 2099405 HAS SOUPS 2009022 WITH SCORE 2016438.723
AT ITER 2948 NEW BEST:: SOT 11899210 SOS 7417558 HAS SOPS 6178078 HAS SOUS 2097832 HAS SOUPS 2007449 WITH SCORE 2014866.558
AT ITER 2949 NEW BEST:: SOT 11898245 SOS 7416118 HAS SOPS 6176100 HAS SOUS 2093776 HAS SOUPS 2003424 WITH SCORE 2010840.118
AT ITER 2953 NEW BEST:: SOT 11898302 SOS 7421396 HAS SOPS 6179891 HAS SOUS 2094058 HAS SOUPS 2003319 WITH SCORE 2010740.396
AT ITER 2955 NEW BEST:: SOT 11897739 SOS 7419686 HAS SOPS 6178192 HAS SOUS 2093206 HAS SOUPS 2002467 WITH SCORE 2009886.686
AT ITER 2981 NEW BEST:: SOT 11897346 SOS 7419333 HAS SOPS 6176552 HAS SOUS 2089921 HAS SOUPS 1999207 WITH SCORE 2006626.333
AT ITER 2986 NEW BEST:: SOT 11897316 SOS 7419377 HAS SOPS 6176572 HAS SOUS 2089809 HAS SOUPS 1999095 WITH SCORE 2006514.377
AT ITER 3026 NEW BEST:: SOT 11897366 SOS 7419559 HAS SOPS 6176724 HAS SOUS 2089601 HAS SOUPS 1998887 WITH SCORE 2006306.559
AT ITER 3037 NEW BEST:: SOT 11890431 SOS 7410752 HAS SOPS 6166442 HAS SOUS 2074693 HAS SOUPS 1983979 WITH SCORE 1991389.752
AT ITER 3062 NEW BEST:: SOT 11890323 SOS 7410339 HAS SOPS 6165834 HAS SOUS 2074615 HAS SOUPS 1983901 WITH SCORE 1991311.339
AT ITER 3075 NEW BEST:: SOT 11891852 SOS 7413885 HAS SOPS 6170180 HAS SOUS 2073379 HAS SOUPS 1982665 WITH SCORE 1990078.885
AT ITER 3079 NEW BEST:: SOT 11891821 SOS 7413820 HAS SOPS 6170160 HAS SOUS 2073220 HAS SOUPS 1982506 WITH SCORE 1989919.82
AT ITER 3088 NEW BEST:: SOT 11892355 SOS 7411750 HAS SOPS 6169647 HAS SOUS 2072212 HAS SOUPS 1981586 WITH SCORE 1988997.75
AT ITER 3102 NEW BEST:: SOT 11886390 SOS 7405785 HAS SOPS 6163122 HAS SOUS 2064079 HAS SOUPS 1973453 WITH SCORE 1980858.785
AT ITER 3105 NEW BEST:: SOT 11884398 SOS 7403631 HAS SOPS 6160806 HAS SOUS 2061439 HAS SOUPS 1970831 WITH SCORE 1978234.631
AT ITER 3109 NEW BEST:: SOT 11889947 SOS 7413461 HAS SOPS 6170188 HAS SOUS 2058161 HAS SOUPS 1967668 WITH SCORE 1975081.461
AT ITER 3126 NEW BEST:: SOT 11889860 SOS 7413376 HAS SOPS 6170232 HAS SOUS 2057877 HAS SOUPS 1967389 WITH SCORE 1974802.376
AT ITER 3140 NEW BEST:: SOT 11889163 SOS 7412680 HAS SOPS 6169120 HAS SOUS 2055932 HAS SOUPS 1965444 WITH SCORE 1972856.68
AT ITER 3159 NEW BEST:: SOT 11884203 SOS 7405837 HAS SOPS 6163724 HAS SOUS 2052177 HAS SOUPS 1961689 WITH SCORE 1969094.837
AT ITER 3186 NEW BEST:: SOT 11884343 SOS 7406511 HAS SOPS 6164660 HAS SOUS 2051477 HAS SOUPS 1960989 WITH SCORE 1968395.511
AT ITER 3192 NEW BEST:: SOT 11888967 SOS 7419014 HAS SOPS 6170339 HAS SOUS 2049377 HAS SOUPS 1958889 WITH SCORE 1966308.014
AT ITER 3215 NEW BEST:: SOT 11888229 SOS 7417959 HAS SOPS 6168997 HAS SOUS 2047579 HAS SOUPS 1957136 WITH SCORE 1964553.959
AT ITER 3227 NEW BEST:: SOT 11883339 SOS 7412521 HAS SOPS 6164076 HAS SOUS 2032369 HAS SOUPS 1942118 WITH SCORE 1949530.521
AT ITER 3239 NEW BEST:: SOT 11881707 SOS 7408514 HAS SOPS 6163169 HAS SOUS 2030236 HAS SOUPS 1940765 WITH SCORE 1948173.514
AT ITER 3274 NEW BEST:: SOT 11881955 SOS 7408713 HAS SOPS 6163424 HAS SOUS 2030193 HAS SOUPS 1940722 WITH SCORE 1948130.713
AT ITER 3291 NEW BEST:: SOT 11867689 SOS 7389365 HAS SOPS 6147699 HAS SOUS 2015821 HAS SOUPS 1926349 WITH SCORE 1933738.365
AT ITER 3293 NEW BEST:: SOT 11869071 SOS 7391963 HAS SOPS 6149585 HAS SOUS 2012985 HAS SOUPS 1923513 WITH SCORE 1930904.963
AT ITER 3316 NEW BEST:: SOT 11866589 SOS 7389481 HAS SOPS 6147103 HAS SOUS 2010667 HAS SOUPS 1921195 WITH SCORE 1928584.481
AT ITER 3328 NEW BEST:: SOT 11864917 SOS 7384171 HAS SOPS 6142987 HAS SOUS 2008855 HAS SOUPS 1919426 WITH SCORE 1926810.171
AT ITER 3332 NEW BEST:: SOT 11858563 SOS 7372437 HAS SOPS 6131554 HAS SOUS 2002141 HAS SOUPS 1912712 WITH SCORE 1920084.437
AT ITER 3353 NEW BEST:: SOT 11853477 SOS 7368530 HAS SOPS 6126846 HAS SOUS 2000820 HAS SOUPS 1911298 WITH SCORE 1918666.53
AT ITER 3382 NEW BEST:: SOT 11853365 SOS 7368563 HAS SOPS 6126627 HAS SOUS 1998522 HAS SOUPS 1909000 WITH SCORE 1916368.563
AT ITER 3392 NEW BEST:: SOT 11853228 SOS 7368215 HAS SOPS 6124954 HAS SOUS 1997808 HAS SOUPS 1908286 WITH SCORE 1915654.215
AT ITER 3408 NEW BEST:: SOT 11852918 SOS 7367805 HAS SOPS 6124519 HAS SOUS 1997183 HAS SOUPS 1907696 WITH SCORE 1915063.805
AT ITER 3422 NEW BEST:: SOT 11852434 SOS 7365454 HAS SOPS 6123681 HAS SOUS 1995778 HAS SOUPS 1906349 WITH SCORE 1913714.454
AT ITER 3430 NEW BEST:: SOT 11851322 SOS 7364342 HAS SOPS 6122249 HAS SOUS 1993714 HAS SOUPS 1904285 WITH SCORE 1911649.342
AT ITER 3431 NEW BEST:: SOT 11851947 SOS 7365240 HAS SOPS 6125254 HAS SOUS 1992649 HAS SOUPS 1903424 WITH SCORE 1910789.24
AT ITER 3450 NEW BEST:: SOT 11849407 SOS 7361243 HAS SOPS 6121440 HAS SOUS 1989576 HAS SOUPS 1900386 WITH SCORE 1907747.243
AT ITER 3478 NEW BEST:: SOT 11849251 SOS 7360877 HAS SOPS 6121226 HAS SOUS 1989494 HAS SOUPS 1900308 WITH SCORE 1907668.877
AT ITER 3490 NEW BEST:: SOT 11847937 SOS 7358568 HAS SOPS 6118998 HAS SOUS 1987869 HAS SOUPS 1898683 WITH SCORE 1906041.568
AT ITER 3507 NEW BEST:: SOT 11848020 SOS 7360306 HAS SOPS 6117479 HAS SOUS 1975007 HAS SOUPS 1885670 WITH SCORE 1893030.306
AT ITER 3518 NEW BEST:: SOT 11847910 SOS 7360200 HAS SOPS 6117309 HAS SOUS 1974879 HAS SOUPS 1885518 WITH SCORE 1892878.2
AT ITER 3529 NEW BEST:: SOT 11838652 SOS 7348722 HAS SOPS 6104495 HAS SOUS 1956249 HAS SOUPS 1866888 WITH SCORE 1874236.722
AT ITER 3534 NEW BEST:: SOT 11838336 SOS 7347988 HAS SOPS 6104168 HAS SOUS 1953998 HAS SOUPS 1864637 WITH SCORE 1871984.988
AT ITER 3539 NEW BEST:: SOT 11834242 SOS 7334993 HAS SOPS 6096767 HAS SOUS 1953093 HAS SOUPS 1863732 WITH SCORE 1871066.993
AT ITER 3547 NEW BEST:: SOT 11837439 SOS 7338318 HAS SOPS 6101692 HAS SOUS 1951977 HAS SOUPS 1862691 WITH SCORE 1870029.318
AT ITER 3585 NEW BEST:: SOT 11840152 SOS 7344874 HAS SOPS 6103831 HAS SOUS 1947338 HAS SOUPS 1858052 WITH SCORE 1865396.874
AT ITER 3599 NEW BEST:: SOT 11840306 SOS 7345923 HAS SOPS 6104417 HAS SOUS 1946190 HAS SOUPS 1856904 WITH SCORE 1864249.923
AT ITER 3602 NEW BEST:: SOT 11840336 SOS 7345945 HAS SOPS 6104440 HAS SOUS 1946157 HAS SOUPS 1856871 WITH SCORE 1864216.945
AT ITER 3620 NEW BEST:: SOT 11839865 SOS 7345529 HAS SOPS 6103643 HAS SOUS 1945048 HAS SOUPS 1855751 WITH SCORE 1863096.529
AT ITER 3631 NEW BEST:: SOT 11838994 SOS 7345242 HAS SOPS 6103010 HAS SOUS 1943545 HAS SOUPS 1854236 WITH SCORE 1861581.242
AT ITER 3634 NEW BEST:: SOT 11838757 SOS 7344987 HAS SOPS 6102740 HAS SOUS 1943197 HAS SOUPS 1853879 WITH SCORE 1861223.987
AT ITER 3641 NEW BEST:: SOT 11836164 SOS 7342394 HAS SOPS 6099347 HAS SOUS 1941624 HAS SOUPS 1852306 WITH SCORE 1859648.394
AT ITER 3644 NEW BEST:: SOT 11837857 SOS 7343053 HAS SOPS 6099570 HAS SOUS 1939256 HAS SOUPS 1849992 WITH SCORE 1857335.053
AT ITER 3647 NEW BEST:: SOT 11837905 SOS 7345583 HAS SOPS 6102049 HAS SOUS 1939247 HAS SOUPS 1849983 WITH SCORE 1857328.583
AT ITER 3659 NEW BEST:: SOT 11838295 SOS 7345875 HAS SOPS 6102368 HAS SOUS 1939091 HAS SOUPS 1849842 WITH SCORE 1857187.875
AT ITER 3664 NEW BEST:: SOT 11837989 SOS 7345686 HAS SOPS 6102138 HAS SOUS 1938677 HAS SOUPS 1849450 WITH SCORE 1856795.686
AT ITER 3700 NEW BEST:: SOT 11847228 SOS 7353913 HAS SOPS 6111572 HAS SOUS 1936094 HAS SOUPS 1847390 WITH SCORE 1854743.913
AT ITER 3718 NEW BEST:: SOT 11847201 SOS 7353484 HAS SOPS 6110867 HAS SOUS 1936051 HAS SOUPS 1847347 WITH SCORE 1854700.484
AT ITER 3719 NEW BEST:: SOT 11847760 SOS 7355602 HAS SOPS 6111611 HAS SOUS 1935839 HAS SOUPS 1847135 WITH SCORE 1854490.602
AT ITER 3725 NEW BEST:: SOT 11847760 SOS 7355661 HAS SOPS 6111605 HAS SOUS 1935766 HAS SOUPS 1847062 WITH SCORE 1854417.661
AT ITER 3728 NEW BEST:: SOT 11849909 SOS 7355489 HAS SOPS 6111386 HAS SOUS 1935221 HAS SOUPS 1846561 WITH SCORE 1853916.489
AT ITER 3730 NEW BEST:: SOT 11847887 SOS 7353012 HAS SOPS 6108362 HAS SOUS 1931788 HAS SOUPS 1843148 WITH SCORE 1850501.012
AT ITER 3740 NEW BEST:: SOT 11847935 SOS 7353060 HAS SOPS 6108410 HAS SOUS 1931772 HAS SOUPS 1843132 WITH SCORE 1850485.06
AT ITER 3810 NEW BEST:: SOT 11848037 SOS 7354635 HAS SOPS 6109294 HAS SOUS 1929531 HAS SOUPS 1840844 WITH SCORE 1848198.635
AT ITER 3817 NEW BEST:: SOT 11846908 SOS 7353642 HAS SOPS 6107761 HAS SOUS 1929190 HAS SOUPS 1840475 WITH SCORE 1847828.642
AT ITER 3823 NEW BEST:: SOT 11845890 SOS 7352602 HAS SOPS 6106353 HAS SOUS 1926870 HAS SOUPS 1838155 WITH SCORE 1845507.602
AT ITER 3842 NEW BEST:: SOT 11845815 SOS 7352426 HAS SOPS 6105657 HAS SOUS 1926886 HAS SOUPS 1838079 WITH SCORE 1845431.426
AT ITER 3850 NEW BEST:: SOT 11845356 SOS 7351893 HAS SOPS 6104538 HAS SOUS 1925376 HAS SOUPS 1836569 WITH SCORE 1843920.893
AT ITER 3866 NEW BEST:: SOT 11845013 SOS 7351273 HAS SOPS 6104372 HAS SOUS 1923735 HAS SOUPS 1835600 WITH SCORE 1842951.273
AT ITER 3889 NEW BEST:: SOT 11845077 SOS 7351509 HAS SOPS 6104298 HAS SOUS 1923223 HAS SOUPS 1835088 WITH SCORE 1842439.509
AT ITER 3895 NEW BEST:: SOT 11845065 SOS 7351547 HAS SOPS 6104314 HAS SOUS 1923118 HAS SOUPS 1834983 WITH SCORE 1842334.547
AT ITER 3925 NEW BEST:: SOT 11844945 SOS 7351373 HAS SOPS 6104016 HAS SOUS 1922971 HAS SOUPS 1834836 WITH SCORE 1842187.373
AT ITER 3951 NEW BEST:: SOT 11838849 SOS 7337414 HAS SOPS 6092811 HAS SOUS 1915583 HAS SOUPS 1827754 WITH SCORE 1835091.414
AT ITER 3973 NEW BEST:: SOT 11839809 SOS 7339126 HAS SOPS 6095097 HAS SOUS 1915249 HAS SOUPS 1827420 WITH SCORE 1834759.126
AT ITER 3975 NEW BEST:: SOT 11839023 SOS 7338495 HAS SOPS 6094734 HAS SOUS 1913841 HAS SOUPS 1825985 WITH SCORE 1833323.495
AT ITER 3991 NEW BEST:: SOT 11837004 SOS 7341221 HAS SOPS 6098217 HAS SOUS 1910601 HAS SOUPS 1822943 WITH SCORE 1830284.221
AT ITER 4021 NEW BEST:: SOT 11836939 SOS 7339964 HAS SOPS 6101487 HAS SOUS 1909096 HAS SOUPS 1821438 WITH SCORE 1828777.964
AT ITER 4044 NEW BEST:: SOT 11836689 SOS 7339324 HAS SOPS 6100760 HAS SOUS 1908677 HAS SOUPS 1821019 WITH SCORE 1828358.324
AT ITER 4056 NEW BEST:: SOT 11836913 SOS 7340359 HAS SOPS 6102016 HAS SOUS 1908374 HAS SOUPS 1820716 WITH SCORE 1828056.359
AT ITER 4061 NEW BEST:: SOT 11829589 SOS 7318423 HAS SOPS 6085856 HAS SOUS 1904941 HAS SOUPS 1817547 WITH SCORE 1824865.423
AT ITER 4065 NEW BEST:: SOT 11827143 SOS 7316365 HAS SOPS 6085334 HAS SOUS 1903976 HAS SOUPS 1816954 WITH SCORE 1824270.365
AT ITER 4066 NEW BEST:: SOT 11825436 SOS 7313897 HAS SOPS 6081985 HAS SOUS 1900082 HAS SOUPS 1813060 WITH SCORE 1820373.897
AT ITER 4068 NEW BEST:: SOT 11831021 SOS 7317650 HAS SOPS 6086238 HAS SOUS 1897284 HAS SOUPS 1810262 WITH SCORE 1817579.65
AT ITER 4090 NEW BEST:: SOT 11820622 SOS 7304690 HAS SOPS 6073374 HAS SOUS 1894148 HAS SOUPS 1807034 WITH SCORE 1814338.69
AT ITER 4101 NEW BEST:: SOT 11820303 SOS 7304399 HAS SOPS 6073055 HAS SOUS 1893696 HAS SOUPS 1806569 WITH SCORE 1813873.399
AT ITER 4144 NEW BEST:: SOT 11820167 SOS 7304263 HAS SOPS 6072663 HAS SOUS 1893528 HAS SOUPS 1806177 WITH SCORE 1813481.263
AT ITER 4146 NEW BEST:: SOT 11825970 SOS 7322748 HAS SOPS 6088235 HAS SOUS 1886297 HAS SOUPS 1798946 WITH SCORE 1806268.748
AT ITER 4149 NEW BEST:: SOT 11827272 SOS 7325817 HAS SOPS 6089964 HAS SOUS 1885166 HAS SOUPS 1797815 WITH SCORE 1805140.817
AT ITER 4160 NEW BEST:: SOT 11827271 SOS 7325816 HAS SOPS 6089963 HAS SOUS 1885165 HAS SOUPS 1797814 WITH SCORE 1805139.816
AT ITER 4172 NEW BEST:: SOT 11827071 SOS 7325794 HAS SOPS 6090163 HAS SOUS 1884739 HAS SOUPS 1797388 WITH SCORE 1804713.794
AT ITER 4174 NEW BEST:: SOT 11826783 SOS 7325602 HAS SOPS 6089935 HAS SOUS 1884007 HAS SOUPS 1796650 WITH SCORE 1803975.602
AT ITER 4177 NEW BEST:: SOT 11825255 SOS 7324097 HAS SOPS 6088109 HAS SOUS 1881325 HAS SOUPS 1793968 WITH SCORE 1801292.097
AT ITER 4194 NEW BEST:: SOT 11824794 SOS 7323542 HAS SOPS 6087749 HAS SOUS 1880310 HAS SOUPS 1792953 WITH SCORE 1800276.542
AT ITER 4210 NEW BEST:: SOT 11824675 SOS 7323105 HAS SOPS 6087311 HAS SOUS 1880194 HAS SOUPS 1792837 WITH SCORE 1800160.105
AT ITER 4234 NEW BEST:: SOT 11823853 SOS 7322186 HAS SOPS 6085326 HAS SOUS 1878029 HAS SOUPS 1790672 WITH SCORE 1797994.186
AT ITER 4276 NEW BEST:: SOT 11824094 SOS 7323060 HAS SOPS 6086140 HAS SOUS 1877351 HAS SOUPS 1789994 WITH SCORE 1797317.06
AT ITER 4294 NEW BEST:: SOT 11823977 SOS 7323156 HAS SOPS 6086400 HAS SOUS 1876344 HAS SOUPS 1788987 WITH SCORE 1796310.156
AT ITER 4332 NEW BEST:: SOT 11823938 SOS 7323612 HAS SOPS 6087186 HAS SOUS 1876337 HAS SOUPS 1788980 WITH SCORE 1796303.612
AT ITER 4358 NEW BEST:: SOT 11823112 SOS 7324034 HAS SOPS 6087357 HAS SOUS 1874987 HAS SOUPS 1787630 WITH SCORE 1794954.034
AT ITER 4359 NEW BEST:: SOT 11822967 SOS 7323790 HAS SOPS 6087123 HAS SOUS 1874735 HAS SOUPS 1787378 WITH SCORE 1794701.79
AT ITER 4366 NEW BEST:: SOT 11821962 SOS 7322631 HAS SOPS 6087563 HAS SOUS 1874228 HAS SOUPS 1786899 WITH SCORE 1794221.631
AT ITER 4373 NEW BEST:: SOT 11822236 SOS 7325783 HAS SOPS 6087327 HAS SOUS 1867073 HAS SOUPS 1779744 WITH SCORE 1787069.783
AT ITER 4376 NEW BEST:: SOT 11821959 SOS 7323539 HAS SOPS 6085465 HAS SOUS 1865941 HAS SOUPS 1778645 WITH SCORE 1785968.539
AT ITER 4377 NEW BEST:: SOT 11821091 SOS 7322953 HAS SOPS 6084879 HAS SOUS 1863784 HAS SOUPS 1776488 WITH SCORE 1783810.953
AT ITER 4392 NEW BEST:: SOT 11822956 SOS 7329711 HAS SOPS 6091839 HAS SOUS 1860919 HAS SOUPS 1773279 WITH SCORE 1780608.711
AT ITER 4420 NEW BEST:: SOT 11822632 SOS 7329264 HAS SOPS 6091280 HAS SOUS 1860061 HAS SOUPS 1772433 WITH SCORE 1779762.264
AT ITER 4442 NEW BEST:: SOT 11821778 SOS 7328455 HAS SOPS 6089829 HAS SOUS 1857854 HAS SOUPS 1770226 WITH SCORE 1777554.455
AT ITER 4456 NEW BEST:: SOT 11820371 SOS 7328520 HAS SOPS 6086627 HAS SOUS 1855602 HAS SOUPS 1767710 WITH SCORE 1775038.52
AT ITER 4463 NEW BEST:: SOT 11816114 SOS 7323812 HAS SOPS 6081213 HAS SOUS 1847547 HAS SOUPS 1759688 WITH SCORE 1767011.812
AT ITER 4475 NEW BEST:: SOT 11816237 SOS 7323668 HAS SOPS 6081811 HAS SOUS 1847189 HAS SOUPS 1759330 WITH SCORE 1766653.668
AT ITER 4524 NEW BEST:: SOT 11815465 SOS 7322896 HAS SOPS 6080847 HAS SOUS 1846317 HAS SOUPS 1758362 WITH SCORE 1765684.896
AT ITER 4526 NEW BEST:: SOT 11815476 SOS 7323710 HAS SOPS 6081831 HAS SOUS 1846304 HAS SOUPS 1758349 WITH SCORE 1765672.71
AT ITER 4543 NEW BEST:: SOT 11815732 SOS 7323336 HAS SOPS 6080961 HAS SOUS 1845334 HAS SOUPS 1757409 WITH SCORE 1764732.336
AT ITER 4545 NEW BEST:: SOT 11815885 SOS 7327876 HAS SOPS 6082879 HAS SOUS 1839037 HAS SOUPS 1751112 WITH SCORE 1758439.876
AT ITER 4548 NEW BEST:: SOT 11815801 SOS 7327792 HAS SOPS 6082811 HAS SOUS 1838777 HAS SOUPS 1750868 WITH SCORE 1758195.792
AT ITER 4552 NEW BEST:: SOT 11813863 SOS 7323639 HAS SOPS 6078986 HAS SOUS 1836411 HAS SOUPS 1748662 WITH SCORE 1755985.639
AT ITER 4559 NEW BEST:: SOT 11813660 SOS 7322252 HAS SOPS 6078343 HAS SOUS 1836119 HAS SOUPS 1748392 WITH SCORE 1755714.252
AT ITER 4594 NEW BEST:: SOT 11813653 SOS 7322259 HAS SOPS 6078349 HAS SOUS 1836102 HAS SOUPS 1748374 WITH SCORE 1755696.259
AT ITER 4600 NEW BEST:: SOT 11816358 SOS 7327291 HAS SOPS 6082623 HAS SOUS 1833875 HAS SOUPS 1746144 WITH SCORE 1753471.291
AT ITER 4618 NEW BEST:: SOT 11816544 SOS 7327823 HAS SOPS 6083570 HAS SOUS 1833747 HAS SOUPS 1746016 WITH SCORE 1753343.823
AT ITER 4627 NEW BEST:: SOT 11816498 SOS 7327777 HAS SOPS 6083524 HAS SOUS 1833637 HAS SOUPS 1745906 WITH SCORE 1753233.777
AT ITER 4631 NEW BEST:: SOT 11816081 SOS 7327166 HAS SOPS 6082907 HAS SOUS 1833018 HAS SOUPS 1745287 WITH SCORE 1752614.166
AT ITER 4649 NEW BEST:: SOT 11814730 SOS 7331201 HAS SOPS 6087495 HAS SOUS 1826226 HAS SOUPS 1738495 WITH SCORE 1745826.201
AT ITER 4669 NEW BEST:: SOT 11814733 SOS 7333877 HAS SOPS 6088565 HAS SOUS 1823436 HAS SOUPS 1735705 WITH SCORE 1743038.877
AT ITER 4678 NEW BEST:: SOT 11814786 SOS 7333743 HAS SOPS 6088479 HAS SOUS 1823236 HAS SOUPS 1735505 WITH SCORE 1742838.743
AT ITER 4683 NEW BEST:: SOT 11814442 SOS 7332946 HAS SOPS 6087656 HAS SOUS 1822247 HAS SOUPS 1734516 WITH SCORE 1741848.946
AT ITER 4686 NEW BEST:: SOT 11814869 SOS 7332924 HAS SOPS 6086659 HAS SOUS 1822235 HAS SOUPS 1734504 WITH SCORE 1741836.924
AT ITER 4692 NEW BEST:: SOT 11811034 SOS 7328444 HAS SOPS 6083326 HAS SOUS 1821304 HAS SOUPS 1733573 WITH SCORE 1740901.444
AT ITER 4705 NEW BEST:: SOT 11812448 SOS 7333284 HAS SOPS 6087176 HAS SOUS 1819617 HAS SOUPS 1731886 WITH SCORE 1739219.284
AT ITER 4713 NEW BEST:: SOT 11813273 SOS 7335096 HAS SOPS 6088087 HAS SOUS 1819133 HAS SOUPS 1731402 WITH SCORE 1738737.096
AT ITER 4735 NEW BEST:: SOT 11813926 SOS 7336174 HAS SOPS 6087915 HAS SOUS 1819053 HAS SOUPS 1731322 WITH SCORE 1738658.174
AT ITER 4762 NEW BEST:: SOT 11814153 SOS 7336314 HAS SOPS 6087945 HAS SOUS 1818667 HAS SOUPS 1730946 WITH SCORE 1738282.314
AT ITER 4771 NEW BEST:: SOT 11814020 SOS 7334839 HAS SOPS 6086384 HAS SOUS 1818245 HAS SOUPS 1730524 WITH SCORE 1737858.839
AT ITER 4802 NEW BEST:: SOT 11814313 SOS 7336084 HAS SOPS 6087139 HAS SOUS 1817616 HAS SOUPS 1729895 WITH SCORE 1737231.084
AT ITER 4830 NEW BEST:: SOT 11813099 SOS 7334022 HAS SOPS 6085507 HAS SOUS 1816434 HAS SOUPS 1728713 WITH SCORE 1736047.022
AT ITER 4835 NEW BEST:: SOT 11812711 SOS 7333116 HAS SOPS 6084699 HAS SOUS 1815885 HAS SOUPS 1728171 WITH SCORE 1735504.116
AT ITER 4840 NEW BEST:: SOT 11812382 SOS 7332947 HAS SOPS 6084370 HAS SOUS 1815061 HAS SOUPS 1727342 WITH SCORE 1734674.947
AT ITER 4854 NEW BEST:: SOT 11817763 SOS 7339366 HAS SOPS 6086165 HAS SOUS 1814464 HAS SOUPS 1726745 WITH SCORE 1734084.366
AT ITER 4860 NEW BEST:: SOT 11822670 SOS 7346415 HAS SOPS 6094807 HAS SOUS 1810804 HAS SOUPS 1723085 WITH SCORE 1730431.415
AT ITER 4861 NEW BEST:: SOT 11822572 SOS 7346089 HAS SOPS 6094588 HAS SOUS 1810188 HAS SOUPS 1722488 WITH SCORE 1729834.089
AT ITER 4871 NEW BEST:: SOT 11824213 SOS 7347574 HAS SOPS 6095683 HAS SOUS 1808624 HAS SOUPS 1720897 WITH SCORE 1728244.574
AT ITER 4886 NEW BEST:: SOT 11822089 SOS 7343158 HAS SOPS 6091835 HAS SOUS 1805802 HAS SOUPS 1718026 WITH SCORE 1725369.158
AT ITER 4887 NEW BEST:: SOT 11820979 SOS 7341366 HAS SOPS 6089996 HAS SOUS 1803412 HAS SOUPS 1715636 WITH SCORE 1722977.366
AT ITER 4889 NEW BEST:: SOT 11818998 SOS 7339425 HAS SOPS 6087007 HAS SOUS 1800167 HAS SOUPS 1712391 WITH SCORE 1719730.425
AT ITER 4890 NEW BEST:: SOT 11819936 SOS 7340556 HAS SOPS 6088418 HAS SOUS 1799820 HAS SOUPS 1712235 WITH SCORE 1719575.556
AT ITER 4909 NEW BEST:: SOT 11820396 SOS 7345451 HAS SOPS 6090654 HAS SOUS 1798010 HAS SOUPS 1710425 WITH SCORE 1717770.451
AT ITER 4913 NEW BEST:: SOT 11820309 SOS 7345600 HAS SOPS 6090491 HAS SOUS 1797452 HAS SOUPS 1709867 WITH SCORE 1717212.6
AT ITER 4914 NEW BEST:: SOT 11818621 SOS 7342323 HAS SOPS 6087487 HAS SOUS 1794768 HAS SOUPS 1707208 WITH SCORE 1714550.323
AT ITER 4941 NEW BEST:: SOT 11813698 SOS 7337400 HAS SOPS 6081988 HAS SOUS 1787421 HAS SOUPS 1699861 WITH SCORE 1707198.4
AT ITER 4945 NEW BEST:: SOT 11813513 SOS 7336874 HAS SOPS 6081185 HAS SOUS 1786946 HAS SOUPS 1699398 WITH SCORE 1706734.874
AT ITER 4955 NEW BEST:: SOT 11813352 SOS 7336322 HAS SOPS 6080612 HAS SOUS 1786760 HAS SOUPS 1699212 WITH SCORE 1706548.322
AT ITER 4961 NEW BEST:: SOT 11811865 SOS 7333138 HAS SOPS 6080324 HAS SOUS 1786597 HAS SOUPS 1699049 WITH SCORE 1706382.138
AT ITER 4970 NEW BEST:: SOT 11811804 SOS 7333110 HAS SOPS 6080151 HAS SOUS 1786552 HAS SOUPS 1699004 WITH SCORE 1706337.11
AT ITER 4976 NEW BEST:: SOT 11812149 SOS 7335188 HAS SOPS 6082467 HAS SOUS 1784855 HAS SOUPS 1697265 WITH SCORE 1704600.188
AT ITER 4984 NEW BEST:: SOT 11811940 SOS 7333508 HAS SOPS 6077280 HAS SOUS 1784062 HAS SOUPS 1696472 WITH SCORE 1703805.508
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-9-CTLFireability-00 ( (AU( ( (! ((potential((tk(P556)>=1) & (tk(P567)>=1))))) & (! ((potential((tk(P359)>=1) & (tk(P369)>=1))))) ) , (AG( ((potential((tk(P193)>=1) & (tk(P367)>=1)))))) )) | (! (AU( ( ((potential((tk(P380)>=1) & (tk(P167)>=1)))) | ((potential((tk(P394)>=1) & (tk(P586)>=1)))) ) , (! ((potential((tk(P58)>=1) & (tk(P562)>=1))))) ))) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-01 (! (AF( (AF( ((potential((tk(P231)>=1) & (tk(P406)>=1)))))))))
PROPERTY: RERS17pb113-PT-9-CTLFireability-02 (EF( (EF( ((potential((tk(P456)>=1) & (tk(P324)>=1))))))))
PROPERTY: RERS17pb113-PT-9-CTLFireability-03 (AF( ((potential((tk(P148)>=1) & (tk(P384)>=1))))))
PROPERTY: RERS17pb113-PT-9-CTLFireability-04 ( (EG( ( (EF( ((potential((tk(P275)>=1) & (tk(P270)>=1)))))) | ( ( ((potential((tk(P17)>=1) & (tk(P423)>=1)))) | ((potential((tk(P605)>=1) & (tk(P252)>=1)))) ) & ((potential((tk(P138)>=1) & (tk(P530)>=1)))) ) ))) & ( ( ( ( (! ((potential((tk(P575)>=1) & (tk(P627)>=1))))) | (! ((potential((tk(P214)>=1) & (tk(P581)>=1))))) ) & ( (! ((potential((tk(P8)>=1) & (tk(P74)>=1))))) | ( ((potential((tk(P597)>=1) & (tk(P562)>=1)))) | ((potential((tk(P131)>=1) & (tk(P212)>=1)))) ) ) ) | (EX( (! ((potential((tk(P554)>=1) & (tk(P605)>=1))))))) ) | (AX( ( (! ((potential((tk(P466)>=1) & (tk(P576)>=1))))) & ((potential((tk(P7)>=1) & (tk(P564)>=1)))) ))) ) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-05 (AX( (AG( (! ((potential((tk(P100)>=1) & (tk(P327)>=1)))))))))
PROPERTY: RERS17pb113-PT-9-CTLFireability-06 (EF( (EU( ((potential((tk(P436)>=1) & (tk(P634)>=1)))) , ((potential((tk(P527)>=1) & (tk(P285)>=1)))) ))))
PROPERTY: RERS17pb113-PT-9-CTLFireability-07 ( ( (AU( ( ((potential((tk(P505)>=1) & (tk(P241)>=1)))) & ((potential((tk(P45)>=1) & (tk(P471)>=1)))) ) , ((potential((tk(P307)>=1) & (tk(P432)>=1)))) )) & (AX( (AX( ((potential((tk(P115)>=1) & (tk(P389)>=1)))))))) ) | (EF( ( (EG( ((potential((tk(P415)>=1) & (tk(P307)>=1)))))) | (EG( ((potential((tk(P404)>=1) & (tk(P224)>=1)))))) ))) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-08 ( ( ( ( (! ( ((potential((tk(P216)>=1) & (tk(P429)>=1)))) & ((potential((tk(P46)>=1) & (tk(P571)>=1)))) )) & (EG( ((potential((tk(P365)>=1) & (tk(P523)>=1)))))) ) & ((potential((tk(P71)>=1) & (tk(P289)>=1)))) ) | (AF( (AG( ((potential((tk(P176)>=1) & (tk(P48)>=1)))))))) ) & (AF( (AX( ((potential((tk(P364)>=1) & (tk(P1)>=1)))))))) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-09 ( (AF( (EX( ( ((potential((tk(P19)>=1) & (tk(P577)>=1)))) & ((potential((tk(P65)>=1) & (tk(P149)>=1)))) ))))) & (AX( (! (AX( ((potential((tk(P320)>=1) & (tk(P565)>=1))))))))) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-10 (AU( (EF( ((potential((tk(P290)>=1) & (tk(P433)>=1)))))) , ( ((potential((tk(P212)>=1) & (tk(P44)>=1)))) | (! (! ((potential((tk(P467)>=1) & (tk(P622)>=1)))))) ) ))
PROPERTY: RERS17pb113-PT-9-CTLFireability-11 ( (AU( (! ( ((potential((tk(P607)>=1) & (tk(P383)>=1)))) | ((potential((tk(P463)>=1) & (tk(P398)>=1)))) )) , (EG( ((potential((tk(P85)>=1) & (tk(P77)>=1)))))) )) & (! (! (! (AF( ((potential((tk(P450)>=1) & (tk(P545)>=1))))))))) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-12 (! (EU( (AX( ((potential((tk(P285)>=1) & (tk(P129)>=1)))))) , (EF( ((potential((tk(P234)>=1) & (tk(P270)>=1)))))) )))
PROPERTY: RERS17pb113-PT-9-CTLFireability-13 ( ( ( (! (EF( ((potential((tk(P68)>=1) & (tk(P347)>=1))))))) | ( (! ( ((potential((tk(P394)>=1) & (tk(P333)>=1)))) | ((potential((tk(P271)>=1) & (tk(P212)>=1)))) )) & (AG( ((potential((tk(P385)>=1) & (tk(P384)>=1)))))) ) ) & (AU( (! ((potential((tk(P27)>=1) & (tk(P516)>=1))))) , ( ((potential((tk(P39)>=1) & (tk(P209)>=1)))) | ((potential((tk(P303)>=1) & (tk(P634)>=1)))) ) )) ) | (! (AU( (! ((potential((tk(P281)>=1) & (tk(P266)>=1))))) , ( ((potential((tk(P523)>=1) & (tk(P77)>=1)))) | ((potential((tk(P204)>=1) & (tk(P576)>=1)))) ) ))) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-14 ( (EF( ( ( ( ((potential((tk(P340)>=1) & (tk(P355)>=1)))) | ((potential((tk(P104)>=1) & (tk(P214)>=1)))) ) | ( ((potential((tk(P253)>=1) & (tk(P489)>=1)))) & ((potential((tk(P223)>=1) & (tk(P77)>=1)))) ) ) & (EG( ((potential((tk(P375)>=1) & (tk(P280)>=1)))))) ))) | (AX( (EG( ((potential((tk(P395)>=1) & (tk(P577)>=1)))))))) )
PROPERTY: RERS17pb113-PT-9-CTLFireability-15 (AF( ((potential((tk(P394)>=1) & (tk(P278)>=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-9"
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-9, 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-158961502300068"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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