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.r491-tall-167912711200952.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 smartxred
Input is UtahNoC-PT-none, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r491-tall-167912711200952
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 632K
-rw-r--r-- 1 mcc users 5.9K Feb 26 04:32 CTLCardinality.txt
-rw-r--r-- 1 mcc users 62K Feb 26 04:32 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 04:29 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 04:29 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:24 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Feb 25 17:24 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 17:24 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:24 LTLFireability.xml
-rw-r--r-- 1 mcc users 9.7K Feb 26 04:33 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 104K Feb 26 04:33 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.8K Feb 26 04:32 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 79K Feb 26 04:32 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 17:24 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 17:24 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 205K Mar 5 18:23 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 1679307038254

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=UtahNoC-PT-none
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 10:10:40] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 10:10:40] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 10:10:40] [INFO ] Load time of PNML (sax parser for PT used): 76 ms
[2023-03-20 10:10:40] [INFO ] Transformed 216 places.
[2023-03-20 10:10:40] [INFO ] Transformed 977 transitions.
[2023-03-20 10:10:40] [INFO ] Found NUPN structural information;
[2023-03-20 10:10:40] [INFO ] Parsed PT model containing 216 places and 977 transitions and 2905 arcs in 149 ms.
[2023-03-20 10:10:40] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 216 places, 977 transitions and 2905 arcs took 10 ms.
Total runtime 193 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtahNoC (PT), instance none
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 216 places, 977 transitions, 2905 arcs.
AT ITER 0 NEW BEST:: SOT 124401 SOS 61732 HAS SOPS 61156 HAS SOUS 30959 HAS SOUPS 30744 WITH SCORE 30805.732
AT ITER 2 NEW BEST:: SOT 124108 SOS 61438 HAS SOPS 60843 HAS SOUS 30608 HAS SOUPS 30393 WITH SCORE 30454.438
AT ITER 7 NEW BEST:: SOT 124320 SOS 61637 HAS SOPS 61042 HAS SOUS 30056 HAS SOUPS 29841 WITH SCORE 29902.637
AT ITER 8 NEW BEST:: SOT 124358 SOS 61581 HAS SOPS 60986 HAS SOUS 29736 HAS SOUPS 29521 WITH SCORE 29582.581
AT ITER 10 NEW BEST:: SOT 124570 SOS 61720 HAS SOPS 61125 HAS SOUS 29649 HAS SOUPS 29434 WITH SCORE 29495.72
AT ITER 11 NEW BEST:: SOT 124573 SOS 61724 HAS SOPS 61129 HAS SOUS 29648 HAS SOUPS 29433 WITH SCORE 29494.724
AT ITER 12 NEW BEST:: SOT 124865 SOS 62875 HAS SOPS 62298 HAS SOUS 29329 HAS SOUPS 29120 WITH SCORE 29182.875
AT ITER 15 NEW BEST:: SOT 124523 SOS 62635 HAS SOPS 62058 HAS SOUS 28987 HAS SOUPS 28778 WITH SCORE 28840.635
AT ITER 20 NEW BEST:: SOT 124802 SOS 63064 HAS SOPS 62487 HAS SOUS 28974 HAS SOUPS 28765 WITH SCORE 28828.064
AT ITER 26 NEW BEST:: SOT 125027 SOS 63101 HAS SOPS 62524 HAS SOUS 28842 HAS SOUPS 28633 WITH SCORE 28696.101
AT ITER 27 NEW BEST:: SOT 124745 SOS 62887 HAS SOPS 62310 HAS SOUS 28565 HAS SOUPS 28356 WITH SCORE 28418.887
AT ITER 29 NEW BEST:: SOT 124552 SOS 62795 HAS SOPS 62218 HAS SOUS 28555 HAS SOUPS 28346 WITH SCORE 28408.795
AT ITER 33 NEW BEST:: SOT 123875 SOS 62118 HAS SOPS 61541 HAS SOUS 27801 HAS SOUPS 27592 WITH SCORE 27654.118
AT ITER 34 NEW BEST:: SOT 123322 SOS 62064 HAS SOPS 61487 HAS SOUS 27466 HAS SOUPS 27257 WITH SCORE 27319.064
AT ITER 38 NEW BEST:: SOT 123298 SOS 62034 HAS SOPS 61457 HAS SOUS 27447 HAS SOUPS 27238 WITH SCORE 27300.034
AT ITER 39 NEW BEST:: SOT 123315 SOS 63517 HAS SOPS 61487 HAS SOUS 27537 HAS SOUPS 27236 WITH SCORE 27299.517
AT ITER 42 NEW BEST:: SOT 123315 SOS 63787 HAS SOPS 61757 HAS SOUS 27457 HAS SOUPS 27156 WITH SCORE 27219.787
AT ITER 43 NEW BEST:: SOT 123328 SOS 63813 HAS SOPS 61783 HAS SOUS 27422 HAS SOUPS 27121 WITH SCORE 27184.813
AT ITER 44 NEW BEST:: SOT 123752 SOS 64879 HAS SOPS 62683 HAS SOUS 27421 HAS SOUPS 27013 WITH SCORE 27077.879
AT ITER 49 NEW BEST:: SOT 123797 SOS 64879 HAS SOPS 62683 HAS SOUS 27376 HAS SOUPS 26968 WITH SCORE 27032.879
AT ITER 52 NEW BEST:: SOT 123367 SOS 64424 HAS SOPS 62228 HAS SOUS 26736 HAS SOUPS 26328 WITH SCORE 26392.424
AT ITER 53 NEW BEST:: SOT 123627 SOS 64620 HAS SOPS 62424 HAS SOUS 26605 HAS SOUPS 26197 WITH SCORE 26261.62
AT ITER 57 NEW BEST:: SOT 123732 SOS 64674 HAS SOPS 62478 HAS SOUS 26581 HAS SOUPS 26173 WITH SCORE 26237.674
AT ITER 61 NEW BEST:: SOT 123661 SOS 64501 HAS SOPS 62292 HAS SOUS 26502 HAS SOUPS 26094 WITH SCORE 26158.501
AT ITER 62 NEW BEST:: SOT 123553 SOS 64339 HAS SOPS 62130 HAS SOUS 26438 HAS SOUPS 26030 WITH SCORE 26094.339
AT ITER 64 NEW BEST:: SOT 122742 SOS 63634 HAS SOPS 61551 HAS SOUS 26072 HAS SOUPS 25699 WITH SCORE 25762.634
AT ITER 69 NEW BEST:: SOT 122943 SOS 63637 HAS SOPS 61554 HAS SOUS 25915 HAS SOUPS 25542 WITH SCORE 25605.637
AT ITER 71 NEW BEST:: SOT 122948 SOS 63644 HAS SOPS 61561 HAS SOUS 25914 HAS SOUPS 25541 WITH SCORE 25604.644
AT ITER 78 NEW BEST:: SOT 122879 SOS 63452 HAS SOPS 61369 HAS SOUS 25891 HAS SOUPS 25518 WITH SCORE 25581.452
AT ITER 79 NEW BEST:: SOT 123127 SOS 63536 HAS SOPS 61453 HAS SOUS 25783 HAS SOUPS 25410 WITH SCORE 25473.536
AT ITER 88 NEW BEST:: SOT 123127 SOS 63581 HAS SOPS 61498 HAS SOUS 25738 HAS SOUPS 25365 WITH SCORE 25428.581
AT ITER 93 NEW BEST:: SOT 123126 SOS 63521 HAS SOPS 61438 HAS SOUS 25707 HAS SOUPS 25334 WITH SCORE 25397.521
AT ITER 98 NEW BEST:: SOT 123376 SOS 63821 HAS SOPS 61738 HAS SOUS 25657 HAS SOUPS 25284 WITH SCORE 25347.821
AT ITER 102 NEW BEST:: SOT 123747 SOS 64578 HAS SOPS 62510 HAS SOUS 25102 HAS SOUPS 24734 WITH SCORE 24798.578
AT ITER 103 NEW BEST:: SOT 124087 SOS 64748 HAS SOPS 62680 HAS SOUS 25017 HAS SOUPS 24649 WITH SCORE 24713.748
AT ITER 109 NEW BEST:: SOT 124031 SOS 64580 HAS SOPS 62512 HAS SOUS 24933 HAS SOUPS 24565 WITH SCORE 24629.58
AT ITER 114 NEW BEST:: SOT 123976 SOS 64525 HAS SOPS 62468 HAS SOUS 24889 HAS SOUPS 24532 WITH SCORE 24596.525
AT ITER 124 NEW BEST:: SOT 123978 SOS 64151 HAS SOPS 62077 HAS SOUS 24887 HAS SOUPS 24516 WITH SCORE 24580.151
AT ITER 131 NEW BEST:: SOT 123992 SOS 64376 HAS SOPS 62322 HAS SOUS 24879 HAS SOUPS 24515 WITH SCORE 24579.376
AT ITER 134 NEW BEST:: SOT 123933 SOS 64348 HAS SOPS 62275 HAS SOUS 24700 HAS SOUPS 24336 WITH SCORE 24400.348
AT ITER 138 NEW BEST:: SOT 123817 SOS 64021 HAS SOPS 61948 HAS SOUS 24679 HAS SOUPS 24315 WITH SCORE 24379.021
AT ITER 139 NEW BEST:: SOT 123817 SOS 64003 HAS SOPS 61930 HAS SOUS 24679 HAS SOUPS 24315 WITH SCORE 24379.003
AT ITER 142 NEW BEST:: SOT 123489 SOS 63535 HAS SOPS 61462 HAS SOUS 24540 HAS SOUPS 24176 WITH SCORE 24239.535
AT ITER 143 NEW BEST:: SOT 123473 SOS 63503 HAS SOPS 61430 HAS SOUS 24524 HAS SOUPS 24160 WITH SCORE 24223.503
AT ITER 145 NEW BEST:: SOT 123472 SOS 63486 HAS SOPS 61413 HAS SOUS 24524 HAS SOUPS 24160 WITH SCORE 24223.486
AT ITER 149 NEW BEST:: SOT 123483 SOS 63508 HAS SOPS 61435 HAS SOUS 23986 HAS SOUPS 23622 WITH SCORE 23685.508
AT ITER 150 NEW BEST:: SOT 123447 SOS 63530 HAS SOPS 61457 HAS SOUS 23859 HAS SOUPS 23495 WITH SCORE 23558.53
AT ITER 151 NEW BEST:: SOT 123343 SOS 63987 HAS SOPS 61905 HAS SOUS 23830 HAS SOUPS 23466 WITH SCORE 23529.987
AT ITER 152 NEW BEST:: SOT 123738 SOS 64231 HAS SOPS 62149 HAS SOUS 23744 HAS SOUPS 23380 WITH SCORE 23444.231
AT ITER 155 NEW BEST:: SOT 123429 SOS 64055 HAS SOPS 61973 HAS SOUS 23104 HAS SOUPS 22740 WITH SCORE 22804.055
AT ITER 160 NEW BEST:: SOT 123221 SOS 63888 HAS SOPS 61806 HAS SOUS 22896 HAS SOUPS 22532 WITH SCORE 22595.888
AT ITER 167 NEW BEST:: SOT 123227 SOS 63948 HAS SOPS 61878 HAS SOUS 22882 HAS SOUPS 22524 WITH SCORE 22587.948
AT ITER 169 NEW BEST:: SOT 122932 SOS 63653 HAS SOPS 61639 HAS SOUS 22810 HAS SOUPS 22453 WITH SCORE 22516.653
AT ITER 170 NEW BEST:: SOT 122697 SOS 62581 HAS SOPS 60541 HAS SOUS 22799 HAS SOUPS 22431 WITH SCORE 22493.581
AT ITER 173 NEW BEST:: SOT 122358 SOS 62292 HAS SOPS 60252 HAS SOUS 22492 HAS SOUPS 22124 WITH SCORE 22186.292
AT ITER 176 NEW BEST:: SOT 122343 SOS 62258 HAS SOPS 60217 HAS SOUS 22485 HAS SOUPS 22116 WITH SCORE 22178.258
AT ITER 177 NEW BEST:: SOT 122357 SOS 62234 HAS SOPS 60193 HAS SOUS 22409 HAS SOUPS 22040 WITH SCORE 22102.234
AT ITER 179 NEW BEST:: SOT 122579 SOS 62414 HAS SOPS 60373 HAS SOUS 22371 HAS SOUPS 22002 WITH SCORE 22064.414
AT ITER 180 NEW BEST:: SOT 122359 SOS 62818 HAS SOPS 60833 HAS SOUS 22306 HAS SOUPS 21937 WITH SCORE 21999.818
AT ITER 181 NEW BEST:: SOT 122105 SOS 62841 HAS SOPS 60856 HAS SOUS 22111 HAS SOUPS 21742 WITH SCORE 21804.841
AT ITER 184 NEW BEST:: SOT 121905 SOS 62774 HAS SOPS 60783 HAS SOUS 21980 HAS SOUPS 21611 WITH SCORE 21673.774
AT ITER 187 NEW BEST:: SOT 121794 SOS 62559 HAS SOPS 60568 HAS SOUS 21977 HAS SOUPS 21608 WITH SCORE 21670.559
AT ITER 188 NEW BEST:: SOT 121794 SOS 62559 HAS SOPS 60568 HAS SOUS 21948 HAS SOUPS 21579 WITH SCORE 21641.559
AT ITER 193 NEW BEST:: SOT 122222 SOS 63820 HAS SOPS 61830 HAS SOUS 21903 HAS SOUPS 21534 WITH SCORE 21597.82
AT ITER 202 NEW BEST:: SOT 122746 SOS 66170 HAS SOPS 62128 HAS SOUS 21947 HAS SOUPS 21491 WITH SCORE 21557.17
AT ITER 207 NEW BEST:: SOT 123375 SOS 66371 HAS SOPS 62329 HAS SOUS 21830 HAS SOUPS 21374 WITH SCORE 21440.371
AT ITER 208 NEW BEST:: SOT 123343 SOS 66315 HAS SOPS 62265 HAS SOUS 21781 HAS SOUPS 21317 WITH SCORE 21383.315
AT ITER 211 NEW BEST:: SOT 123118 SOS 66090 HAS SOPS 62040 HAS SOUS 21781 HAS SOUPS 21317 WITH SCORE 21383.09
AT ITER 213 NEW BEST:: SOT 123126 SOS 66127 HAS SOPS 62088 HAS SOUS 21776 HAS SOUPS 21316 WITH SCORE 21382.127
AT ITER 222 NEW BEST:: SOT 123027 SOS 66028 HAS SOPS 61973 HAS SOUS 21598 HAS SOUPS 21138 WITH SCORE 21204.028
AT ITER 227 NEW BEST:: SOT 123060 SOS 66028 HAS SOPS 61973 HAS SOUS 21587 HAS SOUPS 21127 WITH SCORE 21193.028
AT ITER 232 NEW BEST:: SOT 123104 SOS 66128 HAS SOPS 62073 HAS SOUS 21561 HAS SOUPS 21101 WITH SCORE 21167.128
AT ITER 235 NEW BEST:: SOT 122794 SOS 64061 HAS SOPS 62837 HAS SOUS 21387 HAS SOUPS 21063 WITH SCORE 21127.061
AT ITER 244 NEW BEST:: SOT 122108 SOS 63659 HAS SOPS 62435 HAS SOUS 21381 HAS SOUPS 21057 WITH SCORE 21120.659
AT ITER 245 NEW BEST:: SOT 122044 SOS 63573 HAS SOPS 62371 HAS SOUS 21328 HAS SOUPS 21004 WITH SCORE 21067.573
AT ITER 246 NEW BEST:: SOT 122002 SOS 63560 HAS SOPS 62358 HAS SOUS 21235 HAS SOUPS 20911 WITH SCORE 20974.56
AT ITER 248 NEW BEST:: SOT 122008 SOS 63554 HAS SOPS 62352 HAS SOUS 21220 HAS SOUPS 20896 WITH SCORE 20959.554
AT ITER 249 NEW BEST:: SOT 122521 SOS 63775 HAS SOPS 62573 HAS SOUS 21190 HAS SOUPS 20866 WITH SCORE 20929.775
AT ITER 252 NEW BEST:: SOT 122782 SOS 64095 HAS SOPS 62893 HAS SOUS 21160 HAS SOUPS 20836 WITH SCORE 20900.095
AT ITER 253 NEW BEST:: SOT 122784 SOS 64089 HAS SOPS 62887 HAS SOUS 21156 HAS SOUPS 20832 WITH SCORE 20896.089
AT ITER 260 NEW BEST:: SOT 122745 SOS 64141 HAS SOPS 62939 HAS SOUS 21094 HAS SOUPS 20770 WITH SCORE 20834.141
AT ITER 261 NEW BEST:: SOT 122558 SOS 63947 HAS SOPS 62745 HAS SOUS 21013 HAS SOUPS 20689 WITH SCORE 20752.947
AT ITER 262 NEW BEST:: SOT 122498 SOS 63867 HAS SOPS 62665 HAS SOUS 20993 HAS SOUPS 20669 WITH SCORE 20732.867
AT ITER 269 NEW BEST:: SOT 122458 SOS 63881 HAS SOPS 62679 HAS SOUS 20970 HAS SOUPS 20646 WITH SCORE 20709.881
AT ITER 273 NEW BEST:: SOT 121618 SOS 63162 HAS SOPS 61960 HAS SOUS 20508 HAS SOUPS 20184 WITH SCORE 20247.162
AT ITER 275 NEW BEST:: SOT 121456 SOS 63027 HAS SOPS 61825 HAS SOUS 20416 HAS SOUPS 20092 WITH SCORE 20155.027
AT ITER 280 NEW BEST:: SOT 121758 SOS 62998 HAS SOPS 61796 HAS SOUS 20304 HAS SOUPS 19980 WITH SCORE 20042.998
AT ITER 285 NEW BEST:: SOT 121758 SOS 63002 HAS SOPS 61800 HAS SOUS 20300 HAS SOUPS 19976 WITH SCORE 20039.002
AT ITER 289 NEW BEST:: SOT 121688 SOS 62932 HAS SOPS 61735 HAS SOUS 20250 HAS SOUPS 19926 WITH SCORE 19988.932
AT ITER 294 NEW BEST:: SOT 121685 SOS 62923 HAS SOPS 61726 HAS SOUS 20244 HAS SOUPS 19920 WITH SCORE 19982.923
AT ITER 297 NEW BEST:: SOT 121713 SOS 63206 HAS SOPS 61740 HAS SOUS 20257 HAS SOUPS 19919 WITH SCORE 19982.206
AT ITER 301 NEW BEST:: SOT 121669 SOS 63131 HAS SOPS 61696 HAS SOUS 20169 HAS SOUPS 19831 WITH SCORE 19894.131
AT ITER 302 NEW BEST:: SOT 121114 SOS 62434 HAS SOPS 60985 HAS SOUS 19933 HAS SOUPS 19588 WITH SCORE 19650.434
AT ITER 309 NEW BEST:: SOT 121274 SOS 62562 HAS SOPS 61113 HAS SOUS 19903 HAS SOUPS 19558 WITH SCORE 19620.562
AT ITER 314 NEW BEST:: SOT 121209 SOS 62497 HAS SOPS 61048 HAS SOUS 19903 HAS SOUPS 19558 WITH SCORE 19620.497
AT ITER 315 NEW BEST:: SOT 121051 SOS 62407 HAS SOPS 60906 HAS SOUS 19513 HAS SOUPS 19136 WITH SCORE 19198.407
AT ITER 317 NEW BEST:: SOT 121081 SOS 62419 HAS SOPS 60918 HAS SOUS 19507 HAS SOUPS 19130 WITH SCORE 19192.419
AT ITER 319 NEW BEST:: SOT 121131 SOS 62599 HAS SOPS 61098 HAS SOUS 19328 HAS SOUPS 18951 WITH SCORE 19013.599
AT ITER 331 NEW BEST:: SOT 121036 SOS 62542 HAS SOPS 61041 HAS SOUS 19309 HAS SOUPS 18932 WITH SCORE 18994.542
AT ITER 337 NEW BEST:: SOT 121040 SOS 62550 HAS SOPS 61049 HAS SOUS 19280 HAS SOUPS 18903 WITH SCORE 18965.55
AT ITER 347 NEW BEST:: SOT 121075 SOS 62550 HAS SOPS 61049 HAS SOUS 19209 HAS SOUPS 18832 WITH SCORE 18894.55
AT ITER 350 NEW BEST:: SOT 121075 SOS 62524 HAS SOPS 61023 HAS SOUS 19209 HAS SOUPS 18832 WITH SCORE 18894.524
AT ITER 352 NEW BEST:: SOT 121089 SOS 62574 HAS SOPS 61055 HAS SOUS 19160 HAS SOUPS 18783 WITH SCORE 18845.574
AT ITER 361 NEW BEST:: SOT 121033 SOS 62518 HAS SOPS 60999 HAS SOUS 19132 HAS SOUPS 18755 WITH SCORE 18817.518
AT ITER 362 NEW BEST:: SOT 120854 SOS 62430 HAS SOPS 60910 HAS SOUS 19132 HAS SOUPS 18755 WITH SCORE 18817.43
AT ITER 366 NEW BEST:: SOT 120600 SOS 62126 HAS SOPS 60606 HAS SOUS 19091 HAS SOUPS 18714 WITH SCORE 18776.126
AT ITER 373 NEW BEST:: SOT 119690 SOS 61700 HAS SOPS 60180 HAS SOUS 18977 HAS SOUPS 18600 WITH SCORE 18661.7
AT ITER 374 NEW BEST:: SOT 119685 SOS 61694 HAS SOPS 60175 HAS SOUS 18972 HAS SOUPS 18596 WITH SCORE 18657.694
AT ITER 378 NEW BEST:: SOT 119665 SOS 61654 HAS SOPS 60135 HAS SOUS 18952 HAS SOUPS 18576 WITH SCORE 18637.654
AT ITER 380 NEW BEST:: SOT 119564 SOS 61489 HAS SOPS 59970 HAS SOUS 18791 HAS SOUPS 18415 WITH SCORE 18476.489
AT ITER 382 NEW BEST:: SOT 119504 SOS 61357 HAS SOPS 59838 HAS SOUS 18777 HAS SOUPS 18401 WITH SCORE 18462.357
AT ITER 386 NEW BEST:: SOT 119386 SOS 61239 HAS SOPS 59720 HAS SOUS 18777 HAS SOUPS 18401 WITH SCORE 18462.239
AT ITER 393 NEW BEST:: SOT 119328 SOS 61216 HAS SOPS 59697 HAS SOUS 18683 HAS SOUPS 18307 WITH SCORE 18368.216
AT ITER 394 NEW BEST:: SOT 120051 SOS 61647 HAS SOPS 60134 HAS SOUS 18515 HAS SOUPS 18143 WITH SCORE 18204.647
AT ITER 395 NEW BEST:: SOT 120040 SOS 61605 HAS SOPS 60092 HAS SOUS 18473 HAS SOUPS 18101 WITH SCORE 18162.605
AT ITER 397 NEW BEST:: SOT 120120 SOS 61653 HAS SOPS 60140 HAS SOUS 18461 HAS SOUPS 18089 WITH SCORE 18150.653
AT ITER 414 NEW BEST:: SOT 120225 SOS 61731 HAS SOPS 60210 HAS SOUS 18296 HAS SOUPS 17924 WITH SCORE 17985.731
AT ITER 418 NEW BEST:: SOT 120155 SOS 61704 HAS SOPS 60183 HAS SOUS 18235 HAS SOUPS 17863 WITH SCORE 17924.704
AT ITER 429 NEW BEST:: SOT 120200 SOS 61740 HAS SOPS 60218 HAS SOUS 18231 HAS SOUPS 17859 WITH SCORE 17920.74
AT ITER 431 NEW BEST:: SOT 120217 SOS 61735 HAS SOPS 60217 HAS SOUS 18228 HAS SOUPS 17856 WITH SCORE 17917.735
AT ITER 437 NEW BEST:: SOT 120400 SOS 61952 HAS SOPS 60434 HAS SOUS 18217 HAS SOUPS 17845 WITH SCORE 17906.952
AT ITER 442 NEW BEST:: SOT 120400 SOS 61922 HAS SOPS 60404 HAS SOUS 18202 HAS SOUPS 17830 WITH SCORE 17891.922
AT ITER 453 NEW BEST:: SOT 120480 SOS 61962 HAS SOPS 60444 HAS SOUS 18182 HAS SOUPS 17810 WITH SCORE 17871.962
AT ITER 459 NEW BEST:: SOT 120448 SOS 61898 HAS SOPS 60380 HAS SOUS 18164 HAS SOUPS 17792 WITH SCORE 17853.898
AT ITER 462 NEW BEST:: SOT 120046 SOS 61654 HAS SOPS 60069 HAS SOUS 17876 HAS SOUPS 17500 WITH SCORE 17561.654
AT ITER 467 NEW BEST:: SOT 119868 SOS 61622 HAS SOPS 60037 HAS SOUS 17697 HAS SOUPS 17321 WITH SCORE 17382.622
AT ITER 470 NEW BEST:: SOT 119876 SOS 61628 HAS SOPS 60043 HAS SOUS 17695 HAS SOUPS 17319 WITH SCORE 17380.628
AT ITER 490 NEW BEST:: SOT 119884 SOS 61626 HAS SOPS 60041 HAS SOUS 17693 HAS SOUPS 17317 WITH SCORE 17378.626
AT ITER 494 NEW BEST:: SOT 119716 SOS 61266 HAS SOPS 59681 HAS SOUS 17623 HAS SOUPS 17247 WITH SCORE 17308.266
AT ITER 495 NEW BEST:: SOT 119727 SOS 61255 HAS SOPS 59670 HAS SOUS 17612 HAS SOUPS 17236 WITH SCORE 17297.255
AT ITER 496 NEW BEST:: SOT 119662 SOS 61216 HAS SOPS 59638 HAS SOUS 17572 HAS SOUPS 17200 WITH SCORE 17261.216
AT ITER 501 NEW BEST:: SOT 119482 SOS 61126 HAS SOPS 59548 HAS SOUS 17527 HAS SOUPS 17155 WITH SCORE 17216.126
AT ITER 509 NEW BEST:: SOT 119267 SOS 60610 HAS SOPS 59118 HAS SOUS 17484 HAS SOUPS 17155 WITH SCORE 17215.61
AT ITER 513 NEW BEST:: SOT 119916 SOS 62238 HAS SOPS 60746 HAS SOUS 17473 HAS SOUPS 17144 WITH SCORE 17206.238
AT ITER 533 NEW BEST:: SOT 120095 SOS 62544 HAS SOPS 61052 HAS SOUS 17460 HAS SOUPS 17131 WITH SCORE 17193.544
AT ITER 534 NEW BEST:: SOT 120146 SOS 62663 HAS SOPS 61171 HAS SOUS 17443 HAS SOUPS 17114 WITH SCORE 17176.663
AT ITER 538 NEW BEST:: SOT 120083 SOS 62357 HAS SOPS 60865 HAS SOUS 17296 HAS SOUPS 16967 WITH SCORE 17029.357
AT ITER 549 NEW BEST:: SOT 120076 SOS 62322 HAS SOPS 60835 HAS SOUS 17254 HAS SOUPS 16929 WITH SCORE 16991.322
AT ITER 551 NEW BEST:: SOT 119982 SOS 62266 HAS SOPS 60779 HAS SOUS 17251 HAS SOUPS 16926 WITH SCORE 16988.266
AT ITER 559 NEW BEST:: SOT 119491 SOS 61563 HAS SOPS 60076 HAS SOUS 16899 HAS SOUPS 16574 WITH SCORE 16635.563
AT ITER 561 NEW BEST:: SOT 119523 SOS 61462 HAS SOPS 59975 HAS SOUS 16899 HAS SOUPS 16574 WITH SCORE 16635.462
AT ITER 563 NEW BEST:: SOT 119505 SOS 61426 HAS SOPS 59939 HAS SOUS 16864 HAS SOUPS 16539 WITH SCORE 16600.426
AT ITER 564 NEW BEST:: SOT 119465 SOS 61296 HAS SOPS 59809 HAS SOUS 16864 HAS SOUPS 16539 WITH SCORE 16600.296
AT ITER 566 NEW BEST:: SOT 119465 SOS 61250 HAS SOPS 59763 HAS SOUS 16832 HAS SOUPS 16507 WITH SCORE 16568.25
AT ITER 578 NEW BEST:: SOT 119467 SOS 61250 HAS SOPS 59763 HAS SOUS 16829 HAS SOUPS 16504 WITH SCORE 16565.25
AT ITER 579 NEW BEST:: SOT 119466 SOS 60504 HAS SOPS 59017 HAS SOUS 16775 HAS SOUPS 16450 WITH SCORE 16510.504
AT ITER 580 NEW BEST:: SOT 119566 SOS 60624 HAS SOPS 59137 HAS SOUS 16755 HAS SOUPS 16430 WITH SCORE 16490.624
AT ITER 583 NEW BEST:: SOT 119531 SOS 60618 HAS SOPS 59131 HAS SOUS 16733 HAS SOUPS 16408 WITH SCORE 16468.618
AT ITER 596 NEW BEST:: SOT 119546 SOS 60627 HAS SOPS 59140 HAS SOUS 16730 HAS SOUPS 16405 WITH SCORE 16465.627
AT ITER 598 NEW BEST:: SOT 119551 SOS 60637 HAS SOPS 59150 HAS SOUS 16703 HAS SOUPS 16378 WITH SCORE 16438.637
AT ITER 607 NEW BEST:: SOT 119700 SOS 61008 HAS SOPS 59521 HAS SOUS 16700 HAS SOUPS 16375 WITH SCORE 16436.008
AT ITER 617 NEW BEST:: SOT 119560 SOS 60870 HAS SOPS 59383 HAS SOUS 16670 HAS SOUPS 16345 WITH SCORE 16405.87
AT ITER 622 NEW BEST:: SOT 119659 SOS 60960 HAS SOPS 59473 HAS SOUS 16666 HAS SOUPS 16341 WITH SCORE 16401.96
AT ITER 627 NEW BEST:: SOT 119670 SOS 60979 HAS SOPS 59492 HAS SOUS 16658 HAS SOUPS 16333 WITH SCORE 16393.979
AT ITER 628 NEW BEST:: SOT 119442 SOS 60360 HAS SOPS 58873 HAS SOUS 16519 HAS SOUPS 16194 WITH SCORE 16254.36
AT ITER 634 NEW BEST:: SOT 119246 SOS 60164 HAS SOPS 58677 HAS SOUS 16435 HAS SOUPS 16110 WITH SCORE 16170.164
AT ITER 651 NEW BEST:: SOT 119087 SOS 59982 HAS SOPS 58495 HAS SOUS 16402 HAS SOUPS 16077 WITH SCORE 16136.982
AT ITER 670 NEW BEST:: SOT 119023 SOS 59668 HAS SOPS 58181 HAS SOUS 16392 HAS SOUPS 16067 WITH SCORE 16126.668
AT ITER 679 NEW BEST:: SOT 118977 SOS 59618 HAS SOPS 58131 HAS SOUS 16376 HAS SOUPS 16051 WITH SCORE 16110.618
AT ITER 682 NEW BEST:: SOT 118514 SOS 58421 HAS SOPS 56916 HAS SOUS 16252 HAS SOUPS 15918 WITH SCORE 15976.421
AT ITER 690 NEW BEST:: SOT 118387 SOS 58092 HAS SOPS 56587 HAS SOUS 16246 HAS SOUPS 15912 WITH SCORE 15970.092
AT ITER 708 NEW BEST:: SOT 118371 SOS 58106 HAS SOPS 56601 HAS SOUS 16245 HAS SOUPS 15911 WITH SCORE 15969.106
AT ITER 716 NEW BEST:: SOT 118351 SOS 58096 HAS SOPS 56591 HAS SOUS 16245 HAS SOUPS 15911 WITH SCORE 15969.096
AT ITER 736 NEW BEST:: SOT 118387 SOS 58432 HAS SOPS 56855 HAS SOUS 16255 HAS SOUPS 15885 WITH SCORE 15943.432
AT ITER 737 NEW BEST:: SOT 118257 SOS 58354 HAS SOPS 56777 HAS SOUS 16232 HAS SOUPS 15862 WITH SCORE 15920.354
AT ITER 749 NEW BEST:: SOT 118255 SOS 58371 HAS SOPS 56794 HAS SOUS 16230 HAS SOUPS 15860 WITH SCORE 15918.371
AT ITER 751 NEW BEST:: SOT 118252 SOS 58428 HAS SOPS 56851 HAS SOUS 16225 HAS SOUPS 15855 WITH SCORE 15913.428
AT ITER 752 NEW BEST:: SOT 118237 SOS 58383 HAS SOPS 56806 HAS SOUS 16205 HAS SOUPS 15835 WITH SCORE 15893.383
AT ITER 767 NEW BEST:: SOT 118205 SOS 58343 HAS SOPS 56766 HAS SOUS 16201 HAS SOUPS 15831 WITH SCORE 15889.343
AT ITER 770 NEW BEST:: SOT 118167 SOS 58435 HAS SOPS 56858 HAS SOUS 16163 HAS SOUPS 15793 WITH SCORE 15851.435
AT ITER 773 NEW BEST:: SOT 118158 SOS 58411 HAS SOPS 56834 HAS SOUS 16151 HAS SOUPS 15781 WITH SCORE 15839.411
AT ITER 797 NEW BEST:: SOT 117883 SOS 57722 HAS SOPS 56121 HAS SOUS 16093 HAS SOUPS 15712 WITH SCORE 15769.722
AT ITER 805 NEW BEST:: SOT 117895 SOS 57742 HAS SOPS 56141 HAS SOUS 16089 HAS SOUPS 15708 WITH SCORE 15765.742
AT ITER 807 NEW BEST:: SOT 117891 SOS 57738 HAS SOPS 56137 HAS SOUS 16085 HAS SOUPS 15704 WITH SCORE 15761.738
AT ITER 815 NEW BEST:: SOT 117132 SOS 57117 HAS SOPS 55516 HAS SOUS 15947 HAS SOUPS 15566 WITH SCORE 15623.117
AT ITER 816 NEW BEST:: SOT 117132 SOS 57117 HAS SOPS 55516 HAS SOUS 15931 HAS SOUPS 15550 WITH SCORE 15607.117
AT ITER 820 NEW BEST:: SOT 117116 SOS 57106 HAS SOPS 55505 HAS SOUS 15923 HAS SOUPS 15542 WITH SCORE 15599.106
AT ITER 823 NEW BEST:: SOT 117127 SOS 57069 HAS SOPS 55467 HAS SOUS 15916 HAS SOUPS 15534 WITH SCORE 15591.069
AT ITER 824 NEW BEST:: SOT 117101 SOS 57030 HAS SOPS 55428 HAS SOUS 15890 HAS SOUPS 15508 WITH SCORE 15565.03
AT ITER 832 NEW BEST:: SOT 117065 SOS 56994 HAS SOPS 55392 HAS SOUS 15878 HAS SOUPS 15496 WITH SCORE 15552.994
AT ITER 848 NEW BEST:: SOT 117149 SOS 57080 HAS SOPS 55478 HAS SOUS 15852 HAS SOUPS 15470 WITH SCORE 15527.08
AT ITER 857 NEW BEST:: SOT 117110 SOS 57207 HAS SOPS 55553 HAS SOUS 15844 HAS SOUPS 15436 WITH SCORE 15493.207
AT ITER 862 NEW BEST:: SOT 117107 SOS 57282 HAS SOPS 55649 HAS SOUS 15804 HAS SOUPS 15403 WITH SCORE 15460.282
AT ITER 868 NEW BEST:: SOT 117043 SOS 57248 HAS SOPS 55615 HAS SOUS 15717 HAS SOUPS 15316 WITH SCORE 15373.248
AT ITER 873 NEW BEST:: SOT 117050 SOS 57261 HAS SOPS 55633 HAS SOUS 15711 HAS SOUPS 15310 WITH SCORE 15367.261
AT ITER 875 NEW BEST:: SOT 117045 SOS 57251 HAS SOPS 55623 HAS SOUS 15615 HAS SOUPS 15214 WITH SCORE 15271.251
AT ITER 889 NEW BEST:: SOT 116896 SOS 57070 HAS SOPS 55442 HAS SOUS 15551 HAS SOUPS 15150 WITH SCORE 15207.07
AT ITER 896 NEW BEST:: SOT 116876 SOS 57042 HAS SOPS 55417 HAS SOUS 15551 HAS SOUPS 15150 WITH SCORE 15207.042
AT ITER 916 NEW BEST:: SOT 116792 SOS 57014 HAS SOPS 55389 HAS SOUS 15548 HAS SOUPS 15147 WITH SCORE 15204.014
AT ITER 926 NEW BEST:: SOT 116775 SOS 56978 HAS SOPS 55338 HAS SOUS 15463 HAS SOUPS 15062 WITH SCORE 15118.978
AT ITER 931 NEW BEST:: SOT 116660 SOS 56756 HAS SOPS 55116 HAS SOUS 15450 HAS SOUPS 15049 WITH SCORE 15105.756
AT ITER 932 NEW BEST:: SOT 116575 SOS 56633 HAS SOPS 54993 HAS SOUS 15442 HAS SOUPS 15041 WITH SCORE 15097.633
AT ITER 936 NEW BEST:: SOT 116520 SOS 56578 HAS SOPS 54938 HAS SOUS 15400 HAS SOUPS 14999 WITH SCORE 15055.578
AT ITER 937 NEW BEST:: SOT 116298 SOS 56654 HAS SOPS 55014 HAS SOUS 15360 HAS SOUPS 14959 WITH SCORE 15015.654
AT ITER 945 NEW BEST:: SOT 115744 SOS 56274 HAS SOPS 54634 HAS SOUS 15214 HAS SOUPS 14813 WITH SCORE 14869.274
AT ITER 946 NEW BEST:: SOT 115744 SOS 56266 HAS SOPS 54626 HAS SOUS 15214 HAS SOUPS 14813 WITH SCORE 14869.266
AT ITER 947 NEW BEST:: SOT 115743 SOS 56216 HAS SOPS 54576 HAS SOUS 15179 HAS SOUPS 14778 WITH SCORE 14834.216
AT ITER 949 NEW BEST:: SOT 115867 SOS 56216 HAS SOPS 54576 HAS SOUS 15062 HAS SOUPS 14661 WITH SCORE 14717.216
AT ITER 951 NEW BEST:: SOT 115448 SOS 55727 HAS SOPS 54120 HAS SOUS 15025 HAS SOUPS 14624 WITH SCORE 14679.727
AT ITER 956 NEW BEST:: SOT 115442 SOS 55748 HAS SOPS 54138 HAS SOUS 15013 HAS SOUPS 14612 WITH SCORE 14667.748
AT ITER 961 NEW BEST:: SOT 115082 SOS 55348 HAS SOPS 53738 HAS SOUS 14973 HAS SOUPS 14572 WITH SCORE 14627.348
AT ITER 964 NEW BEST:: SOT 115064 SOS 55331 HAS SOPS 53721 HAS SOUS 14965 HAS SOUPS 14564 WITH SCORE 14619.331
AT ITER 965 NEW BEST:: SOT 115049 SOS 55061 HAS SOPS 53451 HAS SOUS 14956 HAS SOUPS 14555 WITH SCORE 14610.061
AT ITER 975 NEW BEST:: SOT 115255 SOS 55177 HAS SOPS 53548 HAS SOUS 14954 HAS SOUPS 14553 WITH SCORE 14608.177
AT ITER 976 NEW BEST:: SOT 115306 SOS 54928 HAS SOPS 53299 HAS SOUS 14668 HAS SOUPS 14267 WITH SCORE 14321.928
AT ITER 978 NEW BEST:: SOT 115121 SOS 54812 HAS SOPS 53183 HAS SOUS 14595 HAS SOUPS 14194 WITH SCORE 14248.812
AT ITER 987 NEW BEST:: SOT 115051 SOS 54673 HAS SOPS 53072 HAS SOUS 14551 HAS SOUPS 14164 WITH SCORE 14218.673
AT ITER 1028 NEW BEST:: SOT 115033 SOS 54655 HAS SOPS 53054 HAS SOUS 14497 HAS SOUPS 14110 WITH SCORE 14164.655
AT ITER 1030 NEW BEST:: SOT 115093 SOS 54715 HAS SOPS 53114 HAS SOUS 14452 HAS SOUPS 14065 WITH SCORE 14119.715
AT ITER 1031 NEW BEST:: SOT 115003 SOS 54535 HAS SOPS 52934 HAS SOUS 14446 HAS SOUPS 14059 WITH SCORE 14113.535
AT ITER 1034 NEW BEST:: SOT 114973 SOS 54436 HAS SOPS 52835 HAS SOUS 14440 HAS SOUPS 14053 WITH SCORE 14107.436
AT ITER 1038 NEW BEST:: SOT 114970 SOS 54434 HAS SOPS 52832 HAS SOUS 14437 HAS SOUPS 14049 WITH SCORE 14103.434
AT ITER 1039 NEW BEST:: SOT 114828 SOS 54318 HAS SOPS 52716 HAS SOUS 14393 HAS SOUPS 14005 WITH SCORE 14059.318
AT ITER 1055 NEW BEST:: SOT 114810 SOS 54300 HAS SOPS 52698 HAS SOUS 14375 HAS SOUPS 13987 WITH SCORE 14041.3
AT ITER 1058 NEW BEST:: SOT 114836 SOS 54300 HAS SOPS 52698 HAS SOUS 14336 HAS SOUPS 13948 WITH SCORE 14002.3
AT ITER 1064 NEW BEST:: SOT 114808 SOS 54300 HAS SOPS 52698 HAS SOUS 14304 HAS SOUPS 13916 WITH SCORE 13970.3
AT ITER 1072 NEW BEST:: SOT 114796 SOS 54282 HAS SOPS 52680 HAS SOUS 14298 HAS SOUPS 13910 WITH SCORE 13964.282
AT ITER 1086 NEW BEST:: SOT 114783 SOS 54256 HAS SOPS 52654 HAS SOUS 14285 HAS SOUPS 13897 WITH SCORE 13951.256
AT ITER 1092 NEW BEST:: SOT 114802 SOS 53751 HAS SOPS 52133 HAS SOUS 14285 HAS SOUPS 13897 WITH SCORE 13950.751
AT ITER 1094 NEW BEST:: SOT 114780 SOS 53641 HAS SOPS 52023 HAS SOUS 14274 HAS SOUPS 13886 WITH SCORE 13939.641
AT ITER 1096 NEW BEST:: SOT 114750 SOS 53617 HAS SOPS 51999 HAS SOUS 14262 HAS SOUPS 13874 WITH SCORE 13927.617
AT ITER 1109 NEW BEST:: SOT 114881 SOS 53319 HAS SOPS 51701 HAS SOUS 14255 HAS SOUPS 13867 WITH SCORE 13920.319
AT ITER 1125 NEW BEST:: SOT 114913 SOS 53399 HAS SOPS 51765 HAS SOUS 14255 HAS SOUPS 13859 WITH SCORE 13912.399
AT ITER 1127 NEW BEST:: SOT 114889 SOS 53369 HAS SOPS 51717 HAS SOUS 14241 HAS SOUPS 13833 WITH SCORE 13886.369
AT ITER 1148 NEW BEST:: SOT 114853 SOS 53304 HAS SOPS 51652 HAS SOUS 14159 HAS SOUPS 13751 WITH SCORE 13804.304
AT ITER 1150 NEW BEST:: SOT 114910 SOS 53308 HAS SOPS 51656 HAS SOUS 14147 HAS SOUPS 13739 WITH SCORE 13792.308
AT ITER 1155 NEW BEST:: SOT 115035 SOS 53695 HAS SOPS 52043 HAS SOUS 14089 HAS SOUPS 13681 WITH SCORE 13734.695
AT ITER 1159 NEW BEST:: SOT 115039 SOS 53698 HAS SOPS 52046 HAS SOUS 14088 HAS SOUPS 13680 WITH SCORE 13733.698
AT ITER 1167 NEW BEST:: SOT 115038 SOS 53696 HAS SOPS 52044 HAS SOUS 14086 HAS SOUPS 13678 WITH SCORE 13731.696
AT ITER 1171 NEW BEST:: SOT 114801 SOS 53130 HAS SOPS 51478 HAS SOUS 14015 HAS SOUPS 13607 WITH SCORE 13660.13
AT ITER 1172 NEW BEST:: SOT 115109 SOS 53669 HAS SOPS 52017 HAS SOUS 13999 HAS SOUPS 13591 WITH SCORE 13644.669
AT ITER 1176 NEW BEST:: SOT 115018 SOS 53617 HAS SOPS 51965 HAS SOUS 13986 HAS SOUPS 13578 WITH SCORE 13631.617
AT ITER 1177 NEW BEST:: SOT 115042 SOS 53862 HAS SOPS 52154 HAS SOUS 13994 HAS SOUPS 13558 WITH SCORE 13611.862
AT ITER 1178 NEW BEST:: SOT 115219 SOS 54520 HAS SOPS 52267 HAS SOUS 13982 HAS SOUPS 13519 WITH SCORE 13573.52
AT ITER 1188 NEW BEST:: SOT 115136 SOS 54450 HAS SOPS 52197 HAS SOUS 13957 HAS SOUPS 13494 WITH SCORE 13548.45
AT ITER 1194 NEW BEST:: SOT 114951 SOS 54229 HAS SOPS 51976 HAS SOUS 13854 HAS SOUPS 13391 WITH SCORE 13445.229
AT ITER 1209 NEW BEST:: SOT 114909 SOS 54070 HAS SOPS 51817 HAS SOUS 13807 HAS SOUPS 13344 WITH SCORE 13398.07
AT ITER 1216 NEW BEST:: SOT 114915 SOS 54064 HAS SOPS 51811 HAS SOUS 13801 HAS SOUPS 13338 WITH SCORE 13392.064
AT ITER 1218 NEW BEST:: SOT 114885 SOS 54030 HAS SOPS 51777 HAS SOUS 13799 HAS SOUPS 13336 WITH SCORE 13390.03
AT ITER 1240 NEW BEST:: SOT 114777 SOS 53922 HAS SOPS 51681 HAS SOUS 13700 HAS SOUPS 13242 WITH SCORE 13295.922
AT ITER 1257 NEW BEST:: SOT 114742 SOS 53880 HAS SOPS 51639 HAS SOUS 13700 HAS SOUPS 13242 WITH SCORE 13295.88
AT ITER 1265 NEW BEST:: SOT 115058 SOS 54240 HAS SOPS 52025 HAS SOUS 13681 HAS SOUPS 13234 WITH SCORE 13288.24
AT ITER 1269 NEW BEST:: SOT 115051 SOS 54232 HAS SOPS 52017 HAS SOUS 13667 HAS SOUPS 13220 WITH SCORE 13274.232
AT ITER 1290 NEW BEST:: SOT 115128 SOS 54259 HAS SOPS 52044 HAS SOUS 13661 HAS SOUPS 13214 WITH SCORE 13268.259
AT ITER 1308 NEW BEST:: SOT 115065 SOS 54223 HAS SOPS 52008 HAS SOUS 13657 HAS SOUPS 13210 WITH SCORE 13264.223
AT ITER 1312 NEW BEST:: SOT 115046 SOS 54109 HAS SOPS 51894 HAS SOUS 13640 HAS SOUPS 13193 WITH SCORE 13247.109
AT ITER 1318 NEW BEST:: SOT 115116 SOS 54159 HAS SOPS 51944 HAS SOUS 13630 HAS SOUPS 13183 WITH SCORE 13237.159
AT ITER 1322 NEW BEST:: SOT 115245 SOS 54159 HAS SOPS 51944 HAS SOUS 13598 HAS SOUPS 13151 WITH SCORE 13205.159
AT ITER 1325 NEW BEST:: SOT 115219 SOS 54081 HAS SOPS 51892 HAS SOUS 13584 HAS SOUPS 13137 WITH SCORE 13191.081
AT ITER 1335 NEW BEST:: SOT 115224 SOS 54103 HAS SOPS 51914 HAS SOUS 13581 HAS SOUPS 13134 WITH SCORE 13188.103
AT ITER 1343 NEW BEST:: SOT 115448 SOS 54623 HAS SOPS 52434 HAS SOUS 13511 HAS SOUPS 13064 WITH SCORE 13118.623
AT ITER 1356 NEW BEST:: SOT 115448 SOS 54611 HAS SOPS 52422 HAS SOUS 13505 HAS SOUPS 13058 WITH SCORE 13112.611
AT ITER 1358 NEW BEST:: SOT 115391 SOS 54468 HAS SOPS 52279 HAS SOUS 13478 HAS SOUPS 13031 WITH SCORE 13085.468
AT ITER 1370 NEW BEST:: SOT 115408 SOS 54376 HAS SOPS 52187 HAS SOUS 13471 HAS SOUPS 13024 WITH SCORE 13078.376
AT ITER 1374 NEW BEST:: SOT 115428 SOS 54432 HAS SOPS 52243 HAS SOUS 13461 HAS SOUPS 13014 WITH SCORE 13068.432
AT ITER 1425 NEW BEST:: SOT 115423 SOS 54422 HAS SOPS 52233 HAS SOUS 13451 HAS SOUPS 13004 WITH SCORE 13058.422
AT ITER 1434 NEW BEST:: SOT 115411 SOS 54410 HAS SOPS 52221 HAS SOUS 13447 HAS SOUPS 13000 WITH SCORE 13054.41
AT ITER 1436 NEW BEST:: SOT 115433 SOS 54458 HAS SOPS 52269 HAS SOUS 13437 HAS SOUPS 12990 WITH SCORE 13044.458
AT ITER 1454 NEW BEST:: SOT 115320 SOS 54272 HAS SOPS 52083 HAS SOUS 13357 HAS SOUPS 12910 WITH SCORE 12964.272
AT ITER 1455 NEW BEST:: SOT 115307 SOS 54186 HAS SOPS 51997 HAS SOUS 13344 HAS SOUPS 12897 WITH SCORE 12951.186
AT ITER 1457 NEW BEST:: SOT 115267 SOS 54102 HAS SOPS 51910 HAS SOUS 13281 HAS SOUPS 12834 WITH SCORE 12888.102
AT ITER 1465 NEW BEST:: SOT 115206 SOS 53987 HAS SOPS 51794 HAS SOUS 13242 HAS SOUPS 12795 WITH SCORE 12848.987
AT ITER 1470 NEW BEST:: SOT 115168 SOS 53911 HAS SOPS 51718 HAS SOUS 13242 HAS SOUPS 12795 WITH SCORE 12848.911
AT ITER 1481 NEW BEST:: SOT 115268 SOS 53961 HAS SOPS 51768 HAS SOUS 13233 HAS SOUPS 12786 WITH SCORE 12839.961
AT ITER 1492 NEW BEST:: SOT 115118 SOS 53649 HAS SOPS 51456 HAS SOUS 13186 HAS SOUPS 12739 WITH SCORE 12792.649
AT ITER 1548 NEW BEST:: SOT 115122 SOS 53637 HAS SOPS 51444 HAS SOUS 13174 HAS SOUPS 12727 WITH SCORE 12780.637
AT ITER 1553 NEW BEST:: SOT 114848 SOS 53475 HAS SOPS 51282 HAS SOUS 13165 HAS SOUPS 12718 WITH SCORE 12771.475
AT ITER 1555 NEW BEST:: SOT 114835 SOS 53449 HAS SOPS 51256 HAS SOUS 13152 HAS SOUPS 12705 WITH SCORE 12758.449
AT ITER 1582 NEW BEST:: SOT 114829 SOS 53332 HAS SOPS 51139 HAS SOUS 13146 HAS SOUPS 12699 WITH SCORE 12752.332
AT ITER 1588 NEW BEST:: SOT 114778 SOS 53248 HAS SOPS 51076 HAS SOUS 13100 HAS SOUPS 12654 WITH SCORE 12707.248
AT ITER 1596 NEW BEST:: SOT 114854 SOS 53564 HAS SOPS 51376 HAS SOUS 13071 HAS SOUPS 12610 WITH SCORE 12663.564
AT ITER 1597 NEW BEST:: SOT 114704 SOS 53464 HAS SOPS 51276 HAS SOUS 12975 HAS SOUPS 12514 WITH SCORE 12567.464
AT ITER 1601 NEW BEST:: SOT 114704 SOS 53466 HAS SOPS 51278 HAS SOUS 12969 HAS SOUPS 12508 WITH SCORE 12561.466
AT ITER 1604 NEW BEST:: SOT 114447 SOS 53171 HAS SOPS 50958 HAS SOUS 12965 HAS SOUPS 12493 WITH SCORE 12546.171
AT ITER 1605 NEW BEST:: SOT 114492 SOS 53241 HAS SOPS 51028 HAS SOUS 12948 HAS SOUPS 12476 WITH SCORE 12529.241
AT ITER 1619 NEW BEST:: SOT 114345 SOS 53687 HAS SOPS 51474 HAS SOUS 12887 HAS SOUPS 12415 WITH SCORE 12468.687
AT ITER 1627 NEW BEST:: SOT 114325 SOS 53675 HAS SOPS 51462 HAS SOUS 12879 HAS SOUPS 12407 WITH SCORE 12460.675
AT ITER 1629 NEW BEST:: SOT 114303 SOS 53549 HAS SOPS 51336 HAS SOUS 12844 HAS SOUPS 12372 WITH SCORE 12425.549
AT ITER 1633 NEW BEST:: SOT 114054 SOS 53354 HAS SOPS 51141 HAS SOUS 12840 HAS SOUPS 12368 WITH SCORE 12421.354
AT ITER 1642 NEW BEST:: SOT 114015 SOS 53305 HAS SOPS 51092 HAS SOUS 12829 HAS SOUPS 12357 WITH SCORE 12410.305
AT ITER 1651 NEW BEST:: SOT 113944 SOS 53219 HAS SOPS 51006 HAS SOUS 12781 HAS SOUPS 12309 WITH SCORE 12362.219
AT ITER 1667 NEW BEST:: SOT 113910 SOS 53151 HAS SOPS 50938 HAS SOUS 12730 HAS SOUPS 12258 WITH SCORE 12311.151
AT ITER 1694 NEW BEST:: SOT 113921 SOS 53119 HAS SOPS 50887 HAS SOUS 12665 HAS SOUPS 12193 WITH SCORE 12246.119
AT ITER 1696 NEW BEST:: SOT 113922 SOS 53121 HAS SOPS 50889 HAS SOUS 12652 HAS SOUPS 12180 WITH SCORE 12233.121
AT ITER 1697 NEW BEST:: SOT 113762 SOS 52901 HAS SOPS 50669 HAS SOUS 12425 HAS SOUPS 11953 WITH SCORE 12005.901
AT ITER 1709 NEW BEST:: SOT 113777 SOS 52918 HAS SOPS 50681 HAS SOUS 12420 HAS SOUPS 11948 WITH SCORE 12000.918
AT ITER 1716 NEW BEST:: SOT 113646 SOS 52656 HAS SOPS 50419 HAS SOUS 12392 HAS SOUPS 11920 WITH SCORE 11972.656
AT ITER 1718 NEW BEST:: SOT 113613 SOS 52617 HAS SOPS 50380 HAS SOUS 12353 HAS SOUPS 11881 WITH SCORE 11933.617
AT ITER 1737 NEW BEST:: SOT 113660 SOS 52858 HAS SOPS 50621 HAS SOUS 12336 HAS SOUPS 11864 WITH SCORE 11916.858
AT ITER 1742 NEW BEST:: SOT 113660 SOS 52853 HAS SOPS 50606 HAS SOUS 12331 HAS SOUPS 11854 WITH SCORE 11906.853
AT ITER 1786 NEW BEST:: SOT 113656 SOS 52845 HAS SOPS 50598 HAS SOUS 12330 HAS SOUPS 11853 WITH SCORE 11905.845
AT ITER 1794 NEW BEST:: SOT 113572 SOS 52826 HAS SOPS 50522 HAS SOUS 12299 HAS SOUPS 11803 WITH SCORE 11855.826
AT ITER 1808 NEW BEST:: SOT 113523 SOS 52813 HAS SOPS 50509 HAS SOUS 12277 HAS SOUPS 11781 WITH SCORE 11833.813
AT ITER 1811 NEW BEST:: SOT 113515 SOS 52807 HAS SOPS 50493 HAS SOUS 12275 HAS SOUPS 11779 WITH SCORE 11831.807
AT ITER 1869 NEW BEST:: SOT 113561 SOS 52795 HAS SOPS 50481 HAS SOUS 12248 HAS SOUPS 11752 WITH SCORE 11804.795
AT ITER 1873 NEW BEST:: SOT 113577 SOS 52904 HAS SOPS 50590 HAS SOUS 12209 HAS SOUPS 11713 WITH SCORE 11765.904
AT ITER 1924 NEW BEST:: SOT 112882 SOS 52654 HAS SOPS 50340 HAS SOUS 12132 HAS SOUPS 11636 WITH SCORE 11688.654
AT ITER 1940 NEW BEST:: SOT 112869 SOS 52590 HAS SOPS 50263 HAS SOUS 12089 HAS SOUPS 11593 WITH SCORE 11645.59
AT ITER 1957 NEW BEST:: SOT 112858 SOS 52580 HAS SOPS 50253 HAS SOUS 12085 HAS SOUPS 11589 WITH SCORE 11641.58
AT ITER 1976 NEW BEST:: SOT 112828 SOS 52422 HAS SOPS 50095 HAS SOUS 11956 HAS SOUPS 11460 WITH SCORE 11512.422
AT ITER 1980 NEW BEST:: SOT 112824 SOS 52414 HAS SOPS 50087 HAS SOUS 11948 HAS SOUPS 11452 WITH SCORE 11504.414
AT ITER 1982 NEW BEST:: SOT 112784 SOS 52414 HAS SOPS 50087 HAS SOUS 11924 HAS SOUPS 11428 WITH SCORE 11480.414
AT ITER 1988 NEW BEST:: SOT 112755 SOS 52414 HAS SOPS 50087 HAS SOUS 11921 HAS SOUPS 11425 WITH SCORE 11477.414
AT ITER 1994 NEW BEST:: SOT 112751 SOS 52410 HAS SOPS 50083 HAS SOUS 11913 HAS SOUPS 11417 WITH SCORE 11469.41
AT ITER 2006 NEW BEST:: SOT 112709 SOS 52388 HAS SOPS 50071 HAS SOUS 11909 HAS SOUPS 11413 WITH SCORE 11465.388
AT ITER 2035 NEW BEST:: SOT 112811 SOS 52052 HAS SOPS 49735 HAS SOUS 11909 HAS SOUPS 11413 WITH SCORE 11465.052
AT ITER 2036 NEW BEST:: SOT 112701 SOS 51986 HAS SOPS 49669 HAS SOUS 11909 HAS SOUPS 11413 WITH SCORE 11464.986
AT ITER 2050 NEW BEST:: SOT 112840 SOS 52101 HAS SOPS 49788 HAS SOUS 11902 HAS SOUPS 11408 WITH SCORE 11460.101
AT ITER 2059 NEW BEST:: SOT 112847 SOS 52115 HAS SOPS 49802 HAS SOUS 11899 HAS SOUPS 11405 WITH SCORE 11457.115
AT ITER 2095 NEW BEST:: SOT 112739 SOS 51737 HAS SOPS 49424 HAS SOUS 11869 HAS SOUPS 11375 WITH SCORE 11426.737
AT ITER 2105 NEW BEST:: SOT 112707 SOS 51707 HAS SOPS 49394 HAS SOUS 11851 HAS SOUPS 11357 WITH SCORE 11408.707
AT ITER 2106 NEW BEST:: SOT 112713 SOS 51694 HAS SOPS 49381 HAS SOUS 11851 HAS SOUPS 11357 WITH SCORE 11408.694
AT ITER 2119 NEW BEST:: SOT 112670 SOS 51651 HAS SOPS 49338 HAS SOUS 11765 HAS SOUPS 11271 WITH SCORE 11322.651
AT ITER 2121 NEW BEST:: SOT 112545 SOS 51529 HAS SOPS 49216 HAS SOUS 11758 HAS SOUPS 11264 WITH SCORE 11315.529
AT ITER 2127 NEW BEST:: SOT 112565 SOS 51639 HAS SOPS 49221 HAS SOUS 11753 HAS SOUPS 11254 WITH SCORE 11305.639
AT ITER 2130 NEW BEST:: SOT 112542 SOS 51588 HAS SOPS 49170 HAS SOUS 11738 HAS SOUPS 11239 WITH SCORE 11290.588
AT ITER 2140 NEW BEST:: SOT 112344 SOS 51248 HAS SOPS 48826 HAS SOUS 11734 HAS SOUPS 11235 WITH SCORE 11286.248
AT ITER 2144 NEW BEST:: SOT 112344 SOS 51178 HAS SOPS 48755 HAS SOUS 11734 HAS SOUPS 11234 WITH SCORE 11285.178
AT ITER 2152 NEW BEST:: SOT 112340 SOS 51172 HAS SOPS 48747 HAS SOUS 11728 HAS SOUPS 11228 WITH SCORE 11279.172
AT ITER 2160 NEW BEST:: SOT 112337 SOS 51166 HAS SOPS 48741 HAS SOUS 11725 HAS SOUPS 11225 WITH SCORE 11276.166
AT ITER 2210 NEW BEST:: SOT 112326 SOS 51144 HAS SOPS 48719 HAS SOUS 11710 HAS SOUPS 11210 WITH SCORE 11261.144
AT ITER 2228 NEW BEST:: SOT 112326 SOS 51144 HAS SOPS 48719 HAS SOUS 11707 HAS SOUPS 11207 WITH SCORE 11258.144
AT ITER 2242 NEW BEST:: SOT 112324 SOS 51140 HAS SOPS 48715 HAS SOUS 11701 HAS SOUPS 11201 WITH SCORE 11252.14
AT ITER 2257 NEW BEST:: SOT 112309 SOS 51031 HAS SOPS 48598 HAS SOUS 11687 HAS SOUPS 11184 WITH SCORE 11235.031
AT ITER 2265 NEW BEST:: SOT 112244 SOS 50710 HAS SOPS 48277 HAS SOUS 11634 HAS SOUPS 11131 WITH SCORE 11181.71
AT ITER 2270 NEW BEST:: SOT 112192 SOS 50645 HAS SOPS 48212 HAS SOUS 11634 HAS SOUPS 11131 WITH SCORE 11181.645
AT ITER 2286 NEW BEST:: SOT 112194 SOS 50643 HAS SOPS 48210 HAS SOUS 11634 HAS SOUPS 11131 WITH SCORE 11181.643
AT ITER 2342 NEW BEST:: SOT 112190 SOS 50618 HAS SOPS 48186 HAS SOUS 11627 HAS SOUPS 11124 WITH SCORE 11174.618
AT ITER 2348 NEW BEST:: SOT 111737 SOS 50564 HAS SOPS 48132 HAS SOUS 11469 HAS SOUPS 10966 WITH SCORE 11016.564
AT ITER 2349 NEW BEST:: SOT 111717 SOS 50546 HAS SOPS 48114 HAS SOUS 11469 HAS SOUPS 10966 WITH SCORE 11016.546
AT ITER 2382 NEW BEST:: SOT 111410 SOS 50479 HAS SOPS 48047 HAS SOUS 11462 HAS SOUPS 10959 WITH SCORE 11009.479
AT ITER 2383 NEW BEST:: SOT 111375 SOS 50444 HAS SOPS 48012 HAS SOUS 11460 HAS SOUPS 10957 WITH SCORE 11007.444
AT ITER 2385 NEW BEST:: SOT 111291 SOS 50344 HAS SOPS 47905 HAS SOUS 11457 HAS SOUPS 10954 WITH SCORE 11004.344
AT ITER 2392 NEW BEST:: SOT 111207 SOS 50264 HAS SOPS 47825 HAS SOUS 11457 HAS SOUPS 10954 WITH SCORE 11004.264
AT ITER 2415 NEW BEST:: SOT 111185 SOS 50242 HAS SOPS 47803 HAS SOUS 11415 HAS SOUPS 10912 WITH SCORE 10962.242
AT ITER 2418 NEW BEST:: SOT 111155 SOS 50188 HAS SOPS 47749 HAS SOUS 11403 HAS SOUPS 10900 WITH SCORE 10950.188
AT ITER 2456 NEW BEST:: SOT 111147 SOS 50176 HAS SOPS 47737 HAS SOUS 11387 HAS SOUPS 10884 WITH SCORE 10934.176
AT ITER 2463 NEW BEST:: SOT 111118 SOS 50213 HAS SOPS 47774 HAS SOUS 11358 HAS SOUPS 10855 WITH SCORE 10905.213
AT ITER 2507 NEW BEST:: SOT 111132 SOS 50241 HAS SOPS 47802 HAS SOUS 11291 HAS SOUPS 10788 WITH SCORE 10838.241
AT ITER 2516 NEW BEST:: SOT 111156 SOS 49889 HAS SOPS 47450 HAS SOUS 11291 HAS SOUPS 10788 WITH SCORE 10837.889
AT ITER 2552 NEW BEST:: SOT 111155 SOS 49842 HAS SOPS 47403 HAS SOUS 11289 HAS SOUPS 10786 WITH SCORE 10835.842
AT ITER 2557 NEW BEST:: SOT 111169 SOS 49808 HAS SOPS 47369 HAS SOUS 11231 HAS SOUPS 10728 WITH SCORE 10777.808
AT ITER 2560 NEW BEST:: SOT 111154 SOS 49783 HAS SOPS 47344 HAS SOUS 11206 HAS SOUPS 10703 WITH SCORE 10752.783
AT ITER 2565 NEW BEST:: SOT 111124 SOS 49723 HAS SOPS 47284 HAS SOUS 11118 HAS SOUPS 10615 WITH SCORE 10664.723
AT ITER 2572 NEW BEST:: SOT 111183 SOS 49764 HAS SOPS 47307 HAS SOUS 11051 HAS SOUPS 10548 WITH SCORE 10597.764
AT ITER 2587 NEW BEST:: SOT 111113 SOS 49624 HAS SOPS 47167 HAS SOUS 10993 HAS SOUPS 10490 WITH SCORE 10539.624
AT ITER 2590 NEW BEST:: SOT 111068 SOS 49601 HAS SOPS 47144 HAS SOUS 10981 HAS SOUPS 10478 WITH SCORE 10527.601
AT ITER 2591 NEW BEST:: SOT 111068 SOS 49608 HAS SOPS 47151 HAS SOUS 10974 HAS SOUPS 10471 WITH SCORE 10520.608
AT ITER 2620 NEW BEST:: SOT 110959 SOS 49407 HAS SOPS 46950 HAS SOUS 10897 HAS SOUPS 10394 WITH SCORE 10443.407
AT ITER 2629 NEW BEST:: SOT 110835 SOS 49309 HAS SOPS 46852 HAS SOUS 10878 HAS SOUPS 10375 WITH SCORE 10424.309
AT ITER 2642 NEW BEST:: SOT 110679 SOS 49189 HAS SOPS 46732 HAS SOUS 10808 HAS SOUPS 10305 WITH SCORE 10354.189
AT ITER 2648 NEW BEST:: SOT 110649 SOS 49173 HAS SOPS 46716 HAS SOUS 10794 HAS SOUPS 10291 WITH SCORE 10340.173
AT ITER 2668 NEW BEST:: SOT 110727 SOS 49140 HAS SOPS 46683 HAS SOUS 10790 HAS SOUPS 10287 WITH SCORE 10336.14
AT ITER 2682 NEW BEST:: SOT 110892 SOS 49866 HAS SOPS 46716 HAS SOUS 10773 HAS SOUPS 10237 WITH SCORE 10286.866
AT ITER 2686 NEW BEST:: SOT 110908 SOS 49859 HAS SOPS 46709 HAS SOUS 10747 HAS SOUPS 10211 WITH SCORE 10260.859
AT ITER 2715 NEW BEST:: SOT 110908 SOS 49839 HAS SOPS 46693 HAS SOUS 10745 HAS SOUPS 10211 WITH SCORE 10260.839
AT ITER 2716 NEW BEST:: SOT 110902 SOS 49833 HAS SOPS 46682 HAS SOUS 10745 HAS SOUPS 10211 WITH SCORE 10260.833
AT ITER 2735 NEW BEST:: SOT 110929 SOS 49824 HAS SOPS 46673 HAS SOUS 10727 HAS SOUPS 10193 WITH SCORE 10242.824
AT ITER 2739 NEW BEST:: SOT 110882 SOS 49793 HAS SOPS 46642 HAS SOUS 10707 HAS SOUPS 10173 WITH SCORE 10222.793
AT ITER 2750 NEW BEST:: SOT 110842 SOS 49701 HAS SOPS 46574 HAS SOUS 10647 HAS SOUPS 10125 WITH SCORE 10174.701
AT ITER 2778 NEW BEST:: SOT 110818 SOS 49603 HAS SOPS 46476 HAS SOUS 10647 HAS SOUPS 10125 WITH SCORE 10174.603
AT ITER 2782 NEW BEST:: SOT 110853 SOS 49596 HAS SOPS 46469 HAS SOUS 10640 HAS SOUPS 10118 WITH SCORE 10167.596
AT ITER 2809 NEW BEST:: SOT 110837 SOS 49580 HAS SOPS 46453 HAS SOUS 10637 HAS SOUPS 10115 WITH SCORE 10164.58
AT ITER 2815 NEW BEST:: SOT 110835 SOS 49576 HAS SOPS 46441 HAS SOUS 10633 HAS SOUPS 10111 WITH SCORE 10160.576
AT ITER 2829 NEW BEST:: SOT 110967 SOS 49847 HAS SOPS 46712 HAS SOUS 10529 HAS SOUPS 10007 WITH SCORE 10056.847
AT ITER 2903 NEW BEST:: SOT 111016 SOS 49903 HAS SOPS 46734 HAS SOUS 10536 HAS SOUPS 9997 WITH SCORE 10046.903
AT ITER 2953 NEW BEST:: SOT 111015 SOS 49901 HAS SOPS 46732 HAS SOUS 10504 HAS SOUPS 9965 WITH SCORE 10014.901
AT ITER 2956 NEW BEST:: SOT 110819 SOS 49719 HAS SOPS 46550 HAS SOUS 10412 HAS SOUPS 9873 WITH SCORE 9922.719
AT ITER 2968 NEW BEST:: SOT 110794 SOS 49597 HAS SOPS 46428 HAS SOUS 10403 HAS SOUPS 9864 WITH SCORE 9913.597
AT ITER 2969 NEW BEST:: SOT 110764 SOS 49492 HAS SOPS 46323 HAS SOUS 10385 HAS SOUPS 9846 WITH SCORE 9895.492
AT ITER 2970 NEW BEST:: SOT 110727 SOS 49241 HAS SOPS 46096 HAS SOUS 10371 HAS SOUPS 9844 WITH SCORE 9893.241
AT ITER 3038 NEW BEST:: SOT 110728 SOS 49237 HAS SOPS 46092 HAS SOUS 10366 HAS SOUPS 9839 WITH SCORE 9888.237
AT ITER 3054 NEW BEST:: SOT 110742 SOS 49026 HAS SOPS 45881 HAS SOUS 10354 HAS SOUPS 9827 WITH SCORE 9876.026
AT ITER 3059 NEW BEST:: SOT 110736 SOS 49012 HAS SOPS 45867 HAS SOUS 10353 HAS SOUPS 9826 WITH SCORE 9875.012
AT ITER 3064 NEW BEST:: SOT 110760 SOS 49012 HAS SOPS 45867 HAS SOUS 10345 HAS SOUPS 9818 WITH SCORE 9867.012
AT ITER 3082 NEW BEST:: SOT 110690 SOS 48758 HAS SOPS 45613 HAS SOUS 10331 HAS SOUPS 9804 WITH SCORE 9852.758
AT ITER 3146 NEW BEST:: SOT 110688 SOS 48756 HAS SOPS 45611 HAS SOUS 10331 HAS SOUPS 9804 WITH SCORE 9852.756
AT ITER 3166 NEW BEST:: SOT 110659 SOS 48727 HAS SOPS 45582 HAS SOUS 10255 HAS SOUPS 9728 WITH SCORE 9776.727
AT ITER 3174 NEW BEST:: SOT 110657 SOS 48723 HAS SOPS 45578 HAS SOUS 10252 HAS SOUPS 9725 WITH SCORE 9773.723
AT ITER 3176 NEW BEST:: SOT 110675 SOS 48774 HAS SOPS 45617 HAS SOUS 10240 HAS SOUPS 9707 WITH SCORE 9755.774
AT ITER 3185 NEW BEST:: SOT 110477 SOS 48337 HAS SOPS 45180 HAS SOUS 10198 HAS SOUPS 9665 WITH SCORE 9713.337
AT ITER 3189 NEW BEST:: SOT 110406 SOS 48314 HAS SOPS 45157 HAS SOUS 10197 HAS SOUPS 9664 WITH SCORE 9712.314
AT ITER 3204 NEW BEST:: SOT 110350 SOS 48176 HAS SOPS 45007 HAS SOUS 10193 HAS SOUPS 9654 WITH SCORE 9702.176
AT ITER 3209 NEW BEST:: SOT 110341 SOS 48149 HAS SOPS 44980 HAS SOUS 10190 HAS SOUPS 9651 WITH SCORE 9699.149
AT ITER 3217 NEW BEST:: SOT 110328 SOS 48129 HAS SOPS 44960 HAS SOUS 10149 HAS SOUPS 9610 WITH SCORE 9658.129
AT ITER 3230 NEW BEST:: SOT 110161 SOS 47984 HAS SOPS 44815 HAS SOUS 10148 HAS SOUPS 9609 WITH SCORE 9656.984
AT ITER 3236 NEW BEST:: SOT 110247 SOS 47661 HAS SOPS 44504 HAS SOUS 10114 HAS SOUPS 9575 WITH SCORE 9622.661
AT ITER 3257 NEW BEST:: SOT 110254 SOS 47668 HAS SOPS 44511 HAS SOUS 10111 HAS SOUPS 9572 WITH SCORE 9619.668
AT ITER 3271 NEW BEST:: SOT 110257 SOS 47685 HAS SOPS 44517 HAS SOUS 10103 HAS SOUPS 9564 WITH SCORE 9611.685
AT ITER 3280 NEW BEST:: SOT 110335 SOS 47686 HAS SOPS 44518 HAS SOUS 10101 HAS SOUPS 9562 WITH SCORE 9609.686
AT ITER 3321 NEW BEST:: SOT 110334 SOS 47684 HAS SOPS 44516 HAS SOUS 10094 HAS SOUPS 9555 WITH SCORE 9602.684
AT ITER 3324 NEW BEST:: SOT 110275 SOS 47614 HAS SOPS 44446 HAS SOUS 10092 HAS SOUPS 9553 WITH SCORE 9600.614
AT ITER 3338 NEW BEST:: SOT 110242 SOS 47581 HAS SOPS 44413 HAS SOUS 10082 HAS SOUPS 9543 WITH SCORE 9590.581
AT ITER 3349 NEW BEST:: SOT 110242 SOS 47546 HAS SOPS 44378 HAS SOUS 10057 HAS SOUPS 9518 WITH SCORE 9565.546
AT ITER 3359 NEW BEST:: SOT 110221 SOS 47504 HAS SOPS 44336 HAS SOUS 10036 HAS SOUPS 9497 WITH SCORE 9544.504
AT ITER 3364 NEW BEST:: SOT 110235 SOS 47532 HAS SOPS 44364 HAS SOUS 10005 HAS SOUPS 9466 WITH SCORE 9513.532
AT ITER 3422 NEW BEST:: SOT 110246 SOS 47521 HAS SOPS 44353 HAS SOUS 9994 HAS SOUPS 9455 WITH SCORE 9502.521
AT ITER 3430 NEW BEST:: SOT 110279 SOS 47502 HAS SOPS 44334 HAS SOUS 9933 HAS SOUPS 9394 WITH SCORE 9441.502
AT ITER 3431 NEW BEST:: SOT 110278 SOS 47498 HAS SOPS 44330 HAS SOUS 9930 HAS SOUPS 9391 WITH SCORE 9438.498
AT ITER 3443 NEW BEST:: SOT 110314 SOS 47523 HAS SOPS 44354 HAS SOUS 9921 HAS SOUPS 9382 WITH SCORE 9429.523
AT ITER 3485 NEW BEST:: SOT 110230 SOS 47439 HAS SOPS 44270 HAS SOUS 9917 HAS SOUPS 9378 WITH SCORE 9425.439
AT ITER 3511 NEW BEST:: SOT 110135 SOS 47249 HAS SOPS 44080 HAS SOUS 9909 HAS SOUPS 9370 WITH SCORE 9417.249
AT ITER 3513 NEW BEST:: SOT 110125 SOS 47225 HAS SOPS 44060 HAS SOUS 9907 HAS SOUPS 9370 WITH SCORE 9417.225
AT ITER 3537 NEW BEST:: SOT 110079 SOS 47116 HAS SOPS 43965 HAS SOUS 9893 HAS SOUPS 9363 WITH SCORE 9410.116
AT ITER 3601 NEW BEST:: SOT 109975 SOS 47040 HAS SOPS 43889 HAS SOUS 9789 HAS SOUPS 9259 WITH SCORE 9306.04
AT ITER 3603 NEW BEST:: SOT 109909 SOS 47256 HAS SOPS 44096 HAS SOUS 9761 HAS SOUPS 9231 WITH SCORE 9278.256
AT ITER 3694 NEW BEST:: SOT 109894 SOS 47247 HAS SOPS 44087 HAS SOUS 9752 HAS SOUPS 9222 WITH SCORE 9269.247
AT ITER 3702 NEW BEST:: SOT 109904 SOS 47232 HAS SOPS 44067 HAS SOUS 9722 HAS SOUPS 9192 WITH SCORE 9239.232
AT ITER 3708 NEW BEST:: SOT 109852 SOS 47180 HAS SOPS 44015 HAS SOUS 9683 HAS SOUPS 9153 WITH SCORE 9200.18
AT ITER 3722 NEW BEST:: SOT 109873 SOS 47187 HAS SOPS 44022 HAS SOUS 9669 HAS SOUPS 9139 WITH SCORE 9186.187
AT ITER 3726 NEW BEST:: SOT 109892 SOS 47268 HAS SOPS 44100 HAS SOUS 9669 HAS SOUPS 9138 WITH SCORE 9185.268
AT ITER 3761 NEW BEST:: SOT 109890 SOS 47264 HAS SOPS 44098 HAS SOUS 9667 HAS SOUPS 9137 WITH SCORE 9184.264
AT ITER 3765 NEW BEST:: SOT 109884 SOS 47254 HAS SOPS 44088 HAS SOUS 9664 HAS SOUPS 9134 WITH SCORE 9181.254
AT ITER 3772 NEW BEST:: SOT 109879 SOS 47249 HAS SOPS 44078 HAS SOUS 9659 HAS SOUPS 9124 WITH SCORE 9171.249
AT ITER 3775 NEW BEST:: SOT 109882 SOS 47246 HAS SOPS 44072 HAS SOUS 9653 HAS SOUPS 9118 WITH SCORE 9165.246
AT ITER 3805 NEW BEST:: SOT 109882 SOS 47246 HAS SOPS 44072 HAS SOUS 9647 HAS SOUPS 9112 WITH SCORE 9159.246
AT ITER 3832 NEW BEST:: SOT 109867 SOS 47237 HAS SOPS 44063 HAS SOUS 9641 HAS SOUPS 9106 WITH SCORE 9153.237
AT ITER 3853 NEW BEST:: SOT 109859 SOS 47229 HAS SOPS 44055 HAS SOUS 9637 HAS SOUPS 9102 WITH SCORE 9149.229
AT ITER 3868 NEW BEST:: SOT 109844 SOS 47224 HAS SOPS 44050 HAS SOUS 9632 HAS SOUPS 9097 WITH SCORE 9144.224
AT ITER 3969 NEW BEST:: SOT 109826 SOS 47206 HAS SOPS 44032 HAS SOUS 9593 HAS SOUPS 9058 WITH SCORE 9105.206
AT ITER 3979 NEW BEST:: SOT 109828 SOS 47196 HAS SOPS 44016 HAS SOUS 9572 HAS SOUPS 9037 WITH SCORE 9084.196
AT ITER 3982 NEW BEST:: SOT 109825 SOS 47166 HAS SOPS 43986 HAS SOUS 9569 HAS SOUPS 9034 WITH SCORE 9081.166
AT ITER 3983 NEW BEST:: SOT 109823 SOS 47164 HAS SOPS 43984 HAS SOUS 9563 HAS SOUPS 9028 WITH SCORE 9075.164
AT ITER 3999 NEW BEST:: SOT 109837 SOS 47192 HAS SOPS 44012 HAS SOUS 9557 HAS SOUPS 9022 WITH SCORE 9069.192
AT ITER 4002 NEW BEST:: SOT 109843 SOS 47196 HAS SOPS 44016 HAS SOUS 9555 HAS SOUPS 9020 WITH SCORE 9067.196
AT ITER 4043 NEW BEST:: SOT 109946 SOS 46940 HAS SOPS 43760 HAS SOUS 9546 HAS SOUPS 9011 WITH SCORE 9057.94
AT ITER 4064 NEW BEST:: SOT 109827 SOS 46843 HAS SOPS 43663 HAS SOUS 9542 HAS SOUPS 9007 WITH SCORE 9053.843
AT ITER 4106 NEW BEST:: SOT 109823 SOS 46827 HAS SOPS 43647 HAS SOUS 9530 HAS SOUPS 8995 WITH SCORE 9041.827
AT ITER 4144 NEW BEST:: SOT 109819 SOS 46820 HAS SOPS 43640 HAS SOUS 9523 HAS SOUPS 8988 WITH SCORE 9034.82
AT ITER 4146 NEW BEST:: SOT 109796 SOS 46814 HAS SOPS 43634 HAS SOUS 9519 HAS SOUPS 8984 WITH SCORE 9030.814
AT ITER 4168 NEW BEST:: SOT 109725 SOS 46882 HAS SOPS 43702 HAS SOUS 9503 HAS SOUPS 8968 WITH SCORE 9014.882
AT ITER 4178 NEW BEST:: SOT 109728 SOS 46888 HAS SOPS 43708 HAS SOUS 9467 HAS SOUPS 8932 WITH SCORE 8978.888
AT ITER 4182 NEW BEST:: SOT 109669 SOS 46895 HAS SOPS 43715 HAS SOUS 9463 HAS SOUPS 8928 WITH SCORE 8974.895
AT ITER 4209 NEW BEST:: SOT 109600 SOS 46754 HAS SOPS 43590 HAS SOUS 9442 HAS SOUPS 8915 WITH SCORE 8961.754
AT ITER 4222 NEW BEST:: SOT 109561 SOS 46741 HAS SOPS 43577 HAS SOUS 9441 HAS SOUPS 8914 WITH SCORE 8960.741
AT ITER 4241 NEW BEST:: SOT 109468 SOS 46586 HAS SOPS 43422 HAS SOUS 9379 HAS SOUPS 8852 WITH SCORE 8898.586
AT ITER 4243 NEW BEST:: SOT 109461 SOS 46580 HAS SOPS 43416 HAS SOUS 9371 HAS SOUPS 8844 WITH SCORE 8890.58
AT ITER 4257 NEW BEST:: SOT 109571 SOS 46632 HAS SOPS 43468 HAS SOUS 9352 HAS SOUPS 8825 WITH SCORE 8871.632
AT ITER 4263 NEW BEST:: SOT 109568 SOS 46626 HAS SOPS 43462 HAS SOUS 9349 HAS SOUPS 8822 WITH SCORE 8868.626
AT ITER 4375 NEW BEST:: SOT 109564 SOS 46620 HAS SOPS 43456 HAS SOUS 9337 HAS SOUPS 8810 WITH SCORE 8856.62
AT ITER 4407 NEW BEST:: SOT 109558 SOS 46610 HAS SOPS 43446 HAS SOUS 9335 HAS SOUPS 8808 WITH SCORE 8854.61
AT ITER 4414 NEW BEST:: SOT 109529 SOS 46582 HAS SOPS 43423 HAS SOUS 9301 HAS SOUPS 8778 WITH SCORE 8824.582
AT ITER 4425 NEW BEST:: SOT 109580 SOS 46605 HAS SOPS 43446 HAS SOUS 9296 HAS SOUPS 8773 WITH SCORE 8819.605
AT ITER 4451 NEW BEST:: SOT 109576 SOS 46599 HAS SOPS 43440 HAS SOUS 9287 HAS SOUPS 8764 WITH SCORE 8810.599
AT ITER 4461 NEW BEST:: SOT 109584 SOS 46595 HAS SOPS 43436 HAS SOUS 9275 HAS SOUPS 8752 WITH SCORE 8798.595
AT ITER 4478 NEW BEST:: SOT 109585 SOS 46541 HAS SOPS 43382 HAS SOUS 9252 HAS SOUPS 8729 WITH SCORE 8775.541
AT ITER 4499 NEW BEST:: SOT 109547 SOS 46503 HAS SOPS 43344 HAS SOUS 9170 HAS SOUPS 8647 WITH SCORE 8693.503
AT ITER 4505 NEW BEST:: SOT 109530 SOS 46469 HAS SOPS 43310 HAS SOUS 9153 HAS SOUPS 8630 WITH SCORE 8676.469
AT ITER 4534 NEW BEST:: SOT 109587 SOS 46476 HAS SOPS 43303 HAS SOUS 9124 HAS SOUPS 8601 WITH SCORE 8647.476
AT ITER 4560 NEW BEST:: SOT 109503 SOS 46421 HAS SOPS 43261 HAS SOUS 9124 HAS SOUPS 8601 WITH SCORE 8647.421
AT ITER 4563 NEW BEST:: SOT 109521 SOS 47141 HAS SOPS 43988 HAS SOUS 9120 HAS SOUPS 8597 WITH SCORE 8644.141
AT ITER 4633 NEW BEST:: SOT 109549 SOS 47132 HAS SOPS 43979 HAS SOUS 9090 HAS SOUPS 8567 WITH SCORE 8614.132
AT ITER 4647 NEW BEST:: SOT 109549 SOS 47036 HAS SOPS 43907 HAS SOUS 9078 HAS SOUPS 8567 WITH SCORE 8614.036
AT ITER 4662 NEW BEST:: SOT 109541 SOS 47026 HAS SOPS 43898 HAS SOUS 9072 HAS SOUPS 8561 WITH SCORE 8608.026
AT ITER 4680 NEW BEST:: SOT 109533 SOS 47018 HAS SOPS 43893 HAS SOUS 9065 HAS SOUPS 8554 WITH SCORE 8601.018
AT ITER 4687 NEW BEST:: SOT 109509 SOS 47202 HAS SOPS 43885 HAS SOUS 9079 HAS SOUPS 8536 WITH SCORE 8583.202
AT ITER 4697 NEW BEST:: SOT 109441 SOS 47145 HAS SOPS 43824 HAS SOUS 9079 HAS SOUPS 8534 WITH SCORE 8581.145
AT ITER 4707 NEW BEST:: SOT 109419 SOS 47063 HAS SOPS 43738 HAS SOUS 9054 HAS SOUPS 8507 WITH SCORE 8554.063
AT ITER 4712 NEW BEST:: SOT 109413 SOS 47049 HAS SOPS 43724 HAS SOUS 9046 HAS SOUPS 8499 WITH SCORE 8546.049
AT ITER 4722 NEW BEST:: SOT 109441 SOS 47077 HAS SOPS 43752 HAS SOUS 9018 HAS SOUPS 8471 WITH SCORE 8518.077
AT ITER 4739 NEW BEST:: SOT 109447 SOS 47079 HAS SOPS 43754 HAS SOUS 9008 HAS SOUPS 8461 WITH SCORE 8508.079
AT ITER 4747 NEW BEST:: SOT 109473 SOS 47105 HAS SOPS 43780 HAS SOUS 8982 HAS SOUPS 8435 WITH SCORE 8482.105
AT ITER 4777 NEW BEST:: SOT 109537 SOS 47169 HAS SOPS 43833 HAS SOUS 8973 HAS SOUPS 8426 WITH SCORE 8473.169
AT ITER 4799 NEW BEST:: SOT 109413 SOS 47074 HAS SOPS 43738 HAS SOUS 8944 HAS SOUPS 8397 WITH SCORE 8444.074
AT ITER 4847 NEW BEST:: SOT 109440 SOS 47045 HAS SOPS 43709 HAS SOUS 8939 HAS SOUPS 8392 WITH SCORE 8439.045
AT ITER 4852 NEW BEST:: SOT 109440 SOS 47041 HAS SOPS 43705 HAS SOUS 8938 HAS SOUPS 8391 WITH SCORE 8438.041
AT ITER 4863 NEW BEST:: SOT 109400 SOS 47041 HAS SOPS 43705 HAS SOUS 8925 HAS SOUPS 8378 WITH SCORE 8425.041
AT ITER 4911 NEW BEST:: SOT 109384 SOS 46981 HAS SOPS 43645 HAS SOUS 8921 HAS SOUPS 8374 WITH SCORE 8420.981
AT ITER 4933 NEW BEST:: SOT 109394 SOS 47009 HAS SOPS 43673 HAS SOUS 8915 HAS SOUPS 8368 WITH SCORE 8415.009
AT ITER 5004 NEW BEST:: SOT 109385 SOS 47001 HAS SOPS 43665 HAS SOUS 8914 HAS SOUPS 8367 WITH SCORE 8414.001
AT ITER 5022 NEW BEST:: SOT 109280 SOS 46938 HAS SOPS 43602 HAS SOUS 8872 HAS SOUPS 8325 WITH SCORE 8371.938
AT ITER 5031 NEW BEST:: SOT 109266 SOS 46910 HAS SOPS 43574 HAS SOUS 8855 HAS SOUPS 8308 WITH SCORE 8354.91
AT ITER 5038 NEW BEST:: SOT 109269 SOS 46931 HAS SOPS 43595 HAS SOUS 8852 HAS SOUPS 8305 WITH SCORE 8351.931
AT ITER 5046 NEW BEST:: SOT 109287 SOS 46989 HAS SOPS 43641 HAS SOUS 8846 HAS SOUPS 8293 WITH SCORE 8339.989
AT ITER 5090 NEW BEST:: SOT 109279 SOS 46985 HAS SOPS 43637 HAS SOUS 8846 HAS SOUPS 8293 WITH SCORE 8339.985
AT ITER 5113 NEW BEST:: SOT 109249 SOS 46933 HAS SOPS 43585 HAS SOUS 8830 HAS SOUPS 8277 WITH SCORE 8323.933
AT ITER 5156 NEW BEST:: SOT 109210 SOS 46879 HAS SOPS 43536 HAS SOUS 8781 HAS SOUPS 8230 WITH SCORE 8276.879
AT ITER 5157 NEW BEST:: SOT 109216 SOS 46893 HAS SOPS 43550 HAS SOUS 8775 HAS SOUPS 8224 WITH SCORE 8270.893
AT ITER 5189 NEW BEST:: SOT 109224 SOS 46857 HAS SOPS 43514 HAS SOUS 8768 HAS SOUPS 8217 WITH SCORE 8263.857
AT ITER 5205 NEW BEST:: SOT 109221 SOS 46848 HAS SOPS 43505 HAS SOUS 8759 HAS SOUPS 8208 WITH SCORE 8254.848
AT ITER 5274 NEW BEST:: SOT 109233 SOS 46752 HAS SOPS 43409 HAS SOUS 8709 HAS SOUPS 8158 WITH SCORE 8204.752
AT ITER 5280 NEW BEST:: SOT 109220 SOS 46715 HAS SOPS 43368 HAS SOUS 8702 HAS SOUPS 8151 WITH SCORE 8197.715
AT ITER 5293 NEW BEST:: SOT 109229 SOS 46724 HAS SOPS 43375 HAS SOUS 8700 HAS SOUPS 8149 WITH SCORE 8195.724
AT ITER 5320 NEW BEST:: SOT 109199 SOS 46694 HAS SOPS 43345 HAS SOUS 8698 HAS SOUPS 8147 WITH SCORE 8193.694
AT ITER 5342 NEW BEST:: SOT 109226 SOS 46742 HAS SOPS 43388 HAS SOUS 8697 HAS SOUPS 8146 WITH SCORE 8192.742
AT ITER 5390 NEW BEST:: SOT 109229 SOS 46753 HAS SOPS 43399 HAS SOUS 8696 HAS SOUPS 8145 WITH SCORE 8191.753
AT ITER 5393 NEW BEST:: SOT 109235 SOS 46759 HAS SOPS 43405 HAS SOUS 8693 HAS SOUPS 8142 WITH SCORE 8188.759
AT ITER 5397 NEW BEST:: SOT 109222 SOS 46754 HAS SOPS 43400 HAS SOUS 8692 HAS SOUPS 8141 WITH SCORE 8187.754
AT ITER 5459 NEW BEST:: SOT 109095 SOS 46655 HAS SOPS 43301 HAS SOUS 8620 HAS SOUPS 8069 WITH SCORE 8115.655
AT ITER 5503 NEW BEST:: SOT 109219 SOS 46725 HAS SOPS 43360 HAS SOUS 8601 HAS SOUPS 8050 WITH SCORE 8096.725
AT ITER 5509 NEW BEST:: SOT 109196 SOS 46709 HAS SOPS 43344 HAS SOUS 8589 HAS SOUPS 8038 WITH SCORE 8084.709
AT ITER 5530 NEW BEST:: SOT 109174 SOS 46573 HAS SOPS 43234 HAS SOUS 8567 HAS SOUPS 8029 WITH SCORE 8075.573
AT ITER 5535 NEW BEST:: SOT 109166 SOS 46557 HAS SOPS 43218 HAS SOUS 8565 HAS SOUPS 8027 WITH SCORE 8073.557
AT ITER 5552 NEW BEST:: SOT 109180 SOS 46571 HAS SOPS 43232 HAS SOUS 8564 HAS SOUPS 8026 WITH SCORE 8072.571
AT ITER 5570 NEW BEST:: SOT 109179 SOS 46569 HAS SOPS 43230 HAS SOUS 8562 HAS SOUPS 8024 WITH SCORE 8070.569
AT ITER 5600 NEW BEST:: SOT 109182 SOS 46570 HAS SOPS 43231 HAS SOUS 8560 HAS SOUPS 8022 WITH SCORE 8068.57
AT ITER 5609 NEW BEST:: SOT 109187 SOS 46575 HAS SOPS 43236 HAS SOUS 8533 HAS SOUPS 7995 WITH SCORE 8041.575
AT ITER 5622 NEW BEST:: SOT 109222 SOS 46325 HAS SOPS 42986 HAS SOUS 8512 HAS SOUPS 7974 WITH SCORE 8020.325
AT ITER 5625 NEW BEST:: SOT 109198 SOS 46062 HAS SOPS 42757 HAS SOUS 8467 HAS SOUPS 7946 WITH SCORE 7992.062
AT ITER 5650 NEW BEST:: SOT 109195 SOS 46068 HAS SOPS 42763 HAS SOUS 8465 HAS SOUPS 7944 WITH SCORE 7990.068
AT ITER 5681 NEW BEST:: SOT 109191 SOS 46064 HAS SOPS 42759 HAS SOUS 8464 HAS SOUPS 7943 WITH SCORE 7989.064
AT ITER 5699 NEW BEST:: SOT 109189 SOS 46060 HAS SOPS 42755 HAS SOUS 8459 HAS SOUPS 7938 WITH SCORE 7984.06
AT ITER 5706 NEW BEST:: SOT 109129 SOS 45685 HAS SOPS 42695 HAS SOUS 8429 HAS SOUPS 7923 WITH SCORE 7968.685
AT ITER 5713 NEW BEST:: SOT 109066 SOS 45662 HAS SOPS 42672 HAS SOUS 8428 HAS SOUPS 7922 WITH SCORE 7967.662
AT ITER 5947 NEW BEST:: SOT 109043 SOS 45632 HAS SOPS 42642 HAS SOUS 8427 HAS SOUPS 7921 WITH SCORE 7966.632
AT ITER 5965 NEW BEST:: SOT 109093 SOS 45658 HAS SOPS 42668 HAS SOUS 8426 HAS SOUPS 7920 WITH SCORE 7965.658
AT ITER 5973 NEW BEST:: SOT 109090 SOS 45660 HAS SOPS 42667 HAS SOUS 8417 HAS SOUPS 7911 WITH SCORE 7956.66
AT ITER 5996 NEW BEST:: SOT 109086 SOS 45640 HAS SOPS 42647 HAS SOUS 8417 HAS SOUPS 7911 WITH SCORE 7956.64
AT ITER 6008 NEW BEST:: SOT 109085 SOS 45638 HAS SOPS 42645 HAS SOUS 8415 HAS SOUPS 7909 WITH SCORE 7954.638
AT ITER 6020 NEW BEST:: SOT 109115 SOS 45626 HAS SOPS 42633 HAS SOUS 8409 HAS SOUPS 7903 WITH SCORE 7948.626
AT ITER 6057 NEW BEST:: SOT 109110 SOS 45626 HAS SOPS 42633 HAS SOUS 8406 HAS SOUPS 7900 WITH SCORE 7945.626
AT ITER 6077 NEW BEST:: SOT 109114 SOS 45606 HAS SOPS 42613 HAS SOUS 8406 HAS SOUPS 7900 WITH SCORE 7945.606
AT ITER 6089 NEW BEST:: SOT 109083 SOS 45575 HAS SOPS 42582 HAS SOUS 8387 HAS SOUPS 7881 WITH SCORE 7926.575
AT ITER 6130 NEW BEST:: SOT 109073 SOS 45569 HAS SOPS 42576 HAS SOUS 8381 HAS SOUPS 7875 WITH SCORE 7920.569
AT ITER 6146 NEW BEST:: SOT 109071 SOS 45561 HAS SOPS 42568 HAS SOUS 8381 HAS SOUPS 7875 WITH SCORE 7920.561
AT ITER 6150 NEW BEST:: SOT 109047 SOS 45385 HAS SOPS 42392 HAS SOUS 8381 HAS SOUPS 7875 WITH SCORE 7920.385
AT ITER 6157 NEW BEST:: SOT 109046 SOS 45383 HAS SOPS 42390 HAS SOUS 8379 HAS SOUPS 7873 WITH SCORE 7918.383
AT ITER 6167 NEW BEST:: SOT 109044 SOS 45371 HAS SOPS 42378 HAS SOUS 8379 HAS SOUPS 7873 WITH SCORE 7918.371
AT ITER 6204 NEW BEST:: SOT 109000 SOS 45347 HAS SOPS 42342 HAS SOUS 8363 HAS SOUPS 7851 WITH SCORE 7896.347
AT ITER 6274 NEW BEST:: SOT 108997 SOS 45356 HAS SOPS 42351 HAS SOUS 8360 HAS SOUPS 7848 WITH SCORE 7893.356
AT ITER 6276 NEW BEST:: SOT 108969 SOS 45272 HAS SOPS 42309 HAS SOUS 8339 HAS SOUPS 7834 WITH SCORE 7879.272
AT ITER 6295 NEW BEST:: SOT 108656 SOS 45098 HAS SOPS 42166 HAS SOUS 8339 HAS SOUPS 7834 WITH SCORE 7879.098
AT ITER 6298 NEW BEST:: SOT 108573 SOS 44840 HAS SOPS 41919 HAS SOUS 8327 HAS SOUPS 7822 WITH SCORE 7866.84
AT ITER 6358 NEW BEST:: SOT 108571 SOS 44836 HAS SOPS 41915 HAS SOUS 8324 HAS SOUPS 7819 WITH SCORE 7863.836
AT ITER 6382 NEW BEST:: SOT 108544 SOS 44800 HAS SOPS 41879 HAS SOUS 8308 HAS SOUPS 7803 WITH SCORE 7847.8
AT ITER 6445 NEW BEST:: SOT 108519 SOS 44772 HAS SOPS 41851 HAS SOUS 8299 HAS SOUPS 7794 WITH SCORE 7838.772
AT ITER 6515 NEW BEST:: SOT 108471 SOS 44692 HAS SOPS 41819 HAS SOUS 8283 HAS SOUPS 7786 WITH SCORE 7830.692
AT ITER 6580 NEW BEST:: SOT 108429 SOS 44670 HAS SOPS 41797 HAS SOUS 8283 HAS SOUPS 7786 WITH SCORE 7830.67
AT ITER 6633 NEW BEST:: SOT 108451 SOS 44722 HAS SOPS 41849 HAS SOUS 8267 HAS SOUPS 7770 WITH SCORE 7814.722
AT ITER 6679 NEW BEST:: SOT 108436 SOS 44703 HAS SOPS 41822 HAS SOUS 8258 HAS SOUPS 7757 WITH SCORE 7801.703
AT ITER 6725 NEW BEST:: SOT 108434 SOS 44696 HAS SOPS 41815 HAS SOUS 8256 HAS SOUPS 7755 WITH SCORE 7799.696
AT ITER 6810 NEW BEST:: SOT 108533 SOS 44582 HAS SOPS 41701 HAS SOUS 8213 HAS SOUPS 7712 WITH SCORE 7756.582
AT ITER 6811 NEW BEST:: SOT 108387 SOS 44514 HAS SOPS 41633 HAS SOUS 8211 HAS SOUPS 7710 WITH SCORE 7754.514
AT ITER 6887 NEW BEST:: SOT 108389 SOS 44517 HAS SOPS 41640 HAS SOUS 8196 HAS SOUPS 7695 WITH SCORE 7739.517
AT ITER 6909 NEW BEST:: SOT 108395 SOS 44528 HAS SOPS 41651 HAS SOUS 8194 HAS SOUPS 7693 WITH SCORE 7737.528
AT ITER 6955 NEW BEST:: SOT 108466 SOS 44244 HAS SOPS 41367 HAS SOUS 8194 HAS SOUPS 7693 WITH SCORE 7737.244
AT ITER 6981 NEW BEST:: SOT 108466 SOS 44239 HAS SOPS 41362 HAS SOUS 8194 HAS SOUPS 7693 WITH SCORE 7737.239
AT ITER 7012 NEW BEST:: SOT 108471 SOS 44230 HAS SOPS 41357 HAS SOUS 8192 HAS SOUPS 7693 WITH SCORE 7737.23
AT ITER 7073 NEW BEST:: SOT 108484 SOS 44282 HAS SOPS 41409 HAS SOUS 8179 HAS SOUPS 7680 WITH SCORE 7724.282
AT ITER 7190 NEW BEST:: SOT 108476 SOS 44274 HAS SOPS 41401 HAS SOUS 8171 HAS SOUPS 7672 WITH SCORE 7716.274
AT ITER 7203 NEW BEST:: SOT 108436 SOS 44218 HAS SOPS 41345 HAS SOUS 8160 HAS SOUPS 7661 WITH SCORE 7705.218
AT ITER 7256 NEW BEST:: SOT 108460 SOS 44206 HAS SOPS 41333 HAS SOUS 8128 HAS SOUPS 7629 WITH SCORE 7673.206
AT ITER 7261 NEW BEST:: SOT 108440 SOS 44236 HAS SOPS 41335 HAS SOUS 8120 HAS SOUPS 7607 WITH SCORE 7651.236
AT ITER 7276 NEW BEST:: SOT 108425 SOS 44250 HAS SOPS 41349 HAS SOUS 8087 HAS SOUPS 7574 WITH SCORE 7618.25
AT ITER 7316 NEW BEST:: SOT 108400 SOS 44235 HAS SOPS 41334 HAS SOUS 8082 HAS SOUPS 7569 WITH SCORE 7613.235
AT ITER 7336 NEW BEST:: SOT 108644 SOS 44310 HAS SOPS 41409 HAS SOUS 8074 HAS SOUPS 7561 WITH SCORE 7605.31
AT ITER 7341 NEW BEST:: SOT 108639 SOS 44300 HAS SOPS 41399 HAS SOUS 8069 HAS SOUPS 7556 WITH SCORE 7600.3
AT ITER 7344 NEW BEST:: SOT 108633 SOS 44300 HAS SOPS 41399 HAS SOUS 8066 HAS SOUPS 7553 WITH SCORE 7597.3
AT ITER 7468 NEW BEST:: SOT 108617 SOS 44250 HAS SOPS 41349 HAS SOUS 8062 HAS SOUPS 7549 WITH SCORE 7593.25
AT ITER 7473 NEW BEST:: SOT 108617 SOS 44053 HAS SOPS 41151 HAS SOUS 8061 HAS SOUPS 7548 WITH SCORE 7592.053
AT ITER 7521 NEW BEST:: SOT 108594 SOS 44018 HAS SOPS 41116 HAS SOUS 8044 HAS SOUPS 7531 WITH SCORE 7575.018
AT ITER 7670 NEW BEST:: SOT 108596 SOS 44019 HAS SOPS 41117 HAS SOUS 8043 HAS SOUPS 7530 WITH SCORE 7574.019
AT ITER 7699 NEW BEST:: SOT 108536 SOS 43983 HAS SOPS 41081 HAS SOUS 8031 HAS SOUPS 7518 WITH SCORE 7561.983
AT ITER 7740 NEW BEST:: SOT 108517 SOS 43957 HAS SOPS 41055 HAS SOUS 7979 HAS SOUPS 7466 WITH SCORE 7509.957
AT ITER 7815 NEW BEST:: SOT 108547 SOS 44026 HAS SOPS 41124 HAS SOUS 7978 HAS SOUPS 7465 WITH SCORE 7509.026
AT ITER 7851 NEW BEST:: SOT 108557 SOS 44036 HAS SOPS 41134 HAS SOUS 7972 HAS SOUPS 7459 WITH SCORE 7503.036
AT ITER 7865 NEW BEST:: SOT 108557 SOS 44036 HAS SOPS 41134 HAS SOUS 7970 HAS SOUPS 7457 WITH SCORE 7501.036
AT ITER 7902 NEW BEST:: SOT 108556 SOS 44035 HAS SOPS 41133 HAS SOUS 7969 HAS SOUPS 7456 WITH SCORE 7500.035
AT ITER 7967 NEW BEST:: SOT 108555 SOS 44034 HAS SOPS 41132 HAS SOUS 7968 HAS SOUPS 7455 WITH SCORE 7499.034
AT ITER 8063 NEW BEST:: SOT 108565 SOS 44040 HAS SOPS 41138 HAS SOUS 7967 HAS SOUPS 7454 WITH SCORE 7498.04
AT ITER 8128 NEW BEST:: SOT 108561 SOS 44038 HAS SOPS 41136 HAS SOUS 7967 HAS SOUPS 7454 WITH SCORE 7498.038
AT ITER 8151 NEW BEST:: SOT 108537 SOS 43942 HAS SOPS 41124 HAS SOUS 7962 HAS SOUPS 7453 WITH SCORE 7496.942
AT ITER 8167 NEW BEST:: SOT 108537 SOS 43942 HAS SOPS 41124 HAS SOUS 7959 HAS SOUPS 7450 WITH SCORE 7493.942
AT ITER 8177 NEW BEST:: SOT 108534 SOS 43939 HAS SOPS 41121 HAS SOUS 7953 HAS SOUPS 7444 WITH SCORE 7487.939
AT ITER 8209 NEW BEST:: SOT 108537 SOS 43923 HAS SOPS 41105 HAS SOUS 7953 HAS SOUPS 7444 WITH SCORE 7487.923
AT ITER 8281 NEW BEST:: SOT 108533 SOS 43914 HAS SOPS 41096 HAS SOUS 7953 HAS SOUPS 7444 WITH SCORE 7487.914
AT ITER 8295 NEW BEST:: SOT 108623 SOS 43938 HAS SOPS 41118 HAS SOUS 7905 HAS SOUPS 7396 WITH SCORE 7439.938
AT ITER 8308 NEW BEST:: SOT 108620 SOS 43936 HAS SOPS 41116 HAS SOUS 7903 HAS SOUPS 7394 WITH SCORE 7437.936
AT ITER 8390 NEW BEST:: SOT 108614 SOS 43930 HAS SOPS 41110 HAS SOUS 7897 HAS SOUPS 7388 WITH SCORE 7431.93
AT ITER 8443 NEW BEST:: SOT 108639 SOS 44052 HAS SOPS 41212 HAS SOUS 7904 HAS SOUPS 7385 WITH SCORE 7429.052
AT ITER 8522 NEW BEST:: SOT 108634 SOS 44046 HAS SOPS 41202 HAS SOUS 7903 HAS SOUPS 7384 WITH SCORE 7428.046
AT ITER 8620 NEW BEST:: SOT 108628 SOS 44040 HAS SOPS 41196 HAS SOUS 7897 HAS SOUPS 7378 WITH SCORE 7422.04
AT ITER 8622 NEW BEST:: SOT 108654 SOS 44054 HAS SOPS 41210 HAS SOUS 7894 HAS SOUPS 7375 WITH SCORE 7419.054
AT ITER 8667 NEW BEST:: SOT 108650 SOS 44042 HAS SOPS 41198 HAS SOUS 7883 HAS SOUPS 7364 WITH SCORE 7408.042
AT ITER 8682 NEW BEST:: SOT 108659 SOS 44042 HAS SOPS 41195 HAS SOUS 7874 HAS SOUPS 7355 WITH SCORE 7399.042
AT ITER 8717 NEW BEST:: SOT 108740 SOS 43967 HAS SOPS 41120 HAS SOUS 7861 HAS SOUPS 7342 WITH SCORE 7385.967
AT ITER 8778 NEW BEST:: SOT 108762 SOS 43945 HAS SOPS 41098 HAS SOUS 7817 HAS SOUPS 7298 WITH SCORE 7341.945
AT ITER 8811 NEW BEST:: SOT 108770 SOS 43957 HAS SOPS 41110 HAS SOUS 7811 HAS SOUPS 7292 WITH SCORE 7335.957
AT ITER 8867 NEW BEST:: SOT 108767 SOS 43951 HAS SOPS 41104 HAS SOUS 7810 HAS SOUPS 7291 WITH SCORE 7334.951
AT ITER 8902 NEW BEST:: SOT 108771 SOS 43955 HAS SOPS 41108 HAS SOUS 7808 HAS SOUPS 7289 WITH SCORE 7332.955
AT ITER 8908 NEW BEST:: SOT 108754 SOS 43946 HAS SOPS 41102 HAS SOUS 7800 HAS SOUPS 7284 WITH SCORE 7327.946
AT ITER 8919 NEW BEST:: SOT 108713 SOS 43930 HAS SOPS 41086 HAS SOUS 7785 HAS SOUPS 7269 WITH SCORE 7312.93
AT ITER 9043 NEW BEST:: SOT 108687 SOS 43854 HAS SOPS 41010 HAS SOUS 7769 HAS SOUPS 7253 WITH SCORE 7296.854
AT ITER 9185 NEW BEST:: SOT 108609 SOS 43758 HAS SOPS 40914 HAS SOUS 7760 HAS SOUPS 7244 WITH SCORE 7287.758
AT ITER 9190 NEW BEST:: SOT 108621 SOS 43750 HAS SOPS 40906 HAS SOUS 7739 HAS SOUPS 7223 WITH SCORE 7266.75
AT ITER 9307 NEW BEST:: SOT 108614 SOS 43747 HAS SOPS 40903 HAS SOUS 7735 HAS SOUPS 7219 WITH SCORE 7262.747
AT ITER 9328 NEW BEST:: SOT 108614 SOS 43747 HAS SOPS 40903 HAS SOUS 7721 HAS SOUPS 7205 WITH SCORE 7248.747
AT ITER 9357 NEW BEST:: SOT 108609 SOS 43746 HAS SOPS 40902 HAS SOUS 7716 HAS SOUPS 7200 WITH SCORE 7243.746
AT ITER 9384 NEW BEST:: SOT 108609 SOS 43745 HAS SOPS 40901 HAS SOUS 7715 HAS SOUPS 7199 WITH SCORE 7242.745
AT ITER 9409 NEW BEST:: SOT 108689 SOS 43793 HAS SOPS 40949 HAS SOUS 7713 HAS SOUPS 7197 WITH SCORE 7240.793
AT ITER 9465 NEW BEST:: SOT 108689 SOS 43791 HAS SOPS 40947 HAS SOUS 7707 HAS SOUPS 7191 WITH SCORE 7234.791
AT ITER 9531 NEW BEST:: SOT 108705 SOS 43881 HAS SOPS 41028 HAS SOUS 7704 HAS SOUPS 7188 WITH SCORE 7231.881
AT ITER 9651 NEW BEST:: SOT 108659 SOS 43590 HAS SOPS 40749 HAS SOUS 7693 HAS SOUPS 7177 WITH SCORE 7220.59
AT ITER 9756 NEW BEST:: SOT 108655 SOS 43582 HAS SOPS 40741 HAS SOUS 7690 HAS SOUPS 7174 WITH SCORE 7217.582
AT ITER 9796 NEW BEST:: SOT 108655 SOS 43570 HAS SOPS 40729 HAS SOUS 7690 HAS SOUPS 7174 WITH SCORE 7217.57
AT ITER 9838 NEW BEST:: SOT 108650 SOS 43560 HAS SOPS 40719 HAS SOUS 7687 HAS SOUPS 7171 WITH SCORE 7214.56
AT ITER 9846 NEW BEST:: SOT 108648 SOS 43534 HAS SOPS 40693 HAS SOUS 7685 HAS SOUPS 7169 WITH SCORE 7212.534
AT ITER 9857 NEW BEST:: SOT 108670 SOS 43536 HAS SOPS 40695 HAS SOUS 7668 HAS SOUPS 7152 WITH SCORE 7195.536
AT ITER 9955 NEW BEST:: SOT 108673 SOS 43478 HAS SOPS 40637 HAS SOUS 7664 HAS SOUPS 7148 WITH SCORE 7191.478
AT ITER 9960 NEW BEST:: SOT 108718 SOS 43604 HAS SOPS 40637 HAS SOUS 7669 HAS SOUPS 7147 WITH SCORE 7190.604
STATE_SPACE STATES 4759924249 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 77248039202 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679307106889

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory

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="UtahNoC-PT-none"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is UtahNoC-PT-none, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r491-tall-167912711200952"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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