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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 15M
-rw-r--r-- 1 mcc users 3.8K Apr 12 07:06 CTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 12 07:06 CTLCardinality.xml
-rw-r--r-- 1 mcc users 3.2K Apr 11 08:00 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Apr 11 08:00 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.4K Apr 14 12:48 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Apr 28 14:02 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.8K 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.1K Apr 10 13:58 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 15K Apr 10 13:58 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.7K Apr 9 20:28 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 18K Apr 9 20:28 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Apr 10 22:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Apr 10 22:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 2 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 15M Mar 24 05:37 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589645872389

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 1
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 4 NEW BEST:: SOT 12197580 SOS 7751687 HAS SOPS 6421428 HAS SOUS 3044112 HAS SOUPS 2943622 WITH SCORE 2951373.687
AT ITER 20 NEW BEST:: SOT 12195958 SOS 7749561 HAS SOPS 6417582 HAS SOUS 3041081 HAS SOUPS 2940591 WITH SCORE 2948340.561
AT ITER 21 NEW BEST:: SOT 12194698 SOS 7746648 HAS SOPS 6415689 HAS SOUS 3037692 HAS SOUPS 2937202 WITH SCORE 2944948.648
AT ITER 23 NEW BEST:: SOT 12173477 SOS 7726069 HAS SOPS 6394631 HAS SOUS 3016991 HAS SOUPS 2916406 WITH SCORE 2924132.069
AT ITER 27 NEW BEST:: SOT 12172577 SOS 7725814 HAS SOPS 6394117 HAS SOUS 3013485 HAS SOUPS 2912900 WITH SCORE 2920625.814
AT ITER 47 NEW BEST:: SOT 12128932 SOS 7645332 HAS SOPS 6328526 HAS SOUS 2965127 HAS SOUPS 2862667 WITH SCORE 2870312.332
AT ITER 51 NEW BEST:: SOT 12128924 SOS 7645219 HAS SOPS 6328785 HAS SOUS 2965089 HAS SOUPS 2862629 WITH SCORE 2870274.219
AT ITER 54 NEW BEST:: SOT 12128999 SOS 7647885 HAS SOPS 6332172 HAS SOUS 2965055 HAS SOUPS 2862595 WITH SCORE 2870242.885
AT ITER 67 NEW BEST:: SOT 12128548 SOS 7647416 HAS SOPS 6332210 HAS SOUS 2963188 HAS SOUPS 2860931 WITH SCORE 2868578.416
AT ITER 77 NEW BEST:: SOT 12130473 SOS 7650232 HAS SOPS 6333359 HAS SOUS 2963164 HAS SOUPS 2860907 WITH SCORE 2868557.232
AT ITER 95 NEW BEST:: SOT 12128459 SOS 7648230 HAS SOPS 6330761 HAS SOUS 2959238 HAS SOUPS 2857001 WITH SCORE 2864649.23
AT ITER 96 NEW BEST:: SOT 12138878 SOS 7665559 HAS SOPS 6349229 HAS SOUS 2949990 HAS SOUPS 2847753 WITH SCORE 2855418.559
AT ITER 98 NEW BEST:: SOT 12135324 SOS 7661561 HAS SOPS 6348176 HAS SOUS 2939063 HAS SOUPS 2838199 WITH SCORE 2845860.561
AT ITER 100 NEW BEST:: SOT 12130588 SOS 7653830 HAS SOPS 6340740 HAS SOUS 2930555 HAS SOUPS 2829912 WITH SCORE 2837565.83
AT ITER 102 NEW BEST:: SOT 12125183 SOS 7648366 HAS SOPS 6334775 HAS SOUS 2923328 HAS SOUPS 2822450 WITH SCORE 2830098.366
AT ITER 105 NEW BEST:: SOT 12122820 SOS 7646257 HAS SOPS 6334788 HAS SOUS 2920270 HAS SOUPS 2819392 WITH SCORE 2827038.257
AT ITER 106 NEW BEST:: SOT 12116979 SOS 7640360 HAS SOPS 6328499 HAS SOUS 2912695 HAS SOUPS 2811691 WITH SCORE 2819331.36
AT ITER 107 NEW BEST:: SOT 12119296 SOS 7649984 HAS SOPS 6333735 HAS SOUS 2908675 HAS SOUPS 2807671 WITH SCORE 2815320.984
AT ITER 111 NEW BEST:: SOT 12128079 SOS 7672519 HAS SOPS 6349457 HAS SOUS 2906762 HAS SOUPS 2805651 WITH SCORE 2813323.519
AT ITER 120 NEW BEST:: SOT 12123478 SOS 7667281 HAS SOPS 6345208 HAS SOUS 2895078 HAS SOUPS 2794153 WITH SCORE 2801820.281
AT ITER 138 NEW BEST:: SOT 12123092 SOS 7666762 HAS SOPS 6344718 HAS SOUS 2894447 HAS SOUPS 2793522 WITH SCORE 2801188.762
AT ITER 142 NEW BEST:: SOT 12121820 SOS 7664280 HAS SOPS 6342617 HAS SOUS 2893364 HAS SOUPS 2792439 WITH SCORE 2800103.28
AT ITER 156 NEW BEST:: SOT 12121889 SOS 7663918 HAS SOPS 6342494 HAS SOUS 2891824 HAS SOUPS 2790995 WITH SCORE 2798658.918
AT ITER 163 NEW BEST:: SOT 12129509 SOS 7672789 HAS SOPS 6347950 HAS SOUS 2890517 HAS SOUPS 2789688 WITH SCORE 2797360.789
AT ITER 168 NEW BEST:: SOT 12128194 SOS 7671344 HAS SOPS 6345195 HAS SOUS 2888550 HAS SOUPS 2787430 WITH SCORE 2795101.344
AT ITER 182 NEW BEST:: SOT 12128208 SOS 7671336 HAS SOPS 6345191 HAS SOUS 2888304 HAS SOUPS 2787184 WITH SCORE 2794855.336
AT ITER 184 NEW BEST:: SOT 12124074 SOS 7662460 HAS SOPS 6336102 HAS SOUS 2887568 HAS SOUPS 2786392 WITH SCORE 2794054.46
AT ITER 190 NEW BEST:: SOT 12123817 SOS 7662203 HAS SOPS 6335845 HAS SOUS 2887407 HAS SOUPS 2786231 WITH SCORE 2793893.203
AT ITER 194 NEW BEST:: SOT 12123830 SOS 7662191 HAS SOPS 6335863 HAS SOUS 2887075 HAS SOUPS 2785905 WITH SCORE 2793567.191
AT ITER 196 NEW BEST:: SOT 12122822 SOS 7661044 HAS SOPS 6335473 HAS SOUS 2885270 HAS SOUPS 2784100 WITH SCORE 2791761.044
AT ITER 199 NEW BEST:: SOT 12104370 SOS 7642585 HAS SOPS 6315245 HAS SOUS 2860132 HAS SOUPS 2758818 WITH SCORE 2766460.585
AT ITER 203 NEW BEST:: SOT 12103933 SOS 7642181 HAS SOPS 6314953 HAS SOUS 2859834 HAS SOUPS 2758556 WITH SCORE 2766198.181
AT ITER 205 NEW BEST:: SOT 12105888 SOS 7647606 HAS SOPS 6316357 HAS SOUS 2859793 HAS SOUPS 2758515 WITH SCORE 2766162.606
AT ITER 209 NEW BEST:: SOT 12106786 SOS 7648173 HAS SOPS 6317788 HAS SOUS 2856728 HAS SOUPS 2756214 WITH SCORE 2763862.173
AT ITER 211 NEW BEST:: SOT 12109184 SOS 7655520 HAS SOPS 6328328 HAS SOUS 2856435 HAS SOUPS 2756046 WITH SCORE 2763701.52
AT ITER 212 NEW BEST:: SOT 12095969 SOS 7629414 HAS SOPS 6300869 HAS SOUS 2847965 HAS SOUPS 2747459 WITH SCORE 2755088.414
AT ITER 214 NEW BEST:: SOT 12095566 SOS 7629056 HAS SOPS 6301042 HAS SOUS 2846973 HAS SOUPS 2746467 WITH SCORE 2754096.056
AT ITER 224 NEW BEST:: SOT 12094630 SOS 7628664 HAS SOPS 6301486 HAS SOUS 2840464 HAS SOUPS 2740324 WITH SCORE 2747952.664
AT ITER 231 NEW BEST:: SOT 12092798 SOS 7623605 HAS SOPS 6297207 HAS SOUS 2839012 HAS SOUPS 2738872 WITH SCORE 2746495.605
AT ITER 233 NEW BEST:: SOT 12092167 SOS 7625301 HAS SOPS 6297991 HAS SOUS 2837488 HAS SOUPS 2737348 WITH SCORE 2744973.301
AT ITER 235 NEW BEST:: SOT 12094153 SOS 7628770 HAS SOPS 6303073 HAS SOUS 2835024 HAS SOUPS 2734884 WITH SCORE 2742512.77
AT ITER 253 NEW BEST:: SOT 12095564 SOS 7634301 HAS SOPS 6307041 HAS SOUS 2834701 HAS SOUPS 2734561 WITH SCORE 2742195.301
AT ITER 254 NEW BEST:: SOT 12097030 SOS 7643922 HAS SOPS 6315273 HAS SOUS 2823811 HAS SOUPS 2723671 WITH SCORE 2731314.922
AT ITER 255 NEW BEST:: SOT 12098702 SOS 7647294 HAS SOPS 6317329 HAS SOUS 2823585 HAS SOUPS 2723445 WITH SCORE 2731092.294
AT ITER 258 NEW BEST:: SOT 12082666 SOS 7629682 HAS SOPS 6300474 HAS SOUS 2804487 HAS SOUPS 2704458 WITH SCORE 2712087.682
AT ITER 259 NEW BEST:: SOT 12083656 SOS 7629755 HAS SOPS 6301574 HAS SOUS 2796442 HAS SOUPS 2696670 WITH SCORE 2704299.755
AT ITER 263 NEW BEST:: SOT 12084653 SOS 7630608 HAS SOPS 6302443 HAS SOUS 2796428 HAS SOUPS 2696656 WITH SCORE 2704286.608
AT ITER 264 NEW BEST:: SOT 12082974 SOS 7625748 HAS SOPS 6298293 HAS SOUS 2793751 HAS SOUPS 2694154 WITH SCORE 2701779.748
AT ITER 267 NEW BEST:: SOT 12082407 SOS 7625133 HAS SOPS 6297342 HAS SOUS 2792056 HAS SOUPS 2692459 WITH SCORE 2700084.133
AT ITER 282 NEW BEST:: SOT 12082239 SOS 7625510 HAS SOPS 6297552 HAS SOUS 2790965 HAS SOUPS 2691368 WITH SCORE 2698993.51
AT ITER 284 NEW BEST:: SOT 12079641 SOS 7622257 HAS SOPS 6295195 HAS SOUS 2787298 HAS SOUPS 2687701 WITH SCORE 2695323.257
AT ITER 292 NEW BEST:: SOT 12077940 SOS 7616385 HAS SOPS 6287697 HAS SOUS 2786217 HAS SOUPS 2685033 WITH SCORE 2692649.385
AT ITER 293 NEW BEST:: SOT 12080437 SOS 7624085 HAS SOPS 6294801 HAS SOUS 2786145 HAS SOUPS 2684935 WITH SCORE 2692559.085
AT ITER 296 NEW BEST:: SOT 12078828 SOS 7621646 HAS SOPS 6292556 HAS SOUS 2783904 HAS SOUPS 2682711 WITH SCORE 2690332.646
AT ITER 299 NEW BEST:: SOT 12077913 SOS 7618987 HAS SOPS 6292252 HAS SOUS 2778189 HAS SOUPS 2677868 WITH SCORE 2685486.987
AT ITER 300 NEW BEST:: SOT 12077725 SOS 7618691 HAS SOPS 6291653 HAS SOUS 2775889 HAS SOUPS 2675615 WITH SCORE 2683233.691
AT ITER 309 NEW BEST:: SOT 12077864 SOS 7619255 HAS SOPS 6291878 HAS SOUS 2775414 HAS SOUPS 2675140 WITH SCORE 2682759.255
AT ITER 311 NEW BEST:: SOT 12068405 SOS 7609795 HAS SOPS 6282321 HAS SOUS 2763622 HAS SOUPS 2663254 WITH SCORE 2670863.795
AT ITER 312 NEW BEST:: SOT 12064671 SOS 7601529 HAS SOPS 6275737 HAS SOUS 2759812 HAS SOUPS 2659444 WITH SCORE 2667045.529
AT ITER 319 NEW BEST:: SOT 12064661 SOS 7601472 HAS SOPS 6275710 HAS SOUS 2759641 HAS SOUPS 2659303 WITH SCORE 2666904.472
AT ITER 329 NEW BEST:: SOT 12064544 SOS 7601025 HAS SOPS 6275424 HAS SOUS 2759590 HAS SOUPS 2659260 WITH SCORE 2666861.025
AT ITER 332 NEW BEST:: SOT 12068286 SOS 7606628 HAS SOPS 6283513 HAS SOUS 2757033 HAS SOUPS 2657478 WITH SCORE 2665084.628
AT ITER 346 NEW BEST:: SOT 12060374 SOS 7590033 HAS SOPS 6270456 HAS SOUS 2744311 HAS SOUPS 2645514 WITH SCORE 2653104.033
AT ITER 370 NEW BEST:: SOT 12059838 SOS 7589465 HAS SOPS 6269454 HAS SOUS 2741956 HAS SOUPS 2643159 WITH SCORE 2650748.465
AT ITER 372 NEW BEST:: SOT 12059442 SOS 7593563 HAS SOPS 6273886 HAS SOUS 2733462 HAS SOUPS 2634665 WITH SCORE 2642258.563
AT ITER 379 NEW BEST:: SOT 12057598 SOS 7589131 HAS SOPS 6270173 HAS SOUS 2729639 HAS SOUPS 2630851 WITH SCORE 2638440.131
AT ITER 386 NEW BEST:: SOT 12056072 SOS 7587583 HAS SOPS 6268699 HAS SOUS 2726711 HAS SOUPS 2627923 WITH SCORE 2635510.583
AT ITER 396 NEW BEST:: SOT 12055614 SOS 7586309 HAS SOPS 6266819 HAS SOUS 2721752 HAS SOUPS 2623026 WITH SCORE 2630612.309
AT ITER 401 NEW BEST:: SOT 12054827 SOS 7585347 HAS SOPS 6265873 HAS SOUS 2719940 HAS SOUPS 2621240 WITH SCORE 2628825.347
AT ITER 411 NEW BEST:: SOT 12051601 SOS 7581314 HAS SOPS 6260423 HAS SOUS 2712406 HAS SOUPS 2613843 WITH SCORE 2621424.314
AT ITER 417 NEW BEST:: SOT 12041682 SOS 7571135 HAS SOPS 6250468 HAS SOUS 2696355 HAS SOUPS 2597960 WITH SCORE 2605531.135
AT ITER 422 NEW BEST:: SOT 12033888 SOS 7553150 HAS SOPS 6237252 HAS SOUS 2691258 HAS SOUPS 2593066 WITH SCORE 2600619.15
AT ITER 431 NEW BEST:: SOT 12033834 SOS 7553256 HAS SOPS 6237373 HAS SOUS 2690916 HAS SOUPS 2592724 WITH SCORE 2600277.256
AT ITER 432 NEW BEST:: SOT 12032711 SOS 7561514 HAS SOPS 6239429 HAS SOUS 2685452 HAS SOUPS 2587234 WITH SCORE 2594795.514
AT ITER 443 NEW BEST:: SOT 12032174 SOS 7559815 HAS SOPS 6239342 HAS SOUS 2684892 HAS SOUPS 2586704 WITH SCORE 2594263.815
AT ITER 445 NEW BEST:: SOT 12037121 SOS 7564714 HAS SOPS 6243257 HAS SOUS 2684522 HAS SOUPS 2586334 WITH SCORE 2593898.714
AT ITER 449 NEW BEST:: SOT 12038840 SOS 7566021 HAS SOPS 6244699 HAS SOUS 2684237 HAS SOUPS 2586121 WITH SCORE 2593687.021
AT ITER 452 NEW BEST:: SOT 12038204 SOS 7565762 HAS SOPS 6242591 HAS SOUS 2680460 HAS SOUPS 2582360 WITH SCORE 2589925.762
AT ITER 457 NEW BEST:: SOT 12039932 SOS 7574606 HAS SOPS 6254168 HAS SOUS 2680275 HAS SOUPS 2582175 WITH SCORE 2589749.606
AT ITER 465 NEW BEST:: SOT 12042854 SOS 7590298 HAS SOPS 6274030 HAS SOUS 2677520 HAS SOUPS 2581075 WITH SCORE 2588665.298
AT ITER 467 NEW BEST:: SOT 12036954 SOS 7580298 HAS SOPS 6267159 HAS SOUS 2665189 HAS SOUPS 2568901 WITH SCORE 2576481.298
AT ITER 483 NEW BEST:: SOT 12034978 SOS 7578322 HAS SOPS 6264863 HAS SOUS 2663101 HAS SOUPS 2566565 WITH SCORE 2574143.322
AT ITER 484 NEW BEST:: SOT 12034975 SOS 7575167 HAS SOPS 6266216 HAS SOUS 2661336 HAS SOUPS 2564800 WITH SCORE 2572375.167
AT ITER 487 NEW BEST:: SOT 12035344 SOS 7574847 HAS SOPS 6265490 HAS SOUS 2660842 HAS SOUPS 2564366 WITH SCORE 2571940.847
AT ITER 501 NEW BEST:: SOT 12030337 SOS 7569818 HAS SOPS 6262535 HAS SOUS 2658094 HAS SOUPS 2561810 WITH SCORE 2569379.818
AT ITER 526 NEW BEST:: SOT 12029812 SOS 7569247 HAS SOPS 6261642 HAS SOUS 2656488 HAS SOUPS 2560204 WITH SCORE 2567773.247
AT ITER 530 NEW BEST:: SOT 12040836 SOS 7586097 HAS SOPS 6283552 HAS SOUS 2642724 HAS SOUPS 2546649 WITH SCORE 2554235.097
AT ITER 540 NEW BEST:: SOT 12040751 SOS 7585664 HAS SOPS 6282934 HAS SOUS 2642558 HAS SOUPS 2546483 WITH SCORE 2554068.664
AT ITER 541 NEW BEST:: SOT 12040724 SOS 7585083 HAS SOPS 6282601 HAS SOUS 2642028 HAS SOUPS 2545953 WITH SCORE 2553538.083
AT ITER 546 NEW BEST:: SOT 12041811 SOS 7589646 HAS SOPS 6287284 HAS SOUS 2641929 HAS SOUPS 2545854 WITH SCORE 2553443.646
AT ITER 553 NEW BEST:: SOT 12036786 SOS 7586308 HAS SOPS 6289001 HAS SOUS 2639315 HAS SOUPS 2543242 WITH SCORE 2550828.308
AT ITER 559 NEW BEST:: SOT 12050917 SOS 7618394 HAS SOPS 6331616 HAS SOUS 2632214 HAS SOUPS 2536480 WITH SCORE 2544098.394
AT ITER 561 NEW BEST:: SOT 12050268 SOS 7619313 HAS SOPS 6331940 HAS SOUS 2632044 HAS SOUPS 2536310 WITH SCORE 2543929.313
AT ITER 572 NEW BEST:: SOT 12055584 SOS 7639894 HAS SOPS 6348876 HAS SOUS 2629314 HAS SOUPS 2533460 WITH SCORE 2541099.894
AT ITER 579 NEW BEST:: SOT 12054147 SOS 7638543 HAS SOPS 6347477 HAS SOUS 2626503 HAS SOUPS 2530649 WITH SCORE 2538287.543
AT ITER 584 NEW BEST:: SOT 12054106 SOS 7637901 HAS SOPS 6347413 HAS SOUS 2625852 HAS SOUPS 2529998 WITH SCORE 2537635.901
AT ITER 594 NEW BEST:: SOT 12054356 SOS 7638354 HAS SOPS 6346791 HAS SOUS 2625201 HAS SOUPS 2529347 WITH SCORE 2536985.354
AT ITER 597 NEW BEST:: SOT 12059351 SOS 7644878 HAS SOPS 6351542 HAS SOUS 2621332 HAS SOUPS 2525513 WITH SCORE 2533157.878
AT ITER 598 NEW BEST:: SOT 12059897 SOS 7647263 HAS SOPS 6353559 HAS SOUS 2621112 HAS SOUPS 2525293 WITH SCORE 2532940.263
AT ITER 601 NEW BEST:: SOT 12060750 SOS 7647437 HAS SOPS 6353604 HAS SOUS 2620374 HAS SOUPS 2524555 WITH SCORE 2532202.437
AT ITER 605 NEW BEST:: SOT 12060973 SOS 7648547 HAS SOPS 6355999 HAS SOUS 2620105 HAS SOUPS 2524286 WITH SCORE 2531934.547
AT ITER 611 NEW BEST:: SOT 12069499 SOS 7654552 HAS SOPS 6362186 HAS SOUS 2618712 HAS SOUPS 2523015 WITH SCORE 2530669.552
AT ITER 638 NEW BEST:: SOT 12069178 SOS 7653725 HAS SOPS 6364305 HAS SOUS 2618424 HAS SOUPS 2522727 WITH SCORE 2530380.725
AT ITER 639 NEW BEST:: SOT 12068982 SOS 7653521 HAS SOPS 6363908 HAS SOUS 2617871 HAS SOUPS 2522174 WITH SCORE 2529827.521
AT ITER 646 NEW BEST:: SOT 12066355 SOS 7652300 HAS SOPS 6367368 HAS SOUS 2610664 HAS SOUPS 2515238 WITH SCORE 2522890.3
AT ITER 649 NEW BEST:: SOT 12064561 SOS 7649682 HAS SOPS 6364217 HAS SOUS 2606214 HAS SOUPS 2510818 WITH SCORE 2518467.682
AT ITER 662 NEW BEST:: SOT 12063117 SOS 7648876 HAS SOPS 6361427 HAS SOUS 2601941 HAS SOUPS 2506545 WITH SCORE 2514193.876
AT ITER 663 NEW BEST:: SOT 12059097 SOS 7651077 HAS SOPS 6363035 HAS SOUS 2588062 HAS SOUPS 2492820 WITH SCORE 2500471.077
AT ITER 666 NEW BEST:: SOT 12059234 SOS 7651941 HAS SOPS 6363851 HAS SOUS 2587372 HAS SOUPS 2492130 WITH SCORE 2499781.941
AT ITER 675 NEW BEST:: SOT 12058724 SOS 7650866 HAS SOPS 6363183 HAS SOUS 2587061 HAS SOUPS 2491819 WITH SCORE 2499469.866
AT ITER 679 NEW BEST:: SOT 12056099 SOS 7647344 HAS SOPS 6359777 HAS SOUS 2581543 HAS SOUPS 2486330 WITH SCORE 2493977.344
AT ITER 682 NEW BEST:: SOT 12056304 SOS 7648150 HAS SOPS 6360095 HAS SOUS 2580352 HAS SOUPS 2485103 WITH SCORE 2492751.15
AT ITER 689 NEW BEST:: SOT 12053983 SOS 7643629 HAS SOPS 6355885 HAS SOUS 2576286 HAS SOUPS 2481076 WITH SCORE 2488719.629
AT ITER 690 NEW BEST:: SOT 12051919 SOS 7646642 HAS SOPS 6355000 HAS SOUS 2566884 HAS SOUPS 2471640 WITH SCORE 2479286.642
AT ITER 692 NEW BEST:: SOT 12051277 SOS 7644663 HAS SOPS 6357023 HAS SOUS 2565405 HAS SOUPS 2470161 WITH SCORE 2477805.663
AT ITER 703 NEW BEST:: SOT 12051204 SOS 7644513 HAS SOPS 6356739 HAS SOUS 2565182 HAS SOUPS 2469938 WITH SCORE 2477582.513
AT ITER 705 NEW BEST:: SOT 12051079 SOS 7645054 HAS SOPS 6356875 HAS SOUS 2564690 HAS SOUPS 2469446 WITH SCORE 2477091.054
AT ITER 716 NEW BEST:: SOT 12050806 SOS 7644757 HAS SOPS 6356410 HAS SOUS 2563853 HAS SOUPS 2468609 WITH SCORE 2476253.757
AT ITER 717 NEW BEST:: SOT 12050164 SOS 7644117 HAS SOPS 6355757 HAS SOUS 2562157 HAS SOUPS 2466899 WITH SCORE 2474543.117
AT ITER 720 NEW BEST:: SOT 12030103 SOS 7621870 HAS SOPS 6329796 HAS SOUS 2554745 HAS SOUPS 2459447 WITH SCORE 2467068.87
AT ITER 732 NEW BEST:: SOT 12029776 SOS 7621942 HAS SOPS 6329326 HAS SOUS 2553729 HAS SOUPS 2457780 WITH SCORE 2465401.942
AT ITER 740 NEW BEST:: SOT 12029586 SOS 7621844 HAS SOPS 6328942 HAS SOUS 2553128 HAS SOUPS 2457179 WITH SCORE 2464800.844
AT ITER 742 NEW BEST:: SOT 12026044 SOS 7615194 HAS SOPS 6323706 HAS SOUS 2549857 HAS SOUPS 2453908 WITH SCORE 2461523.194
AT ITER 745 NEW BEST:: SOT 12025719 SOS 7614869 HAS SOPS 6323381 HAS SOUS 2549124 HAS SOUPS 2453175 WITH SCORE 2460789.869
AT ITER 747 NEW BEST:: SOT 12026685 SOS 7617823 HAS SOPS 6331375 HAS SOUS 2546501 HAS SOUPS 2450552 WITH SCORE 2458169.823
AT ITER 755 NEW BEST:: SOT 12027534 SOS 7618650 HAS SOPS 6332048 HAS SOUS 2545877 HAS SOUPS 2449928 WITH SCORE 2457546.65
AT ITER 768 NEW BEST:: SOT 12028299 SOS 7620045 HAS SOPS 6336413 HAS SOUS 2543378 HAS SOUPS 2447381 WITH SCORE 2455001.045
AT ITER 772 NEW BEST:: SOT 12027102 SOS 7619126 HAS SOPS 6335679 HAS SOUS 2539952 HAS SOUPS 2443955 WITH SCORE 2451574.126
AT ITER 775 NEW BEST:: SOT 12027175 SOS 7619626 HAS SOPS 6336548 HAS SOUS 2539836 HAS SOUPS 2443839 WITH SCORE 2451458.626
AT ITER 783 NEW BEST:: SOT 12028472 SOS 7625605 HAS SOPS 6339511 HAS SOUS 2537858 HAS SOUPS 2441861 WITH SCORE 2449486.605
AT ITER 787 NEW BEST:: SOT 12029053 SOS 7626474 HAS SOPS 6341773 HAS SOUS 2536227 HAS SOUPS 2440347 WITH SCORE 2447973.474
AT ITER 797 NEW BEST:: SOT 12028748 SOS 7626376 HAS SOPS 6341464 HAS SOUS 2533718 HAS SOUPS 2437838 WITH SCORE 2445464.376
AT ITER 800 NEW BEST:: SOT 12042340 SOS 7638777 HAS SOPS 6350383 HAS SOUS 2532545 HAS SOUPS 2435678 WITH SCORE 2443316.777
AT ITER 813 NEW BEST:: SOT 12041788 SOS 7637971 HAS SOPS 6349662 HAS SOUS 2531533 HAS SOUPS 2434681 WITH SCORE 2442318.971
AT ITER 821 NEW BEST:: SOT 12041811 SOS 7636730 HAS SOPS 6348225 HAS SOUS 2531033 HAS SOUPS 2434181 WITH SCORE 2441817.73
AT ITER 834 NEW BEST:: SOT 12041089 SOS 7634720 HAS SOPS 6346749 HAS SOUS 2527862 HAS SOUPS 2431010 WITH SCORE 2438644.72
AT ITER 835 NEW BEST:: SOT 12040862 SOS 7634767 HAS SOPS 6346092 HAS SOUS 2525356 HAS SOUPS 2428504 WITH SCORE 2436138.767
AT ITER 841 NEW BEST:: SOT 12039899 SOS 7636417 HAS SOPS 6347647 HAS SOUS 2520897 HAS SOUPS 2424045 WITH SCORE 2431681.417
AT ITER 856 NEW BEST:: SOT 12040558 SOS 7641200 HAS SOPS 6349198 HAS SOUS 2517887 HAS SOUPS 2420863 WITH SCORE 2428504.2
AT ITER 866 NEW BEST:: SOT 12039789 SOS 7636988 HAS SOPS 6342763 HAS SOUS 2515094 HAS SOUPS 2418070 WITH SCORE 2425706.988
AT ITER 882 NEW BEST:: SOT 12036804 SOS 7635609 HAS SOPS 6342156 HAS SOUS 2508863 HAS SOUPS 2411676 WITH SCORE 2419311.609
AT ITER 898 NEW BEST:: SOT 12036863 SOS 7635656 HAS SOPS 6342179 HAS SOUS 2508830 HAS SOUPS 2411643 WITH SCORE 2419278.656
AT ITER 903 NEW BEST:: SOT 12036569 SOS 7635118 HAS SOPS 6341664 HAS SOUS 2508618 HAS SOUPS 2411437 WITH SCORE 2419072.118
AT ITER 905 NEW BEST:: SOT 12034533 SOS 7631050 HAS SOPS 6339575 HAS SOUS 2505499 HAS SOUPS 2408318 WITH SCORE 2415949.05
AT ITER 912 NEW BEST:: SOT 12037245 SOS 7630851 HAS SOPS 6345593 HAS SOUS 2504196 HAS SOUPS 2407015 WITH SCORE 2414645.851
AT ITER 933 NEW BEST:: SOT 12036647 SOS 7631865 HAS SOPS 6345772 HAS SOUS 2503132 HAS SOUPS 2405922 WITH SCORE 2413553.865
AT ITER 937 NEW BEST:: SOT 12036163 SOS 7631177 HAS SOPS 6344897 HAS SOUS 2501458 HAS SOUPS 2404248 WITH SCORE 2411879.177
AT ITER 938 NEW BEST:: SOT 12036155 SOS 7631171 HAS SOPS 6344905 HAS SOUS 2501253 HAS SOUPS 2404043 WITH SCORE 2411674.171
AT ITER 942 NEW BEST:: SOT 12036391 SOS 7632681 HAS SOPS 6346363 HAS SOUS 2500617 HAS SOUPS 2403407 WITH SCORE 2411039.681
AT ITER 954 NEW BEST:: SOT 12036326 SOS 7632586 HAS SOPS 6346346 HAS SOUS 2500466 HAS SOUPS 2403258 WITH SCORE 2410890.586
AT ITER 961 NEW BEST:: SOT 12023145 SOS 7610729 HAS SOPS 6330761 HAS SOUS 2480827 HAS SOUPS 2383682 WITH SCORE 2391292.729
AT ITER 968 NEW BEST:: SOT 12022876 SOS 7610007 HAS SOPS 6330036 HAS SOUS 2480670 HAS SOUPS 2383542 WITH SCORE 2391152.007
AT ITER 972 NEW BEST:: SOT 12021800 SOS 7609236 HAS SOPS 6327818 HAS SOUS 2477233 HAS SOUPS 2380105 WITH SCORE 2387714.236
AT ITER 974 NEW BEST:: SOT 12021513 SOS 7608757 HAS SOPS 6327525 HAS SOUS 2476778 HAS SOUPS 2379656 WITH SCORE 2387264.757
AT ITER 981 NEW BEST:: SOT 12012399 SOS 7599531 HAS SOPS 6317515 HAS SOUS 2464086 HAS SOUPS 2366894 WITH SCORE 2374493.531
AT ITER 982 NEW BEST:: SOT 12012041 SOS 7598579 HAS SOPS 6316344 HAS SOUS 2462342 HAS SOUPS 2365150 WITH SCORE 2372748.579
AT ITER 985 NEW BEST:: SOT 12008823 SOS 7597923 HAS SOPS 6312571 HAS SOUS 2437911 HAS SOUPS 2340445 WITH SCORE 2348042.923
AT ITER 1001 NEW BEST:: SOT 12008105 SOS 7599226 HAS SOPS 6312359 HAS SOUS 2427839 HAS SOUPS 2330373 WITH SCORE 2337972.226
AT ITER 1007 NEW BEST:: SOT 12007989 SOS 7599107 HAS SOPS 6312086 HAS SOUS 2427385 HAS SOUPS 2329919 WITH SCORE 2337518.107
AT ITER 1019 NEW BEST:: SOT 12004452 SOS 7585296 HAS SOPS 6305021 HAS SOUS 2425897 HAS SOUPS 2328538 WITH SCORE 2336123.296
AT ITER 1027 NEW BEST:: SOT 12004431 SOS 7586883 HAS SOPS 6304584 HAS SOUS 2425468 HAS SOUPS 2328109 WITH SCORE 2335695.883
AT ITER 1030 NEW BEST:: SOT 12004459 SOS 7586916 HAS SOPS 6304599 HAS SOUS 2423679 HAS SOUPS 2326281 WITH SCORE 2333867.916
AT ITER 1031 NEW BEST:: SOT 11996103 SOS 7576360 HAS SOPS 6293980 HAS SOUS 2411698 HAS SOUPS 2314300 WITH SCORE 2321876.36
AT ITER 1056 NEW BEST:: SOT 11995790 SOS 7575949 HAS SOPS 6294274 HAS SOUS 2409809 HAS SOUPS 2312451 WITH SCORE 2320026.949
AT ITER 1060 NEW BEST:: SOT 11995857 SOS 7576216 HAS SOPS 6294082 HAS SOUS 2409420 HAS SOUPS 2312062 WITH SCORE 2319638.216
AT ITER 1089 NEW BEST:: SOT 11995229 SOS 7575524 HAS SOPS 6292942 HAS SOUS 2406992 HAS SOUPS 2309606 WITH SCORE 2317181.524
AT ITER 1091 NEW BEST:: SOT 11987041 SOS 7560464 HAS SOPS 6282479 HAS SOUS 2401463 HAS SOUPS 2304077 WITH SCORE 2311637.464
AT ITER 1099 NEW BEST:: SOT 11986840 SOS 7559905 HAS SOPS 6281483 HAS SOUS 2400544 HAS SOUPS 2303158 WITH SCORE 2310717.905
AT ITER 1102 NEW BEST:: SOT 11982373 SOS 7551299 HAS SOPS 6274221 HAS SOUS 2396115 HAS SOUPS 2298729 WITH SCORE 2306280.299
AT ITER 1123 NEW BEST:: SOT 11983472 SOS 7552830 HAS SOPS 6277020 HAS SOUS 2396053 HAS SOUPS 2298667 WITH SCORE 2306219.83
AT ITER 1124 NEW BEST:: SOT 11991526 SOS 7566435 HAS SOPS 6297803 HAS SOUS 2392165 HAS SOUPS 2294779 WITH SCORE 2302345.435
AT ITER 1153 NEW BEST:: SOT 11985636 SOS 7556746 HAS SOPS 6288018 HAS SOUS 2379885 HAS SOUPS 2282499 WITH SCORE 2290055.746
AT ITER 1177 NEW BEST:: SOT 11987819 SOS 7563853 HAS SOPS 6293750 HAS SOUS 2377542 HAS SOUPS 2280156 WITH SCORE 2287719.853
AT ITER 1181 NEW BEST:: SOT 11987841 SOS 7563875 HAS SOPS 6293772 HAS SOUS 2377520 HAS SOUPS 2280134 WITH SCORE 2287697.875
AT ITER 1187 NEW BEST:: SOT 11991013 SOS 7567154 HAS SOPS 6298216 HAS SOUS 2377079 HAS SOUPS 2279716 WITH SCORE 2287283.154
AT ITER 1193 NEW BEST:: SOT 11990123 SOS 7566192 HAS SOPS 6296750 HAS SOUS 2374121 HAS SOUPS 2276758 WITH SCORE 2284324.192
AT ITER 1194 NEW BEST:: SOT 11990424 SOS 7568496 HAS SOPS 6297759 HAS SOUS 2372798 HAS SOUPS 2275325 WITH SCORE 2282893.496
AT ITER 1195 NEW BEST:: SOT 11989766 SOS 7567440 HAS SOPS 6296188 HAS SOUS 2370869 HAS SOUPS 2273516 WITH SCORE 2281083.44
AT ITER 1197 NEW BEST:: SOT 11986468 SOS 7560274 HAS SOPS 6291042 HAS SOUS 2367524 HAS SOUPS 2271219 WITH SCORE 2278779.274
AT ITER 1206 NEW BEST:: SOT 11987803 SOS 7560287 HAS SOPS 6290263 HAS SOUS 2362319 HAS SOUPS 2266130 WITH SCORE 2273690.287
AT ITER 1210 NEW BEST:: SOT 11985762 SOS 7558188 HAS SOPS 6287973 HAS SOUS 2358528 HAS SOUPS 2262339 WITH SCORE 2269897.188
AT ITER 1219 NEW BEST:: SOT 11977459 SOS 7549310 HAS SOPS 6278126 HAS SOUS 2339905 HAS SOUPS 2243795 WITH SCORE 2251344.31
AT ITER 1228 NEW BEST:: SOT 11971994 SOS 7537778 HAS SOPS 6269497 HAS SOUS 2336032 HAS SOUPS 2240278 WITH SCORE 2247815.778
AT ITER 1235 NEW BEST:: SOT 11968217 SOS 7528524 HAS SOPS 6263831 HAS SOUS 2330536 HAS SOUPS 2234890 WITH SCORE 2242418.524
AT ITER 1243 NEW BEST:: SOT 11961616 SOS 7514660 HAS SOPS 6249654 HAS SOUS 2321942 HAS SOUPS 2226203 WITH SCORE 2233717.66
AT ITER 1245 NEW BEST:: SOT 11961588 SOS 7514616 HAS SOPS 6249610 HAS SOUS 2321811 HAS SOUPS 2226072 WITH SCORE 2233586.616
AT ITER 1256 NEW BEST:: SOT 11960676 SOS 7516453 HAS SOPS 6252965 HAS SOUS 2319529 HAS SOUPS 2223886 WITH SCORE 2231402.453
AT ITER 1262 NEW BEST:: SOT 11961981 SOS 7518191 HAS SOPS 6254547 HAS SOUS 2319217 HAS SOUPS 2223574 WITH SCORE 2231092.191
AT ITER 1265 NEW BEST:: SOT 11962016 SOS 7518139 HAS SOPS 6254593 HAS SOUS 2319146 HAS SOUPS 2223503 WITH SCORE 2231021.139
AT ITER 1274 NEW BEST:: SOT 11960833 SOS 7516681 HAS SOPS 6252623 HAS SOUS 2318363 HAS SOUPS 2222720 WITH SCORE 2230236.681
AT ITER 1289 NEW BEST:: SOT 11960395 SOS 7515159 HAS SOPS 6250516 HAS SOUS 2316482 HAS SOUPS 2220839 WITH SCORE 2228354.159
AT ITER 1293 NEW BEST:: SOT 11961693 SOS 7523247 HAS SOPS 6257686 HAS SOUS 2313512 HAS SOUPS 2217869 WITH SCORE 2225392.247
AT ITER 1313 NEW BEST:: SOT 11961734 SOS 7523538 HAS SOPS 6259757 HAS SOUS 2312722 HAS SOUPS 2217079 WITH SCORE 2224602.538
AT ITER 1328 NEW BEST:: SOT 11959649 SOS 7519078 HAS SOPS 6257036 HAS SOUS 2309804 HAS SOUPS 2214161 WITH SCORE 2221680.078
AT ITER 1331 NEW BEST:: SOT 11959254 SOS 7518798 HAS SOPS 6256676 HAS SOUS 2308868 HAS SOUPS 2213225 WITH SCORE 2220743.798
AT ITER 1344 NEW BEST:: SOT 11958870 SOS 7517729 HAS SOPS 6256932 HAS SOUS 2308816 HAS SOUPS 2213173 WITH SCORE 2220690.729
AT ITER 1348 NEW BEST:: SOT 11961866 SOS 7526431 HAS SOPS 6264732 HAS SOUS 2308333 HAS SOUPS 2212690 WITH SCORE 2220216.431
AT ITER 1351 NEW BEST:: SOT 11960209 SOS 7521554 HAS SOPS 6258949 HAS SOUS 2307235 HAS SOUPS 2211584 WITH SCORE 2219105.554
AT ITER 1369 NEW BEST:: SOT 11960056 SOS 7521187 HAS SOPS 6258418 HAS SOUS 2306933 HAS SOUPS 2211282 WITH SCORE 2218803.187
AT ITER 1373 NEW BEST:: SOT 11958298 SOS 7519023 HAS SOPS 6255860 HAS SOUS 2304008 HAS SOUPS 2208357 WITH SCORE 2215876.023
AT ITER 1379 NEW BEST:: SOT 11955675 SOS 7516400 HAS SOPS 6253237 HAS SOUS 2301169 HAS SOUPS 2205518 WITH SCORE 2213034.4
AT ITER 1429 NEW BEST:: SOT 11956009 SOS 7518519 HAS SOPS 6255505 HAS SOUS 2299314 HAS SOUPS 2203663 WITH SCORE 2211181.519
AT ITER 1438 NEW BEST:: SOT 11955833 SOS 7518335 HAS SOPS 6255265 HAS SOUS 2298960 HAS SOUPS 2203309 WITH SCORE 2210827.335
AT ITER 1442 NEW BEST:: SOT 11955651 SOS 7518247 HAS SOPS 6254761 HAS SOUS 2297795 HAS SOUPS 2202136 WITH SCORE 2209654.247
AT ITER 1456 NEW BEST:: SOT 11955288 SOS 7517485 HAS SOPS 6254790 HAS SOUS 2297729 HAS SOUPS 2202070 WITH SCORE 2209587.485
AT ITER 1458 NEW BEST:: SOT 11954813 SOS 7516994 HAS SOPS 6254187 HAS SOUS 2296889 HAS SOUPS 2201230 WITH SCORE 2208746.994
AT ITER 1467 NEW BEST:: SOT 11954436 SOS 7515585 HAS SOPS 6252635 HAS SOUS 2295910 HAS SOUPS 2200251 WITH SCORE 2207766.585
AT ITER 1468 NEW BEST:: SOT 11954246 SOS 7515122 HAS SOPS 6252325 HAS SOUS 2295867 HAS SOUPS 2200219 WITH SCORE 2207734.122
AT ITER 1470 NEW BEST:: SOT 11953629 SOS 7513893 HAS SOPS 6250863 HAS SOUS 2294982 HAS SOUPS 2199334 WITH SCORE 2206847.893
AT ITER 1495 NEW BEST:: SOT 11954249 SOS 7518433 HAS SOPS 6249925 HAS SOUS 2291049 HAS SOUPS 2194793 WITH SCORE 2202311.433
AT ITER 1557 NEW BEST:: SOT 11954289 SOS 7519437 HAS SOPS 6251649 HAS SOUS 2289516 HAS SOUPS 2193260 WITH SCORE 2200779.437
AT ITER 1565 NEW BEST:: SOT 11952194 SOS 7517277 HAS SOPS 6249742 HAS SOUS 2284913 HAS SOUPS 2188657 WITH SCORE 2196174.277
AT ITER 1582 NEW BEST:: SOT 11952066 SOS 7517095 HAS SOPS 6249528 HAS SOUS 2284633 HAS SOUPS 2188379 WITH SCORE 2195896.095
AT ITER 1600 NEW BEST:: SOT 11948926 SOS 7514803 HAS SOPS 6246914 HAS SOUS 2276213 HAS SOUPS 2179959 WITH SCORE 2187473.803
AT ITER 1619 NEW BEST:: SOT 11947162 SOS 7513187 HAS SOPS 6245150 HAS SOUS 2273451 HAS SOUPS 2177115 WITH SCORE 2184628.187
AT ITER 1633 NEW BEST:: SOT 11943441 SOS 7508314 HAS SOPS 6238981 HAS SOUS 2265373 HAS SOUPS 2169073 WITH SCORE 2176581.314
AT ITER 1637 NEW BEST:: SOT 11941538 SOS 7506402 HAS SOPS 6237474 HAS SOUS 2260828 HAS SOUPS 2164573 WITH SCORE 2172079.402
AT ITER 1640 NEW BEST:: SOT 11937933 SOS 7502789 HAS SOPS 6233805 HAS SOUS 2256911 HAS SOUPS 2160656 WITH SCORE 2168158.789
AT ITER 1649 NEW BEST:: SOT 11937823 SOS 7502681 HAS SOPS 6233663 HAS SOUS 2256563 HAS SOUPS 2160326 WITH SCORE 2167828.681
AT ITER 1653 NEW BEST:: SOT 11936691 SOS 7502061 HAS SOPS 6231587 HAS SOUS 2252891 HAS SOUPS 2156654 WITH SCORE 2164156.061
AT ITER 1663 NEW BEST:: SOT 11936136 SOS 7500686 HAS SOPS 6230853 HAS SOUS 2251748 HAS SOUPS 2155709 WITH SCORE 2163209.686
AT ITER 1667 NEW BEST:: SOT 11935503 SOS 7499975 HAS SOPS 6230001 HAS SOUS 2250705 HAS SOUPS 2154666 WITH SCORE 2162165.975
AT ITER 1731 NEW BEST:: SOT 11936609 SOS 7502466 HAS SOPS 6231794 HAS SOUS 2241831 HAS SOUPS 2145900 WITH SCORE 2153402.466
AT ITER 1735 NEW BEST:: SOT 11935904 SOS 7498124 HAS SOPS 6228824 HAS SOUS 2238365 HAS SOUPS 2142933 WITH SCORE 2150431.124
AT ITER 1739 NEW BEST:: SOT 11936921 SOS 7503031 HAS SOPS 6237584 HAS SOUS 2237592 HAS SOUPS 2142160 WITH SCORE 2149663.031
AT ITER 1747 NEW BEST:: SOT 11936400 SOS 7500588 HAS SOPS 6235123 HAS SOUS 2236252 HAS SOUPS 2140820 WITH SCORE 2148320.588
AT ITER 1748 NEW BEST:: SOT 11935793 SOS 7500455 HAS SOPS 6234630 HAS SOUS 2234620 HAS SOUPS 2139142 WITH SCORE 2146642.455
AT ITER 1749 NEW BEST:: SOT 11933465 SOS 7499537 HAS SOPS 6230711 HAS SOUS 2228343 HAS SOUPS 2132813 WITH SCORE 2140312.537
AT ITER 1764 NEW BEST:: SOT 11933446 SOS 7499518 HAS SOPS 6230692 HAS SOUS 2228336 HAS SOUPS 2132806 WITH SCORE 2140305.518
AT ITER 1766 NEW BEST:: SOT 11936827 SOS 7503910 HAS SOPS 6235385 HAS SOUS 2227799 HAS SOUPS 2132338 WITH SCORE 2139841.91
AT ITER 1777 NEW BEST:: SOT 11937126 SOS 7505298 HAS SOPS 6236504 HAS SOUS 2227576 HAS SOUPS 2132115 WITH SCORE 2139620.298
AT ITER 1808 NEW BEST:: SOT 11936801 SOS 7504877 HAS SOPS 6235773 HAS SOUS 2226610 HAS SOUPS 2131149 WITH SCORE 2138653.877
AT ITER 1809 NEW BEST:: SOT 11936678 SOS 7504658 HAS SOPS 6235572 HAS SOUS 2226382 HAS SOUPS 2130921 WITH SCORE 2138425.658
AT ITER 1833 NEW BEST:: SOT 11931659 SOS 7495863 HAS SOPS 6222552 HAS SOUS 2215060 HAS SOUPS 2119599 WITH SCORE 2127094.863
AT ITER 1835 NEW BEST:: SOT 11931871 SOS 7495355 HAS SOPS 6222261 HAS SOUS 2212240 HAS SOUPS 2116779 WITH SCORE 2124274.355
AT ITER 1852 NEW BEST:: SOT 11932064 SOS 7495589 HAS SOPS 6220532 HAS SOUS 2209266 HAS SOUPS 2112754 WITH SCORE 2120249.589
AT ITER 1857 NEW BEST:: SOT 11930438 SOS 7494039 HAS SOPS 6220220 HAS SOUS 2208223 HAS SOUPS 2111711 WITH SCORE 2119205.039
AT ITER 1867 NEW BEST:: SOT 11929194 SOS 7492439 HAS SOPS 6220736 HAS SOUS 2203212 HAS SOUPS 2106700 WITH SCORE 2114192.439
AT ITER 1869 NEW BEST:: SOT 11924863 SOS 7484242 HAS SOPS 6214623 HAS SOUS 2201342 HAS SOUPS 2104830 WITH SCORE 2112314.242
AT ITER 1877 NEW BEST:: SOT 11924867 SOS 7484158 HAS SOPS 6214514 HAS SOUS 2201332 HAS SOUPS 2104820 WITH SCORE 2112304.158
AT ITER 1890 NEW BEST:: SOT 11928544 SOS 7489829 HAS SOPS 6220719 HAS SOUS 2199445 HAS SOUPS 2103008 WITH SCORE 2110497.829
AT ITER 1892 NEW BEST:: SOT 11928599 SOS 7489290 HAS SOPS 6220710 HAS SOUS 2198291 HAS SOUPS 2101886 WITH SCORE 2109375.29
AT ITER 1900 NEW BEST:: SOT 11927442 SOS 7486703 HAS SOPS 6219235 HAS SOUS 2190365 HAS SOUPS 2094939 WITH SCORE 2102425.703
AT ITER 1902 NEW BEST:: SOT 11924963 SOS 7483897 HAS SOPS 6215805 HAS SOUS 2185940 HAS SOUPS 2090514 WITH SCORE 2097997.897
AT ITER 1908 NEW BEST:: SOT 11923360 SOS 7481576 HAS SOPS 6212925 HAS SOUS 2180645 HAS SOUPS 2085219 WITH SCORE 2092700.576
AT ITER 1922 NEW BEST:: SOT 11923085 SOS 7481509 HAS SOPS 6213040 HAS SOUS 2180626 HAS SOUPS 2085200 WITH SCORE 2092681.509
AT ITER 1923 NEW BEST:: SOT 11923821 SOS 7482739 HAS SOPS 6214188 HAS SOUS 2177740 HAS SOUPS 2082314 WITH SCORE 2089796.739
AT ITER 1943 NEW BEST:: SOT 11926649 SOS 7490072 HAS SOPS 6220396 HAS SOUS 2168737 HAS SOUPS 2073311 WITH SCORE 2080801.072
AT ITER 1944 NEW BEST:: SOT 11926335 SOS 7494666 HAS SOPS 6228484 HAS SOUS 2162061 HAS SOUPS 2066635 WITH SCORE 2074129.666
AT ITER 1953 NEW BEST:: SOT 11925505 SOS 7493836 HAS SOPS 6227654 HAS SOUS 2161955 HAS SOUPS 2066529 WITH SCORE 2074022.836
AT ITER 1960 NEW BEST:: SOT 11921418 SOS 7489046 HAS SOPS 6222825 HAS SOUS 2154462 HAS SOUPS 2059074 WITH SCORE 2066563.046
AT ITER 1972 NEW BEST:: SOT 11920287 SOS 7486845 HAS SOPS 6221042 HAS SOUS 2153577 HAS SOUPS 2058189 WITH SCORE 2065675.845
AT ITER 1973 NEW BEST:: SOT 11913494 SOS 7479968 HAS SOPS 6214165 HAS SOUS 2143243 HAS SOUPS 2047855 WITH SCORE 2055334.968
AT ITER 1975 NEW BEST:: SOT 11915824 SOS 7483459 HAS SOPS 6217418 HAS SOUS 2138565 HAS SOUPS 2043177 WITH SCORE 2050660.459
AT ITER 1986 NEW BEST:: SOT 11916665 SOS 7487171 HAS SOPS 6220670 HAS SOUS 2136380 HAS SOUPS 2040992 WITH SCORE 2048479.171
AT ITER 1991 NEW BEST:: SOT 11916930 SOS 7486357 HAS SOPS 6217027 HAS SOUS 2133493 HAS SOUPS 2038105 WITH SCORE 2045591.357
AT ITER 1999 NEW BEST:: SOT 11914530 SOS 7481057 HAS SOPS 6212097 HAS SOUS 2132261 HAS SOUPS 2036873 WITH SCORE 2044354.057
AT ITER 2008 NEW BEST:: SOT 11915114 SOS 7481896 HAS SOPS 6214873 HAS SOUS 2131607 HAS SOUPS 2036285 WITH SCORE 2043766.896
AT ITER 2029 NEW BEST:: SOT 11914897 SOS 7481535 HAS SOPS 6214552 HAS SOUS 2131194 HAS SOUPS 2035936 WITH SCORE 2043417.535
AT ITER 2052 NEW BEST:: SOT 11914924 SOS 7481401 HAS SOPS 6214720 HAS SOUS 2131165 HAS SOUPS 2035907 WITH SCORE 2043388.401
AT ITER 2059 NEW BEST:: SOT 11914151 SOS 7480602 HAS SOPS 6213505 HAS SOUS 2129508 HAS SOUPS 2034250 WITH SCORE 2041730.602
AT ITER 2062 NEW BEST:: SOT 11913705 SOS 7479627 HAS SOPS 6213163 HAS SOUS 2127173 HAS SOUPS 2031943 WITH SCORE 2039422.627
AT ITER 2065 NEW BEST:: SOT 11913720 SOS 7480973 HAS SOPS 6214004 HAS SOUS 2127130 HAS SOUPS 2031900 WITH SCORE 2039380.973
AT ITER 2091 NEW BEST:: SOT 11910880 SOS 7478739 HAS SOPS 6209674 HAS SOUS 2117950 HAS SOUPS 2022720 WITH SCORE 2030198.739
AT ITER 2123 NEW BEST:: SOT 11910088 SOS 7477907 HAS SOPS 6209022 HAS SOUS 2116924 HAS SOUPS 2022014 WITH SCORE 2029491.907
AT ITER 2131 NEW BEST:: SOT 11910218 SOS 7478493 HAS SOPS 6211039 HAS SOUS 2115742 HAS SOUPS 2020832 WITH SCORE 2028310.493
AT ITER 2141 NEW BEST:: SOT 11908776 SOS 7477422 HAS SOPS 6208749 HAS SOUS 2110102 HAS SOUPS 2015114 WITH SCORE 2022591.422
AT ITER 2149 NEW BEST:: SOT 11905736 SOS 7470537 HAS SOPS 6203499 HAS SOUS 2108059 HAS SOUPS 2013071 WITH SCORE 2020541.537
AT ITER 2150 NEW BEST:: SOT 11907562 SOS 7472883 HAS SOPS 6203606 HAS SOUS 2107362 HAS SOUPS 2012374 WITH SCORE 2019846.883
AT ITER 2160 NEW BEST:: SOT 11904780 SOS 7471061 HAS SOPS 6200238 HAS SOUS 2100390 HAS SOUPS 2005353 WITH SCORE 2012824.061
AT ITER 2168 NEW BEST:: SOT 11902070 SOS 7463006 HAS SOPS 6195859 HAS SOUS 2098891 HAS SOUPS 2003930 WITH SCORE 2011393.006
AT ITER 2170 NEW BEST:: SOT 11902022 SOS 7462066 HAS SOPS 6195841 HAS SOUS 2098650 HAS SOUPS 2003689 WITH SCORE 2011151.066
AT ITER 2207 NEW BEST:: SOT 11902799 SOS 7458832 HAS SOPS 6192771 HAS SOUS 2098486 HAS SOUPS 2003525 WITH SCORE 2010983.832
AT ITER 2211 NEW BEST:: SOT 11896531 SOS 7438971 HAS SOPS 6171645 HAS SOUS 2090493 HAS SOUPS 1995532 WITH SCORE 2002970.971
AT ITER 2232 NEW BEST:: SOT 11895090 SOS 7438071 HAS SOPS 6170842 HAS SOUS 2089939 HAS SOUPS 1994959 WITH SCORE 2002397.071
AT ITER 2244 NEW BEST:: SOT 11894288 SOS 7438596 HAS SOPS 6170062 HAS SOUS 2087652 HAS SOUPS 1992672 WITH SCORE 2000110.596
AT ITER 2248 NEW BEST:: SOT 11893920 SOS 7437145 HAS SOPS 6169898 HAS SOUS 2085669 HAS SOUPS 1990689 WITH SCORE 1998126.145
AT ITER 2265 NEW BEST:: SOT 11893966 SOS 7437638 HAS SOPS 6170305 HAS SOUS 2085532 HAS SOUPS 1990552 WITH SCORE 1997989.638
AT ITER 2280 NEW BEST:: SOT 11893878 SOS 7437078 HAS SOPS 6169891 HAS SOUS 2084400 HAS SOUPS 1989420 WITH SCORE 1996857.078
AT ITER 2290 NEW BEST:: SOT 11894044 SOS 7438255 HAS SOPS 6170813 HAS SOUS 2083963 HAS SOUPS 1988983 WITH SCORE 1996421.255
AT ITER 2294 NEW BEST:: SOT 11894169 SOS 7439075 HAS SOPS 6171488 HAS SOUS 2083718 HAS SOUPS 1988738 WITH SCORE 1996177.075
AT ITER 2301 NEW BEST:: SOT 11893481 SOS 7438063 HAS SOPS 6170885 HAS SOUS 2083088 HAS SOUPS 1988121 WITH SCORE 1995559.063
AT ITER 2313 NEW BEST:: SOT 11884783 SOS 7424905 HAS SOPS 6160650 HAS SOUS 2069681 HAS SOUPS 1974829 WITH SCORE 1982253.905
AT ITER 2315 NEW BEST:: SOT 11884829 SOS 7427037 HAS SOPS 6160864 HAS SOUS 2069644 HAS SOUPS 1974792 WITH SCORE 1982219.037
AT ITER 2326 NEW BEST:: SOT 11886912 SOS 7436331 HAS SOPS 6169744 HAS SOUS 2068350 HAS SOUPS 1973498 WITH SCORE 1980934.331
AT ITER 2356 NEW BEST:: SOT 11886842 SOS 7435555 HAS SOPS 6169054 HAS SOUS 2068049 HAS SOUPS 1973197 WITH SCORE 1980632.555
AT ITER 2381 NEW BEST:: SOT 11886600 SOS 7435749 HAS SOPS 6168534 HAS SOUS 2066008 HAS SOUPS 1971156 WITH SCORE 1978591.749
AT ITER 2384 NEW BEST:: SOT 11889305 SOS 7442291 HAS SOPS 6172759 HAS SOUS 2065321 HAS SOUPS 1970469 WITH SCORE 1977911.291
AT ITER 2395 NEW BEST:: SOT 11895572 SOS 7448554 HAS SOPS 6179022 HAS SOUS 2065088 HAS SOUPS 1970236 WITH SCORE 1977684.554
AT ITER 2405 NEW BEST:: SOT 11895564 SOS 7448905 HAS SOPS 6179528 HAS SOUS 2065029 HAS SOUPS 1970177 WITH SCORE 1977625.905
AT ITER 2407 NEW BEST:: SOT 11897562 SOS 7456714 HAS SOPS 6184666 HAS SOUS 2063285 HAS SOUPS 1968377 WITH SCORE 1975833.714
AT ITER 2415 NEW BEST:: SOT 11898769 SOS 7461648 HAS SOPS 6188498 HAS SOUS 2061702 HAS SOUPS 1966794 WITH SCORE 1974255.648
AT ITER 2416 NEW BEST:: SOT 11898373 SOS 7461640 HAS SOPS 6188279 HAS SOUS 2060425 HAS SOUPS 1965517 WITH SCORE 1972978.64
AT ITER 2428 NEW BEST:: SOT 11898373 SOS 7456007 HAS SOPS 6182646 HAS SOUS 2058186 HAS SOUPS 1963278 WITH SCORE 1970734.007
AT ITER 2446 NEW BEST:: SOT 11898283 SOS 7455875 HAS SOPS 6182508 HAS SOUS 2058135 HAS SOUPS 1963227 WITH SCORE 1970682.875
AT ITER 2449 NEW BEST:: SOT 11898019 SOS 7455639 HAS SOPS 6182060 HAS SOUS 2057794 HAS SOUPS 1962674 WITH SCORE 1970129.639
AT ITER 2457 NEW BEST:: SOT 11898535 SOS 7456276 HAS SOPS 6182752 HAS SOUS 2057417 HAS SOUPS 1962297 WITH SCORE 1969753.276
AT ITER 2491 NEW BEST:: SOT 11898289 SOS 7456024 HAS SOPS 6182411 HAS SOUS 2056950 HAS SOUPS 1961842 WITH SCORE 1969298.024
AT ITER 2501 NEW BEST:: SOT 11898041 SOS 7455840 HAS SOPS 6182099 HAS SOUS 2056278 HAS SOUPS 1961162 WITH SCORE 1968617.84
AT ITER 2502 NEW BEST:: SOT 11897873 SOS 7455600 HAS SOPS 6181823 HAS SOUS 2056071 HAS SOUPS 1960958 WITH SCORE 1968413.6
AT ITER 2511 NEW BEST:: SOT 11897705 SOS 7455420 HAS SOPS 6181559 HAS SOUS 2055537 HAS SOUPS 1960424 WITH SCORE 1967879.42
AT ITER 2527 NEW BEST:: SOT 11897671 SOS 7455388 HAS SOPS 6181513 HAS SOUS 2055471 HAS SOUPS 1960358 WITH SCORE 1967813.388
AT ITER 2536 NEW BEST:: SOT 11898002 SOS 7456908 HAS SOPS 6180360 HAS SOUS 2047882 HAS SOUPS 1952831 WITH SCORE 1960287.908
AT ITER 2550 NEW BEST:: SOT 11898023 SOS 7456953 HAS SOPS 6179377 HAS SOUS 2047459 HAS SOUPS 1952408 WITH SCORE 1959864.953
AT ITER 2554 NEW BEST:: SOT 11892087 SOS 7448327 HAS SOPS 6170057 HAS SOUS 2038733 HAS SOUPS 1943746 WITH SCORE 1951194.327
AT ITER 2555 NEW BEST:: SOT 11891476 SOS 7448095 HAS SOPS 6169259 HAS SOUS 2037792 HAS SOUPS 1942746 WITH SCORE 1950194.095
AT ITER 2558 NEW BEST:: SOT 11896450 SOS 7462002 HAS SOPS 6183834 HAS SOUS 2036889 HAS SOUPS 1941960 WITH SCORE 1949422.002
AT ITER 2561 NEW BEST:: SOT 11894757 SOS 7460684 HAS SOPS 6182516 HAS SOUS 2032868 HAS SOUPS 1937939 WITH SCORE 1945399.684
AT ITER 2582 NEW BEST:: SOT 11893103 SOS 7459008 HAS SOPS 6180840 HAS SOUS 2031010 HAS SOUPS 1936081 WITH SCORE 1943540.008
AT ITER 2594 NEW BEST:: SOT 11893993 SOS 7461501 HAS SOPS 6182935 HAS SOUS 2030987 HAS SOUPS 1936058 WITH SCORE 1943519.501
AT ITER 2597 NEW BEST:: SOT 11893155 SOS 7458649 HAS SOPS 6181583 HAS SOUS 2030546 HAS SOUPS 1935617 WITH SCORE 1943075.649
AT ITER 2609 NEW BEST:: SOT 11892650 SOS 7456913 HAS SOPS 6179390 HAS SOUS 2030472 HAS SOUPS 1935543 WITH SCORE 1942999.913
AT ITER 2624 NEW BEST:: SOT 11887832 SOS 7449906 HAS SOPS 6172479 HAS SOUS 2024465 HAS SOUPS 1929536 WITH SCORE 1936985.906
AT ITER 2635 NEW BEST:: SOT 11888182 SOS 7452996 HAS SOPS 6174125 HAS SOUS 2023632 HAS SOUPS 1928703 WITH SCORE 1936155.996
AT ITER 2636 NEW BEST:: SOT 11887627 SOS 7452336 HAS SOPS 6172861 HAS SOUS 2021681 HAS SOUPS 1926752 WITH SCORE 1934204.336
AT ITER 2660 NEW BEST:: SOT 11883181 SOS 7444924 HAS SOPS 6165031 HAS SOUS 2010157 HAS SOUPS 1915356 WITH SCORE 1922800.924
AT ITER 2670 NEW BEST:: SOT 11883197 SOS 7444957 HAS SOPS 6164966 HAS SOUS 2010088 HAS SOUPS 1915287 WITH SCORE 1922731.957
AT ITER 2676 NEW BEST:: SOT 11883006 SOS 7444825 HAS SOPS 6164495 HAS SOUS 2010084 HAS SOUPS 1915276 WITH SCORE 1922720.825
AT ITER 2682 NEW BEST:: SOT 11882129 SOS 7443941 HAS SOPS 6163300 HAS SOUS 2008540 HAS SOUPS 1913617 WITH SCORE 1921060.941
AT ITER 2692 NEW BEST:: SOT 11881873 SOS 7443645 HAS SOPS 6162948 HAS SOUS 2007892 HAS SOUPS 1912969 WITH SCORE 1920412.645
AT ITER 2697 NEW BEST:: SOT 11881473 SOS 7442929 HAS SOPS 6162056 HAS SOUS 2007030 HAS SOUPS 1912147 WITH SCORE 1919589.929
AT ITER 2701 NEW BEST:: SOT 11879386 SOS 7440807 HAS SOPS 6159584 HAS SOUS 2004839 HAS SOUPS 1909956 WITH SCORE 1917396.807
AT ITER 2712 NEW BEST:: SOT 11879018 SOS 7440427 HAS SOPS 6158928 HAS SOUS 2003930 HAS SOUPS 1909032 WITH SCORE 1916472.427
AT ITER 2720 NEW BEST:: SOT 11878915 SOS 7440363 HAS SOPS 6158916 HAS SOUS 2003766 HAS SOUPS 1908936 WITH SCORE 1916376.363
AT ITER 2728 NEW BEST:: SOT 11879904 SOS 7441476 HAS SOPS 6158374 HAS SOUS 2001396 HAS SOUPS 1906566 WITH SCORE 1914007.476
AT ITER 2729 NEW BEST:: SOT 11879852 SOS 7441424 HAS SOPS 6158322 HAS SOUS 2001376 HAS SOUPS 1906546 WITH SCORE 1913987.424
AT ITER 2733 NEW BEST:: SOT 11880199 SOS 7441064 HAS SOPS 6157675 HAS SOUS 2000638 HAS SOUPS 1905806 WITH SCORE 1913247.064
AT ITER 2736 NEW BEST:: SOT 11879759 SOS 7443796 HAS SOPS 6159071 HAS SOUS 2000477 HAS SOUPS 1905588 WITH SCORE 1913031.796
AT ITER 2749 NEW BEST:: SOT 11878527 SOS 7442778 HAS SOPS 6156779 HAS SOUS 1997017 HAS SOUPS 1901602 WITH SCORE 1909044.778
AT ITER 2757 NEW BEST:: SOT 11878111 SOS 7442238 HAS SOPS 6155871 HAS SOUS 1995837 HAS SOUPS 1900414 WITH SCORE 1907856.238
AT ITER 2761 NEW BEST:: SOT 11879042 SOS 7442479 HAS SOPS 6156967 HAS SOUS 1995721 HAS SOUPS 1900333 WITH SCORE 1907775.479
AT ITER 2770 NEW BEST:: SOT 11878165 SOS 7440834 HAS SOPS 6155594 HAS SOUS 1994928 HAS SOUPS 1899558 WITH SCORE 1906998.834
AT ITER 2786 NEW BEST:: SOT 11874221 SOS 7436968 HAS SOPS 6151689 HAS SOUS 1992271 HAS SOUPS 1896862 WITH SCORE 1904298.968
AT ITER 2816 NEW BEST:: SOT 11873414 SOS 7436161 HAS SOPS 6150674 HAS SOUS 1991588 HAS SOUPS 1896023 WITH SCORE 1903459.161
AT ITER 2844 NEW BEST:: SOT 11872247 SOS 7434980 HAS SOPS 6149395 HAS SOUS 1990932 HAS SOUPS 1895367 WITH SCORE 1902801.98
AT ITER 2849 NEW BEST:: SOT 11872433 SOS 7435246 HAS SOPS 6149750 HAS SOUS 1990893 HAS SOUPS 1895350 WITH SCORE 1902785.246
AT ITER 2852 NEW BEST:: SOT 11872779 SOS 7436174 HAS SOPS 6150746 HAS SOUS 1990166 HAS SOUPS 1894623 WITH SCORE 1902059.174
AT ITER 2868 NEW BEST:: SOT 11871921 SOS 7434166 HAS SOPS 6148618 HAS SOUS 1988875 HAS SOUPS 1893332 WITH SCORE 1900766.166
AT ITER 2901 NEW BEST:: SOT 11871877 SOS 7434170 HAS SOPS 6148572 HAS SOUS 1988774 HAS SOUPS 1893231 WITH SCORE 1900665.17
AT ITER 2904 NEW BEST:: SOT 11871690 SOS 7434610 HAS SOPS 6149246 HAS SOUS 1987815 HAS SOUPS 1892272 WITH SCORE 1899706.61
AT ITER 2907 NEW BEST:: SOT 11871190 SOS 7437509 HAS SOPS 6151477 HAS SOUS 1979876 HAS SOUPS 1884397 WITH SCORE 1891834.509
AT ITER 2911 NEW BEST:: SOT 11871707 SOS 7439294 HAS SOPS 6152488 HAS SOUS 1979708 HAS SOUPS 1884229 WITH SCORE 1891668.294
AT ITER 2927 NEW BEST:: SOT 11868655 SOS 7431683 HAS SOPS 6146812 HAS SOUS 1976128 HAS SOUPS 1880649 WITH SCORE 1888080.683
AT ITER 2950 NEW BEST:: SOT 11868536 SOS 7431896 HAS SOPS 6146653 HAS SOUS 1975749 HAS SOUPS 1880270 WITH SCORE 1887701.896
AT ITER 2964 NEW BEST:: SOT 11848143 SOS 7389321 HAS SOPS 6106575 HAS SOUS 1962105 HAS SOUPS 1866656 WITH SCORE 1874045.321
AT ITER 2968 NEW BEST:: SOT 11847937 SOS 7389210 HAS SOPS 6106392 HAS SOUS 1961980 HAS SOUPS 1866523 WITH SCORE 1873912.21
AT ITER 2969 NEW BEST:: SOT 11848923 SOS 7390144 HAS SOPS 6108252 HAS SOUS 1958357 HAS SOUPS 1863079 WITH SCORE 1870469.144
AT ITER 2973 NEW BEST:: SOT 11848997 SOS 7390386 HAS SOPS 6108414 HAS SOUS 1958343 HAS SOUPS 1863061 WITH SCORE 1870451.386
AT ITER 3005 NEW BEST:: SOT 11849264 SOS 7392674 HAS SOPS 6111501 HAS SOUS 1958239 HAS SOUPS 1862957 WITH SCORE 1870349.674
AT ITER 3022 NEW BEST:: SOT 11849989 SOS 7394738 HAS SOPS 6114232 HAS SOUS 1957030 HAS SOUPS 1861819 WITH SCORE 1869213.738
AT ITER 3034 NEW BEST:: SOT 11853026 SOS 7403698 HAS SOPS 6118564 HAS SOUS 1953679 HAS SOUPS 1858468 WITH SCORE 1865871.698
AT ITER 3079 NEW BEST:: SOT 11852312 SOS 7403013 HAS SOPS 6117868 HAS SOUS 1952452 HAS SOUPS 1857229 WITH SCORE 1864632.013
AT ITER 3080 NEW BEST:: SOT 11849664 SOS 7397691 HAS SOPS 6112644 HAS SOUS 1949212 HAS SOUPS 1853989 WITH SCORE 1861386.691
AT ITER 3101 NEW BEST:: SOT 11849433 SOS 7397474 HAS SOPS 6112450 HAS SOUS 1948911 HAS SOUPS 1853688 WITH SCORE 1861085.474
AT ITER 3115 NEW BEST:: SOT 11850022 SOS 7389911 HAS SOPS 6110801 HAS SOUS 1947203 HAS SOUPS 1851980 WITH SCORE 1859369.911
AT ITER 3121 NEW BEST:: SOT 11849905 SOS 7389530 HAS SOPS 6110067 HAS SOUS 1946970 HAS SOUPS 1851747 WITH SCORE 1859136.53
AT ITER 3152 NEW BEST:: SOT 11849754 SOS 7389379 HAS SOPS 6109916 HAS SOUS 1946747 HAS SOUPS 1851524 WITH SCORE 1858913.379
AT ITER 3174 NEW BEST:: SOT 11852586 SOS 7397310 HAS SOPS 6118326 HAS SOUS 1946250 HAS SOUPS 1851086 WITH SCORE 1858483.31
AT ITER 3184 NEW BEST:: SOT 11852589 SOS 7397302 HAS SOPS 6118296 HAS SOUS 1946180 HAS SOUPS 1851019 WITH SCORE 1858416.302
AT ITER 3199 NEW BEST:: SOT 11852911 SOS 7398020 HAS SOPS 6118959 HAS SOUS 1946062 HAS SOUPS 1850901 WITH SCORE 1858299.02
AT ITER 3204 NEW BEST:: SOT 11851000 SOS 7392623 HAS SOPS 6115655 HAS SOUS 1945310 HAS SOUPS 1850149 WITH SCORE 1857541.623
AT ITER 3209 NEW BEST:: SOT 11845673 SOS 7386054 HAS SOPS 6110328 HAS SOUS 1939203 HAS SOUPS 1844100 WITH SCORE 1851486.054
AT ITER 3219 NEW BEST:: SOT 11844586 SOS 7387004 HAS SOPS 6110783 HAS SOUS 1936523 HAS SOUPS 1841420 WITH SCORE 1848807.004
AT ITER 3227 NEW BEST:: SOT 11844061 SOS 7385888 HAS SOPS 6109869 HAS SOUS 1936259 HAS SOUPS 1841167 WITH SCORE 1848552.888
AT ITER 3244 NEW BEST:: SOT 11844331 SOS 7384334 HAS SOPS 6108179 HAS SOUS 1935350 HAS SOUPS 1840258 WITH SCORE 1847642.334
AT ITER 3270 NEW BEST:: SOT 11844021 SOS 7384168 HAS SOPS 6107881 HAS SOUS 1934416 HAS SOUPS 1839324 WITH SCORE 1846708.168
AT ITER 3277 NEW BEST:: SOT 11843846 SOS 7384001 HAS SOPS 6107656 HAS SOUS 1933523 HAS SOUPS 1838431 WITH SCORE 1845815.001
AT ITER 3278 NEW BEST:: SOT 11843176 SOS 7382703 HAS SOPS 6106464 HAS SOUS 1933051 HAS SOUPS 1837959 WITH SCORE 1845341.703
AT ITER 3316 NEW BEST:: SOT 11842145 SOS 7380470 HAS SOPS 6103951 HAS SOUS 1928977 HAS SOUPS 1833885 WITH SCORE 1841265.47
AT ITER 3319 NEW BEST:: SOT 11842113 SOS 7380357 HAS SOPS 6103502 HAS SOUS 1928626 HAS SOUPS 1833534 WITH SCORE 1840914.357
AT ITER 3338 NEW BEST:: SOT 11842113 SOS 7380361 HAS SOPS 6103491 HAS SOUS 1928625 HAS SOUPS 1833533 WITH SCORE 1840913.361
AT ITER 3342 NEW BEST:: SOT 11841834 SOS 7378417 HAS SOPS 6101807 HAS SOUS 1928148 HAS SOUPS 1833056 WITH SCORE 1840434.417
AT ITER 3348 NEW BEST:: SOT 11841912 SOS 7379686 HAS SOPS 6102686 HAS SOUS 1927527 HAS SOUPS 1832435 WITH SCORE 1839814.686
AT ITER 3358 NEW BEST:: SOT 11841768 SOS 7379377 HAS SOPS 6102105 HAS SOUS 1926743 HAS SOUPS 1831651 WITH SCORE 1839030.377
AT ITER 3422 NEW BEST:: SOT 11840488 SOS 7378067 HAS SOPS 6100585 HAS SOUS 1925418 HAS SOUPS 1830326 WITH SCORE 1837704.067
AT ITER 3423 NEW BEST:: SOT 11837866 SOS 7376112 HAS SOPS 6097717 HAS SOUS 1919975 HAS SOUPS 1824883 WITH SCORE 1832259.112
AT ITER 3444 NEW BEST:: SOT 11836765 SOS 7375265 HAS SOPS 6096958 HAS SOUS 1918611 HAS SOUPS 1823519 WITH SCORE 1830894.265
AT ITER 3445 NEW BEST:: SOT 11836685 SOS 7375026 HAS SOPS 6096534 HAS SOUS 1918440 HAS SOUPS 1823348 WITH SCORE 1830723.026
AT ITER 3447 NEW BEST:: SOT 11837222 SOS 7372923 HAS SOPS 6094369 HAS SOUS 1917702 HAS SOUPS 1822548 WITH SCORE 1829920.923
AT ITER 3465 NEW BEST:: SOT 11836756 SOS 7372282 HAS SOPS 6094261 HAS SOUS 1917407 HAS SOUPS 1822521 WITH SCORE 1829893.282
AT ITER 3469 NEW BEST:: SOT 11836272 SOS 7371923 HAS SOPS 6093956 HAS SOUS 1916488 HAS SOUPS 1821602 WITH SCORE 1828973.923
AT ITER 3498 NEW BEST:: SOT 11836255 SOS 7372446 HAS SOPS 6094406 HAS SOUS 1916310 HAS SOUPS 1821424 WITH SCORE 1828796.446
AT ITER 3505 NEW BEST:: SOT 11828195 SOS 7356368 HAS SOPS 6082448 HAS SOUS 1912662 HAS SOUPS 1817812 WITH SCORE 1825168.368
AT ITER 3509 NEW BEST:: SOT 11828143 SOS 7356231 HAS SOPS 6082185 HAS SOUS 1912589 HAS SOUPS 1817739 WITH SCORE 1825095.231
AT ITER 3511 NEW BEST:: SOT 11826775 SOS 7358091 HAS SOPS 6084260 HAS SOUS 1908730 HAS SOUPS 1813880 WITH SCORE 1821238.091
AT ITER 3543 NEW BEST:: SOT 11826157 SOS 7353543 HAS SOPS 6080112 HAS SOUS 1906508 HAS SOUPS 1811658 WITH SCORE 1819011.543
AT ITER 3553 NEW BEST:: SOT 11825621 SOS 7352845 HAS SOPS 6079099 HAS SOUS 1905633 HAS SOUPS 1810783 WITH SCORE 1818135.845
AT ITER 3566 NEW BEST:: SOT 11823966 SOS 7351277 HAS SOPS 6077764 HAS SOUS 1905045 HAS SOUPS 1810494 WITH SCORE 1817845.277
AT ITER 3567 NEW BEST:: SOT 11823982 SOS 7351305 HAS SOPS 6077786 HAS SOUS 1904921 HAS SOUPS 1810370 WITH SCORE 1817721.305
AT ITER 3570 NEW BEST:: SOT 11823675 SOS 7350830 HAS SOPS 6077071 HAS SOUS 1904314 HAS SOUPS 1809753 WITH SCORE 1817103.83
AT ITER 3572 NEW BEST:: SOT 11824240 SOS 7351387 HAS SOPS 6077572 HAS SOUS 1904115 HAS SOUPS 1809554 WITH SCORE 1816905.387
AT ITER 3584 NEW BEST:: SOT 11824248 SOS 7351467 HAS SOPS 6077667 HAS SOUS 1904096 HAS SOUPS 1809535 WITH SCORE 1816886.467
AT ITER 3592 NEW BEST:: SOT 11824383 SOS 7351634 HAS SOPS 6077652 HAS SOUS 1903952 HAS SOUPS 1809391 WITH SCORE 1816742.634
AT ITER 3595 NEW BEST:: SOT 11823831 SOS 7351062 HAS SOPS 6076940 HAS SOUS 1903412 HAS SOUPS 1808851 WITH SCORE 1816202.062
AT ITER 3603 NEW BEST:: SOT 11825119 SOS 7350571 HAS SOPS 6080005 HAS SOUS 1903154 HAS SOUPS 1808593 WITH SCORE 1815943.571
AT ITER 3623 NEW BEST:: SOT 11824945 SOS 7350310 HAS SOPS 6079669 HAS SOUS 1898665 HAS SOUPS 1804182 WITH SCORE 1811532.31
AT ITER 3638 NEW BEST:: SOT 11824482 SOS 7349719 HAS SOPS 6078602 HAS SOUS 1895595 HAS SOUPS 1801112 WITH SCORE 1808461.719
AT ITER 3640 NEW BEST:: SOT 11824107 SOS 7349279 HAS SOPS 6078381 HAS SOUS 1894594 HAS SOUPS 1800111 WITH SCORE 1807460.279
AT ITER 3663 NEW BEST:: SOT 11823800 SOS 7349072 HAS SOPS 6078281 HAS SOUS 1892777 HAS SOUPS 1798294 WITH SCORE 1805643.072
AT ITER 3669 NEW BEST:: SOT 11824626 SOS 7349834 HAS SOPS 6079049 HAS SOUS 1885746 HAS SOUPS 1791263 WITH SCORE 1798612.834
AT ITER 3679 NEW BEST:: SOT 11824765 SOS 7349929 HAS SOPS 6078948 HAS SOUS 1884345 HAS SOUPS 1789862 WITH SCORE 1797211.929
AT ITER 3698 NEW BEST:: SOT 11823753 SOS 7341234 HAS SOPS 6071632 HAS SOUS 1879978 HAS SOUPS 1785682 WITH SCORE 1793023.234
AT ITER 3712 NEW BEST:: SOT 11828105 SOS 7362757 HAS SOPS 6093542 HAS SOUS 1863906 HAS SOUPS 1769829 WITH SCORE 1777191.757
AT ITER 3726 NEW BEST:: SOT 11826580 SOS 7360328 HAS SOPS 6090338 HAS SOUS 1860614 HAS SOUPS 1766537 WITH SCORE 1773897.328
AT ITER 3731 NEW BEST:: SOT 11826331 SOS 7359521 HAS SOPS 6089312 HAS SOUS 1858473 HAS SOUPS 1764396 WITH SCORE 1771755.521
AT ITER 3736 NEW BEST:: SOT 11826333 SOS 7358450 HAS SOPS 6089210 HAS SOUS 1858021 HAS SOUPS 1763944 WITH SCORE 1771302.45
AT ITER 3739 NEW BEST:: SOT 11827223 SOS 7359332 HAS SOPS 6089908 HAS SOUS 1858019 HAS SOUPS 1763910 WITH SCORE 1771269.332
AT ITER 3755 NEW BEST:: SOT 11827151 SOS 7359210 HAS SOPS 6089807 HAS SOUS 1857834 HAS SOUPS 1763726 WITH SCORE 1771085.21
AT ITER 3775 NEW BEST:: SOT 11827394 SOS 7360830 HAS SOPS 6091290 HAS SOUS 1856209 HAS SOUPS 1762166 WITH SCORE 1769526.83
AT ITER 3787 NEW BEST:: SOT 11827385 SOS 7361662 HAS SOPS 6091184 HAS SOUS 1854653 HAS SOUPS 1760610 WITH SCORE 1767971.662
AT ITER 3792 NEW BEST:: SOT 11828425 SOS 7364430 HAS SOPS 6092734 HAS SOUS 1854450 HAS SOUPS 1760407 WITH SCORE 1767771.43
AT ITER 3806 NEW BEST:: SOT 11826776 SOS 7361345 HAS SOPS 6091214 HAS SOUS 1849713 HAS SOUPS 1755842 WITH SCORE 1763203.345
AT ITER 3827 NEW BEST:: SOT 11826803 SOS 7361333 HAS SOPS 6091124 HAS SOUS 1849566 HAS SOUPS 1755695 WITH SCORE 1763056.333
AT ITER 3829 NEW BEST:: SOT 11821535 SOS 7346922 HAS SOPS 6078435 HAS SOUS 1846798 HAS SOUPS 1752927 WITH SCORE 1760273.922
AT ITER 3852 NEW BEST:: SOT 11821693 SOS 7345601 HAS SOPS 6077121 HAS SOUS 1846760 HAS SOUPS 1752889 WITH SCORE 1760234.601
AT ITER 3858 NEW BEST:: SOT 11821686 SOS 7345548 HAS SOPS 6077084 HAS SOUS 1846738 HAS SOUPS 1752867 WITH SCORE 1760212.548
AT ITER 3902 NEW BEST:: SOT 11821115 SOS 7343434 HAS SOPS 6074890 HAS SOUS 1845980 HAS SOUPS 1752109 WITH SCORE 1759452.434
AT ITER 3906 NEW BEST:: SOT 11820829 SOS 7344556 HAS SOPS 6075888 HAS SOUS 1843098 HAS SOUPS 1749227 WITH SCORE 1756571.556
AT ITER 3914 NEW BEST:: SOT 11820492 SOS 7342566 HAS SOPS 6074184 HAS SOUS 1841038 HAS SOUPS 1747167 WITH SCORE 1754509.566
AT ITER 3941 NEW BEST:: SOT 11821051 SOS 7342393 HAS SOPS 6074450 HAS SOUS 1840513 HAS SOUPS 1746686 WITH SCORE 1754028.393
AT ITER 3961 NEW BEST:: SOT 11827617 SOS 7348474 HAS SOPS 6079931 HAS SOUS 1837791 HAS SOUPS 1744461 WITH SCORE 1751809.474
AT ITER 3969 NEW BEST:: SOT 11853095 SOS 7393668 HAS SOPS 6139350 HAS SOUS 1836491 HAS SOUPS 1743711 WITH SCORE 1751104.668
AT ITER 3977 NEW BEST:: SOT 11852049 SOS 7392573 HAS SOPS 6137738 HAS SOUS 1834486 HAS SOUPS 1741706 WITH SCORE 1749098.573
AT ITER 4019 NEW BEST:: SOT 11851945 SOS 7392289 HAS SOPS 6137494 HAS SOUS 1834341 HAS SOUPS 1741565 WITH SCORE 1748957.289
AT ITER 4030 NEW BEST:: SOT 11842256 SOS 7363888 HAS SOPS 6112496 HAS SOUS 1824150 HAS SOUPS 1731395 WITH SCORE 1738758.888
AT ITER 4039 NEW BEST:: SOT 11840120 SOS 7359587 HAS SOPS 6110010 HAS SOUS 1821490 HAS SOUPS 1729644 WITH SCORE 1737003.587
AT ITER 4058 NEW BEST:: SOT 11840068 SOS 7359565 HAS SOPS 6110064 HAS SOUS 1821462 HAS SOUPS 1729618 WITH SCORE 1736977.565
AT ITER 4098 NEW BEST:: SOT 11840112 SOS 7359228 HAS SOPS 6110869 HAS SOUS 1821015 HAS SOUPS 1729171 WITH SCORE 1736530.228
AT ITER 4103 NEW BEST:: SOT 11840131 SOS 7358968 HAS SOPS 6109824 HAS SOUS 1818713 HAS SOUPS 1726869 WITH SCORE 1734227.968
AT ITER 4110 NEW BEST:: SOT 11841097 SOS 7361224 HAS SOPS 6113546 HAS SOUS 1817640 HAS SOUPS 1725796 WITH SCORE 1733157.224
AT ITER 4130 NEW BEST:: SOT 11840908 SOS 7359872 HAS SOPS 6113090 HAS SOUS 1817616 HAS SOUPS 1725772 WITH SCORE 1733131.872
AT ITER 4140 NEW BEST:: SOT 11840928 SOS 7358373 HAS SOPS 6112824 HAS SOUS 1815191 HAS SOUPS 1723445 WITH SCORE 1730803.373
AT ITER 4150 NEW BEST:: SOT 11838019 SOS 7353609 HAS SOPS 6112465 HAS SOUS 1814877 HAS SOUPS 1723131 WITH SCORE 1730484.609
AT ITER 4156 NEW BEST:: SOT 11831090 SOS 7346902 HAS SOPS 6107799 HAS SOUS 1811173 HAS SOUPS 1719427 WITH SCORE 1726773.902
AT ITER 4164 NEW BEST:: SOT 11831060 SOS 7346899 HAS SOPS 6107765 HAS SOUS 1811153 HAS SOUPS 1719406 WITH SCORE 1726752.899
AT ITER 4167 NEW BEST:: SOT 11829277 SOS 7343428 HAS SOPS 6103883 HAS SOUS 1807410 HAS SOUPS 1715689 WITH SCORE 1723032.428
AT ITER 4173 NEW BEST:: SOT 11827127 SOS 7339596 HAS SOPS 6099492 HAS SOUS 1804393 HAS SOUPS 1712672 WITH SCORE 1720011.596
AT ITER 4178 NEW BEST:: SOT 11829654 SOS 7336343 HAS SOPS 6095125 HAS SOUS 1799409 HAS SOUPS 1707798 WITH SCORE 1715134.343
AT ITER 4200 NEW BEST:: SOT 11825651 SOS 7329635 HAS SOPS 6092422 HAS SOUS 1795169 HAS SOUPS 1703558 WITH SCORE 1710887.635
AT ITER 4204 NEW BEST:: SOT 11825657 SOS 7329637 HAS SOPS 6092393 HAS SOUS 1795146 HAS SOUPS 1703535 WITH SCORE 1710864.637
AT ITER 4215 NEW BEST:: SOT 11827673 SOS 7336421 HAS SOPS 6098281 HAS SOUS 1794821 HAS SOUPS 1703210 WITH SCORE 1710546.421
AT ITER 4235 NEW BEST:: SOT 11827217 SOS 7335262 HAS SOPS 6096245 HAS SOUS 1793624 HAS SOUPS 1702013 WITH SCORE 1709348.262
AT ITER 4237 NEW BEST:: SOT 11825507 SOS 7333975 HAS SOPS 6093879 HAS SOUS 1792414 HAS SOUPS 1700755 WITH SCORE 1708088.975
AT ITER 4245 NEW BEST:: SOT 11825541 SOS 7331841 HAS SOPS 6088994 HAS SOUS 1792190 HAS SOUPS 1700487 WITH SCORE 1707818.841
AT ITER 4282 NEW BEST:: SOT 11827386 SOS 7336149 HAS SOPS 6097328 HAS SOUS 1790463 HAS SOUPS 1698760 WITH SCORE 1706096.149
AT ITER 4284 NEW BEST:: SOT 11826121 SOS 7334838 HAS SOPS 6096003 HAS SOUS 1788624 HAS SOUPS 1696921 WITH SCORE 1704255.838
AT ITER 4302 NEW BEST:: SOT 11825783 SOS 7334500 HAS SOPS 6095665 HAS SOUS 1787998 HAS SOUPS 1696295 WITH SCORE 1703629.5
AT ITER 4303 NEW BEST:: SOT 11827431 SOS 7337822 HAS SOPS 6097046 HAS SOUS 1786943 HAS SOUPS 1695240 WITH SCORE 1702577.822
AT ITER 4304 NEW BEST:: SOT 11827371 SOS 7337718 HAS SOPS 6096940 HAS SOUS 1786912 HAS SOUPS 1695209 WITH SCORE 1702546.718
AT ITER 4317 NEW BEST:: SOT 11826958 SOS 7337407 HAS SOPS 6096603 HAS SOUS 1786577 HAS SOUPS 1694869 WITH SCORE 1702206.407
AT ITER 4334 NEW BEST:: SOT 11826969 SOS 7337418 HAS SOPS 6096614 HAS SOUS 1786332 HAS SOUPS 1694624 WITH SCORE 1701961.418
AT ITER 4338 NEW BEST:: SOT 11827096 SOS 7338162 HAS SOPS 6097294 HAS SOUS 1785946 HAS SOUPS 1694238 WITH SCORE 1701576.162
AT ITER 4362 NEW BEST:: SOT 11826988 SOS 7337913 HAS SOPS 6097144 HAS SOUS 1785861 HAS SOUPS 1694153 WITH SCORE 1701490.913
AT ITER 4368 NEW BEST:: SOT 11826565 SOS 7336766 HAS SOPS 6096569 HAS SOUS 1784884 HAS SOUPS 1693176 WITH SCORE 1700512.766
AT ITER 4374 NEW BEST:: SOT 11826565 SOS 7337800 HAS SOPS 6097603 HAS SOUS 1784789 HAS SOUPS 1693081 WITH SCORE 1700418.8
AT ITER 4377 NEW BEST:: SOT 11826520 SOS 7337737 HAS SOPS 6097540 HAS SOUS 1784597 HAS SOUPS 1692889 WITH SCORE 1700226.737
AT ITER 4382 NEW BEST:: SOT 11824301 SOS 7328954 HAS SOPS 6095900 HAS SOUS 1782852 HAS SOUPS 1691281 WITH SCORE 1698609.954
AT ITER 4390 NEW BEST:: SOT 11823454 SOS 7326526 HAS SOPS 6093944 HAS SOUS 1782562 HAS SOUPS 1690991 WITH SCORE 1698317.526
AT ITER 4405 NEW BEST:: SOT 11823362 SOS 7326402 HAS SOPS 6093820 HAS SOUS 1782110 HAS SOUPS 1690539 WITH SCORE 1697865.402
AT ITER 4407 NEW BEST:: SOT 11822900 SOS 7325940 HAS SOPS 6093204 HAS SOUS 1781219 HAS SOUPS 1689648 WITH SCORE 1696973.94
AT ITER 4417 NEW BEST:: SOT 11823044 SOS 7325971 HAS SOPS 6093214 HAS SOUS 1780708 HAS SOUPS 1689137 WITH SCORE 1696462.971
AT ITER 4424 NEW BEST:: SOT 11822985 SOS 7325922 HAS SOPS 6092954 HAS SOUS 1780613 HAS SOUPS 1689042 WITH SCORE 1696367.922
AT ITER 4443 NEW BEST:: SOT 11823098 SOS 7326938 HAS SOPS 6093144 HAS SOUS 1779353 HAS SOUPS 1687634 WITH SCORE 1694960.938
AT ITER 4454 NEW BEST:: SOT 11822538 SOS 7326294 HAS SOPS 6091187 HAS SOUS 1778344 HAS SOUPS 1686625 WITH SCORE 1693951.294
AT ITER 4458 NEW BEST:: SOT 11822361 SOS 7326119 HAS SOPS 6090994 HAS SOUS 1778104 HAS SOUPS 1686384 WITH SCORE 1693710.119
AT ITER 4461 NEW BEST:: SOT 11819874 SOS 7323706 HAS SOPS 6088088 HAS SOUS 1776914 HAS SOUPS 1685159 WITH SCORE 1692482.706
AT ITER 4481 NEW BEST:: SOT 11819340 SOS 7322708 HAS SOPS 6087154 HAS SOUS 1776172 HAS SOUPS 1684438 WITH SCORE 1691760.708
AT ITER 4491 NEW BEST:: SOT 11818975 SOS 7322897 HAS SOPS 6087553 HAS SOUS 1775423 HAS SOUPS 1683689 WITH SCORE 1691011.897
AT ITER 4510 NEW BEST:: SOT 11819029 SOS 7322947 HAS SOPS 6087603 HAS SOUS 1775403 HAS SOUPS 1683669 WITH SCORE 1690991.947
AT ITER 4514 NEW BEST:: SOT 11818839 SOS 7322737 HAS SOPS 6087393 HAS SOUS 1775273 HAS SOUPS 1683539 WITH SCORE 1690861.737
AT ITER 4520 NEW BEST:: SOT 11815815 SOS 7318055 HAS SOPS 6083649 HAS SOUS 1773386 HAS SOUPS 1681788 WITH SCORE 1689106.055
AT ITER 4533 NEW BEST:: SOT 11818536 SOS 7323961 HAS SOPS 6090317 HAS SOUS 1767940 HAS SOUPS 1676342 WITH SCORE 1683665.961
AT ITER 4568 NEW BEST:: SOT 11818484 SOS 7324189 HAS SOPS 6090375 HAS SOUS 1767350 HAS SOUPS 1675752 WITH SCORE 1683076.189
AT ITER 4577 NEW BEST:: SOT 11813982 SOS 7321574 HAS SOPS 6086999 HAS SOUS 1761489 HAS SOUPS 1669891 WITH SCORE 1677212.574
AT ITER 4600 NEW BEST:: SOT 11813537 SOS 7319333 HAS SOPS 6085298 HAS SOUS 1758605 HAS SOUPS 1667054 WITH SCORE 1674373.333
AT ITER 4608 NEW BEST:: SOT 11813209 SOS 7318973 HAS SOPS 6085081 HAS SOUS 1758427 HAS SOUPS 1666876 WITH SCORE 1674194.973
AT ITER 4611 NEW BEST:: SOT 11813529 SOS 7318735 HAS SOPS 6085802 HAS SOUS 1756391 HAS SOUPS 1664889 WITH SCORE 1672207.735
AT ITER 4612 NEW BEST:: SOT 11812548 SOS 7317359 HAS SOPS 6083996 HAS SOUS 1754310 HAS SOUPS 1662808 WITH SCORE 1670125.359
AT ITER 4632 NEW BEST:: SOT 11811673 SOS 7317053 HAS SOPS 6082789 HAS SOUS 1751633 HAS SOUPS 1660113 WITH SCORE 1667430.053
AT ITER 4648 NEW BEST:: SOT 11811535 SOS 7314583 HAS SOPS 6081060 HAS SOUS 1749589 HAS SOUPS 1658106 WITH SCORE 1665420.583
AT ITER 4683 NEW BEST:: SOT 11809401 SOS 7309755 HAS SOPS 6076491 HAS SOUS 1746225 HAS SOUPS 1654988 WITH SCORE 1662297.755
AT ITER 4698 NEW BEST:: SOT 11813834 SOS 7313033 HAS SOPS 6082676 HAS SOUS 1742375 HAS SOUPS 1652640 WITH SCORE 1659953.033
AT ITER 4710 NEW BEST:: SOT 11813867 SOS 7313165 HAS SOPS 6082774 HAS SOUS 1742364 HAS SOUPS 1652629 WITH SCORE 1659942.165
AT ITER 4737 NEW BEST:: SOT 11813810 SOS 7313184 HAS SOPS 6082719 HAS SOUS 1742165 HAS SOUPS 1652430 WITH SCORE 1659743.184
AT ITER 4751 NEW BEST:: SOT 11813871 SOS 7311904 HAS SOPS 6081807 HAS SOUS 1742043 HAS SOUPS 1652339 WITH SCORE 1659650.904
AT ITER 4755 NEW BEST:: SOT 11814202 SOS 7313187 HAS SOPS 6082734 HAS SOUS 1741858 HAS SOUPS 1652142 WITH SCORE 1659455.187
AT ITER 4794 NEW BEST:: SOT 11814456 SOS 7316456 HAS SOPS 6085287 HAS SOUS 1735790 HAS SOUPS 1646074 WITH SCORE 1653390.456
AT ITER 4810 NEW BEST:: SOT 11814336 SOS 7316309 HAS SOPS 6085000 HAS SOUS 1735647 HAS SOUPS 1645926 WITH SCORE 1653242.309
AT ITER 4812 NEW BEST:: SOT 11813334 SOS 7314922 HAS SOPS 6083467 HAS SOUS 1735285 HAS SOUPS 1645564 WITH SCORE 1652878.922
AT ITER 4819 NEW BEST:: SOT 11823379 SOS 7329879 HAS SOPS 6097184 HAS SOUS 1735082 HAS SOUPS 1645512 WITH SCORE 1652841.879
AT ITER 4858 NEW BEST:: SOT 11822222 SOS 7329170 HAS SOPS 6096495 HAS SOUS 1732317 HAS SOUPS 1642747 WITH SCORE 1650076.17
AT ITER 4867 NEW BEST:: SOT 11821841 SOS 7327058 HAS SOPS 6093555 HAS SOUS 1731442 HAS SOUPS 1641872 WITH SCORE 1649199.058
AT ITER 4894 NEW BEST:: SOT 11821396 SOS 7326425 HAS SOPS 6092568 HAS SOUS 1729123 HAS SOUPS 1639567 WITH SCORE 1646893.425
AT ITER 4940 NEW BEST:: SOT 11820076 SOS 7325061 HAS SOPS 6091050 HAS SOUS 1727121 HAS SOUPS 1637565 WITH SCORE 1644890.061
AT ITER 4951 NEW BEST:: SOT 11819906 SOS 7324864 HAS SOPS 6090808 HAS SOUS 1726687 HAS SOUPS 1637131 WITH SCORE 1644455.864
AT ITER 4952 NEW BEST:: SOT 11819608 SOS 7324537 HAS SOPS 6090411 HAS SOUS 1726022 HAS SOUPS 1636466 WITH SCORE 1643790.537
AT ITER 4959 NEW BEST:: SOT 11819477 SOS 7324399 HAS SOPS 6090200 HAS SOUS 1725593 HAS SOUPS 1636037 WITH SCORE 1643361.399
AT ITER 4960 NEW BEST:: SOT 11819207 SOS 7324129 HAS SOPS 6089930 HAS SOUS 1725463 HAS SOUPS 1635907 WITH SCORE 1643231.129
AT ITER 4962 NEW BEST:: SOT 11819528 SOS 7325702 HAS SOPS 6090112 HAS SOUS 1722729 HAS SOUPS 1633173 WITH SCORE 1640498.702
AT ITER 4992 NEW BEST:: SOT 11817992 SOS 7324672 HAS SOPS 6087934 HAS SOUS 1721217 HAS SOUPS 1631624 WITH SCORE 1638948.672
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-1-CTLFireability-00 ( (EF( ((potential((tk(P72)>=1) & (tk(P498)>=1)))))) | (EU( ( ( ((potential((tk(P229)>=1) & (tk(P3)>=1)))) & ((potential((tk(P384)>=1) & (tk(P584)>=1)))) ) | ( ((potential((tk(P48)>=1) & (tk(P171)>=1)))) | ((potential((tk(P65)>=1) & (tk(P143)>=1)))) ) ) , (AX( ((potential((tk(P482)>=1) & (tk(P52)>=1)))))) )) )
PROPERTY: RERS17pb113-PT-1-CTLFireability-01 (AF( (AG( ((potential((tk(P388)>=1) & (tk(P515)>=1))))))))
PROPERTY: RERS17pb113-PT-1-CTLFireability-02 (! (EU( ( ((potential((tk(P360)>=1) & (tk(P459)>=1)))) | (! ((potential((tk(P206)>=1) & (tk(P615)>=1))))) ) , (AX( ((potential((tk(P578)>=1) & (tk(P241)>=1)))))) )))
PROPERTY: RERS17pb113-PT-1-CTLFireability-03 (AF( (EU( ( ((potential((tk(P332)>=1) & (tk(P430)>=1)))) & ((potential((tk(P448)>=1) & (tk(P59)>=1)))) ) , ( ((potential((tk(P501)>=1) & (tk(P409)>=1)))) | ((potential((tk(P550)>=1) & (tk(P530)>=1)))) ) ))))
PROPERTY: RERS17pb113-PT-1-CTLFireability-04 (EX( ( (! (EX( ((potential((tk(P504)>=1) & (tk(P275)>=1))))))) & (EF( ( ((potential((tk(P82)>=1) & (tk(P71)>=1)))) & ((potential((tk(P338)>=1) & (tk(P315)>=1)))) ))) )))
PROPERTY: RERS17pb113-PT-1-CTLFireability-05 ( (EU( (AF( ((potential((tk(P542)>=1) & (tk(P515)>=1)))))) , (EG( ((potential((tk(P247)>=1) & (tk(P364)>=1)))))) )) | ( (AU( (! ((potential((tk(P126)>=1) & (tk(P252)>=1))))) , ( ((potential((tk(P479)>=1) & (tk(P433)>=1)))) | ((potential((tk(P90)>=1) & (tk(P443)>=1)))) ) )) & (AG( ( (! ((potential((tk(P90)>=1) & (tk(P129)>=1))))) | ( ((potential((tk(P58)>=1) & (tk(P512)>=1)))) & ((potential((tk(P408)>=1) & (tk(P401)>=1)))) ) ))) ) )
PROPERTY: RERS17pb113-PT-1-CTLFireability-06 (! (! (EF( ( (! ((potential((tk(P118)>=1) & (tk(P148)>=1))))) & ( ((potential((tk(P306)>=1) & (tk(P530)>=1)))) | ((potential((tk(P582)>=1) & (tk(P248)>=1)))) ) )))))
PROPERTY: RERS17pb113-PT-1-CTLFireability-07 (EF( (AX( (EG( ((potential((tk(P94)>=1) & (tk(P35)>=1))))))))))
PROPERTY: RERS17pb113-PT-1-CTLFireability-08 (AF( ( ( (AF( ((potential((tk(P255)>=1) & (tk(P85)>=1)))))) & (EX( ((potential((tk(P193)>=1) & (tk(P230)>=1)))))) ) | (AF( ((potential((tk(P129)>=1) & (tk(P350)>=1)))))) )))
PROPERTY: RERS17pb113-PT-1-CTLFireability-09 ( ((potential((tk(P494)>=1) & (tk(P74)>=1)))) | (! (EF( ( ( ((potential((tk(P212)>=1) & (tk(P539)>=1)))) & ((potential((tk(P41)>=1) & (tk(P78)>=1)))) ) & ( ((potential((tk(P343)>=1) & (tk(P172)>=1)))) | ((potential((tk(P525)>=1) & (tk(P439)>=1)))) ) )))) )
PROPERTY: RERS17pb113-PT-1-CTLFireability-10 (EX( (AF( (AG( ((potential((tk(P632)>=1) & (tk(P517)>=1))))))))))
PROPERTY: RERS17pb113-PT-1-CTLFireability-11 (AF( (AF( (AG( ((potential((tk(P241)>=1) & (tk(P234)>=1))))))))))
PROPERTY: RERS17pb113-PT-1-CTLFireability-12 (AG( ( ( ( ( ((potential((tk(P91)>=1) & (tk(P49)>=1)))) | ((potential((tk(P360)>=1) & (tk(P17)>=1)))) ) & ( ((potential((tk(P526)>=1) & (tk(P427)>=1)))) | ((potential((tk(P111)>=1) & (tk(P290)>=1)))) ) ) | (EG( ((potential((tk(P196)>=1) & (tk(P38)>=1)))))) ) | (EF( ( ((potential((tk(P58)>=1) & (tk(P32)>=1)))) | ((potential((tk(P634)>=1) & (tk(P498)>=1)))) ))) )))
PROPERTY: RERS17pb113-PT-1-CTLFireability-13 (AU( (AX( ((potential((tk(P163)>=1) & (tk(P486)>=1)))))) , (! (EF( ((potential((tk(P201)>=1) & (tk(P181)>=1))))))) ))
PROPERTY: RERS17pb113-PT-1-CTLFireability-14 (AG( (AU( ( ((potential((tk(P45)>=1) & (tk(P617)>=1)))) & ((potential((tk(P391)>=1) & (tk(P137)>=1)))) ) , (! ((potential((tk(P170)>=1) & (tk(P551)>=1))))) ))))
PROPERTY: RERS17pb113-PT-1-CTLFireability-15 (EF( ( (AU( ((potential((tk(P306)>=1) & (tk(P35)>=1)))) , ((potential((tk(P176)>=1) & (tk(P142)>=1)))) )) & ( ( ( ((potential((tk(P45)>=1) & (tk(P113)>=1)))) & ((potential((tk(P234)>=1) & (tk(P58)>=1)))) ) & (! ((potential((tk(P576)>=1) & (tk(P524)>=1))))) ) | (EF( ((potential((tk(P596)>=1) & (tk(P225)>=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-1"
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-1, 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-158961502200004"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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