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

--------------------
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-CTLCardinality-00
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-01
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-02
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-03
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-04
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-05
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-06
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-07
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-08
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-09
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-10
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-11
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-12
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-13
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-14
FORMULA_NAME RERS17pb113-PT-6-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589671546278

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

GOT IT HERE. BS
Petri model created: 639 places, 31353 transitions, 125418 arcs.
AT ITER 0 NEW BEST:: SOT 12196977 SOS 7747610 HAS SOPS 6416000 HAS SOUS 3044413 HAS SOUPS 2943923 WITH SCORE 2951670.61
AT ITER 3 NEW BEST:: SOT 12195780 SOS 7745599 HAS SOPS 6413804 HAS SOUS 3041882 HAS SOUPS 2941392 WITH SCORE 2949137.599
AT ITER 6 NEW BEST:: SOT 12195407 SOS 7745211 HAS SOPS 6413191 HAS SOUS 3041024 HAS SOUPS 2940459 WITH SCORE 2948204.211
AT ITER 12 NEW BEST:: SOT 12195833 SOS 7746523 HAS SOPS 6413864 HAS SOUS 3037976 HAS SOUPS 2937445 WITH SCORE 2945191.523
AT ITER 26 NEW BEST:: SOT 12191875 SOS 7740798 HAS SOPS 6408031 HAS SOUS 3030565 HAS SOUPS 2930083 WITH SCORE 2937823.798
AT ITER 31 NEW BEST:: SOT 12182712 SOS 7727491 HAS SOPS 6397840 HAS SOUS 3021296 HAS SOUPS 2921311 WITH SCORE 2929038.491
AT ITER 45 NEW BEST:: SOT 12182696 SOS 7727475 HAS SOPS 6397824 HAS SOUS 3021280 HAS SOUPS 2921295 WITH SCORE 2929022.475
AT ITER 48 NEW BEST:: SOT 12174870 SOS 7719710 HAS SOPS 6390039 HAS SOUS 3013468 HAS SOUPS 2913463 WITH SCORE 2921182.71
AT ITER 54 NEW BEST:: SOT 12188941 SOS 7734595 HAS SOPS 6405865 HAS SOUS 3013106 HAS SOUPS 2912050 WITH SCORE 2919784.595
AT ITER 61 NEW BEST:: SOT 12188502 SOS 7734296 HAS SOPS 6405202 HAS SOUS 3013017 HAS SOUPS 2911723 WITH SCORE 2919457.296
AT ITER 62 NEW BEST:: SOT 12197808 SOS 7753936 HAS SOPS 6420554 HAS SOUS 3000634 HAS SOUPS 2899340 WITH SCORE 2907093.936
AT ITER 78 NEW BEST:: SOT 12201300 SOS 7768845 HAS SOPS 6435566 HAS SOUS 2989670 HAS SOUPS 2888544 WITH SCORE 2896312.845
AT ITER 83 NEW BEST:: SOT 12200843 SOS 7768669 HAS SOPS 6435278 HAS SOUS 2987104 HAS SOUPS 2886296 WITH SCORE 2894064.669
AT ITER 87 NEW BEST:: SOT 12200747 SOS 7768569 HAS SOPS 6435118 HAS SOUS 2987004 HAS SOUPS 2886136 WITH SCORE 2893904.569
AT ITER 94 NEW BEST:: SOT 12200330 SOS 7768135 HAS SOPS 6434429 HAS SOUS 2985865 HAS SOUPS 2884967 WITH SCORE 2892735.135
AT ITER 95 NEW BEST:: SOT 12179192 SOS 7747153 HAS SOPS 6410923 HAS SOUS 2944746 HAS SOUPS 2843750 WITH SCORE 2851497.153
AT ITER 103 NEW BEST:: SOT 12179798 SOS 7752082 HAS SOPS 6414031 HAS SOUS 2942482 HAS SOUPS 2841486 WITH SCORE 2849238.082
AT ITER 109 NEW BEST:: SOT 12179725 SOS 7752009 HAS SOPS 6413958 HAS SOUS 2942141 HAS SOUPS 2841145 WITH SCORE 2848897.009
AT ITER 113 NEW BEST:: SOT 12179711 SOS 7751997 HAS SOPS 6413978 HAS SOUS 2942129 HAS SOUPS 2841135 WITH SCORE 2848886.997
AT ITER 117 NEW BEST:: SOT 12179446 SOS 7751510 HAS SOPS 6413515 HAS SOUS 2942022 HAS SOUPS 2841018 WITH SCORE 2848769.51
AT ITER 134 NEW BEST:: SOT 12179446 SOS 7751378 HAS SOPS 6413515 HAS SOUS 2942022 HAS SOUPS 2841018 WITH SCORE 2848769.378
AT ITER 162 NEW BEST:: SOT 12178530 SOS 7751099 HAS SOPS 6412617 HAS SOUS 2939275 HAS SOUPS 2838271 WITH SCORE 2846022.099
AT ITER 166 NEW BEST:: SOT 12177155 SOS 7748963 HAS SOPS 6408989 HAS SOUS 2935737 HAS SOUPS 2834754 WITH SCORE 2842502.963
AT ITER 175 NEW BEST:: SOT 12176774 SOS 7751900 HAS SOPS 6413113 HAS SOUS 2933504 HAS SOUPS 2832593 WITH SCORE 2840344.9
AT ITER 183 NEW BEST:: SOT 12175964 SOS 7749901 HAS SOPS 6412007 HAS SOUS 2930864 HAS SOUPS 2830922 WITH SCORE 2838671.901
AT ITER 223 NEW BEST:: SOT 12160829 SOS 7731240 HAS SOPS 6391520 HAS SOUS 2916158 HAS SOUPS 2814879 WITH SCORE 2822610.24
AT ITER 227 NEW BEST:: SOT 12161153 SOS 7732698 HAS SOPS 6393545 HAS SOUS 2916131 HAS SOUPS 2814852 WITH SCORE 2822584.698
AT ITER 235 NEW BEST:: SOT 12157092 SOS 7727090 HAS SOPS 6388308 HAS SOUS 2909625 HAS SOUPS 2808652 WITH SCORE 2816379.09
AT ITER 238 NEW BEST:: SOT 12167458 SOS 7743234 HAS SOPS 6407353 HAS SOUS 2905960 HAS SOUPS 2804987 WITH SCORE 2812730.234
AT ITER 254 NEW BEST:: SOT 12132174 SOS 7705853 HAS SOPS 6371168 HAS SOUS 2870785 HAS SOUPS 2769986 WITH SCORE 2777691.853
AT ITER 278 NEW BEST:: SOT 12133658 SOS 7707835 HAS SOPS 6372734 HAS SOUS 2869452 HAS SOUPS 2768775 WITH SCORE 2776482.835
AT ITER 282 NEW BEST:: SOT 12125498 SOS 7700286 HAS SOPS 6364805 HAS SOUS 2853320 HAS SOUPS 2752612 WITH SCORE 2760312.286
AT ITER 285 NEW BEST:: SOT 12124504 SOS 7699253 HAS SOPS 6364899 HAS SOUS 2851385 HAS SOUPS 2750713 WITH SCORE 2758412.253
AT ITER 288 NEW BEST:: SOT 12126382 SOS 7703740 HAS SOPS 6368039 HAS SOUS 2851332 HAS SOUPS 2750569 WITH SCORE 2758272.74
AT ITER 291 NEW BEST:: SOT 12120017 SOS 7697340 HAS SOPS 6361114 HAS SOUS 2842325 HAS SOUPS 2741532 WITH SCORE 2749229.34
AT ITER 309 NEW BEST:: SOT 12122574 SOS 7700847 HAS SOPS 6365253 HAS SOUS 2836705 HAS SOUPS 2736069 WITH SCORE 2743769.847
AT ITER 312 NEW BEST:: SOT 12122887 SOS 7704789 HAS SOPS 6371939 HAS SOUS 2836350 HAS SOUPS 2735714 WITH SCORE 2743418.789
AT ITER 331 NEW BEST:: SOT 12122871 SOS 7705045 HAS SOPS 6372206 HAS SOUS 2836244 HAS SOUPS 2735608 WITH SCORE 2743313.045
AT ITER 338 NEW BEST:: SOT 12123459 SOS 7707282 HAS SOPS 6374595 HAS SOUS 2835807 HAS SOUPS 2735171 WITH SCORE 2742878.282
AT ITER 345 NEW BEST:: SOT 12119610 SOS 7704670 HAS SOPS 6369785 HAS SOUS 2825671 HAS SOUPS 2725035 WITH SCORE 2732739.67
AT ITER 353 NEW BEST:: SOT 12125960 SOS 7722286 HAS SOPS 6388638 HAS SOUS 2825634 HAS SOUPS 2724998 WITH SCORE 2732720.286
AT ITER 373 NEW BEST:: SOT 12125658 SOS 7721976 HAS SOPS 6388236 HAS SOUS 2824904 HAS SOUPS 2724264 WITH SCORE 2731985.976
AT ITER 374 NEW BEST:: SOT 12123762 SOS 7720321 HAS SOPS 6388515 HAS SOUS 2817259 HAS SOUPS 2716619 WITH SCORE 2724339.321
AT ITER 392 NEW BEST:: SOT 12122194 SOS 7717433 HAS SOPS 6385111 HAS SOUS 2813929 HAS SOUPS 2713415 WITH SCORE 2721132.433
AT ITER 395 NEW BEST:: SOT 12119053 SOS 7714335 HAS SOPS 6381997 HAS SOUS 2812014 HAS SOUPS 2711500 WITH SCORE 2719214.335
AT ITER 396 NEW BEST:: SOT 12113242 SOS 7697399 HAS SOPS 6372064 HAS SOUS 2811313 HAS SOUPS 2710799 WITH SCORE 2718496.399
AT ITER 404 NEW BEST:: SOT 12111524 SOS 7695747 HAS SOPS 6372891 HAS SOUS 2807146 HAS SOUPS 2706632 WITH SCORE 2714327.747
AT ITER 417 NEW BEST:: SOT 12113438 SOS 7702694 HAS SOPS 6380381 HAS SOUS 2803131 HAS SOUPS 2702737 WITH SCORE 2710439.694
AT ITER 418 NEW BEST:: SOT 12112304 SOS 7701883 HAS SOPS 6378768 HAS SOUS 2799341 HAS SOUPS 2698947 WITH SCORE 2706648.883
AT ITER 421 NEW BEST:: SOT 12112889 SOS 7702079 HAS SOPS 6380901 HAS SOUS 2798617 HAS SOUPS 2698223 WITH SCORE 2705925.079
AT ITER 424 NEW BEST:: SOT 12113158 SOS 7702948 HAS SOPS 6381494 HAS SOUS 2798412 HAS SOUPS 2698018 WITH SCORE 2705720.948
AT ITER 425 NEW BEST:: SOT 12110128 SOS 7693850 HAS SOPS 6374428 HAS SOUS 2797116 HAS SOUPS 2696722 WITH SCORE 2704415.85
AT ITER 442 NEW BEST:: SOT 12105639 SOS 7688130 HAS SOPS 6367759 HAS SOUS 2786623 HAS SOUPS 2686320 WITH SCORE 2694008.13
AT ITER 445 NEW BEST:: SOT 12105157 SOS 7687113 HAS SOPS 6367294 HAS SOUS 2786061 HAS SOUPS 2685758 WITH SCORE 2693445.113
AT ITER 452 NEW BEST:: SOT 12105270 SOS 7685466 HAS SOPS 6374794 HAS SOUS 2782870 HAS SOUPS 2683780 WITH SCORE 2691465.466
AT ITER 456 NEW BEST:: SOT 12098657 SOS 7672314 HAS SOPS 6364194 HAS SOUS 2775985 HAS SOUPS 2676981 WITH SCORE 2684653.314
AT ITER 457 NEW BEST:: SOT 12098861 SOS 7672964 HAS SOPS 6364934 HAS SOUS 2775658 HAS SOUPS 2676654 WITH SCORE 2684326.964
AT ITER 467 NEW BEST:: SOT 12093722 SOS 7666980 HAS SOPS 6362118 HAS SOUS 2773145 HAS SOUPS 2674547 WITH SCORE 2682213.98
AT ITER 478 NEW BEST:: SOT 12093517 SOS 7666455 HAS SOPS 6362353 HAS SOUS 2772689 HAS SOUPS 2674091 WITH SCORE 2681757.455
AT ITER 482 NEW BEST:: SOT 12090285 SOS 7657951 HAS SOPS 6356073 HAS SOUS 2772407 HAS SOUPS 2673953 WITH SCORE 2681610.951
AT ITER 484 NEW BEST:: SOT 12090060 SOS 7657216 HAS SOPS 6354990 HAS SOUS 2769764 HAS SOUPS 2671310 WITH SCORE 2678967.216
AT ITER 491 NEW BEST:: SOT 12092316 SOS 7665146 HAS SOPS 6365049 HAS SOUS 2766491 HAS SOUPS 2668132 WITH SCORE 2675797.146
AT ITER 492 NEW BEST:: SOT 12091329 SOS 7661568 HAS SOPS 6361232 HAS SOUS 2763088 HAS SOUPS 2664829 WITH SCORE 2672490.568
AT ITER 501 NEW BEST:: SOT 12090244 SOS 7660708 HAS SOPS 6360723 HAS SOUS 2759709 HAS SOUPS 2661450 WITH SCORE 2669110.708
AT ITER 511 NEW BEST:: SOT 12090764 SOS 7664200 HAS SOPS 6365463 HAS SOUS 2755550 HAS SOUPS 2657258 WITH SCORE 2664922.2
AT ITER 516 NEW BEST:: SOT 12087521 SOS 7656272 HAS SOPS 6360168 HAS SOUS 2754273 HAS SOUPS 2655981 WITH SCORE 2663637.272
AT ITER 543 NEW BEST:: SOT 12079238 SOS 7647379 HAS SOPS 6350770 HAS SOUS 2742330 HAS SOUPS 2644128 WITH SCORE 2651775.379
AT ITER 545 NEW BEST:: SOT 12076611 SOS 7643944 HAS SOPS 6346428 HAS SOUS 2737979 HAS SOUPS 2639898 WITH SCORE 2647541.944
AT ITER 548 NEW BEST:: SOT 12076778 SOS 7644561 HAS SOPS 6347157 HAS SOUS 2737645 HAS SOUPS 2639564 WITH SCORE 2647208.561
AT ITER 560 NEW BEST:: SOT 12071397 SOS 7629927 HAS SOPS 6333495 HAS SOUS 2731769 HAS SOUPS 2634314 WITH SCORE 2641943.927
AT ITER 567 NEW BEST:: SOT 12071302 SOS 7629699 HAS SOPS 6333078 HAS SOUS 2731513 HAS SOUPS 2634058 WITH SCORE 2641687.699
AT ITER 570 NEW BEST:: SOT 12071290 SOS 7629687 HAS SOPS 6333066 HAS SOUS 2731489 HAS SOUPS 2634034 WITH SCORE 2641663.687
AT ITER 584 NEW BEST:: SOT 12082567 SOS 7664009 HAS SOPS 6362113 HAS SOUS 2726539 HAS SOUPS 2628848 WITH SCORE 2636512.009
AT ITER 585 NEW BEST:: SOT 12077825 SOS 7659265 HAS SOPS 6356891 HAS SOUS 2721071 HAS SOUPS 2622902 WITH SCORE 2630561.265
AT ITER 601 NEW BEST:: SOT 12077318 SOS 7658522 HAS SOPS 6355640 HAS SOUS 2720437 HAS SOUPS 2622268 WITH SCORE 2629926.522
AT ITER 607 NEW BEST:: SOT 12075657 SOS 7652831 HAS SOPS 6352853 HAS SOUS 2715955 HAS SOUPS 2617786 WITH SCORE 2625438.831
AT ITER 608 NEW BEST:: SOT 12074363 SOS 7651516 HAS SOPS 6351223 HAS SOUS 2713049 HAS SOUPS 2614880 WITH SCORE 2622531.516
AT ITER 609 NEW BEST:: SOT 12073971 SOS 7651131 HAS SOPS 6350523 HAS SOUS 2712246 HAS SOUPS 2614029 WITH SCORE 2621680.131
AT ITER 611 NEW BEST:: SOT 12073114 SOS 7650090 HAS SOPS 6350278 HAS SOUS 2710104 HAS SOUPS 2611887 WITH SCORE 2619537.09
AT ITER 619 NEW BEST:: SOT 12062738 SOS 7629172 HAS SOPS 6329207 HAS SOUS 2698698 HAS SOUPS 2600912 WITH SCORE 2608541.172
AT ITER 629 NEW BEST:: SOT 12063156 SOS 7634017 HAS SOPS 6330722 HAS SOUS 2692741 HAS SOUPS 2594955 WITH SCORE 2602589.017
AT ITER 633 NEW BEST:: SOT 12063004 SOS 7635326 HAS SOPS 6329192 HAS SOUS 2689693 HAS SOUPS 2591869 WITH SCORE 2599504.326
AT ITER 642 NEW BEST:: SOT 12062831 SOS 7635147 HAS SOPS 6328923 HAS SOUS 2689208 HAS SOUPS 2591384 WITH SCORE 2599019.147
AT ITER 651 NEW BEST:: SOT 12060399 SOS 7632797 HAS SOPS 6326331 HAS SOUS 2686827 HAS SOUPS 2588862 WITH SCORE 2596494.797
AT ITER 658 NEW BEST:: SOT 12060369 SOS 7632017 HAS SOPS 6325914 HAS SOUS 2686701 HAS SOUPS 2588736 WITH SCORE 2596368.017
AT ITER 665 NEW BEST:: SOT 12060916 SOS 7631682 HAS SOPS 6329511 HAS SOUS 2685182 HAS SOUPS 2587287 WITH SCORE 2594918.682
AT ITER 669 NEW BEST:: SOT 12060103 SOS 7631374 HAS SOPS 6328147 HAS SOUS 2683713 HAS SOUPS 2585794 WITH SCORE 2593425.374
AT ITER 679 NEW BEST:: SOT 12059577 SOS 7630773 HAS SOPS 6327099 HAS SOUS 2682002 HAS SOUPS 2584083 WITH SCORE 2591713.773
AT ITER 690 NEW BEST:: SOT 12059503 SOS 7630772 HAS SOPS 6326987 HAS SOUS 2681869 HAS SOUPS 2583950 WITH SCORE 2591580.772
AT ITER 691 NEW BEST:: SOT 12055764 SOS 7624634 HAS SOPS 6321524 HAS SOUS 2676093 HAS SOUPS 2578239 WITH SCORE 2585863.634
AT ITER 712 NEW BEST:: SOT 12055487 SOS 7624484 HAS SOPS 6321229 HAS SOUS 2675175 HAS SOUPS 2577302 WITH SCORE 2584926.484
AT ITER 750 NEW BEST:: SOT 12070330 SOS 7651374 HAS SOPS 6351456 HAS SOUS 2671210 HAS SOUPS 2573337 WITH SCORE 2580988.374
AT ITER 757 NEW BEST:: SOT 12070312 SOS 7651349 HAS SOPS 6351429 HAS SOUS 2671169 HAS SOUPS 2573296 WITH SCORE 2580947.349
AT ITER 766 NEW BEST:: SOT 12068159 SOS 7650250 HAS SOPS 6341654 HAS SOUS 2664443 HAS SOUPS 2566464 WITH SCORE 2574114.25
AT ITER 767 NEW BEST:: SOT 12068695 SOS 7650786 HAS SOPS 6342110 HAS SOUS 2664299 HAS SOUPS 2566320 WITH SCORE 2573970.786
AT ITER 776 NEW BEST:: SOT 12069714 SOS 7653003 HAS SOPS 6344511 HAS SOUS 2663568 HAS SOUPS 2565592 WITH SCORE 2573245.003
AT ITER 784 NEW BEST:: SOT 12069156 SOS 7652445 HAS SOPS 6343665 HAS SOUS 2661814 HAS SOUPS 2563838 WITH SCORE 2571490.445
AT ITER 790 NEW BEST:: SOT 12068738 SOS 7651957 HAS SOPS 6342798 HAS SOUS 2661394 HAS SOUPS 2563418 WITH SCORE 2571069.957
AT ITER 793 NEW BEST:: SOT 12071830 SOS 7659984 HAS SOPS 6351734 HAS SOUS 2660865 HAS SOUPS 2562889 WITH SCORE 2570548.984
AT ITER 795 NEW BEST:: SOT 12080405 SOS 7678749 HAS SOPS 6367687 HAS SOUS 2660684 HAS SOUPS 2562708 WITH SCORE 2570386.749
AT ITER 816 NEW BEST:: SOT 12080625 SOS 7680635 HAS SOPS 6369230 HAS SOUS 2659151 HAS SOUPS 2561175 WITH SCORE 2568855.635
AT ITER 818 NEW BEST:: SOT 12080323 SOS 7679370 HAS SOPS 6368181 HAS SOUS 2658957 HAS SOUPS 2560981 WITH SCORE 2568660.37
AT ITER 846 NEW BEST:: SOT 12080109 SOS 7679150 HAS SOPS 6368300 HAS SOUS 2658663 HAS SOUPS 2560687 WITH SCORE 2568366.15
AT ITER 853 NEW BEST:: SOT 12079978 SOS 7682253 HAS SOPS 6369941 HAS SOUS 2655844 HAS SOUPS 2557868 WITH SCORE 2565550.253
AT ITER 866 NEW BEST:: SOT 12080779 SOS 7686231 HAS SOPS 6374509 HAS SOUS 2654526 HAS SOUPS 2556594 WITH SCORE 2564280.231
AT ITER 869 NEW BEST:: SOT 12082760 SOS 7693406 HAS SOPS 6379207 HAS SOUS 2652502 HAS SOUPS 2554570 WITH SCORE 2562263.406
AT ITER 874 NEW BEST:: SOT 12080184 SOS 7690405 HAS SOPS 6377486 HAS SOUS 2643712 HAS SOUPS 2546408 WITH SCORE 2554098.405
AT ITER 886 NEW BEST:: SOT 12079802 SOS 7685285 HAS SOPS 6372724 HAS SOUS 2640988 HAS SOUPS 2543684 WITH SCORE 2551369.285
AT ITER 887 NEW BEST:: SOT 12081831 SOS 7681666 HAS SOPS 6373402 HAS SOUS 2637902 HAS SOUPS 2541043 WITH SCORE 2548724.666
AT ITER 907 NEW BEST:: SOT 12080321 SOS 7678169 HAS SOPS 6369671 HAS SOUS 2635355 HAS SOUPS 2538531 WITH SCORE 2546209.169
AT ITER 922 NEW BEST:: SOT 12080084 SOS 7677896 HAS SOPS 6369390 HAS SOUS 2635022 HAS SOUPS 2538190 WITH SCORE 2545867.896
AT ITER 930 NEW BEST:: SOT 12083852 SOS 7693541 HAS SOPS 6381322 HAS SOUS 2615798 HAS SOUPS 2518961 WITH SCORE 2526654.541
AT ITER 931 NEW BEST:: SOT 12083899 SOS 7695140 HAS SOPS 6382556 HAS SOUS 2615176 HAS SOUPS 2518339 WITH SCORE 2526034.14
AT ITER 944 NEW BEST:: SOT 12076833 SOS 7688074 HAS SOPS 6374626 HAS SOUS 2604654 HAS SOUPS 2507817 WITH SCORE 2515505.074
AT ITER 948 NEW BEST:: SOT 12076198 SOS 7687301 HAS SOPS 6373715 HAS SOUS 2602313 HAS SOUPS 2505476 WITH SCORE 2513163.301
AT ITER 957 NEW BEST:: SOT 12072438 SOS 7683658 HAS SOPS 6369938 HAS SOUS 2598570 HAS SOUPS 2501696 WITH SCORE 2509379.658
AT ITER 969 NEW BEST:: SOT 12072736 SOS 7685344 HAS SOPS 6370753 HAS SOUS 2597081 HAS SOUPS 2500217 WITH SCORE 2507902.344
AT ITER 977 NEW BEST:: SOT 12067604 SOS 7676473 HAS SOPS 6363845 HAS SOUS 2590214 HAS SOUPS 2493449 WITH SCORE 2501125.473
AT ITER 981 NEW BEST:: SOT 12067394 SOS 7676139 HAS SOPS 6363482 HAS SOUS 2589751 HAS SOUPS 2492986 WITH SCORE 2500662.139
AT ITER 990 NEW BEST:: SOT 12070773 SOS 7681247 HAS SOPS 6366458 HAS SOUS 2589431 HAS SOUPS 2491064 WITH SCORE 2498745.247
AT ITER 996 NEW BEST:: SOT 12070350 SOS 7680564 HAS SOPS 6365925 HAS SOUS 2588517 HAS SOUPS 2490165 WITH SCORE 2497845.564
AT ITER 997 NEW BEST:: SOT 12065580 SOS 7674195 HAS SOPS 6358540 HAS SOUS 2580208 HAS SOUPS 2481922 WITH SCORE 2489596.195
AT ITER 1008 NEW BEST:: SOT 12061621 SOS 7671327 HAS SOPS 6352006 HAS SOUS 2573223 HAS SOUPS 2474850 WITH SCORE 2482521.327
AT ITER 1013 NEW BEST:: SOT 12061200 SOS 7670651 HAS SOPS 6351300 HAS SOUS 2571850 HAS SOUPS 2473643 WITH SCORE 2481313.651
AT ITER 1014 NEW BEST:: SOT 12060049 SOS 7669895 HAS SOPS 6350300 HAS SOUS 2569467 HAS SOUPS 2471196 WITH SCORE 2478865.895
AT ITER 1015 NEW BEST:: SOT 12059368 SOS 7669862 HAS SOPS 6350705 HAS SOUS 2568370 HAS SOUPS 2470099 WITH SCORE 2477768.862
AT ITER 1019 NEW BEST:: SOT 12058848 SOS 7668845 HAS SOPS 6349565 HAS SOUS 2567154 HAS SOUPS 2468883 WITH SCORE 2476551.845
AT ITER 1025 NEW BEST:: SOT 12070182 SOS 7684937 HAS SOPS 6378349 HAS SOUS 2564206 HAS SOUPS 2465935 WITH SCORE 2473619.937
AT ITER 1037 NEW BEST:: SOT 12070169 SOS 7685362 HAS SOPS 6378753 HAS SOUS 2563764 HAS SOUPS 2465469 WITH SCORE 2473154.362
AT ITER 1038 NEW BEST:: SOT 12075139 SOS 7703890 HAS SOPS 6396000 HAS SOUS 2561910 HAS SOUPS 2463615 WITH SCORE 2471318.89
AT ITER 1046 NEW BEST:: SOT 12073603 SOS 7702354 HAS SOPS 6394464 HAS SOUS 2560710 HAS SOUPS 2462415 WITH SCORE 2470117.354
AT ITER 1050 NEW BEST:: SOT 12058131 SOS 7686259 HAS SOPS 6376577 HAS SOUS 2541230 HAS SOUPS 2442662 WITH SCORE 2450348.259
AT ITER 1059 NEW BEST:: SOT 12050965 SOS 7675255 HAS SOPS 6366768 HAS SOUS 2526367 HAS SOUPS 2427870 WITH SCORE 2435545.255
AT ITER 1069 NEW BEST:: SOT 12046611 SOS 7671795 HAS SOPS 6363310 HAS SOUS 2522902 HAS SOUPS 2424405 WITH SCORE 2432076.795
AT ITER 1094 NEW BEST:: SOT 12044659 SOS 7666418 HAS SOPS 6359274 HAS SOUS 2521482 HAS SOUPS 2422985 WITH SCORE 2430651.418
AT ITER 1126 NEW BEST:: SOT 12045528 SOS 7667246 HAS SOPS 6359840 HAS SOUS 2521008 HAS SOUPS 2422511 WITH SCORE 2430178.246
AT ITER 1131 NEW BEST:: SOT 12039145 SOS 7659995 HAS SOPS 6350854 HAS SOUS 2516801 HAS SOUPS 2417961 WITH SCORE 2425620.995
AT ITER 1136 NEW BEST:: SOT 12039773 SOS 7669389 HAS SOPS 6355066 HAS SOUS 2510749 HAS SOUPS 2411909 WITH SCORE 2419578.389
AT ITER 1143 NEW BEST:: SOT 12049561 SOS 7679163 HAS SOPS 6364847 HAS SOUS 2508665 HAS SOUPS 2409832 WITH SCORE 2417511.163
AT ITER 1146 NEW BEST:: SOT 12049277 SOS 7678158 HAS SOPS 6364835 HAS SOUS 2507413 HAS SOUPS 2408580 WITH SCORE 2416258.158
AT ITER 1150 NEW BEST:: SOT 12049920 SOS 7678876 HAS SOPS 6365562 HAS SOUS 2507064 HAS SOUPS 2408231 WITH SCORE 2415909.876
AT ITER 1173 NEW BEST:: SOT 12052822 SOS 7686390 HAS SOPS 6372726 HAS SOUS 2505834 HAS SOUPS 2407001 WITH SCORE 2414687.39
AT ITER 1176 NEW BEST:: SOT 12054450 SOS 7687980 HAS SOPS 6372262 HAS SOUS 2503868 HAS SOUPS 2405035 WITH SCORE 2412722.98
AT ITER 1177 NEW BEST:: SOT 12055724 SOS 7694641 HAS SOPS 6379379 HAS SOUS 2502441 HAS SOUPS 2403608 WITH SCORE 2411302.641
AT ITER 1178 NEW BEST:: SOT 12053579 SOS 7691276 HAS SOPS 6375915 HAS SOUS 2499714 HAS SOUPS 2400881 WITH SCORE 2408572.276
AT ITER 1184 NEW BEST:: SOT 12054278 SOS 7691975 HAS SOPS 6376454 HAS SOUS 2499577 HAS SOUPS 2400744 WITH SCORE 2408435.975
AT ITER 1197 NEW BEST:: SOT 12052864 SOS 7690561 HAS SOPS 6375040 HAS SOUS 2499443 HAS SOUPS 2400610 WITH SCORE 2408300.561
AT ITER 1207 NEW BEST:: SOT 12052759 SOS 7690489 HAS SOPS 6374107 HAS SOUS 2498940 HAS SOUPS 2400107 WITH SCORE 2407797.489
AT ITER 1236 NEW BEST:: SOT 12053168 SOS 7690887 HAS SOPS 6374561 HAS SOUS 2498532 HAS SOUPS 2399739 WITH SCORE 2407429.887
AT ITER 1260 NEW BEST:: SOT 12050942 SOS 7688798 HAS SOPS 6371487 HAS SOUS 2498110 HAS SOUPS 2399230 WITH SCORE 2406918.798
AT ITER 1271 NEW BEST:: SOT 12051263 SOS 7689316 HAS SOPS 6371600 HAS SOUS 2497017 HAS SOUPS 2398137 WITH SCORE 2405826.316
AT ITER 1283 NEW BEST:: SOT 12058986 SOS 7709377 HAS SOPS 6390400 HAS SOUS 2496591 HAS SOUPS 2397946 WITH SCORE 2405655.377
AT ITER 1288 NEW BEST:: SOT 12061006 SOS 7713433 HAS SOPS 6391502 HAS SOUS 2494322 HAS SOUPS 2395677 WITH SCORE 2403390.433
AT ITER 1302 NEW BEST:: SOT 12060995 SOS 7713693 HAS SOPS 6391899 HAS SOUS 2494159 HAS SOUPS 2395514 WITH SCORE 2403227.693
AT ITER 1315 NEW BEST:: SOT 12063288 SOS 7723968 HAS SOPS 6398712 HAS SOUS 2487722 HAS SOUPS 2389077 WITH SCORE 2396800.968
AT ITER 1336 NEW BEST:: SOT 12063668 SOS 7723600 HAS SOPS 6400635 HAS SOUS 2486602 HAS SOUPS 2387957 WITH SCORE 2395680.6
AT ITER 1368 NEW BEST:: SOT 12064561 SOS 7727930 HAS SOPS 6404715 HAS SOUS 2486238 HAS SOUPS 2387593 WITH SCORE 2395320.93
AT ITER 1376 NEW BEST:: SOT 12060315 SOS 7723723 HAS SOPS 6400469 HAS SOUS 2480783 HAS SOUPS 2382099 WITH SCORE 2389822.723
AT ITER 1386 NEW BEST:: SOT 12058101 SOS 7720642 HAS SOPS 6397835 HAS SOUS 2477297 HAS SOUPS 2378640 WITH SCORE 2386360.642
AT ITER 1407 NEW BEST:: SOT 12058221 SOS 7720507 HAS SOPS 6397235 HAS SOUS 2476252 HAS SOUPS 2377619 WITH SCORE 2385339.507
AT ITER 1420 NEW BEST:: SOT 12065556 SOS 7733494 HAS SOPS 6407613 HAS SOUS 2453557 HAS SOUPS 2354833 WITH SCORE 2362566.494
AT ITER 1422 NEW BEST:: SOT 12062330 SOS 7729847 HAS SOPS 6403468 HAS SOUS 2446044 HAS SOUPS 2347360 WITH SCORE 2355089.847
AT ITER 1432 NEW BEST:: SOT 12061148 SOS 7728665 HAS SOPS 6401902 HAS SOUS 2443674 HAS SOUPS 2344990 WITH SCORE 2352718.665
AT ITER 1439 NEW BEST:: SOT 12055840 SOS 7720892 HAS SOPS 6392739 HAS SOUS 2429717 HAS SOUPS 2331033 WITH SCORE 2338753.892
AT ITER 1445 NEW BEST:: SOT 12056106 SOS 7720910 HAS SOPS 6392268 HAS SOUS 2429234 HAS SOUPS 2330550 WITH SCORE 2338270.91
AT ITER 1469 NEW BEST:: SOT 12056562 SOS 7720699 HAS SOPS 6393850 HAS SOUS 2428254 HAS SOUPS 2329840 WITH SCORE 2337560.699
AT ITER 1477 NEW BEST:: SOT 12057271 SOS 7720883 HAS SOPS 6399077 HAS SOUS 2423858 HAS SOUPS 2325444 WITH SCORE 2333164.883
AT ITER 1480 NEW BEST:: SOT 12053027 SOS 7717273 HAS SOPS 6395411 HAS SOUS 2412349 HAS SOUPS 2313935 WITH SCORE 2321652.273
AT ITER 1490 NEW BEST:: SOT 12053327 SOS 7721305 HAS SOPS 6400042 HAS SOUS 2411496 HAS SOUPS 2313082 WITH SCORE 2320803.305
AT ITER 1512 NEW BEST:: SOT 12053174 SOS 7721277 HAS SOPS 6399923 HAS SOUS 2411053 HAS SOUPS 2312639 WITH SCORE 2320360.277
AT ITER 1520 NEW BEST:: SOT 12053142 SOS 7721335 HAS SOPS 6400051 HAS SOUS 2410646 HAS SOUPS 2312222 WITH SCORE 2319943.335
AT ITER 1542 NEW BEST:: SOT 12054174 SOS 7722367 HAS SOPS 6401003 HAS SOUS 2410302 HAS SOUPS 2311878 WITH SCORE 2319600.367
AT ITER 1547 NEW BEST:: SOT 12053066 SOS 7721376 HAS SOPS 6399688 HAS SOUS 2407943 HAS SOUPS 2309519 WITH SCORE 2317240.376
AT ITER 1562 NEW BEST:: SOT 12052551 SOS 7720525 HAS SOPS 6399005 HAS SOUS 2406468 HAS SOUPS 2308116 WITH SCORE 2315836.525
AT ITER 1577 NEW BEST:: SOT 12052460 SOS 7716876 HAS SOPS 6394987 HAS SOUS 2404161 HAS SOUPS 2305809 WITH SCORE 2313525.876
AT ITER 1584 NEW BEST:: SOT 12050695 SOS 7714677 HAS SOPS 6392501 HAS SOUS 2400807 HAS SOUPS 2302593 WITH SCORE 2310307.677
AT ITER 1591 NEW BEST:: SOT 12045401 SOS 7709383 HAS SOPS 6386375 HAS SOUS 2392185 HAS SOUPS 2293971 WITH SCORE 2301680.383
AT ITER 1608 NEW BEST:: SOT 12045241 SOS 7709203 HAS SOPS 6386195 HAS SOUS 2391825 HAS SOUPS 2293611 WITH SCORE 2301320.203
AT ITER 1640 NEW BEST:: SOT 12045343 SOS 7709305 HAS SOPS 6386249 HAS SOUS 2391687 HAS SOUPS 2293473 WITH SCORE 2301182.305
AT ITER 1644 NEW BEST:: SOT 12045263 SOS 7709225 HAS SOPS 6386169 HAS SOUS 2391687 HAS SOUPS 2293473 WITH SCORE 2301182.225
AT ITER 1657 NEW BEST:: SOT 12045380 SOS 7709279 HAS SOPS 6386193 HAS SOUS 2391244 HAS SOUPS 2293133 WITH SCORE 2300842.279
AT ITER 1658 NEW BEST:: SOT 12044559 SOS 7710089 HAS SOPS 6385651 HAS SOUS 2387964 HAS SOUPS 2289841 WITH SCORE 2297551.089
AT ITER 1661 NEW BEST:: SOT 12043011 SOS 7704971 HAS SOPS 6382078 HAS SOUS 2382234 HAS SOUPS 2285021 WITH SCORE 2292725.971
AT ITER 1666 NEW BEST:: SOT 12042763 SOS 7706788 HAS SOPS 6385700 HAS SOUS 2380614 HAS SOUPS 2283401 WITH SCORE 2291107.788
AT ITER 1667 NEW BEST:: SOT 12042892 SOS 7707019 HAS SOPS 6385850 HAS SOUS 2380566 HAS SOUPS 2283353 WITH SCORE 2291060.019
AT ITER 1668 NEW BEST:: SOT 12042712 SOS 7706667 HAS SOPS 6385612 HAS SOUS 2380125 HAS SOUPS 2282981 WITH SCORE 2290687.667
AT ITER 1679 NEW BEST:: SOT 12043401 SOS 7708664 HAS SOPS 6386877 HAS SOUS 2379673 HAS SOUPS 2282529 WITH SCORE 2290237.664
AT ITER 1684 NEW BEST:: SOT 12046034 SOS 7718950 HAS SOPS 6394725 HAS SOUS 2376255 HAS SOUPS 2279111 WITH SCORE 2286829.95
AT ITER 1703 NEW BEST:: SOT 12045528 SOS 7718444 HAS SOPS 6394075 HAS SOUS 2375381 HAS SOUPS 2278237 WITH SCORE 2285955.444
AT ITER 1704 NEW BEST:: SOT 12046012 SOS 7716167 HAS SOPS 6389406 HAS SOUS 2370098 HAS SOUPS 2272954 WITH SCORE 2280670.167
AT ITER 1715 NEW BEST:: SOT 12045789 SOS 7715611 HAS SOPS 6387908 HAS SOUS 2367937 HAS SOUPS 2270824 WITH SCORE 2278539.611
AT ITER 1726 NEW BEST:: SOT 12043750 SOS 7714290 HAS SOPS 6385007 HAS SOUS 2362603 HAS SOUPS 2265436 WITH SCORE 2273150.29
AT ITER 1729 NEW BEST:: SOT 12042551 SOS 7713091 HAS SOPS 6384288 HAS SOUS 2362036 HAS SOUPS 2265349 WITH SCORE 2273062.091
AT ITER 1732 NEW BEST:: SOT 12042303 SOS 7712584 HAS SOPS 6383446 HAS SOUS 2361355 HAS SOUPS 2264668 WITH SCORE 2272380.584
AT ITER 1733 NEW BEST:: SOT 12041971 SOS 7712335 HAS SOPS 6382929 HAS SOUS 2359898 HAS SOUPS 2263211 WITH SCORE 2270923.335
AT ITER 1746 NEW BEST:: SOT 12046830 SOS 7722204 HAS SOPS 6392773 HAS SOUS 2359509 HAS SOUPS 2262822 WITH SCORE 2270544.204
AT ITER 1749 NEW BEST:: SOT 12046793 SOS 7722359 HAS SOPS 6393658 HAS SOUS 2359402 HAS SOUPS 2262715 WITH SCORE 2270437.359
AT ITER 1751 NEW BEST:: SOT 12045798 SOS 7722492 HAS SOPS 6393170 HAS SOUS 2358696 HAS SOUPS 2261929 WITH SCORE 2269651.492
AT ITER 1754 NEW BEST:: SOT 12045488 SOS 7722057 HAS SOPS 6392750 HAS SOUS 2357928 HAS SOUPS 2261166 WITH SCORE 2268888.057
AT ITER 1764 NEW BEST:: SOT 12043867 SOS 7714836 HAS SOPS 6385360 HAS SOUS 2356029 HAS SOUPS 2259267 WITH SCORE 2266981.836
AT ITER 1769 NEW BEST:: SOT 12043671 SOS 7713989 HAS SOPS 6384374 HAS SOUS 2355423 HAS SOUPS 2258661 WITH SCORE 2266374.989
AT ITER 1780 NEW BEST:: SOT 12043326 SOS 7713655 HAS SOPS 6384073 HAS SOUS 2354777 HAS SOUPS 2258041 WITH SCORE 2265754.655
AT ITER 1786 NEW BEST:: SOT 12043274 SOS 7713895 HAS SOPS 6384185 HAS SOUS 2354717 HAS SOUPS 2257977 WITH SCORE 2265690.895
AT ITER 1790 NEW BEST:: SOT 12038884 SOS 7704498 HAS SOPS 6375094 HAS SOUS 2349924 HAS SOUPS 2253244 WITH SCORE 2260948.498
AT ITER 1801 NEW BEST:: SOT 12038784 SOS 7704338 HAS SOPS 6374952 HAS SOUS 2349797 HAS SOUPS 2253118 WITH SCORE 2260822.338
AT ITER 1807 NEW BEST:: SOT 12037555 SOS 7703109 HAS SOPS 6373723 HAS SOUS 2348664 HAS SOUPS 2251985 WITH SCORE 2259688.109
AT ITER 1817 NEW BEST:: SOT 12036838 SOS 7701472 HAS SOPS 6375132 HAS SOUS 2347710 HAS SOUPS 2251031 WITH SCORE 2258732.472
AT ITER 1833 NEW BEST:: SOT 12028622 SOS 7692125 HAS SOPS 6365785 HAS SOUS 2340566 HAS SOUPS 2243887 WITH SCORE 2251579.125
AT ITER 1837 NEW BEST:: SOT 12031486 SOS 7693772 HAS SOPS 6367123 HAS SOUS 2340494 HAS SOUPS 2243815 WITH SCORE 2251508.772
AT ITER 1846 NEW BEST:: SOT 12030804 SOS 7693112 HAS SOPS 6366989 HAS SOUS 2340142 HAS SOUPS 2243463 WITH SCORE 2251156.112
AT ITER 1858 NEW BEST:: SOT 12030180 SOS 7692478 HAS SOPS 6366075 HAS SOUS 2339268 HAS SOUPS 2242579 WITH SCORE 2250271.478
AT ITER 1871 NEW BEST:: SOT 12031192 SOS 7693569 HAS SOPS 6365401 HAS SOUS 2339368 HAS SOUPS 2241562 WITH SCORE 2249255.569
AT ITER 1892 NEW BEST:: SOT 12031262 SOS 7693559 HAS SOPS 6365187 HAS SOUS 2339045 HAS SOUPS 2241239 WITH SCORE 2248932.559
AT ITER 1919 NEW BEST:: SOT 12027154 SOS 7689434 HAS SOPS 6360502 HAS SOUS 2334885 HAS SOUPS 2237079 WITH SCORE 2244768.434
AT ITER 1923 NEW BEST:: SOT 12026239 SOS 7688475 HAS SOPS 6359933 HAS SOUS 2333092 HAS SOUPS 2235313 WITH SCORE 2243001.475
AT ITER 1962 NEW BEST:: SOT 12026025 SOS 7688657 HAS SOPS 6359614 HAS SOUS 2330732 HAS SOUPS 2232953 WITH SCORE 2240641.657
AT ITER 1964 NEW BEST:: SOT 12028403 SOS 7697307 HAS SOPS 6367226 HAS SOUS 2326144 HAS SOUPS 2228526 WITH SCORE 2236223.307
AT ITER 1985 NEW BEST:: SOT 12027504 SOS 7696496 HAS SOPS 6366415 HAS SOUS 2324981 HAS SOUPS 2227363 WITH SCORE 2235059.496
AT ITER 1988 NEW BEST:: SOT 12025564 SOS 7692455 HAS SOPS 6363225 HAS SOUS 2323877 HAS SOUPS 2226302 WITH SCORE 2233994.455
AT ITER 1994 NEW BEST:: SOT 12025475 SOS 7692238 HAS SOPS 6363038 HAS SOUS 2323174 HAS SOUPS 2225599 WITH SCORE 2233291.238
AT ITER 1996 NEW BEST:: SOT 12025091 SOS 7692328 HAS SOPS 6363742 HAS SOUS 2321216 HAS SOUPS 2223641 WITH SCORE 2231333.328
AT ITER 2000 NEW BEST:: SOT 12026111 SOS 7693042 HAS SOPS 6364089 HAS SOUS 2320444 HAS SOUPS 2222895 WITH SCORE 2230588.042
AT ITER 2007 NEW BEST:: SOT 12028344 SOS 7694200 HAS SOPS 6366260 HAS SOUS 2316033 HAS SOUPS 2218484 WITH SCORE 2226178.2
AT ITER 2020 NEW BEST:: SOT 12027529 SOS 7692512 HAS SOPS 6364538 HAS SOUS 2313029 HAS SOUPS 2215480 WITH SCORE 2223172.512
AT ITER 2022 NEW BEST:: SOT 12025049 SOS 7689814 HAS SOPS 6360400 HAS SOUS 2310087 HAS SOUPS 2212497 WITH SCORE 2220186.814
AT ITER 2037 NEW BEST:: SOT 12025059 SOS 7689646 HAS SOPS 6360169 HAS SOUS 2309988 HAS SOUPS 2212398 WITH SCORE 2220087.646
AT ITER 2040 NEW BEST:: SOT 12028486 SOS 7701920 HAS SOPS 6372834 HAS SOUS 2305326 HAS SOUPS 2207736 WITH SCORE 2215437.92
AT ITER 2051 NEW BEST:: SOT 12031874 SOS 7707873 HAS SOPS 6376359 HAS SOUS 2304407 HAS SOUPS 2206817 WITH SCORE 2214524.873
AT ITER 2052 NEW BEST:: SOT 12034691 SOS 7713541 HAS SOPS 6388779 HAS SOUS 2301606 HAS SOUPS 2204016 WITH SCORE 2211729.541
AT ITER 2058 NEW BEST:: SOT 12034907 SOS 7713660 HAS SOPS 6389494 HAS SOUS 2301537 HAS SOUPS 2203947 WITH SCORE 2211660.66
AT ITER 2074 NEW BEST:: SOT 12034680 SOS 7713710 HAS SOPS 6388572 HAS SOUS 2300839 HAS SOUPS 2203249 WITH SCORE 2210962.71
AT ITER 2078 NEW BEST:: SOT 12033687 SOS 7712554 HAS SOPS 6386652 HAS SOUS 2300573 HAS SOUPS 2202951 WITH SCORE 2210663.554
AT ITER 2080 NEW BEST:: SOT 12033878 SOS 7711449 HAS SOPS 6387756 HAS SOUS 2300300 HAS SOUPS 2202678 WITH SCORE 2210389.449
AT ITER 2085 NEW BEST:: SOT 12033914 SOS 7711353 HAS SOPS 6388104 HAS SOUS 2300276 HAS SOUPS 2202654 WITH SCORE 2210365.353
AT ITER 2086 NEW BEST:: SOT 12030565 SOS 7702510 HAS SOPS 6382412 HAS SOUS 2295238 HAS SOUPS 2197698 WITH SCORE 2205400.51
AT ITER 2090 NEW BEST:: SOT 12029913 SOS 7701497 HAS SOPS 6381414 HAS SOUS 2293314 HAS SOUPS 2195846 WITH SCORE 2203547.497
AT ITER 2103 NEW BEST:: SOT 12018829 SOS 7678271 HAS SOPS 6363121 HAS SOUS 2279614 HAS SOUPS 2182378 WITH SCORE 2190056.271
AT ITER 2113 NEW BEST:: SOT 12015578 SOS 7675028 HAS SOPS 6360212 HAS SOUS 2275513 HAS SOUPS 2179187 WITH SCORE 2186862.028
AT ITER 2136 NEW BEST:: SOT 12016082 SOS 7675596 HAS SOPS 6361266 HAS SOUS 2272726 HAS SOUPS 2176459 WITH SCORE 2184134.596
AT ITER 2147 NEW BEST:: SOT 12006498 SOS 7661301 HAS SOPS 6349699 HAS SOUS 2263203 HAS SOUPS 2167323 WITH SCORE 2174984.301
AT ITER 2149 NEW BEST:: SOT 11998756 SOS 7629604 HAS SOPS 6323179 HAS SOUS 2251389 HAS SOUPS 2155509 WITH SCORE 2163138.604
AT ITER 2153 NEW BEST:: SOT 11998484 SOS 7629342 HAS SOPS 6322661 HAS SOUS 2250317 HAS SOUPS 2154437 WITH SCORE 2162066.342
AT ITER 2157 NEW BEST:: SOT 11999809 SOS 7635764 HAS SOPS 6328385 HAS SOUS 2249606 HAS SOUPS 2153726 WITH SCORE 2161361.764
AT ITER 2160 NEW BEST:: SOT 11999823 SOS 7635866 HAS SOPS 6328456 HAS SOUS 2249543 HAS SOUPS 2153663 WITH SCORE 2161298.866
AT ITER 2161 NEW BEST:: SOT 11999111 SOS 7635536 HAS SOPS 6328055 HAS SOUS 2248922 HAS SOUPS 2153027 WITH SCORE 2160662.536
AT ITER 2205 NEW BEST:: SOT 11996566 SOS 7626509 HAS SOPS 6326624 HAS SOUS 2245869 HAS SOUPS 2150209 WITH SCORE 2157835.509
AT ITER 2254 NEW BEST:: SOT 11995530 SOS 7625213 HAS SOPS 6325053 HAS SOUS 2241571 HAS SOUPS 2145911 WITH SCORE 2153536.213
AT ITER 2267 NEW BEST:: SOT 11994996 SOS 7624436 HAS SOPS 6324151 HAS SOUS 2240614 HAS SOUPS 2144954 WITH SCORE 2152578.436
AT ITER 2274 NEW BEST:: SOT 11999344 SOS 7636595 HAS SOPS 6340690 HAS SOUS 2237656 HAS SOUPS 2142153 WITH SCORE 2149789.595
AT ITER 2278 NEW BEST:: SOT 11999038 SOS 7636289 HAS SOPS 6340272 HAS SOUS 2237114 HAS SOUPS 2141611 WITH SCORE 2149247.289
AT ITER 2292 NEW BEST:: SOT 11998623 SOS 7635790 HAS SOPS 6339710 HAS SOUS 2236671 HAS SOUPS 2141133 WITH SCORE 2148768.79
AT ITER 2304 NEW BEST:: SOT 11998511 SOS 7635940 HAS SOPS 6338764 HAS SOUS 2235517 HAS SOUPS 2139979 WITH SCORE 2147614.94
AT ITER 2314 NEW BEST:: SOT 11997810 SOS 7634713 HAS SOPS 6337564 HAS SOUS 2234418 HAS SOUPS 2138894 WITH SCORE 2146528.713
AT ITER 2317 NEW BEST:: SOT 11997886 SOS 7634785 HAS SOPS 6337542 HAS SOUS 2234408 HAS SOUPS 2138884 WITH SCORE 2146518.785
AT ITER 2321 NEW BEST:: SOT 11997455 SOS 7631745 HAS SOPS 6334907 HAS SOUS 2233914 HAS SOUPS 2138552 WITH SCORE 2146183.745
AT ITER 2323 NEW BEST:: SOT 11995301 SOS 7629591 HAS SOPS 6332673 HAS SOUS 2231520 HAS SOUPS 2136158 WITH SCORE 2143787.591
AT ITER 2330 NEW BEST:: SOT 11998024 SOS 7611518 HAS SOPS 6318648 HAS SOUS 2219478 HAS SOUPS 2124334 WITH SCORE 2131945.518
AT ITER 2335 NEW BEST:: SOT 11997384 SOS 7610878 HAS SOPS 6318008 HAS SOUS 2218838 HAS SOUPS 2123694 WITH SCORE 2131304.878
AT ITER 2350 NEW BEST:: SOT 11996187 SOS 7611344 HAS SOPS 6320340 HAS SOUS 2215785 HAS SOUPS 2120532 WITH SCORE 2128143.344
AT ITER 2352 NEW BEST:: SOT 11996140 SOS 7611238 HAS SOPS 6320574 HAS SOUS 2215667 HAS SOUPS 2120424 WITH SCORE 2128035.238
AT ITER 2357 NEW BEST:: SOT 11995932 SOS 7613331 HAS SOPS 6321685 HAS SOUS 2215306 HAS SOUPS 2119998 WITH SCORE 2127611.331
AT ITER 2367 NEW BEST:: SOT 11995424 SOS 7612703 HAS SOPS 6320964 HAS SOUS 2214423 HAS SOUPS 2119115 WITH SCORE 2126727.703
AT ITER 2404 NEW BEST:: SOT 11995515 SOS 7613124 HAS SOPS 6322257 HAS SOUS 2208525 HAS SOUPS 2113374 WITH SCORE 2120987.124
AT ITER 2422 NEW BEST:: SOT 11991449 SOS 7607764 HAS SOPS 6316230 HAS SOUS 2202571 HAS SOUPS 2107449 WITH SCORE 2115056.764
AT ITER 2490 NEW BEST:: SOT 11989349 SOS 7607979 HAS SOPS 6315225 HAS SOUS 2194245 HAS SOUPS 2099202 WITH SCORE 2106809.979
AT ITER 2492 NEW BEST:: SOT 11989427 SOS 7607597 HAS SOPS 6315471 HAS SOUS 2193938 HAS SOUPS 2098895 WITH SCORE 2106502.597
AT ITER 2497 NEW BEST:: SOT 11985614 SOS 7601834 HAS SOPS 6309550 HAS SOUS 2186181 HAS SOUPS 2091174 WITH SCORE 2098775.834
AT ITER 2499 NEW BEST:: SOT 11986083 SOS 7602208 HAS SOPS 6309946 HAS SOUS 2185643 HAS SOUPS 2090636 WITH SCORE 2098238.208
AT ITER 2506 NEW BEST:: SOT 11985255 SOS 7599913 HAS SOPS 6306651 HAS SOUS 2181762 HAS SOUPS 2086795 WITH SCORE 2094394.913
AT ITER 2512 NEW BEST:: SOT 11985316 SOS 7600226 HAS SOPS 6306866 HAS SOUS 2181235 HAS SOUPS 2086268 WITH SCORE 2093868.226
AT ITER 2513 NEW BEST:: SOT 11980991 SOS 7593487 HAS SOPS 6302401 HAS SOUS 2176611 HAS SOUPS 2081708 WITH SCORE 2089301.487
AT ITER 2539 NEW BEST:: SOT 11975132 SOS 7587394 HAS SOPS 6295108 HAS SOUS 2171034 HAS SOUPS 2075916 WITH SCORE 2083503.394
AT ITER 2565 NEW BEST:: SOT 11975831 SOS 7587264 HAS SOPS 6296322 HAS SOUS 2169101 HAS SOUPS 2074613 WITH SCORE 2082200.264
AT ITER 2573 NEW BEST:: SOT 11975741 SOS 7586823 HAS SOPS 6296502 HAS SOUS 2168324 HAS SOUPS 2073836 WITH SCORE 2081422.823
AT ITER 2590 NEW BEST:: SOT 11976363 SOS 7588011 HAS SOPS 6299187 HAS SOUS 2166485 HAS SOUPS 2071997 WITH SCORE 2079585.011
AT ITER 2595 NEW BEST:: SOT 11972108 SOS 7583485 HAS SOPS 6295187 HAS SOUS 2158197 HAS SOUPS 2063771 WITH SCORE 2071354.485
AT ITER 2603 NEW BEST:: SOT 11971362 SOS 7585008 HAS SOPS 6295535 HAS SOUS 2155855 HAS SOUPS 2061429 WITH SCORE 2069014.008
AT ITER 2607 NEW BEST:: SOT 11971456 SOS 7584688 HAS SOPS 6296284 HAS SOUS 2155185 HAS SOUPS 2061033 WITH SCORE 2068617.688
AT ITER 2611 NEW BEST:: SOT 11968828 SOS 7581903 HAS SOPS 6296969 HAS SOUS 2150465 HAS SOUPS 2056431 WITH SCORE 2064012.903
AT ITER 2656 NEW BEST:: SOT 11968811 SOS 7581900 HAS SOPS 6296930 HAS SOUS 2150336 HAS SOUPS 2056302 WITH SCORE 2063883.9
AT ITER 2659 NEW BEST:: SOT 11968780 SOS 7581893 HAS SOPS 6296921 HAS SOUS 2150232 HAS SOUPS 2056198 WITH SCORE 2063779.893
AT ITER 2662 NEW BEST:: SOT 11967825 SOS 7581325 HAS SOPS 6296290 HAS SOUS 2145830 HAS SOUPS 2051786 WITH SCORE 2059367.325
AT ITER 2690 NEW BEST:: SOT 11968346 SOS 7583029 HAS SOPS 6297502 HAS SOUS 2145041 HAS SOUPS 2050997 WITH SCORE 2058580.029
AT ITER 2696 NEW BEST:: SOT 11970462 SOS 7588568 HAS SOPS 6303025 HAS SOUS 2137779 HAS SOUPS 2043735 WITH SCORE 2051323.568
AT ITER 2698 NEW BEST:: SOT 11970122 SOS 7588212 HAS SOPS 6302669 HAS SOUS 2137567 HAS SOUPS 2043523 WITH SCORE 2051111.212
AT ITER 2700 NEW BEST:: SOT 11971455 SOS 7601757 HAS SOPS 6314833 HAS SOUS 2134252 HAS SOUPS 2040313 WITH SCORE 2047914.757
AT ITER 2703 NEW BEST:: SOT 11966163 SOS 7593297 HAS SOPS 6308509 HAS SOUS 2123523 HAS SOUPS 2029662 WITH SCORE 2037255.297
AT ITER 2710 NEW BEST:: SOT 11965383 SOS 7592535 HAS SOPS 6307891 HAS SOUS 2122837 HAS SOUPS 2029168 WITH SCORE 2036760.535
AT ITER 2711 NEW BEST:: SOT 11960522 SOS 7582914 HAS SOPS 6298238 HAS SOUS 2118951 HAS SOUPS 2025275 WITH SCORE 2032857.914
AT ITER 2764 NEW BEST:: SOT 11958799 SOS 7581284 HAS SOPS 6296058 HAS SOUS 2114217 HAS SOUPS 2020505 WITH SCORE 2028086.284
AT ITER 2802 NEW BEST:: SOT 11960522 SOS 7584086 HAS SOPS 6295885 HAS SOUS 2112054 HAS SOUPS 2018194 WITH SCORE 2025778.086
AT ITER 2807 NEW BEST:: SOT 11951364 SOS 7573471 HAS SOPS 6283820 HAS SOUS 2093611 HAS SOUPS 1999857 WITH SCORE 2007430.471
AT ITER 2834 NEW BEST:: SOT 11953267 SOS 7580375 HAS SOPS 6283323 HAS SOUS 2087322 HAS SOUPS 1993568 WITH SCORE 2001148.375
AT ITER 2849 NEW BEST:: SOT 11952496 SOS 7580007 HAS SOPS 6282073 HAS SOUS 2084822 HAS SOUPS 1991041 WITH SCORE 1998621.007
AT ITER 2860 NEW BEST:: SOT 11949437 SOS 7575308 HAS SOPS 6277129 HAS SOUS 2082362 HAS SOUPS 1988581 WITH SCORE 1996156.308
AT ITER 2886 NEW BEST:: SOT 11949555 SOS 7575048 HAS SOPS 6278960 HAS SOUS 2081905 HAS SOUPS 1988124 WITH SCORE 1995699.048
AT ITER 2918 NEW BEST:: SOT 11950649 SOS 7571079 HAS SOPS 6280482 HAS SOUS 2080189 HAS SOUPS 1986408 WITH SCORE 1993979.079
AT ITER 2926 NEW BEST:: SOT 11949631 SOS 7570001 HAS SOPS 6279951 HAS SOUS 2075774 HAS SOUPS 1981993 WITH SCORE 1989563.001
AT ITER 2930 NEW BEST:: SOT 11949698 SOS 7569374 HAS SOPS 6279521 HAS SOUS 2074920 HAS SOUPS 1981168 WITH SCORE 1988737.374
AT ITER 2968 NEW BEST:: SOT 11949750 SOS 7569426 HAS SOPS 6279493 HAS SOUS 2074588 HAS SOUPS 1980836 WITH SCORE 1988405.426
AT ITER 3030 NEW BEST:: SOT 11949500 SOS 7569119 HAS SOPS 6279102 HAS SOUS 2074251 HAS SOUPS 1980499 WITH SCORE 1988068.119
AT ITER 3043 NEW BEST:: SOT 11955009 SOS 7573817 HAS SOPS 6282943 HAS SOUS 2073725 HAS SOUPS 1979547 WITH SCORE 1987120.817
AT ITER 3046 NEW BEST:: SOT 11953947 SOS 7572344 HAS SOPS 6281217 HAS SOUS 2072275 HAS SOUPS 1978083 WITH SCORE 1985655.344
AT ITER 3050 NEW BEST:: SOT 11953863 SOS 7572827 HAS SOPS 6281106 HAS SOUS 2070564 HAS SOUPS 1976556 WITH SCORE 1984128.827
AT ITER 3052 NEW BEST:: SOT 11960076 SOS 7591235 HAS SOPS 6301342 HAS SOUS 2066584 HAS SOUPS 1972779 WITH SCORE 1980370.235
AT ITER 3056 NEW BEST:: SOT 11963539 SOS 7596073 HAS SOPS 6303179 HAS SOUS 2064981 HAS SOUPS 1971176 WITH SCORE 1978772.073
AT ITER 3060 NEW BEST:: SOT 11962695 SOS 7592716 HAS SOPS 6299524 HAS SOUS 2063999 HAS SOUPS 1970194 WITH SCORE 1977786.716
AT ITER 3067 NEW BEST:: SOT 11960337 SOS 7590358 HAS SOPS 6296942 HAS SOUS 2060249 HAS SOUPS 1966700 WITH SCORE 1974290.358
AT ITER 3070 NEW BEST:: SOT 11958954 SOS 7588475 HAS SOPS 6296224 HAS SOUS 2058620 HAS SOUPS 1965071 WITH SCORE 1972659.475
AT ITER 3079 NEW BEST:: SOT 11955157 SOS 7589304 HAS SOPS 6298034 HAS SOUS 2056054 HAS SOUPS 1962740 WITH SCORE 1970329.304
AT ITER 3084 NEW BEST:: SOT 11955147 SOS 7589294 HAS SOPS 6298024 HAS SOUS 2056032 HAS SOUPS 1962718 WITH SCORE 1970307.294
AT ITER 3159 NEW BEST:: SOT 11953117 SOS 7586717 HAS SOPS 6295422 HAS SOUS 2054199 HAS SOUPS 1960606 WITH SCORE 1968192.717
AT ITER 3160 NEW BEST:: SOT 11946582 SOS 7579072 HAS SOPS 6284562 HAS SOUS 2038230 HAS SOUPS 1944637 WITH SCORE 1952216.072
AT ITER 3184 NEW BEST:: SOT 11945836 SOS 7578326 HAS SOPS 6283816 HAS SOUS 2038060 HAS SOUPS 1944467 WITH SCORE 1952045.326
AT ITER 3193 NEW BEST:: SOT 11948949 SOS 7584804 HAS SOPS 6288029 HAS SOUS 2037693 HAS SOUPS 1944100 WITH SCORE 1951684.804
AT ITER 3205 NEW BEST:: SOT 11940427 SOS 7576246 HAS SOPS 6278639 HAS SOUS 2028675 HAS SOUPS 1935082 WITH SCORE 1942658.246
AT ITER 3208 NEW BEST:: SOT 11940833 SOS 7575996 HAS SOPS 6279489 HAS SOUS 2027747 HAS SOUPS 1934154 WITH SCORE 1941729.996
AT ITER 3218 NEW BEST:: SOT 11940963 SOS 7576156 HAS SOPS 6279736 HAS SOUS 2027535 HAS SOUPS 1933942 WITH SCORE 1941518.156
AT ITER 3231 NEW BEST:: SOT 11947142 SOS 7584947 HAS SOPS 6289956 HAS SOUS 2025609 HAS SOUPS 1932037 WITH SCORE 1939621.947
AT ITER 3233 NEW BEST:: SOT 11946131 SOS 7583883 HAS SOPS 6288603 HAS SOUS 2024348 HAS SOUPS 1930775 WITH SCORE 1938358.883
AT ITER 3247 NEW BEST:: SOT 11940328 SOS 7568161 HAS SOPS 6278600 HAS SOUS 2023089 HAS SOUPS 1929658 WITH SCORE 1937226.161
AT ITER 3261 NEW BEST:: SOT 11940564 SOS 7566364 HAS SOPS 6280930 HAS SOUS 2022885 HAS SOUPS 1929454 WITH SCORE 1937020.364
AT ITER 3286 NEW BEST:: SOT 11938715 SOS 7564638 HAS SOPS 6278761 HAS SOUS 2021711 HAS SOUPS 1927827 WITH SCORE 1935391.638
AT ITER 3300 NEW BEST:: SOT 11935927 SOS 7562044 HAS SOPS 6276223 HAS SOUS 2015778 HAS SOUPS 1921884 WITH SCORE 1929446.044
AT ITER 3347 NEW BEST:: SOT 11934973 SOS 7557456 HAS SOPS 6274735 HAS SOUS 2014862 HAS SOUPS 1920999 WITH SCORE 1928556.456
AT ITER 3354 NEW BEST:: SOT 11941013 SOS 7561816 HAS SOPS 6271978 HAS SOUS 1997551 HAS SOUPS 1903891 WITH SCORE 1911452.816
AT ITER 3356 NEW BEST:: SOT 11941599 SOS 7551580 HAS SOPS 6270883 HAS SOUS 1993441 HAS SOUPS 1899781 WITH SCORE 1907332.58
AT ITER 3367 NEW BEST:: SOT 11937584 SOS 7546176 HAS SOPS 6265785 HAS SOUS 1988006 HAS SOUPS 1894346 WITH SCORE 1901892.176
AT ITER 3375 NEW BEST:: SOT 11938155 SOS 7546323 HAS SOPS 6266919 HAS SOUS 1986276 HAS SOUPS 1892616 WITH SCORE 1900162.323
AT ITER 3403 NEW BEST:: SOT 11938217 SOS 7546655 HAS SOPS 6267310 HAS SOUS 1986211 HAS SOUPS 1892551 WITH SCORE 1900097.655
AT ITER 3411 NEW BEST:: SOT 11937430 SOS 7545880 HAS SOPS 6266431 HAS SOUS 1985961 HAS SOUPS 1892177 WITH SCORE 1899722.88
AT ITER 3412 NEW BEST:: SOT 11937190 SOS 7546703 HAS SOPS 6265890 HAS SOUS 1985844 HAS SOUPS 1892060 WITH SCORE 1899606.703
AT ITER 3426 NEW BEST:: SOT 11935445 SOS 7539374 HAS SOPS 6257323 HAS SOUS 1984784 HAS SOUPS 1891000 WITH SCORE 1898539.374
AT ITER 3427 NEW BEST:: SOT 11935442 SOS 7538649 HAS SOPS 6255727 HAS SOUS 1981551 HAS SOUPS 1887767 WITH SCORE 1895305.649
AT ITER 3439 NEW BEST:: SOT 11935074 SOS 7537980 HAS SOPS 6254387 HAS SOUS 1980567 HAS SOUPS 1886820 WITH SCORE 1894357.98
AT ITER 3452 NEW BEST:: SOT 11938666 SOS 7535734 HAS SOPS 6265102 HAS SOUS 1979671 HAS SOUPS 1886138 WITH SCORE 1893673.734
AT ITER 3459 NEW BEST:: SOT 11938149 SOS 7535870 HAS SOPS 6264786 HAS SOUS 1978956 HAS SOUPS 1885423 WITH SCORE 1892958.87
AT ITER 3463 NEW BEST:: SOT 11938113 SOS 7535834 HAS SOPS 6264750 HAS SOUS 1978884 HAS SOUPS 1885351 WITH SCORE 1892886.834
AT ITER 3466 NEW BEST:: SOT 11936024 SOS 7530464 HAS SOPS 6259820 HAS SOUS 1977712 HAS SOUPS 1884164 WITH SCORE 1891694.464
AT ITER 3469 NEW BEST:: SOT 11933981 SOS 7527790 HAS SOPS 6257087 HAS SOUS 1975490 HAS SOUPS 1881942 WITH SCORE 1889469.79
AT ITER 3490 NEW BEST:: SOT 11933421 SOS 7526225 HAS SOPS 6255790 HAS SOUS 1974267 HAS SOUPS 1880719 WITH SCORE 1888245.225
AT ITER 3503 NEW BEST:: SOT 11933921 SOS 7526721 HAS SOPS 6256140 HAS SOUS 1974091 HAS SOUPS 1880543 WITH SCORE 1888069.721
AT ITER 3516 NEW BEST:: SOT 11937657 SOS 7541482 HAS SOPS 6270009 HAS SOUS 1974082 HAS SOUPS 1880498 WITH SCORE 1888039.482
AT ITER 3525 NEW BEST:: SOT 11937617 SOS 7541736 HAS SOPS 6270066 HAS SOUS 1973793 HAS SOUPS 1880209 WITH SCORE 1887750.736
AT ITER 3529 NEW BEST:: SOT 11937534 SOS 7541609 HAS SOPS 6270015 HAS SOUS 1973258 HAS SOUPS 1879806 WITH SCORE 1887347.609
AT ITER 3623 NEW BEST:: SOT 11937538 SOS 7541532 HAS SOPS 6269914 HAS SOUS 1973028 HAS SOUPS 1879581 WITH SCORE 1887122.532
AT ITER 3657 NEW BEST:: SOT 11937554 SOS 7541758 HAS SOPS 6270327 HAS SOUS 1973024 HAS SOUPS 1879577 WITH SCORE 1887118.758
AT ITER 3678 NEW BEST:: SOT 11937112 SOS 7540871 HAS SOPS 6270948 HAS SOUS 1972949 HAS SOUPS 1879502 WITH SCORE 1887042.871
AT ITER 3689 NEW BEST:: SOT 11937052 SOS 7541040 HAS SOPS 6270929 HAS SOUS 1972792 HAS SOUPS 1879341 WITH SCORE 1886882.04
AT ITER 3699 NEW BEST:: SOT 11941318 SOS 7547242 HAS SOPS 6277133 HAS SOUS 1965662 HAS SOUPS 1872225 WITH SCORE 1879772.242
AT ITER 3727 NEW BEST:: SOT 11939966 SOS 7544580 HAS SOPS 6274565 HAS SOUS 1963206 HAS SOUPS 1869769 WITH SCORE 1877313.58
AT ITER 3749 NEW BEST:: SOT 11936263 SOS 7540491 HAS SOPS 6272188 HAS SOUS 1962336 HAS SOUPS 1868899 WITH SCORE 1876439.491
AT ITER 3756 NEW BEST:: SOT 11936949 SOS 7541688 HAS SOPS 6273504 HAS SOUS 1958220 HAS SOUPS 1864889 WITH SCORE 1872430.688
AT ITER 3761 NEW BEST:: SOT 11937172 SOS 7542286 HAS SOPS 6276165 HAS SOUS 1957939 HAS SOUPS 1864608 WITH SCORE 1872150.286
AT ITER 3762 NEW BEST:: SOT 11930601 SOS 7527812 HAS SOPS 6266432 HAS SOUS 1953963 HAS SOUPS 1860805 WITH SCORE 1868332.812
AT ITER 3781 NEW BEST:: SOT 11930690 SOS 7528218 HAS SOPS 6268074 HAS SOUS 1953934 HAS SOUPS 1860776 WITH SCORE 1868304.218
AT ITER 3782 NEW BEST:: SOT 11930262 SOS 7527790 HAS SOPS 6267646 HAS SOUS 1953782 HAS SOUPS 1860624 WITH SCORE 1868151.79
AT ITER 3791 NEW BEST:: SOT 11930520 SOS 7529684 HAS SOPS 6268486 HAS SOUS 1953675 HAS SOUPS 1860517 WITH SCORE 1868046.684
AT ITER 3794 NEW BEST:: SOT 11930525 SOS 7529493 HAS SOPS 6268309 HAS SOUS 1953496 HAS SOUPS 1860338 WITH SCORE 1867867.493
AT ITER 3799 NEW BEST:: SOT 11927947 SOS 7529313 HAS SOPS 6266409 HAS SOUS 1940196 HAS SOUPS 1847293 WITH SCORE 1854822.313
AT ITER 3806 NEW BEST:: SOT 11928641 SOS 7530019 HAS SOPS 6266658 HAS SOUS 1939538 HAS SOUPS 1846483 WITH SCORE 1854013.019
AT ITER 3813 NEW BEST:: SOT 11928115 SOS 7529585 HAS SOPS 6265234 HAS SOUS 1937698 HAS SOUPS 1844580 WITH SCORE 1852109.585
AT ITER 3816 NEW BEST:: SOT 11928343 SOS 7531865 HAS SOPS 6270005 HAS SOUS 1936314 HAS SOUPS 1843196 WITH SCORE 1850727.865
AT ITER 3835 NEW BEST:: SOT 11928367 SOS 7533467 HAS SOPS 6270253 HAS SOUS 1929371 HAS SOUPS 1836253 WITH SCORE 1843786.467
AT ITER 3843 NEW BEST:: SOT 11928809 SOS 7535403 HAS SOPS 6271591 HAS SOUS 1929166 HAS SOUPS 1836048 WITH SCORE 1843583.403
AT ITER 3871 NEW BEST:: SOT 11928558 SOS 7535258 HAS SOPS 6271613 HAS SOUS 1928561 HAS SOUPS 1835443 WITH SCORE 1842978.258
AT ITER 3884 NEW BEST:: SOT 11928717 SOS 7535367 HAS SOPS 6270179 HAS SOUS 1928432 HAS SOUPS 1835314 WITH SCORE 1842849.367
AT ITER 3910 NEW BEST:: SOT 11928681 SOS 7535331 HAS SOPS 6270143 HAS SOUS 1928348 HAS SOUPS 1835230 WITH SCORE 1842765.331
AT ITER 3923 NEW BEST:: SOT 11927964 SOS 7534471 HAS SOPS 6270909 HAS SOUS 1925150 HAS SOUPS 1832032 WITH SCORE 1839566.471
AT ITER 3925 NEW BEST:: SOT 11926797 SOS 7531216 HAS SOPS 6268188 HAS SOUS 1923878 HAS SOUPS 1830769 WITH SCORE 1838300.216
AT ITER 3931 NEW BEST:: SOT 11927837 SOS 7527388 HAS SOPS 6269422 HAS SOUS 1923648 HAS SOUPS 1830539 WITH SCORE 1838066.388
AT ITER 3963 NEW BEST:: SOT 11927296 SOS 7527312 HAS SOPS 6267763 HAS SOUS 1921322 HAS SOUPS 1828175 WITH SCORE 1835702.312
AT ITER 3965 NEW BEST:: SOT 11927955 SOS 7526346 HAS SOPS 6266915 HAS SOUS 1918637 HAS SOUPS 1825654 WITH SCORE 1833180.346
AT ITER 3978 NEW BEST:: SOT 11928014 SOS 7525235 HAS SOPS 6266282 HAS SOUS 1917964 HAS SOUPS 1824981 WITH SCORE 1832506.235
AT ITER 3980 NEW BEST:: SOT 11926711 SOS 7523882 HAS SOPS 6264979 HAS SOUS 1916611 HAS SOUPS 1823678 WITH SCORE 1831201.882
AT ITER 3993 NEW BEST:: SOT 11924591 SOS 7520738 HAS SOPS 6261246 HAS SOUS 1910215 HAS SOUPS 1817353 WITH SCORE 1824873.738
AT ITER 4000 NEW BEST:: SOT 11920996 SOS 7509201 HAS SOPS 6249055 HAS SOUS 1909324 HAS SOUPS 1816383 WITH SCORE 1823892.201
AT ITER 4006 NEW BEST:: SOT 11917958 SOS 7501902 HAS SOPS 6236657 HAS SOUS 1897094 HAS SOUPS 1804153 WITH SCORE 1811654.902
AT ITER 4011 NEW BEST:: SOT 11917903 SOS 7501282 HAS SOPS 6235461 HAS SOUS 1897018 HAS SOUPS 1804077 WITH SCORE 1811578.282
AT ITER 4020 NEW BEST:: SOT 11918080 SOS 7501623 HAS SOPS 6235888 HAS SOUS 1896149 HAS SOUPS 1803208 WITH SCORE 1810709.623
AT ITER 4028 NEW BEST:: SOT 11918739 SOS 7500996 HAS SOPS 6233538 HAS SOUS 1895837 HAS SOUPS 1802896 WITH SCORE 1810396.996
AT ITER 4042 NEW BEST:: SOT 11918234 SOS 7497694 HAS SOPS 6231057 HAS SOUS 1895320 HAS SOUPS 1802379 WITH SCORE 1809876.694
AT ITER 4043 NEW BEST:: SOT 11917882 SOS 7497342 HAS SOPS 6230529 HAS SOUS 1894264 HAS SOUPS 1801323 WITH SCORE 1808820.342
AT ITER 4053 NEW BEST:: SOT 11917749 SOS 7496983 HAS SOPS 6229956 HAS SOUS 1894069 HAS SOUPS 1801080 WITH SCORE 1808576.983
AT ITER 4057 NEW BEST:: SOT 11926841 SOS 7508615 HAS SOPS 6243158 HAS SOUS 1890987 HAS SOUPS 1797998 WITH SCORE 1805506.615
AT ITER 4080 NEW BEST:: SOT 11926374 SOS 7508343 HAS SOPS 6242974 HAS SOUS 1889390 HAS SOUPS 1796430 WITH SCORE 1803938.343
AT ITER 4092 NEW BEST:: SOT 11918210 SOS 7496763 HAS SOPS 6238872 HAS SOUS 1888048 HAS SOUPS 1795256 WITH SCORE 1802752.763
AT ITER 4105 NEW BEST:: SOT 11918730 SOS 7495472 HAS SOPS 6237485 HAS SOUS 1886541 HAS SOUPS 1793749 WITH SCORE 1801244.472
AT ITER 4118 NEW BEST:: SOT 11915778 SOS 7488752 HAS SOPS 6230802 HAS SOUS 1883718 HAS SOUPS 1790926 WITH SCORE 1798414.752
AT ITER 4132 NEW BEST:: SOT 11915767 SOS 7490426 HAS SOPS 6232158 HAS SOUS 1882391 HAS SOUPS 1789565 WITH SCORE 1797055.426
AT ITER 4159 NEW BEST:: SOT 11916518 SOS 7494591 HAS SOPS 6234252 HAS SOUS 1876884 HAS SOUPS 1784058 WITH SCORE 1791552.591
AT ITER 4161 NEW BEST:: SOT 11916264 SOS 7497367 HAS SOPS 6236084 HAS SOUS 1876643 HAS SOUPS 1783817 WITH SCORE 1791314.367
AT ITER 4165 NEW BEST:: SOT 11911564 SOS 7492525 HAS SOPS 6229342 HAS SOUS 1868284 HAS SOUPS 1775421 WITH SCORE 1782913.525
AT ITER 4166 NEW BEST:: SOT 11911006 SOS 7491319 HAS SOPS 6228361 HAS SOUS 1867083 HAS SOUPS 1774265 WITH SCORE 1781756.319
AT ITER 4174 NEW BEST:: SOT 11910818 SOS 7491392 HAS SOPS 6228079 HAS SOUS 1866864 HAS SOUPS 1774041 WITH SCORE 1781532.392
AT ITER 4190 NEW BEST:: SOT 11908180 SOS 7497024 HAS SOPS 6232671 HAS SOUS 1863929 HAS SOUPS 1771106 WITH SCORE 1778603.024
AT ITER 4194 NEW BEST:: SOT 11906950 SOS 7495789 HAS SOPS 6231436 HAS SOUS 1862059 HAS SOUPS 1769236 WITH SCORE 1776731.789
AT ITER 4198 NEW BEST:: SOT 11906973 SOS 7496107 HAS SOPS 6231732 HAS SOUS 1861451 HAS SOUPS 1768628 WITH SCORE 1776124.107
AT ITER 4227 NEW BEST:: SOT 11908189 SOS 7501851 HAS SOPS 6234107 HAS SOUS 1858544 HAS SOUPS 1765714 WITH SCORE 1773215.851
AT ITER 4235 NEW BEST:: SOT 11907207 SOS 7501180 HAS SOPS 6233031 HAS SOUS 1854830 HAS SOUPS 1762000 WITH SCORE 1769501.18
AT ITER 4236 NEW BEST:: SOT 11906184 SOS 7499621 HAS SOPS 6232301 HAS SOUS 1852722 HAS SOUPS 1759892 WITH SCORE 1767391.621
AT ITER 4243 NEW BEST:: SOT 11908930 SOS 7499768 HAS SOPS 6235530 HAS SOUS 1852110 HAS SOUPS 1759365 WITH SCORE 1766864.768
AT ITER 4288 NEW BEST:: SOT 11907215 SOS 7498076 HAS SOPS 6233105 HAS SOUS 1846514 HAS SOUPS 1753788 WITH SCORE 1761286.076
AT ITER 4289 NEW BEST:: SOT 11905156 SOS 7499220 HAS SOPS 6230970 HAS SOUS 1844166 HAS SOUPS 1751387 WITH SCORE 1758886.22
AT ITER 4296 NEW BEST:: SOT 11903785 SOS 7498582 HAS SOPS 6229335 HAS SOUS 1839741 HAS SOUPS 1746908 WITH SCORE 1754406.582
AT ITER 4298 NEW BEST:: SOT 11901309 SOS 7489630 HAS SOPS 6222422 HAS SOUS 1837685 HAS SOUPS 1744955 WITH SCORE 1752444.63
AT ITER 4310 NEW BEST:: SOT 11900451 SOS 7487099 HAS SOPS 6220650 HAS SOUS 1837364 HAS SOUPS 1744653 WITH SCORE 1752140.099
AT ITER 4314 NEW BEST:: SOT 11901692 SOS 7487684 HAS SOPS 6221891 HAS SOUS 1837046 HAS SOUPS 1744376 WITH SCORE 1751863.684
AT ITER 4320 NEW BEST:: SOT 11898018 SOS 7483504 HAS SOPS 6215889 HAS SOUS 1831892 HAS SOUPS 1739110 WITH SCORE 1746593.504
AT ITER 4325 NEW BEST:: SOT 11897826 SOS 7483312 HAS SOPS 6215649 HAS SOUS 1831532 HAS SOUPS 1738750 WITH SCORE 1746233.312
AT ITER 4328 NEW BEST:: SOT 11896558 SOS 7483290 HAS SOPS 6216010 HAS SOUS 1829643 HAS SOUPS 1736861 WITH SCORE 1744344.29
AT ITER 4329 NEW BEST:: SOT 11893259 SOS 7479469 HAS SOPS 6211925 HAS SOUS 1822629 HAS SOUPS 1729847 WITH SCORE 1737326.469
AT ITER 4335 NEW BEST:: SOT 11893111 SOS 7479306 HAS SOPS 6211730 HAS SOUS 1822381 HAS SOUPS 1729599 WITH SCORE 1737078.306
AT ITER 4337 NEW BEST:: SOT 11892844 SOS 7478653 HAS SOPS 6211646 HAS SOUS 1820687 HAS SOUPS 1727905 WITH SCORE 1735383.653
AT ITER 4348 NEW BEST:: SOT 11889066 SOS 7474868 HAS SOPS 6207621 HAS SOUS 1815837 HAS SOUPS 1723055 WITH SCORE 1730529.868
AT ITER 4351 NEW BEST:: SOT 11888236 SOS 7473285 HAS SOPS 6205536 HAS SOUS 1814843 HAS SOUPS 1722061 WITH SCORE 1729534.285
AT ITER 4356 NEW BEST:: SOT 11890214 SOS 7474811 HAS SOPS 6207250 HAS SOUS 1814568 HAS SOUPS 1721786 WITH SCORE 1729260.811
AT ITER 4381 NEW BEST:: SOT 11891242 SOS 7475811 HAS SOPS 6208570 HAS SOUS 1814311 HAS SOUPS 1721608 WITH SCORE 1729083.811
AT ITER 4382 NEW BEST:: SOT 11886406 SOS 7465350 HAS SOPS 6199961 HAS SOUS 1811095 HAS SOUPS 1718516 WITH SCORE 1725981.35
AT ITER 4386 NEW BEST:: SOT 11886194 SOS 7465095 HAS SOPS 6199049 HAS SOUS 1810894 HAS SOUPS 1718315 WITH SCORE 1725780.095
AT ITER 4429 NEW BEST:: SOT 11884659 SOS 7461098 HAS SOPS 6195151 HAS SOUS 1803061 HAS SOUPS 1710482 WITH SCORE 1717943.098
AT ITER 4432 NEW BEST:: SOT 11866313 SOS 7436618 HAS SOPS 6172853 HAS SOUS 1777290 HAS SOUPS 1684817 WITH SCORE 1692253.618
AT ITER 4446 NEW BEST:: SOT 11870658 SOS 7437721 HAS SOPS 6174806 HAS SOUS 1775201 HAS SOUPS 1682902 WITH SCORE 1690339.721
AT ITER 4460 NEW BEST:: SOT 11869300 SOS 7436363 HAS SOPS 6173448 HAS SOUS 1773635 HAS SOUPS 1681336 WITH SCORE 1688772.363
AT ITER 4479 NEW BEST:: SOT 11869243 SOS 7436332 HAS SOPS 6173351 HAS SOUS 1773518 HAS SOUPS 1681219 WITH SCORE 1688655.332
AT ITER 4481 NEW BEST:: SOT 11869287 SOS 7436303 HAS SOPS 6173342 HAS SOUS 1773023 HAS SOUPS 1680792 WITH SCORE 1688228.303
AT ITER 4483 NEW BEST:: SOT 11869253 SOS 7436297 HAS SOPS 6173210 HAS SOUS 1772773 HAS SOUPS 1680542 WITH SCORE 1687978.297
AT ITER 4489 NEW BEST:: SOT 11869461 SOS 7438466 HAS SOPS 6177045 HAS SOUS 1770654 HAS SOUPS 1678423 WITH SCORE 1685861.466
AT ITER 4493 NEW BEST:: SOT 11868016 SOS 7432613 HAS SOPS 6173760 HAS SOUS 1770427 HAS SOUPS 1678227 WITH SCORE 1685659.613
AT ITER 4495 NEW BEST:: SOT 11867776 SOS 7429555 HAS SOPS 6170557 HAS SOUS 1769858 HAS SOUPS 1677658 WITH SCORE 1685087.555
AT ITER 4496 NEW BEST:: SOT 11866108 SOS 7427336 HAS SOPS 6167963 HAS SOUS 1767424 HAS SOUPS 1675224 WITH SCORE 1682651.336
AT ITER 4506 NEW BEST:: SOT 11864788 SOS 7426016 HAS SOPS 6166211 HAS SOUS 1764524 HAS SOUPS 1672324 WITH SCORE 1679750.016
AT ITER 4526 NEW BEST:: SOT 11864960 SOS 7426303 HAS SOPS 6165723 HAS SOUS 1754431 HAS SOUPS 1662304 WITH SCORE 1669730.303
AT ITER 4547 NEW BEST:: SOT 11864885 SOS 7425429 HAS SOPS 6164941 HAS SOUS 1754118 HAS SOUPS 1661991 WITH SCORE 1669416.429
AT ITER 4588 NEW BEST:: SOT 11862896 SOS 7420881 HAS SOPS 6160763 HAS SOUS 1752882 HAS SOUPS 1660755 WITH SCORE 1668175.881
AT ITER 4593 NEW BEST:: SOT 11862004 SOS 7419989 HAS SOPS 6159263 HAS SOUS 1749530 HAS SOUPS 1657403 WITH SCORE 1664822.989
AT ITER 4621 NEW BEST:: SOT 11866608 SOS 7429533 HAS SOPS 6168975 HAS SOUS 1749165 HAS SOUPS 1656951 WITH SCORE 1664380.533
AT ITER 4622 NEW BEST:: SOT 11866429 SOS 7430506 HAS SOPS 6168237 HAS SOUS 1746384 HAS SOUPS 1654170 WITH SCORE 1661600.506
AT ITER 4628 NEW BEST:: SOT 11866453 SOS 7430932 HAS SOPS 6168618 HAS SOUS 1746369 HAS SOUPS 1654155 WITH SCORE 1661585.932
AT ITER 4654 NEW BEST:: SOT 11865794 SOS 7428060 HAS SOPS 6166687 HAS SOUS 1745367 HAS SOUPS 1653185 WITH SCORE 1660613.06
AT ITER 4663 NEW BEST:: SOT 11865898 SOS 7429609 HAS SOPS 6167219 HAS SOUS 1744318 HAS SOUPS 1652092 WITH SCORE 1659521.609
AT ITER 4664 NEW BEST:: SOT 11865766 SOS 7429378 HAS SOPS 6166981 HAS SOUS 1744204 HAS SOUPS 1651977 WITH SCORE 1659406.378
AT ITER 4671 NEW BEST:: SOT 11865731 SOS 7429098 HAS SOPS 6166870 HAS SOUS 1744094 HAS SOUPS 1651867 WITH SCORE 1659296.098
AT ITER 4684 NEW BEST:: SOT 11865586 SOS 7430129 HAS SOPS 6166814 HAS SOUS 1743497 HAS SOUPS 1651253 WITH SCORE 1658683.129
AT ITER 4699 NEW BEST:: SOT 11865028 SOS 7428943 HAS SOPS 6165585 HAS SOUS 1742439 HAS SOUPS 1650249 WITH SCORE 1657677.943
AT ITER 4718 NEW BEST:: SOT 11865115 SOS 7429020 HAS SOPS 6166254 HAS SOUS 1742154 HAS SOUPS 1649964 WITH SCORE 1657393.02
AT ITER 4732 NEW BEST:: SOT 11864737 SOS 7428727 HAS SOPS 6165683 HAS SOUS 1740085 HAS SOUPS 1647910 WITH SCORE 1655338.727
AT ITER 4766 NEW BEST:: SOT 11863071 SOS 7426952 HAS SOPS 6162687 HAS SOUS 1737792 HAS SOUPS 1645617 WITH SCORE 1653043.952
AT ITER 4776 NEW BEST:: SOT 11861387 SOS 7425455 HAS SOPS 6160887 HAS SOUS 1735075 HAS SOUPS 1642912 WITH SCORE 1650337.455
AT ITER 4791 NEW BEST:: SOT 11860079 SOS 7425229 HAS SOPS 6158364 HAS SOUS 1733417 HAS SOUPS 1641254 WITH SCORE 1648679.229
AT ITER 4820 NEW BEST:: SOT 11859427 SOS 7423876 HAS SOPS 6157282 HAS SOUS 1732847 HAS SOUPS 1640728 WITH SCORE 1648151.876
AT ITER 4828 NEW BEST:: SOT 11855489 SOS 7415670 HAS SOPS 6155197 HAS SOUS 1732673 HAS SOUPS 1640554 WITH SCORE 1647969.67
AT ITER 4835 NEW BEST:: SOT 11852554 SOS 7412829 HAS SOPS 6151020 HAS SOUS 1732821 HAS SOUPS 1640546 WITH SCORE 1647958.829
AT ITER 4836 NEW BEST:: SOT 11851807 SOS 7411030 HAS SOPS 6149099 HAS SOUS 1730150 HAS SOUPS 1637875 WITH SCORE 1645286.03
AT ITER 4839 NEW BEST:: SOT 11852121 SOS 7410575 HAS SOPS 6146776 HAS SOUS 1729601 HAS SOUPS 1637326 WITH SCORE 1644736.575
AT ITER 4849 NEW BEST:: SOT 11851572 SOS 7407462 HAS SOPS 6143349 HAS SOUS 1729574 HAS SOUPS 1637297 WITH SCORE 1644704.462
AT ITER 4870 NEW BEST:: SOT 11852322 SOS 7410447 HAS SOPS 6144164 HAS SOUS 1726906 HAS SOUPS 1634629 WITH SCORE 1642039.447
AT ITER 4881 NEW BEST:: SOT 11852664 SOS 7412615 HAS SOPS 6146213 HAS SOUS 1725901 HAS SOUPS 1633624 WITH SCORE 1641036.615
AT ITER 4927 NEW BEST:: SOT 11851589 SOS 7411493 HAS SOPS 6144288 HAS SOUS 1723993 HAS SOUPS 1631716 WITH SCORE 1639127.493
AT ITER 4940 NEW BEST:: SOT 11850859 SOS 7408362 HAS SOPS 6141067 HAS SOUS 1723265 HAS SOUPS 1630988 WITH SCORE 1638396.362
AT ITER 4959 NEW BEST:: SOT 11844396 SOS 7401815 HAS SOPS 6134265 HAS SOUS 1715721 HAS SOUPS 1623390 WITH SCORE 1630791.815
AT ITER 4962 NEW BEST:: SOT 11844444 SOS 7401815 HAS SOPS 6134193 HAS SOUS 1715397 HAS SOUPS 1623066 WITH SCORE 1630467.815
AT ITER 4970 NEW BEST:: SOT 11843047 SOS 7397686 HAS SOPS 6130408 HAS SOUS 1713591 HAS SOUPS 1621284 WITH SCORE 1628681.686
AT ITER 4978 NEW BEST:: SOT 11843224 SOS 7398279 HAS SOPS 6130966 HAS SOUS 1713354 HAS SOUPS 1621047 WITH SCORE 1628445.279
AT ITER 4987 NEW BEST:: SOT 11843049 SOS 7398481 HAS SOPS 6130691 HAS SOUS 1713321 HAS SOUPS 1621014 WITH SCORE 1628412.481
AT ITER 4993 NEW BEST:: SOT 11842775 SOS 7397979 HAS SOPS 6130141 HAS SOUS 1712827 HAS SOUPS 1620520 WITH SCORE 1627917.979
AT ITER 4997 NEW BEST:: SOT 11843674 SOS 7398279 HAS SOPS 6129655 HAS SOUS 1712590 HAS SOUPS 1620283 WITH SCORE 1627681.279
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: RERS17pb113-PT-6-CTLCardinality-00 (AU( ( potential( (tk(P531)) <= (tk(P283)) ) | (! potential( ( 1 ) <= (tk(P510)) )) ),(EG( potential( ( 1 ) <= (tk(P410)) ))) ))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-01 (EF(potential( ( 3 ) <= (tk(P310)) )))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-02 (AF(( (AG( potential( ( 2 ) <= (tk(P454)) ))) & ( ( potential( ( 3 ) <= (tk(P330)) ) & potential( ( 3 ) <= (tk(P357)) ) ) & ( potential( ( 2 ) <= (tk(P42)) ) | potential( (tk(P590)) <= (tk(P489)) ) ) ) )))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-03 (AU( (EF(potential( (tk(P289)) <= (tk(P5)) ))),( (! potential( ( 3 ) <= (tk(P597)) )) & (! potential( (tk(P252)) <= (tk(P105)) )) ) ))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-04 (EU( (EX( potential( (tk(P251)) <= (tk(P178)) ))),(EF(potential( ( 2 ) <= (tk(P634)) ))) ))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-05 (EG( ( (EF(potential( ( 1 ) <= (tk(P251)) ))) | potential( (tk(P523)) <= (tk(P580)) ) )))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-06 ( (AX( (! potential( (tk(P393)) <= (tk(P259)) )))) | (AX( (AF(potential( ( 1 ) <= (tk(P94)) ))))) )
PROPERTY: RERS17pb113-PT-6-CTLCardinality-07 (EF((AG( potential( ( 2 ) <= (tk(P21)) )))))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-08 (AF(( ( potential( (tk(P161)) <= (tk(P540)) ) & (! potential( (tk(P57)) <= (tk(P430)) )) ) | (! (! potential( ( 1 ) <= (tk(P239)) ))) )))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-09 (EG( (AG( ( potential( ( 1 ) <= (tk(P303)) ) | potential( (tk(P440)) <= (tk(P40)) ) )))))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-10 (! (! (! (AF(potential( ( 3 ) <= (tk(P10)) ))))))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-11 ( ( (AF((! potential( (tk(P158)) <= (tk(P245)) )))) & ( (! ( potential( (tk(P40)) <= (tk(P177)) ) | potential( ( 1 ) <= (tk(P551)) ) )) | (! potential( ( 1 ) <= (tk(P265)) )) ) ) & (AU( potential( (tk(P132)) <= (tk(P132)) ),(! potential( ( 3 ) <= (tk(P434)) )) )) )
PROPERTY: RERS17pb113-PT-6-CTLCardinality-12 (EU( potential( (tk(P178)) <= (tk(P564)) ),( ( potential( ( 1 ) <= (tk(P45)) ) | potential( (tk(P309)) <= (tk(P370)) ) ) & potential( ( 1 ) <= (tk(P192)) ) ) ))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-13 ( potential( ( 3 ) <= (tk(P460)) ) | ( ( (EX( potential( (tk(P324)) <= (tk(P463)) ))) | potential( ( 2 ) <= (tk(P229)) ) ) & ( potential( (tk(P574)) <= (tk(P204)) ) & (EG( potential( (tk(P393)) <= (tk(P52)) ))) ) ) )
PROPERTY: RERS17pb113-PT-6-CTLCardinality-14 (EF((! ( ( potential( ( 1 ) <= (tk(P153)) ) & potential( ( 3 ) <= (tk(P274)) ) ) | (! potential( ( 2 ) <= (tk(P68)) )) ))))
PROPERTY: RERS17pb113-PT-6-CTLCardinality-15 ( ( ( (AX( potential( (tk(P240)) <= (tk(P173)) ))) | ( ( potential( ( 2 ) <= (tk(P108)) ) | potential( ( 3 ) <= (tk(P382)) ) ) | potential( ( 1 ) <= (tk(P217)) ) ) ) & (AU( potential( ( 1 ) <= (tk(P64)) ),potential( (tk(P637)) <= (tk(P100)) ) )) ) & (AF((AX( potential( ( 3 ) <= (tk(P472)) ))))) )

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="CTLCardinality"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is RERS17pb113-PT-6, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r138-smll-158961502300043"
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 [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh

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