Execution Chart

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

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2020-input.r048-ebro-158902542300488.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.........................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool smart
Input is DLCround-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r048-ebro-158902542300488
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 428K
-rw-r--r-- 1 mcc users 3.3K Mar 30 18:50 CTLCardinality.txt
-rw-r--r-- 1 mcc users 19K Mar 30 18:50 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 29 08:48 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 29 08:48 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.2K Apr 8 14:50 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 1.9K Apr 8 14:50 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.8K Mar 28 04:41 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Mar 28 04:41 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Mar 26 23:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 14K Mar 26 23:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 28 14:49 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Mar 28 14:49 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 259K Mar 24 05:37 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 1589124450409

======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running DLCround (PT), instance 05a
Examination StateSpace
Parser /home/mcc/BenchKit/bin/parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin/main/smart

Filename model.pnml
Petri model created: 167 places, 1055 transitions, 3985 arcs.
AT ITER 0 NEW BEST:: SOT 117369 SOS 92878 HAS SOPS 56439 HAS SOUS 16646 HAS SOUPS 11230 WITH SCORE 11322.878
AT ITER 10 NEW BEST:: SOT 117158 SOS 92686 HAS SOPS 56247 HAS SOUS 16435 HAS SOUPS 11019 WITH SCORE 11111.686
AT ITER 17 NEW BEST:: SOT 116617 SOS 91600 HAS SOPS 55683 HAS SOUS 15843 HAS SOUPS 10444 WITH SCORE 10535.6
AT ITER 20 NEW BEST:: SOT 116523 SOS 91508 HAS SOPS 55539 HAS SOUS 15727 HAS SOUPS 10300 WITH SCORE 10391.508
AT ITER 27 NEW BEST:: SOT 116369 SOS 92110 HAS SOPS 55757 HAS SOUS 15617 HAS SOUPS 10190 WITH SCORE 10282.11
AT ITER 32 NEW BEST:: SOT 116319 SOS 91344 HAS SOPS 55324 HAS SOUS 15573 HAS SOUPS 10183 WITH SCORE 10274.344
AT ITER 33 NEW BEST:: SOT 116787 SOS 91079 HAS SOPS 55434 HAS SOUS 15906 HAS SOUPS 10170 WITH SCORE 10261.079
AT ITER 34 NEW BEST:: SOT 116744 SOS 90153 HAS SOPS 54967 HAS SOUS 15831 HAS SOUPS 10146 WITH SCORE 10236.153
AT ITER 45 NEW BEST:: SOT 116735 SOS 90063 HAS SOPS 54877 HAS SOUS 15822 HAS SOUPS 10137 WITH SCORE 10227.063
AT ITER 48 NEW BEST:: SOT 116705 SOS 90003 HAS SOPS 55003 HAS SOUS 15761 HAS SOUPS 10107 WITH SCORE 10197.003
AT ITER 49 NEW BEST:: SOT 116468 SOS 89837 HAS SOPS 54837 HAS SOUS 15271 HAS SOUPS 9617 WITH SCORE 9706.837
AT ITER 54 NEW BEST:: SOT 115678 SOS 88204 HAS SOPS 54184 HAS SOUS 15257 HAS SOUPS 9560 WITH SCORE 9648.204
AT ITER 55 NEW BEST:: SOT 115619 SOS 89506 HAS SOPS 54937 HAS SOUS 15238 HAS SOUPS 9541 WITH SCORE 9630.506
AT ITER 57 NEW BEST:: SOT 115715 SOS 89653 HAS SOPS 54859 HAS SOUS 15217 HAS SOUPS 9339 WITH SCORE 9428.653
AT ITER 60 NEW BEST:: SOT 115151 SOS 89422 HAS SOPS 54820 HAS SOUS 14808 HAS SOUPS 9339 WITH SCORE 9428.422
AT ITER 63 NEW BEST:: SOT 115151 SOS 89422 HAS SOPS 54786 HAS SOUS 14802 HAS SOUPS 9333 WITH SCORE 9422.422
AT ITER 66 NEW BEST:: SOT 114940 SOS 89065 HAS SOPS 54754 HAS SOUS 14733 HAS SOUPS 9264 WITH SCORE 9353.065
AT ITER 69 NEW BEST:: SOT 115176 SOS 89396 HAS SOPS 55085 HAS SOUS 14536 HAS SOUPS 9067 WITH SCORE 9156.396
AT ITER 70 NEW BEST:: SOT 115162 SOS 89256 HAS SOPS 55071 HAS SOUS 14508 HAS SOUPS 9053 WITH SCORE 9142.256
AT ITER 71 NEW BEST:: SOT 115128 SOS 88328 HAS SOPS 54143 HAS SOUS 14477 HAS SOUPS 9022 WITH SCORE 9110.328
AT ITER 87 NEW BEST:: SOT 114311 SOS 86960 HAS SOPS 53255 HAS SOUS 14049 HAS SOUPS 8614 WITH SCORE 8700.96
AT ITER 88 NEW BEST:: SOT 114288 SOS 86751 HAS SOPS 53046 HAS SOUS 14042 HAS SOUPS 8607 WITH SCORE 8693.751
AT ITER 107 NEW BEST:: SOT 114288 SOS 86751 HAS SOPS 53046 HAS SOUS 14030 HAS SOUPS 8595 WITH SCORE 8681.751
AT ITER 115 NEW BEST:: SOT 114277 SOS 86729 HAS SOPS 53046 HAS SOUS 14012 HAS SOUPS 8595 WITH SCORE 8681.729
AT ITER 128 NEW BEST:: SOT 114271 SOS 86723 HAS SOPS 53040 HAS SOUS 14007 HAS SOUPS 8590 WITH SCORE 8676.723
AT ITER 139 NEW BEST:: SOT 114301 SOS 86193 HAS SOPS 52897 HAS SOUS 13895 HAS SOUPS 8521 WITH SCORE 8607.193
AT ITER 143 NEW BEST:: SOT 114286 SOS 86019 HAS SOPS 52885 HAS SOUS 13847 HAS SOUPS 8491 WITH SCORE 8577.019
AT ITER 146 NEW BEST:: SOT 114235 SOS 85251 HAS SOPS 52450 HAS SOUS 13760 HAS SOUPS 8441 WITH SCORE 8526.251
AT ITER 150 NEW BEST:: SOT 114223 SOS 84750 HAS SOPS 51949 HAS SOUS 13751 HAS SOUPS 8432 WITH SCORE 8516.75
AT ITER 151 NEW BEST:: SOT 114223 SOS 84748 HAS SOPS 51947 HAS SOUS 13751 HAS SOUPS 8432 WITH SCORE 8516.748
AT ITER 164 NEW BEST:: SOT 114176 SOS 84558 HAS SOPS 51899 HAS SOUS 13661 HAS SOUPS 8365 WITH SCORE 8449.558
AT ITER 176 NEW BEST:: SOT 114356 SOS 84738 HAS SOPS 51899 HAS SOUS 13679 HAS SOUPS 8247 WITH SCORE 8331.738
AT ITER 196 NEW BEST:: SOT 114326 SOS 84408 HAS SOPS 51794 HAS SOUS 13637 HAS SOUPS 8230 WITH SCORE 8314.408
AT ITER 204 NEW BEST:: SOT 114342 SOS 84326 HAS SOPS 51742 HAS SOUS 13598 HAS SOUPS 8191 WITH SCORE 8275.326
AT ITER 220 NEW BEST:: SOT 114360 SOS 84507 HAS SOPS 51923 HAS SOUS 13541 HAS SOUPS 8134 WITH SCORE 8218.507
AT ITER 221 NEW BEST:: SOT 114675 SOS 84822 HAS SOPS 52013 HAS SOUS 13451 HAS SOUPS 8044 WITH SCORE 8128.822
AT ITER 226 NEW BEST:: SOT 114841 SOS 85004 HAS SOPS 52045 HAS SOUS 13539 HAS SOUPS 8012 WITH SCORE 8097.004
AT ITER 227 NEW BEST:: SOT 114770 SOS 84900 HAS SOPS 52007 HAS SOUS 13480 HAS SOUPS 7986 WITH SCORE 8070.9
AT ITER 228 NEW BEST:: SOT 114766 SOS 84890 HAS SOPS 52001 HAS SOUS 13478 HAS SOUPS 7984 WITH SCORE 8068.89
AT ITER 246 NEW BEST:: SOT 114755 SOS 84868 HAS SOPS 51781 HAS SOUS 13496 HAS SOUPS 7969 WITH SCORE 8053.868
AT ITER 254 NEW BEST:: SOT 114783 SOS 84896 HAS SOPS 51789 HAS SOUS 13492 HAS SOUPS 7965 WITH SCORE 8049.896
AT ITER 274 NEW BEST:: SOT 114783 SOS 84896 HAS SOPS 51789 HAS SOUS 13465 HAS SOUPS 7950 WITH SCORE 8034.896
AT ITER 278 NEW BEST:: SOT 114904 SOS 81421 HAS SOPS 48935 HAS SOUS 13373 HAS SOUPS 7927 WITH SCORE 8008.421
AT ITER 283 NEW BEST:: SOT 114923 SOS 81312 HAS SOPS 48952 HAS SOUS 13347 HAS SOUPS 7922 WITH SCORE 8003.312
AT ITER 292 NEW BEST:: SOT 114896 SOS 81279 HAS SOPS 48934 HAS SOUS 13347 HAS SOUPS 7922 WITH SCORE 8003.279
AT ITER 299 NEW BEST:: SOT 115215 SOS 81602 HAS SOPS 49107 HAS SOUS 13280 HAS SOUPS 7855 WITH SCORE 7936.602
AT ITER 301 NEW BEST:: SOT 115202 SOS 81576 HAS SOPS 49107 HAS SOUS 13251 HAS SOUPS 7855 WITH SCORE 7936.576
AT ITER 304 NEW BEST:: SOT 115307 SOS 81696 HAS SOPS 49197 HAS SOUS 13263 HAS SOUPS 7853 WITH SCORE 7934.696
AT ITER 317 NEW BEST:: SOT 115675 SOS 82144 HAS SOPS 49405 HAS SOUS 13230 HAS SOUPS 7804 WITH SCORE 7886.144
AT ITER 320 NEW BEST:: SOT 115675 SOS 82144 HAS SOPS 49405 HAS SOUS 13224 HAS SOUPS 7800 WITH SCORE 7882.144
AT ITER 322 NEW BEST:: SOT 115669 SOS 82135 HAS SOPS 49399 HAS SOUS 13221 HAS SOUPS 7800 WITH SCORE 7882.135
AT ITER 324 NEW BEST:: SOT 115545 SOS 81995 HAS SOPS 49291 HAS SOUS 13210 HAS SOUPS 7796 WITH SCORE 7877.995
AT ITER 325 NEW BEST:: SOT 115767 SOS 82265 HAS SOPS 49417 HAS SOUS 13168 HAS SOUPS 7754 WITH SCORE 7836.265
AT ITER 338 NEW BEST:: SOT 115776 SOS 82323 HAS SOPS 49415 HAS SOUS 13167 HAS SOUPS 7743 WITH SCORE 7825.323
AT ITER 349 NEW BEST:: SOT 115749 SOS 82141 HAS SOPS 49377 HAS SOUS 13145 HAS SOUPS 7737 WITH SCORE 7819.141
AT ITER 357 NEW BEST:: SOT 115753 SOS 82160 HAS SOPS 49377 HAS SOUS 13117 HAS SOUPS 7735 WITH SCORE 7817.16
AT ITER 358 NEW BEST:: SOT 115870 SOS 82329 HAS SOPS 49455 HAS SOUS 13078 HAS SOUPS 7709 WITH SCORE 7791.329
AT ITER 367 NEW BEST:: SOT 115834 SOS 82293 HAS SOPS 49419 HAS SOUS 13078 HAS SOUPS 7709 WITH SCORE 7791.293
AT ITER 369 NEW BEST:: SOT 115701 SOS 82252 HAS SOPS 49449 HAS SOUS 12975 HAS SOUPS 7709 WITH SCORE 7791.252
AT ITER 391 NEW BEST:: SOT 115688 SOS 82095 HAS SOPS 49292 HAS SOUS 12972 HAS SOUPS 7706 WITH SCORE 7788.095
AT ITER 396 NEW BEST:: SOT 115685 SOS 82017 HAS SOPS 49214 HAS SOUS 12960 HAS SOUPS 7694 WITH SCORE 7776.017
AT ITER 402 NEW BEST:: SOT 115665 SOS 81927 HAS SOPS 49184 HAS SOUS 12940 HAS SOUPS 7684 WITH SCORE 7765.927
AT ITER 410 NEW BEST:: SOT 115554 SOS 81668 HAS SOPS 48925 HAS SOUS 12783 HAS SOUPS 7527 WITH SCORE 7608.668
AT ITER 411 NEW BEST:: SOT 115006 SOS 80817 HAS SOPS 48602 HAS SOUS 12719 HAS SOUPS 7507 WITH SCORE 7587.817
AT ITER 417 NEW BEST:: SOT 115003 SOS 80814 HAS SOPS 48599 HAS SOUS 12716 HAS SOUPS 7504 WITH SCORE 7584.814
AT ITER 418 NEW BEST:: SOT 115002 SOS 80794 HAS SOPS 48588 HAS SOUS 12714 HAS SOUPS 7503 WITH SCORE 7583.794
AT ITER 425 NEW BEST:: SOT 115004 SOS 80796 HAS SOPS 48562 HAS SOUS 12733 HAS SOUPS 7502 WITH SCORE 7582.796
AT ITER 432 NEW BEST:: SOT 115037 SOS 80812 HAS SOPS 48578 HAS SOUS 12720 HAS SOUPS 7489 WITH SCORE 7569.812
AT ITER 435 NEW BEST:: SOT 115037 SOS 80812 HAS SOPS 48578 HAS SOUS 12729 HAS SOUPS 7487 WITH SCORE 7567.812
AT ITER 436 NEW BEST:: SOT 115035 SOS 80808 HAS SOPS 48578 HAS SOUS 12727 HAS SOUPS 7487 WITH SCORE 7567.808
AT ITER 438 NEW BEST:: SOT 115362 SOS 81189 HAS SOPS 48797 HAS SOUS 12703 HAS SOUPS 7463 WITH SCORE 7544.189
AT ITER 442 NEW BEST:: SOT 115206 SOS 80523 HAS SOPS 48465 HAS SOUS 12695 HAS SOUPS 7451 WITH SCORE 7531.523
AT ITER 447 NEW BEST:: SOT 114910 SOS 80225 HAS SOPS 48171 HAS SOUS 12693 HAS SOUPS 7451 WITH SCORE 7531.225
AT ITER 452 NEW BEST:: SOT 114866 SOS 80181 HAS SOPS 48171 HAS SOUS 12669 HAS SOUPS 7427 WITH SCORE 7507.181
AT ITER 453 NEW BEST:: SOT 114816 SOS 80061 HAS SOPS 48051 HAS SOUS 12649 HAS SOUPS 7407 WITH SCORE 7487.061
AT ITER 520 NEW BEST:: SOT 114654 SOS 79899 HAS SOPS 47889 HAS SOUS 12497 HAS SOUPS 7307 WITH SCORE 7386.899
AT ITER 523 NEW BEST:: SOT 114654 SOS 79861 HAS SOPS 47847 HAS SOUS 12486 HAS SOUPS 7296 WITH SCORE 7375.861
AT ITER 524 NEW BEST:: SOT 114556 SOS 79699 HAS SOPS 47781 HAS SOUS 12476 HAS SOUPS 7294 WITH SCORE 7373.699
AT ITER 541 NEW BEST:: SOT 114630 SOS 79858 HAS SOPS 47940 HAS SOUS 12459 HAS SOUPS 7277 WITH SCORE 7356.858
AT ITER 546 NEW BEST:: SOT 114168 SOS 79396 HAS SOPS 47808 HAS SOUS 12391 HAS SOUPS 7269 WITH SCORE 7348.396
AT ITER 551 NEW BEST:: SOT 113777 SOS 78783 HAS SOPS 47569 HAS SOUS 12356 HAS SOUPS 7268 WITH SCORE 7346.783
AT ITER 557 NEW BEST:: SOT 113739 SOS 78849 HAS SOPS 47437 HAS SOUS 12346 HAS SOUPS 7236 WITH SCORE 7314.849
AT ITER 585 NEW BEST:: SOT 113727 SOS 78777 HAS SOPS 47293 HAS SOUS 12346 HAS SOUPS 7224 WITH SCORE 7302.777
AT ITER 589 NEW BEST:: SOT 113708 SOS 78449 HAS SOPS 47226 HAS SOUS 12308 HAS SOUPS 7215 WITH SCORE 7293.449
AT ITER 595 NEW BEST:: SOT 113707 SOS 78447 HAS SOPS 47224 HAS SOUS 12306 HAS SOUPS 7213 WITH SCORE 7291.447
AT ITER 599 NEW BEST:: SOT 112989 SOS 77312 HAS SOPS 46756 HAS SOUS 12255 HAS SOUPS 7212 WITH SCORE 7289.312
AT ITER 613 NEW BEST:: SOT 112812 SOS 77085 HAS SOPS 46613 HAS SOUS 12244 HAS SOUPS 7201 WITH SCORE 7278.085
AT ITER 616 NEW BEST:: SOT 112796 SOS 76973 HAS SOPS 46597 HAS SOUS 12221 HAS SOUPS 7194 WITH SCORE 7270.973
AT ITER 650 NEW BEST:: SOT 112761 SOS 76892 HAS SOPS 46558 HAS SOUS 12186 HAS SOUPS 7173 WITH SCORE 7249.892
AT ITER 674 NEW BEST:: SOT 112754 SOS 76740 HAS SOPS 46451 HAS SOUS 12176 HAS SOUPS 7163 WITH SCORE 7239.74
AT ITER 680 NEW BEST:: SOT 112767 SOS 76753 HAS SOPS 46446 HAS SOUS 12175 HAS SOUPS 7162 WITH SCORE 7238.753
AT ITER 697 NEW BEST:: SOT 112782 SOS 76768 HAS SOPS 46437 HAS SOUS 12170 HAS SOUPS 7157 WITH SCORE 7233.768
AT ITER 700 NEW BEST:: SOT 112755 SOS 76634 HAS SOPS 46303 HAS SOUS 12156 HAS SOUPS 7143 WITH SCORE 7219.634
AT ITER 718 NEW BEST:: SOT 112738 SOS 76617 HAS SOPS 46303 HAS SOUS 12156 HAS SOUPS 7143 WITH SCORE 7219.617
AT ITER 721 NEW BEST:: SOT 112606 SOS 76413 HAS SOPS 46231 HAS SOUS 12144 HAS SOUPS 7143 WITH SCORE 7219.413
AT ITER 723 NEW BEST:: SOT 112588 SOS 76296 HAS SOPS 46114 HAS SOUS 12144 HAS SOUPS 7143 WITH SCORE 7219.296
AT ITER 729 NEW BEST:: SOT 112772 SOS 76474 HAS SOPS 46273 HAS SOUS 12131 HAS SOUPS 7132 WITH SCORE 7208.474
AT ITER 753 NEW BEST:: SOT 113041 SOS 76805 HAS SOPS 46424 HAS SOUS 12121 HAS SOUPS 7122 WITH SCORE 7198.805
AT ITER 758 NEW BEST:: SOT 113035 SOS 76218 HAS SOPS 45936 HAS SOUS 12109 HAS SOUPS 7121 WITH SCORE 7197.218
AT ITER 763 NEW BEST:: SOT 113043 SOS 76173 HAS SOPS 45963 HAS SOUS 12101 HAS SOUPS 7121 WITH SCORE 7197.173
AT ITER 767 NEW BEST:: SOT 113048 SOS 76183 HAS SOPS 45963 HAS SOUS 12107 HAS SOUPS 7119 WITH SCORE 7195.183
AT ITER 770 NEW BEST:: SOT 113044 SOS 76187 HAS SOPS 45960 HAS SOUS 12104 HAS SOUPS 7116 WITH SCORE 7192.187
AT ITER 771 NEW BEST:: SOT 113128 SOS 76313 HAS SOPS 46002 HAS SOUS 12108 HAS SOUPS 7113 WITH SCORE 7189.313
AT ITER 798 NEW BEST:: SOT 113135 SOS 76117 HAS SOPS 45932 HAS SOUS 12101 HAS SOUPS 7113 WITH SCORE 7189.117
AT ITER 808 NEW BEST:: SOT 113148 SOS 76039 HAS SOPS 45906 HAS SOUS 12097 HAS SOUPS 7107 WITH SCORE 7183.039
AT ITER 811 NEW BEST:: SOT 113316 SOS 76207 HAS SOPS 45954 HAS SOUS 12109 HAS SOUPS 7103 WITH SCORE 7179.207
AT ITER 814 NEW BEST:: SOT 113225 SOS 76103 HAS SOPS 45876 HAS SOUS 12024 HAS SOUPS 7063 WITH SCORE 7139.103
AT ITER 817 NEW BEST:: SOT 113190 SOS 76050 HAS SOPS 45853 HAS SOUS 12001 HAS SOUPS 7046 WITH SCORE 7122.05
AT ITER 830 NEW BEST:: SOT 113300 SOS 76220 HAS SOPS 45913 HAS SOUS 12010 HAS SOUPS 7041 WITH SCORE 7117.22
AT ITER 871 NEW BEST:: SOT 113299 SOS 76199 HAS SOPS 45892 HAS SOUS 12008 HAS SOUPS 7039 WITH SCORE 7115.199
AT ITER 884 NEW BEST:: SOT 113299 SOS 76189 HAS SOPS 45891 HAS SOUS 12007 HAS SOUPS 7039 WITH SCORE 7115.189
AT ITER 892 NEW BEST:: SOT 113086 SOS 75425 HAS SOPS 45571 HAS SOUS 11969 HAS SOUPS 7017 WITH SCORE 7092.425
AT ITER 893 NEW BEST:: SOT 113090 SOS 75429 HAS SOPS 45555 HAS SOUS 11964 HAS SOUPS 7012 WITH SCORE 7087.429
AT ITER 898 NEW BEST:: SOT 112702 SOS 74808 HAS SOPS 45112 HAS SOUS 11976 HAS SOUPS 7005 WITH SCORE 7079.808
AT ITER 922 NEW BEST:: SOT 112694 SOS 74730 HAS SOPS 45034 HAS SOUS 11947 HAS SOUPS 6976 WITH SCORE 7050.73
AT ITER 943 NEW BEST:: SOT 112706 SOS 73623 HAS SOPS 44593 HAS SOUS 11900 HAS SOUPS 6966 WITH SCORE 7039.623
AT ITER 945 NEW BEST:: SOT 112816 SOS 73788 HAS SOPS 44659 HAS SOUS 11878 HAS SOUPS 6944 WITH SCORE 7017.788
AT ITER 949 NEW BEST:: SOT 112924 SOS 74004 HAS SOPS 44719 HAS SOUS 11849 HAS SOUPS 6915 WITH SCORE 6989.004
AT ITER 966 NEW BEST:: SOT 112929 SOS 74017 HAS SOPS 44721 HAS SOUS 11844 HAS SOUPS 6912 WITH SCORE 6986.017
AT ITER 995 NEW BEST:: SOT 112935 SOS 74029 HAS SOPS 44721 HAS SOUS 11832 HAS SOUPS 6900 WITH SCORE 6974.029
AT ITER 1019 NEW BEST:: SOT 113369 SOS 74463 HAS SOPS 44845 HAS SOUS 11869 HAS SOUPS 6893 WITH SCORE 6967.463
AT ITER 1023 NEW BEST:: SOT 113363 SOS 74397 HAS SOPS 44833 HAS SOUS 11857 HAS SOUPS 6887 WITH SCORE 6961.397
AT ITER 1051 NEW BEST:: SOT 113368 SOS 74392 HAS SOPS 44828 HAS SOUS 11851 HAS SOUPS 6881 WITH SCORE 6955.392
AT ITER 1052 NEW BEST:: SOT 113314 SOS 74338 HAS SOPS 44774 HAS SOUS 11774 HAS SOUPS 6836 WITH SCORE 6910.338
AT ITER 1100 NEW BEST:: SOT 113311 SOS 74234 HAS SOPS 44787 HAS SOUS 11759 HAS SOUPS 6834 WITH SCORE 6908.234
AT ITER 1134 NEW BEST:: SOT 113314 SOS 74180 HAS SOPS 44760 HAS SOUS 11752 HAS SOUPS 6830 WITH SCORE 6904.18
AT ITER 1141 NEW BEST:: SOT 113298 SOS 74148 HAS SOPS 44728 HAS SOUS 11742 HAS SOUPS 6820 WITH SCORE 6894.148
AT ITER 1145 NEW BEST:: SOT 113292 SOS 74168 HAS SOPS 44735 HAS SOUS 11741 HAS SOUPS 6819 WITH SCORE 6893.168
AT ITER 1148 NEW BEST:: SOT 113136 SOS 73601 HAS SOPS 44408 HAS SOUS 11722 HAS SOUPS 6816 WITH SCORE 6889.601
AT ITER 1155 NEW BEST:: SOT 113125 SOS 73708 HAS SOPS 44422 HAS SOUS 11707 HAS SOUPS 6800 WITH SCORE 6873.708
AT ITER 1188 NEW BEST:: SOT 113125 SOS 73720 HAS SOPS 44425 HAS SOUS 11704 HAS SOUPS 6797 WITH SCORE 6870.72
AT ITER 1200 NEW BEST:: SOT 113041 SOS 73589 HAS SOPS 44329 HAS SOUS 11691 HAS SOUPS 6784 WITH SCORE 6857.589
AT ITER 1211 NEW BEST:: SOT 112975 SOS 73487 HAS SOPS 44293 HAS SOUS 11664 HAS SOUPS 6775 WITH SCORE 6848.487
AT ITER 1216 NEW BEST:: SOT 112974 SOS 73484 HAS SOPS 44290 HAS SOUS 11663 HAS SOUPS 6774 WITH SCORE 6847.484
AT ITER 1232 NEW BEST:: SOT 112964 SOS 73439 HAS SOPS 44245 HAS SOUS 11653 HAS SOUPS 6764 WITH SCORE 6837.439
AT ITER 1238 NEW BEST:: SOT 112963 SOS 73473 HAS SOPS 44243 HAS SOUS 11648 HAS SOUPS 6755 WITH SCORE 6828.473
AT ITER 1251 NEW BEST:: SOT 112945 SOS 73473 HAS SOPS 44162 HAS SOUS 11648 HAS SOUPS 6746 WITH SCORE 6819.473
AT ITER 1253 NEW BEST:: SOT 112949 SOS 73499 HAS SOPS 44172 HAS SOUS 11644 HAS SOUPS 6743 WITH SCORE 6816.499
AT ITER 1263 NEW BEST:: SOT 112946 SOS 73123 HAS SOPS 43796 HAS SOUS 11644 HAS SOUPS 6743 WITH SCORE 6816.123
AT ITER 1273 NEW BEST:: SOT 112886 SOS 72963 HAS SOPS 43706 HAS SOUS 11629 HAS SOUPS 6733 WITH SCORE 6805.963
AT ITER 1301 NEW BEST:: SOT 112885 SOS 72944 HAS SOPS 43696 HAS SOUS 11628 HAS SOUPS 6733 WITH SCORE 6805.944
AT ITER 1303 NEW BEST:: SOT 112901 SOS 72883 HAS SOPS 43806 HAS SOUS 11594 HAS SOUPS 6718 WITH SCORE 6790.883
AT ITER 1312 NEW BEST:: SOT 112887 SOS 71798 HAS SOPS 42892 HAS SOUS 11561 HAS SOUPS 6704 WITH SCORE 6775.798
AT ITER 1313 NEW BEST:: SOT 112877 SOS 71778 HAS SOPS 42872 HAS SOUS 11540 HAS SOUPS 6683 WITH SCORE 6754.778
AT ITER 1328 NEW BEST:: SOT 113053 SOS 71954 HAS SOPS 42916 HAS SOUS 11518 HAS SOUPS 6661 WITH SCORE 6732.954
AT ITER 1338 NEW BEST:: SOT 113101 SOS 72026 HAS SOPS 42940 HAS SOUS 11516 HAS SOUPS 6655 WITH SCORE 6727.026
AT ITER 1349 NEW BEST:: SOT 113114 SOS 71978 HAS SOPS 42982 HAS SOUS 11498 HAS SOUPS 6647 WITH SCORE 6718.978
AT ITER 1360 NEW BEST:: SOT 113114 SOS 71978 HAS SOPS 42982 HAS SOUS 11491 HAS SOUPS 6645 WITH SCORE 6716.978
AT ITER 1366 NEW BEST:: SOT 113116 SOS 71984 HAS SOPS 42982 HAS SOUS 11481 HAS SOUPS 6641 WITH SCORE 6712.984
AT ITER 1380 NEW BEST:: SOT 113140 SOS 72032 HAS SOPS 43027 HAS SOUS 11475 HAS SOUPS 6638 WITH SCORE 6710.032
AT ITER 1387 NEW BEST:: SOT 113077 SOS 71969 HAS SOPS 42973 HAS SOUS 11475 HAS SOUPS 6638 WITH SCORE 6709.969
AT ITER 1407 NEW BEST:: SOT 113104 SOS 71996 HAS SOPS 42973 HAS SOUS 11470 HAS SOUPS 6637 WITH SCORE 6708.996
AT ITER 1416 NEW BEST:: SOT 113110 SOS 71890 HAS SOPS 42915 HAS SOUS 11468 HAS SOUPS 6635 WITH SCORE 6706.89
AT ITER 1465 NEW BEST:: SOT 113101 SOS 71854 HAS SOPS 42816 HAS SOUS 11473 HAS SOUPS 6633 WITH SCORE 6704.854
AT ITER 1467 NEW BEST:: SOT 113116 SOS 71887 HAS SOPS 42816 HAS SOUS 11473 HAS SOUPS 6630 WITH SCORE 6701.887
AT ITER 1492 NEW BEST:: SOT 112781 SOS 71347 HAS SOPS 42406 HAS SOUS 11424 HAS SOUPS 6581 WITH SCORE 6652.347
AT ITER 1494 NEW BEST:: SOT 112865 SOS 71473 HAS SOPS 42448 HAS SOUS 11424 HAS SOUPS 6574 WITH SCORE 6645.473
AT ITER 1513 NEW BEST:: SOT 112870 SOS 71428 HAS SOPS 42403 HAS SOUS 11424 HAS SOUPS 6574 WITH SCORE 6645.428
AT ITER 1524 NEW BEST:: SOT 112858 SOS 71416 HAS SOPS 42391 HAS SOUS 11406 HAS SOUPS 6564 WITH SCORE 6635.416
AT ITER 1536 NEW BEST:: SOT 112843 SOS 71266 HAS SOPS 42376 HAS SOUS 11378 HAS SOUPS 6551 WITH SCORE 6622.266
AT ITER 1562 NEW BEST:: SOT 112806 SOS 71218 HAS SOPS 42342 HAS SOUS 11373 HAS SOUPS 6546 WITH SCORE 6617.218
AT ITER 1588 NEW BEST:: SOT 112796 SOS 71201 HAS SOPS 42326 HAS SOUS 11373 HAS SOUPS 6545 WITH SCORE 6616.201
AT ITER 1596 NEW BEST:: SOT 112787 SOS 71223 HAS SOPS 42276 HAS SOUS 11380 HAS SOUPS 6544 WITH SCORE 6615.223
AT ITER 1600 NEW BEST:: SOT 112911 SOS 71493 HAS SOPS 42308 HAS SOUS 11398 HAS SOUPS 6542 WITH SCORE 6613.493
AT ITER 1610 NEW BEST:: SOT 112902 SOS 71427 HAS SOPS 42296 HAS SOUS 11377 HAS SOUPS 6527 WITH SCORE 6598.427
AT ITER 1616 NEW BEST:: SOT 112866 SOS 71391 HAS SOPS 42260 HAS SOUS 11377 HAS SOUPS 6527 WITH SCORE 6598.391
AT ITER 1617 NEW BEST:: SOT 112871 SOS 71449 HAS SOPS 42264 HAS SOUS 11379 HAS SOUPS 6523 WITH SCORE 6594.449
AT ITER 1628 NEW BEST:: SOT 112856 SOS 71479 HAS SOPS 42159 HAS SOUS 11367 HAS SOUPS 6496 WITH SCORE 6567.479
AT ITER 1639 NEW BEST:: SOT 113085 SOS 71837 HAS SOPS 42297 HAS SOUS 11370 HAS SOUPS 6479 WITH SCORE 6550.837
AT ITER 1698 NEW BEST:: SOT 113075 SOS 71827 HAS SOPS 42297 HAS SOUS 11370 HAS SOUPS 6479 WITH SCORE 6550.827
AT ITER 1703 NEW BEST:: SOT 113074 SOS 71825 HAS SOPS 42295 HAS SOUS 11357 HAS SOUPS 6466 WITH SCORE 6537.825
AT ITER 1752 NEW BEST:: SOT 113088 SOS 71895 HAS SOPS 42327 HAS SOUS 11355 HAS SOUPS 6464 WITH SCORE 6535.895
AT ITER 1759 NEW BEST:: SOT 113094 SOS 71881 HAS SOPS 42313 HAS SOUS 11350 HAS SOUPS 6459 WITH SCORE 6530.881
AT ITER 1764 NEW BEST:: SOT 113094 SOS 71881 HAS SOPS 42313 HAS SOUS 11332 HAS SOUPS 6449 WITH SCORE 6520.881
AT ITER 1766 NEW BEST:: SOT 113094 SOS 71879 HAS SOPS 42374 HAS SOUS 11325 HAS SOUPS 6449 WITH SCORE 6520.879
AT ITER 1772 NEW BEST:: SOT 112998 SOS 71703 HAS SOPS 42318 HAS SOUS 11317 HAS SOUPS 6449 WITH SCORE 6520.703
AT ITER 1786 NEW BEST:: SOT 112974 SOS 71811 HAS SOPS 42210 HAS SOUS 11317 HAS SOUPS 6437 WITH SCORE 6508.811
AT ITER 1787 NEW BEST:: SOT 112975 SOS 71813 HAS SOPS 42210 HAS SOUS 11328 HAS SOUPS 6433 WITH SCORE 6504.813
AT ITER 1810 NEW BEST:: SOT 112969 SOS 71765 HAS SOPS 42196 HAS SOUS 11321 HAS SOUPS 6433 WITH SCORE 6504.765
AT ITER 1823 NEW BEST:: SOT 112956 SOS 71823 HAS SOPS 42146 HAS SOUS 11323 HAS SOUPS 6423 WITH SCORE 6494.823
AT ITER 1847 NEW BEST:: SOT 112930 SOS 71846 HAS SOPS 42052 HAS SOUS 11327 HAS SOUPS 6414 WITH SCORE 6485.846
AT ITER 1857 NEW BEST:: SOT 112903 SOS 71765 HAS SOPS 41974 HAS SOUS 11330 HAS SOUPS 6414 WITH SCORE 6485.765
AT ITER 1874 NEW BEST:: SOT 112889 SOS 71721 HAS SOPS 41978 HAS SOUS 11311 HAS SOUPS 6403 WITH SCORE 6474.721
AT ITER 1881 NEW BEST:: SOT 112888 SOS 71703 HAS SOPS 41969 HAS SOUS 11310 HAS SOUPS 6403 WITH SCORE 6474.703
AT ITER 1906 NEW BEST:: SOT 112996 SOS 71865 HAS SOPS 42023 HAS SOUS 11310 HAS SOUPS 6394 WITH SCORE 6465.865
AT ITER 1915 NEW BEST:: SOT 112994 SOS 71863 HAS SOPS 42021 HAS SOUS 11308 HAS SOUPS 6392 WITH SCORE 6463.863
AT ITER 1923 NEW BEST:: SOT 113054 SOS 72003 HAS SOPS 42021 HAS SOUS 11302 HAS SOUPS 6388 WITH SCORE 6460.003
AT ITER 1924 NEW BEST:: SOT 113029 SOS 71978 HAS SOPS 42021 HAS SOUS 11302 HAS SOUPS 6388 WITH SCORE 6459.978
AT ITER 1935 NEW BEST:: SOT 113021 SOS 71934 HAS SOPS 41975 HAS SOUS 11296 HAS SOUPS 6382 WITH SCORE 6453.934
AT ITER 1952 NEW BEST:: SOT 113085 SOS 71998 HAS SOPS 41991 HAS SOUS 11280 HAS SOUPS 6366 WITH SCORE 6437.998
AT ITER 1953 NEW BEST:: SOT 113085 SOS 71998 HAS SOPS 41991 HAS SOUS 11277 HAS SOUPS 6364 WITH SCORE 6435.998
AT ITER 1960 NEW BEST:: SOT 113077 SOS 71962 HAS SOPS 41974 HAS SOUS 11277 HAS SOUPS 6364 WITH SCORE 6435.962
AT ITER 1972 NEW BEST:: SOT 113106 SOS 71855 HAS SOPS 41867 HAS SOUS 11276 HAS SOUPS 6363 WITH SCORE 6434.855
AT ITER 1986 NEW BEST:: SOT 113106 SOS 71855 HAS SOPS 41867 HAS SOUS 11240 HAS SOUPS 6343 WITH SCORE 6414.855
AT ITER 2014 NEW BEST:: SOT 113084 SOS 71607 HAS SOPS 41727 HAS SOUS 11196 HAS SOUPS 6311 WITH SCORE 6382.607
AT ITER 2016 NEW BEST:: SOT 113174 SOS 71697 HAS SOPS 41772 HAS SOUS 11193 HAS SOUPS 6308 WITH SCORE 6379.697
AT ITER 2039 NEW BEST:: SOT 113175 SOS 71690 HAS SOPS 41765 HAS SOUS 11193 HAS SOUPS 6308 WITH SCORE 6379.69
AT ITER 2072 NEW BEST:: SOT 113148 SOS 71736 HAS SOPS 41736 HAS SOUS 11179 HAS SOUPS 6294 WITH SCORE 6365.736
AT ITER 2088 NEW BEST:: SOT 113084 SOS 71576 HAS SOPS 41672 HAS SOUS 11163 HAS SOUPS 6294 WITH SCORE 6365.576
AT ITER 2091 NEW BEST:: SOT 113084 SOS 71576 HAS SOPS 41672 HAS SOUS 11118 HAS SOUPS 6269 WITH SCORE 6340.576
AT ITER 2095 NEW BEST:: SOT 113078 SOS 71522 HAS SOPS 41672 HAS SOUS 11112 HAS SOUPS 6269 WITH SCORE 6340.522
AT ITER 2102 NEW BEST:: SOT 113060 SOS 71406 HAS SOPS 41556 HAS SOUS 11099 HAS SOUPS 6256 WITH SCORE 6327.406
AT ITER 2117 NEW BEST:: SOT 113050 SOS 70251 HAS SOPS 40581 HAS SOUS 11079 HAS SOUPS 6256 WITH SCORE 6326.251
AT ITER 2123 NEW BEST:: SOT 113086 SOS 70475 HAS SOPS 40637 HAS SOUS 11082 HAS SOUPS 6247 WITH SCORE 6317.475
AT ITER 2147 NEW BEST:: SOT 113185 SOS 70628 HAS SOPS 40691 HAS SOUS 11073 HAS SOUPS 6229 WITH SCORE 6299.628
AT ITER 2175 NEW BEST:: SOT 113162 SOS 70892 HAS SOPS 40823 HAS SOUS 11070 HAS SOUPS 6226 WITH SCORE 6296.892
AT ITER 2191 NEW BEST:: SOT 113058 SOS 70788 HAS SOPS 40797 HAS SOUS 11067 HAS SOUPS 6223 WITH SCORE 6293.788
AT ITER 2193 NEW BEST:: SOT 113057 SOS 70787 HAS SOPS 40796 HAS SOUS 11066 HAS SOUPS 6222 WITH SCORE 6292.787
AT ITER 2202 NEW BEST:: SOT 112962 SOS 70678 HAS SOPS 40729 HAS SOUS 11055 HAS SOUPS 6211 WITH SCORE 6281.678
AT ITER 2216 NEW BEST:: SOT 113006 SOS 70746 HAS SOPS 40753 HAS SOUS 11052 HAS SOUPS 6204 WITH SCORE 6274.746
AT ITER 2220 NEW BEST:: SOT 113101 SOS 71119 HAS SOPS 40976 HAS SOUS 11054 HAS SOUPS 6196 WITH SCORE 6267.119
AT ITER 2240 NEW BEST:: SOT 113098 SOS 71086 HAS SOPS 40943 HAS SOUS 11041 HAS SOUPS 6183 WITH SCORE 6254.086
AT ITER 2249 NEW BEST:: SOT 113063 SOS 70836 HAS SOPS 40918 HAS SOUS 11015 HAS SOUPS 6182 WITH SCORE 6252.836
AT ITER 2261 NEW BEST:: SOT 113061 SOS 70850 HAS SOPS 40932 HAS SOUS 11013 HAS SOUPS 6180 WITH SCORE 6250.85
AT ITER 2265 NEW BEST:: SOT 113057 SOS 70830 HAS SOPS 40912 HAS SOUS 11011 HAS SOUPS 6178 WITH SCORE 6248.83
AT ITER 2281 NEW BEST:: SOT 113009 SOS 70754 HAS SOPS 40856 HAS SOUS 11007 HAS SOUPS 6174 WITH SCORE 6244.754
AT ITER 2288 NEW BEST:: SOT 113008 SOS 70753 HAS SOPS 40856 HAS SOUS 11007 HAS SOUPS 6174 WITH SCORE 6244.753
AT ITER 2300 NEW BEST:: SOT 113023 SOS 70783 HAS SOPS 40886 HAS SOUS 10992 HAS SOUPS 6159 WITH SCORE 6229.783
AT ITER 2319 NEW BEST:: SOT 113023 SOS 70755 HAS SOPS 40858 HAS SOUS 10992 HAS SOUPS 6159 WITH SCORE 6229.755
AT ITER 2336 NEW BEST:: SOT 113023 SOS 70729 HAS SOPS 40844 HAS SOUS 10991 HAS SOUPS 6158 WITH SCORE 6228.729
AT ITER 2337 NEW BEST:: SOT 113013 SOS 70755 HAS SOPS 40870 HAS SOUS 10987 HAS SOUPS 6154 WITH SCORE 6224.755
AT ITER 2344 NEW BEST:: SOT 113093 SOS 70955 HAS SOPS 40950 HAS SOUS 10992 HAS SOUPS 6139 WITH SCORE 6209.955
AT ITER 2378 NEW BEST:: SOT 113084 SOS 70874 HAS SOPS 40770 HAS SOUS 11000 HAS SOUPS 6136 WITH SCORE 6206.874
AT ITER 2408 NEW BEST:: SOT 113098 SOS 70888 HAS SOPS 40774 HAS SOUS 10996 HAS SOUPS 6132 WITH SCORE 6202.888
AT ITER 2426 NEW BEST:: SOT 113086 SOS 70876 HAS SOPS 40762 HAS SOUS 10996 HAS SOUPS 6132 WITH SCORE 6202.876
AT ITER 2430 NEW BEST:: SOT 113086 SOS 70876 HAS SOPS 40762 HAS SOUS 10978 HAS SOUPS 6122 WITH SCORE 6192.876
AT ITER 2431 NEW BEST:: SOT 113074 SOS 70864 HAS SOPS 40762 HAS SOUS 10978 HAS SOUPS 6122 WITH SCORE 6192.864
AT ITER 2432 NEW BEST:: SOT 113070 SOS 70854 HAS SOPS 40802 HAS SOUS 10968 HAS SOUPS 6120 WITH SCORE 6190.854
AT ITER 2454 NEW BEST:: SOT 113064 SOS 70788 HAS SOPS 40763 HAS SOUS 10959 HAS SOUPS 6114 WITH SCORE 6184.788
AT ITER 2483 NEW BEST:: SOT 113060 SOS 70744 HAS SOPS 40719 HAS SOUS 10951 HAS SOUPS 6106 WITH SCORE 6176.744
AT ITER 2544 NEW BEST:: SOT 113058 SOS 70723 HAS SOPS 40704 HAS SOUS 10948 HAS SOUPS 6103 WITH SCORE 6173.723
AT ITER 2551 NEW BEST:: SOT 112697 SOS 70304 HAS SOPS 40440 HAS SOUS 10925 HAS SOUPS 6080 WITH SCORE 6150.304
AT ITER 2578 NEW BEST:: SOT 112695 SOS 70302 HAS SOPS 40440 HAS SOUS 10921 HAS SOUPS 6076 WITH SCORE 6146.302
AT ITER 2589 NEW BEST:: SOT 112360 SOS 69800 HAS SOPS 40247 HAS SOUS 10881 HAS SOUPS 6058 WITH SCORE 6127.8
AT ITER 2594 NEW BEST:: SOT 112360 SOS 69800 HAS SOPS 40256 HAS SOUS 10879 HAS SOUPS 6057 WITH SCORE 6126.8
AT ITER 2599 NEW BEST:: SOT 112360 SOS 69800 HAS SOPS 40256 HAS SOUS 10870 HAS SOUPS 6052 WITH SCORE 6121.8
AT ITER 2607 NEW BEST:: SOT 112348 SOS 69782 HAS SOPS 40250 HAS SOUS 10868 HAS SOUPS 6051 WITH SCORE 6120.782
AT ITER 2617 NEW BEST:: SOT 112341 SOS 69775 HAS SOPS 40250 HAS SOUS 10868 HAS SOUPS 6051 WITH SCORE 6120.775
AT ITER 2619 NEW BEST:: SOT 112302 SOS 69680 HAS SOPS 40236 HAS SOUS 10858 HAS SOUPS 6051 WITH SCORE 6120.68
AT ITER 2636 NEW BEST:: SOT 112296 SOS 69614 HAS SOPS 40224 HAS SOUS 10852 HAS SOUPS 6051 WITH SCORE 6120.614
AT ITER 2640 NEW BEST:: SOT 112312 SOS 69630 HAS SOPS 40220 HAS SOUS 10848 HAS SOUPS 6047 WITH SCORE 6116.63
AT ITER 2735 NEW BEST:: SOT 112282 SOS 69600 HAS SOPS 40190 HAS SOUS 10830 HAS SOUPS 6037 WITH SCORE 6106.6
AT ITER 2763 NEW BEST:: SOT 112282 SOS 69600 HAS SOPS 40190 HAS SOUS 10826 HAS SOUPS 6033 WITH SCORE 6102.6
AT ITER 2768 NEW BEST:: SOT 112266 SOS 69584 HAS SOPS 40174 HAS SOUS 10822 HAS SOUPS 6029 WITH SCORE 6098.584
AT ITER 2822 NEW BEST:: SOT 112302 SOS 69638 HAS SOPS 40192 HAS SOUS 10824 HAS SOUPS 6028 WITH SCORE 6097.638
AT ITER 2825 NEW BEST:: SOT 112313 SOS 69663 HAS SOPS 40169 HAS SOUS 10824 HAS SOUPS 6020 WITH SCORE 6089.663
AT ITER 2826 NEW BEST:: SOT 111985 SOS 69137 HAS SOPS 39929 HAS SOUS 10763 HAS SOUPS 5985 WITH SCORE 6054.137
AT ITER 2862 NEW BEST:: SOT 111981 SOS 69133 HAS SOPS 39929 HAS SOUS 10763 HAS SOUPS 5985 WITH SCORE 6054.133
AT ITER 2915 NEW BEST:: SOT 111981 SOS 69133 HAS SOPS 39929 HAS SOUS 10745 HAS SOUPS 5975 WITH SCORE 6044.133
AT ITER 2921 NEW BEST:: SOT 111981 SOS 69149 HAS SOPS 39963 HAS SOUS 10741 HAS SOUPS 5973 WITH SCORE 6042.149
AT ITER 3009 NEW BEST:: SOT 112085 SOS 69253 HAS SOPS 39989 HAS SOUS 10735 HAS SOUPS 5967 WITH SCORE 6036.253
AT ITER 3063 NEW BEST:: SOT 112021 SOS 69155 HAS SOPS 39951 HAS SOUS 10726 HAS SOUPS 5963 WITH SCORE 6032.155
AT ITER 3071 NEW BEST:: SOT 112024 SOS 69158 HAS SOPS 39940 HAS SOUS 10718 HAS SOUPS 5955 WITH SCORE 6024.158
AT ITER 3102 NEW BEST:: SOT 111713 SOS 67923 HAS SOPS 39281 HAS SOUS 10647 HAS SOUPS 5908 WITH SCORE 5975.923
AT ITER 3113 NEW BEST:: SOT 111816 SOS 68134 HAS SOPS 39332 HAS SOUS 10670 HAS SOUPS 5905 WITH SCORE 5973.134
AT ITER 3150 NEW BEST:: SOT 111812 SOS 68090 HAS SOPS 39306 HAS SOUS 10666 HAS SOUPS 5903 WITH SCORE 5971.09
AT ITER 3171 NEW BEST:: SOT 111812 SOS 68090 HAS SOPS 39306 HAS SOUS 10667 HAS SOUPS 5901 WITH SCORE 5969.09
AT ITER 3179 NEW BEST:: SOT 111735 SOS 67977 HAS SOPS 39223 HAS SOUS 10656 HAS SOUPS 5890 WITH SCORE 5957.977
AT ITER 3192 NEW BEST:: SOT 111699 SOS 67923 HAS SOPS 39205 HAS SOUS 10653 HAS SOUPS 5890 WITH SCORE 5957.923
AT ITER 3197 NEW BEST:: SOT 111690 SOS 67797 HAS SOPS 39079 HAS SOUS 10653 HAS SOUPS 5890 WITH SCORE 5957.797
AT ITER 3199 NEW BEST:: SOT 111702 SOS 67815 HAS SOPS 39085 HAS SOUS 10652 HAS SOUPS 5888 WITH SCORE 5955.815
AT ITER 3239 NEW BEST:: SOT 111701 SOS 67814 HAS SOPS 39084 HAS SOUS 10641 HAS SOUPS 5877 WITH SCORE 5944.814
AT ITER 3251 NEW BEST:: SOT 111624 SOS 67631 HAS SOPS 38999 HAS SOUS 10634 HAS SOUPS 5877 WITH SCORE 5944.631
AT ITER 3268 NEW BEST:: SOT 111787 SOS 68013 HAS SOPS 39112 HAS SOUS 10666 HAS SOUPS 5866 WITH SCORE 5934.013
AT ITER 3281 NEW BEST:: SOT 111785 SOS 68011 HAS SOPS 39112 HAS SOUS 10666 HAS SOUPS 5866 WITH SCORE 5934.011
AT ITER 3286 NEW BEST:: SOT 111787 SOS 68013 HAS SOPS 39112 HAS SOUS 10652 HAS SOUPS 5860 WITH SCORE 5928.013
AT ITER 3304 NEW BEST:: SOT 111779 SOS 67997 HAS SOPS 39096 HAS SOUS 10638 HAS SOUPS 5846 WITH SCORE 5913.997
AT ITER 3349 NEW BEST:: SOT 111743 SOS 67943 HAS SOPS 39069 HAS SOUS 10611 HAS SOUPS 5828 WITH SCORE 5895.943
AT ITER 3356 NEW BEST:: SOT 111742 SOS 67946 HAS SOPS 39066 HAS SOUS 10611 HAS SOUPS 5827 WITH SCORE 5894.946
AT ITER 3413 NEW BEST:: SOT 111748 SOS 67908 HAS SOPS 39028 HAS SOUS 10610 HAS SOUPS 5826 WITH SCORE 5893.908
AT ITER 3418 NEW BEST:: SOT 111745 SOS 67908 HAS SOPS 39015 HAS SOUS 10603 HAS SOUPS 5817 WITH SCORE 5884.908
AT ITER 3471 NEW BEST:: SOT 111742 SOS 67884 HAS SOPS 39009 HAS SOUS 10591 HAS SOUPS 5808 WITH SCORE 5875.884
AT ITER 3553 NEW BEST:: SOT 111584 SOS 67639 HAS SOPS 38829 HAS SOUS 10581 HAS SOUPS 5798 WITH SCORE 5865.639
AT ITER 3569 NEW BEST:: SOT 111584 SOS 67627 HAS SOPS 38826 HAS SOUS 10581 HAS SOUPS 5798 WITH SCORE 5865.627
AT ITER 3572 NEW BEST:: SOT 111499 SOS 67416 HAS SOPS 38758 HAS SOUS 10480 HAS SOUPS 5757 WITH SCORE 5824.416
AT ITER 3580 NEW BEST:: SOT 111473 SOS 67386 HAS SOPS 38740 HAS SOUS 10480 HAS SOUPS 5757 WITH SCORE 5824.386
AT ITER 3663 NEW BEST:: SOT 111503 SOS 67438 HAS SOPS 38758 HAS SOUS 10407 HAS SOUPS 5722 WITH SCORE 5789.438
AT ITER 3688 NEW BEST:: SOT 111425 SOS 67275 HAS SOPS 38708 HAS SOUS 10405 HAS SOUPS 5720 WITH SCORE 5787.275
AT ITER 3745 NEW BEST:: SOT 111346 SOS 67138 HAS SOPS 38662 HAS SOUS 10392 HAS SOUPS 5718 WITH SCORE 5785.138
AT ITER 3793 NEW BEST:: SOT 111370 SOS 67166 HAS SOPS 38678 HAS SOUS 10390 HAS SOUPS 5716 WITH SCORE 5783.166
AT ITER 3824 NEW BEST:: SOT 111364 SOS 67100 HAS SOPS 38612 HAS SOUS 10387 HAS SOUPS 5713 WITH SCORE 5780.1
AT ITER 3858 NEW BEST:: SOT 111359 SOS 67104 HAS SOPS 38616 HAS SOUS 10384 HAS SOUPS 5710 WITH SCORE 5777.104
AT ITER 3864 NEW BEST:: SOT 111359 SOS 67104 HAS SOPS 38616 HAS SOUS 10381 HAS SOUPS 5708 WITH SCORE 5775.104
AT ITER 3868 NEW BEST:: SOT 111361 SOS 67117 HAS SOPS 38593 HAS SOUS 10382 HAS SOUPS 5705 WITH SCORE 5772.117
AT ITER 3872 NEW BEST:: SOT 111357 SOS 67099 HAS SOPS 38587 HAS SOUS 10376 HAS SOUPS 5701 WITH SCORE 5768.099
AT ITER 3948 NEW BEST:: SOT 111353 SOS 66899 HAS SOPS 38495 HAS SOUS 10366 HAS SOUPS 5697 WITH SCORE 5763.899
AT ITER 3961 NEW BEST:: SOT 111345 SOS 66847 HAS SOPS 38479 HAS SOUS 10362 HAS SOUPS 5697 WITH SCORE 5763.847
AT ITER 3979 NEW BEST:: SOT 111237 SOS 66739 HAS SOPS 38371 HAS SOUS 10344 HAS SOUPS 5687 WITH SCORE 5753.739
AT ITER 4007 NEW BEST:: SOT 111196 SOS 66682 HAS SOPS 38330 HAS SOUS 10336 HAS SOUPS 5679 WITH SCORE 5745.682
AT ITER 4067 NEW BEST:: SOT 111201 SOS 66687 HAS SOPS 38330 HAS SOUS 10300 HAS SOUPS 5659 WITH SCORE 5725.687
AT ITER 4093 NEW BEST:: SOT 111190 SOS 66892 HAS SOPS 38490 HAS SOUS 10301 HAS SOUPS 5655 WITH SCORE 5721.892
AT ITER 4139 NEW BEST:: SOT 111190 SOS 66892 HAS SOPS 38490 HAS SOUS 10283 HAS SOUPS 5645 WITH SCORE 5711.892
AT ITER 4141 NEW BEST:: SOT 111140 SOS 66834 HAS SOPS 38456 HAS SOUS 10277 HAS SOUPS 5639 WITH SCORE 5705.834
AT ITER 4188 NEW BEST:: SOT 111138 SOS 66828 HAS SOPS 38450 HAS SOUS 10277 HAS SOUPS 5639 WITH SCORE 5705.828
AT ITER 4223 NEW BEST:: SOT 111138 SOS 66822 HAS SOPS 38444 HAS SOUS 10277 HAS SOUPS 5639 WITH SCORE 5705.822
AT ITER 4317 NEW BEST:: SOT 111136 SOS 66706 HAS SOPS 38280 HAS SOUS 10276 HAS SOUPS 5630 WITH SCORE 5696.706
AT ITER 4360 NEW BEST:: SOT 111136 SOS 66718 HAS SOPS 38274 HAS SOUS 10276 HAS SOUPS 5627 WITH SCORE 5693.718
AT ITER 4403 NEW BEST:: SOT 111136 SOS 66718 HAS SOPS 38274 HAS SOUS 10273 HAS SOUPS 5625 WITH SCORE 5691.718
AT ITER 4448 NEW BEST:: SOT 111138 SOS 66720 HAS SOPS 38276 HAS SOUS 10272 HAS SOUPS 5624 WITH SCORE 5690.72
AT ITER 4460 NEW BEST:: SOT 111138 SOS 66720 HAS SOPS 38276 HAS SOUS 10269 HAS SOUPS 5622 WITH SCORE 5688.72
AT ITER 4463 NEW BEST:: SOT 111138 SOS 66720 HAS SOPS 38276 HAS SOUS 10266 HAS SOUPS 5620 WITH SCORE 5686.72
AT ITER 4676 NEW BEST:: SOT 111028 SOS 66562 HAS SOPS 38166 HAS SOUS 10252 HAS SOUPS 5606 WITH SCORE 5672.562
AT ITER 4693 NEW BEST:: SOT 111022 SOS 66544 HAS SOPS 38172 HAS SOUS 10239 HAS SOUPS 5597 WITH SCORE 5663.544
AT ITER 4750 NEW BEST:: SOT 111029 SOS 66551 HAS SOPS 38174 HAS SOUS 10238 HAS SOUPS 5596 WITH SCORE 5662.551
AT ITER 4764 NEW BEST:: SOT 111010 SOS 66717 HAS SOPS 38268 HAS SOUS 10234 HAS SOUPS 5592 WITH SCORE 5658.717
AT ITER 4844 NEW BEST:: SOT 111005 SOS 66712 HAS SOPS 38268 HAS SOUS 10234 HAS SOUPS 5592 WITH SCORE 5658.712
AT ITER 4856 NEW BEST:: SOT 111026 SOS 65893 HAS SOPS 37449 HAS SOUS 10230 HAS SOUPS 5588 WITH SCORE 5653.893
AT ITER 4867 NEW BEST:: SOT 110775 SOS 65470 HAS SOPS 37103 HAS SOUS 10237 HAS SOUPS 5578 WITH SCORE 5643.47
AT ITER 4907 NEW BEST:: SOT 110745 SOS 65422 HAS SOPS 37055 HAS SOUS 10227 HAS SOUPS 5568 WITH SCORE 5633.422
AT ITER 4959 NEW BEST:: SOT 110651 SOS 65328 HAS SOPS 37021 HAS SOUS 10208 HAS SOUPS 5561 WITH SCORE 5626.328
AT ITER 4969 NEW BEST:: SOT 110648 SOS 65332 HAS SOPS 37037 HAS SOUS 10205 HAS SOUPS 5560 WITH SCORE 5625.332
AT ITER 4997 NEW BEST:: SOT 110648 SOS 65332 HAS SOPS 37037 HAS SOUS 10199 HAS SOUPS 5556 WITH SCORE 5621.332
AT ITER 5014 NEW BEST:: SOT 110645 SOS 65329 HAS SOPS 37037 HAS SOUS 10199 HAS SOUPS 5556 WITH SCORE 5621.329
AT ITER 5081 NEW BEST:: SOT 110609 SOS 65275 HAS SOPS 37019 HAS SOUS 10187 HAS SOUPS 5551 WITH SCORE 5616.275
AT ITER 5094 NEW BEST:: SOT 110597 SOS 65263 HAS SOPS 37007 HAS SOUS 10183 HAS SOUPS 5547 WITH SCORE 5612.263
AT ITER 5128 NEW BEST:: SOT 110618 SOS 65027 HAS SOPS 36870 HAS SOUS 10162 HAS SOUPS 5526 WITH SCORE 5591.027
AT ITER 5169 NEW BEST:: SOT 110673 SOS 65150 HAS SOPS 36923 HAS SOUS 10165 HAS SOUPS 5524 WITH SCORE 5589.15
AT ITER 5170 NEW BEST:: SOT 110671 SOS 65146 HAS SOPS 36919 HAS SOUS 10165 HAS SOUPS 5524 WITH SCORE 5589.146
AT ITER 5176 NEW BEST:: SOT 110631 SOS 65068 HAS SOPS 36821 HAS SOUS 10163 HAS SOUPS 5512 WITH SCORE 5577.068
AT ITER 5196 NEW BEST:: SOT 110628 SOS 65055 HAS SOPS 36808 HAS SOUS 10161 HAS SOUPS 5510 WITH SCORE 5575.055
AT ITER 5227 NEW BEST:: SOT 110556 SOS 64929 HAS SOPS 36763 HAS SOUS 10153 HAS SOUPS 5502 WITH SCORE 5566.929
AT ITER 5285 NEW BEST:: SOT 110547 SOS 64839 HAS SOPS 36592 HAS SOUS 10162 HAS SOUPS 5502 WITH SCORE 5566.839
AT ITER 5340 NEW BEST:: SOT 110558 SOS 64779 HAS SOPS 36552 HAS SOUS 10164 HAS SOUPS 5501 WITH SCORE 5565.779
AT ITER 5395 NEW BEST:: SOT 110579 SOS 64665 HAS SOPS 36438 HAS SOUS 10162 HAS SOUPS 5499 WITH SCORE 5563.665
AT ITER 5480 NEW BEST:: SOT 110459 SOS 64545 HAS SOPS 36378 HAS SOUS 10157 HAS SOUPS 5494 WITH SCORE 5558.545
AT ITER 5497 NEW BEST:: SOT 110461 SOS 64830 HAS SOPS 36663 HAS SOUS 10156 HAS SOUPS 5493 WITH SCORE 5557.83
AT ITER 5509 NEW BEST:: SOT 110453 SOS 64350 HAS SOPS 36255 HAS SOUS 10148 HAS SOUPS 5493 WITH SCORE 5557.35
AT ITER 5557 NEW BEST:: SOT 110452 SOS 64349 HAS SOPS 36255 HAS SOUS 10148 HAS SOUPS 5493 WITH SCORE 5557.349
AT ITER 5579 NEW BEST:: SOT 110337 SOS 64196 HAS SOPS 36157 HAS SOUS 10145 HAS SOUPS 5490 WITH SCORE 5554.196
AT ITER 5677 NEW BEST:: SOT 110346 SOS 64302 HAS SOPS 36362 HAS SOUS 10132 HAS SOUPS 5488 WITH SCORE 5552.302
AT ITER 5689 NEW BEST:: SOT 110324 SOS 64268 HAS SOPS 36350 HAS SOUS 10125 HAS SOUPS 5487 WITH SCORE 5551.268
AT ITER 5743 NEW BEST:: SOT 110320 SOS 64278 HAS SOPS 36306 HAS SOUS 10129 HAS SOUPS 5485 WITH SCORE 5549.278
AT ITER 5765 NEW BEST:: SOT 110311 SOS 64284 HAS SOPS 36240 HAS SOUS 10136 HAS SOUPS 5484 WITH SCORE 5548.284
AT ITER 5876 NEW BEST:: SOT 110312 SOS 64285 HAS SOPS 36232 HAS SOUS 10136 HAS SOUPS 5483 WITH SCORE 5547.285
AT ITER 5945 NEW BEST:: SOT 110310 SOS 64276 HAS SOPS 36229 HAS SOUS 10133 HAS SOUPS 5481 WITH SCORE 5545.276
AT ITER 6004 NEW BEST:: SOT 110292 SOS 64240 HAS SOPS 36217 HAS SOUS 10127 HAS SOUPS 5481 WITH SCORE 5545.24
AT ITER 6016 NEW BEST:: SOT 110244 SOS 64152 HAS SOPS 36185 HAS SOUS 10093 HAS SOUPS 5461 WITH SCORE 5525.152
AT ITER 6048 NEW BEST:: SOT 110091 SOS 63914 HAS SOPS 35995 HAS SOUS 10094 HAS SOUPS 5453 WITH SCORE 5516.914
AT ITER 6068 NEW BEST:: SOT 110085 SOS 63958 HAS SOPS 36003 HAS SOUS 10092 HAS SOUPS 5449 WITH SCORE 5512.958
AT ITER 6072 NEW BEST:: SOT 109863 SOS 63481 HAS SOPS 35793 HAS SOUS 10083 HAS SOUPS 5446 WITH SCORE 5509.481
AT ITER 6100 NEW BEST:: SOT 109851 SOS 63385 HAS SOPS 35697 HAS SOUS 10079 HAS SOUPS 5442 WITH SCORE 5505.385
AT ITER 6102 NEW BEST:: SOT 109854 SOS 63373 HAS SOPS 35739 HAS SOUS 10070 HAS SOUPS 5439 WITH SCORE 5502.373
AT ITER 6206 NEW BEST:: SOT 109775 SOS 63276 HAS SOPS 35675 HAS SOUS 10069 HAS SOUPS 5438 WITH SCORE 5501.276
AT ITER 6224 NEW BEST:: SOT 109774 SOS 63267 HAS SOPS 35666 HAS SOUS 10069 HAS SOUPS 5438 WITH SCORE 5501.267
AT ITER 6230 NEW BEST:: SOT 109775 SOS 63185 HAS SOPS 35638 HAS SOUS 10064 HAS SOUPS 5436 WITH SCORE 5499.185
AT ITER 6277 NEW BEST:: SOT 109727 SOS 63131 HAS SOPS 35614 HAS SOUS 10055 HAS SOUPS 5431 WITH SCORE 5494.131
AT ITER 6286 NEW BEST:: SOT 109727 SOS 63107 HAS SOPS 35614 HAS SOUS 10055 HAS SOUPS 5431 WITH SCORE 5494.107
AT ITER 6396 NEW BEST:: SOT 109727 SOS 62882 HAS SOPS 35404 HAS SOUS 10045 HAS SOUPS 5421 WITH SCORE 5483.882
AT ITER 6405 NEW BEST:: SOT 109724 SOS 62873 HAS SOPS 35395 HAS SOUS 10045 HAS SOUPS 5421 WITH SCORE 5483.873
AT ITER 6412 NEW BEST:: SOT 109724 SOS 62637 HAS SOPS 35195 HAS SOUS 10041 HAS SOUPS 5421 WITH SCORE 5483.637
AT ITER 6422 NEW BEST:: SOT 109741 SOS 62581 HAS SOPS 35157 HAS SOUS 10043 HAS SOUPS 5420 WITH SCORE 5482.581
AT ITER 6457 NEW BEST:: SOT 109739 SOS 62578 HAS SOPS 35156 HAS SOUS 10041 HAS SOUPS 5419 WITH SCORE 5481.578
AT ITER 6517 NEW BEST:: SOT 109687 SOS 62190 HAS SOPS 34856 HAS SOUS 10041 HAS SOUPS 5419 WITH SCORE 5481.19
AT ITER 6598 NEW BEST:: SOT 109723 SOS 62244 HAS SOPS 34874 HAS SOUS 10042 HAS SOUPS 5417 WITH SCORE 5479.244
AT ITER 6611 NEW BEST:: SOT 109574 SOS 62011 HAS SOPS 34784 HAS SOUS 10028 HAS SOUPS 5416 WITH SCORE 5478.011
AT ITER 6642 NEW BEST:: SOT 109562 SOS 61999 HAS SOPS 34772 HAS SOUS 10028 HAS SOUPS 5416 WITH SCORE 5477.999
AT ITER 6673 NEW BEST:: SOT 109550 SOS 61979 HAS SOPS 34752 HAS SOUS 10020 HAS SOUPS 5408 WITH SCORE 5469.979
AT ITER 6719 NEW BEST:: SOT 109550 SOS 61970 HAS SOPS 34734 HAS SOUS 10021 HAS SOUPS 5408 WITH SCORE 5469.97
AT ITER 6792 NEW BEST:: SOT 109549 SOS 61960 HAS SOPS 34724 HAS SOUS 10020 HAS SOUPS 5407 WITH SCORE 5468.96
AT ITER 6841 NEW BEST:: SOT 109548 SOS 61948 HAS SOPS 34721 HAS SOUS 10019 HAS SOUPS 5407 WITH SCORE 5468.948
AT ITER 6856 NEW BEST:: SOT 109483 SOS 61788 HAS SOPS 34581 HAS SOUS 10004 HAS SOUPS 5392 WITH SCORE 5453.788
AT ITER 6938 NEW BEST:: SOT 109482 SOS 61948 HAS SOPS 34732 HAS SOUS 10003 HAS SOUPS 5391 WITH SCORE 5452.948
AT ITER 6956 NEW BEST:: SOT 109395 SOS 61809 HAS SOPS 34628 HAS SOUS 9993 HAS SOUPS 5381 WITH SCORE 5442.809
AT ITER 6998 NEW BEST:: SOT 109392 SOS 61809 HAS SOPS 34601 HAS SOUS 9993 HAS SOUPS 5378 WITH SCORE 5439.809
AT ITER 7017 NEW BEST:: SOT 109390 SOS 61798 HAS SOPS 34590 HAS SOUS 9993 HAS SOUPS 5378 WITH SCORE 5439.798
AT ITER 7164 NEW BEST:: SOT 109378 SOS 61767 HAS SOPS 34562 HAS SOUS 9981 HAS SOUPS 5370 WITH SCORE 5431.767
AT ITER 7194 NEW BEST:: SOT 109374 SOS 61803 HAS SOPS 34598 HAS SOUS 9978 HAS SOUPS 5367 WITH SCORE 5428.803
AT ITER 7232 NEW BEST:: SOT 109385 SOS 61814 HAS SOPS 34598 HAS SOUS 9969 HAS SOUPS 5362 WITH SCORE 5423.814
AT ITER 7281 NEW BEST:: SOT 109385 SOS 61814 HAS SOPS 34598 HAS SOUS 9960 HAS SOUPS 5357 WITH SCORE 5418.814
AT ITER 7334 NEW BEST:: SOT 109385 SOS 61819 HAS SOPS 34603 HAS SOUS 9955 HAS SOUPS 5352 WITH SCORE 5413.819
AT ITER 7384 NEW BEST:: SOT 109407 SOS 61857 HAS SOPS 34617 HAS SOUS 9928 HAS SOUPS 5337 WITH SCORE 5398.857
AT ITER 7389 NEW BEST:: SOT 109407 SOS 61847 HAS SOPS 34607 HAS SOUS 9927 HAS SOUPS 5336 WITH SCORE 5397.847
AT ITER 7395 NEW BEST:: SOT 109452 SOS 61917 HAS SOPS 34633 HAS SOUS 9928 HAS SOUPS 5333 WITH SCORE 5394.917
AT ITER 7424 NEW BEST:: SOT 109431 SOS 62427 HAS SOPS 35143 HAS SOUS 9924 HAS SOUPS 5329 WITH SCORE 5391.427
AT ITER 7427 NEW BEST:: SOT 109573 SOS 62708 HAS SOPS 35240 HAS SOUS 9916 HAS SOUPS 5320 WITH SCORE 5382.708
AT ITER 7435 NEW BEST:: SOT 109564 SOS 62702 HAS SOPS 35234 HAS SOUS 9917 HAS SOUPS 5320 WITH SCORE 5382.702
AT ITER 7441 NEW BEST:: SOT 109529 SOS 62682 HAS SOPS 35219 HAS SOUS 9917 HAS SOUPS 5315 WITH SCORE 5377.682
AT ITER 7462 NEW BEST:: SOT 109507 SOS 62656 HAS SOPS 35203 HAS SOUS 9913 HAS SOUPS 5311 WITH SCORE 5373.656
AT ITER 7466 NEW BEST:: SOT 109492 SOS 62454 HAS SOPS 35172 HAS SOUS 9894 HAS SOUPS 5311 WITH SCORE 5373.454
AT ITER 7478 NEW BEST:: SOT 109487 SOS 62449 HAS SOPS 35172 HAS SOUS 9894 HAS SOUPS 5311 WITH SCORE 5373.449
AT ITER 7506 NEW BEST:: SOT 109483 SOS 62447 HAS SOPS 35143 HAS SOUS 9896 HAS SOUPS 5310 WITH SCORE 5372.447
AT ITER 7527 NEW BEST:: SOT 109469 SOS 62433 HAS SOPS 35143 HAS SOUS 9894 HAS SOUPS 5308 WITH SCORE 5370.433
AT ITER 7613 NEW BEST:: SOT 109210 SOS 62030 HAS SOPS 34993 HAS SOUS 9813 HAS SOUPS 5286 WITH SCORE 5348.03
AT ITER 7627 NEW BEST:: SOT 109210 SOS 62030 HAS SOPS 34993 HAS SOUS 9801 HAS SOUPS 5278 WITH SCORE 5340.03
AT ITER 7684 NEW BEST:: SOT 109195 SOS 61995 HAS SOPS 34983 HAS SOUS 9796 HAS SOUPS 5278 WITH SCORE 5339.995
AT ITER 7711 NEW BEST:: SOT 109365 SOS 62451 HAS SOPS 35117 HAS SOUS 9853 HAS SOUPS 5268 WITH SCORE 5330.451
AT ITER 7891 NEW BEST:: SOT 109360 SOS 62417 HAS SOPS 35110 HAS SOUS 9845 HAS SOUPS 5263 WITH SCORE 5325.417
AT ITER 7935 NEW BEST:: SOT 109330 SOS 62515 HAS SOPS 35222 HAS SOUS 9834 HAS SOUPS 5255 WITH SCORE 5317.515
AT ITER 7975 NEW BEST:: SOT 109366 SOS 62571 HAS SOPS 35242 HAS SOUS 9836 HAS SOUPS 5254 WITH SCORE 5316.571
AT ITER 8101 NEW BEST:: SOT 109336 SOS 62501 HAS SOPS 35222 HAS SOUS 9826 HAS SOUPS 5254 WITH SCORE 5316.501
AT ITER 8137 NEW BEST:: SOT 109331 SOS 62446 HAS SOPS 35203 HAS SOUS 9822 HAS SOUPS 5254 WITH SCORE 5316.446
AT ITER 8269 NEW BEST:: SOT 109313 SOS 62323 HAS SOPS 35107 HAS SOUS 9817 HAS SOUPS 5241 WITH SCORE 5303.323
AT ITER 8376 NEW BEST:: SOT 109295 SOS 62311 HAS SOPS 35095 HAS SOUS 9810 HAS SOUPS 5236 WITH SCORE 5298.311
AT ITER 8472 NEW BEST:: SOT 109293 SOS 62325 HAS SOPS 35073 HAS SOUS 9807 HAS SOUPS 5229 WITH SCORE 5291.325
AT ITER 8522 NEW BEST:: SOT 109293 SOS 62325 HAS SOPS 35073 HAS SOUS 9798 HAS SOUPS 5224 WITH SCORE 5286.325
AT ITER 8619 NEW BEST:: SOT 109295 SOS 62340 HAS SOPS 35088 HAS SOUS 9795 HAS SOUPS 5221 WITH SCORE 5283.34
AT ITER 8712 NEW BEST:: SOT 109281 SOS 62334 HAS SOPS 35082 HAS SOUS 9795 HAS SOUPS 5219 WITH SCORE 5281.334
AT ITER 8737 NEW BEST:: SOT 109251 SOS 62298 HAS SOPS 35061 HAS SOUS 9793 HAS SOUPS 5217 WITH SCORE 5279.298
AT ITER 8770 NEW BEST:: SOT 109248 SOS 62284 HAS SOPS 35059 HAS SOUS 9788 HAS SOUPS 5214 WITH SCORE 5276.284
AT ITER 8834 NEW BEST:: SOT 109247 SOS 62281 HAS SOPS 35056 HAS SOUS 9787 HAS SOUPS 5213 WITH SCORE 5275.281
AT ITER 8870 NEW BEST:: SOT 109232 SOS 62173 HAS SOPS 34966 HAS SOUS 9787 HAS SOUPS 5213 WITH SCORE 5275.173
AT ITER 8999 NEW BEST:: SOT 109233 SOS 62086 HAS SOPS 34897 HAS SOUS 9782 HAS SOUPS 5210 WITH SCORE 5272.086
AT ITER 9081 NEW BEST:: SOT 109195 SOS 62003 HAS SOPS 34861 HAS SOUS 9776 HAS SOUPS 5208 WITH SCORE 5270.003
AT ITER 9204 NEW BEST:: SOT 109194 SOS 61981 HAS SOPS 34839 HAS SOUS 9773 HAS SOUPS 5205 WITH SCORE 5266.981
AT ITER 9209 NEW BEST:: SOT 109196 SOS 61952 HAS SOPS 34837 HAS SOUS 9767 HAS SOUPS 5202 WITH SCORE 5263.952
AT ITER 9238 NEW BEST:: SOT 109196 SOS 61952 HAS SOPS 34837 HAS SOUS 9758 HAS SOUPS 5197 WITH SCORE 5258.952
AT ITER 9307 NEW BEST:: SOT 109219 SOS 61976 HAS SOPS 34849 HAS SOUS 9754 HAS SOUPS 5193 WITH SCORE 5254.976
AT ITER 9327 NEW BEST:: SOT 109219 SOS 61975 HAS SOPS 34839 HAS SOUS 9754 HAS SOUPS 5192 WITH SCORE 5253.975
AT ITER 9450 NEW BEST:: SOT 109170 SOS 61897 HAS SOPS 34805 HAS SOUS 9747 HAS SOUPS 5189 WITH SCORE 5250.897
AT ITER 9541 NEW BEST:: SOT 109168 SOS 61877 HAS SOPS 34767 HAS SOUS 9749 HAS SOUPS 5189 WITH SCORE 5250.877
AT ITER 9635 NEW BEST:: SOT 109096 SOS 61769 HAS SOPS 34731 HAS SOUS 9743 HAS SOUPS 5189 WITH SCORE 5250.769
AT ITER 9891 NEW BEST:: SOT 109100 SOS 61773 HAS SOPS 34731 HAS SOUS 9734 HAS SOUPS 5184 WITH SCORE 5245.773
AT ITER 9923 NEW BEST:: SOT 109046 SOS 61719 HAS SOPS 34677 HAS SOUS 9689 HAS SOUPS 5159 WITH SCORE 5220.719
AT ITER 9946 NEW BEST:: SOT 109044 SOS 61679 HAS SOPS 34673 HAS SOUS 9685 HAS SOUPS 5159 WITH SCORE 5220.679
STATE_SPACE STATES 2401000001 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 88 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 278173000001 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589124623012

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

Sequence of Actions to be Executed by the VM

This is useful if one wants to reexecute the tool in the VM from the submitted image disk.

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="DLCround-PT-05a"
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"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-4028"
echo " Executing tool smart"
echo " Input is DLCround-PT-05a, 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 r048-ebro-158902542300488"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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