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.r099-tall-167814472700688.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 DLCround-PT-07a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r099-tall-167814472700688
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 808K
-rw-r--r-- 1 mcc users 7.4K Feb 25 19:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 85K Feb 25 19:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.1K Feb 25 18:59 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 18:59 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:52 LTLCardinality.txt
-rw-r--r-- 1 mcc users 28K Feb 25 15:52 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:53 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:53 LTLFireability.xml
-rw-r--r-- 1 mcc users 6.2K Feb 25 19:24 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 57K Feb 25 19:24 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.7K Feb 25 19:18 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 75K Feb 25 19:18 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:53 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:53 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 398K 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 1678257516738

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=DLCround-PT-07a
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 07a
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: 229 places, 1597 transitions, 6125 arcs.
AT ITER 0 NEW BEST:: SOT 236235 SOS 193253 HAS SOPS 116053 HAS SOUS 27135 HAS SOUPS 17951 WITH SCORE 18144.253
AT ITER 2 NEW BEST:: SOT 236300 SOS 193290 HAS SOPS 116090 HAS SOUS 27112 HAS SOUPS 17928 WITH SCORE 18121.29
AT ITER 16 NEW BEST:: SOT 236246 SOS 193281 HAS SOPS 115856 HAS SOUS 26914 HAS SOUPS 17554 WITH SCORE 17747.281
AT ITER 28 NEW BEST:: SOT 236203 SOS 191345 HAS SOPS 113920 HAS SOUS 26899 HAS SOUPS 17539 WITH SCORE 17730.345
AT ITER 38 NEW BEST:: SOT 236223 SOS 191365 HAS SOPS 113940 HAS SOUS 26889 HAS SOUPS 17529 WITH SCORE 17720.365
AT ITER 39 NEW BEST:: SOT 236229 SOS 191371 HAS SOPS 113946 HAS SOUS 26884 HAS SOUPS 17524 WITH SCORE 17715.371
AT ITER 43 NEW BEST:: SOT 236148 SOS 191443 HAS SOPS 114018 HAS SOUS 26616 HAS SOUPS 17256 WITH SCORE 17447.443
AT ITER 50 NEW BEST:: SOT 236277 SOS 187551 HAS SOPS 110874 HAS SOUS 26545 HAS SOUPS 17253 WITH SCORE 17440.551
AT ITER 51 NEW BEST:: SOT 236290 SOS 187512 HAS SOPS 110874 HAS SOUS 26545 HAS SOUPS 17253 WITH SCORE 17440.512
AT ITER 54 NEW BEST:: SOT 236267 SOS 187511 HAS SOPS 110763 HAS SOUS 26438 HAS SOUPS 17066 WITH SCORE 17253.511
AT ITER 58 NEW BEST:: SOT 236314 SOS 187170 HAS SOPS 110422 HAS SOUS 26417 HAS SOUPS 17045 WITH SCORE 17232.17
AT ITER 69 NEW BEST:: SOT 236303 SOS 187159 HAS SOPS 110411 HAS SOUS 26406 HAS SOUPS 17034 WITH SCORE 17221.159
AT ITER 72 NEW BEST:: SOT 236460 SOS 186349 HAS SOPS 110835 HAS SOUS 26367 HAS SOUPS 16937 WITH SCORE 17123.349
AT ITER 74 NEW BEST:: SOT 236362 SOS 188847 HAS SOPS 111533 HAS SOUS 26372 HAS SOUPS 16867 WITH SCORE 17055.847
AT ITER 77 NEW BEST:: SOT 236340 SOS 188825 HAS SOPS 111511 HAS SOUS 26342 HAS SOUPS 16837 WITH SCORE 17025.825
AT ITER 81 NEW BEST:: SOT 236282 SOS 189245 HAS SOPS 111595 HAS SOUS 26340 HAS SOUPS 16821 WITH SCORE 17010.245
AT ITER 97 NEW BEST:: SOT 236272 SOS 189266 HAS SOPS 111461 HAS SOUS 26189 HAS SOUPS 16570 WITH SCORE 16759.266
AT ITER 100 NEW BEST:: SOT 236272 SOS 189307 HAS SOPS 111297 HAS SOUS 26021 HAS SOUPS 16258 WITH SCORE 16447.307
AT ITER 101 NEW BEST:: SOT 236272 SOS 189291 HAS SOPS 111281 HAS SOUS 26021 HAS SOUPS 16258 WITH SCORE 16447.291
AT ITER 105 NEW BEST:: SOT 236256 SOS 189291 HAS SOPS 111201 HAS SOUS 25948 HAS SOUPS 16125 WITH SCORE 16314.291
AT ITER 107 NEW BEST:: SOT 236230 SOS 189265 HAS SOPS 111175 HAS SOUS 25914 HAS SOUPS 16091 WITH SCORE 16280.265
AT ITER 108 NEW BEST:: SOT 236226 SOS 189261 HAS SOPS 111171 HAS SOUS 25910 HAS SOUPS 16087 WITH SCORE 16276.261
AT ITER 121 NEW BEST:: SOT 236310 SOS 187918 HAS SOPS 110576 HAS SOUS 25817 HAS SOUPS 16062 WITH SCORE 16249.918
AT ITER 126 NEW BEST:: SOT 236402 SOS 188010 HAS SOPS 110576 HAS SOUS 25648 HAS SOUPS 15916 WITH SCORE 16104.01
AT ITER 133 NEW BEST:: SOT 235491 SOS 185748 HAS SOPS 109552 HAS SOUS 25797 HAS SOUPS 15766 WITH SCORE 15951.748
AT ITER 145 NEW BEST:: SOT 235368 SOS 187774 HAS SOPS 110551 HAS SOUS 25731 HAS SOUPS 15700 WITH SCORE 15887.774
AT ITER 148 NEW BEST:: SOT 235357 SOS 187631 HAS SOPS 110408 HAS SOUS 25720 HAS SOUPS 15689 WITH SCORE 15876.631
AT ITER 177 NEW BEST:: SOT 235338 SOS 186453 HAS SOPS 109230 HAS SOUS 25720 HAS SOUPS 15689 WITH SCORE 15875.453
AT ITER 179 NEW BEST:: SOT 235257 SOS 186408 HAS SOPS 109185 HAS SOUS 25689 HAS SOUPS 15658 WITH SCORE 15844.408
AT ITER 182 NEW BEST:: SOT 235235 SOS 186386 HAS SOPS 109163 HAS SOUS 25686 HAS SOUPS 15655 WITH SCORE 15841.386
AT ITER 198 NEW BEST:: SOT 235166 SOS 186474 HAS SOPS 108866 HAS SOUS 25699 HAS SOUPS 15633 WITH SCORE 15819.474
AT ITER 200 NEW BEST:: SOT 235239 SOS 186601 HAS SOPS 108669 HAS SOUS 25140 HAS SOUPS 15074 WITH SCORE 15260.601
AT ITER 206 NEW BEST:: SOT 235303 SOS 186719 HAS SOPS 108787 HAS SOUS 25086 HAS SOUPS 15020 WITH SCORE 15206.719
AT ITER 210 NEW BEST:: SOT 235307 SOS 186819 HAS SOPS 108887 HAS SOUS 24908 HAS SOUPS 14842 WITH SCORE 15028.819
AT ITER 213 NEW BEST:: SOT 235359 SOS 187308 HAS SOPS 109376 HAS SOUS 24893 HAS SOUPS 14827 WITH SCORE 15014.308
AT ITER 217 NEW BEST:: SOT 235416 SOS 185702 HAS SOPS 108458 HAS SOUS 24890 HAS SOUPS 14824 WITH SCORE 15009.702
AT ITER 225 NEW BEST:: SOT 235550 SOS 184823 HAS SOPS 108227 HAS SOUS 24802 HAS SOUPS 14803 WITH SCORE 14987.823
AT ITER 251 NEW BEST:: SOT 235519 SOS 184761 HAS SOPS 108196 HAS SOUS 24770 HAS SOUPS 14802 WITH SCORE 14986.761
AT ITER 265 NEW BEST:: SOT 235519 SOS 184662 HAS SOPS 108097 HAS SOUS 24761 HAS SOUPS 14793 WITH SCORE 14977.662
AT ITER 267 NEW BEST:: SOT 235540 SOS 184662 HAS SOPS 108097 HAS SOUS 24743 HAS SOUPS 14775 WITH SCORE 14959.662
AT ITER 269 NEW BEST:: SOT 235691 SOS 184778 HAS SOPS 108078 HAS SOUS 24706 HAS SOUPS 14663 WITH SCORE 14847.778
AT ITER 278 NEW BEST:: SOT 235621 SOS 184636 HAS SOPS 107936 HAS SOUS 24679 HAS SOUPS 14636 WITH SCORE 14820.636
AT ITER 284 NEW BEST:: SOT 235641 SOS 184928 HAS SOPS 108228 HAS SOUS 24617 HAS SOUPS 14574 WITH SCORE 14758.928
AT ITER 293 NEW BEST:: SOT 235605 SOS 184874 HAS SOPS 108210 HAS SOUS 24581 HAS SOUPS 14556 WITH SCORE 14740.874
AT ITER 300 NEW BEST:: SOT 235599 SOS 183385 HAS SOPS 107465 HAS SOUS 24533 HAS SOUPS 14539 WITH SCORE 14722.385
AT ITER 310 NEW BEST:: SOT 235510 SOS 182030 HAS SOPS 106737 HAS SOUS 24440 HAS SOUPS 14503 WITH SCORE 14685.03
AT ITER 320 NEW BEST:: SOT 235508 SOS 182022 HAS SOPS 106693 HAS SOUS 24430 HAS SOUPS 14457 WITH SCORE 14639.022
AT ITER 337 NEW BEST:: SOT 235502 SOS 181944 HAS SOPS 106681 HAS SOUS 24424 HAS SOUPS 14457 WITH SCORE 14638.944
AT ITER 339 NEW BEST:: SOT 235789 SOS 182272 HAS SOPS 106763 HAS SOUS 24240 HAS SOUPS 14273 WITH SCORE 14455.272
AT ITER 345 NEW BEST:: SOT 235863 SOS 182346 HAS SOPS 106717 HAS SOUS 24127 HAS SOUPS 14160 WITH SCORE 14342.346
AT ITER 348 NEW BEST:: SOT 235992 SOS 182394 HAS SOPS 106781 HAS SOUS 24068 HAS SOUPS 14133 WITH SCORE 14315.394
AT ITER 351 NEW BEST:: SOT 236100 SOS 182483 HAS SOPS 106908 HAS SOUS 24059 HAS SOUPS 14131 WITH SCORE 14313.483
AT ITER 360 NEW BEST:: SOT 235977 SOS 181311 HAS SOPS 106597 HAS SOUS 23983 HAS SOUPS 14094 WITH SCORE 14275.311
AT ITER 374 NEW BEST:: SOT 235950 SOS 181280 HAS SOPS 106574 HAS SOUS 23956 HAS SOUPS 14071 WITH SCORE 14252.28
AT ITER 385 NEW BEST:: SOT 235930 SOS 181240 HAS SOPS 106546 HAS SOUS 23908 HAS SOUPS 14043 WITH SCORE 14224.24
AT ITER 396 NEW BEST:: SOT 235995 SOS 180830 HAS SOPS 106785 HAS SOUS 23828 HAS SOUPS 14022 WITH SCORE 14202.83
AT ITER 399 NEW BEST:: SOT 235979 SOS 179854 HAS SOPS 105985 HAS SOUS 23796 HAS SOUPS 14006 WITH SCORE 14185.854
AT ITER 410 NEW BEST:: SOT 235969 SOS 179614 HAS SOPS 105855 HAS SOUS 23786 HAS SOUPS 14006 WITH SCORE 14185.614
AT ITER 427 NEW BEST:: SOT 235933 SOS 179168 HAS SOPS 105783 HAS SOUS 23745 HAS SOUPS 13999 WITH SCORE 14178.168
AT ITER 435 NEW BEST:: SOT 235887 SOS 179328 HAS SOPS 105329 HAS SOUS 23669 HAS SOUPS 13913 WITH SCORE 14092.328
AT ITER 440 NEW BEST:: SOT 235886 SOS 179304 HAS SOPS 105316 HAS SOUS 23668 HAS SOUPS 13913 WITH SCORE 14092.304
AT ITER 476 NEW BEST:: SOT 235886 SOS 178856 HAS SOPS 104868 HAS SOUS 23668 HAS SOUPS 13913 WITH SCORE 14091.856
AT ITER 479 NEW BEST:: SOT 235841 SOS 178987 HAS SOPS 104999 HAS SOUS 23535 HAS SOUPS 13780 WITH SCORE 13958.987
AT ITER 489 NEW BEST:: SOT 235885 SOS 177464 HAS SOPS 103551 HAS SOUS 23531 HAS SOUPS 13776 WITH SCORE 13953.464
AT ITER 491 NEW BEST:: SOT 235876 SOS 178019 HAS SOPS 104007 HAS SOUS 23525 HAS SOUPS 13761 WITH SCORE 13939.019
AT ITER 495 NEW BEST:: SOT 235801 SOS 178869 HAS SOPS 104457 HAS SOUS 23523 HAS SOUPS 13759 WITH SCORE 13937.869
AT ITER 524 NEW BEST:: SOT 235775 SOS 178609 HAS SOPS 104405 HAS SOUS 23470 HAS SOUPS 13732 WITH SCORE 13910.609
AT ITER 527 NEW BEST:: SOT 235727 SOS 178342 HAS SOPS 104347 HAS SOUS 23422 HAS SOUPS 13703 WITH SCORE 13881.342
AT ITER 536 NEW BEST:: SOT 235781 SOS 177697 HAS SOPS 104549 HAS SOUS 23337 HAS SOUPS 13695 WITH SCORE 13872.697
AT ITER 541 NEW BEST:: SOT 235800 SOS 176022 HAS SOPS 103182 HAS SOUS 23306 HAS SOUPS 13692 WITH SCORE 13868.022
AT ITER 555 NEW BEST:: SOT 235794 SOS 176016 HAS SOPS 103176 HAS SOUS 23300 HAS SOUPS 13686 WITH SCORE 13862.016
AT ITER 567 NEW BEST:: SOT 236118 SOS 176357 HAS SOPS 103211 HAS SOUS 22919 HAS SOUPS 13356 WITH SCORE 13532.357
AT ITER 582 NEW BEST:: SOT 236144 SOS 176461 HAS SOPS 103367 HAS SOUS 22668 HAS SOUPS 13309 WITH SCORE 13485.461
AT ITER 619 NEW BEST:: SOT 236099 SOS 177376 HAS SOPS 103879 HAS SOUS 22666 HAS SOUPS 13307 WITH SCORE 13484.376
AT ITER 620 NEW BEST:: SOT 236341 SOS 177897 HAS SOPS 104101 HAS SOUS 22476 HAS SOUPS 13245 WITH SCORE 13422.897
AT ITER 622 NEW BEST:: SOT 236340 SOS 177719 HAS SOPS 104055 HAS SOUS 22475 HAS SOUPS 13244 WITH SCORE 13421.719
AT ITER 630 NEW BEST:: SOT 236322 SOS 176366 HAS SOPS 102988 HAS SOUS 22405 HAS SOUPS 13200 WITH SCORE 13376.366
AT ITER 646 NEW BEST:: SOT 236334 SOS 176210 HAS SOPS 103052 HAS SOUS 22383 HAS SOUPS 13198 WITH SCORE 13374.21
AT ITER 654 NEW BEST:: SOT 236269 SOS 175636 HAS SOPS 103086 HAS SOUS 22297 HAS SOUPS 13188 WITH SCORE 13363.636
AT ITER 656 NEW BEST:: SOT 236254 SOS 175568 HAS SOPS 102866 HAS SOUS 22301 HAS SOUPS 13173 WITH SCORE 13348.568
AT ITER 657 NEW BEST:: SOT 236143 SOS 174103 HAS SOPS 102160 HAS SOUS 22160 HAS SOUPS 13101 WITH SCORE 13275.103
AT ITER 661 NEW BEST:: SOT 236102 SOS 174021 HAS SOPS 102078 HAS SOUS 22105 HAS SOUPS 13046 WITH SCORE 13220.021
AT ITER 678 NEW BEST:: SOT 236066 SOS 173966 HAS SOPS 102061 HAS SOUS 22026 HAS SOUPS 12999 WITH SCORE 13172.966
AT ITER 681 NEW BEST:: SOT 236262 SOS 174162 HAS SOPS 102117 HAS SOUS 21970 HAS SOUPS 12943 WITH SCORE 13117.162
AT ITER 703 NEW BEST:: SOT 236176 SOS 174854 HAS SOPS 102377 HAS SOUS 21965 HAS SOUPS 12938 WITH SCORE 13112.854
AT ITER 723 NEW BEST:: SOT 236192 SOS 174646 HAS SOPS 102345 HAS SOUS 21949 HAS SOUPS 12938 WITH SCORE 13112.646
AT ITER 733 NEW BEST:: SOT 236245 SOS 174531 HAS SOPS 102230 HAS SOUS 21949 HAS SOUPS 12938 WITH SCORE 13112.531
AT ITER 741 NEW BEST:: SOT 236315 SOS 174608 HAS SOPS 102272 HAS SOUS 21942 HAS SOUPS 12931 WITH SCORE 13105.608
AT ITER 744 NEW BEST:: SOT 236303 SOS 174088 HAS SOPS 101752 HAS SOUS 21925 HAS SOUPS 12914 WITH SCORE 13088.088
AT ITER 753 NEW BEST:: SOT 236380 SOS 174172 HAS SOPS 101794 HAS SOUS 21918 HAS SOUPS 12907 WITH SCORE 13081.172
AT ITER 759 NEW BEST:: SOT 236375 SOS 173857 HAS SOPS 101584 HAS SOUS 21878 HAS SOUPS 12867 WITH SCORE 13040.857
AT ITER 770 NEW BEST:: SOT 236363 SOS 173135 HAS SOPS 100862 HAS SOUS 21874 HAS SOUPS 12863 WITH SCORE 13036.135
AT ITER 797 NEW BEST:: SOT 236457 SOS 173217 HAS SOPS 100931 HAS SOUS 21849 HAS SOUPS 12848 WITH SCORE 13021.217
AT ITER 798 NEW BEST:: SOT 236447 SOS 173214 HAS SOPS 100938 HAS SOUS 21815 HAS SOUPS 12807 WITH SCORE 12980.214
AT ITER 809 NEW BEST:: SOT 236401 SOS 173168 HAS SOPS 100938 HAS SOUS 21803 HAS SOUPS 12795 WITH SCORE 12968.168
AT ITER 813 NEW BEST:: SOT 236433 SOS 173200 HAS SOPS 100938 HAS SOUS 21794 HAS SOUPS 12790 WITH SCORE 12963.2
AT ITER 822 NEW BEST:: SOT 236403 SOS 173140 HAS SOPS 100878 HAS SOUS 21762 HAS SOUPS 12758 WITH SCORE 12931.14
AT ITER 828 NEW BEST:: SOT 236401 SOS 173114 HAS SOPS 100874 HAS SOUS 21760 HAS SOUPS 12758 WITH SCORE 12931.114
AT ITER 834 NEW BEST:: SOT 236299 SOS 173012 HAS SOPS 100772 HAS SOUS 21760 HAS SOUPS 12758 WITH SCORE 12931.012
AT ITER 838 NEW BEST:: SOT 236336 SOS 173162 HAS SOPS 101780 HAS SOUS 21668 HAS SOUPS 12744 WITH SCORE 12917.162
AT ITER 844 NEW BEST:: SOT 236270 SOS 172351 HAS SOPS 101486 HAS SOUS 21532 HAS SOUPS 12655 WITH SCORE 12827.351
AT ITER 846 NEW BEST:: SOT 236277 SOS 172358 HAS SOPS 101488 HAS SOUS 21530 HAS SOUPS 12653 WITH SCORE 12825.358
AT ITER 857 NEW BEST:: SOT 236271 SOS 172352 HAS SOPS 101488 HAS SOUS 21530 HAS SOUPS 12653 WITH SCORE 12825.352
AT ITER 863 NEW BEST:: SOT 235290 SOS 169992 HAS SOPS 99420 HAS SOUS 21403 HAS SOUPS 12499 WITH SCORE 12668.992
AT ITER 868 NEW BEST:: SOT 235339 SOS 170103 HAS SOPS 99455 HAS SOUS 21390 HAS SOUPS 12486 WITH SCORE 12656.103
AT ITER 871 NEW BEST:: SOT 235479 SOS 170243 HAS SOPS 99475 HAS SOUS 21310 HAS SOUPS 12406 WITH SCORE 12576.243
AT ITER 887 NEW BEST:: SOT 235479 SOS 170193 HAS SOPS 99455 HAS SOUS 21281 HAS SOUPS 12377 WITH SCORE 12547.193
AT ITER 890 NEW BEST:: SOT 235506 SOS 170596 HAS SOPS 99528 HAS SOUS 21310 HAS SOUPS 12376 WITH SCORE 12546.596
AT ITER 921 NEW BEST:: SOT 235434 SOS 170512 HAS SOPS 99480 HAS SOUS 21310 HAS SOUPS 12376 WITH SCORE 12546.512
AT ITER 927 NEW BEST:: SOT 235424 SOS 170371 HAS SOPS 99339 HAS SOUS 21300 HAS SOUPS 12366 WITH SCORE 12536.371
AT ITER 934 NEW BEST:: SOT 235431 SOS 170161 HAS SOPS 99241 HAS SOUS 21300 HAS SOUPS 12366 WITH SCORE 12536.161
AT ITER 943 NEW BEST:: SOT 235444 SOS 169992 HAS SOPS 99111 HAS SOUS 21300 HAS SOUPS 12366 WITH SCORE 12535.992
AT ITER 957 NEW BEST:: SOT 235459 SOS 170035 HAS SOPS 99154 HAS SOUS 21294 HAS SOUPS 12360 WITH SCORE 12530.035
AT ITER 966 NEW BEST:: SOT 235425 SOS 169879 HAS SOPS 99110 HAS SOUS 21246 HAS SOUPS 12326 WITH SCORE 12495.879
AT ITER 972 NEW BEST:: SOT 235425 SOS 169879 HAS SOPS 99090 HAS SOUS 21226 HAS SOUPS 12306 WITH SCORE 12475.879
AT ITER 977 NEW BEST:: SOT 235411 SOS 169865 HAS SOPS 99076 HAS SOUS 21212 HAS SOUPS 12292 WITH SCORE 12461.865
AT ITER 985 NEW BEST:: SOT 234678 SOS 169118 HAS SOPS 98699 HAS SOUS 21171 HAS SOUPS 12251 WITH SCORE 12420.118
AT ITER 991 NEW BEST:: SOT 234663 SOS 169098 HAS SOPS 98789 HAS SOUS 21147 HAS SOUPS 12237 WITH SCORE 12406.098
AT ITER 1001 NEW BEST:: SOT 234688 SOS 169345 HAS SOPS 98754 HAS SOUS 21163 HAS SOUPS 12229 WITH SCORE 12398.345
AT ITER 1009 NEW BEST:: SOT 234650 SOS 168981 HAS SOPS 98390 HAS SOUS 21139 HAS SOUPS 12205 WITH SCORE 12373.981
AT ITER 1021 NEW BEST:: SOT 234642 SOS 168877 HAS SOPS 98286 HAS SOUS 21130 HAS SOUPS 12196 WITH SCORE 12364.877
AT ITER 1033 NEW BEST:: SOT 234633 SOS 168886 HAS SOPS 98284 HAS SOUS 21146 HAS SOUPS 12194 WITH SCORE 12362.886
AT ITER 1079 NEW BEST:: SOT 234584 SOS 168249 HAS SOPS 98186 HAS SOUS 21089 HAS SOUPS 12186 WITH SCORE 12354.249
AT ITER 1080 NEW BEST:: SOT 234595 SOS 168304 HAS SOPS 98241 HAS SOUS 21085 HAS SOUPS 12182 WITH SCORE 12350.304
AT ITER 1101 NEW BEST:: SOT 234595 SOS 168057 HAS SOPS 97994 HAS SOUS 21066 HAS SOUPS 12163 WITH SCORE 12331.057
AT ITER 1104 NEW BEST:: SOT 234539 SOS 168033 HAS SOPS 97962 HAS SOUS 21074 HAS SOUPS 12163 WITH SCORE 12331.033
AT ITER 1117 NEW BEST:: SOT 234474 SOS 167848 HAS SOPS 97862 HAS SOUS 21059 HAS SOUPS 12153 WITH SCORE 12320.848
AT ITER 1127 NEW BEST:: SOT 234472 SOS 167845 HAS SOPS 97861 HAS SOUS 21057 HAS SOUPS 12152 WITH SCORE 12319.845
AT ITER 1131 NEW BEST:: SOT 234465 SOS 168040 HAS SOPS 98056 HAS SOUS 21042 HAS SOUPS 12137 WITH SCORE 12305.04
AT ITER 1135 NEW BEST:: SOT 234452 SOS 167931 HAS SOPS 97867 HAS SOUS 21039 HAS SOUPS 12124 WITH SCORE 12291.931
AT ITER 1136 NEW BEST:: SOT 234448 SOS 167927 HAS SOPS 97863 HAS SOUS 21035 HAS SOUPS 12120 WITH SCORE 12287.927
AT ITER 1144 NEW BEST:: SOT 234433 SOS 167881 HAS SOPS 97836 HAS SOUS 20993 HAS SOUPS 12105 WITH SCORE 12272.881
AT ITER 1146 NEW BEST:: SOT 234433 SOS 167881 HAS SOPS 97836 HAS SOUS 20984 HAS SOUPS 12100 WITH SCORE 12267.881
AT ITER 1173 NEW BEST:: SOT 234463 SOS 168076 HAS SOPS 98031 HAS SOUS 20980 HAS SOUPS 12096 WITH SCORE 12264.076
AT ITER 1184 NEW BEST:: SOT 234375 SOS 167878 HAS SOPS 97866 HAS SOUS 20980 HAS SOUPS 12096 WITH SCORE 12263.878
AT ITER 1194 NEW BEST:: SOT 234381 SOS 167890 HAS SOPS 97878 HAS SOUS 20973 HAS SOUPS 12089 WITH SCORE 12256.89
AT ITER 1200 NEW BEST:: SOT 234345 SOS 167601 HAS SOPS 97842 HAS SOUS 20937 HAS SOUPS 12076 WITH SCORE 12243.601
AT ITER 1203 NEW BEST:: SOT 234345 SOS 167601 HAS SOPS 97842 HAS SOUS 20928 HAS SOUPS 12071 WITH SCORE 12238.601
AT ITER 1216 NEW BEST:: SOT 234333 SOS 167625 HAS SOPS 97830 HAS SOUS 20909 HAS SOUPS 12052 WITH SCORE 12219.625
AT ITER 1218 NEW BEST:: SOT 234333 SOS 167625 HAS SOPS 97830 HAS SOUS 20747 HAS SOUPS 11962 WITH SCORE 12129.625
AT ITER 1221 NEW BEST:: SOT 234333 SOS 167548 HAS SOPS 97753 HAS SOUS 20726 HAS SOUPS 11941 WITH SCORE 12108.548
AT ITER 1246 NEW BEST:: SOT 233865 SOS 166462 HAS SOPS 97352 HAS SOUS 20667 HAS SOUPS 11918 WITH SCORE 12084.462
AT ITER 1251 NEW BEST:: SOT 233678 SOS 166191 HAS SOPS 97133 HAS SOUS 20664 HAS SOUPS 11905 WITH SCORE 12071.191
AT ITER 1260 NEW BEST:: SOT 233680 SOS 166075 HAS SOPS 97039 HAS SOUS 20660 HAS SOUPS 11903 WITH SCORE 12069.075
AT ITER 1305 NEW BEST:: SOT 233676 SOS 166047 HAS SOPS 97011 HAS SOUS 20660 HAS SOUPS 11903 WITH SCORE 12069.047
AT ITER 1308 NEW BEST:: SOT 233665 SOS 166036 HAS SOPS 97011 HAS SOUS 20660 HAS SOUPS 11903 WITH SCORE 12069.036
AT ITER 1312 NEW BEST:: SOT 233644 SOS 165840 HAS SOPS 96969 HAS SOUS 20644 HAS SOUPS 11901 WITH SCORE 12066.84
AT ITER 1339 NEW BEST:: SOT 233694 SOS 165652 HAS SOPS 97331 HAS SOUS 20594 HAS SOUPS 11901 WITH SCORE 12066.652
AT ITER 1344 NEW BEST:: SOT 233683 SOS 165641 HAS SOPS 97320 HAS SOUS 20583 HAS SOUPS 11890 WITH SCORE 12055.641
AT ITER 1345 NEW BEST:: SOT 233657 SOS 165799 HAS SOPS 97324 HAS SOUS 20577 HAS SOUPS 11870 WITH SCORE 12035.799
AT ITER 1348 NEW BEST:: SOT 233683 SOS 166082 HAS SOPS 97420 HAS SOUS 20582 HAS SOUPS 11858 WITH SCORE 12024.082
AT ITER 1375 NEW BEST:: SOT 233665 SOS 166064 HAS SOPS 97420 HAS SOUS 20582 HAS SOUPS 11858 WITH SCORE 12024.064
AT ITER 1379 NEW BEST:: SOT 233659 SOS 166055 HAS SOPS 97417 HAS SOUS 20549 HAS SOUPS 11840 WITH SCORE 12006.055
AT ITER 1380 NEW BEST:: SOT 233659 SOS 165325 HAS SOPS 96797 HAS SOUS 20539 HAS SOUPS 11840 WITH SCORE 12005.325
AT ITER 1399 NEW BEST:: SOT 233689 SOS 165229 HAS SOPS 96818 HAS SOUS 20507 HAS SOUPS 11808 WITH SCORE 11973.229
AT ITER 1425 NEW BEST:: SOT 233689 SOS 165229 HAS SOPS 96818 HAS SOUS 20489 HAS SOUPS 11798 WITH SCORE 11963.229
AT ITER 1442 NEW BEST:: SOT 233768 SOS 164689 HAS SOPS 97158 HAS SOUS 20382 HAS SOUPS 11771 WITH SCORE 11935.689
AT ITER 1460 NEW BEST:: SOT 233774 SOS 164711 HAS SOPS 97164 HAS SOUS 20366 HAS SOUPS 11761 WITH SCORE 11925.711
AT ITER 1466 NEW BEST:: SOT 233847 SOS 165147 HAS SOPS 97350 HAS SOUS 20359 HAS SOUPS 11754 WITH SCORE 11919.147
AT ITER 1492 NEW BEST:: SOT 234271 SOS 165571 HAS SOPS 97456 HAS SOUS 20343 HAS SOUPS 11698 WITH SCORE 11863.571
AT ITER 1554 NEW BEST:: SOT 234080 SOS 164573 HAS SOPS 97162 HAS SOUS 20190 HAS SOUPS 11633 WITH SCORE 11797.573
AT ITER 1562 NEW BEST:: SOT 234108 SOS 164412 HAS SOPS 97022 HAS SOUS 20179 HAS SOUPS 11622 WITH SCORE 11786.412
AT ITER 1570 NEW BEST:: SOT 234102 SOS 164190 HAS SOPS 96800 HAS SOUS 20176 HAS SOUPS 11619 WITH SCORE 11783.19
AT ITER 1615 NEW BEST:: SOT 234096 SOS 164184 HAS SOPS 96794 HAS SOUS 20170 HAS SOUPS 11613 WITH SCORE 11777.184
AT ITER 1618 NEW BEST:: SOT 234059 SOS 164091 HAS SOPS 96763 HAS SOUS 20139 HAS SOUPS 11607 WITH SCORE 11771.091
AT ITER 1639 NEW BEST:: SOT 234059 SOS 163796 HAS SOPS 96468 HAS SOUS 20106 HAS SOUPS 11574 WITH SCORE 11737.796
AT ITER 1679 NEW BEST:: SOT 234059 SOS 163741 HAS SOPS 96468 HAS SOUS 20101 HAS SOUPS 11574 WITH SCORE 11737.741
AT ITER 1696 NEW BEST:: SOT 234042 SOS 163671 HAS SOPS 96446 HAS SOUS 20086 HAS SOUPS 11565 WITH SCORE 11728.671
AT ITER 1706 NEW BEST:: SOT 233808 SOS 163395 HAS SOPS 96296 HAS SOUS 20083 HAS SOUPS 11562 WITH SCORE 11725.395
AT ITER 1724 NEW BEST:: SOT 233808 SOS 163381 HAS SOPS 96128 HAS SOUS 20075 HAS SOUPS 11540 WITH SCORE 11703.381
AT ITER 1726 NEW BEST:: SOT 233806 SOS 163355 HAS SOPS 96102 HAS SOUS 20071 HAS SOUPS 11536 WITH SCORE 11699.355
AT ITER 1747 NEW BEST:: SOT 233637 SOS 162874 HAS SOPS 95842 HAS SOUS 20032 HAS SOUPS 11510 WITH SCORE 11672.874
AT ITER 1755 NEW BEST:: SOT 233660 SOS 162897 HAS SOPS 95837 HAS SOUS 20027 HAS SOUPS 11505 WITH SCORE 11667.897
AT ITER 1762 NEW BEST:: SOT 234236 SOS 163473 HAS SOPS 96083 HAS SOUS 19980 HAS SOUPS 11458 WITH SCORE 11621.473
AT ITER 1768 NEW BEST:: SOT 234128 SOS 163129 HAS SOPS 95739 HAS SOUS 19946 HAS SOUPS 11424 WITH SCORE 11587.129
AT ITER 1771 NEW BEST:: SOT 234018 SOS 162899 HAS SOPS 95659 HAS SOUS 19936 HAS SOUPS 11414 WITH SCORE 11576.899
AT ITER 1777 NEW BEST:: SOT 233864 SOS 162577 HAS SOPS 95575 HAS SOUS 19922 HAS SOUPS 11414 WITH SCORE 11576.577
AT ITER 1783 NEW BEST:: SOT 233842 SOS 162555 HAS SOPS 95553 HAS SOUS 19900 HAS SOUPS 11392 WITH SCORE 11554.555
AT ITER 1792 NEW BEST:: SOT 233841 SOS 162554 HAS SOPS 95552 HAS SOUS 19899 HAS SOUPS 11391 WITH SCORE 11553.554
AT ITER 1815 NEW BEST:: SOT 233601 SOS 162054 HAS SOPS 95392 HAS SOUS 19859 HAS SOUPS 11371 WITH SCORE 11533.054
AT ITER 1831 NEW BEST:: SOT 233580 SOS 162033 HAS SOPS 95371 HAS SOUS 19834 HAS SOUPS 11346 WITH SCORE 11508.033
AT ITER 1832 NEW BEST:: SOT 233590 SOS 162123 HAS SOPS 95381 HAS SOUS 19824 HAS SOUPS 11326 WITH SCORE 11488.123
AT ITER 1838 NEW BEST:: SOT 233590 SOS 162123 HAS SOPS 95381 HAS SOUS 19743 HAS SOUPS 11281 WITH SCORE 11443.123
AT ITER 1849 NEW BEST:: SOT 233575 SOS 162108 HAS SOPS 95381 HAS SOUS 19743 HAS SOUPS 11281 WITH SCORE 11443.108
AT ITER 1883 NEW BEST:: SOT 233594 SOS 162163 HAS SOPS 95436 HAS SOUS 19740 HAS SOUPS 11278 WITH SCORE 11440.163
AT ITER 1933 NEW BEST:: SOT 233562 SOS 162131 HAS SOPS 95404 HAS SOUS 19730 HAS SOUPS 11268 WITH SCORE 11430.131
AT ITER 1934 NEW BEST:: SOT 233550 SOS 162119 HAS SOPS 95392 HAS SOUS 19727 HAS SOUPS 11265 WITH SCORE 11427.119
AT ITER 1957 NEW BEST:: SOT 233520 SOS 161499 HAS SOPS 95366 HAS SOUS 19656 HAS SOUPS 11239 WITH SCORE 11400.499
AT ITER 1978 NEW BEST:: SOT 233518 SOS 161497 HAS SOPS 95366 HAS SOUS 19652 HAS SOUPS 11235 WITH SCORE 11396.497
AT ITER 1980 NEW BEST:: SOT 233512 SOS 161491 HAS SOPS 95364 HAS SOUS 19614 HAS SOUPS 11213 WITH SCORE 11374.491
AT ITER 1986 NEW BEST:: SOT 233475 SOS 161181 HAS SOPS 95054 HAS SOUS 19606 HAS SOUPS 11205 WITH SCORE 11366.181
AT ITER 2028 NEW BEST:: SOT 233475 SOS 161064 HAS SOPS 95036 HAS SOUS 19579 HAS SOUPS 11187 WITH SCORE 11348.064
AT ITER 2061 NEW BEST:: SOT 233477 SOS 160894 HAS SOPS 94976 HAS SOUS 19549 HAS SOUPS 11167 WITH SCORE 11327.894
AT ITER 2066 NEW BEST:: SOT 233477 SOS 160834 HAS SOPS 94982 HAS SOUS 19543 HAS SOUPS 11167 WITH SCORE 11327.834
AT ITER 2092 NEW BEST:: SOT 233477 SOS 160810 HAS SOPS 94969 HAS SOUS 19539 HAS SOUPS 11164 WITH SCORE 11324.81
AT ITER 2093 NEW BEST:: SOT 233477 SOS 160810 HAS SOPS 94969 HAS SOUS 19521 HAS SOUPS 11154 WITH SCORE 11314.81
AT ITER 2104 NEW BEST:: SOT 233342 SOS 160176 HAS SOPS 94703 HAS SOUS 19516 HAS SOUPS 11151 WITH SCORE 11311.176
AT ITER 2131 NEW BEST:: SOT 233323 SOS 160068 HAS SOPS 94605 HAS SOUS 19487 HAS SOUPS 11126 WITH SCORE 11286.068
AT ITER 2139 NEW BEST:: SOT 233323 SOS 160068 HAS SOPS 94605 HAS SOUS 19433 HAS SOUPS 11096 WITH SCORE 11256.068
AT ITER 2157 NEW BEST:: SOT 233325 SOS 160066 HAS SOPS 94603 HAS SOUS 19433 HAS SOUPS 11096 WITH SCORE 11256.066
AT ITER 2182 NEW BEST:: SOT 233314 SOS 160055 HAS SOPS 94598 HAS SOUS 19433 HAS SOUPS 11096 WITH SCORE 11256.055
AT ITER 2206 NEW BEST:: SOT 233314 SOS 160045 HAS SOPS 94599 HAS SOUS 19432 HAS SOUPS 11096 WITH SCORE 11256.045
AT ITER 2210 NEW BEST:: SOT 233060 SOS 159558 HAS SOPS 93976 HAS SOUS 19448 HAS SOUPS 11074 WITH SCORE 11233.558
AT ITER 2229 NEW BEST:: SOT 233050 SOS 159502 HAS SOPS 93920 HAS SOUS 19448 HAS SOUPS 11074 WITH SCORE 11233.502
AT ITER 2260 NEW BEST:: SOT 233050 SOS 159502 HAS SOPS 93920 HAS SOUS 19430 HAS SOUPS 11064 WITH SCORE 11223.502
AT ITER 2295 NEW BEST:: SOT 233042 SOS 159442 HAS SOPS 93904 HAS SOUS 19426 HAS SOUPS 11064 WITH SCORE 11223.442
AT ITER 2308 NEW BEST:: SOT 233041 SOS 159440 HAS SOPS 93890 HAS SOUS 19424 HAS SOUPS 11061 WITH SCORE 11220.44
AT ITER 2309 NEW BEST:: SOT 233041 SOS 159440 HAS SOPS 93890 HAS SOUS 19413 HAS SOUPS 11050 WITH SCORE 11209.44
AT ITER 2312 NEW BEST:: SOT 232998 SOS 158903 HAS SOPS 92902 HAS SOUS 19415 HAS SOUPS 11011 WITH SCORE 11169.903
AT ITER 2329 NEW BEST:: SOT 233017 SOS 158922 HAS SOPS 92921 HAS SOUS 19386 HAS SOUPS 11002 WITH SCORE 11160.922
AT ITER 2390 NEW BEST:: SOT 232938 SOS 158776 HAS SOPS 92811 HAS SOUS 19384 HAS SOUPS 11000 WITH SCORE 11158.776
AT ITER 2407 NEW BEST:: SOT 232936 SOS 158774 HAS SOPS 92811 HAS SOUS 19384 HAS SOUPS 11000 WITH SCORE 11158.774
AT ITER 2420 NEW BEST:: SOT 232985 SOS 158416 HAS SOPS 92706 HAS SOUS 19364 HAS SOUPS 10992 WITH SCORE 11150.416
AT ITER 2456 NEW BEST:: SOT 232783 SOS 157966 HAS SOPS 92565 HAS SOUS 19361 HAS SOUPS 10992 WITH SCORE 11149.966
AT ITER 2481 NEW BEST:: SOT 232783 SOS 157966 HAS SOPS 92565 HAS SOUS 19280 HAS SOUPS 10947 WITH SCORE 11104.966
AT ITER 2494 NEW BEST:: SOT 232774 SOS 157869 HAS SOPS 92468 HAS SOUS 19280 HAS SOUPS 10947 WITH SCORE 11104.869
AT ITER 2498 NEW BEST:: SOT 232776 SOS 157887 HAS SOPS 92486 HAS SOUS 19278 HAS SOUPS 10945 WITH SCORE 11102.887
AT ITER 2538 NEW BEST:: SOT 232746 SOS 157692 HAS SOPS 92291 HAS SOUS 19278 HAS SOUPS 10945 WITH SCORE 11102.692
AT ITER 2566 NEW BEST:: SOT 232735 SOS 157670 HAS SOPS 92291 HAS SOUS 19265 HAS SOUPS 10944 WITH SCORE 11101.67
AT ITER 2567 NEW BEST:: SOT 232740 SOS 157823 HAS SOPS 92356 HAS SOUS 19270 HAS SOUPS 10941 WITH SCORE 11098.823
AT ITER 2621 NEW BEST:: SOT 232736 SOS 157819 HAS SOPS 92356 HAS SOUS 19270 HAS SOUPS 10941 WITH SCORE 11098.819
AT ITER 2626 NEW BEST:: SOT 232528 SOS 157364 HAS SOPS 92219 HAS SOUS 19243 HAS SOUPS 10936 WITH SCORE 11093.364
AT ITER 2660 NEW BEST:: SOT 232477 SOS 157276 HAS SOPS 92190 HAS SOUS 19218 HAS SOUPS 10922 WITH SCORE 11079.276
AT ITER 2662 NEW BEST:: SOT 232476 SOS 157275 HAS SOPS 92190 HAS SOUS 19218 HAS SOUPS 10922 WITH SCORE 11079.275
AT ITER 2723 NEW BEST:: SOT 232471 SOS 157260 HAS SOPS 92177 HAS SOUS 19205 HAS SOUPS 10914 WITH SCORE 11071.26
AT ITER 2728 NEW BEST:: SOT 232151 SOS 156945 HAS SOPS 92017 HAS SOUS 19203 HAS SOUPS 10907 WITH SCORE 11063.945
AT ITER 2749 NEW BEST:: SOT 232151 SOS 156945 HAS SOPS 92017 HAS SOUS 19194 HAS SOUPS 10902 WITH SCORE 11058.945
AT ITER 2771 NEW BEST:: SOT 232138 SOS 157124 HAS SOPS 92004 HAS SOUS 19215 HAS SOUPS 10899 WITH SCORE 11056.124
AT ITER 2778 NEW BEST:: SOT 232138 SOS 157124 HAS SOPS 92004 HAS SOUS 19205 HAS SOUPS 10889 WITH SCORE 11046.124
AT ITER 2803 NEW BEST:: SOT 232130 SOS 157020 HAS SOPS 91900 HAS SOUS 19205 HAS SOUPS 10889 WITH SCORE 11046.02
AT ITER 2808 NEW BEST:: SOT 231940 SOS 156593 HAS SOPS 91747 HAS SOUS 19170 HAS SOUPS 10871 WITH SCORE 11027.593
AT ITER 2839 NEW BEST:: SOT 231933 SOS 156899 HAS SOPS 91781 HAS SOUS 19124 HAS SOUPS 10815 WITH SCORE 10971.899
AT ITER 2851 NEW BEST:: SOT 231600 SOS 156131 HAS SOPS 91511 HAS SOUS 19055 HAS SOUPS 10813 WITH SCORE 10969.131
AT ITER 2855 NEW BEST:: SOT 231573 SOS 156323 HAS SOPS 91485 HAS SOUS 19058 HAS SOUPS 10797 WITH SCORE 10953.323
AT ITER 2859 NEW BEST:: SOT 231477 SOS 156211 HAS SOPS 91421 HAS SOUS 19050 HAS SOUPS 10789 WITH SCORE 10945.211
AT ITER 2864 NEW BEST:: SOT 231472 SOS 156092 HAS SOPS 91368 HAS SOUS 19039 HAS SOUPS 10784 WITH SCORE 10940.092
AT ITER 2872 NEW BEST:: SOT 231483 SOS 156103 HAS SOPS 91368 HAS SOUS 19030 HAS SOUPS 10779 WITH SCORE 10935.103
AT ITER 2878 NEW BEST:: SOT 231931 SOS 156258 HAS SOPS 91509 HAS SOUS 18991 HAS SOUPS 10778 WITH SCORE 10934.258
AT ITER 2889 NEW BEST:: SOT 231917 SOS 155116 HAS SOPS 90543 HAS SOUS 18975 HAS SOUPS 10778 WITH SCORE 10933.116
AT ITER 2901 NEW BEST:: SOT 231910 SOS 154933 HAS SOPS 90195 HAS SOUS 18989 HAS SOUPS 10777 WITH SCORE 10931.933
AT ITER 2906 NEW BEST:: SOT 231284 SOS 149875 HAS SOPS 85901 HAS SOUS 18872 HAS SOUPS 10689 WITH SCORE 10838.875
AT ITER 2911 NEW BEST:: SOT 231260 SOS 149755 HAS SOPS 85781 HAS SOUS 18864 HAS SOUPS 10681 WITH SCORE 10830.755
AT ITER 2949 NEW BEST:: SOT 231256 SOS 149749 HAS SOPS 85779 HAS SOUS 18860 HAS SOUPS 10679 WITH SCORE 10828.749
AT ITER 2965 NEW BEST:: SOT 230784 SOS 148884 HAS SOPS 85109 HAS SOUS 18804 HAS SOUPS 10623 WITH SCORE 10771.884
AT ITER 2966 NEW BEST:: SOT 230764 SOS 148807 HAS SOPS 85032 HAS SOUS 18792 HAS SOUPS 10611 WITH SCORE 10759.807
AT ITER 2968 NEW BEST:: SOT 230742 SOS 148745 HAS SOPS 84965 HAS SOUS 18795 HAS SOUPS 10609 WITH SCORE 10757.745
AT ITER 2988 NEW BEST:: SOT 230717 SOS 148720 HAS SOPS 84965 HAS SOUS 18795 HAS SOUPS 10609 WITH SCORE 10757.72
AT ITER 3020 NEW BEST:: SOT 230706 SOS 148709 HAS SOPS 84965 HAS SOUS 18795 HAS SOUPS 10609 WITH SCORE 10757.709
AT ITER 3027 NEW BEST:: SOT 230698 SOS 148697 HAS SOPS 84961 HAS SOUS 18787 HAS SOUPS 10605 WITH SCORE 10753.697
AT ITER 3047 NEW BEST:: SOT 230638 SOS 148637 HAS SOPS 84943 HAS SOUS 18787 HAS SOUPS 10605 WITH SCORE 10753.637
AT ITER 3058 NEW BEST:: SOT 230535 SOS 148355 HAS SOPS 84803 HAS SOUS 18771 HAS SOUPS 10597 WITH SCORE 10745.355
AT ITER 3206 NEW BEST:: SOT 230556 SOS 148406 HAS SOPS 84818 HAS SOUS 18759 HAS SOUPS 10588 WITH SCORE 10736.406
AT ITER 3255 NEW BEST:: SOT 230546 SOS 148396 HAS SOPS 84818 HAS SOUS 18759 HAS SOUPS 10588 WITH SCORE 10736.396
AT ITER 3265 NEW BEST:: SOT 230578 SOS 148484 HAS SOPS 84846 HAS SOUS 18767 HAS SOUPS 10582 WITH SCORE 10730.484
AT ITER 3272 NEW BEST:: SOT 230566 SOS 148472 HAS SOPS 84834 HAS SOUS 18767 HAS SOUPS 10582 WITH SCORE 10730.472
AT ITER 3275 NEW BEST:: SOT 230602 SOS 148562 HAS SOPS 84864 HAS SOUS 18743 HAS SOUPS 10564 WITH SCORE 10712.562
AT ITER 3402 NEW BEST:: SOT 230588 SOS 148548 HAS SOPS 84864 HAS SOUS 18743 HAS SOUPS 10564 WITH SCORE 10712.548
AT ITER 3424 NEW BEST:: SOT 230588 SOS 148538 HAS SOPS 84838 HAS SOUS 18739 HAS SOUPS 10558 WITH SCORE 10706.538
AT ITER 3468 NEW BEST:: SOT 230587 SOS 149256 HAS SOPS 85171 HAS SOUS 18740 HAS SOUPS 10533 WITH SCORE 10682.256
AT ITER 3474 NEW BEST:: SOT 230553 SOS 149222 HAS SOPS 85171 HAS SOUS 18740 HAS SOUPS 10533 WITH SCORE 10682.222
AT ITER 3512 NEW BEST:: SOT 230531 SOS 149057 HAS SOPS 85006 HAS SOUS 18740 HAS SOUPS 10533 WITH SCORE 10682.057
AT ITER 3519 NEW BEST:: SOT 230271 SOS 148606 HAS SOPS 84646 HAS SOUS 18711 HAS SOUPS 10504 WITH SCORE 10652.606
AT ITER 3525 NEW BEST:: SOT 230190 SOS 147994 HAS SOPS 84160 HAS SOUS 18675 HAS SOUPS 10477 WITH SCORE 10624.994
AT ITER 3568 NEW BEST:: SOT 230175 SOS 148114 HAS SOPS 84160 HAS SOUS 18670 HAS SOUPS 10467 WITH SCORE 10615.114
AT ITER 3633 NEW BEST:: SOT 230200 SOS 148074 HAS SOPS 84373 HAS SOUS 18624 HAS SOUPS 10444 WITH SCORE 10592.074
AT ITER 3637 NEW BEST:: SOT 229821 SOS 147273 HAS SOPS 84098 HAS SOUS 18592 HAS SOUPS 10438 WITH SCORE 10585.273
AT ITER 3648 NEW BEST:: SOT 229808 SOS 146204 HAS SOPS 83029 HAS SOUS 18579 HAS SOUPS 10425 WITH SCORE 10571.204
AT ITER 3649 NEW BEST:: SOT 229800 SOS 146196 HAS SOPS 83021 HAS SOUS 18579 HAS SOUPS 10425 WITH SCORE 10571.196
AT ITER 3677 NEW BEST:: SOT 229786 SOS 146182 HAS SOPS 83007 HAS SOUS 18572 HAS SOUPS 10418 WITH SCORE 10564.182
AT ITER 3703 NEW BEST:: SOT 229776 SOS 146226 HAS SOPS 83019 HAS SOUS 18570 HAS SOUPS 10416 WITH SCORE 10562.226
AT ITER 3713 NEW BEST:: SOT 229836 SOS 147020 HAS SOPS 83179 HAS SOUS 18620 HAS SOUPS 10410 WITH SCORE 10557.02
AT ITER 3804 NEW BEST:: SOT 229805 SOS 146989 HAS SOPS 83148 HAS SOUS 18635 HAS SOUPS 10409 WITH SCORE 10555.989
AT ITER 3863 NEW BEST:: SOT 229805 SOS 146989 HAS SOPS 83148 HAS SOUS 18617 HAS SOUPS 10399 WITH SCORE 10545.989
AT ITER 3918 NEW BEST:: SOT 229799 SOS 146971 HAS SOPS 83106 HAS SOUS 18614 HAS SOUPS 10393 WITH SCORE 10539.971
AT ITER 3948 NEW BEST:: SOT 229796 SOS 146949 HAS SOPS 83084 HAS SOUS 18610 HAS SOUPS 10389 WITH SCORE 10535.949
AT ITER 3975 NEW BEST:: SOT 229700 SOS 146749 HAS SOPS 83020 HAS SOUS 18594 HAS SOUPS 10381 WITH SCORE 10527.749
AT ITER 3995 NEW BEST:: SOT 229686 SOS 146735 HAS SOPS 83020 HAS SOUS 18594 HAS SOUPS 10381 WITH SCORE 10527.735
AT ITER 3997 NEW BEST:: SOT 229686 SOS 146735 HAS SOPS 83020 HAS SOUS 18585 HAS SOUPS 10376 WITH SCORE 10522.735
AT ITER 4044 NEW BEST:: SOT 229815 SOS 146963 HAS SOPS 83082 HAS SOUS 18595 HAS SOUPS 10361 WITH SCORE 10507.963
AT ITER 4057 NEW BEST:: SOT 229753 SOS 146901 HAS SOPS 83082 HAS SOUS 18595 HAS SOUPS 10361 WITH SCORE 10507.901
AT ITER 4068 NEW BEST:: SOT 229719 SOS 147027 HAS SOPS 83120 HAS SOUS 18587 HAS SOUPS 10345 WITH SCORE 10492.027
AT ITER 4075 NEW BEST:: SOT 230038 SOS 147585 HAS SOPS 83324 HAS SOUS 18588 HAS SOUPS 10340 WITH SCORE 10487.585
AT ITER 4109 NEW BEST:: SOT 230094 SOS 147641 HAS SOPS 83324 HAS SOUS 18579 HAS SOUPS 10335 WITH SCORE 10482.641
AT ITER 4132 NEW BEST:: SOT 230094 SOS 147641 HAS SOPS 83324 HAS SOUS 18555 HAS SOUPS 10311 WITH SCORE 10458.641
AT ITER 4140 NEW BEST:: SOT 230090 SOS 147688 HAS SOPS 83470 HAS SOUS 18544 HAS SOUPS 10309 WITH SCORE 10456.688
AT ITER 4156 NEW BEST:: SOT 230053 SOS 147614 HAS SOPS 83019 HAS SOUS 18545 HAS SOUPS 10283 WITH SCORE 10430.614
AT ITER 4213 NEW BEST:: SOT 230047 SOS 147575 HAS SOPS 82980 HAS SOUS 18545 HAS SOUPS 10283 WITH SCORE 10430.575
AT ITER 4238 NEW BEST:: SOT 230016 SOS 147399 HAS SOPS 82956 HAS SOUS 18521 HAS SOUPS 10278 WITH SCORE 10425.399
AT ITER 4267 NEW BEST:: SOT 230019 SOS 147354 HAS SOPS 82922 HAS SOUS 18519 HAS SOUPS 10277 WITH SCORE 10424.354
AT ITER 4347 NEW BEST:: SOT 229942 SOS 147277 HAS SOPS 82887 HAS SOUS 18512 HAS SOUPS 10270 WITH SCORE 10417.277
AT ITER 4358 NEW BEST:: SOT 229942 SOS 147277 HAS SOPS 82887 HAS SOUS 18476 HAS SOUPS 10250 WITH SCORE 10397.277
AT ITER 4371 NEW BEST:: SOT 229927 SOS 147279 HAS SOPS 82865 HAS SOUS 18461 HAS SOUPS 10235 WITH SCORE 10382.279
AT ITER 4379 NEW BEST:: SOT 229805 SOS 147066 HAS SOPS 82782 HAS SOUS 18446 HAS SOUPS 10226 WITH SCORE 10373.066
AT ITER 4394 NEW BEST:: SOT 229808 SOS 147060 HAS SOPS 82785 HAS SOUS 18443 HAS SOUPS 10223 WITH SCORE 10370.06
AT ITER 4438 NEW BEST:: SOT 229805 SOS 146874 HAS SOPS 82786 HAS SOUS 18420 HAS SOUPS 10217 WITH SCORE 10363.874
AT ITER 4460 NEW BEST:: SOT 229808 SOS 146775 HAS SOPS 82708 HAS SOUS 18416 HAS SOUPS 10213 WITH SCORE 10359.775
AT ITER 4489 NEW BEST:: SOT 229808 SOS 146765 HAS SOPS 82709 HAS SOUS 18415 HAS SOUPS 10213 WITH SCORE 10359.765
AT ITER 4490 NEW BEST:: SOT 229336 SOS 145694 HAS SOPS 82387 HAS SOUS 18401 HAS SOUPS 10207 WITH SCORE 10352.694
AT ITER 4523 NEW BEST:: SOT 229327 SOS 146436 HAS SOPS 82791 HAS SOUS 18398 HAS SOUPS 10204 WITH SCORE 10350.436
AT ITER 4596 NEW BEST:: SOT 229317 SOS 146496 HAS SOPS 82851 HAS SOUS 18395 HAS SOUPS 10201 WITH SCORE 10347.496
AT ITER 4602 NEW BEST:: SOT 229314 SOS 146457 HAS SOPS 82845 HAS SOUS 18392 HAS SOUPS 10201 WITH SCORE 10347.457
AT ITER 4607 NEW BEST:: SOT 229565 SOS 146775 HAS SOPS 83463 HAS SOUS 18312 HAS SOUPS 10176 WITH SCORE 10322.775
AT ITER 4613 NEW BEST:: SOT 229570 SOS 146802 HAS SOPS 83265 HAS SOUS 18326 HAS SOUPS 10164 WITH SCORE 10310.802
AT ITER 4652 NEW BEST:: SOT 229515 SOS 146748 HAS SOPS 83261 HAS SOUS 18329 HAS SOUPS 10163 WITH SCORE 10309.748
AT ITER 4656 NEW BEST:: SOT 229520 SOS 146461 HAS SOPS 82974 HAS SOUS 18315 HAS SOUPS 10149 WITH SCORE 10295.461
AT ITER 4688 NEW BEST:: SOT 229520 SOS 146461 HAS SOPS 82974 HAS SOUS 18306 HAS SOUPS 10144 WITH SCORE 10290.461
AT ITER 4704 NEW BEST:: SOT 229474 SOS 146355 HAS SOPS 82936 HAS SOUS 18300 HAS SOUPS 10142 WITH SCORE 10288.355
AT ITER 4723 NEW BEST:: SOT 229464 SOS 146317 HAS SOPS 82920 HAS SOUS 18292 HAS SOUPS 10136 WITH SCORE 10282.317
AT ITER 4733 NEW BEST:: SOT 229464 SOS 146316 HAS SOPS 82919 HAS SOUS 18292 HAS SOUPS 10136 WITH SCORE 10282.316
AT ITER 4751 NEW BEST:: SOT 229468 SOS 145882 HAS SOPS 82760 HAS SOUS 18249 HAS SOUPS 10118 WITH SCORE 10263.882
AT ITER 4795 NEW BEST:: SOT 229333 SOS 145652 HAS SOPS 82670 HAS SOUS 18229 HAS SOUPS 10108 WITH SCORE 10253.652
AT ITER 4843 NEW BEST:: SOT 229329 SOS 145620 HAS SOPS 82542 HAS SOUS 18237 HAS SOUPS 10104 WITH SCORE 10249.62
AT ITER 4844 NEW BEST:: SOT 229329 SOS 145614 HAS SOPS 82548 HAS SOUS 18236 HAS SOUPS 10104 WITH SCORE 10249.614
AT ITER 4851 NEW BEST:: SOT 229319 SOS 145595 HAS SOPS 82489 HAS SOUS 18222 HAS SOUPS 10085 WITH SCORE 10230.595
AT ITER 4854 NEW BEST:: SOT 229226 SOS 145432 HAS SOPS 82424 HAS SOUS 18206 HAS SOUPS 10076 WITH SCORE 10221.432
AT ITER 4911 NEW BEST:: SOT 229208 SOS 145396 HAS SOPS 82412 HAS SOUS 18203 HAS SOUPS 10073 WITH SCORE 10218.396
AT ITER 4930 NEW BEST:: SOT 229208 SOS 145360 HAS SOPS 82403 HAS SOUS 18196 HAS SOUPS 10066 WITH SCORE 10211.36
AT ITER 4972 NEW BEST:: SOT 229073 SOS 145100 HAS SOPS 82337 HAS SOUS 18156 HAS SOUPS 10056 WITH SCORE 10201.1
AT ITER 5036 NEW BEST:: SOT 229064 SOS 145091 HAS SOPS 82337 HAS SOUS 18156 HAS SOUPS 10056 WITH SCORE 10201.091
AT ITER 5046 NEW BEST:: SOT 229062 SOS 145267 HAS SOPS 82480 HAS SOUS 18157 HAS SOUPS 10054 WITH SCORE 10199.267
AT ITER 5067 NEW BEST:: SOT 229043 SOS 145248 HAS SOPS 82480 HAS SOUS 18157 HAS SOUPS 10054 WITH SCORE 10199.248
AT ITER 5073 NEW BEST:: SOT 229027 SOS 145232 HAS SOPS 82480 HAS SOUS 18157 HAS SOUPS 10054 WITH SCORE 10199.232
AT ITER 5137 NEW BEST:: SOT 229029 SOS 144876 HAS SOPS 82254 HAS SOUS 18149 HAS SOUPS 10046 WITH SCORE 10190.876
AT ITER 5177 NEW BEST:: SOT 229023 SOS 144852 HAS SOPS 82182 HAS SOUS 18149 HAS SOUPS 10040 WITH SCORE 10184.852
AT ITER 5188 NEW BEST:: SOT 228993 SOS 143481 HAS SOPS 81064 HAS SOUS 18119 HAS SOUPS 10033 WITH SCORE 10176.481
AT ITER 5203 NEW BEST:: SOT 228988 SOS 143471 HAS SOPS 81064 HAS SOUS 18114 HAS SOUPS 10033 WITH SCORE 10176.471
AT ITER 5265 NEW BEST:: SOT 229028 SOS 143536 HAS SOPS 81084 HAS SOUS 18112 HAS SOUPS 10031 WITH SCORE 10174.536
AT ITER 5337 NEW BEST:: SOT 229062 SOS 143775 HAS SOPS 81091 HAS SOUS 18125 HAS SOUPS 10015 WITH SCORE 10158.775
AT ITER 5446 NEW BEST:: SOT 228797 SOS 143159 HAS SOPS 80595 HAS SOUS 18100 HAS SOUPS 9990 WITH SCORE 10133.159
AT ITER 5487 NEW BEST:: SOT 228795 SOS 143157 HAS SOPS 80593 HAS SOUS 18098 HAS SOUPS 9988 WITH SCORE 10131.157
AT ITER 5502 NEW BEST:: SOT 228834 SOS 143204 HAS SOPS 80616 HAS SOUS 18097 HAS SOUPS 9987 WITH SCORE 10130.204
AT ITER 5504 NEW BEST:: SOT 228523 SOS 142683 HAS SOPS 80386 HAS SOUS 18067 HAS SOUPS 9957 WITH SCORE 10099.683
AT ITER 5517 NEW BEST:: SOT 228523 SOS 142659 HAS SOPS 80386 HAS SOUS 18064 HAS SOUPS 9957 WITH SCORE 10099.659
AT ITER 5552 NEW BEST:: SOT 228530 SOS 142666 HAS SOPS 80386 HAS SOUS 18037 HAS SOUPS 9942 WITH SCORE 10084.666
AT ITER 5562 NEW BEST:: SOT 228593 SOS 142820 HAS SOPS 80438 HAS SOUS 18012 HAS SOUPS 9926 WITH SCORE 10068.82
AT ITER 5568 NEW BEST:: SOT 228279 SOS 142038 HAS SOPS 80081 HAS SOUS 17960 HAS SOUPS 9899 WITH SCORE 10041.038
AT ITER 5610 NEW BEST:: SOT 228252 SOS 142074 HAS SOPS 80117 HAS SOUS 17953 HAS SOUPS 9892 WITH SCORE 10034.074
AT ITER 5611 NEW BEST:: SOT 228267 SOS 142107 HAS SOPS 80127 HAS SOUS 17950 HAS SOUPS 9884 WITH SCORE 10026.107
AT ITER 5663 NEW BEST:: SOT 228278 SOS 142119 HAS SOPS 80133 HAS SOUS 17948 HAS SOUPS 9882 WITH SCORE 10024.119
AT ITER 5679 NEW BEST:: SOT 228276 SOS 141875 HAS SOPS 79933 HAS SOUS 17942 HAS SOUPS 9880 WITH SCORE 10021.875
AT ITER 5708 NEW BEST:: SOT 228276 SOS 141885 HAS SOPS 79932 HAS SOUS 17942 HAS SOUPS 9879 WITH SCORE 10020.885
AT ITER 5744 NEW BEST:: SOT 228272 SOS 141862 HAS SOPS 79933 HAS SOUS 17939 HAS SOUPS 9879 WITH SCORE 10020.862
AT ITER 5769 NEW BEST:: SOT 228258 SOS 137154 HAS SOPS 75480 HAS SOUS 17932 HAS SOUPS 9872 WITH SCORE 10009.154
AT ITER 5774 NEW BEST:: SOT 228219 SOS 137043 HAS SOPS 75420 HAS SOUS 17923 HAS SOUPS 9866 WITH SCORE 10003.043
AT ITER 5801 NEW BEST:: SOT 228359 SOS 137332 HAS SOPS 75506 HAS SOUS 17922 HAS SOUPS 9856 WITH SCORE 9993.332
AT ITER 5820 NEW BEST:: SOT 228238 SOS 137090 HAS SOPS 75434 HAS SOUS 17911 HAS SOUPS 9855 WITH SCORE 9992.09
AT ITER 5836 NEW BEST:: SOT 228216 SOS 136974 HAS SOPS 75414 HAS SOUS 17865 HAS SOUPS 9821 WITH SCORE 9957.974
AT ITER 5909 NEW BEST:: SOT 228215 SOS 136973 HAS SOPS 75414 HAS SOUS 17865 HAS SOUPS 9821 WITH SCORE 9957.973
AT ITER 5917 NEW BEST:: SOT 228218 SOS 136934 HAS SOPS 75423 HAS SOUS 17859 HAS SOUPS 9821 WITH SCORE 9957.934
AT ITER 5919 NEW BEST:: SOT 228212 SOS 136916 HAS SOPS 75405 HAS SOUS 17857 HAS SOUPS 9819 WITH SCORE 9955.916
AT ITER 5951 NEW BEST:: SOT 228242 SOS 136986 HAS SOPS 75425 HAS SOUS 17847 HAS SOUPS 9799 WITH SCORE 9935.986
AT ITER 5976 NEW BEST:: SOT 228237 SOS 137028 HAS SOPS 75423 HAS SOUS 17849 HAS SOUPS 9797 WITH SCORE 9934.028
AT ITER 6028 NEW BEST:: SOT 228137 SOS 136853 HAS SOPS 75373 HAS SOUS 17824 HAS SOUPS 9797 WITH SCORE 9933.853
AT ITER 6034 NEW BEST:: SOT 227806 SOS 136270 HAS SOPS 74980 HAS SOUS 17805 HAS SOUPS 9778 WITH SCORE 9914.27
AT ITER 6051 NEW BEST:: SOT 227849 SOS 136720 HAS SOPS 75274 HAS SOUS 17782 HAS SOUPS 9755 WITH SCORE 9891.72
AT ITER 6062 NEW BEST:: SOT 227866 SOS 136731 HAS SOPS 75285 HAS SOUS 17775 HAS SOUPS 9748 WITH SCORE 9884.731
AT ITER 6067 NEW BEST:: SOT 227859 SOS 136715 HAS SOPS 75270 HAS SOUS 17776 HAS SOUPS 9748 WITH SCORE 9884.715
AT ITER 6151 NEW BEST:: SOT 227898 SOS 135730 HAS SOPS 74357 HAS SOUS 17775 HAS SOUPS 9747 WITH SCORE 9882.73
AT ITER 6190 NEW BEST:: SOT 227894 SOS 135738 HAS SOPS 74353 HAS SOUS 17767 HAS SOUPS 9739 WITH SCORE 9874.738
AT ITER 6201 NEW BEST:: SOT 226968 SOS 132851 HAS SOPS 71593 HAS SOUS 17817 HAS SOUPS 9739 WITH SCORE 9871.851
AT ITER 6224 NEW BEST:: SOT 226960 SOS 132603 HAS SOPS 71389 HAS SOUS 17801 HAS SOUPS 9727 WITH SCORE 9859.603
AT ITER 6290 NEW BEST:: SOT 226965 SOS 132621 HAS SOPS 71407 HAS SOUS 17794 HAS SOUPS 9720 WITH SCORE 9852.621
AT ITER 6309 NEW BEST:: SOT 226941 SOS 132858 HAS SOPS 71529 HAS SOUS 17789 HAS SOUPS 9715 WITH SCORE 9847.858
AT ITER 6341 NEW BEST:: SOT 226941 SOS 132866 HAS SOPS 71515 HAS SOUS 17789 HAS SOUPS 9713 WITH SCORE 9845.866
AT ITER 6348 NEW BEST:: SOT 226941 SOS 132800 HAS SOPS 71449 HAS SOUS 17789 HAS SOUPS 9713 WITH SCORE 9845.8
AT ITER 6382 NEW BEST:: SOT 226453 SOS 131877 HAS SOPS 70609 HAS SOUS 17773 HAS SOUPS 9660 WITH SCORE 9791.877
AT ITER 6408 NEW BEST:: SOT 226397 SOS 131713 HAS SOPS 70700 HAS SOUS 17712 HAS SOUPS 9630 WITH SCORE 9761.713
AT ITER 6427 NEW BEST:: SOT 226583 SOS 132058 HAS SOPS 70813 HAS SOUS 17734 HAS SOUPS 9629 WITH SCORE 9761.058
AT ITER 6460 NEW BEST:: SOT 226058 SOS 131265 HAS SOPS 69896 HAS SOUS 17757 HAS SOUPS 9611 WITH SCORE 9742.265
AT ITER 6471 NEW BEST:: SOT 225861 SOS 130786 HAS SOPS 69696 HAS SOUS 17726 HAS SOUPS 9595 WITH SCORE 9725.786
AT ITER 6479 NEW BEST:: SOT 225867 SOS 130679 HAS SOPS 69582 HAS SOUS 17722 HAS SOUPS 9591 WITH SCORE 9721.679
AT ITER 6545 NEW BEST:: SOT 225867 SOS 130679 HAS SOPS 69582 HAS SOUS 17713 HAS SOUPS 9586 WITH SCORE 9716.679
AT ITER 6693 NEW BEST:: SOT 225568 SOS 130269 HAS SOPS 69310 HAS SOUS 17701 HAS SOUPS 9574 WITH SCORE 9704.269
AT ITER 6700 NEW BEST:: SOT 225585 SOS 130433 HAS SOPS 69408 HAS SOUS 17697 HAS SOUPS 9570 WITH SCORE 9700.433
AT ITER 6702 NEW BEST:: SOT 225621 SOS 130513 HAS SOPS 69432 HAS SOUS 17695 HAS SOUPS 9564 WITH SCORE 9694.513
AT ITER 6704 NEW BEST:: SOT 225621 SOS 130498 HAS SOPS 69420 HAS SOUS 17694 HAS SOUPS 9563 WITH SCORE 9693.498
AT ITER 6706 NEW BEST:: SOT 225622 SOS 130526 HAS SOPS 69455 HAS SOUS 17691 HAS SOUPS 9560 WITH SCORE 9690.526
AT ITER 6740 NEW BEST:: SOT 225526 SOS 130362 HAS SOPS 69389 HAS SOUS 17672 HAS SOUPS 9548 WITH SCORE 9678.362
AT ITER 6756 NEW BEST:: SOT 225505 SOS 130341 HAS SOPS 69389 HAS SOUS 17672 HAS SOUPS 9548 WITH SCORE 9678.341
AT ITER 6767 NEW BEST:: SOT 225494 SOS 130324 HAS SOPS 69382 HAS SOUS 17666 HAS SOUPS 9544 WITH SCORE 9674.324
AT ITER 6835 NEW BEST:: SOT 226703 SOS 132762 HAS SOPS 70097 HAS SOUS 17705 HAS SOUPS 9517 WITH SCORE 9649.762
AT ITER 6841 NEW BEST:: SOT 226697 SOS 132756 HAS SOPS 70091 HAS SOUS 17696 HAS SOUPS 9512 WITH SCORE 9644.756
AT ITER 6855 NEW BEST:: SOT 226651 SOS 132658 HAS SOPS 70061 HAS SOUS 17690 HAS SOUPS 9510 WITH SCORE 9642.658
AT ITER 6863 NEW BEST:: SOT 226654 SOS 132747 HAS SOPS 70150 HAS SOUS 17685 HAS SOUPS 9505 WITH SCORE 9637.747
AT ITER 6920 NEW BEST:: SOT 226658 SOS 132751 HAS SOPS 70149 HAS SOUS 17681 HAS SOUPS 9501 WITH SCORE 9633.751
AT ITER 6925 NEW BEST:: SOT 226638 SOS 132679 HAS SOPS 70121 HAS SOUS 17665 HAS SOUPS 9489 WITH SCORE 9621.679
AT ITER 6993 NEW BEST:: SOT 226662 SOS 132735 HAS SOPS 70150 HAS SOUS 17641 HAS SOUPS 9451 WITH SCORE 9583.735
AT ITER 6995 NEW BEST:: SOT 226425 SOS 132049 HAS SOPS 69748 HAS SOUS 17594 HAS SOUPS 9397 WITH SCORE 9529.049
AT ITER 7002 NEW BEST:: SOT 226424 SOS 132048 HAS SOPS 69747 HAS SOUS 17592 HAS SOUPS 9395 WITH SCORE 9527.048
AT ITER 7013 NEW BEST:: SOT 226415 SOS 132021 HAS SOPS 69720 HAS SOUS 17565 HAS SOUPS 9368 WITH SCORE 9500.021
AT ITER 7014 NEW BEST:: SOT 226414 SOS 132008 HAS SOPS 69707 HAS SOUS 17563 HAS SOUPS 9366 WITH SCORE 9498.008
AT ITER 7026 NEW BEST:: SOT 226288 SOS 131756 HAS SOPS 69509 HAS SOUS 17545 HAS SOUPS 9348 WITH SCORE 9479.756
AT ITER 7038 NEW BEST:: SOT 226279 SOS 131897 HAS SOPS 69617 HAS SOUS 17545 HAS SOUPS 9345 WITH SCORE 9476.897
AT ITER 7068 NEW BEST:: SOT 226244 SOS 131862 HAS SOPS 69617 HAS SOUS 17545 HAS SOUPS 9345 WITH SCORE 9476.862
AT ITER 7082 NEW BEST:: SOT 226242 SOS 131851 HAS SOPS 69614 HAS SOUS 17544 HAS SOUPS 9345 WITH SCORE 9476.851
AT ITER 7090 NEW BEST:: SOT 226238 SOS 131843 HAS SOPS 69606 HAS SOUS 17541 HAS SOUPS 9342 WITH SCORE 9473.843
AT ITER 7099 NEW BEST:: SOT 226237 SOS 131572 HAS SOPS 69401 HAS SOUS 17516 HAS SOUPS 9323 WITH SCORE 9454.572
AT ITER 7103 NEW BEST:: SOT 225859 SOS 130844 HAS SOPS 69164 HAS SOUS 17449 HAS SOUPS 9297 WITH SCORE 9427.844
AT ITER 7118 NEW BEST:: SOT 225859 SOS 130844 HAS SOPS 69122 HAS SOUS 17446 HAS SOUPS 9291 WITH SCORE 9421.844
AT ITER 7138 NEW BEST:: SOT 225851 SOS 130850 HAS SOPS 69073 HAS SOUS 17448 HAS SOUPS 9288 WITH SCORE 9418.85
AT ITER 7154 NEW BEST:: SOT 225859 SOS 130840 HAS SOPS 69073 HAS SOUS 17452 HAS SOUPS 9288 WITH SCORE 9418.84
AT ITER 7159 NEW BEST:: SOT 226170 SOS 131567 HAS SOPS 69695 HAS SOUS 17427 HAS SOUPS 9286 WITH SCORE 9417.567
AT ITER 7171 NEW BEST:: SOT 226173 SOS 131606 HAS SOPS 69811 HAS SOUS 17416 HAS SOUPS 9282 WITH SCORE 9413.606
AT ITER 7199 NEW BEST:: SOT 226183 SOS 131617 HAS SOPS 69816 HAS SOUS 17413 HAS SOUPS 9279 WITH SCORE 9410.617
AT ITER 7228 NEW BEST:: SOT 226179 SOS 131603 HAS SOPS 69810 HAS SOUS 17407 HAS SOUPS 9279 WITH SCORE 9410.603
AT ITER 7241 NEW BEST:: SOT 226093 SOS 131167 HAS SOPS 69737 HAS SOUS 17372 HAS SOUPS 9277 WITH SCORE 9408.167
AT ITER 7293 NEW BEST:: SOT 226047 SOS 131121 HAS SOPS 69737 HAS SOUS 17372 HAS SOUPS 9277 WITH SCORE 9408.121
AT ITER 7296 NEW BEST:: SOT 226039 SOS 131050 HAS SOPS 69666 HAS SOUS 17347 HAS SOUPS 9252 WITH SCORE 9383.05
AT ITER 7344 NEW BEST:: SOT 226015 SOS 131008 HAS SOPS 69650 HAS SOUS 17345 HAS SOUPS 9252 WITH SCORE 9383.008
AT ITER 7363 NEW BEST:: SOT 226012 SOS 130990 HAS SOPS 69584 HAS SOUS 17348 HAS SOUPS 9249 WITH SCORE 9379.99
AT ITER 7374 NEW BEST:: SOT 226056 SOS 131066 HAS SOPS 69608 HAS SOUS 17344 HAS SOUPS 9241 WITH SCORE 9372.066
AT ITER 7423 NEW BEST:: SOT 226067 SOS 131124 HAS SOPS 69612 HAS SOUS 17337 HAS SOUPS 9234 WITH SCORE 9365.124
AT ITER 7425 NEW BEST:: SOT 226062 SOS 131365 HAS SOPS 69809 HAS SOUS 17336 HAS SOUPS 9229 WITH SCORE 9360.365
AT ITER 7549 NEW BEST:: SOT 226062 SOS 131365 HAS SOPS 69809 HAS SOUS 17327 HAS SOUPS 9224 WITH SCORE 9355.365
AT ITER 7584 NEW BEST:: SOT 225794 SOS 130623 HAS SOPS 69439 HAS SOUS 17275 HAS SOUPS 9190 WITH SCORE 9320.623
AT ITER 7591 NEW BEST:: SOT 225794 SOS 130623 HAS SOPS 69439 HAS SOUS 17266 HAS SOUPS 9185 WITH SCORE 9315.623
AT ITER 7595 NEW BEST:: SOT 225798 SOS 130655 HAS SOPS 69439 HAS SOUS 17268 HAS SOUPS 9183 WITH SCORE 9313.655
AT ITER 7602 NEW BEST:: SOT 225793 SOS 130579 HAS SOPS 69363 HAS SOUS 17267 HAS SOUPS 9182 WITH SCORE 9312.579
AT ITER 7686 NEW BEST:: SOT 224604 SOS 128104 HAS SOPS 68619 HAS SOUS 17219 HAS SOUPS 9179 WITH SCORE 9307.104
AT ITER 7764 NEW BEST:: SOT 224438 SOS 127751 HAS SOPS 68512 HAS SOUS 17192 HAS SOUPS 9168 WITH SCORE 9295.751
AT ITER 7822 NEW BEST:: SOT 224422 SOS 127791 HAS SOPS 68560 HAS SOUS 17186 HAS SOUPS 9165 WITH SCORE 9292.791
AT ITER 7878 NEW BEST:: SOT 224411 SOS 127681 HAS SOPS 68538 HAS SOUS 17165 HAS SOUPS 9152 WITH SCORE 9279.681
AT ITER 7890 NEW BEST:: SOT 224410 SOS 127680 HAS SOPS 68538 HAS SOUS 17165 HAS SOUPS 9152 WITH SCORE 9279.68
AT ITER 7891 NEW BEST:: SOT 224422 SOS 127692 HAS SOPS 68536 HAS SOUS 17163 HAS SOUPS 9150 WITH SCORE 9277.692
AT ITER 7906 NEW BEST:: SOT 224457 SOS 127486 HAS SOPS 68438 HAS SOUS 17144 HAS SOUPS 9137 WITH SCORE 9264.486
AT ITER 8005 NEW BEST:: SOT 224459 SOS 127485 HAS SOPS 68438 HAS SOUS 17145 HAS SOUPS 9137 WITH SCORE 9264.485
AT ITER 8067 NEW BEST:: SOT 224480 SOS 127549 HAS SOPS 68502 HAS SOUS 17144 HAS SOUPS 9136 WITH SCORE 9263.549
AT ITER 8149 NEW BEST:: SOT 224450 SOS 127489 HAS SOPS 68482 HAS SOUS 17134 HAS SOUPS 9136 WITH SCORE 9263.489
AT ITER 8244 NEW BEST:: SOT 224406 SOS 127271 HAS SOPS 68373 HAS SOUS 17111 HAS SOUPS 9134 WITH SCORE 9261.271
AT ITER 8265 NEW BEST:: SOT 224387 SOS 127289 HAS SOPS 68279 HAS SOUS 17102 HAS SOUPS 9111 WITH SCORE 9238.289
AT ITER 8269 NEW BEST:: SOT 224407 SOS 127283 HAS SOPS 68280 HAS SOUS 17095 HAS SOUPS 9094 WITH SCORE 9221.283
AT ITER 8284 NEW BEST:: SOT 224926 SOS 128267 HAS SOPS 68595 HAS SOUS 17131 HAS SOUPS 9077 WITH SCORE 9205.267
AT ITER 8292 NEW BEST:: SOT 224922 SOS 128251 HAS SOPS 68579 HAS SOUS 17125 HAS SOUPS 9071 WITH SCORE 9199.251
AT ITER 8309 NEW BEST:: SOT 224923 SOS 128215 HAS SOPS 68543 HAS SOUS 17124 HAS SOUPS 9070 WITH SCORE 9198.215
AT ITER 8312 NEW BEST:: SOT 224893 SOS 128170 HAS SOPS 68528 HAS SOUS 17108 HAS SOUPS 9069 WITH SCORE 9197.17
AT ITER 8371 NEW BEST:: SOT 224950 SOS 128229 HAS SOPS 68562 HAS SOUS 17102 HAS SOUPS 9063 WITH SCORE 9191.229
AT ITER 8377 NEW BEST:: SOT 224946 SOS 128223 HAS SOPS 68560 HAS SOUS 17098 HAS SOUPS 9061 WITH SCORE 9189.223
AT ITER 8397 NEW BEST:: SOT 224958 SOS 128267 HAS SOPS 68572 HAS SOUS 17066 HAS SOUPS 9041 WITH SCORE 9169.267
AT ITER 8407 NEW BEST:: SOT 224951 SOS 128260 HAS SOPS 68572 HAS SOUS 17066 HAS SOUPS 9041 WITH SCORE 9169.26
AT ITER 8457 NEW BEST:: SOT 225005 SOS 128368 HAS SOPS 68608 HAS SOUS 17075 HAS SOUPS 9036 WITH SCORE 9164.368
AT ITER 8495 NEW BEST:: SOT 224979 SOS 128303 HAS SOPS 68554 HAS SOUS 17069 HAS SOUPS 9030 WITH SCORE 9158.303
AT ITER 8576 NEW BEST:: SOT 224799 SOS 127943 HAS SOPS 68446 HAS SOUS 17051 HAS SOUPS 9030 WITH SCORE 9157.943
AT ITER 8684 NEW BEST:: SOT 224791 SOS 127895 HAS SOPS 68442 HAS SOUS 17043 HAS SOUPS 9026 WITH SCORE 9153.895
AT ITER 8701 NEW BEST:: SOT 224792 SOS 127855 HAS SOPS 68405 HAS SOUS 17041 HAS SOUPS 9024 WITH SCORE 9151.855
AT ITER 8718 NEW BEST:: SOT 224782 SOS 127895 HAS SOPS 68423 HAS SOUS 17035 HAS SOUPS 9012 WITH SCORE 9139.895
AT ITER 8975 NEW BEST:: SOT 224782 SOS 127895 HAS SOPS 68423 HAS SOUS 17008 HAS SOUPS 8997 WITH SCORE 9124.895
AT ITER 8978 NEW BEST:: SOT 224780 SOS 127867 HAS SOPS 68417 HAS SOUS 17006 HAS SOUPS 8997 WITH SCORE 9124.867
AT ITER 8987 NEW BEST:: SOT 224788 SOS 127885 HAS SOPS 68422 HAS SOUS 17002 HAS SOUPS 8994 WITH SCORE 9121.885
AT ITER 9046 NEW BEST:: SOT 224793 SOS 127452 HAS SOPS 68055 HAS SOUS 16987 HAS SOUPS 8985 WITH SCORE 9112.452
AT ITER 9188 NEW BEST:: SOT 224751 SOS 126920 HAS SOPS 67611 HAS SOUS 16989 HAS SOUPS 8980 WITH SCORE 9106.92
AT ITER 9204 NEW BEST:: SOT 224734 SOS 126856 HAS SOPS 67547 HAS SOUS 16985 HAS SOUPS 8976 WITH SCORE 9102.856
AT ITER 9229 NEW BEST:: SOT 224724 SOS 126842 HAS SOPS 67509 HAS SOUS 16984 HAS SOUPS 8972 WITH SCORE 9098.842
AT ITER 9277 NEW BEST:: SOT 224724 SOS 126842 HAS SOPS 67509 HAS SOUS 16977 HAS SOUPS 8965 WITH SCORE 9091.842
AT ITER 9301 NEW BEST:: SOT 224717 SOS 126835 HAS SOPS 67509 HAS SOUS 16977 HAS SOUPS 8965 WITH SCORE 9091.835
AT ITER 9324 NEW BEST:: SOT 224723 SOS 126791 HAS SOPS 67491 HAS SOUS 16974 HAS SOUPS 8962 WITH SCORE 9088.791
AT ITER 9359 NEW BEST:: SOT 224708 SOS 126684 HAS SOPS 67472 HAS SOUS 16960 HAS SOUPS 8959 WITH SCORE 9085.684
AT ITER 9375 NEW BEST:: SOT 224709 SOS 126788 HAS SOPS 67466 HAS SOUS 16960 HAS SOUPS 8949 WITH SCORE 9075.788
AT ITER 9507 NEW BEST:: SOT 224709 SOS 126788 HAS SOPS 67466 HAS SOUS 16958 HAS SOUPS 8947 WITH SCORE 9073.788
AT ITER 9539 NEW BEST:: SOT 224716 SOS 126787 HAS SOPS 67457 HAS SOUS 16953 HAS SOUPS 8938 WITH SCORE 9064.787
AT ITER 9699 NEW BEST:: SOT 224724 SOS 126237 HAS SOPS 66883 HAS SOUS 16951 HAS SOUPS 8936 WITH SCORE 9062.237
AT ITER 9851 NEW BEST:: SOT 224717 SOS 126239 HAS SOPS 66873 HAS SOUS 16944 HAS SOUPS 8929 WITH SCORE 9055.239
AT ITER 9852 NEW BEST:: SOT 224714 SOS 126237 HAS SOPS 66871 HAS SOUS 16944 HAS SOUPS 8929 WITH SCORE 9055.237
AT ITER 9913 NEW BEST:: SOT 224975 SOS 126733 HAS SOPS 67023 HAS SOUS 16971 HAS SOUPS 8926 WITH SCORE 9052.733
STATE_SPACE STATES 240100000001 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 132 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 41489280000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393916 kB
MemFree: 7838156 kB
After kill :
MemTotal: 16393916 kB
MemFree: 16155540 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="DLCround-PT-07a"
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 DLCround-PT-07a, 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 r099-tall-167814472700688"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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