Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.2K Apr 12 07:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 12 07:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 11 08:05 CTLFireability.txt
-rw-r--r-- 1 mcc users 20K Apr 11 08:05 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 6.0K Mar 24 05:37 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 3.2K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Apr 10 14:02 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 18K Apr 10 14:02 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Apr 9 20:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 12K Apr 9 20:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-7-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589678799274

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

GOT IT HERE. BS
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 3 NEW BEST:: SOT 12196435 SOS 7747092 HAS SOPS 6415496 HAS SOUS 3043364 HAS SOUPS 2942867 WITH SCORE 2950614.092
AT ITER 4 NEW BEST:: SOT 12196101 SOS 7746733 HAS SOPS 6414762 HAS SOUS 3042813 HAS SOUPS 2941941 WITH SCORE 2949687.733
AT ITER 13 NEW BEST:: SOT 12188363 SOS 7736741 HAS SOPS 6404015 HAS SOUS 3023082 HAS SOUPS 2922567 WITH SCORE 2930303.741
AT ITER 21 NEW BEST:: SOT 12187486 SOS 7735639 HAS SOPS 6402973 HAS SOUS 3021545 HAS SOUPS 2921045 WITH SCORE 2928780.639
AT ITER 26 NEW BEST:: SOT 12181071 SOS 7729975 HAS SOPS 6397116 HAS SOUS 3008232 HAS SOUPS 2907832 WITH SCORE 2915561.975
AT ITER 29 NEW BEST:: SOT 12182421 SOS 7734711 HAS SOPS 6401366 HAS SOUS 3007724 HAS SOUPS 2907180 WITH SCORE 2914914.711
AT ITER 39 NEW BEST:: SOT 12186664 SOS 7744505 HAS SOPS 6417488 HAS SOUS 3007060 HAS SOUPS 2906516 WITH SCORE 2914260.505
AT ITER 40 NEW BEST:: SOT 12186508 SOS 7743901 HAS SOPS 6417367 HAS SOUS 3006535 HAS SOUPS 2905991 WITH SCORE 2913734.901
AT ITER 49 NEW BEST:: SOT 12182152 SOS 7739577 HAS SOPS 6413043 HAS SOUS 3001951 HAS SOUPS 2901407 WITH SCORE 2909146.577
AT ITER 51 NEW BEST:: SOT 12181471 SOS 7738393 HAS SOPS 6410771 HAS SOUS 2997005 HAS SOUPS 2896461 WITH SCORE 2904199.393
AT ITER 58 NEW BEST:: SOT 12171388 SOS 7728309 HAS SOPS 6400687 HAS SOUS 2985613 HAS SOUPS 2885069 WITH SCORE 2892797.309
AT ITER 60 NEW BEST:: SOT 12173037 SOS 7734115 HAS SOPS 6405607 HAS SOUS 2984854 HAS SOUPS 2884310 WITH SCORE 2892044.115
AT ITER 62 NEW BEST:: SOT 12173916 SOS 7736573 HAS SOPS 6407483 HAS SOUS 2983290 HAS SOUPS 2882746 WITH SCORE 2890482.573
AT ITER 76 NEW BEST:: SOT 12173481 SOS 7732598 HAS SOPS 6408180 HAS SOUS 2982485 HAS SOUPS 2881941 WITH SCORE 2889673.598
AT ITER 90 NEW BEST:: SOT 12170532 SOS 7728657 HAS SOPS 6402375 HAS SOUS 2975922 HAS SOUPS 2875399 WITH SCORE 2883127.657
AT ITER 100 NEW BEST:: SOT 12170526 SOS 7728673 HAS SOPS 6402393 HAS SOUS 2975861 HAS SOUPS 2875338 WITH SCORE 2883066.673
AT ITER 104 NEW BEST:: SOT 12167634 SOS 7723623 HAS SOPS 6405310 HAS SOUS 2965929 HAS SOUPS 2866899 WITH SCORE 2874622.623
AT ITER 112 NEW BEST:: SOT 12167755 SOS 7724156 HAS SOPS 6405746 HAS SOUS 2962539 HAS SOUPS 2863509 WITH SCORE 2871233.156
AT ITER 121 NEW BEST:: SOT 12167705 SOS 7724081 HAS SOPS 6405296 HAS SOUS 2960601 HAS SOUPS 2861571 WITH SCORE 2869295.081
AT ITER 125 NEW BEST:: SOT 12168041 SOS 7724735 HAS SOPS 6405812 HAS SOUS 2960521 HAS SOUPS 2861491 WITH SCORE 2869215.735
AT ITER 147 NEW BEST:: SOT 12168974 SOS 7728375 HAS SOPS 6410666 HAS SOUS 2959556 HAS SOUPS 2860526 WITH SCORE 2868254.375
AT ITER 148 NEW BEST:: SOT 12167784 SOS 7728555 HAS SOPS 6410279 HAS SOUS 2954192 HAS SOUPS 2854953 WITH SCORE 2862681.555
AT ITER 155 NEW BEST:: SOT 12168656 SOS 7731897 HAS SOPS 6413885 HAS SOUS 2953631 HAS SOUPS 2854392 WITH SCORE 2862123.897
AT ITER 158 NEW BEST:: SOT 12163206 SOS 7721812 HAS SOPS 6411624 HAS SOUS 2953067 HAS SOUPS 2854369 WITH SCORE 2862090.812
AT ITER 169 NEW BEST:: SOT 12162781 SOS 7721244 HAS SOPS 6410923 HAS SOUS 2952434 HAS SOUPS 2853736 WITH SCORE 2861457.244
AT ITER 173 NEW BEST:: SOT 12158891 SOS 7715897 HAS SOPS 6405328 HAS SOUS 2944919 HAS SOUPS 2846285 WITH SCORE 2854000.897
AT ITER 179 NEW BEST:: SOT 12159007 SOS 7716527 HAS SOPS 6405919 HAS SOUS 2944877 HAS SOUPS 2846243 WITH SCORE 2853959.527
AT ITER 186 NEW BEST:: SOT 12159156 SOS 7716648 HAS SOPS 6406234 HAS SOUS 2944759 HAS SOUPS 2846212 WITH SCORE 2853928.648
AT ITER 188 NEW BEST:: SOT 12153183 SOS 7713833 HAS SOPS 6407089 HAS SOUS 2932921 HAS SOUPS 2834488 WITH SCORE 2842201.833
AT ITER 191 NEW BEST:: SOT 12155166 SOS 7710884 HAS SOPS 6414067 HAS SOUS 2931205 HAS SOUPS 2832790 WITH SCORE 2840500.884
AT ITER 192 NEW BEST:: SOT 12155786 SOS 7711808 HAS SOPS 6416637 HAS SOUS 2928642 HAS SOUPS 2830342 WITH SCORE 2838053.808
AT ITER 207 NEW BEST:: SOT 12169941 SOS 7747327 HAS SOPS 6461977 HAS SOUS 2919465 HAS SOUPS 2821528 WITH SCORE 2829275.327
AT ITER 209 NEW BEST:: SOT 12156161 SOS 7732247 HAS SOPS 6447172 HAS SOUS 2904524 HAS SOUPS 2806728 WITH SCORE 2814460.247
AT ITER 234 NEW BEST:: SOT 12156203 SOS 7731553 HAS SOPS 6448062 HAS SOUS 2904331 HAS SOUPS 2806535 WITH SCORE 2814266.553
AT ITER 235 NEW BEST:: SOT 12156117 SOS 7731475 HAS SOPS 6447972 HAS SOUS 2904139 HAS SOUPS 2806343 WITH SCORE 2814074.475
AT ITER 239 NEW BEST:: SOT 12139629 SOS 7712983 HAS SOPS 6428739 HAS SOUS 2886625 HAS SOUPS 2788989 WITH SCORE 2796701.983
AT ITER 244 NEW BEST:: SOT 12151863 SOS 7749481 HAS SOPS 6466447 HAS SOUS 2874204 HAS SOUPS 2776818 WITH SCORE 2784567.481
AT ITER 245 NEW BEST:: SOT 12162590 SOS 7759838 HAS SOPS 6476918 HAS SOUS 2872037 HAS SOUPS 2774694 WITH SCORE 2782453.838
AT ITER 251 NEW BEST:: SOT 12158491 SOS 7755214 HAS SOPS 6472426 HAS SOUS 2863996 HAS SOUPS 2766712 WITH SCORE 2774467.214
AT ITER 268 NEW BEST:: SOT 12157737 SOS 7754326 HAS SOPS 6470713 HAS SOUS 2861516 HAS SOUPS 2764232 WITH SCORE 2771986.326
AT ITER 273 NEW BEST:: SOT 12157751 SOS 7755667 HAS SOPS 6471409 HAS SOUS 2860281 HAS SOUPS 2762997 WITH SCORE 2770752.667
AT ITER 288 NEW BEST:: SOT 12157708 SOS 7754330 HAS SOPS 6470433 HAS SOUS 2859940 HAS SOUPS 2762689 WITH SCORE 2770443.33
AT ITER 294 NEW BEST:: SOT 12156945 SOS 7753127 HAS SOPS 6470090 HAS SOUS 2857897 HAS SOUPS 2760646 WITH SCORE 2768399.127
AT ITER 317 NEW BEST:: SOT 12156245 SOS 7751958 HAS SOPS 6468770 HAS SOUS 2856348 HAS SOUPS 2759097 WITH SCORE 2766848.958
AT ITER 353 NEW BEST:: SOT 12153825 SOS 7745880 HAS SOPS 6466500 HAS SOUS 2854857 HAS SOUPS 2757606 WITH SCORE 2765351.88
AT ITER 357 NEW BEST:: SOT 12153271 SOS 7746838 HAS SOPS 6466603 HAS SOUS 2853094 HAS SOUPS 2755843 WITH SCORE 2763589.838
AT ITER 368 NEW BEST:: SOT 12144274 SOS 7731693 HAS SOPS 6454387 HAS SOUS 2843911 HAS SOUPS 2746948 WITH SCORE 2754679.693
AT ITER 377 NEW BEST:: SOT 12140771 SOS 7727465 HAS SOPS 6449884 HAS SOUS 2831990 HAS SOUPS 2735107 WITH SCORE 2742834.465
AT ITER 378 NEW BEST:: SOT 12140547 SOS 7726815 HAS SOPS 6449862 HAS SOUS 2831319 HAS SOUPS 2734484 WITH SCORE 2742210.815
AT ITER 396 NEW BEST:: SOT 12137248 SOS 7720696 HAS SOPS 6445118 HAS SOUS 2823862 HAS SOUPS 2727580 WITH SCORE 2735300.696
AT ITER 405 NEW BEST:: SOT 12138220 SOS 7722812 HAS SOPS 6448585 HAS SOUS 2822194 HAS SOUPS 2725912 WITH SCORE 2733634.812
AT ITER 413 NEW BEST:: SOT 12134934 SOS 7716565 HAS SOPS 6443101 HAS SOUS 2816252 HAS SOUPS 2719970 WITH SCORE 2727686.565
AT ITER 422 NEW BEST:: SOT 12150930 SOS 7728687 HAS SOPS 6455970 HAS SOUS 2812383 HAS SOUPS 2716319 WITH SCORE 2724047.687
AT ITER 425 NEW BEST:: SOT 12150088 SOS 7727252 HAS SOPS 6454431 HAS SOUS 2803608 HAS SOUPS 2708306 WITH SCORE 2716033.252
AT ITER 434 NEW BEST:: SOT 12142735 SOS 7719855 HAS SOPS 6448332 HAS SOUS 2786275 HAS SOUPS 2691265 WITH SCORE 2698984.855
AT ITER 440 NEW BEST:: SOT 12145319 SOS 7727218 HAS SOPS 6452058 HAS SOUS 2785266 HAS SOUPS 2690256 WITH SCORE 2697983.218
AT ITER 442 NEW BEST:: SOT 12141763 SOS 7722727 HAS SOPS 6442546 HAS SOUS 2773245 HAS SOUPS 2678235 WITH SCORE 2685957.727
AT ITER 458 NEW BEST:: SOT 12138911 SOS 7720458 HAS SOPS 6440817 HAS SOUS 2764327 HAS SOUPS 2669426 WITH SCORE 2677146.458
AT ITER 460 NEW BEST:: SOT 12141505 SOS 7728063 HAS SOPS 6440393 HAS SOUS 2763367 HAS SOUPS 2668466 WITH SCORE 2676194.063
AT ITER 461 NEW BEST:: SOT 12141505 SOS 7728063 HAS SOPS 6440393 HAS SOUS 2763263 HAS SOUPS 2668362 WITH SCORE 2676090.063
AT ITER 466 NEW BEST:: SOT 12143428 SOS 7730409 HAS SOPS 6449052 HAS SOUS 2754291 HAS SOUPS 2659390 WITH SCORE 2667120.409
AT ITER 476 NEW BEST:: SOT 12144732 SOS 7740483 HAS SOPS 6468457 HAS SOUS 2751499 HAS SOUPS 2656598 WITH SCORE 2664338.483
AT ITER 481 NEW BEST:: SOT 12164659 SOS 7784674 HAS SOPS 6509055 HAS SOUS 2748232 HAS SOUPS 2653288 WITH SCORE 2661072.674
AT ITER 491 NEW BEST:: SOT 12153191 SOS 7766583 HAS SOPS 6513649 HAS SOUS 2742129 HAS SOUPS 2647721 WITH SCORE 2655487.583
AT ITER 501 NEW BEST:: SOT 12152768 SOS 7765783 HAS SOPS 6513066 HAS SOUS 2740190 HAS SOUPS 2645975 WITH SCORE 2653740.783
AT ITER 507 NEW BEST:: SOT 12153573 SOS 7768810 HAS SOPS 6516001 HAS SOUS 2736171 HAS SOUPS 2641956 WITH SCORE 2649724.81
AT ITER 557 NEW BEST:: SOT 12155266 SOS 7773247 HAS SOPS 6524767 HAS SOUS 2735624 HAS SOUPS 2641495 WITH SCORE 2649268.247
AT ITER 566 NEW BEST:: SOT 12155814 SOS 7776331 HAS SOPS 6529818 HAS SOUS 2730923 HAS SOUPS 2636794 WITH SCORE 2644570.331
AT ITER 568 NEW BEST:: SOT 12158673 SOS 7785209 HAS SOPS 6538717 HAS SOUS 2729385 HAS SOUPS 2635256 WITH SCORE 2643041.209
AT ITER 573 NEW BEST:: SOT 12158252 SOS 7784759 HAS SOPS 6537832 HAS SOUS 2727204 HAS SOUPS 2633075 WITH SCORE 2640859.759
AT ITER 581 NEW BEST:: SOT 12158960 SOS 7789583 HAS SOPS 6541382 HAS SOUS 2723929 HAS SOUPS 2629800 WITH SCORE 2637589.583
AT ITER 596 NEW BEST:: SOT 12158546 SOS 7790051 HAS SOPS 6540927 HAS SOUS 2721230 HAS SOUPS 2627101 WITH SCORE 2634891.051
AT ITER 606 NEW BEST:: SOT 12162189 SOS 7795504 HAS SOPS 6543484 HAS SOUS 2719797 HAS SOUPS 2625668 WITH SCORE 2633463.504
AT ITER 609 NEW BEST:: SOT 12168736 SOS 7805733 HAS SOPS 6550694 HAS SOUS 2716901 HAS SOUPS 2622772 WITH SCORE 2630577.733
AT ITER 612 NEW BEST:: SOT 12167702 SOS 7804548 HAS SOPS 6550751 HAS SOUS 2713992 HAS SOUPS 2619863 WITH SCORE 2627667.548
AT ITER 616 NEW BEST:: SOT 12167567 SOS 7811127 HAS SOPS 6550093 HAS SOUS 2695266 HAS SOUPS 2600790 WITH SCORE 2608601.127
AT ITER 621 NEW BEST:: SOT 12171725 SOS 7815202 HAS SOPS 6553199 HAS SOUS 2695652 HAS SOUPS 2600762 WITH SCORE 2608577.202
AT ITER 634 NEW BEST:: SOT 12171703 SOS 7815317 HAS SOPS 6553273 HAS SOUS 2695565 HAS SOUPS 2600675 WITH SCORE 2608490.317
AT ITER 636 NEW BEST:: SOT 12174087 SOS 7817701 HAS SOPS 6554649 HAS SOUS 2694861 HAS SOUPS 2599603 WITH SCORE 2607420.701
AT ITER 644 NEW BEST:: SOT 12173489 SOS 7818071 HAS SOPS 6555882 HAS SOUS 2693430 HAS SOUPS 2598172 WITH SCORE 2605990.071
AT ITER 664 NEW BEST:: SOT 12166225 SOS 7801077 HAS SOPS 6543919 HAS SOUS 2692608 HAS SOUPS 2597350 WITH SCORE 2605151.077
AT ITER 670 NEW BEST:: SOT 12144210 SOS 7777598 HAS SOPS 6520175 HAS SOUS 2657769 HAS SOUPS 2562626 WITH SCORE 2570403.598
AT ITER 688 NEW BEST:: SOT 12142261 SOS 7774632 HAS SOPS 6517698 HAS SOUS 2656690 HAS SOUPS 2561589 WITH SCORE 2569363.632
AT ITER 693 NEW BEST:: SOT 12142244 SOS 7774559 HAS SOPS 6517575 HAS SOUS 2656565 HAS SOUPS 2561464 WITH SCORE 2569238.559
AT ITER 700 NEW BEST:: SOT 12149022 SOS 7796769 HAS SOPS 6543012 HAS SOUS 2645971 HAS SOUPS 2551066 WITH SCORE 2558862.769
AT ITER 706 NEW BEST:: SOT 12149193 SOS 7796863 HAS SOPS 6543137 HAS SOUS 2645237 HAS SOUPS 2550332 WITH SCORE 2558128.863
AT ITER 716 NEW BEST:: SOT 12145214 SOS 7786650 HAS SOPS 6536399 HAS SOUS 2644564 HAS SOUPS 2549659 WITH SCORE 2557445.65
AT ITER 719 NEW BEST:: SOT 12148120 SOS 7793335 HAS SOPS 6535477 HAS SOUS 2643818 HAS SOUPS 2548470 WITH SCORE 2556263.335
AT ITER 737 NEW BEST:: SOT 12146925 SOS 7793200 HAS SOPS 6531441 HAS SOUS 2631525 HAS SOUPS 2536179 WITH SCORE 2543972.2
AT ITER 739 NEW BEST:: SOT 12146871 SOS 7793146 HAS SOPS 6531387 HAS SOUS 2631311 HAS SOUPS 2535965 WITH SCORE 2543758.146
AT ITER 740 NEW BEST:: SOT 12145504 SOS 7791590 HAS SOPS 6529719 HAS SOUS 2630224 HAS SOUPS 2534878 WITH SCORE 2542669.59
AT ITER 753 NEW BEST:: SOT 12142818 SOS 7787679 HAS SOPS 6527427 HAS SOUS 2626523 HAS SOUPS 2531177 WITH SCORE 2538964.679
AT ITER 758 NEW BEST:: SOT 12140482 SOS 7784000 HAS SOPS 6523799 HAS SOUS 2623669 HAS SOUPS 2528323 WITH SCORE 2536107.0
AT ITER 760 NEW BEST:: SOT 12137715 SOS 7782502 HAS SOPS 6522064 HAS SOUS 2615548 HAS SOUPS 2520248 WITH SCORE 2528030.502
AT ITER 764 NEW BEST:: SOT 12134335 SOS 7768901 HAS SOPS 6513531 HAS SOUS 2614434 HAS SOUPS 2519263 WITH SCORE 2527031.901
AT ITER 767 NEW BEST:: SOT 12134353 SOS 7768940 HAS SOPS 6513598 HAS SOUS 2614431 HAS SOUPS 2519260 WITH SCORE 2527028.94
AT ITER 800 NEW BEST:: SOT 12135011 SOS 7770099 HAS SOPS 6513891 HAS SOUS 2613523 HAS SOUPS 2518422 WITH SCORE 2526192.099
AT ITER 806 NEW BEST:: SOT 12133803 SOS 7769017 HAS SOPS 6513172 HAS SOUS 2610451 HAS SOUPS 2515352 WITH SCORE 2523121.017
AT ITER 813 NEW BEST:: SOT 12127958 SOS 7765375 HAS SOPS 6512374 HAS SOUS 2606401 HAS SOUPS 2511963 WITH SCORE 2519728.375
AT ITER 837 NEW BEST:: SOT 12125780 SOS 7763380 HAS SOPS 6510397 HAS SOUS 2605115 HAS SOUPS 2510677 WITH SCORE 2518440.38
AT ITER 840 NEW BEST:: SOT 12124980 SOS 7762590 HAS SOPS 6509637 HAS SOUS 2604765 HAS SOUPS 2510357 WITH SCORE 2518119.59
AT ITER 847 NEW BEST:: SOT 12123356 SOS 7760841 HAS SOPS 6509835 HAS SOUS 2603680 HAS SOUPS 2509272 WITH SCORE 2517032.841
AT ITER 851 NEW BEST:: SOT 12123013 SOS 7759541 HAS SOPS 6509080 HAS SOUS 2602684 HAS SOUPS 2508375 WITH SCORE 2516134.541
AT ITER 852 NEW BEST:: SOT 12121876 SOS 7758517 HAS SOPS 6507342 HAS SOUS 2602091 HAS SOUPS 2507782 WITH SCORE 2515540.517
AT ITER 855 NEW BEST:: SOT 12122795 SOS 7760422 HAS SOPS 6508507 HAS SOUS 2601929 HAS SOUPS 2507620 WITH SCORE 2515380.422
AT ITER 857 NEW BEST:: SOT 12122524 SOS 7759920 HAS SOPS 6507927 HAS SOUS 2600895 HAS SOUPS 2506588 WITH SCORE 2514347.92
AT ITER 858 NEW BEST:: SOT 12122913 SOS 7761407 HAS SOPS 6510398 HAS SOUS 2600650 HAS SOUPS 2506343 WITH SCORE 2514104.407
AT ITER 866 NEW BEST:: SOT 12125326 SOS 7769309 HAS SOPS 6517752 HAS SOUS 2600056 HAS SOUPS 2505749 WITH SCORE 2513518.309
AT ITER 876 NEW BEST:: SOT 12124822 SOS 7768819 HAS SOPS 6517283 HAS SOUS 2599587 HAS SOUPS 2505301 WITH SCORE 2513069.819
AT ITER 886 NEW BEST:: SOT 12118489 SOS 7750155 HAS SOPS 6505470 HAS SOUS 2592719 HAS SOUPS 2499420 WITH SCORE 2507170.155
AT ITER 887 NEW BEST:: SOT 12110304 SOS 7742196 HAS SOPS 6496716 HAS SOUS 2579953 HAS SOUPS 2486674 WITH SCORE 2494416.196
AT ITER 892 NEW BEST:: SOT 12105884 SOS 7726506 HAS SOPS 6490754 HAS SOUS 2568041 HAS SOUPS 2475573 WITH SCORE 2483299.506
AT ITER 893 NEW BEST:: SOT 12105186 SOS 7725125 HAS SOPS 6488320 HAS SOUS 2567084 HAS SOUPS 2474682 WITH SCORE 2482407.125
AT ITER 914 NEW BEST:: SOT 12098697 SOS 7714979 HAS SOPS 6475748 HAS SOUS 2563506 HAS SOUPS 2471204 WITH SCORE 2478918.979
AT ITER 916 NEW BEST:: SOT 12095516 SOS 7710948 HAS SOPS 6471492 HAS SOUS 2559324 HAS SOUPS 2467022 WITH SCORE 2474732.948
AT ITER 932 NEW BEST:: SOT 12095423 SOS 7710619 HAS SOPS 6469240 HAS SOUS 2556247 HAS SOUPS 2463963 WITH SCORE 2471673.619
AT ITER 934 NEW BEST:: SOT 12090314 SOS 7705257 HAS SOPS 6463973 HAS SOUS 2555610 HAS SOUPS 2461076 WITH SCORE 2468781.257
AT ITER 939 NEW BEST:: SOT 12094186 SOS 7712280 HAS SOPS 6472346 HAS SOUS 2551972 HAS SOUPS 2457291 WITH SCORE 2465003.28
AT ITER 968 NEW BEST:: SOT 12092076 SOS 7710170 HAS SOPS 6470236 HAS SOUS 2549722 HAS SOUPS 2455041 WITH SCORE 2462751.17
AT ITER 981 NEW BEST:: SOT 12091597 SOS 7707599 HAS SOPS 6468416 HAS SOUS 2539077 HAS SOUPS 2444348 WITH SCORE 2452055.599
AT ITER 982 NEW BEST:: SOT 12082183 SOS 7692447 HAS SOPS 6455676 HAS SOUS 2528293 HAS SOUPS 2433697 WITH SCORE 2441389.447
AT ITER 986 NEW BEST:: SOT 12082171 SOS 7692319 HAS SOPS 6455509 HAS SOUS 2528274 HAS SOUPS 2433678 WITH SCORE 2441370.319
AT ITER 989 NEW BEST:: SOT 12083324 SOS 7694700 HAS SOPS 6457934 HAS SOUS 2527765 HAS SOUPS 2433169 WITH SCORE 2440863.7
AT ITER 996 NEW BEST:: SOT 12084232 SOS 7692507 HAS SOPS 6456413 HAS SOUS 2518415 HAS SOUPS 2423819 WITH SCORE 2431511.507
AT ITER 1006 NEW BEST:: SOT 12079236 SOS 7676387 HAS SOPS 6446619 HAS SOUS 2515816 HAS SOUPS 2421589 WITH SCORE 2429265.387
AT ITER 1010 NEW BEST:: SOT 12079381 SOS 7676951 HAS SOPS 6447768 HAS SOUS 2514529 HAS SOUPS 2420345 WITH SCORE 2428021.951
AT ITER 1028 NEW BEST:: SOT 12079147 SOS 7676648 HAS SOPS 6447362 HAS SOUS 2513979 HAS SOUPS 2419808 WITH SCORE 2427484.648
AT ITER 1036 NEW BEST:: SOT 12077011 SOS 7675019 HAS SOPS 6445047 HAS SOUS 2506889 HAS SOUPS 2412718 WITH SCORE 2420393.019
AT ITER 1056 NEW BEST:: SOT 12078741 SOS 7676998 HAS SOPS 6447585 HAS SOUS 2502796 HAS SOUPS 2409057 WITH SCORE 2416733.998
AT ITER 1070 NEW BEST:: SOT 12078844 SOS 7677366 HAS SOPS 6447768 HAS SOUS 2502794 HAS SOUPS 2409055 WITH SCORE 2416732.366
AT ITER 1075 NEW BEST:: SOT 12077272 SOS 7674796 HAS SOPS 6447057 HAS SOUS 2501235 HAS SOUPS 2407496 WITH SCORE 2415170.796
AT ITER 1080 NEW BEST:: SOT 12083929 SOS 7681315 HAS SOPS 6455163 HAS SOUS 2500841 HAS SOUPS 2407150 WITH SCORE 2414831.315
AT ITER 1087 NEW BEST:: SOT 12075397 SOS 7672299 HAS SOPS 6446229 HAS SOUS 2485961 HAS SOUPS 2392322 WITH SCORE 2399994.299
AT ITER 1094 NEW BEST:: SOT 12074211 SOS 7670993 HAS SOPS 6443569 HAS SOUS 2483543 HAS SOUPS 2389878 WITH SCORE 2397548.993
AT ITER 1103 NEW BEST:: SOT 12072076 SOS 7666459 HAS SOPS 6440135 HAS SOUS 2480387 HAS SOUPS 2386776 WITH SCORE 2394442.459
AT ITER 1113 NEW BEST:: SOT 12073389 SOS 7667233 HAS SOPS 6443359 HAS SOUS 2479139 HAS SOUPS 2385621 WITH SCORE 2393288.233
AT ITER 1114 NEW BEST:: SOT 12073068 SOS 7667217 HAS SOPS 6441606 HAS SOUS 2474915 HAS SOUPS 2381456 WITH SCORE 2389123.217
AT ITER 1119 NEW BEST:: SOT 12073065 SOS 7667214 HAS SOPS 6441603 HAS SOUS 2474912 HAS SOUPS 2381453 WITH SCORE 2389120.214
AT ITER 1122 NEW BEST:: SOT 12063829 SOS 7647622 HAS SOPS 6427042 HAS SOUS 2462987 HAS SOUPS 2369689 WITH SCORE 2377336.622
AT ITER 1130 NEW BEST:: SOT 12064278 SOS 7647174 HAS SOPS 6426117 HAS SOUS 2462441 HAS SOUPS 2369143 WITH SCORE 2376790.174
AT ITER 1140 NEW BEST:: SOT 12063895 SOS 7645535 HAS SOPS 6423762 HAS SOUS 2460734 HAS SOUPS 2367436 WITH SCORE 2375081.535
AT ITER 1142 NEW BEST:: SOT 12063635 SOS 7644898 HAS SOPS 6423229 HAS SOUS 2460360 HAS SOUPS 2367062 WITH SCORE 2374706.898
AT ITER 1150 NEW BEST:: SOT 12062478 SOS 7639376 HAS SOPS 6420178 HAS SOUS 2455920 HAS SOUPS 2362622 WITH SCORE 2370261.376
AT ITER 1151 NEW BEST:: SOT 12062261 SOS 7639159 HAS SOPS 6419913 HAS SOUS 2455635 HAS SOUPS 2362337 WITH SCORE 2369976.159
AT ITER 1155 NEW BEST:: SOT 12071279 SOS 7647920 HAS SOPS 6428350 HAS SOUS 2451855 HAS SOUPS 2358557 WITH SCORE 2366204.92
AT ITER 1177 NEW BEST:: SOT 12065464 SOS 7642618 HAS SOPS 6422790 HAS SOUS 2438920 HAS SOUPS 2345532 WITH SCORE 2353174.618
AT ITER 1178 NEW BEST:: SOT 12065980 SOS 7643683 HAS SOPS 6422941 HAS SOUS 2438519 HAS SOUPS 2345131 WITH SCORE 2352774.683
AT ITER 1185 NEW BEST:: SOT 12065045 SOS 7643313 HAS SOPS 6422103 HAS SOUS 2435587 HAS SOUPS 2342199 WITH SCORE 2349842.313
AT ITER 1190 NEW BEST:: SOT 12039051 SOS 7597179 HAS SOPS 6385285 HAS SOUS 2410188 HAS SOUPS 2316800 WITH SCORE 2324397.179
AT ITER 1192 NEW BEST:: SOT 12038807 SOS 7597091 HAS SOPS 6385400 HAS SOUS 2409333 HAS SOUPS 2315945 WITH SCORE 2323542.091
AT ITER 1210 NEW BEST:: SOT 12035549 SOS 7589161 HAS SOPS 6381575 HAS SOUS 2401909 HAS SOUPS 2308984 WITH SCORE 2316573.161
AT ITER 1243 NEW BEST:: SOT 12024407 SOS 7573863 HAS SOPS 6366483 HAS SOUS 2387537 HAS SOUPS 2294667 WITH SCORE 2302240.863
AT ITER 1268 NEW BEST:: SOT 12022763 SOS 7570982 HAS SOPS 6364803 HAS SOUS 2376256 HAS SOUPS 2283851 WITH SCORE 2291421.982
AT ITER 1275 NEW BEST:: SOT 12019687 SOS 7565113 HAS SOPS 6358752 HAS SOUS 2373164 HAS SOUPS 2280759 WITH SCORE 2288324.113
AT ITER 1286 NEW BEST:: SOT 12018944 SOS 7563992 HAS SOPS 6356248 HAS SOUS 2371695 HAS SOUPS 2279290 WITH SCORE 2286853.992
AT ITER 1301 NEW BEST:: SOT 12018766 SOS 7563814 HAS SOPS 6355974 HAS SOUS 2371205 HAS SOUPS 2278800 WITH SCORE 2286363.814
AT ITER 1310 NEW BEST:: SOT 12020321 SOS 7568082 HAS SOPS 6353435 HAS SOUS 2361186 HAS SOUPS 2268134 WITH SCORE 2275702.082
AT ITER 1316 NEW BEST:: SOT 12021037 SOS 7575653 HAS SOPS 6358372 HAS SOUS 2357123 HAS SOUPS 2264071 WITH SCORE 2271646.653
AT ITER 1319 NEW BEST:: SOT 12023573 SOS 7578189 HAS SOPS 6359836 HAS SOUS 2354459 HAS SOUPS 2261407 WITH SCORE 2268985.189
AT ITER 1322 NEW BEST:: SOT 12023424 SOS 7578155 HAS SOPS 6359607 HAS SOUS 2353403 HAS SOUPS 2260351 WITH SCORE 2267929.155
AT ITER 1332 NEW BEST:: SOT 12022215 SOS 7571579 HAS SOPS 6353789 HAS SOUS 2351934 HAS SOUPS 2258944 WITH SCORE 2266515.579
AT ITER 1340 NEW BEST:: SOT 12022010 SOS 7571350 HAS SOPS 6353436 HAS SOUS 2347871 HAS SOUPS 2254881 WITH SCORE 2262452.35
AT ITER 1351 NEW BEST:: SOT 12021792 SOS 7571132 HAS SOPS 6353106 HAS SOUS 2347205 HAS SOUPS 2254215 WITH SCORE 2261786.132
AT ITER 1353 NEW BEST:: SOT 12021949 SOS 7571191 HAS SOPS 6353312 HAS SOUS 2347189 HAS SOUPS 2254213 WITH SCORE 2261784.191
AT ITER 1381 NEW BEST:: SOT 12021933 SOS 7571187 HAS SOPS 6353342 HAS SOUS 2347161 HAS SOUPS 2254185 WITH SCORE 2261756.187
AT ITER 1402 NEW BEST:: SOT 12020631 SOS 7569599 HAS SOPS 6351468 HAS SOUS 2345371 HAS SOUPS 2252382 WITH SCORE 2259951.599
AT ITER 1407 NEW BEST:: SOT 12016202 SOS 7565170 HAS SOPS 6346479 HAS SOUS 2337914 HAS SOUPS 2244925 WITH SCORE 2252490.17
AT ITER 1434 NEW BEST:: SOT 12016042 SOS 7563896 HAS SOPS 6344567 HAS SOUS 2337812 HAS SOUPS 2244823 WITH SCORE 2252386.896
AT ITER 1448 NEW BEST:: SOT 12015914 SOS 7563768 HAS SOPS 6344439 HAS SOUS 2337684 HAS SOUPS 2244695 WITH SCORE 2252258.768
AT ITER 1457 NEW BEST:: SOT 12015914 SOS 7563768 HAS SOPS 6344439 HAS SOUS 2337660 HAS SOUPS 2244671 WITH SCORE 2252234.768
AT ITER 1461 NEW BEST:: SOT 12015938 SOS 7563659 HAS SOPS 6344225 HAS SOUS 2337616 HAS SOUPS 2244627 WITH SCORE 2252190.659
AT ITER 1517 NEW BEST:: SOT 12016869 SOS 7565835 HAS SOPS 6344651 HAS SOUS 2336769 HAS SOUPS 2243725 WITH SCORE 2251290.835
AT ITER 1522 NEW BEST:: SOT 12018729 SOS 7566759 HAS SOPS 6352388 HAS SOUS 2335123 HAS SOUPS 2242287 WITH SCORE 2249853.759
AT ITER 1524 NEW BEST:: SOT 12018166 SOS 7567921 HAS SOPS 6355045 HAS SOUS 2332752 HAS SOUPS 2239916 WITH SCORE 2247483.921
AT ITER 1532 NEW BEST:: SOT 12009528 SOS 7537843 HAS SOPS 6332512 HAS SOUS 2331035 HAS SOUPS 2238407 WITH SCORE 2245944.843
AT ITER 1537 NEW BEST:: SOT 12009973 SOS 7540284 HAS SOPS 6335599 HAS SOUS 2331029 HAS SOUPS 2238401 WITH SCORE 2245941.284
AT ITER 1563 NEW BEST:: SOT 12010127 SOS 7541034 HAS SOPS 6336138 HAS SOUS 2330819 HAS SOUPS 2238191 WITH SCORE 2245732.034
AT ITER 1569 NEW BEST:: SOT 12009850 SOS 7540687 HAS SOPS 6335713 HAS SOUS 2327291 HAS SOUPS 2234797 WITH SCORE 2242337.687
AT ITER 1577 NEW BEST:: SOT 12009632 SOS 7538619 HAS SOPS 6333423 HAS SOUS 2327089 HAS SOUPS 2234595 WITH SCORE 2242133.619
AT ITER 1592 NEW BEST:: SOT 12009804 SOS 7538764 HAS SOPS 6333176 HAS SOUS 2326792 HAS SOUPS 2234298 WITH SCORE 2241836.764
AT ITER 1603 NEW BEST:: SOT 12008743 SOS 7538477 HAS SOPS 6333350 HAS SOUS 2323160 HAS SOUPS 2230680 WITH SCORE 2238218.477
AT ITER 1608 NEW BEST:: SOT 12008130 SOS 7537864 HAS SOPS 6332561 HAS SOUS 2321763 HAS SOUPS 2229283 WITH SCORE 2236820.864
AT ITER 1625 NEW BEST:: SOT 12009624 SOS 7538838 HAS SOPS 6336760 HAS SOUS 2320316 HAS SOUPS 2227836 WITH SCORE 2235374.838
AT ITER 1638 NEW BEST:: SOT 12011362 SOS 7542447 HAS SOPS 6341212 HAS SOUS 2318791 HAS SOUPS 2226311 WITH SCORE 2233853.447
AT ITER 1639 NEW BEST:: SOT 12011082 SOS 7539965 HAS SOPS 6337117 HAS SOUS 2318719 HAS SOUPS 2226239 WITH SCORE 2233778.965
AT ITER 1647 NEW BEST:: SOT 12011026 SOS 7539909 HAS SOPS 6337029 HAS SOUS 2318535 HAS SOUPS 2226055 WITH SCORE 2233594.909
AT ITER 1649 NEW BEST:: SOT 12010446 SOS 7539028 HAS SOPS 6336148 HAS SOUS 2315117 HAS SOUPS 2222679 WITH SCORE 2230218.028
AT ITER 1654 NEW BEST:: SOT 12010464 SOS 7537942 HAS SOPS 6335299 HAS SOUS 2314961 HAS SOUPS 2222541 WITH SCORE 2230078.942
AT ITER 1655 NEW BEST:: SOT 12012766 SOS 7557039 HAS SOPS 6343861 HAS SOUS 2313669 HAS SOUPS 2221249 WITH SCORE 2228806.039
AT ITER 1660 NEW BEST:: SOT 12012679 SOS 7557722 HAS SOPS 6345422 HAS SOUS 2313458 HAS SOUPS 2221038 WITH SCORE 2228595.722
AT ITER 1674 NEW BEST:: SOT 12012706 SOS 7557796 HAS SOPS 6345572 HAS SOUS 2313447 HAS SOUPS 2221027 WITH SCORE 2228584.796
AT ITER 1675 NEW BEST:: SOT 12009840 SOS 7554930 HAS SOPS 6342706 HAS SOUS 2310581 HAS SOUPS 2218161 WITH SCORE 2225715.93
AT ITER 1690 NEW BEST:: SOT 12008274 SOS 7553843 HAS SOPS 6341344 HAS SOUS 2307444 HAS SOUPS 2215024 WITH SCORE 2222577.843
AT ITER 1697 NEW BEST:: SOT 12009833 SOS 7554083 HAS SOPS 6340861 HAS SOUS 2304430 HAS SOUPS 2211891 WITH SCORE 2219445.083
AT ITER 1708 NEW BEST:: SOT 12010781 SOS 7557239 HAS SOPS 6343961 HAS SOUS 2304117 HAS SOUPS 2211578 WITH SCORE 2219135.239
AT ITER 1713 NEW BEST:: SOT 12009496 SOS 7554869 HAS SOPS 6343879 HAS SOUS 2300518 HAS SOUPS 2207979 WITH SCORE 2215533.869
AT ITER 1720 NEW BEST:: SOT 12009269 SOS 7554652 HAS SOPS 6343814 HAS SOUS 2300388 HAS SOUPS 2207909 WITH SCORE 2215463.652
AT ITER 1726 NEW BEST:: SOT 12007407 SOS 7546730 HAS SOPS 6337845 HAS SOUS 2299095 HAS SOUPS 2206616 WITH SCORE 2214162.73
AT ITER 1734 NEW BEST:: SOT 12006353 SOS 7545676 HAS SOPS 6336231 HAS SOUS 2295953 HAS SOUPS 2203474 WITH SCORE 2211019.676
AT ITER 1737 NEW BEST:: SOT 12004605 SOS 7539706 HAS SOPS 6331637 HAS SOUS 2295911 HAS SOUPS 2203476 WITH SCORE 2211015.706
AT ITER 1766 NEW BEST:: SOT 12001926 SOS 7537310 HAS SOPS 6328090 HAS SOUS 2285378 HAS SOUPS 2193324 WITH SCORE 2200861.31
AT ITER 1774 NEW BEST:: SOT 11986162 SOS 7509814 HAS SOPS 6300803 HAS SOUS 2275939 HAS SOUPS 2183960 WITH SCORE 2191469.814
AT ITER 1778 NEW BEST:: SOT 11986684 SOS 7512442 HAS SOPS 6302591 HAS SOUS 2275230 HAS SOUPS 2183251 WITH SCORE 2190763.442
AT ITER 1780 NEW BEST:: SOT 11981973 SOS 7507731 HAS SOPS 6297368 HAS SOUS 2267783 HAS SOUPS 2175804 WITH SCORE 2183311.731
AT ITER 1781 NEW BEST:: SOT 11979974 SOS 7508324 HAS SOPS 6296329 HAS SOUS 2261258 HAS SOUPS 2169279 WITH SCORE 2176787.324
AT ITER 1785 NEW BEST:: SOT 11990986 SOS 7515568 HAS SOPS 6301612 HAS SOUS 2245708 HAS SOUPS 2153927 WITH SCORE 2161442.568
AT ITER 1790 NEW BEST:: SOT 11992506 SOS 7522455 HAS SOPS 6308763 HAS SOUS 2242298 HAS SOUPS 2150517 WITH SCORE 2158039.455
AT ITER 1791 NEW BEST:: SOT 11990272 SOS 7517795 HAS SOPS 6304269 HAS SOUS 2236685 HAS SOUPS 2145051 WITH SCORE 2152568.795
AT ITER 1826 NEW BEST:: SOT 11989617 SOS 7517333 HAS SOPS 6302799 HAS SOUS 2233008 HAS SOUPS 2141374 WITH SCORE 2148891.333
AT ITER 1830 NEW BEST:: SOT 11989620 SOS 7517150 HAS SOPS 6302758 HAS SOUS 2232962 HAS SOUPS 2141328 WITH SCORE 2148845.15
AT ITER 1846 NEW BEST:: SOT 11990760 SOS 7520661 HAS SOPS 6305414 HAS SOUS 2232474 HAS SOUPS 2140734 WITH SCORE 2148254.661
AT ITER 1864 NEW BEST:: SOT 11990319 SOS 7524636 HAS SOPS 6309423 HAS SOUS 2228761 HAS SOUPS 2137021 WITH SCORE 2144545.636
AT ITER 1871 NEW BEST:: SOT 11990104 SOS 7524409 HAS SOPS 6306893 HAS SOUS 2227654 HAS SOUPS 2135873 WITH SCORE 2143397.409
AT ITER 1884 NEW BEST:: SOT 11989335 SOS 7523640 HAS SOPS 6305612 HAS SOUS 2224965 HAS SOUPS 2133184 WITH SCORE 2140707.64
AT ITER 1891 NEW BEST:: SOT 11988200 SOS 7522586 HAS SOPS 6304376 HAS SOUS 2223921 HAS SOUPS 2132025 WITH SCORE 2139547.586
AT ITER 1897 NEW BEST:: SOT 11987087 SOS 7521277 HAS SOPS 6302425 HAS SOUS 2221310 HAS SOUPS 2129389 WITH SCORE 2136910.277
AT ITER 1901 NEW BEST:: SOT 11987033 SOS 7520709 HAS SOPS 6301360 HAS SOUS 2221187 HAS SOUPS 2129266 WITH SCORE 2136786.709
AT ITER 1902 NEW BEST:: SOT 11985688 SOS 7520834 HAS SOPS 6300738 HAS SOUS 2214734 HAS SOUPS 2122813 WITH SCORE 2130333.834
AT ITER 1910 NEW BEST:: SOT 11986717 SOS 7521863 HAS SOPS 6301527 HAS SOUS 2214915 HAS SOUPS 2122738 WITH SCORE 2130259.863
AT ITER 1947 NEW BEST:: SOT 11976776 SOS 7495287 HAS SOPS 6276102 HAS SOUS 2202803 HAS SOUPS 2110754 WITH SCORE 2118249.287
AT ITER 1949 NEW BEST:: SOT 11977826 SOS 7495969 HAS SOPS 6277749 HAS SOUS 2201618 HAS SOUPS 2110584 WITH SCORE 2118079.969
AT ITER 1953 NEW BEST:: SOT 11976657 SOS 7494879 HAS SOPS 6276233 HAS SOUS 2200220 HAS SOUPS 2108699 WITH SCORE 2116193.879
AT ITER 1955 NEW BEST:: SOT 11982446 SOS 7489592 HAS SOPS 6273137 HAS SOUS 2195712 HAS SOUPS 2104317 WITH SCORE 2111806.592
AT ITER 1956 NEW BEST:: SOT 11982364 SOS 7489775 HAS SOPS 6273112 HAS SOUS 2195253 HAS SOUPS 2103858 WITH SCORE 2111347.775
AT ITER 1978 NEW BEST:: SOT 11977508 SOS 7482025 HAS SOPS 6265445 HAS SOUS 2188888 HAS SOUPS 2097493 WITH SCORE 2104975.025
AT ITER 1996 NEW BEST:: SOT 11969695 SOS 7471910 HAS SOPS 6251380 HAS SOUS 2172364 HAS SOUPS 2081043 WITH SCORE 2088514.91
AT ITER 2002 NEW BEST:: SOT 11970285 SOS 7471283 HAS SOPS 6251388 HAS SOUS 2171170 HAS SOUPS 2079906 WITH SCORE 2087377.283
AT ITER 2014 NEW BEST:: SOT 11970238 SOS 7471214 HAS SOPS 6251298 HAS SOUS 2170712 HAS SOUPS 2079459 WITH SCORE 2086930.214
AT ITER 2026 NEW BEST:: SOT 11970178 SOS 7471154 HAS SOPS 6251078 HAS SOUS 2170532 HAS SOUPS 2079279 WITH SCORE 2086750.154
AT ITER 2074 NEW BEST:: SOT 11969807 SOS 7470783 HAS SOPS 6250499 HAS SOUS 2169517 HAS SOUPS 2078264 WITH SCORE 2085734.783
AT ITER 2075 NEW BEST:: SOT 11967086 SOS 7461342 HAS SOPS 6240989 HAS SOUS 2167298 HAS SOUPS 2076045 WITH SCORE 2083506.342
AT ITER 2090 NEW BEST:: SOT 11965745 SOS 7459019 HAS SOPS 6240780 HAS SOUS 2166702 HAS SOUPS 2075680 WITH SCORE 2083139.019
AT ITER 2105 NEW BEST:: SOT 11978609 SOS 7471984 HAS SOPS 6252664 HAS SOUS 2164253 HAS SOUPS 2073335 WITH SCORE 2080806.984
AT ITER 2112 NEW BEST:: SOT 11978268 SOS 7471679 HAS SOPS 6252401 HAS SOUS 2163676 HAS SOUPS 2072764 WITH SCORE 2080235.679
AT ITER 2117 NEW BEST:: SOT 11978026 SOS 7471417 HAS SOPS 6251885 HAS SOUS 2160605 HAS SOUPS 2069693 WITH SCORE 2077164.417
AT ITER 2125 NEW BEST:: SOT 11975962 SOS 7469147 HAS SOPS 6248610 HAS SOUS 2157919 HAS SOUPS 2066979 WITH SCORE 2074448.147
AT ITER 2150 NEW BEST:: SOT 11974634 SOS 7467293 HAS SOPS 6247463 HAS SOUS 2156370 HAS SOUPS 2065597 WITH SCORE 2073064.293
AT ITER 2153 NEW BEST:: SOT 11974938 SOS 7468722 HAS SOPS 6248254 HAS SOUS 2155699 HAS SOUPS 2064922 WITH SCORE 2072390.722
AT ITER 2159 NEW BEST:: SOT 11974862 SOS 7466449 HAS SOPS 6247992 HAS SOUS 2155217 HAS SOUPS 2064440 WITH SCORE 2071906.449
AT ITER 2168 NEW BEST:: SOT 11976524 SOS 7469819 HAS SOPS 6250728 HAS SOUS 2153842 HAS SOUPS 2063065 WITH SCORE 2070534.819
AT ITER 2186 NEW BEST:: SOT 11976251 SOS 7469603 HAS SOPS 6250455 HAS SOUS 2149710 HAS SOUPS 2058891 WITH SCORE 2066360.603
AT ITER 2201 NEW BEST:: SOT 11976111 SOS 7468579 HAS SOPS 6249190 HAS SOUS 2149052 HAS SOUPS 2058233 WITH SCORE 2065701.579
AT ITER 2207 NEW BEST:: SOT 11974519 SOS 7466133 HAS SOPS 6246841 HAS SOUS 2146804 HAS SOUPS 2056011 WITH SCORE 2063477.133
AT ITER 2216 NEW BEST:: SOT 11972240 SOS 7462374 HAS SOPS 6242519 HAS SOUS 2142622 HAS SOUPS 2051846 WITH SCORE 2059308.374
AT ITER 2218 NEW BEST:: SOT 11966389 SOS 7445787 HAS SOPS 6234239 HAS SOUS 2141939 HAS SOUPS 2051331 WITH SCORE 2058776.787
AT ITER 2219 NEW BEST:: SOT 11965767 SOS 7444358 HAS SOPS 6232742 HAS SOUS 2140755 HAS SOUPS 2050176 WITH SCORE 2057620.358
AT ITER 2225 NEW BEST:: SOT 11970745 SOS 7452388 HAS SOPS 6239068 HAS SOUS 2137882 HAS SOUPS 2047303 WITH SCORE 2054755.388
AT ITER 2227 NEW BEST:: SOT 11970907 SOS 7452771 HAS SOPS 6238919 HAS SOUS 2137054 HAS SOUPS 2046498 WITH SCORE 2053950.771
AT ITER 2258 NEW BEST:: SOT 11969462 SOS 7449631 HAS SOPS 6236297 HAS SOUS 2135802 HAS SOUPS 2045246 WITH SCORE 2052695.631
AT ITER 2259 NEW BEST:: SOT 11971502 SOS 7451671 HAS SOPS 6237601 HAS SOUS 2134122 HAS SOUPS 2043566 WITH SCORE 2051017.671
AT ITER 2269 NEW BEST:: SOT 11971395 SOS 7451525 HAS SOPS 6237484 HAS SOUS 2133938 HAS SOUPS 2043384 WITH SCORE 2050835.525
AT ITER 2278 NEW BEST:: SOT 11970994 SOS 7450517 HAS SOPS 6238340 HAS SOUS 2133428 HAS SOUPS 2042874 WITH SCORE 2050324.517
AT ITER 2300 NEW BEST:: SOT 11970809 SOS 7450500 HAS SOPS 6238323 HAS SOUS 2132233 HAS SOUPS 2041679 WITH SCORE 2049129.5
AT ITER 2301 NEW BEST:: SOT 11971037 SOS 7451110 HAS SOPS 6238958 HAS SOUS 2131935 HAS SOUPS 2041429 WITH SCORE 2048880.11
AT ITER 2302 NEW BEST:: SOT 11971046 SOS 7451077 HAS SOPS 6238984 HAS SOUS 2131850 HAS SOUPS 2041344 WITH SCORE 2048795.077
AT ITER 2315 NEW BEST:: SOT 11971647 SOS 7454045 HAS SOPS 6242154 HAS SOUS 2130003 HAS SOUPS 2039529 WITH SCORE 2046983.045
AT ITER 2319 NEW BEST:: SOT 11971812 SOS 7454186 HAS SOPS 6242485 HAS SOUS 2129814 HAS SOUPS 2039353 WITH SCORE 2046807.186
AT ITER 2332 NEW BEST:: SOT 11972653 SOS 7455027 HAS SOPS 6243374 HAS SOUS 2129655 HAS SOUPS 2039194 WITH SCORE 2046649.027
AT ITER 2333 NEW BEST:: SOT 11976033 SOS 7464224 HAS SOPS 6253484 HAS SOUS 2129463 HAS SOUPS 2039063 WITH SCORE 2046527.224
AT ITER 2339 NEW BEST:: SOT 11976787 SOS 7466690 HAS SOPS 6252686 HAS SOUS 2129213 HAS SOUPS 2038813 WITH SCORE 2046279.69
AT ITER 2343 NEW BEST:: SOT 11976830 SOS 7467485 HAS SOPS 6252410 HAS SOUS 2127413 HAS SOUPS 2037006 WITH SCORE 2044473.485
AT ITER 2360 NEW BEST:: SOT 11976633 SOS 7467288 HAS SOPS 6251845 HAS SOUS 2125376 HAS SOUPS 2034969 WITH SCORE 2042436.288
AT ITER 2367 NEW BEST:: SOT 11976366 SOS 7466697 HAS SOPS 6251018 HAS SOUS 2124573 HAS SOUPS 2034166 WITH SCORE 2041632.697
AT ITER 2376 NEW BEST:: SOT 11969529 SOS 7452398 HAS SOPS 6237873 HAS SOUS 2118686 HAS SOUPS 2028279 WITH SCORE 2035731.398
AT ITER 2377 NEW BEST:: SOT 11963954 SOS 7445177 HAS SOPS 6229151 HAS SOUS 2108648 HAS SOUPS 2018241 WITH SCORE 2025686.177
AT ITER 2387 NEW BEST:: SOT 11963498 SOS 7444496 HAS SOPS 6228186 HAS SOUS 2108119 HAS SOUPS 2017721 WITH SCORE 2025165.496
AT ITER 2392 NEW BEST:: SOT 11963537 SOS 7444985 HAS SOPS 6228554 HAS SOUS 2107279 HAS SOUPS 2016881 WITH SCORE 2024325.985
AT ITER 2393 NEW BEST:: SOT 11967187 SOS 7448645 HAS SOPS 6233136 HAS SOUS 2106011 HAS SOUPS 2015623 WITH SCORE 2023071.645
AT ITER 2416 NEW BEST:: SOT 11966356 SOS 7446179 HAS SOPS 6231550 HAS SOUS 2103250 HAS SOUPS 2012901 WITH SCORE 2020347.179
AT ITER 2418 NEW BEST:: SOT 11966057 SOS 7444889 HAS SOPS 6230838 HAS SOUS 2102014 HAS SOUPS 2011688 WITH SCORE 2019132.889
AT ITER 2434 NEW BEST:: SOT 11962837 SOS 7440854 HAS SOPS 6224017 HAS SOUS 2092906 HAS SOUPS 2002580 WITH SCORE 2010020.854
AT ITER 2437 NEW BEST:: SOT 11962837 SOS 7440870 HAS SOPS 6224033 HAS SOUS 2092905 HAS SOUPS 2002579 WITH SCORE 2010019.87
AT ITER 2450 NEW BEST:: SOT 11952856 SOS 7422713 HAS SOPS 6201830 HAS SOUS 2075399 HAS SOUPS 1985193 WITH SCORE 1992615.713
AT ITER 2455 NEW BEST:: SOT 11953702 SOS 7422170 HAS SOPS 6200719 HAS SOUS 2074458 HAS SOUPS 1984252 WITH SCORE 1991674.17
AT ITER 2471 NEW BEST:: SOT 11953707 SOS 7422149 HAS SOPS 6201950 HAS SOUS 2072200 HAS SOUPS 1982039 WITH SCORE 1989461.149
AT ITER 2484 NEW BEST:: SOT 11952639 SOS 7420587 HAS SOPS 6200332 HAS SOUS 2070987 HAS SOUPS 1980786 WITH SCORE 1988206.587
AT ITER 2487 NEW BEST:: SOT 11952240 SOS 7420097 HAS SOPS 6199412 HAS SOUS 2067955 HAS SOUPS 1977754 WITH SCORE 1985174.097
AT ITER 2490 NEW BEST:: SOT 11948819 SOS 7412764 HAS SOPS 6192676 HAS SOUS 2060620 HAS SOUPS 1970462 WITH SCORE 1977874.764
AT ITER 2496 NEW BEST:: SOT 11948751 SOS 7412574 HAS SOPS 6192307 HAS SOUS 2059783 HAS SOUPS 1969625 WITH SCORE 1977037.574
AT ITER 2498 NEW BEST:: SOT 11948596 SOS 7412419 HAS SOPS 6192072 HAS SOUS 2059328 HAS SOUPS 1969170 WITH SCORE 1976582.419
AT ITER 2499 NEW BEST:: SOT 11949997 SOS 7416451 HAS SOPS 6194734 HAS SOUS 2057748 HAS SOUPS 1967590 WITH SCORE 1975006.451
AT ITER 2532 NEW BEST:: SOT 11947974 SOS 7414428 HAS SOPS 6192455 HAS SOUS 2057725 HAS SOUPS 1967567 WITH SCORE 1974981.428
AT ITER 2537 NEW BEST:: SOT 11947664 SOS 7414198 HAS SOPS 6192290 HAS SOUS 2057467 HAS SOUPS 1967354 WITH SCORE 1974768.198
AT ITER 2555 NEW BEST:: SOT 11947205 SOS 7413678 HAS SOPS 6191681 HAS SOUS 2056884 HAS SOUPS 1966783 WITH SCORE 1974196.678
AT ITER 2563 NEW BEST:: SOT 11943758 SOS 7406790 HAS SOPS 6181992 HAS SOUS 2051850 HAS SOUPS 1961749 WITH SCORE 1969155.79
AT ITER 2566 NEW BEST:: SOT 11943609 SOS 7406634 HAS SOPS 6181850 HAS SOUS 2051239 HAS SOUPS 1961145 WITH SCORE 1968551.634
AT ITER 2567 NEW BEST:: SOT 11945232 SOS 7410105 HAS SOPS 6185936 HAS SOUS 2050377 HAS SOUPS 1960335 WITH SCORE 1967745.105
AT ITER 2592 NEW BEST:: SOT 11945205 SOS 7410004 HAS SOPS 6185808 HAS SOUS 2050179 HAS SOUPS 1960101 WITH SCORE 1967511.004
AT ITER 2594 NEW BEST:: SOT 11945176 SOS 7409959 HAS SOPS 6185788 HAS SOUS 2050168 HAS SOUPS 1960091 WITH SCORE 1967500.959
AT ITER 2599 NEW BEST:: SOT 11945680 SOS 7412384 HAS SOPS 6187145 HAS SOUS 2049174 HAS SOUPS 1959097 WITH SCORE 1966509.384
AT ITER 2607 NEW BEST:: SOT 11946933 SOS 7414032 HAS SOPS 6185901 HAS SOUS 2048562 HAS SOUPS 1958485 WITH SCORE 1965899.032
AT ITER 2614 NEW BEST:: SOT 11946809 SOS 7414388 HAS SOPS 6186221 HAS SOUS 2048384 HAS SOUPS 1958307 WITH SCORE 1965721.388
AT ITER 2615 NEW BEST:: SOT 11946389 SOS 7413968 HAS SOPS 6185817 HAS SOUS 2048228 HAS SOUPS 1958151 WITH SCORE 1965564.968
AT ITER 2677 NEW BEST:: SOT 11945621 SOS 7413200 HAS SOPS 6184969 HAS SOUS 2047360 HAS SOUPS 1957283 WITH SCORE 1964696.2
AT ITER 2696 NEW BEST:: SOT 11945290 SOS 7412869 HAS SOPS 6184638 HAS SOUS 2046745 HAS SOUPS 1956668 WITH SCORE 1964080.869
AT ITER 2715 NEW BEST:: SOT 11937239 SOS 7395707 HAS SOPS 6169995 HAS SOUS 2035482 HAS SOUPS 1945515 WITH SCORE 1952910.707
AT ITER 2716 NEW BEST:: SOT 11936604 SOS 7394933 HAS SOPS 6169224 HAS SOUS 2034005 HAS SOUPS 1944054 WITH SCORE 1951448.933
AT ITER 2723 NEW BEST:: SOT 11932831 SOS 7380267 HAS SOPS 6160518 HAS SOUS 2032258 HAS SOUPS 1942415 WITH SCORE 1949795.267
AT ITER 2751 NEW BEST:: SOT 11932407 SOS 7379843 HAS SOPS 6160094 HAS SOUS 2031930 HAS SOUPS 1942087 WITH SCORE 1949466.843
AT ITER 2757 NEW BEST:: SOT 11932237 SOS 7379657 HAS SOPS 6159733 HAS SOUS 2031916 HAS SOUPS 1942073 WITH SCORE 1949452.657
AT ITER 2778 NEW BEST:: SOT 11933689 SOS 7381539 HAS SOPS 6165742 HAS SOUS 2030718 HAS SOUPS 1941000 WITH SCORE 1948381.539
AT ITER 2791 NEW BEST:: SOT 11933041 SOS 7375211 HAS SOPS 6158958 HAS SOUS 2029248 HAS SOUPS 1939530 WITH SCORE 1946905.211
AT ITER 2793 NEW BEST:: SOT 11933003 SOS 7374504 HAS SOPS 6157369 HAS SOUS 2028391 HAS SOUPS 1938673 WITH SCORE 1946047.504
AT ITER 2810 NEW BEST:: SOT 11930862 SOS 7370458 HAS SOPS 6153771 HAS SOUS 2026343 HAS SOUPS 1936625 WITH SCORE 1943995.458
AT ITER 2815 NEW BEST:: SOT 11933662 SOS 7374884 HAS SOPS 6157315 HAS SOUS 2023350 HAS SOUPS 1933632 WITH SCORE 1941006.884
AT ITER 2838 NEW BEST:: SOT 11935804 SOS 7375550 HAS SOPS 6159459 HAS SOUS 2019022 HAS SOUPS 1929386 WITH SCORE 1936761.55
AT ITER 2851 NEW BEST:: SOT 11935100 SOS 7374921 HAS SOPS 6157987 HAS SOUS 2018411 HAS SOUPS 1927983 WITH SCORE 1935357.921
AT ITER 2859 NEW BEST:: SOT 11935046 SOS 7374867 HAS SOPS 6157933 HAS SOUS 2018349 HAS SOUPS 1927921 WITH SCORE 1935295.867
AT ITER 2875 NEW BEST:: SOT 11935663 SOS 7375551 HAS SOPS 6159481 HAS SOUS 2018027 HAS SOUPS 1927599 WITH SCORE 1934974.551
AT ITER 2906 NEW BEST:: SOT 11934708 SOS 7374589 HAS SOPS 6158174 HAS SOUS 2016261 HAS SOUPS 1925804 WITH SCORE 1933178.589
AT ITER 2907 NEW BEST:: SOT 11933478 SOS 7374743 HAS SOPS 6156179 HAS SOUS 2014172 HAS SOUPS 1923641 WITH SCORE 1931015.743
AT ITER 2910 NEW BEST:: SOT 11933298 SOS 7374495 HAS SOPS 6155774 HAS SOUS 2014090 HAS SOUPS 1923559 WITH SCORE 1930933.495
AT ITER 2924 NEW BEST:: SOT 11933553 SOS 7375844 HAS SOPS 6158158 HAS SOUS 2013907 HAS SOUPS 1923376 WITH SCORE 1930751.844
AT ITER 2935 NEW BEST:: SOT 11933420 SOS 7375483 HAS SOPS 6157763 HAS SOUS 2013572 HAS SOUPS 1923041 WITH SCORE 1930416.483
AT ITER 2942 NEW BEST:: SOT 11932863 SOS 7374306 HAS SOPS 6156672 HAS SOUS 2013216 HAS SOUPS 1922685 WITH SCORE 1930059.306
AT ITER 2951 NEW BEST:: SOT 11929544 SOS 7364036 HAS SOPS 6152445 HAS SOUS 2011954 HAS SOUPS 1921423 WITH SCORE 1928787.036
AT ITER 2979 NEW BEST:: SOT 11929164 SOS 7363656 HAS SOPS 6151953 HAS SOUS 2011166 HAS SOUPS 1920635 WITH SCORE 1927998.656
AT ITER 2994 NEW BEST:: SOT 11926433 SOS 7368279 HAS SOPS 6152551 HAS SOUS 2005363 HAS SOUPS 1914832 WITH SCORE 1922200.279
AT ITER 2995 NEW BEST:: SOT 11925390 SOS 7366232 HAS SOPS 6150294 HAS SOUS 2003914 HAS SOUPS 1913402 WITH SCORE 1920768.232
AT ITER 3003 NEW BEST:: SOT 11925414 SOS 7366256 HAS SOPS 6150318 HAS SOUS 2003822 HAS SOUPS 1913310 WITH SCORE 1920676.256
AT ITER 3020 NEW BEST:: SOT 11925396 SOS 7366349 HAS SOPS 6150322 HAS SOUS 2003758 HAS SOUPS 1913246 WITH SCORE 1920612.349
AT ITER 3024 NEW BEST:: SOT 11924809 SOS 7365762 HAS SOPS 6149511 HAS SOUS 2002219 HAS SOUPS 1911707 WITH SCORE 1919072.762
AT ITER 3037 NEW BEST:: SOT 11924950 SOS 7366503 HAS SOPS 6150112 HAS SOUS 1999833 HAS SOUPS 1909321 WITH SCORE 1916687.503
AT ITER 3049 NEW BEST:: SOT 11916964 SOS 7358517 HAS SOPS 6142126 HAS SOUS 1991991 HAS SOUPS 1901479 WITH SCORE 1908837.517
AT ITER 3060 NEW BEST:: SOT 11916743 SOS 7358531 HAS SOPS 6141619 HAS SOUS 1989312 HAS SOUPS 1898800 WITH SCORE 1906158.531
AT ITER 3063 NEW BEST:: SOT 11916659 SOS 7358462 HAS SOPS 6141539 HAS SOUS 1989178 HAS SOUPS 1898666 WITH SCORE 1906024.462
AT ITER 3082 NEW BEST:: SOT 11914682 SOS 7349712 HAS SOPS 6136418 HAS SOUS 1984513 HAS SOUPS 1894112 WITH SCORE 1901461.712
AT ITER 3087 NEW BEST:: SOT 11913667 SOS 7348090 HAS SOPS 6134036 HAS SOUS 1982179 HAS SOUPS 1891760 WITH SCORE 1899108.09
AT ITER 3088 NEW BEST:: SOT 11912545 SOS 7346441 HAS SOPS 6133059 HAS SOUS 1981846 HAS SOUPS 1891427 WITH SCORE 1898773.441
AT ITER 3089 NEW BEST:: SOT 11912638 SOS 7346201 HAS SOPS 6131180 HAS SOUS 1981172 HAS SOUPS 1890845 WITH SCORE 1898191.201
AT ITER 3106 NEW BEST:: SOT 11912113 SOS 7346573 HAS SOPS 6131684 HAS SOUS 1980401 HAS SOUPS 1890074 WITH SCORE 1897420.573
AT ITER 3107 NEW BEST:: SOT 11911024 SOS 7344503 HAS SOPS 6129191 HAS SOUS 1974993 HAS SOUPS 1884826 WITH SCORE 1892170.503
AT ITER 3120 NEW BEST:: SOT 11912466 SOS 7353224 HAS SOPS 6135184 HAS SOUS 1974920 HAS SOUPS 1884674 WITH SCORE 1892027.224
AT ITER 3129 NEW BEST:: SOT 11911872 SOS 7354828 HAS SOPS 6135461 HAS SOUS 1973931 HAS SOUPS 1883685 WITH SCORE 1891039.828
AT ITER 3137 NEW BEST:: SOT 11913543 SOS 7358385 HAS SOPS 6136873 HAS SOUS 1972164 HAS SOUPS 1881918 WITH SCORE 1889276.385
AT ITER 3156 NEW BEST:: SOT 11911721 SOS 7353160 HAS SOPS 6133553 HAS SOUS 1968183 HAS SOUPS 1877998 WITH SCORE 1885351.16
AT ITER 3160 NEW BEST:: SOT 11913299 SOS 7355857 HAS SOPS 6135736 HAS SOUS 1968008 HAS SOUPS 1877823 WITH SCORE 1885178.857
AT ITER 3162 NEW BEST:: SOT 11913512 SOS 7354286 HAS SOPS 6137852 HAS SOUS 1966847 HAS SOUPS 1876748 WITH SCORE 1884102.286
AT ITER 3170 NEW BEST:: SOT 11913300 SOS 7353598 HAS SOPS 6137059 HAS SOUS 1966705 HAS SOUPS 1876606 WITH SCORE 1883959.598
AT ITER 3183 NEW BEST:: SOT 11914909 SOS 7359196 HAS SOPS 6141960 HAS SOUS 1966271 HAS SOUPS 1876052 WITH SCORE 1883411.196
AT ITER 3197 NEW BEST:: SOT 11911531 SOS 7355317 HAS SOPS 6136214 HAS SOUS 1960595 HAS SOUPS 1870276 WITH SCORE 1877631.317
AT ITER 3198 NEW BEST:: SOT 11912951 SOS 7356737 HAS SOPS 6137634 HAS SOUS 1958335 HAS SOUPS 1868016 WITH SCORE 1875372.737
AT ITER 3205 NEW BEST:: SOT 11913071 SOS 7357659 HAS SOPS 6138208 HAS SOUS 1958165 HAS SOUPS 1867846 WITH SCORE 1875203.659
AT ITER 3218 NEW BEST:: SOT 11913911 SOS 7357831 HAS SOPS 6138290 HAS SOUS 1957524 HAS SOUPS 1867205 WITH SCORE 1874562.831
AT ITER 3221 NEW BEST:: SOT 11915667 SOS 7361025 HAS SOPS 6140660 HAS SOUS 1956527 HAS SOUPS 1866287 WITH SCORE 1873648.025
AT ITER 3238 NEW BEST:: SOT 11915404 SOS 7359371 HAS SOPS 6138813 HAS SOUS 1955924 HAS SOUPS 1865684 WITH SCORE 1873043.371
AT ITER 3251 NEW BEST:: SOT 11918865 SOS 7362724 HAS SOPS 6141932 HAS SOUS 1950041 HAS SOUPS 1859814 WITH SCORE 1867176.724
AT ITER 3255 NEW BEST:: SOT 11918063 SOS 7360055 HAS SOPS 6139170 HAS SOUS 1944317 HAS SOUPS 1854193 WITH SCORE 1861553.055
AT ITER 3261 NEW BEST:: SOT 11917991 SOS 7358405 HAS SOPS 6137049 HAS SOUS 1943078 HAS SOUPS 1852954 WITH SCORE 1860312.405
AT ITER 3269 NEW BEST:: SOT 11916424 SOS 7357501 HAS SOPS 6136080 HAS SOUS 1940434 HAS SOUPS 1850229 WITH SCORE 1857586.501
AT ITER 3280 NEW BEST:: SOT 11916429 SOS 7357009 HAS SOPS 6136085 HAS SOUS 1940265 HAS SOUPS 1850091 WITH SCORE 1857448.009
AT ITER 3293 NEW BEST:: SOT 11916365 SOS 7357163 HAS SOPS 6135179 HAS SOUS 1938846 HAS SOUPS 1848701 WITH SCORE 1856058.163
AT ITER 3303 NEW BEST:: SOT 11915495 SOS 7358144 HAS SOPS 6135882 HAS SOUS 1937835 HAS SOUPS 1847690 WITH SCORE 1855048.144
AT ITER 3308 NEW BEST:: SOT 11913414 SOS 7358866 HAS SOPS 6134518 HAS SOUS 1932527 HAS SOUPS 1842382 WITH SCORE 1849740.866
AT ITER 3315 NEW BEST:: SOT 11913436 SOS 7359018 HAS SOPS 6134614 HAS SOUS 1932497 HAS SOUPS 1842352 WITH SCORE 1849711.018
AT ITER 3322 NEW BEST:: SOT 11914262 SOS 7360347 HAS SOPS 6135000 HAS SOUS 1926954 HAS SOUPS 1836808 WITH SCORE 1844168.347
AT ITER 3328 NEW BEST:: SOT 11917808 SOS 7364628 HAS SOPS 6137434 HAS SOUS 1926937 HAS SOUPS 1836734 WITH SCORE 1844098.628
AT ITER 3340 NEW BEST:: SOT 11917614 SOS 7364274 HAS SOPS 6136922 HAS SOUS 1926309 HAS SOUPS 1836115 WITH SCORE 1843479.274
AT ITER 3348 NEW BEST:: SOT 11917273 SOS 7364061 HAS SOPS 6136489 HAS SOUS 1924548 HAS SOUPS 1834366 WITH SCORE 1841730.061
AT ITER 3383 NEW BEST:: SOT 11916034 SOS 7362516 HAS SOPS 6132216 HAS SOUS 1923638 HAS SOUPS 1833456 WITH SCORE 1840818.516
AT ITER 3399 NEW BEST:: SOT 11915660 SOS 7362222 HAS SOPS 6130759 HAS SOUS 1922899 HAS SOUPS 1832561 WITH SCORE 1839923.222
AT ITER 3409 NEW BEST:: SOT 11915621 SOS 7363650 HAS SOPS 6132369 HAS SOUS 1922842 HAS SOUPS 1832504 WITH SCORE 1839867.65
AT ITER 3415 NEW BEST:: SOT 11915519 SOS 7363477 HAS SOPS 6132046 HAS SOUS 1922599 HAS SOUPS 1832255 WITH SCORE 1839618.477
AT ITER 3459 NEW BEST:: SOT 11914733 SOS 7362715 HAS SOPS 6131438 HAS SOUS 1920275 HAS SOUPS 1829931 WITH SCORE 1837293.715
AT ITER 3477 NEW BEST:: SOT 11914693 SOS 7362572 HAS SOPS 6131311 HAS SOUS 1920206 HAS SOUPS 1829870 WITH SCORE 1837232.572
AT ITER 3481 NEW BEST:: SOT 11912586 SOS 7358933 HAS SOPS 6126785 HAS SOUS 1916131 HAS SOUPS 1825795 WITH SCORE 1833153.933
AT ITER 3484 NEW BEST:: SOT 11912628 SOS 7361518 HAS SOPS 6130525 HAS SOUS 1915344 HAS SOUPS 1825008 WITH SCORE 1832369.518
AT ITER 3491 NEW BEST:: SOT 11912847 SOS 7361639 HAS SOPS 6131111 HAS SOUS 1914777 HAS SOUPS 1824475 WITH SCORE 1831836.639
AT ITER 3492 NEW BEST:: SOT 11912781 SOS 7361282 HAS SOPS 6129540 HAS SOUS 1913507 HAS SOUPS 1823159 WITH SCORE 1830520.282
AT ITER 3518 NEW BEST:: SOT 11909249 SOS 7358087 HAS SOPS 6124333 HAS SOUS 1903486 HAS SOUPS 1813138 WITH SCORE 1820496.087
AT ITER 3532 NEW BEST:: SOT 11909249 SOS 7360497 HAS SOPS 6126503 HAS SOUS 1902566 HAS SOUPS 1812218 WITH SCORE 1819578.497
AT ITER 3539 NEW BEST:: SOT 11908510 SOS 7359678 HAS SOPS 6124395 HAS SOUS 1900617 HAS SOUPS 1810269 WITH SCORE 1817628.678
AT ITER 3541 NEW BEST:: SOT 11908305 SOS 7359488 HAS SOPS 6124129 HAS SOUS 1900082 HAS SOUPS 1809734 WITH SCORE 1817093.488
AT ITER 3551 NEW BEST:: SOT 11907160 SOS 7356369 HAS SOPS 6122397 HAS SOUS 1899306 HAS SOUPS 1808958 WITH SCORE 1816314.369
AT ITER 3554 NEW BEST:: SOT 11907030 SOS 7356064 HAS SOPS 6122131 HAS SOUS 1899025 HAS SOUPS 1808682 WITH SCORE 1816038.064
AT ITER 3555 NEW BEST:: SOT 11907016 SOS 7356050 HAS SOPS 6122165 HAS SOUS 1898195 HAS SOUPS 1807852 WITH SCORE 1815208.05
AT ITER 3559 NEW BEST:: SOT 11906702 SOS 7355601 HAS SOPS 6121210 HAS SOUS 1896259 HAS SOUPS 1805916 WITH SCORE 1813271.601
AT ITER 3565 NEW BEST:: SOT 11908380 SOS 7357387 HAS SOPS 6127836 HAS SOUS 1895615 HAS SOUPS 1805435 WITH SCORE 1812792.387
AT ITER 3613 NEW BEST:: SOT 11907479 SOS 7355044 HAS SOPS 6125092 HAS SOUS 1894095 HAS SOUPS 1803915 WITH SCORE 1811270.044
AT ITER 3617 NEW BEST:: SOT 11906965 SOS 7354524 HAS SOPS 6124580 HAS SOUS 1893421 HAS SOUPS 1803241 WITH SCORE 1810595.524
AT ITER 3618 NEW BEST:: SOT 11904565 SOS 7350050 HAS SOPS 6120530 HAS SOUS 1890105 HAS SOUPS 1799952 WITH SCORE 1807302.05
AT ITER 3639 NEW BEST:: SOT 11904382 SOS 7348223 HAS SOPS 6119704 HAS SOUS 1889951 HAS SOUPS 1799798 WITH SCORE 1807146.223
AT ITER 3640 NEW BEST:: SOT 11907047 SOS 7362410 HAS SOPS 6132759 HAS SOUS 1888140 HAS SOUPS 1797987 WITH SCORE 1805349.41
AT ITER 3648 NEW BEST:: SOT 11907012 SOS 7362357 HAS SOPS 6132715 HAS SOUS 1888085 HAS SOUPS 1797933 WITH SCORE 1805295.357
AT ITER 3661 NEW BEST:: SOT 11906932 SOS 7362215 HAS SOPS 6132576 HAS SOUS 1887915 HAS SOUPS 1797764 WITH SCORE 1805126.215
AT ITER 3680 NEW BEST:: SOT 11906821 SOS 7363932 HAS SOPS 6134296 HAS SOUS 1882568 HAS SOUPS 1792417 WITH SCORE 1799780.932
AT ITER 3688 NEW BEST:: SOT 11906817 SOS 7363628 HAS SOPS 6133967 HAS SOUS 1882535 HAS SOUPS 1792384 WITH SCORE 1799747.628
AT ITER 3693 NEW BEST:: SOT 11905318 SOS 7360432 HAS SOPS 6130677 HAS SOUS 1881664 HAS SOUPS 1791513 WITH SCORE 1798873.432
AT ITER 3719 NEW BEST:: SOT 11905027 SOS 7359393 HAS SOPS 6129897 HAS SOUS 1880849 HAS SOUPS 1790879 WITH SCORE 1798238.393
AT ITER 3748 NEW BEST:: SOT 11904837 SOS 7359161 HAS SOPS 6129578 HAS SOUS 1880488 HAS SOUPS 1790518 WITH SCORE 1797877.161
AT ITER 3779 NEW BEST:: SOT 11904326 SOS 7358452 HAS SOPS 6128770 HAS SOUS 1879232 HAS SOUPS 1789262 WITH SCORE 1796620.452
AT ITER 3782 NEW BEST:: SOT 11903806 SOS 7358119 HAS SOPS 6127943 HAS SOUS 1878971 HAS SOUPS 1788973 WITH SCORE 1796331.119
AT ITER 3785 NEW BEST:: SOT 11900020 SOS 7359679 HAS SOPS 6125081 HAS SOUS 1876511 HAS SOUPS 1786379 WITH SCORE 1793738.679
AT ITER 3807 NEW BEST:: SOT 11899204 SOS 7358863 HAS SOPS 6123993 HAS SOUS 1874879 HAS SOUPS 1784747 WITH SCORE 1792105.863
AT ITER 3822 NEW BEST:: SOT 11898404 SOS 7358599 HAS SOPS 6123588 HAS SOUS 1873226 HAS SOUPS 1783094 WITH SCORE 1790452.599
AT ITER 3849 NEW BEST:: SOT 11897326 SOS 7357141 HAS SOPS 6122372 HAS SOUS 1872330 HAS SOUPS 1782198 WITH SCORE 1789555.141
AT ITER 3850 NEW BEST:: SOT 11897243 SOS 7360681 HAS SOPS 6125904 HAS SOUS 1868932 HAS SOUPS 1778800 WITH SCORE 1786160.681
AT ITER 3874 NEW BEST:: SOT 11897027 SOS 7360497 HAS SOPS 6125404 HAS SOUS 1867309 HAS SOUPS 1777202 WITH SCORE 1784562.497
AT ITER 3883 NEW BEST:: SOT 11886073 SOS 7343969 HAS SOPS 6102616 HAS SOUS 1838169 HAS SOUPS 1748078 WITH SCORE 1755421.969
AT ITER 3884 NEW BEST:: SOT 11885786 SOS 7343836 HAS SOPS 6101776 HAS SOUS 1837017 HAS SOUPS 1746926 WITH SCORE 1754269.836
AT ITER 3888 NEW BEST:: SOT 11879708 SOS 7328208 HAS SOPS 6089095 HAS SOUS 1831976 HAS SOUPS 1741885 WITH SCORE 1749213.208
AT ITER 3898 NEW BEST:: SOT 11879940 SOS 7328416 HAS SOPS 6089327 HAS SOUS 1831150 HAS SOUPS 1741083 WITH SCORE 1748411.416
AT ITER 3906 NEW BEST:: SOT 11879860 SOS 7328764 HAS SOPS 6089835 HAS SOUS 1830897 HAS SOUPS 1740830 WITH SCORE 1748158.764
AT ITER 3911 NEW BEST:: SOT 11887469 SOS 7342084 HAS SOPS 6104899 HAS SOUS 1829400 HAS SOUPS 1739492 WITH SCORE 1746834.084
AT ITER 3951 NEW BEST:: SOT 11887423 SOS 7340929 HAS SOPS 6104080 HAS SOUS 1828948 HAS SOUPS 1739040 WITH SCORE 1746380.929
AT ITER 3976 NEW BEST:: SOT 11889004 SOS 7343332 HAS SOPS 6107868 HAS SOUS 1828630 HAS SOUPS 1738789 WITH SCORE 1746132.332
AT ITER 3980 NEW BEST:: SOT 11888711 SOS 7342994 HAS SOPS 6107140 HAS SOUS 1827300 HAS SOUPS 1737459 WITH SCORE 1744801.994
AT ITER 3992 NEW BEST:: SOT 11888711 SOS 7342971 HAS SOPS 6108340 HAS SOUS 1827252 HAS SOUPS 1737411 WITH SCORE 1744753.971
AT ITER 3997 NEW BEST:: SOT 11888708 SOS 7342876 HAS SOPS 6108217 HAS SOUS 1827217 HAS SOUPS 1737376 WITH SCORE 1744718.876
AT ITER 4004 NEW BEST:: SOT 11883079 SOS 7335328 HAS SOPS 6101079 HAS SOUS 1820000 HAS SOUPS 1730026 WITH SCORE 1737361.328
AT ITER 4021 NEW BEST:: SOT 11879525 SOS 7321375 HAS SOPS 6088364 HAS SOUS 1815568 HAS SOUPS 1725594 WITH SCORE 1732915.375
AT ITER 4052 NEW BEST:: SOT 11880213 SOS 7322993 HAS SOPS 6089681 HAS SOUS 1815098 HAS SOUPS 1725124 WITH SCORE 1732446.993
AT ITER 4076 NEW BEST:: SOT 11880363 SOS 7323143 HAS SOPS 6089655 HAS SOUS 1814848 HAS SOUPS 1724778 WITH SCORE 1732101.143
AT ITER 4081 NEW BEST:: SOT 11879202 SOS 7323612 HAS SOPS 6088577 HAS SOUS 1808920 HAS SOUPS 1718873 WITH SCORE 1726196.612
AT ITER 4088 NEW BEST:: SOT 11879572 SOS 7324013 HAS SOPS 6090051 HAS SOUS 1808398 HAS SOUPS 1718680 WITH SCORE 1726004.013
AT ITER 4093 NEW BEST:: SOT 11879318 SOS 7323719 HAS SOPS 6089520 HAS SOUS 1807829 HAS SOUPS 1718111 WITH SCORE 1725434.719
AT ITER 4102 NEW BEST:: SOT 11878713 SOS 7323256 HAS SOPS 6088595 HAS SOUS 1805346 HAS SOUPS 1715628 WITH SCORE 1722951.256
AT ITER 4108 NEW BEST:: SOT 11877499 SOS 7322268 HAS SOPS 6087527 HAS SOUS 1802409 HAS SOUPS 1712748 WITH SCORE 1720070.268
AT ITER 4109 NEW BEST:: SOT 11876542 SOS 7318551 HAS SOPS 6084671 HAS SOUS 1801591 HAS SOUPS 1711950 WITH SCORE 1719268.551
AT ITER 4170 NEW BEST:: SOT 11875989 SOS 7318600 HAS SOPS 6085031 HAS SOUS 1799648 HAS SOUPS 1710007 WITH SCORE 1717325.6
AT ITER 4188 NEW BEST:: SOT 11875550 SOS 7317939 HAS SOPS 6083910 HAS SOUS 1797081 HAS SOUPS 1707470 WITH SCORE 1714787.939
AT ITER 4191 NEW BEST:: SOT 11876790 SOS 7322992 HAS SOPS 6088889 HAS SOUS 1796528 HAS SOUPS 1707054 WITH SCORE 1714376.992
AT ITER 4229 NEW BEST:: SOT 11876406 SOS 7322026 HAS SOPS 6088462 HAS SOUS 1795856 HAS SOUPS 1706382 WITH SCORE 1713704.026
AT ITER 4241 NEW BEST:: SOT 11877113 SOS 7326079 HAS SOPS 6089821 HAS SOUS 1789791 HAS SOUPS 1700212 WITH SCORE 1707538.079
AT ITER 4258 NEW BEST:: SOT 11879115 SOS 7327897 HAS SOPS 6092959 HAS SOUS 1789328 HAS SOUPS 1699866 WITH SCORE 1707193.897
AT ITER 4270 NEW BEST:: SOT 11879073 SOS 7327719 HAS SOPS 6092563 HAS SOUS 1789239 HAS SOUPS 1699777 WITH SCORE 1707104.719
AT ITER 4288 NEW BEST:: SOT 11879510 SOS 7327173 HAS SOPS 6092724 HAS SOUS 1787559 HAS SOUPS 1698085 WITH SCORE 1705412.173
AT ITER 4303 NEW BEST:: SOT 11878469 SOS 7327764 HAS SOPS 6089993 HAS SOUS 1779936 HAS SOUPS 1690387 WITH SCORE 1697714.764
AT ITER 4318 NEW BEST:: SOT 11876762 SOS 7326011 HAS SOPS 6087289 HAS SOUS 1775845 HAS SOUPS 1686356 WITH SCORE 1693682.011
AT ITER 4326 NEW BEST:: SOT 11877638 SOS 7326907 HAS SOPS 6090350 HAS SOUS 1772706 HAS SOUPS 1683478 WITH SCORE 1690804.907
AT ITER 4347 NEW BEST:: SOT 11878169 SOS 7327382 HAS SOPS 6089957 HAS SOUS 1773209 HAS SOUPS 1683113 WITH SCORE 1690440.382
AT ITER 4362 NEW BEST:: SOT 11878177 SOS 7328056 HAS SOPS 6090576 HAS SOUS 1773095 HAS SOUPS 1682999 WITH SCORE 1690327.056
AT ITER 4368 NEW BEST:: SOT 11877712 SOS 7326734 HAS SOPS 6089671 HAS SOUS 1772413 HAS SOUPS 1682562 WITH SCORE 1689888.734
AT ITER 4373 NEW BEST:: SOT 11878511 SOS 7324660 HAS SOPS 6087597 HAS SOUS 1770673 HAS SOUPS 1680822 WITH SCORE 1688146.66
AT ITER 4377 NEW BEST:: SOT 11878910 SOS 7327276 HAS SOPS 6090238 HAS SOUS 1770204 HAS SOUPS 1680353 WITH SCORE 1687680.276
AT ITER 4383 NEW BEST:: SOT 11879017 SOS 7327396 HAS SOPS 6090166 HAS SOUS 1770142 HAS SOUPS 1680271 WITH SCORE 1687598.396
AT ITER 4418 NEW BEST:: SOT 11878529 SOS 7326686 HAS SOPS 6089766 HAS SOUS 1769599 HAS SOUPS 1679728 WITH SCORE 1687054.686
AT ITER 4421 NEW BEST:: SOT 11876795 SOS 7323891 HAS SOPS 6087475 HAS SOUS 1767534 HAS SOUPS 1677683 WITH SCORE 1685006.891
AT ITER 4423 NEW BEST:: SOT 11876795 SOS 7323747 HAS SOPS 6087426 HAS SOUS 1767528 HAS SOUPS 1677679 WITH SCORE 1685002.747
AT ITER 4451 NEW BEST:: SOT 11876930 SOS 7325763 HAS SOPS 6089479 HAS SOUS 1767327 HAS SOUPS 1677478 WITH SCORE 1684803.763
AT ITER 4460 NEW BEST:: SOT 11874939 SOS 7321116 HAS SOPS 6085013 HAS SOUS 1763219 HAS SOUPS 1673370 WITH SCORE 1680691.116
AT ITER 4461 NEW BEST:: SOT 11875462 SOS 7321639 HAS SOPS 6085504 HAS SOUS 1763062 HAS SOUPS 1673213 WITH SCORE 1680534.639
AT ITER 4468 NEW BEST:: SOT 11876455 SOS 7324524 HAS SOPS 6086017 HAS SOUS 1762350 HAS SOUPS 1672321 WITH SCORE 1679645.524
AT ITER 4469 NEW BEST:: SOT 11876448 SOS 7324596 HAS SOPS 6086049 HAS SOUS 1762279 HAS SOUPS 1672250 WITH SCORE 1679574.596
AT ITER 4470 NEW BEST:: SOT 11876312 SOS 7324104 HAS SOPS 6085447 HAS SOUS 1762254 HAS SOUPS 1672218 WITH SCORE 1679542.104
AT ITER 4472 NEW BEST:: SOT 11876118 SOS 7324270 HAS SOPS 6085784 HAS SOUS 1761854 HAS SOUPS 1671818 WITH SCORE 1679142.27
AT ITER 4476 NEW BEST:: SOT 11877150 SOS 7324404 HAS SOPS 6086226 HAS SOUS 1761502 HAS SOUPS 1671535 WITH SCORE 1678859.404
AT ITER 4489 NEW BEST:: SOT 11879508 SOS 7332232 HAS SOPS 6093102 HAS SOUS 1761410 HAS SOUPS 1671443 WITH SCORE 1678775.232
AT ITER 4511 NEW BEST:: SOT 11878026 SOS 7332149 HAS SOPS 6093019 HAS SOUS 1759982 HAS SOUPS 1670015 WITH SCORE 1677347.149
AT ITER 4515 NEW BEST:: SOT 11885942 SOS 7340056 HAS SOPS 6097470 HAS SOUS 1761809 HAS SOUPS 1668994 WITH SCORE 1676334.056
AT ITER 4537 NEW BEST:: SOT 11885948 SOS 7340802 HAS SOPS 6098070 HAS SOUS 1760985 HAS SOUPS 1668170 WITH SCORE 1675510.802
AT ITER 4562 NEW BEST:: SOT 11885731 SOS 7340585 HAS SOPS 6097853 HAS SOUS 1760792 HAS SOUPS 1667977 WITH SCORE 1675317.585
AT ITER 4635 NEW BEST:: SOT 11885955 SOS 7341175 HAS SOPS 6097916 HAS SOUS 1759475 HAS SOUPS 1666660 WITH SCORE 1674001.175
AT ITER 4640 NEW BEST:: SOT 11883661 SOS 7332817 HAS SOPS 6090371 HAS SOUS 1757767 HAS SOUPS 1664952 WITH SCORE 1672284.817
AT ITER 4652 NEW BEST:: SOT 11883101 SOS 7331450 HAS SOPS 6088660 HAS SOUS 1757024 HAS SOUPS 1664207 WITH SCORE 1671538.45
AT ITER 4704 NEW BEST:: SOT 11882945 SOS 7331370 HAS SOPS 6088558 HAS SOUS 1756682 HAS SOUPS 1663856 WITH SCORE 1671187.37
AT ITER 4717 NEW BEST:: SOT 11882945 SOS 7330658 HAS SOPS 6088560 HAS SOUS 1756491 HAS SOUPS 1663681 WITH SCORE 1671011.658
AT ITER 4727 NEW BEST:: SOT 11884259 SOS 7332627 HAS SOPS 6090443 HAS SOUS 1754547 HAS SOUPS 1661800 WITH SCORE 1669132.627
AT ITER 4742 NEW BEST:: SOT 11885699 SOS 7339160 HAS SOPS 6097026 HAS SOUS 1750663 HAS SOUPS 1657916 WITH SCORE 1665255.16
AT ITER 4759 NEW BEST:: SOT 11884077 SOS 7334679 HAS SOPS 6092389 HAS SOUS 1749659 HAS SOUPS 1656912 WITH SCORE 1664246.679
AT ITER 4760 NEW BEST:: SOT 11880945 SOS 7320316 HAS SOPS 6079640 HAS SOUS 1746787 HAS SOUPS 1656188 WITH SCORE 1663508.316
AT ITER 4768 NEW BEST:: SOT 11880214 SOS 7319585 HAS SOPS 6078677 HAS SOUS 1745288 HAS SOUPS 1654689 WITH SCORE 1662008.585
AT ITER 4809 NEW BEST:: SOT 11880055 SOS 7319464 HAS SOPS 6078550 HAS SOUS 1744071 HAS SOUPS 1653466 WITH SCORE 1660785.464
AT ITER 4838 NEW BEST:: SOT 11875116 SOS 7310100 HAS SOPS 6071218 HAS SOUS 1738730 HAS SOUPS 1648134 WITH SCORE 1655444.1
AT ITER 4843 NEW BEST:: SOT 11875186 SOS 7310380 HAS SOPS 6071659 HAS SOUS 1737830 HAS SOUPS 1647291 WITH SCORE 1654601.38
AT ITER 4852 NEW BEST:: SOT 11875286 SOS 7309381 HAS SOPS 6070618 HAS SOUS 1737695 HAS SOUPS 1647156 WITH SCORE 1654465.381
AT ITER 4867 NEW BEST:: SOT 11873720 SOS 7306326 HAS SOPS 6066732 HAS SOUS 1733822 HAS SOUPS 1643283 WITH SCORE 1650589.326
AT ITER 4911 NEW BEST:: SOT 11873462 SOS 7309936 HAS SOPS 6068304 HAS SOUS 1725959 HAS SOUPS 1635420 WITH SCORE 1642729.936
AT ITER 4915 NEW BEST:: SOT 11873390 SOS 7309864 HAS SOPS 6068200 HAS SOUS 1725759 HAS SOUPS 1635220 WITH SCORE 1642529.864
AT ITER 4924 NEW BEST:: SOT 11869532 SOS 7302128 HAS SOPS 6062500 HAS SOUS 1724420 HAS SOUPS 1633899 WITH SCORE 1641201.128
AT ITER 4934 NEW BEST:: SOT 11871226 SOS 7308270 HAS SOPS 6068087 HAS SOUS 1719760 HAS SOUPS 1629300 WITH SCORE 1636608.27
AT ITER 4964 NEW BEST:: SOT 11870876 SOS 7307131 HAS SOPS 6066641 HAS SOUS 1719340 HAS SOUPS 1628880 WITH SCORE 1636187.131
AT ITER 4976 NEW BEST:: SOT 11871032 SOS 7307839 HAS SOPS 6067142 HAS SOUS 1718842 HAS SOUPS 1628382 WITH SCORE 1635689.839
AT ITER 4987 NEW BEST:: SOT 11866906 SOS 7298866 HAS SOPS 6062771 HAS SOUS 1713906 HAS SOUPS 1624446 WITH SCORE 1631744.866
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-7-CTLCardinality-00 (EF((! (AG( potential( (tk(P451)) <= (tk(P589)) ))))))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-01 (AG( ( ( potential( ( 2 ) <= (tk(P232)) ) | potential( ( 3 ) <= (tk(P97)) ) ) | (EG( potential( (tk(P502)) <= (tk(P542)) ))) )))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-02 ( (! ( ( ( potential( ( 2 ) <= (tk(P101)) ) | potential( (tk(P535)) <= (tk(P129)) ) ) & ( potential( ( 1 ) <= (tk(P515)) ) | potential( (tk(P541)) <= (tk(P638)) ) ) ) & (! ( potential( ( 2 ) <= (tk(P220)) ) & potential( (tk(P602)) <= (tk(P502)) ) )) )) | (AG( (AF(potential( ( 3 ) <= (tk(P64)) ))))) )
PROPERTY: RERS17pb113-PT-7-CTLCardinality-03 (AG( (AF(potential( (tk(P419)) <= (tk(P532)) )))))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-04 (EG( ( (! (! potential( ( 2 ) <= (tk(P342)) ))) | (AF(potential( ( 2 ) <= (tk(P623)) ))) )))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-05 ( (AX( (! ( potential( ( 2 ) <= (tk(P84)) ) | potential( (tk(P8)) <= (tk(P554)) ) )))) | (EF((EX( potential( ( 3 ) <= (tk(P487)) ))))) )
PROPERTY: RERS17pb113-PT-7-CTLCardinality-06 ( (EX( (AF(potential( ( 1 ) <= (tk(P239)) ))))) & (EF(potential( ( 1 ) <= (tk(P29)) ))) )
PROPERTY: RERS17pb113-PT-7-CTLCardinality-07 (AF((EG( potential( ( 1 ) <= (tk(P18)) )))))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-08 ( (AF(( ( potential( (tk(P526)) <= (tk(P444)) ) & potential( ( 2 ) <= (tk(P546)) ) ) | ( potential( ( 1 ) <= (tk(P388)) ) & potential( (tk(P259)) <= (tk(P587)) ) ) ))) & potential( (tk(P247)) <= (tk(P99)) ) )
PROPERTY: RERS17pb113-PT-7-CTLCardinality-09 (EF((! potential( (tk(P254)) <= (tk(P344)) ))))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-10 (EU( (EX( potential( (tk(P286)) <= (tk(P247)) ))),(AF(potential( ( 3 ) <= (tk(P450)) ))) ))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-11 (EG( ( (AX( potential( ( 1 ) <= (tk(P101)) ))) | (AF(potential( ( 1 ) <= (tk(P300)) ))) )))
PROPERTY: RERS17pb113-PT-7-CTLCardinality-12 ( (EG( ( potential( ( 1 ) <= (tk(P615)) ) | ( potential( ( 2 ) <= (tk(P23)) ) | potential( (tk(P524)) <= (tk(P482)) ) ) ))) | potential( ( 2 ) <= (tk(P67)) ) )
PROPERTY: RERS17pb113-PT-7-CTLCardinality-13 ( (EF((AX( potential( ( 2 ) <= (tk(P8)) ))))) | (! ( ( ( potential( (tk(P90)) <= (tk(P509)) ) & potential( (tk(P460)) <= (tk(P551)) ) ) | potential( ( 2 ) <= (tk(P259)) ) ) | (AX( potential( (tk(P432)) <= (tk(P629)) ))) )) )
PROPERTY: RERS17pb113-PT-7-CTLCardinality-14 ( (! (AF(( potential( (tk(P258)) <= (tk(P494)) ) | potential( (tk(P441)) <= (tk(P403)) ) )))) | (EG( (! ( potential( ( 1 ) <= (tk(P205)) ) & potential( ( 1 ) <= (tk(P424)) ) )))) )
PROPERTY: RERS17pb113-PT-7-CTLCardinality-15 (AG( (AF(potential( (tk(P109)) <= (tk(P90)) )))))

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="RERS17pb113-PT-7"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-7, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502300051"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-7.tgz
mv RERS17pb113-PT-7 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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