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-158961502200011.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 CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r138-smll-158961502200011
=====================================================================

--------------------
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-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-2-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589649564187

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

GOT IT HERE. BS
Petri model created: 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 4 NEW BEST:: SOT 12196265 SOS 7746869 HAS SOPS 6414824 HAS SOUS 3043061 HAS SOUPS 2942331 WITH SCORE 2950077.869
AT ITER 14 NEW BEST:: SOT 12196105 SOS 7749495 HAS SOPS 6417066 HAS SOUS 3039388 HAS SOUPS 2938658 WITH SCORE 2946407.495
AT ITER 24 NEW BEST:: SOT 12195593 SOS 7748962 HAS SOPS 6416218 HAS SOUS 3037852 HAS SOUPS 2937122 WITH SCORE 2944870.962
AT ITER 26 NEW BEST:: SOT 12188065 SOS 7741508 HAS SOPS 6408764 HAS SOUS 3030238 HAS SOUPS 2929508 WITH SCORE 2937249.508
AT ITER 27 NEW BEST:: SOT 12185603 SOS 7739036 HAS SOPS 6406262 HAS SOUS 3027726 HAS SOUPS 2926966 WITH SCORE 2934705.036
AT ITER 29 NEW BEST:: SOT 12185115 SOS 7736748 HAS SOPS 6404903 HAS SOUS 3027110 HAS SOUPS 2926350 WITH SCORE 2934086.748
AT ITER 34 NEW BEST:: SOT 12185004 SOS 7737607 HAS SOPS 6404834 HAS SOUS 3023637 HAS SOUPS 2922838 WITH SCORE 2930575.607
AT ITER 39 NEW BEST:: SOT 12185009 SOS 7737648 HAS SOPS 6404889 HAS SOUS 3023474 HAS SOUPS 2922677 WITH SCORE 2930414.648
AT ITER 67 NEW BEST:: SOT 12181191 SOS 7733830 HAS SOPS 6401071 HAS SOUS 3019508 HAS SOUPS 2918711 WITH SCORE 2926444.83
AT ITER 69 NEW BEST:: SOT 12179015 SOS 7729801 HAS SOPS 6399507 HAS SOUS 3019079 HAS SOUPS 2918282 WITH SCORE 2926011.801
AT ITER 70 NEW BEST:: SOT 12172007 SOS 7721922 HAS SOPS 6390397 HAS SOUS 2999971 HAS SOUPS 2899527 WITH SCORE 2907248.922
AT ITER 72 NEW BEST:: SOT 12171945 SOS 7721684 HAS SOPS 6390555 HAS SOUS 2999238 HAS SOUPS 2898981 WITH SCORE 2906702.684
AT ITER 75 NEW BEST:: SOT 12173952 SOS 7726345 HAS SOPS 6395299 HAS SOUS 2996757 HAS SOUPS 2896500 WITH SCORE 2904226.345
AT ITER 77 NEW BEST:: SOT 12184323 SOS 7736706 HAS SOPS 6405660 HAS SOUS 2995438 HAS SOUPS 2895181 WITH SCORE 2902917.706
AT ITER 79 NEW BEST:: SOT 12183801 SOS 7732785 HAS SOPS 6404136 HAS SOUS 2990831 HAS SOUPS 2891700 WITH SCORE 2899432.785
AT ITER 83 NEW BEST:: SOT 12183072 SOS 7731998 HAS SOPS 6402915 HAS SOUS 2989613 HAS SOUPS 2890466 WITH SCORE 2898197.998
AT ITER 85 NEW BEST:: SOT 12182726 SOS 7731599 HAS SOPS 6403028 HAS SOUS 2989443 HAS SOUPS 2890296 WITH SCORE 2898027.599
AT ITER 88 NEW BEST:: SOT 12184328 SOS 7736778 HAS SOPS 6411749 HAS SOUS 2989200 HAS SOUPS 2890053 WITH SCORE 2897789.778
AT ITER 144 NEW BEST:: SOT 12185598 SOS 7738101 HAS SOPS 6415213 HAS SOUS 2988890 HAS SOUPS 2889743 WITH SCORE 2897481.101
AT ITER 157 NEW BEST:: SOT 12185180 SOS 7737971 HAS SOPS 6415051 HAS SOUS 2988696 HAS SOUPS 2889549 WITH SCORE 2897286.971
AT ITER 159 NEW BEST:: SOT 12186868 SOS 7739605 HAS SOPS 6415731 HAS SOUS 2987713 HAS SOUPS 2888077 WITH SCORE 2895816.605
AT ITER 166 NEW BEST:: SOT 12185192 SOS 7736485 HAS SOPS 6413931 HAS SOUS 2981175 HAS SOUPS 2881898 WITH SCORE 2889634.485
AT ITER 167 NEW BEST:: SOT 12187149 SOS 7742699 HAS SOPS 6419190 HAS SOUS 2979431 HAS SOUPS 2880154 WITH SCORE 2887896.699
AT ITER 168 NEW BEST:: SOT 12186303 SOS 7740526 HAS SOPS 6417057 HAS SOUS 2975027 HAS SOUPS 2875750 WITH SCORE 2883490.526
AT ITER 196 NEW BEST:: SOT 12185645 SOS 7739915 HAS SOPS 6416448 HAS SOUS 2974500 HAS SOUPS 2875225 WITH SCORE 2882964.915
AT ITER 197 NEW BEST:: SOT 12184843 SOS 7738982 HAS SOPS 6414676 HAS SOUS 2972740 HAS SOUPS 2873465 WITH SCORE 2881203.982
AT ITER 203 NEW BEST:: SOT 12185387 SOS 7739938 HAS SOPS 6414515 HAS SOUS 2971981 HAS SOUPS 2872719 WITH SCORE 2880458.938
AT ITER 211 NEW BEST:: SOT 12184521 SOS 7739004 HAS SOPS 6410703 HAS SOUS 2969073 HAS SOUPS 2869811 WITH SCORE 2877550.004
AT ITER 212 NEW BEST:: SOT 12183847 SOS 7738295 HAS SOPS 6409469 HAS SOUS 2966247 HAS SOUPS 2866985 WITH SCORE 2874723.295
AT ITER 232 NEW BEST:: SOT 12181079 SOS 7735427 HAS SOPS 6406007 HAS SOUS 2962077 HAS SOUPS 2862815 WITH SCORE 2870550.427
AT ITER 261 NEW BEST:: SOT 12181000 SOS 7735054 HAS SOPS 6405781 HAS SOUS 2961915 HAS SOUPS 2862653 WITH SCORE 2870388.054
AT ITER 262 NEW BEST:: SOT 12180374 SOS 7734169 HAS SOPS 6404963 HAS SOUS 2960680 HAS SOUPS 2861418 WITH SCORE 2869152.169
AT ITER 285 NEW BEST:: SOT 12176481 SOS 7730158 HAS SOPS 6400839 HAS SOUS 2956724 HAS SOUPS 2857393 WITH SCORE 2865123.158
AT ITER 292 NEW BEST:: SOT 12166807 SOS 7719901 HAS SOPS 6393417 HAS SOUS 2949547 HAS SOUPS 2850510 WITH SCORE 2858229.901
AT ITER 293 NEW BEST:: SOT 12166264 SOS 7718644 HAS SOPS 6393230 HAS SOUS 2949166 HAS SOUPS 2850168 WITH SCORE 2857886.644
AT ITER 299 NEW BEST:: SOT 12165095 SOS 7718158 HAS SOPS 6392283 HAS SOUS 2949720 HAS SOUPS 2850067 WITH SCORE 2857785.158
AT ITER 302 NEW BEST:: SOT 12166455 SOS 7717742 HAS SOPS 6391537 HAS SOUS 2941691 HAS SOUPS 2842065 WITH SCORE 2849782.742
AT ITER 304 NEW BEST:: SOT 12166493 SOS 7718446 HAS SOPS 6392465 HAS SOUS 2941685 HAS SOUPS 2842059 WITH SCORE 2849777.446
AT ITER 307 NEW BEST:: SOT 12167987 SOS 7723553 HAS SOPS 6401164 HAS SOUS 2936282 HAS SOUPS 2836656 WITH SCORE 2844379.553
AT ITER 315 NEW BEST:: SOT 12175872 SOS 7734937 HAS SOPS 6413966 HAS SOUS 2928572 HAS SOUPS 2829064 WITH SCORE 2836798.937
AT ITER 326 NEW BEST:: SOT 12176263 SOS 7736692 HAS SOPS 6414979 HAS SOUS 2928119 HAS SOUPS 2828611 WITH SCORE 2836347.692
AT ITER 331 NEW BEST:: SOT 12178988 SOS 7743461 HAS SOPS 6419854 HAS SOUS 2927406 HAS SOUPS 2827898 WITH SCORE 2835641.461
AT ITER 333 NEW BEST:: SOT 12178821 SOS 7743348 HAS SOPS 6419863 HAS SOUS 2926833 HAS SOUPS 2827349 WITH SCORE 2835092.348
AT ITER 341 NEW BEST:: SOT 12177581 SOS 7741144 HAS SOPS 6417659 HAS SOUS 2925334 HAS SOUPS 2825850 WITH SCORE 2833591.144
AT ITER 345 NEW BEST:: SOT 12177389 SOS 7740914 HAS SOPS 6417084 HAS SOUS 2922929 HAS SOUPS 2823445 WITH SCORE 2831185.914
AT ITER 359 NEW BEST:: SOT 12175721 SOS 7739347 HAS SOPS 6417332 HAS SOUS 2916916 HAS SOUPS 2817432 WITH SCORE 2825171.347
AT ITER 362 NEW BEST:: SOT 12174715 SOS 7740117 HAS SOPS 6417530 HAS SOUS 2912687 HAS SOUPS 2813219 WITH SCORE 2820959.117
AT ITER 374 NEW BEST:: SOT 12175255 SOS 7741833 HAS SOPS 6417939 HAS SOUS 2912057 HAS SOUPS 2812589 WITH SCORE 2820330.833
AT ITER 397 NEW BEST:: SOT 12186341 SOS 7764271 HAS SOPS 6458005 HAS SOUS 2910634 HAS SOUPS 2811611 WITH SCORE 2819375.271
AT ITER 404 NEW BEST:: SOT 12187166 SOS 7766471 HAS SOPS 6458790 HAS SOUS 2909370 HAS SOUPS 2810347 WITH SCORE 2818113.471
AT ITER 410 NEW BEST:: SOT 12184269 SOS 7762645 HAS SOPS 6454890 HAS SOUS 2903399 HAS SOUPS 2804413 WITH SCORE 2812175.645
AT ITER 411 NEW BEST:: SOT 12184664 SOS 7765086 HAS SOPS 6458006 HAS SOUS 2895469 HAS SOUPS 2796483 WITH SCORE 2804248.086
AT ITER 413 NEW BEST:: SOT 12188305 SOS 7770035 HAS SOPS 6460587 HAS SOUS 2894978 HAS SOUPS 2796054 WITH SCORE 2803824.035
AT ITER 417 NEW BEST:: SOT 12187687 SOS 7772010 HAS SOPS 6461038 HAS SOUS 2891438 HAS SOUPS 2792514 WITH SCORE 2800286.01
AT ITER 419 NEW BEST:: SOT 12174142 SOS 7757479 HAS SOPS 6446507 HAS SOUS 2874472 HAS SOUPS 2775548 WITH SCORE 2783305.479
AT ITER 439 NEW BEST:: SOT 12172436 SOS 7757300 HAS SOPS 6445896 HAS SOUS 2872724 HAS SOUPS 2773753 WITH SCORE 2781510.3
AT ITER 447 NEW BEST:: SOT 12171872 SOS 7756352 HAS SOPS 6443896 HAS SOUS 2872354 HAS SOUPS 2773299 WITH SCORE 2781055.352
AT ITER 454 NEW BEST:: SOT 12171535 SOS 7754869 HAS SOPS 6442476 HAS SOUS 2872153 HAS SOUPS 2773098 WITH SCORE 2780852.869
AT ITER 461 NEW BEST:: SOT 12173353 SOS 7762208 HAS SOPS 6452505 HAS SOUS 2871395 HAS SOUPS 2772340 WITH SCORE 2780102.208
AT ITER 490 NEW BEST:: SOT 12173528 SOS 7763311 HAS SOPS 6453273 HAS SOUS 2870354 HAS SOUPS 2771299 WITH SCORE 2779062.311
AT ITER 492 NEW BEST:: SOT 12173227 SOS 7763017 HAS SOPS 6452979 HAS SOUS 2870088 HAS SOUPS 2771033 WITH SCORE 2778796.017
AT ITER 498 NEW BEST:: SOT 12173603 SOS 7763386 HAS SOPS 6453243 HAS SOUS 2869896 HAS SOUPS 2770841 WITH SCORE 2778604.386
AT ITER 518 NEW BEST:: SOT 12174597 SOS 7765317 HAS SOPS 6453771 HAS SOUS 2869028 HAS SOUPS 2769716 WITH SCORE 2777481.317
AT ITER 525 NEW BEST:: SOT 12170631 SOS 7760674 HAS SOPS 6447909 HAS SOUS 2861975 HAS SOUPS 2762723 WITH SCORE 2770483.674
AT ITER 530 NEW BEST:: SOT 12169331 SOS 7757519 HAS SOPS 6445379 HAS SOUS 2860617 HAS SOUPS 2761365 WITH SCORE 2769122.519
AT ITER 535 NEW BEST:: SOT 12148297 SOS 7724588 HAS SOPS 6412392 HAS SOUS 2839063 HAS SOUPS 2739755 WITH SCORE 2747479.588
AT ITER 543 NEW BEST:: SOT 12148180 SOS 7724832 HAS SOPS 6412560 HAS SOUS 2838756 HAS SOUPS 2739429 WITH SCORE 2747153.832
AT ITER 546 NEW BEST:: SOT 12148614 SOS 7725110 HAS SOPS 6414055 HAS SOUS 2838254 HAS SOUPS 2738927 WITH SCORE 2746652.11
AT ITER 548 NEW BEST:: SOT 12141377 SOS 7717078 HAS SOPS 6406508 HAS SOUS 2828966 HAS SOUPS 2729740 WITH SCORE 2737457.078
AT ITER 558 NEW BEST:: SOT 12144975 SOS 7715143 HAS SOPS 6409969 HAS SOUS 2822331 HAS SOUPS 2723836 WITH SCORE 2731551.143
AT ITER 561 NEW BEST:: SOT 12148080 SOS 7720443 HAS SOPS 6412677 HAS SOUS 2821787 HAS SOUPS 2723231 WITH SCORE 2730951.443
AT ITER 563 NEW BEST:: SOT 12148195 SOS 7721587 HAS SOPS 6414610 HAS SOUS 2818028 HAS SOUPS 2719510 WITH SCORE 2727231.587
AT ITER 564 NEW BEST:: SOT 12148255 SOS 7722809 HAS SOPS 6416299 HAS SOUS 2817816 HAS SOUPS 2719298 WITH SCORE 2727020.809
AT ITER 592 NEW BEST:: SOT 12148247 SOS 7722883 HAS SOPS 6416396 HAS SOUS 2817788 HAS SOUPS 2719270 WITH SCORE 2726992.883
AT ITER 594 NEW BEST:: SOT 12147369 SOS 7723940 HAS SOPS 6412445 HAS SOUS 2813854 HAS SOUPS 2715318 WITH SCORE 2723041.94
AT ITER 597 NEW BEST:: SOT 12148014 SOS 7724300 HAS SOPS 6412967 HAS SOUS 2813772 HAS SOUPS 2715236 WITH SCORE 2722960.3
AT ITER 598 NEW BEST:: SOT 12154175 SOS 7741557 HAS SOPS 6431922 HAS SOUS 2810485 HAS SOUPS 2711949 WITH SCORE 2719690.557
AT ITER 601 NEW BEST:: SOT 12141286 SOS 7728262 HAS SOPS 6418772 HAS SOUS 2797134 HAS SOUPS 2698692 WITH SCORE 2706420.262
AT ITER 603 NEW BEST:: SOT 12120907 SOS 7698692 HAS SOPS 6389984 HAS SOUS 2774944 HAS SOUPS 2676502 WITH SCORE 2684200.692
AT ITER 605 NEW BEST:: SOT 12120750 SOS 7698543 HAS SOPS 6389827 HAS SOUS 2774340 HAS SOUPS 2675890 WITH SCORE 2683588.543
AT ITER 606 NEW BEST:: SOT 12104546 SOS 7675479 HAS SOPS 6372117 HAS SOUS 2764515 HAS SOUPS 2666111 WITH SCORE 2673786.479
AT ITER 611 NEW BEST:: SOT 12103976 SOS 7674476 HAS SOPS 6371189 HAS SOUS 2763619 HAS SOUPS 2665226 WITH SCORE 2672900.476
AT ITER 613 NEW BEST:: SOT 12103960 SOS 7674460 HAS SOPS 6371173 HAS SOUS 2763603 HAS SOUPS 2665210 WITH SCORE 2672884.46
AT ITER 626 NEW BEST:: SOT 12107843 SOS 7680183 HAS SOPS 6376815 HAS SOUS 2763017 HAS SOUPS 2664624 WITH SCORE 2672304.183
AT ITER 633 NEW BEST:: SOT 12102720 SOS 7674136 HAS SOPS 6371112 HAS SOUS 2752061 HAS SOUPS 2653750 WITH SCORE 2661424.136
AT ITER 635 NEW BEST:: SOT 12100962 SOS 7672342 HAS SOPS 6368571 HAS SOUS 2748490 HAS SOUPS 2650146 WITH SCORE 2657818.342
AT ITER 656 NEW BEST:: SOT 12092521 SOS 7656276 HAS SOPS 6355184 HAS SOUS 2733257 HAS SOUPS 2635061 WITH SCORE 2642717.276
AT ITER 668 NEW BEST:: SOT 12089658 SOS 7648746 HAS SOPS 6349102 HAS SOUS 2726708 HAS SOUPS 2628531 WITH SCORE 2636179.746
AT ITER 696 NEW BEST:: SOT 12087667 SOS 7642013 HAS SOPS 6343163 HAS SOUS 2722258 HAS SOUPS 2624331 WITH SCORE 2631973.013
AT ITER 717 NEW BEST:: SOT 12101385 SOS 7655358 HAS SOPS 6352941 HAS SOUS 2722990 HAS SOUPS 2623598 WITH SCORE 2631253.358
AT ITER 723 NEW BEST:: SOT 12101387 SOS 7655546 HAS SOPS 6352966 HAS SOUS 2722839 HAS SOUPS 2623447 WITH SCORE 2631102.546
AT ITER 736 NEW BEST:: SOT 12097315 SOS 7649908 HAS SOPS 6349884 HAS SOUS 2718148 HAS SOUPS 2618841 WITH SCORE 2626490.908
AT ITER 737 NEW BEST:: SOT 12095648 SOS 7645796 HAS SOPS 6347572 HAS SOUS 2713981 HAS SOUPS 2615570 WITH SCORE 2623215.796
AT ITER 738 NEW BEST:: SOT 12093892 SOS 7642831 HAS SOPS 6345742 HAS SOUS 2712101 HAS SOUPS 2613942 WITH SCORE 2621584.831
AT ITER 741 NEW BEST:: SOT 12097980 SOS 7654045 HAS SOPS 6369407 HAS SOUS 2708114 HAS SOUPS 2610181 WITH SCORE 2617835.045
AT ITER 752 NEW BEST:: SOT 12097845 SOS 7653910 HAS SOPS 6369260 HAS SOUS 2707631 HAS SOUPS 2609794 WITH SCORE 2617447.91
AT ITER 754 NEW BEST:: SOT 12097702 SOS 7653723 HAS SOPS 6369093 HAS SOUS 2707352 HAS SOUPS 2609519 WITH SCORE 2617172.723
AT ITER 756 NEW BEST:: SOT 12094613 SOS 7650634 HAS SOPS 6366004 HAS SOUS 2703925 HAS SOUPS 2606092 WITH SCORE 2613742.634
AT ITER 758 NEW BEST:: SOT 12097721 SOS 7653741 HAS SOPS 6370416 HAS SOUS 2701515 HAS SOUPS 2603682 WITH SCORE 2611335.741
AT ITER 765 NEW BEST:: SOT 12096900 SOS 7658740 HAS SOPS 6374616 HAS SOUS 2695321 HAS SOUPS 2597599 WITH SCORE 2605257.74
AT ITER 770 NEW BEST:: SOT 12095181 SOS 7657116 HAS SOPS 6370287 HAS SOUS 2689052 HAS SOUPS 2590884 WITH SCORE 2598541.116
AT ITER 792 NEW BEST:: SOT 12095874 SOS 7657196 HAS SOPS 6371873 HAS SOUS 2688868 HAS SOUPS 2590700 WITH SCORE 2598357.196
AT ITER 801 NEW BEST:: SOT 12087155 SOS 7647516 HAS SOPS 6362588 HAS SOUS 2674452 HAS SOUPS 2576365 WITH SCORE 2584012.516
AT ITER 812 NEW BEST:: SOT 12086701 SOS 7646902 HAS SOPS 6362384 HAS SOUS 2673034 HAS SOUPS 2574977 WITH SCORE 2582623.902
AT ITER 822 NEW BEST:: SOT 12080405 SOS 7639605 HAS SOPS 6353338 HAS SOUS 2657999 HAS SOUPS 2559942 WITH SCORE 2567581.605
AT ITER 825 NEW BEST:: SOT 12080057 SOS 7639153 HAS SOPS 6352615 HAS SOUS 2657832 HAS SOUPS 2559778 WITH SCORE 2567417.153
AT ITER 828 NEW BEST:: SOT 12081118 SOS 7637932 HAS SOPS 6354858 HAS SOUS 2657452 HAS SOUPS 2559574 WITH SCORE 2567211.932
AT ITER 836 NEW BEST:: SOT 12080964 SOS 7637407 HAS SOPS 6354812 HAS SOUS 2655767 HAS SOUPS 2557889 WITH SCORE 2565526.407
AT ITER 837 NEW BEST:: SOT 12080776 SOS 7638572 HAS SOPS 6354276 HAS SOUS 2655554 HAS SOUPS 2557631 WITH SCORE 2565269.572
AT ITER 839 NEW BEST:: SOT 12080776 SOS 7637420 HAS SOPS 6353745 HAS SOUS 2654564 HAS SOUPS 2556675 WITH SCORE 2564312.42
AT ITER 844 NEW BEST:: SOT 12077248 SOS 7631370 HAS SOPS 6349526 HAS SOUS 2648311 HAS SOUPS 2550613 WITH SCORE 2558244.37
AT ITER 846 NEW BEST:: SOT 12071291 SOS 7618698 HAS SOPS 6337471 HAS SOUS 2638071 HAS SOUPS 2540447 WITH SCORE 2548065.698
AT ITER 853 NEW BEST:: SOT 12068808 SOS 7612789 HAS SOPS 6332920 HAS SOUS 2632582 HAS SOUPS 2535392 WITH SCORE 2543004.789
AT ITER 864 NEW BEST:: SOT 12071518 SOS 7627941 HAS SOPS 6345346 HAS SOUS 2628754 HAS SOUPS 2531564 WITH SCORE 2539191.941
AT ITER 883 NEW BEST:: SOT 12071640 SOS 7628600 HAS SOPS 6348918 HAS SOUS 2628551 HAS SOUPS 2531388 WITH SCORE 2539016.6
AT ITER 890 NEW BEST:: SOT 12070699 SOS 7627744 HAS SOPS 6348105 HAS SOUS 2626502 HAS SOUPS 2529339 WITH SCORE 2536966.744
AT ITER 892 NEW BEST:: SOT 12079827 SOS 7619092 HAS SOPS 6340076 HAS SOUS 2620377 HAS SOUPS 2523383 WITH SCORE 2531002.092
AT ITER 901 NEW BEST:: SOT 12079952 SOS 7619829 HAS SOPS 6340742 HAS SOUS 2620350 HAS SOUPS 2523356 WITH SCORE 2530975.829
AT ITER 906 NEW BEST:: SOT 12080511 SOS 7619529 HAS SOPS 6339612 HAS SOUS 2620090 HAS SOUPS 2523096 WITH SCORE 2530715.529
AT ITER 922 NEW BEST:: SOT 12080376 SOS 7619322 HAS SOPS 6339333 HAS SOUS 2619955 HAS SOUPS 2522961 WITH SCORE 2530580.322
AT ITER 934 NEW BEST:: SOT 12077481 SOS 7613768 HAS SOPS 6333858 HAS SOUS 2614107 HAS SOUPS 2517149 WITH SCORE 2524762.768
AT ITER 935 NEW BEST:: SOT 12070718 SOS 7607870 HAS SOPS 6325793 HAS SOUS 2603232 HAS SOUPS 2506169 WITH SCORE 2513776.87
AT ITER 939 NEW BEST:: SOT 12069052 SOS 7606485 HAS SOPS 6323198 HAS SOUS 2598374 HAS SOUPS 2501311 WITH SCORE 2508917.485
AT ITER 946 NEW BEST:: SOT 12069526 SOS 7605538 HAS SOPS 6325678 HAS SOUS 2597866 HAS SOUPS 2500803 WITH SCORE 2508408.538
AT ITER 959 NEW BEST:: SOT 12069165 SOS 7605078 HAS SOPS 6325271 HAS SOUS 2597217 HAS SOUPS 2500154 WITH SCORE 2507759.078
AT ITER 962 NEW BEST:: SOT 12047989 SOS 7581647 HAS SOPS 6302208 HAS SOUS 2574507 HAS SOUPS 2477513 WITH SCORE 2485094.647
AT ITER 964 NEW BEST:: SOT 12050899 SOS 7587819 HAS SOPS 6309326 HAS SOUS 2572497 HAS SOUPS 2475503 WITH SCORE 2483090.819
AT ITER 973 NEW BEST:: SOT 12055257 SOS 7598990 HAS SOPS 6320220 HAS SOUS 2569880 HAS SOUPS 2472886 WITH SCORE 2480484.99
AT ITER 974 NEW BEST:: SOT 12055333 SOS 7601254 HAS SOPS 6321819 HAS SOUS 2568754 HAS SOUPS 2471760 WITH SCORE 2479361.254
AT ITER 1000 NEW BEST:: SOT 12054765 SOS 7600707 HAS SOPS 6320178 HAS SOUS 2566590 HAS SOUPS 2469575 WITH SCORE 2477175.707
AT ITER 1032 NEW BEST:: SOT 12054851 SOS 7604494 HAS SOPS 6323555 HAS SOUS 2563151 HAS SOUPS 2466136 WITH SCORE 2473740.494
AT ITER 1041 NEW BEST:: SOT 12054162 SOS 7602560 HAS SOPS 6321019 HAS SOUS 2562292 HAS SOUPS 2465263 WITH SCORE 2472865.56
AT ITER 1052 NEW BEST:: SOT 12044005 SOS 7585792 HAS SOPS 6305561 HAS SOUS 2548888 HAS SOUPS 2451920 WITH SCORE 2459505.792
AT ITER 1081 NEW BEST:: SOT 12041826 SOS 7583563 HAS SOPS 6302571 HAS SOUS 2544904 HAS SOUPS 2447728 WITH SCORE 2455311.563
AT ITER 1085 NEW BEST:: SOT 12039090 SOS 7577760 HAS SOPS 6296452 HAS SOUS 2543571 HAS SOUPS 2446395 WITH SCORE 2453972.76
AT ITER 1086 NEW BEST:: SOT 12040820 SOS 7580152 HAS SOPS 6296303 HAS SOUS 2542320 HAS SOUPS 2445225 WITH SCORE 2452805.152
AT ITER 1101 NEW BEST:: SOT 12042766 SOS 7578614 HAS SOPS 6294833 HAS SOUS 2540558 HAS SOUPS 2443515 WITH SCORE 2451093.614
AT ITER 1119 NEW BEST:: SOT 12042386 SOS 7578205 HAS SOPS 6294358 HAS SOUS 2539967 HAS SOUPS 2442924 WITH SCORE 2450502.205
AT ITER 1123 NEW BEST:: SOT 12042380 SOS 7578213 HAS SOPS 6294359 HAS SOUS 2539947 HAS SOUPS 2442904 WITH SCORE 2450482.213
AT ITER 1131 NEW BEST:: SOT 12043589 SOS 7581631 HAS SOPS 6295243 HAS SOUS 2538780 HAS SOUPS 2441695 WITH SCORE 2449276.631
AT ITER 1132 NEW BEST:: SOT 12044664 SOS 7585332 HAS SOPS 6296933 HAS SOUS 2528777 HAS SOUPS 2431692 WITH SCORE 2439277.332
AT ITER 1174 NEW BEST:: SOT 12041366 SOS 7581071 HAS SOPS 6292561 HAS SOUS 2523480 HAS SOUPS 2426434 WITH SCORE 2434015.071
AT ITER 1180 NEW BEST:: SOT 12039753 SOS 7578520 HAS SOPS 6290839 HAS SOUS 2523464 HAS SOUPS 2426418 WITH SCORE 2433996.52
AT ITER 1186 NEW BEST:: SOT 12040103 SOS 7578851 HAS SOPS 6290885 HAS SOUS 2522066 HAS SOUPS 2425020 WITH SCORE 2432598.851
AT ITER 1188 NEW BEST:: SOT 12039711 SOS 7578730 HAS SOPS 6291128 HAS SOUS 2520019 HAS SOUPS 2423030 WITH SCORE 2430608.73
AT ITER 1189 NEW BEST:: SOT 12032373 SOS 7570805 HAS SOPS 6283000 HAS SOUS 2496563 HAS SOUPS 2399800 WITH SCORE 2407370.805
AT ITER 1196 NEW BEST:: SOT 12030600 SOS 7568470 HAS SOPS 6280233 HAS SOUS 2493540 HAS SOUPS 2396889 WITH SCORE 2404457.47
AT ITER 1203 NEW BEST:: SOT 12030621 SOS 7567600 HAS SOPS 6278946 HAS SOUS 2488692 HAS SOUPS 2392041 WITH SCORE 2399608.6
AT ITER 1205 NEW BEST:: SOT 12026236 SOS 7560795 HAS SOPS 6274045 HAS SOUS 2473894 HAS SOUPS 2377416 WITH SCORE 2384976.795
AT ITER 1206 NEW BEST:: SOT 12017395 SOS 7542026 HAS SOPS 6255997 HAS SOUS 2460982 HAS SOUPS 2364504 WITH SCORE 2372046.026
AT ITER 1217 NEW BEST:: SOT 12017347 SOS 7542298 HAS SOPS 6255848 HAS SOUS 2460133 HAS SOUPS 2363641 WITH SCORE 2371183.298
AT ITER 1221 NEW BEST:: SOT 12017295 SOS 7542162 HAS SOPS 6255722 HAS SOUS 2460096 HAS SOUPS 2363604 WITH SCORE 2371146.162
AT ITER 1239 NEW BEST:: SOT 12012047 SOS 7524610 HAS SOPS 6241778 HAS SOUS 2458393 HAS SOUPS 2362067 WITH SCORE 2369591.61
AT ITER 1254 NEW BEST:: SOT 12010854 SOS 7519620 HAS SOPS 6237974 HAS SOUS 2456312 HAS SOUPS 2360138 WITH SCORE 2367657.62
AT ITER 1255 NEW BEST:: SOT 12013373 SOS 7524909 HAS SOPS 6242223 HAS SOUS 2456189 HAS SOUPS 2359777 WITH SCORE 2367301.909
AT ITER 1257 NEW BEST:: SOT 12009644 SOS 7517498 HAS SOPS 6238235 HAS SOUS 2454523 HAS SOUPS 2358165 WITH SCORE 2365682.498
AT ITER 1271 NEW BEST:: SOT 12011215 SOS 7518957 HAS SOPS 6241221 HAS SOUS 2452190 HAS SOUPS 2355988 WITH SCORE 2363506.957
AT ITER 1280 NEW BEST:: SOT 12006306 SOS 7514172 HAS SOPS 6235864 HAS SOUS 2445307 HAS SOUPS 2349063 WITH SCORE 2356577.172
AT ITER 1284 NEW BEST:: SOT 12006175 SOS 7513164 HAS SOPS 6234719 HAS SOUS 2444937 HAS SOUPS 2348693 WITH SCORE 2356206.164
AT ITER 1289 NEW BEST:: SOT 12001854 SOS 7508828 HAS SOPS 6230188 HAS SOUS 2440054 HAS SOUPS 2343810 WITH SCORE 2351318.828
AT ITER 1297 NEW BEST:: SOT 12002184 SOS 7509143 HAS SOPS 6230090 HAS SOUS 2438457 HAS SOUPS 2342213 WITH SCORE 2349722.143
AT ITER 1311 NEW BEST:: SOT 12001461 SOS 7508163 HAS SOPS 6229927 HAS SOUS 2436829 HAS SOUPS 2340585 WITH SCORE 2348093.163
AT ITER 1329 NEW BEST:: SOT 11997778 SOS 7493617 HAS SOPS 6218881 HAS SOUS 2429393 HAS SOUPS 2333295 WITH SCORE 2340788.617
AT ITER 1336 NEW BEST:: SOT 11992978 SOS 7485928 HAS SOPS 6208923 HAS SOUS 2429389 HAS SOUPS 2332978 WITH SCORE 2340463.928
AT ITER 1342 NEW BEST:: SOT 11993058 SOS 7486035 HAS SOPS 6209776 HAS SOUS 2427317 HAS SOUPS 2330933 WITH SCORE 2338419.035
AT ITER 1369 NEW BEST:: SOT 11995036 SOS 7492291 HAS SOPS 6215540 HAS SOUS 2426723 HAS SOUPS 2330339 WITH SCORE 2337831.291
AT ITER 1381 NEW BEST:: SOT 11993894 SOS 7494339 HAS SOPS 6221370 HAS SOUS 2416805 HAS SOUPS 2320421 WITH SCORE 2327915.339
AT ITER 1390 NEW BEST:: SOT 11993494 SOS 7494091 HAS SOPS 6220825 HAS SOUS 2412773 HAS SOUPS 2316389 WITH SCORE 2323883.091
AT ITER 1391 NEW BEST:: SOT 11995824 SOS 7498103 HAS SOPS 6229288 HAS SOUS 2412372 HAS SOUPS 2315988 WITH SCORE 2323486.103
AT ITER 1405 NEW BEST:: SOT 11996181 SOS 7499449 HAS SOPS 6230702 HAS SOUS 2412258 HAS SOUPS 2315874 WITH SCORE 2323373.449
AT ITER 1406 NEW BEST:: SOT 11992560 SOS 7492879 HAS SOPS 6221413 HAS SOUS 2399351 HAS SOUPS 2303609 WITH SCORE 2311101.879
AT ITER 1429 NEW BEST:: SOT 11994666 SOS 7501121 HAS SOPS 6227911 HAS SOUS 2399333 HAS SOUPS 2303515 WITH SCORE 2311016.121
AT ITER 1433 NEW BEST:: SOT 11991581 SOS 7487895 HAS SOPS 6215966 HAS SOUS 2395380 HAS SOUPS 2299634 WITH SCORE 2307121.895
AT ITER 1439 NEW BEST:: SOT 11991563 SOS 7488210 HAS SOPS 6216272 HAS SOUS 2395342 HAS SOUPS 2299596 WITH SCORE 2307084.21
AT ITER 1454 NEW BEST:: SOT 11993219 SOS 7490677 HAS SOPS 6220399 HAS SOUS 2393450 HAS SOUPS 2297778 WITH SCORE 2305268.677
AT ITER 1467 NEW BEST:: SOT 11996838 SOS 7506034 HAS SOPS 6227260 HAS SOUS 2390770 HAS SOUPS 2295064 WITH SCORE 2302570.034
AT ITER 1487 NEW BEST:: SOT 11996369 SOS 7505871 HAS SOPS 6226407 HAS SOUS 2390123 HAS SOUPS 2294417 WITH SCORE 2301922.871
AT ITER 1515 NEW BEST:: SOT 11996234 SOS 7505736 HAS SOPS 6226272 HAS SOUS 2389632 HAS SOUPS 2293926 WITH SCORE 2301431.736
AT ITER 1517 NEW BEST:: SOT 11997085 SOS 7508364 HAS SOPS 6228572 HAS SOUS 2388618 HAS SOUPS 2292912 WITH SCORE 2300420.364
AT ITER 1521 NEW BEST:: SOT 12000949 SOS 7512206 HAS SOPS 6231662 HAS SOUS 2388234 HAS SOUPS 2292528 WITH SCORE 2300040.206
AT ITER 1522 NEW BEST:: SOT 12001110 SOS 7507538 HAS SOPS 6226586 HAS SOUS 2387632 HAS SOUPS 2291926 WITH SCORE 2299433.538
AT ITER 1542 NEW BEST:: SOT 12000924 SOS 7507568 HAS SOPS 6226538 HAS SOUS 2386702 HAS SOUPS 2291002 WITH SCORE 2298509.568
AT ITER 1549 NEW BEST:: SOT 11997159 SOS 7504712 HAS SOPS 6221897 HAS SOUS 2376391 HAS SOUPS 2280691 WITH SCORE 2288195.712
AT ITER 1552 NEW BEST:: SOT 11992485 SOS 7500120 HAS SOPS 6215392 HAS SOUS 2372779 HAS SOUPS 2275170 WITH SCORE 2282670.12
AT ITER 1563 NEW BEST:: SOT 11992569 SOS 7499569 HAS SOPS 6212876 HAS SOUS 2371210 HAS SOUPS 2273601 WITH SCORE 2281100.569
AT ITER 1564 NEW BEST:: SOT 11992528 SOS 7499324 HAS SOPS 6212578 HAS SOUS 2371068 HAS SOUPS 2273459 WITH SCORE 2280958.324
AT ITER 1583 NEW BEST:: SOT 11992448 SOS 7499581 HAS SOPS 6212779 HAS SOUS 2370876 HAS SOUPS 2273267 WITH SCORE 2280766.581
AT ITER 1592 NEW BEST:: SOT 11990593 SOS 7496337 HAS SOPS 6213839 HAS SOUS 2354928 HAS SOUPS 2257319 WITH SCORE 2264815.337
AT ITER 1603 NEW BEST:: SOT 11988916 SOS 7493228 HAS SOPS 6207842 HAS SOUS 2351398 HAS SOUPS 2253789 WITH SCORE 2261282.228
AT ITER 1623 NEW BEST:: SOT 11988699 SOS 7493386 HAS SOPS 6208176 HAS SOUS 2351069 HAS SOUPS 2253460 WITH SCORE 2260953.386
AT ITER 1625 NEW BEST:: SOT 11985556 SOS 7490243 HAS SOPS 6204965 HAS SOUS 2346082 HAS SOUPS 2248473 WITH SCORE 2255963.243
AT ITER 1634 NEW BEST:: SOT 11981004 SOS 7484842 HAS SOPS 6196440 HAS SOUS 2340740 HAS SOUPS 2243014 WITH SCORE 2250498.842
AT ITER 1660 NEW BEST:: SOT 11981343 SOS 7485868 HAS SOPS 6197517 HAS SOUS 2337486 HAS SOUPS 2239759 WITH SCORE 2247244.868
AT ITER 1664 NEW BEST:: SOT 11981669 SOS 7491083 HAS SOPS 6201296 HAS SOUS 2332947 HAS SOUPS 2235220 WITH SCORE 2242711.083
AT ITER 1668 NEW BEST:: SOT 11982084 SOS 7492366 HAS SOPS 6201812 HAS SOUS 2332926 HAS SOUPS 2235199 WITH SCORE 2242691.366
AT ITER 1677 NEW BEST:: SOT 11983200 SOS 7494814 HAS SOPS 6207355 HAS SOUS 2332451 HAS SOUPS 2234899 WITH SCORE 2242393.814
AT ITER 1680 NEW BEST:: SOT 11980287 SOS 7485644 HAS SOPS 6198556 HAS SOUS 2331019 HAS SOUPS 2233467 WITH SCORE 2240952.644
AT ITER 1686 NEW BEST:: SOT 11976648 SOS 7479070 HAS SOPS 6192576 HAS SOUS 2322018 HAS SOUPS 2224801 WITH SCORE 2232280.07
AT ITER 1687 NEW BEST:: SOT 11976307 SOS 7477643 HAS SOPS 6192456 HAS SOUS 2320413 HAS SOUPS 2223361 WITH SCORE 2230838.643
AT ITER 1700 NEW BEST:: SOT 11975702 SOS 7476108 HAS SOPS 6191838 HAS SOUS 2320028 HAS SOUPS 2222976 WITH SCORE 2230452.108
AT ITER 1715 NEW BEST:: SOT 11975095 SOS 7475416 HAS SOPS 6190824 HAS SOUS 2318708 HAS SOUPS 2221768 WITH SCORE 2229243.416
AT ITER 1716 NEW BEST:: SOT 11971683 SOS 7471964 HAS SOPS 6187379 HAS SOUS 2314934 HAS SOUPS 2218001 WITH SCORE 2225472.964
AT ITER 1719 NEW BEST:: SOT 11960654 SOS 7451772 HAS SOPS 6166984 HAS SOUS 2301081 HAS SOUPS 2204153 WITH SCORE 2211604.772
AT ITER 1726 NEW BEST:: SOT 11955090 SOS 7439500 HAS SOPS 6155330 HAS SOUS 2293594 HAS SOUPS 2196658 WITH SCORE 2204097.5
AT ITER 1739 NEW BEST:: SOT 11954399 SOS 7427832 HAS SOPS 6147777 HAS SOUS 2287982 HAS SOUPS 2191229 WITH SCORE 2198656.832
AT ITER 1740 NEW BEST:: SOT 11954040 SOS 7427516 HAS SOPS 6147461 HAS SOUS 2284488 HAS SOUPS 2187735 WITH SCORE 2195162.516
AT ITER 1760 NEW BEST:: SOT 11953932 SOS 7427699 HAS SOPS 6147642 HAS SOUS 2284241 HAS SOUPS 2187441 WITH SCORE 2194868.699
AT ITER 1763 NEW BEST:: SOT 11953695 SOS 7427601 HAS SOPS 6147209 HAS SOUS 2283776 HAS SOUPS 2186976 WITH SCORE 2194403.601
AT ITER 1777 NEW BEST:: SOT 11950908 SOS 7424339 HAS SOPS 6144314 HAS SOUS 2279767 HAS SOUPS 2183021 WITH SCORE 2190445.339
AT ITER 1803 NEW BEST:: SOT 11951539 SOS 7427034 HAS SOPS 6146553 HAS SOUS 2279570 HAS SOUPS 2182824 WITH SCORE 2190251.034
AT ITER 1808 NEW BEST:: SOT 11951237 SOS 7426558 HAS SOPS 6146088 HAS SOUS 2279152 HAS SOUPS 2182409 WITH SCORE 2189835.558
AT ITER 1813 NEW BEST:: SOT 11952454 SOS 7427817 HAS SOPS 6147715 HAS SOUS 2278982 HAS SOUPS 2182239 WITH SCORE 2189666.817
AT ITER 1831 NEW BEST:: SOT 11953598 SOS 7428961 HAS SOPS 6148331 HAS SOUS 2278242 HAS SOUPS 2181499 WITH SCORE 2188927.961
AT ITER 1851 NEW BEST:: SOT 11953470 SOS 7428833 HAS SOPS 6148107 HAS SOUS 2277666 HAS SOUPS 2180923 WITH SCORE 2188351.833
AT ITER 1853 NEW BEST:: SOT 11951169 SOS 7424241 HAS SOPS 6145264 HAS SOUS 2274095 HAS SOUPS 2178107 WITH SCORE 2185531.241
AT ITER 1870 NEW BEST:: SOT 11949715 SOS 7416096 HAS SOPS 6143605 HAS SOUS 2274012 HAS SOUPS 2178024 WITH SCORE 2185440.096
AT ITER 1873 NEW BEST:: SOT 11955436 SOS 7427458 HAS SOPS 6169341 HAS SOUS 2266859 HAS SOUPS 2171169 WITH SCORE 2178596.458
AT ITER 1891 NEW BEST:: SOT 11954796 SOS 7426818 HAS SOPS 6168381 HAS SOUS 2265099 HAS SOUPS 2169409 WITH SCORE 2176835.818
AT ITER 1896 NEW BEST:: SOT 11954367 SOS 7425542 HAS SOPS 6169997 HAS SOUS 2264245 HAS SOUPS 2168555 WITH SCORE 2175980.542
AT ITER 1908 NEW BEST:: SOT 11954052 SOS 7424803 HAS SOPS 6169066 HAS SOUS 2263262 HAS SOUPS 2167572 WITH SCORE 2174996.803
AT ITER 1910 NEW BEST:: SOT 11955390 SOS 7426787 HAS SOPS 6172393 HAS SOUS 2262895 HAS SOUPS 2167175 WITH SCORE 2174601.787
AT ITER 1914 NEW BEST:: SOT 11951857 SOS 7423254 HAS SOPS 6168860 HAS SOUS 2260002 HAS SOUPS 2164282 WITH SCORE 2171705.254
AT ITER 1924 NEW BEST:: SOT 11949200 SOS 7420597 HAS SOPS 6165883 HAS SOUS 2256277 HAS SOUPS 2160557 WITH SCORE 2167977.597
AT ITER 1938 NEW BEST:: SOT 11948883 SOS 7420280 HAS SOPS 6165310 HAS SOUS 2254884 HAS SOUPS 2159164 WITH SCORE 2166584.28
AT ITER 1946 NEW BEST:: SOT 11948669 SOS 7419912 HAS SOPS 6164936 HAS SOUS 2254871 HAS SOUPS 2159151 WITH SCORE 2166570.912
AT ITER 1963 NEW BEST:: SOT 11946434 SOS 7417827 HAS SOPS 6160064 HAS SOUS 2253807 HAS SOUPS 2158026 WITH SCORE 2165443.827
AT ITER 1992 NEW BEST:: SOT 11947787 SOS 7419499 HAS SOPS 6161642 HAS SOUS 2250471 HAS SOUPS 2154759 WITH SCORE 2162178.499
AT ITER 2009 NEW BEST:: SOT 11938995 SOS 7408258 HAS SOPS 6148352 HAS SOUS 2237163 HAS SOUPS 2141615 WITH SCORE 2149023.258
AT ITER 2034 NEW BEST:: SOT 11936788 SOS 7406051 HAS SOPS 6146145 HAS SOUS 2235812 HAS SOUPS 2140264 WITH SCORE 2147670.051
AT ITER 2042 NEW BEST:: SOT 11934079 SOS 7409817 HAS SOPS 6151256 HAS SOUS 2230640 HAS SOUPS 2135092 WITH SCORE 2142501.817
AT ITER 2054 NEW BEST:: SOT 11933206 SOS 7408778 HAS SOPS 6149883 HAS SOUS 2228117 HAS SOUPS 2132569 WITH SCORE 2139977.778
AT ITER 2059 NEW BEST:: SOT 11930934 SOS 7405922 HAS SOPS 6146577 HAS SOUS 2225010 HAS SOUPS 2129462 WITH SCORE 2136867.922
AT ITER 2067 NEW BEST:: SOT 11936215 SOS 7411221 HAS SOPS 6153019 HAS SOUS 2223366 HAS SOUPS 2127825 WITH SCORE 2135236.221
AT ITER 2070 NEW BEST:: SOT 11935875 SOS 7410881 HAS SOPS 6152727 HAS SOUS 2223334 HAS SOUPS 2127793 WITH SCORE 2135203.881
AT ITER 2074 NEW BEST:: SOT 11935841 SOS 7410827 HAS SOPS 6152653 HAS SOUS 2223260 HAS SOUPS 2127719 WITH SCORE 2135129.827
AT ITER 2107 NEW BEST:: SOT 11926226 SOS 7385613 HAS SOPS 6125455 HAS SOUS 2212199 HAS SOUPS 2116534 WITH SCORE 2123919.613
AT ITER 2117 NEW BEST:: SOT 11922521 SOS 7384393 HAS SOPS 6124692 HAS SOUS 2208984 HAS SOUPS 2113310 WITH SCORE 2120694.393
AT ITER 2119 NEW BEST:: SOT 11922989 SOS 7382489 HAS SOPS 6125916 HAS SOUS 2208432 HAS SOUPS 2112758 WITH SCORE 2120140.489
AT ITER 2128 NEW BEST:: SOT 11922956 SOS 7383092 HAS SOPS 6125877 HAS SOUS 2205785 HAS SOUPS 2110111 WITH SCORE 2117494.092
AT ITER 2140 NEW BEST:: SOT 11924947 SOS 7391022 HAS SOPS 6133484 HAS SOUS 2201184 HAS SOUPS 2105510 WITH SCORE 2112901.022
AT ITER 2142 NEW BEST:: SOT 11920918 SOS 7395624 HAS SOPS 6136577 HAS SOUS 2193701 HAS SOUPS 2098027 WITH SCORE 2105422.624
AT ITER 2152 NEW BEST:: SOT 11922267 SOS 7402475 HAS SOPS 6145132 HAS SOUS 2184674 HAS SOUPS 2089180 WITH SCORE 2096582.475
AT ITER 2161 NEW BEST:: SOT 11919643 SOS 7399171 HAS SOPS 6141128 HAS SOUS 2180083 HAS SOUPS 2084615 WITH SCORE 2092014.171
AT ITER 2171 NEW BEST:: SOT 11918342 SOS 7396990 HAS SOPS 6139634 HAS SOUS 2177443 HAS SOUPS 2081975 WITH SCORE 2089371.99
AT ITER 2172 NEW BEST:: SOT 11918893 SOS 7399082 HAS SOPS 6141331 HAS SOUS 2176917 HAS SOUPS 2081449 WITH SCORE 2088848.082
AT ITER 2182 NEW BEST:: SOT 11919201 SOS 7402157 HAS SOPS 6143339 HAS SOUS 2176113 HAS SOUPS 2080645 WITH SCORE 2088047.157
AT ITER 2187 NEW BEST:: SOT 11919325 SOS 7402391 HAS SOPS 6143662 HAS SOUS 2176085 HAS SOUPS 2080617 WITH SCORE 2088019.391
AT ITER 2196 NEW BEST:: SOT 11917627 SOS 7400245 HAS SOPS 6140925 HAS SOUS 2172107 HAS SOUPS 2076639 WITH SCORE 2084039.245
AT ITER 2242 NEW BEST:: SOT 11917467 SOS 7400040 HAS SOPS 6140560 HAS SOUS 2171522 HAS SOUPS 2076054 WITH SCORE 2083454.04
AT ITER 2249 NEW BEST:: SOT 11916779 SOS 7399864 HAS SOPS 6139966 HAS SOUS 2169441 HAS SOUPS 2074185 WITH SCORE 2081584.864
AT ITER 2253 NEW BEST:: SOT 11913752 SOS 7396172 HAS SOPS 6135574 HAS SOUS 2163803 HAS SOUPS 2068575 WITH SCORE 2075971.172
AT ITER 2266 NEW BEST:: SOT 11917646 SOS 7410974 HAS SOPS 6146995 HAS SOUS 2161249 HAS SOUPS 2066021 WITH SCORE 2073431.974
AT ITER 2276 NEW BEST:: SOT 11917518 SOS 7412597 HAS SOPS 6148676 HAS SOUS 2158800 HAS SOUPS 2063572 WITH SCORE 2070984.597
AT ITER 2284 NEW BEST:: SOT 11916288 SOS 7411305 HAS SOPS 6146488 HAS SOUS 2155916 HAS SOUPS 2060688 WITH SCORE 2068099.305
AT ITER 2292 NEW BEST:: SOT 11916274 SOS 7411173 HAS SOPS 6146735 HAS SOUS 2155888 HAS SOUPS 2060660 WITH SCORE 2068071.173
AT ITER 2304 NEW BEST:: SOT 11916133 SOS 7411067 HAS SOPS 6146456 HAS SOUS 2155385 HAS SOUPS 2060154 WITH SCORE 2067565.067
AT ITER 2305 NEW BEST:: SOT 11915045 SOS 7409282 HAS SOPS 6145152 HAS SOUS 2155146 HAS SOUPS 2059915 WITH SCORE 2067324.282
AT ITER 2307 NEW BEST:: SOT 11914762 SOS 7408994 HAS SOPS 6144402 HAS SOUS 2153958 HAS SOUPS 2058727 WITH SCORE 2066135.994
AT ITER 2311 NEW BEST:: SOT 11902655 SOS 7391039 HAS SOPS 6122115 HAS SOUS 2139738 HAS SOUPS 2044381 WITH SCORE 2051772.039
AT ITER 2317 NEW BEST:: SOT 11902669 SOS 7390901 HAS SOPS 6121959 HAS SOUS 2139677 HAS SOUPS 2044321 WITH SCORE 2051711.901
AT ITER 2329 NEW BEST:: SOT 11902268 SOS 7390832 HAS SOPS 6121482 HAS SOUS 2137106 HAS SOUPS 2041717 WITH SCORE 2049107.832
AT ITER 2336 NEW BEST:: SOT 11902685 SOS 7393181 HAS SOPS 6123128 HAS SOUS 2136722 HAS SOUPS 2041333 WITH SCORE 2048726.181
AT ITER 2353 NEW BEST:: SOT 11901216 SOS 7390261 HAS SOPS 6120674 HAS SOUS 2136021 HAS SOUPS 2040632 WITH SCORE 2048022.261
AT ITER 2363 NEW BEST:: SOT 11901334 SOS 7390262 HAS SOPS 6121475 HAS SOUS 2135426 HAS SOUPS 2040039 WITH SCORE 2047429.262
AT ITER 2368 NEW BEST:: SOT 11901316 SOS 7390244 HAS SOPS 6121745 HAS SOUS 2134550 HAS SOUPS 2039643 WITH SCORE 2047033.244
AT ITER 2383 NEW BEST:: SOT 11901220 SOS 7390003 HAS SOPS 6121544 HAS SOUS 2134484 HAS SOUPS 2039617 WITH SCORE 2047007.003
AT ITER 2387 NEW BEST:: SOT 11900736 SOS 7389476 HAS SOPS 6120945 HAS SOUS 2133961 HAS SOUPS 2039074 WITH SCORE 2046463.476
AT ITER 2389 NEW BEST:: SOT 11899290 SOS 7387972 HAS SOPS 6118950 HAS SOUS 2131122 HAS SOUPS 2036246 WITH SCORE 2043633.972
AT ITER 2392 NEW BEST:: SOT 11896758 SOS 7385588 HAS SOPS 6116837 HAS SOUS 2126114 HAS SOUPS 2031215 WITH SCORE 2038600.588
AT ITER 2408 NEW BEST:: SOT 11899077 SOS 7386448 HAS SOPS 6118859 HAS SOUS 2124818 HAS SOUPS 2029919 WITH SCORE 2037305.448
AT ITER 2411 NEW BEST:: SOT 11900434 SOS 7388038 HAS SOPS 6120868 HAS SOUS 2121819 HAS SOUPS 2026920 WITH SCORE 2034308.038
AT ITER 2433 NEW BEST:: SOT 11899625 SOS 7385365 HAS SOPS 6116718 HAS SOUS 2119892 HAS SOUPS 2024993 WITH SCORE 2032378.365
AT ITER 2477 NEW BEST:: SOT 11905272 SOS 7395934 HAS SOPS 6128192 HAS SOUS 2119409 HAS SOUPS 2024510 WITH SCORE 2031905.934
AT ITER 2486 NEW BEST:: SOT 11905026 SOS 7395290 HAS SOPS 6126941 HAS SOUS 2118703 HAS SOUPS 2023804 WITH SCORE 2031199.29
AT ITER 2493 NEW BEST:: SOT 11905161 SOS 7396213 HAS SOPS 6128520 HAS SOUS 2116671 HAS SOUPS 2021772 WITH SCORE 2029168.213
AT ITER 2520 NEW BEST:: SOT 11904756 SOS 7397287 HAS SOPS 6129341 HAS SOUS 2110337 HAS SOUPS 2015488 WITH SCORE 2022885.287
AT ITER 2540 NEW BEST:: SOT 11904653 SOS 7397184 HAS SOPS 6129238 HAS SOUS 2110074 HAS SOUPS 2015225 WITH SCORE 2022622.184
AT ITER 2564 NEW BEST:: SOT 11904563 SOS 7397107 HAS SOPS 6129105 HAS SOUS 2109726 HAS SOUPS 2014877 WITH SCORE 2022274.107
AT ITER 2565 NEW BEST:: SOT 11903603 SOS 7395437 HAS SOPS 6127279 HAS SOUS 2108987 HAS SOUPS 2014138 WITH SCORE 2021533.437
AT ITER 2572 NEW BEST:: SOT 11903340 SOS 7395092 HAS SOPS 6127034 HAS SOUS 2108966 HAS SOUPS 2014097 WITH SCORE 2021492.092
AT ITER 2585 NEW BEST:: SOT 11902316 SOS 7394068 HAS SOPS 6125498 HAS SOUS 2105894 HAS SOUPS 2011025 WITH SCORE 2018419.068
AT ITER 2589 NEW BEST:: SOT 11902349 SOS 7393607 HAS SOPS 6124460 HAS SOUS 2099489 HAS SOUPS 2004620 WITH SCORE 2012013.607
AT ITER 2598 NEW BEST:: SOT 11901906 SOS 7392824 HAS SOPS 6122916 HAS SOUS 2098392 HAS SOUPS 2003523 WITH SCORE 2010915.824
AT ITER 2620 NEW BEST:: SOT 11901175 SOS 7392093 HAS SOPS 6121933 HAS SOUS 2097841 HAS SOUPS 2002684 WITH SCORE 2010076.093
AT ITER 2651 NEW BEST:: SOT 11900524 SOS 7391136 HAS SOPS 6121400 HAS SOUS 2096440 HAS SOUPS 2001404 WITH SCORE 2008795.136
AT ITER 2660 NEW BEST:: SOT 11898012 SOS 7388764 HAS SOPS 6119268 HAS SOUS 2094070 HAS SOUPS 1999034 WITH SCORE 2006422.764
AT ITER 2686 NEW BEST:: SOT 11897226 SOS 7386887 HAS SOPS 6117180 HAS SOUS 2093320 HAS SOUPS 1998284 WITH SCORE 2005670.887
AT ITER 2689 NEW BEST:: SOT 11893444 SOS 7383816 HAS SOPS 6113112 HAS SOUS 2081870 HAS SOUPS 1986834 WITH SCORE 1994217.816
AT ITER 2690 NEW BEST:: SOT 11892968 SOS 7383340 HAS SOPS 6112508 HAS SOUS 2080918 HAS SOUPS 1985882 WITH SCORE 1993265.34
AT ITER 2734 NEW BEST:: SOT 11892271 SOS 7382472 HAS SOPS 6111732 HAS SOUS 2080122 HAS SOUPS 1985099 WITH SCORE 1992481.472
AT ITER 2743 NEW BEST:: SOT 11892036 SOS 7382475 HAS SOPS 6111881 HAS SOUS 2079309 HAS SOUPS 1984286 WITH SCORE 1991668.475
AT ITER 2768 NEW BEST:: SOT 11891493 SOS 7381635 HAS SOPS 6111259 HAS SOUS 2078809 HAS SOUPS 1983805 WITH SCORE 1991186.635
AT ITER 2800 NEW BEST:: SOT 11903371 SOS 7391762 HAS SOPS 6125801 HAS SOUS 2073116 HAS SOUPS 1978230 WITH SCORE 1985621.762
AT ITER 2808 NEW BEST:: SOT 11902894 SOS 7391276 HAS SOPS 6125171 HAS SOUS 2072063 HAS SOUPS 1977177 WITH SCORE 1984568.276
AT ITER 2815 NEW BEST:: SOT 11901002 SOS 7389246 HAS SOPS 6122444 HAS SOUS 2067862 HAS SOUPS 1972976 WITH SCORE 1980365.246
AT ITER 2822 NEW BEST:: SOT 11900647 SOS 7388796 HAS SOPS 6122005 HAS SOUS 2067405 HAS SOUPS 1972519 WITH SCORE 1979907.796
AT ITER 2843 NEW BEST:: SOT 11899515 SOS 7387664 HAS SOPS 6120281 HAS SOUS 2064149 HAS SOUPS 1969263 WITH SCORE 1976650.664
AT ITER 2851 NEW BEST:: SOT 11898687 SOS 7386511 HAS SOPS 6118867 HAS SOUS 2062639 HAS SOUPS 1967753 WITH SCORE 1975139.511
AT ITER 2855 NEW BEST:: SOT 11898725 SOS 7384311 HAS SOPS 6117376 HAS SOUS 2062354 HAS SOUPS 1967468 WITH SCORE 1974852.311
AT ITER 2865 NEW BEST:: SOT 11898307 SOS 7384568 HAS SOPS 6117014 HAS SOUS 2060316 HAS SOUPS 1965430 WITH SCORE 1972814.568
AT ITER 2886 NEW BEST:: SOT 11901956 SOS 7393236 HAS SOPS 6126095 HAS SOUS 2059248 HAS SOUPS 1964362 WITH SCORE 1971755.236
AT ITER 2892 NEW BEST:: SOT 11905846 SOS 7400123 HAS SOPS 6132793 HAS SOUS 2058802 HAS SOUPS 1963916 WITH SCORE 1971316.123
AT ITER 2904 NEW BEST:: SOT 11906481 SOS 7398545 HAS SOPS 6134523 HAS SOUS 2058088 HAS SOUPS 1963202 WITH SCORE 1970600.545
AT ITER 2905 NEW BEST:: SOT 11906186 SOS 7397844 HAS SOPS 6133885 HAS SOUS 2057983 HAS SOUPS 1963097 WITH SCORE 1970494.844
AT ITER 2910 NEW BEST:: SOT 11905837 SOS 7399061 HAS SOPS 6134637 HAS SOUS 2057889 HAS SOUPS 1962994 WITH SCORE 1970393.061
AT ITER 2921 NEW BEST:: SOT 11906207 SOS 7399667 HAS SOPS 6140443 HAS SOUS 2055980 HAS SOUPS 1961085 WITH SCORE 1968484.667
AT ITER 2924 NEW BEST:: SOT 11906231 SOS 7399353 HAS SOPS 6139334 HAS SOUS 2055638 HAS SOUPS 1960743 WITH SCORE 1968142.353
AT ITER 2927 NEW BEST:: SOT 11906078 SOS 7398630 HAS SOPS 6138906 HAS SOUS 2055515 HAS SOUPS 1960629 WITH SCORE 1968027.63
AT ITER 2938 NEW BEST:: SOT 11905368 SOS 7397642 HAS SOPS 6137848 HAS SOUS 2052948 HAS SOUPS 1958036 WITH SCORE 1965433.642
AT ITER 2963 NEW BEST:: SOT 11903471 SOS 7395668 HAS SOPS 6139179 HAS SOUS 2040699 HAS SOUPS 1945787 WITH SCORE 1953182.668
AT ITER 2968 NEW BEST:: SOT 11901267 SOS 7398466 HAS SOPS 6140678 HAS SOUS 2038091 HAS SOUPS 1943153 WITH SCORE 1950551.466
AT ITER 2975 NEW BEST:: SOT 11900170 SOS 7396282 HAS SOPS 6136908 HAS SOUS 2030613 HAS SOUPS 1935524 WITH SCORE 1942920.282
AT ITER 2984 NEW BEST:: SOT 11900234 SOS 7396341 HAS SOPS 6136253 HAS SOUS 2030046 HAS SOUPS 1934928 WITH SCORE 1942324.341
AT ITER 3024 NEW BEST:: SOT 11900897 SOS 7396995 HAS SOPS 6136843 HAS SOUS 2029545 HAS SOUPS 1934427 WITH SCORE 1941823.995
AT ITER 3029 NEW BEST:: SOT 11901073 SOS 7395975 HAS SOPS 6135362 HAS SOUS 2029420 HAS SOUPS 1934302 WITH SCORE 1941697.975
AT ITER 3033 NEW BEST:: SOT 11899742 SOS 7393903 HAS SOPS 6133232 HAS SOUS 2026219 HAS SOUPS 1931191 WITH SCORE 1938584.903
AT ITER 3037 NEW BEST:: SOT 11899576 SOS 7392880 HAS SOPS 6131843 HAS SOUS 2025744 HAS SOUPS 1930716 WITH SCORE 1938108.88
AT ITER 3040 NEW BEST:: SOT 11899006 SOS 7391873 HAS SOPS 6130871 HAS SOUS 2024591 HAS SOUPS 1929563 WITH SCORE 1936954.873
AT ITER 3054 NEW BEST:: SOT 11899003 SOS 7392276 HAS SOPS 6130783 HAS SOUS 2024224 HAS SOUPS 1928901 WITH SCORE 1936293.276
AT ITER 3071 NEW BEST:: SOT 11898142 SOS 7391127 HAS SOPS 6129534 HAS SOUS 2024023 HAS SOUPS 1928660 WITH SCORE 1936051.127
AT ITER 3077 NEW BEST:: SOT 11898315 SOS 7395736 HAS SOPS 6132989 HAS SOUS 2022596 HAS SOUPS 1927233 WITH SCORE 1934628.736
AT ITER 3088 NEW BEST:: SOT 11898691 SOS 7396846 HAS SOPS 6134174 HAS SOUS 2022218 HAS SOUPS 1926783 WITH SCORE 1934179.846
AT ITER 3105 NEW BEST:: SOT 11898246 SOS 7394580 HAS SOPS 6132712 HAS SOUS 2021561 HAS SOUPS 1926144 WITH SCORE 1933538.58
AT ITER 3115 NEW BEST:: SOT 11898933 SOS 7389000 HAS SOPS 6128647 HAS SOUS 2018506 HAS SOUPS 1923089 WITH SCORE 1930478.0
AT ITER 3116 NEW BEST:: SOT 11898630 SOS 7389248 HAS SOPS 6128417 HAS SOUS 2018505 HAS SOUPS 1923088 WITH SCORE 1930477.248
AT ITER 3120 NEW BEST:: SOT 11901298 SOS 7394974 HAS SOPS 6127673 HAS SOUS 2016882 HAS SOUPS 1921465 WITH SCORE 1928859.974
AT ITER 3134 NEW BEST:: SOT 11900261 SOS 7393059 HAS SOPS 6125774 HAS SOUS 2015553 HAS SOUPS 1920136 WITH SCORE 1927529.059
AT ITER 3136 NEW BEST:: SOT 11896573 SOS 7384225 HAS SOPS 6121731 HAS SOUS 2015160 HAS SOUPS 1919743 WITH SCORE 1927127.225
AT ITER 3140 NEW BEST:: SOT 11894701 SOS 7382042 HAS SOPS 6119548 HAS SOUS 2012503 HAS SOUPS 1917086 WITH SCORE 1924468.042
AT ITER 3141 NEW BEST:: SOT 11893541 SOS 7380949 HAS SOPS 6118273 HAS SOUS 2009226 HAS SOUPS 1913793 WITH SCORE 1921173.949
AT ITER 3151 NEW BEST:: SOT 11893542 SOS 7380674 HAS SOPS 6117903 HAS SOUS 2009225 HAS SOUPS 1913792 WITH SCORE 1921172.674
AT ITER 3163 NEW BEST:: SOT 11893247 SOS 7380396 HAS SOPS 6117649 HAS SOUS 2009170 HAS SOUPS 1913716 WITH SCORE 1921096.396
AT ITER 3176 NEW BEST:: SOT 11893704 SOS 7381530 HAS SOPS 6118116 HAS SOUS 2004051 HAS SOUPS 1908597 WITH SCORE 1915978.53
AT ITER 3195 NEW BEST:: SOT 11892194 SOS 7379879 HAS SOPS 6115401 HAS SOUS 2001359 HAS SOUPS 1905905 WITH SCORE 1913284.879
AT ITER 3197 NEW BEST:: SOT 11890198 SOS 7374490 HAS SOPS 6112075 HAS SOUS 2000367 HAS SOUPS 1904913 WITH SCORE 1912287.49
AT ITER 3204 NEW BEST:: SOT 11890108 SOS 7374303 HAS SOPS 6112745 HAS SOUS 1994045 HAS SOUPS 1898835 WITH SCORE 1906209.303
AT ITER 3211 NEW BEST:: SOT 11890062 SOS 7373724 HAS SOPS 6113802 HAS SOUS 1993952 HAS SOUPS 1898742 WITH SCORE 1906115.724
AT ITER 3238 NEW BEST:: SOT 11890518 SOS 7374459 HAS SOPS 6114330 HAS SOUS 1993929 HAS SOUPS 1898719 WITH SCORE 1906093.459
AT ITER 3250 NEW BEST:: SOT 11890851 SOS 7376228 HAS SOPS 6116095 HAS SOUS 1993876 HAS SOUPS 1898666 WITH SCORE 1906042.228
AT ITER 3268 NEW BEST:: SOT 11889314 SOS 7374673 HAS SOPS 6115724 HAS SOUS 1992775 HAS SOUPS 1898525 WITH SCORE 1905899.673
AT ITER 3274 NEW BEST:: SOT 11890856 SOS 7378817 HAS SOPS 6119635 HAS SOUS 1992766 HAS SOUPS 1898516 WITH SCORE 1905894.817
AT ITER 3276 NEW BEST:: SOT 11890856 SOS 7379259 HAS SOPS 6120319 HAS SOUS 1992630 HAS SOUPS 1898380 WITH SCORE 1905759.259
AT ITER 3280 NEW BEST:: SOT 11890815 SOS 7379421 HAS SOPS 6120600 HAS SOUS 1992625 HAS SOUPS 1898375 WITH SCORE 1905754.421
AT ITER 3291 NEW BEST:: SOT 11890628 SOS 7379394 HAS SOPS 6120541 HAS SOUS 1992582 HAS SOUPS 1898324 WITH SCORE 1905703.394
AT ITER 3301 NEW BEST:: SOT 11892386 SOS 7384454 HAS SOPS 6127737 HAS SOUS 1992549 HAS SOUPS 1898291 WITH SCORE 1905675.454
AT ITER 3310 NEW BEST:: SOT 11892350 SOS 7384370 HAS SOPS 6127645 HAS SOUS 1992501 HAS SOUPS 1898243 WITH SCORE 1905627.37
AT ITER 3319 NEW BEST:: SOT 11892663 SOS 7384676 HAS SOPS 6127951 HAS SOUS 1991974 HAS SOUPS 1897716 WITH SCORE 1905100.676
AT ITER 3322 NEW BEST:: SOT 11892819 SOS 7387168 HAS SOPS 6127562 HAS SOUS 1988510 HAS SOUPS 1894189 WITH SCORE 1901576.168
AT ITER 3324 NEW BEST:: SOT 11889802 SOS 7380665 HAS SOPS 6122040 HAS SOUS 1984389 HAS SOUPS 1890102 WITH SCORE 1897482.665
AT ITER 3326 NEW BEST:: SOT 11897006 SOS 7368062 HAS SOPS 6112242 HAS SOUS 1982730 HAS SOUPS 1888319 WITH SCORE 1895687.062
AT ITER 3328 NEW BEST:: SOT 11900684 SOS 7377516 HAS SOPS 6121367 HAS SOUS 1981898 HAS SOUPS 1887487 WITH SCORE 1894864.516
AT ITER 3338 NEW BEST:: SOT 11900591 SOS 7376780 HAS SOPS 6120983 HAS SOUS 1981595 HAS SOUPS 1887193 WITH SCORE 1894569.78
AT ITER 3350 NEW BEST:: SOT 11900584 SOS 7376855 HAS SOPS 6120580 HAS SOUS 1981245 HAS SOUPS 1886843 WITH SCORE 1894219.855
AT ITER 3377 NEW BEST:: SOT 11900728 SOS 7376999 HAS SOPS 6120724 HAS SOUS 1980973 HAS SOUPS 1886571 WITH SCORE 1893947.999
AT ITER 3384 NEW BEST:: SOT 11901055 SOS 7377772 HAS SOPS 6120057 HAS SOUS 1978722 HAS SOUPS 1884276 WITH SCORE 1891653.772
AT ITER 3387 NEW BEST:: SOT 11898835 SOS 7374746 HAS SOPS 6116503 HAS SOUS 1973999 HAS SOUPS 1879484 WITH SCORE 1886858.746
AT ITER 3401 NEW BEST:: SOT 11897714 SOS 7372797 HAS SOPS 6119258 HAS SOUS 1971497 HAS SOUPS 1877129 WITH SCORE 1884501.797
AT ITER 3428 NEW BEST:: SOT 11895004 SOS 7370087 HAS SOPS 6116132 HAS SOUS 1967019 HAS SOUPS 1872651 WITH SCORE 1880021.087
AT ITER 3436 NEW BEST:: SOT 11894995 SOS 7369206 HAS SOPS 6115242 HAS SOUS 1966431 HAS SOUPS 1872063 WITH SCORE 1879432.206
AT ITER 3439 NEW BEST:: SOT 11895108 SOS 7369321 HAS SOPS 6115357 HAS SOUS 1966108 HAS SOUPS 1871740 WITH SCORE 1879109.321
AT ITER 3446 NEW BEST:: SOT 11891506 SOS 7367902 HAS SOPS 6114771 HAS SOUS 1965633 HAS SOUPS 1871265 WITH SCORE 1878632.902
AT ITER 3448 NEW BEST:: SOT 11891405 SOS 7367843 HAS SOPS 6114664 HAS SOUS 1965416 HAS SOUPS 1871048 WITH SCORE 1878415.843
AT ITER 3457 NEW BEST:: SOT 11891707 SOS 7365667 HAS SOPS 6112961 HAS SOUS 1965039 HAS SOUPS 1870671 WITH SCORE 1878036.667
AT ITER 3491 NEW BEST:: SOT 11891875 SOS 7366179 HAS SOPS 6113426 HAS SOUS 1964511 HAS SOUPS 1870154 WITH SCORE 1877520.179
AT ITER 3510 NEW BEST:: SOT 11891897 SOS 7365845 HAS SOPS 6113569 HAS SOUS 1963230 HAS SOUPS 1868946 WITH SCORE 1876311.845
AT ITER 3515 NEW BEST:: SOT 11891919 SOS 7365857 HAS SOPS 6113717 HAS SOUS 1963192 HAS SOUPS 1868908 WITH SCORE 1876273.857
AT ITER 3525 NEW BEST:: SOT 11882133 SOS 7356071 HAS SOPS 6104283 HAS SOUS 1956702 HAS SOUPS 1862682 WITH SCORE 1870038.071
AT ITER 3529 NEW BEST:: SOT 11881662 SOS 7355686 HAS SOPS 6103948 HAS SOUS 1953880 HAS SOUPS 1859860 WITH SCORE 1867215.686
AT ITER 3537 NEW BEST:: SOT 11880547 SOS 7354871 HAS SOPS 6100869 HAS SOUS 1946020 HAS SOUPS 1852000 WITH SCORE 1859354.871
AT ITER 3538 NEW BEST:: SOT 11879673 SOS 7354006 HAS SOPS 6099673 HAS SOUS 1944605 HAS SOUPS 1850575 WITH SCORE 1857929.006
AT ITER 3546 NEW BEST:: SOT 11877953 SOS 7352227 HAS SOPS 6097103 HAS SOUS 1941085 HAS SOUPS 1847055 WITH SCORE 1854407.227
AT ITER 3558 NEW BEST:: SOT 11877644 SOS 7352215 HAS SOPS 6096484 HAS SOUS 1939742 HAS SOUPS 1845712 WITH SCORE 1853064.215
AT ITER 3560 NEW BEST:: SOT 11866422 SOS 7335915 HAS SOPS 6085527 HAS SOUS 1933979 HAS SOUPS 1840035 WITH SCORE 1847370.915
AT ITER 3568 NEW BEST:: SOT 11864572 SOS 7334787 HAS SOPS 6082623 HAS SOUS 1933493 HAS SOUPS 1839549 WITH SCORE 1846883.787
AT ITER 3580 NEW BEST:: SOT 11863935 SOS 7334024 HAS SOPS 6081980 HAS SOUS 1932545 HAS SOUPS 1838601 WITH SCORE 1845935.024
AT ITER 3581 NEW BEST:: SOT 11863910 SOS 7332380 HAS SOPS 6079789 HAS SOUS 1932220 HAS SOUPS 1838276 WITH SCORE 1845608.38
AT ITER 3582 NEW BEST:: SOT 11862410 SOS 7330178 HAS SOPS 6079992 HAS SOUS 1927428 HAS SOUPS 1833612 WITH SCORE 1840942.178
AT ITER 3584 NEW BEST:: SOT 11865985 SOS 7333567 HAS SOPS 6079786 HAS SOUS 1926146 HAS SOUPS 1832330 WITH SCORE 1839663.567
AT ITER 3586 NEW BEST:: SOT 11848497 SOS 7270389 HAS SOPS 6016853 HAS SOUS 1921378 HAS SOUPS 1826996 WITH SCORE 1834266.389
AT ITER 3602 NEW BEST:: SOT 11849704 SOS 7273367 HAS SOPS 6019518 HAS SOUS 1919974 HAS SOUPS 1825592 WITH SCORE 1832865.367
AT ITER 3628 NEW BEST:: SOT 11849733 SOS 7273124 HAS SOPS 6019128 HAS SOUS 1918344 HAS SOUPS 1823962 WITH SCORE 1831235.124
AT ITER 3642 NEW BEST:: SOT 11846931 SOS 7269212 HAS SOPS 6014767 HAS SOUS 1913051 HAS SOUPS 1818348 WITH SCORE 1825617.212
AT ITER 3649 NEW BEST:: SOT 11847482 SOS 7273531 HAS SOPS 6018255 HAS SOUS 1911091 HAS SOUPS 1816388 WITH SCORE 1823661.531
AT ITER 3689 NEW BEST:: SOT 11845850 SOS 7269941 HAS SOPS 6014535 HAS SOUS 1909397 HAS SOUPS 1814694 WITH SCORE 1821963.941
AT ITER 3696 NEW BEST:: SOT 11845706 SOS 7269797 HAS SOPS 6014343 HAS SOUS 1909109 HAS SOUPS 1814406 WITH SCORE 1821675.797
AT ITER 3697 NEW BEST:: SOT 11845625 SOS 7268811 HAS SOPS 6012448 HAS SOUS 1908357 HAS SOUPS 1813654 WITH SCORE 1820922.811
AT ITER 3699 NEW BEST:: SOT 11845412 SOS 7268705 HAS SOPS 6012474 HAS SOUS 1907014 HAS SOUPS 1812311 WITH SCORE 1819579.705
AT ITER 3701 NEW BEST:: SOT 11839643 SOS 7264661 HAS SOPS 6008614 HAS SOUS 1905818 HAS SOUPS 1811000 WITH SCORE 1818264.661
AT ITER 3702 NEW BEST:: SOT 11840260 SOS 7266023 HAS SOPS 6009865 HAS SOUS 1905720 HAS SOUPS 1810902 WITH SCORE 1818168.023
AT ITER 3704 NEW BEST:: SOT 11839738 SOS 7265710 HAS SOPS 6010015 HAS SOUS 1904247 HAS SOUPS 1809429 WITH SCORE 1816694.71
AT ITER 3713 NEW BEST:: SOT 11836923 SOS 7266216 HAS SOPS 6011793 HAS SOUS 1902903 HAS SOUPS 1808094 WITH SCORE 1815360.216
AT ITER 3722 NEW BEST:: SOT 11836188 SOS 7264295 HAS SOPS 6010553 HAS SOUS 1902796 HAS SOUPS 1807990 WITH SCORE 1815254.295
AT ITER 3743 NEW BEST:: SOT 11832458 SOS 7260605 HAS SOPS 6004471 HAS SOUS 1898038 HAS SOUPS 1801688 WITH SCORE 1808948.605
AT ITER 3758 NEW BEST:: SOT 11832434 SOS 7260597 HAS SOPS 6004399 HAS SOUS 1897750 HAS SOUPS 1801400 WITH SCORE 1808660.597
AT ITER 3759 NEW BEST:: SOT 11832748 SOS 7260907 HAS SOPS 6004150 HAS SOUS 1897598 HAS SOUPS 1801248 WITH SCORE 1808508.907
AT ITER 3805 NEW BEST:: SOT 11831985 SOS 7261056 HAS SOPS 6002794 HAS SOUS 1895948 HAS SOUPS 1799598 WITH SCORE 1806859.056
AT ITER 3817 NEW BEST:: SOT 11829027 SOS 7257298 HAS SOPS 5997425 HAS SOUS 1890975 HAS SOUPS 1794625 WITH SCORE 1801882.298
AT ITER 3838 NEW BEST:: SOT 11830511 SOS 7261054 HAS SOPS 6001180 HAS SOUS 1890550 HAS SOUPS 1794200 WITH SCORE 1801461.054
AT ITER 3839 NEW BEST:: SOT 11830839 SOS 7260671 HAS SOPS 6001732 HAS SOUS 1890233 HAS SOUPS 1793931 WITH SCORE 1801191.671
AT ITER 3872 NEW BEST:: SOT 11830860 SOS 7260522 HAS SOPS 6001535 HAS SOUS 1890010 HAS SOUPS 1793708 WITH SCORE 1800968.522
AT ITER 3873 NEW BEST:: SOT 11830960 SOS 7261532 HAS SOPS 6002695 HAS SOUS 1889910 HAS SOUPS 1793608 WITH SCORE 1800869.532
AT ITER 3878 NEW BEST:: SOT 11832074 SOS 7262648 HAS SOPS 6004092 HAS SOUS 1889579 HAS SOUPS 1793277 WITH SCORE 1800539.648
AT ITER 3925 NEW BEST:: SOT 11831822 SOS 7261936 HAS SOPS 6003373 HAS SOUS 1889499 HAS SOUPS 1793197 WITH SCORE 1800458.936
AT ITER 3926 NEW BEST:: SOT 11830028 SOS 7260163 HAS SOPS 6001816 HAS SOUS 1882799 HAS SOUPS 1786497 WITH SCORE 1793757.163
AT ITER 3937 NEW BEST:: SOT 11825872 SOS 7252627 HAS SOPS 5996043 HAS SOUS 1878167 HAS SOUPS 1781865 WITH SCORE 1789117.627
AT ITER 3962 NEW BEST:: SOT 11839936 SOS 7264173 HAS SOPS 6004613 HAS SOUS 1870204 HAS SOUPS 1774017 WITH SCORE 1781281.173
AT ITER 3982 NEW BEST:: SOT 11836759 SOS 7256450 HAS SOPS 5998093 HAS SOUS 1868819 HAS SOUPS 1772632 WITH SCORE 1779888.45
AT ITER 4006 NEW BEST:: SOT 11834962 SOS 7252332 HAS SOPS 5990419 HAS SOUS 1858567 HAS SOUPS 1762380 WITH SCORE 1769632.332
AT ITER 4028 NEW BEST:: SOT 11834920 SOS 7252152 HAS SOPS 5990228 HAS SOUS 1858539 HAS SOUPS 1762352 WITH SCORE 1769604.152
AT ITER 4032 NEW BEST:: SOT 11834111 SOS 7251117 HAS SOPS 5988906 HAS SOUS 1856714 HAS SOUPS 1760536 WITH SCORE 1767787.117
AT ITER 4060 NEW BEST:: SOT 11833262 SOS 7249420 HAS SOPS 5985515 HAS SOUS 1852476 HAS SOUPS 1756298 WITH SCORE 1763547.42
AT ITER 4061 NEW BEST:: SOT 11833269 SOS 7249419 HAS SOPS 5985520 HAS SOUS 1852447 HAS SOUPS 1756269 WITH SCORE 1763518.419
AT ITER 4071 NEW BEST:: SOT 11833154 SOS 7249090 HAS SOPS 5985478 HAS SOUS 1851802 HAS SOUPS 1755624 WITH SCORE 1762873.09
AT ITER 4072 NEW BEST:: SOT 11833066 SOS 7248981 HAS SOPS 5984396 HAS SOUS 1849976 HAS SOUPS 1753798 WITH SCORE 1761046.981
AT ITER 4094 NEW BEST:: SOT 11832713 SOS 7248647 HAS SOPS 5983573 HAS SOUS 1848754 HAS SOUPS 1752568 WITH SCORE 1759816.647
AT ITER 4116 NEW BEST:: SOT 11829126 SOS 7242273 HAS SOPS 5976485 HAS SOUS 1842713 HAS SOUPS 1746672 WITH SCORE 1753914.273
AT ITER 4149 NEW BEST:: SOT 11830571 SOS 7252494 HAS SOPS 5985290 HAS SOUS 1837332 HAS SOUPS 1741291 WITH SCORE 1748543.494
AT ITER 4171 NEW BEST:: SOT 11829989 SOS 7254800 HAS SOPS 5993734 HAS SOUS 1835712 HAS SOUPS 1739671 WITH SCORE 1746925.8
AT ITER 4180 NEW BEST:: SOT 11829845 SOS 7254660 HAS SOPS 5993544 HAS SOUS 1835137 HAS SOUPS 1739096 WITH SCORE 1746350.66
AT ITER 4186 NEW BEST:: SOT 11829086 SOS 7254162 HAS SOPS 5992380 HAS SOUS 1834056 HAS SOUPS 1737132 WITH SCORE 1744386.162
AT ITER 4203 NEW BEST:: SOT 11828965 SOS 7254050 HAS SOPS 5992236 HAS SOUS 1833919 HAS SOUPS 1736995 WITH SCORE 1744249.05
AT ITER 4213 NEW BEST:: SOT 11829336 SOS 7254927 HAS SOPS 5993258 HAS SOUS 1825247 HAS SOUPS 1728548 WITH SCORE 1735802.927
AT ITER 4216 NEW BEST:: SOT 11829332 SOS 7255157 HAS SOPS 5994620 HAS SOUS 1825243 HAS SOUPS 1728544 WITH SCORE 1735799.157
AT ITER 4220 NEW BEST:: SOT 11826930 SOS 7253113 HAS SOPS 5991767 HAS SOUS 1816246 HAS SOUPS 1719900 WITH SCORE 1727153.113
AT ITER 4233 NEW BEST:: SOT 11825804 SOS 7251413 HAS SOPS 5989541 HAS SOUS 1812924 HAS SOUPS 1716578 WITH SCORE 1723829.413
AT ITER 4244 NEW BEST:: SOT 11825739 SOS 7250076 HAS SOPS 5988188 HAS SOUS 1812830 HAS SOUPS 1716484 WITH SCORE 1723734.076
AT ITER 4245 NEW BEST:: SOT 11828517 SOS 7252697 HAS SOPS 5989620 HAS SOUS 1810556 HAS SOUPS 1714210 WITH SCORE 1721462.697
AT ITER 4270 NEW BEST:: SOT 11832269 SOS 7256715 HAS SOPS 5993556 HAS SOUS 1809252 HAS SOUPS 1712944 WITH SCORE 1720200.715
AT ITER 4279 NEW BEST:: SOT 11832138 SOS 7255392 HAS SOPS 5992768 HAS SOUS 1809221 HAS SOUPS 1712913 WITH SCORE 1720168.392
AT ITER 4281 NEW BEST:: SOT 11832426 SOS 7256026 HAS SOPS 5993261 HAS SOUS 1808257 HAS SOUPS 1711959 WITH SCORE 1719215.026
AT ITER 4314 NEW BEST:: SOT 11833757 SOS 7259786 HAS SOPS 5995402 HAS SOUS 1808217 HAS SOUPS 1711919 WITH SCORE 1719178.786
AT ITER 4318 NEW BEST:: SOT 11834817 SOS 7260119 HAS SOPS 5994357 HAS SOUS 1806405 HAS SOUPS 1710107 WITH SCORE 1717367.119
AT ITER 4325 NEW BEST:: SOT 11838025 SOS 7263504 HAS SOPS 5999625 HAS SOUS 1804348 HAS SOUPS 1708050 WITH SCORE 1715313.504
AT ITER 4326 NEW BEST:: SOT 11836698 SOS 7259784 HAS SOPS 5997371 HAS SOUS 1803693 HAS SOUPS 1707428 WITH SCORE 1714687.784
AT ITER 4327 NEW BEST:: SOT 11833035 SOS 7257804 HAS SOPS 5994979 HAS SOUS 1800768 HAS SOUPS 1704415 WITH SCORE 1711672.804
AT ITER 4336 NEW BEST:: SOT 11832410 SOS 7257043 HAS SOPS 5994120 HAS SOUS 1799447 HAS SOUPS 1703094 WITH SCORE 1710351.043
AT ITER 4345 NEW BEST:: SOT 11832398 SOS 7257008 HAS SOPS 5994025 HAS SOUS 1799410 HAS SOUPS 1703057 WITH SCORE 1710314.008
AT ITER 4352 NEW BEST:: SOT 11832328 SOS 7256751 HAS SOPS 5993840 HAS SOUS 1799247 HAS SOUPS 1702899 WITH SCORE 1710155.751
AT ITER 4363 NEW BEST:: SOT 11832852 SOS 7257429 HAS SOPS 5994460 HAS SOUS 1798796 HAS SOUPS 1702448 WITH SCORE 1709705.429
AT ITER 4385 NEW BEST:: SOT 11832724 SOS 7256442 HAS SOPS 5996199 HAS SOUS 1798788 HAS SOUPS 1702440 WITH SCORE 1709696.442
AT ITER 4390 NEW BEST:: SOT 11831105 SOS 7255792 HAS SOPS 5995280 HAS SOUS 1796318 HAS SOUPS 1699923 WITH SCORE 1707178.792
AT ITER 4391 NEW BEST:: SOT 11831801 SOS 7256563 HAS SOPS 5995880 HAS SOUS 1794782 HAS SOUPS 1698688 WITH SCORE 1705944.563
AT ITER 4395 NEW BEST:: SOT 11833583 SOS 7263779 HAS SOPS 6006853 HAS SOUS 1793311 HAS SOUPS 1697217 WITH SCORE 1704480.779
AT ITER 4406 NEW BEST:: SOT 11828704 SOS 7257860 HAS SOPS 6001185 HAS SOUS 1791931 HAS SOUPS 1695837 WITH SCORE 1703094.86
AT ITER 4418 NEW BEST:: SOT 11828656 SOS 7257812 HAS SOPS 6001105 HAS SOUS 1791947 HAS SOUPS 1695829 WITH SCORE 1703086.812
AT ITER 4438 NEW BEST:: SOT 11828978 SOS 7258365 HAS SOPS 6001610 HAS SOUS 1791854 HAS SOUPS 1695736 WITH SCORE 1702994.365
AT ITER 4456 NEW BEST:: SOT 11828916 SOS 7258485 HAS SOPS 6003035 HAS SOUS 1791456 HAS SOUPS 1695378 WITH SCORE 1702636.485
AT ITER 4462 NEW BEST:: SOT 11830553 SOS 7256810 HAS SOPS 6001595 HAS SOUS 1789712 HAS SOUPS 1693634 WITH SCORE 1700890.81
AT ITER 4479 NEW BEST:: SOT 11830367 SOS 7256595 HAS SOPS 6001181 HAS SOUS 1788931 HAS SOUPS 1692853 WITH SCORE 1700109.595
AT ITER 4487 NEW BEST:: SOT 11831363 SOS 7259554 HAS SOPS 6002235 HAS SOUS 1788655 HAS SOUPS 1692550 WITH SCORE 1699809.554
AT ITER 4490 NEW BEST:: SOT 11831573 SOS 7260054 HAS SOPS 6002745 HAS SOUS 1788508 HAS SOUPS 1692408 WITH SCORE 1699668.054
AT ITER 4518 NEW BEST:: SOT 11831112 SOS 7256541 HAS SOPS 6000077 HAS SOUS 1786138 HAS SOUPS 1690038 WITH SCORE 1697294.541
AT ITER 4531 NEW BEST:: SOT 11830396 SOS 7258920 HAS SOPS 6001782 HAS SOUS 1783511 HAS SOUPS 1687411 WITH SCORE 1694669.92
AT ITER 4554 NEW BEST:: SOT 11829536 SOS 7258060 HAS SOPS 6000794 HAS SOUS 1782847 HAS SOUPS 1686747 WITH SCORE 1694005.06
AT ITER 4555 NEW BEST:: SOT 11826019 SOS 7281184 HAS SOPS 6015709 HAS SOUS 1777676 HAS SOUPS 1681635 WITH SCORE 1688916.184
AT ITER 4568 NEW BEST:: SOT 11826428 SOS 7281371 HAS SOPS 6016332 HAS SOUS 1777181 HAS SOUPS 1681579 WITH SCORE 1688860.371
AT ITER 4577 NEW BEST:: SOT 11826177 SOS 7281085 HAS SOPS 6015885 HAS SOUS 1776978 HAS SOUPS 1681376 WITH SCORE 1688657.085
AT ITER 4590 NEW BEST:: SOT 11821751 SOS 7267950 HAS SOPS 6001703 HAS SOUS 1771267 HAS SOUPS 1675665 WITH SCORE 1682932.95
AT ITER 4594 NEW BEST:: SOT 11821274 SOS 7264835 HAS SOPS 5999991 HAS SOUS 1769193 HAS SOUPS 1674871 WITH SCORE 1682135.835
AT ITER 4622 NEW BEST:: SOT 11821125 SOS 7263863 HAS SOPS 5998069 HAS SOUS 1763369 HAS SOUPS 1669047 WITH SCORE 1676310.863
AT ITER 4629 NEW BEST:: SOT 11822444 SOS 7265604 HAS SOPS 5998342 HAS SOUS 1763022 HAS SOUPS 1668257 WITH SCORE 1675522.604
AT ITER 4657 NEW BEST:: SOT 11821161 SOS 7264360 HAS SOPS 5997019 HAS SOUS 1757290 HAS SOUPS 1662570 WITH SCORE 1669834.36
AT ITER 4669 NEW BEST:: SOT 11821088 SOS 7264350 HAS SOPS 5996907 HAS SOUS 1757055 HAS SOUPS 1662335 WITH SCORE 1669599.35
AT ITER 4682 NEW BEST:: SOT 11821079 SOS 7264336 HAS SOPS 5996879 HAS SOUS 1757004 HAS SOUPS 1662284 WITH SCORE 1669548.336
AT ITER 4710 NEW BEST:: SOT 11821230 SOS 7264886 HAS SOPS 5996950 HAS SOUS 1756128 HAS SOUPS 1661428 WITH SCORE 1668692.886
AT ITER 4716 NEW BEST:: SOT 11821454 SOS 7261982 HAS SOPS 5995106 HAS SOUS 1755292 HAS SOUPS 1660648 WITH SCORE 1667909.982
AT ITER 4724 NEW BEST:: SOT 11821678 SOS 7262206 HAS SOPS 5995106 HAS SOUS 1754884 HAS SOUPS 1660192 WITH SCORE 1667454.206
AT ITER 4732 NEW BEST:: SOT 11819505 SOS 7259785 HAS SOPS 5992925 HAS SOUS 1750917 HAS SOUPS 1656317 WITH SCORE 1663576.785
AT ITER 4753 NEW BEST:: SOT 11819996 SOS 7262249 HAS SOPS 5995371 HAS SOUS 1750624 HAS SOUPS 1656024 WITH SCORE 1663286.249
AT ITER 4788 NEW BEST:: SOT 11813219 SOS 7252465 HAS SOPS 5987056 HAS SOUS 1746043 HAS SOUPS 1651443 WITH SCORE 1658695.465
AT ITER 4794 NEW BEST:: SOT 11813229 SOS 7252648 HAS SOPS 5987223 HAS SOUS 1745926 HAS SOUPS 1651326 WITH SCORE 1658578.648
AT ITER 4796 NEW BEST:: SOT 11811701 SOS 7252132 HAS SOPS 5984286 HAS SOUS 1744716 HAS SOUPS 1650075 WITH SCORE 1657327.132
AT ITER 4803 NEW BEST:: SOT 11810134 SOS 7250050 HAS SOPS 5982443 HAS SOUS 1743932 HAS SOUPS 1649291 WITH SCORE 1656541.05
AT ITER 4873 NEW BEST:: SOT 11810044 SOS 7249901 HAS SOPS 5981786 HAS SOUS 1743858 HAS SOUPS 1649198 WITH SCORE 1656447.901
AT ITER 4899 NEW BEST:: SOT 11810306 SOS 7248170 HAS SOPS 5981801 HAS SOUS 1741440 HAS SOUPS 1646780 WITH SCORE 1654028.17
AT ITER 4959 NEW BEST:: SOT 11810219 SOS 7248008 HAS SOPS 5981583 HAS SOUS 1741140 HAS SOUPS 1646480 WITH SCORE 1653728.008
AT ITER 4970 NEW BEST:: SOT 11809604 SOS 7247093 HAS SOPS 5980434 HAS SOUS 1739032 HAS SOUPS 1644372 WITH SCORE 1651619.093
AT ITER 4975 NEW BEST:: SOT 11809314 SOS 7246221 HAS SOPS 5979271 HAS SOUS 1738426 HAS SOUPS 1643766 WITH SCORE 1651012.221
AT ITER 4977 NEW BEST:: SOT 11809340 SOS 7245881 HAS SOPS 5978734 HAS SOUS 1736959 HAS SOUPS 1642299 WITH SCORE 1649544.881
AT ITER 4985 NEW BEST:: SOT 11809068 SOS 7245609 HAS SOPS 5978398 HAS SOUS 1736575 HAS SOUPS 1641915 WITH SCORE 1649160.609
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-2-CTLCardinality-00 (! (AU( ( potential( ( 3 ) <= (tk(P349)) ) | potential( (tk(P449)) <= (tk(P446)) ) ),( potential( ( 1 ) <= (tk(P240)) ) | potential( ( 1 ) <= (tk(P505)) ) ) )))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-01 ( ( (EG( (! potential( ( 1 ) <= (tk(P161)) )))) & (AG( ( potential( (tk(P212)) <= (tk(P91)) ) | potential( (tk(P303)) <= (tk(P241)) ) ))) ) | ( ( (EF(potential( (tk(P608)) <= (tk(P140)) ))) & (AX( potential( (tk(P122)) <= (tk(P168)) ))) ) | (! potential( (tk(P609)) <= (tk(P505)) )) ) )
PROPERTY: RERS17pb113-PT-2-CTLCardinality-02 (! (EF(( (! potential( (tk(P371)) <= (tk(P579)) )) & (! potential( (tk(P34)) <= (tk(P480)) )) ))))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-03 (! (EG( (EF(potential( (tk(P41)) <= (tk(P387)) ))))))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-04 (EU( (AG( potential( (tk(P450)) <= (tk(P468)) ))),(EG( potential( (tk(P565)) <= (tk(P484)) ))) ))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-05 ( ( (! ( ( potential( (tk(P209)) <= (tk(P415)) ) & potential( ( 2 ) <= (tk(P561)) ) ) | ( potential( ( 3 ) <= (tk(P455)) ) | potential( (tk(P101)) <= (tk(P225)) ) ) )) | (AX( ( potential( ( 3 ) <= (tk(P428)) ) & potential( (tk(P2)) <= (tk(P422)) ) ))) ) | ( (! ( (! potential( (tk(P348)) <= (tk(P518)) )) & (! potential( ( 1 ) <= (tk(P253)) )) )) & (AF(potential( ( 1 ) <= (tk(P387)) ))) ) )
PROPERTY: RERS17pb113-PT-2-CTLCardinality-06 (EG( (EU( potential( ( 1 ) <= (tk(P116)) ),potential( (tk(P350)) <= (tk(P60)) ) ))))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-07 (EU( ( potential( (tk(P382)) <= (tk(P361)) ) | (! potential( ( 1 ) <= (tk(P501)) )) ),( potential( ( 1 ) <= (tk(P558)) ) & (! potential( (tk(P580)) <= (tk(P213)) )) ) ))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-08 ( (EG( potential( (tk(P481)) <= (tk(P105)) ))) & ( ( potential( (tk(P615)) <= (tk(P502)) ) & (AX( potential( ( 1 ) <= (tk(P531)) ))) ) | potential( (tk(P97)) <= (tk(P119)) ) ) )
PROPERTY: RERS17pb113-PT-2-CTLCardinality-09 (! (AG( (AX( potential( (tk(P600)) <= (tk(P354)) ))))))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-10 ( (AX( (EX( potential( ( 2 ) <= (tk(P134)) ))))) | (AG( potential( (tk(P531)) <= (tk(P357)) ))) )
PROPERTY: RERS17pb113-PT-2-CTLCardinality-11 (! (! ( (AF(potential( ( 2 ) <= (tk(P213)) ))) | (! (! potential( ( 1 ) <= (tk(P597)) ))) )))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-12 (AX( ( (EG( potential( (tk(P518)) <= (tk(P394)) ))) & (AF(potential( (tk(P167)) <= (tk(P615)) ))) )))
PROPERTY: RERS17pb113-PT-2-CTLCardinality-13 ( (AX( ( ( potential( (tk(P187)) <= (tk(P50)) ) & potential( (tk(P441)) <= (tk(P547)) ) ) | ( potential( (tk(P453)) <= (tk(P500)) ) & potential( ( 1 ) <= (tk(P208)) ) ) ))) & (AX( (EF(potential( ( 2 ) <= (tk(P339)) ))))) )
PROPERTY: RERS17pb113-PT-2-CTLCardinality-14 ( (EG( potential( (tk(P114)) <= (tk(P68)) ))) & ( ( (AG( potential( (tk(P479)) <= (tk(P442)) ))) | potential( (tk(P287)) <= (tk(P94)) ) ) | ( (EF(potential( ( 2 ) <= (tk(P74)) ))) & potential( (tk(P530)) <= (tk(P578)) ) ) ) )
PROPERTY: RERS17pb113-PT-2-CTLCardinality-15 (EG( potential( (tk(P272)) <= (tk(P265)) )))

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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-2, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502200011"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;