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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.1K Apr 12 07:09 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K Apr 12 07:09 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.6K Apr 11 08:03 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 11 08:03 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.5K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Apr 14 12:48 LTLFireability.txt
-rw-r--r-- 1 mcc users 15K Apr 28 14:02 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Apr 10 14:01 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 19K Apr 10 14:01 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K Apr 9 20:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 9 20:31 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-5-CTLFireability-00
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-01
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-02
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-03
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-04
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-05
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-06
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-07
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-08
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-09
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-10
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-11
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-12
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-13
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-14
FORMULA_NAME RERS17pb113-PT-5-CTLFireability-15

=== Now, execution of the tool begins

BK_START 1589667829194

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

GOT IT HERE. BS
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 28 NEW BEST:: SOT 12198507 SOS 7752783 HAS SOPS 6419016 HAS SOUS 3042227 HAS SOUPS 2941737 WITH SCORE 2949489.783
AT ITER 29 NEW BEST:: SOT 12199246 SOS 7754869 HAS SOPS 6419742 HAS SOUS 3040867 HAS SOUPS 2940375 WITH SCORE 2948129.869
AT ITER 31 NEW BEST:: SOT 12199453 SOS 7756692 HAS SOPS 6420603 HAS SOUS 3040489 HAS SOUPS 2939997 WITH SCORE 2947753.692
AT ITER 32 NEW BEST:: SOT 12200628 SOS 7758331 HAS SOPS 6421779 HAS SOUS 3040260 HAS SOUPS 2939810 WITH SCORE 2947568.331
AT ITER 51 NEW BEST:: SOT 12210875 SOS 7795974 HAS SOPS 6461835 HAS SOUS 3038961 HAS SOUPS 2938718 WITH SCORE 2946513.974
AT ITER 55 NEW BEST:: SOT 12210836 SOS 7795907 HAS SOPS 6461790 HAS SOUS 3038936 HAS SOUPS 2938693 WITH SCORE 2946488.907
AT ITER 56 NEW BEST:: SOT 12210760 SOS 7795855 HAS SOPS 6461811 HAS SOUS 3038853 HAS SOUPS 2938610 WITH SCORE 2946405.855
AT ITER 59 NEW BEST:: SOT 12209720 SOS 7792741 HAS SOPS 6459413 HAS SOUS 3034931 HAS SOUPS 2934688 WITH SCORE 2942480.741
AT ITER 69 NEW BEST:: SOT 12204854 SOS 7787958 HAS SOPS 6454374 HAS SOUS 3030052 HAS SOUPS 2929649 WITH SCORE 2937436.958
AT ITER 73 NEW BEST:: SOT 12203264 SOS 7788057 HAS SOPS 6453617 HAS SOUS 3024377 HAS SOUPS 2924034 WITH SCORE 2931822.057
AT ITER 74 NEW BEST:: SOT 12203716 SOS 7790314 HAS SOPS 6454344 HAS SOUS 3022321 HAS SOUPS 2921978 WITH SCORE 2929768.314
AT ITER 76 NEW BEST:: SOT 12203694 SOS 7790237 HAS SOPS 6454308 HAS SOUS 3022311 HAS SOUPS 2921969 WITH SCORE 2929759.237
AT ITER 78 NEW BEST:: SOT 12203915 SOS 7790864 HAS SOPS 6454483 HAS SOUS 3021630 HAS SOUPS 2921288 WITH SCORE 2929078.864
AT ITER 88 NEW BEST:: SOT 12207699 SOS 7798481 HAS SOPS 6463025 HAS SOUS 3021086 HAS SOUPS 2920744 WITH SCORE 2928542.481
AT ITER 116 NEW BEST:: SOT 12208371 SOS 7799381 HAS SOPS 6465772 HAS SOUS 3019908 HAS SOUPS 2919854 WITH SCORE 2927653.381
AT ITER 126 NEW BEST:: SOT 12191355 SOS 7780502 HAS SOPS 6444478 HAS SOUS 2995972 HAS SOUPS 2896015 WITH SCORE 2903795.502
AT ITER 129 NEW BEST:: SOT 12197507 SOS 7798966 HAS SOPS 6463057 HAS SOUS 2992604 HAS SOUPS 2892725 WITH SCORE 2900523.966
AT ITER 142 NEW BEST:: SOT 12195172 SOS 7794124 HAS SOPS 6460825 HAS SOUS 2991028 HAS SOUPS 2891329 WITH SCORE 2899123.124
AT ITER 158 NEW BEST:: SOT 12203636 SOS 7807230 HAS SOPS 6469749 HAS SOUS 2991329 HAS SOUPS 2891017 WITH SCORE 2898824.23
AT ITER 159 NEW BEST:: SOT 12205934 SOS 7816337 HAS SOPS 6477649 HAS SOUS 2988950 HAS SOUPS 2888638 WITH SCORE 2896454.337
AT ITER 167 NEW BEST:: SOT 12208909 SOS 7825714 HAS SOPS 6494168 HAS SOUS 2979003 HAS SOUPS 2878916 WITH SCORE 2886741.714
AT ITER 170 NEW BEST:: SOT 12201103 SOS 7806937 HAS SOPS 6475847 HAS SOUS 2971529 HAS SOUPS 2871654 WITH SCORE 2879460.937
AT ITER 185 NEW BEST:: SOT 12201033 SOS 7806643 HAS SOPS 6475569 HAS SOUS 2971523 HAS SOUPS 2871648 WITH SCORE 2879454.643
AT ITER 195 NEW BEST:: SOT 12205731 SOS 7817520 HAS SOPS 6487464 HAS SOUS 2961502 HAS SOUPS 2861513 WITH SCORE 2869330.52
AT ITER 208 NEW BEST:: SOT 12205992 SOS 7818298 HAS SOPS 6487203 HAS SOUS 2961358 HAS SOUPS 2861369 WITH SCORE 2869187.298
AT ITER 219 NEW BEST:: SOT 12205776 SOS 7817944 HAS SOPS 6486150 HAS SOUS 2961328 HAS SOUPS 2861339 WITH SCORE 2869156.944
AT ITER 231 NEW BEST:: SOT 12202765 SOS 7811622 HAS SOPS 6480179 HAS SOUS 2951060 HAS SOUPS 2851290 WITH SCORE 2859101.622
AT ITER 238 NEW BEST:: SOT 12198129 SOS 7805926 HAS SOPS 6477178 HAS SOUS 2935363 HAS SOUPS 2836044 WITH SCORE 2843849.926
AT ITER 243 NEW BEST:: SOT 12201527 SOS 7815207 HAS SOPS 6486135 HAS SOUS 2928432 HAS SOUPS 2829126 WITH SCORE 2836941.207
AT ITER 252 NEW BEST:: SOT 12201559 SOS 7815013 HAS SOPS 6486200 HAS SOUS 2928378 HAS SOUPS 2829072 WITH SCORE 2836887.013
AT ITER 255 NEW BEST:: SOT 12200744 SOS 7814163 HAS SOPS 6484825 HAS SOUS 2926712 HAS SOUPS 2827061 WITH SCORE 2834875.163
AT ITER 258 NEW BEST:: SOT 12198045 SOS 7808634 HAS SOPS 6480464 HAS SOUS 2923937 HAS SOUPS 2824286 WITH SCORE 2832094.634
AT ITER 273 NEW BEST:: SOT 12198016 SOS 7809078 HAS SOPS 6480890 HAS SOUS 2923895 HAS SOUPS 2824244 WITH SCORE 2832053.078
AT ITER 274 NEW BEST:: SOT 12195748 SOS 7805376 HAS SOPS 6477104 HAS SOUS 2919685 HAS SOUPS 2820034 WITH SCORE 2827839.376
AT ITER 277 NEW BEST:: SOT 12190010 SOS 7799623 HAS SOPS 6470790 HAS SOUS 2910944 HAS SOUPS 2811272 WITH SCORE 2819071.623
AT ITER 282 NEW BEST:: SOT 12188214 SOS 7797827 HAS SOPS 6468978 HAS SOUS 2908876 HAS SOUPS 2809188 WITH SCORE 2816985.827
AT ITER 299 NEW BEST:: SOT 12191582 SOS 7805040 HAS SOPS 6477710 HAS SOUS 2908429 HAS SOUPS 2808816 WITH SCORE 2816621.04
AT ITER 330 NEW BEST:: SOT 12190105 SOS 7807301 HAS SOPS 6478101 HAS SOUS 2895105 HAS SOUPS 2795521 WITH SCORE 2803328.301
AT ITER 332 NEW BEST:: SOT 12189955 SOS 7804749 HAS SOPS 6476641 HAS SOUS 2893439 HAS SOUPS 2793858 WITH SCORE 2801662.749
AT ITER 336 NEW BEST:: SOT 12190305 SOS 7805910 HAS SOPS 6477753 HAS SOUS 2892549 HAS SOUPS 2792968 WITH SCORE 2800773.91
AT ITER 337 NEW BEST:: SOT 12189753 SOS 7805561 HAS SOPS 6477252 HAS SOUS 2887858 HAS SOUPS 2788443 WITH SCORE 2796248.561
AT ITER 339 NEW BEST:: SOT 12189586 SOS 7804696 HAS SOPS 6476254 HAS SOUS 2887470 HAS SOUPS 2788055 WITH SCORE 2795859.696
AT ITER 343 NEW BEST:: SOT 12183288 SOS 7803361 HAS SOPS 6477464 HAS SOUS 2872439 HAS SOUPS 2773179 WITH SCORE 2780982.361
AT ITER 352 NEW BEST:: SOT 12182814 SOS 7802983 HAS SOPS 6477177 HAS SOUS 2870771 HAS SOUPS 2771511 WITH SCORE 2779313.983
AT ITER 355 NEW BEST:: SOT 12182931 SOS 7803676 HAS SOPS 6478166 HAS SOUS 2870588 HAS SOUPS 2771340 WITH SCORE 2779143.676
AT ITER 356 NEW BEST:: SOT 12182691 SOS 7803381 HAS SOPS 6477776 HAS SOUS 2870068 HAS SOUPS 2770820 WITH SCORE 2778623.381
AT ITER 370 NEW BEST:: SOT 12182684 SOS 7803349 HAS SOPS 6477909 HAS SOUS 2869736 HAS SOUPS 2770573 WITH SCORE 2778376.349
AT ITER 376 NEW BEST:: SOT 12182139 SOS 7802493 HAS SOPS 6477081 HAS SOUS 2868755 HAS SOUPS 2769615 WITH SCORE 2777417.493
AT ITER 390 NEW BEST:: SOT 12176116 SOS 7795986 HAS SOPS 6470472 HAS SOUS 2864010 HAS SOUPS 2764835 WITH SCORE 2772630.986
AT ITER 391 NEW BEST:: SOT 12176088 SOS 7795958 HAS SOPS 6470444 HAS SOUS 2863925 HAS SOUPS 2764750 WITH SCORE 2772545.958
AT ITER 421 NEW BEST:: SOT 12171118 SOS 7790956 HAS SOPS 6464882 HAS SOUS 2856475 HAS SOUPS 2757236 WITH SCORE 2765026.956
AT ITER 437 NEW BEST:: SOT 12170048 SOS 7789404 HAS SOPS 6463232 HAS SOUS 2856024 HAS SOUPS 2756793 WITH SCORE 2764582.404
AT ITER 444 NEW BEST:: SOT 12171076 SOS 7795644 HAS SOPS 6468726 HAS SOUS 2849437 HAS SOUPS 2750196 WITH SCORE 2757991.644
AT ITER 448 NEW BEST:: SOT 12170247 SOS 7795356 HAS SOPS 6467920 HAS SOUS 2838920 HAS SOUPS 2739881 WITH SCORE 2747676.356
AT ITER 454 NEW BEST:: SOT 12162889 SOS 7787962 HAS SOPS 6459986 HAS SOUS 2827846 HAS SOUPS 2728807 WITH SCORE 2736594.962
AT ITER 460 NEW BEST:: SOT 12175008 SOS 7805221 HAS SOPS 6481805 HAS SOUS 2824041 HAS SOUPS 2725268 WITH SCORE 2733073.221
AT ITER 469 NEW BEST:: SOT 12176060 SOS 7810510 HAS SOPS 6484700 HAS SOUS 2821489 HAS SOUPS 2722716 WITH SCORE 2730526.51
AT ITER 471 NEW BEST:: SOT 12175160 SOS 7809661 HAS SOPS 6483083 HAS SOUS 2818897 HAS SOUPS 2720124 WITH SCORE 2727933.661
AT ITER 493 NEW BEST:: SOT 12174944 SOS 7809515 HAS SOPS 6483119 HAS SOUS 2818836 HAS SOUPS 2720063 WITH SCORE 2727872.515
AT ITER 497 NEW BEST:: SOT 12174939 SOS 7809510 HAS SOPS 6483114 HAS SOUS 2818623 HAS SOUPS 2719850 WITH SCORE 2727659.51
AT ITER 500 NEW BEST:: SOT 12174550 SOS 7808845 HAS SOPS 6482524 HAS SOUS 2817817 HAS SOUPS 2719093 WITH SCORE 2726901.845
AT ITER 501 NEW BEST:: SOT 12174785 SOS 7812283 HAS SOPS 6487500 HAS SOUS 2814445 HAS SOUPS 2715842 WITH SCORE 2723654.283
AT ITER 520 NEW BEST:: SOT 12173846 SOS 7811312 HAS SOPS 6486049 HAS SOUS 2811738 HAS SOUPS 2713135 WITH SCORE 2720946.312
AT ITER 541 NEW BEST:: SOT 12174164 SOS 7811722 HAS SOPS 6488133 HAS SOUS 2810486 HAS SOUPS 2712094 WITH SCORE 2719905.722
AT ITER 542 NEW BEST:: SOT 12170409 SOS 7804732 HAS SOPS 6480218 HAS SOUS 2801169 HAS SOUPS 2702610 WITH SCORE 2710414.732
AT ITER 544 NEW BEST:: SOT 12171459 SOS 7805614 HAS SOPS 6478859 HAS SOUS 2795822 HAS SOUPS 2697530 WITH SCORE 2705335.614
AT ITER 548 NEW BEST:: SOT 12165018 SOS 7798859 HAS SOPS 6469134 HAS SOUS 2785794 HAS SOUPS 2687329 WITH SCORE 2695127.859
AT ITER 566 NEW BEST:: SOT 12163210 SOS 7796326 HAS SOPS 6471283 HAS SOUS 2784398 HAS SOUPS 2685933 WITH SCORE 2693729.326
AT ITER 576 NEW BEST:: SOT 12159324 SOS 7787540 HAS SOPS 6462372 HAS SOUS 2778196 HAS SOUPS 2679811 WITH SCORE 2687598.54
AT ITER 577 NEW BEST:: SOT 12157620 SOS 7782454 HAS SOPS 6458786 HAS SOUS 2777119 HAS SOUPS 2678734 WITH SCORE 2686516.454
AT ITER 581 NEW BEST:: SOT 12160500 SOS 7791112 HAS SOPS 6466641 HAS SOUS 2768624 HAS SOUPS 2670239 WITH SCORE 2678030.112
AT ITER 604 NEW BEST:: SOT 12160274 SOS 7791784 HAS SOPS 6466004 HAS SOUS 2767247 HAS SOUPS 2668862 WITH SCORE 2676653.784
AT ITER 610 NEW BEST:: SOT 12156602 SOS 7788031 HAS SOPS 6463553 HAS SOUS 2755327 HAS SOUPS 2657587 WITH SCORE 2665375.031
AT ITER 623 NEW BEST:: SOT 12156198 SOS 7787285 HAS SOPS 6462366 HAS SOUS 2755261 HAS SOUPS 2657521 WITH SCORE 2665308.285
AT ITER 633 NEW BEST:: SOT 12120594 SOS 7742077 HAS SOPS 6427496 HAS SOUS 2723027 HAS SOUPS 2625380 WITH SCORE 2633122.077
AT ITER 648 NEW BEST:: SOT 12120611 SOS 7741854 HAS SOPS 6427527 HAS SOUS 2722969 HAS SOUPS 2625322 WITH SCORE 2633063.854
AT ITER 656 NEW BEST:: SOT 12120510 SOS 7742355 HAS SOPS 6427564 HAS SOUS 2721574 HAS SOUPS 2623927 WITH SCORE 2631669.355
AT ITER 680 NEW BEST:: SOT 12119112 SOS 7741059 HAS SOPS 6425996 HAS SOUS 2718237 HAS SOUPS 2620590 WITH SCORE 2628331.059
AT ITER 682 NEW BEST:: SOT 12119152 SOS 7741390 HAS SOPS 6425499 HAS SOUS 2717653 HAS SOUPS 2620006 WITH SCORE 2627747.39
AT ITER 721 NEW BEST:: SOT 12118800 SOS 7741987 HAS SOPS 6426295 HAS SOUS 2716453 HAS SOUPS 2618806 WITH SCORE 2626547.987
AT ITER 727 NEW BEST:: SOT 12118716 SOS 7741822 HAS SOPS 6425948 HAS SOUS 2716277 HAS SOUPS 2618644 WITH SCORE 2626385.822
AT ITER 728 NEW BEST:: SOT 12118593 SOS 7741511 HAS SOPS 6425889 HAS SOUS 2715843 HAS SOUPS 2618211 WITH SCORE 2625952.511
AT ITER 730 NEW BEST:: SOT 12118113 SOS 7740715 HAS SOPS 6425235 HAS SOUS 2715472 HAS SOUPS 2617840 WITH SCORE 2625580.715
AT ITER 738 NEW BEST:: SOT 12139360 SOS 7773166 HAS SOPS 6457345 HAS SOUS 2710819 HAS SOUPS 2613187 WITH SCORE 2620960.166
AT ITER 754 NEW BEST:: SOT 12139295 SOS 7767823 HAS SOPS 6454667 HAS SOUS 2689250 HAS SOUPS 2592537 WITH SCORE 2600304.823
AT ITER 756 NEW BEST:: SOT 12139492 SOS 7769231 HAS SOPS 6455260 HAS SOUS 2689228 HAS SOUPS 2592515 WITH SCORE 2600284.231
AT ITER 761 NEW BEST:: SOT 12141792 SOS 7768311 HAS SOPS 6451959 HAS SOUS 2683733 HAS SOUPS 2587129 WITH SCORE 2594897.311
AT ITER 766 NEW BEST:: SOT 12139626 SOS 7762490 HAS SOPS 6451771 HAS SOUS 2681319 HAS SOUPS 2584731 WITH SCORE 2592493.49
AT ITER 775 NEW BEST:: SOT 12136503 SOS 7754659 HAS SOPS 6445740 HAS SOUS 2675352 HAS SOUPS 2578931 WITH SCORE 2586685.659
AT ITER 776 NEW BEST:: SOT 12135848 SOS 7753950 HAS SOPS 6444653 HAS SOUS 2673124 HAS SOUPS 2576703 WITH SCORE 2584456.95
AT ITER 778 NEW BEST:: SOT 12135266 SOS 7753368 HAS SOPS 6444071 HAS SOUS 2673066 HAS SOUPS 2576645 WITH SCORE 2584398.368
AT ITER 793 NEW BEST:: SOT 12134811 SOS 7752609 HAS SOPS 6443786 HAS SOUS 2672201 HAS SOUPS 2575794 WITH SCORE 2583546.609
AT ITER 800 NEW BEST:: SOT 12134851 SOS 7752482 HAS SOPS 6442922 HAS SOUS 2671878 HAS SOUPS 2575471 WITH SCORE 2583223.482
AT ITER 801 NEW BEST:: SOT 12134599 SOS 7752882 HAS SOPS 6443754 HAS SOUS 2670562 HAS SOUPS 2574155 WITH SCORE 2581907.882
AT ITER 803 NEW BEST:: SOT 12129340 SOS 7743578 HAS SOPS 6437075 HAS SOUS 2667450 HAS SOUPS 2571204 WITH SCORE 2578947.578
AT ITER 806 NEW BEST:: SOT 12127555 SOS 7738690 HAS SOPS 6434078 HAS SOUS 2664922 HAS SOUPS 2568676 WITH SCORE 2576414.69
AT ITER 807 NEW BEST:: SOT 12127491 SOS 7738706 HAS SOPS 6433926 HAS SOUS 2664662 HAS SOUPS 2568416 WITH SCORE 2576154.706
AT ITER 808 NEW BEST:: SOT 12127491 SOS 7738711 HAS SOPS 6433929 HAS SOUS 2664657 HAS SOUPS 2568411 WITH SCORE 2576149.711
AT ITER 826 NEW BEST:: SOT 12127957 SOS 7743275 HAS SOPS 6438602 HAS SOUS 2664076 HAS SOUPS 2567830 WITH SCORE 2575573.275
AT ITER 834 NEW BEST:: SOT 12125545 SOS 7740878 HAS SOPS 6436190 HAS SOUS 2661747 HAS SOUPS 2565486 WITH SCORE 2573226.878
AT ITER 839 NEW BEST:: SOT 12125570 SOS 7740901 HAS SOPS 6436199 HAS SOUS 2661669 HAS SOUPS 2565408 WITH SCORE 2573148.901
AT ITER 840 NEW BEST:: SOT 12135717 SOS 7757292 HAS SOPS 6453149 HAS SOUS 2659831 HAS SOUPS 2563585 WITH SCORE 2571342.292
AT ITER 865 NEW BEST:: SOT 12135010 SOS 7757154 HAS SOPS 6452547 HAS SOUS 2658799 HAS SOUPS 2562529 WITH SCORE 2570286.154
AT ITER 886 NEW BEST:: SOT 12135073 SOS 7757359 HAS SOPS 6452749 HAS SOUS 2658602 HAS SOUPS 2562324 WITH SCORE 2570081.359
AT ITER 898 NEW BEST:: SOT 12135347 SOS 7759111 HAS SOPS 6455416 HAS SOUS 2658337 HAS SOUPS 2562059 WITH SCORE 2569818.111
AT ITER 901 NEW BEST:: SOT 12127012 SOS 7749165 HAS SOPS 6447313 HAS SOUS 2650246 HAS SOUPS 2553968 WITH SCORE 2561717.165
AT ITER 911 NEW BEST:: SOT 12127540 SOS 7750097 HAS SOPS 6448624 HAS SOUS 2649804 HAS SOUPS 2553530 WITH SCORE 2561280.097
AT ITER 913 NEW BEST:: SOT 12126133 SOS 7748099 HAS SOPS 6445671 HAS SOUS 2647667 HAS SOUPS 2551393 WITH SCORE 2559141.099
AT ITER 916 NEW BEST:: SOT 12135627 SOS 7759533 HAS SOPS 6456770 HAS SOUS 2645284 HAS SOUPS 2549043 WITH SCORE 2556802.533
AT ITER 926 NEW BEST:: SOT 12135624 SOS 7759449 HAS SOPS 6455979 HAS SOUS 2643990 HAS SOUPS 2547794 WITH SCORE 2555553.449
AT ITER 930 NEW BEST:: SOT 12135026 SOS 7758857 HAS SOPS 6455195 HAS SOUS 2643134 HAS SOUPS 2546842 WITH SCORE 2554600.857
AT ITER 943 NEW BEST:: SOT 12134764 SOS 7758573 HAS SOPS 6455417 HAS SOUS 2642227 HAS SOUPS 2546031 WITH SCORE 2553789.573
AT ITER 945 NEW BEST:: SOT 12133235 SOS 7756314 HAS SOPS 6451868 HAS SOUS 2639828 HAS SOUPS 2543586 WITH SCORE 2551342.314
AT ITER 947 NEW BEST:: SOT 12133242 SOS 7754895 HAS SOPS 6451164 HAS SOUS 2633713 HAS SOUPS 2537471 WITH SCORE 2545225.895
AT ITER 948 NEW BEST:: SOT 12128303 SOS 7749260 HAS SOPS 6445312 HAS SOUS 2628112 HAS SOUPS 2531856 WITH SCORE 2539605.26
AT ITER 951 NEW BEST:: SOT 12126526 SOS 7755515 HAS SOPS 6451417 HAS SOUS 2623882 HAS SOUPS 2527626 WITH SCORE 2535381.515
AT ITER 954 NEW BEST:: SOT 12124519 SOS 7739463 HAS SOPS 6446643 HAS SOUS 2622499 HAS SOUPS 2526240 WITH SCORE 2533979.463
AT ITER 959 NEW BEST:: SOT 12123753 SOS 7737529 HAS SOPS 6445008 HAS SOUS 2620599 HAS SOUPS 2524397 WITH SCORE 2532134.529
AT ITER 960 NEW BEST:: SOT 12123753 SOS 7737633 HAS SOPS 6445112 HAS SOUS 2620586 HAS SOUPS 2524384 WITH SCORE 2532121.633
AT ITER 967 NEW BEST:: SOT 12123865 SOS 7737631 HAS SOPS 6445265 HAS SOUS 2620560 HAS SOUPS 2524358 WITH SCORE 2532095.631
AT ITER 976 NEW BEST:: SOT 12124768 SOS 7738995 HAS SOPS 6448386 HAS SOUS 2619971 HAS SOUPS 2523761 WITH SCORE 2531499.995
AT ITER 984 NEW BEST:: SOT 12124911 SOS 7740400 HAS SOPS 6453297 HAS SOUS 2619136 HAS SOUPS 2523013 WITH SCORE 2530753.4
AT ITER 1000 NEW BEST:: SOT 12124945 SOS 7740750 HAS SOPS 6453820 HAS SOUS 2619132 HAS SOUPS 2523009 WITH SCORE 2530749.75
AT ITER 1005 NEW BEST:: SOT 12128545 SOS 7748307 HAS SOPS 6461001 HAS SOUS 2618690 HAS SOUPS 2522761 WITH SCORE 2530509.307
AT ITER 1007 NEW BEST:: SOT 12123709 SOS 7729516 HAS SOPS 6444357 HAS SOUS 2618600 HAS SOUPS 2522663 WITH SCORE 2530392.516
AT ITER 1011 NEW BEST:: SOT 12127466 SOS 7734450 HAS SOPS 6453508 HAS SOUS 2617899 HAS SOUPS 2522469 WITH SCORE 2530203.45
AT ITER 1014 NEW BEST:: SOT 12136577 SOS 7703551 HAS SOPS 6432267 HAS SOUS 2609920 HAS SOUPS 2514919 WITH SCORE 2522622.551
AT ITER 1019 NEW BEST:: SOT 12136541 SOS 7701980 HAS SOPS 6431179 HAS SOUS 2609175 HAS SOUPS 2514227 WITH SCORE 2521928.98
AT ITER 1020 NEW BEST:: SOT 12136865 SOS 7706190 HAS SOPS 6440526 HAS SOUS 2607619 HAS SOUPS 2512671 WITH SCORE 2520377.19
AT ITER 1025 NEW BEST:: SOT 12136832 SOS 7705315 HAS SOPS 6439665 HAS SOUS 2607618 HAS SOUPS 2512670 WITH SCORE 2520375.315
AT ITER 1027 NEW BEST:: SOT 12135959 SOS 7705178 HAS SOPS 6437656 HAS SOUS 2605546 HAS SOUPS 2510598 WITH SCORE 2518303.178
AT ITER 1041 NEW BEST:: SOT 12134930 SOS 7701875 HAS SOPS 6434946 HAS SOUS 2602616 HAS SOUPS 2507767 WITH SCORE 2515468.875
AT ITER 1046 NEW BEST:: SOT 12133637 SOS 7705801 HAS SOPS 6433653 HAS SOUS 2587594 HAS SOUPS 2492556 WITH SCORE 2500261.801
AT ITER 1047 NEW BEST:: SOT 12133619 SOS 7705811 HAS SOPS 6433677 HAS SOUS 2587536 HAS SOUPS 2492498 WITH SCORE 2500203.811
AT ITER 1059 NEW BEST:: SOT 12132766 SOS 7700982 HAS SOPS 6430475 HAS SOUS 2587314 HAS SOUPS 2492276 WITH SCORE 2499976.982
AT ITER 1062 NEW BEST:: SOT 12132461 SOS 7703924 HAS SOPS 6434398 HAS SOUS 2585214 HAS SOUPS 2490176 WITH SCORE 2497879.924
AT ITER 1068 NEW BEST:: SOT 12132321 SOS 7703492 HAS SOPS 6433740 HAS SOUS 2584978 HAS SOUPS 2489942 WITH SCORE 2497645.492
AT ITER 1072 NEW BEST:: SOT 12131913 SOS 7703030 HAS SOPS 6433134 HAS SOUS 2583696 HAS SOUPS 2488660 WITH SCORE 2496363.03
AT ITER 1086 NEW BEST:: SOT 12127993 SOS 7698865 HAS SOPS 6427796 HAS SOUS 2576256 HAS SOUPS 2481113 WITH SCORE 2488811.865
AT ITER 1087 NEW BEST:: SOT 12130359 SOS 7706061 HAS SOPS 6436889 HAS SOUS 2574439 HAS SOUPS 2479296 WITH SCORE 2487002.061
AT ITER 1110 NEW BEST:: SOT 12130425 SOS 7706132 HAS SOPS 6436960 HAS SOUS 2574370 HAS SOUPS 2479227 WITH SCORE 2486933.132
AT ITER 1118 NEW BEST:: SOT 12128321 SOS 7707488 HAS SOPS 6438672 HAS SOUS 2567905 HAS SOUPS 2472825 WITH SCORE 2480532.488
AT ITER 1123 NEW BEST:: SOT 12128399 SOS 7707046 HAS SOPS 6439171 HAS SOUS 2565482 HAS SOUPS 2471116 WITH SCORE 2478823.046
AT ITER 1134 NEW BEST:: SOT 12127617 SOS 7706267 HAS SOPS 6438392 HAS SOUS 2565374 HAS SOUPS 2471008 WITH SCORE 2478714.267
AT ITER 1135 NEW BEST:: SOT 12125661 SOS 7704300 HAS SOPS 6438337 HAS SOUS 2557616 HAS SOUPS 2463566 WITH SCORE 2471270.3
AT ITER 1138 NEW BEST:: SOT 12125156 SOS 7703911 HAS SOPS 6437608 HAS SOUS 2556153 HAS SOUPS 2462115 WITH SCORE 2469818.911
AT ITER 1149 NEW BEST:: SOT 12129001 SOS 7718567 HAS SOPS 6450652 HAS SOUS 2554315 HAS SOUPS 2460277 WITH SCORE 2467995.567
AT ITER 1150 NEW BEST:: SOT 12127985 SOS 7717942 HAS SOPS 6455014 HAS SOUS 2550585 HAS SOUPS 2456547 WITH SCORE 2464264.942
AT ITER 1177 NEW BEST:: SOT 12128731 SOS 7718722 HAS SOPS 6456100 HAS SOUS 2549895 HAS SOUPS 2455863 WITH SCORE 2463581.722
AT ITER 1183 NEW BEST:: SOT 12125521 SOS 7713552 HAS SOPS 6451010 HAS SOUS 2547504 HAS SOUPS 2453472 WITH SCORE 2461185.552
AT ITER 1188 NEW BEST:: SOT 12122947 SOS 7709327 HAS SOPS 6446901 HAS SOUS 2543181 HAS SOUPS 2449650 WITH SCORE 2457359.327
AT ITER 1190 NEW BEST:: SOT 12120390 SOS 7706746 HAS SOPS 6443784 HAS SOUS 2539679 HAS SOUPS 2446052 WITH SCORE 2453758.746
AT ITER 1193 NEW BEST:: SOT 12120227 SOS 7706538 HAS SOPS 6443656 HAS SOUS 2539197 HAS SOUPS 2445580 WITH SCORE 2453286.538
AT ITER 1204 NEW BEST:: SOT 12120518 SOS 7708050 HAS SOPS 6445669 HAS SOUS 2538816 HAS SOUPS 2445199 WITH SCORE 2452907.05
AT ITER 1214 NEW BEST:: SOT 12120960 SOS 7708492 HAS SOPS 6445901 HAS SOUS 2537746 HAS SOUPS 2444129 WITH SCORE 2451837.492
AT ITER 1215 NEW BEST:: SOT 12120827 SOS 7707881 HAS SOPS 6444960 HAS SOUS 2537531 HAS SOUPS 2443914 WITH SCORE 2451621.881
AT ITER 1227 NEW BEST:: SOT 12120253 SOS 7705766 HAS SOPS 6442838 HAS SOUS 2536572 HAS SOUPS 2442983 WITH SCORE 2450688.766
AT ITER 1232 NEW BEST:: SOT 12116691 SOS 7701932 HAS SOPS 6440042 HAS SOUS 2532245 HAS SOUPS 2438639 WITH SCORE 2446340.932
AT ITER 1234 NEW BEST:: SOT 12115261 SOS 7700227 HAS SOPS 6438442 HAS SOUS 2531373 HAS SOUPS 2437826 WITH SCORE 2445526.227
AT ITER 1253 NEW BEST:: SOT 12113666 SOS 7698632 HAS SOPS 6436847 HAS SOUS 2529646 HAS SOUPS 2436099 WITH SCORE 2443797.632
AT ITER 1273 NEW BEST:: SOT 12110625 SOS 7692718 HAS SOPS 6432266 HAS SOUS 2528750 HAS SOUPS 2435181 WITH SCORE 2442873.718
AT ITER 1295 NEW BEST:: SOT 12108893 SOS 7690489 HAS SOPS 6431285 HAS SOUS 2525422 HAS SOUPS 2432056 WITH SCORE 2439746.489
AT ITER 1302 NEW BEST:: SOT 12106737 SOS 7686544 HAS SOPS 6430291 HAS SOUS 2525317 HAS SOUPS 2431951 WITH SCORE 2439637.544
AT ITER 1309 NEW BEST:: SOT 12102208 SOS 7677562 HAS SOPS 6421668 HAS SOUS 2518342 HAS SOUPS 2425017 WITH SCORE 2432694.562
AT ITER 1328 NEW BEST:: SOT 12075005 SOS 7629382 HAS SOPS 6391870 HAS SOUS 2512827 HAS SOUPS 2419999 WITH SCORE 2427628.382
AT ITER 1337 NEW BEST:: SOT 12075019 SOS 7629392 HAS SOPS 6391880 HAS SOUS 2512661 HAS SOUPS 2419833 WITH SCORE 2427462.392
AT ITER 1350 NEW BEST:: SOT 12074263 SOS 7626099 HAS SOPS 6389777 HAS SOUS 2512352 HAS SOUPS 2419524 WITH SCORE 2427150.099
AT ITER 1357 NEW BEST:: SOT 12053046 SOS 7603829 HAS SOPS 6368371 HAS SOUS 2489260 HAS SOUPS 2396668 WITH SCORE 2404271.829
AT ITER 1370 NEW BEST:: SOT 12051466 SOS 7602036 HAS SOPS 6367018 HAS SOUS 2487685 HAS SOUPS 2395093 WITH SCORE 2402695.036
AT ITER 1383 NEW BEST:: SOT 12051309 SOS 7602138 HAS SOPS 6366987 HAS SOUS 2485556 HAS SOUPS 2392964 WITH SCORE 2400566.138
AT ITER 1397 NEW BEST:: SOT 12052739 SOS 7602626 HAS SOPS 6363692 HAS SOUS 2477654 HAS SOUPS 2385062 WITH SCORE 2392664.626
AT ITER 1409 NEW BEST:: SOT 12051989 SOS 7601200 HAS SOPS 6362289 HAS SOUS 2476597 HAS SOUPS 2384005 WITH SCORE 2391606.2
AT ITER 1415 NEW BEST:: SOT 12051113 SOS 7599029 HAS SOPS 6361967 HAS SOUS 2474187 HAS SOUPS 2381595 WITH SCORE 2389194.029
AT ITER 1416 NEW BEST:: SOT 12053123 SOS 7605671 HAS SOPS 6371530 HAS SOUS 2474029 HAS SOUPS 2381437 WITH SCORE 2389042.671
AT ITER 1430 NEW BEST:: SOT 12044760 SOS 7589513 HAS SOPS 6362393 HAS SOUS 2469686 HAS SOUPS 2377457 WITH SCORE 2385046.513
AT ITER 1448 NEW BEST:: SOT 12044721 SOS 7589760 HAS SOPS 6362623 HAS SOUS 2469613 HAS SOUPS 2377384 WITH SCORE 2384973.76
AT ITER 1456 NEW BEST:: SOT 12044320 SOS 7589291 HAS SOPS 6362070 HAS SOUS 2468648 HAS SOUPS 2376427 WITH SCORE 2384016.291
AT ITER 1462 NEW BEST:: SOT 12054174 SOS 7612672 HAS SOPS 6388619 HAS SOUS 2466984 HAS SOUPS 2374785 WITH SCORE 2382397.672
AT ITER 1467 NEW BEST:: SOT 12053663 SOS 7612475 HAS SOPS 6387809 HAS SOUS 2464656 HAS SOUPS 2372458 WITH SCORE 2380070.475
AT ITER 1470 NEW BEST:: SOT 12052493 SOS 7611159 HAS SOPS 6385367 HAS SOUS 2463644 HAS SOUPS 2371446 WITH SCORE 2379057.159
AT ITER 1472 NEW BEST:: SOT 12052926 SOS 7611899 HAS SOPS 6385303 HAS SOUS 2462579 HAS SOUPS 2370344 WITH SCORE 2377955.899
AT ITER 1482 NEW BEST:: SOT 12052676 SOS 7611644 HAS SOPS 6384973 HAS SOUS 2462109 HAS SOUPS 2369874 WITH SCORE 2377485.644
AT ITER 1488 NEW BEST:: SOT 12055891 SOS 7620422 HAS SOPS 6389906 HAS SOUS 2461249 HAS SOUPS 2369014 WITH SCORE 2376634.422
AT ITER 1496 NEW BEST:: SOT 12051022 SOS 7618047 HAS SOPS 6388396 HAS SOUS 2457279 HAS SOUPS 2365044 WITH SCORE 2372662.047
AT ITER 1499 NEW BEST:: SOT 12050042 SOS 7617694 HAS SOPS 6386510 HAS SOUS 2454177 HAS SOUPS 2361869 WITH SCORE 2369486.694
AT ITER 1503 NEW BEST:: SOT 12045629 SOS 7609828 HAS SOPS 6379570 HAS SOUS 2446961 HAS SOUPS 2354784 WITH SCORE 2362393.828
AT ITER 1546 NEW BEST:: SOT 12045001 SOS 7609182 HAS SOPS 6378798 HAS SOUS 2446045 HAS SOUPS 2353868 WITH SCORE 2361477.182
AT ITER 1558 NEW BEST:: SOT 12044766 SOS 7607689 HAS SOPS 6377334 HAS SOUS 2445976 HAS SOUPS 2353799 WITH SCORE 2361406.689
AT ITER 1569 NEW BEST:: SOT 12050417 SOS 7609313 HAS SOPS 6380763 HAS SOUS 2439253 HAS SOUPS 2347086 WITH SCORE 2354695.313
AT ITER 1592 NEW BEST:: SOT 12050735 SOS 7609415 HAS SOPS 6380895 HAS SOUS 2438213 HAS SOUPS 2346068 WITH SCORE 2353677.415
AT ITER 1642 NEW BEST:: SOT 12049795 SOS 7606798 HAS SOPS 6377940 HAS SOUS 2436401 HAS SOUPS 2344256 WITH SCORE 2351862.798
AT ITER 1645 NEW BEST:: SOT 12050417 SOS 7609288 HAS SOPS 6379993 HAS SOUS 2436109 HAS SOUPS 2343964 WITH SCORE 2351573.288
AT ITER 1653 NEW BEST:: SOT 12050250 SOS 7609209 HAS SOPS 6379968 HAS SOUS 2435794 HAS SOUPS 2343649 WITH SCORE 2351258.209
AT ITER 1661 NEW BEST:: SOT 12048364 SOS 7607359 HAS SOPS 6377406 HAS SOUS 2434156 HAS SOUPS 2342011 WITH SCORE 2349618.359
AT ITER 1674 NEW BEST:: SOT 12042016 SOS 7589196 HAS SOPS 6364791 HAS SOUS 2432280 HAS SOUPS 2340268 WITH SCORE 2347857.196
AT ITER 1678 NEW BEST:: SOT 12039660 SOS 7584864 HAS SOPS 6361843 HAS SOUS 2430822 HAS SOUPS 2338810 WITH SCORE 2346394.864
AT ITER 1693 NEW BEST:: SOT 12038031 SOS 7583157 HAS SOPS 6360128 HAS SOUS 2428879 HAS SOUPS 2336859 WITH SCORE 2344442.157
AT ITER 1697 NEW BEST:: SOT 12033257 SOS 7575914 HAS SOPS 6356442 HAS SOUS 2423848 HAS SOUPS 2331919 WITH SCORE 2339494.914
AT ITER 1705 NEW BEST:: SOT 12033140 SOS 7575751 HAS SOPS 6356272 HAS SOUS 2423612 HAS SOUPS 2331684 WITH SCORE 2339259.751
AT ITER 1721 NEW BEST:: SOT 12033503 SOS 7580174 HAS SOPS 6356922 HAS SOUS 2418003 HAS SOUPS 2326075 WITH SCORE 2333655.174
AT ITER 1731 NEW BEST:: SOT 12037046 SOS 7579613 HAS SOPS 6359082 HAS SOUS 2417040 HAS SOUPS 2325225 WITH SCORE 2332804.613
AT ITER 1758 NEW BEST:: SOT 12025029 SOS 7545154 HAS SOPS 6335079 HAS SOUS 2412559 HAS SOUPS 2322761 WITH SCORE 2330306.154
AT ITER 1762 NEW BEST:: SOT 12045320 SOS 7577660 HAS SOPS 6368171 HAS SOUS 2407797 HAS SOUPS 2318351 WITH SCORE 2325928.66
AT ITER 1767 NEW BEST:: SOT 12044925 SOS 7575491 HAS SOPS 6366815 HAS SOUS 2407373 HAS SOUPS 2317927 WITH SCORE 2325502.491
AT ITER 1776 NEW BEST:: SOT 12044921 SOS 7574732 HAS SOPS 6366135 HAS SOUS 2407310 HAS SOUPS 2317867 WITH SCORE 2325441.732
AT ITER 1780 NEW BEST:: SOT 12044908 SOS 7574037 HAS SOPS 6365243 HAS SOUS 2407295 HAS SOUPS 2317852 WITH SCORE 2325426.037
AT ITER 1789 NEW BEST:: SOT 12045424 SOS 7573807 HAS SOPS 6366432 HAS SOUS 2404841 HAS SOUPS 2315398 WITH SCORE 2322971.807
AT ITER 1791 NEW BEST:: SOT 12043971 SOS 7572525 HAS SOPS 6364826 HAS SOUS 2401460 HAS SOUPS 2312190 WITH SCORE 2319762.525
AT ITER 1811 NEW BEST:: SOT 12041720 SOS 7568917 HAS SOPS 6361397 HAS SOUS 2398978 HAS SOUPS 2309745 WITH SCORE 2317313.917
AT ITER 1816 NEW BEST:: SOT 12041657 SOS 7568785 HAS SOPS 6361241 HAS SOUS 2398882 HAS SOUPS 2309649 WITH SCORE 2317217.785
AT ITER 1839 NEW BEST:: SOT 12041523 SOS 7568308 HAS SOPS 6360608 HAS SOUS 2398690 HAS SOUPS 2309445 WITH SCORE 2317013.308
AT ITER 1864 NEW BEST:: SOT 12038248 SOS 7564963 HAS SOPS 6357065 HAS SOUS 2398064 HAS SOUPS 2308621 WITH SCORE 2316185.963
AT ITER 1867 NEW BEST:: SOT 12038585 SOS 7566832 HAS SOPS 6357913 HAS SOUS 2397961 HAS SOUPS 2308518 WITH SCORE 2316084.832
AT ITER 1883 NEW BEST:: SOT 12037781 SOS 7566022 HAS SOPS 6356641 HAS SOUS 2396243 HAS SOUPS 2306800 WITH SCORE 2314366.022
AT ITER 1886 NEW BEST:: SOT 12030271 SOS 7558215 HAS SOPS 6348159 HAS SOUS 2382054 HAS SOUPS 2292553 WITH SCORE 2300111.215
AT ITER 1888 NEW BEST:: SOT 12029697 SOS 7555210 HAS SOPS 6345516 HAS SOUS 2381149 HAS SOUPS 2291648 WITH SCORE 2299203.21
AT ITER 1902 NEW BEST:: SOT 12028168 SOS 7552456 HAS SOPS 6341062 HAS SOUS 2378005 HAS SOUPS 2288471 WITH SCORE 2296023.456
AT ITER 1913 NEW BEST:: SOT 12028442 SOS 7556736 HAS SOPS 6340522 HAS SOUS 2370332 HAS SOUPS 2280798 WITH SCORE 2288354.736
AT ITER 1917 NEW BEST:: SOT 12025992 SOS 7559008 HAS SOPS 6340623 HAS SOUS 2360201 HAS SOUPS 2270667 WITH SCORE 2278226.008
AT ITER 1919 NEW BEST:: SOT 12026444 SOS 7559781 HAS SOPS 6342616 HAS SOUS 2358875 HAS SOUPS 2269353 WITH SCORE 2276912.781
AT ITER 1921 NEW BEST:: SOT 12031049 SOS 7576327 HAS SOPS 6358740 HAS SOUS 2355396 HAS SOUPS 2265874 WITH SCORE 2273450.327
AT ITER 1922 NEW BEST:: SOT 12024319 SOS 7568229 HAS SOPS 6349113 HAS SOUS 2346434 HAS SOUPS 2256992 WITH SCORE 2264560.229
AT ITER 1936 NEW BEST:: SOT 12023791 SOS 7567693 HAS SOPS 6348558 HAS SOUS 2342932 HAS SOUPS 2253490 WITH SCORE 2261057.693
AT ITER 1944 NEW BEST:: SOT 12019339 SOS 7563207 HAS SOPS 6343874 HAS SOUS 2337532 HAS SOUPS 2248090 WITH SCORE 2255653.207
AT ITER 1957 NEW BEST:: SOT 12020682 SOS 7564951 HAS SOPS 6346055 HAS SOUS 2336526 HAS SOUPS 2247165 WITH SCORE 2254729.951
AT ITER 1972 NEW BEST:: SOT 12019222 SOS 7563697 HAS SOPS 6344005 HAS SOUS 2334482 HAS SOUPS 2245083 WITH SCORE 2252646.697
AT ITER 1978 NEW BEST:: SOT 12019086 SOS 7563366 HAS SOPS 6343428 HAS SOUS 2334331 HAS SOUPS 2244932 WITH SCORE 2252495.366
AT ITER 1981 NEW BEST:: SOT 12018604 SOS 7564845 HAS SOPS 6344244 HAS SOUS 2332569 HAS SOUPS 2243170 WITH SCORE 2250734.845
AT ITER 2003 NEW BEST:: SOT 12018527 SOS 7564883 HAS SOPS 6344306 HAS SOUS 2332491 HAS SOUPS 2243092 WITH SCORE 2250656.883
AT ITER 2008 NEW BEST:: SOT 12018610 SOS 7564820 HAS SOPS 6344097 HAS SOUS 2332364 HAS SOUPS 2242965 WITH SCORE 2250529.82
AT ITER 2014 NEW BEST:: SOT 12018610 SOS 7565765 HAS SOPS 6344951 HAS SOUS 2332308 HAS SOUPS 2242909 WITH SCORE 2250474.765
AT ITER 2028 NEW BEST:: SOT 12018600 SOS 7565777 HAS SOPS 6344967 HAS SOUS 2332306 HAS SOUPS 2242907 WITH SCORE 2250472.777
AT ITER 2033 NEW BEST:: SOT 12018083 SOS 7565118 HAS SOPS 6344197 HAS SOUS 2331236 HAS SOUPS 2241841 WITH SCORE 2249406.118
AT ITER 2042 NEW BEST:: SOT 12016994 SOS 7563586 HAS SOPS 6341522 HAS SOUS 2328583 HAS SOUPS 2239188 WITH SCORE 2246751.586
AT ITER 2045 NEW BEST:: SOT 12020629 SOS 7576497 HAS SOPS 6345616 HAS SOUS 2315352 HAS SOUPS 2225966 WITH SCORE 2233542.497
AT ITER 2063 NEW BEST:: SOT 12021820 SOS 7581974 HAS SOPS 6350926 HAS SOUS 2312032 HAS SOUPS 2222646 WITH SCORE 2230227.974
AT ITER 2083 NEW BEST:: SOT 12021899 SOS 7581979 HAS SOPS 6350875 HAS SOUS 2311753 HAS SOUPS 2222371 WITH SCORE 2229952.979
AT ITER 2087 NEW BEST:: SOT 12022129 SOS 7584491 HAS SOPS 6353319 HAS SOUS 2311685 HAS SOUPS 2222281 WITH SCORE 2229865.491
AT ITER 2089 NEW BEST:: SOT 12022496 SOS 7584051 HAS SOPS 6353055 HAS SOUS 2311299 HAS SOUPS 2221908 WITH SCORE 2229492.051
AT ITER 2098 NEW BEST:: SOT 12021989 SOS 7583560 HAS SOPS 6352564 HAS SOUS 2310815 HAS SOUPS 2221424 WITH SCORE 2229007.56
AT ITER 2101 NEW BEST:: SOT 12021343 SOS 7586848 HAS SOPS 6352735 HAS SOUS 2306179 HAS SOUPS 2216791 WITH SCORE 2224377.848
AT ITER 2106 NEW BEST:: SOT 12023305 SOS 7587818 HAS SOPS 6356748 HAS SOUS 2304414 HAS SOUPS 2215026 WITH SCORE 2222613.818
AT ITER 2112 NEW BEST:: SOT 12023426 SOS 7588797 HAS SOPS 6359731 HAS SOUS 2304347 HAS SOUPS 2214959 WITH SCORE 2222547.797
AT ITER 2120 NEW BEST:: SOT 12024014 SOS 7590396 HAS SOPS 6361227 HAS SOUS 2304170 HAS SOUPS 2214782 WITH SCORE 2222372.396
AT ITER 2156 NEW BEST:: SOT 12025241 SOS 7596504 HAS SOPS 6365780 HAS SOUS 2302351 HAS SOUPS 2212963 WITH SCORE 2220559.504
AT ITER 2158 NEW BEST:: SOT 12025106 SOS 7596199 HAS SOPS 6365496 HAS SOUS 2301898 HAS SOUPS 2212528 WITH SCORE 2220124.199
AT ITER 2164 NEW BEST:: SOT 12025776 SOS 7596935 HAS SOPS 6365004 HAS SOUS 2298987 HAS SOUPS 2209617 WITH SCORE 2217213.935
AT ITER 2194 NEW BEST:: SOT 12027366 SOS 7605758 HAS SOPS 6373617 HAS SOUS 2297744 HAS SOUPS 2208258 WITH SCORE 2215863.758
AT ITER 2204 NEW BEST:: SOT 12024246 SOS 7604389 HAS SOPS 6373767 HAS SOUS 2284458 HAS SOUPS 2195510 WITH SCORE 2203114.389
AT ITER 2211 NEW BEST:: SOT 12026793 SOS 7609204 HAS SOPS 6380982 HAS SOUS 2283525 HAS SOUPS 2194577 WITH SCORE 2202186.204
AT ITER 2212 NEW BEST:: SOT 12027840 SOS 7609493 HAS SOPS 6382591 HAS SOUS 2278341 HAS SOUPS 2189476 WITH SCORE 2197085.493
AT ITER 2227 NEW BEST:: SOT 12031454 SOS 7618952 HAS SOPS 6389211 HAS SOUS 2276447 HAS SOUPS 2187582 WITH SCORE 2195200.952
AT ITER 2234 NEW BEST:: SOT 12030524 SOS 7616575 HAS SOPS 6387716 HAS SOUS 2273993 HAS SOUPS 2185128 WITH SCORE 2192744.575
AT ITER 2241 NEW BEST:: SOT 12030434 SOS 7617772 HAS SOPS 6388819 HAS SOUS 2272470 HAS SOUPS 2183605 WITH SCORE 2191222.772
AT ITER 2263 NEW BEST:: SOT 12025752 SOS 7613472 HAS SOPS 6383559 HAS SOUS 2266085 HAS SOUPS 2177177 WITH SCORE 2184790.472
AT ITER 2276 NEW BEST:: SOT 12023209 SOS 7608729 HAS SOPS 6379832 HAS SOUS 2264945 HAS SOUPS 2176088 WITH SCORE 2183696.729
AT ITER 2292 NEW BEST:: SOT 12019687 SOS 7605213 HAS SOPS 6376310 HAS SOUS 2261267 HAS SOUPS 2172404 WITH SCORE 2180009.213
AT ITER 2294 NEW BEST:: SOT 12018363 SOS 7603578 HAS SOPS 6373814 HAS SOUS 2257752 HAS SOUPS 2168889 WITH SCORE 2176492.578
AT ITER 2302 NEW BEST:: SOT 12010206 SOS 7586958 HAS SOPS 6359222 HAS SOUS 2255105 HAS SOUPS 2166242 WITH SCORE 2173828.958
AT ITER 2323 NEW BEST:: SOT 12009253 SOS 7584744 HAS SOPS 6357222 HAS SOUS 2253934 HAS SOUPS 2165088 WITH SCORE 2172672.744
AT ITER 2337 NEW BEST:: SOT 12006046 SOS 7576593 HAS SOPS 6349337 HAS SOUS 2253509 HAS SOUPS 2164475 WITH SCORE 2172051.593
AT ITER 2352 NEW BEST:: SOT 12005956 SOS 7576622 HAS SOPS 6349464 HAS SOUS 2253432 HAS SOUPS 2164398 WITH SCORE 2171974.622
AT ITER 2379 NEW BEST:: SOT 12003485 SOS 7574495 HAS SOPS 6345920 HAS SOUS 2246541 HAS SOUPS 2157507 WITH SCORE 2165081.495
AT ITER 2384 NEW BEST:: SOT 12003411 SOS 7574442 HAS SOPS 6345365 HAS SOUS 2245892 HAS SOUPS 2156858 WITH SCORE 2164432.442
AT ITER 2388 NEW BEST:: SOT 12004239 SOS 7575076 HAS SOPS 6346216 HAS SOUS 2245094 HAS SOUPS 2156060 WITH SCORE 2163635.076
AT ITER 2403 NEW BEST:: SOT 12004239 SOS 7574996 HAS SOPS 6346136 HAS SOUS 2245075 HAS SOUPS 2156041 WITH SCORE 2163615.996
AT ITER 2404 NEW BEST:: SOT 12004260 SOS 7575080 HAS SOPS 6345914 HAS SOUS 2244619 HAS SOUPS 2155585 WITH SCORE 2163160.08
AT ITER 2407 NEW BEST:: SOT 12004310 SOS 7575718 HAS SOPS 6346636 HAS SOUS 2244319 HAS SOUPS 2155285 WITH SCORE 2162860.718
AT ITER 2414 NEW BEST:: SOT 12004238 SOS 7576175 HAS SOPS 6347400 HAS SOUS 2243849 HAS SOUPS 2154815 WITH SCORE 2162391.175
AT ITER 2418 NEW BEST:: SOT 12004061 SOS 7576053 HAS SOPS 6347322 HAS SOUS 2243035 HAS SOUPS 2154022 WITH SCORE 2161598.053
AT ITER 2420 NEW BEST:: SOT 12004014 SOS 7576003 HAS SOPS 6347258 HAS SOUS 2242910 HAS SOUPS 2153897 WITH SCORE 2161473.003
AT ITER 2432 NEW BEST:: SOT 12003926 SOS 7575936 HAS SOPS 6347169 HAS SOUS 2242737 HAS SOUPS 2153724 WITH SCORE 2161299.936
AT ITER 2433 NEW BEST:: SOT 12003946 SOS 7575448 HAS SOPS 6347080 HAS SOUS 2242628 HAS SOUPS 2153615 WITH SCORE 2161190.448
AT ITER 2469 NEW BEST:: SOT 12002576 SOS 7568864 HAS SOPS 6340596 HAS SOUS 2242240 HAS SOUPS 2153227 WITH SCORE 2160795.864
AT ITER 2477 NEW BEST:: SOT 11991973 SOS 7542884 HAS SOPS 6321163 HAS SOUS 2228336 HAS SOUPS 2139576 WITH SCORE 2147118.884
AT ITER 2507 NEW BEST:: SOT 11994109 SOS 7546793 HAS SOPS 6325199 HAS SOUS 2226671 HAS SOUPS 2137815 WITH SCORE 2145361.793
AT ITER 2510 NEW BEST:: SOT 11995013 SOS 7548188 HAS SOPS 6325429 HAS SOUS 2224998 HAS SOUPS 2136142 WITH SCORE 2143690.188
AT ITER 2512 NEW BEST:: SOT 11995229 SOS 7549032 HAS SOPS 6326149 HAS SOUS 2224914 HAS SOUPS 2136058 WITH SCORE 2143607.032
AT ITER 2521 NEW BEST:: SOT 11995230 SOS 7549331 HAS SOPS 6326865 HAS SOUS 2224803 HAS SOUPS 2135947 WITH SCORE 2143496.331
AT ITER 2540 NEW BEST:: SOT 11999250 SOS 7557108 HAS SOPS 6333178 HAS SOUS 2221875 HAS SOUPS 2133222 WITH SCORE 2140779.108
AT ITER 2542 NEW BEST:: SOT 11999326 SOS 7557484 HAS SOPS 6333499 HAS SOUS 2221296 HAS SOUPS 2132648 WITH SCORE 2140205.484
AT ITER 2548 NEW BEST:: SOT 11998477 SOS 7559330 HAS SOPS 6334904 HAS SOUS 2216598 HAS SOUPS 2127950 WITH SCORE 2135509.33
AT ITER 2567 NEW BEST:: SOT 11998517 SOS 7559620 HAS SOPS 6334926 HAS SOUS 2216544 HAS SOUPS 2127896 WITH SCORE 2135455.62
AT ITER 2568 NEW BEST:: SOT 11996136 SOS 7556848 HAS SOPS 6331879 HAS SOUS 2212245 HAS SOUPS 2123597 WITH SCORE 2131153.848
AT ITER 2577 NEW BEST:: SOT 11991192 SOS 7539784 HAS SOPS 6326095 HAS SOUS 2211743 HAS SOUPS 2123095 WITH SCORE 2130634.784
AT ITER 2580 NEW BEST:: SOT 11990815 SOS 7539398 HAS SOPS 6325146 HAS SOUS 2211330 HAS SOUPS 2122665 WITH SCORE 2130204.398
AT ITER 2581 NEW BEST:: SOT 11994783 SOS 7556716 HAS SOPS 6339280 HAS SOUS 2204321 HAS SOUPS 2115653 WITH SCORE 2123209.716
AT ITER 2586 NEW BEST:: SOT 11994853 SOS 7557879 HAS SOPS 6340033 HAS SOUS 2204112 HAS SOUPS 2115444 WITH SCORE 2123001.879
AT ITER 2605 NEW BEST:: SOT 11995480 SOS 7559865 HAS SOPS 6341823 HAS SOUS 2203974 HAS SOUPS 2115306 WITH SCORE 2122865.865
AT ITER 2662 NEW BEST:: SOT 11995140 SOS 7559525 HAS SOPS 6341273 HAS SOUS 2202952 HAS SOUPS 2114284 WITH SCORE 2121843.525
AT ITER 2669 NEW BEST:: SOT 11989409 SOS 7550473 HAS SOPS 6332058 HAS SOUS 2195485 HAS SOUPS 2106748 WITH SCORE 2114298.473
AT ITER 2679 NEW BEST:: SOT 11989711 SOS 7550130 HAS SOPS 6331060 HAS SOUS 2194766 HAS SOUPS 2105994 WITH SCORE 2113544.13
AT ITER 2691 NEW BEST:: SOT 11983675 SOS 7542338 HAS SOPS 6323857 HAS SOUS 2188526 HAS SOUPS 2099786 WITH SCORE 2107328.338
AT ITER 2692 NEW BEST:: SOT 11982179 SOS 7542745 HAS SOPS 6324264 HAS SOUS 2188451 HAS SOUPS 2099674 WITH SCORE 2107216.745
AT ITER 2697 NEW BEST:: SOT 11979787 SOS 7538291 HAS SOPS 6320816 HAS SOUS 2185582 HAS SOUPS 2096805 WITH SCORE 2104343.291
AT ITER 2699 NEW BEST:: SOT 11979484 SOS 7537973 HAS SOPS 6320421 HAS SOUS 2184325 HAS SOUPS 2095551 WITH SCORE 2103088.973
AT ITER 2704 NEW BEST:: SOT 11974487 SOS 7522881 HAS SOPS 6309306 HAS SOUS 2179420 HAS SOUPS 2090749 WITH SCORE 2098271.881
AT ITER 2727 NEW BEST:: SOT 11974220 SOS 7522661 HAS SOPS 6308902 HAS SOUS 2178603 HAS SOUPS 2089932 WITH SCORE 2097454.661
AT ITER 2752 NEW BEST:: SOT 11971569 SOS 7518678 HAS SOPS 6305528 HAS SOUS 2176556 HAS SOUPS 2087914 WITH SCORE 2095432.678
AT ITER 2773 NEW BEST:: SOT 11972109 SOS 7519218 HAS SOPS 6306068 HAS SOUS 2176551 HAS SOUPS 2087909 WITH SCORE 2095428.218
AT ITER 2777 NEW BEST:: SOT 11970503 SOS 7516361 HAS SOPS 6303418 HAS SOUS 2174463 HAS SOUPS 2085843 WITH SCORE 2093359.361
AT ITER 2778 NEW BEST:: SOT 11969987 SOS 7515187 HAS SOPS 6301763 HAS SOUS 2172752 HAS SOUPS 2084132 WITH SCORE 2091647.187
AT ITER 2796 NEW BEST:: SOT 11972721 SOS 7516138 HAS SOPS 6300722 HAS SOUS 2167057 HAS SOUPS 2078437 WITH SCORE 2085953.138
AT ITER 2798 NEW BEST:: SOT 11973665 SOS 7517070 HAS SOPS 6302086 HAS SOUS 2166241 HAS SOUPS 2077637 WITH SCORE 2085154.07
AT ITER 2804 NEW BEST:: SOT 11981067 SOS 7528422 HAS SOPS 6306638 HAS SOUS 2162455 HAS SOUPS 2073822 WITH SCORE 2081350.422
AT ITER 2809 NEW BEST:: SOT 11979282 SOS 7530681 HAS SOPS 6308392 HAS SOUS 2161343 HAS SOUPS 2072710 WITH SCORE 2080240.681
AT ITER 2849 NEW BEST:: SOT 11975263 SOS 7525404 HAS SOPS 6300119 HAS SOUS 2158001 HAS SOUPS 2069293 WITH SCORE 2076818.404
AT ITER 2867 NEW BEST:: SOT 11974921 SOS 7525018 HAS SOPS 6300635 HAS SOUS 2157597 HAS SOUPS 2069209 WITH SCORE 2076734.018
AT ITER 2870 NEW BEST:: SOT 11974593 SOS 7524705 HAS SOPS 6300322 HAS SOUS 2157029 HAS SOUPS 2068641 WITH SCORE 2076165.705
AT ITER 2872 NEW BEST:: SOT 11972652 SOS 7522994 HAS SOPS 6297362 HAS SOUS 2152556 HAS SOUPS 2064120 WITH SCORE 2071642.994
AT ITER 2891 NEW BEST:: SOT 11963388 SOS 7497399 HAS SOPS 6272871 HAS SOUS 2145296 HAS SOUPS 2056879 WITH SCORE 2064376.399
AT ITER 2893 NEW BEST:: SOT 11962869 SOS 7496838 HAS SOPS 6272149 HAS SOUS 2144217 HAS SOUPS 2055800 WITH SCORE 2063296.838
AT ITER 2901 NEW BEST:: SOT 11963175 SOS 7497768 HAS SOPS 6275309 HAS SOUS 2143091 HAS SOUPS 2054674 WITH SCORE 2062171.768
AT ITER 2911 NEW BEST:: SOT 11963314 SOS 7498028 HAS SOPS 6275533 HAS SOUS 2142263 HAS SOUPS 2053846 WITH SCORE 2061344.028
AT ITER 2921 NEW BEST:: SOT 11953542 SOS 7481675 HAS SOPS 6254374 HAS SOUS 2140640 HAS SOUPS 2051976 WITH SCORE 2059457.675
AT ITER 2931 NEW BEST:: SOT 11953409 SOS 7481201 HAS SOPS 6253530 HAS SOUS 2138755 HAS SOUPS 2050539 WITH SCORE 2058020.201
AT ITER 2932 NEW BEST:: SOT 11955873 SOS 7483619 HAS SOPS 6255408 HAS SOUS 2138479 HAS SOUPS 2050263 WITH SCORE 2057746.619
AT ITER 2935 NEW BEST:: SOT 11954035 SOS 7481754 HAS SOPS 6253514 HAS SOUS 2136976 HAS SOUPS 2048760 WITH SCORE 2056241.754
AT ITER 2947 NEW BEST:: SOT 11953447 SOS 7481183 HAS SOPS 6252926 HAS SOUS 2136406 HAS SOUPS 2048182 WITH SCORE 2055663.183
AT ITER 2965 NEW BEST:: SOT 11947634 SOS 7476102 HAS SOPS 6246887 HAS SOUS 2128840 HAS SOUPS 2040494 WITH SCORE 2047970.102
AT ITER 2969 NEW BEST:: SOT 11951123 SOS 7483747 HAS SOPS 6246770 HAS SOUS 2126518 HAS SOUPS 2038119 WITH SCORE 2045602.747
AT ITER 2974 NEW BEST:: SOT 11946136 SOS 7475139 HAS SOPS 6238183 HAS SOUS 2118211 HAS SOUPS 2029914 WITH SCORE 2037389.139
AT ITER 2997 NEW BEST:: SOT 11945193 SOS 7474304 HAS SOPS 6237608 HAS SOUS 2116939 HAS SOUPS 2029046 WITH SCORE 2036520.304
AT ITER 3003 NEW BEST:: SOT 11942536 SOS 7471614 HAS SOPS 6234738 HAS SOUS 2112813 HAS SOUPS 2024920 WITH SCORE 2032391.614
AT ITER 3029 NEW BEST:: SOT 11942540 SOS 7471569 HAS SOPS 6234659 HAS SOUS 2112576 HAS SOUPS 2024685 WITH SCORE 2032156.569
AT ITER 3033 NEW BEST:: SOT 11941830 SOS 7470859 HAS SOPS 6233507 HAS SOUS 2112146 HAS SOUPS 2024255 WITH SCORE 2031725.859
AT ITER 3041 NEW BEST:: SOT 11946011 SOS 7478564 HAS SOPS 6243640 HAS SOUS 2111356 HAS SOUPS 2024041 WITH SCORE 2031519.564
AT ITER 3042 NEW BEST:: SOT 11945126 SOS 7477651 HAS SOPS 6242172 HAS SOUS 2108222 HAS SOUPS 2020907 WITH SCORE 2028384.651
AT ITER 3055 NEW BEST:: SOT 11935934 SOS 7461293 HAS SOPS 6224817 HAS SOUS 2099340 HAS SOUPS 2012065 WITH SCORE 2019526.293
AT ITER 3067 NEW BEST:: SOT 11927143 SOS 7451289 HAS SOPS 6213820 HAS SOUS 2084977 HAS SOUPS 1997986 WITH SCORE 2005437.289
AT ITER 3092 NEW BEST:: SOT 11924815 SOS 7449683 HAS SOPS 6211953 HAS SOUS 2080129 HAS SOUPS 1993171 WITH SCORE 2000620.683
AT ITER 3093 NEW BEST:: SOT 11923421 SOS 7446274 HAS SOPS 6210604 HAS SOUS 2079895 HAS SOUPS 1993007 WITH SCORE 2000453.274
AT ITER 3097 NEW BEST:: SOT 11923150 SOS 7446420 HAS SOPS 6211648 HAS SOUS 2077264 HAS SOUPS 1990402 WITH SCORE 1997848.42
AT ITER 3123 NEW BEST:: SOT 11922924 SOS 7446110 HAS SOPS 6211211 HAS SOUS 2075096 HAS SOUPS 1988241 WITH SCORE 1995687.11
AT ITER 3136 NEW BEST:: SOT 11922118 SOS 7445075 HAS SOPS 6209293 HAS SOUS 2073003 HAS SOUPS 1986148 WITH SCORE 1993593.075
AT ITER 3141 NEW BEST:: SOT 11916285 SOS 7429742 HAS SOPS 6193642 HAS SOUS 2069079 HAS SOUPS 1982115 WITH SCORE 1989544.742
AT ITER 3155 NEW BEST:: SOT 11917595 SOS 7428605 HAS SOPS 6193759 HAS SOUS 2066548 HAS SOUPS 1979584 WITH SCORE 1987012.605
AT ITER 3156 NEW BEST:: SOT 11917459 SOS 7428349 HAS SOPS 6193523 HAS SOUS 2066222 HAS SOUPS 1979304 WITH SCORE 1986732.349
AT ITER 3162 NEW BEST:: SOT 11917368 SOS 7428216 HAS SOPS 6193243 HAS SOUS 2065855 HAS SOUPS 1978937 WITH SCORE 1986365.216
AT ITER 3165 NEW BEST:: SOT 11916869 SOS 7426835 HAS SOPS 6191949 HAS SOUS 2065370 HAS SOUPS 1978461 WITH SCORE 1985887.835
AT ITER 3166 NEW BEST:: SOT 11914729 SOS 7424748 HAS SOPS 6189809 HAS SOUS 2063203 HAS SOUPS 1976281 WITH SCORE 1983705.748
AT ITER 3179 NEW BEST:: SOT 11915622 SOS 7425029 HAS SOPS 6190071 HAS SOUS 2062852 HAS SOUPS 1975930 WITH SCORE 1983355.029
AT ITER 3187 NEW BEST:: SOT 11913179 SOS 7418968 HAS SOPS 6184327 HAS SOUS 2061289 HAS SOUPS 1974367 WITH SCORE 1981785.968
AT ITER 3195 NEW BEST:: SOT 11913178 SOS 7418967 HAS SOPS 6184310 HAS SOUS 2061240 HAS SOUPS 1974318 WITH SCORE 1981736.967
AT ITER 3198 NEW BEST:: SOT 11912710 SOS 7414011 HAS SOPS 6178836 HAS SOUS 2056078 HAS SOUPS 1969156 WITH SCORE 1976570.011
AT ITER 3202 NEW BEST:: SOT 11905663 SOS 7403682 HAS SOPS 6168787 HAS SOUS 2052085 HAS SOUPS 1965163 WITH SCORE 1972566.682
AT ITER 3207 NEW BEST:: SOT 11905003 SOS 7402673 HAS SOPS 6167941 HAS SOUS 2049207 HAS SOUPS 1962285 WITH SCORE 1969687.673
AT ITER 3211 NEW BEST:: SOT 11902172 SOS 7399885 HAS SOPS 6165107 HAS SOUS 2046198 HAS SOUPS 1959236 WITH SCORE 1966635.885
AT ITER 3232 NEW BEST:: SOT 11907226 SOS 7403235 HAS SOPS 6171480 HAS SOUS 2044630 HAS SOUPS 1957668 WITH SCORE 1965071.235
AT ITER 3242 NEW BEST:: SOT 11909010 SOS 7405558 HAS SOPS 6173459 HAS SOUS 2044099 HAS SOUPS 1957137 WITH SCORE 1964542.558
AT ITER 3248 NEW BEST:: SOT 11907907 SOS 7404551 HAS SOPS 6172037 HAS SOUS 2042516 HAS SOUPS 1955535 WITH SCORE 1962939.551
AT ITER 3260 NEW BEST:: SOT 11930730 SOS 7431674 HAS SOPS 6216004 HAS SOUS 2041068 HAS SOUPS 1954550 WITH SCORE 1961981.674
AT ITER 3261 NEW BEST:: SOT 11931576 SOS 7434269 HAS SOPS 6217894 HAS SOUS 2040748 HAS SOUPS 1954230 WITH SCORE 1961664.269
AT ITER 3266 NEW BEST:: SOT 11931993 SOS 7434944 HAS SOPS 6217538 HAS SOUS 2040200 HAS SOUPS 1953682 WITH SCORE 1961116.944
AT ITER 3274 NEW BEST:: SOT 11935867 SOS 7448521 HAS SOPS 6230617 HAS SOUS 2034957 HAS SOUPS 1948546 WITH SCORE 1955994.521
AT ITER 3276 NEW BEST:: SOT 11936631 SOS 7450220 HAS SOPS 6231086 HAS SOUS 2033669 HAS SOUPS 1947258 WITH SCORE 1954708.22
AT ITER 3296 NEW BEST:: SOT 11932895 SOS 7444989 HAS SOPS 6225218 HAS SOUS 2027105 HAS SOUPS 1940694 WITH SCORE 1948138.989
AT ITER 3300 NEW BEST:: SOT 11932098 SOS 7444143 HAS SOPS 6223862 HAS SOUS 2024124 HAS SOUPS 1937713 WITH SCORE 1945157.143
AT ITER 3319 NEW BEST:: SOT 11930667 SOS 7442671 HAS SOPS 6221063 HAS SOUS 2022947 HAS SOUPS 1936488 WITH SCORE 1943930.671
AT ITER 3324 NEW BEST:: SOT 11930737 SOS 7442725 HAS SOPS 6221117 HAS SOUS 2022937 HAS SOUPS 1936478 WITH SCORE 1943920.725
AT ITER 3328 NEW BEST:: SOT 11930912 SOS 7442779 HAS SOPS 6221165 HAS SOUS 2022876 HAS SOUPS 1936417 WITH SCORE 1943859.779
AT ITER 3344 NEW BEST:: SOT 11927954 SOS 7437760 HAS SOPS 6215475 HAS SOUS 2021864 HAS SOUPS 1935308 WITH SCORE 1942745.76
AT ITER 3347 NEW BEST:: SOT 11927727 SOS 7437246 HAS SOPS 6214883 HAS SOUS 2021252 HAS SOUPS 1934696 WITH SCORE 1942133.246
AT ITER 3348 NEW BEST:: SOT 11930257 SOS 7439211 HAS SOPS 6215893 HAS SOUS 2020188 HAS SOUPS 1933632 WITH SCORE 1941071.211
AT ITER 3349 NEW BEST:: SOT 11928344 SOS 7436854 HAS SOPS 6213711 HAS SOUS 2015359 HAS SOUPS 1928835 WITH SCORE 1936271.854
AT ITER 3353 NEW BEST:: SOT 11924224 SOS 7432734 HAS SOPS 6209591 HAS SOUS 2011045 HAS SOUPS 1924521 WITH SCORE 1931953.734
AT ITER 3359 NEW BEST:: SOT 11924708 SOS 7433121 HAS SOPS 6208664 HAS SOUS 2010315 HAS SOUPS 1923748 WITH SCORE 1931181.121
AT ITER 3363 NEW BEST:: SOT 11920236 SOS 7418972 HAS SOPS 6198409 HAS SOUS 2003400 HAS SOUPS 1916933 WITH SCORE 1924351.972
AT ITER 3379 NEW BEST:: SOT 11920522 SOS 7421262 HAS SOPS 6197416 HAS SOUS 2000071 HAS SOUPS 1913604 WITH SCORE 1921025.262
AT ITER 3382 NEW BEST:: SOT 11920508 SOS 7421226 HAS SOPS 6197359 HAS SOUS 2000044 HAS SOUPS 1913576 WITH SCORE 1920997.226
AT ITER 3383 NEW BEST:: SOT 11921591 SOS 7423357 HAS SOPS 6199398 HAS SOUS 1997639 HAS SOUPS 1911252 WITH SCORE 1918675.357
AT ITER 3405 NEW BEST:: SOT 11921143 SOS 7422685 HAS SOPS 6198502 HAS SOUS 1996334 HAS SOUPS 1909963 WITH SCORE 1917385.685
AT ITER 3408 NEW BEST:: SOT 11921815 SOS 7422212 HAS SOPS 6197846 HAS SOUS 1995640 HAS SOUPS 1909269 WITH SCORE 1916691.212
AT ITER 3460 NEW BEST:: SOT 11922216 SOS 7422582 HAS SOPS 6198124 HAS SOUS 1994145 HAS SOUPS 1907799 WITH SCORE 1915221.582
AT ITER 3468 NEW BEST:: SOT 11921110 SOS 7421468 HAS SOPS 6197718 HAS SOUS 1992879 HAS SOUPS 1906533 WITH SCORE 1913954.468
AT ITER 3475 NEW BEST:: SOT 11920753 SOS 7420836 HAS SOPS 6197028 HAS SOUS 1992653 HAS SOUPS 1906298 WITH SCORE 1913718.836
AT ITER 3481 NEW BEST:: SOT 11920742 SOS 7420749 HAS SOPS 6196970 HAS SOUS 1992596 HAS SOUPS 1906264 WITH SCORE 1913684.749
AT ITER 3489 NEW BEST:: SOT 11920847 SOS 7420838 HAS SOPS 6197059 HAS SOUS 1992475 HAS SOUPS 1906143 WITH SCORE 1913563.838
AT ITER 3505 NEW BEST:: SOT 11922212 SOS 7422007 HAS SOPS 6198200 HAS SOUS 1992087 HAS SOUPS 1905755 WITH SCORE 1913177.007
AT ITER 3509 NEW BEST:: SOT 11921298 SOS 7418357 HAS SOPS 6194850 HAS SOUS 1991940 HAS SOUPS 1905608 WITH SCORE 1913026.357
AT ITER 3531 NEW BEST:: SOT 11920311 SOS 7415481 HAS SOPS 6192247 HAS SOUS 1990448 HAS SOUPS 1904116 WITH SCORE 1911531.481
AT ITER 3551 NEW BEST:: SOT 11918903 SOS 7418548 HAS SOPS 6189131 HAS SOUS 1987920 HAS SOUPS 1901398 WITH SCORE 1908816.548
AT ITER 3623 NEW BEST:: SOT 11919574 SOS 7421271 HAS SOPS 6191182 HAS SOUS 1987909 HAS SOUPS 1901387 WITH SCORE 1908808.271
AT ITER 3655 NEW BEST:: SOT 11922116 SOS 7423780 HAS SOPS 6192924 HAS SOUS 1986996 HAS SOUPS 1900410 WITH SCORE 1907833.78
AT ITER 3659 NEW BEST:: SOT 11924341 SOS 7430187 HAS SOPS 6200769 HAS SOUS 1986243 HAS SOUPS 1899707 WITH SCORE 1907137.187
AT ITER 3672 NEW BEST:: SOT 11928544 SOS 7439359 HAS SOPS 6206606 HAS SOUS 1985668 HAS SOUPS 1899132 WITH SCORE 1906571.359
AT ITER 3711 NEW BEST:: SOT 11927908 SOS 7440121 HAS SOPS 6207303 HAS SOUS 1984578 HAS SOUPS 1897950 WITH SCORE 1905390.121
AT ITER 3738 NEW BEST:: SOT 11928069 SOS 7440846 HAS SOPS 6208264 HAS SOUS 1984113 HAS SOUPS 1897485 WITH SCORE 1904925.846
AT ITER 3742 NEW BEST:: SOT 11926456 SOS 7439227 HAS SOPS 6206169 HAS SOUS 1981396 HAS SOUPS 1894624 WITH SCORE 1902063.227
AT ITER 3745 NEW BEST:: SOT 11926026 SOS 7438913 HAS SOPS 6205844 HAS SOUS 1981265 HAS SOUPS 1894452 WITH SCORE 1901890.913
AT ITER 3754 NEW BEST:: SOT 11925406 SOS 7438128 HAS SOPS 6205405 HAS SOUS 1978072 HAS SOUPS 1892091 WITH SCORE 1899529.128
AT ITER 3769 NEW BEST:: SOT 11922275 SOS 7435160 HAS SOPS 6202004 HAS SOUS 1974769 HAS SOUPS 1888737 WITH SCORE 1896172.16
AT ITER 3772 NEW BEST:: SOT 11922470 SOS 7434668 HAS SOPS 6202452 HAS SOUS 1974571 HAS SOUPS 1888539 WITH SCORE 1895973.668
AT ITER 3774 NEW BEST:: SOT 11921248 SOS 7433289 HAS SOPS 6201073 HAS SOUS 1973250 HAS SOUPS 1887218 WITH SCORE 1894651.289
AT ITER 3778 NEW BEST:: SOT 11926737 SOS 7444424 HAS SOPS 6206300 HAS SOUS 1972864 HAS SOUPS 1886703 WITH SCORE 1894147.424
AT ITER 3779 NEW BEST:: SOT 11925871 SOS 7443543 HAS SOPS 6205419 HAS SOUS 1972438 HAS SOUPS 1886277 WITH SCORE 1893720.543
AT ITER 3801 NEW BEST:: SOT 11923805 SOS 7440715 HAS SOPS 6204167 HAS SOUS 1969660 HAS SOUPS 1883920 WITH SCORE 1891360.715
AT ITER 3817 NEW BEST:: SOT 11923790 SOS 7440620 HAS SOPS 6204182 HAS SOUS 1969385 HAS SOUPS 1883650 WITH SCORE 1891090.62
AT ITER 3832 NEW BEST:: SOT 11923635 SOS 7440460 HAS SOPS 6204027 HAS SOUS 1969160 HAS SOUPS 1883430 WITH SCORE 1890870.46
AT ITER 3835 NEW BEST:: SOT 11935429 SOS 7459702 HAS SOPS 6218978 HAS SOUS 1962260 HAS SOUPS 1876530 WITH SCORE 1883989.702
AT ITER 3840 NEW BEST:: SOT 11935623 SOS 7459982 HAS SOPS 6218992 HAS SOUS 1961878 HAS SOUPS 1876175 WITH SCORE 1883634.982
AT ITER 3841 NEW BEST:: SOT 11934684 SOS 7461706 HAS SOPS 6219184 HAS SOUS 1960006 HAS SOUPS 1874303 WITH SCORE 1881764.706
AT ITER 3845 NEW BEST:: SOT 11934190 SOS 7463679 HAS SOPS 6219165 HAS SOUS 1959702 HAS SOUPS 1873946 WITH SCORE 1881409.679
AT ITER 3863 NEW BEST:: SOT 11933141 SOS 7462630 HAS SOPS 6217924 HAS SOUS 1958341 HAS SOUPS 1872489 WITH SCORE 1879951.63
AT ITER 3890 NEW BEST:: SOT 11932223 SOS 7461709 HAS SOPS 6216670 HAS SOUS 1956316 HAS SOUPS 1870464 WITH SCORE 1877925.709
AT ITER 3910 NEW BEST:: SOT 11936650 SOS 7471778 HAS SOPS 6224810 HAS SOUS 1956329 HAS SOUPS 1870442 WITH SCORE 1877913.778
AT ITER 3923 NEW BEST:: SOT 11936914 SOS 7472661 HAS SOPS 6225735 HAS SOUS 1955883 HAS SOUPS 1870003 WITH SCORE 1877475.661
AT ITER 3933 NEW BEST:: SOT 11937844 SOS 7475361 HAS SOPS 6227495 HAS SOUS 1953994 HAS SOUPS 1868175 WITH SCORE 1875650.361
AT ITER 3940 NEW BEST:: SOT 11935359 SOS 7472805 HAS SOPS 6223999 HAS SOUS 1949752 HAS SOUPS 1863629 WITH SCORE 1871101.805
AT ITER 3944 NEW BEST:: SOT 11931351 SOS 7461358 HAS SOPS 6216510 HAS SOUS 1948191 HAS SOUPS 1862068 WITH SCORE 1869529.358
AT ITER 3949 NEW BEST:: SOT 11927438 SOS 7462358 HAS SOPS 6220680 HAS SOUS 1941818 HAS SOUPS 1855869 WITH SCORE 1863331.358
AT ITER 3956 NEW BEST:: SOT 11930452 SOS 7467328 HAS SOPS 6225649 HAS SOUS 1941760 HAS SOUPS 1855811 WITH SCORE 1863278.328
AT ITER 3969 NEW BEST:: SOT 11929660 SOS 7463628 HAS SOPS 6222697 HAS SOUS 1937940 HAS SOUPS 1852073 WITH SCORE 1859536.628
AT ITER 3970 NEW BEST:: SOT 11928716 SOS 7462684 HAS SOPS 6221241 HAS SOUS 1934868 HAS SOUPS 1849001 WITH SCORE 1856463.684
AT ITER 3976 NEW BEST:: SOT 11928540 SOS 7461806 HAS SOPS 6220524 HAS SOUS 1934747 HAS SOUPS 1848880 WITH SCORE 1856341.806
AT ITER 3989 NEW BEST:: SOT 11927295 SOS 7460278 HAS SOPS 6218137 HAS SOUS 1931613 HAS SOUPS 1845743 WITH SCORE 1853203.278
AT ITER 4029 NEW BEST:: SOT 11926034 SOS 7459271 HAS SOPS 6216213 HAS SOUS 1929382 HAS SOUPS 1843512 WITH SCORE 1850971.271
AT ITER 4039 NEW BEST:: SOT 11925467 SOS 7458967 HAS SOPS 6215557 HAS SOUS 1928513 HAS SOUPS 1842643 WITH SCORE 1850101.967
AT ITER 4063 NEW BEST:: SOT 11925592 SOS 7460267 HAS SOPS 6216185 HAS SOUS 1928499 HAS SOUPS 1842615 WITH SCORE 1850075.267
AT ITER 4090 NEW BEST:: SOT 11926989 SOS 7462804 HAS SOPS 6219781 HAS SOUS 1926649 HAS SOUPS 1840765 WITH SCORE 1848227.804
AT ITER 4097 NEW BEST:: SOT 11926995 SOS 7462810 HAS SOPS 6219787 HAS SOUS 1926647 HAS SOUPS 1840763 WITH SCORE 1848225.81
AT ITER 4137 NEW BEST:: SOT 11926840 SOS 7463184 HAS SOPS 6220336 HAS SOUS 1925963 HAS SOUPS 1840079 WITH SCORE 1847542.184
AT ITER 4139 NEW BEST:: SOT 11927004 SOS 7463138 HAS SOPS 6220582 HAS SOUS 1925764 HAS SOUPS 1839868 WITH SCORE 1847331.138
AT ITER 4146 NEW BEST:: SOT 11926917 SOS 7463051 HAS SOPS 6220495 HAS SOUS 1925629 HAS SOUPS 1839733 WITH SCORE 1847196.051
AT ITER 4182 NEW BEST:: SOT 11925587 SOS 7461283 HAS SOPS 6218367 HAS SOUS 1923187 HAS SOUPS 1837301 WITH SCORE 1844762.283
AT ITER 4184 NEW BEST:: SOT 11922944 SOS 7458640 HAS SOPS 6215564 HAS SOUS 1919908 HAS SOUPS 1834022 WITH SCORE 1841480.64
AT ITER 4198 NEW BEST:: SOT 11922874 SOS 7458442 HAS SOPS 6215340 HAS SOUS 1919857 HAS SOUPS 1833971 WITH SCORE 1841429.442
AT ITER 4217 NEW BEST:: SOT 11922862 SOS 7458430 HAS SOPS 6215328 HAS SOUS 1919857 HAS SOUPS 1833971 WITH SCORE 1841429.43
AT ITER 4223 NEW BEST:: SOT 11922267 SOS 7458296 HAS SOPS 6214733 HAS SOUS 1918278 HAS SOUPS 1832376 WITH SCORE 1839834.296
AT ITER 4238 NEW BEST:: SOT 11919881 SOS 7455711 HAS SOPS 6210486 HAS SOUS 1916867 HAS SOUPS 1830965 WITH SCORE 1838420.711
AT ITER 4239 NEW BEST:: SOT 11919486 SOS 7455046 HAS SOPS 6209665 HAS SOUS 1915878 HAS SOUPS 1829982 WITH SCORE 1837437.046
AT ITER 4254 NEW BEST:: SOT 11918848 SOS 7454432 HAS SOPS 6208667 HAS SOUS 1913960 HAS SOUPS 1828064 WITH SCORE 1835518.432
AT ITER 4261 NEW BEST:: SOT 11918857 SOS 7454342 HAS SOPS 6208442 HAS SOUS 1913510 HAS SOUPS 1827614 WITH SCORE 1835068.342
AT ITER 4268 NEW BEST:: SOT 11918857 SOS 7454342 HAS SOPS 6208442 HAS SOUS 1913406 HAS SOUPS 1827510 WITH SCORE 1834964.342
AT ITER 4288 NEW BEST:: SOT 11927603 SOS 7469959 HAS SOPS 6215958 HAS SOUS 1911829 HAS SOUPS 1825915 WITH SCORE 1833384.959
AT ITER 4318 NEW BEST:: SOT 11927757 SOS 7467078 HAS SOPS 6214508 HAS SOUS 1911239 HAS SOUPS 1825399 WITH SCORE 1832866.078
AT ITER 4319 NEW BEST:: SOT 11920026 SOS 7436808 HAS SOPS 6192670 HAS SOUS 1908631 HAS SOUPS 1822791 WITH SCORE 1830227.808
AT ITER 4327 NEW BEST:: SOT 11919846 SOS 7436628 HAS SOPS 6192490 HAS SOUS 1908451 HAS SOUPS 1822611 WITH SCORE 1830047.628
AT ITER 4328 NEW BEST:: SOT 11919915 SOS 7439226 HAS SOPS 6194532 HAS SOUS 1908064 HAS SOUPS 1822224 WITH SCORE 1829663.226
AT ITER 4338 NEW BEST:: SOT 11920193 SOS 7439416 HAS SOPS 6194530 HAS SOUS 1907554 HAS SOUPS 1821726 WITH SCORE 1829165.416
AT ITER 4341 NEW BEST:: SOT 11912221 SOS 7432099 HAS SOPS 6187408 HAS SOUS 1901845 HAS SOUPS 1815903 WITH SCORE 1823335.099
AT ITER 4353 NEW BEST:: SOT 11911694 SOS 7431605 HAS SOPS 6187317 HAS SOUS 1901457 HAS SOUPS 1815533 WITH SCORE 1822964.605
AT ITER 4358 NEW BEST:: SOT 11911616 SOS 7431456 HAS SOPS 6187185 HAS SOUS 1901007 HAS SOUPS 1815083 WITH SCORE 1822514.456
AT ITER 4363 NEW BEST:: SOT 11911580 SOS 7429942 HAS SOPS 6186109 HAS SOUS 1900726 HAS SOUPS 1814802 WITH SCORE 1822231.942
AT ITER 4377 NEW BEST:: SOT 11911481 SOS 7429840 HAS SOPS 6185869 HAS SOUS 1900666 HAS SOUPS 1814739 WITH SCORE 1822168.84
AT ITER 4391 NEW BEST:: SOT 11907388 SOS 7419257 HAS SOPS 6181089 HAS SOUS 1898997 HAS SOUPS 1813192 WITH SCORE 1820611.257
AT ITER 4412 NEW BEST:: SOT 11907205 SOS 7417707 HAS SOPS 6180617 HAS SOUS 1898476 HAS SOUPS 1812696 WITH SCORE 1820113.707
AT ITER 4415 NEW BEST:: SOT 11907320 SOS 7416735 HAS SOPS 6181118 HAS SOUS 1897755 HAS SOUPS 1811999 WITH SCORE 1819415.735
AT ITER 4417 NEW BEST:: SOT 11906343 SOS 7415512 HAS SOPS 6179773 HAS SOUS 1894562 HAS SOUPS 1808806 WITH SCORE 1816221.512
AT ITER 4422 NEW BEST:: SOT 11905995 SOS 7415834 HAS SOPS 6180397 HAS SOUS 1893315 HAS SOUPS 1807530 WITH SCORE 1814945.834
AT ITER 4423 NEW BEST:: SOT 11905616 SOS 7415447 HAS SOPS 6179946 HAS SOUS 1892444 HAS SOUPS 1806659 WITH SCORE 1814074.447
AT ITER 4433 NEW BEST:: SOT 11905934 SOS 7415520 HAS SOPS 6179488 HAS SOUS 1891967 HAS SOUPS 1806182 WITH SCORE 1813597.52
AT ITER 4444 NEW BEST:: SOT 11897808 SOS 7407388 HAS SOPS 6171241 HAS SOUS 1883092 HAS SOUPS 1797288 WITH SCORE 1804695.388
AT ITER 4458 NEW BEST:: SOT 11897578 SOS 7406537 HAS SOPS 6169797 HAS SOUS 1882745 HAS SOUPS 1796941 WITH SCORE 1804347.537
AT ITER 4480 NEW BEST:: SOT 11894471 SOS 7398373 HAS SOPS 6163769 HAS SOUS 1882188 HAS SOUPS 1796387 WITH SCORE 1803785.373
AT ITER 4481 NEW BEST:: SOT 11893411 SOS 7395561 HAS SOPS 6161260 HAS SOUS 1881045 HAS SOUPS 1795244 WITH SCORE 1802639.561
AT ITER 4487 NEW BEST:: SOT 11893352 SOS 7394351 HAS SOPS 6160309 HAS SOUS 1880738 HAS SOUPS 1794937 WITH SCORE 1802331.351
AT ITER 4495 NEW BEST:: SOT 11893023 SOS 7394022 HAS SOPS 6159868 HAS SOUS 1880157 HAS SOUPS 1794356 WITH SCORE 1801750.022
AT ITER 4515 NEW BEST:: SOT 11899629 SOS 7396531 HAS SOPS 6163627 HAS SOUS 1868849 HAS SOUPS 1783269 WITH SCORE 1790665.531
AT ITER 4535 NEW BEST:: SOT 11899576 SOS 7396368 HAS SOPS 6163348 HAS SOUS 1868359 HAS SOUPS 1782779 WITH SCORE 1790175.368
AT ITER 4552 NEW BEST:: SOT 11899534 SOS 7396326 HAS SOPS 6163306 HAS SOUS 1868260 HAS SOUPS 1782680 WITH SCORE 1790076.326
AT ITER 4587 NEW BEST:: SOT 11899350 SOS 7396142 HAS SOPS 6163122 HAS SOUS 1868252 HAS SOUPS 1782672 WITH SCORE 1790068.142
AT ITER 4623 NEW BEST:: SOT 11899019 SOS 7395939 HAS SOPS 6162436 HAS SOUS 1866912 HAS SOUPS 1781311 WITH SCORE 1788706.939
AT ITER 4631 NEW BEST:: SOT 11886691 SOS 7376376 HAS SOPS 6139852 HAS SOUS 1863589 HAS SOUPS 1777867 WITH SCORE 1785243.376
AT ITER 4633 NEW BEST:: SOT 11885843 SOS 7375280 HAS SOPS 6138460 HAS SOUS 1862441 HAS SOUPS 1776719 WITH SCORE 1784094.28
AT ITER 4646 NEW BEST:: SOT 11881948 SOS 7370057 HAS SOPS 6131953 HAS SOUS 1852001 HAS SOUPS 1766433 WITH SCORE 1773803.057
AT ITER 4692 NEW BEST:: SOT 11878449 SOS 7371560 HAS SOPS 6130745 HAS SOUS 1842409 HAS SOUPS 1756841 WITH SCORE 1764212.56
AT ITER 4694 NEW BEST:: SOT 11872985 SOS 7359836 HAS SOPS 6120977 HAS SOUS 1841788 HAS SOUPS 1756220 WITH SCORE 1763579.836
AT ITER 4722 NEW BEST:: SOT 11874416 SOS 7363660 HAS SOPS 6124124 HAS SOUS 1839694 HAS SOUPS 1754126 WITH SCORE 1761489.66
AT ITER 4725 NEW BEST:: SOT 11872585 SOS 7360248 HAS SOPS 6120011 HAS SOUS 1836449 HAS SOUPS 1750881 WITH SCORE 1758241.248
AT ITER 4734 NEW BEST:: SOT 11872949 SOS 7361192 HAS SOPS 6120351 HAS SOUS 1834161 HAS SOUPS 1748593 WITH SCORE 1755954.192
AT ITER 4737 NEW BEST:: SOT 11872938 SOS 7361946 HAS SOPS 6120800 HAS SOUS 1832550 HAS SOUPS 1746982 WITH SCORE 1754343.946
AT ITER 4749 NEW BEST:: SOT 11872677 SOS 7361653 HAS SOPS 6120395 HAS SOUS 1832009 HAS SOUPS 1746441 WITH SCORE 1753802.653
AT ITER 4759 NEW BEST:: SOT 11872637 SOS 7362062 HAS SOPS 6120644 HAS SOUS 1831928 HAS SOUPS 1746360 WITH SCORE 1753722.062
AT ITER 4773 NEW BEST:: SOT 11872603 SOS 7361306 HAS SOPS 6121595 HAS SOUS 1830541 HAS SOUPS 1744994 WITH SCORE 1752355.306
AT ITER 4778 NEW BEST:: SOT 11873015 SOS 7361718 HAS SOPS 6121703 HAS SOUS 1829881 HAS SOUPS 1744222 WITH SCORE 1751583.718
AT ITER 4793 NEW BEST:: SOT 11873414 SOS 7362846 HAS SOPS 6122461 HAS SOUS 1829566 HAS SOUPS 1743907 WITH SCORE 1751269.846
AT ITER 4852 NEW BEST:: SOT 11873219 SOS 7362947 HAS SOPS 6121967 HAS SOUS 1829351 HAS SOUPS 1743692 WITH SCORE 1751054.947
AT ITER 4857 NEW BEST:: SOT 11872137 SOS 7359036 HAS SOPS 6118076 HAS SOUS 1829226 HAS SOUPS 1743567 WITH SCORE 1750926.036
AT ITER 4901 NEW BEST:: SOT 11872012 SOS 7358877 HAS SOPS 6117923 HAS SOUS 1828417 HAS SOUPS 1742764 WITH SCORE 1750122.877
AT ITER 4931 NEW BEST:: SOT 11871190 SOS 7358070 HAS SOPS 6116460 HAS SOUS 1825363 HAS SOUPS 1739710 WITH SCORE 1747068.07
AT ITER 4940 NEW BEST:: SOT 11869125 SOS 7354833 HAS SOPS 6114030 HAS SOUS 1824336 HAS SOUPS 1738683 WITH SCORE 1746037.833
AT ITER 4943 NEW BEST:: SOT 11868445 SOS 7353993 HAS SOPS 6112943 HAS SOUS 1824052 HAS SOUPS 1738304 WITH SCORE 1745657.993
AT ITER 4952 NEW BEST:: SOT 11868316 SOS 7353822 HAS SOPS 6112703 HAS SOUS 1823794 HAS SOUPS 1738043 WITH SCORE 1745396.822
AT ITER 4973 NEW BEST:: SOT 11868317 SOS 7353357 HAS SOPS 6112281 HAS SOUS 1823789 HAS SOUPS 1738038 WITH SCORE 1745391.357
AT ITER 4982 NEW BEST:: SOT 11867938 SOS 7353153 HAS SOPS 6112320 HAS SOUS 1822885 HAS SOUPS 1737134 WITH SCORE 1744487.153
AT ITER 4992 NEW BEST:: SOT 11866644 SOS 7353302 HAS SOPS 6116824 HAS SOUS 1818842 HAS SOUPS 1733179 WITH SCORE 1740532.302
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-5-CTLFireability-00 (! ( (EX( ( ((potential((tk(P329)>=1) & (tk(P171)>=1)))) | ( ((potential((tk(P267)>=1) & (tk(P486)>=1)))) | ((potential((tk(P267)>=1) & (tk(P183)>=1)))) ) ))) | ( ( ((potential((tk(P639)>=1) & (tk(P350)>=1)))) | (AF( ((potential((tk(P542)>=1) & (tk(P160)>=1)))))) ) & ( (AF( ((potential((tk(P449)>=1) & (tk(P146)>=1)))))) | ( ( ((potential((tk(P332)>=1) & (tk(P258)>=1)))) & ((potential((tk(P121)>=1) & (tk(P593)>=1)))) ) | (! ((potential((tk(P609)>=1) & (tk(P131)>=1))))) ) ) ) ))
PROPERTY: RERS17pb113-PT-5-CTLFireability-01 (EG( (! ( ((potential((tk(P296)>=1) & (tk(P622)>=1)))) | ( ( ((potential((tk(P631)>=1) & (tk(P183)>=1)))) & ((potential((tk(P263)>=1) & (tk(P192)>=1)))) ) | ( ((potential((tk(P367)>=1) & (tk(P19)>=1)))) & ((potential((tk(P259)>=1) & (tk(P195)>=1)))) ) ) ))))
PROPERTY: RERS17pb113-PT-5-CTLFireability-02 (! (AF( ((potential((tk(P112)>=1) & (tk(P324)>=1)))))))
PROPERTY: RERS17pb113-PT-5-CTLFireability-03 ( ( (! (AG( (! ((potential((tk(P403)>=1) & (tk(P194)>=1)))))))) & (! (! (EX( ((potential((tk(P39)>=1) & (tk(P49)>=1)))))))) ) | (AF( (EX( ((potential((tk(P398)>=1) & (tk(P186)>=1)))))))) )
PROPERTY: RERS17pb113-PT-5-CTLFireability-04 (! ( ((potential((tk(P565)>=1) & (tk(P493)>=1)))) | (AX( (AF( ((potential((tk(P461)>=1) & (tk(P438)>=1)))))))) ))
PROPERTY: RERS17pb113-PT-5-CTLFireability-05 ( ( ( (EG( ( ((potential((tk(P470)>=1) & (tk(P285)>=1)))) & ((potential((tk(P474)>=1) & (tk(P477)>=1)))) ))) | (AU( ((potential((tk(P394)>=1) & (tk(P601)>=1)))) , ((potential((tk(P505)>=1) & (tk(P143)>=1)))) )) ) & ((potential((tk(P470)>=1) & (tk(P485)>=1)))) ) | (EF( ((potential((tk(P345)>=1) & (tk(P56)>=1)))))) )
PROPERTY: RERS17pb113-PT-5-CTLFireability-06 ( (AU( ( (! ((potential((tk(P176)>=1) & (tk(P145)>=1))))) | ( ((potential((tk(P419)>=1) & (tk(P333)>=1)))) & ((potential((tk(P516)>=1) & (tk(P401)>=1)))) ) ) , (AF( ((potential((tk(P375)>=1) & (tk(P395)>=1)))))) )) & ( (! ((potential((tk(P2)>=1) & (tk(P6)>=1))))) & (! ( ( ((potential((tk(P435)>=1) & (tk(P274)>=1)))) & ((potential((tk(P576)>=1) & (tk(P250)>=1)))) ) | (EX( ((potential((tk(P621)>=1) & (tk(P79)>=1)))))) )) ) )
PROPERTY: RERS17pb113-PT-5-CTLFireability-07 (AF( ( ( (AX( ((potential((tk(P485)>=1) & (tk(P113)>=1)))))) & ( ( ((potential((tk(P200)>=1) & (tk(P566)>=1)))) & ((potential((tk(P322)>=1) & (tk(P23)>=1)))) ) | ((potential((tk(P580)>=1) & (tk(P568)>=1)))) ) ) | ((potential((tk(P581)>=1) & (tk(P491)>=1)))) )))
PROPERTY: RERS17pb113-PT-5-CTLFireability-08 (! (! (! (AF( ((potential((tk(P389)>=1) & (tk(P19)>=1)))))))))
PROPERTY: RERS17pb113-PT-5-CTLFireability-09 (AF( (EG( ( (! ((potential((tk(P580)>=1) & (tk(P158)>=1))))) | ( ((potential((tk(P567)>=1) & (tk(P41)>=1)))) | ((potential((tk(P300)>=1) & (tk(P161)>=1)))) ) )))))
PROPERTY: RERS17pb113-PT-5-CTLFireability-10 (EU( (AF( ( ((potential((tk(P2)>=1) & (tk(P586)>=1)))) & ((potential((tk(P94)>=1) & (tk(P219)>=1)))) ))) , (EU( ((potential((tk(P613)>=1) & (tk(P307)>=1)))) , ((potential((tk(P36)>=1) & (tk(P374)>=1)))) )) ))
PROPERTY: RERS17pb113-PT-5-CTLFireability-11 (AF( (AF( (EG( ((potential((tk(P586)>=1) & (tk(P467)>=1))))))))))
PROPERTY: RERS17pb113-PT-5-CTLFireability-12 ( (! (EU( (! ((potential((tk(P558)>=1) & (tk(P44)>=1))))) , ((potential((tk(P161)>=1) & (tk(P42)>=1)))) ))) & ( (! (AX( ( ((potential((tk(P105)>=1) & (tk(P122)>=1)))) | ((potential((tk(P105)>=1) & (tk(P61)>=1)))) )))) | (AF( ( (! ((potential((tk(P163)>=1) & (tk(P344)>=1))))) | ((potential((tk(P482)>=1) & (tk(P170)>=1)))) ))) ) )
PROPERTY: RERS17pb113-PT-5-CTLFireability-13 (AX( (EU( (! ((potential((tk(P338)>=1) & (tk(P41)>=1))))) , ( ((potential((tk(P389)>=1) & (tk(P453)>=1)))) & ((potential((tk(P105)>=1) & (tk(P174)>=1)))) ) ))))
PROPERTY: RERS17pb113-PT-5-CTLFireability-14 ( (EG( ((potential((tk(P371)>=1) & (tk(P187)>=1)))))) | (EF( (EG( (! ((potential((tk(P194)>=1) & (tk(P177)>=1))))))))) )
PROPERTY: RERS17pb113-PT-5-CTLFireability-15 ( ( ( ( ((potential((tk(P146)>=1) & (tk(P219)>=1)))) & (! (! ((potential((tk(P503)>=1) & (tk(P305)>=1)))))) ) & (EG( ( ((potential((tk(P346)>=1) & (tk(P252)>=1)))) & ((potential((tk(P121)>=1) & (tk(P450)>=1)))) ))) ) | ((potential((tk(P208)>=1) & (tk(P169)>=1)))) ) | ( (AG( (AF( ((potential((tk(P171)>=1) & (tk(P369)>=1)))))))) | ( ( ((potential((tk(P71)>=1) & (tk(P450)>=1)))) & ( (! ((potential((tk(P269)>=1) & (tk(P156)>=1))))) & ((potential((tk(P158)>=1) & (tk(P426)>=1)))) ) ) | ( ((potential((tk(P573)>=1) & (tk(P603)>=1)))) | (EF( ((potential((tk(P7)>=1) & (tk(P368)>=1)))))) ) ) ) )

BK_TIME_CONFINEMENT_REACHED

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

Sequence of Actions to be Executed by the VM

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

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

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

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

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