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

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

=== Now, execution of the tool begins

BK_START 1589671544972

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running RERS17pb113 (PT), instance 6
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 12186329 SOS 7712575 HAS SOPS 6394430 HAS SOUS 3037732 HAS SOUPS 2935236 WITH SCORE 2942948.575
AT ITER 4 NEW BEST:: SOT 12185862 SOS 7712180 HAS SOPS 6393732 HAS SOUS 3037486 HAS SOUPS 2934990 WITH SCORE 2942702.18
AT ITER 9 NEW BEST:: SOT 12183766 SOS 7710084 HAS SOPS 6391636 HAS SOUS 3035390 HAS SOUPS 2932894 WITH SCORE 2940604.084
AT ITER 18 NEW BEST:: SOT 12183015 SOS 7708411 HAS SOPS 6390409 HAS SOUS 3033973 HAS SOUPS 2931706 WITH SCORE 2939414.411
AT ITER 19 NEW BEST:: SOT 12182742 SOS 7707204 HAS SOPS 6388793 HAS SOUS 3033451 HAS SOUPS 2931184 WITH SCORE 2938891.204
AT ITER 31 NEW BEST:: SOT 12182641 SOS 7707852 HAS SOPS 6390316 HAS SOUS 3033126 HAS SOUPS 2930859 WITH SCORE 2938566.852
AT ITER 34 NEW BEST:: SOT 12182463 SOS 7707474 HAS SOPS 6390033 HAS SOUS 3032921 HAS SOUPS 2930654 WITH SCORE 2938361.474
AT ITER 44 NEW BEST:: SOT 12182271 SOS 7706877 HAS SOPS 6389302 HAS SOUS 3032743 HAS SOUPS 2930476 WITH SCORE 2938182.877
AT ITER 55 NEW BEST:: SOT 12181898 SOS 7707618 HAS SOPS 6389566 HAS SOUS 3030592 HAS SOUPS 2928325 WITH SCORE 2936032.618
AT ITER 58 NEW BEST:: SOT 12183991 SOS 7713447 HAS SOPS 6393721 HAS SOUS 3028721 HAS SOUPS 2926454 WITH SCORE 2934167.447
AT ITER 61 NEW BEST:: SOT 12182919 SOS 7711625 HAS SOPS 6392955 HAS SOUS 3023777 HAS SOUPS 2921629 WITH SCORE 2929340.625
AT ITER 63 NEW BEST:: SOT 12170060 SOS 7698713 HAS SOPS 6380047 HAS SOUS 3009574 HAS SOUPS 2907430 WITH SCORE 2915128.713
AT ITER 81 NEW BEST:: SOT 12169644 SOS 7698281 HAS SOPS 6379503 HAS SOUS 3008746 HAS SOUPS 2906574 WITH SCORE 2914272.281
AT ITER 90 NEW BEST:: SOT 12174455 SOS 7712886 HAS SOPS 6393497 HAS SOUS 3006695 HAS SOUPS 2904579 WITH SCORE 2912291.886
AT ITER 96 NEW BEST:: SOT 12184020 SOS 7731278 HAS SOPS 6412808 HAS SOUS 3004784 HAS SOUPS 2902731 WITH SCORE 2910462.278
AT ITER 98 NEW BEST:: SOT 12183438 SOS 7730644 HAS SOPS 6411810 HAS SOUS 3003758 HAS SOUPS 2901467 WITH SCORE 2909197.644
AT ITER 108 NEW BEST:: SOT 12182648 SOS 7729687 HAS SOPS 6410131 HAS SOUS 2999760 HAS SOUPS 2897469 WITH SCORE 2905198.687
AT ITER 116 NEW BEST:: SOT 12174525 SOS 7716223 HAS SOPS 6403692 HAS SOUS 2993396 HAS SOUPS 2891272 WITH SCORE 2898988.223
AT ITER 121 NEW BEST:: SOT 12162517 SOS 7702898 HAS SOPS 6388530 HAS SOUS 2975824 HAS SOUPS 2873751 WITH SCORE 2881453.898
AT ITER 122 NEW BEST:: SOT 12162409 SOS 7703835 HAS SOPS 6389074 HAS SOUS 2966524 HAS SOUPS 2864453 WITH SCORE 2872156.835
AT ITER 132 NEW BEST:: SOT 12152228 SOS 7693161 HAS SOPS 6378373 HAS SOUS 2953893 HAS SOUPS 2851891 WITH SCORE 2859584.161
AT ITER 153 NEW BEST:: SOT 12143780 SOS 7684296 HAS SOPS 6368377 HAS SOUS 2947065 HAS SOUPS 2844903 WITH SCORE 2852587.296
AT ITER 161 NEW BEST:: SOT 12140988 SOS 7680854 HAS SOPS 6364330 HAS SOUS 2940287 HAS SOUPS 2838175 WITH SCORE 2845855.854
AT ITER 170 NEW BEST:: SOT 12141796 SOS 7683602 HAS SOPS 6366711 HAS SOUS 2940071 HAS SOUPS 2837959 WITH SCORE 2845642.602
AT ITER 172 NEW BEST:: SOT 12124424 SOS 7666120 HAS SOPS 6349201 HAS SOUS 2914562 HAS SOUPS 2812422 WITH SCORE 2820088.12
AT ITER 175 NEW BEST:: SOT 12123746 SOS 7665382 HAS SOPS 6348043 HAS SOUS 2912474 HAS SOUPS 2810334 WITH SCORE 2817999.382
AT ITER 192 NEW BEST:: SOT 12123537 SOS 7665071 HAS SOPS 6347473 HAS SOUS 2911784 HAS SOUPS 2809644 WITH SCORE 2817309.071
AT ITER 194 NEW BEST:: SOT 12124810 SOS 7669994 HAS SOPS 6353120 HAS SOUS 2910081 HAS SOUPS 2807941 WITH SCORE 2815610.994
AT ITER 200 NEW BEST:: SOT 12117719 SOS 7656195 HAS SOPS 6350175 HAS SOUS 2897205 HAS SOUPS 2795465 WITH SCORE 2803121.195
AT ITER 209 NEW BEST:: SOT 12119568 SOS 7664937 HAS SOPS 6358290 HAS SOUS 2896766 HAS SOUPS 2795026 WITH SCORE 2802690.937
AT ITER 213 NEW BEST:: SOT 12118181 SOS 7663712 HAS SOPS 6358358 HAS SOUS 2891491 HAS SOUPS 2790170 WITH SCORE 2797833.712
AT ITER 223 NEW BEST:: SOT 12113103 SOS 7657120 HAS SOPS 6355660 HAS SOUS 2888468 HAS SOUPS 2787418 WITH SCORE 2795075.12
AT ITER 227 NEW BEST:: SOT 12112979 SOS 7654609 HAS SOPS 6357460 HAS SOUS 2888001 HAS SOUPS 2786951 WITH SCORE 2794605.609
AT ITER 231 NEW BEST:: SOT 12114513 SOS 7655928 HAS SOPS 6357463 HAS SOUS 2886531 HAS SOUPS 2785463 WITH SCORE 2793118.928
AT ITER 247 NEW BEST:: SOT 12113231 SOS 7655308 HAS SOPS 6356324 HAS SOUS 2885868 HAS SOUPS 2784800 WITH SCORE 2792455.308
AT ITER 251 NEW BEST:: SOT 12107381 SOS 7647036 HAS SOPS 6349152 HAS SOUS 2874835 HAS SOUPS 2773852 WITH SCORE 2781499.036
AT ITER 264 NEW BEST:: SOT 12107233 SOS 7646861 HAS SOPS 6349402 HAS SOUS 2873792 HAS SOUPS 2773017 WITH SCORE 2780663.861
AT ITER 273 NEW BEST:: SOT 12103991 SOS 7644279 HAS SOPS 6348502 HAS SOUS 2868379 HAS SOUPS 2768677 WITH SCORE 2776321.279
AT ITER 288 NEW BEST:: SOT 12103791 SOS 7644135 HAS SOPS 6348358 HAS SOUS 2867844 HAS SOUPS 2768142 WITH SCORE 2775786.135
AT ITER 293 NEW BEST:: SOT 12103789 SOS 7644139 HAS SOPS 6348359 HAS SOUS 2867836 HAS SOUPS 2768134 WITH SCORE 2775778.139
AT ITER 294 NEW BEST:: SOT 12101949 SOS 7641377 HAS SOPS 6346669 HAS SOUS 2862604 HAS SOUPS 2763173 WITH SCORE 2770814.377
AT ITER 298 NEW BEST:: SOT 12091632 SOS 7630461 HAS SOPS 6335882 HAS SOUS 2851131 HAS SOUPS 2751829 WITH SCORE 2759459.461
AT ITER 316 NEW BEST:: SOT 12091805 SOS 7630581 HAS SOPS 6342185 HAS SOUS 2839712 HAS SOUPS 2740410 WITH SCORE 2748040.581
AT ITER 319 NEW BEST:: SOT 12091879 SOS 7630268 HAS SOPS 6343310 HAS SOUS 2837933 HAS SOUPS 2738701 WITH SCORE 2746331.268
AT ITER 320 NEW BEST:: SOT 12093747 SOS 7635089 HAS SOPS 6348274 HAS SOUS 2835591 HAS SOUPS 2736359 WITH SCORE 2743994.089
AT ITER 321 NEW BEST:: SOT 12089662 SOS 7631004 HAS SOPS 6344189 HAS SOUS 2831682 HAS SOUPS 2732450 WITH SCORE 2740081.004
AT ITER 328 NEW BEST:: SOT 12089691 SOS 7631893 HAS SOPS 6345186 HAS SOUS 2830563 HAS SOUPS 2731347 WITH SCORE 2738978.893
AT ITER 334 NEW BEST:: SOT 12086665 SOS 7625453 HAS SOPS 6338586 HAS SOUS 2825933 HAS SOUPS 2726717 WITH SCORE 2734342.453
AT ITER 355 NEW BEST:: SOT 12085891 SOS 7624216 HAS SOPS 6337108 HAS SOUS 2824769 HAS SOUPS 2725553 WITH SCORE 2733177.216
AT ITER 364 NEW BEST:: SOT 12088066 SOS 7626496 HAS SOPS 6339212 HAS SOUS 2823128 HAS SOUPS 2723995 WITH SCORE 2731621.496
AT ITER 365 NEW BEST:: SOT 12087779 SOS 7627755 HAS SOPS 6341509 HAS SOUS 2821855 HAS SOUPS 2722645 WITH SCORE 2730272.755
AT ITER 380 NEW BEST:: SOT 12087518 SOS 7627840 HAS SOPS 6341996 HAS SOUS 2821884 HAS SOUPS 2722525 WITH SCORE 2730152.84
AT ITER 385 NEW BEST:: SOT 12086540 SOS 7626347 HAS SOPS 6340489 HAS SOUS 2821205 HAS SOUPS 2721824 WITH SCORE 2729450.347
AT ITER 395 NEW BEST:: SOT 12093789 SOS 7648489 HAS SOPS 6362449 HAS SOUS 2815519 HAS SOUPS 2716300 WITH SCORE 2723948.489
AT ITER 397 NEW BEST:: SOT 12092903 SOS 7651667 HAS SOPS 6363735 HAS SOUS 2806859 HAS SOUPS 2707640 WITH SCORE 2715291.667
AT ITER 408 NEW BEST:: SOT 12092982 SOS 7651481 HAS SOPS 6363493 HAS SOUS 2806671 HAS SOUPS 2707469 WITH SCORE 2715120.481
AT ITER 419 NEW BEST:: SOT 12093191 SOS 7653202 HAS SOPS 6363778 HAS SOUS 2805498 HAS SOUPS 2706296 WITH SCORE 2713949.202
AT ITER 424 NEW BEST:: SOT 12093335 SOS 7653858 HAS SOPS 6364050 HAS SOUS 2805386 HAS SOUPS 2706184 WITH SCORE 2713837.858
AT ITER 426 NEW BEST:: SOT 12091643 SOS 7650664 HAS SOPS 6362496 HAS SOUS 2804199 HAS SOUPS 2705486 WITH SCORE 2713136.664
AT ITER 432 NEW BEST:: SOT 12089959 SOS 7648978 HAS SOPS 6360816 HAS SOUS 2801558 HAS SOUPS 2702845 WITH SCORE 2710493.978
AT ITER 441 NEW BEST:: SOT 12089922 SOS 7648069 HAS SOPS 6359655 HAS SOUS 2801130 HAS SOUPS 2702417 WITH SCORE 2710065.069
AT ITER 457 NEW BEST:: SOT 12086614 SOS 7640387 HAS SOPS 6354172 HAS SOUS 2795930 HAS SOUPS 2698679 WITH SCORE 2706319.387
AT ITER 461 NEW BEST:: SOT 12086742 SOS 7640801 HAS SOPS 6354155 HAS SOUS 2794121 HAS SOUPS 2696870 WITH SCORE 2704510.801
AT ITER 471 NEW BEST:: SOT 12084875 SOS 7636548 HAS SOPS 6351132 HAS SOUS 2790042 HAS SOUPS 2692838 WITH SCORE 2700474.548
AT ITER 476 NEW BEST:: SOT 12083976 SOS 7634099 HAS SOPS 6349774 HAS SOUS 2787713 HAS SOUPS 2690509 WITH SCORE 2698143.099
AT ITER 477 NEW BEST:: SOT 12084109 SOS 7633915 HAS SOPS 6349562 HAS SOUS 2787565 HAS SOUPS 2690361 WITH SCORE 2697994.915
AT ITER 478 NEW BEST:: SOT 12084071 SOS 7633877 HAS SOPS 6349524 HAS SOUS 2787331 HAS SOUPS 2690127 WITH SCORE 2697760.877
AT ITER 479 NEW BEST:: SOT 12084006 SOS 7633764 HAS SOPS 6349531 HAS SOUS 2787318 HAS SOUPS 2690120 WITH SCORE 2697753.764
AT ITER 482 NEW BEST:: SOT 12083391 SOS 7633181 HAS SOPS 6348484 HAS SOUS 2785999 HAS SOUPS 2688785 WITH SCORE 2696418.181
AT ITER 483 NEW BEST:: SOT 12082532 SOS 7630717 HAS SOPS 6346308 HAS SOUS 2785903 HAS SOUPS 2688689 WITH SCORE 2696319.717
AT ITER 493 NEW BEST:: SOT 12082081 SOS 7630433 HAS SOPS 6346178 HAS SOUS 2785197 HAS SOUPS 2687983 WITH SCORE 2695613.433
AT ITER 500 NEW BEST:: SOT 12080366 SOS 7626662 HAS SOPS 6343069 HAS SOUS 2783669 HAS SOUPS 2686455 WITH SCORE 2694081.662
AT ITER 518 NEW BEST:: SOT 12080302 SOS 7627630 HAS SOPS 6343799 HAS SOUS 2780934 HAS SOUPS 2683656 WITH SCORE 2691283.63
AT ITER 521 NEW BEST:: SOT 12080371 SOS 7629342 HAS SOPS 6345088 HAS SOUS 2779968 HAS SOUPS 2682690 WITH SCORE 2690319.342
AT ITER 530 NEW BEST:: SOT 12079865 SOS 7628693 HAS SOPS 6344219 HAS SOUS 2779088 HAS SOUPS 2681799 WITH SCORE 2689427.693
AT ITER 546 NEW BEST:: SOT 12084160 SOS 7641144 HAS SOPS 6355218 HAS SOUS 2775310 HAS SOUPS 2678021 WITH SCORE 2685662.144
AT ITER 550 NEW BEST:: SOT 12080510 SOS 7637472 HAS SOPS 6351175 HAS SOUS 2770947 HAS SOUPS 2673643 WITH SCORE 2681280.472
AT ITER 553 NEW BEST:: SOT 12080324 SOS 7637142 HAS SOPS 6351037 HAS SOUS 2770321 HAS SOUPS 2673025 WITH SCORE 2680662.142
AT ITER 558 NEW BEST:: SOT 12080036 SOS 7636911 HAS SOPS 6352727 HAS SOUS 2764905 HAS SOUPS 2668664 WITH SCORE 2676300.911
AT ITER 571 NEW BEST:: SOT 12086825 SOS 7657768 HAS SOPS 6372369 HAS SOUS 2762334 HAS SOUPS 2666093 WITH SCORE 2673750.768
AT ITER 573 NEW BEST:: SOT 12086876 SOS 7658495 HAS SOPS 6373010 HAS SOUS 2762226 HAS SOUPS 2665985 WITH SCORE 2673643.495
AT ITER 575 NEW BEST:: SOT 12082040 SOS 7653619 HAS SOPS 6368141 HAS SOUS 2750900 HAS SOUPS 2654666 WITH SCORE 2662319.619
AT ITER 586 NEW BEST:: SOT 12080335 SOS 7648063 HAS SOPS 6364103 HAS SOUS 2749451 HAS SOUPS 2653217 WITH SCORE 2660865.063
AT ITER 611 NEW BEST:: SOT 12077995 SOS 7645439 HAS SOPS 6362168 HAS SOUS 2743090 HAS SOUPS 2646977 WITH SCORE 2654622.439
AT ITER 612 NEW BEST:: SOT 12072590 SOS 7638349 HAS SOPS 6354137 HAS SOUS 2733731 HAS SOUPS 2637651 WITH SCORE 2645289.349
AT ITER 616 NEW BEST:: SOT 12065235 SOS 7624976 HAS SOPS 6343139 HAS SOUS 2728602 HAS SOUPS 2632616 WITH SCORE 2640240.976
AT ITER 617 NEW BEST:: SOT 12059000 SOS 7613352 HAS SOPS 6332097 HAS SOUS 2720466 HAS SOUPS 2624541 WITH SCORE 2632154.352
AT ITER 618 NEW BEST:: SOT 12057763 SOS 7611520 HAS SOPS 6329594 HAS SOUS 2716858 HAS SOUPS 2620933 WITH SCORE 2628544.52
AT ITER 621 NEW BEST:: SOT 12057523 SOS 7611265 HAS SOPS 6329117 HAS SOUS 2716361 HAS SOUPS 2620430 WITH SCORE 2628041.265
AT ITER 625 NEW BEST:: SOT 12061106 SOS 7617453 HAS SOPS 6338487 HAS SOUS 2715858 HAS SOUPS 2620183 WITH SCORE 2627800.453
AT ITER 639 NEW BEST:: SOT 12055298 SOS 7611604 HAS SOPS 6332626 HAS SOUS 2710309 HAS SOUPS 2614622 WITH SCORE 2622233.604
AT ITER 642 NEW BEST:: SOT 12059426 SOS 7627862 HAS SOPS 6345680 HAS SOUS 2707879 HAS SOUPS 2612192 WITH SCORE 2619819.862
AT ITER 648 NEW BEST:: SOT 12058420 SOS 7627414 HAS SOPS 6345067 HAS SOUS 2706949 HAS SOUPS 2611238 WITH SCORE 2618865.414
AT ITER 651 NEW BEST:: SOT 12058218 SOS 7627253 HAS SOPS 6344940 HAS SOUS 2706111 HAS SOUPS 2610434 WITH SCORE 2618061.253
AT ITER 655 NEW BEST:: SOT 12057443 SOS 7626192 HAS SOPS 6343795 HAS SOUS 2704517 HAS SOUPS 2608840 WITH SCORE 2616466.192
AT ITER 656 NEW BEST:: SOT 12057099 SOS 7625824 HAS SOPS 6343400 HAS SOUS 2703999 HAS SOUPS 2608320 WITH SCORE 2615945.824
AT ITER 663 NEW BEST:: SOT 12042603 SOS 7591489 HAS SOPS 6312405 HAS SOUS 2698312 HAS SOUPS 2602855 WITH SCORE 2610446.489
AT ITER 667 NEW BEST:: SOT 12042483 SOS 7591369 HAS SOPS 6312285 HAS SOUS 2697984 HAS SOUPS 2602527 WITH SCORE 2610118.369
AT ITER 668 NEW BEST:: SOT 12044586 SOS 7597512 HAS SOPS 6318340 HAS SOUS 2697054 HAS SOUPS 2601597 WITH SCORE 2609194.512
AT ITER 673 NEW BEST:: SOT 12044508 SOS 7596962 HAS SOPS 6317948 HAS SOUS 2696870 HAS SOUPS 2601413 WITH SCORE 2609009.962
AT ITER 677 NEW BEST:: SOT 12043149 SOS 7598246 HAS SOPS 6316461 HAS SOUS 2685630 HAS SOUPS 2590173 WITH SCORE 2597771.246
AT ITER 679 NEW BEST:: SOT 12043128 SOS 7598041 HAS SOPS 6316198 HAS SOUS 2685583 HAS SOUPS 2590126 WITH SCORE 2597724.041
AT ITER 681 NEW BEST:: SOT 12040182 SOS 7587724 HAS SOPS 6307964 HAS SOUS 2684796 HAS SOUPS 2589459 WITH SCORE 2597046.724
AT ITER 686 NEW BEST:: SOT 12040043 SOS 7587413 HAS SOPS 6307796 HAS SOUS 2684605 HAS SOUPS 2589283 WITH SCORE 2596870.413
AT ITER 690 NEW BEST:: SOT 12039931 SOS 7587301 HAS SOPS 6307684 HAS SOUS 2684237 HAS SOUPS 2588915 WITH SCORE 2596502.301
AT ITER 708 NEW BEST:: SOT 12036188 SOS 7583486 HAS SOPS 6303365 HAS SOUS 2678570 HAS SOUPS 2583192 WITH SCORE 2590775.486
AT ITER 712 NEW BEST:: SOT 12035951 SOS 7582985 HAS SOPS 6302324 HAS SOUS 2678085 HAS SOUPS 2582707 WITH SCORE 2590289.985
AT ITER 725 NEW BEST:: SOT 12034245 SOS 7581279 HAS SOPS 6300618 HAS SOUS 2676379 HAS SOUPS 2581001 WITH SCORE 2588582.279
AT ITER 751 NEW BEST:: SOT 12034355 SOS 7581319 HAS SOPS 6300168 HAS SOUS 2674314 HAS SOUPS 2578782 WITH SCORE 2586363.319
AT ITER 754 NEW BEST:: SOT 12034372 SOS 7582185 HAS SOPS 6300588 HAS SOUS 2674091 HAS SOUPS 2578559 WITH SCORE 2586141.185
AT ITER 765 NEW BEST:: SOT 12033519 SOS 7581883 HAS SOPS 6299078 HAS SOUS 2669100 HAS SOUPS 2573517 WITH SCORE 2581098.883
AT ITER 767 NEW BEST:: SOT 12033552 SOS 7582477 HAS SOPS 6299148 HAS SOUS 2667318 HAS SOUPS 2571757 WITH SCORE 2579339.477
AT ITER 772 NEW BEST:: SOT 12030582 SOS 7577907 HAS SOPS 6295430 HAS SOUS 2661403 HAS SOUPS 2565914 WITH SCORE 2573491.907
AT ITER 775 NEW BEST:: SOT 12030436 SOS 7576740 HAS SOPS 6294020 HAS SOUS 2661242 HAS SOUPS 2565753 WITH SCORE 2573329.74
AT ITER 789 NEW BEST:: SOT 12030329 SOS 7577116 HAS SOPS 6294308 HAS SOUS 2659350 HAS SOUPS 2563861 WITH SCORE 2571438.116
AT ITER 796 NEW BEST:: SOT 12032647 SOS 7579400 HAS SOPS 6296893 HAS SOUS 2657529 HAS SOUPS 2562137 WITH SCORE 2569716.4
AT ITER 799 NEW BEST:: SOT 12032290 SOS 7581765 HAS SOPS 6297509 HAS SOUS 2653826 HAS SOUPS 2558434 WITH SCORE 2566015.765
AT ITER 813 NEW BEST:: SOT 12030910 SOS 7580385 HAS SOPS 6296129 HAS SOUS 2652206 HAS SOUPS 2556814 WITH SCORE 2564394.385
AT ITER 819 NEW BEST:: SOT 12031661 SOS 7586492 HAS SOPS 6300038 HAS SOUS 2648522 HAS SOUPS 2553130 WITH SCORE 2560716.492
AT ITER 824 NEW BEST:: SOT 12028579 SOS 7583439 HAS SOPS 6296956 HAS SOUS 2645401 HAS SOUPS 2549980 WITH SCORE 2557563.439
AT ITER 859 NEW BEST:: SOT 12025327 SOS 7580061 HAS SOPS 6292696 HAS SOUS 2637936 HAS SOUPS 2542459 WITH SCORE 2550039.061
AT ITER 870 NEW BEST:: SOT 12025284 SOS 7578942 HAS SOPS 6291523 HAS SOUS 2637835 HAS SOUPS 2542358 WITH SCORE 2549936.942
AT ITER 878 NEW BEST:: SOT 12034692 SOS 7607726 HAS SOPS 6320119 HAS SOUS 2634514 HAS SOUPS 2539037 WITH SCORE 2546644.726
AT ITER 883 NEW BEST:: SOT 12035626 SOS 7610514 HAS SOPS 6322323 HAS SOUS 2632707 HAS SOUPS 2537230 WITH SCORE 2544840.514
AT ITER 886 NEW BEST:: SOT 12035540 SOS 7610443 HAS SOPS 6321927 HAS SOUS 2632204 HAS SOUPS 2536727 WITH SCORE 2544337.443
AT ITER 907 NEW BEST:: SOT 12033399 SOS 7604863 HAS SOPS 6317134 HAS SOUS 2631290 HAS SOUPS 2535813 WITH SCORE 2543417.863
AT ITER 909 NEW BEST:: SOT 12031617 SOS 7603198 HAS SOPS 6314845 HAS SOUS 2629255 HAS SOUPS 2533562 WITH SCORE 2541165.198
AT ITER 913 NEW BEST:: SOT 12022215 SOS 7576065 HAS SOPS 6307785 HAS SOUS 2626891 HAS SOUPS 2531962 WITH SCORE 2539538.065
AT ITER 959 NEW BEST:: SOT 12016321 SOS 7570097 HAS SOPS 6301299 HAS SOUS 2619290 HAS SOUPS 2524361 WITH SCORE 2531931.097
AT ITER 966 NEW BEST:: SOT 12015970 SOS 7569919 HAS SOPS 6300721 HAS SOUS 2617816 HAS SOUPS 2522868 WITH SCORE 2530437.919
AT ITER 967 NEW BEST:: SOT 12015988 SOS 7570181 HAS SOPS 6301041 HAS SOUS 2617800 HAS SOUPS 2522852 WITH SCORE 2530422.181
AT ITER 972 NEW BEST:: SOT 12012337 SOS 7564222 HAS SOPS 6294838 HAS SOUS 2613286 HAS SOUPS 2518338 WITH SCORE 2525902.222
AT ITER 987 NEW BEST:: SOT 12012267 SOS 7563855 HAS SOPS 6293816 HAS SOUS 2613181 HAS SOUPS 2518212 WITH SCORE 2525775.855
AT ITER 1005 NEW BEST:: SOT 12002864 SOS 7553345 HAS SOPS 6283434 HAS SOUS 2602145 HAS SOUPS 2507224 WITH SCORE 2514777.345
AT ITER 1012 NEW BEST:: SOT 12003484 SOS 7559873 HAS SOPS 6284896 HAS SOUS 2599711 HAS SOUPS 2504503 WITH SCORE 2512062.873
AT ITER 1013 NEW BEST:: SOT 12001717 SOS 7558067 HAS SOPS 6283079 HAS SOUS 2598161 HAS SOUPS 2502942 WITH SCORE 2510500.067
AT ITER 1017 NEW BEST:: SOT 12000786 SOS 7557761 HAS SOPS 6284479 HAS SOUS 2596608 HAS SOUPS 2501389 WITH SCORE 2508946.761
AT ITER 1018 NEW BEST:: SOT 11999997 SOS 7557077 HAS SOPS 6283961 HAS SOUS 2595753 HAS SOUPS 2500509 WITH SCORE 2508066.077
AT ITER 1025 NEW BEST:: SOT 11999177 SOS 7556225 HAS SOPS 6282885 HAS SOUS 2593985 HAS SOUPS 2498741 WITH SCORE 2506297.225
AT ITER 1028 NEW BEST:: SOT 11998475 SOS 7553732 HAS SOPS 6280035 HAS SOUS 2591523 HAS SOUPS 2496279 WITH SCORE 2503832.732
AT ITER 1054 NEW BEST:: SOT 11999014 SOS 7556719 HAS SOPS 6280871 HAS SOUS 2589288 HAS SOUPS 2494044 WITH SCORE 2501600.719
AT ITER 1064 NEW BEST:: SOT 12001361 SOS 7558164 HAS SOPS 6284565 HAS SOUS 2584355 HAS SOUPS 2490350 WITH SCORE 2497908.164
AT ITER 1073 NEW BEST:: SOT 12004004 SOS 7561037 HAS SOPS 6290311 HAS SOUS 2582473 HAS SOUPS 2488654 WITH SCORE 2496215.037
AT ITER 1092 NEW BEST:: SOT 12005029 SOS 7563216 HAS SOPS 6294223 HAS SOUS 2582244 HAS SOUPS 2488425 WITH SCORE 2495988.216
AT ITER 1116 NEW BEST:: SOT 12003012 SOS 7561698 HAS SOPS 6293104 HAS SOUS 2578797 HAS SOUPS 2484931 WITH SCORE 2492492.698
AT ITER 1122 NEW BEST:: SOT 12002754 SOS 7561425 HAS SOPS 6292795 HAS SOUS 2578224 HAS SOUPS 2484361 WITH SCORE 2491922.425
AT ITER 1123 NEW BEST:: SOT 12002821 SOS 7561798 HAS SOPS 6292848 HAS SOUS 2577648 HAS SOUPS 2483761 WITH SCORE 2491322.798
AT ITER 1127 NEW BEST:: SOT 12001323 SOS 7558657 HAS SOPS 6291325 HAS SOUS 2575510 HAS SOUPS 2481623 WITH SCORE 2489181.657
AT ITER 1143 NEW BEST:: SOT 11994477 SOS 7544165 HAS SOPS 6286078 HAS SOUS 2572154 HAS SOUPS 2478462 WITH SCORE 2486006.165
AT ITER 1152 NEW BEST:: SOT 11998092 SOS 7549254 HAS SOPS 6291579 HAS SOUS 2570733 HAS SOUPS 2477154 WITH SCORE 2484703.254
AT ITER 1156 NEW BEST:: SOT 11997044 SOS 7547229 HAS SOPS 6289776 HAS SOUS 2569305 HAS SOUPS 2475754 WITH SCORE 2483301.229
AT ITER 1158 NEW BEST:: SOT 11997036 SOS 7547221 HAS SOPS 6289768 HAS SOUS 2569305 HAS SOUPS 2475754 WITH SCORE 2483301.221
AT ITER 1172 NEW BEST:: SOT 11997245 SOS 7547188 HAS SOPS 6289316 HAS SOUS 2568846 HAS SOUPS 2475295 WITH SCORE 2482842.188
AT ITER 1190 NEW BEST:: SOT 11997173 SOS 7547116 HAS SOPS 6289244 HAS SOUS 2568702 HAS SOUPS 2475151 WITH SCORE 2482698.116
AT ITER 1195 NEW BEST:: SOT 11996966 SOS 7544230 HAS SOPS 6285793 HAS SOUS 2565097 HAS SOUPS 2471540 WITH SCORE 2479084.23
AT ITER 1214 NEW BEST:: SOT 11993044 SOS 7540784 HAS SOPS 6279032 HAS SOUS 2558622 HAS SOUPS 2464900 WITH SCORE 2472440.784
AT ITER 1218 NEW BEST:: SOT 11986919 SOS 7533662 HAS SOPS 6275792 HAS SOUS 2554957 HAS SOUPS 2461403 WITH SCORE 2468936.662
AT ITER 1223 NEW BEST:: SOT 11986111 SOS 7532056 HAS SOPS 6272106 HAS SOUS 2553234 HAS SOUPS 2459640 WITH SCORE 2467172.056
AT ITER 1227 NEW BEST:: SOT 11986116 SOS 7532691 HAS SOPS 6272501 HAS SOUS 2552859 HAS SOUPS 2459265 WITH SCORE 2466797.691
AT ITER 1233 NEW BEST:: SOT 11983485 SOS 7529933 HAS SOPS 6266915 HAS SOUS 2543198 HAS SOUPS 2449604 WITH SCORE 2457133.933
AT ITER 1247 NEW BEST:: SOT 11983467 SOS 7529884 HAS SOPS 6266879 HAS SOUS 2543197 HAS SOUPS 2449604 WITH SCORE 2457133.884
AT ITER 1248 NEW BEST:: SOT 11983671 SOS 7530378 HAS SOPS 6269273 HAS SOUS 2542936 HAS SOUPS 2449343 WITH SCORE 2456873.378
AT ITER 1255 NEW BEST:: SOT 11981811 SOS 7528590 HAS SOPS 6267829 HAS SOUS 2542427 HAS SOUPS 2449225 WITH SCORE 2456753.59
AT ITER 1256 NEW BEST:: SOT 11986651 SOS 7540015 HAS SOPS 6286978 HAS SOUS 2540379 HAS SOUPS 2447574 WITH SCORE 2455114.015
AT ITER 1260 NEW BEST:: SOT 11985983 SOS 7538922 HAS SOPS 6285796 HAS SOUS 2539365 HAS SOUPS 2446560 WITH SCORE 2454098.922
AT ITER 1263 NEW BEST:: SOT 11985245 SOS 7538364 HAS SOPS 6284358 HAS SOUS 2536567 HAS SOUPS 2443750 WITH SCORE 2451288.364
AT ITER 1269 NEW BEST:: SOT 11983222 SOS 7535626 HAS SOPS 6281066 HAS SOUS 2532587 HAS SOUPS 2439792 WITH SCORE 2447327.626
AT ITER 1275 NEW BEST:: SOT 11983417 SOS 7536415 HAS SOPS 6281643 HAS SOUS 2532441 HAS SOUPS 2439644 WITH SCORE 2447180.415
AT ITER 1285 NEW BEST:: SOT 11983522 SOS 7536555 HAS SOPS 6285369 HAS SOUS 2527453 HAS SOUPS 2434656 WITH SCORE 2442192.555
AT ITER 1288 NEW BEST:: SOT 11982592 SOS 7535056 HAS SOPS 6284389 HAS SOUS 2526252 HAS SOUPS 2433475 WITH SCORE 2441010.056
AT ITER 1310 NEW BEST:: SOT 11983330 SOS 7539153 HAS SOPS 6286591 HAS SOUS 2521118 HAS SOUPS 2428341 WITH SCORE 2435880.153
AT ITER 1327 NEW BEST:: SOT 11983188 SOS 7538919 HAS SOPS 6286573 HAS SOUS 2520977 HAS SOUPS 2428231 WITH SCORE 2435769.919
AT ITER 1341 NEW BEST:: SOT 11984151 SOS 7544265 HAS SOPS 6293026 HAS SOUS 2519509 HAS SOUPS 2426763 WITH SCORE 2434307.265
AT ITER 1351 NEW BEST:: SOT 11984112 SOS 7544275 HAS SOPS 6293029 HAS SOUS 2516177 HAS SOUPS 2423410 WITH SCORE 2430954.275
AT ITER 1361 NEW BEST:: SOT 11983992 SOS 7544119 HAS SOPS 6292621 HAS SOUS 2514743 HAS SOUPS 2421976 WITH SCORE 2429520.119
AT ITER 1374 NEW BEST:: SOT 11986643 SOS 7551472 HAS SOPS 6299570 HAS SOUS 2512430 HAS SOUPS 2419663 WITH SCORE 2427214.472
AT ITER 1393 NEW BEST:: SOT 11986520 SOS 7551301 HAS SOPS 6299261 HAS SOUS 2511761 HAS SOUPS 2419012 WITH SCORE 2426563.301
AT ITER 1395 NEW BEST:: SOT 11984570 SOS 7547527 HAS SOPS 6295661 HAS SOUS 2509573 HAS SOUPS 2416831 WITH SCORE 2424378.527
AT ITER 1400 NEW BEST:: SOT 11982889 SOS 7545860 HAS SOPS 6293916 HAS SOUS 2508022 HAS SOUPS 2415236 WITH SCORE 2422781.86
AT ITER 1411 NEW BEST:: SOT 11979329 SOS 7542782 HAS SOPS 6287353 HAS SOUS 2500306 HAS SOUPS 2407520 WITH SCORE 2415062.782
AT ITER 1417 NEW BEST:: SOT 11975806 SOS 7539367 HAS SOPS 6284465 HAS SOUS 2496477 HAS SOUPS 2403724 WITH SCORE 2411263.367
AT ITER 1425 NEW BEST:: SOT 11975764 SOS 7537569 HAS SOPS 6283259 HAS SOUS 2496342 HAS SOUPS 2403589 WITH SCORE 2411126.569
AT ITER 1427 NEW BEST:: SOT 11975640 SOS 7537415 HAS SOPS 6283095 HAS SOUS 2496163 HAS SOUPS 2403410 WITH SCORE 2410947.415
AT ITER 1429 NEW BEST:: SOT 11975638 SOS 7537249 HAS SOPS 6282961 HAS SOUS 2496145 HAS SOUPS 2403392 WITH SCORE 2410929.249
AT ITER 1435 NEW BEST:: SOT 11975565 SOS 7537761 HAS SOPS 6283212 HAS SOUS 2495309 HAS SOUPS 2402556 WITH SCORE 2410093.761
AT ITER 1441 NEW BEST:: SOT 11976692 SOS 7542131 HAS SOPS 6283360 HAS SOUS 2481143 HAS SOUPS 2388390 WITH SCORE 2395932.131
AT ITER 1448 NEW BEST:: SOT 11976497 SOS 7540139 HAS SOPS 6281281 HAS SOUS 2480363 HAS SOUPS 2387610 WITH SCORE 2395150.139
AT ITER 1456 NEW BEST:: SOT 11975812 SOS 7539282 HAS SOPS 6280302 HAS SOUS 2479080 HAS SOUPS 2386365 WITH SCORE 2393904.282
AT ITER 1501 NEW BEST:: SOT 11977223 SOS 7543503 HAS SOPS 6284006 HAS SOUS 2479037 HAS SOUPS 2386322 WITH SCORE 2393865.503
AT ITER 1503 NEW BEST:: SOT 11977411 SOS 7539784 HAS SOPS 6277979 HAS SOUS 2477832 HAS SOUPS 2385117 WITH SCORE 2392656.784
AT ITER 1511 NEW BEST:: SOT 11976512 SOS 7538767 HAS SOPS 6277065 HAS SOUS 2475062 HAS SOUPS 2382562 WITH SCORE 2390100.767
AT ITER 1523 NEW BEST:: SOT 11987590 SOS 7567804 HAS SOPS 6303649 HAS SOUS 2455613 HAS SOUPS 2362787 WITH SCORE 2370354.804
AT ITER 1530 NEW BEST:: SOT 11987588 SOS 7566575 HAS SOPS 6301477 HAS SOUS 2455004 HAS SOUPS 2362178 WITH SCORE 2369744.575
AT ITER 1531 NEW BEST:: SOT 11986414 SOS 7560133 HAS SOPS 6300794 HAS SOUS 2454666 HAS SOUPS 2361835 WITH SCORE 2369395.133
AT ITER 1541 NEW BEST:: SOT 11986603 SOS 7563289 HAS SOPS 6307620 HAS SOUS 2453618 HAS SOUPS 2360787 WITH SCORE 2368350.289
AT ITER 1545 NEW BEST:: SOT 11989232 SOS 7565822 HAS SOPS 6309273 HAS SOUS 2451865 HAS SOUPS 2359019 WITH SCORE 2366584.822
AT ITER 1546 NEW BEST:: SOT 11988924 SOS 7565887 HAS SOPS 6309064 HAS SOUS 2449021 HAS SOUPS 2356175 WITH SCORE 2363740.887
AT ITER 1554 NEW BEST:: SOT 11988472 SOS 7571473 HAS SOPS 6315313 HAS SOUS 2443156 HAS SOUPS 2350310 WITH SCORE 2357881.473
AT ITER 1562 NEW BEST:: SOT 11995157 SOS 7580194 HAS SOPS 6325266 HAS SOUS 2432362 HAS SOUPS 2339487 WITH SCORE 2347067.194
AT ITER 1585 NEW BEST:: SOT 11996387 SOS 7582888 HAS SOPS 6326380 HAS SOUS 2430039 HAS SOUPS 2337164 WITH SCORE 2344746.888
AT ITER 1590 NEW BEST:: SOT 11991973 SOS 7569938 HAS SOPS 6318018 HAS SOUS 2418287 HAS SOUPS 2325536 WITH SCORE 2333105.938
AT ITER 1611 NEW BEST:: SOT 11991895 SOS 7569930 HAS SOPS 6318213 HAS SOUS 2417761 HAS SOUPS 2325087 WITH SCORE 2332656.93
AT ITER 1612 NEW BEST:: SOT 11990331 SOS 7568205 HAS SOPS 6316192 HAS SOUS 2414062 HAS SOUPS 2321413 WITH SCORE 2328981.205
AT ITER 1616 NEW BEST:: SOT 11989880 SOS 7567456 HAS SOPS 6315575 HAS SOUS 2413111 HAS SOUPS 2320451 WITH SCORE 2328018.456
AT ITER 1658 NEW BEST:: SOT 11989878 SOS 7567454 HAS SOPS 6315573 HAS SOUS 2413069 HAS SOUPS 2320409 WITH SCORE 2327976.454
AT ITER 1662 NEW BEST:: SOT 11989450 SOS 7566323 HAS SOPS 6314654 HAS SOUS 2412674 HAS SOUPS 2320014 WITH SCORE 2327580.323
AT ITER 1673 NEW BEST:: SOT 11987827 SOS 7563282 HAS SOPS 6310774 HAS SOUS 2409939 HAS SOUPS 2317279 WITH SCORE 2324842.282
AT ITER 1685 NEW BEST:: SOT 11987407 SOS 7563218 HAS SOPS 6310258 HAS SOUS 2408355 HAS SOUPS 2315663 WITH SCORE 2323226.218
AT ITER 1686 NEW BEST:: SOT 11987081 SOS 7561929 HAS SOPS 6309179 HAS SOUS 2407595 HAS SOUPS 2314903 WITH SCORE 2322464.929
AT ITER 1694 NEW BEST:: SOT 11987251 SOS 7562067 HAS SOPS 6309365 HAS SOUS 2406966 HAS SOUPS 2314305 WITH SCORE 2321867.067
AT ITER 1702 NEW BEST:: SOT 11986672 SOS 7561466 HAS SOPS 6308610 HAS SOUS 2405978 HAS SOUPS 2313317 WITH SCORE 2320878.466
AT ITER 1705 NEW BEST:: SOT 11984766 SOS 7559484 HAS SOPS 6306051 HAS SOUS 2402149 HAS SOUPS 2309488 WITH SCORE 2317047.484
AT ITER 1707 NEW BEST:: SOT 11981787 SOS 7554637 HAS SOPS 6300909 HAS SOUS 2398918 HAS SOUPS 2306257 WITH SCORE 2313811.637
AT ITER 1712 NEW BEST:: SOT 11982357 SOS 7557433 HAS SOPS 6304429 HAS SOUS 2397682 HAS SOUPS 2305021 WITH SCORE 2312578.433
AT ITER 1731 NEW BEST:: SOT 11983223 SOS 7552201 HAS SOPS 6300297 HAS SOUS 2395401 HAS SOUPS 2302917 WITH SCORE 2310469.201
AT ITER 1762 NEW BEST:: SOT 11983155 SOS 7552210 HAS SOPS 6300245 HAS SOUS 2394982 HAS SOUPS 2302568 WITH SCORE 2310120.21
AT ITER 1782 NEW BEST:: SOT 11979620 SOS 7546965 HAS SOPS 6294385 HAS SOUS 2387445 HAS SOUPS 2295031 WITH SCORE 2302577.965
AT ITER 1784 NEW BEST:: SOT 11978500 SOS 7545845 HAS SOPS 6293265 HAS SOUS 2386325 HAS SOUPS 2293911 WITH SCORE 2301456.845
AT ITER 1785 NEW BEST:: SOT 11976763 SOS 7542902 HAS SOPS 6290567 HAS SOUS 2382905 HAS SOUPS 2290520 WITH SCORE 2298062.902
AT ITER 1796 NEW BEST:: SOT 11976643 SOS 7542766 HAS SOPS 6290359 HAS SOUS 2382629 HAS SOUPS 2290243 WITH SCORE 2297785.766
AT ITER 1798 NEW BEST:: SOT 11976051 SOS 7542152 HAS SOPS 6289591 HAS SOUS 2381752 HAS SOUPS 2289366 WITH SCORE 2296908.152
AT ITER 1854 NEW BEST:: SOT 11971574 SOS 7537326 HAS SOPS 6284877 HAS SOUS 2371210 HAS SOUPS 2278902 WITH SCORE 2286439.326
AT ITER 1865 NEW BEST:: SOT 11970296 SOS 7531891 HAS SOPS 6278044 HAS SOUS 2371211 HAS SOUPS 2278793 WITH SCORE 2286324.891
AT ITER 1866 NEW BEST:: SOT 11966651 SOS 7523147 HAS SOPS 6268916 HAS SOUS 2357369 HAS SOUPS 2265170 WITH SCORE 2272693.147
AT ITER 1868 NEW BEST:: SOT 11966639 SOS 7525924 HAS SOPS 6268261 HAS SOUS 2356500 HAS SOUPS 2264215 WITH SCORE 2271740.924
AT ITER 1874 NEW BEST:: SOT 11966615 SOS 7525900 HAS SOPS 6268237 HAS SOUS 2356432 HAS SOUPS 2264147 WITH SCORE 2271672.9
AT ITER 1879 NEW BEST:: SOT 11977175 SOS 7543769 HAS SOPS 6288600 HAS SOUS 2353316 HAS SOUPS 2261274 WITH SCORE 2268817.769
AT ITER 1884 NEW BEST:: SOT 11976324 SOS 7544360 HAS SOPS 6288386 HAS SOUS 2349098 HAS SOUPS 2256971 WITH SCORE 2264515.36
AT ITER 1915 NEW BEST:: SOT 11976900 SOS 7548301 HAS SOPS 6289978 HAS SOUS 2345377 HAS SOUPS 2253250 WITH SCORE 2260798.301
AT ITER 1926 NEW BEST:: SOT 11973513 SOS 7541530 HAS SOPS 6284116 HAS SOUS 2340457 HAS SOUPS 2248383 WITH SCORE 2255924.53
AT ITER 1927 NEW BEST:: SOT 11973280 SOS 7541808 HAS SOPS 6283301 HAS SOUS 2340244 HAS SOUPS 2248170 WITH SCORE 2255711.808
AT ITER 1932 NEW BEST:: SOT 11972952 SOS 7540175 HAS SOPS 6281662 HAS SOUS 2338069 HAS SOUPS 2245995 WITH SCORE 2253535.175
AT ITER 1934 NEW BEST:: SOT 11968182 SOS 7532431 HAS SOPS 6278450 HAS SOUS 2324520 HAS SOUPS 2233584 WITH SCORE 2241116.431
AT ITER 1939 NEW BEST:: SOT 11967643 SOS 7530947 HAS SOPS 6276608 HAS SOUS 2323543 HAS SOUPS 2232607 WITH SCORE 2240137.947
AT ITER 1947 NEW BEST:: SOT 11966834 SOS 7530103 HAS SOPS 6275857 HAS SOUS 2322911 HAS SOUPS 2232019 WITH SCORE 2239549.103
AT ITER 1960 NEW BEST:: SOT 11967087 SOS 7531113 HAS SOPS 6276318 HAS SOUS 2322600 HAS SOUPS 2231699 WITH SCORE 2239230.113
AT ITER 1992 NEW BEST:: SOT 11968351 SOS 7536690 HAS SOPS 6281265 HAS SOUS 2321949 HAS SOUPS 2231048 WITH SCORE 2238584.69
AT ITER 1997 NEW BEST:: SOT 11968988 SOS 7539168 HAS SOPS 6282117 HAS SOUS 2321735 HAS SOUPS 2230834 WITH SCORE 2238373.168
AT ITER 1998 NEW BEST:: SOT 11968912 SOS 7539092 HAS SOPS 6282041 HAS SOUS 2321735 HAS SOUPS 2230834 WITH SCORE 2238373.092
AT ITER 2027 NEW BEST:: SOT 11968568 SOS 7538709 HAS SOPS 6281329 HAS SOUS 2320079 HAS SOUPS 2229178 WITH SCORE 2236716.709
AT ITER 2041 NEW BEST:: SOT 11968775 SOS 7538926 HAS SOPS 6281206 HAS SOUS 2319855 HAS SOUPS 2228954 WITH SCORE 2236492.926
AT ITER 2045 NEW BEST:: SOT 11971137 SOS 7548756 HAS SOPS 6289701 HAS SOUS 2317660 HAS SOUPS 2226821 WITH SCORE 2234369.756
AT ITER 2064 NEW BEST:: SOT 11970219 SOS 7547785 HAS SOPS 6288223 HAS SOUS 2314232 HAS SOUPS 2223393 WITH SCORE 2230940.785
AT ITER 2076 NEW BEST:: SOT 11968618 SOS 7545461 HAS SOPS 6289581 HAS SOUS 2308751 HAS SOUPS 2218022 WITH SCORE 2225567.461
AT ITER 2085 NEW BEST:: SOT 11967654 SOS 7544367 HAS SOPS 6288289 HAS SOUS 2307352 HAS SOUPS 2217073 WITH SCORE 2224617.367
AT ITER 2088 NEW BEST:: SOT 11977719 SOS 7566812 HAS SOPS 6308847 HAS SOUS 2301006 HAS SOUPS 2210737 WITH SCORE 2218303.812
AT ITER 2115 NEW BEST:: SOT 11974853 SOS 7561570 HAS SOPS 6305447 HAS SOUS 2295756 HAS SOUPS 2205555 WITH SCORE 2213116.57
AT ITER 2119 NEW BEST:: SOT 11975257 SOS 7561850 HAS SOPS 6310489 HAS SOUS 2295307 HAS SOUPS 2205265 WITH SCORE 2212826.85
AT ITER 2150 NEW BEST:: SOT 11970925 SOS 7552869 HAS SOPS 6305252 HAS SOUS 2293796 HAS SOUPS 2203883 WITH SCORE 2211435.869
AT ITER 2159 NEW BEST:: SOT 11971536 SOS 7555345 HAS SOPS 6307463 HAS SOUS 2292157 HAS SOUPS 2202196 WITH SCORE 2209751.345
AT ITER 2160 NEW BEST:: SOT 11971452 SOS 7555255 HAS SOPS 6307331 HAS SOUS 2291884 HAS SOUPS 2201923 WITH SCORE 2209478.255
AT ITER 2176 NEW BEST:: SOT 11971382 SOS 7555194 HAS SOPS 6307213 HAS SOUS 2291709 HAS SOUPS 2201748 WITH SCORE 2209303.194
AT ITER 2189 NEW BEST:: SOT 11971479 SOS 7554904 HAS SOPS 6306932 HAS SOUS 2290457 HAS SOUPS 2200496 WITH SCORE 2208050.904
AT ITER 2198 NEW BEST:: SOT 11971214 SOS 7554685 HAS SOPS 6306839 HAS SOUS 2288969 HAS SOUPS 2199026 WITH SCORE 2206580.685
AT ITER 2201 NEW BEST:: SOT 11969944 SOS 7552929 HAS SOPS 6304425 HAS SOUS 2287871 HAS SOUPS 2197928 WITH SCORE 2205480.929
AT ITER 2203 NEW BEST:: SOT 11971161 SOS 7555091 HAS SOPS 6305616 HAS SOUS 2286801 HAS SOUPS 2196858 WITH SCORE 2204413.091
AT ITER 2206 NEW BEST:: SOT 11974384 SOS 7558137 HAS SOPS 6308199 HAS SOUS 2285637 HAS SOUPS 2195298 WITH SCORE 2202856.137
AT ITER 2219 NEW BEST:: SOT 11974292 SOS 7558117 HAS SOPS 6308042 HAS SOUS 2285527 HAS SOUPS 2195188 WITH SCORE 2202746.117
AT ITER 2228 NEW BEST:: SOT 11973291 SOS 7557375 HAS SOPS 6307227 HAS SOUS 2283409 HAS SOUPS 2193070 WITH SCORE 2200627.375
AT ITER 2247 NEW BEST:: SOT 11973121 SOS 7556928 HAS SOPS 6306927 HAS SOUS 2283326 HAS SOUPS 2192987 WITH SCORE 2200543.928
AT ITER 2257 NEW BEST:: SOT 11972269 SOS 7556644 HAS SOPS 6307145 HAS SOUS 2280403 HAS SOUPS 2190064 WITH SCORE 2197620.644
AT ITER 2259 NEW BEST:: SOT 11976040 SOS 7569858 HAS SOPS 6320360 HAS SOUS 2278025 HAS SOUPS 2187686 WITH SCORE 2195255.858
AT ITER 2260 NEW BEST:: SOT 11974022 SOS 7567358 HAS SOPS 6317830 HAS SOUS 2272834 HAS SOUPS 2182495 WITH SCORE 2190062.358
AT ITER 2273 NEW BEST:: SOT 11973819 SOS 7566992 HAS SOPS 6317557 HAS SOUS 2272668 HAS SOUPS 2182329 WITH SCORE 2189895.992
AT ITER 2287 NEW BEST:: SOT 11973779 SOS 7566365 HAS SOPS 6317286 HAS SOUS 2272267 HAS SOUPS 2181928 WITH SCORE 2189494.365
AT ITER 2290 NEW BEST:: SOT 11973499 SOS 7566267 HAS SOPS 6317013 HAS SOUS 2271595 HAS SOUPS 2181256 WITH SCORE 2188822.267
AT ITER 2293 NEW BEST:: SOT 11973151 SOS 7564894 HAS SOPS 6315930 HAS SOUS 2270261 HAS SOUPS 2180138 WITH SCORE 2187702.894
AT ITER 2297 NEW BEST:: SOT 11973361 SOS 7564071 HAS SOPS 6317164 HAS SOUS 2269351 HAS SOUPS 2179228 WITH SCORE 2186792.071
AT ITER 2311 NEW BEST:: SOT 11974383 SOS 7565638 HAS SOPS 6320615 HAS SOUS 2269255 HAS SOUPS 2179220 WITH SCORE 2186785.638
AT ITER 2312 NEW BEST:: SOT 11972283 SOS 7563645 HAS SOPS 6318065 HAS SOUS 2267063 HAS SOUPS 2177028 WITH SCORE 2184591.645
AT ITER 2320 NEW BEST:: SOT 11971309 SOS 7560992 HAS SOPS 6315650 HAS SOUS 2265256 HAS SOUPS 2175280 WITH SCORE 2182840.992
AT ITER 2343 NEW BEST:: SOT 11970087 SOS 7559178 HAS SOPS 6314049 HAS SOUS 2257394 HAS SOUPS 2167418 WITH SCORE 2174977.178
AT ITER 2344 NEW BEST:: SOT 11970053 SOS 7558934 HAS SOPS 6314780 HAS SOUS 2256982 HAS SOUPS 2167006 WITH SCORE 2174564.934
AT ITER 2358 NEW BEST:: SOT 11969590 SOS 7558231 HAS SOPS 6313933 HAS SOUS 2256289 HAS SOUPS 2166259 WITH SCORE 2173817.231
AT ITER 2364 NEW BEST:: SOT 11960399 SOS 7544884 HAS SOPS 6300472 HAS SOUS 2245717 HAS SOUPS 2156361 WITH SCORE 2163905.884
AT ITER 2367 NEW BEST:: SOT 11961350 SOS 7539983 HAS SOPS 6296109 HAS SOUS 2245332 HAS SOUPS 2155976 WITH SCORE 2163515.983
AT ITER 2384 NEW BEST:: SOT 11961800 SOS 7541081 HAS SOPS 6297525 HAS SOUS 2245329 HAS SOUPS 2155973 WITH SCORE 2163514.081
AT ITER 2402 NEW BEST:: SOT 11960535 SOS 7539621 HAS SOPS 6295708 HAS SOUS 2243278 HAS SOUPS 2153922 WITH SCORE 2161461.621
AT ITER 2406 NEW BEST:: SOT 11959747 SOS 7539691 HAS SOPS 6295188 HAS SOUS 2241813 HAS SOUPS 2152457 WITH SCORE 2159996.691
AT ITER 2429 NEW BEST:: SOT 11960263 SOS 7541940 HAS SOPS 6296671 HAS SOUS 2239908 HAS SOUPS 2150552 WITH SCORE 2158093.94
AT ITER 2437 NEW BEST:: SOT 11960267 SOS 7542176 HAS SOPS 6297200 HAS SOUS 2239809 HAS SOUPS 2150453 WITH SCORE 2157995.176
AT ITER 2439 NEW BEST:: SOT 11962414 SOS 7547460 HAS SOPS 6298084 HAS SOUS 2222857 HAS SOUPS 2133521 WITH SCORE 2141068.46
AT ITER 2452 NEW BEST:: SOT 11961402 SOS 7545944 HAS SOPS 6298004 HAS SOUS 2222480 HAS SOUPS 2133181 WITH SCORE 2140726.944
AT ITER 2453 NEW BEST:: SOT 11960812 SOS 7548119 HAS SOPS 6295952 HAS SOUS 2222050 HAS SOUPS 2132406 WITH SCORE 2139954.119
AT ITER 2461 NEW BEST:: SOT 11960736 SOS 7547948 HAS SOPS 6295762 HAS SOUS 2221790 HAS SOUPS 2132146 WITH SCORE 2139693.948
AT ITER 2467 NEW BEST:: SOT 11960633 SOS 7546231 HAS SOPS 6293562 HAS SOUS 2221264 HAS SOUPS 2131620 WITH SCORE 2139166.231
AT ITER 2501 NEW BEST:: SOT 11957097 SOS 7542670 HAS SOPS 6289425 HAS SOUS 2213765 HAS SOUPS 2124087 WITH SCORE 2131629.67
AT ITER 2505 NEW BEST:: SOT 11956467 SOS 7541986 HAS SOPS 6288526 HAS SOUS 2212442 HAS SOUPS 2122764 WITH SCORE 2130305.986
AT ITER 2529 NEW BEST:: SOT 11952195 SOS 7537178 HAS SOPS 6281630 HAS SOUS 2204183 HAS SOUPS 2114472 WITH SCORE 2122009.178
AT ITER 2537 NEW BEST:: SOT 11936331 SOS 7517265 HAS SOPS 6255600 HAS SOUS 2178228 HAS SOUPS 2088392 WITH SCORE 2095909.265
AT ITER 2538 NEW BEST:: SOT 11935212 SOS 7516540 HAS SOPS 6254549 HAS SOUS 2174993 HAS SOUPS 2085083 WITH SCORE 2092599.54
AT ITER 2546 NEW BEST:: SOT 11935162 SOS 7516489 HAS SOPS 6254468 HAS SOUS 2174982 HAS SOUPS 2085042 WITH SCORE 2092558.489
AT ITER 2551 NEW BEST:: SOT 11931885 SOS 7513160 HAS SOPS 6250775 HAS SOUS 2169683 HAS SOUPS 2079743 WITH SCORE 2087256.16
AT ITER 2560 NEW BEST:: SOT 11946969 SOS 7553439 HAS SOPS 6280688 HAS SOUS 2169508 HAS SOUPS 2079226 WITH SCORE 2086779.439
AT ITER 2563 NEW BEST:: SOT 11946883 SOS 7555201 HAS SOPS 6282434 HAS SOUS 2169406 HAS SOUPS 2079124 WITH SCORE 2086679.201
AT ITER 2564 NEW BEST:: SOT 11946729 SOS 7554485 HAS SOPS 6281903 HAS SOUS 2169134 HAS SOUPS 2078900 WITH SCORE 2086454.485
AT ITER 2579 NEW BEST:: SOT 11945662 SOS 7553418 HAS SOPS 6280740 HAS SOUS 2167916 HAS SOUPS 2077670 WITH SCORE 2085223.418
AT ITER 2587 NEW BEST:: SOT 11945679 SOS 7550656 HAS SOPS 6279788 HAS SOUS 2167757 HAS SOUPS 2077511 WITH SCORE 2085061.656
AT ITER 2588 NEW BEST:: SOT 11949706 SOS 7565223 HAS SOPS 6297606 HAS SOUS 2162847 HAS SOUPS 2072802 WITH SCORE 2080367.223
AT ITER 2593 NEW BEST:: SOT 11948488 SOS 7563623 HAS SOPS 6295662 HAS SOUS 2160616 HAS SOUPS 2070571 WITH SCORE 2078134.623
AT ITER 2616 NEW BEST:: SOT 11951100 SOS 7570689 HAS SOPS 6300785 HAS SOUS 2158806 HAS SOUPS 2068482 WITH SCORE 2076052.689
AT ITER 2675 NEW BEST:: SOT 11951201 SOS 7570250 HAS SOPS 6301163 HAS SOUS 2158280 HAS SOUPS 2067956 WITH SCORE 2075526.25
AT ITER 2716 NEW BEST:: SOT 11945390 SOS 7559057 HAS SOPS 6287605 HAS SOUS 2144579 HAS SOUPS 2054255 WITH SCORE 2061814.057
AT ITER 2721 NEW BEST:: SOT 11943677 SOS 7553367 HAS SOPS 6285261 HAS SOUS 2141364 HAS SOUPS 2051040 WITH SCORE 2058593.367
AT ITER 2739 NEW BEST:: SOT 11943749 SOS 7553439 HAS SOPS 6285333 HAS SOUS 2141316 HAS SOUPS 2050992 WITH SCORE 2058545.439
AT ITER 2750 NEW BEST:: SOT 11943279 SOS 7552695 HAS SOPS 6284322 HAS SOUS 2139847 HAS SOUPS 2049490 WITH SCORE 2057042.695
AT ITER 2751 NEW BEST:: SOT 11941622 SOS 7548750 HAS SOPS 6280855 HAS SOUS 2137473 HAS SOUPS 2047190 WITH SCORE 2054738.75
AT ITER 2755 NEW BEST:: SOT 11942330 SOS 7549974 HAS SOPS 6284594 HAS SOUS 2136569 HAS SOUPS 2046286 WITH SCORE 2053835.974
AT ITER 2761 NEW BEST:: SOT 11943204 SOS 7554321 HAS SOPS 6288792 HAS SOUS 2135311 HAS SOUPS 2045028 WITH SCORE 2052582.321
AT ITER 2762 NEW BEST:: SOT 11938095 SOS 7548570 HAS SOPS 6279884 HAS SOUS 2123548 HAS SOUPS 2033254 WITH SCORE 2040802.57
AT ITER 2765 NEW BEST:: SOT 11937413 SOS 7552049 HAS SOPS 6284595 HAS SOUS 2122002 HAS SOUPS 2031759 WITH SCORE 2039311.049
AT ITER 2767 NEW BEST:: SOT 11937024 SOS 7551659 HAS SOPS 6284174 HAS SOUS 2121605 HAS SOUPS 2031338 WITH SCORE 2038889.659
AT ITER 2773 NEW BEST:: SOT 11936076 SOS 7550533 HAS SOPS 6282666 HAS SOUS 2119481 HAS SOUPS 2029179 WITH SCORE 2036729.533
AT ITER 2788 NEW BEST:: SOT 11936980 SOS 7553981 HAS SOPS 6284235 HAS SOUS 2118692 HAS SOUPS 2028390 WITH SCORE 2035943.981
AT ITER 2794 NEW BEST:: SOT 11936941 SOS 7548982 HAS SOPS 6278260 HAS SOUS 2117821 HAS SOUPS 2027519 WITH SCORE 2035067.982
AT ITER 2841 NEW BEST:: SOT 11933721 SOS 7544931 HAS SOPS 6273447 HAS SOUS 2107760 HAS SOUPS 2017506 WITH SCORE 2025050.931
AT ITER 2861 NEW BEST:: SOT 11932722 SOS 7543544 HAS SOPS 6271138 HAS SOUS 2108481 HAS SOUPS 2017266 WITH SCORE 2024809.544
AT ITER 2870 NEW BEST:: SOT 11932033 SOS 7542794 HAS SOPS 6269873 HAS SOUS 2105521 HAS SOUPS 2014306 WITH SCORE 2021848.794
AT ITER 2871 NEW BEST:: SOT 11931861 SOS 7542472 HAS SOPS 6269575 HAS SOUS 2105256 HAS SOUPS 2014041 WITH SCORE 2021583.472
AT ITER 2882 NEW BEST:: SOT 11933449 SOS 7545406 HAS SOPS 6270028 HAS SOUS 2101033 HAS SOUPS 2009818 WITH SCORE 2017363.406
AT ITER 2884 NEW BEST:: SOT 11933359 SOS 7545328 HAS SOPS 6269916 HAS SOUS 2100918 HAS SOUPS 2009670 WITH SCORE 2017215.328
AT ITER 2896 NEW BEST:: SOT 11938284 SOS 7556488 HAS SOPS 6283087 HAS SOUS 2096536 HAS SOUPS 2005456 WITH SCORE 2013012.488
AT ITER 2912 NEW BEST:: SOT 11938305 SOS 7555255 HAS SOPS 6283927 HAS SOUS 2096135 HAS SOUPS 2005055 WITH SCORE 2012610.255
AT ITER 2933 NEW BEST:: SOT 11938327 SOS 7554903 HAS SOPS 6283838 HAS SOUS 2095931 HAS SOUPS 2004851 WITH SCORE 2012405.903
AT ITER 2939 NEW BEST:: SOT 11938217 SOS 7552704 HAS SOPS 6291884 HAS SOUS 2095538 HAS SOUPS 2004683 WITH SCORE 2012235.704
AT ITER 2944 NEW BEST:: SOT 11933687 SOS 7548142 HAS SOPS 6287098 HAS SOUS 2089520 HAS SOUPS 1998665 WITH SCORE 2006213.142
AT ITER 2967 NEW BEST:: SOT 11933299 SOS 7546914 HAS SOPS 6286040 HAS SOUS 2089135 HAS SOUPS 1998280 WITH SCORE 2005826.914
AT ITER 2968 NEW BEST:: SOT 11928201 SOS 7536189 HAS SOPS 6275850 HAS SOUS 2084646 HAS SOUPS 1993833 WITH SCORE 2001369.189
AT ITER 2970 NEW BEST:: SOT 11927856 SOS 7535760 HAS SOPS 6275017 HAS SOUS 2084062 HAS SOUPS 1993249 WITH SCORE 2000784.76
AT ITER 2974 NEW BEST:: SOT 11927960 SOS 7532086 HAS SOPS 6273233 HAS SOUS 2083111 HAS SOUPS 1992363 WITH SCORE 1999895.086
AT ITER 2993 NEW BEST:: SOT 11927897 SOS 7532358 HAS SOPS 6273383 HAS SOUS 2082643 HAS SOUPS 1991895 WITH SCORE 1999427.358
AT ITER 2997 NEW BEST:: SOT 11921489 SOS 7526389 HAS SOPS 6267153 HAS SOUS 2075718 HAS SOUPS 1984908 WITH SCORE 1992434.389
AT ITER 3004 NEW BEST:: SOT 11920869 SOS 7525813 HAS SOPS 6265929 HAS SOUS 2068268 HAS SOUPS 1977458 WITH SCORE 1984983.813
AT ITER 3018 NEW BEST:: SOT 11924911 SOS 7533715 HAS SOPS 6271887 HAS SOUS 2067705 HAS SOUPS 1976895 WITH SCORE 1984428.715
AT ITER 3027 NEW BEST:: SOT 11923645 SOS 7524617 HAS SOPS 6262920 HAS SOUS 2065408 HAS SOUPS 1974598 WITH SCORE 1982122.617
AT ITER 3028 NEW BEST:: SOT 11923381 SOS 7524341 HAS SOPS 6262560 HAS SOUS 2064862 HAS SOUPS 1974052 WITH SCORE 1981576.341
AT ITER 3042 NEW BEST:: SOT 11922964 SOS 7523908 HAS SOPS 6261881 HAS SOUS 2063977 HAS SOUPS 1973167 WITH SCORE 1980690.908
AT ITER 3050 NEW BEST:: SOT 11922743 SOS 7523261 HAS SOPS 6262263 HAS SOUS 2063593 HAS SOUPS 1973056 WITH SCORE 1980579.261
AT ITER 3062 NEW BEST:: SOT 11922707 SOS 7523465 HAS SOPS 6262459 HAS SOUS 2063509 HAS SOUPS 1972972 WITH SCORE 1980495.465
AT ITER 3069 NEW BEST:: SOT 11926626 SOS 7530813 HAS SOPS 6267119 HAS SOUS 2062876 HAS SOUPS 1972339 WITH SCORE 1979869.813
AT ITER 3105 NEW BEST:: SOT 11920876 SOS 7521566 HAS SOPS 6257696 HAS SOUS 2060001 HAS SOUPS 1969402 WITH SCORE 1976923.566
AT ITER 3153 NEW BEST:: SOT 11920800 SOS 7521486 HAS SOPS 6257556 HAS SOUS 2059893 HAS SOUPS 1969264 WITH SCORE 1976785.486
AT ITER 3154 NEW BEST:: SOT 11920430 SOS 7520856 HAS SOPS 6256910 HAS SOUS 2059431 HAS SOUPS 1968802 WITH SCORE 1976322.856
AT ITER 3167 NEW BEST:: SOT 11919817 SOS 7522500 HAS SOPS 6256215 HAS SOUS 2056651 HAS SOUPS 1966022 WITH SCORE 1973544.5
AT ITER 3204 NEW BEST:: SOT 11920765 SOS 7525518 HAS SOPS 6257204 HAS SOUS 2055515 HAS SOUPS 1964886 WITH SCORE 1972411.518
AT ITER 3207 NEW BEST:: SOT 11919101 SOS 7522677 HAS SOPS 6254592 HAS SOUS 2054146 HAS SOUPS 1963517 WITH SCORE 1971039.677
AT ITER 3222 NEW BEST:: SOT 11918919 SOS 7519616 HAS SOPS 6253356 HAS SOUS 2053287 HAS SOUPS 1962658 WITH SCORE 1970177.616
AT ITER 3243 NEW BEST:: SOT 11918922 SOS 7520246 HAS SOPS 6253299 HAS SOUS 2052475 HAS SOUPS 1961846 WITH SCORE 1969366.246
AT ITER 3252 NEW BEST:: SOT 11923027 SOS 7524473 HAS SOPS 6258676 HAS SOUS 2051679 HAS SOUPS 1961071 WITH SCORE 1968595.473
AT ITER 3254 NEW BEST:: SOT 11919576 SOS 7521081 HAS SOPS 6254256 HAS SOUS 2049657 HAS SOUPS 1958216 WITH SCORE 1965737.081
AT ITER 3261 NEW BEST:: SOT 11920344 SOS 7523771 HAS SOPS 6256626 HAS SOUS 2044405 HAS SOUPS 1952964 WITH SCORE 1960487.771
AT ITER 3278 NEW BEST:: SOT 11920307 SOS 7526296 HAS SOPS 6257073 HAS SOUS 2044144 HAS SOUPS 1952634 WITH SCORE 1960160.296
AT ITER 3290 NEW BEST:: SOT 11920312 SOS 7526284 HAS SOPS 6257068 HAS SOUS 2044134 HAS SOUPS 1952624 WITH SCORE 1960150.284
AT ITER 3291 NEW BEST:: SOT 11920881 SOS 7529156 HAS SOPS 6258188 HAS SOUS 2042368 HAS SOUPS 1950858 WITH SCORE 1958387.156
AT ITER 3293 NEW BEST:: SOT 11920305 SOS 7528628 HAS SOPS 6257617 HAS SOUS 2041123 HAS SOUPS 1949613 WITH SCORE 1957141.628
AT ITER 3299 NEW BEST:: SOT 11918974 SOS 7525407 HAS SOPS 6255453 HAS SOUS 2040992 HAS SOUPS 1949482 WITH SCORE 1957007.407
AT ITER 3328 NEW BEST:: SOT 11918739 SOS 7525064 HAS SOPS 6255054 HAS SOUS 2040857 HAS SOUPS 1949343 WITH SCORE 1956868.064
AT ITER 3329 NEW BEST:: SOT 11918739 SOS 7526990 HAS SOPS 6256980 HAS SOUS 2038931 HAS SOUPS 1947417 WITH SCORE 1954943.99
AT ITER 3346 NEW BEST:: SOT 11913882 SOS 7518463 HAS SOPS 6248352 HAS SOUS 2038578 HAS SOUPS 1947064 WITH SCORE 1954582.463
AT ITER 3356 NEW BEST:: SOT 11913918 SOS 7518573 HAS SOPS 6248351 HAS SOUS 2038537 HAS SOUPS 1947023 WITH SCORE 1954541.573
AT ITER 3374 NEW BEST:: SOT 11914687 SOS 7517670 HAS SOPS 6246736 HAS SOUS 2036962 HAS SOUPS 1945504 WITH SCORE 1953021.67
AT ITER 3416 NEW BEST:: SOT 11914507 SOS 7518009 HAS SOPS 6246295 HAS SOUS 2036631 HAS SOUPS 1945173 WITH SCORE 1952691.009
AT ITER 3438 NEW BEST:: SOT 11910539 SOS 7507009 HAS SOPS 6236060 HAS SOUS 2034723 HAS SOUPS 1943193 WITH SCORE 1950700.009
AT ITER 3448 NEW BEST:: SOT 11910036 SOS 7506444 HAS SOPS 6234610 HAS SOUS 2032691 HAS SOUPS 1941161 WITH SCORE 1948667.444
AT ITER 3450 NEW BEST:: SOT 11911166 SOS 7510003 HAS SOPS 6238258 HAS SOUS 2032383 HAS SOUPS 1940853 WITH SCORE 1948363.003
AT ITER 3458 NEW BEST:: SOT 11912019 SOS 7510838 HAS SOPS 6238967 HAS SOUS 2031573 HAS SOUPS 1940043 WITH SCORE 1947553.838
AT ITER 3489 NEW BEST:: SOT 11911947 SOS 7510773 HAS SOPS 6238901 HAS SOUS 2031477 HAS SOUPS 1939947 WITH SCORE 1947457.773
AT ITER 3498 NEW BEST:: SOT 11916900 SOS 7516183 HAS SOPS 6246615 HAS SOUS 2030679 HAS SOUPS 1939367 WITH SCORE 1946883.183
AT ITER 3500 NEW BEST:: SOT 11917848 SOS 7518117 HAS SOPS 6248192 HAS SOUS 2030668 HAS SOUPS 1939356 WITH SCORE 1946874.117
AT ITER 3510 NEW BEST:: SOT 11916693 SOS 7514884 HAS SOPS 6246314 HAS SOUS 2030477 HAS SOUPS 1939165 WITH SCORE 1946679.884
AT ITER 3531 NEW BEST:: SOT 11916603 SOS 7513784 HAS SOPS 6245508 HAS SOUS 2030233 HAS SOUPS 1938921 WITH SCORE 1946434.784
AT ITER 3537 NEW BEST:: SOT 11915302 SOS 7511301 HAS SOPS 6242637 HAS SOUS 2029505 HAS SOUPS 1938193 WITH SCORE 1945704.301
AT ITER 3549 NEW BEST:: SOT 11914086 SOS 7509763 HAS SOPS 6240868 HAS SOUS 2028247 HAS SOUPS 1936711 WITH SCORE 1944220.763
AT ITER 3565 NEW BEST:: SOT 11914768 SOS 7514946 HAS SOPS 6247675 HAS SOUS 2026076 HAS SOUPS 1934540 WITH SCORE 1942054.946
AT ITER 3566 NEW BEST:: SOT 11914736 SOS 7514902 HAS SOPS 6247617 HAS SOUS 2026064 HAS SOUPS 1934526 WITH SCORE 1942040.902
AT ITER 3568 NEW BEST:: SOT 11914177 SOS 7511400 HAS SOPS 6243869 HAS SOUS 2024922 HAS SOUPS 1933384 WITH SCORE 1940895.4
AT ITER 3573 NEW BEST:: SOT 11918061 SOS 7516411 HAS SOPS 6251807 HAS SOUS 2021490 HAS SOUPS 1931311 WITH SCORE 1938827.411
AT ITER 3579 NEW BEST:: SOT 11918219 SOS 7516050 HAS SOPS 6250530 HAS SOUS 2021423 HAS SOUPS 1931244 WITH SCORE 1938760.05
AT ITER 3585 NEW BEST:: SOT 11915958 SOS 7510250 HAS SOPS 6246248 HAS SOUS 2021095 HAS SOUPS 1930974 WITH SCORE 1938484.25
AT ITER 3608 NEW BEST:: SOT 11915705 SOS 7510649 HAS SOPS 6246421 HAS SOUS 2015138 HAS SOUPS 1925017 WITH SCORE 1932527.649
AT ITER 3614 NEW BEST:: SOT 11915099 SOS 7509670 HAS SOPS 6246404 HAS SOUS 2014548 HAS SOUPS 1924446 WITH SCORE 1931955.67
AT ITER 3615 NEW BEST:: SOT 11904001 SOS 7491856 HAS SOPS 6232907 HAS SOUS 2006185 HAS SOUPS 1916103 WITH SCORE 1923594.856
AT ITER 3646 NEW BEST:: SOT 11903121 SOS 7485215 HAS SOPS 6228186 HAS SOUS 2004465 HAS SOUPS 1914383 WITH SCORE 1921868.215
AT ITER 3653 NEW BEST:: SOT 11903012 SOS 7485034 HAS SOPS 6227901 HAS SOUS 2003554 HAS SOUPS 1913472 WITH SCORE 1920957.034
AT ITER 3659 NEW BEST:: SOT 11902941 SOS 7486427 HAS SOPS 6229302 HAS SOUS 2001249 HAS SOUPS 1911167 WITH SCORE 1918653.427
AT ITER 3693 NEW BEST:: SOT 11903468 SOS 7487150 HAS SOPS 6230719 HAS SOUS 1994154 HAS SOUPS 1905864 WITH SCORE 1913351.15
AT ITER 3715 NEW BEST:: SOT 11902549 SOS 7486231 HAS SOPS 6229800 HAS SOUS 1993235 HAS SOUPS 1904945 WITH SCORE 1912431.231
AT ITER 3737 NEW BEST:: SOT 11902348 SOS 7486068 HAS SOPS 6230360 HAS SOUS 1992680 HAS SOUPS 1904410 WITH SCORE 1911896.068
AT ITER 3738 NEW BEST:: SOT 11900365 SOS 7483263 HAS SOPS 6227074 HAS SOUS 1990121 HAS SOUPS 1901851 WITH SCORE 1909334.263
AT ITER 3740 NEW BEST:: SOT 11899944 SOS 7482034 HAS SOPS 6226447 HAS SOUS 1989566 HAS SOUPS 1901296 WITH SCORE 1908778.034
AT ITER 3754 NEW BEST:: SOT 11896443 SOS 7477865 HAS SOPS 6222148 HAS SOUS 1981183 HAS SOUPS 1892863 WITH SCORE 1900340.865
AT ITER 3780 NEW BEST:: SOT 11896549 SOS 7478085 HAS SOPS 6222346 HAS SOUS 1981121 HAS SOUPS 1892801 WITH SCORE 1900279.085
AT ITER 3782 NEW BEST:: SOT 11896471 SOS 7478103 HAS SOPS 6222268 HAS SOUS 1980942 HAS SOUPS 1892622 WITH SCORE 1900100.103
AT ITER 3786 NEW BEST:: SOT 11896257 SOS 7477877 HAS SOPS 6221585 HAS SOUS 1979585 HAS SOUPS 1891229 WITH SCORE 1898706.877
AT ITER 3869 NEW BEST:: SOT 11894967 SOS 7477035 HAS SOPS 6220294 HAS SOUS 1974438 HAS SOUPS 1886181 WITH SCORE 1893658.035
AT ITER 3885 NEW BEST:: SOT 11894920 SOS 7477038 HAS SOPS 6220177 HAS SOUS 1974376 HAS SOUPS 1886119 WITH SCORE 1893596.038
AT ITER 3893 NEW BEST:: SOT 11893122 SOS 7477204 HAS SOPS 6219007 HAS SOUS 1970710 HAS SOUPS 1882453 WITH SCORE 1889930.204
AT ITER 3896 NEW BEST:: SOT 11890297 SOS 7469878 HAS SOPS 6212659 HAS SOUS 1970069 HAS SOUPS 1881812 WITH SCORE 1889281.878
AT ITER 3905 NEW BEST:: SOT 11892068 SOS 7473089 HAS SOPS 6212448 HAS SOUS 1960011 HAS SOUPS 1871754 WITH SCORE 1879227.089
AT ITER 3922 NEW BEST:: SOT 11891638 SOS 7472595 HAS SOPS 6212018 HAS SOUS 1959021 HAS SOUPS 1870764 WITH SCORE 1878236.595
AT ITER 3929 NEW BEST:: SOT 11891479 SOS 7469966 HAS SOPS 6208077 HAS SOUS 1958532 HAS SOUPS 1870275 WITH SCORE 1877744.966
AT ITER 3950 NEW BEST:: SOT 11892070 SOS 7468540 HAS SOPS 6208009 HAS SOUS 1958261 HAS SOUPS 1870071 WITH SCORE 1877539.54
AT ITER 3958 NEW BEST:: SOT 11893513 SOS 7475499 HAS SOPS 6213768 HAS SOUS 1957776 HAS SOUPS 1869587 WITH SCORE 1877062.499
AT ITER 3961 NEW BEST:: SOT 11893663 SOS 7476048 HAS SOPS 6217219 HAS SOUS 1956819 HAS SOUPS 1868817 WITH SCORE 1876293.048
AT ITER 3966 NEW BEST:: SOT 11894165 SOS 7477005 HAS SOPS 6217154 HAS SOUS 1955770 HAS SOUPS 1867768 WITH SCORE 1875245.005
AT ITER 3996 NEW BEST:: SOT 11893735 SOS 7477064 HAS SOPS 6217474 HAS SOUS 1954964 HAS SOUPS 1866962 WITH SCORE 1874439.064
AT ITER 4024 NEW BEST:: SOT 11893721 SOS 7477417 HAS SOPS 6217758 HAS SOUS 1953260 HAS SOUPS 1865258 WITH SCORE 1872735.417
AT ITER 4064 NEW BEST:: SOT 11901521 SOS 7499717 HAS SOPS 6237739 HAS SOUS 1952162 HAS SOUPS 1863796 WITH SCORE 1871295.717
AT ITER 4065 NEW BEST:: SOT 11894105 SOS 7488444 HAS SOPS 6225476 HAS SOUS 1945387 HAS SOUPS 1856881 WITH SCORE 1864369.444
AT ITER 4076 NEW BEST:: SOT 11893851 SOS 7488195 HAS SOPS 6225205 HAS SOUS 1944776 HAS SOUPS 1856278 WITH SCORE 1863766.195
AT ITER 4085 NEW BEST:: SOT 11893847 SOS 7488191 HAS SOPS 6225201 HAS SOUS 1944768 HAS SOUPS 1856270 WITH SCORE 1863758.191
AT ITER 4093 NEW BEST:: SOT 11891459 SOS 7480189 HAS SOPS 6216216 HAS SOUS 1942944 HAS SOUPS 1853808 WITH SCORE 1861288.189
AT ITER 4095 NEW BEST:: SOT 11891363 SOS 7478083 HAS SOPS 6215853 HAS SOUS 1942434 HAS SOUPS 1853298 WITH SCORE 1860776.083
AT ITER 4096 NEW BEST:: SOT 11893982 SOS 7482196 HAS SOPS 6218300 HAS SOUS 1942194 HAS SOUPS 1853058 WITH SCORE 1860540.196
AT ITER 4105 NEW BEST:: SOT 11893876 SOS 7487094 HAS SOPS 6224084 HAS SOUS 1941549 HAS SOUPS 1852413 WITH SCORE 1859900.094
AT ITER 4112 NEW BEST:: SOT 11890241 SOS 7483883 HAS SOPS 6218642 HAS SOUS 1939023 HAS SOUPS 1847854 WITH SCORE 1855337.883
AT ITER 4116 NEW BEST:: SOT 11890227 SOS 7484747 HAS SOPS 6219143 HAS SOUS 1938442 HAS SOUPS 1847273 WITH SCORE 1854757.747
AT ITER 4131 NEW BEST:: SOT 11889792 SOS 7485119 HAS SOPS 6218203 HAS SOUS 1934369 HAS SOUPS 1843200 WITH SCORE 1850685.119
AT ITER 4185 NEW BEST:: SOT 11890335 SOS 7487381 HAS SOPS 6218504 HAS SOUS 1933065 HAS SOUPS 1841896 WITH SCORE 1849383.381
AT ITER 4196 NEW BEST:: SOT 11887129 SOS 7473416 HAS SOPS 6206080 HAS SOUS 1931838 HAS SOUPS 1840668 WITH SCORE 1848141.416
AT ITER 4202 NEW BEST:: SOT 11887940 SOS 7473446 HAS SOPS 6206095 HAS SOUS 1931385 HAS SOUPS 1840240 WITH SCORE 1847713.446
AT ITER 4204 NEW BEST:: SOT 11886219 SOS 7471292 HAS SOPS 6203995 HAS SOUS 1931155 HAS SOUPS 1840010 WITH SCORE 1847481.292
AT ITER 4216 NEW BEST:: SOT 11876348 SOS 7452513 HAS SOPS 6186115 HAS SOUS 1920084 HAS SOUPS 1828939 WITH SCORE 1836391.513
AT ITER 4235 NEW BEST:: SOT 11875936 SOS 7451952 HAS SOPS 6185052 HAS SOUS 1919123 HAS SOUPS 1827961 WITH SCORE 1835412.952
AT ITER 4236 NEW BEST:: SOT 11875832 SOS 7451750 HAS SOPS 6184896 HAS SOUS 1918647 HAS SOUPS 1827485 WITH SCORE 1834936.75
AT ITER 4273 NEW BEST:: SOT 11875382 SOS 7449554 HAS SOPS 6183605 HAS SOUS 1918612 HAS SOUPS 1827450 WITH SCORE 1834899.554
AT ITER 4290 NEW BEST:: SOT 11874215 SOS 7448853 HAS SOPS 6180896 HAS SOUS 1914665 HAS SOUPS 1823503 WITH SCORE 1830951.853
AT ITER 4318 NEW BEST:: SOT 11874075 SOS 7447720 HAS SOPS 6180837 HAS SOUS 1912766 HAS SOUPS 1822168 WITH SCORE 1829615.72
AT ITER 4335 NEW BEST:: SOT 11868320 SOS 7437030 HAS SOPS 6174171 HAS SOUS 1907199 HAS SOUPS 1816875 WITH SCORE 1824312.03
AT ITER 4339 NEW BEST:: SOT 11868596 SOS 7437834 HAS SOPS 6174603 HAS SOUS 1907248 HAS SOUPS 1816816 WITH SCORE 1824253.834
AT ITER 4377 NEW BEST:: SOT 11865750 SOS 7434638 HAS SOPS 6171435 HAS SOUS 1901645 HAS SOUPS 1811262 WITH SCORE 1818696.638
AT ITER 4378 NEW BEST:: SOT 11863718 SOS 7432881 HAS SOPS 6167805 HAS SOUS 1897148 HAS SOUPS 1806765 WITH SCORE 1814197.881
AT ITER 4393 NEW BEST:: SOT 11863709 SOS 7432749 HAS SOPS 6167969 HAS SOUS 1897126 HAS SOUPS 1806743 WITH SCORE 1814175.749
AT ITER 4394 NEW BEST:: SOT 11862750 SOS 7431219 HAS SOPS 6166440 HAS SOUS 1895726 HAS SOUPS 1805343 WITH SCORE 1812774.219
AT ITER 4396 NEW BEST:: SOT 11862574 SOS 7431043 HAS SOPS 6166264 HAS SOUS 1895362 HAS SOUPS 1804979 WITH SCORE 1812410.043
AT ITER 4412 NEW BEST:: SOT 11860454 SOS 7429148 HAS SOPS 6163252 HAS SOUS 1887969 HAS SOUPS 1797586 WITH SCORE 1805015.148
AT ITER 4442 NEW BEST:: SOT 11860295 SOS 7428989 HAS SOPS 6163029 HAS SOUS 1887754 HAS SOUPS 1797307 WITH SCORE 1804735.989
AT ITER 4443 NEW BEST:: SOT 11858260 SOS 7426754 HAS SOPS 6160067 HAS SOUS 1883981 HAS SOUPS 1793534 WITH SCORE 1800960.754
AT ITER 4444 NEW BEST:: SOT 11858193 SOS 7426697 HAS SOPS 6159835 HAS SOUS 1883904 HAS SOUPS 1793457 WITH SCORE 1800883.697
AT ITER 4466 NEW BEST:: SOT 11856133 SOS 7418616 HAS SOPS 6156799 HAS SOUS 1881851 HAS SOUPS 1791973 WITH SCORE 1799391.616
AT ITER 4472 NEW BEST:: SOT 11853637 SOS 7416141 HAS SOPS 6154095 HAS SOUS 1878832 HAS SOUPS 1788881 WITH SCORE 1796297.141
AT ITER 4490 NEW BEST:: SOT 11853496 SOS 7416987 HAS SOPS 6158652 HAS SOUS 1877451 HAS SOUPS 1787500 WITH SCORE 1794916.987
AT ITER 4499 NEW BEST:: SOT 11851803 SOS 7415236 HAS SOPS 6156733 HAS SOUS 1876249 HAS SOUPS 1786211 WITH SCORE 1793626.236
AT ITER 4519 NEW BEST:: SOT 11850897 SOS 7413289 HAS SOPS 6154574 HAS SOUS 1874106 HAS SOUPS 1784090 WITH SCORE 1791503.289
AT ITER 4523 NEW BEST:: SOT 11849774 SOS 7412146 HAS SOPS 6153291 HAS SOUS 1872473 HAS SOUPS 1782457 WITH SCORE 1789869.146
AT ITER 4547 NEW BEST:: SOT 11849563 SOS 7412155 HAS SOPS 6152834 HAS SOUS 1872173 HAS SOUPS 1782157 WITH SCORE 1789569.155
AT ITER 4573 NEW BEST:: SOT 11849605 SOS 7412193 HAS SOPS 6152876 HAS SOUS 1872036 HAS SOUPS 1782047 WITH SCORE 1789459.193
AT ITER 4592 NEW BEST:: SOT 11849378 SOS 7412427 HAS SOPS 6151994 HAS SOUS 1871643 HAS SOUPS 1781654 WITH SCORE 1789066.427
AT ITER 4621 NEW BEST:: SOT 11849453 SOS 7413372 HAS SOPS 6152825 HAS SOUS 1871555 HAS SOUPS 1781566 WITH SCORE 1788979.372
AT ITER 4626 NEW BEST:: SOT 11843134 SOS 7385140 HAS SOPS 6128879 HAS SOUS 1867889 HAS SOUPS 1777900 WITH SCORE 1785285.14
AT ITER 4636 NEW BEST:: SOT 11841665 SOS 7383674 HAS SOPS 6127410 HAS SOUS 1866531 HAS SOUPS 1776539 WITH SCORE 1783922.674
AT ITER 4664 NEW BEST:: SOT 11838987 SOS 7380754 HAS SOPS 6121553 HAS SOUS 1858189 HAS SOUPS 1768141 WITH SCORE 1775521.754
AT ITER 4685 NEW BEST:: SOT 11838543 SOS 7380304 HAS SOPS 6120965 HAS SOUS 1857289 HAS SOUPS 1767241 WITH SCORE 1774621.304
AT ITER 4690 NEW BEST:: SOT 11838570 SOS 7380343 HAS SOPS 6120944 HAS SOUS 1857236 HAS SOUPS 1767188 WITH SCORE 1774568.343
AT ITER 4691 NEW BEST:: SOT 11836937 SOS 7376897 HAS SOPS 6117163 HAS SOUS 1854642 HAS SOUPS 1764594 WITH SCORE 1771970.897
AT ITER 4694 NEW BEST:: SOT 11838381 SOS 7383036 HAS SOPS 6122013 HAS SOUS 1853509 HAS SOUPS 1763461 WITH SCORE 1770844.036
AT ITER 4728 NEW BEST:: SOT 11837815 SOS 7382245 HAS SOPS 6120510 HAS SOUS 1852621 HAS SOUPS 1762573 WITH SCORE 1769955.245
AT ITER 4730 NEW BEST:: SOT 11839652 SOS 7385259 HAS SOPS 6124344 HAS SOUS 1850125 HAS SOUPS 1760077 WITH SCORE 1767462.259
AT ITER 4762 NEW BEST:: SOT 11834573 SOS 7379987 HAS SOPS 6119583 HAS SOUS 1849139 HAS SOUPS 1759091 WITH SCORE 1766470.987
AT ITER 4765 NEW BEST:: SOT 11832799 SOS 7377975 HAS SOPS 6118222 HAS SOUS 1845189 HAS SOUPS 1755347 WITH SCORE 1762724.975
AT ITER 4790 NEW BEST:: SOT 11832418 SOS 7377594 HAS SOPS 6117793 HAS SOUS 1844384 HAS SOUPS 1754518 WITH SCORE 1761895.594
AT ITER 4799 NEW BEST:: SOT 11833900 SOS 7381655 HAS SOPS 6120123 HAS SOUS 1843561 HAS SOUPS 1753695 WITH SCORE 1761076.655
AT ITER 4805 NEW BEST:: SOT 11829227 SOS 7364940 HAS SOPS 6093838 HAS SOUS 1841204 HAS SOUPS 1751048 WITH SCORE 1758412.94
AT ITER 4809 NEW BEST:: SOT 11828951 SOS 7364646 HAS SOPS 6093418 HAS SOUS 1840409 HAS SOUPS 1750253 WITH SCORE 1757617.646
AT ITER 4832 NEW BEST:: SOT 11828934 SOS 7364073 HAS SOPS 6092746 HAS SOUS 1839763 HAS SOUPS 1749607 WITH SCORE 1756971.073
AT ITER 4838 NEW BEST:: SOT 11827527 SOS 7361451 HAS SOPS 6090564 HAS SOUS 1837951 HAS SOUPS 1747910 WITH SCORE 1755271.451
AT ITER 4871 NEW BEST:: SOT 11827796 SOS 7362470 HAS SOPS 6091706 HAS SOUS 1837119 HAS SOUPS 1747078 WITH SCORE 1754440.47
AT ITER 4880 NEW BEST:: SOT 11827216 SOS 7361885 HAS SOPS 6090874 HAS SOUS 1835993 HAS SOUPS 1745952 WITH SCORE 1753313.885
AT ITER 4903 NEW BEST:: SOT 11827748 SOS 7362793 HAS SOPS 6092290 HAS SOUS 1835475 HAS SOUPS 1745434 WITH SCORE 1752796.793
AT ITER 4919 NEW BEST:: SOT 11827591 SOS 7362826 HAS SOPS 6092355 HAS SOUS 1835320 HAS SOUPS 1745279 WITH SCORE 1752641.826
AT ITER 4939 NEW BEST:: SOT 11828540 SOS 7364425 HAS SOPS 6093375 HAS SOUS 1835277 HAS SOUPS 1745219 WITH SCORE 1752583.425
AT ITER 4942 NEW BEST:: SOT 11826579 SOS 7359978 HAS SOPS 6090475 HAS SOUS 1827071 HAS SOUPS 1737701 WITH SCORE 1745060.978
AT ITER 4944 NEW BEST:: SOT 11824650 SOS 7356386 HAS SOPS 6087131 HAS SOUS 1824807 HAS SOUPS 1735437 WITH SCORE 1742793.386
AT ITER 4960 NEW BEST:: SOT 11824626 SOS 7356318 HAS SOPS 6087006 HAS SOUS 1824093 HAS SOUPS 1734730 WITH SCORE 1742086.318
AT ITER 4962 NEW BEST:: SOT 11821356 SOS 7350952 HAS SOPS 6082613 HAS SOUS 1821099 HAS SOUPS 1731820 WITH SCORE 1739170.952
AT ITER 4966 NEW BEST:: SOT 11821677 SOS 7353207 HAS SOPS 6084236 HAS SOUS 1820774 HAS SOUPS 1731481 WITH SCORE 1738834.207
AT ITER 4972 NEW BEST:: SOT 11823208 SOS 7355336 HAS SOPS 6087493 HAS SOUS 1820637 HAS SOUPS 1731344 WITH SCORE 1738699.336
AT ITER 4976 NEW BEST:: SOT 11824809 SOS 7359074 HAS SOPS 6088445 HAS SOUS 1815780 HAS SOUPS 1726487 WITH SCORE 1733846.074
Bounds file is: CTLFireability.xml
PROPERTY: RERS17pb113-PT-6-CTLFireability-00 ( (! (AF( ((potential((tk(P270)>=1) & (tk(P316)>=1))))))) & ( (AX( ( (! ((potential((tk(P590)>=1) & (tk(P219)>=1))))) | (! ((potential((tk(P332)>=1) & (tk(P595)>=1))))) ))) | ( (EF( (! ((potential((tk(P528)>=1) & (tk(P162)>=1))))))) | (! ( ((potential((tk(P432)>=1) & (tk(P383)>=1)))) | ( ((potential((tk(P345)>=1) & (tk(P93)>=1)))) | ((potential((tk(P629)>=1) & (tk(P175)>=1)))) ) )) ) ) )
PROPERTY: RERS17pb113-PT-6-CTLFireability-01 (AX( (AF( ( ( ((potential((tk(P419)>=1) & (tk(P270)>=1)))) & ((potential((tk(P273)>=1) & (tk(P312)>=1)))) ) | ( ((potential((tk(P338)>=1) & (tk(P63)>=1)))) & ((potential((tk(P261)>=1) & (tk(P393)>=1)))) ) )))))
PROPERTY: RERS17pb113-PT-6-CTLFireability-02 (EF( ( (EF( (! ((potential((tk(P86)>=1) & (tk(P536)>=1))))))) & (AG( ( ((potential((tk(P93)>=1) & (tk(P405)>=1)))) & ((potential((tk(P156)>=1) & (tk(P591)>=1)))) ))) )))
PROPERTY: RERS17pb113-PT-6-CTLFireability-03 ( (EF( ( (EG( ((potential((tk(P183)>=1) & (tk(P601)>=1)))))) | (EX( ((potential((tk(P485)>=1) & (tk(P461)>=1)))))) ))) & (EF( (EF( (! ((potential((tk(P239)>=1) & (tk(P306)>=1))))))))) )
PROPERTY: RERS17pb113-PT-6-CTLFireability-04 (EG( (! (EG( ((potential((tk(P440)>=1) & (tk(P594)>=1)))))))))
PROPERTY: RERS17pb113-PT-6-CTLFireability-05 ( (EG( (EG( (! ((potential((tk(P262)>=1) & (tk(P591)>=1))))))))) | (AF( (AG( ( ((potential((tk(P421)>=1) & (tk(P1)>=1)))) & ((potential((tk(P374)>=1) & (tk(P58)>=1)))) ))))) )
PROPERTY: RERS17pb113-PT-6-CTLFireability-06 ( ( (! (EG( ( ((potential((tk(P28)>=1) & (tk(P316)>=1)))) | ((potential((tk(P410)>=1) & (tk(P268)>=1)))) )))) & ((potential((tk(P446)>=1) & (tk(P329)>=1)))) ) | (EF( (EX( ((potential((tk(P638)>=1) & (tk(P308)>=1)))))))) )
PROPERTY: RERS17pb113-PT-6-CTLFireability-07 (! ( ((potential((tk(P34)>=1) & (tk(P571)>=1)))) | (EU( (! ((potential((tk(P461)>=1) & (tk(P175)>=1))))) , ((potential((tk(P462)>=1) & (tk(P24)>=1)))) )) ))
PROPERTY: RERS17pb113-PT-6-CTLFireability-08 ( (EU( ( ((potential((tk(P51)>=1) & (tk(P540)>=1)))) | (! ((potential((tk(P381)>=1) & (tk(P101)>=1))))) ) , (EG( ((potential((tk(P156)>=1) & (tk(P390)>=1)))))) )) & (EF( (EF( ( ((potential((tk(P411)>=1) & (tk(P314)>=1)))) & ((potential((tk(P88)>=1) & (tk(P376)>=1)))) ))))) )
PROPERTY: RERS17pb113-PT-6-CTLFireability-09 ( ( (AX( (EF( ((potential((tk(P79)>=1) & (tk(P474)>=1)))))))) & (EG( (! ( ((potential((tk(P386)>=1) & (tk(P283)>=1)))) | ((potential((tk(P584)>=1) & (tk(P522)>=1)))) )))) ) & (! (EX( ( ((potential((tk(P433)>=1) & (tk(P350)>=1)))) & ((potential((tk(P234)>=1) & (tk(P355)>=1)))) )))) )
PROPERTY: RERS17pb113-PT-6-CTLFireability-10 (AU( (AX( (! ((potential((tk(P621)>=1) & (tk(P336)>=1))))))) , (EF( ( ((potential((tk(P619)>=1) & (tk(P585)>=1)))) & ((potential((tk(P27)>=1) & (tk(P491)>=1)))) ))) ))
PROPERTY: RERS17pb113-PT-6-CTLFireability-11 (AF( ( (EX( ((potential((tk(P426)>=1) & (tk(P509)>=1)))))) & ( (EF( ((potential((tk(P607)>=1) & (tk(P263)>=1)))))) | (! (! ((potential((tk(P27)>=1) & (tk(P140)>=1)))))) ) )))
PROPERTY: RERS17pb113-PT-6-CTLFireability-12 (AF( ( ( (EG( ((potential((tk(P223)>=1) & (tk(P75)>=1)))))) & (AF( ((potential((tk(P349)>=1) & (tk(P562)>=1)))))) ) & ( ( (! ((potential((tk(P610)>=1) & (tk(P147)>=1))))) & ( ((potential((tk(P73)>=1) & (tk(P617)>=1)))) | ((potential((tk(P400)>=1) & (tk(P42)>=1)))) ) ) | (AX( ((potential((tk(P30)>=1) & (tk(P40)>=1)))))) ) )))
PROPERTY: RERS17pb113-PT-6-CTLFireability-13 (EF( (EG( ((potential((tk(P565)>=1) & (tk(P599)>=1))))))))
PROPERTY: RERS17pb113-PT-6-CTLFireability-14 (! (EF( (! ( ( ((potential((tk(P213)>=1) & (tk(P305)>=1)))) | ((potential((tk(P50)>=1) & (tk(P573)>=1)))) ) | (! ((potential((tk(P440)>=1) & (tk(P467)>=1))))) )))))
PROPERTY: RERS17pb113-PT-6-CTLFireability-15 (! (AF( (EG( ( ((potential((tk(P392)>=1) & (tk(P572)>=1)))) | ((potential((tk(P124)>=1) & (tk(P595)>=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-6"
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-6, 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-158961502300044"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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