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

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

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

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

The expected result is a vector of booleans
BOOL_VECTOR

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

=== Now, execution of the tool begins

BK_START 1589678800345

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 7
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 2 NEW BEST:: SOT 12198369 SOS 7755304 HAS SOPS 6423599 HAS SOUS 3041854 HAS SOUPS 2941527 WITH SCORE 2949282.304
AT ITER 5 NEW BEST:: SOT 12202636 SOS 7772483 HAS SOPS 6438779 HAS SOUS 3040226 HAS SOUPS 2939899 WITH SCORE 2947671.483
AT ITER 9 NEW BEST:: SOT 12184144 SOS 7753445 HAS SOPS 6419894 HAS SOUS 3011121 HAS SOUPS 2910828 WITH SCORE 2918581.445
AT ITER 22 NEW BEST:: SOT 12183135 SOS 7751555 HAS SOPS 6418423 HAS SOUS 3010520 HAS SOUPS 2910270 WITH SCORE 2918021.555
AT ITER 33 NEW BEST:: SOT 12181910 SOS 7749494 HAS SOPS 6418924 HAS SOUS 3005829 HAS SOUPS 2906521 WITH SCORE 2914270.494
AT ITER 41 NEW BEST:: SOT 12180253 SOS 7750999 HAS SOPS 6419880 HAS SOUS 2997835 HAS SOUPS 2898606 WITH SCORE 2906356.999
AT ITER 57 NEW BEST:: SOT 12177668 SOS 7749790 HAS SOPS 6416473 HAS SOUS 2991280 HAS SOUPS 2892051 WITH SCORE 2899800.79
AT ITER 59 NEW BEST:: SOT 12181227 SOS 7765527 HAS SOPS 6433480 HAS SOUS 2984883 HAS SOUPS 2885817 WITH SCORE 2893582.527
AT ITER 66 NEW BEST:: SOT 12180601 SOS 7764230 HAS SOPS 6431399 HAS SOUS 2982395 HAS SOUPS 2883329 WITH SCORE 2891093.23
AT ITER 68 NEW BEST:: SOT 12183455 SOS 7776993 HAS SOPS 6444721 HAS SOUS 2977119 HAS SOUPS 2878169 WITH SCORE 2885945.993
AT ITER 69 NEW BEST:: SOT 12183059 SOS 7776589 HAS SOPS 6444305 HAS SOUS 2976121 HAS SOUPS 2877171 WITH SCORE 2884947.589
AT ITER 76 NEW BEST:: SOT 12185210 SOS 7783493 HAS SOPS 6459055 HAS SOUS 2972281 HAS SOUPS 2873830 WITH SCORE 2881613.493
AT ITER 87 NEW BEST:: SOT 12182407 SOS 7779214 HAS SOPS 6456663 HAS SOUS 2964640 HAS SOUPS 2866422 WITH SCORE 2874201.214
AT ITER 89 NEW BEST:: SOT 12182771 SOS 7780568 HAS SOPS 6456939 HAS SOUS 2963269 HAS SOUPS 2865051 WITH SCORE 2872831.568
AT ITER 92 NEW BEST:: SOT 12183941 SOS 7783745 HAS SOPS 6460022 HAS SOUS 2959324 HAS SOUPS 2861106 WITH SCORE 2868889.745
AT ITER 116 NEW BEST:: SOT 12198196 SOS 7798812 HAS SOPS 6475894 HAS SOUS 2959185 HAS SOUPS 2859923 WITH SCORE 2867721.812
AT ITER 121 NEW BEST:: SOT 12202230 SOS 7812522 HAS SOPS 6488368 HAS SOUS 2953922 HAS SOUPS 2854660 WITH SCORE 2862472.522
AT ITER 124 NEW BEST:: SOT 12200905 SOS 7811548 HAS SOPS 6487667 HAS SOUS 2950690 HAS SOUPS 2851428 WITH SCORE 2859239.548
AT ITER 128 NEW BEST:: SOT 12193201 SOS 7803808 HAS SOPS 6479387 HAS SOUS 2942186 HAS SOUPS 2842444 WITH SCORE 2850247.808
AT ITER 132 NEW BEST:: SOT 12194432 SOS 7809798 HAS SOPS 6486267 HAS SOUS 2939588 HAS SOUPS 2839919 WITH SCORE 2847728.798
AT ITER 147 NEW BEST:: SOT 12194254 SOS 7810126 HAS SOPS 6489790 HAS SOUS 2938048 HAS SOUPS 2838379 WITH SCORE 2846189.126
AT ITER 154 NEW BEST:: SOT 12194256 SOS 7810128 HAS SOPS 6489792 HAS SOUS 2938034 HAS SOUPS 2838365 WITH SCORE 2846175.128
AT ITER 156 NEW BEST:: SOT 12192473 SOS 7807672 HAS SOPS 6487124 HAS SOUS 2934700 HAS SOUPS 2835119 WITH SCORE 2842926.672
AT ITER 164 NEW BEST:: SOT 12195475 SOS 7814720 HAS SOPS 6493582 HAS SOUS 2933971 HAS SOUPS 2834390 WITH SCORE 2842204.72
AT ITER 171 NEW BEST:: SOT 12177528 SOS 7794674 HAS SOPS 6474003 HAS SOUS 2899180 HAS SOUPS 2799695 WITH SCORE 2807489.674
AT ITER 186 NEW BEST:: SOT 12176841 SOS 7793959 HAS SOPS 6472868 HAS SOUS 2897149 HAS SOUPS 2797664 WITH SCORE 2805457.959
AT ITER 190 NEW BEST:: SOT 12176663 SOS 7793919 HAS SOPS 6473549 HAS SOUS 2896933 HAS SOUPS 2797448 WITH SCORE 2805241.919
AT ITER 217 NEW BEST:: SOT 12176109 SOS 7795295 HAS SOPS 6474470 HAS SOUS 2892045 HAS SOUPS 2792560 WITH SCORE 2800355.295
AT ITER 230 NEW BEST:: SOT 12179665 SOS 7807592 HAS SOPS 6498900 HAS SOUS 2887238 HAS SOUPS 2787910 WITH SCORE 2795717.592
AT ITER 236 NEW BEST:: SOT 12179618 SOS 7807645 HAS SOPS 6498017 HAS SOUS 2886795 HAS SOUPS 2787467 WITH SCORE 2795274.645
AT ITER 247 NEW BEST:: SOT 12171131 SOS 7790478 HAS SOPS 6485583 HAS SOUS 2880159 HAS SOUPS 2780849 WITH SCORE 2788639.478
AT ITER 254 NEW BEST:: SOT 12177310 SOS 7801731 HAS SOPS 6494636 HAS SOUS 2878923 HAS SOUPS 2779613 WITH SCORE 2787414.731
AT ITER 271 NEW BEST:: SOT 12177250 SOS 7801577 HAS SOPS 6494537 HAS SOUS 2878462 HAS SOUPS 2779158 WITH SCORE 2786959.577
AT ITER 273 NEW BEST:: SOT 12178284 SOS 7802628 HAS SOPS 6496347 HAS SOUS 2877538 HAS SOUPS 2778234 WITH SCORE 2786036.628
AT ITER 289 NEW BEST:: SOT 12167788 SOS 7773405 HAS SOPS 6471498 HAS SOUS 2872175 HAS SOUPS 2773280 WITH SCORE 2781053.405
AT ITER 322 NEW BEST:: SOT 12169311 SOS 7777893 HAS SOPS 6475703 HAS SOUS 2869366 HAS SOUPS 2770471 WITH SCORE 2778248.893
AT ITER 324 NEW BEST:: SOT 12170041 SOS 7778611 HAS SOPS 6476241 HAS SOUS 2868432 HAS SOUPS 2769537 WITH SCORE 2777315.611
AT ITER 328 NEW BEST:: SOT 12178012 SOS 7798344 HAS SOPS 6494775 HAS SOUS 2868308 HAS SOUPS 2769413 WITH SCORE 2777211.344
AT ITER 330 NEW BEST:: SOT 12177531 SOS 7799725 HAS SOPS 6494254 HAS SOUS 2864696 HAS SOUPS 2765801 WITH SCORE 2773600.725
AT ITER 334 NEW BEST:: SOT 12187142 SOS 7833128 HAS SOPS 6521444 HAS SOUS 2852456 HAS SOUPS 2753561 WITH SCORE 2761394.128
AT ITER 336 NEW BEST:: SOT 12187110 SOS 7832728 HAS SOPS 6521407 HAS SOUS 2852266 HAS SOUPS 2753371 WITH SCORE 2761203.728
AT ITER 341 NEW BEST:: SOT 12185847 SOS 7831106 HAS SOPS 6519646 HAS SOUS 2850640 HAS SOUPS 2751802 WITH SCORE 2759633.106
AT ITER 345 NEW BEST:: SOT 12186642 SOS 7831717 HAS SOPS 6520210 HAS SOUS 2848904 HAS SOUPS 2750481 WITH SCORE 2758312.717
AT ITER 357 NEW BEST:: SOT 12186686 SOS 7831921 HAS SOPS 6520274 HAS SOUS 2848846 HAS SOUPS 2750415 WITH SCORE 2758246.921
AT ITER 363 NEW BEST:: SOT 12184284 SOS 7829519 HAS SOPS 6517872 HAS SOUS 2847120 HAS SOUPS 2748689 WITH SCORE 2756518.519
AT ITER 375 NEW BEST:: SOT 12183766 SOS 7830138 HAS SOPS 6516581 HAS SOUS 2845873 HAS SOUPS 2747442 WITH SCORE 2755272.138
AT ITER 381 NEW BEST:: SOT 12185688 SOS 7833679 HAS SOPS 6523870 HAS SOUS 2841076 HAS SOUPS 2742645 WITH SCORE 2750478.679
AT ITER 383 NEW BEST:: SOT 12182901 SOS 7830705 HAS SOPS 6522984 HAS SOUS 2839751 HAS SOUPS 2741320 WITH SCORE 2749150.705
AT ITER 391 NEW BEST:: SOT 12187667 SOS 7844003 HAS SOPS 6537070 HAS SOUS 2832807 HAS SOUPS 2734524 WITH SCORE 2742368.003
AT ITER 396 NEW BEST:: SOT 12186979 SOS 7842508 HAS SOPS 6537410 HAS SOUS 2828271 HAS SOUPS 2730422 WITH SCORE 2738264.508
AT ITER 402 NEW BEST:: SOT 12186963 SOS 7842334 HAS SOPS 6537165 HAS SOUS 2828244 HAS SOUPS 2730395 WITH SCORE 2738237.334
AT ITER 409 NEW BEST:: SOT 12186394 SOS 7841492 HAS SOPS 6536246 HAS SOUS 2826852 HAS SOUPS 2729032 WITH SCORE 2736873.492
AT ITER 411 NEW BEST:: SOT 12186834 SOS 7843011 HAS SOPS 6537957 HAS SOUS 2825922 HAS SOUPS 2728102 WITH SCORE 2735945.011
AT ITER 412 NEW BEST:: SOT 12186788 SOS 7843829 HAS SOPS 6538946 HAS SOUS 2824975 HAS SOUPS 2727155 WITH SCORE 2734998.829
AT ITER 451 NEW BEST:: SOT 12177800 SOS 7821494 HAS SOPS 6527773 HAS SOUS 2806325 HAS SOUPS 2708744 WITH SCORE 2716565.494
AT ITER 453 NEW BEST:: SOT 12177485 SOS 7820717 HAS SOPS 6527403 HAS SOUS 2805625 HAS SOUPS 2708319 WITH SCORE 2716139.717
AT ITER 457 NEW BEST:: SOT 12178511 SOS 7822274 HAS SOPS 6530337 HAS SOUS 2804724 HAS SOUPS 2707418 WITH SCORE 2715240.274
AT ITER 475 NEW BEST:: SOT 12177191 SOS 7819918 HAS SOPS 6528145 HAS SOUS 2802640 HAS SOUPS 2705334 WITH SCORE 2713153.918
AT ITER 502 NEW BEST:: SOT 12176323 SOS 7819050 HAS SOPS 6527277 HAS SOUS 2801772 HAS SOUPS 2704466 WITH SCORE 2712285.05
AT ITER 503 NEW BEST:: SOT 12162995 SOS 7801971 HAS SOPS 6510851 HAS SOUS 2783004 HAS SOUPS 2685698 WITH SCORE 2693499.971
AT ITER 506 NEW BEST:: SOT 12158417 SOS 7797561 HAS SOPS 6506537 HAS SOUS 2776882 HAS SOUPS 2679648 WITH SCORE 2687445.561
AT ITER 512 NEW BEST:: SOT 12157345 SOS 7800787 HAS SOPS 6509630 HAS SOUS 2767857 HAS SOUPS 2670623 WITH SCORE 2678423.787
AT ITER 514 NEW BEST:: SOT 12157165 SOS 7800602 HAS SOPS 6509370 HAS SOUS 2767317 HAS SOUPS 2670083 WITH SCORE 2677883.602
AT ITER 519 NEW BEST:: SOT 12155786 SOS 7796204 HAS SOPS 6506985 HAS SOUS 2766881 HAS SOUPS 2669647 WITH SCORE 2677443.204
AT ITER 522 NEW BEST:: SOT 12157969 SOS 7800708 HAS SOPS 6511835 HAS SOUS 2758874 HAS SOUPS 2661542 WITH SCORE 2669342.708
AT ITER 525 NEW BEST:: SOT 12154085 SOS 7795467 HAS SOPS 6509366 HAS SOUS 2743270 HAS SOUPS 2646100 WITH SCORE 2653895.467
AT ITER 526 NEW BEST:: SOT 12153345 SOS 7796017 HAS SOPS 6509158 HAS SOUS 2739785 HAS SOUPS 2642615 WITH SCORE 2650411.017
AT ITER 530 NEW BEST:: SOT 12152938 SOS 7795579 HAS SOPS 6508255 HAS SOUS 2737430 HAS SOUPS 2640260 WITH SCORE 2648055.579
AT ITER 534 NEW BEST:: SOT 12152880 SOS 7795410 HAS SOPS 6508414 HAS SOUS 2737105 HAS SOUPS 2639935 WITH SCORE 2647730.41
AT ITER 547 NEW BEST:: SOT 12153133 SOS 7794821 HAS SOPS 6506967 HAS SOUS 2735877 HAS SOUPS 2638707 WITH SCORE 2646501.821
AT ITER 548 NEW BEST:: SOT 12154163 SOS 7796469 HAS SOPS 6507797 HAS SOUS 2735334 HAS SOUPS 2638193 WITH SCORE 2645989.469
AT ITER 551 NEW BEST:: SOT 12154227 SOS 7795633 HAS SOPS 6509347 HAS SOUS 2734475 HAS SOUPS 2637406 WITH SCORE 2645201.633
AT ITER 555 NEW BEST:: SOT 12150168 SOS 7791624 HAS SOPS 6505115 HAS SOUS 2720162 HAS SOUPS 2623158 WITH SCORE 2630949.624
AT ITER 559 NEW BEST:: SOT 12149845 SOS 7792209 HAS SOPS 6506577 HAS SOUS 2717483 HAS SOUPS 2620479 WITH SCORE 2628271.209
AT ITER 573 NEW BEST:: SOT 12149696 SOS 7791393 HAS SOPS 6505589 HAS SOUS 2716985 HAS SOUPS 2619981 WITH SCORE 2627772.393
AT ITER 581 NEW BEST:: SOT 12146730 SOS 7780885 HAS SOPS 6499174 HAS SOUS 2705274 HAS SOUPS 2608881 WITH SCORE 2616661.885
AT ITER 585 NEW BEST:: SOT 12142729 SOS 7774850 HAS SOPS 6490737 HAS SOUS 2701307 HAS SOUPS 2604914 WITH SCORE 2612688.85
AT ITER 601 NEW BEST:: SOT 12139605 SOS 7771102 HAS SOPS 6487294 HAS SOUS 2695091 HAS SOUPS 2598742 WITH SCORE 2606513.102
AT ITER 610 NEW BEST:: SOT 12139679 SOS 7771218 HAS SOPS 6487290 HAS SOUS 2694889 HAS SOUPS 2598546 WITH SCORE 2606317.218
AT ITER 612 NEW BEST:: SOT 12139661 SOS 7771206 HAS SOPS 6487282 HAS SOUS 2694832 HAS SOUPS 2598489 WITH SCORE 2606260.206
AT ITER 630 NEW BEST:: SOT 12136444 SOS 7767694 HAS SOPS 6484314 HAS SOUS 2691005 HAS SOUPS 2594713 WITH SCORE 2602480.694
AT ITER 631 NEW BEST:: SOT 12135694 SOS 7765179 HAS SOPS 6482364 HAS SOUS 2690294 HAS SOUPS 2594042 WITH SCORE 2601807.179
AT ITER 646 NEW BEST:: SOT 12132470 SOS 7760317 HAS SOPS 6477177 HAS SOUS 2686999 HAS SOUPS 2590747 WITH SCORE 2598507.317
AT ITER 651 NEW BEST:: SOT 12132504 SOS 7760351 HAS SOPS 6477211 HAS SOUS 2686885 HAS SOUPS 2590633 WITH SCORE 2598393.351
AT ITER 654 NEW BEST:: SOT 12132554 SOS 7760510 HAS SOPS 6477071 HAS SOUS 2686802 HAS SOUPS 2590550 WITH SCORE 2598310.51
AT ITER 659 NEW BEST:: SOT 12132550 SOS 7760499 HAS SOPS 6477069 HAS SOUS 2686788 HAS SOUPS 2590538 WITH SCORE 2598298.499
AT ITER 660 NEW BEST:: SOT 12124392 SOS 7747036 HAS SOPS 6467215 HAS SOUS 2683017 HAS SOUPS 2587114 WITH SCORE 2594861.036
AT ITER 662 NEW BEST:: SOT 12122184 SOS 7744868 HAS SOPS 6465371 HAS SOUS 2678019 HAS SOUPS 2582116 WITH SCORE 2589860.868
AT ITER 669 NEW BEST:: SOT 12124986 SOS 7752474 HAS SOPS 6470518 HAS SOUS 2676413 HAS SOUPS 2580510 WITH SCORE 2588262.474
AT ITER 675 NEW BEST:: SOT 12123065 SOS 7749776 HAS SOPS 6467964 HAS SOUS 2675734 HAS SOUPS 2579789 WITH SCORE 2587538.776
AT ITER 691 NEW BEST:: SOT 12123270 SOS 7750057 HAS SOPS 6468021 HAS SOUS 2674676 HAS SOUPS 2578818 WITH SCORE 2586568.057
AT ITER 701 NEW BEST:: SOT 12123338 SOS 7750264 HAS SOPS 6468425 HAS SOUS 2673710 HAS SOUPS 2577969 WITH SCORE 2585719.264
AT ITER 706 NEW BEST:: SOT 12107960 SOS 7732182 HAS SOPS 6451261 HAS SOUS 2655709 HAS SOUPS 2560087 WITH SCORE 2567819.182
AT ITER 717 NEW BEST:: SOT 12112297 SOS 7737486 HAS SOPS 6457111 HAS SOUS 2654544 HAS SOUPS 2559054 WITH SCORE 2566791.486
AT ITER 718 NEW BEST:: SOT 12107558 SOS 7732784 HAS SOPS 6452319 HAS SOUS 2650644 HAS SOUPS 2555154 WITH SCORE 2562886.784
AT ITER 725 NEW BEST:: SOT 12118379 SOS 7725487 HAS SOPS 6446756 HAS SOUS 2647441 HAS SOUPS 2550026 WITH SCORE 2557751.487
AT ITER 730 NEW BEST:: SOT 12117175 SOS 7722139 HAS SOPS 6446917 HAS SOUS 2644866 HAS SOUPS 2547451 WITH SCORE 2555173.139
AT ITER 734 NEW BEST:: SOT 12117097 SOS 7722058 HAS SOPS 6446791 HAS SOUS 2644500 HAS SOUPS 2547085 WITH SCORE 2554807.058
AT ITER 735 NEW BEST:: SOT 12119601 SOS 7728848 HAS SOPS 6454186 HAS SOUS 2644147 HAS SOUPS 2546732 WITH SCORE 2554460.848
AT ITER 749 NEW BEST:: SOT 12104448 SOS 7713332 HAS SOPS 6436661 HAS SOUS 2617856 HAS SOUPS 2519629 WITH SCORE 2527342.332
AT ITER 750 NEW BEST:: SOT 12103900 SOS 7712879 HAS SOPS 6435973 HAS SOUS 2615487 HAS SOUPS 2517327 WITH SCORE 2525039.879
AT ITER 755 NEW BEST:: SOT 12106135 SOS 7715413 HAS SOPS 6440314 HAS SOUS 2612233 HAS SOUPS 2514877 WITH SCORE 2522592.413
AT ITER 762 NEW BEST:: SOT 12106111 SOS 7715330 HAS SOPS 6440225 HAS SOUS 2612220 HAS SOUPS 2514864 WITH SCORE 2522579.33
AT ITER 764 NEW BEST:: SOT 12107424 SOS 7717775 HAS SOPS 6441905 HAS SOUS 2609537 HAS SOUPS 2512364 WITH SCORE 2520081.775
AT ITER 784 NEW BEST:: SOT 12108735 SOS 7719718 HAS SOPS 6449613 HAS SOUS 2607993 HAS SOUPS 2510820 WITH SCORE 2518539.718
AT ITER 794 NEW BEST:: SOT 12108688 SOS 7719859 HAS SOPS 6450018 HAS SOUS 2607866 HAS SOUPS 2510693 WITH SCORE 2518412.859
AT ITER 814 NEW BEST:: SOT 12109245 SOS 7721637 HAS SOPS 6450286 HAS SOUS 2606897 HAS SOUPS 2509724 WITH SCORE 2517445.637
AT ITER 827 NEW BEST:: SOT 12108808 SOS 7721360 HAS SOPS 6449241 HAS SOUS 2605976 HAS SOUPS 2508803 WITH SCORE 2516524.36
AT ITER 828 NEW BEST:: SOT 12109026 SOS 7721366 HAS SOPS 6452183 HAS SOUS 2605299 HAS SOUPS 2508186 WITH SCORE 2515907.366
AT ITER 844 NEW BEST:: SOT 12115205 SOS 7739098 HAS SOPS 6470082 HAS SOUS 2599601 HAS SOUPS 2502488 WITH SCORE 2510227.098
AT ITER 854 NEW BEST:: SOT 12114406 SOS 7738255 HAS SOPS 6468813 HAS SOUS 2597724 HAS SOUPS 2500611 WITH SCORE 2508349.255
AT ITER 866 NEW BEST:: SOT 12113779 SOS 7737612 HAS SOPS 6468049 HAS SOUS 2596176 HAS SOUPS 2499183 WITH SCORE 2506920.612
AT ITER 867 NEW BEST:: SOT 12113774 SOS 7737460 HAS SOPS 6467868 HAS SOUS 2596133 HAS SOUPS 2499140 WITH SCORE 2506877.46
AT ITER 870 NEW BEST:: SOT 12106891 SOS 7728422 HAS SOPS 6461221 HAS SOUS 2590714 HAS SOUPS 2494460 WITH SCORE 2502188.422
AT ITER 875 NEW BEST:: SOT 12110554 SOS 7732059 HAS SOPS 6464124 HAS SOUS 2590081 HAS SOUPS 2493651 WITH SCORE 2501383.059
AT ITER 891 NEW BEST:: SOT 12113693 SOS 7744432 HAS SOPS 6481371 HAS SOUS 2579456 HAS SOUPS 2483026 WITH SCORE 2490770.432
AT ITER 897 NEW BEST:: SOT 12113647 SOS 7744383 HAS SOPS 6481293 HAS SOUS 2579323 HAS SOUPS 2482893 WITH SCORE 2490637.383
AT ITER 903 NEW BEST:: SOT 12103636 SOS 7725628 HAS SOPS 6464952 HAS SOUS 2566718 HAS SOUPS 2470346 WITH SCORE 2478071.628
AT ITER 909 NEW BEST:: SOT 12104060 SOS 7726038 HAS SOPS 6465376 HAS SOUS 2566695 HAS SOUPS 2470323 WITH SCORE 2478049.038
AT ITER 910 NEW BEST:: SOT 12103716 SOS 7724065 HAS SOPS 6464826 HAS SOUS 2566689 HAS SOUPS 2470317 WITH SCORE 2478041.065
AT ITER 917 NEW BEST:: SOT 12105138 SOS 7726991 HAS SOPS 6466905 HAS SOUS 2565453 HAS SOUPS 2469081 WITH SCORE 2476807.991
AT ITER 919 NEW BEST:: SOT 12102841 SOS 7724504 HAS SOPS 6462148 HAS SOUS 2559208 HAS SOUPS 2462817 WITH SCORE 2470541.504
AT ITER 929 NEW BEST:: SOT 12098870 SOS 7720295 HAS SOPS 6457464 HAS SOUS 2553241 HAS SOUPS 2456888 WITH SCORE 2464608.295
AT ITER 940 NEW BEST:: SOT 12095578 SOS 7716813 HAS SOPS 6454134 HAS SOUS 2549609 HAS SOUPS 2453221 WITH SCORE 2460937.813
AT ITER 941 NEW BEST:: SOT 12095171 SOS 7720829 HAS SOPS 6460220 HAS SOUS 2546907 HAS SOUPS 2450519 WITH SCORE 2458239.829
AT ITER 959 NEW BEST:: SOT 12095002 SOS 7720569 HAS SOPS 6459999 HAS SOUS 2546551 HAS SOUPS 2450176 WITH SCORE 2457896.569
AT ITER 961 NEW BEST:: SOT 12095324 SOS 7729927 HAS SOPS 6464669 HAS SOUS 2544236 HAS SOUPS 2447749 WITH SCORE 2455478.927
AT ITER 969 NEW BEST:: SOT 12096962 SOS 7735556 HAS SOPS 6471321 HAS SOUS 2543055 HAS SOUPS 2446568 WITH SCORE 2454303.556
AT ITER 972 NEW BEST:: SOT 12095324 SOS 7732608 HAS SOPS 6468176 HAS SOUS 2539497 HAS SOUPS 2443010 WITH SCORE 2450742.608
AT ITER 980 NEW BEST:: SOT 12095365 SOS 7732221 HAS SOPS 6471262 HAS SOUS 2538828 HAS SOUPS 2442341 WITH SCORE 2450073.221
AT ITER 985 NEW BEST:: SOT 12095055 SOS 7734142 HAS SOPS 6469295 HAS SOUS 2534414 HAS SOUPS 2437852 WITH SCORE 2445586.142
AT ITER 1008 NEW BEST:: SOT 12094473 SOS 7732944 HAS SOPS 6468039 HAS SOUS 2533410 HAS SOUPS 2436856 WITH SCORE 2444588.944
AT ITER 1042 NEW BEST:: SOT 12089876 SOS 7728264 HAS SOPS 6463361 HAS SOUS 2529691 HAS SOUPS 2433139 WITH SCORE 2440867.264
AT ITER 1048 NEW BEST:: SOT 12089861 SOS 7728201 HAS SOPS 6463294 HAS SOUS 2529681 HAS SOUPS 2433129 WITH SCORE 2440857.201
AT ITER 1053 NEW BEST:: SOT 12091350 SOS 7733792 HAS SOPS 6466585 HAS SOUS 2521829 HAS SOUPS 2425277 WITH SCORE 2433010.792
AT ITER 1058 NEW BEST:: SOT 12087252 SOS 7722935 HAS SOPS 6458493 HAS SOUS 2517384 HAS SOUPS 2420856 WITH SCORE 2428578.935
AT ITER 1081 NEW BEST:: SOT 12087581 SOS 7724954 HAS SOPS 6462125 HAS SOUS 2514533 HAS SOUPS 2418088 WITH SCORE 2425812.954
AT ITER 1102 NEW BEST:: SOT 12087903 SOS 7726797 HAS SOPS 6462073 HAS SOUS 2513726 HAS SOUPS 2417281 WITH SCORE 2425007.797
AT ITER 1105 NEW BEST:: SOT 12087256 SOS 7726250 HAS SOPS 6461366 HAS SOUS 2511947 HAS SOUPS 2415502 WITH SCORE 2423228.25
AT ITER 1114 NEW BEST:: SOT 12087747 SOS 7726982 HAS SOPS 6460187 HAS SOUS 2508757 HAS SOUPS 2412274 WITH SCORE 2420000.982
AT ITER 1127 NEW BEST:: SOT 12086110 SOS 7716293 HAS SOPS 6447655 HAS SOUS 2505106 HAS SOUPS 2408623 WITH SCORE 2416339.293
AT ITER 1132 NEW BEST:: SOT 12075216 SOS 7697661 HAS SOPS 6430370 HAS SOUS 2489239 HAS SOUPS 2392876 WITH SCORE 2400573.661
AT ITER 1146 NEW BEST:: SOT 12075208 SOS 7697695 HAS SOPS 6430360 HAS SOUS 2489223 HAS SOUPS 2392859 WITH SCORE 2400556.695
AT ITER 1157 NEW BEST:: SOT 12075111 SOS 7697597 HAS SOPS 6430231 HAS SOUS 2489030 HAS SOUPS 2392666 WITH SCORE 2400363.597
AT ITER 1158 NEW BEST:: SOT 12077915 SOS 7698814 HAS SOPS 6430937 HAS SOUS 2488584 HAS SOUPS 2392220 WITH SCORE 2399918.814
AT ITER 1159 NEW BEST:: SOT 12072091 SOS 7680886 HAS SOPS 6410803 HAS SOUS 2486431 HAS SOUPS 2390067 WITH SCORE 2397747.886
AT ITER 1169 NEW BEST:: SOT 12074258 SOS 7683016 HAS SOPS 6412967 HAS SOUS 2485493 HAS SOUPS 2389129 WITH SCORE 2396812.016
AT ITER 1172 NEW BEST:: SOT 12077467 SOS 7697125 HAS SOPS 6424633 HAS SOUS 2484539 HAS SOUPS 2388175 WITH SCORE 2395872.125
AT ITER 1175 NEW BEST:: SOT 12075592 SOS 7693722 HAS SOPS 6420747 HAS SOUS 2476793 HAS SOUPS 2380459 WITH SCORE 2388152.722
AT ITER 1176 NEW BEST:: SOT 12075614 SOS 7693868 HAS SOPS 6420178 HAS SOUS 2475722 HAS SOUPS 2379388 WITH SCORE 2387081.868
AT ITER 1179 NEW BEST:: SOT 12076196 SOS 7695404 HAS SOPS 6422013 HAS SOUS 2475662 HAS SOUPS 2379354 WITH SCORE 2387049.404
AT ITER 1180 NEW BEST:: SOT 12075886 SOS 7695136 HAS SOPS 6421209 HAS SOUS 2474404 HAS SOUPS 2378096 WITH SCORE 2385791.136
AT ITER 1182 NEW BEST:: SOT 12075946 SOS 7698481 HAS SOPS 6421080 HAS SOUS 2471239 HAS SOUPS 2374931 WITH SCORE 2382629.481
AT ITER 1196 NEW BEST:: SOT 12074789 SOS 7697344 HAS SOPS 6419507 HAS SOUS 2468078 HAS SOUPS 2371770 WITH SCORE 2379467.344
AT ITER 1197 NEW BEST:: SOT 12074529 SOS 7694918 HAS SOPS 6416926 HAS SOUS 2467550 HAS SOUPS 2371242 WITH SCORE 2378936.918
AT ITER 1198 NEW BEST:: SOT 12076366 SOS 7698777 HAS SOPS 6421906 HAS SOUS 2461879 HAS SOUPS 2365571 WITH SCORE 2373269.777
AT ITER 1209 NEW BEST:: SOT 12075726 SOS 7698286 HAS SOPS 6421437 HAS SOUS 2459876 HAS SOUPS 2363590 WITH SCORE 2371288.286
AT ITER 1215 NEW BEST:: SOT 12072007 SOS 7698354 HAS SOPS 6416271 HAS SOUS 2444993 HAS SOUPS 2348608 WITH SCORE 2356306.354
AT ITER 1219 NEW BEST:: SOT 12075108 SOS 7703079 HAS SOPS 6421725 HAS SOUS 2439863 HAS SOUPS 2343478 WITH SCORE 2351181.079
AT ITER 1228 NEW BEST:: SOT 12075102 SOS 7702728 HAS SOPS 6421478 HAS SOUS 2439843 HAS SOUPS 2343458 WITH SCORE 2351160.728
AT ITER 1235 NEW BEST:: SOT 12074590 SOS 7702022 HAS SOPS 6420889 HAS SOUS 2438419 HAS SOUPS 2342119 WITH SCORE 2349821.022
AT ITER 1238 NEW BEST:: SOT 12075370 SOS 7703056 HAS SOPS 6421023 HAS SOUS 2436905 HAS SOUPS 2340605 WITH SCORE 2348308.056
AT ITER 1239 NEW BEST:: SOT 12077617 SOS 7705303 HAS SOPS 6422710 HAS SOUS 2436784 HAS SOUPS 2340468 WITH SCORE 2348173.303
AT ITER 1259 NEW BEST:: SOT 12068766 SOS 7697033 HAS SOPS 6413967 HAS SOUS 2430216 HAS SOUPS 2333839 WITH SCORE 2341536.033
AT ITER 1265 NEW BEST:: SOT 12068741 SOS 7697008 HAS SOPS 6413942 HAS SOUS 2430151 HAS SOUPS 2333774 WITH SCORE 2341471.008
AT ITER 1267 NEW BEST:: SOT 12065493 SOS 7693803 HAS SOPS 6410978 HAS SOUS 2429239 HAS SOUPS 2332862 WITH SCORE 2340555.803
AT ITER 1276 NEW BEST:: SOT 12086031 SOS 7716027 HAS SOPS 6428282 HAS SOUS 2422223 HAS SOUPS 2325884 WITH SCORE 2333600.027
AT ITER 1278 NEW BEST:: SOT 12089243 SOS 7721773 HAS SOPS 6431450 HAS SOUS 2422100 HAS SOUPS 2325761 WITH SCORE 2333482.773
AT ITER 1279 NEW BEST:: SOT 12085340 SOS 7717863 HAS SOPS 6427072 HAS SOUS 2417581 HAS SOUPS 2321199 WITH SCORE 2328916.863
AT ITER 1285 NEW BEST:: SOT 12092373 SOS 7730224 HAS SOPS 6438465 HAS SOUS 2416750 HAS SOUPS 2320518 WITH SCORE 2328248.224
AT ITER 1296 NEW BEST:: SOT 12090883 SOS 7728660 HAS SOPS 6436590 HAS SOUS 2413307 HAS SOUPS 2317077 WITH SCORE 2324805.66
AT ITER 1321 NEW BEST:: SOT 12091273 SOS 7728864 HAS SOPS 6435781 HAS SOUS 2412073 HAS SOUPS 2315872 WITH SCORE 2323600.864
AT ITER 1331 NEW BEST:: SOT 12090971 SOS 7728846 HAS SOPS 6436016 HAS SOUS 2405082 HAS SOUPS 2308881 WITH SCORE 2316609.846
AT ITER 1333 NEW BEST:: SOT 12094748 SOS 7736973 HAS SOPS 6441445 HAS SOUS 2404919 HAS SOUPS 2308738 WITH SCORE 2316474.973
AT ITER 1334 NEW BEST:: SOT 12093540 SOS 7735765 HAS SOPS 6439949 HAS SOUS 2401975 HAS SOUPS 2305890 WITH SCORE 2313625.765
AT ITER 1346 NEW BEST:: SOT 12093463 SOS 7737153 HAS SOPS 6439845 HAS SOUS 2397074 HAS SOUPS 2300989 WITH SCORE 2308726.153
AT ITER 1348 NEW BEST:: SOT 12093812 SOS 7739652 HAS SOPS 6440079 HAS SOUS 2392393 HAS SOUPS 2296291 WITH SCORE 2304030.652
AT ITER 1349 NEW BEST:: SOT 12094754 SOS 7739904 HAS SOPS 6441766 HAS SOUS 2388431 HAS SOUPS 2292216 WITH SCORE 2299955.904
AT ITER 1353 NEW BEST:: SOT 12094911 SOS 7740471 HAS SOPS 6442588 HAS SOUS 2388405 HAS SOUPS 2292190 WITH SCORE 2299930.471
AT ITER 1358 NEW BEST:: SOT 12094874 SOS 7740558 HAS SOPS 6442537 HAS SOUS 2388274 HAS SOUPS 2292059 WITH SCORE 2299799.558
AT ITER 1386 NEW BEST:: SOT 12094859 SOS 7740543 HAS SOPS 6442522 HAS SOUS 2388259 HAS SOUPS 2292044 WITH SCORE 2299784.543
AT ITER 1393 NEW BEST:: SOT 12083369 SOS 7716260 HAS SOPS 6425371 HAS SOUS 2381918 HAS SOUPS 2285813 WITH SCORE 2293529.26
AT ITER 1394 NEW BEST:: SOT 12075152 SOS 7704773 HAS SOPS 6414379 HAS SOUS 2365854 HAS SOUPS 2269749 WITH SCORE 2277453.773
AT ITER 1397 NEW BEST:: SOT 12075538 SOS 7702000 HAS SOPS 6413082 HAS SOUS 2365745 HAS SOUPS 2269640 WITH SCORE 2277342.0
AT ITER 1411 NEW BEST:: SOT 12071180 SOS 7697731 HAS SOPS 6408556 HAS SOUS 2363029 HAS SOUPS 2266857 WITH SCORE 2274554.731
AT ITER 1412 NEW BEST:: SOT 12071767 SOS 7699521 HAS SOPS 6410785 HAS SOUS 2362871 HAS SOUPS 2266699 WITH SCORE 2274398.521
AT ITER 1413 NEW BEST:: SOT 12069087 SOS 7695271 HAS SOPS 6406659 HAS SOUS 2362563 HAS SOUPS 2266391 WITH SCORE 2274086.271
AT ITER 1414 NEW BEST:: SOT 12069070 SOS 7695174 HAS SOPS 6406602 HAS SOUS 2362505 HAS SOUPS 2266333 WITH SCORE 2274028.174
AT ITER 1417 NEW BEST:: SOT 12068600 SOS 7695368 HAS SOPS 6406094 HAS SOUS 2359571 HAS SOUPS 2263399 WITH SCORE 2271094.368
AT ITER 1429 NEW BEST:: SOT 12068294 SOS 7693984 HAS SOPS 6406354 HAS SOUS 2359272 HAS SOUPS 2263100 WITH SCORE 2270793.984
AT ITER 1434 NEW BEST:: SOT 12068353 SOS 7693719 HAS SOPS 6405839 HAS SOUS 2359101 HAS SOUPS 2262929 WITH SCORE 2270622.719
AT ITER 1444 NEW BEST:: SOT 12067383 SOS 7692569 HAS SOPS 6404312 HAS SOUS 2357241 HAS SOUPS 2261082 WITH SCORE 2268774.569
AT ITER 1449 NEW BEST:: SOT 12067383 SOS 7692679 HAS SOPS 6404442 HAS SOUS 2357213 HAS SOUPS 2261054 WITH SCORE 2268746.679
AT ITER 1452 NEW BEST:: SOT 12067303 SOS 7692599 HAS SOPS 6404346 HAS SOUS 2357037 HAS SOUPS 2260878 WITH SCORE 2268570.599
AT ITER 1465 NEW BEST:: SOT 12067054 SOS 7692154 HAS SOPS 6404420 HAS SOUS 2356241 HAS SOUPS 2260082 WITH SCORE 2267774.154
AT ITER 1470 NEW BEST:: SOT 12064085 SOS 7687437 HAS SOPS 6399420 HAS SOUS 2343189 HAS SOUPS 2247030 WITH SCORE 2254717.437
AT ITER 1481 NEW BEST:: SOT 12063883 SOS 7687095 HAS SOPS 6399652 HAS SOUS 2342693 HAS SOUPS 2246576 WITH SCORE 2254263.095
AT ITER 1487 NEW BEST:: SOT 12063158 SOS 7686672 HAS SOPS 6399175 HAS SOUS 2340944 HAS SOUPS 2244827 WITH SCORE 2252513.672
AT ITER 1491 NEW BEST:: SOT 12063010 SOS 7686817 HAS SOPS 6398974 HAS SOUS 2340733 HAS SOUPS 2244616 WITH SCORE 2252302.817
AT ITER 1499 NEW BEST:: SOT 12062984 SOS 7686817 HAS SOPS 6398970 HAS SOUS 2340638 HAS SOUPS 2244521 WITH SCORE 2252207.817
AT ITER 1535 NEW BEST:: SOT 12062575 SOS 7686408 HAS SOPS 6398353 HAS SOUS 2338709 HAS SOUPS 2242592 WITH SCORE 2250278.408
AT ITER 1543 NEW BEST:: SOT 12060945 SOS 7684801 HAS SOPS 6396723 HAS SOUS 2336522 HAS SOUPS 2240382 WITH SCORE 2248066.801
AT ITER 1548 NEW BEST:: SOT 12061411 SOS 7685152 HAS SOPS 6396308 HAS SOUS 2334405 HAS SOUPS 2238265 WITH SCORE 2245950.152
AT ITER 1558 NEW BEST:: SOT 12062130 SOS 7684043 HAS SOPS 6393287 HAS SOUS 2333007 HAS SOUPS 2236963 WITH SCORE 2244647.043
AT ITER 1561 NEW BEST:: SOT 12061891 SOS 7683374 HAS SOPS 6392868 HAS SOUS 2332958 HAS SOUPS 2236919 WITH SCORE 2244602.374
AT ITER 1563 NEW BEST:: SOT 12061188 SOS 7682273 HAS SOPS 6392089 HAS SOUS 2332581 HAS SOUPS 2236528 WITH SCORE 2244210.273
AT ITER 1565 NEW BEST:: SOT 12060567 SOS 7681670 HAS SOPS 6391843 HAS SOUS 2331055 HAS SOUPS 2235002 WITH SCORE 2242683.67
AT ITER 1571 NEW BEST:: SOT 12060207 SOS 7681966 HAS SOPS 6392261 HAS SOUS 2329993 HAS SOUPS 2233940 WITH SCORE 2241621.966
AT ITER 1580 NEW BEST:: SOT 12058026 SOS 7679533 HAS SOPS 6388754 HAS SOUS 2325191 HAS SOUPS 2229174 WITH SCORE 2236853.533
AT ITER 1596 NEW BEST:: SOT 12057435 SOS 7678728 HAS SOPS 6388503 HAS SOUS 2324958 HAS SOUPS 2228941 WITH SCORE 2236619.728
AT ITER 1600 NEW BEST:: SOT 12057259 SOS 7678516 HAS SOPS 6388307 HAS SOUS 2324526 HAS SOUPS 2228561 WITH SCORE 2236239.516
AT ITER 1601 NEW BEST:: SOT 12057170 SOS 7678734 HAS SOPS 6390738 HAS SOUS 2324509 HAS SOUPS 2228544 WITH SCORE 2236222.734
AT ITER 1612 NEW BEST:: SOT 12058226 SOS 7681404 HAS SOPS 6395087 HAS SOUS 2323345 HAS SOUPS 2227380 WITH SCORE 2235061.404
AT ITER 1616 NEW BEST:: SOT 12057400 SOS 7668789 HAS SOPS 6390144 HAS SOUS 2310629 HAS SOUPS 2214695 WITH SCORE 2222363.789
AT ITER 1620 NEW BEST:: SOT 12057303 SOS 7668580 HAS SOPS 6389913 HAS SOUS 2310536 HAS SOUPS 2214602 WITH SCORE 2222270.58
AT ITER 1622 NEW BEST:: SOT 12057458 SOS 7668892 HAS SOPS 6389728 HAS SOUS 2309940 HAS SOUPS 2214006 WITH SCORE 2221674.892
AT ITER 1632 NEW BEST:: SOT 12051675 SOS 7664346 HAS SOPS 6380628 HAS SOUS 2292168 HAS SOUPS 2196234 WITH SCORE 2203898.346
AT ITER 1637 NEW BEST:: SOT 12053229 SOS 7670656 HAS SOPS 6388143 HAS SOUS 2291096 HAS SOUPS 2195162 WITH SCORE 2202832.656
AT ITER 1639 NEW BEST:: SOT 12053323 SOS 7670750 HAS SOPS 6388434 HAS SOUS 2291032 HAS SOUPS 2195098 WITH SCORE 2202768.75
AT ITER 1641 NEW BEST:: SOT 12053357 SOS 7669031 HAS SOPS 6383673 HAS SOUS 2275940 HAS SOUPS 2180156 WITH SCORE 2187825.031
AT ITER 1653 NEW BEST:: SOT 12053702 SOS 7668791 HAS SOPS 6382489 HAS SOUS 2274145 HAS SOUPS 2178361 WITH SCORE 2186029.791
AT ITER 1661 NEW BEST:: SOT 12055417 SOS 7670886 HAS SOPS 6384870 HAS SOUS 2272361 HAS SOUPS 2176798 WITH SCORE 2184468.886
AT ITER 1664 NEW BEST:: SOT 12061748 SOS 7686638 HAS SOPS 6397456 HAS SOUS 2270942 HAS SOUPS 2175565 WITH SCORE 2183251.638
AT ITER 1674 NEW BEST:: SOT 12061808 SOS 7686818 HAS SOPS 6397796 HAS SOUS 2270852 HAS SOUPS 2175475 WITH SCORE 2183161.818
AT ITER 1677 NEW BEST:: SOT 12061291 SOS 7686692 HAS SOPS 6397334 HAS SOUS 2268053 HAS SOUPS 2172676 WITH SCORE 2180362.692
AT ITER 1684 NEW BEST:: SOT 12058079 SOS 7680594 HAS SOPS 6395906 HAS SOUS 2267799 HAS SOUPS 2172434 WITH SCORE 2180114.594
AT ITER 1686 NEW BEST:: SOT 12055301 SOS 7677423 HAS SOPS 6392950 HAS SOUS 2264776 HAS SOUPS 2169541 WITH SCORE 2177218.423
AT ITER 1693 NEW BEST:: SOT 12054857 SOS 7677051 HAS SOPS 6392808 HAS SOUS 2263684 HAS SOUPS 2168484 WITH SCORE 2176161.051
AT ITER 1711 NEW BEST:: SOT 12052317 SOS 7671551 HAS SOPS 6388285 HAS SOUS 2263462 HAS SOUPS 2168211 WITH SCORE 2175882.551
AT ITER 1739 NEW BEST:: SOT 12089692 SOS 7700462 HAS SOPS 6413077 HAS SOUS 2248694 HAS SOUPS 2153808 WITH SCORE 2161508.462
AT ITER 1769 NEW BEST:: SOT 12088781 SOS 7699673 HAS SOPS 6411626 HAS SOUS 2245815 HAS SOUPS 2150913 WITH SCORE 2158612.673
AT ITER 1771 NEW BEST:: SOT 12091035 SOS 7702404 HAS SOPS 6415885 HAS SOUS 2242247 HAS SOUPS 2148818 WITH SCORE 2156520.404
AT ITER 1799 NEW BEST:: SOT 12087935 SOS 7699304 HAS SOPS 6412785 HAS SOUS 2239271 HAS SOUPS 2145842 WITH SCORE 2153541.304
AT ITER 1805 NEW BEST:: SOT 12090432 SOS 7703026 HAS SOPS 6415733 HAS SOUS 2238810 HAS SOUPS 2145395 WITH SCORE 2153098.026
AT ITER 1818 NEW BEST:: SOT 12085345 SOS 7687649 HAS SOPS 6408244 HAS SOUS 2237052 HAS SOUPS 2143637 WITH SCORE 2151324.649
AT ITER 1824 NEW BEST:: SOT 12080941 SOS 7681186 HAS SOPS 6400487 HAS SOUS 2216613 HAS SOUPS 2123323 WITH SCORE 2131004.186
AT ITER 1844 NEW BEST:: SOT 12076421 SOS 7676931 HAS SOPS 6408136 HAS SOUS 2214254 HAS SOUPS 2120964 WITH SCORE 2128640.931
AT ITER 1850 NEW BEST:: SOT 12075682 SOS 7675409 HAS SOPS 6407347 HAS SOUS 2212729 HAS SOUPS 2120342 WITH SCORE 2128017.409
AT ITER 1857 NEW BEST:: SOT 12075455 SOS 7677526 HAS SOPS 6410439 HAS SOUS 2211890 HAS SOUPS 2119503 WITH SCORE 2127180.526
AT ITER 1901 NEW BEST:: SOT 12074759 SOS 7676830 HAS SOPS 6409279 HAS SOUS 2208806 HAS SOUPS 2116419 WITH SCORE 2124095.83
AT ITER 1937 NEW BEST:: SOT 12077052 SOS 7674093 HAS SOPS 6407203 HAS SOUS 2207226 HAS SOUPS 2114888 WITH SCORE 2122562.093
AT ITER 1949 NEW BEST:: SOT 12076380 SOS 7671509 HAS SOPS 6400084 HAS SOUS 2206602 HAS SOUPS 2114151 WITH SCORE 2121822.509
AT ITER 1960 NEW BEST:: SOT 12076446 SOS 7672894 HAS SOPS 6402593 HAS SOUS 2206444 HAS SOUPS 2113993 WITH SCORE 2121665.894
AT ITER 1962 NEW BEST:: SOT 12067149 SOS 7658789 HAS SOPS 6389537 HAS SOUS 2194115 HAS SOUPS 2101713 WITH SCORE 2109371.789
AT ITER 1967 NEW BEST:: SOT 12061851 SOS 7653491 HAS SOPS 6384079 HAS SOUS 2192417 HAS SOUPS 2100015 WITH SCORE 2107668.491
AT ITER 1972 NEW BEST:: SOT 12061808 SOS 7653780 HAS SOPS 6383626 HAS SOUS 2189401 HAS SOUPS 2096999 WITH SCORE 2104652.78
AT ITER 1979 NEW BEST:: SOT 12073280 SOS 7662501 HAS SOPS 6401100 HAS SOUS 2187403 HAS SOUPS 2095366 WITH SCORE 2103028.501
AT ITER 1987 NEW BEST:: SOT 12073722 SOS 7665982 HAS SOPS 6401383 HAS SOUS 2187200 HAS SOUPS 2095163 WITH SCORE 2102828.982
AT ITER 2008 NEW BEST:: SOT 12072667 SOS 7663076 HAS SOPS 6398537 HAS SOUS 2186565 HAS SOUPS 2094528 WITH SCORE 2102191.076
AT ITER 2025 NEW BEST:: SOT 12073183 SOS 7663756 HAS SOPS 6402258 HAS SOUS 2185648 HAS SOUPS 2093611 WITH SCORE 2101274.756
AT ITER 2026 NEW BEST:: SOT 12071705 SOS 7658532 HAS SOPS 6398378 HAS SOUS 2185119 HAS SOUPS 2093082 WITH SCORE 2100740.532
AT ITER 2032 NEW BEST:: SOT 12072844 SOS 7659658 HAS SOPS 6397287 HAS SOUS 2181160 HAS SOUPS 2088765 WITH SCORE 2096424.658
AT ITER 2039 NEW BEST:: SOT 12072608 SOS 7667411 HAS SOPS 6406276 HAS SOUS 2171696 HAS SOUPS 2079509 WITH SCORE 2087176.411
AT ITER 2045 NEW BEST:: SOT 12072618 SOS 7666724 HAS SOPS 6405106 HAS SOUS 2171530 HAS SOUPS 2079343 WITH SCORE 2087009.724
AT ITER 2065 NEW BEST:: SOT 12070320 SOS 7663960 HAS SOPS 6401651 HAS SOUS 2170030 HAS SOUPS 2077881 WITH SCORE 2085544.96
AT ITER 2072 NEW BEST:: SOT 12060432 SOS 7647785 HAS SOPS 6386783 HAS SOUS 2157874 HAS SOUPS 2065834 WITH SCORE 2073481.785
AT ITER 2084 NEW BEST:: SOT 12060463 SOS 7647816 HAS SOPS 6386254 HAS SOUS 2154793 HAS SOUPS 2062753 WITH SCORE 2070400.816
AT ITER 2087 NEW BEST:: SOT 12060355 SOS 7647642 HAS SOPS 6386122 HAS SOUS 2154730 HAS SOUPS 2062687 WITH SCORE 2070334.642
AT ITER 2102 NEW BEST:: SOT 12056829 SOS 7641782 HAS SOPS 6380267 HAS SOUS 2147315 HAS SOUPS 2055330 WITH SCORE 2062971.782
AT ITER 2108 NEW BEST:: SOT 12056590 SOS 7641538 HAS SOPS 6379893 HAS SOUS 2146986 HAS SOUPS 2055001 WITH SCORE 2062642.538
AT ITER 2125 NEW BEST:: SOT 12056525 SOS 7641437 HAS SOPS 6379594 HAS SOUS 2146315 HAS SOUPS 2054336 WITH SCORE 2061977.437
AT ITER 2126 NEW BEST:: SOT 12054673 SOS 7637193 HAS SOPS 6377067 HAS SOUS 2142779 HAS SOUPS 2051314 WITH SCORE 2058951.193
AT ITER 2132 NEW BEST:: SOT 12054973 SOS 7637455 HAS SOPS 6382381 HAS SOUS 2138977 HAS SOUPS 2047651 WITH SCORE 2055288.455
AT ITER 2134 NEW BEST:: SOT 12050552 SOS 7631076 HAS SOPS 6378725 HAS SOUS 2133451 HAS SOUPS 2043247 WITH SCORE 2050878.076
AT ITER 2157 NEW BEST:: SOT 12057230 SOS 7645680 HAS SOPS 6396220 HAS SOUS 2125766 HAS SOUPS 2036091 WITH SCORE 2043736.68
AT ITER 2161 NEW BEST:: SOT 12057145 SOS 7646547 HAS SOPS 6396986 HAS SOUS 2123662 HAS SOUPS 2034029 WITH SCORE 2041675.547
AT ITER 2164 NEW BEST:: SOT 12055973 SOS 7647798 HAS SOPS 6399653 HAS SOUS 2122786 HAS SOUPS 2033153 WITH SCORE 2040800.798
AT ITER 2169 NEW BEST:: SOT 12055111 SOS 7645634 HAS SOPS 6397399 HAS SOUS 2120148 HAS SOUPS 2030643 WITH SCORE 2038288.634
AT ITER 2177 NEW BEST:: SOT 12054263 SOS 7644926 HAS SOPS 6396551 HAS SOUS 2119064 HAS SOUPS 2029527 WITH SCORE 2037171.926
AT ITER 2178 NEW BEST:: SOT 12058959 SOS 7646194 HAS SOPS 6393212 HAS SOUS 2113729 HAS SOUPS 2024192 WITH SCORE 2031838.194
AT ITER 2202 NEW BEST:: SOT 12055258 SOS 7642380 HAS SOPS 6389327 HAS SOUS 2109745 HAS SOUPS 2020134 WITH SCORE 2027776.38
AT ITER 2209 NEW BEST:: SOT 12058232 SOS 7645354 HAS SOPS 6391389 HAS SOUS 2108779 HAS SOUPS 2019152 WITH SCORE 2026797.354
AT ITER 2216 NEW BEST:: SOT 12056584 SOS 7643198 HAS SOPS 6391546 HAS SOUS 2106696 HAS SOUPS 2017069 WITH SCORE 2024712.198
AT ITER 2220 NEW BEST:: SOT 12057127 SOS 7644951 HAS SOPS 6392862 HAS SOUS 2106363 HAS SOUPS 2016736 WITH SCORE 2024380.951
AT ITER 2226 NEW BEST:: SOT 12050082 SOS 7635105 HAS SOPS 6385413 HAS SOUS 2105933 HAS SOUPS 2016306 WITH SCORE 2023941.105
AT ITER 2229 NEW BEST:: SOT 12047773 SOS 7632870 HAS SOPS 6384323 HAS SOUS 2102314 HAS SOUPS 2014392 WITH SCORE 2022024.87
AT ITER 2236 NEW BEST:: SOT 12046460 SOS 7628354 HAS SOPS 6381051 HAS SOUS 2100448 HAS SOUPS 2012844 WITH SCORE 2020472.354
AT ITER 2248 NEW BEST:: SOT 12049955 SOS 7637638 HAS SOPS 6390077 HAS SOUS 2099508 HAS SOUPS 2011904 WITH SCORE 2019541.638
AT ITER 2263 NEW BEST:: SOT 12050298 SOS 7637952 HAS SOPS 6390420 HAS SOUS 2098796 HAS SOUPS 2011192 WITH SCORE 2018829.952
AT ITER 2275 NEW BEST:: SOT 12047211 SOS 7634098 HAS SOPS 6384494 HAS SOUS 2095649 HAS SOUPS 2008124 WITH SCORE 2015758.098
AT ITER 2278 NEW BEST:: SOT 12047016 SOS 7631950 HAS SOPS 6384326 HAS SOUS 2094915 HAS SOUPS 2007390 WITH SCORE 2015021.95
AT ITER 2301 NEW BEST:: SOT 12047452 SOS 7633983 HAS SOPS 6386762 HAS SOUS 2094639 HAS SOUPS 2007114 WITH SCORE 2014747.983
AT ITER 2310 NEW BEST:: SOT 12047132 SOS 7633663 HAS SOPS 6385930 HAS SOUS 2092099 HAS SOUPS 2004574 WITH SCORE 2012207.663
AT ITER 2352 NEW BEST:: SOT 12045640 SOS 7632105 HAS SOPS 6384344 HAS SOUS 2088699 HAS SOUPS 2001174 WITH SCORE 2008806.105
AT ITER 2356 NEW BEST:: SOT 12055228 SOS 7639172 HAS SOPS 6389139 HAS SOUS 2088029 HAS SOUPS 2000504 WITH SCORE 2008143.172
AT ITER 2372 NEW BEST:: SOT 12053705 SOS 7636107 HAS SOPS 6387057 HAS SOUS 2087846 HAS SOUPS 2000321 WITH SCORE 2007957.107
AT ITER 2386 NEW BEST:: SOT 12052973 SOS 7634237 HAS SOPS 6385443 HAS SOUS 2086887 HAS SOUPS 1999362 WITH SCORE 2006996.237
AT ITER 2394 NEW BEST:: SOT 12052513 SOS 7633312 HAS SOPS 6384557 HAS SOUS 2086316 HAS SOUPS 1998791 WITH SCORE 2006424.312
AT ITER 2397 NEW BEST:: SOT 12051104 SOS 7632820 HAS SOPS 6381912 HAS SOUS 2080459 HAS SOUPS 1992934 WITH SCORE 2000566.82
AT ITER 2419 NEW BEST:: SOT 12051200 SOS 7633122 HAS SOPS 6382048 HAS SOUS 2079821 HAS SOUPS 1992302 WITH SCORE 1999935.122
AT ITER 2420 NEW BEST:: SOT 12050528 SOS 7632450 HAS SOPS 6381280 HAS SOUS 2078873 HAS SOUPS 1991354 WITH SCORE 1998986.45
AT ITER 2422 NEW BEST:: SOT 12050148 SOS 7632055 HAS SOPS 6380805 HAS SOUS 2077983 HAS SOUPS 1990464 WITH SCORE 1998096.055
AT ITER 2427 NEW BEST:: SOT 12047889 SOS 7629796 HAS SOPS 6378194 HAS SOUS 2076660 HAS SOUPS 1989093 WITH SCORE 1996722.796
AT ITER 2440 NEW BEST:: SOT 12048009 SOS 7630942 HAS SOPS 6379097 HAS SOUS 2076543 HAS SOUPS 1988976 WITH SCORE 1996606.942
AT ITER 2446 NEW BEST:: SOT 12047932 SOS 7632523 HAS SOPS 6380226 HAS SOUS 2072627 HAS SOUPS 1985060 WITH SCORE 1992692.523
AT ITER 2457 NEW BEST:: SOT 12047640 SOS 7632179 HAS SOPS 6379887 HAS SOUS 2072303 HAS SOUPS 1984736 WITH SCORE 1992368.179
AT ITER 2467 NEW BEST:: SOT 12047987 SOS 7633405 HAS SOPS 6381338 HAS SOUS 2071951 HAS SOUPS 1984384 WITH SCORE 1992017.405
AT ITER 2475 NEW BEST:: SOT 12047845 SOS 7633085 HAS SOPS 6381026 HAS SOUS 2071875 HAS SOUPS 1984310 WITH SCORE 1991943.085
AT ITER 2485 NEW BEST:: SOT 12045678 SOS 7626659 HAS SOPS 6379192 HAS SOUS 2069777 HAS SOUPS 1982212 WITH SCORE 1989838.659
AT ITER 2486 NEW BEST:: SOT 12045804 SOS 7626776 HAS SOPS 6379030 HAS SOUS 2069849 HAS SOUPS 1982005 WITH SCORE 1989631.776
AT ITER 2487 NEW BEST:: SOT 12044643 SOS 7625044 HAS SOPS 6377324 HAS SOUS 2067792 HAS SOUPS 1979948 WITH SCORE 1987573.044
AT ITER 2494 NEW BEST:: SOT 12047895 SOS 7628278 HAS SOPS 6379982 HAS SOUS 2067556 HAS SOUPS 1979712 WITH SCORE 1987340.278
AT ITER 2501 NEW BEST:: SOT 12043650 SOS 7623531 HAS SOPS 6374014 HAS SOUS 2059949 HAS SOUPS 1972151 WITH SCORE 1979774.531
AT ITER 2506 NEW BEST:: SOT 12044635 SOS 7625807 HAS SOPS 6374089 HAS SOUS 2058119 HAS SOUPS 1970276 WITH SCORE 1977901.807
AT ITER 2511 NEW BEST:: SOT 12035497 SOS 7616964 HAS SOPS 6364675 HAS SOUS 2043821 HAS SOUPS 1955978 WITH SCORE 1963594.964
AT ITER 2521 NEW BEST:: SOT 12036692 SOS 7613578 HAS SOPS 6362739 HAS SOUS 2043040 HAS SOUPS 1954987 WITH SCORE 1962600.578
AT ITER 2525 NEW BEST:: SOT 12036432 SOS 7610767 HAS SOPS 6360952 HAS SOUS 2042686 HAS SOUPS 1954633 WITH SCORE 1962243.767
AT ITER 2552 NEW BEST:: SOT 12033860 SOS 7606039 HAS SOPS 6357362 HAS SOUS 2040385 HAS SOUPS 1952443 WITH SCORE 1960049.039
AT ITER 2554 NEW BEST:: SOT 12031525 SOS 7608041 HAS SOPS 6359364 HAS SOUS 2036137 HAS SOUPS 1948195 WITH SCORE 1955803.041
AT ITER 2560 NEW BEST:: SOT 12031681 SOS 7608189 HAS SOPS 6359512 HAS SOUS 2036085 HAS SOUPS 1948143 WITH SCORE 1955751.189
AT ITER 2567 NEW BEST:: SOT 12022128 SOS 7588475 HAS SOPS 6344178 HAS SOUS 2030331 HAS SOUPS 1943015 WITH SCORE 1950603.475
AT ITER 2577 NEW BEST:: SOT 12026405 SOS 7595396 HAS SOPS 6353916 HAS SOUS 2028936 HAS SOUPS 1941725 WITH SCORE 1949320.396
AT ITER 2578 NEW BEST:: SOT 12025521 SOS 7594520 HAS SOPS 6352656 HAS SOUS 2027248 HAS SOUPS 1940005 WITH SCORE 1947599.52
AT ITER 2624 NEW BEST:: SOT 12023163 SOS 7591644 HAS SOPS 6350231 HAS SOUS 2023777 HAS SOUPS 1936563 WITH SCORE 1944154.644
AT ITER 2667 NEW BEST:: SOT 12023092 SOS 7591572 HAS SOPS 6350147 HAS SOUS 2023654 HAS SOUPS 1936444 WITH SCORE 1944035.572
AT ITER 2683 NEW BEST:: SOT 12018161 SOS 7572881 HAS SOPS 6332932 HAS SOUS 2015735 HAS SOUPS 1928658 WITH SCORE 1936230.881
AT ITER 2709 NEW BEST:: SOT 12012117 SOS 7561165 HAS SOPS 6322054 HAS SOUS 2010094 HAS SOUPS 1923030 WITH SCORE 1930591.165
AT ITER 2714 NEW BEST:: SOT 12009813 SOS 7562862 HAS SOPS 6322583 HAS SOUS 2008202 HAS SOUPS 1921062 WITH SCORE 1928624.862
AT ITER 2725 NEW BEST:: SOT 12010217 SOS 7563266 HAS SOPS 6322987 HAS SOUS 2007806 HAS SOUPS 1920666 WITH SCORE 1928229.266
AT ITER 2733 NEW BEST:: SOT 12006291 SOS 7559308 HAS SOPS 6319029 HAS SOUS 2002052 HAS SOUPS 1914912 WITH SCORE 1922471.308
AT ITER 2746 NEW BEST:: SOT 12006529 SOS 7559947 HAS SOPS 6319230 HAS SOUS 2001496 HAS SOUPS 1914356 WITH SCORE 1921915.947
AT ITER 2748 NEW BEST:: SOT 12006532 SOS 7560827 HAS SOPS 6320048 HAS SOUS 2001134 HAS SOUPS 1913994 WITH SCORE 1921554.827
AT ITER 2769 NEW BEST:: SOT 12004845 SOS 7558465 HAS SOPS 6317782 HAS SOUS 2000626 HAS SOUPS 1913424 WITH SCORE 1920982.465
AT ITER 2771 NEW BEST:: SOT 12000358 SOS 7553155 HAS SOPS 6312269 HAS SOUS 1995605 HAS SOUPS 1908403 WITH SCORE 1915956.155
AT ITER 2784 NEW BEST:: SOT 12000703 SOS 7552331 HAS SOPS 6309648 HAS SOUS 1992149 HAS SOUPS 1904947 WITH SCORE 1912499.331
AT ITER 2790 NEW BEST:: SOT 11999866 SOS 7551648 HAS SOPS 6308989 HAS SOUS 1990015 HAS SOUPS 1902815 WITH SCORE 1910366.648
AT ITER 2797 NEW BEST:: SOT 11999866 SOS 7551620 HAS SOPS 6309021 HAS SOUS 1990011 HAS SOUPS 1902811 WITH SCORE 1910362.62
AT ITER 2802 NEW BEST:: SOT 12011609 SOS 7564700 HAS SOPS 6323779 HAS SOUS 1989175 HAS SOUPS 1902339 WITH SCORE 1909903.7
AT ITER 2803 NEW BEST:: SOT 12011517 SOS 7564590 HAS SOPS 6323615 HAS SOUS 1988987 HAS SOUPS 1902151 WITH SCORE 1909715.59
AT ITER 2822 NEW BEST:: SOT 12012253 SOS 7565609 HAS SOPS 6321803 HAS SOUS 1981269 HAS SOUPS 1894349 WITH SCORE 1901914.609
AT ITER 2843 NEW BEST:: SOT 12014832 SOS 7573541 HAS SOPS 6326909 HAS SOUS 1980882 HAS SOUPS 1893916 WITH SCORE 1901489.541
AT ITER 2848 NEW BEST:: SOT 12014905 SOS 7567460 HAS SOPS 6323549 HAS SOUS 1980746 HAS SOUPS 1893847 WITH SCORE 1901414.46
AT ITER 2854 NEW BEST:: SOT 12013538 SOS 7565354 HAS SOPS 6320300 HAS SOUS 1979676 HAS SOUPS 1892726 WITH SCORE 1900291.354
AT ITER 2861 NEW BEST:: SOT 12009612 SOS 7558751 HAS SOPS 6314413 HAS SOUS 1978204 HAS SOUPS 1891254 WITH SCORE 1898812.751
AT ITER 2872 NEW BEST:: SOT 12010472 SOS 7560464 HAS SOPS 6316128 HAS SOUS 1976639 HAS SOUPS 1889633 WITH SCORE 1897193.464
AT ITER 2895 NEW BEST:: SOT 12003964 SOS 7553928 HAS SOPS 6308636 HAS SOUS 1966759 HAS SOUPS 1879773 WITH SCORE 1887326.928
AT ITER 2919 NEW BEST:: SOT 12001681 SOS 7550410 HAS SOPS 6303566 HAS SOUS 1963205 HAS SOUPS 1876157 WITH SCORE 1883707.41
AT ITER 2921 NEW BEST:: SOT 11997804 SOS 7547536 HAS SOPS 6301121 HAS SOUS 1959962 HAS SOUPS 1872914 WITH SCORE 1880461.536
AT ITER 2930 NEW BEST:: SOT 12000306 SOS 7551858 HAS SOPS 6305361 HAS SOUS 1958262 HAS SOUPS 1871214 WITH SCORE 1878765.858
AT ITER 2933 NEW BEST:: SOT 12000306 SOS 7555377 HAS SOPS 6308880 HAS SOUS 1958208 HAS SOUPS 1871160 WITH SCORE 1878715.377
AT ITER 2948 NEW BEST:: SOT 12000753 SOS 7553757 HAS SOPS 6307779 HAS SOUS 1956641 HAS SOUPS 1869593 WITH SCORE 1877146.757
AT ITER 2950 NEW BEST:: SOT 12000731 SOS 7553685 HAS SOPS 6307570 HAS SOUS 1956210 HAS SOUPS 1869162 WITH SCORE 1876715.685
AT ITER 2954 NEW BEST:: SOT 12000679 SOS 7553843 HAS SOPS 6307147 HAS SOUS 1954196 HAS SOUPS 1867124 WITH SCORE 1874677.843
AT ITER 2971 NEW BEST:: SOT 11994449 SOS 7534238 HAS SOPS 6292625 HAS SOUS 1952531 HAS SOUPS 1865536 WITH SCORE 1873070.238
AT ITER 2975 NEW BEST:: SOT 11993295 SOS 7529050 HAS SOPS 6288345 HAS SOUS 1944023 HAS SOUPS 1857028 WITH SCORE 1864557.05
AT ITER 2983 NEW BEST:: SOT 11993976 SOS 7529141 HAS SOPS 6288338 HAS SOUS 1940905 HAS SOUPS 1854026 WITH SCORE 1861555.141
AT ITER 2994 NEW BEST:: SOT 11992931 SOS 7528084 HAS SOPS 6287257 HAS SOUS 1940756 HAS SOUPS 1853853 WITH SCORE 1861381.084
AT ITER 3003 NEW BEST:: SOT 11991034 SOS 7526207 HAS SOPS 6285380 HAS SOUS 1937919 HAS SOUPS 1851016 WITH SCORE 1858542.207
AT ITER 3022 NEW BEST:: SOT 11990162 SOS 7524970 HAS SOPS 6284128 HAS SOUS 1933837 HAS SOUPS 1846972 WITH SCORE 1854496.97
AT ITER 3024 NEW BEST:: SOT 11990102 SOS 7525125 HAS SOPS 6284230 HAS SOUS 1933606 HAS SOUPS 1846741 WITH SCORE 1854266.125
AT ITER 3025 NEW BEST:: SOT 11990078 SOS 7525116 HAS SOPS 6284027 HAS SOUS 1933470 HAS SOUPS 1846605 WITH SCORE 1854130.116
AT ITER 3027 NEW BEST:: SOT 11990788 SOS 7523748 HAS SOPS 6284067 HAS SOUS 1933395 HAS SOUPS 1846585 WITH SCORE 1854108.748
AT ITER 3028 NEW BEST:: SOT 11990697 SOS 7523841 HAS SOPS 6282446 HAS SOUS 1927981 HAS SOUPS 1841164 WITH SCORE 1848687.841
AT ITER 3031 NEW BEST:: SOT 11989972 SOS 7523003 HAS SOPS 6281224 HAS SOUS 1926568 HAS SOUPS 1839751 WITH SCORE 1847274.003
AT ITER 3057 NEW BEST:: SOT 11991181 SOS 7523698 HAS SOPS 6285782 HAS SOUS 1924414 HAS SOUPS 1837597 WITH SCORE 1845120.698
AT ITER 3058 NEW BEST:: SOT 11991253 SOS 7523331 HAS SOPS 6285632 HAS SOUS 1924169 HAS SOUPS 1837352 WITH SCORE 1844875.331
AT ITER 3067 NEW BEST:: SOT 11987533 SOS 7517328 HAS SOPS 6281140 HAS SOUS 1921383 HAS SOUPS 1834566 WITH SCORE 1842083.328
AT ITER 3068 NEW BEST:: SOT 11980264 SOS 7510059 HAS SOPS 6271191 HAS SOUS 1913282 HAS SOUPS 1824449 WITH SCORE 1831959.059
AT ITER 3107 NEW BEST:: SOT 11980212 SOS 7509925 HAS SOPS 6271018 HAS SOUS 1913228 HAS SOUPS 1824392 WITH SCORE 1831901.925
AT ITER 3156 NEW BEST:: SOT 11992509 SOS 7527341 HAS SOPS 6287162 HAS SOUS 1911472 HAS SOUPS 1822657 WITH SCORE 1830184.341
AT ITER 3170 NEW BEST:: SOT 11992316 SOS 7526900 HAS SOPS 6286825 HAS SOUS 1911314 HAS SOUPS 1822507 WITH SCORE 1830033.9
AT ITER 3173 NEW BEST:: SOT 11992285 SOS 7525175 HAS SOPS 6284619 HAS SOUS 1911000 HAS SOUPS 1822193 WITH SCORE 1829718.175
AT ITER 3183 NEW BEST:: SOT 11992336 SOS 7525198 HAS SOPS 6284572 HAS SOUS 1910878 HAS SOUPS 1822071 WITH SCORE 1829596.198
AT ITER 3202 NEW BEST:: SOT 11992306 SOS 7525261 HAS SOPS 6284624 HAS SOUS 1910863 HAS SOUPS 1822056 WITH SCORE 1829581.261
AT ITER 3204 NEW BEST:: SOT 11994372 SOS 7529133 HAS SOPS 6284911 HAS SOUS 1909679 HAS SOUPS 1820860 WITH SCORE 1828389.133
AT ITER 3208 NEW BEST:: SOT 11993354 SOS 7527573 HAS SOPS 6283094 HAS SOUS 1908184 HAS SOUPS 1819365 WITH SCORE 1826892.573
AT ITER 3239 NEW BEST:: SOT 11992934 SOS 7527153 HAS SOPS 6282562 HAS SOUS 1907712 HAS SOUPS 1818805 WITH SCORE 1826332.153
AT ITER 3290 NEW BEST:: SOT 11992987 SOS 7527768 HAS SOPS 6282549 HAS SOUS 1906417 HAS SOUPS 1817510 WITH SCORE 1825037.768
AT ITER 3303 NEW BEST:: SOT 11992979 SOS 7527744 HAS SOPS 6282485 HAS SOUS 1906005 HAS SOUPS 1817194 WITH SCORE 1824721.744
AT ITER 3305 NEW BEST:: SOT 11992893 SOS 7527404 HAS SOPS 6284169 HAS SOUS 1904278 HAS SOUPS 1816014 WITH SCORE 1823541.404
AT ITER 3313 NEW BEST:: SOT 11992623 SOS 7526881 HAS SOPS 6283825 HAS SOUS 1904212 HAS SOUPS 1815961 WITH SCORE 1823487.881
AT ITER 3318 NEW BEST:: SOT 11993382 SOS 7534431 HAS SOPS 6292645 HAS SOUS 1899293 HAS SOUPS 1811140 WITH SCORE 1818674.431
AT ITER 3326 NEW BEST:: SOT 11987652 SOS 7528698 HAS SOPS 6286848 HAS SOUS 1893334 HAS SOUPS 1805153 WITH SCORE 1812681.698
AT ITER 3327 NEW BEST:: SOT 11987694 SOS 7527893 HAS SOPS 6285765 HAS SOUS 1893169 HAS SOUPS 1804988 WITH SCORE 1812515.893
AT ITER 3340 NEW BEST:: SOT 11989279 SOS 7534349 HAS SOPS 6290297 HAS SOUS 1893030 HAS SOUPS 1804752 WITH SCORE 1812286.349
AT ITER 3348 NEW BEST:: SOT 11988841 SOS 7534079 HAS SOPS 6288444 HAS SOUS 1891042 HAS SOUPS 1802821 WITH SCORE 1810355.079
AT ITER 3350 NEW BEST:: SOT 11997013 SOS 7547637 HAS SOPS 6305280 HAS SOUS 1877779 HAS SOUPS 1789755 WITH SCORE 1797302.637
AT ITER 3355 NEW BEST:: SOT 11997031 SOS 7547719 HAS SOPS 6304327 HAS SOUS 1876198 HAS SOUPS 1788174 WITH SCORE 1795721.719
AT ITER 3356 NEW BEST:: SOT 11997699 SOS 7548387 HAS SOPS 6304771 HAS SOUS 1876370 HAS SOUPS 1788122 WITH SCORE 1795670.387
AT ITER 3358 NEW BEST:: SOT 11997978 SOS 7550028 HAS SOPS 6304621 HAS SOUS 1875170 HAS SOUPS 1786851 WITH SCORE 1794401.028
AT ITER 3369 NEW BEST:: SOT 11997611 SOS 7547730 HAS SOPS 6301520 HAS SOUS 1874900 HAS SOUPS 1786551 WITH SCORE 1794098.73
AT ITER 3396 NEW BEST:: SOT 11996873 SOS 7548084 HAS SOPS 6300780 HAS SOUS 1872368 HAS SOUPS 1784019 WITH SCORE 1791567.084
AT ITER 3400 NEW BEST:: SOT 11996613 SOS 7548702 HAS SOPS 6299690 HAS SOUS 1872100 HAS SOUPS 1783751 WITH SCORE 1791299.702
AT ITER 3403 NEW BEST:: SOT 11996307 SOS 7548317 HAS SOPS 6299136 HAS SOUS 1871225 HAS SOUPS 1782860 WITH SCORE 1790408.317
AT ITER 3412 NEW BEST:: SOT 11996225 SOS 7551221 HAS SOPS 6299464 HAS SOUS 1868161 HAS SOUPS 1779392 WITH SCORE 1786943.221
AT ITER 3415 NEW BEST:: SOT 11996222 SOS 7551221 HAS SOPS 6299480 HAS SOUS 1868129 HAS SOUPS 1779360 WITH SCORE 1786911.221
AT ITER 3428 NEW BEST:: SOT 11996111 SOS 7550942 HAS SOPS 6299210 HAS SOUS 1867893 HAS SOUPS 1779124 WITH SCORE 1786674.942
AT ITER 3433 NEW BEST:: SOT 11996024 SOS 7551023 HAS SOPS 6299132 HAS SOUS 1867821 HAS SOUPS 1779043 WITH SCORE 1786594.023
AT ITER 3435 NEW BEST:: SOT 11998461 SOS 7552593 HAS SOPS 6303189 HAS SOUS 1864221 HAS SOUPS 1775547 WITH SCORE 1783099.593
AT ITER 3448 NEW BEST:: SOT 11998103 SOS 7553363 HAS SOPS 6302831 HAS SOUS 1863819 HAS SOUPS 1775145 WITH SCORE 1782698.363
AT ITER 3454 NEW BEST:: SOT 11995968 SOS 7555704 HAS SOPS 6300128 HAS SOUS 1863949 HAS SOUPS 1775068 WITH SCORE 1782623.704
AT ITER 3455 NEW BEST:: SOT 11995319 SOS 7554896 HAS SOPS 6298933 HAS SOUS 1861799 HAS SOUPS 1772998 WITH SCORE 1780552.896
AT ITER 3457 NEW BEST:: SOT 11994853 SOS 7554668 HAS SOPS 6298512 HAS SOUS 1860766 HAS SOUPS 1771965 WITH SCORE 1779519.668
AT ITER 3465 NEW BEST:: SOT 12005565 SOS 7556801 HAS SOPS 6305562 HAS SOUS 1860331 HAS SOUPS 1771687 WITH SCORE 1779243.801
AT ITER 3469 NEW BEST:: SOT 12006520 SOS 7550782 HAS SOPS 6303442 HAS SOUS 1858564 HAS SOUPS 1770188 WITH SCORE 1777738.782
AT ITER 3473 NEW BEST:: SOT 12004078 SOS 7547502 HAS SOPS 6299904 HAS SOUS 1853462 HAS SOUPS 1765126 WITH SCORE 1772673.502
AT ITER 3480 NEW BEST:: SOT 12004351 SOS 7548090 HAS SOPS 6300802 HAS SOUS 1853423 HAS SOUPS 1765120 WITH SCORE 1772668.09
AT ITER 3486 NEW BEST:: SOT 12004494 SOS 7551180 HAS SOPS 6302350 HAS SOUS 1851348 HAS SOUPS 1763045 WITH SCORE 1770596.18
AT ITER 3498 NEW BEST:: SOT 12003447 SOS 7549879 HAS SOPS 6301960 HAS SOUS 1849677 HAS SOUPS 1761421 WITH SCORE 1768970.879
AT ITER 3499 NEW BEST:: SOT 12003701 SOS 7550448 HAS SOPS 6302259 HAS SOUS 1849049 HAS SOUPS 1760793 WITH SCORE 1768343.448
AT ITER 3512 NEW BEST:: SOT 12003095 SOS 7549842 HAS SOPS 6301461 HAS SOUS 1847951 HAS SOUPS 1759695 WITH SCORE 1767244.842
AT ITER 3540 NEW BEST:: SOT 12003613 SOS 7549967 HAS SOPS 6303226 HAS SOUS 1847730 HAS SOUPS 1759474 WITH SCORE 1767023.967
AT ITER 3558 NEW BEST:: SOT 12003321 SOS 7547912 HAS SOPS 6300768 HAS SOUS 1844440 HAS SOUPS 1756088 WITH SCORE 1763635.912
AT ITER 3560 NEW BEST:: SOT 12004246 SOS 7548391 HAS SOPS 6299759 HAS SOUS 1842569 HAS SOUPS 1754217 WITH SCORE 1761765.391
AT ITER 3561 NEW BEST:: SOT 12004114 SOS 7548127 HAS SOPS 6299475 HAS SOUS 1842449 HAS SOUPS 1754097 WITH SCORE 1761645.127
AT ITER 3565 NEW BEST:: SOT 12003604 SOS 7547617 HAS SOPS 6299541 HAS SOUS 1841471 HAS SOUPS 1753551 WITH SCORE 1761098.617
AT ITER 3566 NEW BEST:: SOT 12002565 SOS 7546490 HAS SOPS 6297783 HAS SOUS 1840603 HAS SOUPS 1752409 WITH SCORE 1759955.49
AT ITER 3573 NEW BEST:: SOT 12002280 SOS 7546187 HAS SOPS 6298482 HAS SOUS 1840592 HAS SOUPS 1752398 WITH SCORE 1759944.187
AT ITER 3580 NEW BEST:: SOT 12002390 SOS 7546233 HAS SOPS 6298272 HAS SOUS 1839278 HAS SOUPS 1751084 WITH SCORE 1758630.233
AT ITER 3611 NEW BEST:: SOT 12001330 SOS 7545173 HAS SOPS 6297212 HAS SOUS 1838446 HAS SOUPS 1750252 WITH SCORE 1757797.173
AT ITER 3622 NEW BEST:: SOT 12000470 SOS 7544313 HAS SOPS 6296080 HAS SOUS 1837062 HAS SOUPS 1748868 WITH SCORE 1756412.313
AT ITER 3635 NEW BEST:: SOT 11999947 SOS 7543725 HAS SOPS 6295209 HAS SOUS 1835674 HAS SOUPS 1747486 WITH SCORE 1755029.725
AT ITER 3647 NEW BEST:: SOT 11999920 SOS 7544063 HAS SOPS 6294809 HAS SOUS 1835474 HAS SOUPS 1747286 WITH SCORE 1754830.063
AT ITER 3656 NEW BEST:: SOT 11998381 SOS 7539929 HAS SOPS 6290953 HAS SOUS 1833967 HAS SOUPS 1745779 WITH SCORE 1753318.929
AT ITER 3659 NEW BEST:: SOT 11997531 SOS 7538545 HAS SOPS 6288480 HAS SOUS 1830190 HAS SOUPS 1742002 WITH SCORE 1749540.545
AT ITER 3661 NEW BEST:: SOT 11997377 SOS 7538391 HAS SOPS 6288326 HAS SOUS 1830090 HAS SOUPS 1741902 WITH SCORE 1749440.391
AT ITER 3675 NEW BEST:: SOT 11996414 SOS 7537568 HAS SOPS 6287377 HAS SOUS 1827867 HAS SOUPS 1739679 WITH SCORE 1747216.568
AT ITER 3695 NEW BEST:: SOT 11995245 SOS 7535607 HAS SOPS 6285988 HAS SOUS 1825913 HAS SOUPS 1737839 WITH SCORE 1745374.607
AT ITER 3718 NEW BEST:: SOT 11995271 SOS 7535921 HAS SOPS 6286266 HAS SOUS 1825867 HAS SOUPS 1737793 WITH SCORE 1745328.921
AT ITER 3731 NEW BEST:: SOT 11994046 SOS 7533889 HAS SOPS 6283245 HAS SOUS 1821252 HAS SOUPS 1733178 WITH SCORE 1740711.889
AT ITER 3735 NEW BEST:: SOT 11993820 SOS 7534082 HAS SOPS 6282725 HAS SOUS 1819047 HAS SOUPS 1731007 WITH SCORE 1738541.082
AT ITER 3752 NEW BEST:: SOT 11993802 SOS 7534021 HAS SOPS 6282595 HAS SOUS 1818598 HAS SOUPS 1730585 WITH SCORE 1738119.021
AT ITER 3757 NEW BEST:: SOT 11993706 SOS 7534049 HAS SOPS 6282372 HAS SOUS 1818300 HAS SOUPS 1730287 WITH SCORE 1737821.049
AT ITER 3772 NEW BEST:: SOT 11992736 SOS 7532717 HAS SOPS 6280592 HAS SOUS 1817392 HAS SOUPS 1729379 WITH SCORE 1736911.717
AT ITER 3787 NEW BEST:: SOT 11992601 SOS 7532498 HAS SOPS 6280173 HAS SOUS 1816934 HAS SOUPS 1728921 WITH SCORE 1736453.498
AT ITER 3794 NEW BEST:: SOT 11991661 SOS 7531504 HAS SOPS 6279755 HAS SOUS 1816206 HAS SOUPS 1728625 WITH SCORE 1736156.504
AT ITER 3812 NEW BEST:: SOT 11991304 SOS 7531133 HAS SOPS 6279492 HAS SOUS 1814269 HAS SOUPS 1726740 WITH SCORE 1734271.133
AT ITER 3839 NEW BEST:: SOT 11991369 SOS 7531181 HAS SOPS 6279464 HAS SOUS 1813554 HAS SOUPS 1726037 WITH SCORE 1733568.181
AT ITER 3841 NEW BEST:: SOT 11987292 SOS 7520719 HAS SOPS 6270370 HAS SOUS 1806922 HAS SOUPS 1719489 WITH SCORE 1727009.719
AT ITER 3844 NEW BEST:: SOT 11986169 SOS 7518653 HAS SOPS 6268114 HAS SOUS 1804756 HAS SOUPS 1717335 WITH SCORE 1724853.653
AT ITER 3848 NEW BEST:: SOT 11985635 SOS 7519046 HAS SOPS 6267251 HAS SOUS 1800731 HAS SOUPS 1713310 WITH SCORE 1720829.046
AT ITER 3853 NEW BEST:: SOT 11985515 SOS 7518919 HAS SOPS 6267096 HAS SOUS 1800478 HAS SOUPS 1713058 WITH SCORE 1720576.919
AT ITER 3864 NEW BEST:: SOT 11986805 SOS 7529399 HAS SOPS 6277208 HAS SOUS 1800410 HAS SOUPS 1712990 WITH SCORE 1720519.399
AT ITER 3865 NEW BEST:: SOT 11990338 SOS 7534833 HAS SOPS 6282861 HAS SOUS 1798905 HAS SOUPS 1711488 WITH SCORE 1719022.833
AT ITER 3876 NEW BEST:: SOT 11988114 SOS 7532645 HAS SOPS 6280291 HAS SOUS 1798354 HAS SOUPS 1710937 WITH SCORE 1718469.645
AT ITER 3896 NEW BEST:: SOT 11987826 SOS 7531884 HAS SOPS 6279726 HAS SOUS 1797898 HAS SOUPS 1710481 WITH SCORE 1718012.884
AT ITER 3925 NEW BEST:: SOT 11987801 SOS 7532677 HAS SOPS 6280535 HAS SOUS 1797845 HAS SOUPS 1710428 WITH SCORE 1717960.677
AT ITER 3930 NEW BEST:: SOT 11987685 SOS 7532652 HAS SOPS 6280414 HAS SOUS 1797525 HAS SOUPS 1710108 WITH SCORE 1717640.652
AT ITER 3935 NEW BEST:: SOT 11987986 SOS 7533363 HAS SOPS 6279167 HAS SOUS 1796205 HAS SOUPS 1708788 WITH SCORE 1716321.363
AT ITER 3945 NEW BEST:: SOT 11993554 SOS 7556671 HAS SOPS 6301570 HAS SOUS 1795557 HAS SOUPS 1708140 WITH SCORE 1715696.671
AT ITER 3963 NEW BEST:: SOT 11994071 SOS 7554785 HAS SOPS 6300250 HAS SOUS 1795275 HAS SOUPS 1707881 WITH SCORE 1715435.785
AT ITER 3964 NEW BEST:: SOT 11994092 SOS 7553609 HAS SOPS 6298331 HAS SOUS 1795168 HAS SOUPS 1707774 WITH SCORE 1715327.609
AT ITER 3975 NEW BEST:: SOT 11994895 SOS 7555534 HAS SOPS 6298905 HAS SOUS 1794916 HAS SOUPS 1707522 WITH SCORE 1715077.534
AT ITER 3980 NEW BEST:: SOT 11994854 SOS 7555429 HAS SOPS 6298779 HAS SOUS 1794856 HAS SOUPS 1707461 WITH SCORE 1715016.429
AT ITER 3981 NEW BEST:: SOT 11995414 SOS 7554970 HAS SOPS 6298795 HAS SOUS 1791572 HAS SOUPS 1704177 WITH SCORE 1711731.97
AT ITER 3993 NEW BEST:: SOT 11995356 SOS 7554097 HAS SOPS 6297522 HAS SOUS 1791496 HAS SOUPS 1704101 WITH SCORE 1711655.097
AT ITER 4011 NEW BEST:: SOT 11991917 SOS 7550510 HAS SOPS 6292751 HAS SOUS 1789323 HAS SOUPS 1701928 WITH SCORE 1709478.51
AT ITER 4021 NEW BEST:: SOT 11991883 SOS 7550904 HAS SOPS 6293199 HAS SOUS 1788562 HAS SOUPS 1701167 WITH SCORE 1708717.904
AT ITER 4046 NEW BEST:: SOT 11993267 SOS 7552602 HAS SOPS 6296303 HAS SOUS 1788428 HAS SOUPS 1701033 WITH SCORE 1708585.602
AT ITER 4053 NEW BEST:: SOT 11991301 SOS 7550648 HAS SOPS 6294312 HAS SOUS 1787613 HAS SOUPS 1700218 WITH SCORE 1707768.648
AT ITER 4063 NEW BEST:: SOT 11991350 SOS 7547808 HAS SOPS 6292565 HAS SOUS 1786480 HAS SOUPS 1699201 WITH SCORE 1706748.808
AT ITER 4090 NEW BEST:: SOT 11990751 SOS 7547226 HAS SOPS 6291898 HAS SOUS 1785822 HAS SOUPS 1698466 WITH SCORE 1706013.226
AT ITER 4099 NEW BEST:: SOT 11989487 SOS 7542650 HAS SOPS 6284839 HAS SOUS 1784793 HAS SOUPS 1697432 WITH SCORE 1704974.65
AT ITER 4103 NEW BEST:: SOT 11989227 SOS 7542045 HAS SOPS 6284550 HAS SOUS 1783519 HAS SOUPS 1696271 WITH SCORE 1703813.045
AT ITER 4106 NEW BEST:: SOT 11983015 SOS 7535809 HAS SOPS 6278826 HAS SOUS 1779762 HAS SOUPS 1692493 WITH SCORE 1700028.809
AT ITER 4121 NEW BEST:: SOT 11982823 SOS 7535734 HAS SOPS 6278699 HAS SOUS 1779585 HAS SOUPS 1692316 WITH SCORE 1699851.734
AT ITER 4128 NEW BEST:: SOT 11979687 SOS 7530203 HAS SOPS 6272699 HAS SOUS 1774202 HAS SOUPS 1686955 WITH SCORE 1694485.203
AT ITER 4134 NEW BEST:: SOT 11979630 SOS 7530176 HAS SOPS 6272497 HAS SOUS 1773550 HAS SOUPS 1686303 WITH SCORE 1693833.176
AT ITER 4152 NEW BEST:: SOT 11981061 SOS 7527378 HAS SOPS 6271897 HAS SOUS 1767925 HAS SOUPS 1680800 WITH SCORE 1688327.378
AT ITER 4154 NEW BEST:: SOT 11981135 SOS 7527342 HAS SOPS 6272311 HAS SOUS 1767772 HAS SOUPS 1680647 WITH SCORE 1688174.342
AT ITER 4157 NEW BEST:: SOT 11979996 SOS 7525826 HAS SOPS 6269203 HAS SOUS 1766952 HAS SOUPS 1679827 WITH SCORE 1687352.826
AT ITER 4160 NEW BEST:: SOT 11979850 SOS 7525674 HAS SOPS 6269057 HAS SOUS 1766800 HAS SOUPS 1679681 WITH SCORE 1687206.674
AT ITER 4167 NEW BEST:: SOT 11980527 SOS 7526588 HAS SOPS 6269519 HAS SOUS 1765966 HAS SOUPS 1678847 WITH SCORE 1686373.588
AT ITER 4174 NEW BEST:: SOT 11982533 SOS 7533899 HAS SOPS 6274180 HAS SOUS 1760065 HAS SOUPS 1672946 WITH SCORE 1680479.899
AT ITER 4206 NEW BEST:: SOT 11982997 SOS 7534382 HAS SOPS 6273589 HAS SOUS 1759999 HAS SOUPS 1672880 WITH SCORE 1680414.382
AT ITER 4225 NEW BEST:: SOT 11983914 SOS 7535158 HAS SOPS 6273236 HAS SOUS 1755829 HAS SOUPS 1668748 WITH SCORE 1676283.158
AT ITER 4232 NEW BEST:: SOT 11983008 SOS 7532835 HAS SOPS 6271358 HAS SOUS 1755364 HAS SOUPS 1668299 WITH SCORE 1675831.835
AT ITER 4254 NEW BEST:: SOT 11982531 SOS 7532247 HAS SOPS 6270599 HAS SOUS 1755064 HAS SOUPS 1667939 WITH SCORE 1675471.247
AT ITER 4287 NEW BEST:: SOT 11982614 SOS 7531731 HAS SOPS 6271028 HAS SOUS 1754775 HAS SOUPS 1667650 WITH SCORE 1675181.731
AT ITER 4309 NEW BEST:: SOT 11981078 SOS 7529680 HAS SOPS 6268730 HAS SOUS 1751506 HAS SOUPS 1664381 WITH SCORE 1671910.68
AT ITER 4314 NEW BEST:: SOT 11982541 SOS 7530551 HAS SOPS 6268097 HAS SOUS 1748733 HAS SOUPS 1661608 WITH SCORE 1669138.551
AT ITER 4333 NEW BEST:: SOT 11981957 SOS 7529967 HAS SOPS 6267353 HAS SOUS 1747773 HAS SOUPS 1660648 WITH SCORE 1668177.967
AT ITER 4348 NEW BEST:: SOT 11981898 SOS 7529954 HAS SOPS 6267331 HAS SOUS 1747642 HAS SOUPS 1660517 WITH SCORE 1668046.954
AT ITER 4373 NEW BEST:: SOT 11982018 SOS 7533119 HAS SOPS 6270251 HAS SOUS 1743533 HAS SOUPS 1656340 WITH SCORE 1663873.119
AT ITER 4376 NEW BEST:: SOT 11981451 SOS 7532701 HAS SOPS 6269568 HAS SOUS 1743024 HAS SOUPS 1655831 WITH SCORE 1663363.701
AT ITER 4383 NEW BEST:: SOT 11981421 SOS 7532613 HAS SOPS 6269444 HAS SOUS 1742939 HAS SOUPS 1655746 WITH SCORE 1663278.613
AT ITER 4390 NEW BEST:: SOT 11981421 SOS 7532427 HAS SOPS 6269232 HAS SOUS 1742915 HAS SOUPS 1655722 WITH SCORE 1663254.427
AT ITER 4392 NEW BEST:: SOT 11980234 SOS 7532383 HAS SOPS 6269475 HAS SOUS 1741700 HAS SOUPS 1654517 WITH SCORE 1662049.383
AT ITER 4395 NEW BEST:: SOT 11980221 SOS 7532490 HAS SOPS 6268945 HAS SOUS 1741514 HAS SOUPS 1654331 WITH SCORE 1661863.49
AT ITER 4397 NEW BEST:: SOT 11979384 SOS 7532096 HAS SOPS 6268258 HAS SOUS 1741384 HAS SOUPS 1654177 WITH SCORE 1661709.096
AT ITER 4401 NEW BEST:: SOT 11979247 SOS 7532515 HAS SOPS 6269407 HAS SOUS 1741310 HAS SOUPS 1654103 WITH SCORE 1661635.515
AT ITER 4409 NEW BEST:: SOT 11979417 SOS 7532835 HAS SOPS 6269587 HAS SOUS 1741215 HAS SOUPS 1654008 WITH SCORE 1661540.835
AT ITER 4415 NEW BEST:: SOT 11977752 SOS 7531463 HAS SOPS 6269594 HAS SOUS 1733715 HAS SOUPS 1646857 WITH SCORE 1654388.463
AT ITER 4446 NEW BEST:: SOT 11978080 SOS 7530977 HAS SOPS 6269671 HAS SOUS 1733558 HAS SOUPS 1646723 WITH SCORE 1654253.977
AT ITER 4451 NEW BEST:: SOT 11977219 SOS 7528457 HAS SOPS 6266166 HAS SOUS 1730237 HAS SOUPS 1643429 WITH SCORE 1650957.457
AT ITER 4479 NEW BEST:: SOT 11977890 SOS 7534128 HAS SOPS 6269591 HAS SOUS 1727537 HAS SOUPS 1640683 WITH SCORE 1648217.128
AT ITER 4494 NEW BEST:: SOT 11982072 SOS 7539365 HAS SOPS 6276769 HAS SOUS 1726218 HAS SOUPS 1639399 WITH SCORE 1646938.365
AT ITER 4514 NEW BEST:: SOT 11981977 SOS 7536797 HAS SOPS 6276363 HAS SOUS 1724610 HAS SOUPS 1638176 WITH SCORE 1645712.797
AT ITER 4521 NEW BEST:: SOT 11980390 SOS 7535652 HAS SOPS 6276277 HAS SOUS 1724029 HAS SOUPS 1637543 WITH SCORE 1645078.652
AT ITER 4537 NEW BEST:: SOT 11979957 SOS 7535153 HAS SOPS 6275622 HAS SOUS 1723284 HAS SOUPS 1636804 WITH SCORE 1644339.153
AT ITER 4588 NEW BEST:: SOT 11974761 SOS 7528999 HAS SOPS 6269592 HAS SOUS 1716950 HAS SOUPS 1630470 WITH SCORE 1637998.999
AT ITER 4600 NEW BEST:: SOT 11975571 SOS 7529885 HAS SOPS 6268892 HAS SOUS 1716265 HAS SOUPS 1629785 WITH SCORE 1637314.885
AT ITER 4622 NEW BEST:: SOT 11976740 SOS 7532651 HAS SOPS 6274703 HAS SOUS 1715581 HAS SOUPS 1629101 WITH SCORE 1636633.651
AT ITER 4641 NEW BEST:: SOT 11976668 SOS 7532579 HAS SOPS 6274631 HAS SOUS 1715581 HAS SOUPS 1629101 WITH SCORE 1636633.579
AT ITER 4644 NEW BEST:: SOT 11974738 SOS 7528961 HAS SOPS 6270951 HAS SOUS 1713343 HAS SOUPS 1626863 WITH SCORE 1634391.961
AT ITER 4647 NEW BEST:: SOT 11974704 SOS 7528927 HAS SOPS 6270917 HAS SOUS 1712953 HAS SOUPS 1626473 WITH SCORE 1634001.927
AT ITER 4654 NEW BEST:: SOT 11974901 SOS 7531766 HAS SOPS 6274022 HAS SOUS 1709927 HAS SOUPS 1623447 WITH SCORE 1630978.766
AT ITER 4666 NEW BEST:: SOT 11969873 SOS 7525194 HAS SOPS 6266654 HAS SOUS 1705390 HAS SOUPS 1618910 WITH SCORE 1626435.194
AT ITER 4687 NEW BEST:: SOT 11970461 SOS 7524902 HAS SOPS 6267828 HAS SOUS 1703192 HAS SOUPS 1616748 WITH SCORE 1624272.902
AT ITER 4689 NEW BEST:: SOT 11970510 SOS 7527515 HAS SOPS 6270804 HAS SOUS 1702300 HAS SOUPS 1615856 WITH SCORE 1623383.515
AT ITER 4717 NEW BEST:: SOT 11970448 SOS 7526707 HAS SOPS 6271705 HAS SOUS 1701769 HAS SOUPS 1615325 WITH SCORE 1622851.707
AT ITER 4736 NEW BEST:: SOT 11967740 SOS 7526731 HAS SOPS 6270141 HAS SOUS 1697487 HAS SOUPS 1610979 WITH SCORE 1618505.731
AT ITER 4745 NEW BEST:: SOT 11967803 SOS 7527948 HAS SOPS 6270054 HAS SOUS 1694637 HAS SOUPS 1608129 WITH SCORE 1615656.948
AT ITER 4746 NEW BEST:: SOT 11964671 SOS 7524363 HAS SOPS 6264666 HAS SOUS 1685919 HAS SOUPS 1599444 WITH SCORE 1606968.363
AT ITER 4767 NEW BEST:: SOT 11964061 SOS 7524189 HAS SOPS 6264789 HAS SOUS 1684789 HAS SOUPS 1598236 WITH SCORE 1605760.189
AT ITER 4787 NEW BEST:: SOT 11962417 SOS 7523415 HAS SOPS 6262717 HAS SOUS 1683631 HAS SOUPS 1597106 WITH SCORE 1604629.415
AT ITER 4819 NEW BEST:: SOT 11961909 SOS 7522921 HAS SOPS 6261887 HAS SOUS 1682299 HAS SOUPS 1595774 WITH SCORE 1603296.921
AT ITER 4841 NEW BEST:: SOT 11961673 SOS 7523068 HAS SOPS 6261944 HAS SOUS 1682178 HAS SOUPS 1595653 WITH SCORE 1603176.068
AT ITER 4844 NEW BEST:: SOT 11961575 SOS 7523247 HAS SOPS 6261925 HAS SOUS 1679353 HAS SOUPS 1592882 WITH SCORE 1600405.247
AT ITER 4850 NEW BEST:: SOT 11963164 SOS 7528295 HAS SOPS 6266218 HAS SOUS 1678100 HAS SOUPS 1591629 WITH SCORE 1599157.295
AT ITER 4857 NEW BEST:: SOT 11963144 SOS 7528146 HAS SOPS 6266001 HAS SOUS 1678002 HAS SOUPS 1591531 WITH SCORE 1599059.146
AT ITER 4862 NEW BEST:: SOT 11961362 SOS 7526128 HAS SOPS 6264581 HAS SOUS 1675300 HAS SOUPS 1588943 WITH SCORE 1596469.128
AT ITER 4869 NEW BEST:: SOT 11956299 SOS 7513355 HAS SOPS 6251400 HAS SOUS 1670441 HAS SOUPS 1584172 WITH SCORE 1591685.355
AT ITER 4879 NEW BEST:: SOT 11956506 SOS 7513570 HAS SOPS 6251619 HAS SOUS 1669722 HAS SOUPS 1583453 WITH SCORE 1590966.57
AT ITER 4892 NEW BEST:: SOT 11956431 SOS 7514676 HAS SOPS 6251880 HAS SOUS 1668839 HAS SOUPS 1582570 WITH SCORE 1590084.676
AT ITER 4924 NEW BEST:: SOT 11956441 SOS 7514686 HAS SOPS 6251890 HAS SOUS 1668829 HAS SOUPS 1582560 WITH SCORE 1590074.686
AT ITER 4937 NEW BEST:: SOT 11958000 SOS 7515985 HAS SOPS 6252336 HAS SOUS 1668542 HAS SOUPS 1582301 WITH SCORE 1589816.985
AT ITER 4951 NEW BEST:: SOT 11958183 SOS 7516090 HAS SOPS 6252220 HAS SOUS 1667820 HAS SOUPS 1581592 WITH SCORE 1589108.09
AT ITER 4954 NEW BEST:: SOT 11955548 SOS 7514309 HAS SOPS 6247614 HAS SOUS 1662292 HAS SOUPS 1575959 WITH SCORE 1583473.309
AT ITER 4984 NEW BEST:: SOT 11952497 SOS 7511184 HAS SOPS 6242626 HAS SOUS 1657513 HAS SOUPS 1571252 WITH SCORE 1578763.184
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-7-CTLFireability-00 (EF( ( ( (! (! ((potential((tk(P476)>=1) & (tk(P169)>=1)))))) & (AG( ((potential((tk(P15)>=1) & (tk(P570)>=1)))))) ) & ( ( ( ((potential((tk(P546)>=1) & (tk(P399)>=1)))) & ((potential((tk(P392)>=1) & (tk(P183)>=1)))) ) | (! ((potential((tk(P122)>=1) & (tk(P181)>=1))))) ) | (! ((potential((tk(P399)>=1) & (tk(P378)>=1))))) ) )))
PROPERTY: RERS17pb113-PT-7-CTLFireability-01 (EU( ( (AF( ((potential((tk(P246)>=1) & (tk(P18)>=1)))))) | ( ( ((potential((tk(P276)>=1) & (tk(P503)>=1)))) & ((potential((tk(P461)>=1) & (tk(P577)>=1)))) ) & ((potential((tk(P59)>=1) & (tk(P82)>=1)))) ) ) , (AU( ((potential((tk(P635)>=1) & (tk(P411)>=1)))) , ((potential((tk(P340)>=1) & (tk(P564)>=1)))) )) ))
PROPERTY: RERS17pb113-PT-7-CTLFireability-02 ( ( ( ( ( ((potential((tk(P193)>=1) & (tk(P46)>=1)))) | (! ((potential((tk(P426)>=1) & (tk(P220)>=1))))) ) | ( ( ((potential((tk(P268)>=1) & (tk(P483)>=1)))) | ((potential((tk(P493)>=1) & (tk(P469)>=1)))) ) & ((potential((tk(P495)>=1) & (tk(P383)>=1)))) ) ) | (EX( (! ((potential((tk(P590)>=1) & (tk(P537)>=1))))))) ) & ( (! ((potential((tk(P440)>=1) & (tk(P442)>=1))))) & ((potential((tk(P43)>=1) & (tk(P546)>=1)))) ) ) | ( (AF( ( ( ((potential((tk(P449)>=1) & (tk(P441)>=1)))) | ((potential((tk(P21)>=1) & (tk(P605)>=1)))) ) | ((potential((tk(P218)>=1) & (tk(P135)>=1)))) ))) | ( ( (EG( ((potential((tk(P103)>=1) & (tk(P136)>=1)))))) | (! (! ((potential((tk(P63)>=1) & (tk(P614)>=1)))))) ) & (AU( ((potential((tk(P554)>=1) & (tk(P489)>=1)))) , ((potential((tk(P556)>=1) & (tk(P439)>=1)))) )) ) ) )
PROPERTY: RERS17pb113-PT-7-CTLFireability-03 (AG( ( (EX( ( ((potential((tk(P221)>=1) & (tk(P228)>=1)))) & ((potential((tk(P171)>=1) & (tk(P441)>=1)))) ))) | (AF( ( ((potential((tk(P277)>=1) & (tk(P237)>=1)))) & ((potential((tk(P459)>=1) & (tk(P339)>=1)))) ))) )))
PROPERTY: RERS17pb113-PT-7-CTLFireability-04 (AU( ((potential((tk(P242)>=1) & (tk(P72)>=1)))) , (! (AF( ((potential((tk(P354)>=1) & (tk(P422)>=1))))))) ))
PROPERTY: RERS17pb113-PT-7-CTLFireability-05 (EF( ((potential((tk(P30)>=1) & (tk(P477)>=1))))))
PROPERTY: RERS17pb113-PT-7-CTLFireability-06 (EF( ((potential((tk(P497)>=1) & (tk(P547)>=1))))))
PROPERTY: RERS17pb113-PT-7-CTLFireability-07 (EF( (! (! (AX( ((potential((tk(P157)>=1) & (tk(P182)>=1))))))))))
PROPERTY: RERS17pb113-PT-7-CTLFireability-08 (AF( ( (AU( ((potential((tk(P611)>=1) & (tk(P328)>=1)))) , ((potential((tk(P20)>=1) & (tk(P84)>=1)))) )) & (AG( ((potential((tk(P225)>=1) & (tk(P284)>=1)))))) )))
PROPERTY: RERS17pb113-PT-7-CTLFireability-09 ( (EU( (AF( ((potential((tk(P347)>=1) & (tk(P501)>=1)))))) , ( ( ((potential((tk(P284)>=1) & (tk(P531)>=1)))) & ((potential((tk(P126)>=1) & (tk(P124)>=1)))) ) | ( ((potential((tk(P207)>=1) & (tk(P465)>=1)))) & ((potential((tk(P578)>=1) & (tk(P261)>=1)))) ) ) )) | ((potential((tk(P407)>=1) & (tk(P89)>=1)))) )
PROPERTY: RERS17pb113-PT-7-CTLFireability-10 (AF( (AU( ((potential((tk(P489)>=1) & (tk(P612)>=1)))) , ((potential((tk(P545)>=1) & (tk(P637)>=1)))) ))))
PROPERTY: RERS17pb113-PT-7-CTLFireability-11 (EX( ( ( ( ( ((potential((tk(P478)>=1) & (tk(P195)>=1)))) | ((potential((tk(P140)>=1) & (tk(P438)>=1)))) ) & ( ((potential((tk(P365)>=1) & (tk(P465)>=1)))) | ((potential((tk(P453)>=1) & (tk(P337)>=1)))) ) ) | ((potential((tk(P541)>=1) & (tk(P39)>=1)))) ) | ( (AF( ((potential((tk(P587)>=1) & (tk(P252)>=1)))))) | ( ( ((potential((tk(P116)>=1) & (tk(P583)>=1)))) | ((potential((tk(P191)>=1) & (tk(P127)>=1)))) ) | ( ((potential((tk(P574)>=1) & (tk(P392)>=1)))) & ((potential((tk(P594)>=1) & (tk(P197)>=1)))) ) ) ) )))
PROPERTY: RERS17pb113-PT-7-CTLFireability-12 ( (EF( (EX( ((potential((tk(P438)>=1) & (tk(P180)>=1)))))))) | ( ( ( (AF( ((potential((tk(P613)>=1) & (tk(P337)>=1)))))) & ( ((potential((tk(P163)>=1) & (tk(P149)>=1)))) & ( ((potential((tk(P441)>=1) & (tk(P212)>=1)))) | ((potential((tk(P487)>=1) & (tk(P9)>=1)))) ) ) ) & (! ((potential((tk(P113)>=1) & (tk(P571)>=1))))) ) | ( ((potential((tk(P485)>=1) & (tk(P336)>=1)))) & (! ( ((potential((tk(P405)>=1) & (tk(P115)>=1)))) | ( ((potential((tk(P110)>=1) & (tk(P417)>=1)))) & ((potential((tk(P532)>=1) & (tk(P91)>=1)))) ) )) ) ) )
PROPERTY: RERS17pb113-PT-7-CTLFireability-13 (AG( (EF( ( ( ((potential((tk(P320)>=1) & (tk(P374)>=1)))) | ((potential((tk(P114)>=1) & (tk(P257)>=1)))) ) & ((potential((tk(P493)>=1) & (tk(P266)>=1)))) )))))
PROPERTY: RERS17pb113-PT-7-CTLFireability-14 (! (EU( ( (! ((potential((tk(P462)>=1) & (tk(P556)>=1))))) | ( ((potential((tk(P288)>=1) & (tk(P81)>=1)))) | ((potential((tk(P263)>=1) & (tk(P133)>=1)))) ) ) , (AF( ((potential((tk(P482)>=1) & (tk(P517)>=1)))))) )))
PROPERTY: RERS17pb113-PT-7-CTLFireability-15 (! (EF( (! (! ( ((potential((tk(P390)>=1) & (tk(P524)>=1)))) & ((potential((tk(P332)>=1) & (tk(P492)>=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-7"
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-7, 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-158961502300052"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/RERS17pb113-PT-7.tgz
mv RERS17pb113-PT-7 execution
cd execution
if [ "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 ;