Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r323-tall-167889194100032.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is RERS17pb113-PT-4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r323-tall-167889194100032
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 7.3K Feb 26 18:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 80K Feb 26 18:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.5K Feb 26 18:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 53K Feb 26 18:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:37 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 16:37 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 16:37 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:37 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 26 18:16 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 110K Feb 26 18:16 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 14K Feb 26 18:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 89K Feb 26 18:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:37 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 15M Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679473330795

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=RERS17pb113-PT-4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
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 6 NEW BEST:: SOT 12197079 SOS 7747299 HAS SOPS 6416021 HAS SOUS 3042882 HAS SOUPS 2942772 WITH SCORE 2950519.299
AT ITER 7 NEW BEST:: SOT 12197329 SOS 7747337 HAS SOPS 6417135 HAS SOUS 3042338 HAS SOUPS 2942228 WITH SCORE 2949975.337
AT ITER 14 NEW BEST:: SOT 12195398 SOS 7744361 HAS SOPS 6416572 HAS SOUS 3042083 HAS SOUPS 2941973 WITH SCORE 2949717.361
AT ITER 23 NEW BEST:: SOT 12191682 SOS 7729205 HAS SOPS 6404773 HAS SOUS 3037969 HAS SOUPS 2937996 WITH SCORE 2945725.205
AT ITER 51 NEW BEST:: SOT 12192831 SOS 7735527 HAS SOPS 6411727 HAS SOUS 3037694 HAS SOUPS 2937721 WITH SCORE 2945456.527
AT ITER 55 NEW BEST:: SOT 12193202 SOS 7736430 HAS SOPS 6412703 HAS SOUS 3037271 HAS SOUPS 2937298 WITH SCORE 2945034.43
AT ITER 63 NEW BEST:: SOT 12193049 SOS 7737229 HAS SOPS 6411813 HAS SOUS 3035784 HAS SOUPS 2935811 WITH SCORE 2943548.229
AT ITER 80 NEW BEST:: SOT 12188951 SOS 7732193 HAS SOPS 6405650 HAS SOUS 3021968 HAS SOUPS 2922412 WITH SCORE 2930144.193
AT ITER 97 NEW BEST:: SOT 12188979 SOS 7732180 HAS SOPS 6405626 HAS SOUS 3021664 HAS SOUPS 2922141 WITH SCORE 2929873.18
AT ITER 98 NEW BEST:: SOT 12165677 SOS 7704878 HAS SOPS 6376560 HAS SOUS 2988865 HAS SOUPS 2889372 WITH SCORE 2897076.878
AT ITER 105 NEW BEST:: SOT 12165472 SOS 7704507 HAS SOPS 6376230 HAS SOUS 2988699 HAS SOUPS 2889206 WITH SCORE 2896910.507
AT ITER 107 NEW BEST:: SOT 12165716 SOS 7706540 HAS SOPS 6378153 HAS SOUS 2987182 HAS SOUPS 2887666 WITH SCORE 2895372.54
AT ITER 109 NEW BEST:: SOT 12165312 SOS 7706130 HAS SOPS 6376507 HAS SOUS 2986500 HAS SOUPS 2886851 WITH SCORE 2894557.13
AT ITER 110 NEW BEST:: SOT 12165316 SOS 7706152 HAS SOPS 6376497 HAS SOUS 2986487 HAS SOUPS 2886838 WITH SCORE 2894544.152
AT ITER 130 NEW BEST:: SOT 12158551 SOS 7697314 HAS SOPS 6367972 HAS SOUS 2970592 HAS SOUPS 2870998 WITH SCORE 2878695.314
AT ITER 155 NEW BEST:: SOT 12158497 SOS 7697260 HAS SOPS 6367918 HAS SOUS 2970482 HAS SOUPS 2870888 WITH SCORE 2878585.26
AT ITER 158 NEW BEST:: SOT 12155544 SOS 7693428 HAS SOPS 6365480 HAS SOUS 2966753 HAS SOUPS 2867364 WITH SCORE 2875057.428
AT ITER 160 NEW BEST:: SOT 12160042 SOS 7712845 HAS SOPS 6381896 HAS SOUS 2957584 HAS SOUPS 2858195 WITH SCORE 2865907.845
AT ITER 173 NEW BEST:: SOT 12171342 SOS 7733951 HAS SOPS 6407963 HAS SOUS 2955223 HAS SOUPS 2855834 WITH SCORE 2863567.951
AT ITER 197 NEW BEST:: SOT 12169961 SOS 7733151 HAS SOPS 6405266 HAS SOUS 2950965 HAS SOUPS 2851567 WITH SCORE 2859300.151
AT ITER 207 NEW BEST:: SOT 12170388 SOS 7735200 HAS SOPS 6407759 HAS SOUS 2950466 HAS SOUPS 2851068 WITH SCORE 2858803.2
AT ITER 209 NEW BEST:: SOT 12182716 SOS 7757909 HAS SOPS 6447220 HAS SOUS 2949970 HAS SOUPS 2850572 WITH SCORE 2858329.909
AT ITER 210 NEW BEST:: SOT 12180901 SOS 7751136 HAS SOPS 6440343 HAS SOUS 2946942 HAS SOUPS 2847544 WITH SCORE 2855295.136
AT ITER 218 NEW BEST:: SOT 12182746 SOS 7756723 HAS SOPS 6445431 HAS SOUS 2946074 HAS SOUPS 2846676 WITH SCORE 2854432.723
AT ITER 234 NEW BEST:: SOT 12182220 SOS 7755907 HAS SOPS 6444956 HAS SOUS 2945406 HAS SOUPS 2846008 WITH SCORE 2853763.907
AT ITER 236 NEW BEST:: SOT 12181648 SOS 7755902 HAS SOPS 6445281 HAS SOUS 2944121 HAS SOUPS 2844723 WITH SCORE 2852478.902
AT ITER 245 NEW BEST:: SOT 12180462 SOS 7753836 HAS SOPS 6443285 HAS SOUS 2941794 HAS SOUPS 2842396 WITH SCORE 2850149.836
AT ITER 247 NEW BEST:: SOT 12177539 SOS 7750807 HAS SOPS 6441248 HAS SOUS 2938939 HAS SOUPS 2839913 WITH SCORE 2847663.807
AT ITER 248 NEW BEST:: SOT 12174048 SOS 7747265 HAS SOPS 6437697 HAS SOUS 2935327 HAS SOUPS 2836310 WITH SCORE 2844057.265
AT ITER 283 NEW BEST:: SOT 12164033 SOS 7737250 HAS SOPS 6426722 HAS SOUS 2925312 HAS SOUPS 2825335 WITH SCORE 2833072.25
AT ITER 288 NEW BEST:: SOT 12160149 SOS 7737371 HAS SOPS 6426721 HAS SOUS 2920153 HAS SOUPS 2819947 WITH SCORE 2827684.371
AT ITER 299 NEW BEST:: SOT 12167738 SOS 7748798 HAS SOPS 6437653 HAS SOUS 2918451 HAS SOUPS 2818251 WITH SCORE 2825999.798
AT ITER 300 NEW BEST:: SOT 12167538 SOS 7748328 HAS SOPS 6437346 HAS SOUS 2918240 HAS SOUPS 2818046 WITH SCORE 2825794.328
AT ITER 307 NEW BEST:: SOT 12166835 SOS 7746381 HAS SOPS 6435871 HAS SOUS 2914699 HAS SOUPS 2814505 WITH SCORE 2822251.381
AT ITER 311 NEW BEST:: SOT 12166345 SOS 7744533 HAS SOPS 6431889 HAS SOUS 2910358 HAS SOUPS 2810164 WITH SCORE 2817908.533
AT ITER 317 NEW BEST:: SOT 12162723 SOS 7738949 HAS SOPS 6427757 HAS SOUS 2906835 HAS SOUPS 2806641 WITH SCORE 2814379.949
AT ITER 322 NEW BEST:: SOT 12164941 SOS 7746858 HAS SOPS 6433992 HAS SOUS 2906574 HAS SOUPS 2806380 WITH SCORE 2814126.858
AT ITER 323 NEW BEST:: SOT 12164972 SOS 7748807 HAS SOPS 6435471 HAS SOUS 2904332 HAS SOUPS 2804108 WITH SCORE 2811856.807
AT ITER 326 NEW BEST:: SOT 12166413 SOS 7752509 HAS SOPS 6440534 HAS SOUS 2902249 HAS SOUPS 2802025 WITH SCORE 2809777.509
AT ITER 332 NEW BEST:: SOT 12169872 SOS 7763969 HAS SOPS 6450642 HAS SOUS 2901120 HAS SOUPS 2800896 WITH SCORE 2808659.969
AT ITER 333 NEW BEST:: SOT 12169485 SOS 7763604 HAS SOPS 6449939 HAS SOUS 2900841 HAS SOUPS 2800617 WITH SCORE 2808380.604
AT ITER 336 NEW BEST:: SOT 12162541 SOS 7752511 HAS SOPS 6442325 HAS SOUS 2892608 HAS SOUPS 2792476 WITH SCORE 2800228.511
AT ITER 346 NEW BEST:: SOT 12170897 SOS 7766073 HAS SOPS 6451623 HAS SOUS 2891436 HAS SOUPS 2791249 WITH SCORE 2799015.073
AT ITER 350 NEW BEST:: SOT 12166971 SOS 7751016 HAS SOPS 6451849 HAS SOUS 2886441 HAS SOUPS 2786947 WITH SCORE 2794698.016
AT ITER 385 NEW BEST:: SOT 12166418 SOS 7751581 HAS SOPS 6451126 HAS SOUS 2885345 HAS SOUPS 2785806 WITH SCORE 2793557.581
AT ITER 388 NEW BEST:: SOT 12166423 SOS 7758974 HAS SOPS 6467179 HAS SOUS 2877936 HAS SOUPS 2778686 WITH SCORE 2786444.974
AT ITER 393 NEW BEST:: SOT 12170676 SOS 7763164 HAS SOPS 6472677 HAS SOUS 2877280 HAS SOUPS 2778052 WITH SCORE 2785815.164
AT ITER 396 NEW BEST:: SOT 12170649 SOS 7763507 HAS SOPS 6472672 HAS SOUS 2876140 HAS SOUPS 2776912 WITH SCORE 2784675.507
AT ITER 397 NEW BEST:: SOT 12170646 SOS 7763607 HAS SOPS 6472810 HAS SOUS 2876113 HAS SOUPS 2776885 WITH SCORE 2784648.607
AT ITER 400 NEW BEST:: SOT 12169762 SOS 7762047 HAS SOPS 6471788 HAS SOUS 2873419 HAS SOUPS 2774359 WITH SCORE 2782121.047
AT ITER 402 NEW BEST:: SOT 12172544 SOS 7771179 HAS SOPS 6480237 HAS SOUS 2873106 HAS SOUPS 2774046 WITH SCORE 2781817.179
AT ITER 407 NEW BEST:: SOT 12170761 SOS 7769121 HAS SOPS 6477644 HAS SOUS 2869568 HAS SOUPS 2770556 WITH SCORE 2778325.121
AT ITER 408 NEW BEST:: SOT 12170239 SOS 7768583 HAS SOPS 6476866 HAS SOUS 2868163 HAS SOUPS 2769106 WITH SCORE 2776874.583
AT ITER 415 NEW BEST:: SOT 12170560 SOS 7769106 HAS SOPS 6476663 HAS SOUS 2867277 HAS SOUPS 2768278 WITH SCORE 2776047.106
AT ITER 418 NEW BEST:: SOT 12172091 SOS 7774475 HAS SOPS 6481162 HAS SOUS 2867106 HAS SOUPS 2768107 WITH SCORE 2775881.475
AT ITER 428 NEW BEST:: SOT 12171899 SOS 7774067 HAS SOPS 6480842 HAS SOUS 2866965 HAS SOUPS 2767966 WITH SCORE 2775740.067
AT ITER 434 NEW BEST:: SOT 12172977 SOS 7778196 HAS SOPS 6482465 HAS SOUS 2865419 HAS SOUPS 2766420 WITH SCORE 2774198.196
AT ITER 437 NEW BEST:: SOT 12172569 SOS 7777851 HAS SOPS 6482195 HAS SOUS 2865050 HAS SOUPS 2766112 WITH SCORE 2773889.851
AT ITER 439 NEW BEST:: SOT 12175859 SOS 7791294 HAS SOPS 6502621 HAS SOUS 2864164 HAS SOUPS 2765441 WITH SCORE 2773232.294
AT ITER 448 NEW BEST:: SOT 12175604 SOS 7790644 HAS SOPS 6502417 HAS SOUS 2863336 HAS SOUPS 2764746 WITH SCORE 2772536.644
AT ITER 451 NEW BEST:: SOT 12175595 SOS 7790724 HAS SOPS 6502526 HAS SOUS 2863289 HAS SOUPS 2764699 WITH SCORE 2772489.724
AT ITER 453 NEW BEST:: SOT 12173779 SOS 7788660 HAS SOPS 6500004 HAS SOUS 2860137 HAS SOUPS 2761427 WITH SCORE 2769215.66
AT ITER 476 NEW BEST:: SOT 12155854 SOS 7766128 HAS SOPS 6477421 HAS SOUS 2841940 HAS SOUPS 2743179 WITH SCORE 2750945.128
AT ITER 482 NEW BEST:: SOT 12159072 SOS 7776001 HAS SOPS 6488336 HAS SOUS 2839877 HAS SOUPS 2741085 WITH SCORE 2748861.001
AT ITER 497 NEW BEST:: SOT 12158572 SOS 7774316 HAS SOPS 6488409 HAS SOUS 2838839 HAS SOUPS 2740129 WITH SCORE 2747903.316
AT ITER 504 NEW BEST:: SOT 12167971 SOS 7792073 HAS SOPS 6502182 HAS SOUS 2836978 HAS SOUPS 2738028 WITH SCORE 2745820.073
AT ITER 519 NEW BEST:: SOT 12167020 SOS 7793005 HAS SOPS 6501135 HAS SOUS 2835975 HAS SOUPS 2736971 WITH SCORE 2744764.005
AT ITER 520 NEW BEST:: SOT 12168724 SOS 7798520 HAS SOPS 6506550 HAS SOUS 2834695 HAS SOUPS 2735691 WITH SCORE 2743489.52
AT ITER 535 NEW BEST:: SOT 12168714 SOS 7799030 HAS SOPS 6506938 HAS SOUS 2834318 HAS SOUPS 2735314 WITH SCORE 2743113.03
AT ITER 542 NEW BEST:: SOT 12169708 SOS 7800427 HAS SOPS 6507464 HAS SOUS 2833717 HAS SOUPS 2734565 WITH SCORE 2742365.427
AT ITER 551 NEW BEST:: SOT 12168238 SOS 7798425 HAS SOPS 6506952 HAS SOUS 2833398 HAS SOUPS 2734246 WITH SCORE 2742044.425
AT ITER 566 NEW BEST:: SOT 12163216 SOS 7793349 HAS SOPS 6500175 HAS SOUS 2822617 HAS SOUPS 2723465 WITH SCORE 2731258.349
AT ITER 567 NEW BEST:: SOT 12163546 SOS 7792539 HAS SOPS 6499623 HAS SOUS 2822288 HAS SOUPS 2723136 WITH SCORE 2730928.539
AT ITER 571 NEW BEST:: SOT 12163463 SOS 7792585 HAS SOPS 6499595 HAS SOUS 2822271 HAS SOUPS 2723119 WITH SCORE 2730911.585
AT ITER 586 NEW BEST:: SOT 12162869 SOS 7791991 HAS SOPS 6498649 HAS SOUS 2821293 HAS SOUPS 2721917 WITH SCORE 2729708.991
AT ITER 594 NEW BEST:: SOT 12162700 SOS 7791864 HAS SOPS 6498368 HAS SOUS 2820753 HAS SOUPS 2721370 WITH SCORE 2729161.864
AT ITER 599 NEW BEST:: SOT 12163077 SOS 7791170 HAS SOPS 6507080 HAS SOUS 2818477 HAS SOUPS 2719094 WITH SCORE 2726885.17
AT ITER 610 NEW BEST:: SOT 12165772 SOS 7793530 HAS SOPS 6513337 HAS SOUS 2816202 HAS SOUPS 2717319 WITH SCORE 2725112.53
AT ITER 612 NEW BEST:: SOT 12169029 SOS 7799617 HAS SOPS 6519231 HAS SOUS 2814163 HAS SOUPS 2715280 WITH SCORE 2723079.617
AT ITER 615 NEW BEST:: SOT 12166850 SOS 7797022 HAS SOPS 6516151 HAS SOUS 2810960 HAS SOUPS 2712077 WITH SCORE 2719874.022
AT ITER 624 NEW BEST:: SOT 12164681 SOS 7794069 HAS SOPS 6513850 HAS SOUS 2808075 HAS SOUPS 2709228 WITH SCORE 2717022.069
AT ITER 635 NEW BEST:: SOT 12165349 SOS 7794294 HAS SOPS 6513076 HAS SOUS 2806421 HAS SOUPS 2707574 WITH SCORE 2715368.294
AT ITER 648 NEW BEST:: SOT 12164182 SOS 7794053 HAS SOPS 6511268 HAS SOUS 2805495 HAS SOUPS 2706648 WITH SCORE 2714442.053
AT ITER 682 NEW BEST:: SOT 12158621 SOS 7782220 HAS SOPS 6505044 HAS SOUS 2799422 HAS SOUPS 2700726 WITH SCORE 2708508.22
AT ITER 684 NEW BEST:: SOT 12157775 SOS 7782378 HAS SOPS 6504227 HAS SOUS 2795217 HAS SOUPS 2696521 WITH SCORE 2704303.378
AT ITER 711 NEW BEST:: SOT 12157770 SOS 7782348 HAS SOPS 6504007 HAS SOUS 2795128 HAS SOUPS 2696432 WITH SCORE 2704214.348
AT ITER 713 NEW BEST:: SOT 12161746 SOS 7794700 HAS SOPS 6513436 HAS SOUS 2792629 HAS SOUPS 2693933 WITH SCORE 2701727.7
AT ITER 720 NEW BEST:: SOT 12161190 SOS 7796255 HAS SOPS 6514608 HAS SOUS 2790589 HAS SOUPS 2691893 WITH SCORE 2699689.255
AT ITER 722 NEW BEST:: SOT 12159525 SOS 7794590 HAS SOPS 6512943 HAS SOUS 2788924 HAS SOUPS 2690228 WITH SCORE 2698022.59
AT ITER 728 NEW BEST:: SOT 12159445 SOS 7794510 HAS SOPS 6512863 HAS SOUS 2788588 HAS SOUPS 2689892 WITH SCORE 2697686.51
AT ITER 729 NEW BEST:: SOT 12156490 SOS 7785822 HAS SOPS 6504238 HAS SOUS 2787925 HAS SOUPS 2689159 WITH SCORE 2696944.822
AT ITER 739 NEW BEST:: SOT 12153095 SOS 7779863 HAS SOPS 6498174 HAS SOUS 2784830 HAS SOUPS 2686064 WITH SCORE 2693843.863
AT ITER 741 NEW BEST:: SOT 12150519 SOS 7777795 HAS SOPS 6496757 HAS SOUS 2778331 HAS SOUPS 2679748 WITH SCORE 2687525.795
AT ITER 742 NEW BEST:: SOT 12149773 SOS 7777258 HAS SOPS 6495692 HAS SOUS 2776194 HAS SOUPS 2677611 WITH SCORE 2685388.258
AT ITER 745 NEW BEST:: SOT 12149638 SOS 7777123 HAS SOPS 6495477 HAS SOUS 2775819 HAS SOUPS 2677236 WITH SCORE 2685013.123
AT ITER 761 NEW BEST:: SOT 12146488 SOS 7769955 HAS SOPS 6491124 HAS SOUS 2772705 HAS SOUPS 2674122 WITH SCORE 2681891.955
AT ITER 763 NEW BEST:: SOT 12146444 SOS 7769915 HAS SOPS 6490968 HAS SOUS 2772365 HAS SOUPS 2673790 WITH SCORE 2681559.915
AT ITER 774 NEW BEST:: SOT 12147216 SOS 7775025 HAS SOPS 6494058 HAS SOUS 2768201 HAS SOUPS 2669626 WITH SCORE 2677401.025
AT ITER 779 NEW BEST:: SOT 12147216 SOS 7775025 HAS SOPS 6494058 HAS SOUS 2768153 HAS SOUPS 2669578 WITH SCORE 2677353.025
AT ITER 782 NEW BEST:: SOT 12146094 SOS 7774009 HAS SOPS 6492461 HAS SOUS 2764322 HAS SOUPS 2665579 WITH SCORE 2673353.009
AT ITER 786 NEW BEST:: SOT 12143699 SOS 7771614 HAS SOPS 6489858 HAS SOUS 2761719 HAS SOUPS 2662768 WITH SCORE 2670539.614
AT ITER 798 NEW BEST:: SOT 12140267 SOS 7764989 HAS SOPS 6483218 HAS SOUS 2759902 HAS SOUPS 2660951 WITH SCORE 2668715.989
AT ITER 802 NEW BEST:: SOT 12140260 SOS 7766432 HAS SOPS 6482861 HAS SOUS 2757843 HAS SOUPS 2658838 WITH SCORE 2666604.432
AT ITER 812 NEW BEST:: SOT 12137748 SOS 7763606 HAS SOPS 6479935 HAS SOUS 2754899 HAS SOUPS 2655900 WITH SCORE 2663663.606
AT ITER 818 NEW BEST:: SOT 12144362 SOS 7791376 HAS SOPS 6514664 HAS SOUS 2745222 HAS SOUPS 2646447 WITH SCORE 2654238.376
AT ITER 830 NEW BEST:: SOT 12144319 SOS 7791275 HAS SOPS 6514504 HAS SOUS 2745045 HAS SOUPS 2646270 WITH SCORE 2654061.275
AT ITER 831 NEW BEST:: SOT 12142982 SOS 7790882 HAS SOPS 6513691 HAS SOUS 2742414 HAS SOUPS 2643513 WITH SCORE 2651303.882
AT ITER 834 NEW BEST:: SOT 12143028 SOS 7791114 HAS SOPS 6513969 HAS SOUS 2742204 HAS SOUPS 2643303 WITH SCORE 2651094.114
AT ITER 839 NEW BEST:: SOT 12141649 SOS 7785824 HAS SOPS 6508773 HAS SOUS 2739144 HAS SOUPS 2640243 WITH SCORE 2648028.824
AT ITER 863 NEW BEST:: SOT 12137891 SOS 7782066 HAS SOPS 6505015 HAS SOUS 2735386 HAS SOUPS 2636485 WITH SCORE 2644267.066
AT ITER 876 NEW BEST:: SOT 12132790 SOS 7776719 HAS SOPS 6499914 HAS SOUS 2730080 HAS SOUPS 2631220 WITH SCORE 2638996.719
AT ITER 877 NEW BEST:: SOT 12133288 SOS 7775676 HAS SOPS 6502869 HAS SOUS 2729935 HAS SOUPS 2631075 WITH SCORE 2638850.676
AT ITER 885 NEW BEST:: SOT 12127185 SOS 7768174 HAS SOPS 6493486 HAS SOUS 2717016 HAS SOUPS 2618174 WITH SCORE 2625942.174
AT ITER 886 NEW BEST:: SOT 12126749 SOS 7767668 HAS SOPS 6493035 HAS SOUS 2716200 HAS SOUPS 2617376 WITH SCORE 2625143.668
AT ITER 902 NEW BEST:: SOT 12119212 SOS 7752034 HAS SOPS 6483478 HAS SOUS 2714659 HAS SOUPS 2616063 WITH SCORE 2623815.034
AT ITER 903 NEW BEST:: SOT 12119038 SOS 7751882 HAS SOPS 6483296 HAS SOUS 2714379 HAS SOUPS 2615783 WITH SCORE 2623534.882
AT ITER 906 NEW BEST:: SOT 12114929 SOS 7745511 HAS SOPS 6475891 HAS SOUS 2702773 HAS SOUPS 2604509 WITH SCORE 2612254.511
AT ITER 912 NEW BEST:: SOT 12111611 SOS 7742031 HAS SOPS 6472474 HAS SOUS 2695873 HAS SOUPS 2597645 WITH SCORE 2605387.031
AT ITER 921 NEW BEST:: SOT 12110997 SOS 7741417 HAS SOPS 6471188 HAS SOUS 2692279 HAS SOUPS 2594051 WITH SCORE 2601792.417
AT ITER 930 NEW BEST:: SOT 12110264 SOS 7740159 HAS SOPS 6468608 HAS SOUS 2687467 HAS SOUPS 2589783 WITH SCORE 2597523.159
AT ITER 937 NEW BEST:: SOT 12110232 SOS 7740127 HAS SOPS 6468576 HAS SOUS 2687299 HAS SOUPS 2589615 WITH SCORE 2597355.127
AT ITER 954 NEW BEST:: SOT 12109688 SOS 7739583 HAS SOPS 6467402 HAS SOUS 2685711 HAS SOUPS 2588009 WITH SCORE 2595748.583
AT ITER 961 NEW BEST:: SOT 12109615 SOS 7740474 HAS SOPS 6468738 HAS SOUS 2685505 HAS SOUPS 2587803 WITH SCORE 2595543.474
AT ITER 964 NEW BEST:: SOT 12109287 SOS 7740151 HAS SOPS 6468255 HAS SOUS 2685197 HAS SOUPS 2587335 WITH SCORE 2595075.151
AT ITER 970 NEW BEST:: SOT 12113271 SOS 7744135 HAS SOPS 6471407 HAS SOUS 2684781 HAS SOUPS 2586919 WITH SCORE 2594663.135
AT ITER 971 NEW BEST:: SOT 12113228 SOS 7743362 HAS SOPS 6470402 HAS SOUS 2684712 HAS SOUPS 2586850 WITH SCORE 2594593.362
AT ITER 973 NEW BEST:: SOT 12109636 SOS 7725737 HAS SOPS 6443603 HAS SOUS 2679900 HAS SOUPS 2581817 WITH SCORE 2589542.737
AT ITER 979 NEW BEST:: SOT 12107662 SOS 7720480 HAS SOPS 6443505 HAS SOUS 2678781 HAS SOUPS 2580698 WITH SCORE 2588418.48
AT ITER 986 NEW BEST:: SOT 12107242 SOS 7716319 HAS SOPS 6440595 HAS SOUS 2677147 HAS SOUPS 2579064 WITH SCORE 2586780.319
AT ITER 990 NEW BEST:: SOT 12099080 SOS 7704634 HAS SOPS 6427570 HAS SOUS 2668139 HAS SOUPS 2570504 WITH SCORE 2578208.634
AT ITER 1014 NEW BEST:: SOT 12097474 SOS 7700893 HAS SOPS 6421614 HAS SOUS 2666136 HAS SOUPS 2568501 WITH SCORE 2576201.893
AT ITER 1015 NEW BEST:: SOT 12097740 SOS 7701101 HAS SOPS 6421768 HAS SOUS 2666021 HAS SOUPS 2568393 WITH SCORE 2576094.101
AT ITER 1030 NEW BEST:: SOT 12098562 SOS 7702996 HAS SOPS 6426354 HAS SOUS 2665444 HAS SOUPS 2567816 WITH SCORE 2575518.996
AT ITER 1034 NEW BEST:: SOT 12097541 SOS 7700249 HAS SOPS 6423691 HAS SOUS 2663945 HAS SOUPS 2566317 WITH SCORE 2574017.249
AT ITER 1046 NEW BEST:: SOT 12097539 SOS 7699819 HAS SOPS 6423253 HAS SOUS 2663938 HAS SOUPS 2566310 WITH SCORE 2574009.819
AT ITER 1052 NEW BEST:: SOT 12094536 SOS 7694062 HAS SOPS 6417347 HAS SOUS 2657309 HAS SOUPS 2559681 WITH SCORE 2567375.062
AT ITER 1058 NEW BEST:: SOT 12094208 SOS 7693499 HAS SOPS 6418343 HAS SOUS 2655248 HAS SOUPS 2557620 WITH SCORE 2565313.499
AT ITER 1081 NEW BEST:: SOT 12092493 SOS 7691778 HAS SOPS 6417222 HAS SOUS 2652014 HAS SOUPS 2554386 WITH SCORE 2562077.778
AT ITER 1110 NEW BEST:: SOT 12091790 SOS 7684828 HAS SOPS 6415543 HAS SOUS 2649682 HAS SOUPS 2552326 WITH SCORE 2560010.828
AT ITER 1113 NEW BEST:: SOT 12091874 SOS 7684984 HAS SOPS 6415463 HAS SOUS 2649521 HAS SOUPS 2552165 WITH SCORE 2559849.984
AT ITER 1114 NEW BEST:: SOT 12089594 SOS 7682704 HAS SOPS 6412863 HAS SOUS 2645929 HAS SOUPS 2548573 WITH SCORE 2556255.704
AT ITER 1130 NEW BEST:: SOT 12088976 SOS 7682836 HAS SOPS 6413109 HAS SOUS 2645417 HAS SOUPS 2548061 WITH SCORE 2555743.836
AT ITER 1131 NEW BEST:: SOT 12089296 SOS 7684437 HAS SOPS 6414658 HAS SOUS 2642411 HAS SOUPS 2545055 WITH SCORE 2552739.437
AT ITER 1140 NEW BEST:: SOT 12078602 SOS 7673743 HAS SOPS 6403868 HAS SOUS 2631029 HAS SOUPS 2533673 WITH SCORE 2541346.743
AT ITER 1147 NEW BEST:: SOT 12076929 SOS 7672179 HAS SOPS 6401585 HAS SOUS 2629634 HAS SOUPS 2532069 WITH SCORE 2539741.179
AT ITER 1164 NEW BEST:: SOT 12077111 SOS 7671232 HAS SOPS 6402960 HAS SOUS 2629037 HAS SOUPS 2531472 WITH SCORE 2539143.232
AT ITER 1179 NEW BEST:: SOT 12077123 SOS 7671354 HAS SOPS 6403074 HAS SOUS 2629004 HAS SOUPS 2531439 WITH SCORE 2539110.354
AT ITER 1194 NEW BEST:: SOT 12078248 SOS 7673936 HAS SOPS 6405968 HAS SOUS 2628963 HAS SOUPS 2531398 WITH SCORE 2539071.936
AT ITER 1210 NEW BEST:: SOT 12083223 SOS 7695943 HAS SOPS 6430189 HAS SOUS 2616157 HAS SOUPS 2518948 WITH SCORE 2526643.943
AT ITER 1216 NEW BEST:: SOT 12084173 SOS 7692691 HAS SOPS 6427620 HAS SOUS 2616135 HAS SOUPS 2518926 WITH SCORE 2526618.691
AT ITER 1226 NEW BEST:: SOT 12082956 SOS 7691675 HAS SOPS 6428556 HAS SOUS 2613349 HAS SOUPS 2516245 WITH SCORE 2523936.675
AT ITER 1231 NEW BEST:: SOT 12080917 SOS 7684562 HAS SOPS 6422698 HAS SOUS 2612334 HAS SOUPS 2515230 WITH SCORE 2522914.562
AT ITER 1239 NEW BEST:: SOT 12080096 SOS 7683970 HAS SOPS 6421999 HAS SOUS 2609987 HAS SOUPS 2512883 WITH SCORE 2520566.97
AT ITER 1243 NEW BEST:: SOT 12080194 SOS 7684425 HAS SOPS 6422380 HAS SOUS 2609972 HAS SOUPS 2512868 WITH SCORE 2520552.425
AT ITER 1251 NEW BEST:: SOT 12080143 SOS 7684334 HAS SOPS 6422273 HAS SOUS 2609841 HAS SOUPS 2512739 WITH SCORE 2520423.334
AT ITER 1252 NEW BEST:: SOT 12079706 SOS 7684147 HAS SOPS 6422045 HAS SOUS 2608780 HAS SOUPS 2511678 WITH SCORE 2519362.147
AT ITER 1257 NEW BEST:: SOT 12076668 SOS 7676360 HAS SOPS 6412704 HAS SOUS 2593167 HAS SOUPS 2496225 WITH SCORE 2503901.36
AT ITER 1264 NEW BEST:: SOT 12066145 SOS 7649727 HAS SOPS 6403387 HAS SOUS 2582888 HAS SOUPS 2486253 WITH SCORE 2493902.727
AT ITER 1266 NEW BEST:: SOT 12066115 SOS 7647251 HAS SOPS 6403245 HAS SOUS 2582793 HAS SOUPS 2486158 WITH SCORE 2493805.251
AT ITER 1268 NEW BEST:: SOT 12066000 SOS 7646372 HAS SOPS 6402156 HAS SOUS 2581712 HAS SOUPS 2485077 WITH SCORE 2492723.372
AT ITER 1287 NEW BEST:: SOT 12061434 SOS 7639563 HAS SOPS 6397766 HAS SOUS 2574012 HAS SOUPS 2477377 WITH SCORE 2485016.563
AT ITER 1292 NEW BEST:: SOT 12062451 SOS 7644867 HAS SOPS 6401538 HAS SOUS 2572575 HAS SOUPS 2475896 WITH SCORE 2483540.867
AT ITER 1294 NEW BEST:: SOT 12064269 SOS 7649443 HAS SOPS 6409085 HAS SOUS 2568274 HAS SOUPS 2471729 WITH SCORE 2479378.443
AT ITER 1298 NEW BEST:: SOT 12064186 SOS 7651231 HAS SOPS 6408347 HAS SOUS 2565808 HAS SOUPS 2469215 WITH SCORE 2476866.231
AT ITER 1299 NEW BEST:: SOT 12063530 SOS 7650224 HAS SOPS 6405799 HAS SOUS 2562239 HAS SOUPS 2465646 WITH SCORE 2473296.224
AT ITER 1301 NEW BEST:: SOT 12066772 SOS 7650802 HAS SOPS 6407193 HAS SOUS 2560747 HAS SOUPS 2464239 WITH SCORE 2471889.802
AT ITER 1304 NEW BEST:: SOT 12068757 SOS 7654431 HAS SOPS 6412925 HAS SOUS 2558834 HAS SOUPS 2462326 WITH SCORE 2469980.431
AT ITER 1336 NEW BEST:: SOT 12068657 SOS 7654117 HAS SOPS 6412550 HAS SOUS 2558476 HAS SOUPS 2461968 WITH SCORE 2469622.117
AT ITER 1339 NEW BEST:: SOT 12070207 SOS 7665093 HAS SOPS 6430782 HAS SOUS 2553832 HAS SOUPS 2457552 WITH SCORE 2465217.093
AT ITER 1343 NEW BEST:: SOT 12070126 SOS 7664236 HAS SOPS 6431815 HAS SOUS 2553006 HAS SOUPS 2456726 WITH SCORE 2464390.236
AT ITER 1349 NEW BEST:: SOT 12066733 SOS 7660843 HAS SOPS 6428422 HAS SOUS 2549613 HAS SOUPS 2453333 WITH SCORE 2460993.843
AT ITER 1360 NEW BEST:: SOT 12066203 SOS 7660385 HAS SOPS 6427952 HAS SOUS 2548459 HAS SOUPS 2452179 WITH SCORE 2459839.385
AT ITER 1369 NEW BEST:: SOT 12063851 SOS 7646313 HAS SOPS 6414898 HAS SOUS 2548418 HAS SOUPS 2452154 WITH SCORE 2459800.313
AT ITER 1379 NEW BEST:: SOT 12063283 SOS 7646624 HAS SOPS 6414729 HAS SOUS 2545903 HAS SOUPS 2449639 WITH SCORE 2457285.624
AT ITER 1389 NEW BEST:: SOT 12060726 SOS 7645672 HAS SOPS 6410132 HAS SOUS 2533062 HAS SOUPS 2436798 WITH SCORE 2444443.672
AT ITER 1401 NEW BEST:: SOT 12059909 SOS 7643249 HAS SOPS 6408970 HAS SOUS 2530960 HAS SOUPS 2434696 WITH SCORE 2442339.249
AT ITER 1403 NEW BEST:: SOT 12059478 SOS 7642139 HAS SOPS 6407909 HAS SOUS 2529554 HAS SOUPS 2433290 WITH SCORE 2440932.139
AT ITER 1418 NEW BEST:: SOT 12061055 SOS 7644353 HAS SOPS 6412206 HAS SOUS 2517786 HAS SOUPS 2421522 WITH SCORE 2429166.353
AT ITER 1421 NEW BEST:: SOT 12060773 SOS 7643819 HAS SOPS 6411880 HAS SOUS 2516688 HAS SOUPS 2420424 WITH SCORE 2428067.819
AT ITER 1427 NEW BEST:: SOT 12060616 SOS 7643621 HAS SOPS 6411682 HAS SOUS 2516348 HAS SOUPS 2420084 WITH SCORE 2427727.621
AT ITER 1452 NEW BEST:: SOT 12058624 SOS 7641540 HAS SOPS 6409506 HAS SOUS 2513087 HAS SOUPS 2416695 WITH SCORE 2424336.54
AT ITER 1457 NEW BEST:: SOT 12059227 SOS 7648616 HAS SOPS 6418548 HAS SOUS 2513032 HAS SOUPS 2416640 WITH SCORE 2424288.616
AT ITER 1459 NEW BEST:: SOT 12052478 SOS 7641506 HAS SOPS 6411137 HAS SOUS 2500442 HAS SOUPS 2404050 WITH SCORE 2411691.506
AT ITER 1463 NEW BEST:: SOT 12051022 SOS 7640053 HAS SOPS 6409457 HAS SOUS 2498093 HAS SOUPS 2401698 WITH SCORE 2409338.053
AT ITER 1466 NEW BEST:: SOT 12050745 SOS 7639454 HAS SOPS 6408978 HAS SOUS 2497725 HAS SOUPS 2401339 WITH SCORE 2408978.454
AT ITER 1473 NEW BEST:: SOT 12051055 SOS 7634533 HAS SOPS 6400836 HAS SOUS 2496817 HAS SOUPS 2400431 WITH SCORE 2408065.533
AT ITER 1493 NEW BEST:: SOT 12051249 SOS 7636603 HAS SOPS 6403499 HAS SOUS 2494110 HAS SOUPS 2397724 WITH SCORE 2405360.603
AT ITER 1495 NEW BEST:: SOT 12053693 SOS 7640354 HAS SOPS 6409004 HAS SOUS 2490664 HAS SOUPS 2394278 WITH SCORE 2401918.354
AT ITER 1521 NEW BEST:: SOT 12056005 SOS 7644562 HAS SOPS 6413526 HAS SOUS 2489115 HAS SOUPS 2392729 WITH SCORE 2400373.562
AT ITER 1522 NEW BEST:: SOT 12055369 SOS 7644510 HAS SOPS 6413120 HAS SOUS 2485748 HAS SOUPS 2389203 WITH SCORE 2396847.51
AT ITER 1541 NEW BEST:: SOT 12064140 SOS 7651444 HAS SOPS 6426576 HAS SOUS 2482677 HAS SOUPS 2387258 WITH SCORE 2394909.444
AT ITER 1545 NEW BEST:: SOT 12059027 SOS 7646331 HAS SOPS 6421095 HAS SOUS 2477004 HAS SOUPS 2381585 WITH SCORE 2389231.331
AT ITER 1561 NEW BEST:: SOT 12051575 SOS 7632454 HAS SOPS 6407117 HAS SOUS 2470969 HAS SOUPS 2375550 WITH SCORE 2383182.454
AT ITER 1567 NEW BEST:: SOT 12054300 SOS 7637920 HAS SOPS 6413392 HAS SOUS 2470021 HAS SOUPS 2374602 WITH SCORE 2382239.92
AT ITER 1570 NEW BEST:: SOT 12054191 SOS 7638233 HAS SOPS 6413522 HAS SOUS 2469733 HAS SOUPS 2374314 WITH SCORE 2381952.233
AT ITER 1579 NEW BEST:: SOT 12053847 SOS 7637896 HAS SOPS 6412775 HAS SOUS 2466945 HAS SOUPS 2371526 WITH SCORE 2379163.896
AT ITER 1585 NEW BEST:: SOT 12047987 SOS 7620251 HAS SOPS 6395227 HAS SOUS 2464766 HAS SOUPS 2369201 WITH SCORE 2376821.251
AT ITER 1587 NEW BEST:: SOT 12040213 SOS 7612789 HAS SOPS 6392779 HAS SOUS 2459907 HAS SOUPS 2364342 WITH SCORE 2371954.789
AT ITER 1620 NEW BEST:: SOT 12032920 SOS 7601328 HAS SOPS 6378656 HAS SOUS 2453481 HAS SOUPS 2357916 WITH SCORE 2365517.328
AT ITER 1626 NEW BEST:: SOT 12031840 SOS 7600194 HAS SOPS 6377894 HAS SOUS 2451309 HAS SOUPS 2355770 WITH SCORE 2363370.194
AT ITER 1644 NEW BEST:: SOT 12031404 SOS 7599500 HAS SOPS 6376728 HAS SOUS 2450811 HAS SOUPS 2355304 WITH SCORE 2362903.5
AT ITER 1648 NEW BEST:: SOT 12029640 SOS 7596468 HAS SOPS 6374578 HAS SOUS 2448706 HAS SOUPS 2353233 WITH SCORE 2360829.468
AT ITER 1649 NEW BEST:: SOT 12028792 SOS 7593082 HAS SOPS 6372281 HAS SOUS 2447287 HAS SOUPS 2351814 WITH SCORE 2359407.082
AT ITER 1672 NEW BEST:: SOT 12021267 SOS 7585557 HAS SOPS 6364228 HAS SOUS 2439664 HAS SOUPS 2343663 WITH SCORE 2351248.557
AT ITER 1678 NEW BEST:: SOT 12022834 SOS 7589860 HAS SOPS 6367226 HAS SOUS 2438641 HAS SOUPS 2342574 WITH SCORE 2350163.86
AT ITER 1686 NEW BEST:: SOT 12022958 SOS 7590294 HAS SOPS 6366409 HAS SOUS 2431485 HAS SOUPS 2335418 WITH SCORE 2343008.294
AT ITER 1688 NEW BEST:: SOT 12023927 SOS 7587587 HAS SOPS 6368031 HAS SOUS 2428005 HAS SOUPS 2332107 WITH SCORE 2339694.587
AT ITER 1712 NEW BEST:: SOT 12022799 SOS 7586033 HAS SOPS 6366090 HAS SOUS 2425954 HAS SOUPS 2330068 WITH SCORE 2337654.033
AT ITER 1716 NEW BEST:: SOT 12023356 SOS 7586329 HAS SOPS 6367897 HAS SOUS 2423686 HAS SOUPS 2327906 WITH SCORE 2335492.329
AT ITER 1728 NEW BEST:: SOT 12023349 SOS 7586322 HAS SOPS 6367890 HAS SOUS 2423423 HAS SOUPS 2327643 WITH SCORE 2335229.322
AT ITER 1738 NEW BEST:: SOT 12023099 SOS 7584488 HAS SOPS 6365179 HAS SOUS 2422914 HAS SOUPS 2327118 WITH SCORE 2334702.488
AT ITER 1740 NEW BEST:: SOT 12023033 SOS 7584419 HAS SOPS 6365088 HAS SOUS 2422765 HAS SOUPS 2326969 WITH SCORE 2334553.419
AT ITER 1744 NEW BEST:: SOT 12022389 SOS 7587474 HAS SOPS 6363564 HAS SOUS 2421368 HAS SOUPS 2325572 WITH SCORE 2333159.474
AT ITER 1747 NEW BEST:: SOT 12021658 SOS 7586166 HAS SOPS 6361799 HAS SOUS 2421297 HAS SOUPS 2325529 WITH SCORE 2333115.166
AT ITER 1762 NEW BEST:: SOT 12021261 SOS 7585104 HAS SOPS 6360554 HAS SOUS 2420494 HAS SOUPS 2324726 WITH SCORE 2332311.104
AT ITER 1763 NEW BEST:: SOT 12017976 SOS 7580715 HAS SOPS 6355161 HAS SOUS 2414296 HAS SOUPS 2318570 WITH SCORE 2326150.715
AT ITER 1779 NEW BEST:: SOT 12018870 SOS 7581638 HAS SOPS 6356820 HAS SOUS 2414142 HAS SOUPS 2318416 WITH SCORE 2325997.638
AT ITER 1789 NEW BEST:: SOT 12017974 SOS 7586338 HAS SOPS 6357396 HAS SOUS 2411919 HAS SOUPS 2316193 WITH SCORE 2323779.338
AT ITER 1814 NEW BEST:: SOT 12015544 SOS 7582148 HAS SOPS 6354306 HAS SOUS 2408827 HAS SOUPS 2313101 WITH SCORE 2320683.148
AT ITER 1819 NEW BEST:: SOT 12016350 SOS 7582531 HAS SOPS 6355290 HAS SOUS 2407857 HAS SOUPS 2313056 WITH SCORE 2320638.531
AT ITER 1822 NEW BEST:: SOT 12016682 SOS 7582972 HAS SOPS 6355874 HAS SOUS 2407752 HAS SOUPS 2312974 WITH SCORE 2320556.972
AT ITER 1837 NEW BEST:: SOT 12016751 SOS 7582553 HAS SOPS 6355243 HAS SOUS 2406865 HAS SOUPS 2312087 WITH SCORE 2319669.553
AT ITER 1856 NEW BEST:: SOT 12015810 SOS 7581445 HAS SOPS 6355529 HAS SOUS 2405954 HAS SOUPS 2311176 WITH SCORE 2318757.445
AT ITER 1859 NEW BEST:: SOT 12014881 SOS 7580652 HAS SOPS 6354483 HAS SOUS 2405574 HAS SOUPS 2310517 WITH SCORE 2318097.652
AT ITER 1869 NEW BEST:: SOT 12015039 SOS 7577897 HAS SOPS 6353491 HAS SOUS 2404941 HAS SOUPS 2309884 WITH SCORE 2317461.897
AT ITER 1890 NEW BEST:: SOT 12015159 SOS 7578017 HAS SOPS 6353611 HAS SOUS 2404917 HAS SOUPS 2309860 WITH SCORE 2317438.017
AT ITER 1891 NEW BEST:: SOT 12016340 SOS 7581285 HAS SOPS 6355823 HAS SOUS 2404389 HAS SOUPS 2309332 WITH SCORE 2316913.285
AT ITER 1904 NEW BEST:: SOT 12015880 SOS 7580104 HAS SOPS 6354915 HAS SOUS 2399227 HAS SOUPS 2304170 WITH SCORE 2311750.104
AT ITER 1906 NEW BEST:: SOT 12012255 SOS 7568354 HAS SOPS 6346410 HAS SOUS 2396803 HAS SOUPS 2301853 WITH SCORE 2309421.354
AT ITER 1907 NEW BEST:: SOT 12009766 SOS 7565865 HAS SOPS 6343505 HAS SOUS 2394106 HAS SOUPS 2299156 WITH SCORE 2306721.865
AT ITER 1908 NEW BEST:: SOT 12007518 SOS 7565667 HAS SOPS 6345861 HAS SOUS 2390191 HAS SOUPS 2297025 WITH SCORE 2304590.667
AT ITER 1910 NEW BEST:: SOT 12007978 SOS 7564578 HAS SOPS 6346999 HAS SOUS 2388886 HAS SOUPS 2295720 WITH SCORE 2303284.578
AT ITER 1917 NEW BEST:: SOT 12006889 SOS 7563325 HAS SOPS 6345406 HAS SOUS 2386321 HAS SOUPS 2293261 WITH SCORE 2300824.325
AT ITER 1919 NEW BEST:: SOT 12007314 SOS 7565598 HAS SOPS 6346975 HAS SOUS 2386265 HAS SOUPS 2293205 WITH SCORE 2300770.598
AT ITER 1926 NEW BEST:: SOT 12007057 SOS 7558609 HAS SOPS 6342638 HAS SOUS 2385899 HAS SOUPS 2292775 WITH SCORE 2300333.609
AT ITER 1964 NEW BEST:: SOT 12007047 SOS 7558601 HAS SOPS 6342624 HAS SOUS 2385889 HAS SOUPS 2292765 WITH SCORE 2300323.601
AT ITER 1980 NEW BEST:: SOT 12005237 SOS 7554983 HAS SOPS 6338570 HAS SOUS 2384209 HAS SOUPS 2291069 WITH SCORE 2298623.983
AT ITER 1990 NEW BEST:: SOT 12005860 SOS 7560209 HAS SOPS 6342696 HAS SOUS 2381771 HAS SOUPS 2288631 WITH SCORE 2296191.209
AT ITER 2006 NEW BEST:: SOT 12003569 SOS 7562631 HAS SOPS 6342686 HAS SOUS 2374476 HAS SOUPS 2281336 WITH SCORE 2288898.631
AT ITER 2008 NEW BEST:: SOT 12007691 SOS 7566741 HAS SOPS 6346008 HAS SOUS 2373322 HAS SOUPS 2279810 WITH SCORE 2287376.741
AT ITER 2016 NEW BEST:: SOT 12006607 SOS 7565641 HAS SOPS 6344436 HAS SOUS 2368955 HAS SOUPS 2275443 WITH SCORE 2283008.641
AT ITER 2022 NEW BEST:: SOT 11998287 SOS 7557321 HAS SOPS 6335556 HAS SOUS 2358367 HAS SOUPS 2264855 WITH SCORE 2272412.321
AT ITER 2033 NEW BEST:: SOT 11997371 SOS 7557281 HAS SOPS 6335682 HAS SOUS 2357455 HAS SOUPS 2263943 WITH SCORE 2271500.281
AT ITER 2046 NEW BEST:: SOT 11996999 SOS 7555867 HAS SOPS 6333763 HAS SOUS 2356876 HAS SOUPS 2263364 WITH SCORE 2270919.867
AT ITER 2050 NEW BEST:: SOT 11991999 SOS 7546081 HAS SOPS 6319726 HAS SOUS 2357056 HAS SOUPS 2263270 WITH SCORE 2270816.081
AT ITER 2075 NEW BEST:: SOT 11991181 SOS 7543389 HAS SOPS 6315773 HAS SOUS 2357014 HAS SOUPS 2263228 WITH SCORE 2270771.389
AT ITER 2078 NEW BEST:: SOT 11989428 SOS 7539996 HAS SOPS 6313187 HAS SOUS 2354904 HAS SOUPS 2261180 WITH SCORE 2268719.996
AT ITER 2085 NEW BEST:: SOT 11989221 SOS 7540250 HAS SOPS 6313274 HAS SOUS 2354421 HAS SOUPS 2260697 WITH SCORE 2268237.25
AT ITER 2091 NEW BEST:: SOT 11990482 SOS 7544024 HAS SOPS 6315718 HAS SOUS 2353231 HAS SOUPS 2259473 WITH SCORE 2267017.024
AT ITER 2098 NEW BEST:: SOT 11994188 SOS 7554960 HAS SOPS 6326353 HAS SOUS 2346704 HAS SOUPS 2252946 WITH SCORE 2260500.96
AT ITER 2107 NEW BEST:: SOT 11992199 SOS 7553178 HAS SOPS 6323826 HAS SOUS 2342864 HAS SOUPS 2248841 WITH SCORE 2256394.178
AT ITER 2108 NEW BEST:: SOT 11992106 SOS 7554979 HAS SOPS 6322904 HAS SOUS 2334013 HAS SOUPS 2239872 WITH SCORE 2247426.979
AT ITER 2130 NEW BEST:: SOT 11991551 SOS 7554883 HAS SOPS 6323210 HAS SOUS 2333959 HAS SOUPS 2239818 WITH SCORE 2247372.883
AT ITER 2131 NEW BEST:: SOT 11994150 SOS 7560855 HAS SOPS 6330172 HAS SOUS 2329000 HAS SOUPS 2234895 WITH SCORE 2242455.855
AT ITER 2157 NEW BEST:: SOT 11992106 SOS 7557088 HAS SOPS 6327592 HAS SOUS 2326017 HAS SOUPS 2231912 WITH SCORE 2239469.088
AT ITER 2211 NEW BEST:: SOT 11991945 SOS 7557053 HAS SOPS 6327291 HAS SOUS 2325912 HAS SOUPS 2231800 WITH SCORE 2239357.053
AT ITER 2215 NEW BEST:: SOT 11991055 SOS 7556163 HAS SOPS 6326401 HAS SOUS 2325022 HAS SOUPS 2230910 WITH SCORE 2238466.163
AT ITER 2219 NEW BEST:: SOT 11991873 SOS 7560859 HAS SOPS 6330101 HAS SOUS 2324665 HAS SOUPS 2230553 WITH SCORE 2238113.859
AT ITER 2231 NEW BEST:: SOT 11991996 SOS 7563203 HAS SOPS 6329749 HAS SOUS 2321964 HAS SOUPS 2227852 WITH SCORE 2235415.203
AT ITER 2247 NEW BEST:: SOT 11993045 SOS 7565734 HAS SOPS 6331415 HAS SOUS 2321324 HAS SOUPS 2227212 WITH SCORE 2234777.734
AT ITER 2250 NEW BEST:: SOT 11996652 SOS 7569341 HAS SOPS 6334190 HAS SOUS 2320187 HAS SOUPS 2226075 WITH SCORE 2233644.341
AT ITER 2260 NEW BEST:: SOT 11995305 SOS 7567994 HAS SOPS 6332667 HAS SOUS 2318136 HAS SOUPS 2224024 WITH SCORE 2231591.994
AT ITER 2291 NEW BEST:: SOT 11995341 SOS 7568036 HAS SOPS 6332727 HAS SOUS 2317958 HAS SOUPS 2223846 WITH SCORE 2231414.036
AT ITER 2295 NEW BEST:: SOT 11995521 SOS 7568131 HAS SOPS 6332855 HAS SOUS 2317447 HAS SOUPS 2223347 WITH SCORE 2230915.131
AT ITER 2301 NEW BEST:: SOT 11993333 SOS 7563887 HAS SOPS 6329042 HAS SOUS 2312452 HAS SOUPS 2218743 WITH SCORE 2226306.887
AT ITER 2329 NEW BEST:: SOT 11990584 SOS 7560315 HAS SOPS 6324465 HAS SOUS 2307145 HAS SOUPS 2213402 WITH SCORE 2220962.315
AT ITER 2343 NEW BEST:: SOT 11986861 SOS 7557946 HAS SOPS 6319311 HAS SOUS 2297522 HAS SOUPS 2202773 WITH SCORE 2210330.946
AT ITER 2365 NEW BEST:: SOT 11982167 SOS 7553412 HAS SOPS 6314031 HAS SOUS 2290882 HAS SOUPS 2196191 WITH SCORE 2203744.412
AT ITER 2387 NEW BEST:: SOT 11981032 SOS 7552015 HAS SOPS 6312619 HAS SOUS 2289413 HAS SOUPS 2194697 WITH SCORE 2202249.015
AT ITER 2391 NEW BEST:: SOT 11980988 SOS 7551901 HAS SOPS 6312569 HAS SOUS 2289373 HAS SOUPS 2194681 WITH SCORE 2202232.901
AT ITER 2393 NEW BEST:: SOT 11977334 SOS 7548233 HAS SOPS 6308894 HAS SOUS 2285682 HAS SOUPS 2190983 WITH SCORE 2198531.233
AT ITER 2395 NEW BEST:: SOT 11975410 SOS 7545540 HAS SOPS 6305897 HAS SOUS 2283548 HAS SOUPS 2188849 WITH SCORE 2196394.54
AT ITER 2403 NEW BEST:: SOT 11973886 SOS 7543954 HAS SOPS 6305190 HAS SOUS 2279982 HAS SOUPS 2185325 WITH SCORE 2192868.954
AT ITER 2407 NEW BEST:: SOT 11971580 SOS 7541036 HAS SOPS 6304083 HAS SOUS 2274798 HAS SOUPS 2180572 WITH SCORE 2188113.036
AT ITER 2422 NEW BEST:: SOT 11970911 SOS 7540128 HAS SOPS 6303186 HAS SOUS 2273702 HAS SOUPS 2179477 WITH SCORE 2187017.128
AT ITER 2437 NEW BEST:: SOT 11970765 SOS 7539982 HAS SOPS 6302992 HAS SOUS 2273352 HAS SOUPS 2179127 WITH SCORE 2186666.982
AT ITER 2443 NEW BEST:: SOT 11972251 SOS 7542084 HAS SOPS 6305124 HAS SOUS 2272990 HAS SOUPS 2178765 WITH SCORE 2186307.084
AT ITER 2448 NEW BEST:: SOT 11972203 SOS 7543217 HAS SOPS 6308222 HAS SOUS 2271876 HAS SOUPS 2177651 WITH SCORE 2185194.217
AT ITER 2453 NEW BEST:: SOT 11971820 SOS 7542347 HAS SOPS 6307457 HAS SOUS 2271793 HAS SOUPS 2177568 WITH SCORE 2185110.347
AT ITER 2455 NEW BEST:: SOT 11971560 SOS 7544855 HAS SOPS 6313128 HAS SOUS 2270545 HAS SOUPS 2176320 WITH SCORE 2183864.855
AT ITER 2460 NEW BEST:: SOT 11973330 SOS 7545984 HAS SOPS 6311855 HAS SOUS 2270300 HAS SOUPS 2176075 WITH SCORE 2183620.984
AT ITER 2471 NEW BEST:: SOT 11972569 SOS 7545223 HAS SOPS 6310742 HAS SOUS 2268023 HAS SOUPS 2173798 WITH SCORE 2181343.223
AT ITER 2476 NEW BEST:: SOT 11965656 SOS 7536429 HAS SOPS 6301909 HAS SOUS 2262101 HAS SOUPS 2167954 WITH SCORE 2175490.429
AT ITER 2502 NEW BEST:: SOT 11967010 SOS 7542992 HAS SOPS 6306261 HAS SOUS 2261794 HAS SOUPS 2167647 WITH SCORE 2175189.992
AT ITER 2505 NEW BEST:: SOT 11966644 SOS 7542662 HAS SOPS 6305811 HAS SOUS 2261128 HAS SOUPS 2166975 WITH SCORE 2174517.662
AT ITER 2543 NEW BEST:: SOT 11972485 SOS 7551329 HAS SOPS 6312571 HAS SOUS 2259867 HAS SOUPS 2165714 WITH SCORE 2173265.329
AT ITER 2544 NEW BEST:: SOT 11972176 SOS 7551077 HAS SOPS 6312312 HAS SOUS 2259100 HAS SOUPS 2164952 WITH SCORE 2172503.077
AT ITER 2558 NEW BEST:: SOT 11969506 SOS 7539591 HAS SOPS 6308722 HAS SOUS 2247045 HAS SOUPS 2154300 WITH SCORE 2161839.591
AT ITER 2564 NEW BEST:: SOT 11968511 SOS 7538607 HAS SOPS 6307430 HAS SOUS 2245676 HAS SOUPS 2152931 WITH SCORE 2160469.607
AT ITER 2568 NEW BEST:: SOT 11968334 SOS 7539961 HAS SOPS 6307993 HAS SOUS 2244901 HAS SOUPS 2152131 WITH SCORE 2159670.961
AT ITER 2575 NEW BEST:: SOT 11968768 SOS 7541224 HAS SOPS 6308724 HAS SOUS 2244329 HAS SOUPS 2151559 WITH SCORE 2159100.224
AT ITER 2600 NEW BEST:: SOT 11969273 SOS 7542680 HAS SOPS 6310449 HAS SOUS 2242862 HAS SOUPS 2150092 WITH SCORE 2157634.68
AT ITER 2601 NEW BEST:: SOT 11969244 SOS 7542601 HAS SOPS 6310407 HAS SOUS 2242798 HAS SOUPS 2150028 WITH SCORE 2157570.601
AT ITER 2618 NEW BEST:: SOT 11966830 SOS 7538272 HAS SOPS 6306378 HAS SOUS 2239068 HAS SOUPS 2146298 WITH SCORE 2153836.272
AT ITER 2624 NEW BEST:: SOT 11966589 SOS 7537347 HAS SOPS 6304825 HAS SOUS 2238791 HAS SOUPS 2146001 WITH SCORE 2153538.347
AT ITER 2640 NEW BEST:: SOT 11966230 SOS 7537536 HAS SOPS 6305239 HAS SOUS 2237353 HAS SOUPS 2144774 WITH SCORE 2152311.536
AT ITER 2645 NEW BEST:: SOT 11965456 SOS 7536355 HAS SOPS 6305057 HAS SOUS 2235705 HAS SOUPS 2143156 WITH SCORE 2150692.355
AT ITER 2652 NEW BEST:: SOT 11965152 SOS 7535960 HAS SOPS 6304563 HAS SOUS 2235443 HAS SOUPS 2142815 WITH SCORE 2150350.96
AT ITER 2655 NEW BEST:: SOT 11964408 SOS 7535200 HAS SOPS 6303703 HAS SOUS 2233875 HAS SOUPS 2141247 WITH SCORE 2148782.2
AT ITER 2660 NEW BEST:: SOT 11962820 SOS 7533612 HAS SOPS 6302115 HAS SOUS 2232043 HAS SOUPS 2139415 WITH SCORE 2146948.612
AT ITER 2680 NEW BEST:: SOT 11958907 SOS 7526444 HAS SOPS 6295687 HAS SOUS 2227719 HAS SOUPS 2135127 WITH SCORE 2142653.444
AT ITER 2693 NEW BEST:: SOT 11958132 SOS 7525669 HAS SOPS 6294704 HAS SOUS 2227568 HAS SOUPS 2134976 WITH SCORE 2142501.669
AT ITER 2695 NEW BEST:: SOT 11957911 SOS 7525268 HAS SOPS 6294287 HAS SOUS 2227310 HAS SOUPS 2134718 WITH SCORE 2142243.268
AT ITER 2701 NEW BEST:: SOT 11958776 SOS 7528406 HAS SOPS 6297065 HAS SOUS 2226897 HAS SOUPS 2134305 WITH SCORE 2141833.406
AT ITER 2715 NEW BEST:: SOT 11958837 SOS 7528167 HAS SOPS 6300401 HAS SOUS 2226258 HAS SOUPS 2133669 WITH SCORE 2141197.167
AT ITER 2716 NEW BEST:: SOT 11953158 SOS 7520240 HAS SOPS 6290701 HAS SOUS 2219491 HAS SOUPS 2126902 WITH SCORE 2134422.24
AT ITER 2719 NEW BEST:: SOT 11955208 SOS 7522290 HAS SOPS 6292191 HAS SOUS 2218945 HAS SOUPS 2126292 WITH SCORE 2133814.29
AT ITER 2722 NEW BEST:: SOT 11955071 SOS 7522604 HAS SOPS 6292270 HAS SOUS 2216434 HAS SOUPS 2124040 WITH SCORE 2131562.604
AT ITER 2726 NEW BEST:: SOT 11954964 SOS 7522349 HAS SOPS 6293239 HAS SOUS 2216118 HAS SOUPS 2123724 WITH SCORE 2131246.349
AT ITER 2746 NEW BEST:: SOT 11954964 SOS 7522376 HAS SOPS 6293252 HAS SOUS 2216063 HAS SOUPS 2123667 WITH SCORE 2131189.376
AT ITER 2748 NEW BEST:: SOT 11955116 SOS 7523540 HAS SOPS 6294231 HAS SOUS 2214923 HAS SOUPS 2122501 WITH SCORE 2130024.54
AT ITER 2755 NEW BEST:: SOT 11954734 SOS 7523217 HAS SOPS 6293120 HAS SOUS 2212685 HAS SOUPS 2120299 WITH SCORE 2127822.217
AT ITER 2765 NEW BEST:: SOT 11954286 SOS 7522681 HAS SOPS 6292100 HAS SOUS 2212039 HAS SOUPS 2119653 WITH SCORE 2127175.681
AT ITER 2823 NEW BEST:: SOT 11954327 SOS 7522817 HAS SOPS 6292161 HAS SOUS 2211972 HAS SOUPS 2119586 WITH SCORE 2127108.817
AT ITER 2829 NEW BEST:: SOT 11954042 SOS 7523403 HAS SOPS 6291704 HAS SOUS 2211265 HAS SOUPS 2118810 WITH SCORE 2126333.403
AT ITER 2835 NEW BEST:: SOT 11954042 SOS 7523383 HAS SOPS 6291684 HAS SOUS 2211234 HAS SOUPS 2118779 WITH SCORE 2126302.383
AT ITER 2848 NEW BEST:: SOT 11953683 SOS 7522859 HAS SOPS 6291496 HAS SOUS 2208851 HAS SOUPS 2117056 WITH SCORE 2124578.859
AT ITER 2861 NEW BEST:: SOT 11951945 SOS 7520827 HAS SOPS 6289084 HAS SOUS 2206305 HAS SOUPS 2114510 WITH SCORE 2122030.827
AT ITER 2864 NEW BEST:: SOT 11951165 SOS 7518815 HAS SOPS 6287512 HAS SOUS 2205280 HAS SOUPS 2113525 WITH SCORE 2121043.815
AT ITER 2904 NEW BEST:: SOT 11951336 SOS 7518777 HAS SOPS 6286792 HAS SOUS 2204794 HAS SOUPS 2113061 WITH SCORE 2120579.777
AT ITER 2907 NEW BEST:: SOT 11951098 SOS 7517846 HAS SOPS 6284465 HAS SOUS 2204310 HAS SOUPS 2112577 WITH SCORE 2120094.846
AT ITER 2914 NEW BEST:: SOT 11951072 SOS 7517857 HAS SOPS 6284461 HAS SOUS 2204244 HAS SOUPS 2112511 WITH SCORE 2120028.857
AT ITER 2923 NEW BEST:: SOT 11952974 SOS 7523033 HAS SOPS 6294430 HAS SOUS 2204168 HAS SOUPS 2112435 WITH SCORE 2119958.033
AT ITER 2950 NEW BEST:: SOT 11951549 SOS 7516888 HAS SOPS 6288168 HAS SOUS 2204000 HAS SOUPS 2112267 WITH SCORE 2119783.888
AT ITER 2974 NEW BEST:: SOT 11951774 SOS 7517288 HAS SOPS 6288560 HAS SOUS 2203310 HAS SOUPS 2111669 WITH SCORE 2119186.288
AT ITER 2988 NEW BEST:: SOT 11958962 SOS 7515341 HAS SOPS 6286297 HAS SOUS 2202920 HAS SOUPS 2111441 WITH SCORE 2118956.341
AT ITER 2989 NEW BEST:: SOT 11958851 SOS 7515230 HAS SOPS 6286186 HAS SOUS 2202661 HAS SOUPS 2111182 WITH SCORE 2118697.23
AT ITER 3008 NEW BEST:: SOT 11959002 SOS 7515493 HAS SOPS 6287968 HAS SOUS 2202526 HAS SOUPS 2111047 WITH SCORE 2118562.493
AT ITER 3011 NEW BEST:: SOT 11958990 SOS 7515481 HAS SOPS 6287956 HAS SOUS 2202482 HAS SOUPS 2111003 WITH SCORE 2118518.481
AT ITER 3013 NEW BEST:: SOT 11959333 SOS 7517148 HAS SOPS 6289429 HAS SOUS 2200044 HAS SOUPS 2108565 WITH SCORE 2116082.148
AT ITER 3016 NEW BEST:: SOT 11960083 SOS 7521113 HAS SOPS 6293968 HAS SOUS 2199628 HAS SOUPS 2108149 WITH SCORE 2115670.113
AT ITER 3025 NEW BEST:: SOT 11960053 SOS 7520941 HAS SOPS 6293810 HAS SOUS 2199554 HAS SOUPS 2108075 WITH SCORE 2115595.941
AT ITER 3030 NEW BEST:: SOT 11961820 SOS 7523300 HAS SOPS 6296842 HAS SOUS 2197129 HAS SOUPS 2105650 WITH SCORE 2113173.3
AT ITER 3043 NEW BEST:: SOT 11961770 SOS 7524298 HAS SOPS 6297581 HAS SOUS 2196499 HAS SOUPS 2105020 WITH SCORE 2112544.298
AT ITER 3046 NEW BEST:: SOT 11962097 SOS 7522889 HAS SOPS 6295587 HAS SOUS 2189012 HAS SOUPS 2097634 WITH SCORE 2105156.889
AT ITER 3051 NEW BEST:: SOT 11960167 SOS 7525706 HAS SOPS 6297449 HAS SOUS 2185248 HAS SOUPS 2093845 WITH SCORE 2101370.706
AT ITER 3069 NEW BEST:: SOT 11960078 SOS 7525617 HAS SOPS 6297360 HAS SOUS 2185007 HAS SOUPS 2093604 WITH SCORE 2101129.617
AT ITER 3072 NEW BEST:: SOT 11965459 SOS 7531124 HAS SOPS 6301811 HAS SOUS 2177150 HAS SOUPS 2085747 WITH SCORE 2093278.124
AT ITER 3074 NEW BEST:: SOT 11965590 SOS 7532008 HAS SOPS 6303256 HAS SOUS 2176244 HAS SOUPS 2084841 WITH SCORE 2092373.008
AT ITER 3075 NEW BEST:: SOT 11967414 SOS 7534099 HAS SOPS 6306829 HAS SOUS 2175945 HAS SOUPS 2084542 WITH SCORE 2092076.099
AT ITER 3088 NEW BEST:: SOT 11966832 SOS 7533583 HAS SOPS 6306133 HAS SOUS 2173997 HAS SOUPS 2082594 WITH SCORE 2090127.583
AT ITER 3092 NEW BEST:: SOT 11961701 SOS 7523427 HAS SOPS 6299604 HAS SOUS 2172437 HAS SOUPS 2081321 WITH SCORE 2088844.427
AT ITER 3094 NEW BEST:: SOT 11970456 SOS 7542531 HAS SOPS 6322955 HAS SOUS 2169813 HAS SOUPS 2078697 WITH SCORE 2086239.531
AT ITER 3102 NEW BEST:: SOT 11969013 SOS 7540993 HAS SOPS 6321108 HAS SOUS 2165964 HAS SOUPS 2074848 WITH SCORE 2082388.993
AT ITER 3108 NEW BEST:: SOT 11965996 SOS 7533853 HAS SOPS 6314255 HAS SOUS 2161624 HAS SOUPS 2070633 WITH SCORE 2078166.853
AT ITER 3109 NEW BEST:: SOT 11967647 SOS 7538019 HAS SOPS 6318625 HAS SOUS 2159653 HAS SOUPS 2068588 WITH SCORE 2076126.019
AT ITER 3110 NEW BEST:: SOT 11967193 SOS 7537472 HAS SOPS 6318389 HAS SOUS 2155224 HAS SOUPS 2064289 WITH SCORE 2071826.472
AT ITER 3120 NEW BEST:: SOT 11966150 SOS 7536819 HAS SOPS 6317540 HAS SOUS 2154556 HAS SOUPS 2063596 WITH SCORE 2071132.819
AT ITER 3135 NEW BEST:: SOT 11969686 SOS 7544985 HAS SOPS 6321422 HAS SOUS 2149471 HAS SOUPS 2058511 WITH SCORE 2066055.985
AT ITER 3147 NEW BEST:: SOT 11969432 SOS 7545025 HAS SOPS 6321545 HAS SOUS 2149153 HAS SOUPS 2058193 WITH SCORE 2065738.025
AT ITER 3149 NEW BEST:: SOT 11961967 SOS 7537394 HAS SOPS 6314733 HAS SOUS 2137448 HAS SOUPS 2047278 WITH SCORE 2054815.394
AT ITER 3152 NEW BEST:: SOT 11962082 SOS 7537509 HAS SOPS 6314768 HAS SOUS 2137243 HAS SOUPS 2047073 WITH SCORE 2054610.509
AT ITER 3153 NEW BEST:: SOT 11961591 SOS 7537711 HAS SOPS 6314445 HAS SOUS 2135210 HAS SOUPS 2045040 WITH SCORE 2052577.711
AT ITER 3167 NEW BEST:: SOT 11961581 SOS 7537701 HAS SOPS 6314387 HAS SOUS 2135160 HAS SOUPS 2044990 WITH SCORE 2052527.701
AT ITER 3171 NEW BEST:: SOT 11961350 SOS 7537722 HAS SOPS 6314905 HAS SOUS 2133176 HAS SOUPS 2043055 WITH SCORE 2050592.722
AT ITER 3175 NEW BEST:: SOT 11958836 SOS 7535208 HAS SOPS 6312071 HAS SOUS 2129062 HAS SOUPS 2038941 WITH SCORE 2046476.208
AT ITER 3190 NEW BEST:: SOT 11958602 SOS 7533113 HAS SOPS 6308924 HAS SOUS 2125957 HAS SOUPS 2035952 WITH SCORE 2043485.113
AT ITER 3232 NEW BEST:: SOT 11958589 SOS 7532910 HAS SOPS 6308671 HAS SOUS 2125919 HAS SOUPS 2035914 WITH SCORE 2043446.91
AT ITER 3233 NEW BEST:: SOT 11960104 SOS 7536319 HAS SOPS 6311394 HAS SOUS 2123521 HAS SOUPS 2033516 WITH SCORE 2041052.319
AT ITER 3271 NEW BEST:: SOT 11960572 SOS 7529677 HAS SOPS 6308002 HAS SOUS 2118742 HAS SOUPS 2028737 WITH SCORE 2036266.677
AT ITER 3279 NEW BEST:: SOT 11960278 SOS 7529879 HAS SOPS 6309167 HAS SOUS 2117918 HAS SOUPS 2027913 WITH SCORE 2035442.879
AT ITER 3281 NEW BEST:: SOT 11959541 SOS 7528344 HAS SOPS 6309105 HAS SOUS 2117656 HAS SOUPS 2027657 WITH SCORE 2035185.344
AT ITER 3301 NEW BEST:: SOT 11961656 SOS 7534131 HAS SOPS 6313383 HAS SOUS 2115807 HAS SOUPS 2025808 WITH SCORE 2033342.131
AT ITER 3309 NEW BEST:: SOT 11960198 SOS 7528984 HAS SOPS 6309809 HAS SOUS 2115557 HAS SOUPS 2025558 WITH SCORE 2033086.984
AT ITER 3316 NEW BEST:: SOT 11958407 SOS 7526890 HAS SOPS 6307538 HAS SOUS 2112893 HAS SOUPS 2022906 WITH SCORE 2030432.89
AT ITER 3340 NEW BEST:: SOT 11957380 SOS 7527376 HAS SOPS 6307195 HAS SOUS 2111831 HAS SOUPS 2021844 WITH SCORE 2029371.376
AT ITER 3355 NEW BEST:: SOT 11957052 SOS 7526484 HAS SOPS 6306385 HAS SOUS 2111624 HAS SOUPS 2021637 WITH SCORE 2029163.484
AT ITER 3364 NEW BEST:: SOT 11957192 SOS 7521146 HAS SOPS 6299393 HAS SOUS 2110181 HAS SOUPS 2020194 WITH SCORE 2027715.146
AT ITER 3377 NEW BEST:: SOT 11957015 SOS 7520993 HAS SOPS 6299120 HAS SOUS 2110004 HAS SOUPS 2019969 WITH SCORE 2027489.993
AT ITER 3381 NEW BEST:: SOT 11953851 SOS 7509175 HAS SOPS 6289749 HAS SOUS 2107209 HAS SOUPS 2017272 WITH SCORE 2024781.175
AT ITER 3382 NEW BEST:: SOT 11951778 SOS 7501932 HAS SOPS 6284517 HAS SOUS 2106526 HAS SOUPS 2016589 WITH SCORE 2024090.932
AT ITER 3392 NEW BEST:: SOT 11951825 SOS 7503221 HAS SOPS 6285872 HAS SOUS 2106488 HAS SOUPS 2016551 WITH SCORE 2024054.221
AT ITER 3394 NEW BEST:: SOT 11951634 SOS 7502016 HAS SOPS 6284397 HAS SOUS 2106397 HAS SOUPS 2016460 WITH SCORE 2023962.016
AT ITER 3426 NEW BEST:: SOT 11950476 SOS 7492769 HAS SOPS 6279022 HAS SOUS 2103377 HAS SOUPS 2013578 WITH SCORE 2021070.769
AT ITER 3434 NEW BEST:: SOT 11952103 SOS 7494790 HAS SOPS 6281445 HAS SOUS 2101087 HAS SOUPS 2011348 WITH SCORE 2018842.79
AT ITER 3443 NEW BEST:: SOT 11950032 SOS 7493358 HAS SOPS 6278496 HAS SOUS 2098488 HAS SOUPS 2008749 WITH SCORE 2016242.358
AT ITER 3446 NEW BEST:: SOT 11950412 SOS 7493738 HAS SOPS 6278876 HAS SOUS 2098340 HAS SOUPS 2008601 WITH SCORE 2016094.738
AT ITER 3447 NEW BEST:: SOT 11948725 SOS 7485805 HAS SOPS 6273683 HAS SOUS 2098100 HAS SOUPS 2008361 WITH SCORE 2015846.805
AT ITER 3450 NEW BEST:: SOT 11948656 SOS 7485923 HAS SOPS 6273767 HAS SOUS 2097849 HAS SOUPS 2008110 WITH SCORE 2015595.923
AT ITER 3456 NEW BEST:: SOT 11947995 SOS 7484755 HAS SOPS 6272221 HAS SOUS 2095847 HAS SOUPS 2006108 WITH SCORE 2013592.755
AT ITER 3468 NEW BEST:: SOT 11945602 SOS 7481643 HAS SOPS 6266489 HAS SOUS 2095097 HAS SOUPS 2005358 WITH SCORE 2012839.643
AT ITER 3473 NEW BEST:: SOT 11945111 SOS 7481041 HAS SOPS 6266030 HAS SOUS 2093255 HAS SOUPS 2003516 WITH SCORE 2010997.041
AT ITER 3486 NEW BEST:: SOT 11944545 SOS 7480475 HAS SOPS 6265016 HAS SOUS 2091029 HAS SOUPS 2001290 WITH SCORE 2008770.475
AT ITER 3497 NEW BEST:: SOT 11943753 SOS 7479694 HAS SOPS 6264224 HAS SOUS 2089192 HAS SOUPS 1999442 WITH SCORE 2006921.694
AT ITER 3566 NEW BEST:: SOT 11943560 SOS 7479012 HAS SOPS 6263454 HAS SOUS 2089176 HAS SOUPS 1999426 WITH SCORE 2006905.012
AT ITER 3586 NEW BEST:: SOT 11942064 SOS 7477523 HAS SOPS 6262033 HAS SOUS 2087309 HAS SOUPS 1997559 WITH SCORE 2005036.523
AT ITER 3596 NEW BEST:: SOT 11961048 SOS 7494910 HAS SOPS 6279958 HAS SOUS 2086540 HAS SOUPS 1996919 WITH SCORE 2004413.91
AT ITER 3603 NEW BEST:: SOT 11961218 SOS 7494465 HAS SOPS 6279355 HAS SOUS 2085846 HAS SOUPS 1996242 WITH SCORE 2003736.465
AT ITER 3609 NEW BEST:: SOT 11961071 SOS 7494927 HAS SOPS 6279408 HAS SOUS 2085853 HAS SOUPS 1996210 WITH SCORE 2003704.927
AT ITER 3638 NEW BEST:: SOT 11959065 SOS 7493623 HAS SOPS 6277963 HAS SOUS 2083335 HAS SOUPS 1993659 WITH SCORE 2001152.623
AT ITER 3647 NEW BEST:: SOT 11958775 SOS 7493328 HAS SOPS 6277257 HAS SOUS 2082327 HAS SOUPS 1992656 WITH SCORE 2000149.328
AT ITER 3649 NEW BEST:: SOT 11959756 SOS 7497461 HAS SOPS 6280922 HAS SOUS 2081956 HAS SOUPS 1992285 WITH SCORE 1999782.461
AT ITER 3650 NEW BEST:: SOT 11956259 SOS 7486394 HAS SOPS 6277670 HAS SOUS 2079795 HAS SOUPS 1990124 WITH SCORE 1997610.394
AT ITER 3677 NEW BEST:: SOT 11955499 SOS 7485130 HAS SOPS 6276843 HAS SOUS 2077878 HAS SOUPS 1988230 WITH SCORE 1995715.13
AT ITER 3700 NEW BEST:: SOT 11977205 SOS 7513023 HAS SOPS 6305581 HAS SOUS 2076756 HAS SOUPS 1987078 WITH SCORE 1994591.023
AT ITER 3702 NEW BEST:: SOT 11976468 SOS 7512286 HAS SOPS 6304252 HAS SOUS 2073279 HAS SOUPS 1983601 WITH SCORE 1991113.286
AT ITER 3704 NEW BEST:: SOT 11976414 SOS 7512912 HAS SOPS 6304426 HAS SOUS 2070947 HAS SOUPS 1981575 WITH SCORE 1989087.912
AT ITER 3706 NEW BEST:: SOT 11973877 SOS 7509211 HAS SOPS 6301404 HAS SOUS 2067274 HAS SOUPS 1977902 WITH SCORE 1985411.211
AT ITER 3709 NEW BEST:: SOT 11974759 SOS 7510373 HAS SOPS 6301989 HAS SOUS 2066865 HAS SOUPS 1977493 WITH SCORE 1985003.373
AT ITER 3710 NEW BEST:: SOT 11972181 SOS 7507795 HAS SOPS 6299411 HAS SOUS 2064231 HAS SOUPS 1974859 WITH SCORE 1982366.795
AT ITER 3739 NEW BEST:: SOT 11970291 SOS 7505164 HAS SOPS 6294008 HAS SOUS 2058435 HAS SOUPS 1969063 WITH SCORE 1976568.164
AT ITER 3748 NEW BEST:: SOT 11969823 SOS 7502161 HAS SOPS 6291271 HAS SOUS 2054360 HAS SOUPS 1964988 WITH SCORE 1972490.161
AT ITER 3753 NEW BEST:: SOT 11969471 SOS 7501809 HAS SOPS 6290743 HAS SOUS 2053304 HAS SOUPS 1963932 WITH SCORE 1971433.809
AT ITER 3759 NEW BEST:: SOT 11969941 SOS 7502279 HAS SOPS 6291213 HAS SOUS 2053190 HAS SOUPS 1963818 WITH SCORE 1971320.279
AT ITER 3768 NEW BEST:: SOT 11972039 SOS 7495971 HAS SOPS 6288189 HAS SOUS 2051483 HAS SOUPS 1962252 WITH SCORE 1969747.971
AT ITER 3797 NEW BEST:: SOT 11971756 SOS 7494311 HAS SOPS 6286427 HAS SOUS 2050849 HAS SOUPS 1961618 WITH SCORE 1969112.311
AT ITER 3799 NEW BEST:: SOT 11972764 SOS 7496769 HAS SOPS 6287945 HAS SOUS 2047264 HAS SOUPS 1958033 WITH SCORE 1965529.769
AT ITER 3805 NEW BEST:: SOT 11972763 SOS 7496614 HAS SOPS 6287891 HAS SOUS 2047240 HAS SOUPS 1958009 WITH SCORE 1965505.614
AT ITER 3811 NEW BEST:: SOT 11983644 SOS 7479072 HAS SOPS 6271850 HAS SOUS 2039700 HAS SOUPS 1950934 WITH SCORE 1958413.072
AT ITER 3813 NEW BEST:: SOT 11989702 SOS 7491183 HAS SOPS 6281553 HAS SOUS 2039141 HAS SOUPS 1950245 WITH SCORE 1957736.183
AT ITER 3816 NEW BEST:: SOT 11988801 SOS 7493469 HAS SOPS 6282804 HAS SOUS 2036195 HAS SOUPS 1947299 WITH SCORE 1954792.469
AT ITER 3820 NEW BEST:: SOT 11988116 SOS 7493468 HAS SOPS 6283055 HAS SOUS 2034982 HAS SOUPS 1946122 WITH SCORE 1953615.468
AT ITER 3824 NEW BEST:: SOT 11988192 SOS 7493506 HAS SOPS 6283209 HAS SOUS 2034980 HAS SOUPS 1946120 WITH SCORE 1953613.506
AT ITER 3864 NEW BEST:: SOT 11988227 SOS 7493380 HAS SOPS 6282601 HAS SOUS 2034710 HAS SOUPS 1945850 WITH SCORE 1953343.38
AT ITER 3866 NEW BEST:: SOT 11984971 SOS 7491520 HAS SOPS 6280814 HAS SOUS 2022759 HAS SOUPS 1933899 WITH SCORE 1941390.52
AT ITER 3894 NEW BEST:: SOT 11986152 SOS 7489636 HAS SOPS 6283945 HAS SOUS 2021267 HAS SOUPS 1932609 WITH SCORE 1940098.636
AT ITER 3899 NEW BEST:: SOT 11987937 SOS 7491576 HAS SOPS 6287675 HAS SOUS 2019314 HAS SOUPS 1930656 WITH SCORE 1938147.576
AT ITER 3903 NEW BEST:: SOT 11987536 SOS 7492055 HAS SOPS 6285775 HAS SOUS 2010990 HAS SOUPS 1922217 WITH SCORE 1929709.055
AT ITER 3915 NEW BEST:: SOT 11987011 SOS 7492571 HAS SOPS 6285146 HAS SOUS 2009167 HAS SOUPS 1920365 WITH SCORE 1927857.571
AT ITER 3922 NEW BEST:: SOT 11991030 SOS 7503094 HAS SOPS 6295466 HAS SOUS 2008672 HAS SOUPS 1919942 WITH SCORE 1927445.094
AT ITER 3925 NEW BEST:: SOT 11990881 SOS 7502945 HAS SOPS 6295253 HAS SOUS 2008207 HAS SOUPS 1919477 WITH SCORE 1926979.945
AT ITER 3966 NEW BEST:: SOT 11991559 SOS 7505248 HAS SOPS 6296366 HAS SOUS 2006307 HAS SOUPS 1917554 WITH SCORE 1925059.248
AT ITER 3983 NEW BEST:: SOT 11991855 SOS 7505726 HAS SOPS 6297333 HAS SOUS 2004396 HAS SOUPS 1915643 WITH SCORE 1923148.726
AT ITER 4006 NEW BEST:: SOT 11987182 SOS 7502093 HAS SOPS 6289660 HAS SOUS 1994863 HAS SOUPS 1906015 WITH SCORE 1913517.093
AT ITER 4019 NEW BEST:: SOT 11987182 SOS 7501647 HAS SOPS 6289626 HAS SOUS 1994829 HAS SOUPS 1905981 WITH SCORE 1913482.647
AT ITER 4023 NEW BEST:: SOT 11986932 SOS 7500907 HAS SOPS 6289145 HAS SOUS 1994250 HAS SOUPS 1905633 WITH SCORE 1913133.907
AT ITER 4036 NEW BEST:: SOT 11985295 SOS 7499461 HAS SOPS 6287397 HAS SOUS 1989322 HAS SOUPS 1900738 WITH SCORE 1908237.461
AT ITER 4061 NEW BEST:: SOT 11980806 SOS 7494908 HAS SOPS 6282366 HAS SOUS 1983208 HAS SOUPS 1894622 WITH SCORE 1902116.908
AT ITER 4066 NEW BEST:: SOT 11980398 SOS 7496630 HAS SOPS 6283951 HAS SOUS 1982449 HAS SOUPS 1893863 WITH SCORE 1901359.63
AT ITER 4073 NEW BEST:: SOT 11980500 SOS 7496662 HAS SOPS 6283969 HAS SOUS 1981453 HAS SOUPS 1892867 WITH SCORE 1900363.662
AT ITER 4079 NEW BEST:: SOT 11980216 SOS 7496316 HAS SOPS 6283546 HAS SOUS 1981351 HAS SOUPS 1892765 WITH SCORE 1900261.316
AT ITER 4090 NEW BEST:: SOT 11977228 SOS 7493352 HAS SOPS 6280558 HAS SOUS 1973547 HAS SOUPS 1884937 WITH SCORE 1892430.352
AT ITER 4098 NEW BEST:: SOT 11975298 SOS 7490012 HAS SOPS 6277054 HAS SOUS 1972961 HAS SOUPS 1884351 WITH SCORE 1891841.012
AT ITER 4111 NEW BEST:: SOT 11973526 SOS 7488198 HAS SOPS 6274854 HAS SOUS 1970229 HAS SOUPS 1881684 WITH SCORE 1889172.198
AT ITER 4125 NEW BEST:: SOT 11971843 SOS 7485970 HAS SOPS 6271773 HAS SOUS 1966059 HAS SOUPS 1877533 WITH SCORE 1885018.97
AT ITER 4127 NEW BEST:: SOT 11972011 SOS 7486001 HAS SOPS 6272026 HAS SOUS 1966056 HAS SOUPS 1877530 WITH SCORE 1885016.001
AT ITER 4128 NEW BEST:: SOT 11971708 SOS 7485649 HAS SOPS 6271478 HAS SOUS 1965055 HAS SOUPS 1876529 WITH SCORE 1884014.649
AT ITER 4161 NEW BEST:: SOT 11978996 SOS 7503135 HAS SOPS 6288385 HAS SOUS 1960889 HAS SOUPS 1872363 WITH SCORE 1879866.135
AT ITER 4167 NEW BEST:: SOT 11976523 SOS 7502158 HAS SOPS 6283661 HAS SOUS 1960068 HAS SOUPS 1871235 WITH SCORE 1878737.158
AT ITER 4176 NEW BEST:: SOT 11976515 SOS 7502140 HAS SOPS 6283626 HAS SOUS 1960018 HAS SOUPS 1871185 WITH SCORE 1878687.14
AT ITER 4215 NEW BEST:: SOT 11977894 SOS 7508523 HAS SOPS 6290980 HAS SOUS 1956793 HAS SOUPS 1867980 WITH SCORE 1875488.523
AT ITER 4217 NEW BEST:: SOT 11976701 SOS 7507985 HAS SOPS 6289849 HAS SOUS 1954451 HAS SOUPS 1865594 WITH SCORE 1873101.985
AT ITER 4228 NEW BEST:: SOT 11976195 SOS 7507479 HAS SOPS 6289167 HAS SOUS 1953945 HAS SOUPS 1865088 WITH SCORE 1872595.479
AT ITER 4234 NEW BEST:: SOT 11973100 SOS 7504684 HAS SOPS 6285842 HAS SOUS 1950304 HAS SOUPS 1861447 WITH SCORE 1868951.684
AT ITER 4246 NEW BEST:: SOT 11972668 SOS 7504252 HAS SOPS 6285330 HAS SOUS 1949300 HAS SOUPS 1860443 WITH SCORE 1867947.252
AT ITER 4251 NEW BEST:: SOT 11974105 SOS 7477889 HAS SOPS 6262400 HAS SOUS 1947226 HAS SOUPS 1858630 WITH SCORE 1866107.889
AT ITER 4261 NEW BEST:: SOT 11972930 SOS 7476714 HAS SOPS 6261225 HAS SOUS 1946051 HAS SOUPS 1857455 WITH SCORE 1864931.714
AT ITER 4281 NEW BEST:: SOT 11972698 SOS 7476474 HAS SOPS 6260741 HAS SOUS 1945567 HAS SOUPS 1856967 WITH SCORE 1864443.474
AT ITER 4301 NEW BEST:: SOT 11974101 SOS 7480033 HAS SOPS 6263350 HAS SOUS 1944990 HAS SOUPS 1856390 WITH SCORE 1863870.033
AT ITER 4308 NEW BEST:: SOT 11973717 SOS 7480984 HAS SOPS 6263605 HAS SOUS 1940895 HAS SOUPS 1852217 WITH SCORE 1859697.984
AT ITER 4319 NEW BEST:: SOT 11973886 SOS 7481075 HAS SOPS 6263930 HAS SOUS 1940684 HAS SOUPS 1852006 WITH SCORE 1859487.075
AT ITER 4335 NEW BEST:: SOT 11974836 SOS 7482312 HAS SOPS 6265321 HAS SOUS 1940494 HAS SOUPS 1851816 WITH SCORE 1859298.312
AT ITER 4338 NEW BEST:: SOT 11976077 SOS 7484095 HAS SOPS 6267090 HAS SOUS 1939667 HAS SOUPS 1851057 WITH SCORE 1858541.095
AT ITER 4341 NEW BEST:: SOT 11975889 SOS 7483857 HAS SOPS 6266802 HAS SOUS 1939457 HAS SOUPS 1850843 WITH SCORE 1858326.857
AT ITER 4359 NEW BEST:: SOT 11975362 SOS 7483258 HAS SOPS 6266215 HAS SOUS 1939054 HAS SOUPS 1850440 WITH SCORE 1857923.258
AT ITER 4363 NEW BEST:: SOT 11974107 SOS 7482003 HAS SOPS 6264960 HAS SOUS 1937463 HAS SOUPS 1848849 WITH SCORE 1856331.003
AT ITER 4371 NEW BEST:: SOT 11974665 SOS 7484329 HAS SOPS 6262040 HAS SOUS 1933672 HAS SOUPS 1845058 WITH SCORE 1852542.329
AT ITER 4396 NEW BEST:: SOT 11974624 SOS 7488761 HAS SOPS 6267940 HAS SOUS 1933118 HAS SOUPS 1844504 WITH SCORE 1851992.761
AT ITER 4419 NEW BEST:: SOT 11974147 SOS 7484180 HAS SOPS 6267683 HAS SOUS 1931212 HAS SOUPS 1842598 WITH SCORE 1850082.18
AT ITER 4425 NEW BEST:: SOT 11979586 SOS 7497842 HAS SOPS 6285659 HAS SOUS 1924310 HAS SOUPS 1836103 WITH SCORE 1843600.842
AT ITER 4434 NEW BEST:: SOT 11978457 SOS 7496705 HAS SOPS 6284009 HAS SOUS 1922126 HAS SOUPS 1833823 WITH SCORE 1841319.705
AT ITER 4438 NEW BEST:: SOT 11977638 SOS 7495938 HAS SOPS 6282185 HAS SOUS 1921391 HAS SOUPS 1832704 WITH SCORE 1840199.938
AT ITER 4444 NEW BEST:: SOT 11977401 SOS 7495753 HAS SOPS 6281436 HAS SOUS 1920093 HAS SOUPS 1831378 WITH SCORE 1838873.753
AT ITER 4445 NEW BEST:: SOT 11977241 SOS 7495593 HAS SOPS 6281276 HAS SOUS 1919973 HAS SOUPS 1831258 WITH SCORE 1838753.593
AT ITER 4451 NEW BEST:: SOT 11978824 SOS 7496654 HAS SOPS 6283139 HAS SOUS 1919599 HAS SOUPS 1830937 WITH SCORE 1838433.654
AT ITER 4454 NEW BEST:: SOT 11977680 SOS 7491084 HAS SOPS 6282254 HAS SOUS 1916928 HAS SOUPS 1829342 WITH SCORE 1836833.084
AT ITER 4463 NEW BEST:: SOT 11977202 SOS 7487770 HAS SOPS 6278410 HAS SOUS 1916224 HAS SOUPS 1828606 WITH SCORE 1836093.77
AT ITER 4482 NEW BEST:: SOT 11976770 SOS 7486786 HAS SOPS 6277781 HAS SOUS 1915535 HAS SOUPS 1827917 WITH SCORE 1835403.786
AT ITER 4483 NEW BEST:: SOT 11976439 SOS 7486388 HAS SOPS 6276862 HAS SOUS 1914343 HAS SOUPS 1826421 WITH SCORE 1833907.388
AT ITER 4484 NEW BEST:: SOT 11976353 SOS 7486294 HAS SOPS 6276744 HAS SOUS 1914251 HAS SOUPS 1826321 WITH SCORE 1833807.294
AT ITER 4488 NEW BEST:: SOT 11973861 SOS 7476712 HAS SOPS 6272150 HAS SOUS 1913821 HAS SOUPS 1825891 WITH SCORE 1833367.712
AT ITER 4496 NEW BEST:: SOT 11971381 SOS 7470644 HAS SOPS 6264565 HAS SOUS 1910632 HAS SOUPS 1822702 WITH SCORE 1830172.644
AT ITER 4498 NEW BEST:: SOT 11968016 SOS 7461814 HAS SOPS 6255852 HAS SOUS 1910560 HAS SOUPS 1822641 WITH SCORE 1830102.814
AT ITER 4502 NEW BEST:: SOT 11969402 SOS 7465254 HAS SOPS 6258005 HAS SOUS 1910285 HAS SOUPS 1822401 WITH SCORE 1829866.254
AT ITER 4514 NEW BEST:: SOT 11965369 SOS 7461249 HAS SOPS 6254155 HAS SOUS 1905549 HAS SOUPS 1817699 WITH SCORE 1825160.249
AT ITER 4541 NEW BEST:: SOT 11964188 SOS 7460068 HAS SOPS 6252590 HAS SOUS 1903156 HAS SOUPS 1815306 WITH SCORE 1822766.068
AT ITER 4560 NEW BEST:: SOT 11963504 SOS 7457256 HAS SOPS 6250078 HAS SOUS 1901882 HAS SOUPS 1814072 WITH SCORE 1821529.256
AT ITER 4566 NEW BEST:: SOT 11962594 SOS 7456384 HAS SOPS 6249168 HAS SOUS 1900266 HAS SOUPS 1812422 WITH SCORE 1819878.384
AT ITER 4575 NEW BEST:: SOT 11962574 SOS 7456454 HAS SOPS 6249206 HAS SOUS 1900226 HAS SOUPS 1812380 WITH SCORE 1819836.454
AT ITER 4586 NEW BEST:: SOT 11960855 SOS 7454607 HAS SOPS 6246751 HAS SOUS 1886705 HAS SOUPS 1798884 WITH SCORE 1806338.607
AT ITER 4594 NEW BEST:: SOT 11960481 SOS 7454233 HAS SOPS 6246297 HAS SOUS 1886183 HAS SOUPS 1798362 WITH SCORE 1805816.233
AT ITER 4612 NEW BEST:: SOT 11960478 SOS 7454232 HAS SOPS 6246310 HAS SOUS 1886166 HAS SOUPS 1798345 WITH SCORE 1805799.232
AT ITER 4615 NEW BEST:: SOT 11960148 SOS 7453884 HAS SOPS 6245665 HAS SOUS 1885620 HAS SOUPS 1797799 WITH SCORE 1805252.884
AT ITER 4618 NEW BEST:: SOT 11960913 SOS 7456148 HAS SOPS 6247581 HAS SOUS 1883755 HAS SOUPS 1795934 WITH SCORE 1803390.148
AT ITER 4628 NEW BEST:: SOT 11962080 SOS 7457971 HAS SOPS 6249853 HAS SOUS 1883673 HAS SOUPS 1795819 WITH SCORE 1803276.971
AT ITER 4653 NEW BEST:: SOT 11962914 SOS 7459771 HAS SOPS 6251680 HAS SOUS 1883247 HAS SOUPS 1795560 WITH SCORE 1803019.771
AT ITER 4663 NEW BEST:: SOT 11962548 SOS 7459124 HAS SOPS 6251296 HAS SOUS 1882163 HAS SOUPS 1794634 WITH SCORE 1802093.124
AT ITER 4696 NEW BEST:: SOT 11962727 SOS 7459453 HAS SOPS 6252093 HAS SOUS 1880680 HAS SOUPS 1793151 WITH SCORE 1800610.453
AT ITER 4724 NEW BEST:: SOT 11963311 SOS 7459595 HAS SOPS 6253423 HAS SOUS 1879924 HAS SOUPS 1792395 WITH SCORE 1799854.595
AT ITER 4736 NEW BEST:: SOT 11966795 SOS 7466375 HAS SOPS 6259205 HAS SOUS 1879078 HAS SOUPS 1791549 WITH SCORE 1799015.375
AT ITER 4743 NEW BEST:: SOT 11966771 SOS 7465566 HAS SOPS 6258028 HAS SOUS 1878822 HAS SOUPS 1791293 WITH SCORE 1798758.566
AT ITER 4744 NEW BEST:: SOT 11969541 SOS 7468336 HAS SOPS 6260222 HAS SOUS 1878520 HAS SOUPS 1790991 WITH SCORE 1798459.336
AT ITER 4755 NEW BEST:: SOT 11969445 SOS 7468240 HAS SOPS 6260094 HAS SOUS 1878312 HAS SOUPS 1790783 WITH SCORE 1798251.24
AT ITER 4761 NEW BEST:: SOT 11965379 SOS 7462162 HAS SOPS 6252920 HAS SOUS 1868342 HAS SOUPS 1780813 WITH SCORE 1788275.162
AT ITER 4774 NEW BEST:: SOT 11964715 SOS 7461500 HAS SOPS 6253365 HAS SOUS 1865665 HAS SOUPS 1779263 WITH SCORE 1786724.5
AT ITER 4795 NEW BEST:: SOT 11966588 SOS 7463373 HAS SOPS 6254902 HAS SOUS 1865426 HAS SOUPS 1778992 WITH SCORE 1786455.373
AT ITER 4812 NEW BEST:: SOT 11966657 SOS 7463387 HAS SOPS 6255019 HAS SOUS 1865235 HAS SOUPS 1778810 WITH SCORE 1786273.387
AT ITER 4813 NEW BEST:: SOT 11964669 SOS 7457582 HAS SOPS 6247819 HAS SOUS 1860493 HAS SOUPS 1774016 WITH SCORE 1781473.582
AT ITER 4824 NEW BEST:: SOT 11962625 SOS 7451537 HAS SOPS 6239956 HAS SOUS 1857043 HAS SOUPS 1770503 WITH SCORE 1777954.537
AT ITER 4850 NEW BEST:: SOT 11959542 SOS 7450175 HAS SOPS 6235072 HAS SOUS 1844633 HAS SOUPS 1758093 WITH SCORE 1765543.175
AT ITER 4851 NEW BEST:: SOT 11956882 SOS 7445715 HAS SOPS 6229919 HAS SOUS 1842482 HAS SOUPS 1755992 WITH SCORE 1763437.715
AT ITER 4868 NEW BEST:: SOT 11959337 SOS 7444993 HAS SOPS 6230474 HAS SOUS 1838553 HAS SOUPS 1752063 WITH SCORE 1759507.993
AT ITER 4873 NEW BEST:: SOT 11958618 SOS 7440996 HAS SOPS 6225948 HAS SOUS 1836293 HAS SOUPS 1749803 WITH SCORE 1757243.996
AT ITER 4876 NEW BEST:: SOT 11958135 SOS 7440439 HAS SOPS 6224879 HAS SOUS 1835438 HAS SOUPS 1748832 WITH SCORE 1756272.439
AT ITER 4883 NEW BEST:: SOT 11958710 SOS 7443696 HAS SOPS 6228054 HAS SOUS 1834851 HAS SOUPS 1748245 WITH SCORE 1755688.696
AT ITER 4893 NEW BEST:: SOT 11958254 SOS 7443240 HAS SOPS 6227486 HAS SOUS 1834059 HAS SOUPS 1747453 WITH SCORE 1754896.24
AT ITER 4899 NEW BEST:: SOT 11958191 SOS 7442556 HAS SOPS 6226118 HAS SOUS 1833949 HAS SOUPS 1747343 WITH SCORE 1754785.556
AT ITER 4901 NEW BEST:: SOT 11956805 SOS 7438440 HAS SOPS 6222002 HAS SOUS 1833177 HAS SOUPS 1746571 WITH SCORE 1754009.44
AT ITER 4920 NEW BEST:: SOT 11959300 SOS 7438278 HAS SOPS 6221619 HAS SOUS 1832334 HAS SOUPS 1745839 WITH SCORE 1753277.278
AT ITER 4938 NEW BEST:: SOT 11959210 SOS 7438180 HAS SOPS 6221481 HAS SOUS 1831986 HAS SOUPS 1745491 WITH SCORE 1752929.18
AT ITER 4943 NEW BEST:: SOT 11959105 SOS 7437994 HAS SOPS 6221268 HAS SOUS 1831820 HAS SOUPS 1745325 WITH SCORE 1752762.994
AT ITER 4954 NEW BEST:: SOT 11956299 SOS 7435063 HAS SOPS 6218337 HAS SOUS 1823642 HAS SOUPS 1737147 WITH SCORE 1744582.063
AT ITER 4971 NEW BEST:: SOT 11957041 SOS 7435604 HAS SOPS 6217998 HAS SOUS 1823503 HAS SOUPS 1737004 WITH SCORE 1744439.604
AT ITER 4991 NEW BEST:: SOT 11959066 SOS 7436777 HAS SOPS 6219385 HAS SOUS 1820501 HAS SOUPS 1734123 WITH SCORE 1741559.777
AT ITER 4993 NEW BEST:: SOT 11961075 SOS 7438300 HAS SOPS 6222348 HAS SOUS 1819238 HAS SOUPS 1732860 WITH SCORE 1740298.3
AT ITER 5008 NEW BEST:: SOT 11960214 SOS 7437430 HAS SOPS 6221452 HAS SOUS 1817125 HAS SOUPS 1730730 WITH SCORE 1738167.43
AT ITER 5032 NEW BEST:: SOT 11960169 SOS 7437439 HAS SOPS 6221539 HAS SOUS 1816248 HAS SOUPS 1729866 WITH SCORE 1737303.439
AT ITER 5037 NEW BEST:: SOT 11957879 SOS 7434358 HAS SOPS 6216965 HAS SOUS 1815518 HAS SOUPS 1729067 WITH SCORE 1736501.358
AT ITER 5049 NEW BEST:: SOT 11958036 SOS 7435026 HAS SOPS 6217048 HAS SOUS 1815206 HAS SOUPS 1728755 WITH SCORE 1736190.026
AT ITER 5066 NEW BEST:: SOT 11957622 SOS 7434614 HAS SOPS 6216602 HAS SOUS 1814344 HAS SOUPS 1727893 WITH SCORE 1735327.614
AT ITER 5080 NEW BEST:: SOT 11955207 SOS 7432210 HAS SOPS 6214463 HAS SOUS 1813567 HAS SOUPS 1727017 WITH SCORE 1734449.21
AT ITER 5084 NEW BEST:: SOT 11952822 SOS 7429825 HAS SOPS 6212046 HAS SOUS 1810234 HAS SOUPS 1723684 WITH SCORE 1731113.825
AT ITER 5086 NEW BEST:: SOT 11944068 SOS 7421071 HAS SOPS 6202492 HAS SOUS 1798848 HAS SOUPS 1712282 WITH SCORE 1719703.071
AT ITER 5091 NEW BEST:: SOT 11946215 SOS 7411435 HAS SOPS 6192856 HAS SOUS 1793417 HAS SOUPS 1706851 WITH SCORE 1714262.435
AT ITER 5100 NEW BEST:: SOT 11943914 SOS 7410019 HAS SOPS 6191040 HAS SOUS 1789715 HAS SOUPS 1703149 WITH SCORE 1710559.019
AT ITER 5108 NEW BEST:: SOT 11942711 SOS 7408026 HAS SOPS 6188997 HAS SOUS 1789712 HAS SOUPS 1703121 WITH SCORE 1710529.026
AT ITER 5121 NEW BEST:: SOT 11942247 SOS 7407562 HAS SOPS 6188533 HAS SOUS 1789712 HAS SOUPS 1703121 WITH SCORE 1710528.562
AT ITER 5150 NEW BEST:: SOT 11941962 SOS 7407141 HAS SOPS 6187552 HAS SOUS 1785114 HAS SOUPS 1698523 WITH SCORE 1705930.141
AT ITER 5158 NEW BEST:: SOT 11941936 SOS 7407200 HAS SOPS 6187216 HAS SOUS 1784628 HAS SOUPS 1698004 WITH SCORE 1705411.2
AT ITER 5162 NEW BEST:: SOT 11943647 SOS 7409536 HAS SOPS 6189748 HAS SOUS 1783238 HAS SOUPS 1696614 WITH SCORE 1704023.536
AT ITER 5188 NEW BEST:: SOT 11943731 SOS 7412985 HAS SOPS 6192784 HAS SOUS 1782645 HAS SOUPS 1696021 WITH SCORE 1703433.985
AT ITER 5193 NEW BEST:: SOT 11939514 SOS 7396256 HAS SOPS 6178184 HAS SOUS 1782112 HAS SOUPS 1695488 WITH SCORE 1702884.256
AT ITER 5246 NEW BEST:: SOT 11939367 SOS 7395340 HAS SOPS 6177481 HAS SOUS 1781772 HAS SOUPS 1695148 WITH SCORE 1702543.34
AT ITER 5254 NEW BEST:: SOT 11939374 SOS 7395510 HAS SOPS 6176204 HAS SOUS 1780522 HAS SOUPS 1693898 WITH SCORE 1701293.51
AT ITER 5277 NEW BEST:: SOT 11938850 SOS 7391435 HAS SOPS 6175085 HAS SOUS 1778876 HAS SOUPS 1692252 WITH SCORE 1699643.435
AT ITER 5281 NEW BEST:: SOT 11939241 SOS 7393127 HAS SOPS 6174453 HAS SOUS 1774994 HAS SOUPS 1688370 WITH SCORE 1695763.127
AT ITER 5286 NEW BEST:: SOT 11939383 SOS 7393185 HAS SOPS 6174511 HAS SOUS 1774770 HAS SOUPS 1688146 WITH SCORE 1695539.185
AT ITER 5294 NEW BEST:: SOT 11939065 SOS 7394006 HAS SOPS 6174920 HAS SOUS 1771763 HAS SOUPS 1685139 WITH SCORE 1692533.006
AT ITER 5296 NEW BEST:: SOT 11936563 SOS 7388157 HAS SOPS 6168706 HAS SOUS 1769464 HAS SOUPS 1682840 WITH SCORE 1690228.157
AT ITER 5297 NEW BEST:: SOT 11935612 SOS 7386295 HAS SOPS 6166947 HAS SOUS 1769064 HAS SOUPS 1682440 WITH SCORE 1689826.295
AT ITER 5307 NEW BEST:: SOT 11933188 SOS 7382203 HAS SOPS 6162865 HAS SOUS 1764147 HAS SOUPS 1677550 WITH SCORE 1684932.203
AT ITER 5313 NEW BEST:: SOT 11934204 SOS 7382147 HAS SOPS 6162963 HAS SOUS 1763752 HAS SOUPS 1677149 WITH SCORE 1684531.147
AT ITER 5316 NEW BEST:: SOT 11934083 SOS 7382122 HAS SOPS 6161998 HAS SOUS 1762371 HAS SOUPS 1675722 WITH SCORE 1683104.122
AT ITER 5322 NEW BEST:: SOT 11934586 SOS 7381088 HAS SOPS 6161814 HAS SOUS 1761903 HAS SOUPS 1675282 WITH SCORE 1682663.088
AT ITER 5326 NEW BEST:: SOT 11933565 SOS 7379303 HAS SOPS 6160296 HAS SOUS 1761496 HAS SOUPS 1674879 WITH SCORE 1682258.303
AT ITER 5329 NEW BEST:: SOT 11932216 SOS 7374037 HAS SOPS 6156260 HAS SOUS 1757254 HAS SOUPS 1670799 WITH SCORE 1678173.037
AT ITER 5338 NEW BEST:: SOT 11932220 SOS 7374006 HAS SOPS 6156481 HAS SOUS 1756960 HAS SOUPS 1670505 WITH SCORE 1677879.006
AT ITER 5346 NEW BEST:: SOT 11932813 SOS 7374933 HAS SOPS 6157174 HAS SOUS 1756862 HAS SOUPS 1670407 WITH SCORE 1677781.933
AT ITER 5352 NEW BEST:: SOT 11932460 SOS 7374614 HAS SOPS 6156744 HAS SOUS 1756700 HAS SOUPS 1670245 WITH SCORE 1677619.614
AT ITER 5358 NEW BEST:: SOT 11932276 SOS 7365655 HAS SOPS 6152998 HAS SOUS 1755071 HAS SOUPS 1668745 WITH SCORE 1676110.655
AT ITER 5364 NEW BEST:: SOT 11930814 SOS 7364170 HAS SOPS 6150866 HAS SOUS 1751732 HAS SOUPS 1665361 WITH SCORE 1672725.17
AT ITER 5367 NEW BEST:: SOT 11930516 SOS 7363600 HAS SOPS 6150142 HAS SOUS 1751127 HAS SOUPS 1664756 WITH SCORE 1672119.6
AT ITER 5370 NEW BEST:: SOT 11929562 SOS 7362373 HAS SOPS 6149044 HAS SOUS 1749416 HAS SOUPS 1663045 WITH SCORE 1670407.373
AT ITER 5404 NEW BEST:: SOT 11927450 SOS 7357657 HAS SOPS 6144986 HAS SOUS 1744536 HAS SOUPS 1658215 WITH SCORE 1665572.657
AT ITER 5413 NEW BEST:: SOT 11925482 SOS 7352780 HAS SOPS 6141577 HAS SOUS 1743241 HAS SOUPS 1656930 WITH SCORE 1664282.78
AT ITER 5426 NEW BEST:: SOT 11927589 SOS 7356195 HAS SOPS 6144749 HAS SOUS 1740359 HAS SOUPS 1654048 WITH SCORE 1661404.195
AT ITER 5431 NEW BEST:: SOT 11927375 SOS 7355591 HAS SOPS 6144241 HAS SOUS 1740349 HAS SOUPS 1654038 WITH SCORE 1661393.591
AT ITER 5443 NEW BEST:: SOT 11927365 SOS 7355015 HAS SOPS 6143233 HAS SOUS 1737465 HAS SOUPS 1651190 WITH SCORE 1658545.015
AT ITER 5446 NEW BEST:: SOT 11927304 SOS 7356031 HAS SOPS 6144245 HAS SOUS 1736234 HAS SOUPS 1649959 WITH SCORE 1657315.031
AT ITER 5477 NEW BEST:: SOT 11927298 SOS 7356027 HAS SOPS 6144239 HAS SOUS 1736224 HAS SOUPS 1649949 WITH SCORE 1657305.027
AT ITER 5511 NEW BEST:: SOT 11928689 SOS 7356735 HAS SOPS 6146807 HAS SOUS 1735330 HAS SOUPS 1648989 WITH SCORE 1656345.735
AT ITER 5518 NEW BEST:: SOT 11928506 SOS 7358871 HAS SOPS 6148761 HAS SOUS 1730024 HAS SOUPS 1643864 WITH SCORE 1651222.871
AT ITER 5523 NEW BEST:: SOT 11929501 SOS 7359686 HAS SOPS 6150269 HAS SOUS 1727501 HAS SOUPS 1641664 WITH SCORE 1649023.686
AT ITER 5529 NEW BEST:: SOT 11928611 SOS 7358751 HAS SOPS 6148789 HAS SOUS 1725466 HAS SOUPS 1639629 WITH SCORE 1646987.751
AT ITER 5531 NEW BEST:: SOT 11925373 SOS 7351970 HAS SOPS 6142418 HAS SOUS 1721383 HAS SOUPS 1635612 WITH SCORE 1642963.97
AT ITER 5546 NEW BEST:: SOT 11925123 SOS 7349466 HAS SOPS 6140618 HAS SOUS 1719926 HAS SOUPS 1634155 WITH SCORE 1641504.466
AT ITER 5548 NEW BEST:: SOT 11928427 SOS 7348492 HAS SOPS 6139938 HAS SOUS 1718787 HAS SOUPS 1633104 WITH SCORE 1640452.492
AT ITER 5554 NEW BEST:: SOT 11929465 SOS 7349276 HAS SOPS 6140217 HAS SOUS 1717270 HAS SOUPS 1631631 WITH SCORE 1638980.276
AT ITER 5565 NEW BEST:: SOT 11929147 SOS 7348759 HAS SOPS 6139737 HAS SOUS 1716693 HAS SOUPS 1631054 WITH SCORE 1638402.759
AT ITER 5570 NEW BEST:: SOT 11926834 SOS 7347544 HAS SOPS 6134608 HAS SOUS 1706124 HAS SOUPS 1620462 WITH SCORE 1627809.544
AT ITER 5584 NEW BEST:: SOT 11930140 SOS 7352433 HAS SOPS 6138244 HAS SOUS 1705182 HAS SOUPS 1619546 WITH SCORE 1626898.433
AT ITER 5586 NEW BEST:: SOT 11929606 SOS 7351899 HAS SOPS 6137710 HAS SOUS 1704648 HAS SOUPS 1619012 WITH SCORE 1626363.899
AT ITER 5659 NEW BEST:: SOT 11926845 SOS 7347762 HAS SOPS 6132787 HAS SOUS 1700168 HAS SOUPS 1614484 WITH SCORE 1621831.762
AT ITER 5710 NEW BEST:: SOT 11925006 SOS 7345153 HAS SOPS 6128958 HAS SOUS 1698635 HAS SOUPS 1612906 WITH SCORE 1620251.153
AT ITER 5716 NEW BEST:: SOT 11940313 SOS 7357628 HAS SOPS 6141030 HAS SOUS 1697632 HAS SOUPS 1612039 WITH SCORE 1619396.628
AT ITER 5719 NEW BEST:: SOT 11939493 SOS 7355575 HAS SOPS 6139251 HAS SOUS 1696035 HAS SOUPS 1610442 WITH SCORE 1617797.575
AT ITER 5736 NEW BEST:: SOT 11938667 SOS 7355058 HAS SOPS 6138102 HAS SOUS 1692701 HAS SOUPS 1607108 WITH SCORE 1614463.058
AT ITER 5741 NEW BEST:: SOT 11932053 SOS 7343371 HAS SOPS 6126716 HAS SOUS 1687550 HAS SOUPS 1601957 WITH SCORE 1609300.371
AT ITER 5745 NEW BEST:: SOT 11932035 SOS 7343146 HAS SOPS 6126496 HAS SOUS 1687153 HAS SOUPS 1601560 WITH SCORE 1608903.146
AT ITER 5753 NEW BEST:: SOT 11931858 SOS 7341289 HAS SOPS 6124909 HAS SOUS 1685731 HAS SOUPS 1600159 WITH SCORE 1607500.289
AT ITER 5768 NEW BEST:: SOT 11931613 SOS 7339751 HAS SOPS 6123659 HAS SOUS 1680992 HAS SOUPS 1595470 WITH SCORE 1602809.751
AT ITER 5794 NEW BEST:: SOT 11931097 SOS 7339109 HAS SOPS 6122793 HAS SOUS 1680046 HAS SOUPS 1594517 WITH SCORE 1601856.109
AT ITER 5809 NEW BEST:: SOT 11928567 SOS 7335729 HAS SOPS 6119154 HAS SOUS 1676476 HAS SOUPS 1590965 WITH SCORE 1598300.729
AT ITER 5820 NEW BEST:: SOT 11927587 SOS 7334749 HAS SOPS 6118158 HAS SOUS 1676448 HAS SOUPS 1590937 WITH SCORE 1598271.749
AT ITER 5828 NEW BEST:: SOT 11927610 SOS 7334864 HAS SOPS 6118261 HAS SOUS 1676422 HAS SOUPS 1590910 WITH SCORE 1598244.864
AT ITER 5829 NEW BEST:: SOT 11927407 SOS 7335876 HAS SOPS 6118429 HAS SOUS 1674499 HAS SOUPS 1588958 WITH SCORE 1596293.876
AT ITER 5858 NEW BEST:: SOT 11928880 SOS 7341611 HAS SOPS 6124605 HAS SOUS 1671663 HAS SOUPS 1586122 WITH SCORE 1593463.611
AT ITER 5874 NEW BEST:: SOT 11928880 SOS 7341512 HAS SOPS 6124468 HAS SOUS 1671650 HAS SOUPS 1586109 WITH SCORE 1593450.512
AT ITER 5875 NEW BEST:: SOT 11926124 SOS 7334821 HAS SOPS 6119059 HAS SOUS 1670134 HAS SOUPS 1584593 WITH SCORE 1591927.821
AT ITER 5883 NEW BEST:: SOT 11922290 SOS 7330184 HAS SOPS 6114518 HAS SOUS 1662998 HAS SOUPS 1577457 WITH SCORE 1584787.184
AT ITER 5944 NEW BEST:: SOT 11921263 SOS 7326450 HAS SOPS 6112950 HAS SOUS 1660031 HAS SOUPS 1574628 WITH SCORE 1581954.45
AT ITER 5965 NEW BEST:: SOT 11920339 SOS 7325526 HAS SOPS 6112026 HAS SOUS 1658051 HAS SOUPS 1572648 WITH SCORE 1579973.526
AT ITER 5970 NEW BEST:: SOT 11920589 SOS 7325776 HAS SOPS 6112276 HAS SOUS 1656253 HAS SOUPS 1570850 WITH SCORE 1578175.776
AT ITER 5971 NEW BEST:: SOT 11920163 SOS 7325309 HAS SOPS 6111837 HAS SOUS 1655835 HAS SOUPS 1570439 WITH SCORE 1577764.309
AT ITER 5972 NEW BEST:: SOT 11919822 SOS 7324413 HAS SOPS 6110174 HAS SOUS 1655230 HAS SOUPS 1569834 WITH SCORE 1577158.413
AT ITER 5973 NEW BEST:: SOT 11919936 SOS 7328398 HAS SOPS 6113429 HAS SOUS 1655070 HAS SOUPS 1569647 WITH SCORE 1576975.398
AT ITER 5979 NEW BEST:: SOT 11919486 SOS 7327325 HAS SOPS 6113648 HAS SOUS 1655007 HAS SOUPS 1569584 WITH SCORE 1576911.325
AT ITER 5984 NEW BEST:: SOT 11919134 SOS 7326973 HAS SOPS 6113120 HAS SOUS 1653863 HAS SOUPS 1568440 WITH SCORE 1575766.973
AT ITER 6034 NEW BEST:: SOT 11917674 SOS 7325473 HAS SOPS 6111250 HAS SOUS 1651988 HAS SOUPS 1566457 WITH SCORE 1573782.473
AT ITER 6058 NEW BEST:: SOT 11917666 SOS 7325553 HAS SOPS 6111302 HAS SOUS 1651956 HAS SOUPS 1566425 WITH SCORE 1573750.553
AT ITER 6061 NEW BEST:: SOT 11911652 SOS 7320065 HAS SOPS 6102384 HAS SOUS 1648611 HAS SOUPS 1562855 WITH SCORE 1570175.065
AT ITER 6062 NEW BEST:: SOT 11911644 SOS 7319960 HAS SOPS 6102077 HAS SOUS 1648510 HAS SOUPS 1562754 WITH SCORE 1570073.96
AT ITER 6066 NEW BEST:: SOT 11911494 SOS 7319753 HAS SOPS 6101783 HAS SOUS 1648309 HAS SOUPS 1562553 WITH SCORE 1569872.753
AT ITER 6067 NEW BEST:: SOT 11910774 SOS 7319033 HAS SOPS 6100887 HAS SOUS 1646973 HAS SOUPS 1561041 WITH SCORE 1568360.033
AT ITER 6087 NEW BEST:: SOT 11910774 SOS 7320374 HAS SOPS 6100953 HAS SOUS 1645394 HAS SOUPS 1559462 WITH SCORE 1566782.374
AT ITER 6094 NEW BEST:: SOT 11911021 SOS 7320379 HAS SOPS 6100723 HAS SOUS 1644894 HAS SOUPS 1558962 WITH SCORE 1566282.379
AT ITER 6108 NEW BEST:: SOT 11910989 SOS 7320347 HAS SOPS 6100691 HAS SOUS 1644878 HAS SOUPS 1558946 WITH SCORE 1566266.347
AT ITER 6113 NEW BEST:: SOT 11911835 SOS 7322498 HAS SOPS 6101550 HAS SOUS 1644635 HAS SOUPS 1558703 WITH SCORE 1566025.498
AT ITER 6126 NEW BEST:: SOT 11911379 SOS 7322376 HAS SOPS 6099704 HAS SOUS 1643465 HAS SOUPS 1557533 WITH SCORE 1564855.376
AT ITER 6135 NEW BEST:: SOT 11911374 SOS 7322081 HAS SOPS 6099369 HAS SOUS 1643338 HAS SOUPS 1557406 WITH SCORE 1564728.081
AT ITER 6139 NEW BEST:: SOT 11911489 SOS 7322680 HAS SOPS 6099847 HAS SOUS 1643141 HAS SOUPS 1557209 WITH SCORE 1564531.68
AT ITER 6161 NEW BEST:: SOT 11909121 SOS 7316541 HAS SOPS 6094972 HAS SOUS 1640177 HAS SOUPS 1554245 WITH SCORE 1561561.541
AT ITER 6169 NEW BEST:: SOT 11908982 SOS 7316399 HAS SOPS 6094785 HAS SOUS 1639825 HAS SOUPS 1553893 WITH SCORE 1561209.399
AT ITER 6201 NEW BEST:: SOT 11908694 SOS 7312530 HAS SOPS 6092039 HAS SOUS 1638236 HAS SOUPS 1552355 WITH SCORE 1559667.53
AT ITER 6263 NEW BEST:: SOT 11908700 SOS 7312500 HAS SOPS 6092078 HAS SOUS 1638217 HAS SOUPS 1552342 WITH SCORE 1559654.5
AT ITER 6276 NEW BEST:: SOT 11910085 SOS 7309258 HAS SOPS 6091075 HAS SOUS 1637743 HAS SOUPS 1552091 WITH SCORE 1559400.258
AT ITER 6277 NEW BEST:: SOT 11909664 SOS 7307674 HAS SOPS 6089855 HAS SOUS 1637699 HAS SOUPS 1552047 WITH SCORE 1559354.674
AT ITER 6288 NEW BEST:: SOT 11909594 SOS 7307604 HAS SOPS 6089769 HAS SOUS 1637533 HAS SOUPS 1551881 WITH SCORE 1559188.604
AT ITER 6293 NEW BEST:: SOT 11909994 SOS 7309103 HAS SOPS 6090993 HAS SOUS 1636313 HAS SOUPS 1550661 WITH SCORE 1557970.103
AT ITER 6307 NEW BEST:: SOT 11910096 SOS 7308717 HAS SOPS 6090796 HAS SOUS 1635105 HAS SOUPS 1549453 WITH SCORE 1556761.717
AT ITER 6308 NEW BEST:: SOT 11906924 SOS 7303963 HAS SOPS 6085221 HAS SOUS 1628431 HAS SOUPS 1542810 WITH SCORE 1550113.963
AT ITER 6319 NEW BEST:: SOT 11909950 SOS 7305179 HAS SOPS 6088204 HAS SOUS 1627175 HAS SOUPS 1541441 WITH SCORE 1548746.179
AT ITER 6351 NEW BEST:: SOT 11910057 SOS 7305586 HAS SOPS 6088540 HAS SOUS 1627128 HAS SOUPS 1541394 WITH SCORE 1548699.586
AT ITER 6360 NEW BEST:: SOT 11907215 SOS 7303608 HAS SOPS 6085622 HAS SOUS 1624143 HAS SOUPS 1538366 WITH SCORE 1545669.608
AT ITER 6373 NEW BEST:: SOT 11906192 SOS 7303063 HAS SOPS 6084185 HAS SOUS 1621773 HAS SOUPS 1535959 WITH SCORE 1543262.063
AT ITER 6386 NEW BEST:: SOT 11904596 SOS 7304994 HAS SOPS 6085351 HAS SOUS 1620690 HAS SOUPS 1534876 WITH SCORE 1542180.994
AT ITER 6393 NEW BEST:: SOT 11903876 SOS 7304274 HAS SOPS 6084631 HAS SOUS 1620142 HAS SOUPS 1534328 WITH SCORE 1541632.274
AT ITER 6395 NEW BEST:: SOT 11902803 SOS 7302906 HAS SOPS 6083171 HAS SOUS 1619099 HAS SOUPS 1533285 WITH SCORE 1540587.906
AT ITER 6396 NEW BEST:: SOT 11902639 SOS 7302908 HAS SOPS 6083074 HAS SOUS 1618629 HAS SOUPS 1532797 WITH SCORE 1540099.908
AT ITER 6411 NEW BEST:: SOT 11902561 SOS 7301592 HAS SOPS 6082876 HAS SOUS 1617571 HAS SOUPS 1531794 WITH SCORE 1539095.592
AT ITER 6412 NEW BEST:: SOT 11895570 SOS 7296790 HAS SOPS 6078226 HAS SOUS 1613945 HAS SOUPS 1528058 WITH SCORE 1535354.79
AT ITER 6422 NEW BEST:: SOT 11896315 SOS 7297219 HAS SOPS 6079482 HAS SOUS 1613874 HAS SOUPS 1527987 WITH SCORE 1535284.219
AT ITER 6429 NEW BEST:: SOT 11895886 SOS 7296106 HAS SOPS 6078041 HAS SOUS 1613463 HAS SOUPS 1527562 WITH SCORE 1534858.106
AT ITER 6431 NEW BEST:: SOT 11895970 SOS 7296254 HAS SOPS 6077996 HAS SOUS 1613405 HAS SOUPS 1527504 WITH SCORE 1534800.254
AT ITER 6468 NEW BEST:: SOT 11895885 SOS 7296854 HAS SOPS 6078955 HAS SOUS 1612338 HAS SOUPS 1526437 WITH SCORE 1533733.854
AT ITER 6483 NEW BEST:: SOT 11895831 SOS 7296914 HAS SOPS 6079000 HAS SOUS 1612275 HAS SOUPS 1526374 WITH SCORE 1533670.914
AT ITER 6485 NEW BEST:: SOT 11894880 SOS 7295884 HAS SOPS 6077874 HAS SOUS 1610484 HAS SOUPS 1524583 WITH SCORE 1531878.884
AT ITER 6510 NEW BEST:: SOT 11895322 SOS 7296405 HAS SOPS 6078215 HAS SOUS 1610317 HAS SOUPS 1524458 WITH SCORE 1531754.405
AT ITER 6533 NEW BEST:: SOT 11895309 SOS 7296631 HAS SOPS 6078311 HAS SOUS 1610317 HAS SOUPS 1524455 WITH SCORE 1531751.631
AT ITER 6551 NEW BEST:: SOT 11895562 SOS 7298257 HAS SOPS 6078313 HAS SOUS 1610311 HAS SOUPS 1524425 WITH SCORE 1531723.257
AT ITER 6553 NEW BEST:: SOT 11895439 SOS 7298360 HAS SOPS 6077568 HAS SOUS 1610245 HAS SOUPS 1524359 WITH SCORE 1531657.36
AT ITER 6558 NEW BEST:: SOT 11895504 SOS 7296586 HAS SOPS 6076598 HAS SOUS 1610130 HAS SOUPS 1524272 WITH SCORE 1531568.586
AT ITER 6614 NEW BEST:: SOT 11894140 SOS 7296241 HAS SOPS 6071820 HAS SOUS 1604330 HAS SOUPS 1518484 WITH SCORE 1525780.241
AT ITER 6624 NEW BEST:: SOT 11893918 SOS 7295955 HAS SOPS 6071500 HAS SOUS 1604012 HAS SOUPS 1518152 WITH SCORE 1525447.955
AT ITER 6646 NEW BEST:: SOT 11893962 SOS 7296005 HAS SOPS 6071342 HAS SOUS 1603016 HAS SOUPS 1517156 WITH SCORE 1524452.005
AT ITER 6664 NEW BEST:: SOT 11893780 SOS 7294559 HAS SOPS 6070010 HAS SOUS 1602950 HAS SOUPS 1517090 WITH SCORE 1524384.559
AT ITER 6676 NEW BEST:: SOT 11893861 SOS 7296910 HAS SOPS 6072248 HAS SOUS 1602919 HAS SOUPS 1517059 WITH SCORE 1524355.91
AT ITER 6704 NEW BEST:: SOT 11893679 SOS 7296592 HAS SOPS 6071922 HAS SOUS 1602771 HAS SOUPS 1516821 WITH SCORE 1524117.592
AT ITER 6720 NEW BEST:: SOT 11893850 SOS 7296785 HAS SOPS 6072885 HAS SOUS 1602326 HAS SOUPS 1516376 WITH SCORE 1523672.785
AT ITER 6725 NEW BEST:: SOT 11893170 SOS 7296073 HAS SOPS 6072085 HAS SOUS 1601182 HAS SOUPS 1515240 WITH SCORE 1522536.073
AT ITER 6740 NEW BEST:: SOT 11893266 SOS 7296150 HAS SOPS 6071838 HAS SOUS 1600920 HAS SOUPS 1514978 WITH SCORE 1522274.15
AT ITER 6744 NEW BEST:: SOT 11893779 SOS 7296686 HAS SOPS 6072471 HAS SOUS 1595967 HAS SOUPS 1510025 WITH SCORE 1517321.686
AT ITER 6750 NEW BEST:: SOT 11893734 SOS 7296577 HAS SOPS 6072420 HAS SOUS 1595952 HAS SOUPS 1510010 WITH SCORE 1517306.577
AT ITER 6835 NEW BEST:: SOT 11895111 SOS 7296897 HAS SOPS 6072557 HAS SOUS 1593667 HAS SOUPS 1508018 WITH SCORE 1515314.897
AT ITER 6837 NEW BEST:: SOT 11894169 SOS 7295955 HAS SOPS 6071615 HAS SOUS 1592317 HAS SOUPS 1506668 WITH SCORE 1513963.955
AT ITER 6839 NEW BEST:: SOT 11895001 SOS 7296889 HAS SOPS 6072683 HAS SOUS 1591699 HAS SOUPS 1506040 WITH SCORE 1513336.889
AT ITER 6860 NEW BEST:: SOT 11895975 SOS 7294193 HAS SOPS 6073599 HAS SOUS 1591577 HAS SOUPS 1506001 WITH SCORE 1513295.193
AT ITER 6867 NEW BEST:: SOT 11895758 SOS 7293942 HAS SOPS 6073252 HAS SOUS 1591344 HAS SOUPS 1505768 WITH SCORE 1513061.942
AT ITER 6873 NEW BEST:: SOT 11894279 SOS 7292970 HAS SOPS 6070918 HAS SOUS 1586672 HAS SOUPS 1501098 WITH SCORE 1508390.97
AT ITER 6878 NEW BEST:: SOT 11893841 SOS 7291470 HAS SOPS 6069299 HAS SOUS 1583716 HAS SOUPS 1498162 WITH SCORE 1505453.47
AT ITER 6909 NEW BEST:: SOT 11893566 SOS 7291192 HAS SOPS 6068914 HAS SOUS 1583033 HAS SOUPS 1497476 WITH SCORE 1504767.192
AT ITER 6916 NEW BEST:: SOT 11892369 SOS 7289995 HAS SOPS 6067333 HAS SOUS 1580624 HAS SOUPS 1495067 WITH SCORE 1502356.995
AT ITER 6936 NEW BEST:: SOT 11891632 SOS 7289122 HAS SOPS 6066588 HAS SOUS 1579599 HAS SOUPS 1494050 WITH SCORE 1501339.122
AT ITER 6938 NEW BEST:: SOT 11891624 SOS 7289114 HAS SOPS 6066580 HAS SOUS 1579583 HAS SOUPS 1494034 WITH SCORE 1501323.114
AT ITER 6942 NEW BEST:: SOT 11894702 SOS 7292114 HAS SOPS 6072113 HAS SOUS 1575633 HAS SOUPS 1490115 WITH SCORE 1497407.114
AT ITER 6955 NEW BEST:: SOT 11895602 SOS 7293014 HAS SOPS 6072645 HAS SOUS 1575677 HAS SOUPS 1489967 WITH SCORE 1497260.014
AT ITER 6982 NEW BEST:: SOT 11895078 SOS 7291685 HAS SOPS 6071135 HAS SOUS 1573731 HAS SOUPS 1488018 WITH SCORE 1495309.685
AT ITER 6989 NEW BEST:: SOT 11894677 SOS 7290551 HAS SOPS 6070558 HAS SOUS 1572135 HAS SOUPS 1486489 WITH SCORE 1493779.551
AT ITER 7009 NEW BEST:: SOT 11893792 SOS 7289884 HAS SOPS 6069075 HAS SOUS 1569733 HAS SOUPS 1484087 WITH SCORE 1491376.884
AT ITER 7032 NEW BEST:: SOT 11889445 SOS 7285293 HAS SOPS 6063732 HAS SOUS 1561572 HAS SOUPS 1475962 WITH SCORE 1483247.293
AT ITER 7038 NEW BEST:: SOT 11889115 SOS 7285332 HAS SOPS 6063602 HAS SOUS 1560825 HAS SOUPS 1475215 WITH SCORE 1482500.332
AT ITER 7052 NEW BEST:: SOT 11888652 SOS 7284624 HAS SOPS 6062641 HAS SOUS 1560295 HAS SOUPS 1474685 WITH SCORE 1481969.624
AT ITER 7056 NEW BEST:: SOT 11890429 SOS 7280464 HAS SOPS 6060541 HAS SOUS 1560085 HAS SOUPS 1474532 WITH SCORE 1481812.464
AT ITER 7084 NEW BEST:: SOT 11890429 SOS 7280544 HAS SOPS 6060558 HAS SOUS 1559627 HAS SOUPS 1474074 WITH SCORE 1481354.544
AT ITER 7116 NEW BEST:: SOT 11889882 SOS 7285299 HAS SOPS 6066413 HAS SOUS 1559055 HAS SOUPS 1473502 WITH SCORE 1480787.299
AT ITER 7120 NEW BEST:: SOT 11889831 SOS 7285246 HAS SOPS 6066322 HAS SOUS 1558940 HAS SOUPS 1473388 WITH SCORE 1480673.246
AT ITER 7136 NEW BEST:: SOT 11887844 SOS 7283266 HAS SOPS 6065490 HAS SOUS 1557929 HAS SOUPS 1472574 WITH SCORE 1479857.266
AT ITER 7139 NEW BEST:: SOT 11886198 SOS 7281684 HAS SOPS 6064852 HAS SOUS 1556594 HAS SOUPS 1471644 WITH SCORE 1478925.684
AT ITER 7166 NEW BEST:: SOT 11886332 SOS 7281445 HAS SOPS 6064390 HAS SOUS 1555275 HAS SOUPS 1470346 WITH SCORE 1477627.445
AT ITER 7196 NEW BEST:: SOT 11888374 SOS 7285274 HAS SOPS 6064603 HAS SOUS 1551139 HAS SOUPS 1465848 WITH SCORE 1473133.274
AT ITER 7203 NEW BEST:: SOT 11887910 SOS 7284810 HAS SOPS 6064139 HAS SOUS 1551059 HAS SOUPS 1465768 WITH SCORE 1473052.81
AT ITER 7221 NEW BEST:: SOT 11887595 SOS 7284459 HAS SOPS 6063621 HAS SOUS 1550395 HAS SOUPS 1465104 WITH SCORE 1472388.459
AT ITER 7247 NEW BEST:: SOT 11884534 SOS 7281277 HAS SOPS 6060161 HAS SOUS 1545921 HAS SOUPS 1460634 WITH SCORE 1467915.277
AT ITER 7283 NEW BEST:: SOT 11885370 SOS 7284117 HAS SOPS 6061298 HAS SOUS 1545942 HAS SOUPS 1460164 WITH SCORE 1467448.117
AT ITER 7296 NEW BEST:: SOT 11882903 SOS 7280497 HAS SOPS 6058411 HAS SOUS 1545857 HAS SOUPS 1460079 WITH SCORE 1467359.497
AT ITER 7348 NEW BEST:: SOT 11882687 SOS 7279172 HAS SOPS 6056974 HAS SOUS 1545392 HAS SOUPS 1459614 WITH SCORE 1466893.172
AT ITER 7349 NEW BEST:: SOT 11882343 SOS 7278828 HAS SOPS 6056630 HAS SOUS 1545344 HAS SOUPS 1459566 WITH SCORE 1466844.828
AT ITER 7362 NEW BEST:: SOT 11880448 SOS 7277623 HAS SOPS 6055384 HAS SOUS 1543235 HAS SOUPS 1457406 WITH SCORE 1464683.623
AT ITER 7372 NEW BEST:: SOT 11880444 SOS 7277513 HAS SOPS 6055268 HAS SOUS 1543215 HAS SOUPS 1457386 WITH SCORE 1464663.513
AT ITER 7384 NEW BEST:: SOT 11880581 SOS 7277235 HAS SOPS 6055010 HAS SOUS 1543113 HAS SOUPS 1457289 WITH SCORE 1464566.235
AT ITER 7402 NEW BEST:: SOT 11880548 SOS 7277234 HAS SOPS 6054975 HAS SOUS 1543023 HAS SOUPS 1457199 WITH SCORE 1464476.234
AT ITER 7415 NEW BEST:: SOT 11878329 SOS 7273945 HAS SOPS 6051962 HAS SOUS 1536905 HAS SOUPS 1451144 WITH SCORE 1458417.945
AT ITER 7424 NEW BEST:: SOT 11879014 SOS 7279176 HAS SOPS 6057266 HAS SOUS 1536794 HAS SOUPS 1451033 WITH SCORE 1458312.176
AT ITER 7434 NEW BEST:: SOT 11880474 SOS 7281024 HAS SOPS 6059346 HAS SOUS 1536480 HAS SOUPS 1450754 WITH SCORE 1458035.024
AT ITER 7438 NEW BEST:: SOT 11881325 SOS 7283449 HAS SOPS 6061631 HAS SOUS 1536152 HAS SOUPS 1450374 WITH SCORE 1457657.449
AT ITER 7442 NEW BEST:: SOT 11880214 SOS 7282338 HAS SOPS 6060520 HAS SOUS 1535873 HAS SOUPS 1450095 WITH SCORE 1457377.338
AT ITER 7452 NEW BEST:: SOT 11879683 SOS 7282630 HAS SOPS 6060340 HAS SOUS 1535093 HAS SOUPS 1449315 WITH SCORE 1456597.63
AT ITER 7458 NEW BEST:: SOT 11879164 SOS 7283795 HAS SOPS 6062747 HAS SOUS 1532598 HAS SOUPS 1446820 WITH SCORE 1454103.795
AT ITER 7466 NEW BEST:: SOT 11882003 SOS 7286316 HAS SOPS 6064109 HAS SOUS 1531678 HAS SOUPS 1445977 WITH SCORE 1453263.316
AT ITER 7479 NEW BEST:: SOT 11882143 SOS 7288042 HAS SOPS 6065388 HAS SOUS 1529154 HAS SOUPS 1443453 WITH SCORE 1450741.042
AT ITER 7499 NEW BEST:: SOT 11882180 SOS 7287991 HAS SOPS 6065279 HAS SOUS 1529115 HAS SOUPS 1443414 WITH SCORE 1450701.991
AT ITER 7545 NEW BEST:: SOT 11881739 SOS 7287718 HAS SOPS 6064601 HAS SOUS 1527984 HAS SOUPS 1442283 WITH SCORE 1449570.718
AT ITER 7554 NEW BEST:: SOT 11882624 SOS 7287811 HAS SOPS 6065344 HAS SOUS 1527379 HAS SOUPS 1441678 WITH SCORE 1448965.811
AT ITER 7582 NEW BEST:: SOT 11882871 SOS 7287889 HAS SOPS 6065539 HAS SOUS 1526485 HAS SOUPS 1440733 WITH SCORE 1448020.889
AT ITER 7588 NEW BEST:: SOT 11879832 SOS 7284850 HAS SOPS 6062500 HAS SOUS 1523446 HAS SOUPS 1437694 WITH SCORE 1444978.85
AT ITER 7595 NEW BEST:: SOT 11879021 SOS 7284428 HAS SOPS 6061878 HAS SOUS 1522094 HAS SOUPS 1436342 WITH SCORE 1443626.428
AT ITER 7601 NEW BEST:: SOT 11882030 SOS 7290981 HAS SOPS 6067882 HAS SOUS 1521328 HAS SOUPS 1435576 WITH SCORE 1442866.981
AT ITER 7624 NEW BEST:: SOT 11883953 SOS 7297989 HAS SOPS 6073626 HAS SOUS 1521179 HAS SOUPS 1435427 WITH SCORE 1442724.989
AT ITER 7641 NEW BEST:: SOT 11883508 SOS 7297237 HAS SOPS 6071771 HAS SOUS 1520880 HAS SOUPS 1435128 WITH SCORE 1442425.237
AT ITER 7642 NEW BEST:: SOT 11880280 SOS 7287011 HAS SOPS 6063088 HAS SOUS 1516740 HAS SOUPS 1430988 WITH SCORE 1438275.011
AT ITER 7695 NEW BEST:: SOT 11879632 SOS 7286069 HAS SOPS 6062377 HAS SOUS 1516480 HAS SOUPS 1430728 WITH SCORE 1438014.069
AT ITER 7712 NEW BEST:: SOT 11878011 SOS 7282891 HAS SOPS 6059863 HAS SOUS 1514040 HAS SOUPS 1428288 WITH SCORE 1435570.891
AT ITER 7729 NEW BEST:: SOT 11869606 SOS 7271405 HAS SOPS 6048695 HAS SOUS 1502712 HAS SOUPS 1417063 WITH SCORE 1424334.405
AT ITER 7749 NEW BEST:: SOT 11868107 SOS 7269982 HAS SOPS 6046856 HAS SOUS 1500558 HAS SOUPS 1414877 WITH SCORE 1422146.982
AT ITER 7751 NEW BEST:: SOT 11867419 SOS 7269451 HAS SOPS 6046091 HAS SOUS 1499943 HAS SOUPS 1414242 WITH SCORE 1421511.451
AT ITER 7790 NEW BEST:: SOT 11868025 SOS 7270053 HAS SOPS 6046697 HAS SOUS 1499743 HAS SOUPS 1414042 WITH SCORE 1421312.053
AT ITER 7808 NEW BEST:: SOT 11866782 SOS 7267132 HAS SOPS 6044260 HAS SOUS 1497888 HAS SOUPS 1412257 WITH SCORE 1419524.132
AT ITER 7809 NEW BEST:: SOT 11866267 SOS 7266275 HAS SOPS 6043342 HAS SOUS 1497163 HAS SOUPS 1411538 WITH SCORE 1418804.275
AT ITER 7834 NEW BEST:: SOT 11866232 SOS 7266248 HAS SOPS 6043315 HAS SOUS 1497108 HAS SOUPS 1411483 WITH SCORE 1418749.248
AT ITER 7840 NEW BEST:: SOT 11866544 SOS 7266230 HAS SOPS 6043335 HAS SOUS 1497001 HAS SOUPS 1411475 WITH SCORE 1418741.23
AT ITER 7850 NEW BEST:: SOT 11866784 SOS 7266752 HAS SOPS 6043565 HAS SOUS 1496347 HAS SOUPS 1410807 WITH SCORE 1418073.752
AT ITER 7883 NEW BEST:: SOT 11866622 SOS 7266242 HAS SOPS 6043739 HAS SOUS 1496257 HAS SOUPS 1410735 WITH SCORE 1418001.242
AT ITER 7904 NEW BEST:: SOT 11867009 SOS 7263546 HAS SOPS 6041676 HAS SOUS 1494905 HAS SOUPS 1409383 WITH SCORE 1416646.546
AT ITER 7936 NEW BEST:: SOT 11866723 SOS 7263155 HAS SOPS 6041384 HAS SOUS 1494631 HAS SOUPS 1409112 WITH SCORE 1416375.155
AT ITER 7968 NEW BEST:: SOT 11864277 SOS 7259847 HAS SOPS 6038083 HAS SOUS 1491166 HAS SOUPS 1405676 WITH SCORE 1412935.847
AT ITER 7984 NEW BEST:: SOT 11866525 SOS 7263656 HAS SOPS 6042417 HAS SOUS 1490388 HAS SOUPS 1404824 WITH SCORE 1412087.656
AT ITER 7999 NEW BEST:: SOT 11863751 SOS 7260594 HAS SOPS 6037993 HAS SOUS 1483326 HAS SOUPS 1397813 WITH SCORE 1405073.594
AT ITER 8003 NEW BEST:: SOT 11863320 SOS 7260082 HAS SOPS 6037311 HAS SOUS 1482460 HAS SOUPS 1396953 WITH SCORE 1404213.082
AT ITER 8043 NEW BEST:: SOT 11863218 SOS 7257851 HAS SOPS 6036718 HAS SOUS 1482244 HAS SOUPS 1396779 WITH SCORE 1404036.851
AT ITER 8051 NEW BEST:: SOT 11863803 SOS 7258525 HAS SOPS 6037491 HAS SOUS 1481967 HAS SOUPS 1396502 WITH SCORE 1403760.525
AT ITER 8062 NEW BEST:: SOT 11864181 SOS 7258563 HAS SOPS 6037483 HAS SOUS 1481595 HAS SOUPS 1396130 WITH SCORE 1403388.563
AT ITER 8065 NEW BEST:: SOT 11864173 SOS 7258491 HAS SOPS 6037425 HAS SOUS 1481565 HAS SOUPS 1396100 WITH SCORE 1403358.491
AT ITER 8083 NEW BEST:: SOT 11863062 SOS 7257444 HAS SOPS 6036292 HAS SOUS 1481244 HAS SOUPS 1395751 WITH SCORE 1403008.444
AT ITER 8135 NEW BEST:: SOT 11862697 SOS 7257059 HAS SOPS 6035697 HAS SOUS 1481193 HAS SOUPS 1395623 WITH SCORE 1402880.059
AT ITER 8154 NEW BEST:: SOT 11862200 SOS 7255990 HAS SOPS 6034857 HAS SOUS 1480451 HAS SOUPS 1395077 WITH SCORE 1402332.99
AT ITER 8191 NEW BEST:: SOT 11861696 SOS 7253751 HAS SOPS 6032652 HAS SOUS 1479195 HAS SOUPS 1393821 WITH SCORE 1401074.751
AT ITER 8201 NEW BEST:: SOT 11861405 SOS 7252994 HAS SOPS 6032023 HAS SOUS 1478845 HAS SOUPS 1393535 WITH SCORE 1400787.994
AT ITER 8204 NEW BEST:: SOT 11861591 SOS 7253499 HAS SOPS 6032636 HAS SOUS 1478640 HAS SOUPS 1393330 WITH SCORE 1400583.499
AT ITER 8215 NEW BEST:: SOT 11862209 SOS 7257554 HAS SOPS 6036091 HAS SOUS 1476698 HAS SOUPS 1391388 WITH SCORE 1398645.554
AT ITER 8249 NEW BEST:: SOT 11862571 SOS 7259053 HAS SOPS 6036918 HAS SOUS 1475559 HAS SOUPS 1390249 WITH SCORE 1397508.053
AT ITER 8272 NEW BEST:: SOT 11863203 SOS 7260301 HAS SOPS 6038726 HAS SOUS 1473842 HAS SOUPS 1388532 WITH SCORE 1395792.301
AT ITER 8280 NEW BEST:: SOT 11861288 SOS 7257943 HAS SOPS 6033614 HAS SOUS 1470007 HAS SOUPS 1384604 WITH SCORE 1391861.943
AT ITER 8308 NEW BEST:: SOT 11861733 SOS 7258398 HAS SOPS 6034231 HAS SOUS 1469176 HAS SOUPS 1383892 WITH SCORE 1391150.398
AT ITER 8321 NEW BEST:: SOT 11861850 SOS 7258104 HAS SOPS 6034263 HAS SOUS 1469027 HAS SOUPS 1383743 WITH SCORE 1391001.104
AT ITER 8326 NEW BEST:: SOT 11861657 SOS 7257866 HAS SOPS 6033625 HAS SOUS 1469005 HAS SOUPS 1383721 WITH SCORE 1390978.866
AT ITER 8332 NEW BEST:: SOT 11861056 SOS 7255871 HAS SOPS 6031840 HAS SOUS 1466502 HAS SOUPS 1381218 WITH SCORE 1388473.871
AT ITER 8334 NEW BEST:: SOT 11861533 SOS 7256348 HAS SOPS 6031981 HAS SOUS 1465847 HAS SOUPS 1380563 WITH SCORE 1387819.348
AT ITER 8345 NEW BEST:: SOT 11860944 SOS 7254960 HAS SOPS 6030782 HAS SOUS 1462835 HAS SOUPS 1377551 WITH SCORE 1384805.96
AT ITER 8352 NEW BEST:: SOT 11860420 SOS 7254508 HAS SOPS 6030462 HAS SOUS 1462824 HAS SOUPS 1377540 WITH SCORE 1384794.508
AT ITER 8363 NEW BEST:: SOT 11853427 SOS 7225832 HAS SOPS 6004669 HAS SOUS 1457089 HAS SOUPS 1371805 WITH SCORE 1379030.832
AT ITER 8398 NEW BEST:: SOT 11851643 SOS 7224048 HAS SOPS 6002965 HAS SOUS 1455545 HAS SOUPS 1370261 WITH SCORE 1377485.048
AT ITER 8419 NEW BEST:: SOT 11850667 SOS 7223742 HAS SOPS 6000413 HAS SOUS 1449210 HAS SOUPS 1363842 WITH SCORE 1371065.742
AT ITER 8441 NEW BEST:: SOT 11850705 SOS 7223434 HAS SOPS 5999966 HAS SOUS 1447637 HAS SOUPS 1362306 WITH SCORE 1369529.434
AT ITER 8446 NEW BEST:: SOT 11851513 SOS 7223117 HAS SOPS 6000431 HAS SOUS 1443664 HAS SOUPS 1358333 WITH SCORE 1365556.117
AT ITER 8458 NEW BEST:: SOT 11852267 SOS 7226195 HAS SOPS 6002360 HAS SOUS 1442233 HAS SOUPS 1356902 WITH SCORE 1364128.195
AT ITER 8477 NEW BEST:: SOT 11852161 SOS 7226332 HAS SOPS 6001673 HAS SOUS 1442055 HAS SOUPS 1356654 WITH SCORE 1363880.332
AT ITER 8483 NEW BEST:: SOT 11856210 SOS 7232798 HAS SOPS 6006294 HAS SOUS 1440684 HAS SOUPS 1355283 WITH SCORE 1362515.798
AT ITER 8502 NEW BEST:: SOT 11855326 SOS 7230904 HAS SOPS 6004651 HAS SOUS 1439800 HAS SOUPS 1354399 WITH SCORE 1361629.904
AT ITER 8509 NEW BEST:: SOT 11855559 SOS 7231672 HAS SOPS 6005102 HAS SOUS 1439811 HAS SOUPS 1354329 WITH SCORE 1361560.672
AT ITER 8512 NEW BEST:: SOT 11855770 SOS 7231929 HAS SOPS 6004938 HAS SOUS 1436550 HAS SOUPS 1351208 WITH SCORE 1358439.929
AT ITER 8542 NEW BEST:: SOT 11855839 SOS 7231996 HAS SOPS 6004989 HAS SOUS 1436549 HAS SOUPS 1351207 WITH SCORE 1358438.996
AT ITER 8545 NEW BEST:: SOT 11854891 SOS 7231378 HAS SOPS 6004316 HAS SOUS 1434731 HAS SOUPS 1349389 WITH SCORE 1356620.378
AT ITER 8630 NEW BEST:: SOT 11854900 SOS 7231468 HAS SOPS 6004262 HAS SOUS 1434630 HAS SOUPS 1349288 WITH SCORE 1356519.468
AT ITER 8645 NEW BEST:: SOT 11854537 SOS 7230780 HAS SOPS 6003647 HAS SOUS 1433689 HAS SOUPS 1348410 WITH SCORE 1355640.78
AT ITER 8657 NEW BEST:: SOT 11854834 SOS 7231548 HAS SOPS 6005535 HAS SOUS 1432831 HAS SOUPS 1347552 WITH SCORE 1354783.548
AT ITER 8691 NEW BEST:: SOT 11853840 SOS 7229842 HAS SOPS 6004119 HAS SOUS 1432361 HAS SOUPS 1347082 WITH SCORE 1354311.842
AT ITER 8694 NEW BEST:: SOT 11854093 SOS 7230085 HAS SOPS 6003582 HAS SOUS 1426994 HAS SOUPS 1341502 WITH SCORE 1348732.085
AT ITER 8707 NEW BEST:: SOT 11853053 SOS 7233104 HAS SOPS 6005545 HAS SOUS 1424946 HAS SOUPS 1339421 WITH SCORE 1346654.104
AT ITER 8728 NEW BEST:: SOT 11852517 SOS 7232480 HAS SOPS 6004585 HAS SOUS 1423546 HAS SOUPS 1337989 WITH SCORE 1345221.48
AT ITER 8738 NEW BEST:: SOT 11852578 SOS 7234615 HAS SOPS 6007869 HAS SOUS 1423319 HAS SOUPS 1337762 WITH SCORE 1344996.615
AT ITER 8769 NEW BEST:: SOT 11852554 SOS 7234227 HAS SOPS 6007344 HAS SOUS 1422717 HAS SOUPS 1337154 WITH SCORE 1344388.227
AT ITER 8824 NEW BEST:: SOT 11852426 SOS 7233618 HAS SOPS 6006269 HAS SOUS 1422400 HAS SOUPS 1336770 WITH SCORE 1344003.618
AT ITER 8849 NEW BEST:: SOT 11851498 SOS 7231972 HAS SOPS 6003259 HAS SOUS 1421298 HAS SOUPS 1335668 WITH SCORE 1342899.972
AT ITER 8954 NEW BEST:: SOT 11851577 SOS 7232106 HAS SOPS 6003419 HAS SOUS 1418709 HAS SOUPS 1333106 WITH SCORE 1340338.106
AT ITER 8978 NEW BEST:: SOT 11851565 SOS 7231566 HAS SOPS 6002687 HAS SOUS 1418347 HAS SOUPS 1332744 WITH SCORE 1339975.566
AT ITER 8993 NEW BEST:: SOT 11852462 SOS 7232080 HAS SOPS 6004507 HAS SOUS 1414959 HAS SOUPS 1330813 WITH SCORE 1338045.08
AT ITER 9001 NEW BEST:: SOT 11851825 SOS 7227769 HAS SOPS 6000734 HAS SOUS 1408656 HAS SOUPS 1324568 WITH SCORE 1331795.769
AT ITER 9025 NEW BEST:: SOT 11851655 SOS 7227555 HAS SOPS 6000394 HAS SOUS 1408386 HAS SOUPS 1324298 WITH SCORE 1331525.555
AT ITER 9044 NEW BEST:: SOT 11856553 SOS 7235239 HAS SOPS 6007906 HAS SOUS 1407866 HAS SOUPS 1323749 WITH SCORE 1330984.239
AT ITER 9051 NEW BEST:: SOT 11856509 SOS 7235231 HAS SOPS 6007938 HAS SOUS 1407624 HAS SOUPS 1323507 WITH SCORE 1330742.231
AT ITER 9074 NEW BEST:: SOT 11856849 SOS 7235519 HAS SOPS 6009658 HAS SOUS 1407436 HAS SOUPS 1323319 WITH SCORE 1330554.519
AT ITER 9097 NEW BEST:: SOT 11857084 SOS 7235274 HAS SOPS 6009698 HAS SOUS 1407350 HAS SOUPS 1323241 WITH SCORE 1330476.274
AT ITER 9105 NEW BEST:: SOT 11856545 SOS 7234748 HAS SOPS 6009033 HAS SOUS 1406641 HAS SOUPS 1322525 WITH SCORE 1329759.748
AT ITER 9112 NEW BEST:: SOT 11855590 SOS 7233645 HAS SOPS 6007508 HAS SOUS 1404688 HAS SOUPS 1320572 WITH SCORE 1327805.645
AT ITER 9124 NEW BEST:: SOT 11855850 SOS 7236983 HAS SOPS 6010558 HAS SOUS 1404308 HAS SOUPS 1320192 WITH SCORE 1327428.983
AT ITER 9125 NEW BEST:: SOT 11855879 SOS 7237401 HAS SOPS 6012293 HAS SOUS 1403699 HAS SOUPS 1319633 WITH SCORE 1326870.401
AT ITER 9151 NEW BEST:: SOT 11855085 SOS 7233131 HAS SOPS 6008142 HAS SOUS 1402205 HAS SOUPS 1318139 WITH SCORE 1325372.131
AT ITER 9160 NEW BEST:: SOT 11852221 SOS 7231398 HAS SOPS 6003998 HAS SOUS 1396883 HAS SOUPS 1312817 WITH SCORE 1320048.398
AT ITER 9177 NEW BEST:: SOT 11851970 SOS 7231094 HAS SOPS 6003694 HAS SOUS 1396335 HAS SOUPS 1312269 WITH SCORE 1319500.094
AT ITER 9217 NEW BEST:: SOT 11851520 SOS 7230644 HAS SOPS 6003180 HAS SOUS 1395613 HAS SOUPS 1311547 WITH SCORE 1318777.644
AT ITER 9240 NEW BEST:: SOT 11851761 SOS 7230399 HAS SOPS 6003273 HAS SOUS 1395160 HAS SOUPS 1311112 WITH SCORE 1318342.399
AT ITER 9321 NEW BEST:: SOT 11851292 SOS 7229760 HAS SOPS 6002040 HAS SOUS 1393943 HAS SOUPS 1309895 WITH SCORE 1317124.76
AT ITER 9378 NEW BEST:: SOT 11851694 SOS 7229906 HAS SOPS 6001813 HAS SOUS 1393885 HAS SOUPS 1309837 WITH SCORE 1317066.906
AT ITER 9410 NEW BEST:: SOT 11850428 SOS 7227207 HAS SOPS 5998664 HAS SOUS 1393570 HAS SOUPS 1309522 WITH SCORE 1316749.207
AT ITER 9418 NEW BEST:: SOT 11850047 SOS 7225643 HAS SOPS 5997254 HAS SOUS 1393260 HAS SOUPS 1309229 WITH SCORE 1316454.643
AT ITER 9446 NEW BEST:: SOT 11850354 SOS 7225467 HAS SOPS 5996554 HAS SOUS 1393094 HAS SOUPS 1309063 WITH SCORE 1316288.467
AT ITER 9470 NEW BEST:: SOT 11849914 SOS 7224908 HAS SOPS 5995915 HAS SOUS 1391952 HAS SOUPS 1307921 WITH SCORE 1315145.908
AT ITER 9485 NEW BEST:: SOT 11847630 SOS 7218824 HAS SOPS 5991372 HAS SOUS 1389052 HAS SOUPS 1305166 WITH SCORE 1312384.824
AT ITER 9488 NEW BEST:: SOT 11846576 SOS 7217857 HAS SOPS 5989685 HAS SOUS 1385784 HAS SOUPS 1301898 WITH SCORE 1309115.857
AT ITER 9507 NEW BEST:: SOT 11846074 SOS 7218707 HAS SOPS 5990535 HAS SOUS 1384923 HAS SOUPS 1301080 WITH SCORE 1308298.707
AT ITER 9543 NEW BEST:: SOT 11845322 SOS 7217884 HAS SOPS 5988271 HAS SOUS 1381949 HAS SOUPS 1298106 WITH SCORE 1305323.884
AT ITER 9552 NEW BEST:: SOT 11857343 SOS 7217988 HAS SOPS 5990634 HAS SOUS 1381308 HAS SOUPS 1297690 WITH SCORE 1304907.988
AT ITER 9591 NEW BEST:: SOT 11862218 SOS 7226810 HAS SOPS 6000608 HAS SOUS 1377935 HAS SOUPS 1294317 WITH SCORE 1301543.81
AT ITER 9601 NEW BEST:: SOT 11861392 SOS 7225984 HAS SOPS 5999574 HAS SOUS 1376765 HAS SOUPS 1293147 WITH SCORE 1300372.984
AT ITER 9604 NEW BEST:: SOT 11861432 SOS 7223216 HAS SOPS 5997707 HAS SOUS 1376737 HAS SOUPS 1293119 WITH SCORE 1300342.216
AT ITER 9625 NEW BEST:: SOT 11861456 SOS 7223639 HAS SOPS 5997866 HAS SOUS 1376458 HAS SOUPS 1292840 WITH SCORE 1300063.639
AT ITER 9633 NEW BEST:: SOT 11859205 SOS 7214072 HAS SOPS 5990291 HAS SOUS 1375882 HAS SOUPS 1292400 WITH SCORE 1299614.072
AT ITER 9658 NEW BEST:: SOT 11859495 SOS 7214429 HAS SOPS 5990996 HAS SOUS 1374894 HAS SOUPS 1291808 WITH SCORE 1299022.429
AT ITER 9665 NEW BEST:: SOT 11859449 SOS 7214381 HAS SOPS 5990933 HAS SOUS 1374799 HAS SOUPS 1291713 WITH SCORE 1298927.381
AT ITER 9667 NEW BEST:: SOT 11858753 SOS 7213583 HAS SOPS 5989857 HAS SOUS 1374681 HAS SOUPS 1291520 WITH SCORE 1298733.583
AT ITER 9692 NEW BEST:: SOT 11858458 SOS 7212538 HAS SOPS 5989262 HAS SOUS 1374250 HAS SOUPS 1291089 WITH SCORE 1298301.538
AT ITER 9776 NEW BEST:: SOT 11858066 SOS 7212055 HAS SOPS 5989121 HAS SOUS 1373317 HAS SOUPS 1290145 WITH SCORE 1297357.055
AT ITER 9788 NEW BEST:: SOT 11857906 SOS 7211895 HAS SOPS 5988961 HAS SOUS 1373317 HAS SOUPS 1290145 WITH SCORE 1297356.895
AT ITER 9812 NEW BEST:: SOT 11857287 SOS 7211078 HAS SOPS 5987483 HAS SOUS 1371856 HAS SOUPS 1288172 WITH SCORE 1295383.078
AT ITER 9814 NEW BEST:: SOT 11857305 SOS 7211112 HAS SOPS 5987505 HAS SOUS 1371813 HAS SOUPS 1288129 WITH SCORE 1295340.112
AT ITER 9849 NEW BEST:: SOT 11857490 SOS 7211483 HAS SOPS 5988318 HAS SOUS 1371344 HAS SOUPS 1287702 WITH SCORE 1294913.483
AT ITER 9855 NEW BEST:: SOT 11858060 SOS 7209685 HAS SOPS 5986520 HAS SOUS 1371326 HAS SOUPS 1287684 WITH SCORE 1294893.685
AT ITER 9859 NEW BEST:: SOT 11858099 SOS 7208719 HAS SOPS 5985186 HAS SOUS 1371189 HAS SOUPS 1287547 WITH SCORE 1294755.719
AT ITER 9890 NEW BEST:: SOT 11858188 SOS 7210556 HAS SOPS 5986069 HAS SOUS 1368382 HAS SOUPS 1284740 WITH SCORE 1291950.556
AT ITER 9895 NEW BEST:: SOT 11857832 SOS 7207748 HAS SOPS 5982726 HAS SOUS 1367667 HAS SOUPS 1284025 WITH SCORE 1291232.748
AT ITER 9925 NEW BEST:: SOT 11857190 SOS 7206663 HAS SOPS 5981676 HAS SOUS 1365009 HAS SOUPS 1281367 WITH SCORE 1288573.663
AT ITER 9980 NEW BEST:: SOT 11856647 SOS 7205646 HAS SOPS 5980542 HAS SOUS 1363940 HAS SOUPS 1280298 WITH SCORE 1287503.646
AT ITER 9986 NEW BEST:: SOT 11858837 SOS 7208318 HAS SOPS 5983789 HAS SOUS 1363674 HAS SOUPS 1280143 WITH SCORE 1287351.318
AT ITER 9995 NEW BEST:: SOT 11858495 SOS 7205617 HAS SOPS 5980548 HAS SOUS 1363555 HAS SOUPS 1280024 WITH SCORE 1287229.617
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 15449296 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16120748 kB

BK_TIME_CONFINEMENT_REACHED

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

Caught signal 15, terminating.

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-4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r323-tall-167889194100032"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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