Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r227-tall-167856410600520.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
.............
=====================================================================
Generated by BenchKit 2-5348
Executing tool smart
Input is LeafsetExtension-PT-S32C4, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r227-tall-167856410600520
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 3.9M
-rw-r--r-- 1 mcc users 11K Feb 25 16:53 CTLCardinality.txt
-rw-r--r-- 1 mcc users 71K Feb 25 16:53 CTLCardinality.xml
-rw-r--r-- 1 mcc users 8.3K Feb 25 16:53 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 16:53 CTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 16:21 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 16:21 LTLCardinality.xml
-rw-r--r-- 1 mcc users 4.1K Feb 25 16:21 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 16:21 LTLFireability.xml
-rw-r--r-- 1 mcc users 23K Feb 25 16:55 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 138K Feb 25 16:55 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 17K Feb 25 16:54 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 78K Feb 25 16:54 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:21 UpperBounds.txt
-rw-r--r-- 1 mcc users 4.2K Feb 25 16:21 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 3.4M Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678616403588

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=smart
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=LeafsetExtension-PT-S32C4
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running LeafsetExtension (PT), instance S32C4
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../smart/bin//main//smart

Filename model.pnml
Petri model created: 5622 places, 5449 transitions, 17500 arcs.
AT ITER 0 NEW BEST:: SOT 17307217 SOS 4229194 HAS SOPS 4215071 HAS SOUS 3534471 HAS SOUPS 3533318 WITH SCORE 3537547.194
AT ITER 62 NEW BEST:: SOT 17306758 SOS 4228719 HAS SOPS 4214596 HAS SOUS 3533996 HAS SOUPS 3532843 WITH SCORE 3537071.719
AT ITER 65 NEW BEST:: SOT 17306129 SOS 4228107 HAS SOPS 4213984 HAS SOUS 3533642 HAS SOUPS 3532489 WITH SCORE 3536717.107
AT ITER 111 NEW BEST:: SOT 17297599 SOS 4238018 HAS SOPS 4223895 HAS SOUS 3527936 HAS SOUPS 3526783 WITH SCORE 3531021.018
AT ITER 122 NEW BEST:: SOT 17297208 SOS 4238018 HAS SOPS 4223895 HAS SOUS 3527934 HAS SOUPS 3526781 WITH SCORE 3531019.018
AT ITER 138 NEW BEST:: SOT 17296877 SOS 4234937 HAS SOPS 4220814 HAS SOUS 3527718 HAS SOUPS 3526565 WITH SCORE 3530799.937
AT ITER 140 NEW BEST:: SOT 17296754 SOS 4234798 HAS SOPS 4220675 HAS SOUS 3527579 HAS SOUPS 3526426 WITH SCORE 3530660.798
AT ITER 146 NEW BEST:: SOT 17296754 SOS 4235097 HAS SOPS 4220659 HAS SOUS 3527871 HAS SOUPS 3526410 WITH SCORE 3530645.097
AT ITER 157 NEW BEST:: SOT 17296754 SOS 4235058 HAS SOPS 4220620 HAS SOUS 3527871 HAS SOUPS 3526410 WITH SCORE 3530645.058
AT ITER 170 NEW BEST:: SOT 17296754 SOS 4234921 HAS SOPS 4220483 HAS SOUS 3527720 HAS SOUPS 3526259 WITH SCORE 3530493.921
AT ITER 213 NEW BEST:: SOT 17296001 SOS 4220352 HAS SOPS 4205914 HAS SOUS 3526772 HAS SOUPS 3525311 WITH SCORE 3529531.352
AT ITER 305 NEW BEST:: SOT 17295226 SOS 4219802 HAS SOPS 4205364 HAS SOUS 3526254 HAS SOUPS 3524793 WITH SCORE 3529012.802
AT ITER 311 NEW BEST:: SOT 17295110 SOS 4219654 HAS SOPS 4205216 HAS SOUS 3526106 HAS SOUPS 3524645 WITH SCORE 3528864.654
AT ITER 314 NEW BEST:: SOT 17294510 SOS 4219254 HAS SOPS 4204816 HAS SOUS 3525506 HAS SOUPS 3524045 WITH SCORE 3528264.254
AT ITER 351 NEW BEST:: SOT 17294510 SOS 4218775 HAS SOPS 4204337 HAS SOUS 3525027 HAS SOUPS 3523566 WITH SCORE 3527784.775
AT ITER 368 NEW BEST:: SOT 17294190 SOS 4218468 HAS SOPS 4204030 HAS SOUS 3524948 HAS SOUPS 3523487 WITH SCORE 3527705.468
AT ITER 382 NEW BEST:: SOT 17290835 SOS 4229808 HAS SOPS 4215370 HAS SOUS 3523566 HAS SOUPS 3522105 WITH SCORE 3526334.808
AT ITER 416 NEW BEST:: SOT 17290460 SOS 4229857 HAS SOPS 4215419 HAS SOUS 3523240 HAS SOUPS 3521779 WITH SCORE 3526008.857
AT ITER 417 NEW BEST:: SOT 17290297 SOS 4229906 HAS SOPS 4215468 HAS SOUS 3523126 HAS SOUPS 3521665 WITH SCORE 3525894.906
AT ITER 439 NEW BEST:: SOT 17290455 SOS 4230570 HAS SOPS 4216132 HAS SOUS 3522982 HAS SOUPS 3521521 WITH SCORE 3525751.57
AT ITER 449 NEW BEST:: SOT 17289740 SOS 4230205 HAS SOPS 4215767 HAS SOUS 3522658 HAS SOUPS 3521197 WITH SCORE 3525427.205
AT ITER 487 NEW BEST:: SOT 17289740 SOS 4230205 HAS SOPS 4215767 HAS SOUS 3522648 HAS SOUPS 3521187 WITH SCORE 3525417.205
AT ITER 542 NEW BEST:: SOT 17284189 SOS 4235059 HAS SOPS 4210789 HAS SOUS 3521619 HAS SOUPS 3519553 WITH SCORE 3523788.059
AT ITER 565 NEW BEST:: SOT 17284031 SOS 4234873 HAS SOPS 4210618 HAS SOUS 3521448 HAS SOUPS 3519382 WITH SCORE 3523616.873
AT ITER 577 NEW BEST:: SOT 17283695 SOS 4234521 HAS SOPS 4210266 HAS SOUS 3521096 HAS SOUPS 3519030 WITH SCORE 3523264.521
AT ITER 607 NEW BEST:: SOT 17283695 SOS 4234211 HAS SOPS 4209956 HAS SOUS 3520786 HAS SOUPS 3518720 WITH SCORE 3522954.211
AT ITER 611 NEW BEST:: SOT 17283695 SOS 4233810 HAS SOPS 4209555 HAS SOUS 3520380 HAS SOUPS 3518314 WITH SCORE 3522547.81
AT ITER 616 NEW BEST:: SOT 17282877 SOS 4233810 HAS SOPS 4209555 HAS SOUS 3520367 HAS SOUPS 3518301 WITH SCORE 3522534.81
AT ITER 674 NEW BEST:: SOT 17282877 SOS 4233751 HAS SOPS 4209496 HAS SOUS 3520308 HAS SOUPS 3518242 WITH SCORE 3522475.751
AT ITER 710 NEW BEST:: SOT 17282877 SOS 4234223 HAS SOPS 4209480 HAS SOUS 3520471 HAS SOUPS 3518226 WITH SCORE 3522460.223
AT ITER 722 NEW BEST:: SOT 17282277 SOS 4234223 HAS SOPS 4209480 HAS SOUS 3520462 HAS SOUPS 3518217 WITH SCORE 3522451.223
AT ITER 740 NEW BEST:: SOT 17281620 SOS 4234223 HAS SOPS 4209480 HAS SOUS 3520447 HAS SOUPS 3518202 WITH SCORE 3522436.223
AT ITER 784 NEW BEST:: SOT 17275446 SOS 4267967 HAS SOPS 4204800 HAS SOUS 3518300 HAS SOUPS 3514561 WITH SCORE 3518828.967
AT ITER 788 NEW BEST:: SOT 17275446 SOS 4267927 HAS SOPS 4204760 HAS SOUS 3518260 HAS SOUPS 3514521 WITH SCORE 3518788.927
AT ITER 791 NEW BEST:: SOT 17275446 SOS 4267598 HAS SOPS 4204431 HAS SOUS 3517921 HAS SOUPS 3514182 WITH SCORE 3518449.598
AT ITER 798 NEW BEST:: SOT 17275114 SOS 4267250 HAS SOPS 4204083 HAS SOUS 3517573 HAS SOUPS 3513834 WITH SCORE 3518101.25
AT ITER 814 NEW BEST:: SOT 17265106 SOS 4263122 HAS SOPS 4199955 HAS SOUS 3507264 HAS SOUPS 3503525 WITH SCORE 3507788.122
AT ITER 818 NEW BEST:: SOT 17264807 SOS 4262791 HAS SOPS 4199624 HAS SOUS 3506933 HAS SOUPS 3503194 WITH SCORE 3507456.791
AT ITER 855 NEW BEST:: SOT 17264547 SOS 4262800 HAS SOPS 4199633 HAS SOUS 3506932 HAS SOUPS 3503193 WITH SCORE 3507455.8
AT ITER 860 NEW BEST:: SOT 17255456 SOS 4278077 HAS SOPS 4214910 HAS SOUS 3501001 HAS SOUPS 3497262 WITH SCORE 3501540.077
AT ITER 875 NEW BEST:: SOT 17255452 SOS 4278073 HAS SOPS 4214906 HAS SOUS 3501001 HAS SOUPS 3497262 WITH SCORE 3501540.073
AT ITER 888 NEW BEST:: SOT 17255317 SOS 4277906 HAS SOPS 4214739 HAS SOUS 3500834 HAS SOUPS 3497095 WITH SCORE 3501372.906
AT ITER 900 NEW BEST:: SOT 17255317 SOS 4277516 HAS SOPS 4214349 HAS SOUS 3500118 HAS SOUPS 3496379 WITH SCORE 3500656.516
AT ITER 903 NEW BEST:: SOT 17255640 SOS 4277907 HAS SOPS 4208835 HAS SOUS 3500383 HAS SOUPS 3490994 WITH SCORE 3495271.907
AT ITER 932 NEW BEST:: SOT 17255425 SOS 4274252 HAS SOPS 4205180 HAS SOUS 3499953 HAS SOUPS 3490564 WITH SCORE 3494838.252
AT ITER 949 NEW BEST:: SOT 17254613 SOS 4274426 HAS SOPS 4204426 HAS SOUS 3499256 HAS SOUPS 3489809 WITH SCORE 3494083.426
AT ITER 958 NEW BEST:: SOT 17254613 SOS 4272146 HAS SOPS 4202146 HAS SOUS 3499256 HAS SOUPS 3489809 WITH SCORE 3494081.146
AT ITER 1013 NEW BEST:: SOT 17254060 SOS 4271857 HAS SOPS 4201857 HAS SOUS 3499001 HAS SOUPS 3489554 WITH SCORE 3493825.857
AT ITER 1016 NEW BEST:: SOT 17253273 SOS 4271857 HAS SOPS 4201857 HAS SOUS 3498995 HAS SOUPS 3489548 WITH SCORE 3493819.857
AT ITER 1026 NEW BEST:: SOT 17253273 SOS 4271841 HAS SOPS 4201841 HAS SOUS 3498979 HAS SOUPS 3489532 WITH SCORE 3493803.841
AT ITER 1122 NEW BEST:: SOT 17247865 SOS 4266771 HAS SOPS 4196771 HAS SOUS 3493908 HAS SOUPS 3484461 WITH SCORE 3488727.771
AT ITER 1132 NEW BEST:: SOT 17247284 SOS 4266331 HAS SOPS 4196331 HAS SOUS 3493276 HAS SOUPS 3483829 WITH SCORE 3488095.331
AT ITER 1148 NEW BEST:: SOT 17247156 SOS 4266187 HAS SOPS 4196187 HAS SOUS 3493132 HAS SOUPS 3483685 WITH SCORE 3487951.187
AT ITER 1152 NEW BEST:: SOT 17241905 SOS 4266702 HAS SOPS 4196702 HAS SOUS 3487901 HAS SOUPS 3478454 WITH SCORE 3482720.702
AT ITER 1155 NEW BEST:: SOT 17238069 SOS 4267250 HAS SOPS 4192866 HAS SOUS 3484373 HAS SOUPS 3474652 WITH SCORE 3478919.25
AT ITER 1156 NEW BEST:: SOT 17238067 SOS 4260922 HAS SOPS 4186264 HAS SOUS 3484081 HAS SOUPS 3474360 WITH SCORE 3478620.922
AT ITER 1166 NEW BEST:: SOT 17238067 SOS 4260778 HAS SOPS 4186120 HAS SOUS 3483925 HAS SOUPS 3474204 WITH SCORE 3478464.778
AT ITER 1181 NEW BEST:: SOT 17238067 SOS 4260778 HAS SOPS 4186120 HAS SOUS 3483898 HAS SOUPS 3474177 WITH SCORE 3478437.778
AT ITER 1182 NEW BEST:: SOT 17238067 SOS 4260778 HAS SOPS 4186120 HAS SOUS 3483892 HAS SOUPS 3474171 WITH SCORE 3478431.778
AT ITER 1190 NEW BEST:: SOT 17237668 SOS 4260347 HAS SOPS 4185689 HAS SOUS 3483461 HAS SOUPS 3473740 WITH SCORE 3478000.347
AT ITER 1223 NEW BEST:: SOT 17237649 SOS 4260289 HAS SOPS 4185631 HAS SOUS 3483452 HAS SOUPS 3473731 WITH SCORE 3477991.289
AT ITER 1244 NEW BEST:: SOT 17237151 SOS 4260289 HAS SOPS 4185631 HAS SOUS 3483442 HAS SOUPS 3473721 WITH SCORE 3477981.289
AT ITER 1256 NEW BEST:: SOT 17237062 SOS 4260200 HAS SOPS 4185453 HAS SOUS 3483353 HAS SOUPS 3473543 WITH SCORE 3477803.2
AT ITER 1278 NEW BEST:: SOT 17236841 SOS 4259979 HAS SOPS 4185232 HAS SOUS 3483132 HAS SOUPS 3473322 WITH SCORE 3477581.979
AT ITER 1282 NEW BEST:: SOT 17236538 SOS 4259979 HAS SOPS 4185232 HAS SOUS 3482829 HAS SOUPS 3473019 WITH SCORE 3477278.979
AT ITER 1283 NEW BEST:: SOT 17224011 SOS 4261568 HAS SOPS 4186821 HAS SOUS 3472836 HAS SOUPS 3463026 WITH SCORE 3467287.568
AT ITER 1298 NEW BEST:: SOT 17156313 SOS 4243202 HAS SOPS 4168455 HAS SOUS 3405547 HAS SOUPS 3395737 WITH SCORE 3399980.202
AT ITER 1303 NEW BEST:: SOT 17155609 SOS 4233146 HAS SOPS 4158399 HAS SOUS 3404251 HAS SOUPS 3394441 WITH SCORE 3398674.146
AT ITER 1311 NEW BEST:: SOT 17155203 SOS 4232712 HAS SOPS 4157965 HAS SOUS 3403411 HAS SOUPS 3393601 WITH SCORE 3397833.712
AT ITER 1322 NEW BEST:: SOT 17145191 SOS 4265743 HAS SOPS 4190996 HAS SOUS 3398873 HAS SOUPS 3389063 WITH SCORE 3393328.743
AT ITER 1344 NEW BEST:: SOT 17142232 SOS 4266565 HAS SOPS 4191940 HAS SOUS 3396364 HAS SOUPS 3386676 WITH SCORE 3390942.565
AT ITER 1383 NEW BEST:: SOT 17142232 SOS 4266503 HAS SOPS 4191878 HAS SOUS 3396364 HAS SOUPS 3386676 WITH SCORE 3390942.503
AT ITER 1391 NEW BEST:: SOT 17142232 SOS 4266503 HAS SOPS 4191878 HAS SOUS 3396222 HAS SOUPS 3386534 WITH SCORE 3390800.503
AT ITER 1402 NEW BEST:: SOT 17141844 SOS 4266503 HAS SOPS 4191878 HAS SOUS 3395834 HAS SOUPS 3386146 WITH SCORE 3390412.503
AT ITER 1416 NEW BEST:: SOT 17141844 SOS 4266503 HAS SOPS 4191878 HAS SOUS 3395818 HAS SOUPS 3386130 WITH SCORE 3390396.503
AT ITER 1424 NEW BEST:: SOT 17141844 SOS 4266307 HAS SOPS 4191682 HAS SOUS 3395622 HAS SOUPS 3385934 WITH SCORE 3390200.307
AT ITER 1443 NEW BEST:: SOT 17141647 SOS 4266110 HAS SOPS 4191485 HAS SOUS 3395413 HAS SOUPS 3385725 WITH SCORE 3389991.11
AT ITER 1446 NEW BEST:: SOT 17141504 SOS 4263679 HAS SOPS 4189054 HAS SOUS 3395127 HAS SOUPS 3385439 WITH SCORE 3389702.679
AT ITER 1450 NEW BEST:: SOT 17138390 SOS 4268214 HAS SOPS 4193589 HAS SOUS 3393094 HAS SOUPS 3383406 WITH SCORE 3387674.214
AT ITER 1453 NEW BEST:: SOT 17138390 SOS 4267361 HAS SOPS 4192736 HAS SOUS 3393094 HAS SOUPS 3383406 WITH SCORE 3387673.361
AT ITER 1499 NEW BEST:: SOT 17138042 SOS 4266960 HAS SOPS 4192335 HAS SOUS 3392345 HAS SOUPS 3382657 WITH SCORE 3386923.96
AT ITER 1510 NEW BEST:: SOT 17137838 SOS 4266960 HAS SOPS 4192335 HAS SOUS 3392141 HAS SOUPS 3382453 WITH SCORE 3386719.96
AT ITER 1532 NEW BEST:: SOT 17137838 SOS 4266960 HAS SOPS 4192335 HAS SOUS 3392139 HAS SOUPS 3382451 WITH SCORE 3386717.96
AT ITER 1565 NEW BEST:: SOT 17137838 SOS 4266881 HAS SOPS 4192256 HAS SOUS 3391981 HAS SOUPS 3382293 WITH SCORE 3386559.881
AT ITER 1587 NEW BEST:: SOT 17137819 SOS 4266822 HAS SOPS 4192197 HAS SOUS 3391971 HAS SOUPS 3382283 WITH SCORE 3386549.822
AT ITER 1614 NEW BEST:: SOT 17137434 SOS 4266944 HAS SOPS 4192319 HAS SOUS 3391586 HAS SOUPS 3381898 WITH SCORE 3386164.944
AT ITER 1653 NEW BEST:: SOT 17134142 SOS 4263891 HAS SOPS 4189266 HAS SOUS 3388533 HAS SOUPS 3378845 WITH SCORE 3383108.891
AT ITER 1655 NEW BEST:: SOT 17134142 SOS 4263770 HAS SOPS 4189145 HAS SOUS 3388412 HAS SOUPS 3378724 WITH SCORE 3382987.77
AT ITER 1675 NEW BEST:: SOT 17134142 SOS 4263770 HAS SOPS 4189145 HAS SOUS 3388261 HAS SOUPS 3378573 WITH SCORE 3382836.77
AT ITER 1678 NEW BEST:: SOT 17123830 SOS 4276434 HAS SOPS 4201809 HAS SOUS 3381530 HAS SOUPS 3371842 WITH SCORE 3376118.434
AT ITER 1683 NEW BEST:: SOT 17119201 SOS 4280668 HAS SOPS 4206071 HAS SOUS 3377906 HAS SOUPS 3368218 WITH SCORE 3372498.668
AT ITER 1686 NEW BEST:: SOT 17118736 SOS 4280668 HAS SOPS 4206071 HAS SOUS 3377441 HAS SOUPS 3367753 WITH SCORE 3372033.668
AT ITER 1745 NEW BEST:: SOT 17118720 SOS 4275269 HAS SOPS 4200672 HAS SOUS 3377409 HAS SOUPS 3367721 WITH SCORE 3371996.269
AT ITER 1755 NEW BEST:: SOT 17118497 SOS 4275134 HAS SOPS 4200537 HAS SOUS 3377186 HAS SOUPS 3367498 WITH SCORE 3371773.134
AT ITER 1770 NEW BEST:: SOT 17107166 SOS 4282158 HAS SOPS 4207561 HAS SOUS 3368608 HAS SOUPS 3358920 WITH SCORE 3363202.158
AT ITER 1781 NEW BEST:: SOT 17107150 SOS 4282110 HAS SOPS 4207513 HAS SOUS 3368560 HAS SOUPS 3358872 WITH SCORE 3363154.11
AT ITER 1782 NEW BEST:: SOT 17107150 SOS 4281955 HAS SOPS 4207358 HAS SOUS 3368405 HAS SOUPS 3358717 WITH SCORE 3362998.955
AT ITER 1789 NEW BEST:: SOT 17107089 SOS 4281955 HAS SOPS 4207358 HAS SOUS 3368391 HAS SOUPS 3358703 WITH SCORE 3362984.955
AT ITER 1858 NEW BEST:: SOT 17102751 SOS 4295125 HAS SOPS 4220552 HAS SOUS 3365980 HAS SOUPS 3356292 WITH SCORE 3360587.125
AT ITER 1865 NEW BEST:: SOT 17102377 SOS 4294751 HAS SOPS 4220178 HAS SOUS 3365232 HAS SOUPS 3355544 WITH SCORE 3359838.751
AT ITER 1873 NEW BEST:: SOT 17102377 SOS 4294735 HAS SOPS 4220162 HAS SOUS 3365216 HAS SOUPS 3355528 WITH SCORE 3359822.735
AT ITER 1876 NEW BEST:: SOT 17102384 SOS 4294939 HAS SOPS 4220366 HAS SOUS 3364863 HAS SOUPS 3355175 WITH SCORE 3359469.939
AT ITER 1895 NEW BEST:: SOT 17098083 SOS 4297774 HAS SOPS 4223201 HAS SOUS 3361727 HAS SOUPS 3352039 WITH SCORE 3356336.774
AT ITER 1909 NEW BEST:: SOT 17097973 SOS 4297312 HAS SOPS 4222739 HAS SOUS 3361265 HAS SOUPS 3351577 WITH SCORE 3355874.312
AT ITER 1915 NEW BEST:: SOT 17097771 SOS 4297110 HAS SOPS 4222537 HAS SOUS 3360861 HAS SOUPS 3351173 WITH SCORE 3355470.11
AT ITER 1916 NEW BEST:: SOT 17097503 SOS 4297110 HAS SOPS 4222537 HAS SOUS 3360593 HAS SOUPS 3350905 WITH SCORE 3355202.11
AT ITER 1967 NEW BEST:: SOT 17097472 SOS 4297063 HAS SOPS 4222490 HAS SOUS 3360546 HAS SOUPS 3350858 WITH SCORE 3355155.063
AT ITER 1974 NEW BEST:: SOT 17096874 SOS 4296821 HAS SOPS 4222248 HAS SOUS 3360217 HAS SOUPS 3350529 WITH SCORE 3354825.821
AT ITER 1998 NEW BEST:: SOT 17096025 SOS 4296398 HAS SOPS 4221825 HAS SOUS 3359512 HAS SOUPS 3349824 WITH SCORE 3354120.398
AT ITER 2014 NEW BEST:: SOT 17088660 SOS 4289524 HAS SOPS 4214951 HAS SOUS 3352638 HAS SOUPS 3342950 WITH SCORE 3347239.524
AT ITER 2033 NEW BEST:: SOT 17095670 SOS 4296589 HAS SOPS 4211425 HAS SOUS 3354691 HAS SOUPS 3339922 WITH SCORE 3344218.589
AT ITER 2082 NEW BEST:: SOT 17095262 SOS 4297019 HAS SOPS 4211855 HAS SOUS 3354568 HAS SOUPS 3339799 WITH SCORE 3344096.019
AT ITER 2084 NEW BEST:: SOT 17095128 SOS 4296885 HAS SOPS 4211721 HAS SOUS 3354434 HAS SOUPS 3339665 WITH SCORE 3343961.885
AT ITER 2098 NEW BEST:: SOT 17095044 SOS 4296672 HAS SOPS 4211508 HAS SOUS 3353857 HAS SOUPS 3339088 WITH SCORE 3343384.672
AT ITER 2120 NEW BEST:: SOT 17095298 SOS 4294253 HAS SOPS 4209089 HAS SOUS 3353373 HAS SOUPS 3338604 WITH SCORE 3342898.253
AT ITER 2156 NEW BEST:: SOT 17094548 SOS 4281503 HAS SOPS 4196339 HAS SOUS 3351873 HAS SOUPS 3337104 WITH SCORE 3341385.503
AT ITER 2165 NEW BEST:: SOT 17093950 SOS 4281320 HAS SOPS 4196156 HAS SOUS 3351496 HAS SOUPS 3336727 WITH SCORE 3341008.32
AT ITER 2185 NEW BEST:: SOT 17093934 SOS 4281304 HAS SOPS 4196140 HAS SOUS 3351480 HAS SOUPS 3336711 WITH SCORE 3340992.304
AT ITER 2196 NEW BEST:: SOT 17093934 SOS 4281212 HAS SOPS 4196048 HAS SOUS 3351388 HAS SOUPS 3336619 WITH SCORE 3340900.212
AT ITER 2215 NEW BEST:: SOT 17093384 SOS 4267103 HAS SOPS 4181956 HAS SOUS 3350288 HAS SOUPS 3335519 WITH SCORE 3339786.103
AT ITER 2235 NEW BEST:: SOT 17098969 SOS 4272797 HAS SOPS 4177880 HAS SOUS 3346573 HAS SOUPS 3331816 WITH SCORE 3336088.797
AT ITER 2264 NEW BEST:: SOT 17098966 SOS 4272794 HAS SOPS 4177880 HAS SOUS 3346573 HAS SOUPS 3331816 WITH SCORE 3336088.794
AT ITER 2280 NEW BEST:: SOT 17098966 SOS 4272778 HAS SOPS 4177864 HAS SOUS 3346557 HAS SOUPS 3331800 WITH SCORE 3336072.778
AT ITER 2307 NEW BEST:: SOT 17090222 SOS 4282195 HAS SOPS 4186813 HAS SOUS 3339595 HAS SOUPS 3324561 WITH SCORE 3328843.195
AT ITER 2316 NEW BEST:: SOT 17082746 SOS 4288817 HAS SOPS 4193435 HAS SOUS 3334077 HAS SOUPS 3319043 WITH SCORE 3323331.817
AT ITER 2355 NEW BEST:: SOT 17082046 SOS 4288917 HAS SOPS 4192735 HAS SOUS 3333461 HAS SOUPS 3318377 WITH SCORE 3322665.917
AT ITER 2364 NEW BEST:: SOT 17082046 SOS 4288681 HAS SOPS 4192499 HAS SOUS 3333461 HAS SOUPS 3318377 WITH SCORE 3322665.681
AT ITER 2378 NEW BEST:: SOT 17081268 SOS 4288321 HAS SOPS 4192139 HAS SOUS 3332737 HAS SOUPS 3317653 WITH SCORE 3321941.321
AT ITER 2380 NEW BEST:: SOT 17080362 SOS 4291894 HAS SOPS 4195712 HAS SOUS 3332462 HAS SOUPS 3317378 WITH SCORE 3321669.894
AT ITER 2388 NEW BEST:: SOT 17080250 SOS 4291782 HAS SOPS 4195600 HAS SOUS 3332238 HAS SOUPS 3317154 WITH SCORE 3321445.782
AT ITER 2390 NEW BEST:: SOT 17075158 SOS 4313111 HAS SOPS 4216951 HAS SOUS 3329882 HAS SOUPS 3314798 WITH SCORE 3319111.111
AT ITER 2395 NEW BEST:: SOT 17074788 SOS 4312935 HAS SOPS 4216775 HAS SOUS 3329757 HAS SOUPS 3314673 WITH SCORE 3318985.935
AT ITER 2406 NEW BEST:: SOT 17074573 SOS 4313130 HAS SOPS 4216970 HAS SOUS 3329523 HAS SOUPS 3314439 WITH SCORE 3318752.13
AT ITER 2416 NEW BEST:: SOT 17074563 SOS 4313112 HAS SOPS 4216952 HAS SOUS 3329513 HAS SOUPS 3314429 WITH SCORE 3318742.112
AT ITER 2434 NEW BEST:: SOT 17067521 SOS 4363215 HAS SOPS 4267055 HAS SOUS 3329283 HAS SOUPS 3314199 WITH SCORE 3318562.215
AT ITER 2447 NEW BEST:: SOT 17067094 SOS 4363402 HAS SOPS 4267242 HAS SOUS 3329043 HAS SOUPS 3313959 WITH SCORE 3318322.402
AT ITER 2457 NEW BEST:: SOT 17066815 SOS 4363402 HAS SOPS 4267242 HAS SOUS 3329036 HAS SOUPS 3313952 WITH SCORE 3318315.402
AT ITER 2486 NEW BEST:: SOT 17066815 SOS 4363238 HAS SOPS 4267078 HAS SOUS 3329036 HAS SOUPS 3313952 WITH SCORE 3318315.238
AT ITER 2517 NEW BEST:: SOT 17066589 SOS 4363012 HAS SOPS 4266852 HAS SOUS 3328810 HAS SOUPS 3313726 WITH SCORE 3318089.012
AT ITER 2529 NEW BEST:: SOT 17065772 SOS 4349123 HAS SOPS 4252963 HAS SOUS 3327176 HAS SOUPS 3312092 WITH SCORE 3316441.123
AT ITER 2532 NEW BEST:: SOT 17065196 SOS 4348531 HAS SOPS 4252371 HAS SOUS 3326584 HAS SOUPS 3311500 WITH SCORE 3315848.531
AT ITER 2598 NEW BEST:: SOT 17058382 SOS 4341731 HAS SOPS 4245571 HAS SOUS 3319754 HAS SOUPS 3304670 WITH SCORE 3309011.731
AT ITER 2599 NEW BEST:: SOT 17058382 SOS 4341587 HAS SOPS 4245427 HAS SOUS 3319610 HAS SOUPS 3304526 WITH SCORE 3308867.587
AT ITER 2610 NEW BEST:: SOT 17058437 SOS 4341405 HAS SOPS 4245245 HAS SOUS 3319428 HAS SOUPS 3304344 WITH SCORE 3308685.405
AT ITER 2621 NEW BEST:: SOT 17058240 SOS 4341176 HAS SOPS 4245016 HAS SOUS 3319199 HAS SOUPS 3304115 WITH SCORE 3308456.176
AT ITER 2679 NEW BEST:: SOT 17053887 SOS 4385480 HAS SOPS 4242287 HAS SOUS 3320166 HAS SOUPS 3303321 WITH SCORE 3307706.48
AT ITER 2688 NEW BEST:: SOT 17053377 SOS 4385352 HAS SOPS 4242159 HAS SOUS 3319732 HAS SOUPS 3302887 WITH SCORE 3307272.352
AT ITER 2704 NEW BEST:: SOT 17052875 SOS 4385730 HAS SOPS 4242537 HAS SOUS 3319608 HAS SOUPS 3302763 WITH SCORE 3307148.73
AT ITER 2713 NEW BEST:: SOT 17052552 SOS 4385828 HAS SOPS 4242635 HAS SOUS 3318946 HAS SOUPS 3302101 WITH SCORE 3306486.828
AT ITER 2749 NEW BEST:: SOT 17052464 SOS 4385509 HAS SOPS 4242316 HAS SOUS 3318302 HAS SOUPS 3301457 WITH SCORE 3305842.509
AT ITER 2752 NEW BEST:: SOT 17051772 SOS 4374473 HAS SOPS 4231280 HAS SOUS 3316956 HAS SOUPS 3300111 WITH SCORE 3304485.473
AT ITER 2753 NEW BEST:: SOT 16913238 SOS 4236608 HAS SOPS 4093415 HAS SOUS 3179013 HAS SOUPS 3162168 WITH SCORE 3166404.608
AT ITER 2769 NEW BEST:: SOT 16913374 SOS 4236608 HAS SOPS 4093415 HAS SOUS 3178983 HAS SOUPS 3162138 WITH SCORE 3166374.608
AT ITER 2778 NEW BEST:: SOT 16912912 SOS 4236146 HAS SOPS 4092953 HAS SOUS 3178027 HAS SOUPS 3161182 WITH SCORE 3165418.146
AT ITER 2786 NEW BEST:: SOT 16913409 SOS 4236434 HAS SOPS 4093241 HAS SOUS 3177974 HAS SOUPS 3161129 WITH SCORE 3165365.434
AT ITER 2787 NEW BEST:: SOT 16913691 SOS 4236434 HAS SOPS 4093241 HAS SOUS 3177755 HAS SOUPS 3160910 WITH SCORE 3165146.434
AT ITER 2811 NEW BEST:: SOT 16914049 SOS 4236624 HAS SOPS 4093431 HAS SOUS 3177587 HAS SOUPS 3160742 WITH SCORE 3164978.624
AT ITER 2824 NEW BEST:: SOT 16914242 SOS 4236626 HAS SOPS 4093433 HAS SOUS 3177494 HAS SOUPS 3160649 WITH SCORE 3164885.626
AT ITER 2842 NEW BEST:: SOT 16913993 SOS 4236691 HAS SOPS 4093498 HAS SOUS 3177310 HAS SOUPS 3160465 WITH SCORE 3164701.691
AT ITER 2874 NEW BEST:: SOT 16913344 SOS 4236325 HAS SOPS 4093132 HAS SOUS 3176781 HAS SOUPS 3159936 WITH SCORE 3164172.325
AT ITER 2884 NEW BEST:: SOT 16913069 SOS 4236446 HAS SOPS 4093253 HAS SOUS 3176627 HAS SOUPS 3159782 WITH SCORE 3164018.446
AT ITER 2889 NEW BEST:: SOT 16911886 SOS 4235354 HAS SOPS 4092161 HAS SOUS 3175530 HAS SOUPS 3158685 WITH SCORE 3162920.354
AT ITER 2895 NEW BEST:: SOT 16911378 SOS 4235517 HAS SOPS 4092324 HAS SOUS 3175185 HAS SOUPS 3158340 WITH SCORE 3162575.517
AT ITER 2912 NEW BEST:: SOT 16911326 SOS 4236287 HAS SOPS 4093094 HAS SOUS 3175081 HAS SOUPS 3158236 WITH SCORE 3162472.287
AT ITER 2913 NEW BEST:: SOT 16911175 SOS 4236136 HAS SOPS 4092943 HAS SOUS 3174779 HAS SOUPS 3157934 WITH SCORE 3162170.136
AT ITER 2934 NEW BEST:: SOT 16911339 SOS 4236299 HAS SOPS 4093106 HAS SOUS 3174526 HAS SOUPS 3157681 WITH SCORE 3161917.299
AT ITER 2946 NEW BEST:: SOT 16911323 SOS 4236267 HAS SOPS 4093074 HAS SOUS 3174478 HAS SOUPS 3157633 WITH SCORE 3161869.267
AT ITER 2966 NEW BEST:: SOT 16911323 SOS 4235748 HAS SOPS 4092555 HAS SOUS 3173945 HAS SOUPS 3157100 WITH SCORE 3161335.748
AT ITER 2984 NEW BEST:: SOT 16911323 SOS 4235592 HAS SOPS 4092399 HAS SOUS 3173945 HAS SOUPS 3157100 WITH SCORE 3161335.592
AT ITER 3001 NEW BEST:: SOT 16911755 SOS 4235727 HAS SOPS 4092534 HAS SOUS 3173848 HAS SOUPS 3157003 WITH SCORE 3161238.727
AT ITER 3021 NEW BEST:: SOT 16911236 SOS 4217802 HAS SOPS 4074621 HAS SOUS 3172810 HAS SOUPS 3155965 WITH SCORE 3160182.802
AT ITER 3026 NEW BEST:: SOT 16911236 SOS 4217586 HAS SOPS 4074405 HAS SOUS 3172810 HAS SOUPS 3155965 WITH SCORE 3160182.586
AT ITER 3032 NEW BEST:: SOT 16911236 SOS 4217342 HAS SOPS 4074161 HAS SOUS 3172322 HAS SOUPS 3155477 WITH SCORE 3159694.342
AT ITER 3039 NEW BEST:: SOT 16910953 SOS 4217794 HAS SOPS 4074613 HAS SOUS 3172049 HAS SOUPS 3155204 WITH SCORE 3159421.794
AT ITER 3043 NEW BEST:: SOT 16910953 SOS 4217383 HAS SOPS 4074202 HAS SOUS 3172049 HAS SOUPS 3155204 WITH SCORE 3159421.383
AT ITER 3048 NEW BEST:: SOT 16910883 SOS 4217140 HAS SOPS 4073959 HAS SOUS 3171736 HAS SOUPS 3154891 WITH SCORE 3159108.14
AT ITER 3052 NEW BEST:: SOT 16910883 SOS 4216944 HAS SOPS 4073763 HAS SOUS 3170876 HAS SOUPS 3154031 WITH SCORE 3158247.944
AT ITER 3060 NEW BEST:: SOT 16910883 SOS 4216928 HAS SOPS 4073747 HAS SOUS 3170860 HAS SOUPS 3154015 WITH SCORE 3158231.928
AT ITER 3154 NEW BEST:: SOT 16910852 SOS 4216897 HAS SOPS 4073716 HAS SOUS 3170798 HAS SOUPS 3153953 WITH SCORE 3158169.897
AT ITER 3170 NEW BEST:: SOT 16910546 SOS 4216591 HAS SOPS 4073410 HAS SOUS 3170186 HAS SOUPS 3153341 WITH SCORE 3157557.591
AT ITER 3174 NEW BEST:: SOT 16910561 SOS 4216591 HAS SOPS 4073410 HAS SOUS 3170126 HAS SOUPS 3153281 WITH SCORE 3157497.591
AT ITER 3175 NEW BEST:: SOT 16905857 SOS 4211881 HAS SOPS 4068700 HAS SOUS 3165406 HAS SOUPS 3148561 WITH SCORE 3152772.881
AT ITER 3202 NEW BEST:: SOT 16905857 SOS 4211694 HAS SOPS 4068513 HAS SOUS 3165406 HAS SOUPS 3148561 WITH SCORE 3152772.694
AT ITER 3203 NEW BEST:: SOT 16905376 SOS 4211626 HAS SOPS 4068445 HAS SOUS 3165044 HAS SOUPS 3148199 WITH SCORE 3152410.626
AT ITER 3253 NEW BEST:: SOT 16905118 SOS 4209970 HAS SOPS 4066789 HAS SOUS 3164198 HAS SOUPS 3147353 WITH SCORE 3151562.97
AT ITER 3254 NEW BEST:: SOT 16905118 SOS 4209798 HAS SOPS 4066617 HAS SOUS 3163997 HAS SOUPS 3147152 WITH SCORE 3151361.798
AT ITER 3266 NEW BEST:: SOT 16905202 SOS 4209798 HAS SOPS 4066617 HAS SOUS 3163739 HAS SOUPS 3146894 WITH SCORE 3151103.798
AT ITER 3283 NEW BEST:: SOT 16905202 SOS 4205889 HAS SOPS 4062708 HAS SOUS 3163422 HAS SOUPS 3146577 WITH SCORE 3150782.889
AT ITER 3297 NEW BEST:: SOT 16905386 SOS 4206031 HAS SOPS 4062850 HAS SOUS 3163311 HAS SOUPS 3146466 WITH SCORE 3150672.031
AT ITER 3319 NEW BEST:: SOT 16902416 SOS 4228120 HAS SOPS 4084968 HAS SOUS 3163107 HAS SOUPS 3146262 WITH SCORE 3150490.12
AT ITER 3332 NEW BEST:: SOT 16902574 SOS 4228249 HAS SOPS 4085097 HAS SOUS 3163078 HAS SOUPS 3146233 WITH SCORE 3150461.249
AT ITER 3347 NEW BEST:: SOT 16902558 SOS 4228233 HAS SOPS 4085081 HAS SOUS 3163046 HAS SOUPS 3146201 WITH SCORE 3150429.233
AT ITER 3377 NEW BEST:: SOT 16902720 SOS 4228267 HAS SOPS 4085115 HAS SOUS 3163024 HAS SOUPS 3146179 WITH SCORE 3150407.267
AT ITER 3383 NEW BEST:: SOT 16902030 SOS 4227577 HAS SOPS 4084425 HAS SOUS 3161948 HAS SOUPS 3145103 WITH SCORE 3149330.577
AT ITER 3384 NEW BEST:: SOT 16902030 SOS 4227577 HAS SOPS 4084425 HAS SOUS 3161932 HAS SOUPS 3145087 WITH SCORE 3149314.577
AT ITER 3386 NEW BEST:: SOT 16902030 SOS 4227577 HAS SOPS 4084425 HAS SOUS 3161923 HAS SOUPS 3145078 WITH SCORE 3149305.577
AT ITER 3390 NEW BEST:: SOT 16902052 SOS 4227577 HAS SOPS 4084425 HAS SOUS 3161664 HAS SOUPS 3144819 WITH SCORE 3149046.577
AT ITER 3400 NEW BEST:: SOT 16902052 SOS 4227628 HAS SOPS 4084476 HAS SOUS 3160994 HAS SOUPS 3144149 WITH SCORE 3148376.628
AT ITER 3416 NEW BEST:: SOT 16902052 SOS 4227628 HAS SOPS 4084476 HAS SOUS 3160993 HAS SOUPS 3144148 WITH SCORE 3148375.628
AT ITER 3447 NEW BEST:: SOT 16902361 SOS 4227712 HAS SOPS 4084560 HAS SOUS 3160596 HAS SOUPS 3143751 WITH SCORE 3147978.712
AT ITER 3452 NEW BEST:: SOT 16902088 SOS 4227285 HAS SOPS 4084133 HAS SOUS 3159647 HAS SOUPS 3142802 WITH SCORE 3147029.285
AT ITER 3459 NEW BEST:: SOT 16904785 SOS 4229982 HAS SOPS 4082871 HAS SOUS 3158743 HAS SOUPS 3141748 WITH SCORE 3145977.982
AT ITER 3472 NEW BEST:: SOT 16904420 SOS 4230129 HAS SOPS 4083018 HAS SOUS 3158525 HAS SOUPS 3141530 WITH SCORE 3145760.129
AT ITER 3483 NEW BEST:: SOT 16903738 SOS 4229792 HAS SOPS 4082681 HAS SOUS 3157931 HAS SOUPS 3140936 WITH SCORE 3145165.792
AT ITER 3484 NEW BEST:: SOT 16903564 SOS 4229618 HAS SOPS 4082507 HAS SOUS 3157919 HAS SOUPS 3140924 WITH SCORE 3145153.618
AT ITER 3548 NEW BEST:: SOT 16903005 SOS 4229483 HAS SOPS 4082372 HAS SOUS 3157724 HAS SOUPS 3140729 WITH SCORE 3144958.483
AT ITER 3551 NEW BEST:: SOT 16903285 SOS 4229483 HAS SOPS 4082372 HAS SOUS 3157432 HAS SOUPS 3140437 WITH SCORE 3144666.483
AT ITER 3570 NEW BEST:: SOT 16900115 SOS 4232523 HAS SOPS 4079567 HAS SOUS 3156928 HAS SOUPS 3139568 WITH SCORE 3143800.523
AT ITER 3578 NEW BEST:: SOT 16900217 SOS 4232571 HAS SOPS 4079615 HAS SOUS 3156580 HAS SOUPS 3139220 WITH SCORE 3143452.571
AT ITER 3589 NEW BEST:: SOT 16899256 SOS 4223746 HAS SOPS 4070790 HAS SOUS 3155381 HAS SOUPS 3138021 WITH SCORE 3142244.746
AT ITER 3636 NEW BEST:: SOT 16899240 SOS 4215938 HAS SOPS 4062982 HAS SOUS 3155349 HAS SOUPS 3137989 WITH SCORE 3142204.938
AT ITER 3647 NEW BEST:: SOT 16899219 SOS 4215688 HAS SOPS 4062732 HAS SOUS 3154835 HAS SOUPS 3137475 WITH SCORE 3141690.688
AT ITER 3664 NEW BEST:: SOT 16898719 SOS 4215688 HAS SOPS 4062732 HAS SOUS 3154442 HAS SOUPS 3137082 WITH SCORE 3141297.688
AT ITER 3671 NEW BEST:: SOT 16898703 SOS 4215672 HAS SOPS 4062716 HAS SOUS 3154410 HAS SOUPS 3137050 WITH SCORE 3141265.672
AT ITER 3672 NEW BEST:: SOT 16898593 SOS 4215562 HAS SOPS 4062606 HAS SOUS 3154297 HAS SOUPS 3136937 WITH SCORE 3141152.562
AT ITER 3690 NEW BEST:: SOT 16899067 SOS 4215645 HAS SOPS 4062689 HAS SOUS 3154053 HAS SOUPS 3136693 WITH SCORE 3140908.645
AT ITER 3695 NEW BEST:: SOT 16899343 SOS 4215764 HAS SOPS 4062808 HAS SOUS 3154029 HAS SOUPS 3136669 WITH SCORE 3140884.764
AT ITER 3707 NEW BEST:: SOT 16893642 SOS 4215061 HAS SOPS 4062105 HAS SOUS 3148328 HAS SOUPS 3130968 WITH SCORE 3135183.061
AT ITER 3716 NEW BEST:: SOT 16893310 SOS 4215061 HAS SOPS 4062105 HAS SOUS 3147996 HAS SOUPS 3130636 WITH SCORE 3134851.061
AT ITER 3722 NEW BEST:: SOT 16892866 SOS 4214843 HAS SOPS 4061887 HAS SOUS 3147801 HAS SOUPS 3130441 WITH SCORE 3134655.843
AT ITER 3733 NEW BEST:: SOT 16892850 SOS 4214827 HAS SOPS 4061871 HAS SOUS 3147769 HAS SOUPS 3130409 WITH SCORE 3134623.827
AT ITER 3740 NEW BEST:: SOT 16892874 SOS 4214833 HAS SOPS 4061877 HAS SOUS 3147456 HAS SOUPS 3130096 WITH SCORE 3134310.833
AT ITER 3751 NEW BEST:: SOT 16902439 SOS 4225120 HAS SOPS 4061218 HAS SOUS 3147657 HAS SOUPS 3129826 WITH SCORE 3134051.12
AT ITER 3770 NEW BEST:: SOT 16902439 SOS 4225120 HAS SOPS 4061218 HAS SOUS 3147653 HAS SOUPS 3129822 WITH SCORE 3134047.12
AT ITER 3813 NEW BEST:: SOT 16902252 SOS 4224899 HAS SOPS 4060997 HAS SOUS 3147279 HAS SOUPS 3129448 WITH SCORE 3133672.899
AT ITER 3852 NEW BEST:: SOT 16901974 SOS 4225150 HAS SOPS 4061248 HAS SOUS 3147255 HAS SOUPS 3129424 WITH SCORE 3133649.15
AT ITER 3884 NEW BEST:: SOT 16901980 SOS 4225150 HAS SOPS 4061248 HAS SOUS 3146867 HAS SOUPS 3129036 WITH SCORE 3133261.15
AT ITER 3885 NEW BEST:: SOT 16901561 SOS 4224715 HAS SOPS 4060813 HAS SOUS 3146432 HAS SOUPS 3128601 WITH SCORE 3132825.715
AT ITER 3890 NEW BEST:: SOT 16901561 SOS 4224500 HAS SOPS 4060598 HAS SOUS 3146432 HAS SOUPS 3128601 WITH SCORE 3132825.5
AT ITER 3891 NEW BEST:: SOT 16901753 SOS 4224605 HAS SOPS 4060703 HAS SOUS 3146175 HAS SOUPS 3128344 WITH SCORE 3132568.605
AT ITER 3922 NEW BEST:: SOT 16901666 SOS 4224518 HAS SOPS 4060616 HAS SOUS 3146001 HAS SOUPS 3128170 WITH SCORE 3132394.518
AT ITER 3934 NEW BEST:: SOT 16901666 SOS 4224484 HAS SOPS 4060582 HAS SOUS 3146001 HAS SOUPS 3128170 WITH SCORE 3132394.484
AT ITER 3937 NEW BEST:: SOT 16901666 SOS 4224484 HAS SOPS 4060582 HAS SOUS 3146000 HAS SOUPS 3128169 WITH SCORE 3132393.484
AT ITER 3969 NEW BEST:: SOT 16901023 SOS 4224228 HAS SOPS 4060326 HAS SOUS 3145614 HAS SOUPS 3127783 WITH SCORE 3132007.228
AT ITER 3992 NEW BEST:: SOT 16900798 SOS 4223785 HAS SOPS 4059883 HAS SOUS 3145164 HAS SOUPS 3127333 WITH SCORE 3131556.785
AT ITER 4004 NEW BEST:: SOT 16900648 SOS 4221235 HAS SOPS 4057333 HAS SOUS 3144864 HAS SOUPS 3127033 WITH SCORE 3131254.235
AT ITER 4069 NEW BEST:: SOT 16900648 SOS 4220708 HAS SOPS 4056806 HAS SOUS 3144337 HAS SOUPS 3126506 WITH SCORE 3130726.708
AT ITER 4075 NEW BEST:: SOT 16900289 SOS 4220799 HAS SOPS 4056897 HAS SOUS 3144069 HAS SOUPS 3126238 WITH SCORE 3130458.799
AT ITER 4085 NEW BEST:: SOT 16900602 SOS 4220799 HAS SOPS 4056897 HAS SOUS 3143905 HAS SOUPS 3126074 WITH SCORE 3130294.799
AT ITER 4095 NEW BEST:: SOT 16900603 SOS 4220594 HAS SOPS 4056692 HAS SOUS 3143700 HAS SOUPS 3125869 WITH SCORE 3130089.594
AT ITER 4131 NEW BEST:: SOT 16900603 SOS 4220512 HAS SOPS 4056610 HAS SOUS 3143536 HAS SOUPS 3125705 WITH SCORE 3129925.512
AT ITER 4136 NEW BEST:: SOT 16882121 SOS 4202030 HAS SOPS 4038128 HAS SOUS 3124937 HAS SOUPS 3107106 WITH SCORE 3111308.03
AT ITER 4142 NEW BEST:: SOT 16882389 SOS 4202371 HAS SOPS 4033910 HAS SOUS 3120799 HAS SOUPS 3102968 WITH SCORE 3107170.371
AT ITER 4165 NEW BEST:: SOT 16882389 SOS 4202329 HAS SOPS 4033868 HAS SOUS 3120649 HAS SOUPS 3102818 WITH SCORE 3107020.329
AT ITER 4174 NEW BEST:: SOT 16882183 SOS 4197904 HAS SOPS 4029443 HAS SOUS 3120506 HAS SOUPS 3102675 WITH SCORE 3106872.904
AT ITER 4177 NEW BEST:: SOT 16882167 SOS 4197888 HAS SOPS 4029427 HAS SOUS 3120476 HAS SOUPS 3102645 WITH SCORE 3106842.888
AT ITER 4198 NEW BEST:: SOT 16882337 SOS 4197888 HAS SOPS 4029427 HAS SOUS 3120299 HAS SOUPS 3102468 WITH SCORE 3106665.888
AT ITER 4225 NEW BEST:: SOT 16882114 SOS 4194527 HAS SOPS 4026066 HAS SOUS 3120060 HAS SOUPS 3102229 WITH SCORE 3106423.527
AT ITER 4228 NEW BEST:: SOT 16882114 SOS 4191300 HAS SOPS 4022839 HAS SOUS 3120060 HAS SOUPS 3102229 WITH SCORE 3106420.3
AT ITER 4242 NEW BEST:: SOT 16882107 SOS 4191293 HAS SOPS 4022832 HAS SOUS 3120046 HAS SOUPS 3102215 WITH SCORE 3106406.293
AT ITER 4310 NEW BEST:: SOT 16882533 SOS 4191293 HAS SOPS 4022832 HAS SOUS 3119784 HAS SOUPS 3101953 WITH SCORE 3106144.293
AT ITER 4323 NEW BEST:: SOT 16872764 SOS 4197549 HAS SOPS 4029088 HAS SOUS 3112694 HAS SOUPS 3094863 WITH SCORE 3099060.549
AT ITER 4421 NEW BEST:: SOT 16872764 SOS 4197559 HAS SOPS 4029098 HAS SOUS 3112678 HAS SOUPS 3094847 WITH SCORE 3099044.559
AT ITER 4430 NEW BEST:: SOT 16872681 SOS 4197337 HAS SOPS 4028876 HAS SOUS 3112456 HAS SOUPS 3094625 WITH SCORE 3098822.337
AT ITER 4433 NEW BEST:: SOT 16872678 SOS 4197278 HAS SOPS 4028841 HAS SOUS 3112445 HAS SOUPS 3094614 WITH SCORE 3098811.278
AT ITER 4467 NEW BEST:: SOT 16872350 SOS 4197024 HAS SOPS 4028259 HAS SOUS 3112115 HAS SOUPS 3093958 WITH SCORE 3098155.024
AT ITER 4476 NEW BEST:: SOT 16868990 SOS 4197472 HAS SOPS 4025123 HAS SOUS 3109011 HAS SOUPS 3090630 WITH SCORE 3094827.472
AT ITER 4494 NEW BEST:: SOT 16860491 SOS 4245245 HAS SOPS 4072896 HAS SOUS 3107210 HAS SOUPS 3088829 WITH SCORE 3093074.245
AT ITER 4505 NEW BEST:: SOT 16860359 SOS 4208246 HAS SOPS 4035938 HAS SOUS 3106946 HAS SOUPS 3088565 WITH SCORE 3092773.246
AT ITER 4524 NEW BEST:: SOT 16860109 SOS 4208573 HAS SOPS 4036265 HAS SOUS 3106696 HAS SOUPS 3088315 WITH SCORE 3092523.573
AT ITER 4526 NEW BEST:: SOT 16860109 SOS 4208707 HAS SOPS 4036399 HAS SOUS 3106197 HAS SOUPS 3087816 WITH SCORE 3092024.707
AT ITER 4530 NEW BEST:: SOT 16860152 SOS 4208707 HAS SOPS 4036399 HAS SOUS 3106025 HAS SOUPS 3087644 WITH SCORE 3091852.707
AT ITER 4549 NEW BEST:: SOT 16859662 SOS 4208217 HAS SOPS 4035909 HAS SOUS 3106022 HAS SOUPS 3087641 WITH SCORE 3091849.217
AT ITER 4552 NEW BEST:: SOT 16859637 SOS 4207801 HAS SOPS 4035493 HAS SOUS 3105981 HAS SOUPS 3087600 WITH SCORE 3091807.801
AT ITER 4560 NEW BEST:: SOT 16858899 SOS 4207801 HAS SOPS 4035493 HAS SOUS 3105243 HAS SOUPS 3086862 WITH SCORE 3091069.801
AT ITER 4678 NEW BEST:: SOT 16858382 SOS 4195563 HAS SOPS 4023255 HAS SOUS 3104209 HAS SOUPS 3085828 WITH SCORE 3090023.563
AT ITER 4692 NEW BEST:: SOT 16858190 SOS 4195389 HAS SOPS 4023081 HAS SOUS 3103831 HAS SOUPS 3085450 WITH SCORE 3089645.389
AT ITER 4694 NEW BEST:: SOT 16858190 SOS 4195434 HAS SOPS 4023126 HAS SOUS 3103588 HAS SOUPS 3085207 WITH SCORE 3089402.434
AT ITER 4698 NEW BEST:: SOT 16857769 SOS 4195135 HAS SOPS 4022827 HAS SOUS 3103283 HAS SOUPS 3084902 WITH SCORE 3089097.135
AT ITER 4702 NEW BEST:: SOT 16857329 SOS 4195234 HAS SOPS 4022926 HAS SOUS 3102942 HAS SOUPS 3084561 WITH SCORE 3088756.234
AT ITER 4719 NEW BEST:: SOT 16857574 SOS 4195365 HAS SOPS 4023057 HAS SOUS 3102760 HAS SOUPS 3084379 WITH SCORE 3088574.365
AT ITER 4781 NEW BEST:: SOT 16857939 SOS 4195601 HAS SOPS 4023293 HAS SOUS 3102548 HAS SOUPS 3084167 WITH SCORE 3088362.601
AT ITER 4807 NEW BEST:: SOT 16857919 SOS 4195417 HAS SOPS 4023109 HAS SOUS 3101961 HAS SOUPS 3083580 WITH SCORE 3087775.417
AT ITER 4816 NEW BEST:: SOT 16857736 SOS 4195727 HAS SOPS 4023419 HAS SOUS 3101672 HAS SOUPS 3083291 WITH SCORE 3087486.727
AT ITER 4823 NEW BEST:: SOT 16857331 SOS 4196073 HAS SOPS 4023765 HAS SOUS 3101622 HAS SOUPS 3083241 WITH SCORE 3087437.073
AT ITER 4830 NEW BEST:: SOT 16857210 SOS 4196003 HAS SOPS 4023695 HAS SOUS 3101393 HAS SOUPS 3083012 WITH SCORE 3087208.003
AT ITER 4843 NEW BEST:: SOT 16853154 SOS 4196939 HAS SOPS 4019639 HAS SOUS 3098016 HAS SOUPS 3079323 WITH SCORE 3083519.939
AT ITER 4862 NEW BEST:: SOT 16852866 SOS 4196250 HAS SOPS 4018950 HAS SOUS 3097554 HAS SOUPS 3078861 WITH SCORE 3083057.25
AT ITER 4895 NEW BEST:: SOT 16852622 SOS 4196298 HAS SOPS 4018998 HAS SOUS 3097358 HAS SOUPS 3078665 WITH SCORE 3082861.298
AT ITER 4922 NEW BEST:: SOT 16852761 SOS 4196298 HAS SOPS 4018998 HAS SOUS 3097281 HAS SOUPS 3078588 WITH SCORE 3082784.298
AT ITER 4923 NEW BEST:: SOT 16852471 SOS 4196478 HAS SOPS 4019178 HAS SOUS 3096749 HAS SOUPS 3078056 WITH SCORE 3082252.478
AT ITER 4956 NEW BEST:: SOT 16852689 SOS 4189649 HAS SOPS 4011889 HAS SOUS 3096491 HAS SOUPS 3077798 WITH SCORE 3081987.649
AT ITER 4967 NEW BEST:: SOT 16849979 SOS 4197724 HAS SOPS 4019996 HAS SOUS 3094731 HAS SOUPS 3076038 WITH SCORE 3080235.724
AT ITER 4968 NEW BEST:: SOT 16849718 SOS 4197925 HAS SOPS 4020197 HAS SOUS 3094662 HAS SOUPS 3075969 WITH SCORE 3080166.925
AT ITER 4982 NEW BEST:: SOT 16849597 SOS 4197454 HAS SOPS 4019726 HAS SOUS 3093599 HAS SOUPS 3074906 WITH SCORE 3079103.454
AT ITER 4990 NEW BEST:: SOT 16849597 SOS 4197080 HAS SOPS 4019352 HAS SOUS 3093599 HAS SOUPS 3074906 WITH SCORE 3079103.08
AT ITER 4994 NEW BEST:: SOT 16849548 SOS 4197110 HAS SOPS 4016362 HAS SOUS 3090625 HAS SOUPS 3071932 WITH SCORE 3076129.11
AT ITER 4998 NEW BEST:: SOT 16842193 SOS 4206259 HAS SOPS 4009570 HAS SOUS 3084989 HAS SOUPS 3065495 WITH SCORE 3069701.259
AT ITER 5001 NEW BEST:: SOT 16838735 SOS 4206753 HAS SOPS 4006112 HAS SOUS 3081817 HAS SOUPS 3062076 WITH SCORE 3066282.753
AT ITER 5048 NEW BEST:: SOT 16838468 SOS 4206486 HAS SOPS 4005578 HAS SOUS 3081536 HAS SOUPS 3061542 WITH SCORE 3065748.486
AT ITER 5078 NEW BEST:: SOT 16838468 SOS 4206182 HAS SOPS 4005274 HAS SOUS 3081536 HAS SOUPS 3061542 WITH SCORE 3065748.182
AT ITER 5084 NEW BEST:: SOT 16838409 SOS 4206123 HAS SOPS 4005215 HAS SOUS 3081418 HAS SOUPS 3061424 WITH SCORE 3065630.123
AT ITER 5114 NEW BEST:: SOT 16836146 SOS 4218950 HAS SOPS 4018048 HAS SOUS 3080086 HAS SOUPS 3060092 WITH SCORE 3064310.95
AT ITER 5151 NEW BEST:: SOT 16836176 SOS 4218980 HAS SOPS 4018078 HAS SOUS 3079924 HAS SOUPS 3059930 WITH SCORE 3064148.98
AT ITER 5182 NEW BEST:: SOT 16835763 SOS 4219016 HAS SOPS 4018114 HAS SOUS 3079511 HAS SOUPS 3059517 WITH SCORE 3063736.016
AT ITER 5199 NEW BEST:: SOT 16835521 SOS 4219029 HAS SOPS 4017791 HAS SOUS 3079362 HAS SOUPS 3059033 WITH SCORE 3063252.029
AT ITER 5218 NEW BEST:: SOT 16835146 SOS 4219029 HAS SOPS 4017791 HAS SOUS 3078987 HAS SOUPS 3058658 WITH SCORE 3062877.029
AT ITER 5219 NEW BEST:: SOT 16830164 SOS 4231073 HAS SOPS 4029835 HAS SOUS 3076099 HAS SOUPS 3055770 WITH SCORE 3060001.073
AT ITER 5226 NEW BEST:: SOT 16829587 SOS 4230448 HAS SOPS 4029210 HAS SOUS 3075474 HAS SOUPS 3055145 WITH SCORE 3059375.448
AT ITER 5242 NEW BEST:: SOT 16829363 SOS 4230406 HAS SOPS 4029168 HAS SOUS 3075250 HAS SOUPS 3054921 WITH SCORE 3059151.406
AT ITER 5251 NEW BEST:: SOT 16829314 SOS 4230357 HAS SOPS 4029119 HAS SOUS 3075152 HAS SOUPS 3054823 WITH SCORE 3059053.357
AT ITER 5265 NEW BEST:: SOT 16824906 SOS 4250313 HAS SOPS 4049075 HAS SOUS 3073964 HAS SOUPS 3053635 WITH SCORE 3057885.313
AT ITER 5279 NEW BEST:: SOT 16823204 SOS 4265851 HAS SOPS 4064297 HAS SOUS 3073831 HAS SOUPS 3053200 WITH SCORE 3057465.851
AT ITER 5282 NEW BEST:: SOT 16823127 SOS 4265774 HAS SOPS 4064220 HAS SOUS 3073677 HAS SOUPS 3053046 WITH SCORE 3057311.774
AT ITER 5284 NEW BEST:: SOT 16822661 SOS 4265519 HAS SOPS 4063965 HAS SOUS 3073211 HAS SOUPS 3052580 WITH SCORE 3056845.519
AT ITER 5286 NEW BEST:: SOT 16822473 SOS 4266011 HAS SOPS 4064269 HAS SOUS 3072835 HAS SOUPS 3052204 WITH SCORE 3056470.011
AT ITER 5289 NEW BEST:: SOT 16822439 SOS 4265385 HAS SOPS 4063643 HAS SOUS 3072175 HAS SOUPS 3051544 WITH SCORE 3055809.385
AT ITER 5299 NEW BEST:: SOT 16815453 SOS 4284782 HAS SOPS 4083040 HAS SOUS 3069032 HAS SOUPS 3048401 WITH SCORE 3052685.782
AT ITER 5308 NEW BEST:: SOT 16815231 SOS 4284863 HAS SOPS 4083121 HAS SOUS 3068891 HAS SOUPS 3048260 WITH SCORE 3052544.863
AT ITER 5317 NEW BEST:: SOT 16815171 SOS 4284743 HAS SOPS 4083001 HAS SOUS 3068771 HAS SOUPS 3048140 WITH SCORE 3052424.743
AT ITER 5323 NEW BEST:: SOT 16815040 SOS 4284486 HAS SOPS 4082744 HAS SOUS 3068126 HAS SOUPS 3047495 WITH SCORE 3051779.486
AT ITER 5351 NEW BEST:: SOT 16815040 SOS 4284486 HAS SOPS 4082744 HAS SOUS 3067520 HAS SOUPS 3046889 WITH SCORE 3051173.486
AT ITER 5355 NEW BEST:: SOT 16815099 SOS 4284209 HAS SOPS 4082467 HAS SOUS 3067302 HAS SOUPS 3046671 WITH SCORE 3050955.209
AT ITER 5362 NEW BEST:: SOT 16815079 SOS 4284189 HAS SOPS 4082427 HAS SOUS 3067262 HAS SOUPS 3046631 WITH SCORE 3050915.189
AT ITER 5379 NEW BEST:: SOT 16815079 SOS 4284056 HAS SOPS 4082294 HAS SOUS 3067262 HAS SOUPS 3046631 WITH SCORE 3050915.056
AT ITER 5413 NEW BEST:: SOT 16814665 SOS 4284241 HAS SOPS 4082479 HAS SOUS 3066848 HAS SOUPS 3046217 WITH SCORE 3050501.241
AT ITER 5418 NEW BEST:: SOT 16814665 SOS 4284206 HAS SOPS 4082444 HAS SOUS 3066514 HAS SOUPS 3045883 WITH SCORE 3050167.206
AT ITER 5453 NEW BEST:: SOT 16814133 SOS 4284788 HAS SOPS 4083026 HAS SOUS 3066508 HAS SOUPS 3045877 WITH SCORE 3050161.788
AT ITER 5460 NEW BEST:: SOT 16813954 SOS 4284396 HAS SOPS 4082634 HAS SOUS 3066111 HAS SOUPS 3045480 WITH SCORE 3049764.396
AT ITER 5493 NEW BEST:: SOT 16813583 SOS 4284133 HAS SOPS 4082371 HAS SOUS 3065945 HAS SOUPS 3045314 WITH SCORE 3049598.133
AT ITER 5529 NEW BEST:: SOT 16813486 SOS 4284036 HAS SOPS 4082274 HAS SOUS 3065832 HAS SOUPS 3045201 WITH SCORE 3049485.036
AT ITER 5553 NEW BEST:: SOT 16813158 SOS 4284128 HAS SOPS 4082366 HAS SOUS 3065596 HAS SOUPS 3044965 WITH SCORE 3049249.128
AT ITER 5567 NEW BEST:: SOT 16813142 SOS 4284112 HAS SOPS 4082350 HAS SOUS 3065564 HAS SOUPS 3044933 WITH SCORE 3049217.112
AT ITER 5576 NEW BEST:: SOT 16813142 SOS 4284102 HAS SOPS 4082340 HAS SOUS 3065564 HAS SOUPS 3044933 WITH SCORE 3049217.102
AT ITER 5581 NEW BEST:: SOT 16812982 SOS 4283942 HAS SOPS 4082180 HAS SOUS 3065403 HAS SOUPS 3044772 WITH SCORE 3049055.942
AT ITER 5584 NEW BEST:: SOT 16812938 SOS 4283326 HAS SOPS 4081564 HAS SOUS 3065359 HAS SOUPS 3044728 WITH SCORE 3049011.326
AT ITER 5595 NEW BEST:: SOT 16812793 SOS 4283181 HAS SOPS 4081419 HAS SOUS 3065241 HAS SOUPS 3044610 WITH SCORE 3048893.181
AT ITER 5599 NEW BEST:: SOT 16812578 SOS 4283181 HAS SOPS 4081419 HAS SOUS 3065026 HAS SOUPS 3044395 WITH SCORE 3048678.181
AT ITER 5610 NEW BEST:: SOT 16812562 SOS 4283149 HAS SOPS 4081387 HAS SOUS 3064994 HAS SOUPS 3044363 WITH SCORE 3048646.149
AT ITER 5636 NEW BEST:: SOT 16812530 SOS 4283028 HAS SOPS 4081266 HAS SOUS 3064930 HAS SOUPS 3044299 WITH SCORE 3048582.028
AT ITER 5650 NEW BEST:: SOT 16812883 SOS 4283226 HAS SOPS 4081464 HAS SOUS 3064914 HAS SOUPS 3044283 WITH SCORE 3048566.226
AT ITER 5660 NEW BEST:: SOT 16812833 SOS 4283150 HAS SOPS 4081398 HAS SOUS 3064725 HAS SOUPS 3044094 WITH SCORE 3048377.15
AT ITER 5671 NEW BEST:: SOT 16811851 SOS 4282967 HAS SOPS 4081215 HAS SOUS 3064141 HAS SOUPS 3043510 WITH SCORE 3047792.967
AT ITER 5724 NEW BEST:: SOT 16811827 SOS 4283424 HAS SOPS 4081465 HAS SOUS 3064300 HAS SOUPS 3043462 WITH SCORE 3047745.424
AT ITER 5728 NEW BEST:: SOT 16811827 SOS 4283418 HAS SOPS 4081459 HAS SOUS 3064294 HAS SOUPS 3043456 WITH SCORE 3047739.418
AT ITER 5782 NEW BEST:: SOT 16811362 SOS 4275513 HAS SOPS 4073554 HAS SOUS 3063364 HAS SOUPS 3042526 WITH SCORE 3046801.513
AT ITER 5855 NEW BEST:: SOT 16811084 SOS 4275651 HAS SOPS 4073692 HAS SOUS 3062925 HAS SOUPS 3042087 WITH SCORE 3046362.651
AT ITER 5860 NEW BEST:: SOT 16811068 SOS 4271404 HAS SOPS 4069445 HAS SOUS 3062893 HAS SOUPS 3042055 WITH SCORE 3046326.404
AT ITER 5861 NEW BEST:: SOT 16810859 SOS 4270916 HAS SOPS 4068957 HAS SOUS 3062652 HAS SOUPS 3041814 WITH SCORE 3046084.916
AT ITER 5863 NEW BEST:: SOT 16810700 SOS 4270996 HAS SOPS 4069037 HAS SOUS 3062493 HAS SOUPS 3041655 WITH SCORE 3045925.996
AT ITER 5893 NEW BEST:: SOT 16810700 SOS 4270930 HAS SOPS 4068971 HAS SOUS 3062493 HAS SOUPS 3041655 WITH SCORE 3045925.93
AT ITER 5894 NEW BEST:: SOT 16810700 SOS 4271177 HAS SOPS 4069218 HAS SOUS 3062090 HAS SOUPS 3041252 WITH SCORE 3045523.177
AT ITER 5921 NEW BEST:: SOT 16810354 SOS 4270585 HAS SOPS 4068626 HAS SOUS 3061712 HAS SOUPS 3040874 WITH SCORE 3045144.585
AT ITER 5926 NEW BEST:: SOT 16810332 SOS 4270431 HAS SOPS 4068472 HAS SOUS 3061159 HAS SOUPS 3040321 WITH SCORE 3044591.431
AT ITER 5949 NEW BEST:: SOT 16809761 SOS 4270431 HAS SOPS 4068472 HAS SOUS 3060661 HAS SOUPS 3039823 WITH SCORE 3044093.431
AT ITER 5973 NEW BEST:: SOT 16810219 SOS 4270607 HAS SOPS 4068648 HAS SOUS 3060599 HAS SOUPS 3039761 WITH SCORE 3044031.607
AT ITER 5979 NEW BEST:: SOT 16809953 SOS 4270341 HAS SOPS 4068382 HAS SOUS 3059766 HAS SOUPS 3038928 WITH SCORE 3043198.341
AT ITER 5998 NEW BEST:: SOT 16809943 SOS 4270321 HAS SOPS 4068362 HAS SOUS 3059746 HAS SOUPS 3038908 WITH SCORE 3043178.321
AT ITER 6006 NEW BEST:: SOT 16809927 SOS 4263205 HAS SOPS 4061246 HAS SOUS 3059714 HAS SOUPS 3038876 WITH SCORE 3043139.205
AT ITER 6025 NEW BEST:: SOT 16809140 SOS 4262826 HAS SOPS 4060867 HAS SOUS 3059014 HAS SOUPS 3038176 WITH SCORE 3042438.826
AT ITER 6037 NEW BEST:: SOT 16809443 SOS 4262976 HAS SOPS 4061017 HAS SOUS 3058985 HAS SOUPS 3038147 WITH SCORE 3042409.976
AT ITER 6038 NEW BEST:: SOT 16809952 SOS 4262976 HAS SOPS 4061017 HAS SOUS 3058887 HAS SOUPS 3038049 WITH SCORE 3042311.976
AT ITER 6050 NEW BEST:: SOT 16807747 SOS 4273475 HAS SOPS 4071516 HAS SOUS 3058543 HAS SOUPS 3037705 WITH SCORE 3041978.475
AT ITER 6052 NEW BEST:: SOT 16807153 SOS 4272881 HAS SOPS 4070922 HAS SOUS 3057965 HAS SOUPS 3037127 WITH SCORE 3041399.881
AT ITER 6094 NEW BEST:: SOT 16807358 SOS 4272881 HAS SOPS 4070922 HAS SOUS 3057859 HAS SOUPS 3037021 WITH SCORE 3041293.881
AT ITER 6113 NEW BEST:: SOT 16806741 SOS 4273108 HAS SOPS 4071149 HAS SOUS 3057469 HAS SOUPS 3036631 WITH SCORE 3040904.108
AT ITER 6122 NEW BEST:: SOT 16806838 SOS 4273108 HAS SOPS 4071149 HAS SOUS 3057169 HAS SOUPS 3036331 WITH SCORE 3040604.108
AT ITER 6134 NEW BEST:: SOT 16806838 SOS 4259460 HAS SOPS 4057501 HAS SOUS 3057153 HAS SOUPS 3036315 WITH SCORE 3040574.46
AT ITER 6166 NEW BEST:: SOT 16807300 SOS 4259493 HAS SOPS 4057534 HAS SOUS 3057081 HAS SOUPS 3036243 WITH SCORE 3040502.493
AT ITER 6171 NEW BEST:: SOT 16806553 SOS 4259165 HAS SOPS 4057206 HAS SOUS 3056445 HAS SOUPS 3035607 WITH SCORE 3039866.165
AT ITER 6178 NEW BEST:: SOT 16806553 SOS 4259053 HAS SOPS 4057094 HAS SOUS 3056333 HAS SOUPS 3035495 WITH SCORE 3039754.053
AT ITER 6179 NEW BEST:: SOT 16799437 SOS 4286397 HAS SOPS 4084438 HAS SOUS 3054058 HAS SOUPS 3033220 WITH SCORE 3037506.397
AT ITER 6188 NEW BEST:: SOT 16799514 SOS 4278655 HAS SOPS 4076696 HAS SOUS 3054056 HAS SOUPS 3033218 WITH SCORE 3037496.655
AT ITER 6205 NEW BEST:: SOT 16799322 SOS 4278302 HAS SOPS 4076343 HAS SOUS 3053672 HAS SOUPS 3032834 WITH SCORE 3037112.302
AT ITER 6230 NEW BEST:: SOT 16799322 SOS 4278195 HAS SOPS 4076236 HAS SOUS 3053672 HAS SOUPS 3032834 WITH SCORE 3037112.195
AT ITER 6231 NEW BEST:: SOT 16799306 SOS 4278163 HAS SOPS 4076204 HAS SOUS 3053624 HAS SOUPS 3032786 WITH SCORE 3037064.163
AT ITER 6249 NEW BEST:: SOT 16797500 SOS 4278421 HAS SOPS 4074398 HAS SOUS 3051947 HAS SOUPS 3030980 WITH SCORE 3035258.421
AT ITER 6333 NEW BEST:: SOT 16797221 SOS 4278142 HAS SOPS 4074119 HAS SOUS 3051668 HAS SOUPS 3030701 WITH SCORE 3034979.142
AT ITER 6350 NEW BEST:: SOT 16789812 SOS 4281865 HAS SOPS 4066710 HAS SOUS 3044781 HAS SOUPS 3023123 WITH SCORE 3027404.865
AT ITER 6355 NEW BEST:: SOT 16789945 SOS 4281876 HAS SOPS 4066721 HAS SOUS 3044544 HAS SOUPS 3022886 WITH SCORE 3027167.876
AT ITER 6379 NEW BEST:: SOT 16789945 SOS 4281634 HAS SOPS 4066479 HAS SOUS 3044302 HAS SOUPS 3022644 WITH SCORE 3026925.634
AT ITER 6380 NEW BEST:: SOT 16789945 SOS 4281531 HAS SOPS 4066376 HAS SOUS 3044302 HAS SOUPS 3022644 WITH SCORE 3026925.531
AT ITER 6386 NEW BEST:: SOT 16789415 SOS 4281547 HAS SOPS 4066392 HAS SOUS 3043788 HAS SOUPS 3022130 WITH SCORE 3026411.547
AT ITER 6394 NEW BEST:: SOT 16789148 SOS 4282208 HAS SOPS 4067053 HAS SOUS 3043546 HAS SOUPS 3021888 WITH SCORE 3026170.208
AT ITER 6397 NEW BEST:: SOT 16788941 SOS 4282001 HAS SOPS 4066846 HAS SOUS 3043339 HAS SOUPS 3021681 WITH SCORE 3025963.001
AT ITER 6404 NEW BEST:: SOT 16788594 SOS 4281850 HAS SOPS 4066695 HAS SOUS 3042645 HAS SOUPS 3020987 WITH SCORE 3025268.85
AT ITER 6411 NEW BEST:: SOT 16788464 SOS 4281606 HAS SOPS 4066451 HAS SOUS 3042385 HAS SOUPS 3020727 WITH SCORE 3025008.606
AT ITER 6425 NEW BEST:: SOT 16788408 SOS 4281501 HAS SOPS 4066346 HAS SOUS 3042280 HAS SOUPS 3020622 WITH SCORE 3024903.501
AT ITER 6431 NEW BEST:: SOT 16788408 SOS 4281435 HAS SOPS 4066280 HAS SOUS 3042002 HAS SOUPS 3020344 WITH SCORE 3024625.435
AT ITER 6448 NEW BEST:: SOT 16788392 SOS 4281349 HAS SOPS 4066194 HAS SOUS 3041970 HAS SOUPS 3020312 WITH SCORE 3024593.349
AT ITER 6465 NEW BEST:: SOT 16787574 SOS 4262979 HAS SOPS 4047824 HAS SOUS 3040334 HAS SOUPS 3018676 WITH SCORE 3022938.979
AT ITER 6485 NEW BEST:: SOT 16786755 SOS 4262576 HAS SOPS 4047421 HAS SOUS 3039556 HAS SOUPS 3017898 WITH SCORE 3022160.576
AT ITER 6487 NEW BEST:: SOT 16786419 SOS 4262117 HAS SOPS 4046962 HAS SOUS 3038761 HAS SOUPS 3017103 WITH SCORE 3021365.117
AT ITER 6494 NEW BEST:: SOT 16786392 SOS 4262090 HAS SOPS 4046935 HAS SOUS 3038707 HAS SOUPS 3017049 WITH SCORE 3021311.09
AT ITER 6498 NEW BEST:: SOT 16786508 SOS 4262090 HAS SOPS 4046935 HAS SOUS 3038413 HAS SOUPS 3016755 WITH SCORE 3021017.09
AT ITER 6520 NEW BEST:: SOT 16785793 SOS 4258268 HAS SOPS 4043113 HAS SOUS 3037540 HAS SOUPS 3015882 WITH SCORE 3020140.268
AT ITER 6522 NEW BEST:: SOT 16785699 SOS 4258174 HAS SOPS 4043019 HAS SOUS 3037352 HAS SOUPS 3015694 WITH SCORE 3019952.174
AT ITER 6564 NEW BEST:: SOT 16785454 SOS 4258024 HAS SOPS 4042869 HAS SOUS 3036862 HAS SOUPS 3015204 WITH SCORE 3019462.024
AT ITER 6578 NEW BEST:: SOT 16785454 SOS 4257783 HAS SOPS 4042628 HAS SOUS 3036621 HAS SOUPS 3014963 WITH SCORE 3019220.783
AT ITER 6603 NEW BEST:: SOT 16785098 SOS 4257477 HAS SOPS 4042322 HAS SOUS 3036371 HAS SOUPS 3014713 WITH SCORE 3018970.477
AT ITER 6614 NEW BEST:: SOT 16785522 SOS 4257634 HAS SOPS 4042479 HAS SOUS 3036321 HAS SOUPS 3014663 WITH SCORE 3018920.634
AT ITER 6627 NEW BEST:: SOT 16785134 SOS 4256858 HAS SOPS 4041703 HAS SOUS 3035901 HAS SOUPS 3014243 WITH SCORE 3018499.858
AT ITER 6632 NEW BEST:: SOT 16785291 SOS 4256858 HAS SOPS 4041703 HAS SOUS 3035558 HAS SOUPS 3013900 WITH SCORE 3018156.858
AT ITER 6690 NEW BEST:: SOT 16785291 SOS 4256845 HAS SOPS 4041690 HAS SOUS 3035558 HAS SOUPS 3013900 WITH SCORE 3018156.845
AT ITER 6697 NEW BEST:: SOT 16779390 SOS 4269917 HAS SOPS 4055476 HAS SOUS 3032121 HAS SOUPS 3010463 WITH SCORE 3014732.917
AT ITER 6705 NEW BEST:: SOT 16779228 SOS 4270235 HAS SOPS 4055794 HAS SOUS 3031959 HAS SOUPS 3010301 WITH SCORE 3014571.235
AT ITER 6769 NEW BEST:: SOT 16779212 SOS 4270219 HAS SOPS 4055778 HAS SOUS 3031927 HAS SOUPS 3010269 WITH SCORE 3014539.219
AT ITER 6786 NEW BEST:: SOT 16779187 SOS 4270219 HAS SOPS 4055778 HAS SOUS 3031902 HAS SOUPS 3010244 WITH SCORE 3014514.219
AT ITER 6817 NEW BEST:: SOT 16779135 SOS 4269932 HAS SOPS 4055712 HAS SOUS 3031801 HAS SOUPS 3010143 WITH SCORE 3014412.932
AT ITER 6830 NEW BEST:: SOT 16779210 SOS 4269817 HAS SOPS 4055597 HAS SOUS 3031686 HAS SOUPS 3010028 WITH SCORE 3014297.817
AT ITER 6853 NEW BEST:: SOT 16779082 SOS 4269689 HAS SOPS 4055469 HAS SOUS 3031459 HAS SOUPS 3009801 WITH SCORE 3014070.689
AT ITER 6860 NEW BEST:: SOT 16779164 SOS 4269042 HAS SOPS 4054822 HAS SOUS 3030812 HAS SOUPS 3009154 WITH SCORE 3013423.042
AT ITER 6878 NEW BEST:: SOT 16779164 SOS 4268885 HAS SOPS 4054665 HAS SOUS 3030655 HAS SOUPS 3008997 WITH SCORE 3013265.885
AT ITER 6932 NEW BEST:: SOT 16779137 SOS 4268858 HAS SOPS 4054638 HAS SOUS 3030601 HAS SOUPS 3008943 WITH SCORE 3013211.858
AT ITER 6966 NEW BEST:: SOT 16779324 SOS 4268858 HAS SOPS 4054638 HAS SOUS 3030471 HAS SOUPS 3008813 WITH SCORE 3013081.858
AT ITER 6979 NEW BEST:: SOT 16779145 SOS 4268504 HAS SOPS 4054284 HAS SOUS 3029938 HAS SOUPS 3008280 WITH SCORE 3012548.504
AT ITER 7033 NEW BEST:: SOT 16779145 SOS 4267720 HAS SOPS 4053500 HAS SOUS 3029138 HAS SOUPS 3007480 WITH SCORE 3011747.72
AT ITER 7054 NEW BEST:: SOT 16778992 SOS 4267551 HAS SOPS 4053331 HAS SOUS 3028969 HAS SOUPS 3007311 WITH SCORE 3011578.551
AT ITER 7067 NEW BEST:: SOT 16779347 SOS 4267557 HAS SOPS 4053337 HAS SOUS 3028837 HAS SOUPS 3007179 WITH SCORE 3011446.557
AT ITER 7068 NEW BEST:: SOT 16779255 SOS 4267465 HAS SOPS 4053245 HAS SOUS 3028653 HAS SOUPS 3006995 WITH SCORE 3011262.465
AT ITER 7080 NEW BEST:: SOT 16779255 SOS 4267465 HAS SOPS 4053245 HAS SOUS 3028298 HAS SOUPS 3006640 WITH SCORE 3010907.465
AT ITER 7093 NEW BEST:: SOT 16779125 SOS 4267335 HAS SOPS 4053115 HAS SOUS 3028038 HAS SOUPS 3006380 WITH SCORE 3010647.335
AT ITER 7118 NEW BEST:: SOT 16779390 SOS 4267450 HAS SOPS 4053230 HAS SOUS 3027730 HAS SOUPS 3006072 WITH SCORE 3010339.45
AT ITER 7140 NEW BEST:: SOT 16779351 SOS 4267411 HAS SOPS 4053191 HAS SOUS 3027691 HAS SOUPS 3006033 WITH SCORE 3010300.411
AT ITER 7148 NEW BEST:: SOT 16779335 SOS 4267395 HAS SOPS 4053175 HAS SOUS 3027671 HAS SOUPS 3006013 WITH SCORE 3010280.395
AT ITER 7178 NEW BEST:: SOT 16779319 SOS 4264628 HAS SOPS 4050408 HAS SOUS 3027639 HAS SOUPS 3005981 WITH SCORE 3010245.628
AT ITER 7182 NEW BEST:: SOT 16779445 SOS 4264729 HAS SOPS 4050509 HAS SOUS 3027490 HAS SOUPS 3005832 WITH SCORE 3010096.729
AT ITER 7191 NEW BEST:: SOT 16779445 SOS 4264616 HAS SOPS 4050396 HAS SOUS 3027490 HAS SOUPS 3005832 WITH SCORE 3010096.616
AT ITER 7207 NEW BEST:: SOT 16779429 SOS 4264361 HAS SOPS 4050141 HAS SOUS 3027458 HAS SOUPS 3005800 WITH SCORE 3010064.361
AT ITER 7214 NEW BEST:: SOT 16779136 SOS 4264068 HAS SOPS 4049848 HAS SOUS 3026872 HAS SOUPS 3005214 WITH SCORE 3009478.068
AT ITER 7243 NEW BEST:: SOT 16778991 SOS 4263826 HAS SOPS 4049606 HAS SOUS 3026485 HAS SOUPS 3004827 WITH SCORE 3009090.826
AT ITER 7315 NEW BEST:: SOT 16778880 SOS 4263715 HAS SOPS 4049384 HAS SOUS 3026374 HAS SOUPS 3004605 WITH SCORE 3008868.715
AT ITER 7351 NEW BEST:: SOT 16778772 SOS 4263607 HAS SOPS 4049276 HAS SOUS 3026158 HAS SOUPS 3004389 WITH SCORE 3008652.607
AT ITER 7359 NEW BEST:: SOT 16778461 SOS 4263063 HAS SOPS 4048732 HAS SOUS 3025384 HAS SOUPS 3003615 WITH SCORE 3007878.063
AT ITER 7370 NEW BEST:: SOT 16778047 SOS 4263062 HAS SOPS 4048731 HAS SOUS 3025383 HAS SOUPS 3003614 WITH SCORE 3007877.062
AT ITER 7383 NEW BEST:: SOT 16778047 SOS 4262990 HAS SOPS 4048659 HAS SOUS 3025057 HAS SOUPS 3003288 WITH SCORE 3007550.99
AT ITER 7395 NEW BEST:: SOT 16778047 SOS 4260392 HAS SOPS 4046061 HAS SOUS 3024829 HAS SOUPS 3003060 WITH SCORE 3007320.392
AT ITER 7443 NEW BEST:: SOT 16777734 SOS 4260712 HAS SOPS 4046381 HAS SOUS 3024822 HAS SOUPS 3003053 WITH SCORE 3007313.712
AT ITER 7478 NEW BEST:: SOT 16777734 SOS 4260696 HAS SOPS 4046365 HAS SOUS 3024806 HAS SOUPS 3003037 WITH SCORE 3007297.696
AT ITER 7490 NEW BEST:: SOT 16777439 SOS 4260696 HAS SOPS 4046365 HAS SOUS 3024511 HAS SOUPS 3002742 WITH SCORE 3007002.696
AT ITER 7511 NEW BEST:: SOT 16777335 SOS 4260592 HAS SOPS 4046157 HAS SOUS 3024406 HAS SOUPS 3002534 WITH SCORE 3006794.592
AT ITER 7533 NEW BEST:: SOT 16769350 SOS 4269765 HAS SOPS 4055330 HAS SOUS 3019194 HAS SOUPS 2997322 WITH SCORE 3001591.765
AT ITER 7563 NEW BEST:: SOT 16769412 SOS 4269780 HAS SOPS 4055345 HAS SOUS 3019116 HAS SOUPS 2997244 WITH SCORE 3001513.78
AT ITER 7581 NEW BEST:: SOT 16769412 SOS 4269780 HAS SOPS 4055345 HAS SOUS 3018497 HAS SOUPS 2996625 WITH SCORE 3000894.78
AT ITER 7590 NEW BEST:: SOT 16769240 SOS 4269436 HAS SOPS 4055001 HAS SOUS 3018293 HAS SOUPS 2996421 WITH SCORE 3000690.436
AT ITER 7620 NEW BEST:: SOT 16769357 SOS 4269444 HAS SOPS 4055009 HAS SOUS 3018148 HAS SOUPS 2996276 WITH SCORE 3000545.444
AT ITER 7623 NEW BEST:: SOT 16768779 SOS 4255360 HAS SOPS 4040925 HAS SOUS 3016992 HAS SOUPS 2995120 WITH SCORE 2999375.36
AT ITER 7629 NEW BEST:: SOT 16768653 SOS 4254798 HAS SOPS 4040363 HAS SOUS 3016304 HAS SOUPS 2994432 WITH SCORE 2998686.798
AT ITER 7634 NEW BEST:: SOT 16768389 SOS 4254956 HAS SOPS 4040521 HAS SOUS 3015867 HAS SOUPS 2993995 WITH SCORE 2998249.956
AT ITER 7636 NEW BEST:: SOT 16768175 SOS 4255187 HAS SOPS 4040752 HAS SOUS 3015745 HAS SOUPS 2993873 WITH SCORE 2998128.187
AT ITER 7648 NEW BEST:: SOT 16764387 SOS 4253067 HAS SOPS 4037445 HAS SOUS 3012551 HAS SOUPS 2990553 WITH SCORE 2994806.067
AT ITER 7661 NEW BEST:: SOT 16763996 SOS 4253067 HAS SOPS 4037445 HAS SOUS 3012160 HAS SOUPS 2990162 WITH SCORE 2994415.067
AT ITER 7670 NEW BEST:: SOT 16763806 SOS 4252676 HAS SOPS 4037054 HAS SOUS 3010924 HAS SOUPS 2988926 WITH SCORE 2993178.676
AT ITER 7681 NEW BEST:: SOT 16763790 SOS 4252653 HAS SOPS 4037031 HAS SOUS 3010899 HAS SOUPS 2988901 WITH SCORE 2993153.653
AT ITER 7698 NEW BEST:: SOT 16763714 SOS 4252577 HAS SOPS 4036955 HAS SOUS 3010770 HAS SOUPS 2988772 WITH SCORE 2993024.577
AT ITER 7717 NEW BEST:: SOT 16763697 SOS 4252292 HAS SOPS 4036670 HAS SOUS 3010395 HAS SOUPS 2988397 WITH SCORE 2992649.292
AT ITER 7735 NEW BEST:: SOT 16763649 SOS 4252244 HAS SOPS 4036622 HAS SOUS 3010299 HAS SOUPS 2988301 WITH SCORE 2992553.244
AT ITER 7743 NEW BEST:: SOT 16763721 SOS 4252244 HAS SOPS 4036622 HAS SOUS 3010218 HAS SOUPS 2988220 WITH SCORE 2992472.244
AT ITER 7753 NEW BEST:: SOT 16763092 SOS 4252244 HAS SOPS 4036622 HAS SOUS 3009589 HAS SOUPS 2987591 WITH SCORE 2991843.244
AT ITER 7761 NEW BEST:: SOT 16762866 SOS 4248176 HAS SOPS 4032554 HAS SOUS 3009137 HAS SOUPS 2987139 WITH SCORE 2991387.176
AT ITER 7781 NEW BEST:: SOT 16762866 SOS 4248163 HAS SOPS 4032541 HAS SOUS 3009124 HAS SOUPS 2987126 WITH SCORE 2991374.163
AT ITER 7787 NEW BEST:: SOT 16762866 SOS 4248129 HAS SOPS 4032507 HAS SOUS 3009090 HAS SOUPS 2987092 WITH SCORE 2991340.129
AT ITER 7796 NEW BEST:: SOT 16762850 SOS 4245248 HAS SOPS 4029610 HAS SOUS 3009058 HAS SOUPS 2987060 WITH SCORE 2991305.248
AT ITER 7817 NEW BEST:: SOT 16763274 SOS 4245044 HAS SOPS 4029406 HAS SOUS 3009021 HAS SOUPS 2987023 WITH SCORE 2991268.044
AT ITER 7834 NEW BEST:: SOT 16763256 SOS 4246135 HAS SOPS 4030497 HAS SOUS 3008994 HAS SOUPS 2986996 WITH SCORE 2991242.135
AT ITER 7845 NEW BEST:: SOT 16763849 SOS 4246367 HAS SOPS 4030729 HAS SOUS 3008969 HAS SOUPS 2986971 WITH SCORE 2991217.367
AT ITER 7850 NEW BEST:: SOT 16763165 SOS 4245056 HAS SOPS 4029418 HAS SOUS 3007944 HAS SOUPS 2985946 WITH SCORE 2990191.056
AT ITER 7856 NEW BEST:: SOT 16762944 SOS 4244835 HAS SOPS 4029197 HAS SOUS 3007703 HAS SOUPS 2985705 WITH SCORE 2989949.835
AT ITER 7882 NEW BEST:: SOT 16762944 SOS 4244763 HAS SOPS 4029125 HAS SOUS 3007703 HAS SOUPS 2985705 WITH SCORE 2989949.763
AT ITER 7916 NEW BEST:: SOT 16762942 SOS 4244761 HAS SOPS 4029123 HAS SOUS 3007699 HAS SOUPS 2985701 WITH SCORE 2989945.761
AT ITER 7922 NEW BEST:: SOT 16762534 SOS 4244761 HAS SOPS 4029123 HAS SOUS 3007291 HAS SOUPS 2985293 WITH SCORE 2989537.761
AT ITER 7987 NEW BEST:: SOT 16762547 SOS 4245239 HAS SOPS 4029601 HAS SOUS 3007272 HAS SOUPS 2985274 WITH SCORE 2989519.239
AT ITER 7991 NEW BEST:: SOT 16762547 SOS 4245046 HAS SOPS 4029408 HAS SOUS 3006881 HAS SOUPS 2984883 WITH SCORE 2989128.046
AT ITER 7993 NEW BEST:: SOT 16762371 SOS 4244870 HAS SOPS 4029232 HAS SOUS 3006705 HAS SOUPS 2984707 WITH SCORE 2988951.87
AT ITER 8099 NEW BEST:: SOT 16762804 SOS 4245123 HAS SOPS 4029485 HAS SOUS 3006569 HAS SOUPS 2984571 WITH SCORE 2988816.123
AT ITER 8150 NEW BEST:: SOT 16762238 SOS 4223614 HAS SOPS 4007996 HAS SOUS 3005421 HAS SOUPS 2983423 WITH SCORE 2987646.614
AT ITER 8151 NEW BEST:: SOT 16761774 SOS 4223560 HAS SOPS 4007942 HAS SOUS 3004999 HAS SOUPS 2983001 WITH SCORE 2987224.56
AT ITER 8186 NEW BEST:: SOT 16761774 SOS 4222407 HAS SOPS 4006789 HAS SOUS 3004999 HAS SOUPS 2983001 WITH SCORE 2987223.407
AT ITER 8205 NEW BEST:: SOT 16761286 SOS 4221962 HAS SOPS 4006344 HAS SOUS 3004671 HAS SOUPS 2982673 WITH SCORE 2986894.962
AT ITER 8208 NEW BEST:: SOT 16761286 SOS 4214495 HAS SOPS 3998877 HAS SOUS 3004655 HAS SOUPS 2982657 WITH SCORE 2986871.495
AT ITER 8223 NEW BEST:: SOT 16761286 SOS 4214299 HAS SOPS 3998681 HAS SOUS 3004655 HAS SOUPS 2982657 WITH SCORE 2986871.299
AT ITER 8230 NEW BEST:: SOT 16761286 SOS 4214072 HAS SOPS 3998454 HAS SOUS 3004655 HAS SOUPS 2982657 WITH SCORE 2986871.072
AT ITER 8309 NEW BEST:: SOT 16761381 SOS 4214156 HAS SOPS 3998538 HAS SOUS 3004515 HAS SOUPS 2982517 WITH SCORE 2986731.156
AT ITER 8330 NEW BEST:: SOT 16761830 SOS 4214260 HAS SOPS 3998642 HAS SOUS 3004352 HAS SOUPS 2982354 WITH SCORE 2986568.26
AT ITER 8332 NEW BEST:: SOT 16761568 SOS 4214082 HAS SOPS 3998608 HAS SOUS 3004073 HAS SOUPS 2982075 WITH SCORE 2986289.082
AT ITER 8349 NEW BEST:: SOT 16761552 SOS 4214066 HAS SOPS 3998592 HAS SOUS 3004041 HAS SOUPS 2982043 WITH SCORE 2986257.066
AT ITER 8377 NEW BEST:: SOT 16761163 SOS 4168827 HAS SOPS 3953860 HAS SOUS 3003169 HAS SOUPS 2981171 WITH SCORE 2985339.827
AT ITER 8381 NEW BEST:: SOT 16760521 SOS 4168185 HAS SOPS 3953218 HAS SOUS 3002094 HAS SOUPS 2980096 WITH SCORE 2984264.185
AT ITER 8402 NEW BEST:: SOT 16760528 SOS 4168192 HAS SOPS 3953225 HAS SOUS 3002035 HAS SOUPS 2980037 WITH SCORE 2984205.192
AT ITER 8405 NEW BEST:: SOT 16760411 SOS 4168075 HAS SOPS 3953108 HAS SOUS 3002023 HAS SOUPS 2980025 WITH SCORE 2984193.075
AT ITER 8418 NEW BEST:: SOT 16759793 SOS 4167700 HAS SOPS 3952733 HAS SOUS 3001431 HAS SOUPS 2979433 WITH SCORE 2983600.7
AT ITER 8430 NEW BEST:: SOT 16759726 SOS 4167633 HAS SOPS 3952666 HAS SOUS 3001364 HAS SOUPS 2979366 WITH SCORE 2983533.633
AT ITER 8482 NEW BEST:: SOT 16759426 SOS 4167547 HAS SOPS 3952580 HAS SOUS 3001064 HAS SOUPS 2979066 WITH SCORE 2983233.547
AT ITER 8512 NEW BEST:: SOT 16759327 SOS 4167448 HAS SOPS 3952481 HAS SOUS 3000984 HAS SOUPS 2978986 WITH SCORE 2983153.448
AT ITER 8525 NEW BEST:: SOT 16759485 SOS 4167521 HAS SOPS 3952554 HAS SOUS 3000598 HAS SOUPS 2978600 WITH SCORE 2982767.521
AT ITER 8534 NEW BEST:: SOT 16759469 SOS 4167206 HAS SOPS 3952239 HAS SOUS 3000566 HAS SOUPS 2978568 WITH SCORE 2982735.206
AT ITER 8538 NEW BEST:: SOT 16759524 SOS 4167206 HAS SOPS 3952239 HAS SOUS 3000432 HAS SOUPS 2978434 WITH SCORE 2982601.206
AT ITER 8548 NEW BEST:: SOT 16758785 SOS 4166810 HAS SOPS 3951843 HAS SOUS 2999755 HAS SOUPS 2977757 WITH SCORE 2981923.81
AT ITER 8555 NEW BEST:: SOT 16758384 SOS 4166810 HAS SOPS 3951843 HAS SOUS 2999354 HAS SOUPS 2977356 WITH SCORE 2981522.81
AT ITER 8571 NEW BEST:: SOT 16758368 SOS 4163831 HAS SOPS 3948864 HAS SOUS 2999322 HAS SOUPS 2977324 WITH SCORE 2981487.831
AT ITER 8598 NEW BEST:: SOT 16758368 SOS 4163729 HAS SOPS 3948864 HAS SOUS 2999322 HAS SOUPS 2977324 WITH SCORE 2981487.729
AT ITER 8605 NEW BEST:: SOT 16755400 SOS 4160775 HAS SOPS 3945910 HAS SOUS 2996368 HAS SOUPS 2974370 WITH SCORE 2978530.775
AT ITER 8610 NEW BEST:: SOT 16755620 SOS 4160936 HAS SOPS 3946071 HAS SOUS 2996309 HAS SOUPS 2974311 WITH SCORE 2978471.936
AT ITER 8625 NEW BEST:: SOT 16755620 SOS 4160438 HAS SOPS 3945573 HAS SOUS 2995811 HAS SOUPS 2973813 WITH SCORE 2977973.438
AT ITER 8640 NEW BEST:: SOT 16755604 SOS 4160406 HAS SOPS 3945541 HAS SOUS 2995779 HAS SOUPS 2973781 WITH SCORE 2977941.406
AT ITER 8653 NEW BEST:: SOT 16755588 SOS 4153883 HAS SOPS 3939018 HAS SOUS 2995747 HAS SOUPS 2973749 WITH SCORE 2977902.883
AT ITER 8712 NEW BEST:: SOT 16755543 SOS 4153838 HAS SOPS 3938928 HAS SOUS 2995657 HAS SOUPS 2973659 WITH SCORE 2977812.838
AT ITER 8740 NEW BEST:: SOT 16755377 SOS 4154293 HAS SOPS 3939383 HAS SOUS 2995585 HAS SOUPS 2973587 WITH SCORE 2977741.293
AT ITER 8756 NEW BEST:: SOT 16755345 SOS 4154261 HAS SOPS 3939351 HAS SOUS 2995553 HAS SOUPS 2973555 WITH SCORE 2977709.261
AT ITER 8781 NEW BEST:: SOT 16755422 SOS 4154261 HAS SOPS 3939351 HAS SOUS 2995405 HAS SOUPS 2973407 WITH SCORE 2977561.261
AT ITER 8802 NEW BEST:: SOT 16755422 SOS 4154243 HAS SOPS 3939333 HAS SOUS 2995387 HAS SOUPS 2973389 WITH SCORE 2977543.243
AT ITER 8832 NEW BEST:: SOT 16755938 SOS 4154576 HAS SOPS 3939666 HAS SOUS 2995353 HAS SOUPS 2973355 WITH SCORE 2977509.576
AT ITER 8865 NEW BEST:: SOT 16756012 SOS 4154909 HAS SOPS 3939999 HAS SOUS 2995191 HAS SOUPS 2973193 WITH SCORE 2977347.909
AT ITER 8873 NEW BEST:: SOT 16755951 SOS 4154137 HAS SOPS 3939227 HAS SOUS 2994419 HAS SOUPS 2972421 WITH SCORE 2976575.137
AT ITER 8883 NEW BEST:: SOT 16755935 SOS 4154121 HAS SOPS 3939211 HAS SOUS 2994387 HAS SOUPS 2972389 WITH SCORE 2976543.121
AT ITER 8886 NEW BEST:: SOT 16755899 SOS 4154085 HAS SOPS 3939175 HAS SOUS 2994315 HAS SOUPS 2972317 WITH SCORE 2976471.085
AT ITER 8920 NEW BEST:: SOT 16755701 SOS 4153887 HAS SOPS 3938977 HAS SOUS 2993919 HAS SOUPS 2971921 WITH SCORE 2976074.887
AT ITER 8941 NEW BEST:: SOT 16750893 SOS 4165363 HAS SOPS 3950562 HAS SOUS 2991184 HAS SOUPS 2969186 WITH SCORE 2973351.363
AT ITER 8948 NEW BEST:: SOT 16751496 SOS 4165595 HAS SOPS 3950794 HAS SOUS 2991074 HAS SOUPS 2969076 WITH SCORE 2973241.595
AT ITER 8960 NEW BEST:: SOT 16750717 SOS 4165595 HAS SOPS 3950794 HAS SOUS 2991062 HAS SOUPS 2969064 WITH SCORE 2973229.595
AT ITER 8963 NEW BEST:: SOT 16750625 SOS 4165411 HAS SOPS 3950610 HAS SOUS 2990878 HAS SOUPS 2968880 WITH SCORE 2973045.411
AT ITER 8971 NEW BEST:: SOT 16750608 SOS 4164786 HAS SOPS 3949968 HAS SOUS 2990844 HAS SOUPS 2968846 WITH SCORE 2973010.786
AT ITER 9017 NEW BEST:: SOT 16750375 SOS 4156864 HAS SOPS 3949502 HAS SOUS 2990378 HAS SOUPS 2968613 WITH SCORE 2972769.864
AT ITER 9019 NEW BEST:: SOT 16750032 SOS 4156521 HAS SOPS 3949159 HAS SOUS 2989712 HAS SOUPS 2967947 WITH SCORE 2972103.521
AT ITER 9024 NEW BEST:: SOT 16749955 SOS 4160149 HAS SOPS 3952787 HAS SOUS 2989552 HAS SOUPS 2967787 WITH SCORE 2971947.149
AT ITER 9043 NEW BEST:: SOT 16749955 SOS 4159916 HAS SOPS 3952554 HAS SOUS 2988953 HAS SOUPS 2967188 WITH SCORE 2971347.916
AT ITER 9071 NEW BEST:: SOT 16749924 SOS 4159869 HAS SOPS 3952507 HAS SOUS 2988906 HAS SOUPS 2967141 WITH SCORE 2971300.869
AT ITER 9120 NEW BEST:: SOT 16749924 SOS 4159852 HAS SOPS 3952490 HAS SOUS 2988906 HAS SOUPS 2967141 WITH SCORE 2971300.852
AT ITER 9138 NEW BEST:: SOT 16749711 SOS 4150208 HAS SOPS 3942937 HAS SOUS 2988784 HAS SOUPS 2967019 WITH SCORE 2971169.208
AT ITER 9169 NEW BEST:: SOT 16749630 SOS 4150127 HAS SOPS 3942775 HAS SOUS 2988806 HAS SOUPS 2966960 WITH SCORE 2971110.127
AT ITER 9170 NEW BEST:: SOT 16749501 SOS 4150031 HAS SOPS 3942679 HAS SOUS 2988806 HAS SOUPS 2966960 WITH SCORE 2971110.031
AT ITER 9182 NEW BEST:: SOT 16749501 SOS 4150015 HAS SOPS 3942663 HAS SOUS 2988790 HAS SOUPS 2966944 WITH SCORE 2971094.015
AT ITER 9193 NEW BEST:: SOT 16749399 SOS 4150015 HAS SOPS 3942663 HAS SOUS 2988688 HAS SOUPS 2966842 WITH SCORE 2970992.015
AT ITER 9202 NEW BEST:: SOT 16749262 SOS 4150038 HAS SOPS 3942686 HAS SOUS 2988535 HAS SOUPS 2966689 WITH SCORE 2970839.038
AT ITER 9206 NEW BEST:: SOT 16749048 SOS 4149824 HAS SOPS 3942472 HAS SOUS 2988308 HAS SOUPS 2966462 WITH SCORE 2970611.824
AT ITER 9324 NEW BEST:: SOT 16749032 SOS 4149808 HAS SOPS 3942456 HAS SOUS 2988277 HAS SOUPS 2966431 WITH SCORE 2970580.808
AT ITER 9332 NEW BEST:: SOT 16749020 SOS 4150247 HAS SOPS 3942883 HAS SOUS 2988253 HAS SOUPS 2966407 WITH SCORE 2970557.247
AT ITER 9335 NEW BEST:: SOT 16748732 SOS 4149959 HAS SOPS 3942307 HAS SOUS 2988030 HAS SOUPS 2965897 WITH SCORE 2970046.959
AT ITER 9341 NEW BEST:: SOT 16748732 SOS 4142490 HAS SOPS 3934838 HAS SOUS 2988030 HAS SOUPS 2965897 WITH SCORE 2970039.49
AT ITER 9342 NEW BEST:: SOT 16748822 SOS 4142518 HAS SOPS 3934866 HAS SOUS 2987934 HAS SOUPS 2965801 WITH SCORE 2969943.518
AT ITER 9345 NEW BEST:: SOT 16748806 SOS 4142063 HAS SOPS 3934411 HAS SOUS 2987902 HAS SOUPS 2965769 WITH SCORE 2969911.063
AT ITER 9351 NEW BEST:: SOT 16748952 SOS 4142151 HAS SOPS 3934499 HAS SOUS 2987738 HAS SOUPS 2965605 WITH SCORE 2969747.151
AT ITER 9357 NEW BEST:: SOT 16748172 SOS 4141371 HAS SOPS 3933719 HAS SOUS 2986318 HAS SOUPS 2964185 WITH SCORE 2968326.371
AT ITER 9379 NEW BEST:: SOT 16747855 SOS 4129085 HAS SOPS 3921433 HAS SOUS 2986047 HAS SOUPS 2963914 WITH SCORE 2968043.085
AT ITER 9380 NEW BEST:: SOT 16747839 SOS 4128581 HAS SOPS 3920929 HAS SOUS 2986015 HAS SOUPS 2963882 WITH SCORE 2968010.581
AT ITER 9391 NEW BEST:: SOT 16747721 SOS 4128345 HAS SOPS 3920693 HAS SOUS 2985779 HAS SOUPS 2963646 WITH SCORE 2967774.345
AT ITER 9408 NEW BEST:: SOT 16747659 SOS 4128289 HAS SOPS 3920637 HAS SOUS 2985655 HAS SOUPS 2963522 WITH SCORE 2967650.289
AT ITER 9433 NEW BEST:: SOT 16747643 SOS 4128273 HAS SOPS 3920621 HAS SOUS 2985623 HAS SOUPS 2963490 WITH SCORE 2967618.273
AT ITER 9454 NEW BEST:: SOT 16747611 SOS 4128189 HAS SOPS 3920537 HAS SOUS 2985559 HAS SOUPS 2963426 WITH SCORE 2967554.189
AT ITER 9500 NEW BEST:: SOT 16747792 SOS 4123198 HAS SOPS 3915103 HAS SOUS 2985281 HAS SOUPS 2963148 WITH SCORE 2967271.198
AT ITER 9501 NEW BEST:: SOT 16747750 SOS 4123114 HAS SOPS 3915019 HAS SOUS 2985197 HAS SOUPS 2963064 WITH SCORE 2967187.114
AT ITER 9508 NEW BEST:: SOT 16747722 SOS 4123086 HAS SOPS 3914991 HAS SOUS 2985089 HAS SOUPS 2962956 WITH SCORE 2967079.086
AT ITER 9517 NEW BEST:: SOT 16747777 SOS 4123218 HAS SOPS 3915123 HAS SOUS 2984869 HAS SOUPS 2962736 WITH SCORE 2966859.218
AT ITER 9518 NEW BEST:: SOT 16747669 SOS 4122725 HAS SOPS 3914630 HAS SOUS 2983870 HAS SOUPS 2961737 WITH SCORE 2965859.725
AT ITER 9520 NEW BEST:: SOT 16747533 SOS 4122548 HAS SOPS 3914453 HAS SOUS 2983693 HAS SOUPS 2961560 WITH SCORE 2965682.548
AT ITER 9579 NEW BEST:: SOT 16747683 SOS 4122839 HAS SOPS 3914744 HAS SOUS 2983594 HAS SOUPS 2961461 WITH SCORE 2965583.839
AT ITER 9613 NEW BEST:: SOT 16745791 SOS 4125871 HAS SOPS 3917930 HAS SOUS 2981856 HAS SOUPS 2959723 WITH SCORE 2963848.871
AT ITER 9627 NEW BEST:: SOT 16745791 SOS 4125822 HAS SOPS 3917881 HAS SOUS 2981856 HAS SOUPS 2959723 WITH SCORE 2963848.822
AT ITER 9636 NEW BEST:: SOT 16745841 SOS 4125822 HAS SOPS 3917881 HAS SOUS 2981616 HAS SOUPS 2959483 WITH SCORE 2963608.822
AT ITER 9642 NEW BEST:: SOT 16745341 SOS 4125713 HAS SOPS 3917772 HAS SOUS 2980616 HAS SOUPS 2958483 WITH SCORE 2962608.713
AT ITER 9652 NEW BEST:: SOT 16745320 SOS 4125950 HAS SOPS 3918009 HAS SOUS 2980470 HAS SOUPS 2958337 WITH SCORE 2962462.95
AT ITER 9659 NEW BEST:: SOT 16745320 SOS 4125757 HAS SOPS 3917816 HAS SOUS 2980470 HAS SOUPS 2958337 WITH SCORE 2962462.757
AT ITER 9699 NEW BEST:: SOT 16745304 SOS 4125741 HAS SOPS 3917800 HAS SOUS 2980449 HAS SOUPS 2958316 WITH SCORE 2962441.741
AT ITER 9708 NEW BEST:: SOT 16745371 SOS 4125741 HAS SOPS 3917800 HAS SOUS 2980340 HAS SOUPS 2958207 WITH SCORE 2962332.741
AT ITER 9746 NEW BEST:: SOT 16745063 SOS 4125861 HAS SOPS 3917920 HAS SOUS 2980152 HAS SOUPS 2958019 WITH SCORE 2962144.861
AT ITER 9747 NEW BEST:: SOT 16745063 SOS 4125679 HAS SOPS 3917738 HAS SOUS 2979970 HAS SOUPS 2957837 WITH SCORE 2961962.679
AT ITER 9763 NEW BEST:: SOT 16745063 SOS 4125673 HAS SOPS 3917732 HAS SOUS 2979964 HAS SOUPS 2957831 WITH SCORE 2961956.673
AT ITER 9772 NEW BEST:: SOT 16745028 SOS 4125638 HAS SOPS 3917697 HAS SOUS 2979954 HAS SOUPS 2957821 WITH SCORE 2961946.638
AT ITER 9775 NEW BEST:: SOT 16744905 SOS 4125515 HAS SOPS 3917574 HAS SOUS 2979767 HAS SOUPS 2957634 WITH SCORE 2961759.515
AT ITER 9811 NEW BEST:: SOT 16744876 SOS 4125267 HAS SOPS 3917326 HAS SOUS 2978879 HAS SOUPS 2956746 WITH SCORE 2960871.267
AT ITER 9824 NEW BEST:: SOT 16744523 SOS 4119011 HAS SOPS 3910972 HAS SOUS 2977820 HAS SOUPS 2955687 WITH SCORE 2959806.011
AT ITER 9832 NEW BEST:: SOT 16744439 SOS 4118977 HAS SOPS 3910938 HAS SOUS 2977786 HAS SOUPS 2955653 WITH SCORE 2959771.977
AT ITER 9839 NEW BEST:: SOT 16744439 SOS 4116684 HAS SOPS 3908645 HAS SOUS 2977786 HAS SOUPS 2955653 WITH SCORE 2959769.684
AT ITER 9865 NEW BEST:: SOT 16744423 SOS 4116669 HAS SOPS 3908630 HAS SOUS 2977754 HAS SOUPS 2955621 WITH SCORE 2959737.669
AT ITER 9922 NEW BEST:: SOT 16744177 SOS 4116423 HAS SOPS 3908261 HAS SOUS 2977262 HAS SOUPS 2955129 WITH SCORE 2959245.423
AT ITER 9933 NEW BEST:: SOT 16744350 SOS 4116694 HAS SOPS 3908532 HAS SOUS 2977238 HAS SOUPS 2955105 WITH SCORE 2959221.694
AT ITER 9964 NEW BEST:: SOT 16744257 SOS 4116601 HAS SOPS 3908439 HAS SOUS 2977145 HAS SOUPS 2955012 WITH SCORE 2959128.601
AT ITER 9972 NEW BEST:: SOT 16744099 SOS 4116427 HAS SOPS 3908265 HAS SOUS 2976971 HAS SOUPS 2954838 WITH SCORE 2958954.427
AT ITER 9977 NEW BEST:: SOT 16743930 SOS 4113385 HAS SOPS 3905223 HAS SOUS 2976633 HAS SOUPS 2954500 WITH SCORE 2958613.385
AT ITER 9994 NEW BEST:: SOT 16743794 SOS 4113033 HAS SOPS 3904871 HAS SOUS 2975940 HAS SOUPS 2953807 WITH SCORE 2957920.033
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 13409508 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16145168 kB

BK_TIME_CONFINEMENT_REACHED

--------------------
content from stderr:

Caught signal 15, terminating.

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="LeafsetExtension-PT-S32C4"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# 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-5348"
echo " Executing tool smart"
echo " Input is LeafsetExtension-PT-S32C4, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r227-tall-167856410600520"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/LeafsetExtension-PT-S32C4.tgz
mv LeafsetExtension-PT-S32C4 execution
cd execution
if [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "UpperBounds" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] || [ "StateSpace" = "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 [ "StateSpace" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "StateSpace" != "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 "StateSpace.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property StateSpace.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "StateSpace.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 '' StateSpace.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "StateSpace" = "ReachabilityDeadlock" ] || [ "StateSpace" = "QuasiLiveness" ] || [ "StateSpace" = "StableMarking" ] || [ "StateSpace" = "Liveness" ] || [ "StateSpace" = "OneSafe" ] ; then
echo "FORMULA_NAME StateSpace"
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 ;