Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r123-tajo-158961354500251.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/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 PhilosophersDyn-PT-20, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r123-tajo-158961354500251
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 36M
-rw-r--r-- 1 mcc users 12K Apr 27 15:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 43K Apr 27 15:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 832K Apr 27 15:14 CTLFireability.txt
-rw-r--r-- 1 mcc users 2.9M Apr 27 15:14 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 27 15:14 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 5.9K Apr 27 15:14 GenericPropertiesVerdict.xml
-rw-r--r-- 1 mcc users 40K Apr 27 15:14 LTLCardinality.txt
-rw-r--r-- 1 mcc users 120K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.2M Apr 27 15:14 LTLFireability.txt
-rw-r--r-- 1 mcc users 4.2M Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 35K Apr 27 15:14 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 107K Apr 27 15:14 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 1.6M Apr 27 15:14 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 5.7M Apr 27 15:14 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 13K Apr 27 15:14 UpperBounds.txt
-rw-r--r-- 1 mcc users 25K Apr 27 15:14 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Apr 27 15:14 equiv_col
-rw-r--r-- 1 mcc users 3 Apr 27 15:14 instance
-rw-r--r-- 1 mcc users 6 Apr 27 15:14 iscolored
-rw-r--r-- 1 mcc users 19M Apr 27 15:14 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 PhilosophersDyn-PT-20-CTLCardinality-00
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-01
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-02
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-03
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-04
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-05
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-06
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-07
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-08
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-09
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-10
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-11
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-12
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-13
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-14
FORMULA_NAME PhilosophersDyn-PT-20-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1589642467561

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running PhilosophersDyn (PT), instance 20
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: 540 places, 17220 transitions, 140780 arcs.
AT ITER 0 NEW BEST:: SOT 6542288 SOS 6067337 HAS SOPS 5884877 HAS SOUS 3462369 HAS SOUPS 3452858 WITH SCORE 3458925.337
AT ITER 4 NEW BEST:: SOT 6542250 SOS 6067286 HAS SOPS 5876894 HAS SOUS 3464902 HAS SOUPS 3452674 WITH SCORE 3458741.286
AT ITER 8 NEW BEST:: SOT 6579212 SOS 6084785 HAS SOPS 5902348 HAS SOUS 3456060 HAS SOUPS 3443610 WITH SCORE 3449694.785
AT ITER 9 NEW BEST:: SOT 6581539 SOS 6071909 HAS SOPS 5895582 HAS SOUS 3414073 HAS SOUPS 3401885 WITH SCORE 3407956.909
AT ITER 12 NEW BEST:: SOT 6584522 SOS 6056956 HAS SOPS 5888826 HAS SOUS 3378792 HAS SOUPS 3367009 WITH SCORE 3373065.956
AT ITER 46 NEW BEST:: SOT 6517625 SOS 5990304 HAS SOPS 5823384 HAS SOUS 3311586 HAS SOUPS 3300983 WITH SCORE 3306973.304
AT ITER 53 NEW BEST:: SOT 6514863 SOS 5987542 HAS SOPS 5820622 HAS SOUS 3307592 HAS SOUPS 3296989 WITH SCORE 3302976.542
AT ITER 54 NEW BEST:: SOT 6515992 SOS 5973513 HAS SOPS 5811299 HAS SOUS 3251804 HAS SOUPS 3241106 WITH SCORE 3247079.513
AT ITER 55 NEW BEST:: SOT 6515948 SOS 5973458 HAS SOPS 5811255 HAS SOUS 3251607 HAS SOUPS 3240920 WITH SCORE 3246893.458
AT ITER 100 NEW BEST:: SOT 6508147 SOS 5965657 HAS SOPS 5803454 HAS SOUS 3241700 HAS SOUPS 3231013 WITH SCORE 3236978.657
AT ITER 103 NEW BEST:: SOT 6499672 SOS 5957420 HAS SOPS 5795462 HAS SOUS 3235277 HAS SOUPS 3224812 WITH SCORE 3230769.42
AT ITER 104 NEW BEST:: SOT 6499661 SOS 5935715 HAS SOPS 5778954 HAS SOUS 3217991 HAS SOUPS 3208076 WITH SCORE 3214011.715
AT ITER 107 NEW BEST:: SOT 6499273 SOS 5935327 HAS SOPS 5778566 HAS SOUS 3217525 HAS SOUPS 3207610 WITH SCORE 3213545.327
AT ITER 113 NEW BEST:: SOT 6499273 SOS 5923879 HAS SOPS 5776443 HAS SOUS 3210753 HAS SOUPS 3201360 WITH SCORE 3207283.879
AT ITER 130 NEW BEST:: SOT 6485717 SOS 5913085 HAS SOPS 5766748 HAS SOUS 3205134 HAS SOUPS 3195752 WITH SCORE 3201665.085
AT ITER 132 NEW BEST:: SOT 6485241 SOS 5912609 HAS SOPS 5766272 HAS SOUS 3204355 HAS SOUPS 3194973 WITH SCORE 3200885.609
AT ITER 173 NEW BEST:: SOT 6485255 SOS 5895407 HAS SOPS 5758036 HAS SOUS 3190137 HAS SOUPS 3181232 WITH SCORE 3187127.407
AT ITER 190 NEW BEST:: SOT 6491844 SOS 5882406 HAS SOPS 5753364 HAS SOUS 3146785 HAS SOUPS 3137683 WITH SCORE 3143565.406
AT ITER 192 NEW BEST:: SOT 6493222 SOS 5880579 HAS SOPS 5750629 HAS SOUS 3089915 HAS SOUPS 3079908 WITH SCORE 3085788.579
AT ITER 195 NEW BEST:: SOT 6503931 SOS 5824100 HAS SOPS 5633434 HAS SOUS 3105277 HAS SOUPS 3070016 WITH SCORE 3075840.1
AT ITER 208 NEW BEST:: SOT 6503937 SOS 5824004 HAS SOPS 5633377 HAS SOUS 3104385 HAS SOUPS 3069157 WITH SCORE 3074981.004
AT ITER 225 NEW BEST:: SOT 6503316 SOS 5823217 HAS SOPS 5632764 HAS SOUS 3102950 HAS SOUPS 3067895 WITH SCORE 3073718.217
AT ITER 234 NEW BEST:: SOT 6503316 SOS 5822974 HAS SOPS 5632521 HAS SOUS 3102653 HAS SOUPS 3067598 WITH SCORE 3073420.974
AT ITER 237 NEW BEST:: SOT 6503316 SOS 5813513 HAS SOPS 5633624 HAS SOUS 3101948 HAS SOUPS 3067100 WITH SCORE 3072913.513
AT ITER 242 NEW BEST:: SOT 6503312 SOS 5813509 HAS SOPS 5633620 HAS SOUS 3101940 HAS SOUPS 3067092 WITH SCORE 3072905.509
AT ITER 243 NEW BEST:: SOT 6502579 SOS 5812776 HAS SOPS 5632887 HAS SOUS 3100457 HAS SOUPS 3065609 WITH SCORE 3071421.776
AT ITER 264 NEW BEST:: SOT 6501843 SOS 5812040 HAS SOPS 5632151 HAS SOUS 3099692 HAS SOUPS 3064844 WITH SCORE 3070656.04
AT ITER 272 NEW BEST:: SOT 6501167 SOS 5811364 HAS SOPS 5631475 HAS SOUS 3098357 HAS SOUPS 3063509 WITH SCORE 3069320.364
AT ITER 275 NEW BEST:: SOT 6500800 SOS 5810997 HAS SOPS 5631108 HAS SOUS 3097732 HAS SOUPS 3062884 WITH SCORE 3068694.997
AT ITER 276 NEW BEST:: SOT 6491764 SOS 5806379 HAS SOPS 5627389 HAS SOUS 3097143 HAS SOUPS 3062384 WITH SCORE 3068190.379
AT ITER 278 NEW BEST:: SOT 6502205 SOS 5809820 HAS SOPS 5632449 HAS SOUS 3049178 HAS SOUPS 3015865 WITH SCORE 3021674.82
AT ITER 280 NEW BEST:: SOT 6501810 SOS 5809425 HAS SOPS 5632054 HAS SOUS 3048406 HAS SOUPS 3015093 WITH SCORE 3020902.425
AT ITER 289 NEW BEST:: SOT 6495277 SOS 5802771 HAS SOPS 5625505 HAS SOUS 3039020 HAS SOUPS 3005820 WITH SCORE 3011622.771
AT ITER 337 NEW BEST:: SOT 6495178 SOS 5780513 HAS SOPS 5589771 HAS SOUS 3038624 HAS SOUPS 3005334 WITH SCORE 3011114.513
AT ITER 338 NEW BEST:: SOT 6508108 SOS 5774863 HAS SOPS 5591522 HAS SOUS 2984193 HAS SOUPS 2951544 WITH SCORE 2957318.863
AT ITER 348 NEW BEST:: SOT 6517155 SOS 5763778 HAS SOPS 5587360 HAS SOUS 2906912 HAS SOUPS 2875078 WITH SCORE 2880841.778
AT ITER 357 NEW BEST:: SOT 6444271 SOS 5740478 HAS SOPS 5601460 HAS SOUS 2834672 HAS SOUPS 2817269 WITH SCORE 2823009.478
AT ITER 369 NEW BEST:: SOT 6444255 SOS 5740462 HAS SOPS 5601444 HAS SOUS 2834647 HAS SOUPS 2817244 WITH SCORE 2822984.462
AT ITER 380 NEW BEST:: SOT 6444288 SOS 5740524 HAS SOPS 5601535 HAS SOUS 2832910 HAS SOUPS 2815544 WITH SCORE 2821284.524
AT ITER 382 NEW BEST:: SOT 6444286 SOS 5740522 HAS SOPS 5601533 HAS SOUS 2832908 HAS SOUPS 2815542 WITH SCORE 2821282.522
AT ITER 384 NEW BEST:: SOT 6442468 SOS 5738612 HAS SOPS 5599715 HAS SOUS 2831852 HAS SOUPS 2814578 WITH SCORE 2820316.612
AT ITER 394 NEW BEST:: SOT 6442468 SOS 5731713 HAS SOPS 5589161 HAS SOUS 2830693 HAS SOUPS 2813419 WITH SCORE 2819150.713
AT ITER 397 NEW BEST:: SOT 6441638 SOS 5730883 HAS SOPS 5588331 HAS SOUS 2829441 HAS SOUPS 2812167 WITH SCORE 2817897.883
AT ITER 416 NEW BEST:: SOT 6412429 SOS 5769286 HAS SOPS 5641198 HAS SOUS 2814251 HAS SOUPS 2797815 WITH SCORE 2803584.286
AT ITER 434 NEW BEST:: SOT 6411911 SOS 5768688 HAS SOPS 5640680 HAS SOUS 2812994 HAS SOUPS 2796638 WITH SCORE 2802406.688
AT ITER 446 NEW BEST:: SOT 6410929 SOS 5767706 HAS SOPS 5639698 HAS SOUS 2812100 HAS SOUPS 2795744 WITH SCORE 2801511.706
AT ITER 457 NEW BEST:: SOT 6410144 SOS 5768603 HAS SOPS 5640595 HAS SOUS 2811939 HAS SOUPS 2795583 WITH SCORE 2801351.603
AT ITER 467 NEW BEST:: SOT 6410144 SOS 5762486 HAS SOPS 5655863 HAS SOUS 2807084 HAS SOUPS 2791147 WITH SCORE 2796909.486
AT ITER 495 NEW BEST:: SOT 6410207 SOS 5762549 HAS SOPS 5655926 HAS SOUS 2807017 HAS SOUPS 2791080 WITH SCORE 2796842.549
AT ITER 512 NEW BEST:: SOT 6399653 SOS 5752072 HAS SOPS 5645372 HAS SOUS 2794570 HAS SOUPS 2778556 WITH SCORE 2784308.072
AT ITER 514 NEW BEST:: SOT 6419296 SOS 5770880 HAS SOPS 5662355 HAS SOUS 2786917 HAS SOUPS 2769078 WITH SCORE 2774848.88
AT ITER 519 NEW BEST:: SOT 6421481 SOS 5762156 HAS SOPS 5660321 HAS SOUS 2749712 HAS SOUPS 2731503 WITH SCORE 2737265.156
AT ITER 558 NEW BEST:: SOT 6421467 SOS 5761603 HAS SOPS 5659675 HAS SOUS 2749551 HAS SOUPS 2731342 WITH SCORE 2737103.603
AT ITER 585 NEW BEST:: SOT 6421396 SOS 5751248 HAS SOPS 5657480 HAS SOUS 2734238 HAS SOUPS 2716478 WITH SCORE 2722229.248
AT ITER 587 NEW BEST:: SOT 6404138 SOS 5734924 HAS SOPS 5641782 HAS SOUS 2725899 HAS SOUPS 2708765 WITH SCORE 2714499.924
AT ITER 592 NEW BEST:: SOT 6403382 SOS 5734168 HAS SOPS 5641026 HAS SOUS 2725152 HAS SOUPS 2708018 WITH SCORE 2713752.168
AT ITER 599 NEW BEST:: SOT 6402450 SOS 5733236 HAS SOPS 5640094 HAS SOUS 2723494 HAS SOUPS 2706360 WITH SCORE 2712093.236
AT ITER 601 NEW BEST:: SOT 6401580 SOS 5732366 HAS SOPS 5639224 HAS SOUS 2722509 HAS SOUPS 2705375 WITH SCORE 2711107.366
AT ITER 602 NEW BEST:: SOT 6401520 SOS 5732306 HAS SOPS 5639164 HAS SOUS 2722449 HAS SOUPS 2705315 WITH SCORE 2711047.306
AT ITER 629 NEW BEST:: SOT 6396341 SOS 5727041 HAS SOPS 5633985 HAS SOUS 2719031 HAS SOUPS 2701983 WITH SCORE 2707710.041
AT ITER 637 NEW BEST:: SOT 6396227 SOS 5726927 HAS SOPS 5633871 HAS SOUS 2718917 HAS SOUPS 2701869 WITH SCORE 2707595.927
AT ITER 640 NEW BEST:: SOT 6393634 SOS 5724395 HAS SOPS 5631278 HAS SOUS 2716202 HAS SOUPS 2699093 WITH SCORE 2704817.395
AT ITER 658 NEW BEST:: SOT 6393503 SOS 5724244 HAS SOPS 5631147 HAS SOUS 2716133 HAS SOUPS 2699044 WITH SCORE 2704768.244
AT ITER 679 NEW BEST:: SOT 6393509 SOS 5724250 HAS SOPS 5631153 HAS SOUS 2716126 HAS SOUPS 2699037 WITH SCORE 2704761.25
AT ITER 683 NEW BEST:: SOT 6385599 SOS 5716187 HAS SOPS 5623243 HAS SOUS 2708590 HAS SOUPS 2691654 WITH SCORE 2697370.187
AT ITER 687 NEW BEST:: SOT 6385519 SOS 5714863 HAS SOPS 5622050 HAS SOUS 2708136 HAS SOUPS 2691152 WITH SCORE 2696866.863
AT ITER 711 NEW BEST:: SOT 6377011 SOS 5706235 HAS SOPS 5613542 HAS SOUS 2696893 HAS SOUPS 2680029 WITH SCORE 2685735.235
AT ITER 720 NEW BEST:: SOT 6365611 SOS 5694589 HAS SOPS 5602142 HAS SOUS 2674156 HAS SOUPS 2657507 WITH SCORE 2663201.589
AT ITER 741 NEW BEST:: SOT 6278573 SOS 5608718 HAS SOPS 5518364 HAS SOUS 2597009 HAS SOUPS 2582453 WITH SCORE 2588061.718
AT ITER 771 NEW BEST:: SOT 6297193 SOS 5600608 HAS SOPS 5525398 HAS SOUS 2597314 HAS SOUPS 2582237 WITH SCORE 2587837.608
AT ITER 776 NEW BEST:: SOT 6297466 SOS 5581307 HAS SOPS 5517885 HAS SOUS 2587758 HAS SOUPS 2572937 WITH SCORE 2578518.307
AT ITER 788 NEW BEST:: SOT 6303047 SOS 5584595 HAS SOPS 5521412 HAS SOUS 2586982 HAS SOUPS 2571886 WITH SCORE 2577470.595
AT ITER 797 NEW BEST:: SOT 6303534 SOS 5560358 HAS SOPS 5512742 HAS SOUS 2580532 HAS SOUPS 2565404 WITH SCORE 2570964.358
AT ITER 804 NEW BEST:: SOT 6304010 SOS 5560293 HAS SOPS 5512518 HAS SOUS 2575694 HAS SOUPS 2560407 WITH SCORE 2565967.293
AT ITER 813 NEW BEST:: SOT 6313395 SOS 5547600 HAS SOPS 5510468 HAS SOUS 2550938 HAS SOUPS 2534320 WITH SCORE 2539867.6
AT ITER 828 NEW BEST:: SOT 6313253 SOS 5547458 HAS SOPS 5510326 HAS SOUS 2549456 HAS SOUPS 2532838 WITH SCORE 2538385.458
AT ITER 859 NEW BEST:: SOT 6313568 SOS 5547687 HAS SOPS 5510641 HAS SOUS 2549351 HAS SOUPS 2532814 WITH SCORE 2538361.687
AT ITER 885 NEW BEST:: SOT 6311309 SOS 5545694 HAS SOPS 5508781 HAS SOUS 2548738 HAS SOUPS 2532334 WITH SCORE 2537879.694
AT ITER 894 NEW BEST:: SOT 6310442 SOS 5544827 HAS SOPS 5507914 HAS SOUS 2547182 HAS SOUPS 2530778 WITH SCORE 2536322.827
AT ITER 899 NEW BEST:: SOT 6309239 SOS 5543587 HAS SOPS 5506711 HAS SOUS 2545869 HAS SOUPS 2529502 WITH SCORE 2535045.587
AT ITER 935 NEW BEST:: SOT 6291291 SOS 5526864 HAS SOPS 5490723 HAS SOUS 2537208 HAS SOUPS 2521576 WITH SCORE 2527102.864
AT ITER 962 NEW BEST:: SOT 6290887 SOS 5526460 HAS SOPS 5490319 HAS SOUS 2536680 HAS SOUPS 2521048 WITH SCORE 2526574.46
AT ITER 969 NEW BEST:: SOT 6290941 SOS 5526148 HAS SOPS 5489873 HAS SOUS 2534329 HAS SOUPS 2518563 WITH SCORE 2524089.148
AT ITER 970 NEW BEST:: SOT 6290941 SOS 5506013 HAS SOPS 5476819 HAS SOUS 2533209 HAS SOUPS 2517468 WITH SCORE 2522974.013
AT ITER 987 NEW BEST:: SOT 6291185 SOS 5506266 HAS SOPS 5477063 HAS SOUS 2532838 HAS SOUPS 2517088 WITH SCORE 2522594.266
AT ITER 1008 NEW BEST:: SOT 6289099 SOS 5504179 HAS SOPS 5474977 HAS SOUS 2530361 HAS SOUPS 2514612 WITH SCORE 2520116.179
AT ITER 1019 NEW BEST:: SOT 6289053 SOS 5503229 HAS SOPS 5474037 HAS SOUS 2530132 HAS SOUPS 2514383 WITH SCORE 2519886.229
AT ITER 1049 NEW BEST:: SOT 6288728 SOS 5502904 HAS SOPS 5473712 HAS SOUS 2529932 HAS SOUPS 2514183 WITH SCORE 2519685.904
AT ITER 1076 NEW BEST:: SOT 6288710 SOS 5502232 HAS SOPS 5473050 HAS SOUS 2529792 HAS SOUPS 2514043 WITH SCORE 2519545.232
AT ITER 1080 NEW BEST:: SOT 6292199 SOS 5504750 HAS SOPS 5474999 HAS SOUS 2522865 HAS SOUPS 2506547 WITH SCORE 2512051.75
AT ITER 1088 NEW BEST:: SOT 6291678 SOS 5504229 HAS SOPS 5474478 HAS SOUS 2521873 HAS SOUPS 2505555 WITH SCORE 2511059.229
AT ITER 1094 NEW BEST:: SOT 6290240 SOS 5502745 HAS SOPS 5473040 HAS SOUS 2520816 HAS SOUPS 2504544 WITH SCORE 2510046.745
AT ITER 1095 NEW BEST:: SOT 6290240 SOS 5503004 HAS SOPS 5473294 HAS SOUS 2520807 HAS SOUPS 2504535 WITH SCORE 2510038.004
AT ITER 1097 NEW BEST:: SOT 6290164 SOS 5502928 HAS SOPS 5473218 HAS SOUS 2520738 HAS SOUPS 2504466 WITH SCORE 2509968.928
AT ITER 1124 NEW BEST:: SOT 6288016 SOS 5500780 HAS SOPS 5471070 HAS SOUS 2520237 HAS SOUPS 2503965 WITH SCORE 2509465.78
AT ITER 1125 NEW BEST:: SOT 6277612 SOS 5497038 HAS SOPS 5466715 HAS SOUS 2519478 HAS SOUPS 2502813 WITH SCORE 2508310.038
AT ITER 1133 NEW BEST:: SOT 6277251 SOS 5496677 HAS SOPS 5466354 HAS SOUS 2519117 HAS SOUPS 2502452 WITH SCORE 2507948.677
AT ITER 1140 NEW BEST:: SOT 6277188 SOS 5488604 HAS SOPS 5458879 HAS SOUS 2518494 HAS SOUPS 2501712 WITH SCORE 2507200.604
AT ITER 1175 NEW BEST:: SOT 6277188 SOS 5488604 HAS SOPS 5458879 HAS SOUS 2518468 HAS SOUPS 2501686 WITH SCORE 2507174.604
AT ITER 1180 NEW BEST:: SOT 6277188 SOS 5488604 HAS SOPS 5458879 HAS SOUS 2518450 HAS SOUPS 2501668 WITH SCORE 2507156.604
AT ITER 1201 NEW BEST:: SOT 6277104 SOS 5488538 HAS SOPS 5458795 HAS SOUS 2517776 HAS SOUPS 2500976 WITH SCORE 2506464.538
AT ITER 1206 NEW BEST:: SOT 6277104 SOS 5488538 HAS SOPS 5458795 HAS SOUS 2517666 HAS SOUPS 2500866 WITH SCORE 2506354.538
AT ITER 1227 NEW BEST:: SOT 6282078 SOS 5481667 HAS SOPS 5458564 HAS SOUS 2487827 HAS SOUPS 2470101 WITH SCORE 2475582.667
AT ITER 1231 NEW BEST:: SOT 6281768 SOS 5481357 HAS SOPS 5458254 HAS SOUS 2487462 HAS SOUPS 2469736 WITH SCORE 2475217.357
AT ITER 1243 NEW BEST:: SOT 6279529 SOS 5479158 HAS SOPS 5456235 HAS SOUS 2484992 HAS SOUPS 2467446 WITH SCORE 2472925.158
AT ITER 1268 NEW BEST:: SOT 6278809 SOS 5478398 HAS SOPS 5455515 HAS SOUS 2483455 HAS SOUPS 2465949 WITH SCORE 2471427.398
AT ITER 1269 NEW BEST:: SOT 6267504 SOS 5467165 HAS SOPS 5443915 HAS SOUS 2483590 HAS SOUPS 2465730 WITH SCORE 2471197.165
AT ITER 1283 NEW BEST:: SOT 6267324 SOS 5466985 HAS SOPS 5443735 HAS SOUS 2483410 HAS SOUPS 2465550 WITH SCORE 2471016.985
AT ITER 1325 NEW BEST:: SOT 6267312 SOS 5467171 HAS SOPS 5443923 HAS SOUS 2482031 HAS SOUPS 2464171 WITH SCORE 2469638.171
AT ITER 1340 NEW BEST:: SOT 6267312 SOS 5512657 HAS SOPS 5490241 HAS SOUS 2481760 HAS SOUPS 2463974 WITH SCORE 2469486.657
AT ITER 1349 NEW BEST:: SOT 6267312 SOS 5516772 HAS SOPS 5493679 HAS SOUS 2477680 HAS SOUPS 2460003 WITH SCORE 2465519.772
AT ITER 1363 NEW BEST:: SOT 6267312 SOS 5517020 HAS SOPS 5493895 HAS SOUS 2477648 HAS SOUPS 2459971 WITH SCORE 2465488.02
AT ITER 1371 NEW BEST:: SOT 6267312 SOS 5517020 HAS SOPS 5493895 HAS SOUS 2477594 HAS SOUPS 2459917 WITH SCORE 2465434.02
AT ITER 1384 NEW BEST:: SOT 6267260 SOS 5516968 HAS SOPS 5493843 HAS SOUS 2476463 HAS SOUPS 2458786 WITH SCORE 2464302.968
AT ITER 1386 NEW BEST:: SOT 6266544 SOS 5516256 HAS SOPS 5493127 HAS SOUS 2475013 HAS SOUPS 2457332 WITH SCORE 2462848.256
AT ITER 1408 NEW BEST:: SOT 6259588 SOS 5509300 HAS SOPS 5486171 HAS SOUS 2467752 HAS SOUPS 2450071 WITH SCORE 2455580.3
AT ITER 1435 NEW BEST:: SOT 6259514 SOS 5509223 HAS SOPS 5486097 HAS SOUS 2466437 HAS SOUPS 2448759 WITH SCORE 2454268.223
AT ITER 1443 NEW BEST:: SOT 6259514 SOS 5508777 HAS SOPS 5485679 HAS SOUS 2465864 HAS SOUPS 2448186 WITH SCORE 2453694.777
AT ITER 1472 NEW BEST:: SOT 6259514 SOS 5508766 HAS SOPS 5485679 HAS SOUS 2465811 HAS SOUPS 2448133 WITH SCORE 2453641.766
AT ITER 1478 NEW BEST:: SOT 6259493 SOS 5508745 HAS SOPS 5485658 HAS SOUS 2465790 HAS SOUPS 2448112 WITH SCORE 2453620.745
AT ITER 1507 NEW BEST:: SOT 6259489 SOS 5508741 HAS SOPS 5485654 HAS SOUS 2465784 HAS SOUPS 2448106 WITH SCORE 2453614.741
AT ITER 1511 NEW BEST:: SOT 6259555 SOS 5508807 HAS SOPS 5485720 HAS SOUS 2465420 HAS SOUPS 2447742 WITH SCORE 2453250.807
AT ITER 1543 NEW BEST:: SOT 6259466 SOS 5508747 HAS SOPS 5485631 HAS SOUS 2464199 HAS SOUPS 2446492 WITH SCORE 2452000.747
AT ITER 1554 NEW BEST:: SOT 6259322 SOS 5508603 HAS SOPS 5485487 HAS SOUS 2463878 HAS SOUPS 2446171 WITH SCORE 2451679.603
AT ITER 1564 NEW BEST:: SOT 6258018 SOS 5507235 HAS SOPS 5484183 HAS SOUS 2461997 HAS SOUPS 2444354 WITH SCORE 2449861.235
AT ITER 1570 NEW BEST:: SOT 6255205 SOS 5505408 HAS SOPS 5482344 HAS SOUS 2458185 HAS SOUPS 2440632 WITH SCORE 2446137.408
AT ITER 1571 NEW BEST:: SOT 6254794 SOS 5504966 HAS SOPS 5481933 HAS SOUS 2457621 HAS SOUPS 2440099 WITH SCORE 2445603.966
AT ITER 1586 NEW BEST:: SOT 6253082 SOS 5503254 HAS SOPS 5480221 HAS SOUS 2455454 HAS SOUPS 2437932 WITH SCORE 2443435.254
AT ITER 1592 NEW BEST:: SOT 6252858 SOS 5503030 HAS SOPS 5479997 HAS SOUS 2455265 HAS SOUPS 2437743 WITH SCORE 2443246.03
AT ITER 1619 NEW BEST:: SOT 6248059 SOS 5497974 HAS SOPS 5475198 HAS SOUS 2439997 HAS SOUPS 2422732 WITH SCORE 2428229.974
AT ITER 1621 NEW BEST:: SOT 6262170 SOS 5513316 HAS SOPS 5491672 HAS SOUS 2438600 HAS SOUPS 2422355 WITH SCORE 2427868.316
AT ITER 1625 NEW BEST:: SOT 6261732 SOS 5512878 HAS SOPS 5491234 HAS SOUS 2438162 HAS SOUPS 2421917 WITH SCORE 2427429.878
AT ITER 1645 NEW BEST:: SOT 6260494 SOS 5511640 HAS SOPS 5489996 HAS SOUS 2436733 HAS SOUPS 2420488 WITH SCORE 2425999.64
AT ITER 1647 NEW BEST:: SOT 6260346 SOS 5511645 HAS SOPS 5490001 HAS SOUS 2436132 HAS SOUPS 2419887 WITH SCORE 2425398.645
AT ITER 1658 NEW BEST:: SOT 6259007 SOS 5510248 HAS SOPS 5488662 HAS SOUS 2436042 HAS SOUPS 2419855 WITH SCORE 2425365.248
AT ITER 1661 NEW BEST:: SOT 6258998 SOS 5510236 HAS SOPS 5488653 HAS SOUS 2436039 HAS SOUPS 2419855 WITH SCORE 2425365.236
AT ITER 1691 NEW BEST:: SOT 6258998 SOS 5503400 HAS SOPS 5481613 HAS SOUS 2435922 HAS SOUPS 2419728 WITH SCORE 2425231.4
AT ITER 1693 NEW BEST:: SOT 6258991 SOS 5503393 HAS SOPS 5481606 HAS SOUS 2435915 HAS SOUPS 2419721 WITH SCORE 2425224.393
AT ITER 1707 NEW BEST:: SOT 6250572 SOS 5494830 HAS SOPS 5473187 HAS SOUS 2425988 HAS SOUPS 2409938 WITH SCORE 2415432.83
AT ITER 1714 NEW BEST:: SOT 6255952 SOS 5499507 HAS SOPS 5477180 HAS SOUS 2407809 HAS SOUPS 2391075 WITH SCORE 2396574.507
AT ITER 1719 NEW BEST:: SOT 6255319 SOS 5498874 HAS SOPS 5476547 HAS SOUS 2406782 HAS SOUPS 2390048 WITH SCORE 2395546.874
AT ITER 1726 NEW BEST:: SOT 6255112 SOS 5498667 HAS SOPS 5476340 HAS SOUS 2406051 HAS SOUPS 2389317 WITH SCORE 2394815.667
AT ITER 1752 NEW BEST:: SOT 6254755 SOS 5498310 HAS SOPS 5475983 HAS SOUS 2405694 HAS SOUPS 2388960 WITH SCORE 2394458.31
AT ITER 1756 NEW BEST:: SOT 6253353 SOS 5496908 HAS SOPS 5474581 HAS SOUS 2403749 HAS SOUPS 2387015 WITH SCORE 2392511.908
AT ITER 1767 NEW BEST:: SOT 6253777 SOS 5497304 HAS SOPS 5474929 HAS SOUS 2402851 HAS SOUPS 2386069 WITH SCORE 2391566.304
AT ITER 1773 NEW BEST:: SOT 6253578 SOS 5497000 HAS SOPS 5474730 HAS SOUS 2398648 HAS SOUPS 2381971 WITH SCORE 2387468.0
AT ITER 1780 NEW BEST:: SOT 6253924 SOS 5497337 HAS SOPS 5475076 HAS SOUS 2397749 HAS SOUPS 2381081 WITH SCORE 2386578.337
AT ITER 1795 NEW BEST:: SOT 6253924 SOS 5497337 HAS SOPS 5475076 HAS SOUS 2397690 HAS SOUPS 2381022 WITH SCORE 2386519.337
AT ITER 1797 NEW BEST:: SOT 6253829 SOS 5497302 HAS SOPS 5474981 HAS SOUS 2397160 HAS SOUPS 2380432 WITH SCORE 2385929.302
AT ITER 1807 NEW BEST:: SOT 6291967 SOS 5532761 HAS SOPS 5508056 HAS SOUS 2387911 HAS SOUPS 2368799 WITH SCORE 2374331.761
AT ITER 1809 NEW BEST:: SOT 6291571 SOS 5532365 HAS SOPS 5507660 HAS SOUS 2387495 HAS SOUPS 2368383 WITH SCORE 2373915.365
AT ITER 1815 NEW BEST:: SOT 6287958 SOS 5528694 HAS SOPS 5504047 HAS SOUS 2384109 HAS SOUPS 2365055 WITH SCORE 2370583.694
AT ITER 1816 NEW BEST:: SOT 6286143 SOS 5526879 HAS SOPS 5502232 HAS SOUS 2381778 HAS SOUPS 2362724 WITH SCORE 2368250.879
AT ITER 1824 NEW BEST:: SOT 6286011 SOS 5526813 HAS SOPS 5502100 HAS SOUS 2377979 HAS SOUPS 2358859 WITH SCORE 2364385.813
AT ITER 1826 NEW BEST:: SOT 6286011 SOS 5526813 HAS SOPS 5502100 HAS SOUS 2377975 HAS SOUPS 2358855 WITH SCORE 2364381.813
AT ITER 1833 NEW BEST:: SOT 6285264 SOS 5526066 HAS SOPS 5501353 HAS SOUS 2376879 HAS SOUPS 2357759 WITH SCORE 2363285.066
AT ITER 1846 NEW BEST:: SOT 6285264 SOS 5522398 HAS SOPS 5497615 HAS SOUS 2376647 HAS SOUPS 2357527 WITH SCORE 2363049.398
AT ITER 1853 NEW BEST:: SOT 6286527 SOS 5523664 HAS SOPS 5498878 HAS SOUS 2375243 HAS SOUPS 2356120 WITH SCORE 2361643.664
AT ITER 1858 NEW BEST:: SOT 6285761 SOS 5522898 HAS SOPS 5498112 HAS SOUS 2374577 HAS SOUPS 2355454 WITH SCORE 2360976.898
AT ITER 1876 NEW BEST:: SOT 6285661 SOS 5522798 HAS SOPS 5498012 HAS SOUS 2374464 HAS SOUPS 2355341 WITH SCORE 2360863.798
AT ITER 1896 NEW BEST:: SOT 6285639 SOS 5522776 HAS SOPS 5497990 HAS SOUS 2374442 HAS SOUPS 2355319 WITH SCORE 2360841.776
AT ITER 1900 NEW BEST:: SOT 6285702 SOS 5522839 HAS SOPS 5498053 HAS SOUS 2374401 HAS SOUPS 2355278 WITH SCORE 2360800.839
AT ITER 1930 NEW BEST:: SOT 6285101 SOS 5522217 HAS SOPS 5497452 HAS SOUS 2373509 HAS SOUPS 2354407 WITH SCORE 2359929.217
AT ITER 1937 NEW BEST:: SOT 6284785 SOS 5521901 HAS SOPS 5497136 HAS SOUS 2373230 HAS SOUPS 2354128 WITH SCORE 2359649.901
AT ITER 1956 NEW BEST:: SOT 6284393 SOS 5521509 HAS SOPS 5496744 HAS SOUS 2372710 HAS SOUPS 2353608 WITH SCORE 2359129.509
AT ITER 1998 NEW BEST:: SOT 6283292 SOS 5520408 HAS SOPS 5495643 HAS SOUS 2371165 HAS SOUPS 2352063 WITH SCORE 2357583.408
AT ITER 2006 NEW BEST:: SOT 6283206 SOS 5520316 HAS SOPS 5495557 HAS SOUS 2370927 HAS SOUPS 2351831 WITH SCORE 2357351.316
AT ITER 2035 NEW BEST:: SOT 6283082 SOS 5520192 HAS SOPS 5495433 HAS SOUS 2370781 HAS SOUPS 2351685 WITH SCORE 2357205.192
AT ITER 2069 NEW BEST:: SOT 6283082 SOS 5520192 HAS SOPS 5495433 HAS SOUS 2370771 HAS SOUPS 2351675 WITH SCORE 2357195.192
AT ITER 2075 NEW BEST:: SOT 6283022 SOS 5520132 HAS SOPS 5495373 HAS SOUS 2370711 HAS SOUPS 2351615 WITH SCORE 2357135.132
AT ITER 2079 NEW BEST:: SOT 6283025 SOS 5520136 HAS SOPS 5495376 HAS SOUS 2370691 HAS SOUPS 2351594 WITH SCORE 2357114.136
AT ITER 2088 NEW BEST:: SOT 6282147 SOS 5519294 HAS SOPS 5494574 HAS SOUS 2370306 HAS SOUPS 2351249 WITH SCORE 2356768.294
AT ITER 2100 NEW BEST:: SOT 6282154 SOS 5519301 HAS SOPS 5494581 HAS SOUS 2370289 HAS SOUPS 2351232 WITH SCORE 2356751.301
AT ITER 2106 NEW BEST:: SOT 6282154 SOS 5519301 HAS SOPS 5494581 HAS SOUS 2370181 HAS SOUPS 2351124 WITH SCORE 2356643.301
AT ITER 2108 NEW BEST:: SOT 6278201 SOS 5515720 HAS SOPS 5491236 HAS SOUS 2367075 HAS SOUPS 2348254 WITH SCORE 2353769.72
AT ITER 2130 NEW BEST:: SOT 6278021 SOS 5515540 HAS SOPS 5491056 HAS SOUS 2366814 HAS SOUPS 2347993 WITH SCORE 2353508.54
AT ITER 2131 NEW BEST:: SOT 6278021 SOS 5515540 HAS SOPS 5491056 HAS SOUS 2366796 HAS SOUPS 2347975 WITH SCORE 2353490.54
AT ITER 2146 NEW BEST:: SOT 6278021 SOS 5515547 HAS SOPS 5491056 HAS SOUS 2366718 HAS SOUPS 2347890 WITH SCORE 2353405.547
AT ITER 2161 NEW BEST:: SOT 6277961 SOS 5515487 HAS SOPS 5490996 HAS SOUS 2366658 HAS SOUPS 2347830 WITH SCORE 2353345.487
AT ITER 2168 NEW BEST:: SOT 6277961 SOS 5540064 HAS SOPS 5516128 HAS SOUS 2366185 HAS SOUPS 2347411 WITH SCORE 2352951.064
AT ITER 2173 NEW BEST:: SOT 6270847 SOS 5532986 HAS SOPS 5509014 HAS SOUS 2360876 HAS SOUPS 2342066 WITH SCORE 2347598.986
AT ITER 2192 NEW BEST:: SOT 6270506 SOS 5532645 HAS SOPS 5508673 HAS SOUS 2360535 HAS SOUPS 2341725 WITH SCORE 2347257.645
AT ITER 2196 NEW BEST:: SOT 6270506 SOS 5532645 HAS SOPS 5508673 HAS SOUS 2360271 HAS SOUPS 2341461 WITH SCORE 2346993.645
AT ITER 2202 NEW BEST:: SOT 6272753 SOS 5534059 HAS SOPS 5509520 HAS SOUS 2354410 HAS SOUPS 2335033 WITH SCORE 2340567.059
AT ITER 2227 NEW BEST:: SOT 6272150 SOS 5533451 HAS SOPS 5508917 HAS SOUS 2353993 HAS SOUPS 2334621 WITH SCORE 2340154.451
AT ITER 2231 NEW BEST:: SOT 6269883 SOS 5531101 HAS SOPS 5506650 HAS SOUS 2351000 HAS SOUPS 2331711 WITH SCORE 2337242.101
AT ITER 2267 NEW BEST:: SOT 6269379 SOS 5530597 HAS SOPS 5506146 HAS SOUS 2350496 HAS SOUPS 2331207 WITH SCORE 2336737.597
AT ITER 2268 NEW BEST:: SOT 6269379 SOS 5550593 HAS SOPS 5526893 HAS SOUS 2350152 HAS SOUPS 2330908 WITH SCORE 2336458.593
AT ITER 2283 NEW BEST:: SOT 6269335 SOS 5550549 HAS SOPS 5526849 HAS SOUS 2350099 HAS SOUPS 2330855 WITH SCORE 2336405.549
AT ITER 2295 NEW BEST:: SOT 6268987 SOS 5550201 HAS SOPS 5526501 HAS SOUS 2349555 HAS SOUPS 2330311 WITH SCORE 2335861.201
AT ITER 2303 NEW BEST:: SOT 6268960 SOS 5550174 HAS SOPS 5526474 HAS SOUS 2349489 HAS SOUPS 2330245 WITH SCORE 2335795.174
AT ITER 2325 NEW BEST:: SOT 6269089 SOS 5550509 HAS SOPS 5526795 HAS SOUS 2349267 HAS SOUPS 2330023 WITH SCORE 2335573.509
AT ITER 2345 NEW BEST:: SOT 6268700 SOS 5550092 HAS SOPS 5526406 HAS SOUS 2349108 HAS SOUPS 2329892 WITH SCORE 2335442.092
AT ITER 2365 NEW BEST:: SOT 6268700 SOS 5550092 HAS SOPS 5526406 HAS SOUS 2349062 HAS SOUPS 2329846 WITH SCORE 2335396.092
AT ITER 2373 NEW BEST:: SOT 6268022 SOS 5548463 HAS SOPS 5524806 HAS SOUS 2347384 HAS SOUPS 2328168 WITH SCORE 2333716.463
AT ITER 2376 NEW BEST:: SOT 6267356 SOS 5547763 HAS SOPS 5524140 HAS SOUS 2346971 HAS SOUPS 2327789 WITH SCORE 2333336.763
AT ITER 2379 NEW BEST:: SOT 6267329 SOS 5547736 HAS SOPS 5524113 HAS SOUS 2346720 HAS SOUPS 2327538 WITH SCORE 2333085.736
AT ITER 2391 NEW BEST:: SOT 6266419 SOS 5546826 HAS SOPS 5523203 HAS SOUS 2345534 HAS SOUPS 2326352 WITH SCORE 2331898.826
AT ITER 2410 NEW BEST:: SOT 6272287 SOS 5552539 HAS SOPS 5528463 HAS SOUS 2343055 HAS SOUPS 2323420 WITH SCORE 2328972.539
AT ITER 2448 NEW BEST:: SOT 6272287 SOS 5553705 HAS SOPS 5529607 HAS SOUS 2342895 HAS SOUPS 2323260 WITH SCORE 2328813.705
AT ITER 2452 NEW BEST:: SOT 6272287 SOS 5542113 HAS SOPS 5517609 HAS SOUS 2341948 HAS SOUPS 2322313 WITH SCORE 2327855.113
AT ITER 2473 NEW BEST:: SOT 6272107 SOS 5541933 HAS SOPS 5517429 HAS SOUS 2341762 HAS SOUPS 2322127 WITH SCORE 2327668.933
AT ITER 2498 NEW BEST:: SOT 6270245 SOS 5540071 HAS SOPS 5515567 HAS SOUS 2339963 HAS SOUPS 2320328 WITH SCORE 2325868.071
AT ITER 2514 NEW BEST:: SOT 6270221 SOS 5540047 HAS SOPS 5515543 HAS SOUS 2339906 HAS SOUPS 2320271 WITH SCORE 2325811.047
AT ITER 2518 NEW BEST:: SOT 6270176 SOS 5540002 HAS SOPS 5515498 HAS SOUS 2339807 HAS SOUPS 2320172 WITH SCORE 2325712.002
AT ITER 2524 NEW BEST:: SOT 6270869 SOS 5540603 HAS SOPS 5516191 HAS SOUS 2338695 HAS SOUPS 2319152 WITH SCORE 2324692.603
AT ITER 2584 NEW BEST:: SOT 6270416 SOS 5540192 HAS SOPS 5515738 HAS SOUS 2337513 HAS SOUPS 2317928 WITH SCORE 2323468.192
AT ITER 2585 NEW BEST:: SOT 6270416 SOS 5540335 HAS SOPS 5515881 HAS SOUS 2337506 HAS SOUPS 2317921 WITH SCORE 2323461.335
AT ITER 2617 NEW BEST:: SOT 6270318 SOS 5540237 HAS SOPS 5515783 HAS SOUS 2337282 HAS SOUPS 2317697 WITH SCORE 2323237.237
AT ITER 2626 NEW BEST:: SOT 6270318 SOS 5540237 HAS SOPS 5515783 HAS SOUS 2337266 HAS SOUPS 2317681 WITH SCORE 2323221.237
AT ITER 2632 NEW BEST:: SOT 6271601 SOS 5541371 HAS SOPS 5516762 HAS SOUS 2334901 HAS SOUPS 2315161 WITH SCORE 2320702.371
AT ITER 2647 NEW BEST:: SOT 6275313 SOS 5544915 HAS SOPS 5520018 HAS SOUS 2332125 HAS SOUPS 2312097 WITH SCORE 2317641.915
AT ITER 2725 NEW BEST:: SOT 6278568 SOS 5547576 HAS SOPS 5522273 HAS SOUS 2325589 HAS SOUPS 2305155 WITH SCORE 2310702.576
AT ITER 2726 NEW BEST:: SOT 6278446 SOS 5547459 HAS SOPS 5522151 HAS SOUS 2324762 HAS SOUPS 2304323 WITH SCORE 2309870.459
AT ITER 2757 NEW BEST:: SOT 6278422 SOS 5547434 HAS SOPS 5522127 HAS SOUS 2324734 HAS SOUPS 2304296 WITH SCORE 2309843.434
AT ITER 2766 NEW BEST:: SOT 6276910 SOS 5545922 HAS SOPS 5520615 HAS SOUS 2323200 HAS SOUPS 2302762 WITH SCORE 2308307.922
AT ITER 2786 NEW BEST:: SOT 6276160 SOS 5545058 HAS SOPS 5519751 HAS SOUS 2322451 HAS SOUPS 2302013 WITH SCORE 2307558.058
AT ITER 2798 NEW BEST:: SOT 6276141 SOS 5545039 HAS SOPS 5519732 HAS SOUS 2322447 HAS SOUPS 2302009 WITH SCORE 2307554.039
AT ITER 2807 NEW BEST:: SOT 6276170 SOS 5545072 HAS SOPS 5519761 HAS SOUS 2322281 HAS SOUPS 2301839 WITH SCORE 2307384.072
AT ITER 2815 NEW BEST:: SOT 6276167 SOS 5545077 HAS SOPS 5519758 HAS SOUS 2322270 HAS SOUPS 2301820 WITH SCORE 2307365.077
AT ITER 2820 NEW BEST:: SOT 6276167 SOS 5545077 HAS SOPS 5519758 HAS SOUS 2321380 HAS SOUPS 2300930 WITH SCORE 2306475.077
AT ITER 2823 NEW BEST:: SOT 6276059 SOS 5544969 HAS SOPS 5519650 HAS SOUS 2321272 HAS SOUPS 2300822 WITH SCORE 2306366.969
AT ITER 2830 NEW BEST:: SOT 6274649 SOS 5543496 HAS SOPS 5518240 HAS SOUS 2319705 HAS SOUPS 2299318 WITH SCORE 2304861.496
AT ITER 2834 NEW BEST:: SOT 6272006 SOS 5538751 HAS SOPS 5513527 HAS SOUS 2317420 HAS SOUPS 2297134 WITH SCORE 2302672.751
AT ITER 2901 NEW BEST:: SOT 6271102 SOS 5537818 HAS SOPS 5512623 HAS SOUS 2316077 HAS SOUPS 2295820 WITH SCORE 2301357.818
AT ITER 2908 NEW BEST:: SOT 6271102 SOS 5537818 HAS SOPS 5512623 HAS SOUS 2315995 HAS SOUPS 2295738 WITH SCORE 2301275.818
AT ITER 2914 NEW BEST:: SOT 6270936 SOS 5537652 HAS SOPS 5512457 HAS SOUS 2315811 HAS SOUPS 2295554 WITH SCORE 2301091.652
AT ITER 2925 NEW BEST:: SOT 6270875 SOS 5537590 HAS SOPS 5512396 HAS SOUS 2315727 HAS SOUPS 2295471 WITH SCORE 2301008.59
AT ITER 2930 NEW BEST:: SOT 6270843 SOS 5537558 HAS SOPS 5512364 HAS SOUS 2315690 HAS SOUPS 2295434 WITH SCORE 2300971.558
AT ITER 2939 NEW BEST:: SOT 6296463 SOS 5561931 HAS SOPS 5534764 HAS SOUS 2303590 HAS SOUPS 2281361 WITH SCORE 2286922.931
AT ITER 2946 NEW BEST:: SOT 6295764 SOS 5561207 HAS SOPS 5534065 HAS SOUS 2303165 HAS SOUPS 2280961 WITH SCORE 2286522.207
AT ITER 2948 NEW BEST:: SOT 6297226 SOS 5562609 HAS SOPS 5535337 HAS SOUS 2300898 HAS SOUPS 2278564 WITH SCORE 2284126.609
AT ITER 2949 NEW BEST:: SOT 6297202 SOS 5562585 HAS SOPS 5535313 HAS SOUS 2300884 HAS SOUPS 2278550 WITH SCORE 2284112.585
AT ITER 2974 NEW BEST:: SOT 6295439 SOS 5560822 HAS SOPS 5533550 HAS SOUS 2299155 HAS SOUPS 2276821 WITH SCORE 2282381.822
AT ITER 3001 NEW BEST:: SOT 6295439 SOS 5560951 HAS SOPS 5533701 HAS SOUS 2298696 HAS SOUPS 2276373 WITH SCORE 2281933.951
AT ITER 3011 NEW BEST:: SOT 6293558 SOS 5559018 HAS SOPS 5531820 HAS SOUS 2296325 HAS SOUPS 2274054 WITH SCORE 2279613.018
AT ITER 3043 NEW BEST:: SOT 6293528 SOS 5558988 HAS SOPS 5531790 HAS SOUS 2296295 HAS SOUPS 2274024 WITH SCORE 2279582.988
AT ITER 3053 NEW BEST:: SOT 6292607 SOS 5558127 HAS SOPS 5530905 HAS SOUS 2293892 HAS SOUPS 2271621 WITH SCORE 2277179.127
AT ITER 3057 NEW BEST:: SOT 6292152 SOS 5557694 HAS SOPS 5530450 HAS SOUS 2292343 HAS SOUPS 2270050 WITH SCORE 2275607.694
AT ITER 3058 NEW BEST:: SOT 6292112 SOS 5557654 HAS SOPS 5530410 HAS SOUS 2292303 HAS SOUPS 2270010 WITH SCORE 2275567.654
AT ITER 3062 NEW BEST:: SOT 6291442 SOS 5556984 HAS SOPS 5529740 HAS SOUS 2291938 HAS SOUPS 2269645 WITH SCORE 2275201.984
AT ITER 3095 NEW BEST:: SOT 6291442 SOS 5557098 HAS SOPS 5529740 HAS SOUS 2291824 HAS SOUPS 2269531 WITH SCORE 2275088.098
AT ITER 3099 NEW BEST:: SOT 6291480 SOS 5557089 HAS SOPS 5529778 HAS SOUS 2291311 HAS SOUPS 2269056 WITH SCORE 2274613.089
AT ITER 3121 NEW BEST:: SOT 6290962 SOS 5556571 HAS SOPS 5529260 HAS SOUS 2291218 HAS SOUPS 2268963 WITH SCORE 2274519.571
AT ITER 3150 NEW BEST:: SOT 6290947 SOS 5556565 HAS SOPS 5529245 HAS SOUS 2290090 HAS SOUPS 2267826 WITH SCORE 2273382.565
AT ITER 3184 NEW BEST:: SOT 6289626 SOS 5555203 HAS SOPS 5527924 HAS SOUS 2289771 HAS SOUPS 2267548 WITH SCORE 2273103.203
AT ITER 3188 NEW BEST:: SOT 6280396 SOS 5546064 HAS SOPS 5519017 HAS SOUS 2281202 HAS SOUPS 2259211 WITH SCORE 2264757.064
AT ITER 3195 NEW BEST:: SOT 6273902 SOS 5539394 HAS SOPS 5512523 HAS SOUS 2270303 HAS SOUPS 2248488 WITH SCORE 2254027.394
AT ITER 3234 NEW BEST:: SOT 6268817 SOS 5534309 HAS SOPS 5507438 HAS SOUS 2265303 HAS SOUPS 2243488 WITH SCORE 2249022.309
AT ITER 3241 NEW BEST:: SOT 6277322 SOS 5542293 HAS SOPS 5514765 HAS SOUS 2259857 HAS SOUPS 2237385 WITH SCORE 2242927.293
AT ITER 3246 NEW BEST:: SOT 6277092 SOS 5542053 HAS SOPS 5514535 HAS SOUS 2259686 HAS SOUPS 2237224 WITH SCORE 2242766.053
AT ITER 3248 NEW BEST:: SOT 6276849 SOS 5541810 HAS SOPS 5514292 HAS SOUS 2259443 HAS SOUPS 2236981 WITH SCORE 2242522.81
AT ITER 3252 NEW BEST:: SOT 6276755 SOS 5541716 HAS SOPS 5514198 HAS SOUS 2259287 HAS SOUPS 2236825 WITH SCORE 2242366.716
AT ITER 3268 NEW BEST:: SOT 6276747 SOS 5541711 HAS SOPS 5514190 HAS SOUS 2258837 HAS SOUPS 2236372 WITH SCORE 2241913.711
AT ITER 3269 NEW BEST:: SOT 6276747 SOS 5537360 HAS SOPS 5509627 HAS SOUS 2258516 HAS SOUPS 2236051 WITH SCORE 2241588.36
AT ITER 3277 NEW BEST:: SOT 6275454 SOS 5536112 HAS SOPS 5508429 HAS SOUS 2257500 HAS SOUPS 2235085 WITH SCORE 2240621.112
AT ITER 3285 NEW BEST:: SOT 6275462 SOS 5536120 HAS SOPS 5508437 HAS SOUS 2257376 HAS SOUPS 2234961 WITH SCORE 2240497.12
AT ITER 3296 NEW BEST:: SOT 6275401 SOS 5536059 HAS SOPS 5508376 HAS SOUS 2257016 HAS SOUPS 2234601 WITH SCORE 2240137.059
AT ITER 3301 NEW BEST:: SOT 6267088 SOS 5527467 HAS SOPS 5500063 HAS SOUS 2251713 HAS SOUPS 2229577 WITH SCORE 2235104.467
AT ITER 3307 NEW BEST:: SOT 6261517 SOS 5521896 HAS SOPS 5494492 HAS SOUS 2246213 HAS SOUPS 2224077 WITH SCORE 2229598.896
AT ITER 3311 NEW BEST:: SOT 6261701 SOS 5522026 HAS SOPS 5494596 HAS SOUS 2246066 HAS SOUPS 2223904 WITH SCORE 2229426.026
AT ITER 3330 NEW BEST:: SOT 6261686 SOS 5522017 HAS SOPS 5494581 HAS SOUS 2245883 HAS SOUPS 2223715 WITH SCORE 2229237.017
AT ITER 3345 NEW BEST:: SOT 6268652 SOS 5528671 HAS SOPS 5500502 HAS SOUS 2234070 HAS SOUPS 2211169 WITH SCORE 2216697.671
AT ITER 3363 NEW BEST:: SOT 6266644 SOS 5526648 HAS SOPS 5498494 HAS SOUS 2230585 HAS SOUPS 2207699 WITH SCORE 2213225.648
AT ITER 3386 NEW BEST:: SOT 6266598 SOS 5526601 HAS SOPS 5498448 HAS SOUS 2230519 HAS SOUPS 2207634 WITH SCORE 2213160.601
AT ITER 3394 NEW BEST:: SOT 6265703 SOS 5524607 HAS SOPS 5496427 HAS SOUS 2229455 HAS SOUPS 2206570 WITH SCORE 2212094.607
AT ITER 3409 NEW BEST:: SOT 6265296 SOS 5524193 HAS SOPS 5496020 HAS SOUS 2228730 HAS SOUPS 2205852 WITH SCORE 2211376.193
AT ITER 3448 NEW BEST:: SOT 6264295 SOS 5523147 HAS SOPS 5495019 HAS SOUS 2227815 HAS SOUPS 2204982 WITH SCORE 2210505.147
AT ITER 3468 NEW BEST:: SOT 6263818 SOS 5522709 HAS SOPS 5494602 HAS SOUS 2227369 HAS SOUPS 2204557 WITH SCORE 2210079.709
AT ITER 3469 NEW BEST:: SOT 6263818 SOS 5522705 HAS SOPS 5494598 HAS SOUS 2227365 HAS SOUPS 2204553 WITH SCORE 2210075.705
AT ITER 3523 NEW BEST:: SOT 6263991 SOS 5522886 HAS SOPS 5494771 HAS SOUS 2227300 HAS SOUPS 2204480 WITH SCORE 2210002.886
AT ITER 3533 NEW BEST:: SOT 6263640 SOS 5522535 HAS SOPS 5494420 HAS SOUS 2226845 HAS SOUPS 2204025 WITH SCORE 2209547.535
AT ITER 3539 NEW BEST:: SOT 6263580 SOS 5522475 HAS SOPS 5494360 HAS SOUS 2226785 HAS SOUPS 2203965 WITH SCORE 2209487.475
AT ITER 3540 NEW BEST:: SOT 6263580 SOS 5522171 HAS SOPS 5494056 HAS SOUS 2226785 HAS SOUPS 2203965 WITH SCORE 2209487.171
AT ITER 3555 NEW BEST:: SOT 6263390 SOS 5521981 HAS SOPS 5493866 HAS SOUS 2226595 HAS SOUPS 2203775 WITH SCORE 2209296.981
AT ITER 3560 NEW BEST:: SOT 6263414 SOS 5522005 HAS SOPS 5493890 HAS SOUS 2226587 HAS SOUPS 2203767 WITH SCORE 2209289.005
AT ITER 3563 NEW BEST:: SOT 6263344 SOS 5521929 HAS SOPS 5493820 HAS SOUS 2226497 HAS SOUPS 2203683 WITH SCORE 2209204.929
AT ITER 3582 NEW BEST:: SOT 6262968 SOS 5521553 HAS SOPS 5493444 HAS SOUS 2225029 HAS SOUPS 2202215 WITH SCORE 2207736.553
AT ITER 3593 NEW BEST:: SOT 6262874 SOS 5521585 HAS SOPS 5493350 HAS SOUS 2220652 HAS SOUPS 2197712 WITH SCORE 2203233.585
AT ITER 3599 NEW BEST:: SOT 6262743 SOS 5521454 HAS SOPS 5493219 HAS SOUS 2220424 HAS SOUPS 2197484 WITH SCORE 2203005.454
AT ITER 3602 NEW BEST:: SOT 6262743 SOS 5512926 HAS SOPS 5484691 HAS SOUS 2220401 HAS SOUPS 2197461 WITH SCORE 2202973.926
AT ITER 3629 NEW BEST:: SOT 6262743 SOS 5512926 HAS SOPS 5484691 HAS SOUS 2220351 HAS SOUPS 2197411 WITH SCORE 2202923.926
AT ITER 3632 NEW BEST:: SOT 6262695 SOS 5514570 HAS SOPS 5486339 HAS SOUS 2219921 HAS SOUPS 2196981 WITH SCORE 2202495.57
AT ITER 3666 NEW BEST:: SOT 6261889 SOS 5513764 HAS SOPS 5485533 HAS SOUS 2218620 HAS SOUPS 2195680 WITH SCORE 2201193.764
AT ITER 3688 NEW BEST:: SOT 6261566 SOS 5513521 HAS SOPS 5485210 HAS SOUS 2213994 HAS SOUPS 2190974 WITH SCORE 2196487.521
AT ITER 3700 NEW BEST:: SOT 6259857 SOS 5511770 HAS SOPS 5483501 HAS SOUS 2212379 HAS SOUPS 2189401 WITH SCORE 2194912.77
AT ITER 3716 NEW BEST:: SOT 6259747 SOS 5511660 HAS SOPS 5483391 HAS SOUS 2212247 HAS SOUPS 2189269 WITH SCORE 2194780.66
AT ITER 3733 NEW BEST:: SOT 6259732 SOS 5511645 HAS SOPS 5483376 HAS SOUS 2212209 HAS SOUPS 2189231 WITH SCORE 2194742.645
AT ITER 3736 NEW BEST:: SOT 6259687 SOS 5511600 HAS SOPS 5483331 HAS SOUS 2212169 HAS SOUPS 2189191 WITH SCORE 2194702.6
AT ITER 3762 NEW BEST:: SOT 6259309 SOS 5511214 HAS SOPS 5482953 HAS SOUS 2211740 HAS SOUPS 2188770 WITH SCORE 2194281.214
AT ITER 3766 NEW BEST:: SOT 6258595 SOS 5510500 HAS SOPS 5482239 HAS SOUS 2210802 HAS SOUPS 2187832 WITH SCORE 2193342.5
AT ITER 3774 NEW BEST:: SOT 6258582 SOS 5510564 HAS SOPS 5482226 HAS SOUS 2210695 HAS SOUPS 2187648 WITH SCORE 2193158.564
AT ITER 3783 NEW BEST:: SOT 6254775 SOS 5506989 HAS SOPS 5478780 HAS SOUS 2207790 HAS SOUPS 2184872 WITH SCORE 2190378.989
AT ITER 3817 NEW BEST:: SOT 6254579 SOS 5506030 HAS SOPS 5477804 HAS SOUS 2207396 HAS SOUPS 2184478 WITH SCORE 2189984.03
AT ITER 3835 NEW BEST:: SOT 6254806 SOS 5506262 HAS SOPS 5478031 HAS SOUS 2206803 HAS SOUPS 2183880 WITH SCORE 2189386.262
AT ITER 3851 NEW BEST:: SOT 6254724 SOS 5506180 HAS SOPS 5477949 HAS SOUS 2206721 HAS SOUPS 2183798 WITH SCORE 2189304.18
AT ITER 3872 NEW BEST:: SOT 6254724 SOS 5506584 HAS SOPS 5478329 HAS SOUS 2206695 HAS SOUPS 2183772 WITH SCORE 2189278.584
AT ITER 3878 NEW BEST:: SOT 6254360 SOS 5506219 HAS SOPS 5477965 HAS SOUS 2206605 HAS SOUPS 2183683 WITH SCORE 2189189.219
AT ITER 3944 NEW BEST:: SOT 6254286 SOS 5506145 HAS SOPS 5477891 HAS SOUS 2206531 HAS SOUPS 2183609 WITH SCORE 2189115.145
AT ITER 3967 NEW BEST:: SOT 6254202 SOS 5507172 HAS SOPS 5478918 HAS SOUS 2206456 HAS SOUPS 2183534 WITH SCORE 2189041.172
AT ITER 3987 NEW BEST:: SOT 6254202 SOS 5507496 HAS SOPS 5479260 HAS SOUS 2205676 HAS SOUPS 2182772 WITH SCORE 2188279.496
AT ITER 4000 NEW BEST:: SOT 6253517 SOS 5507067 HAS SOPS 5478917 HAS SOUS 2205471 HAS SOUPS 2182653 WITH SCORE 2188160.067
AT ITER 4001 NEW BEST:: SOT 6252344 SOS 5505865 HAS SOPS 5477744 HAS SOUS 2204417 HAS SOUPS 2181628 WITH SCORE 2187133.865
AT ITER 4030 NEW BEST:: SOT 6248041 SOS 5501526 HAS SOPS 5473441 HAS SOUS 2198535 HAS SOUPS 2175782 WITH SCORE 2181283.526
AT ITER 4036 NEW BEST:: SOT 6248041 SOS 5501526 HAS SOPS 5473441 HAS SOUS 2198530 HAS SOUPS 2175777 WITH SCORE 2181278.526
AT ITER 4040 NEW BEST:: SOT 6247945 SOS 5501430 HAS SOPS 5473345 HAS SOUS 2198434 HAS SOUPS 2175681 WITH SCORE 2181182.43
AT ITER 4050 NEW BEST:: SOT 6247945 SOS 5501430 HAS SOPS 5473345 HAS SOUS 2198430 HAS SOUPS 2175677 WITH SCORE 2181178.43
AT ITER 4065 NEW BEST:: SOT 6247002 SOS 5500461 HAS SOPS 5472402 HAS SOUS 2197551 HAS SOUPS 2174824 WITH SCORE 2180324.461
AT ITER 4075 NEW BEST:: SOT 6247002 SOS 5500461 HAS SOPS 5472402 HAS SOUS 2197531 HAS SOUPS 2174804 WITH SCORE 2180304.461
AT ITER 4116 NEW BEST:: SOT 6247002 SOS 5500461 HAS SOPS 5472402 HAS SOUS 2197483 HAS SOUPS 2174756 WITH SCORE 2180256.461
AT ITER 4176 NEW BEST:: SOT 6247002 SOS 5498247 HAS SOPS 5470110 HAS SOUS 2197380 HAS SOUPS 2174653 WITH SCORE 2180151.247
AT ITER 4181 NEW BEST:: SOT 6246577 SOS 5497822 HAS SOPS 5469685 HAS SOUS 2196293 HAS SOUPS 2173566 WITH SCORE 2179063.822
AT ITER 4198 NEW BEST:: SOT 6246156 SOS 5497356 HAS SOPS 5469264 HAS SOUS 2195131 HAS SOUPS 2172449 WITH SCORE 2177946.356
AT ITER 4201 NEW BEST:: SOT 6245547 SOS 5496732 HAS SOPS 5468655 HAS SOUS 2194383 HAS SOUPS 2171716 WITH SCORE 2177212.732
AT ITER 4227 NEW BEST:: SOT 6245525 SOS 5496710 HAS SOPS 5468633 HAS SOUS 2194358 HAS SOUPS 2171691 WITH SCORE 2177187.71
AT ITER 4238 NEW BEST:: SOT 6245530 SOS 5496637 HAS SOPS 5468638 HAS SOUS 2194236 HAS SOUPS 2171647 WITH SCORE 2177143.637
AT ITER 4261 NEW BEST:: SOT 6245321 SOS 5496428 HAS SOPS 5468429 HAS SOUS 2194027 HAS SOUPS 2171438 WITH SCORE 2176934.428
AT ITER 4268 NEW BEST:: SOT 6244900 SOS 5496007 HAS SOPS 5468008 HAS SOUS 2193606 HAS SOUPS 2171017 WITH SCORE 2176513.007
AT ITER 4325 NEW BEST:: SOT 6244892 SOS 5495999 HAS SOPS 5468000 HAS SOUS 2193596 HAS SOUPS 2171007 WITH SCORE 2176502.999
AT ITER 4329 NEW BEST:: SOT 6244892 SOS 5495999 HAS SOPS 5468000 HAS SOUS 2193528 HAS SOUPS 2170939 WITH SCORE 2176434.999
AT ITER 4405 NEW BEST:: SOT 6244898 SOS 5496005 HAS SOPS 5468006 HAS SOUS 2193518 HAS SOUPS 2170929 WITH SCORE 2176425.005
AT ITER 4409 NEW BEST:: SOT 6243272 SOS 5494408 HAS SOPS 5466380 HAS SOUS 2188858 HAS SOUPS 2166240 WITH SCORE 2171734.408
AT ITER 4411 NEW BEST:: SOT 6243334 SOS 5494476 HAS SOPS 5466442 HAS SOUS 2188833 HAS SOUPS 2166209 WITH SCORE 2171703.476
AT ITER 4417 NEW BEST:: SOT 6243228 SOS 5494370 HAS SOPS 5466336 HAS SOUS 2188738 HAS SOUPS 2166114 WITH SCORE 2171608.37
AT ITER 4426 NEW BEST:: SOT 6243029 SOS 5494171 HAS SOPS 5466137 HAS SOUS 2188460 HAS SOUPS 2165836 WITH SCORE 2171330.171
AT ITER 4428 NEW BEST:: SOT 6242309 SOS 5493451 HAS SOPS 5465417 HAS SOUS 2187740 HAS SOUPS 2165116 WITH SCORE 2170609.451
AT ITER 4434 NEW BEST:: SOT 6242069 SOS 5493211 HAS SOPS 5465177 HAS SOUS 2187500 HAS SOUPS 2164876 WITH SCORE 2170369.211
AT ITER 4489 NEW BEST:: SOT 6238175 SOS 5489524 HAS SOPS 5461723 HAS SOUS 2186706 HAS SOUPS 2164315 WITH SCORE 2169804.524
AT ITER 4539 NEW BEST:: SOT 6238225 SOS 5489597 HAS SOPS 5461773 HAS SOUS 2186179 HAS SOUPS 2163765 WITH SCORE 2169254.597
AT ITER 4567 NEW BEST:: SOT 6238197 SOS 5489569 HAS SOPS 5461745 HAS SOUS 2186016 HAS SOUPS 2163602 WITH SCORE 2169091.569
AT ITER 4586 NEW BEST:: SOT 6238195 SOS 5489567 HAS SOPS 5461743 HAS SOUS 2186009 HAS SOUPS 2163595 WITH SCORE 2169084.567
AT ITER 4594 NEW BEST:: SOT 6238189 SOS 5489561 HAS SOPS 5461737 HAS SOUS 2185997 HAS SOUPS 2163583 WITH SCORE 2169072.561
AT ITER 4600 NEW BEST:: SOT 6238189 SOS 5503296 HAS SOPS 5476023 HAS SOUS 2185930 HAS SOUPS 2163544 WITH SCORE 2169047.296
AT ITER 4606 NEW BEST:: SOT 6237969 SOS 5503076 HAS SOPS 5475803 HAS SOUS 2185568 HAS SOUPS 2163182 WITH SCORE 2168685.076
AT ITER 4627 NEW BEST:: SOT 6237969 SOS 5503076 HAS SOPS 5475803 HAS SOUS 2185540 HAS SOUPS 2163154 WITH SCORE 2168657.076
AT ITER 4655 NEW BEST:: SOT 6237830 SOS 5502937 HAS SOPS 5475664 HAS SOUS 2185351 HAS SOUPS 2162965 WITH SCORE 2168467.937
AT ITER 4687 NEW BEST:: SOT 6237777 SOS 5502880 HAS SOPS 5475611 HAS SOUS 2185209 HAS SOUPS 2162827 WITH SCORE 2168329.88
AT ITER 4699 NEW BEST:: SOT 6237739 SOS 5502842 HAS SOPS 5475573 HAS SOUS 2185036 HAS SOUPS 2162654 WITH SCORE 2168156.842
AT ITER 4732 NEW BEST:: SOT 6236477 SOS 5501580 HAS SOPS 5474311 HAS SOUS 2182251 HAS SOUPS 2159869 WITH SCORE 2165370.58
AT ITER 4777 NEW BEST:: SOT 6236205 SOS 5501292 HAS SOPS 5474039 HAS SOUS 2182228 HAS SOUPS 2159862 WITH SCORE 2165363.292
AT ITER 4786 NEW BEST:: SOT 6233377 SOS 5498390 HAS SOPS 5471211 HAS SOUS 2178662 HAS SOUPS 2156370 WITH SCORE 2161868.39
AT ITER 4798 NEW BEST:: SOT 6233377 SOS 5497514 HAS SOPS 5470379 HAS SOUS 2178559 HAS SOUPS 2156267 WITH SCORE 2161764.514
AT ITER 4799 NEW BEST:: SOT 6234125 SOS 5496579 HAS SOPS 5468319 HAS SOUS 2179430 HAS SOUPS 2155832 WITH SCORE 2161328.579
AT ITER 4805 NEW BEST:: SOT 6233545 SOS 5495979 HAS SOPS 5467739 HAS SOUS 2178582 HAS SOUPS 2155004 WITH SCORE 2160499.979
AT ITER 4812 NEW BEST:: SOT 6233545 SOS 5503317 HAS SOPS 5475117 HAS SOUS 2178106 HAS SOUPS 2154544 WITH SCORE 2160047.317
AT ITER 4837 NEW BEST:: SOT 6233566 SOS 5503338 HAS SOPS 5475138 HAS SOUS 2178065 HAS SOUPS 2154503 WITH SCORE 2160006.338
AT ITER 4855 NEW BEST:: SOT 6233547 SOS 5503319 HAS SOPS 5475119 HAS SOUS 2177913 HAS SOUPS 2154351 WITH SCORE 2159854.319
AT ITER 4861 NEW BEST:: SOT 6233475 SOS 5503247 HAS SOPS 5475047 HAS SOUS 2177621 HAS SOUPS 2154059 WITH SCORE 2159562.247
AT ITER 4867 NEW BEST:: SOT 6232991 SOS 5503857 HAS SOPS 5475657 HAS SOUS 2176699 HAS SOUPS 2153137 WITH SCORE 2158640.857
AT ITER 4909 NEW BEST:: SOT 6232895 SOS 5503761 HAS SOPS 5475561 HAS SOUS 2176521 HAS SOUPS 2152959 WITH SCORE 2158462.761
AT ITER 4914 NEW BEST:: SOT 6232895 SOS 5505127 HAS SOPS 5476965 HAS SOUS 2176460 HAS SOUPS 2152902 WITH SCORE 2158407.127
AT ITER 4939 NEW BEST:: SOT 6232895 SOS 5505127 HAS SOPS 5476965 HAS SOUS 2176414 HAS SOUPS 2152856 WITH SCORE 2158361.127
AT ITER 4969 NEW BEST:: SOT 6232895 SOS 5505127 HAS SOPS 5476965 HAS SOUS 2176412 HAS SOUPS 2152854 WITH SCORE 2158359.127
CTL Cardinality file is: CTLCardinality.xml
READY TO PARSE. BS
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-00 (EF((! (EF(potential( (tk(P43) + tk(P73) + tk(P155) + tk(P157) + tk(P193) + tk(P213) + tk(P215) + tk(P264) + tk(P287) + tk(P305) + tk(P308) + tk(P349) + tk(P372) + tk(P373) + tk(P374) + tk(P404) + tk(P428) + tk(P444) + tk(P506) + tk(P509)) <= (tk(P36) + tk(P52) + tk(P65) + tk(P114) + tk(P152) + tk(P183) + tk(P191) + tk(P210) + tk(P274) + tk(P282) + tk(P283) + tk(P344) + tk(P356) + tk(P368) + tk(P386) + tk(P421) + tk(P435) + tk(P466) + tk(P477) + tk(P508)) ))))))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-01 ( (AF(( ( potential( (tk(P36) + tk(P52) + tk(P65) + tk(P114) + tk(P152) + tk(P183) + tk(P191) + tk(P210) + tk(P274) + tk(P282) + tk(P283) + tk(P344) + tk(P356) + tk(P368) + tk(P386) + tk(P421) + tk(P435) + tk(P466) + tk(P477) + tk(P508)) <= (tk(P1) + tk(P26) + tk(P45) + tk(P58) + tk(P88) + tk(P103) + tk(P130) + tk(P138) + tk(P188) + tk(P251) + tk(P296) + tk(P340) + tk(P341) + tk(P357) + tk(P391) + tk(P448) + tk(P462) + tk(P478) + tk(P483) + tk(P497)) ) | potential( ( 1 ) <= (tk(P36) + tk(P52) + tk(P65) + tk(P114) + tk(P152) + tk(P183) + tk(P191) + tk(P210) + tk(P274) + tk(P282) + tk(P283) + tk(P344) + tk(P356) + tk(P368) + tk(P386) + tk(P421) + tk(P435) + tk(P466) + tk(P477) + tk(P508)) ) ) | potential( ( 2 ) <= (tk(P43) + tk(P73) + tk(P155) + tk(P157) + tk(P193) + tk(P213) + tk(P215) + tk(P264) + tk(P287) + tk(P305) + tk(P308) + tk(P349) + tk(P372) + tk(P373) + tk(P374) + tk(P404) + tk(P428) + tk(P444) + tk(P506) + tk(P509)) ) ))) & ( (AU( potential( (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) <= (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) ),potential( ( 3 ) <= (tk(P32) + tk(P48) + tk(P57) + tk(P72) + tk(P127) + tk(P139) + tk(P141) + tk(P175) + tk(P186) + tk(P201) + tk(P214) + tk(P238) + tk(P245) + tk(P278) + tk(P314) + tk(P362) + tk(P382) + tk(P433) + tk(P487) + tk(P536)) ) )) | potential( ( 3 ) <= (tk(P36) + tk(P52) + tk(P65) + tk(P114) + tk(P152) + tk(P183) + tk(P191) + tk(P210) + tk(P274) + tk(P282) + tk(P283) + tk(P344) + tk(P356) + tk(P368) + tk(P386) + tk(P421) + tk(P435) + tk(P466) + tk(P477) + tk(P508)) ) ) )
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-02 (EF((AX( ( potential( ( 2 ) <= (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) ) & potential( ( 3 ) <= (tk(P30) + tk(P35) + tk(P63) + tk(P90) + tk(P92) + tk(P116) + tk(P131) + tk(P148) + tk(P169) + tk(P246) + tk(P260) + tk(P293) + tk(P332) + tk(P346) + tk(P360) + tk(P377) + tk(P394) + tk(P424) + tk(P469) + tk(P470)) ) )))))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-03 (AF(( ( (! potential( (tk(P43) + tk(P73) + tk(P155) + tk(P157) + tk(P193) + tk(P213) + tk(P215) + tk(P264) + tk(P287) + tk(P305) + tk(P308) + tk(P349) + tk(P372) + tk(P373) + tk(P374) + tk(P404) + tk(P428) + tk(P444) + tk(P506) + tk(P509)) <= (tk(P34) + tk(P59) + tk(P95) + tk(P120) + tk(P122) + tk(P161) + tk(P174) + tk(P178) + tk(P259) + tk(P269) + tk(P292) + tk(P324) + tk(P380) + tk(P430) + tk(P440) + tk(P452) + tk(P465) + tk(P476) + tk(P490) + tk(P498)) )) | (! potential( ( 1 ) <= (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) )) ) & ( potential( (tk(P32) + tk(P48) + tk(P57) + tk(P72) + tk(P127) + tk(P139) + tk(P141) + tk(P175) + tk(P186) + tk(P201) + tk(P214) + tk(P238) + tk(P245) + tk(P278) + tk(P314) + tk(P362) + tk(P382) + tk(P433) + tk(P487) + tk(P536)) <= (tk(P32) + tk(P48) + tk(P57) + tk(P72) + tk(P127) + tk(P139) + tk(P141) + tk(P175) + tk(P186) + tk(P201) + tk(P214) + tk(P238) + tk(P245) + tk(P278) + tk(P314) + tk(P362) + tk(P382) + tk(P433) + tk(P487) + tk(P536)) ) & (! potential( (tk(P32) + tk(P48) + tk(P57) + tk(P72) + tk(P127) + tk(P139) + tk(P141) + tk(P175) + tk(P186) + tk(P201) + tk(P214) + tk(P238) + tk(P245) + tk(P278) + tk(P314) + tk(P362) + tk(P382) + tk(P433) + tk(P487) + tk(P536)) <= (tk(P30) + tk(P35) + tk(P63) + tk(P90) + tk(P92) + tk(P116) + tk(P131) + tk(P148) + tk(P169) + tk(P246) + tk(P260) + tk(P293) + tk(P332) + tk(P346) + tk(P360) + tk(P377) + tk(P394) + tk(P424) + tk(P469) + tk(P470)) )) ) )))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-04 (EG( (! (AG( potential( ( 3 ) <= (tk(P43) + tk(P73) + tk(P155) + tk(P157) + tk(P193) + tk(P213) + tk(P215) + tk(P264) + tk(P287) + tk(P305) + tk(P308) + tk(P349) + tk(P372) + tk(P373) + tk(P374) + tk(P404) + tk(P428) + tk(P444) + tk(P506) + tk(P509)) ))))))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-05 (EU( ( potential( (tk(P36) + tk(P52) + tk(P65) + tk(P114) + tk(P152) + tk(P183) + tk(P191) + tk(P210) + tk(P274) + tk(P282) + tk(P283) + tk(P344) + tk(P356) + tk(P368) + tk(P386) + tk(P421) + tk(P435) + tk(P466) + tk(P477) + tk(P508)) <= (tk(P1) + tk(P26) + tk(P45) + tk(P58) + tk(P88) + tk(P103) + tk(P130) + tk(P138) + tk(P188) + tk(P251) + tk(P296) + tk(P340) + tk(P341) + tk(P357) + tk(P391) + tk(P448) + tk(P462) + tk(P478) + tk(P483) + tk(P497)) ) & potential( ( 2 ) <= (tk(P30) + tk(P35) + tk(P63) + tk(P90) + tk(P92) + tk(P116) + tk(P131) + tk(P148) + tk(P169) + tk(P246) + tk(P260) + tk(P293) + tk(P332) + tk(P346) + tk(P360) + tk(P377) + tk(P394) + tk(P424) + tk(P469) + tk(P470)) ) ),(EG( potential( (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) <= (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) ))) ))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-06 (EF((AF((! potential( (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) <= (tk(P5) + tk(P47) + tk(P77) + tk(P98) + tk(P151) + tk(P160) + tk(P171) + tk(P185) + tk(P219) + tk(P262) + tk(P276) + tk(P309) + tk(P320) + tk(P326) + tk(P354) + tk(P363) + tk(P395) + tk(P463) + tk(P521) + tk(P524)) ))))))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-07 (EF(potential( (tk(P43) + tk(P73) + tk(P155) + tk(P157) + tk(P193) + tk(P213) + tk(P215) + tk(P264) + tk(P287) + tk(P305) + tk(P308) + tk(P349) + tk(P372) + tk(P373) + tk(P374) + tk(P404) + tk(P428) + tk(P444) + tk(P506) + tk(P509)) <= (tk(P36) + tk(P52) + tk(P65) + tk(P114) + tk(P152) + tk(P183) + tk(P191) + tk(P210) + tk(P274) + tk(P282) + tk(P283) + tk(P344) + tk(P356) + tk(P368) + tk(P386) + tk(P421) + tk(P435) + tk(P466) + tk(P477) + tk(P508)) )))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-08 (AF(( (! ( potential( (tk(P276)) <= (tk(P167)) ) & potential( ( 2 ) <= (tk(P152)) ) )) & (AF(potential( ( 1 ) <= (tk(P206)) ))) )))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-09 ( potential( ( 1 ) <= (tk(P290)) ) | (EF((EX( potential( ( 3 ) <= (tk(P279)) ))))) )
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-10 (AF(( (! ( potential( (tk(P423)) <= (tk(P535)) ) & potential( (tk(P53)) <= (tk(P282)) ) )) | (AG( potential( ( 1 ) <= (tk(P135)) ))) )))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-11 (EG( (! (! ( potential( (tk(P226)) <= (tk(P82)) ) | potential( (tk(P239)) <= (tk(P321)) ) )))))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-12 (EF(( ( ( potential( ( 3 ) <= (tk(P496)) ) | potential( (tk(P93)) <= (tk(P113)) ) ) & ( potential( (tk(P233)) <= (tk(P356)) ) & potential( ( 2 ) <= (tk(P85)) ) ) ) | (AX( potential( ( 2 ) <= (tk(P321)) ))) )))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-13 (AG( (AU( potential( (tk(P48)) <= (tk(P478)) ),potential( ( 1 ) <= (tk(P70)) ) ))))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-14 (AF((! ( ( potential( (tk(P83)) <= (tk(P168)) ) | potential( ( 3 ) <= (tk(P119)) ) ) | ( potential( (tk(P472)) <= (tk(P169)) ) & potential( (tk(P13)) <= (tk(P17)) ) ) ))))
PROPERTY: PhilosophersDyn-PT-20-CTLCardinality-15 (AX( ( (EF(potential( (tk(P37)) <= (tk(P402)) ))) & (! ( potential( ( 3 ) <= (tk(P196)) ) & potential( ( 1 ) <= (tk(P441)) ) )) )))

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="PhilosophersDyn-PT-20"
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 PhilosophersDyn-PT-20, 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 r123-tajo-158961354500251"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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