About the Execution of smart for ShieldPPPs-PT-100A
Execution Summary | |||||
Max Memory Used (MB) |
Time wait (ms) | CPU Usage (ms) | I/O Wait (ms) | Computed Result | Execution Status |
15767.870 | 3600000.00 | 3599950.00 | 0.00 | [undef] | Time out reached |
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.r207-tajo-159033469600556.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 ShieldPPPs-PT-100A, examination is CTLFireability
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r207-tajo-159033469600556
=====================================================================
--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 3.3K May 14 01:48 CTLCardinality.txt
-rw-r--r-- 1 mcc users 17K May 14 01:48 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K May 13 19:12 CTLFireability.txt
-rw-r--r-- 1 mcc users 21K May 13 19:12 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K May 14 10:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K May 14 10:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K May 14 10:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K May 14 10:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 1 May 12 20:42 NewModel
-rw-r--r-- 1 mcc users 3.4K May 13 14:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K May 13 14:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 3.0K May 13 08:48 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 19K May 13 08:48 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K May 13 16:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K May 13 16:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 May 12 20:42 equiv_col
-rw-r--r-- 1 mcc users 5 May 12 20:42 instance
-rw-r--r-- 1 mcc users 6 May 12 20:42 iscolored
-rw-r--r-- 1 mcc users 907K May 12 20:42 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 ShieldPPPs-PT-100A-CTLFireability-00
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-01
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-02
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-03
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-04
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-05
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-06
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-07
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-08
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-09
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-10
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-11
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-12
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-13
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-14
FORMULA_NAME ShieldPPPs-PT-100A-CTLFireability-15
=== Now, execution of the tool begins
BK_START 1590446559048
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 100A
Examination CTLFireability
Parser /home/mcc/BenchKit/bin/parser/CTLFire.jar
Model checker /home/mcc/BenchKit/bin/rem_exec/smart
GOT IT HERE. BS
Petri model created: 3103 places, 2603 transitions, 10006 arcs.
AT ITER 0 NEW BEST:: SOT 5204942 SOS 3570726 HAS SOPS 3570726 HAS SOUS 2639856 HAS SOUPS 2639856 WITH SCORE 2643426.726
AT ITER 6 NEW BEST:: SOT 5203573 SOS 3570718 HAS SOPS 3570718 HAS SOUS 2639848 HAS SOUPS 2639848 WITH SCORE 2643418.718
AT ITER 14 NEW BEST:: SOT 5203433 SOS 3570578 HAS SOPS 3570578 HAS SOUS 2639708 HAS SOUPS 2639708 WITH SCORE 2643278.578
AT ITER 18 NEW BEST:: SOT 5203951 SOS 3567105 HAS SOPS 3567105 HAS SOUS 2638400 HAS SOUPS 2638400 WITH SCORE 2641967.105
AT ITER 23 NEW BEST:: SOT 5203395 SOS 3564325 HAS SOPS 3564325 HAS SOUS 2638399 HAS SOUPS 2638399 WITH SCORE 2641963.325
AT ITER 26 NEW BEST:: SOT 5202621 SOS 3557289 HAS SOPS 3557289 HAS SOUS 2635134 HAS SOUPS 2635134 WITH SCORE 2638691.289
AT ITER 30 NEW BEST:: SOT 5201363 SOS 3556031 HAS SOPS 3556031 HAS SOUS 2633876 HAS SOUPS 2633876 WITH SCORE 2637432.031
AT ITER 31 NEW BEST:: SOT 5200645 SOS 3555311 HAS SOPS 3555311 HAS SOUS 2633156 HAS SOUPS 2633156 WITH SCORE 2636711.311
AT ITER 34 NEW BEST:: SOT 5200446 SOS 3555112 HAS SOPS 3555112 HAS SOUS 2632957 HAS SOUPS 2632957 WITH SCORE 2636512.112
AT ITER 36 NEW BEST:: SOT 5200610 SOS 3549705 HAS SOPS 3549705 HAS SOUS 2631017 HAS SOUPS 2631017 WITH SCORE 2634566.705
AT ITER 37 NEW BEST:: SOT 5200543 SOS 3549543 HAS SOPS 3549543 HAS SOUS 2630795 HAS SOUPS 2630795 WITH SCORE 2634344.543
AT ITER 38 NEW BEST:: SOT 5198928 SOS 3540143 HAS SOPS 3540143 HAS SOUS 2625760 HAS SOUPS 2625760 WITH SCORE 2629300.143
AT ITER 39 NEW BEST:: SOT 5198206 SOS 3539421 HAS SOPS 3539421 HAS SOUS 2625038 HAS SOUPS 2625038 WITH SCORE 2628577.421
AT ITER 41 NEW BEST:: SOT 5198016 SOS 3539230 HAS SOPS 3539230 HAS SOUS 2624847 HAS SOUPS 2624847 WITH SCORE 2628386.23
AT ITER 49 NEW BEST:: SOT 5197458 SOS 3538927 HAS SOPS 3538927 HAS SOUS 2624417 HAS SOUPS 2624417 WITH SCORE 2627955.927
AT ITER 57 NEW BEST:: SOT 5197457 SOS 3535545 HAS SOPS 3535545 HAS SOUS 2624396 HAS SOUPS 2624396 WITH SCORE 2627931.545
AT ITER 81 NEW BEST:: SOT 5197101 SOS 3535189 HAS SOPS 3535189 HAS SOUS 2624040 HAS SOUPS 2624040 WITH SCORE 2627575.189
AT ITER 98 NEW BEST:: SOT 5196583 SOS 3534671 HAS SOPS 3534671 HAS SOUS 2623522 HAS SOUPS 2623522 WITH SCORE 2627056.671
AT ITER 112 NEW BEST:: SOT 5195742 SOS 3533829 HAS SOPS 3533829 HAS SOUS 2622680 HAS SOUPS 2622680 WITH SCORE 2626213.829
AT ITER 125 NEW BEST:: SOT 5194020 SOS 3532107 HAS SOPS 3532107 HAS SOUS 2620958 HAS SOUPS 2620958 WITH SCORE 2624490.107
AT ITER 128 NEW BEST:: SOT 5193548 SOS 3529986 HAS SOPS 3529986 HAS SOUS 2620719 HAS SOUPS 2620719 WITH SCORE 2624248.986
AT ITER 132 NEW BEST:: SOT 5192276 SOS 3528727 HAS SOPS 3528727 HAS SOUS 2619454 HAS SOUPS 2619454 WITH SCORE 2622982.727
AT ITER 133 NEW BEST:: SOT 5191525 SOS 3524305 HAS SOPS 3524305 HAS SOUS 2619452 HAS SOUPS 2619452 WITH SCORE 2622976.305
AT ITER 136 NEW BEST:: SOT 5191358 SOS 3523470 HAS SOPS 3523470 HAS SOUS 2619452 HAS SOUPS 2619452 WITH SCORE 2622975.47
AT ITER 151 NEW BEST:: SOT 5189889 SOS 3522001 HAS SOPS 3522001 HAS SOUS 2617983 HAS SOUPS 2617983 WITH SCORE 2621505.001
AT ITER 154 NEW BEST:: SOT 5188960 SOS 3521072 HAS SOPS 3521072 HAS SOUS 2617054 HAS SOUPS 2617054 WITH SCORE 2620575.072
AT ITER 155 NEW BEST:: SOT 5188806 SOS 3520916 HAS SOPS 3520916 HAS SOUS 2616898 HAS SOUPS 2616898 WITH SCORE 2620418.916
AT ITER 165 NEW BEST:: SOT 5188064 SOS 3520174 HAS SOPS 3520174 HAS SOUS 2616156 HAS SOUPS 2616156 WITH SCORE 2619676.174
AT ITER 168 NEW BEST:: SOT 5187861 SOS 3518956 HAS SOPS 3518956 HAS SOUS 2616154 HAS SOUPS 2616154 WITH SCORE 2619672.956
AT ITER 172 NEW BEST:: SOT 5186948 SOS 3518042 HAS SOPS 3518042 HAS SOUS 2615240 HAS SOUPS 2615240 WITH SCORE 2618758.042
AT ITER 174 NEW BEST:: SOT 5185611 SOS 3517084 HAS SOPS 3517084 HAS SOUS 2614092 HAS SOUPS 2614092 WITH SCORE 2617609.084
AT ITER 181 NEW BEST:: SOT 5184377 SOS 3515847 HAS SOPS 3515847 HAS SOUS 2612855 HAS SOUPS 2612855 WITH SCORE 2616370.847
AT ITER 187 NEW BEST:: SOT 5184343 SOS 3515810 HAS SOPS 3515810 HAS SOUS 2612818 HAS SOUPS 2612818 WITH SCORE 2616333.81
AT ITER 188 NEW BEST:: SOT 5185609 SOS 3516891 HAS SOPS 3516891 HAS SOUS 2612204 HAS SOUPS 2612204 WITH SCORE 2615720.891
AT ITER 196 NEW BEST:: SOT 5185370 SOS 3516652 HAS SOPS 3516652 HAS SOUS 2611965 HAS SOUPS 2611965 WITH SCORE 2615481.652
AT ITER 199 NEW BEST:: SOT 5184788 SOS 3516861 HAS SOPS 3516861 HAS SOUS 2611778 HAS SOUPS 2611778 WITH SCORE 2615294.861
AT ITER 200 NEW BEST:: SOT 5184645 SOS 3516771 HAS SOPS 3516771 HAS SOUS 2611688 HAS SOUPS 2611688 WITH SCORE 2615204.771
AT ITER 207 NEW BEST:: SOT 5184644 SOS 3512221 HAS SOPS 3512221 HAS SOUS 2611679 HAS SOUPS 2611679 WITH SCORE 2615191.221
AT ITER 216 NEW BEST:: SOT 5184255 SOS 3511831 HAS SOPS 3511831 HAS SOUS 2611289 HAS SOUPS 2611289 WITH SCORE 2614800.831
AT ITER 219 NEW BEST:: SOT 5184960 SOS 3511628 HAS SOPS 3511628 HAS SOUS 2609974 HAS SOUPS 2609974 WITH SCORE 2613485.628
AT ITER 224 NEW BEST:: SOT 5184016 SOS 3510557 HAS SOPS 3510557 HAS SOUS 2608903 HAS SOUPS 2608903 WITH SCORE 2612413.557
AT ITER 227 NEW BEST:: SOT 5183638 SOS 3510177 HAS SOPS 3510177 HAS SOUS 2608523 HAS SOUPS 2608523 WITH SCORE 2612033.177
AT ITER 248 NEW BEST:: SOT 5182185 SOS 3509107 HAS SOPS 3509107 HAS SOUS 2607262 HAS SOUPS 2607262 WITH SCORE 2610771.107
AT ITER 252 NEW BEST:: SOT 5182184 SOS 3507109 HAS SOPS 3507109 HAS SOUS 2607245 HAS SOUPS 2607245 WITH SCORE 2610752.109
AT ITER 254 NEW BEST:: SOT 5181813 SOS 3505254 HAS SOPS 3505254 HAS SOUS 2606874 HAS SOUPS 2606874 WITH SCORE 2610379.254
AT ITER 260 NEW BEST:: SOT 5180654 SOS 3504272 HAS SOPS 3504272 HAS SOUS 2605803 HAS SOUPS 2605803 WITH SCORE 2609307.272
AT ITER 285 NEW BEST:: SOT 5180527 SOS 3504143 HAS SOPS 3504143 HAS SOUS 2605674 HAS SOUPS 2605674 WITH SCORE 2609178.143
AT ITER 288 NEW BEST:: SOT 5180201 SOS 3503817 HAS SOPS 3503817 HAS SOUS 2605348 HAS SOUPS 2605348 WITH SCORE 2608851.817
AT ITER 291 NEW BEST:: SOT 5181295 SOS 3498724 HAS SOPS 3498724 HAS SOUS 2605093 HAS SOUPS 2605093 WITH SCORE 2608591.724
AT ITER 294 NEW BEST:: SOT 5181295 SOS 3498723 HAS SOPS 3498723 HAS SOUS 2605092 HAS SOUPS 2605092 WITH SCORE 2608590.723
AT ITER 300 NEW BEST:: SOT 5183026 SOS 3493686 HAS SOPS 3493686 HAS SOUS 2605091 HAS SOUPS 2605091 WITH SCORE 2608584.686
AT ITER 312 NEW BEST:: SOT 5182286 SOS 3492944 HAS SOPS 3492944 HAS SOUS 2604349 HAS SOUPS 2604349 WITH SCORE 2607841.944
AT ITER 315 NEW BEST:: SOT 5181913 SOS 3492571 HAS SOPS 3492571 HAS SOUS 2603976 HAS SOUPS 2603976 WITH SCORE 2607468.571
AT ITER 322 NEW BEST:: SOT 5181912 SOS 3491452 HAS SOPS 3491452 HAS SOUS 2603965 HAS SOUPS 2603965 WITH SCORE 2607456.452
AT ITER 332 NEW BEST:: SOT 5181479 SOS 3491358 HAS SOPS 3491358 HAS SOUS 2603702 HAS SOUPS 2603702 WITH SCORE 2607193.358
AT ITER 337 NEW BEST:: SOT 5180603 SOS 3490481 HAS SOPS 3490481 HAS SOUS 2602825 HAS SOUPS 2602825 WITH SCORE 2606315.481
AT ITER 341 NEW BEST:: SOT 5180589 SOS 3490458 HAS SOPS 3490458 HAS SOUS 2602788 HAS SOUPS 2602788 WITH SCORE 2606278.458
AT ITER 347 NEW BEST:: SOT 5180588 SOS 3488757 HAS SOPS 3488757 HAS SOUS 2602763 HAS SOUPS 2602763 WITH SCORE 2606251.757
AT ITER 355 NEW BEST:: SOT 5180118 SOS 3488286 HAS SOPS 3488286 HAS SOUS 2602292 HAS SOUPS 2602292 WITH SCORE 2605780.286
AT ITER 356 NEW BEST:: SOT 5179914 SOS 3488080 HAS SOPS 3488080 HAS SOUS 2602086 HAS SOUPS 2602086 WITH SCORE 2605574.08
AT ITER 371 NEW BEST:: SOT 5179921 SOS 3488087 HAS SOPS 3488087 HAS SOUS 2602085 HAS SOUPS 2602085 WITH SCORE 2605573.087
AT ITER 372 NEW BEST:: SOT 5179024 SOS 3487188 HAS SOPS 3487188 HAS SOUS 2601185 HAS SOUPS 2601185 WITH SCORE 2604672.188
AT ITER 374 NEW BEST:: SOT 5179023 SOS 3483024 HAS SOPS 3483024 HAS SOUS 2601162 HAS SOUPS 2601162 WITH SCORE 2604645.024
AT ITER 390 NEW BEST:: SOT 5178102 SOS 3478419 HAS SOPS 3478419 HAS SOUS 2601162 HAS SOUPS 2601162 WITH SCORE 2604640.419
AT ITER 399 NEW BEST:: SOT 5177862 SOS 3478177 HAS SOPS 3478177 HAS SOUS 2600920 HAS SOUPS 2600920 WITH SCORE 2604398.177
AT ITER 400 NEW BEST:: SOT 5178343 SOS 3471955 HAS SOPS 3471955 HAS SOUS 2599786 HAS SOUPS 2599786 WITH SCORE 2603257.955
AT ITER 405 NEW BEST:: SOT 5179983 SOS 3468264 HAS SOPS 3468264 HAS SOUS 2599475 HAS SOUPS 2599475 WITH SCORE 2602943.264
AT ITER 406 NEW BEST:: SOT 5179007 SOS 3467469 HAS SOPS 3467469 HAS SOUS 2598590 HAS SOUPS 2598590 WITH SCORE 2602057.469
AT ITER 427 NEW BEST:: SOT 5179007 SOS 3467364 HAS SOPS 3467364 HAS SOUS 2598590 HAS SOUPS 2598590 WITH SCORE 2602057.364
AT ITER 465 NEW BEST:: SOT 5178170 SOS 3467426 HAS SOPS 3467426 HAS SOUS 2598203 HAS SOUPS 2598203 WITH SCORE 2601670.426
AT ITER 466 NEW BEST:: SOT 5178049 SOS 3467356 HAS SOPS 3467356 HAS SOUS 2598121 HAS SOUPS 2598121 WITH SCORE 2601588.356
AT ITER 468 NEW BEST:: SOT 5176643 SOS 3465950 HAS SOPS 3465950 HAS SOUS 2596715 HAS SOUPS 2596715 WITH SCORE 2600180.95
AT ITER 471 NEW BEST:: SOT 5176596 SOS 3465703 HAS SOPS 3465703 HAS SOUS 2596468 HAS SOUPS 2596468 WITH SCORE 2599933.703
AT ITER 474 NEW BEST:: SOT 5174156 SOS 3461174 HAS SOPS 3461174 HAS SOUS 2592997 HAS SOUPS 2592997 WITH SCORE 2596458.174
AT ITER 489 NEW BEST:: SOT 5175261 SOS 3456161 HAS SOPS 3456161 HAS SOUS 2591737 HAS SOUPS 2591737 WITH SCORE 2595193.161
AT ITER 490 NEW BEST:: SOT 5174089 SOS 3450301 HAS SOPS 3450301 HAS SOUS 2591737 HAS SOUPS 2591737 WITH SCORE 2595187.301
AT ITER 502 NEW BEST:: SOT 5174088 SOS 3446054 HAS SOPS 3446054 HAS SOUS 2591718 HAS SOUPS 2591718 WITH SCORE 2595164.054
AT ITER 509 NEW BEST:: SOT 5174076 SOS 3446033 HAS SOPS 3446033 HAS SOUS 2591686 HAS SOUPS 2591686 WITH SCORE 2595132.033
AT ITER 510 NEW BEST:: SOT 5175305 SOS 3444186 HAS SOPS 3444186 HAS SOUS 2589421 HAS SOUPS 2589421 WITH SCORE 2592865.186
AT ITER 512 NEW BEST:: SOT 5174750 SOS 3443631 HAS SOPS 3443631 HAS SOUS 2588866 HAS SOUPS 2588866 WITH SCORE 2592309.631
AT ITER 515 NEW BEST:: SOT 5174169 SOS 3443726 HAS SOPS 3443726 HAS SOUS 2588666 HAS SOUPS 2588666 WITH SCORE 2592109.726
AT ITER 524 NEW BEST:: SOT 5174078 SOS 3443635 HAS SOPS 3443635 HAS SOUS 2588575 HAS SOUPS 2588575 WITH SCORE 2592018.635
AT ITER 534 NEW BEST:: SOT 5173519 SOS 3443591 HAS SOPS 3443591 HAS SOUS 2588274 HAS SOUPS 2588274 WITH SCORE 2591717.591
AT ITER 542 NEW BEST:: SOT 5173241 SOS 3443312 HAS SOPS 3443312 HAS SOUS 2587995 HAS SOUPS 2587995 WITH SCORE 2591438.312
AT ITER 543 NEW BEST:: SOT 5172768 SOS 3442837 HAS SOPS 3442837 HAS SOUS 2587520 HAS SOUPS 2587520 WITH SCORE 2590962.837
AT ITER 548 NEW BEST:: SOT 5171670 SOS 3437347 HAS SOPS 3437347 HAS SOUS 2587519 HAS SOUPS 2587519 WITH SCORE 2590956.347
AT ITER 549 NEW BEST:: SOT 5171013 SOS 3436690 HAS SOPS 3436690 HAS SOUS 2586862 HAS SOUPS 2586862 WITH SCORE 2590298.69
AT ITER 559 NEW BEST:: SOT 5169668 SOS 3435343 HAS SOPS 3435343 HAS SOUS 2585515 HAS SOUPS 2585515 WITH SCORE 2588950.343
AT ITER 561 NEW BEST:: SOT 5169142 SOS 3435656 HAS SOPS 3435656 HAS SOUS 2585409 HAS SOUPS 2585409 WITH SCORE 2588844.656
AT ITER 569 NEW BEST:: SOT 5169133 SOS 3433329 HAS SOPS 3433329 HAS SOUS 2584464 HAS SOUPS 2584464 WITH SCORE 2587897.329
AT ITER 575 NEW BEST:: SOT 5168571 SOS 3432765 HAS SOPS 3432765 HAS SOUS 2583900 HAS SOUPS 2583900 WITH SCORE 2587332.765
AT ITER 585 NEW BEST:: SOT 5168558 SOS 3432744 HAS SOPS 3432744 HAS SOUS 2583867 HAS SOUPS 2583867 WITH SCORE 2587299.744
AT ITER 590 NEW BEST:: SOT 5168103 SOS 3432287 HAS SOPS 3432287 HAS SOUS 2583864 HAS SOUPS 2583864 WITH SCORE 2587296.287
AT ITER 592 NEW BEST:: SOT 5167865 SOS 3431097 HAS SOPS 3431097 HAS SOUS 2583863 HAS SOUPS 2583863 WITH SCORE 2587294.097
AT ITER 596 NEW BEST:: SOT 5167857 SOS 3431089 HAS SOPS 3431089 HAS SOUS 2583849 HAS SOUPS 2583849 WITH SCORE 2587280.089
AT ITER 599 NEW BEST:: SOT 5167501 SOS 3430733 HAS SOPS 3430733 HAS SOUS 2583493 HAS SOUPS 2583493 WITH SCORE 2586923.733
AT ITER 609 NEW BEST:: SOT 5166210 SOS 3429442 HAS SOPS 3429442 HAS SOUS 2582202 HAS SOUPS 2582202 WITH SCORE 2585631.442
AT ITER 618 NEW BEST:: SOT 5165653 SOS 3428286 HAS SOPS 3428286 HAS SOUS 2581054 HAS SOUPS 2581054 WITH SCORE 2584482.286
AT ITER 623 NEW BEST:: SOT 5165644 SOS 3426097 HAS SOPS 3426097 HAS SOUS 2580845 HAS SOUPS 2580845 WITH SCORE 2584271.097
AT ITER 631 NEW BEST:: SOT 5165145 SOS 3423602 HAS SOPS 3423602 HAS SOUS 2580844 HAS SOUPS 2580844 WITH SCORE 2584267.602
AT ITER 637 NEW BEST:: SOT 5164564 SOS 3423021 HAS SOPS 3423021 HAS SOUS 2580263 HAS SOUPS 2580263 WITH SCORE 2583686.021
AT ITER 643 NEW BEST:: SOT 5164563 SOS 3421749 HAS SOPS 3421749 HAS SOUS 2580242 HAS SOUPS 2580242 WITH SCORE 2583663.749
AT ITER 669 NEW BEST:: SOT 5164425 SOS 3421609 HAS SOPS 3421609 HAS SOUS 2580102 HAS SOUPS 2580102 WITH SCORE 2583523.609
AT ITER 670 NEW BEST:: SOT 5164400 SOS 3421584 HAS SOPS 3421584 HAS SOUS 2580077 HAS SOUPS 2580077 WITH SCORE 2583498.584
AT ITER 674 NEW BEST:: SOT 5166046 SOS 3415719 HAS SOPS 3415719 HAS SOUS 2578741 HAS SOUPS 2578741 WITH SCORE 2582156.719
AT ITER 676 NEW BEST:: SOT 5165566 SOS 3415238 HAS SOPS 3415238 HAS SOUS 2578260 HAS SOUPS 2578260 WITH SCORE 2581675.238
AT ITER 679 NEW BEST:: SOT 5164883 SOS 3415143 HAS SOPS 3415143 HAS SOUS 2577821 HAS SOUPS 2577821 WITH SCORE 2581236.143
AT ITER 684 NEW BEST:: SOT 5163746 SOS 3409458 HAS SOPS 3409458 HAS SOUS 2577821 HAS SOUPS 2577821 WITH SCORE 2581230.458
AT ITER 685 NEW BEST:: SOT 5163512 SOS 3409224 HAS SOPS 3409224 HAS SOUS 2577587 HAS SOUPS 2577587 WITH SCORE 2580996.224
AT ITER 687 NEW BEST:: SOT 5162757 SOS 3408469 HAS SOPS 3408469 HAS SOUS 2576832 HAS SOUPS 2576832 WITH SCORE 2580240.469
AT ITER 691 NEW BEST:: SOT 5162206 SOS 3407916 HAS SOPS 3407916 HAS SOUS 2576279 HAS SOUPS 2576279 WITH SCORE 2579686.916
AT ITER 698 NEW BEST:: SOT 5161707 SOS 3407415 HAS SOPS 3407415 HAS SOUS 2575778 HAS SOUPS 2575778 WITH SCORE 2579185.415
AT ITER 705 NEW BEST:: SOT 5161698 SOS 3407396 HAS SOPS 3407396 HAS SOUS 2575752 HAS SOUPS 2575752 WITH SCORE 2579159.396
AT ITER 706 NEW BEST:: SOT 5161164 SOS 3406860 HAS SOPS 3406860 HAS SOUS 2575216 HAS SOUPS 2575216 WITH SCORE 2578622.86
AT ITER 707 NEW BEST:: SOT 5160607 SOS 3407398 HAS SOPS 3407398 HAS SOUS 2575207 HAS SOUPS 2575207 WITH SCORE 2578614.398
AT ITER 711 NEW BEST:: SOT 5160423 SOS 3407211 HAS SOPS 3407211 HAS SOUS 2575020 HAS SOUPS 2575020 WITH SCORE 2578427.211
AT ITER 723 NEW BEST:: SOT 5159447 SOS 3406235 HAS SOPS 3406235 HAS SOUS 2574044 HAS SOUPS 2574044 WITH SCORE 2577450.235
AT ITER 732 NEW BEST:: SOT 5159440 SOS 3406228 HAS SOPS 3406228 HAS SOUS 2574037 HAS SOUPS 2574037 WITH SCORE 2577443.228
AT ITER 741 NEW BEST:: SOT 5158740 SOS 3406204 HAS SOPS 3406204 HAS SOUS 2573676 HAS SOUPS 2573676 WITH SCORE 2577082.204
AT ITER 742 NEW BEST:: SOT 5158216 SOS 3403584 HAS SOPS 3403584 HAS SOUS 2573675 HAS SOUPS 2573675 WITH SCORE 2577078.584
AT ITER 743 NEW BEST:: SOT 5158215 SOS 3402237 HAS SOPS 3402237 HAS SOUS 2573333 HAS SOUPS 2573333 WITH SCORE 2576735.237
AT ITER 749 NEW BEST:: SOT 5157762 SOS 3401784 HAS SOPS 3401784 HAS SOUS 2572880 HAS SOUPS 2572880 WITH SCORE 2576281.784
AT ITER 757 NEW BEST:: SOT 5157675 SOS 3401697 HAS SOPS 3401697 HAS SOUS 2572793 HAS SOUPS 2572793 WITH SCORE 2576194.697
AT ITER 766 NEW BEST:: SOT 5157021 SOS 3401042 HAS SOPS 3401042 HAS SOUS 2572138 HAS SOUPS 2572138 WITH SCORE 2575539.042
AT ITER 770 NEW BEST:: SOT 5157019 SOS 3398425 HAS SOPS 3398425 HAS SOUS 2572120 HAS SOUPS 2572120 WITH SCORE 2575518.425
AT ITER 779 NEW BEST:: SOT 5156457 SOS 3397863 HAS SOPS 3397863 HAS SOUS 2571558 HAS SOUPS 2571558 WITH SCORE 2574955.863
AT ITER 786 NEW BEST:: SOT 5155618 SOS 3393668 HAS SOPS 3393668 HAS SOUS 2571558 HAS SOUPS 2571558 WITH SCORE 2574951.668
AT ITER 787 NEW BEST:: SOT 5155254 SOS 3393598 HAS SOPS 3393598 HAS SOUS 2571487 HAS SOUPS 2571487 WITH SCORE 2574880.598
AT ITER 792 NEW BEST:: SOT 5154721 SOS 3393065 HAS SOPS 3393065 HAS SOUS 2570954 HAS SOUPS 2570954 WITH SCORE 2574347.065
AT ITER 794 NEW BEST:: SOT 5154497 SOS 3391945 HAS SOPS 3391945 HAS SOUS 2570954 HAS SOUPS 2570954 WITH SCORE 2574345.945
AT ITER 801 NEW BEST:: SOT 5152983 SOS 3390780 HAS SOPS 3390780 HAS SOUS 2569787 HAS SOUPS 2569787 WITH SCORE 2573177.78
AT ITER 807 NEW BEST:: SOT 5152981 SOS 3389420 HAS SOPS 3389420 HAS SOUS 2569364 HAS SOUPS 2569364 WITH SCORE 2572753.42
AT ITER 812 NEW BEST:: SOT 5152521 SOS 3388960 HAS SOPS 3388960 HAS SOUS 2568904 HAS SOUPS 2568904 WITH SCORE 2572292.96
AT ITER 814 NEW BEST:: SOT 5152004 SOS 3386375 HAS SOPS 3386375 HAS SOUS 2568903 HAS SOUPS 2568903 WITH SCORE 2572289.375
AT ITER 815 NEW BEST:: SOT 5151316 SOS 3385687 HAS SOPS 3385687 HAS SOUS 2568215 HAS SOUPS 2568215 WITH SCORE 2571600.687
AT ITER 817 NEW BEST:: SOT 5151016 SOS 3385387 HAS SOPS 3385387 HAS SOUS 2567915 HAS SOUPS 2567915 WITH SCORE 2571300.387
AT ITER 840 NEW BEST:: SOT 5151424 SOS 3385239 HAS SOPS 3385239 HAS SOUS 2567767 HAS SOUPS 2567767 WITH SCORE 2571152.239
AT ITER 841 NEW BEST:: SOT 5151423 SOS 3383817 HAS SOPS 3383817 HAS SOUS 2567758 HAS SOUPS 2567758 WITH SCORE 2571141.817
AT ITER 849 NEW BEST:: SOT 5151178 SOS 3383572 HAS SOPS 3383572 HAS SOUS 2567513 HAS SOUPS 2567513 WITH SCORE 2570896.572
AT ITER 854 NEW BEST:: SOT 5151177 SOS 3382448 HAS SOPS 3382448 HAS SOUS 2567490 HAS SOUPS 2567490 WITH SCORE 2570872.448
AT ITER 860 NEW BEST:: SOT 5150647 SOS 3381918 HAS SOPS 3381918 HAS SOUS 2566960 HAS SOUPS 2566960 WITH SCORE 2570341.918
AT ITER 862 NEW BEST:: SOT 5148707 SOS 3371840 HAS SOPS 3371840 HAS SOUS 2561969 HAS SOUPS 2561969 WITH SCORE 2565340.84
AT ITER 876 NEW BEST:: SOT 5147861 SOS 3367610 HAS SOPS 3367610 HAS SOUS 2561968 HAS SOUPS 2561968 WITH SCORE 2565335.61
AT ITER 885 NEW BEST:: SOT 5147860 SOS 3367607 HAS SOPS 3367607 HAS SOUS 2561965 HAS SOUPS 2561965 WITH SCORE 2565332.607
AT ITER 898 NEW BEST:: SOT 5146510 SOS 3366257 HAS SOPS 3366257 HAS SOUS 2560615 HAS SOUPS 2560615 WITH SCORE 2563981.257
AT ITER 899 NEW BEST:: SOT 5147856 SOS 3364003 HAS SOPS 3364003 HAS SOUS 2559738 HAS SOUPS 2559738 WITH SCORE 2563102.003
AT ITER 902 NEW BEST:: SOT 5147762 SOS 3363909 HAS SOPS 3363909 HAS SOUS 2559644 HAS SOUPS 2559644 WITH SCORE 2563007.909
AT ITER 904 NEW BEST:: SOT 5147761 SOS 3360895 HAS SOPS 3360895 HAS SOUS 2559627 HAS SOUPS 2559627 WITH SCORE 2562987.895
AT ITER 905 NEW BEST:: SOT 5146832 SOS 3356369 HAS SOPS 3356369 HAS SOUS 2558943 HAS SOUPS 2558943 WITH SCORE 2562299.369
AT ITER 907 NEW BEST:: SOT 5146831 SOS 3354167 HAS SOPS 3354167 HAS SOUS 2558926 HAS SOUPS 2558926 WITH SCORE 2562280.167
AT ITER 912 NEW BEST:: SOT 5146705 SOS 3353411 HAS SOPS 3353411 HAS SOUS 2558924 HAS SOUPS 2558924 WITH SCORE 2562277.411
AT ITER 913 NEW BEST:: SOT 5146705 SOS 3352829 HAS SOPS 3352829 HAS SOUS 2558921 HAS SOUPS 2558921 WITH SCORE 2562273.829
AT ITER 914 NEW BEST:: SOT 5146288 SOS 3352364 HAS SOPS 3352364 HAS SOUS 2558456 HAS SOUPS 2558456 WITH SCORE 2561808.364
AT ITER 919 NEW BEST:: SOT 5145418 SOS 3351494 HAS SOPS 3351494 HAS SOUS 2557586 HAS SOUPS 2557586 WITH SCORE 2560937.494
AT ITER 924 NEW BEST:: SOT 5144282 SOS 3350357 HAS SOPS 3350357 HAS SOUS 2556449 HAS SOUPS 2556449 WITH SCORE 2559799.357
AT ITER 929 NEW BEST:: SOT 5143851 SOS 3347853 HAS SOPS 3347853 HAS SOUS 2556100 HAS SOUPS 2556100 WITH SCORE 2559447.853
AT ITER 936 NEW BEST:: SOT 5143846 SOS 3347848 HAS SOPS 3347848 HAS SOUS 2556095 HAS SOUPS 2556095 WITH SCORE 2559442.848
AT ITER 943 NEW BEST:: SOT 5143139 SOS 3347140 HAS SOPS 3347140 HAS SOUS 2555387 HAS SOUPS 2555387 WITH SCORE 2558734.14
AT ITER 949 NEW BEST:: SOT 5142736 SOS 3346735 HAS SOPS 3346735 HAS SOUS 2554982 HAS SOUPS 2554982 WITH SCORE 2558328.735
AT ITER 951 NEW BEST:: SOT 5141748 SOS 3345745 HAS SOPS 3345745 HAS SOUS 2553992 HAS SOUPS 2553992 WITH SCORE 2557337.745
AT ITER 953 NEW BEST:: SOT 5141527 SOS 3345522 HAS SOPS 3345522 HAS SOUS 2553769 HAS SOUPS 2553769 WITH SCORE 2557114.522
AT ITER 954 NEW BEST:: SOT 5140703 SOS 3341379 HAS SOPS 3341379 HAS SOUS 2551698 HAS SOUPS 2551698 WITH SCORE 2555039.379
AT ITER 970 NEW BEST:: SOT 5140702 SOS 3341376 HAS SOPS 3341376 HAS SOUS 2551695 HAS SOUPS 2551695 WITH SCORE 2555036.376
AT ITER 972 NEW BEST:: SOT 5140690 SOS 3341355 HAS SOPS 3341355 HAS SOUS 2551663 HAS SOUPS 2551663 WITH SCORE 2555004.355
AT ITER 975 NEW BEST:: SOT 5140098 SOS 3340763 HAS SOPS 3340763 HAS SOUS 2551071 HAS SOUPS 2551071 WITH SCORE 2554411.763
AT ITER 981 NEW BEST:: SOT 5139921 SOS 3340584 HAS SOPS 3340584 HAS SOUS 2550891 HAS SOUPS 2550891 WITH SCORE 2554231.584
AT ITER 984 NEW BEST:: SOT 5139921 SOS 3339978 HAS SOPS 3339978 HAS SOUS 2550689 HAS SOUPS 2550689 WITH SCORE 2554028.978
AT ITER 988 NEW BEST:: SOT 5139346 SOS 3339403 HAS SOPS 3339403 HAS SOUS 2550114 HAS SOUPS 2550114 WITH SCORE 2553453.403
AT ITER 997 NEW BEST:: SOT 5139314 SOS 3339371 HAS SOPS 3339371 HAS SOUS 2550082 HAS SOUPS 2550082 WITH SCORE 2553421.371
AT ITER 1018 NEW BEST:: SOT 5139312 SOS 3337584 HAS SOPS 3337584 HAS SOUS 2549712 HAS SOUPS 2549712 WITH SCORE 2553049.584
AT ITER 1026 NEW BEST:: SOT 5139027 SOS 3337297 HAS SOPS 3337297 HAS SOUS 2549425 HAS SOUPS 2549425 WITH SCORE 2552762.297
AT ITER 1042 NEW BEST:: SOT 5135872 SOS 3334149 HAS SOPS 3334149 HAS SOUS 2546274 HAS SOUPS 2546274 WITH SCORE 2549608.149
AT ITER 1043 NEW BEST:: SOT 5135096 SOS 3332779 HAS SOPS 3332779 HAS SOUS 2544904 HAS SOUPS 2544904 WITH SCORE 2548236.779
AT ITER 1052 NEW BEST:: SOT 5134205 SOS 3328324 HAS SOPS 3328324 HAS SOUS 2544903 HAS SOUPS 2544903 WITH SCORE 2548231.324
AT ITER 1054 NEW BEST:: SOT 5133553 SOS 3327672 HAS SOPS 3327672 HAS SOUS 2544251 HAS SOUPS 2544251 WITH SCORE 2547578.672
AT ITER 1070 NEW BEST:: SOT 5133368 SOS 3319672 HAS SOPS 3319672 HAS SOUS 2541540 HAS SOUPS 2541540 WITH SCORE 2544859.672
AT ITER 1071 NEW BEST:: SOT 5132719 SOS 3318203 HAS SOPS 3318203 HAS SOUS 2540084 HAS SOUPS 2540084 WITH SCORE 2543402.203
AT ITER 1077 NEW BEST:: SOT 5132625 SOS 3318109 HAS SOPS 3318109 HAS SOUS 2539990 HAS SOUPS 2539990 WITH SCORE 2543308.109
AT ITER 1080 NEW BEST:: SOT 5132625 SOS 3318087 HAS SOPS 3318087 HAS SOUS 2539990 HAS SOUPS 2539990 WITH SCORE 2543308.087
AT ITER 1094 NEW BEST:: SOT 5130892 SOS 3309422 HAS SOPS 3309422 HAS SOUS 2539990 HAS SOUPS 2539990 WITH SCORE 2543299.422
AT ITER 1096 NEW BEST:: SOT 5131920 SOS 3305603 HAS SOPS 3305603 HAS SOUS 2539252 HAS SOUPS 2539252 WITH SCORE 2542557.603
AT ITER 1097 NEW BEST:: SOT 5132069 SOS 3305361 HAS SOPS 3305361 HAS SOUS 2539017 HAS SOUPS 2539017 WITH SCORE 2542322.361
AT ITER 1107 NEW BEST:: SOT 5128887 SOS 3302512 HAS SOPS 3302512 HAS SOUS 2536001 HAS SOUPS 2536001 WITH SCORE 2539303.512
AT ITER 1125 NEW BEST:: SOT 5127938 SOS 3301737 HAS SOPS 3301737 HAS SOUS 2535226 HAS SOUPS 2535226 WITH SCORE 2538527.737
AT ITER 1132 NEW BEST:: SOT 5127430 SOS 3301229 HAS SOPS 3301229 HAS SOUS 2534718 HAS SOUPS 2534718 WITH SCORE 2538019.229
AT ITER 1133 NEW BEST:: SOT 5127342 SOS 3299677 HAS SOPS 3299677 HAS SOUS 2534255 HAS SOUPS 2534255 WITH SCORE 2537554.677
AT ITER 1138 NEW BEST:: SOT 5126104 SOS 3293487 HAS SOPS 3293487 HAS SOUS 2534255 HAS SOUPS 2534255 WITH SCORE 2537548.487
AT ITER 1146 NEW BEST:: SOT 5125780 SOS 3293162 HAS SOPS 3293162 HAS SOUS 2533930 HAS SOUPS 2533930 WITH SCORE 2537223.162
AT ITER 1147 NEW BEST:: SOT 5125780 SOS 3290022 HAS SOPS 3290022 HAS SOUS 2533919 HAS SOUPS 2533919 WITH SCORE 2537209.022
AT ITER 1152 NEW BEST:: SOT 5125051 SOS 3290021 HAS SOPS 3290021 HAS SOUS 2533918 HAS SOUPS 2533918 WITH SCORE 2537208.021
AT ITER 1153 NEW BEST:: SOT 5125046 SOS 3290016 HAS SOPS 3290016 HAS SOUS 2533913 HAS SOUPS 2533913 WITH SCORE 2537203.016
AT ITER 1155 NEW BEST:: SOT 5122677 SOS 3285958 HAS SOPS 3285958 HAS SOUS 2529729 HAS SOUPS 2529729 WITH SCORE 2533014.958
AT ITER 1157 NEW BEST:: SOT 5123934 SOS 3283593 HAS SOPS 3283593 HAS SOUS 2528659 HAS SOUPS 2528659 WITH SCORE 2531942.593
AT ITER 1158 NEW BEST:: SOT 5123226 SOS 3283601 HAS SOPS 3283601 HAS SOUS 2528437 HAS SOUPS 2528437 WITH SCORE 2531720.601
AT ITER 1161 NEW BEST:: SOT 5122198 SOS 3282628 HAS SOPS 3282628 HAS SOUS 2527436 HAS SOUPS 2527436 WITH SCORE 2530718.628
AT ITER 1165 NEW BEST:: SOT 5122174 SOS 3282602 HAS SOPS 3282602 HAS SOUS 2527410 HAS SOUPS 2527410 WITH SCORE 2530692.602
AT ITER 1166 NEW BEST:: SOT 5123652 SOS 3278856 HAS SOPS 3278856 HAS SOUS 2526225 HAS SOUPS 2526225 WITH SCORE 2529503.856
AT ITER 1193 NEW BEST:: SOT 5123644 SOS 3278836 HAS SOPS 3278836 HAS SOUS 2526199 HAS SOUPS 2526199 WITH SCORE 2529477.836
AT ITER 1199 NEW BEST:: SOT 5123040 SOS 3278230 HAS SOPS 3278230 HAS SOUS 2525593 HAS SOUPS 2525593 WITH SCORE 2528871.23
AT ITER 1208 NEW BEST:: SOT 5122728 SOS 3277918 HAS SOPS 3277918 HAS SOUS 2525281 HAS SOUPS 2525281 WITH SCORE 2528558.918
AT ITER 1212 NEW BEST:: SOT 5122370 SOS 3277560 HAS SOPS 3277560 HAS SOUS 2524923 HAS SOUPS 2524923 WITH SCORE 2528200.56
AT ITER 1218 NEW BEST:: SOT 5121730 SOS 3276919 HAS SOPS 3276919 HAS SOUS 2524282 HAS SOUPS 2524282 WITH SCORE 2527558.919
AT ITER 1224 NEW BEST:: SOT 5121073 SOS 3276262 HAS SOPS 3276262 HAS SOUS 2523625 HAS SOUPS 2523625 WITH SCORE 2526901.262
AT ITER 1227 NEW BEST:: SOT 5121167 SOS 3277125 HAS SOPS 3277125 HAS SOUS 2523418 HAS SOUPS 2523418 WITH SCORE 2526695.125
AT ITER 1256 NEW BEST:: SOT 5121167 SOS 3277124 HAS SOPS 3277124 HAS SOUS 2523417 HAS SOUPS 2523417 WITH SCORE 2526694.124
AT ITER 1263 NEW BEST:: SOT 5120886 SOS 3276841 HAS SOPS 3276841 HAS SOUS 2523134 HAS SOUPS 2523134 WITH SCORE 2526410.841
AT ITER 1268 NEW BEST:: SOT 5119749 SOS 3275704 HAS SOPS 3275704 HAS SOUS 2521997 HAS SOUPS 2521997 WITH SCORE 2525272.704
AT ITER 1306 NEW BEST:: SOT 5119128 SOS 3275083 HAS SOPS 3275083 HAS SOUS 2521376 HAS SOUPS 2521376 WITH SCORE 2524651.083
AT ITER 1308 NEW BEST:: SOT 5119128 SOS 3271976 HAS SOPS 3271976 HAS SOUS 2520345 HAS SOUPS 2520345 WITH SCORE 2523616.976
AT ITER 1316 NEW BEST:: SOT 5118233 SOS 3271852 HAS SOPS 3271852 HAS SOUS 2519829 HAS SOUPS 2519829 WITH SCORE 2523100.852
AT ITER 1321 NEW BEST:: SOT 5118233 SOS 3269105 HAS SOPS 3269105 HAS SOUS 2519828 HAS SOUPS 2519828 WITH SCORE 2523097.105
AT ITER 1326 NEW BEST:: SOT 5117542 SOS 3265650 HAS SOPS 3265650 HAS SOUS 2519828 HAS SOUPS 2519828 WITH SCORE 2523093.65
AT ITER 1335 NEW BEST:: SOT 5117426 SOS 3265534 HAS SOPS 3265534 HAS SOUS 2519712 HAS SOUPS 2519712 WITH SCORE 2522977.534
AT ITER 1336 NEW BEST:: SOT 5117426 SOS 3265344 HAS SOPS 3265344 HAS SOUS 2519682 HAS SOUPS 2519682 WITH SCORE 2522947.344
AT ITER 1347 NEW BEST:: SOT 5117425 SOS 3265341 HAS SOPS 3265341 HAS SOUS 2519679 HAS SOUPS 2519679 WITH SCORE 2522944.341
AT ITER 1348 NEW BEST:: SOT 5117095 SOS 3264617 HAS SOPS 3264617 HAS SOUS 2517881 HAS SOUPS 2517881 WITH SCORE 2521145.617
AT ITER 1350 NEW BEST:: SOT 5117082 SOS 3264596 HAS SOPS 3264596 HAS SOUS 2517848 HAS SOUPS 2517848 WITH SCORE 2521112.596
AT ITER 1354 NEW BEST:: SOT 5115986 SOS 3263713 HAS SOPS 3263713 HAS SOUS 2516965 HAS SOUPS 2516965 WITH SCORE 2520228.713
AT ITER 1370 NEW BEST:: SOT 5115986 SOS 3261341 HAS SOPS 3261341 HAS SOUS 2516182 HAS SOUPS 2516182 WITH SCORE 2519443.341
AT ITER 1373 NEW BEST:: SOT 5114925 SOS 3260280 HAS SOPS 3260280 HAS SOUS 2515121 HAS SOUPS 2515121 WITH SCORE 2518381.28
AT ITER 1379 NEW BEST:: SOT 5114360 SOS 3259701 HAS SOPS 3259701 HAS SOUS 2514542 HAS SOUPS 2514542 WITH SCORE 2517801.701
AT ITER 1383 NEW BEST:: SOT 5113037 SOS 3258376 HAS SOPS 3258376 HAS SOUS 2513217 HAS SOUPS 2513217 WITH SCORE 2516475.376
AT ITER 1401 NEW BEST:: SOT 5113148 SOS 3258374 HAS SOPS 3258374 HAS SOUS 2513195 HAS SOUPS 2513195 WITH SCORE 2516453.374
AT ITER 1405 NEW BEST:: SOT 5113328 SOS 3258637 HAS SOPS 3258637 HAS SOUS 2512380 HAS SOUPS 2512380 WITH SCORE 2515638.637
AT ITER 1411 NEW BEST:: SOT 5113326 SOS 3258633 HAS SOPS 3258633 HAS SOUS 2512376 HAS SOUPS 2512376 WITH SCORE 2515634.633
AT ITER 1413 NEW BEST:: SOT 5112660 SOS 3255303 HAS SOPS 3255303 HAS SOUS 2512375 HAS SOUPS 2512375 WITH SCORE 2515630.303
AT ITER 1422 NEW BEST:: SOT 5112537 SOS 3255180 HAS SOPS 3255180 HAS SOUS 2512252 HAS SOUPS 2512252 WITH SCORE 2515507.18
AT ITER 1426 NEW BEST:: SOT 5111746 SOS 3254015 HAS SOPS 3254015 HAS SOUS 2510999 HAS SOUPS 2510999 WITH SCORE 2514253.015
AT ITER 1429 NEW BEST:: SOT 5111192 SOS 3253460 HAS SOPS 3253460 HAS SOUS 2510444 HAS SOUPS 2510444 WITH SCORE 2513697.46
AT ITER 1441 NEW BEST:: SOT 5111191 SOS 3249574 HAS SOPS 3249574 HAS SOUS 2509658 HAS SOUPS 2509658 WITH SCORE 2512907.574
AT ITER 1449 NEW BEST:: SOT 5112870 SOS 3251241 HAS SOPS 3251241 HAS SOUS 2509636 HAS SOUPS 2509636 WITH SCORE 2512887.241
AT ITER 1452 NEW BEST:: SOT 5112156 SOS 3250561 HAS SOPS 3250561 HAS SOUS 2508956 HAS SOUPS 2508956 WITH SCORE 2512206.561
AT ITER 1462 NEW BEST:: SOT 5111584 SOS 3249989 HAS SOPS 3249989 HAS SOUS 2508384 HAS SOUPS 2508384 WITH SCORE 2511633.989
AT ITER 1464 NEW BEST:: SOT 5111582 SOS 3247654 HAS SOPS 3247654 HAS SOUS 2508372 HAS SOUPS 2508372 WITH SCORE 2511619.654
AT ITER 1465 NEW BEST:: SOT 5111407 SOS 3246751 HAS SOPS 3246751 HAS SOUS 2508372 HAS SOUPS 2508372 WITH SCORE 2511618.751
AT ITER 1467 NEW BEST:: SOT 5110760 SOS 3246159 HAS SOPS 3246159 HAS SOUS 2507753 HAS SOUPS 2507753 WITH SCORE 2510999.159
AT ITER 1485 NEW BEST:: SOT 5110629 SOS 3245150 HAS SOPS 3245150 HAS SOUS 2507753 HAS SOUPS 2507753 WITH SCORE 2510998.15
AT ITER 1486 NEW BEST:: SOT 5110628 SOS 3243976 HAS SOPS 3243976 HAS SOUS 2507614 HAS SOUPS 2507614 WITH SCORE 2510857.976
AT ITER 1501 NEW BEST:: SOT 5109922 SOS 3243270 HAS SOPS 3243270 HAS SOUS 2506908 HAS SOUPS 2506908 WITH SCORE 2510151.27
AT ITER 1504 NEW BEST:: SOT 5109922 SOS 3243196 HAS SOPS 3243196 HAS SOUS 2506834 HAS SOUPS 2506834 WITH SCORE 2510077.196
AT ITER 1509 NEW BEST:: SOT 5109882 SOS 3243076 HAS SOPS 3243076 HAS SOUS 2506834 HAS SOUPS 2506834 WITH SCORE 2510077.076
AT ITER 1531 NEW BEST:: SOT 5109882 SOS 3243075 HAS SOPS 3243075 HAS SOUS 2506833 HAS SOUPS 2506833 WITH SCORE 2510076.075
AT ITER 1532 NEW BEST:: SOT 5109623 SOS 3240384 HAS SOPS 3240384 HAS SOUS 2505763 HAS SOUPS 2505763 WITH SCORE 2509003.384
AT ITER 1538 NEW BEST:: SOT 5108924 SOS 3239685 HAS SOPS 3239685 HAS SOUS 2505064 HAS SOUPS 2505064 WITH SCORE 2508303.685
AT ITER 1543 NEW BEST:: SOT 5108104 SOS 3239722 HAS SOPS 3239722 HAS SOUS 2504672 HAS SOUPS 2504672 WITH SCORE 2507911.722
AT ITER 1558 NEW BEST:: SOT 5107052 SOS 3238670 HAS SOPS 3238670 HAS SOUS 2503620 HAS SOUPS 2503620 WITH SCORE 2506858.67
AT ITER 1564 NEW BEST:: SOT 5107050 SOS 3238668 HAS SOPS 3238668 HAS SOUS 2503618 HAS SOUPS 2503618 WITH SCORE 2506856.668
AT ITER 1565 NEW BEST:: SOT 5107046 SOS 3238664 HAS SOPS 3238664 HAS SOUS 2503614 HAS SOUPS 2503614 WITH SCORE 2506852.664
AT ITER 1568 NEW BEST:: SOT 5107045 SOS 3238652 HAS SOPS 3238652 HAS SOUS 2503591 HAS SOUPS 2503591 WITH SCORE 2506829.652
AT ITER 1574 NEW BEST:: SOT 5106172 SOS 3237766 HAS SOPS 3237766 HAS SOUS 2502705 HAS SOUPS 2502705 WITH SCORE 2505942.766
AT ITER 1575 NEW BEST:: SOT 5106165 SOS 3237759 HAS SOPS 3237759 HAS SOUS 2502698 HAS SOUPS 2502698 WITH SCORE 2505935.759
AT ITER 1577 NEW BEST:: SOT 5106165 SOS 3237757 HAS SOPS 3237757 HAS SOUS 2502696 HAS SOUPS 2502696 WITH SCORE 2505933.757
AT ITER 1595 NEW BEST:: SOT 5106166 SOS 3237756 HAS SOPS 3237756 HAS SOUS 2502695 HAS SOUPS 2502695 WITH SCORE 2505932.756
AT ITER 1606 NEW BEST:: SOT 5106166 SOS 3237745 HAS SOPS 3237745 HAS SOUS 2502681 HAS SOUPS 2502681 WITH SCORE 2505918.745
AT ITER 1609 NEW BEST:: SOT 5106165 SOS 3235088 HAS SOPS 3235088 HAS SOUS 2502656 HAS SOUPS 2502656 WITH SCORE 2505891.088
AT ITER 1610 NEW BEST:: SOT 5105177 SOS 3234100 HAS SOPS 3234100 HAS SOUS 2501668 HAS SOUPS 2501668 WITH SCORE 2504902.1
AT ITER 1615 NEW BEST:: SOT 5103902 SOS 3233887 HAS SOPS 3233887 HAS SOUS 2501455 HAS SOUPS 2501455 WITH SCORE 2504688.887
AT ITER 1617 NEW BEST:: SOT 5103901 SOS 3230499 HAS SOPS 3230499 HAS SOUS 2500721 HAS SOUPS 2500721 WITH SCORE 2503951.499
AT ITER 1618 NEW BEST:: SOT 5103688 SOS 3230286 HAS SOPS 3230286 HAS SOUS 2500508 HAS SOUPS 2500508 WITH SCORE 2503738.286
AT ITER 1620 NEW BEST:: SOT 5103591 SOS 3230189 HAS SOPS 3230189 HAS SOUS 2500411 HAS SOUPS 2500411 WITH SCORE 2503641.189
AT ITER 1624 NEW BEST:: SOT 5103531 SOS 3230129 HAS SOPS 3230129 HAS SOUS 2500351 HAS SOUPS 2500351 WITH SCORE 2503581.129
AT ITER 1625 NEW BEST:: SOT 5103531 SOS 3229991 HAS SOPS 3229991 HAS SOUS 2500213 HAS SOUPS 2500213 WITH SCORE 2503442.991
AT ITER 1626 NEW BEST:: SOT 5102484 SOS 3229029 HAS SOPS 3229029 HAS SOUS 2499211 HAS SOUPS 2499211 WITH SCORE 2502440.029
AT ITER 1627 NEW BEST:: SOT 5102483 SOS 3228298 HAS SOPS 3228298 HAS SOUS 2498480 HAS SOUPS 2498480 WITH SCORE 2501708.298
AT ITER 1630 NEW BEST:: SOT 5102164 SOS 3225993 HAS SOPS 3225993 HAS SOUS 2498479 HAS SOUPS 2498479 WITH SCORE 2501704.993
AT ITER 1631 NEW BEST:: SOT 5102156 SOS 3225975 HAS SOPS 3225975 HAS SOUS 2498469 HAS SOUPS 2498469 WITH SCORE 2501694.975
AT ITER 1640 NEW BEST:: SOT 5101690 SOS 3225506 HAS SOPS 3225506 HAS SOUS 2498000 HAS SOUPS 2498000 WITH SCORE 2501225.506
AT ITER 1651 NEW BEST:: SOT 5101430 SOS 3225246 HAS SOPS 3225246 HAS SOUS 2497740 HAS SOUPS 2497740 WITH SCORE 2500965.246
AT ITER 1659 NEW BEST:: SOT 5101418 SOS 3222262 HAS SOPS 3222262 HAS SOUS 2497590 HAS SOUPS 2497590 WITH SCORE 2500812.262
AT ITER 1660 NEW BEST:: SOT 5101325 SOS 3222167 HAS SOPS 3222167 HAS SOUS 2497495 HAS SOUPS 2497495 WITH SCORE 2500717.167
AT ITER 1664 NEW BEST:: SOT 5101325 SOS 3222177 HAS SOPS 3222177 HAS SOUS 2497485 HAS SOUPS 2497485 WITH SCORE 2500707.177
AT ITER 1667 NEW BEST:: SOT 5101175 SOS 3222025 HAS SOPS 3222025 HAS SOUS 2497333 HAS SOUPS 2497333 WITH SCORE 2500555.025
AT ITER 1670 NEW BEST:: SOT 5100505 SOS 3221355 HAS SOPS 3221355 HAS SOUS 2496663 HAS SOUPS 2496663 WITH SCORE 2499884.355
AT ITER 1674 NEW BEST:: SOT 5099969 SOS 3220551 HAS SOPS 3220551 HAS SOUS 2495859 HAS SOUPS 2495859 WITH SCORE 2499079.551
AT ITER 1675 NEW BEST:: SOT 5099478 SOS 3220058 HAS SOPS 3220058 HAS SOUS 2495366 HAS SOUPS 2495366 WITH SCORE 2498586.058
AT ITER 1680 NEW BEST:: SOT 5098799 SOS 3219379 HAS SOPS 3219379 HAS SOUS 2494687 HAS SOUPS 2494687 WITH SCORE 2497906.379
AT ITER 1692 NEW BEST:: SOT 5098797 SOS 3215975 HAS SOPS 3215975 HAS SOUS 2493958 HAS SOUPS 2493958 WITH SCORE 2497173.975
AT ITER 1694 NEW BEST:: SOT 5098573 SOS 3215751 HAS SOPS 3215751 HAS SOUS 2493734 HAS SOUPS 2493734 WITH SCORE 2496949.751
AT ITER 1697 NEW BEST:: SOT 5098975 SOS 3215467 HAS SOPS 3215467 HAS SOUS 2493450 HAS SOUPS 2493450 WITH SCORE 2496665.467
AT ITER 1704 NEW BEST:: SOT 5098869 SOS 3215347 HAS SOPS 3215347 HAS SOUS 2493321 HAS SOUPS 2493321 WITH SCORE 2496536.347
AT ITER 1708 NEW BEST:: SOT 5097679 SOS 3214157 HAS SOPS 3214157 HAS SOUS 2492131 HAS SOUPS 2492131 WITH SCORE 2495345.157
AT ITER 1721 NEW BEST:: SOT 5096968 SOS 3213446 HAS SOPS 3213446 HAS SOUS 2492131 HAS SOUPS 2492131 WITH SCORE 2495344.446
AT ITER 1724 NEW BEST:: SOT 5096346 SOS 3212824 HAS SOPS 3212824 HAS SOUS 2491509 HAS SOUPS 2491509 WITH SCORE 2494721.824
AT ITER 1733 NEW BEST:: SOT 5096043 SOS 3212812 HAS SOPS 3212812 HAS SOUS 2491352 HAS SOUPS 2491352 WITH SCORE 2494564.812
AT ITER 1741 NEW BEST:: SOT 5095359 SOS 3212128 HAS SOPS 3212128 HAS SOUS 2490668 HAS SOUPS 2490668 WITH SCORE 2493880.128
AT ITER 1756 NEW BEST:: SOT 5094713 SOS 3211470 HAS SOPS 3211470 HAS SOUS 2490003 HAS SOUPS 2490003 WITH SCORE 2493214.47
AT ITER 1775 NEW BEST:: SOT 5094910 SOS 3209745 HAS SOPS 3209745 HAS SOUS 2489551 HAS SOUPS 2489551 WITH SCORE 2492760.745
AT ITER 1784 NEW BEST:: SOT 5094649 SOS 3210993 HAS SOPS 3210993 HAS SOUS 2489394 HAS SOUPS 2489394 WITH SCORE 2492604.993
AT ITER 1790 NEW BEST:: SOT 5094572 SOS 3209634 HAS SOPS 3209634 HAS SOUS 2489390 HAS SOUPS 2489390 WITH SCORE 2492599.634
AT ITER 1791 NEW BEST:: SOT 5094059 SOS 3207069 HAS SOPS 3207069 HAS SOUS 2488877 HAS SOUPS 2488877 WITH SCORE 2492084.069
AT ITER 1797 NEW BEST:: SOT 5094015 SOS 3207023 HAS SOPS 3207023 HAS SOUS 2488831 HAS SOUPS 2488831 WITH SCORE 2492038.023
AT ITER 1798 NEW BEST:: SOT 5092740 SOS 3206384 HAS SOPS 3206384 HAS SOUS 2488192 HAS SOUPS 2488192 WITH SCORE 2491398.384
AT ITER 1802 NEW BEST:: SOT 5090813 SOS 3204457 HAS SOPS 3204457 HAS SOUS 2486265 HAS SOUPS 2486265 WITH SCORE 2489469.457
AT ITER 1804 NEW BEST:: SOT 5090812 SOS 3203442 HAS SOPS 3203442 HAS SOUS 2485250 HAS SOUPS 2485250 WITH SCORE 2488453.442
AT ITER 1815 NEW BEST:: SOT 5090811 SOS 3198763 HAS SOPS 3198763 HAS SOUS 2485232 HAS SOUPS 2485232 WITH SCORE 2488430.763
AT ITER 1824 NEW BEST:: SOT 5089955 SOS 3197905 HAS SOPS 3197905 HAS SOUS 2484375 HAS SOUPS 2484375 WITH SCORE 2487572.905
AT ITER 1834 NEW BEST:: SOT 5089916 SOS 3197866 HAS SOPS 3197866 HAS SOUS 2484336 HAS SOUPS 2484336 WITH SCORE 2487533.866
AT ITER 1842 NEW BEST:: SOT 5088528 SOS 3196478 HAS SOPS 3196478 HAS SOUS 2482948 HAS SOUPS 2482948 WITH SCORE 2486144.478
AT ITER 1846 NEW BEST:: SOT 5087840 SOS 3189984 HAS SOPS 3189984 HAS SOUS 2480080 HAS SOUPS 2480080 WITH SCORE 2483269.984
AT ITER 1862 NEW BEST:: SOT 5087663 SOS 3189805 HAS SOPS 3189805 HAS SOUS 2479901 HAS SOUPS 2479901 WITH SCORE 2483090.805
AT ITER 1866 NEW BEST:: SOT 5087656 SOS 3189798 HAS SOPS 3189798 HAS SOUS 2479894 HAS SOUPS 2479894 WITH SCORE 2483083.798
AT ITER 1867 NEW BEST:: SOT 5087655 SOS 3188804 HAS SOPS 3188804 HAS SOUS 2479877 HAS SOUPS 2479877 WITH SCORE 2483065.804
AT ITER 1869 NEW BEST:: SOT 5087534 SOS 3188683 HAS SOPS 3188683 HAS SOUS 2479756 HAS SOUPS 2479756 WITH SCORE 2482944.683
AT ITER 1872 NEW BEST:: SOT 5086970 SOS 3186426 HAS SOPS 3186426 HAS SOUS 2479193 HAS SOUPS 2479193 WITH SCORE 2482379.426
AT ITER 1886 NEW BEST:: SOT 5086968 SOS 3183700 HAS SOPS 3183700 HAS SOUS 2479183 HAS SOUPS 2479183 WITH SCORE 2482366.7
AT ITER 1889 NEW BEST:: SOT 5086908 SOS 3183628 HAS SOPS 3183628 HAS SOUS 2479109 HAS SOUPS 2479109 WITH SCORE 2482292.628
AT ITER 1891 NEW BEST:: SOT 5086908 SOS 3181904 HAS SOPS 3181904 HAS SOUS 2478678 HAS SOUPS 2478678 WITH SCORE 2481859.904
AT ITER 1910 NEW BEST:: SOT 5086278 SOS 3181274 HAS SOPS 3181274 HAS SOUS 2478048 HAS SOUPS 2478048 WITH SCORE 2481229.274
AT ITER 1916 NEW BEST:: SOT 5086278 SOS 3181207 HAS SOPS 3181207 HAS SOUS 2477467 HAS SOUPS 2477467 WITH SCORE 2480648.207
AT ITER 1919 NEW BEST:: SOT 5086178 SOS 3181105 HAS SOPS 3181105 HAS SOUS 2477364 HAS SOUPS 2477364 WITH SCORE 2480545.105
AT ITER 1929 NEW BEST:: SOT 5084912 SOS 3177307 HAS SOPS 3177307 HAS SOUS 2477364 HAS SOUPS 2477364 WITH SCORE 2480541.307
AT ITER 1935 NEW BEST:: SOT 5084784 SOS 3176667 HAS SOPS 3176667 HAS SOUS 2477364 HAS SOUPS 2477364 WITH SCORE 2480540.667
AT ITER 1941 NEW BEST:: SOT 5084731 SOS 3173110 HAS SOPS 3173110 HAS SOUS 2476022 HAS SOUPS 2476022 WITH SCORE 2479195.11
AT ITER 1944 NEW BEST:: SOT 5083966 SOS 3171921 HAS SOPS 3171921 HAS SOUS 2474171 HAS SOUPS 2474171 WITH SCORE 2477342.921
AT ITER 1951 NEW BEST:: SOT 5083381 SOS 3171336 HAS SOPS 3171336 HAS SOUS 2473586 HAS SOUPS 2473586 WITH SCORE 2476757.336
AT ITER 1958 NEW BEST:: SOT 5083381 SOS 3169552 HAS SOPS 3169552 HAS SOUS 2473575 HAS SOUPS 2473575 WITH SCORE 2476744.552
AT ITER 1962 NEW BEST:: SOT 5083289 SOS 3167868 HAS SOPS 3167868 HAS SOUS 2473574 HAS SOUPS 2473574 WITH SCORE 2476741.868
AT ITER 1967 NEW BEST:: SOT 5083211 SOS 3167400 HAS SOPS 3167400 HAS SOUS 2473496 HAS SOUPS 2473496 WITH SCORE 2476663.4
AT ITER 1971 NEW BEST:: SOT 5081620 SOS 3160971 HAS SOPS 3160971 HAS SOUS 2471257 HAS SOUPS 2471257 WITH SCORE 2474417.971
AT ITER 1976 NEW BEST:: SOT 5081539 SOS 3160516 HAS SOPS 3160516 HAS SOUS 2470802 HAS SOUPS 2470802 WITH SCORE 2473962.516
AT ITER 1991 NEW BEST:: SOT 5080889 SOS 3159481 HAS SOPS 3159481 HAS SOUS 2469767 HAS SOUPS 2469767 WITH SCORE 2472926.481
AT ITER 1993 NEW BEST:: SOT 5080880 SOS 3156553 HAS SOPS 3156553 HAS SOUS 2469566 HAS SOUPS 2469566 WITH SCORE 2472722.553
AT ITER 1994 NEW BEST:: SOT 5078421 SOS 3152563 HAS SOPS 3152563 HAS SOUS 2464860 HAS SOUPS 2464860 WITH SCORE 2468012.563
AT ITER 1995 NEW BEST:: SOT 5076638 SOS 3149147 HAS SOPS 3149147 HAS SOUS 2461416 HAS SOUPS 2461416 WITH SCORE 2464565.147
AT ITER 2002 NEW BEST:: SOT 5075855 SOS 3148362 HAS SOPS 3148362 HAS SOUS 2460631 HAS SOUPS 2460631 WITH SCORE 2463779.362
AT ITER 2004 NEW BEST:: SOT 5074715 SOS 3146895 HAS SOPS 3146895 HAS SOUS 2456540 HAS SOUPS 2456540 WITH SCORE 2459686.895
AT ITER 2007 NEW BEST:: SOT 5074267 SOS 3144655 HAS SOPS 3144655 HAS SOUS 2456535 HAS SOUPS 2456535 WITH SCORE 2459679.655
AT ITER 2015 NEW BEST:: SOT 5073306 SOS 3143694 HAS SOPS 3143694 HAS SOUS 2455574 HAS SOUPS 2455574 WITH SCORE 2458717.694
AT ITER 2018 NEW BEST:: SOT 5073301 SOS 3143689 HAS SOPS 3143689 HAS SOUS 2455569 HAS SOUPS 2455569 WITH SCORE 2458712.689
AT ITER 2019 NEW BEST:: SOT 5072459 SOS 3142923 HAS SOPS 3142923 HAS SOUS 2454766 HAS SOUPS 2454766 WITH SCORE 2457908.923
AT ITER 2021 NEW BEST:: SOT 5071846 SOS 3141702 HAS SOPS 3141702 HAS SOUS 2453545 HAS SOUPS 2453545 WITH SCORE 2456686.702
AT ITER 2025 NEW BEST:: SOT 5070704 SOS 3139971 HAS SOPS 3139971 HAS SOUS 2451822 HAS SOUPS 2451822 WITH SCORE 2454961.971
AT ITER 2029 NEW BEST:: SOT 5070112 SOS 3139377 HAS SOPS 3139377 HAS SOUS 2451227 HAS SOUPS 2451227 WITH SCORE 2454366.377
AT ITER 2030 NEW BEST:: SOT 5069530 SOS 3138793 HAS SOPS 3138793 HAS SOUS 2450643 HAS SOUPS 2450643 WITH SCORE 2453781.793
AT ITER 2039 NEW BEST:: SOT 5069521 SOS 3138680 HAS SOPS 3138680 HAS SOUS 2450434 HAS SOUPS 2450434 WITH SCORE 2453572.68
AT ITER 2040 NEW BEST:: SOT 5069204 SOS 3138362 HAS SOPS 3138362 HAS SOUS 2450116 HAS SOUPS 2450116 WITH SCORE 2453254.362
AT ITER 2047 NEW BEST:: SOT 5071050 SOS 3134570 HAS SOPS 3134570 HAS SOUS 2448432 HAS SOUPS 2448432 WITH SCORE 2451566.57
AT ITER 2048 NEW BEST:: SOT 5071050 SOS 3134246 HAS SOPS 3134246 HAS SOUS 2448432 HAS SOUPS 2448432 WITH SCORE 2451566.246
AT ITER 2049 NEW BEST:: SOT 5070633 SOS 3133829 HAS SOPS 3133829 HAS SOUS 2448015 HAS SOUPS 2448015 WITH SCORE 2451148.829
AT ITER 2064 NEW BEST:: SOT 5070553 SOS 3128152 HAS SOPS 3128152 HAS SOUS 2445571 HAS SOUPS 2445571 WITH SCORE 2448699.152
AT ITER 2085 NEW BEST:: SOT 5070211 SOS 3127583 HAS SOPS 3127583 HAS SOUS 2445002 HAS SOUPS 2445002 WITH SCORE 2448129.583
AT ITER 2117 NEW BEST:: SOT 5070211 SOS 3127423 HAS SOPS 3127423 HAS SOUS 2444842 HAS SOUPS 2444842 WITH SCORE 2447969.423
AT ITER 2126 NEW BEST:: SOT 5070609 SOS 3126960 HAS SOPS 3126960 HAS SOUS 2444379 HAS SOUPS 2444379 WITH SCORE 2447505.96
AT ITER 2133 NEW BEST:: SOT 5070272 SOS 3125275 HAS SOPS 3125275 HAS SOUS 2444378 HAS SOUPS 2444378 WITH SCORE 2447503.275
AT ITER 2140 NEW BEST:: SOT 5069710 SOS 3124438 HAS SOPS 3124438 HAS SOUS 2443526 HAS SOUPS 2443526 WITH SCORE 2446650.438
AT ITER 2148 NEW BEST:: SOT 5069370 SOS 3124098 HAS SOPS 3124098 HAS SOUS 2443186 HAS SOUPS 2443186 WITH SCORE 2446310.098
AT ITER 2157 NEW BEST:: SOT 5068397 SOS 3123125 HAS SOPS 3123125 HAS SOUS 2442213 HAS SOUPS 2442213 WITH SCORE 2445336.125
AT ITER 2164 NEW BEST:: SOT 5068378 SOS 3123106 HAS SOPS 3123106 HAS SOUS 2442194 HAS SOUPS 2442194 WITH SCORE 2445317.106
AT ITER 2167 NEW BEST:: SOT 5067978 SOS 3122546 HAS SOPS 3122546 HAS SOUS 2441634 HAS SOUPS 2441634 WITH SCORE 2444756.546
AT ITER 2171 NEW BEST:: SOT 5068333 SOS 3118677 HAS SOPS 3118677 HAS SOUS 2440131 HAS SOUPS 2440131 WITH SCORE 2443249.677
AT ITER 2178 NEW BEST:: SOT 5067414 SOS 3117757 HAS SOPS 3117757 HAS SOUS 2439211 HAS SOUPS 2439211 WITH SCORE 2442328.757
AT ITER 2179 NEW BEST:: SOT 5067107 SOS 3117450 HAS SOPS 3117450 HAS SOUS 2438904 HAS SOUPS 2438904 WITH SCORE 2442021.45
AT ITER 2181 NEW BEST:: SOT 5067106 SOS 3114787 HAS SOPS 3114787 HAS SOUS 2438121 HAS SOUPS 2438121 WITH SCORE 2441235.787
AT ITER 2194 NEW BEST:: SOT 5066951 SOS 3114012 HAS SOPS 3114012 HAS SOUS 2438121 HAS SOUPS 2438121 WITH SCORE 2441235.012
AT ITER 2196 NEW BEST:: SOT 5065739 SOS 3112798 HAS SOPS 3112798 HAS SOUS 2436907 HAS SOUPS 2436907 WITH SCORE 2440019.798
AT ITER 2197 NEW BEST:: SOT 5065645 SOS 3112319 HAS SOPS 3112319 HAS SOUS 2436428 HAS SOUPS 2436428 WITH SCORE 2439540.319
AT ITER 2198 NEW BEST:: SOT 5065265 SOS 3108957 HAS SOPS 3108957 HAS SOUS 2436428 HAS SOUPS 2436428 WITH SCORE 2439536.957
AT ITER 2205 NEW BEST:: SOT 5065013 SOS 3108605 HAS SOPS 3108605 HAS SOUS 2436076 HAS SOUPS 2436076 WITH SCORE 2439184.605
AT ITER 2216 NEW BEST:: SOT 5063934 SOS 3107526 HAS SOPS 3107526 HAS SOUS 2434997 HAS SOUPS 2434997 WITH SCORE 2438104.526
AT ITER 2218 NEW BEST:: SOT 5063934 SOS 3107525 HAS SOPS 3107525 HAS SOUS 2434996 HAS SOUPS 2434996 WITH SCORE 2438103.525
AT ITER 2224 NEW BEST:: SOT 5063675 SOS 3107266 HAS SOPS 3107266 HAS SOUS 2434737 HAS SOUPS 2434737 WITH SCORE 2437844.266
AT ITER 2225 NEW BEST:: SOT 5063211 SOS 3106387 HAS SOPS 3106387 HAS SOUS 2433858 HAS SOUPS 2433858 WITH SCORE 2436964.387
AT ITER 2229 NEW BEST:: SOT 5062587 SOS 3105253 HAS SOPS 3105253 HAS SOUS 2432629 HAS SOUPS 2432629 WITH SCORE 2435734.253
AT ITER 2232 NEW BEST:: SOT 5061828 SOS 3104493 HAS SOPS 3104493 HAS SOUS 2431869 HAS SOUPS 2431869 WITH SCORE 2434973.493
AT ITER 2235 NEW BEST:: SOT 5062578 SOS 3099967 HAS SOPS 3099967 HAS SOUS 2430328 HAS SOUPS 2430328 WITH SCORE 2433427.967
AT ITER 2239 NEW BEST:: SOT 5062913 SOS 3099704 HAS SOPS 3099704 HAS SOUS 2429694 HAS SOUPS 2429694 WITH SCORE 2432793.704
AT ITER 2245 NEW BEST:: SOT 5062815 SOS 3099606 HAS SOPS 3099606 HAS SOUS 2429596 HAS SOUPS 2429596 WITH SCORE 2432695.606
AT ITER 2250 NEW BEST:: SOT 5061397 SOS 3098188 HAS SOPS 3098188 HAS SOUS 2428178 HAS SOUPS 2428178 WITH SCORE 2431276.188
AT ITER 2251 NEW BEST:: SOT 5060137 SOS 3096929 HAS SOPS 3096929 HAS SOUS 2426919 HAS SOUPS 2426919 WITH SCORE 2430015.929
AT ITER 2261 NEW BEST:: SOT 5060161 SOS 3096927 HAS SOPS 3096927 HAS SOUS 2426909 HAS SOUPS 2426909 WITH SCORE 2430005.927
AT ITER 2268 NEW BEST:: SOT 5059849 SOS 3096615 HAS SOPS 3096615 HAS SOUS 2426597 HAS SOUPS 2426597 WITH SCORE 2429693.615
AT ITER 2270 NEW BEST:: SOT 5059824 SOS 3096590 HAS SOPS 3096590 HAS SOUS 2426572 HAS SOUPS 2426572 WITH SCORE 2429668.59
AT ITER 2276 NEW BEST:: SOT 5059366 SOS 3096068 HAS SOPS 3096068 HAS SOUS 2425876 HAS SOUPS 2425876 WITH SCORE 2428972.068
AT ITER 2283 NEW BEST:: SOT 5058783 SOS 3095485 HAS SOPS 3095485 HAS SOUS 2425293 HAS SOUPS 2425293 WITH SCORE 2428388.485
AT ITER 2289 NEW BEST:: SOT 5058779 SOS 3095481 HAS SOPS 3095481 HAS SOUS 2425289 HAS SOUPS 2425289 WITH SCORE 2428384.481
AT ITER 2297 NEW BEST:: SOT 5058113 SOS 3091485 HAS SOPS 3091485 HAS SOUS 2425287 HAS SOUPS 2425287 WITH SCORE 2428378.485
AT ITER 2308 NEW BEST:: SOT 5058102 SOS 3091555 HAS SOPS 3091555 HAS SOUS 2425080 HAS SOUPS 2425080 WITH SCORE 2428171.555
AT ITER 2317 NEW BEST:: SOT 5056986 SOS 3090144 HAS SOPS 3090144 HAS SOUS 2423669 HAS SOUPS 2423669 WITH SCORE 2426759.144
AT ITER 2318 NEW BEST:: SOT 5056278 SOS 3089533 HAS SOPS 3089533 HAS SOUS 2423058 HAS SOUPS 2423058 WITH SCORE 2426147.533
AT ITER 2339 NEW BEST:: SOT 5055331 SOS 3084050 HAS SOPS 3084050 HAS SOUS 2420417 HAS SOUPS 2420417 WITH SCORE 2423501.05
AT ITER 2343 NEW BEST:: SOT 5055228 SOS 3083945 HAS SOPS 3083945 HAS SOUS 2420312 HAS SOUPS 2420312 WITH SCORE 2423395.945
AT ITER 2359 NEW BEST:: SOT 5054703 SOS 3083420 HAS SOPS 3083420 HAS SOUS 2419787 HAS SOUPS 2419787 WITH SCORE 2422870.42
AT ITER 2365 NEW BEST:: SOT 5053908 SOS 3082696 HAS SOPS 3082696 HAS SOUS 2419130 HAS SOUPS 2419130 WITH SCORE 2422212.696
AT ITER 2371 NEW BEST:: SOT 5052916 SOS 3081996 HAS SOPS 3081996 HAS SOUS 2418430 HAS SOUPS 2418430 WITH SCORE 2421511.996
AT ITER 2372 NEW BEST:: SOT 5052185 SOS 3081265 HAS SOPS 3081265 HAS SOUS 2417699 HAS SOUPS 2417699 WITH SCORE 2420780.265
AT ITER 2383 NEW BEST:: SOT 5052002 SOS 3080350 HAS SOPS 3080350 HAS SOUS 2417698 HAS SOUPS 2417698 WITH SCORE 2420778.35
AT ITER 2393 NEW BEST:: SOT 5051995 SOS 3079421 HAS SOPS 3079421 HAS SOUS 2417459 HAS SOUPS 2417459 WITH SCORE 2420538.421
AT ITER 2394 NEW BEST:: SOT 5051963 SOS 3079389 HAS SOPS 3079389 HAS SOUS 2417427 HAS SOUPS 2417427 WITH SCORE 2420506.389
AT ITER 2408 NEW BEST:: SOT 5051962 SOS 3077557 HAS SOPS 3077557 HAS SOUS 2417406 HAS SOUPS 2417406 WITH SCORE 2420483.557
AT ITER 2409 NEW BEST:: SOT 5051378 SOS 3076973 HAS SOPS 3076973 HAS SOUS 2416822 HAS SOUPS 2416822 WITH SCORE 2419898.973
AT ITER 2412 NEW BEST:: SOT 5050874 SOS 3076480 HAS SOPS 3076480 HAS SOUS 2416324 HAS SOUPS 2416324 WITH SCORE 2419400.48
AT ITER 2426 NEW BEST:: SOT 5049588 SOS 3075194 HAS SOPS 3075194 HAS SOUS 2415038 HAS SOUPS 2415038 WITH SCORE 2418113.194
AT ITER 2428 NEW BEST:: SOT 5048408 SOS 3073322 HAS SOPS 3073322 HAS SOUS 2413166 HAS SOUPS 2413166 WITH SCORE 2416239.322
AT ITER 2447 NEW BEST:: SOT 5048023 SOS 3072692 HAS SOPS 3072692 HAS SOUS 2412536 HAS SOUPS 2412536 WITH SCORE 2415608.692
AT ITER 2459 NEW BEST:: SOT 5047483 SOS 3072152 HAS SOPS 3072152 HAS SOUS 2411996 HAS SOUPS 2411996 WITH SCORE 2415068.152
AT ITER 2477 NEW BEST:: SOT 5048138 SOS 3066631 HAS SOPS 3066631 HAS SOUS 2410923 HAS SOUPS 2410923 WITH SCORE 2413989.631
AT ITER 2480 NEW BEST:: SOT 5048730 SOS 3066751 HAS SOPS 3066751 HAS SOUS 2410758 HAS SOUPS 2410758 WITH SCORE 2413824.751
AT ITER 2486 NEW BEST:: SOT 5048493 SOS 3066514 HAS SOPS 3066514 HAS SOUS 2410521 HAS SOUPS 2410521 WITH SCORE 2413587.514
AT ITER 2506 NEW BEST:: SOT 5048410 SOS 3066431 HAS SOPS 3066431 HAS SOUS 2410438 HAS SOUPS 2410438 WITH SCORE 2413504.431
AT ITER 2523 NEW BEST:: SOT 5047933 SOS 3065952 HAS SOPS 3065952 HAS SOUS 2409959 HAS SOUPS 2409959 WITH SCORE 2413024.952
AT ITER 2535 NEW BEST:: SOT 5047773 SOS 3065792 HAS SOPS 3065792 HAS SOUS 2409799 HAS SOUPS 2409799 WITH SCORE 2412864.792
AT ITER 2550 NEW BEST:: SOT 5046729 SOS 3064960 HAS SOPS 3064960 HAS SOUS 2408967 HAS SOUPS 2408967 WITH SCORE 2412031.96
AT ITER 2556 NEW BEST:: SOT 5046723 SOS 3064793 HAS SOPS 3064793 HAS SOUS 2408931 HAS SOUPS 2408931 WITH SCORE 2411995.793
AT ITER 2558 NEW BEST:: SOT 5046169 SOS 3063647 HAS SOPS 3063647 HAS SOUS 2408052 HAS SOUPS 2408052 WITH SCORE 2411115.647
AT ITER 2564 NEW BEST:: SOT 5046111 SOS 3063357 HAS SOPS 3063357 HAS SOUS 2408052 HAS SOUPS 2408052 WITH SCORE 2411115.357
AT ITER 2567 NEW BEST:: SOT 5043606 SOS 3061099 HAS SOPS 3061099 HAS SOUS 2405794 HAS SOUPS 2405794 WITH SCORE 2408855.099
AT ITER 2570 NEW BEST:: SOT 5042663 SOS 3060156 HAS SOPS 3060156 HAS SOUS 2404851 HAS SOUPS 2404851 WITH SCORE 2407911.156
AT ITER 2571 NEW BEST:: SOT 5042160 SOS 3059651 HAS SOPS 3059651 HAS SOUS 2404347 HAS SOUPS 2404347 WITH SCORE 2407406.651
AT ITER 2576 NEW BEST:: SOT 5042159 SOS 3058604 HAS SOPS 3058604 HAS SOUS 2403300 HAS SOUPS 2403300 WITH SCORE 2406358.604
AT ITER 2577 NEW BEST:: SOT 5042159 SOS 3059080 HAS SOPS 3059080 HAS SOUS 2403289 HAS SOUPS 2403289 WITH SCORE 2406348.08
AT ITER 2580 NEW BEST:: SOT 5042455 SOS 3058820 HAS SOPS 3058820 HAS SOUS 2403028 HAS SOUPS 2403028 WITH SCORE 2406086.82
AT ITER 2583 NEW BEST:: SOT 5041520 SOS 3057820 HAS SOPS 3057820 HAS SOUS 2402028 HAS SOUPS 2402028 WITH SCORE 2405085.82
AT ITER 2585 NEW BEST:: SOT 5041135 SOS 3057942 HAS SOPS 3057942 HAS SOUS 2401897 HAS SOUPS 2401897 WITH SCORE 2404954.942
AT ITER 2594 NEW BEST:: SOT 5040377 SOS 3057183 HAS SOPS 3057183 HAS SOUS 2401138 HAS SOUPS 2401138 WITH SCORE 2404195.183
AT ITER 2601 NEW BEST:: SOT 5039377 SOS 3051183 HAS SOPS 3051183 HAS SOUS 2400138 HAS SOUPS 2400138 WITH SCORE 2403189.183
AT ITER 2604 NEW BEST:: SOT 5039082 SOS 3048304 HAS SOPS 3048304 HAS SOUS 2400138 HAS SOUPS 2400138 WITH SCORE 2403186.304
AT ITER 2606 NEW BEST:: SOT 5039075 SOS 3045927 HAS SOPS 3045927 HAS SOUS 2400138 HAS SOUPS 2400138 WITH SCORE 2403183.927
AT ITER 2630 NEW BEST:: SOT 5038458 SOS 3042842 HAS SOPS 3042842 HAS SOUS 2400138 HAS SOUPS 2400138 WITH SCORE 2403180.842
AT ITER 2641 NEW BEST:: SOT 5038458 SOS 3042842 HAS SOPS 3042842 HAS SOUS 2400086 HAS SOUPS 2400086 WITH SCORE 2403128.842
AT ITER 2647 NEW BEST:: SOT 5038312 SOS 3042696 HAS SOPS 3042696 HAS SOUS 2399940 HAS SOUPS 2399940 WITH SCORE 2402982.696
AT ITER 2648 NEW BEST:: SOT 5038310 SOS 3041099 HAS SOPS 3041099 HAS SOUS 2399300 HAS SOUPS 2399300 WITH SCORE 2402341.099
AT ITER 2651 NEW BEST:: SOT 5038447 SOS 3040033 HAS SOPS 3040033 HAS SOUS 2398656 HAS SOUPS 2398656 WITH SCORE 2401696.033
AT ITER 2660 NEW BEST:: SOT 5038556 SOS 3033348 HAS SOPS 3033348 HAS SOUS 2398326 HAS SOUPS 2398326 WITH SCORE 2401359.348
AT ITER 2667 NEW BEST:: SOT 5037466 SOS 3032258 HAS SOPS 3032258 HAS SOUS 2397236 HAS SOUPS 2397236 WITH SCORE 2400268.258
AT ITER 2669 NEW BEST:: SOT 5037570 SOS 3027900 HAS SOPS 3027900 HAS SOUS 2396659 HAS SOUPS 2396659 WITH SCORE 2399686.9
AT ITER 2671 NEW BEST:: SOT 5036826 SOS 3027156 HAS SOPS 3027156 HAS SOUS 2395915 HAS SOUPS 2395915 WITH SCORE 2398942.156
AT ITER 2672 NEW BEST:: SOT 5038216 SOS 3028302 HAS SOPS 3028302 HAS SOUS 2395255 HAS SOUPS 2395255 WITH SCORE 2398283.302
AT ITER 2676 NEW BEST:: SOT 5037308 SOS 3027394 HAS SOPS 3027394 HAS SOUS 2394347 HAS SOUPS 2394347 WITH SCORE 2397374.394
AT ITER 2687 NEW BEST:: SOT 5036714 SOS 3024424 HAS SOPS 3024424 HAS SOUS 2394347 HAS SOUPS 2394347 WITH SCORE 2397371.424
AT ITER 2695 NEW BEST:: SOT 5036279 SOS 3023989 HAS SOPS 3023989 HAS SOUS 2393912 HAS SOUPS 2393912 WITH SCORE 2396935.989
AT ITER 2712 NEW BEST:: SOT 5036208 SOS 3023917 HAS SOPS 3023917 HAS SOUS 2393840 HAS SOUPS 2393840 WITH SCORE 2396863.917
AT ITER 2717 NEW BEST:: SOT 5036079 SOS 3023788 HAS SOPS 3023788 HAS SOUS 2393576 HAS SOUPS 2393576 WITH SCORE 2396599.788
AT ITER 2718 NEW BEST:: SOT 5035439 SOS 3015358 HAS SOPS 3015358 HAS SOUS 2389948 HAS SOUPS 2389948 WITH SCORE 2392963.358
AT ITER 2720 NEW BEST:: SOT 5035319 SOS 3015238 HAS SOPS 3015238 HAS SOUS 2389827 HAS SOUPS 2389827 WITH SCORE 2392842.238
AT ITER 2728 NEW BEST:: SOT 5035319 SOS 3015238 HAS SOPS 3015238 HAS SOUS 2389679 HAS SOUPS 2389679 WITH SCORE 2392694.238
AT ITER 2737 NEW BEST:: SOT 5034949 SOS 3015172 HAS SOPS 3015172 HAS SOUS 2389454 HAS SOUPS 2389454 WITH SCORE 2392469.172
AT ITER 2741 NEW BEST:: SOT 5034858 SOS 3013637 HAS SOPS 3013637 HAS SOUS 2389454 HAS SOUPS 2389454 WITH SCORE 2392467.637
AT ITER 2742 NEW BEST:: SOT 5033050 SOS 3011814 HAS SOPS 3011814 HAS SOUS 2387631 HAS SOUPS 2387631 WITH SCORE 2390642.814
AT ITER 2744 NEW BEST:: SOT 5032964 SOS 3011728 HAS SOPS 3011728 HAS SOUS 2387545 HAS SOUPS 2387545 WITH SCORE 2390556.728
AT ITER 2745 NEW BEST:: SOT 5032512 SOS 3011276 HAS SOPS 3011276 HAS SOUS 2387093 HAS SOUPS 2387093 WITH SCORE 2390104.276
AT ITER 2753 NEW BEST:: SOT 5032661 SOS 3011027 HAS SOPS 3011027 HAS SOUS 2386502 HAS SOUPS 2386502 WITH SCORE 2389513.027
AT ITER 2765 NEW BEST:: SOT 5031050 SOS 3009407 HAS SOPS 3009407 HAS SOUS 2384882 HAS SOUPS 2384882 WITH SCORE 2387891.407
AT ITER 2774 NEW BEST:: SOT 5030869 SOS 3008386 HAS SOPS 3008386 HAS SOUS 2383861 HAS SOUPS 2383861 WITH SCORE 2386869.386
AT ITER 2793 NEW BEST:: SOT 5030649 SOS 3008166 HAS SOPS 3008166 HAS SOUS 2383641 HAS SOUPS 2383641 WITH SCORE 2386649.166
AT ITER 2812 NEW BEST:: SOT 5030838 SOS 3003213 HAS SOPS 3003213 HAS SOUS 2381543 HAS SOUPS 2381543 WITH SCORE 2384546.213
AT ITER 2821 NEW BEST:: SOT 5030831 SOS 3001440 HAS SOPS 3001440 HAS SOUS 2381093 HAS SOUPS 2381093 WITH SCORE 2384094.44
AT ITER 2825 NEW BEST:: SOT 5031289 SOS 3000929 HAS SOPS 3000929 HAS SOUS 2380582 HAS SOUPS 2380582 WITH SCORE 2383582.929
AT ITER 2833 NEW BEST:: SOT 5030598 SOS 3000237 HAS SOPS 3000237 HAS SOUS 2379890 HAS SOUPS 2379890 WITH SCORE 2382890.237
AT ITER 2834 NEW BEST:: SOT 5030541 SOS 2999952 HAS SOPS 2999952 HAS SOUS 2379885 HAS SOUPS 2379885 WITH SCORE 2382884.952
AT ITER 2836 NEW BEST:: SOT 5030491 SOS 2999206 HAS SOPS 2999206 HAS SOUS 2379884 HAS SOUPS 2379884 WITH SCORE 2382883.206
AT ITER 2839 NEW BEST:: SOT 5030491 SOS 2997182 HAS SOPS 2997182 HAS SOUS 2379378 HAS SOUPS 2379378 WITH SCORE 2382375.182
AT ITER 2844 NEW BEST:: SOT 5028780 SOS 2996165 HAS SOPS 2996165 HAS SOUS 2378214 HAS SOUPS 2378214 WITH SCORE 2381210.165
AT ITER 2855 NEW BEST:: SOT 5028780 SOS 2996153 HAS SOPS 2996153 HAS SOUS 2378196 HAS SOUPS 2378196 WITH SCORE 2381192.153
AT ITER 2856 NEW BEST:: SOT 5027715 SOS 2994024 HAS SOPS 2994024 HAS SOUS 2376067 HAS SOUPS 2376067 WITH SCORE 2379061.024
AT ITER 2857 NEW BEST:: SOT 5027129 SOS 2993491 HAS SOPS 2993491 HAS SOUS 2375507 HAS SOUPS 2375507 WITH SCORE 2378500.491
AT ITER 2859 NEW BEST:: SOT 5025010 SOS 2991370 HAS SOPS 2991370 HAS SOUS 2373386 HAS SOUPS 2373386 WITH SCORE 2376377.37
AT ITER 2870 NEW BEST:: SOT 5024864 SOS 2991314 HAS SOPS 2991314 HAS SOUS 2372528 HAS SOUPS 2372528 WITH SCORE 2375519.314
AT ITER 2872 NEW BEST:: SOT 5024348 SOS 2990798 HAS SOPS 2990798 HAS SOUS 2372012 HAS SOUPS 2372012 WITH SCORE 2375002.798
AT ITER 2883 NEW BEST:: SOT 5023808 SOS 2982517 HAS SOPS 2982517 HAS SOUS 2368673 HAS SOUPS 2368673 WITH SCORE 2371655.517
AT ITER 2888 NEW BEST:: SOT 5023807 SOS 2982516 HAS SOPS 2982516 HAS SOUS 2368672 HAS SOUPS 2368672 WITH SCORE 2371654.516
AT ITER 2889 NEW BEST:: SOT 5023228 SOS 2981927 HAS SOPS 2981927 HAS SOUS 2368070 HAS SOUPS 2368070 WITH SCORE 2371051.927
AT ITER 2897 NEW BEST:: SOT 5023221 SOS 2981920 HAS SOPS 2981920 HAS SOUS 2368063 HAS SOUPS 2368063 WITH SCORE 2371044.92
AT ITER 2901 NEW BEST:: SOT 5021979 SOS 2980678 HAS SOPS 2980678 HAS SOUS 2366821 HAS SOUPS 2366821 WITH SCORE 2369801.678
AT ITER 2902 NEW BEST:: SOT 5021597 SOS 2979786 HAS SOPS 2979786 HAS SOUS 2365687 HAS SOUPS 2365687 WITH SCORE 2368666.786
AT ITER 2911 NEW BEST:: SOT 5021170 SOS 2978881 HAS SOPS 2978881 HAS SOUS 2364782 HAS SOUPS 2364782 WITH SCORE 2367760.881
AT ITER 2912 NEW BEST:: SOT 5020378 SOS 2977801 HAS SOPS 2977801 HAS SOUS 2363702 HAS SOUPS 2363702 WITH SCORE 2366679.801
AT ITER 2915 NEW BEST:: SOT 5016418 SOS 2972099 HAS SOPS 2972099 HAS SOUS 2358007 HAS SOUPS 2358007 WITH SCORE 2360979.099
AT ITER 2919 NEW BEST:: SOT 5016041 SOS 2971719 HAS SOPS 2971719 HAS SOUS 2357627 HAS SOUPS 2357627 WITH SCORE 2360598.719
AT ITER 2922 NEW BEST:: SOT 5015887 SOS 2971488 HAS SOPS 2971488 HAS SOUS 2357396 HAS SOUPS 2357396 WITH SCORE 2360367.488
AT ITER 2928 NEW BEST:: SOT 5015572 SOS 2970858 HAS SOPS 2970858 HAS SOUS 2356766 HAS SOUPS 2356766 WITH SCORE 2359736.858
AT ITER 2935 NEW BEST:: SOT 5015570 SOS 2970854 HAS SOPS 2970854 HAS SOUS 2356762 HAS SOUPS 2356762 WITH SCORE 2359732.854
AT ITER 2942 NEW BEST:: SOT 5015440 SOS 2970724 HAS SOPS 2970724 HAS SOUS 2356632 HAS SOUPS 2356632 WITH SCORE 2359602.724
AT ITER 2946 NEW BEST:: SOT 5015914 SOS 2966453 HAS SOPS 2966453 HAS SOUS 2355407 HAS SOUPS 2355407 WITH SCORE 2358373.453
AT ITER 2952 NEW BEST:: SOT 5015914 SOS 2966195 HAS SOPS 2966195 HAS SOUS 2355216 HAS SOUPS 2355216 WITH SCORE 2358182.195
AT ITER 2955 NEW BEST:: SOT 5015251 SOS 2965532 HAS SOPS 2965532 HAS SOUS 2354553 HAS SOUPS 2354553 WITH SCORE 2357518.532
AT ITER 2968 NEW BEST:: SOT 5014292 SOS 2964935 HAS SOPS 2964935 HAS SOUS 2353956 HAS SOUPS 2353956 WITH SCORE 2356920.935
AT ITER 2978 NEW BEST:: SOT 5014196 SOS 2964750 HAS SOPS 2964750 HAS SOUS 2353466 HAS SOUPS 2353466 WITH SCORE 2356430.75
AT ITER 2990 NEW BEST:: SOT 5014544 SOS 2965334 HAS SOPS 2965334 HAS SOUS 2352734 HAS SOUPS 2352734 WITH SCORE 2355699.334
AT ITER 2994 NEW BEST:: SOT 5014544 SOS 2962318 HAS SOPS 2962318 HAS SOUS 2352734 HAS SOUPS 2352734 WITH SCORE 2355696.318
AT ITER 3005 NEW BEST:: SOT 5014397 SOS 2961421 HAS SOPS 2961421 HAS SOUS 2352272 HAS SOUPS 2352272 WITH SCORE 2355233.421
AT ITER 3015 NEW BEST:: SOT 5014365 SOS 2961965 HAS SOPS 2961965 HAS SOUS 2351816 HAS SOUPS 2351816 WITH SCORE 2354777.965
AT ITER 3025 NEW BEST:: SOT 5014553 SOS 2960841 HAS SOPS 2960841 HAS SOUS 2351024 HAS SOUPS 2351024 WITH SCORE 2353984.841
AT ITER 3034 NEW BEST:: SOT 5014545 SOS 2960822 HAS SOPS 2960822 HAS SOUS 2350999 HAS SOUPS 2350999 WITH SCORE 2353959.822
AT ITER 3035 NEW BEST:: SOT 5014407 SOS 2960684 HAS SOPS 2960684 HAS SOUS 2350861 HAS SOUPS 2350861 WITH SCORE 2353821.684
AT ITER 3039 NEW BEST:: SOT 5014154 SOS 2959419 HAS SOPS 2959419 HAS SOUS 2350860 HAS SOUPS 2350860 WITH SCORE 2353819.419
AT ITER 3043 NEW BEST:: SOT 5013763 SOS 2958338 HAS SOPS 2958338 HAS SOUS 2349782 HAS SOUPS 2349782 WITH SCORE 2352740.338
AT ITER 3051 NEW BEST:: SOT 5013169 SOS 2958036 HAS SOPS 2958036 HAS SOUS 2349631 HAS SOUPS 2349631 WITH SCORE 2352589.036
AT ITER 3054 NEW BEST:: SOT 5013128 SOS 2957995 HAS SOPS 2957995 HAS SOUS 2349590 HAS SOUPS 2349590 WITH SCORE 2352547.995
AT ITER 3058 NEW BEST:: SOT 5014014 SOS 2957567 HAS SOPS 2957567 HAS SOUS 2349162 HAS SOUPS 2349162 WITH SCORE 2352119.567
AT ITER 3064 NEW BEST:: SOT 5013434 SOS 2956697 HAS SOPS 2956697 HAS SOUS 2348292 HAS SOUPS 2348292 WITH SCORE 2351248.697
AT ITER 3065 NEW BEST:: SOT 5012614 SOS 2955877 HAS SOPS 2955877 HAS SOUS 2347472 HAS SOUPS 2347472 WITH SCORE 2350427.877
AT ITER 3066 NEW BEST:: SOT 5011947 SOS 2952542 HAS SOPS 2952542 HAS SOUS 2347470 HAS SOUPS 2347470 WITH SCORE 2350422.542
AT ITER 3070 NEW BEST:: SOT 5011023 SOS 2951618 HAS SOPS 2951618 HAS SOUS 2346546 HAS SOUPS 2346546 WITH SCORE 2349497.618
AT ITER 3076 NEW BEST:: SOT 5010725 SOS 2951171 HAS SOPS 2951171 HAS SOUS 2346099 HAS SOUPS 2346099 WITH SCORE 2349050.171
AT ITER 3083 NEW BEST:: SOT 5009049 SOS 2949495 HAS SOPS 2949495 HAS SOUS 2344423 HAS SOUPS 2344423 WITH SCORE 2347372.495
AT ITER 3086 NEW BEST:: SOT 5008140 SOS 2948575 HAS SOPS 2948575 HAS SOUS 2343501 HAS SOUPS 2343501 WITH SCORE 2346449.575
AT ITER 3101 NEW BEST:: SOT 5008140 SOS 2948562 HAS SOPS 2948562 HAS SOUS 2343484 HAS SOUPS 2343484 WITH SCORE 2346432.562
AT ITER 3106 NEW BEST:: SOT 5007388 SOS 2947810 HAS SOPS 2947810 HAS SOUS 2342732 HAS SOUPS 2342732 WITH SCORE 2345679.81
AT ITER 3122 NEW BEST:: SOT 5007455 SOS 2947666 HAS SOPS 2947666 HAS SOUS 2342588 HAS SOUPS 2342588 WITH SCORE 2345535.666
AT ITER 3129 NEW BEST:: SOT 5007453 SOS 2946671 HAS SOPS 2946671 HAS SOUS 2342565 HAS SOUPS 2342565 WITH SCORE 2345511.671
AT ITER 3141 NEW BEST:: SOT 5007313 SOS 2946531 HAS SOPS 2946531 HAS SOUS 2342425 HAS SOUPS 2342425 WITH SCORE 2345371.531
AT ITER 3145 NEW BEST:: SOT 5007313 SOS 2946509 HAS SOPS 2946509 HAS SOUS 2342008 HAS SOUPS 2342008 WITH SCORE 2344954.509
AT ITER 3146 NEW BEST:: SOT 5007345 SOS 2946485 HAS SOPS 2946485 HAS SOUS 2341985 HAS SOUPS 2341985 WITH SCORE 2344931.485
AT ITER 3156 NEW BEST:: SOT 5006941 SOS 2945677 HAS SOPS 2945677 HAS SOUS 2341985 HAS SOUPS 2341985 WITH SCORE 2344930.677
AT ITER 3157 NEW BEST:: SOT 5006801 SOS 2945535 HAS SOPS 2945535 HAS SOUS 2341843 HAS SOUPS 2341843 WITH SCORE 2344788.535
AT ITER 3158 NEW BEST:: SOT 5006801 SOS 2945231 HAS SOPS 2945231 HAS SOUS 2341843 HAS SOUPS 2341843 WITH SCORE 2344788.231
AT ITER 3161 NEW BEST:: SOT 5006690 SOS 2945118 HAS SOPS 2945118 HAS SOUS 2341730 HAS SOUPS 2341730 WITH SCORE 2344675.118
AT ITER 3175 NEW BEST:: SOT 5006364 SOS 2944807 HAS SOPS 2944807 HAS SOUS 2341653 HAS SOUPS 2341653 WITH SCORE 2344597.807
AT ITER 3180 NEW BEST:: SOT 5006364 SOS 2944796 HAS SOPS 2944796 HAS SOUS 2341633 HAS SOUPS 2341633 WITH SCORE 2344577.796
AT ITER 3181 NEW BEST:: SOT 5006480 SOS 2943846 HAS SOPS 2943846 HAS SOUS 2340413 HAS SOUPS 2340413 WITH SCORE 2343356.846
AT ITER 3184 NEW BEST:: SOT 5004932 SOS 2942296 HAS SOPS 2942296 HAS SOUS 2338173 HAS SOUPS 2338173 WITH SCORE 2341115.296
AT ITER 3187 NEW BEST:: SOT 5004730 SOS 2942093 HAS SOPS 2942093 HAS SOUS 2337970 HAS SOUPS 2337970 WITH SCORE 2340912.093
AT ITER 3189 NEW BEST:: SOT 5004136 SOS 2942234 HAS SOPS 2942234 HAS SOUS 2337266 HAS SOUPS 2337266 WITH SCORE 2340208.234
AT ITER 3194 NEW BEST:: SOT 5007051 SOS 2946122 HAS SOPS 2946122 HAS SOUS 2337015 HAS SOUPS 2337015 WITH SCORE 2339961.122
AT ITER 3198 NEW BEST:: SOT 5006441 SOS 2945348 HAS SOPS 2945348 HAS SOUS 2336241 HAS SOUPS 2336241 WITH SCORE 2339186.348
AT ITER 3205 NEW BEST:: SOT 5005855 SOS 2944762 HAS SOPS 2944762 HAS SOUS 2334736 HAS SOUPS 2334736 WITH SCORE 2337680.762
AT ITER 3206 NEW BEST:: SOT 5005641 SOS 2944548 HAS SOPS 2944548 HAS SOUS 2334522 HAS SOUPS 2334522 WITH SCORE 2337466.548
AT ITER 3209 NEW BEST:: SOT 5005641 SOS 2944228 HAS SOPS 2944228 HAS SOUS 2334442 HAS SOUPS 2334442 WITH SCORE 2337386.228
AT ITER 3215 NEW BEST:: SOT 5005306 SOS 2943223 HAS SOPS 2943223 HAS SOUS 2333772 HAS SOUPS 2333772 WITH SCORE 2336715.223
AT ITER 3219 NEW BEST:: SOT 5004097 SOS 2941941 HAS SOPS 2941941 HAS SOUS 2332490 HAS SOUPS 2332490 WITH SCORE 2335431.941
AT ITER 3220 NEW BEST:: SOT 5003999 SOS 2941843 HAS SOPS 2941843 HAS SOUS 2332392 HAS SOUPS 2332392 WITH SCORE 2335333.843
AT ITER 3225 NEW BEST:: SOT 5003998 SOS 2940075 HAS SOPS 2940075 HAS SOUS 2332369 HAS SOUPS 2332369 WITH SCORE 2335309.075
AT ITER 3228 NEW BEST:: SOT 5003795 SOS 2939872 HAS SOPS 2939872 HAS SOUS 2332166 HAS SOUPS 2332166 WITH SCORE 2335105.872
AT ITER 3244 NEW BEST:: SOT 5002896 SOS 2935377 HAS SOPS 2935377 HAS SOUS 2332166 HAS SOUPS 2332166 WITH SCORE 2335101.377
AT ITER 3252 NEW BEST:: SOT 5002895 SOS 2930746 HAS SOPS 2930746 HAS SOUS 2332147 HAS SOUPS 2332147 WITH SCORE 2335077.746
AT ITER 3254 NEW BEST:: SOT 5002388 SOS 2930239 HAS SOPS 2930239 HAS SOUS 2331640 HAS SOUPS 2331640 WITH SCORE 2334570.239
AT ITER 3258 NEW BEST:: SOT 5001775 SOS 2929350 HAS SOPS 2929350 HAS SOUS 2330889 HAS SOUPS 2330889 WITH SCORE 2333818.35
AT ITER 3273 NEW BEST:: SOT 5000052 SOS 2927625 HAS SOPS 2927625 HAS SOUS 2329164 HAS SOUPS 2329164 WITH SCORE 2332091.625
AT ITER 3285 NEW BEST:: SOT 5000569 SOS 2928209 HAS SOPS 2928209 HAS SOUS 2328798 HAS SOUPS 2328798 WITH SCORE 2331726.209
AT ITER 3311 NEW BEST:: SOT 4999903 SOS 2925579 HAS SOPS 2925579 HAS SOUS 2327363 HAS SOUPS 2327363 WITH SCORE 2330288.579
AT ITER 3315 NEW BEST:: SOT 4999738 SOS 2925414 HAS SOPS 2925414 HAS SOUS 2327198 HAS SOUPS 2327198 WITH SCORE 2330123.414
AT ITER 3318 NEW BEST:: SOT 4999695 SOS 2925370 HAS SOPS 2925370 HAS SOUS 2327154 HAS SOUPS 2327154 WITH SCORE 2330079.37
AT ITER 3319 NEW BEST:: SOT 4999695 SOS 2921529 HAS SOPS 2921529 HAS SOUS 2325871 HAS SOUPS 2325871 WITH SCORE 2328792.529
AT ITER 3334 NEW BEST:: SOT 4999633 SOS 2919828 HAS SOPS 2919828 HAS SOUS 2325809 HAS SOUPS 2325809 WITH SCORE 2328728.828
AT ITER 3336 NEW BEST:: SOT 4999092 SOS 2919287 HAS SOPS 2919287 HAS SOUS 2325268 HAS SOUPS 2325268 WITH SCORE 2328187.287
AT ITER 3345 NEW BEST:: SOT 4999025 SOS 2919206 HAS SOPS 2919206 HAS SOUS 2325187 HAS SOUPS 2325187 WITH SCORE 2328106.206
AT ITER 3372 NEW BEST:: SOT 4999012 SOS 2919182 HAS SOPS 2919182 HAS SOUS 2325151 HAS SOUPS 2325151 WITH SCORE 2328070.182
AT ITER 3384 NEW BEST:: SOT 4999011 SOS 2917298 HAS SOPS 2917298 HAS SOUS 2325130 HAS SOUPS 2325130 WITH SCORE 2328047.298
AT ITER 3386 NEW BEST:: SOT 4998502 SOS 2916789 HAS SOPS 2916789 HAS SOUS 2324621 HAS SOUPS 2324621 WITH SCORE 2327537.789
AT ITER 3395 NEW BEST:: SOT 4998328 SOS 2916498 HAS SOPS 2916498 HAS SOUS 2324330 HAS SOUPS 2324330 WITH SCORE 2327246.498
AT ITER 3398 NEW BEST:: SOT 4998017 SOS 2916187 HAS SOPS 2916187 HAS SOUS 2324019 HAS SOUPS 2324019 WITH SCORE 2326935.187
AT ITER 3402 NEW BEST:: SOT 4997440 SOS 2915610 HAS SOPS 2915610 HAS SOUS 2322924 HAS SOUPS 2322924 WITH SCORE 2325839.61
AT ITER 3405 NEW BEST:: SOT 4997457 SOS 2915539 HAS SOPS 2915539 HAS SOUS 2322887 HAS SOUPS 2322887 WITH SCORE 2325802.539
AT ITER 3408 NEW BEST:: SOT 4996434 SOS 2913951 HAS SOPS 2913951 HAS SOUS 2321299 HAS SOUPS 2321299 WITH SCORE 2324212.951
AT ITER 3415 NEW BEST:: SOT 4996172 SOS 2912435 HAS SOPS 2912435 HAS SOUS 2320361 HAS SOUPS 2320361 WITH SCORE 2323273.435
AT ITER 3421 NEW BEST:: SOT 4995330 SOS 2911817 HAS SOPS 2911817 HAS SOUS 2319743 HAS SOUPS 2319743 WITH SCORE 2322654.817
AT ITER 3431 NEW BEST:: SOT 4995364 SOS 2911756 HAS SOPS 2911756 HAS SOUS 2319682 HAS SOUPS 2319682 WITH SCORE 2322593.756
AT ITER 3441 NEW BEST:: SOT 4995364 SOS 2911440 HAS SOPS 2911440 HAS SOUS 2319682 HAS SOUPS 2319682 WITH SCORE 2322593.44
AT ITER 3447 NEW BEST:: SOT 4995112 SOS 2911007 HAS SOPS 2911007 HAS SOUS 2319249 HAS SOUPS 2319249 WITH SCORE 2322160.007
AT ITER 3464 NEW BEST:: SOT 4995131 SOS 2909956 HAS SOPS 2909956 HAS SOUS 2318977 HAS SOUPS 2318977 WITH SCORE 2321886.956
AT ITER 3476 NEW BEST:: SOT 4994785 SOS 2909610 HAS SOPS 2909610 HAS SOUS 2318631 HAS SOUPS 2318631 WITH SCORE 2321540.61
AT ITER 3482 NEW BEST:: SOT 4994627 SOS 2909452 HAS SOPS 2909452 HAS SOUS 2318473 HAS SOUPS 2318473 WITH SCORE 2321382.452
AT ITER 3488 NEW BEST:: SOT 4994627 SOS 2909752 HAS SOPS 2909752 HAS SOUS 2318343 HAS SOUPS 2318343 WITH SCORE 2321252.752
AT ITER 3494 NEW BEST:: SOT 4993737 SOS 2907934 HAS SOPS 2907934 HAS SOUS 2316755 HAS SOUPS 2316755 WITH SCORE 2319662.934
AT ITER 3495 NEW BEST:: SOT 4993714 SOS 2907911 HAS SOPS 2907911 HAS SOUS 2316732 HAS SOUPS 2316732 WITH SCORE 2319639.911
AT ITER 3502 NEW BEST:: SOT 4993701 SOS 2907888 HAS SOPS 2907888 HAS SOUS 2316696 HAS SOUPS 2316696 WITH SCORE 2319603.888
AT ITER 3506 NEW BEST:: SOT 4993660 SOS 2907845 HAS SOPS 2907845 HAS SOUS 2316693 HAS SOUPS 2316693 WITH SCORE 2319600.845
AT ITER 3514 NEW BEST:: SOT 4993660 SOS 2907833 HAS SOPS 2907833 HAS SOUS 2316685 HAS SOUPS 2316685 WITH SCORE 2319592.833
AT ITER 3516 NEW BEST:: SOT 4993612 SOS 2907785 HAS SOPS 2907785 HAS SOUS 2316637 HAS SOUPS 2316637 WITH SCORE 2319544.785
AT ITER 3527 NEW BEST:: SOT 4993460 SOS 2907627 HAS SOPS 2907627 HAS SOUS 2316464 HAS SOUPS 2316464 WITH SCORE 2319371.627
AT ITER 3531 NEW BEST:: SOT 4993275 SOS 2907429 HAS SOPS 2907429 HAS SOUS 2316258 HAS SOUPS 2316258 WITH SCORE 2319165.429
AT ITER 3534 NEW BEST:: SOT 4993042 SOS 2907195 HAS SOPS 2907195 HAS SOUS 2316024 HAS SOUPS 2316024 WITH SCORE 2318931.195
AT ITER 3548 NEW BEST:: SOT 4992308 SOS 2906094 HAS SOPS 2906094 HAS SOUS 2314923 HAS SOUPS 2314923 WITH SCORE 2317829.094
AT ITER 3557 NEW BEST:: SOT 4992308 SOS 2903744 HAS SOPS 2903744 HAS SOUS 2314498 HAS SOUPS 2314498 WITH SCORE 2317401.744
AT ITER 3561 NEW BEST:: SOT 4991876 SOS 2903467 HAS SOPS 2903467 HAS SOUS 2313714 HAS SOUPS 2313714 WITH SCORE 2316617.467
AT ITER 3576 NEW BEST:: SOT 4990852 SOS 2902504 HAS SOPS 2902504 HAS SOUS 2312428 HAS SOUPS 2312428 WITH SCORE 2315330.504
AT ITER 3579 NEW BEST:: SOT 4990378 SOS 2901642 HAS SOPS 2901642 HAS SOUS 2311566 HAS SOUPS 2311566 WITH SCORE 2314467.642
AT ITER 3589 NEW BEST:: SOT 4990266 SOS 2901525 HAS SOPS 2901525 HAS SOUS 2311449 HAS SOUPS 2311449 WITH SCORE 2314350.525
AT ITER 3594 NEW BEST:: SOT 4990266 SOS 2896203 HAS SOPS 2896203 HAS SOUS 2310094 HAS SOUPS 2310094 WITH SCORE 2312990.203
AT ITER 3595 NEW BEST:: SOT 4990049 SOS 2895986 HAS SOPS 2895986 HAS SOUS 2309877 HAS SOUPS 2309877 WITH SCORE 2312772.986
AT ITER 3596 NEW BEST:: SOT 4988916 SOS 2895206 HAS SOPS 2895206 HAS SOUS 2309097 HAS SOUPS 2309097 WITH SCORE 2311992.206
AT ITER 3608 NEW BEST:: SOT 4988916 SOS 2895279 HAS SOPS 2895279 HAS SOUS 2308258 HAS SOUPS 2308258 WITH SCORE 2311153.279
AT ITER 3619 NEW BEST:: SOT 4988338 SOS 2894602 HAS SOPS 2894602 HAS SOUS 2307581 HAS SOUPS 2307581 WITH SCORE 2310475.602
AT ITER 3621 NEW BEST:: SOT 4988319 SOS 2892983 HAS SOPS 2892983 HAS SOUS 2307282 HAS SOUPS 2307282 WITH SCORE 2310174.983
AT ITER 3650 NEW BEST:: SOT 4987887 SOS 2892551 HAS SOPS 2892551 HAS SOUS 2306850 HAS SOUPS 2306850 WITH SCORE 2309742.551
AT ITER 3658 NEW BEST:: SOT 4987187 SOS 2891840 HAS SOPS 2891840 HAS SOUS 2306133 HAS SOUPS 2306133 WITH SCORE 2309024.84
AT ITER 3659 NEW BEST:: SOT 4987645 SOS 2891718 HAS SOPS 2891718 HAS SOUS 2306011 HAS SOUPS 2306011 WITH SCORE 2308902.718
AT ITER 3662 NEW BEST:: SOT 4986223 SOS 2889707 HAS SOPS 2889707 HAS SOUS 2304010 HAS SOUPS 2304010 WITH SCORE 2306899.707
AT ITER 3667 NEW BEST:: SOT 4985621 SOS 2889104 HAS SOPS 2889104 HAS SOUS 2303407 HAS SOUPS 2303407 WITH SCORE 2306296.104
AT ITER 3671 NEW BEST:: SOT 4985965 SOS 2882475 HAS SOPS 2882475 HAS SOUS 2301251 HAS SOUPS 2301251 WITH SCORE 2304133.475
AT ITER 3678 NEW BEST:: SOT 4985316 SOS 2879230 HAS SOPS 2879230 HAS SOUS 2300656 HAS SOUPS 2300656 WITH SCORE 2303535.23
AT ITER 3681 NEW BEST:: SOT 4984570 SOS 2877784 HAS SOPS 2877784 HAS SOUS 2299210 HAS SOUPS 2299210 WITH SCORE 2302087.784
AT ITER 3693 NEW BEST:: SOT 4985432 SOS 2876165 HAS SOPS 2876165 HAS SOUS 2299138 HAS SOUPS 2299138 WITH SCORE 2302014.165
AT ITER 3710 NEW BEST:: SOT 4985432 SOS 2875337 HAS SOPS 2875337 HAS SOUS 2299114 HAS SOUPS 2299114 WITH SCORE 2301989.337
AT ITER 3736 NEW BEST:: SOT 4985079 SOS 2876131 HAS SOPS 2876131 HAS SOUS 2298710 HAS SOUPS 2298710 WITH SCORE 2301586.131
AT ITER 3737 NEW BEST:: SOT 4985528 SOS 2876580 HAS SOPS 2876580 HAS SOUS 2298708 HAS SOUPS 2298708 WITH SCORE 2301584.58
AT ITER 3738 NEW BEST:: SOT 4984802 SOS 2875312 HAS SOPS 2875312 HAS SOUS 2297241 HAS SOUPS 2297241 WITH SCORE 2300116.312
AT ITER 3750 NEW BEST:: SOT 4984546 SOS 2875056 HAS SOPS 2875056 HAS SOUS 2296985 HAS SOUPS 2296985 WITH SCORE 2299860.056
AT ITER 3754 NEW BEST:: SOT 4984087 SOS 2869875 HAS SOPS 2869875 HAS SOUS 2293171 HAS SOUPS 2293171 WITH SCORE 2296040.875
AT ITER 3762 NEW BEST:: SOT 4983356 SOS 2869073 HAS SOPS 2869073 HAS SOUS 2292302 HAS SOUPS 2292302 WITH SCORE 2295171.073
AT ITER 3764 NEW BEST:: SOT 4983101 SOS 2868306 HAS SOPS 2868306 HAS SOUS 2291535 HAS SOUPS 2291535 WITH SCORE 2294403.306
AT ITER 3781 NEW BEST:: SOT 4983099 SOS 2868304 HAS SOPS 2868304 HAS SOUS 2291533 HAS SOUPS 2291533 WITH SCORE 2294401.304
AT ITER 3789 NEW BEST:: SOT 4982913 SOS 2868118 HAS SOPS 2868118 HAS SOUS 2291347 HAS SOUPS 2291347 WITH SCORE 2294215.118
AT ITER 3800 NEW BEST:: SOT 4982175 SOS 2866820 HAS SOPS 2866820 HAS SOUS 2290061 HAS SOUPS 2290061 WITH SCORE 2292927.82
AT ITER 3802 NEW BEST:: SOT 4981860 SOS 2866505 HAS SOPS 2866505 HAS SOUS 2289746 HAS SOUPS 2289746 WITH SCORE 2292612.505
AT ITER 3805 NEW BEST:: SOT 4981286 SOS 2863996 HAS SOPS 2863996 HAS SOUS 2289170 HAS SOUPS 2289170 WITH SCORE 2292033.996
AT ITER 3808 NEW BEST:: SOT 4980855 SOS 2863565 HAS SOPS 2863565 HAS SOUS 2288739 HAS SOUPS 2288739 WITH SCORE 2291602.565
AT ITER 3816 NEW BEST:: SOT 4979657 SOS 2862374 HAS SOPS 2862374 HAS SOUS 2287547 HAS SOUPS 2287547 WITH SCORE 2290409.374
AT ITER 3820 NEW BEST:: SOT 4978372 SOS 2861087 HAS SOPS 2861087 HAS SOUS 2286260 HAS SOUPS 2286260 WITH SCORE 2289121.087
AT ITER 3823 NEW BEST:: SOT 4979866 SOS 2856255 HAS SOPS 2856255 HAS SOUS 2286107 HAS SOUPS 2286107 WITH SCORE 2288963.255
AT ITER 3826 NEW BEST:: SOT 4979809 SOS 2856198 HAS SOPS 2856198 HAS SOUS 2286050 HAS SOUPS 2286050 WITH SCORE 2288906.198
AT ITER 3832 NEW BEST:: SOT 4979640 SOS 2855860 HAS SOPS 2855860 HAS SOUS 2285712 HAS SOUPS 2285712 WITH SCORE 2288567.86
AT ITER 3842 NEW BEST:: SOT 4979799 SOS 2856805 HAS SOPS 2856805 HAS SOUS 2284466 HAS SOUPS 2284466 WITH SCORE 2287322.805
AT ITER 3843 NEW BEST:: SOT 4979781 SOS 2856737 HAS SOPS 2856737 HAS SOUS 2284428 HAS SOUPS 2284428 WITH SCORE 2287284.737
AT ITER 3844 NEW BEST:: SOT 4978813 SOS 2851209 HAS SOPS 2851209 HAS SOUS 2281804 HAS SOUPS 2281804 WITH SCORE 2284655.209
AT ITER 3850 NEW BEST:: SOT 4977592 SOS 2849230 HAS SOPS 2849230 HAS SOUS 2279825 HAS SOUPS 2279825 WITH SCORE 2282674.23
AT ITER 3860 NEW BEST:: SOT 4977592 SOS 2849220 HAS SOPS 2849220 HAS SOUS 2279807 HAS SOUPS 2279807 WITH SCORE 2282656.22
AT ITER 3863 NEW BEST:: SOT 4977167 SOS 2848795 HAS SOPS 2848795 HAS SOUS 2279382 HAS SOUPS 2279382 WITH SCORE 2282230.795
AT ITER 3864 NEW BEST:: SOT 4976513 SOS 2848141 HAS SOPS 2848141 HAS SOUS 2278728 HAS SOUPS 2278728 WITH SCORE 2281576.141
AT ITER 3866 NEW BEST:: SOT 4976237 SOS 2847431 HAS SOPS 2847431 HAS SOUS 2278676 HAS SOUPS 2278676 WITH SCORE 2281523.431
AT ITER 3890 NEW BEST:: SOT 4974219 SOS 2845411 HAS SOPS 2845411 HAS SOUS 2276491 HAS SOUPS 2276491 WITH SCORE 2279336.411
AT ITER 3891 NEW BEST:: SOT 4973465 SOS 2838701 HAS SOPS 2838701 HAS SOUS 2273185 HAS SOUPS 2273185 WITH SCORE 2276023.701
AT ITER 3893 NEW BEST:: SOT 4973596 SOS 2838605 HAS SOPS 2838605 HAS SOUS 2273089 HAS SOUPS 2273089 WITH SCORE 2275927.605
AT ITER 3897 NEW BEST:: SOT 4973582 SOS 2838591 HAS SOPS 2838591 HAS SOUS 2273075 HAS SOUPS 2273075 WITH SCORE 2275913.591
AT ITER 3901 NEW BEST:: SOT 4972981 SOS 2837515 HAS SOPS 2837515 HAS SOUS 2271999 HAS SOUPS 2271999 WITH SCORE 2274836.515
AT ITER 3903 NEW BEST:: SOT 4972550 SOS 2836589 HAS SOPS 2836589 HAS SOUS 2271073 HAS SOUPS 2271073 WITH SCORE 2273909.589
AT ITER 3904 NEW BEST:: SOT 4972152 SOS 2835578 HAS SOPS 2835578 HAS SOUS 2270062 HAS SOUPS 2270062 WITH SCORE 2272897.578
AT ITER 3907 NEW BEST:: SOT 4970238 SOS 2832862 HAS SOPS 2832862 HAS SOUS 2266712 HAS SOUPS 2266712 WITH SCORE 2269544.862
AT ITER 3913 NEW BEST:: SOT 4970243 SOS 2832707 HAS SOPS 2832707 HAS SOUS 2266557 HAS SOUPS 2266557 WITH SCORE 2269389.707
AT ITER 3921 NEW BEST:: SOT 4970241 SOS 2832270 HAS SOPS 2832270 HAS SOUS 2266118 HAS SOUPS 2266118 WITH SCORE 2268950.27
AT ITER 3923 NEW BEST:: SOT 4970412 SOS 2825529 HAS SOPS 2825529 HAS SOUS 2264614 HAS SOUPS 2264614 WITH SCORE 2267439.529
AT ITER 3941 NEW BEST:: SOT 4970157 SOS 2825274 HAS SOPS 2825274 HAS SOUS 2264358 HAS SOUPS 2264358 WITH SCORE 2267183.274
AT ITER 3952 NEW BEST:: SOT 4969769 SOS 2824497 HAS SOPS 2824497 HAS SOUS 2263580 HAS SOUPS 2263580 WITH SCORE 2266404.497
AT ITER 3957 NEW BEST:: SOT 4967967 SOS 2824844 HAS SOPS 2824844 HAS SOUS 2262784 HAS SOUPS 2262784 WITH SCORE 2265608.844
AT ITER 3962 NEW BEST:: SOT 4967967 SOS 2822505 HAS SOPS 2822505 HAS SOUS 2262392 HAS SOUPS 2262392 WITH SCORE 2265214.505
AT ITER 3969 NEW BEST:: SOT 4967965 SOS 2822503 HAS SOPS 2822503 HAS SOUS 2262390 HAS SOUPS 2262390 WITH SCORE 2265212.503
AT ITER 3974 NEW BEST:: SOT 4967965 SOS 2822684 HAS SOPS 2822684 HAS SOUS 2262171 HAS SOUPS 2262171 WITH SCORE 2264993.684
AT ITER 3975 NEW BEST:: SOT 4967784 SOS 2822321 HAS SOPS 2822321 HAS SOUS 2261808 HAS SOUPS 2261808 WITH SCORE 2264630.321
AT ITER 3982 NEW BEST:: SOT 4967481 SOS 2822318 HAS SOPS 2822318 HAS SOUS 2261662 HAS SOUPS 2261662 WITH SCORE 2264484.318
AT ITER 3983 NEW BEST:: SOT 4966754 SOS 2821591 HAS SOPS 2821591 HAS SOUS 2260935 HAS SOUPS 2260935 WITH SCORE 2263756.591
AT ITER 3992 NEW BEST:: SOT 4966090 SOS 2820927 HAS SOPS 2820927 HAS SOUS 2260271 HAS SOUPS 2260271 WITH SCORE 2263091.927
AT ITER 3998 NEW BEST:: SOT 4965478 SOS 2819801 HAS SOPS 2819801 HAS SOUS 2259145 HAS SOUPS 2259145 WITH SCORE 2261964.801
AT ITER 4001 NEW BEST:: SOT 4965447 SOS 2819646 HAS SOPS 2819646 HAS SOUS 2259145 HAS SOUPS 2259145 WITH SCORE 2261964.646
AT ITER 4004 NEW BEST:: SOT 4964444 SOS 2818349 HAS SOPS 2818349 HAS SOUS 2257950 HAS SOUPS 2257950 WITH SCORE 2260768.349
AT ITER 4007 NEW BEST:: SOT 4964168 SOS 2817996 HAS SOPS 2817996 HAS SOUS 2257597 HAS SOUPS 2257597 WITH SCORE 2260414.996
AT ITER 4010 NEW BEST:: SOT 4964537 SOS 2811132 HAS SOPS 2811132 HAS SOUS 2256091 HAS SOUPS 2256091 WITH SCORE 2258902.132
AT ITER 4011 NEW BEST:: SOT 4964418 SOS 2811013 HAS SOPS 2811013 HAS SOUS 2255972 HAS SOUPS 2255972 WITH SCORE 2258783.013
AT ITER 4013 NEW BEST:: SOT 4963559 SOS 2810046 HAS SOPS 2810046 HAS SOUS 2255009 HAS SOUPS 2255009 WITH SCORE 2257819.046
AT ITER 4019 NEW BEST:: SOT 4962899 SOS 2809386 HAS SOPS 2809386 HAS SOUS 2254349 HAS SOUPS 2254349 WITH SCORE 2257158.386
AT ITER 4026 NEW BEST:: SOT 4962899 SOS 2809384 HAS SOPS 2809384 HAS SOUS 2254347 HAS SOUPS 2254347 WITH SCORE 2257156.384
AT ITER 4030 NEW BEST:: SOT 4962786 SOS 2808993 HAS SOPS 2808993 HAS SOUS 2253623 HAS SOUPS 2253623 WITH SCORE 2256431.993
AT ITER 4040 NEW BEST:: SOT 4962786 SOS 2808953 HAS SOPS 2808953 HAS SOUS 2253536 HAS SOUPS 2253536 WITH SCORE 2256344.953
AT ITER 4047 NEW BEST:: SOT 4963029 SOS 2807758 HAS SOPS 2807758 HAS SOUS 2251205 HAS SOUPS 2251205 WITH SCORE 2254012.758
AT ITER 4059 NEW BEST:: SOT 4962845 SOS 2807574 HAS SOPS 2807574 HAS SOUS 2251021 HAS SOUPS 2251021 WITH SCORE 2253828.574
AT ITER 4074 NEW BEST:: SOT 4962591 SOS 2806304 HAS SOPS 2806304 HAS SOUS 2251020 HAS SOUPS 2251020 WITH SCORE 2253826.304
AT ITER 4078 NEW BEST:: SOT 4962564 SOS 2806276 HAS SOPS 2806276 HAS SOUS 2250991 HAS SOUPS 2250991 WITH SCORE 2253797.276
AT ITER 4082 NEW BEST:: SOT 4961793 SOS 2801571 HAS SOPS 2801571 HAS SOUS 2250991 HAS SOUPS 2250991 WITH SCORE 2253792.571
AT ITER 4095 NEW BEST:: SOT 4960896 SOS 2800749 HAS SOPS 2800749 HAS SOUS 2250420 HAS SOUPS 2250420 WITH SCORE 2253220.749
AT ITER 4100 NEW BEST:: SOT 4959916 SOS 2799769 HAS SOPS 2799769 HAS SOUS 2249440 HAS SOUPS 2249440 WITH SCORE 2252239.769
AT ITER 4103 NEW BEST:: SOT 4959564 SOS 2799417 HAS SOPS 2799417 HAS SOUS 2249088 HAS SOUPS 2249088 WITH SCORE 2251887.417
AT ITER 4106 NEW BEST:: SOT 4959564 SOS 2799356 HAS SOPS 2799356 HAS SOUS 2249027 HAS SOUPS 2249027 WITH SCORE 2251826.356
AT ITER 4107 NEW BEST:: SOT 4959564 SOS 2797354 HAS SOPS 2797354 HAS SOUS 2248252 HAS SOUPS 2248252 WITH SCORE 2251049.354
AT ITER 4114 NEW BEST:: SOT 4959292 SOS 2797074 HAS SOPS 2797074 HAS SOUS 2247961 HAS SOUPS 2247961 WITH SCORE 2250758.074
AT ITER 4117 NEW BEST:: SOT 4958678 SOS 2796460 HAS SOPS 2796460 HAS SOUS 2247347 HAS SOUPS 2247347 WITH SCORE 2250143.46
AT ITER 4136 NEW BEST:: SOT 4958343 SOS 2794159 HAS SOPS 2794159 HAS SOUS 2247347 HAS SOUPS 2247347 WITH SCORE 2250141.159
AT ITER 4150 NEW BEST:: SOT 4957695 SOS 2793511 HAS SOPS 2793511 HAS SOUS 2246699 HAS SOUPS 2246699 WITH SCORE 2249492.511
AT ITER 4153 NEW BEST:: SOT 4957634 SOS 2793311 HAS SOPS 2793311 HAS SOUS 2246519 HAS SOUPS 2246519 WITH SCORE 2249312.311
AT ITER 4177 NEW BEST:: SOT 4957023 SOS 2790065 HAS SOPS 2790065 HAS SOUS 2246289 HAS SOUPS 2246289 WITH SCORE 2249079.065
AT ITER 4196 NEW BEST:: SOT 4956236 SOS 2785976 HAS SOPS 2785976 HAS SOUS 2245934 HAS SOUPS 2245934 WITH SCORE 2248719.976
AT ITER 4199 NEW BEST:: SOT 4956236 SOS 2785975 HAS SOPS 2785975 HAS SOUS 2245933 HAS SOUPS 2245933 WITH SCORE 2248718.975
AT ITER 4203 NEW BEST:: SOT 4956217 SOS 2785956 HAS SOPS 2785956 HAS SOUS 2245914 HAS SOUPS 2245914 WITH SCORE 2248699.956
AT ITER 4210 NEW BEST:: SOT 4955664 SOS 2785403 HAS SOPS 2785403 HAS SOUS 2245343 HAS SOUPS 2245343 WITH SCORE 2248128.403
AT ITER 4216 NEW BEST:: SOT 4955648 SOS 2785387 HAS SOPS 2785387 HAS SOUS 2245312 HAS SOUPS 2245312 WITH SCORE 2248097.387
AT ITER 4242 NEW BEST:: SOT 4956576 SOS 2786050 HAS SOPS 2786050 HAS SOUS 2245272 HAS SOUPS 2245272 WITH SCORE 2248058.05
AT ITER 4247 NEW BEST:: SOT 4955811 SOS 2785140 HAS SOPS 2785140 HAS SOUS 2244362 HAS SOUPS 2244362 WITH SCORE 2247147.14
AT ITER 4255 NEW BEST:: SOT 4952154 SOS 2779644 HAS SOPS 2779644 HAS SOUS 2238866 HAS SOUPS 2238866 WITH SCORE 2241645.644
AT ITER 4265 NEW BEST:: SOT 4951753 SOS 2779204 HAS SOPS 2779204 HAS SOUS 2238426 HAS SOUPS 2238426 WITH SCORE 2241205.204
AT ITER 4267 NEW BEST:: SOT 4951720 SOS 2779169 HAS SOPS 2779169 HAS SOUS 2238392 HAS SOUPS 2238392 WITH SCORE 2241171.169
AT ITER 4275 NEW BEST:: SOT 4951804 SOS 2778863 HAS SOPS 2778863 HAS SOUS 2238086 HAS SOUPS 2238086 WITH SCORE 2240864.863
AT ITER 4280 NEW BEST:: SOT 4950897 SOS 2777417 HAS SOPS 2777417 HAS SOUS 2236640 HAS SOUPS 2236640 WITH SCORE 2239417.417
AT ITER 4291 NEW BEST:: SOT 4950897 SOS 2776616 HAS SOPS 2776616 HAS SOUS 2236578 HAS SOUPS 2236578 WITH SCORE 2239354.616
AT ITER 4293 NEW BEST:: SOT 4951656 SOS 2778123 HAS SOPS 2778123 HAS SOUS 2235818 HAS SOUPS 2235818 WITH SCORE 2238596.123
AT ITER 4294 NEW BEST:: SOT 4951058 SOS 2777525 HAS SOPS 2777525 HAS SOUS 2235220 HAS SOUPS 2235220 WITH SCORE 2237997.525
AT ITER 4308 NEW BEST:: SOT 4950313 SOS 2776400 HAS SOPS 2776400 HAS SOUS 2234095 HAS SOUPS 2234095 WITH SCORE 2236871.4
AT ITER 4322 NEW BEST:: SOT 4949220 SOS 2773857 HAS SOPS 2773857 HAS SOUS 2232623 HAS SOUPS 2232623 WITH SCORE 2235396.857
AT ITER 4328 NEW BEST:: SOT 4950928 SOS 2769646 HAS SOPS 2769646 HAS SOUS 2231716 HAS SOUPS 2231716 WITH SCORE 2234485.646
AT ITER 4330 NEW BEST:: SOT 4950909 SOS 2769627 HAS SOPS 2769627 HAS SOUS 2231697 HAS SOUPS 2231697 WITH SCORE 2234466.627
AT ITER 4335 NEW BEST:: SOT 4949529 SOS 2768239 HAS SOPS 2768239 HAS SOUS 2230295 HAS SOUPS 2230295 WITH SCORE 2233063.239
AT ITER 4336 NEW BEST:: SOT 4948644 SOS 2767354 HAS SOPS 2767354 HAS SOUS 2229410 HAS SOUPS 2229410 WITH SCORE 2232177.354
AT ITER 4337 NEW BEST:: SOT 4947514 SOS 2761559 HAS SOPS 2761559 HAS SOUS 2228962 HAS SOUPS 2228962 WITH SCORE 2231723.559
AT ITER 4346 NEW BEST:: SOT 4947514 SOS 2761729 HAS SOPS 2761729 HAS SOUS 2228942 HAS SOUPS 2228942 WITH SCORE 2231703.729
AT ITER 4357 NEW BEST:: SOT 4947188 SOS 2761403 HAS SOPS 2761403 HAS SOUS 2228616 HAS SOUPS 2228616 WITH SCORE 2231377.403
AT ITER 4365 NEW BEST:: SOT 4946656 SOS 2760866 HAS SOPS 2760866 HAS SOUS 2228071 HAS SOUPS 2228071 WITH SCORE 2230831.866
AT ITER 4374 NEW BEST:: SOT 4946635 SOS 2760616 HAS SOPS 2760616 HAS SOUS 2228036 HAS SOUPS 2228036 WITH SCORE 2230796.616
AT ITER 4382 NEW BEST:: SOT 4946635 SOS 2760734 HAS SOPS 2760734 HAS SOUS 2227918 HAS SOUPS 2227918 WITH SCORE 2230678.734
AT ITER 4391 NEW BEST:: SOT 4946576 SOS 2760529 HAS SOPS 2760529 HAS SOUS 2227488 HAS SOUPS 2227488 WITH SCORE 2230248.529
AT ITER 4393 NEW BEST:: SOT 4946485 SOS 2760438 HAS SOPS 2760438 HAS SOUS 2227397 HAS SOUPS 2227397 WITH SCORE 2230157.438
AT ITER 4399 NEW BEST:: SOT 4946041 SOS 2759983 HAS SOPS 2759983 HAS SOUS 2226936 HAS SOUPS 2226936 WITH SCORE 2229695.983
AT ITER 4418 NEW BEST:: SOT 4945533 SOS 2759873 HAS SOPS 2759873 HAS SOUS 2226594 HAS SOUPS 2226594 WITH SCORE 2229353.873
AT ITER 4428 NEW BEST:: SOT 4946067 SOS 2757153 HAS SOPS 2757153 HAS SOUS 2225750 HAS SOUPS 2225750 WITH SCORE 2228507.153
AT ITER 4432 NEW BEST:: SOT 4944140 SOS 2756811 HAS SOPS 2756811 HAS SOUS 2225212 HAS SOUPS 2225212 WITH SCORE 2227968.811
AT ITER 4436 NEW BEST:: SOT 4944072 SOS 2756647 HAS SOPS 2756647 HAS SOUS 2224987 HAS SOUPS 2224987 WITH SCORE 2227743.647
AT ITER 4444 NEW BEST:: SOT 4944266 SOS 2756592 HAS SOPS 2756592 HAS SOUS 2224932 HAS SOUPS 2224932 WITH SCORE 2227688.592
AT ITER 4447 NEW BEST:: SOT 4945921 SOS 2753521 HAS SOPS 2753521 HAS SOUS 2224231 HAS SOUPS 2224231 WITH SCORE 2226984.521
AT ITER 4455 NEW BEST:: SOT 4945471 SOS 2751271 HAS SOPS 2751271 HAS SOUS 2224231 HAS SOUPS 2224231 WITH SCORE 2226982.271
AT ITER 4465 NEW BEST:: SOT 4945150 SOS 2750634 HAS SOPS 2750634 HAS SOUS 2223594 HAS SOUPS 2223594 WITH SCORE 2226344.634
AT ITER 4471 NEW BEST:: SOT 4944256 SOS 2749740 HAS SOPS 2749740 HAS SOUS 2222700 HAS SOUPS 2222700 WITH SCORE 2225449.74
AT ITER 4486 NEW BEST:: SOT 4943618 SOS 2748577 HAS SOPS 2748577 HAS SOUS 2221440 HAS SOUPS 2221440 WITH SCORE 2224188.577
AT ITER 4497 NEW BEST:: SOT 4942870 SOS 2746875 HAS SOPS 2746875 HAS SOUS 2219944 HAS SOUPS 2219944 WITH SCORE 2222690.875
AT ITER 4501 NEW BEST:: SOT 4942870 SOS 2744934 HAS SOPS 2744934 HAS SOUS 2219704 HAS SOUPS 2219704 WITH SCORE 2222448.934
AT ITER 4502 NEW BEST:: SOT 4944379 SOS 2741308 HAS SOPS 2741308 HAS SOUS 2218607 HAS SOUPS 2218607 WITH SCORE 2221348.308
AT ITER 4503 NEW BEST:: SOT 4944797 SOS 2737702 HAS SOPS 2737702 HAS SOUS 2217784 HAS SOUPS 2217784 WITH SCORE 2220521.702
AT ITER 4515 NEW BEST:: SOT 4942927 SOS 2733067 HAS SOPS 2733067 HAS SOUS 2215010 HAS SOUPS 2215010 WITH SCORE 2217743.067
AT ITER 4548 NEW BEST:: SOT 4942709 SOS 2731759 HAS SOPS 2731759 HAS SOUS 2214590 HAS SOUPS 2214590 WITH SCORE 2217321.759
AT ITER 4549 NEW BEST:: SOT 4941018 SOS 2730090 HAS SOPS 2730090 HAS SOUS 2212921 HAS SOUPS 2212921 WITH SCORE 2215651.09
AT ITER 4558 NEW BEST:: SOT 4940939 SOS 2728732 HAS SOPS 2728732 HAS SOUS 2211992 HAS SOUPS 2211992 WITH SCORE 2214720.732
AT ITER 4559 NEW BEST:: SOT 4940378 SOS 2727265 HAS SOPS 2727265 HAS SOUS 2210449 HAS SOUPS 2210449 WITH SCORE 2213176.265
AT ITER 4562 NEW BEST:: SOT 4940357 SOS 2726143 HAS SOPS 2726143 HAS SOUS 2210368 HAS SOUPS 2210368 WITH SCORE 2213094.143
AT ITER 4565 NEW BEST:: SOT 4939332 SOS 2727060 HAS SOPS 2727060 HAS SOUS 2210153 HAS SOUPS 2210153 WITH SCORE 2212880.06
AT ITER 4567 NEW BEST:: SOT 4939315 SOS 2727026 HAS SOPS 2727026 HAS SOUS 2210119 HAS SOUPS 2210119 WITH SCORE 2212846.026
AT ITER 4568 NEW BEST:: SOT 4938419 SOS 2725597 HAS SOPS 2725597 HAS SOUS 2208690 HAS SOUPS 2208690 WITH SCORE 2211415.597
AT ITER 4581 NEW BEST:: SOT 4938419 SOS 2724584 HAS SOPS 2724584 HAS SOUS 2208564 HAS SOUPS 2208564 WITH SCORE 2211288.584
AT ITER 4583 NEW BEST:: SOT 4937419 SOS 2722382 HAS SOPS 2722382 HAS SOUS 2206862 HAS SOUPS 2206862 WITH SCORE 2209584.382
AT ITER 4594 NEW BEST:: SOT 4936918 SOS 2721878 HAS SOPS 2721878 HAS SOUS 2206357 HAS SOUPS 2206357 WITH SCORE 2209078.878
AT ITER 4597 NEW BEST:: SOT 4936662 SOS 2721494 HAS SOPS 2721494 HAS SOUS 2205973 HAS SOUPS 2205973 WITH SCORE 2208694.494
AT ITER 4604 NEW BEST:: SOT 4937869 SOS 2722286 HAS SOPS 2722286 HAS SOUS 2205829 HAS SOUPS 2205829 WITH SCORE 2208551.286
AT ITER 4606 NEW BEST:: SOT 4937635 SOS 2721116 HAS SOPS 2721116 HAS SOUS 2205829 HAS SOUPS 2205829 WITH SCORE 2208550.116
AT ITER 4610 NEW BEST:: SOT 4937634 SOS 2721086 HAS SOPS 2721086 HAS SOUS 2205799 HAS SOUPS 2205799 WITH SCORE 2208520.086
AT ITER 4611 NEW BEST:: SOT 4936717 SOS 2720169 HAS SOPS 2720169 HAS SOUS 2204882 HAS SOUPS 2204882 WITH SCORE 2207602.169
AT ITER 4620 NEW BEST:: SOT 4936525 SOS 2719975 HAS SOPS 2719975 HAS SOUS 2204469 HAS SOUPS 2204469 WITH SCORE 2207188.975
AT ITER 4624 NEW BEST:: SOT 4936064 SOS 2717209 HAS SOPS 2717209 HAS SOUS 2204008 HAS SOUPS 2204008 WITH SCORE 2206725.209
AT ITER 4626 NEW BEST:: SOT 4935634 SOS 2716644 HAS SOPS 2716644 HAS SOUS 2203378 HAS SOUPS 2203378 WITH SCORE 2206094.644
AT ITER 4627 NEW BEST:: SOT 4935193 SOS 2714794 HAS SOPS 2714794 HAS SOUS 2201963 HAS SOUPS 2201963 WITH SCORE 2204677.794
AT ITER 4630 NEW BEST:: SOT 4934274 SOS 2713426 HAS SOPS 2713426 HAS SOUS 2200595 HAS SOUPS 2200595 WITH SCORE 2203308.426
AT ITER 4631 NEW BEST:: SOT 4934235 SOS 2713231 HAS SOPS 2713231 HAS SOUS 2200595 HAS SOUPS 2200595 WITH SCORE 2203308.231
AT ITER 4639 NEW BEST:: SOT 4933911 SOS 2712905 HAS SOPS 2712905 HAS SOUS 2200257 HAS SOUPS 2200257 WITH SCORE 2202969.905
AT ITER 4640 NEW BEST:: SOT 4933733 SOS 2712638 HAS SOPS 2712638 HAS SOUS 2199990 HAS SOUPS 2199990 WITH SCORE 2202702.638
AT ITER 4642 NEW BEST:: SOT 4933564 SOS 2712433 HAS SOPS 2712433 HAS SOUS 2199785 HAS SOUPS 2199785 WITH SCORE 2202497.433
AT ITER 4648 NEW BEST:: SOT 4933804 SOS 2712308 HAS SOPS 2712308 HAS SOUS 2199664 HAS SOUPS 2199664 WITH SCORE 2202376.308
AT ITER 4654 NEW BEST:: SOT 4933288 SOS 2711791 HAS SOPS 2711791 HAS SOUS 2199147 HAS SOUPS 2199147 WITH SCORE 2201858.791
AT ITER 4660 NEW BEST:: SOT 4932909 SOS 2711525 HAS SOPS 2711525 HAS SOUS 2198881 HAS SOUPS 2198881 WITH SCORE 2201592.525
AT ITER 4668 NEW BEST:: SOT 4933235 SOS 2711502 HAS SOPS 2711502 HAS SOUS 2198858 HAS SOUPS 2198858 WITH SCORE 2201569.502
AT ITER 4671 NEW BEST:: SOT 4932907 SOS 2710860 HAS SOPS 2710860 HAS SOUS 2198625 HAS SOUPS 2198625 WITH SCORE 2201335.86
AT ITER 4691 NEW BEST:: SOT 4931720 SOS 2712566 HAS SOPS 2712566 HAS SOUS 2197960 HAS SOUPS 2197960 WITH SCORE 2200672.566
AT ITER 4696 NEW BEST:: SOT 4930777 SOS 2712337 HAS SOPS 2712337 HAS SOUS 2197549 HAS SOUPS 2197549 WITH SCORE 2200261.337
AT ITER 4699 NEW BEST:: SOT 4930426 SOS 2710963 HAS SOPS 2710963 HAS SOUS 2195659 HAS SOUPS 2195659 WITH SCORE 2198369.963
AT ITER 4702 NEW BEST:: SOT 4928383 SOS 2710784 HAS SOPS 2710784 HAS SOUS 2194869 HAS SOUPS 2194869 WITH SCORE 2197579.784
AT ITER 4703 NEW BEST:: SOT 4929027 SOS 2711951 HAS SOPS 2711951 HAS SOUS 2194321 HAS SOUPS 2194321 WITH SCORE 2197032.951
AT ITER 4711 NEW BEST:: SOT 4927990 SOS 2710914 HAS SOPS 2710914 HAS SOUS 2193284 HAS SOUPS 2193284 WITH SCORE 2195994.914
AT ITER 4715 NEW BEST:: SOT 4927396 SOS 2705969 HAS SOPS 2705969 HAS SOUS 2190998 HAS SOUPS 2190998 WITH SCORE 2193703.969
AT ITER 4726 NEW BEST:: SOT 4927394 SOS 2705486 HAS SOPS 2705486 HAS SOUS 2190953 HAS SOUPS 2190953 WITH SCORE 2193658.486
AT ITER 4731 NEW BEST:: SOT 4926343 SOS 2704002 HAS SOPS 2704002 HAS SOUS 2189469 HAS SOUPS 2189469 WITH SCORE 2192173.002
AT ITER 4732 NEW BEST:: SOT 4926343 SOS 2703522 HAS SOPS 2703522 HAS SOUS 2189309 HAS SOUPS 2189309 WITH SCORE 2192012.522
AT ITER 4737 NEW BEST:: SOT 4926149 SOS 2703328 HAS SOPS 2703328 HAS SOUS 2188863 HAS SOUPS 2188863 WITH SCORE 2191566.328
AT ITER 4741 NEW BEST:: SOT 4925465 SOS 2702644 HAS SOPS 2702644 HAS SOUS 2188179 HAS SOUPS 2188179 WITH SCORE 2190881.644
AT ITER 4745 NEW BEST:: SOT 4925320 SOS 2702499 HAS SOPS 2702499 HAS SOUS 2188034 HAS SOUPS 2188034 WITH SCORE 2190736.499
AT ITER 4746 NEW BEST:: SOT 4925231 SOS 2702410 HAS SOPS 2702410 HAS SOUS 2187945 HAS SOUPS 2187945 WITH SCORE 2190647.41
AT ITER 4750 NEW BEST:: SOT 4925229 SOS 2702144 HAS SOPS 2702144 HAS SOUS 2187679 HAS SOUPS 2187679 WITH SCORE 2190381.144
AT ITER 4752 NEW BEST:: SOT 4925224 SOS 2701627 HAS SOPS 2701627 HAS SOUS 2187546 HAS SOUPS 2187546 WITH SCORE 2190247.627
AT ITER 4762 NEW BEST:: SOT 4925224 SOS 2701195 HAS SOPS 2701195 HAS SOUS 2187438 HAS SOUPS 2187438 WITH SCORE 2190139.195
AT ITER 4767 NEW BEST:: SOT 4925446 SOS 2696214 HAS SOPS 2696214 HAS SOUS 2187094 HAS SOUPS 2187094 WITH SCORE 2189790.214
AT ITER 4768 NEW BEST:: SOT 4924095 SOS 2694861 HAS SOPS 2694861 HAS SOUS 2185741 HAS SOUPS 2185741 WITH SCORE 2188435.861
AT ITER 4771 NEW BEST:: SOT 4924164 SOS 2694922 HAS SOPS 2694922 HAS SOUS 2184717 HAS SOUPS 2184717 WITH SCORE 2187411.922
AT ITER 4776 NEW BEST:: SOT 4924054 SOS 2694803 HAS SOPS 2694803 HAS SOUS 2184128 HAS SOUPS 2184128 WITH SCORE 2186822.803
AT ITER 4779 NEW BEST:: SOT 4924711 SOS 2695031 HAS SOPS 2695031 HAS SOUS 2183927 HAS SOUPS 2183927 WITH SCORE 2186622.031
AT ITER 4788 NEW BEST:: SOT 4924502 SOS 2693967 HAS SOPS 2693967 HAS SOUS 2183594 HAS SOUPS 2183594 WITH SCORE 2186287.967
AT ITER 4801 NEW BEST:: SOT 4924155 SOS 2693620 HAS SOPS 2693620 HAS SOUS 2183247 HAS SOUPS 2183247 WITH SCORE 2185940.62
AT ITER 4806 NEW BEST:: SOT 4924155 SOS 2693567 HAS SOPS 2693567 HAS SOUS 2183194 HAS SOUPS 2183194 WITH SCORE 2185887.567
AT ITER 4807 NEW BEST:: SOT 4924141 SOS 2693534 HAS SOPS 2693534 HAS SOUS 2182521 HAS SOUPS 2182521 WITH SCORE 2185214.534
AT ITER 4808 NEW BEST:: SOT 4923773 SOS 2693166 HAS SOPS 2693166 HAS SOUS 2182153 HAS SOUPS 2182153 WITH SCORE 2184846.166
AT ITER 4812 NEW BEST:: SOT 4923235 SOS 2692628 HAS SOPS 2692628 HAS SOUS 2181615 HAS SOUPS 2181615 WITH SCORE 2184307.628
AT ITER 4816 NEW BEST:: SOT 4923235 SOS 2692349 HAS SOPS 2692349 HAS SOUS 2181336 HAS SOUPS 2181336 WITH SCORE 2184028.349
AT ITER 4818 NEW BEST:: SOT 4923235 SOS 2691333 HAS SOPS 2691333 HAS SOUS 2181082 HAS SOUPS 2181082 WITH SCORE 2183773.333
AT ITER 4830 NEW BEST:: SOT 4923200 SOS 2691298 HAS SOPS 2691298 HAS SOUS 2181047 HAS SOUPS 2181047 WITH SCORE 2183738.298
AT ITER 4831 NEW BEST:: SOT 4923200 SOS 2690982 HAS SOPS 2690982 HAS SOUS 2180784 HAS SOUPS 2180784 WITH SCORE 2183474.982
AT ITER 4839 NEW BEST:: SOT 4923200 SOS 2689957 HAS SOPS 2689957 HAS SOUS 2180509 HAS SOUPS 2180509 WITH SCORE 2183198.957
AT ITER 4859 NEW BEST:: SOT 4922578 SOS 2688216 HAS SOPS 2688216 HAS SOUS 2179886 HAS SOUPS 2179886 WITH SCORE 2182574.216
AT ITER 4872 NEW BEST:: SOT 4922191 SOS 2687829 HAS SOPS 2687829 HAS SOUS 2179499 HAS SOUPS 2179499 WITH SCORE 2182186.829
AT ITER 4878 NEW BEST:: SOT 4922535 SOS 2685444 HAS SOPS 2685444 HAS SOUS 2178478 HAS SOUPS 2178478 WITH SCORE 2181163.444
AT ITER 4880 NEW BEST:: SOT 4922553 SOS 2685453 HAS SOPS 2685453 HAS SOUS 2178468 HAS SOUPS 2178468 WITH SCORE 2181153.453
AT ITER 4891 NEW BEST:: SOT 4921913 SOS 2684813 HAS SOPS 2684813 HAS SOUS 2177828 HAS SOUPS 2177828 WITH SCORE 2180512.813
AT ITER 4905 NEW BEST:: SOT 4921808 SOS 2684707 HAS SOPS 2684707 HAS SOUS 2177722 HAS SOUPS 2177722 WITH SCORE 2180406.707
AT ITER 4907 NEW BEST:: SOT 4921796 SOS 2684694 HAS SOPS 2684694 HAS SOUS 2177709 HAS SOUPS 2177709 WITH SCORE 2180393.694
AT ITER 4917 NEW BEST:: SOT 4921779 SOS 2684643 HAS SOPS 2684643 HAS SOUS 2177709 HAS SOUPS 2177709 WITH SCORE 2180393.643
AT ITER 4919 NEW BEST:: SOT 4920802 SOS 2683663 HAS SOPS 2683663 HAS SOUS 2176728 HAS SOUPS 2176728 WITH SCORE 2179411.663
AT ITER 4932 NEW BEST:: SOT 4919703 SOS 2682562 HAS SOPS 2682562 HAS SOUS 2175626 HAS SOUPS 2175626 WITH SCORE 2178308.562
AT ITER 4943 NEW BEST:: SOT 4919851 SOS 2682955 HAS SOPS 2682955 HAS SOUS 2175530 HAS SOUPS 2175530 WITH SCORE 2178212.955
AT ITER 4949 NEW BEST:: SOT 4919436 SOS 2682540 HAS SOPS 2682540 HAS SOUS 2175115 HAS SOUPS 2175115 WITH SCORE 2177797.54
AT ITER 4961 NEW BEST:: SOT 4919308 SOS 2682412 HAS SOPS 2682412 HAS SOUS 2174987 HAS SOUPS 2174987 WITH SCORE 2177669.412
AT ITER 4963 NEW BEST:: SOT 4919307 SOS 2681226 HAS SOPS 2681226 HAS SOUS 2174744 HAS SOUPS 2174744 WITH SCORE 2177425.226
AT ITER 4970 NEW BEST:: SOT 4919306 SOS 2679705 HAS SOPS 2679705 HAS SOUS 2174732 HAS SOUPS 2174732 WITH SCORE 2177411.705
AT ITER 4978 NEW BEST:: SOT 4919090 SOS 2679489 HAS SOPS 2679489 HAS SOUS 2174516 HAS SOUPS 2174516 WITH SCORE 2177195.489
AT ITER 4982 NEW BEST:: SOT 4919109 SOS 2680182 HAS SOPS 2680182 HAS SOUS 2174378 HAS SOUPS 2174378 WITH SCORE 2177058.182
Bounds file is: CTLFireability.xml
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-00 (! (EU( ((potential((tk(P1877)>=1) & (tk(P1892)>=1)))) , (EF( ((potential((tk(P2523)>=1) & (tk(P2533)>=1)))))) )))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-01 ( (AF( (AG( (! ((potential((tk(P2454)>=1) & (tk(P2475)>=1))))))))) & ( (AG( (AF( ((potential((tk(P2889)>=1) & (tk(P2908)>=1)))))))) | ((potential((tk(P2341)>=1) & (tk(P2383)>=1)))) ) )
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-02 (AF( (! (! (EX( ((potential((tk(P1114)>=1))))))))))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-03 ( ( ( (AX( ( ((potential((tk(P130)>=1) & (tk(P149)>=1)))) & ((potential((tk(P1950)>=1)))) ))) & ( (EF( ((potential((tk(P291)>=1) & (tk(P301)>=1)))))) | (AF( ((potential((tk(P94)>=1)))))) ) ) | ((potential((tk(P3088)>=1) & (tk(P3097)>=1)))) ) | ( (EF( ((potential((tk(P2202)>=1)))))) | ( ( ((potential((tk(P2927)>=1) & (tk(P2929)>=1)))) | ((potential((tk(P2928)>=1) & (tk(P2948)>=1)))) ) & ((potential((tk(P2323)>=1)))) ) ) )
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-04 ( ( (EX( (EF( ((potential((tk(P2330)>=1) & (tk(P2351)>=1)))))))) | ( (EG( (! ((potential((tk(P2172)>=1))))))) & ( ( ( ((potential((tk(P939)>=1) & (tk(P959)>=1)))) & ((potential((tk(P2896)>=1) & (tk(P2898)>=1)))) ) & ( ((potential((tk(P885)>=1) & (tk(P902)>=1)))) & ((potential((tk(P1846)>=1) & (tk(P1861)>=1)))) ) ) & ( (! ((potential((tk(P1186)>=1) & (tk(P1188)>=1))))) & ((potential((tk(P2244)>=1) & (tk(P2256)>=1)))) ) ) ) ) | ((potential((tk(P2788)>=1)))) )
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-05 (! ( ( (EF( ( ((potential((tk(P1614)>=1)))) & ((potential((tk(P91)>=1)))) ))) & (! ( ( ((potential((tk(P2711)>=1) & (tk(P2730)>=1)))) & ((potential((tk(P2773)>=1) & (tk(P2792)>=1)))) ) & ( ((potential((tk(P2013)>=1)))) | ((potential((tk(P1335)>=1)))) ) )) ) & ( (! ((potential((tk(P2110)>=1))))) & ( (AX( ((potential((tk(P2533)>=1)))))) | (! ( ((potential((tk(P575)>=1) & (tk(P592)>=1)))) | ((potential((tk(P2354)>=1)))) )) ) ) ))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-06 (! (! (! ( (EF( ((potential((tk(P2220)>=1) & (tk(P2229)>=1)))))) | (! (! ((potential((tk(P411)>=1) & (tk(P413)>=1)))))) ))))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-07 ( ((potential((tk(P1500)>=1) & (tk(P1512)>=1)))) | ( (AG( (AF( ((potential((tk(P2685)>=1) & (tk(P2696)>=1)))))))) | ((potential((tk(P2617)>=1) & (tk(P2619)>=1)))) ) )
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-08 ( ( ( ( ( (! ((potential((tk(P479)>=1) & (tk(P498)>=1))))) | ( ((potential((tk(P3040)>=1)))) | ((potential((tk(P2923)>=1) & (tk(P2943)>=1)))) ) ) & ( (! ((potential((tk(P2110)>=1))))) & ((potential((tk(P912)>=1) & (tk(P914)>=1)))) ) ) | (EU( ((potential((tk(P711)>=1)))) , ((potential((tk(P796)>=1) & (tk(P817)>=1)))) )) ) & ( ((potential((tk(P850)>=1) & (tk(P852)>=1)))) & (AG( (! ((potential((tk(P435)>=1))))))) ) ) | (EG( ( ( (! ((potential((tk(P1754)>=1) & (tk(P1756)>=1))))) | (! ((potential((tk(P1497)>=1) & (tk(P1518)>=1))))) ) | ((potential((tk(P1256)>=1) & (tk(P1298)>=1)))) ))) )
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-09 (AU( (! ((potential((tk(P1903)>=1) & (tk(P1913)>=1))))) , (EU( ((potential((tk(P947)>=1) & (tk(P964)>=1)))) , ((potential((tk(P2968)>=1)))) )) ))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-10 (AU( (AX( (! ((potential((tk(P601)>=1) & (tk(P613)>=1))))))) , (EG( ( ((potential((tk(P1867)>=1) & (tk(P1883)>=1)))) & ((potential((tk(P1130)>=1) & (tk(P1150)>=1)))) ))) ))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-11 ( ( ((potential((tk(P1368)>=1) & (tk(P1395)>=1)))) & ( ( ( (! ((potential((tk(P2416)>=1))))) & ( ((potential((tk(P1381)>=1) & (tk(P1396)>=1)))) | ((potential((tk(P1872)>=1) & (tk(P1882)>=1)))) ) ) | ( ((potential((tk(P3098)>=1)))) & ( ((potential((tk(P2020)>=1) & (tk(P2041)>=1)))) & ((potential((tk(P265)>=1) & (tk(P280)>=1)))) ) ) ) | (EU( ((potential((tk(P1258)>=1) & (tk(P1260)>=1)))) , ((potential((tk(P811)>=1) & (tk(P832)>=1)))) )) ) ) | ( (EU( (! ((potential((tk(P463)>=1))))) , ( ((potential((tk(P859)>=1)))) & ((potential((tk(P763)>=1) & (tk(P772)>=1)))) ) )) & ( (! ( (! ((potential((tk(P877)>=1) & (tk(P897)>=1))))) & (! ((potential((tk(P1098)>=1) & (tk(P1100)>=1))))) )) | (! ((potential((tk(P1566)>=1) & (tk(P1608)>=1))))) ) ) )
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-12 ( (! (! ( ((potential((tk(P1536)>=1) & (tk(P1551)>=1)))) & (EF( ((potential((tk(P1939)>=1) & (tk(P1956)>=1)))))) ))) | (EF( ((potential((tk(P2333)>=1) & (tk(P2335)>=1)))))) )
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-13 (AU( ( (EX( ((potential((tk(P1524)>=1) & (tk(P1545)>=1)))))) | ( ( ((potential((tk(P1971)>=1) & (tk(P1973)>=1)))) | ((potential((tk(P2486)>=1) & (tk(P2505)>=1)))) ) & ( ((potential((tk(P734)>=1) & (tk(P755)>=1)))) | ((potential((tk(P2678)>=1) & (tk(P2690)>=1)))) ) ) ) , (EF( ( ((potential((tk(P2840)>=1) & (tk(P2849)>=1)))) | ((potential((tk(P1407)>=1) & (tk(P1419)>=1)))) ))) ))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-14 (AX( (EF( (AX( ((potential((tk(P819)>=1) & (tk(P821)>=1))))))))))
PROPERTY: ShieldPPPs-PT-100A-CTLFireability-15 (EX( (EX( (EF( ((potential((tk(P53)>=1))))))))))
BK_TIME_CONFINEMENT_REACHED
--------------------
content from stderr:
Sequence of Actions to be Executed by the VM
This is useful if one wants to reexecute the tool in the VM from the submitted image disk.
set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-100A"
export BK_EXAMINATION="CTLFireability"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
# this is specific to your benchmark or test
export BIN_DIR="$HOME/BenchKit/bin"
# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi
# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is ShieldPPPs-PT-100A, examination is CTLFireability"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r207-tajo-159033469600556"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"
tar xzf /home/mcc/BenchKit/INPUTS/ShieldPPPs-PT-100A.tgz
mv ShieldPPPs-PT-100A execution
cd execution
if [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "UpperBounds" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] || [ "CTLFireability" = "StateSpace" ]; then
rm -f GenericPropertiesVerdict.xml
fi
pwd
ls -lh
echo
echo "--------------------"
echo "content from stdout:"
echo
echo "=== Data for post analysis generated by BenchKit (invocation template)"
echo
if [ "CTLFireability" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLFireability" != "StateSpace" ] ; then
echo "The expected result is a vector of booleans"
echo BOOL_VECTOR
else
echo "no data necessary for post analysis"
fi
echo
if [ -f "CTLFireability.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLFireability.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLFireability.xml" ] ; then # for cunf (txt files deleted;-)
echo echo "here is the order used to build the result vector(from xml file)"
for x in $(grep '
echo "FORMULA_NAME $x"
done
elif [ "CTLFireability" = "ReachabilityDeadlock" ] || [ "CTLFireability" = "QuasiLiveness" ] || [ "CTLFireability" = "StableMarking" ] || [ "CTLFireability" = "Liveness" ] || [ "CTLFireability" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLFireability"
fi
echo
echo "=== Now, execution of the tool begins"
echo
echo -n "BK_START "
date -u +%s%3N
echo
timeout -s 9 $BK_TIME_CONFINEMENT bash -c "/home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n \"BK_STOP \" ; date -u +%s%3N"
if [ $? -eq 137 ] ; then
echo
echo "BK_TIME_CONFINEMENT_REACHED"
fi
echo
echo "--------------------"
echo "content from stderr:"
echo
cat STDERR ;