Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r078-smll-158922972500344.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/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 FlexibleBarrier-PT-14a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r078-smll-158922972500344
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 340K
-rw-r--r-- 1 mcc users 3.5K Apr 4 18:54 CTLCardinality.txt
-rw-r--r-- 1 mcc users 20K Apr 4 18:54 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Apr 4 07:34 CTLFireability.txt
-rw-r--r-- 1 mcc users 19K Apr 4 07:34 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.1K Apr 8 14:54 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Apr 28 14:01 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:54 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:01 LTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Apr 3 21:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 21K Apr 3 21:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Apr 3 13:29 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 13K Apr 3 13:29 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Apr 4 01:37 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Apr 4 01:37 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 169K 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 1589427937678

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

Filename model.pnml
Petri model created: 171 places, 578 transitions, 2719 arcs.
AT ITER 0 NEW BEST:: SOT 85744 SOS 71994 HAS SOPS 71994 HAS SOUS 41806 HAS SOUPS 41806 WITH SCORE 41877.994
AT ITER 2 NEW BEST:: SOT 85819 SOS 72211 HAS SOPS 72211 HAS SOUS 40676 HAS SOUPS 40676 WITH SCORE 40748.211
AT ITER 3 NEW BEST:: SOT 85602 SOS 71924 HAS SOPS 71924 HAS SOUS 40427 HAS SOUPS 40427 WITH SCORE 40498.924
AT ITER 6 NEW BEST:: SOT 85643 SOS 71782 HAS SOPS 71782 HAS SOUS 39135 HAS SOUPS 39135 WITH SCORE 39206.782
AT ITER 7 NEW BEST:: SOT 85643 SOS 71766 HAS SOPS 71766 HAS SOUS 39127 HAS SOUPS 39127 WITH SCORE 39198.766
AT ITER 8 NEW BEST:: SOT 85641 SOS 71658 HAS SOPS 71658 HAS SOUS 39073 HAS SOUPS 39073 WITH SCORE 39144.658
AT ITER 12 NEW BEST:: SOT 85442 SOS 71407 HAS SOPS 71407 HAS SOUS 38911 HAS SOUPS 38911 WITH SCORE 38982.407
AT ITER 15 NEW BEST:: SOT 85519 SOS 71561 HAS SOPS 71561 HAS SOUS 38910 HAS SOUPS 38910 WITH SCORE 38981.561
AT ITER 16 NEW BEST:: SOT 85547 SOS 71307 HAS SOPS 71307 HAS SOUS 38029 HAS SOUPS 38029 WITH SCORE 38100.307
AT ITER 17 NEW BEST:: SOT 85559 SOS 70462 HAS SOPS 70462 HAS SOUS 35896 HAS SOUPS 35896 WITH SCORE 35966.462
AT ITER 18 NEW BEST:: SOT 85558 SOS 70459 HAS SOPS 70459 HAS SOUS 35894 HAS SOUPS 35894 WITH SCORE 35964.459
AT ITER 23 NEW BEST:: SOT 85680 SOS 69906 HAS SOPS 69906 HAS SOUS 34481 HAS SOUPS 34481 WITH SCORE 34550.906
AT ITER 32 NEW BEST:: SOT 85713 SOS 69804 HAS SOPS 69804 HAS SOUS 34426 HAS SOUPS 34426 WITH SCORE 34495.804
AT ITER 38 NEW BEST:: SOT 85648 SOS 69771 HAS SOPS 69771 HAS SOUS 34421 HAS SOUPS 34421 WITH SCORE 34490.771
AT ITER 41 NEW BEST:: SOT 85674 SOS 68865 HAS SOPS 68865 HAS SOUS 33607 HAS SOUPS 33607 WITH SCORE 33675.865
AT ITER 42 NEW BEST:: SOT 85674 SOS 68701 HAS SOPS 68701 HAS SOUS 33539 HAS SOUPS 33539 WITH SCORE 33607.701
AT ITER 44 NEW BEST:: SOT 83369 SOS 70178 HAS SOPS 66165 HAS SOUS 31464 HAS SOUPS 31336 WITH SCORE 31406.178
AT ITER 45 NEW BEST:: SOT 83393 SOS 69950 HAS SOPS 65961 HAS SOUS 31026 HAS SOUPS 30898 WITH SCORE 30967.95
AT ITER 47 NEW BEST:: SOT 83392 SOS 69948 HAS SOPS 65917 HAS SOUS 31039 HAS SOUPS 30896 WITH SCORE 30965.948
AT ITER 50 NEW BEST:: SOT 83443 SOS 68691 HAS SOPS 64726 HAS SOUS 30061 HAS SOUPS 29918 WITH SCORE 29986.691
AT ITER 51 NEW BEST:: SOT 83284 SOS 68523 HAS SOPS 64512 HAS SOUS 29935 HAS SOUPS 29792 WITH SCORE 29860.523
AT ITER 52 NEW BEST:: SOT 83256 SOS 68467 HAS SOPS 64456 HAS SOUS 29879 HAS SOUPS 29736 WITH SCORE 29804.467
AT ITER 53 NEW BEST:: SOT 83254 SOS 68417 HAS SOPS 64406 HAS SOUS 29829 HAS SOUPS 29686 WITH SCORE 29754.417
AT ITER 56 NEW BEST:: SOT 83285 SOS 68029 HAS SOPS 64041 HAS SOUS 29751 HAS SOUPS 29608 WITH SCORE 29676.029
AT ITER 60 NEW BEST:: SOT 83270 SOS 68014 HAS SOPS 64026 HAS SOUS 29751 HAS SOUPS 29608 WITH SCORE 29676.014
AT ITER 62 NEW BEST:: SOT 82911 SOS 67646 HAS SOPS 63658 HAS SOUS 29559 HAS SOUPS 29416 WITH SCORE 29483.646
AT ITER 65 NEW BEST:: SOT 80562 SOS 67436 HAS SOPS 61231 HAS SOUS 29060 HAS SOUPS 28849 WITH SCORE 28916.436
AT ITER 66 NEW BEST:: SOT 80727 SOS 66568 HAS SOPS 59482 HAS SOUS 27829 HAS SOUPS 27618 WITH SCORE 27684.568
AT ITER 67 NEW BEST:: SOT 79951 SOS 65808 HAS SOPS 58722 HAS SOUS 27425 HAS SOUPS 27214 WITH SCORE 27279.808
AT ITER 68 NEW BEST:: SOT 79927 SOS 65699 HAS SOPS 58599 HAS SOUS 27386 HAS SOUPS 27175 WITH SCORE 27240.699
AT ITER 69 NEW BEST:: SOT 79923 SOS 65697 HAS SOPS 58591 HAS SOUS 27377 HAS SOUPS 27166 WITH SCORE 27231.697
AT ITER 70 NEW BEST:: SOT 79923 SOS 65641 HAS SOPS 58563 HAS SOUS 27377 HAS SOUPS 27166 WITH SCORE 27231.641
AT ITER 74 NEW BEST:: SOT 79889 SOS 65574 HAS SOPS 58495 HAS SOUS 27309 HAS SOUPS 27098 WITH SCORE 27163.574
AT ITER 78 NEW BEST:: SOT 79900 SOS 65625 HAS SOPS 58493 HAS SOUS 27296 HAS SOUPS 27085 WITH SCORE 27150.625
AT ITER 79 NEW BEST:: SOT 79826 SOS 65514 HAS SOPS 58308 HAS SOUS 27148 HAS SOUPS 26937 WITH SCORE 27002.514
AT ITER 80 NEW BEST:: SOT 79364 SOS 64969 HAS SOPS 57702 HAS SOUS 26862 HAS SOUPS 26651 WITH SCORE 26715.969
AT ITER 81 NEW BEST:: SOT 79360 SOS 64973 HAS SOPS 57694 HAS SOUS 26854 HAS SOUPS 26643 WITH SCORE 26707.973
AT ITER 84 NEW BEST:: SOT 79355 SOS 65005 HAS SOPS 57684 HAS SOUS 26772 HAS SOUPS 26561 WITH SCORE 26626.005
AT ITER 87 NEW BEST:: SOT 78603 SOS 64253 HAS SOPS 56917 HAS SOUS 26361 HAS SOUPS 26150 WITH SCORE 26214.253
AT ITER 98 NEW BEST:: SOT 78524 SOS 63830 HAS SOPS 56529 HAS SOUS 26134 HAS SOUPS 25899 WITH SCORE 25962.83
AT ITER 99 NEW BEST:: SOT 78463 SOS 63769 HAS SOPS 56346 HAS SOUS 25951 HAS SOUPS 25716 WITH SCORE 25779.769
AT ITER 100 NEW BEST:: SOT 78467 SOS 63010 HAS SOPS 55608 HAS SOUS 25748 HAS SOUPS 25513 WITH SCORE 25576.01
AT ITER 103 NEW BEST:: SOT 78476 SOS 63028 HAS SOPS 55626 HAS SOUS 25715 HAS SOUPS 25480 WITH SCORE 25543.028
AT ITER 105 NEW BEST:: SOT 78556 SOS 61388 HAS SOPS 52758 HAS SOUS 23850 HAS SOUPS 23608 WITH SCORE 23669.388
AT ITER 114 NEW BEST:: SOT 78572 SOS 61367 HAS SOPS 52730 HAS SOUS 23813 HAS SOUPS 23571 WITH SCORE 23632.367
AT ITER 116 NEW BEST:: SOT 78591 SOS 61382 HAS SOPS 52768 HAS SOUS 23811 HAS SOUPS 23569 WITH SCORE 23630.382
AT ITER 118 NEW BEST:: SOT 77070 SOS 59923 HAS SOPS 51449 HAS SOUS 23328 HAS SOUPS 23086 WITH SCORE 23145.923
AT ITER 119 NEW BEST:: SOT 77048 SOS 59890 HAS SOPS 51405 HAS SOUS 23317 HAS SOUPS 23075 WITH SCORE 23134.89
AT ITER 121 NEW BEST:: SOT 77042 SOS 59877 HAS SOPS 51353 HAS SOUS 23266 HAS SOUPS 23024 WITH SCORE 23083.877
AT ITER 123 NEW BEST:: SOT 77303 SOS 58485 HAS SOPS 49997 HAS SOUS 23210 HAS SOUPS 22968 WITH SCORE 23026.485
AT ITER 125 NEW BEST:: SOT 77296 SOS 58485 HAS SOPS 49990 HAS SOUS 23203 HAS SOUPS 22961 WITH SCORE 23019.485
AT ITER 126 NEW BEST:: SOT 77300 SOS 58224 HAS SOPS 49760 HAS SOUS 23021 HAS SOUPS 22779 WITH SCORE 22837.224
AT ITER 130 NEW BEST:: SOT 77307 SOS 58083 HAS SOPS 49661 HAS SOUS 22992 HAS SOUPS 22750 WITH SCORE 22808.083
AT ITER 133 NEW BEST:: SOT 77259 SOS 57983 HAS SOPS 49513 HAS SOUS 22874 HAS SOUPS 22632 WITH SCORE 22689.983
AT ITER 135 NEW BEST:: SOT 77255 SOS 57957 HAS SOPS 49505 HAS SOUS 22871 HAS SOUPS 22629 WITH SCORE 22686.957
AT ITER 137 NEW BEST:: SOT 77172 SOS 57828 HAS SOPS 49322 HAS SOUS 22750 HAS SOUPS 22508 WITH SCORE 22565.828
AT ITER 138 NEW BEST:: SOT 77159 SOS 57797 HAS SOPS 49293 HAS SOUS 22721 HAS SOUPS 22479 WITH SCORE 22536.797
AT ITER 139 NEW BEST:: SOT 77188 SOS 57844 HAS SOPS 49351 HAS SOUS 22711 HAS SOUPS 22469 WITH SCORE 22526.844
AT ITER 144 NEW BEST:: SOT 77155 SOS 56349 HAS SOPS 46360 HAS SOUS 21157 HAS SOUPS 20915 WITH SCORE 20971.349
AT ITER 146 NEW BEST:: SOT 77060 SOS 56147 HAS SOPS 46086 HAS SOUS 20955 HAS SOUPS 20713 WITH SCORE 20769.147
AT ITER 148 NEW BEST:: SOT 77070 SOS 56121 HAS SOPS 46059 HAS SOUS 20929 HAS SOUPS 20687 WITH SCORE 20743.121
AT ITER 154 NEW BEST:: SOT 76290 SOS 55341 HAS SOPS 45279 HAS SOUS 20531 HAS SOUPS 20289 WITH SCORE 20344.341
AT ITER 157 NEW BEST:: SOT 76238 SOS 55233 HAS SOPS 45112 HAS SOUS 20370 HAS SOUPS 20128 WITH SCORE 20183.233
AT ITER 160 NEW BEST:: SOT 76232 SOS 55247 HAS SOPS 45100 HAS SOUS 20362 HAS SOUPS 20116 WITH SCORE 20171.247
AT ITER 165 NEW BEST:: SOT 76222 SOS 55237 HAS SOPS 45080 HAS SOUS 20342 HAS SOUPS 20096 WITH SCORE 20151.237
AT ITER 166 NEW BEST:: SOT 76222 SOS 55205 HAS SOPS 45080 HAS SOUS 20342 HAS SOUPS 20096 WITH SCORE 20151.205
AT ITER 170 NEW BEST:: SOT 76297 SOS 53792 HAS SOPS 42765 HAS SOUS 20063 HAS SOUPS 19817 WITH SCORE 19870.792
AT ITER 172 NEW BEST:: SOT 76309 SOS 53639 HAS SOPS 42675 HAS SOUS 20044 HAS SOUPS 19798 WITH SCORE 19851.639
AT ITER 180 NEW BEST:: SOT 76287 SOS 53615 HAS SOPS 42631 HAS SOUS 20014 HAS SOUPS 19768 WITH SCORE 19821.615
AT ITER 187 NEW BEST:: SOT 76339 SOS 53667 HAS SOPS 41355 HAS SOUS 19456 HAS SOUPS 19210 WITH SCORE 19263.667
AT ITER 191 NEW BEST:: SOT 75749 SOS 53396 HAS SOPS 42041 HAS SOUS 19441 HAS SOUPS 19195 WITH SCORE 19248.396
AT ITER 199 NEW BEST:: SOT 75749 SOS 53392 HAS SOPS 42037 HAS SOUS 19437 HAS SOUPS 19191 WITH SCORE 19244.392
AT ITER 203 NEW BEST:: SOT 75724 SOS 53342 HAS SOPS 41987 HAS SOUS 19371 HAS SOUPS 19125 WITH SCORE 19178.342
AT ITER 206 NEW BEST:: SOT 75208 SOS 52870 HAS SOPS 41531 HAS SOUS 19248 HAS SOUPS 19002 WITH SCORE 19054.87
AT ITER 207 NEW BEST:: SOT 75206 SOS 52897 HAS SOPS 41527 HAS SOUS 19244 HAS SOUPS 18998 WITH SCORE 19050.897
AT ITER 208 NEW BEST:: SOT 75206 SOS 52889 HAS SOPS 41519 HAS SOUS 19236 HAS SOUPS 18990 WITH SCORE 19042.889
AT ITER 212 NEW BEST:: SOT 75210 SOS 52891 HAS SOPS 41464 HAS SOUS 19156 HAS SOUPS 18910 WITH SCORE 18962.891
AT ITER 214 NEW BEST:: SOT 75208 SOS 52889 HAS SOPS 41460 HAS SOUS 19154 HAS SOUPS 18908 WITH SCORE 18960.889
AT ITER 215 NEW BEST:: SOT 75059 SOS 52393 HAS SOPS 40900 HAS SOUS 18699 HAS SOUPS 18453 WITH SCORE 18505.393
AT ITER 221 NEW BEST:: SOT 74372 SOS 51715 HAS SOPS 40222 HAS SOUS 18368 HAS SOUPS 18122 WITH SCORE 18173.715
AT ITER 225 NEW BEST:: SOT 74368 SOS 51735 HAS SOPS 40240 HAS SOUS 18364 HAS SOUPS 18118 WITH SCORE 18169.735
AT ITER 230 NEW BEST:: SOT 74370 SOS 51739 HAS SOPS 40244 HAS SOUS 18357 HAS SOUPS 18111 WITH SCORE 18162.739
AT ITER 234 NEW BEST:: SOT 74370 SOS 51719 HAS SOPS 40224 HAS SOUS 18357 HAS SOUPS 18111 WITH SCORE 18162.719
AT ITER 235 NEW BEST:: SOT 74372 SOS 51618 HAS SOPS 40113 HAS SOUS 18243 HAS SOUPS 17997 WITH SCORE 18048.618
AT ITER 241 NEW BEST:: SOT 74342 SOS 51598 HAS SOPS 39809 HAS SOUS 17253 HAS SOUPS 17002 WITH SCORE 17053.598
AT ITER 242 NEW BEST:: SOT 72192 SOS 49430 HAS SOPS 38169 HAS SOUS 16378 HAS SOUPS 16127 WITH SCORE 16176.43
AT ITER 246 NEW BEST:: SOT 72102 SOS 49250 HAS SOPS 36887 HAS SOUS 15592 HAS SOUPS 15341 WITH SCORE 15390.25
AT ITER 252 NEW BEST:: SOT 72102 SOS 49242 HAS SOPS 36767 HAS SOUS 15436 HAS SOUPS 15185 WITH SCORE 15234.242
AT ITER 260 NEW BEST:: SOT 72053 SOS 49145 HAS SOPS 36369 HAS SOUS 14864 HAS SOUPS 14613 WITH SCORE 14662.145
AT ITER 269 NEW BEST:: SOT 72025 SOS 49118 HAS SOPS 36342 HAS SOUS 14852 HAS SOUPS 14601 WITH SCORE 14650.118
AT ITER 272 NEW BEST:: SOT 71962 SOS 49055 HAS SOPS 36236 HAS SOUS 14789 HAS SOUPS 14538 WITH SCORE 14587.055
AT ITER 274 NEW BEST:: SOT 71954 SOS 49039 HAS SOPS 36216 HAS SOUS 14773 HAS SOUPS 14522 WITH SCORE 14571.039
AT ITER 275 NEW BEST:: SOT 71952 SOS 49033 HAS SOPS 36210 HAS SOUS 14771 HAS SOUPS 14520 WITH SCORE 14569.033
AT ITER 280 NEW BEST:: SOT 71893 SOS 48885 HAS SOPS 36016 HAS SOUS 14590 HAS SOUPS 14339 WITH SCORE 14387.885
AT ITER 288 NEW BEST:: SOT 71854 SOS 48830 HAS SOPS 35938 HAS SOUS 14520 HAS SOUPS 14269 WITH SCORE 14317.83
AT ITER 289 NEW BEST:: SOT 71858 SOS 48833 HAS SOPS 35907 HAS SOUS 14489 HAS SOUPS 14238 WITH SCORE 14286.833
AT ITER 293 NEW BEST:: SOT 71581 SOS 48563 HAS SOPS 35719 HAS SOUS 14454 HAS SOUPS 14203 WITH SCORE 14251.563
AT ITER 302 NEW BEST:: SOT 71585 SOS 48556 HAS SOPS 35676 HAS SOUS 14411 HAS SOUPS 14160 WITH SCORE 14208.556
AT ITER 303 NEW BEST:: SOT 71584 SOS 48555 HAS SOPS 35674 HAS SOUS 14409 HAS SOUPS 14158 WITH SCORE 14206.555
AT ITER 307 NEW BEST:: SOT 71787 SOS 48594 HAS SOPS 35713 HAS SOUS 14402 HAS SOUPS 14151 WITH SCORE 14199.594
AT ITER 312 NEW BEST:: SOT 71775 SOS 48557 HAS SOPS 35666 HAS SOUS 14355 HAS SOUPS 14104 WITH SCORE 14152.557
AT ITER 314 NEW BEST:: SOT 71775 SOS 48337 HAS SOPS 35464 HAS SOUS 14272 HAS SOUPS 14021 WITH SCORE 14069.337
AT ITER 316 NEW BEST:: SOT 71766 SOS 48319 HAS SOPS 35446 HAS SOUS 14254 HAS SOUPS 14003 WITH SCORE 14051.319
AT ITER 319 NEW BEST:: SOT 71718 SOS 48223 HAS SOPS 35326 HAS SOUS 14158 HAS SOUPS 13907 WITH SCORE 13955.223
AT ITER 323 NEW BEST:: SOT 71717 SOS 48284 HAS SOPS 35323 HAS SOUS 14158 HAS SOUPS 13906 WITH SCORE 13954.284
AT ITER 326 NEW BEST:: SOT 71717 SOS 48287 HAS SOPS 35323 HAS SOUS 14155 HAS SOUPS 13903 WITH SCORE 13951.287
AT ITER 335 NEW BEST:: SOT 71720 SOS 48196 HAS SOPS 35216 HAS SOUS 14095 HAS SOUPS 13843 WITH SCORE 13891.196
AT ITER 344 NEW BEST:: SOT 71720 SOS 48196 HAS SOPS 35211 HAS SOUS 14090 HAS SOUPS 13838 WITH SCORE 13886.196
AT ITER 348 NEW BEST:: SOT 71573 SOS 48026 HAS SOPS 34917 HAS SOUS 13796 HAS SOUPS 13544 WITH SCORE 13592.026
AT ITER 350 NEW BEST:: SOT 71573 SOS 48063 HAS SOPS 34917 HAS SOUS 13759 HAS SOUPS 13507 WITH SCORE 13555.063
AT ITER 356 NEW BEST:: SOT 71569 SOS 48111 HAS SOPS 34937 HAS SOUS 13756 HAS SOUPS 13504 WITH SCORE 13552.111
AT ITER 357 NEW BEST:: SOT 71776 SOS 48321 HAS SOPS 34555 HAS SOUS 13674 HAS SOUPS 13422 WITH SCORE 13470.321
AT ITER 362 NEW BEST:: SOT 71759 SOS 48289 HAS SOPS 34521 HAS SOUS 13655 HAS SOUPS 13403 WITH SCORE 13451.289
AT ITER 365 NEW BEST:: SOT 71753 SOS 48277 HAS SOPS 34509 HAS SOUS 13655 HAS SOUPS 13403 WITH SCORE 13451.277
AT ITER 374 NEW BEST:: SOT 71989 SOS 48476 HAS SOPS 34448 HAS SOUS 13579 HAS SOUPS 13327 WITH SCORE 13375.476
AT ITER 375 NEW BEST:: SOT 71959 SOS 48416 HAS SOPS 34388 HAS SOUS 13579 HAS SOUPS 13327 WITH SCORE 13375.416
AT ITER 378 NEW BEST:: SOT 71959 SOS 48416 HAS SOPS 34354 HAS SOUS 13545 HAS SOUPS 13293 WITH SCORE 13341.416
AT ITER 380 NEW BEST:: SOT 71958 SOS 48414 HAS SOPS 34352 HAS SOUS 13544 HAS SOUPS 13292 WITH SCORE 13340.414
AT ITER 384 NEW BEST:: SOT 71950 SOS 48398 HAS SOPS 34298 HAS SOUS 13437 HAS SOUPS 13185 WITH SCORE 13233.398
AT ITER 385 NEW BEST:: SOT 71841 SOS 48180 HAS SOPS 34080 HAS SOUS 13272 HAS SOUPS 13020 WITH SCORE 13068.18
AT ITER 388 NEW BEST:: SOT 71835 SOS 48183 HAS SOPS 34068 HAS SOUS 13235 HAS SOUPS 12983 WITH SCORE 13031.183
AT ITER 392 NEW BEST:: SOT 71834 SOS 48180 HAS SOPS 34048 HAS SOUS 13215 HAS SOUPS 12963 WITH SCORE 13011.18
AT ITER 398 NEW BEST:: SOT 71889 SOS 48071 HAS SOPS 33936 HAS SOUS 13191 HAS SOUPS 12939 WITH SCORE 12987.071
AT ITER 418 NEW BEST:: SOT 71887 SOS 48196 HAS SOPS 33930 HAS SOUS 13189 HAS SOUPS 12935 WITH SCORE 12983.196
AT ITER 424 NEW BEST:: SOT 71861 SOS 48168 HAS SOPS 33902 HAS SOUS 13173 HAS SOUPS 12919 WITH SCORE 12967.168
AT ITER 450 NEW BEST:: SOT 71853 SOS 48173 HAS SOPS 33893 HAS SOUS 13158 HAS SOUPS 12904 WITH SCORE 12952.173
AT ITER 453 NEW BEST:: SOT 71837 SOS 48133 HAS SOPS 33853 HAS SOUS 13126 HAS SOUPS 12872 WITH SCORE 12920.133
AT ITER 454 NEW BEST:: SOT 71817 SOS 48146 HAS SOPS 33846 HAS SOUS 13086 HAS SOUPS 12832 WITH SCORE 12880.146
AT ITER 455 NEW BEST:: SOT 70269 SOS 46677 HAS SOPS 32496 HAS SOUS 12448 HAS SOUPS 12194 WITH SCORE 12240.677
AT ITER 457 NEW BEST:: SOT 69345 SOS 45758 HAS SOPS 31581 HAS SOUS 12015 HAS SOUPS 11762 WITH SCORE 11807.758
AT ITER 471 NEW BEST:: SOT 69219 SOS 46125 HAS SOPS 31948 HAS SOUS 11935 HAS SOUPS 11682 WITH SCORE 11728.125
AT ITER 473 NEW BEST:: SOT 68932 SOS 45850 HAS SOPS 32018 HAS SOUS 11921 HAS SOUPS 11668 WITH SCORE 11713.85
AT ITER 479 NEW BEST:: SOT 69067 SOS 45815 HAS SOPS 30547 HAS SOUS 11528 HAS SOUPS 11275 WITH SCORE 11320.815
AT ITER 482 NEW BEST:: SOT 69067 SOS 45797 HAS SOPS 30529 HAS SOUS 11510 HAS SOUPS 11257 WITH SCORE 11302.797
AT ITER 483 NEW BEST:: SOT 69040 SOS 45728 HAS SOPS 30454 HAS SOUS 11477 HAS SOUPS 11224 WITH SCORE 11269.728
AT ITER 500 NEW BEST:: SOT 69076 SOS 45725 HAS SOPS 30471 HAS SOUS 11466 HAS SOUPS 11213 WITH SCORE 11258.725
AT ITER 501 NEW BEST:: SOT 69068 SOS 45709 HAS SOPS 30455 HAS SOUS 11450 HAS SOUPS 11197 WITH SCORE 11242.709
AT ITER 504 NEW BEST:: SOT 69192 SOS 45821 HAS SOPS 30507 HAS SOUS 11424 HAS SOUPS 11171 WITH SCORE 11216.821
AT ITER 508 NEW BEST:: SOT 69237 SOS 45687 HAS SOPS 30449 HAS SOUS 11403 HAS SOUPS 11147 WITH SCORE 11192.687
AT ITER 509 NEW BEST:: SOT 69235 SOS 45403 HAS SOPS 30171 HAS SOUS 11383 HAS SOUPS 11127 WITH SCORE 11172.403
AT ITER 510 NEW BEST:: SOT 69218 SOS 45386 HAS SOPS 30154 HAS SOUS 11383 HAS SOUPS 11127 WITH SCORE 11172.386
AT ITER 519 NEW BEST:: SOT 69262 SOS 45392 HAS SOPS 30162 HAS SOUS 11359 HAS SOUPS 11103 WITH SCORE 11148.392
AT ITER 532 NEW BEST:: SOT 69280 SOS 45419 HAS SOPS 29996 HAS SOUS 11244 HAS SOUPS 10988 WITH SCORE 11033.419
AT ITER 534 NEW BEST:: SOT 69234 SOS 46831 HAS SOPS 31376 HAS SOUS 11226 HAS SOUPS 10970 WITH SCORE 11016.831
AT ITER 538 NEW BEST:: SOT 69250 SOS 46827 HAS SOPS 31370 HAS SOUS 11222 HAS SOUPS 10966 WITH SCORE 11012.827
AT ITER 552 NEW BEST:: SOT 69250 SOS 46827 HAS SOPS 31357 HAS SOUS 11209 HAS SOUPS 10953 WITH SCORE 10999.827
AT ITER 555 NEW BEST:: SOT 69226 SOS 46822 HAS SOPS 31358 HAS SOUS 11199 HAS SOUPS 10943 WITH SCORE 10989.822
AT ITER 558 NEW BEST:: SOT 69190 SOS 46801 HAS SOPS 31319 HAS SOUS 11163 HAS SOUPS 10907 WITH SCORE 10953.801
AT ITER 559 NEW BEST:: SOT 69067 SOS 46678 HAS SOPS 31261 HAS SOUS 11105 HAS SOUPS 10849 WITH SCORE 10895.678
AT ITER 570 NEW BEST:: SOT 69055 SOS 46668 HAS SOPS 31251 HAS SOUS 11095 HAS SOUPS 10839 WITH SCORE 10885.668
AT ITER 572 NEW BEST:: SOT 69053 SOS 46666 HAS SOPS 31247 HAS SOUS 11089 HAS SOUPS 10833 WITH SCORE 10879.666
AT ITER 577 NEW BEST:: SOT 68909 SOS 46552 HAS SOPS 31454 HAS SOUS 11083 HAS SOUPS 10827 WITH SCORE 10873.552
AT ITER 581 NEW BEST:: SOT 68909 SOS 46551 HAS SOPS 31432 HAS SOUS 11067 HAS SOUPS 10811 WITH SCORE 10857.551
AT ITER 598 NEW BEST:: SOT 68862 SOS 46527 HAS SOPS 31338 HAS SOUS 11010 HAS SOUPS 10743 WITH SCORE 10789.527
AT ITER 603 NEW BEST:: SOT 68817 SOS 46450 HAS SOPS 31236 HAS SOUS 10940 HAS SOUPS 10673 WITH SCORE 10719.45
AT ITER 605 NEW BEST:: SOT 68799 SOS 46432 HAS SOPS 31218 HAS SOUS 10922 HAS SOUPS 10655 WITH SCORE 10701.432
AT ITER 621 NEW BEST:: SOT 68786 SOS 46419 HAS SOPS 31192 HAS SOUS 10896 HAS SOUPS 10629 WITH SCORE 10675.419
AT ITER 632 NEW BEST:: SOT 68607 SOS 46442 HAS SOPS 31064 HAS SOUS 10732 HAS SOUPS 10465 WITH SCORE 10511.442
AT ITER 644 NEW BEST:: SOT 68587 SOS 46395 HAS SOPS 30932 HAS SOUS 10364 HAS SOUPS 10097 WITH SCORE 10143.395
AT ITER 654 NEW BEST:: SOT 68487 SOS 51446 HAS SOPS 30806 HAS SOUS 10338 HAS SOUPS 10049 WITH SCORE 10100.446
AT ITER 658 NEW BEST:: SOT 68434 SOS 51459 HAS SOPS 30780 HAS SOUS 10314 HAS SOUPS 10025 WITH SCORE 10076.459
AT ITER 661 NEW BEST:: SOT 68383 SOS 51330 HAS SOPS 30622 HAS SOUS 10156 HAS SOUPS 9867 WITH SCORE 9918.33
AT ITER 673 NEW BEST:: SOT 68352 SOS 51300 HAS SOPS 30592 HAS SOUS 10142 HAS SOUPS 9853 WITH SCORE 9904.3
AT ITER 687 NEW BEST:: SOT 68332 SOS 51268 HAS SOPS 30552 HAS SOUS 10125 HAS SOUPS 9836 WITH SCORE 9887.268
AT ITER 690 NEW BEST:: SOT 68332 SOS 51268 HAS SOPS 30552 HAS SOUS 10120 HAS SOUPS 9831 WITH SCORE 9882.268
AT ITER 692 NEW BEST:: SOT 68332 SOS 51269 HAS SOPS 30552 HAS SOUS 10115 HAS SOUPS 9826 WITH SCORE 9877.269
AT ITER 696 NEW BEST:: SOT 68328 SOS 51261 HAS SOPS 30544 HAS SOUS 10103 HAS SOUPS 9814 WITH SCORE 9865.261
AT ITER 698 NEW BEST:: SOT 68333 SOS 51288 HAS SOPS 30554 HAS SOUS 10085 HAS SOUPS 9796 WITH SCORE 9847.288
AT ITER 699 NEW BEST:: SOT 68283 SOS 51228 HAS SOPS 30454 HAS SOUS 10013 HAS SOUPS 9724 WITH SCORE 9775.228
AT ITER 713 NEW BEST:: SOT 68249 SOS 51160 HAS SOPS 28978 HAS SOUS 9765 HAS SOUPS 9476 WITH SCORE 9527.16
AT ITER 750 NEW BEST:: SOT 68249 SOS 51160 HAS SOPS 28978 HAS SOUS 9719 HAS SOUPS 9430 WITH SCORE 9481.16
AT ITER 763 NEW BEST:: SOT 68249 SOS 51109 HAS SOPS 28978 HAS SOUS 9719 HAS SOUPS 9430 WITH SCORE 9481.109
AT ITER 765 NEW BEST:: SOT 68232 SOS 51063 HAS SOPS 28944 HAS SOUS 9685 HAS SOUPS 9396 WITH SCORE 9447.063
AT ITER 767 NEW BEST:: SOT 68212 SOS 51053 HAS SOPS 28914 HAS SOUS 9655 HAS SOUPS 9366 WITH SCORE 9417.053
AT ITER 776 NEW BEST:: SOT 68242 SOS 51011 HAS SOPS 28888 HAS SOUS 9615 HAS SOUPS 9326 WITH SCORE 9377.011
AT ITER 787 NEW BEST:: SOT 68234 SOS 50995 HAS SOPS 28872 HAS SOUS 9599 HAS SOUPS 9310 WITH SCORE 9360.995
AT ITER 790 NEW BEST:: SOT 68234 SOS 50991 HAS SOPS 28870 HAS SOUS 9599 HAS SOUPS 9310 WITH SCORE 9360.991
AT ITER 799 NEW BEST:: SOT 67382 SOS 50136 HAS SOPS 28474 HAS SOUS 9469 HAS SOUPS 9180 WITH SCORE 9230.136
AT ITER 811 NEW BEST:: SOT 67355 SOS 50091 HAS SOPS 28086 HAS SOUS 9357 HAS SOUPS 9068 WITH SCORE 9118.091
AT ITER 813 NEW BEST:: SOT 67557 SOS 50251 HAS SOPS 27758 HAS SOUS 9096 HAS SOUPS 8807 WITH SCORE 8857.251
AT ITER 819 NEW BEST:: SOT 67557 SOS 50251 HAS SOPS 27735 HAS SOUS 9073 HAS SOUPS 8784 WITH SCORE 8834.251
AT ITER 820 NEW BEST:: SOT 67547 SOS 50246 HAS SOPS 27715 HAS SOUS 9053 HAS SOUPS 8764 WITH SCORE 8814.246
AT ITER 822 NEW BEST:: SOT 67555 SOS 50215 HAS SOPS 27702 HAS SOUS 9033 HAS SOUPS 8744 WITH SCORE 8794.215
AT ITER 828 NEW BEST:: SOT 67551 SOS 50207 HAS SOPS 27694 HAS SOUS 9025 HAS SOUPS 8736 WITH SCORE 8786.207
AT ITER 832 NEW BEST:: SOT 67539 SOS 50169 HAS SOPS 27650 HAS SOUS 8987 HAS SOUPS 8698 WITH SCORE 8748.169
AT ITER 834 NEW BEST:: SOT 67526 SOS 50155 HAS SOPS 27636 HAS SOUS 8981 HAS SOUPS 8692 WITH SCORE 8742.155
AT ITER 836 NEW BEST:: SOT 67518 SOS 50112 HAS SOPS 27602 HAS SOUS 8973 HAS SOUPS 8684 WITH SCORE 8734.112
AT ITER 839 NEW BEST:: SOT 67349 SOS 49943 HAS SOPS 27428 HAS SOUS 8881 HAS SOUPS 8592 WITH SCORE 8641.943
AT ITER 840 NEW BEST:: SOT 67346 SOS 49940 HAS SOPS 27422 HAS SOUS 8875 HAS SOUPS 8586 WITH SCORE 8635.94
AT ITER 844 NEW BEST:: SOT 67346 SOS 49965 HAS SOPS 27422 HAS SOUS 8850 HAS SOUPS 8561 WITH SCORE 8610.965
AT ITER 851 NEW BEST:: SOT 67322 SOS 49936 HAS SOPS 27374 HAS SOUS 8796 HAS SOUPS 8507 WITH SCORE 8556.936
AT ITER 855 NEW BEST:: SOT 67304 SOS 49918 HAS SOPS 27352 HAS SOUS 8788 HAS SOUPS 8499 WITH SCORE 8548.918
AT ITER 859 NEW BEST:: SOT 67304 SOS 49918 HAS SOPS 27352 HAS SOUS 8785 HAS SOUPS 8496 WITH SCORE 8545.918
AT ITER 871 NEW BEST:: SOT 67302 SOS 49914 HAS SOPS 27348 HAS SOUS 8776 HAS SOUPS 8487 WITH SCORE 8536.914
AT ITER 902 NEW BEST:: SOT 67330 SOS 49930 HAS SOPS 27360 HAS SOUS 8758 HAS SOUPS 8469 WITH SCORE 8518.93
AT ITER 903 NEW BEST:: SOT 67326 SOS 49922 HAS SOPS 27352 HAS SOUS 8754 HAS SOUPS 8465 WITH SCORE 8514.922
AT ITER 905 NEW BEST:: SOT 67318 SOS 49975 HAS SOPS 27402 HAS SOUS 8745 HAS SOUPS 8456 WITH SCORE 8505.975
AT ITER 907 NEW BEST:: SOT 67290 SOS 49919 HAS SOPS 27346 HAS SOUS 8689 HAS SOUPS 8400 WITH SCORE 8449.919
AT ITER 915 NEW BEST:: SOT 67310 SOS 49886 HAS SOPS 27328 HAS SOUS 8666 HAS SOUPS 8377 WITH SCORE 8426.886
AT ITER 937 NEW BEST:: SOT 67270 SOS 49834 HAS SOPS 27266 HAS SOUS 8632 HAS SOUPS 8343 WITH SCORE 8392.834
AT ITER 940 NEW BEST:: SOT 67263 SOS 49805 HAS SOPS 27241 HAS SOUS 8618 HAS SOUPS 8329 WITH SCORE 8378.805
AT ITER 943 NEW BEST:: SOT 67081 SOS 49629 HAS SOPS 27094 HAS SOUS 8585 HAS SOUPS 8296 WITH SCORE 8345.629
AT ITER 951 NEW BEST:: SOT 67067 SOS 49555 HAS SOPS 27036 HAS SOUS 8557 HAS SOUPS 8268 WITH SCORE 8317.555
AT ITER 957 NEW BEST:: SOT 67031 SOS 49520 HAS SOPS 27000 HAS SOUS 8540 HAS SOUPS 8251 WITH SCORE 8300.52
AT ITER 963 NEW BEST:: SOT 66980 SOS 49469 HAS SOPS 26933 HAS SOUS 8473 HAS SOUPS 8184 WITH SCORE 8233.469
AT ITER 964 NEW BEST:: SOT 66978 SOS 49467 HAS SOPS 26929 HAS SOUS 8467 HAS SOUPS 8178 WITH SCORE 8227.467
AT ITER 971 NEW BEST:: SOT 66955 SOS 49483 HAS SOPS 26914 HAS SOUS 8452 HAS SOUPS 8163 WITH SCORE 8212.483
AT ITER 979 NEW BEST:: SOT 66952 SOS 49480 HAS SOPS 26908 HAS SOUS 8446 HAS SOUPS 8157 WITH SCORE 8206.48
AT ITER 1019 NEW BEST:: SOT 66934 SOS 49462 HAS SOPS 26872 HAS SOUS 8430 HAS SOUPS 8141 WITH SCORE 8190.462
AT ITER 1020 NEW BEST:: SOT 66930 SOS 49453 HAS SOPS 26861 HAS SOUS 8421 HAS SOUPS 8132 WITH SCORE 8181.453
AT ITER 1069 NEW BEST:: SOT 66948 SOS 49444 HAS SOPS 26859 HAS SOUS 8419 HAS SOUPS 8130 WITH SCORE 8179.444
AT ITER 1085 NEW BEST:: SOT 66948 SOS 49443 HAS SOPS 26858 HAS SOUS 8418 HAS SOUPS 8129 WITH SCORE 8178.443
AT ITER 1088 NEW BEST:: SOT 66933 SOS 49428 HAS SOPS 26843 HAS SOUS 8403 HAS SOUPS 8114 WITH SCORE 8163.428
AT ITER 1097 NEW BEST:: SOT 66933 SOS 49382 HAS SOPS 26820 HAS SOUS 8403 HAS SOUPS 8114 WITH SCORE 8163.382
AT ITER 1148 NEW BEST:: SOT 66928 SOS 49407 HAS SOPS 26827 HAS SOUS 8401 HAS SOUPS 8112 WITH SCORE 8161.407
AT ITER 1155 NEW BEST:: SOT 66914 SOS 49428 HAS SOPS 26817 HAS SOUS 8353 HAS SOUPS 8064 WITH SCORE 8113.428
AT ITER 1175 NEW BEST:: SOT 66910 SOS 49416 HAS SOPS 26805 HAS SOUS 8345 HAS SOUPS 8056 WITH SCORE 8105.416
AT ITER 1182 NEW BEST:: SOT 66905 SOS 49406 HAS SOPS 26782 HAS SOUS 8325 HAS SOUPS 8036 WITH SCORE 8085.406
AT ITER 1188 NEW BEST:: SOT 66893 SOS 49394 HAS SOPS 26758 HAS SOUS 8301 HAS SOUPS 8012 WITH SCORE 8061.394
AT ITER 1194 NEW BEST:: SOT 66892 SOS 49393 HAS SOPS 26756 HAS SOUS 8299 HAS SOUPS 8010 WITH SCORE 8059.393
AT ITER 1197 NEW BEST:: SOT 66890 SOS 49389 HAS SOPS 26748 HAS SOUS 8291 HAS SOUPS 8002 WITH SCORE 8051.389
AT ITER 1200 NEW BEST:: SOT 66893 SOS 49207 HAS SOPS 26570 HAS SOUS 8286 HAS SOUPS 7997 WITH SCORE 8046.207
AT ITER 1220 NEW BEST:: SOT 66874 SOS 49169 HAS SOPS 26513 HAS SOUS 8229 HAS SOUPS 7940 WITH SCORE 7989.169
AT ITER 1230 NEW BEST:: SOT 66868 SOS 49178 HAS SOPS 26513 HAS SOUS 8226 HAS SOUPS 7937 WITH SCORE 7986.178
AT ITER 1237 NEW BEST:: SOT 66866 SOS 49174 HAS SOPS 26509 HAS SOUS 8222 HAS SOUPS 7933 WITH SCORE 7982.174
AT ITER 1239 NEW BEST:: SOT 66800 SOS 49109 HAS SOPS 26462 HAS SOUS 8210 HAS SOUPS 7921 WITH SCORE 7970.109
AT ITER 1242 NEW BEST:: SOT 66784 SOS 49093 HAS SOPS 26430 HAS SOUS 8178 HAS SOUPS 7889 WITH SCORE 7938.093
AT ITER 1267 NEW BEST:: SOT 66782 SOS 49091 HAS SOPS 26428 HAS SOUS 8178 HAS SOUPS 7889 WITH SCORE 7938.091
AT ITER 1268 NEW BEST:: SOT 66782 SOS 49070 HAS SOPS 26428 HAS SOUS 8178 HAS SOUPS 7889 WITH SCORE 7938.07
AT ITER 1286 NEW BEST:: SOT 66749 SOS 49037 HAS SOPS 26395 HAS SOUS 8145 HAS SOUPS 7856 WITH SCORE 7905.037
AT ITER 1291 NEW BEST:: SOT 66811 SOS 49083 HAS SOPS 26407 HAS SOUS 8106 HAS SOUPS 7817 WITH SCORE 7866.083
AT ITER 1311 NEW BEST:: SOT 66779 SOS 49067 HAS SOPS 26375 HAS SOUS 8090 HAS SOUPS 7801 WITH SCORE 7850.067
AT ITER 1318 NEW BEST:: SOT 66766 SOS 49097 HAS SOPS 26377 HAS SOUS 8077 HAS SOUPS 7788 WITH SCORE 7837.097
AT ITER 1326 NEW BEST:: SOT 66784 SOS 49105 HAS SOPS 26367 HAS SOUS 8042 HAS SOUPS 7753 WITH SCORE 7802.105
AT ITER 1329 NEW BEST:: SOT 66782 SOS 49102 HAS SOPS 26363 HAS SOUS 8039 HAS SOUPS 7750 WITH SCORE 7799.102
AT ITER 1335 NEW BEST:: SOT 66783 SOS 49103 HAS SOPS 26365 HAS SOUS 8038 HAS SOUPS 7749 WITH SCORE 7798.103
AT ITER 1342 NEW BEST:: SOT 66775 SOS 49102 HAS SOPS 26349 HAS SOUS 8037 HAS SOUPS 7733 WITH SCORE 7782.102
AT ITER 1343 NEW BEST:: SOT 66767 SOS 49095 HAS SOPS 26338 HAS SOUS 8026 HAS SOUPS 7722 WITH SCORE 7771.095
AT ITER 1349 NEW BEST:: SOT 66735 SOS 49072 HAS SOPS 26318 HAS SOUS 8006 HAS SOUPS 7702 WITH SCORE 7751.072
AT ITER 1357 NEW BEST:: SOT 66712 SOS 49038 HAS SOPS 26272 HAS SOUS 7960 HAS SOUPS 7656 WITH SCORE 7705.038
AT ITER 1362 NEW BEST:: SOT 66690 SOS 49005 HAS SOPS 26228 HAS SOUS 7938 HAS SOUPS 7634 WITH SCORE 7683.005
AT ITER 1383 NEW BEST:: SOT 66636 SOS 48924 HAS SOPS 26120 HAS SOUS 7879 HAS SOUPS 7575 WITH SCORE 7623.924
AT ITER 1409 NEW BEST:: SOT 66623 SOS 48895 HAS SOPS 26094 HAS SOUS 7867 HAS SOUPS 7563 WITH SCORE 7611.895
AT ITER 1411 NEW BEST:: SOT 66606 SOS 48878 HAS SOPS 26060 HAS SOUS 7833 HAS SOUPS 7529 WITH SCORE 7577.878
AT ITER 1412 NEW BEST:: SOT 66605 SOS 48876 HAS SOPS 26043 HAS SOUS 7811 HAS SOUPS 7507 WITH SCORE 7555.876
AT ITER 1473 NEW BEST:: SOT 66605 SOS 48867 HAS SOPS 26038 HAS SOUS 7811 HAS SOUPS 7507 WITH SCORE 7555.867
AT ITER 1479 NEW BEST:: SOT 66605 SOS 48856 HAS SOPS 26027 HAS SOUS 7800 HAS SOUPS 7496 WITH SCORE 7544.856
AT ITER 1481 NEW BEST:: SOT 66581 SOS 48824 HAS SOPS 25979 HAS SOUS 7755 HAS SOUPS 7451 WITH SCORE 7499.824
AT ITER 1483 NEW BEST:: SOT 66587 SOS 48819 HAS SOPS 25975 HAS SOUS 7751 HAS SOUPS 7447 WITH SCORE 7495.819
AT ITER 1524 NEW BEST:: SOT 66580 SOS 48809 HAS SOPS 25965 HAS SOUS 7751 HAS SOUPS 7447 WITH SCORE 7495.809
AT ITER 1525 NEW BEST:: SOT 66574 SOS 48805 HAS SOPS 25953 HAS SOUS 7745 HAS SOUPS 7441 WITH SCORE 7489.805
AT ITER 1551 NEW BEST:: SOT 66574 SOS 48805 HAS SOPS 25945 HAS SOUS 7737 HAS SOUPS 7433 WITH SCORE 7481.805
AT ITER 1578 NEW BEST:: SOT 66571 SOS 48802 HAS SOPS 25940 HAS SOUS 7732 HAS SOUPS 7428 WITH SCORE 7476.802
AT ITER 1580 NEW BEST:: SOT 66571 SOS 48802 HAS SOPS 25939 HAS SOUS 7732 HAS SOUPS 7427 WITH SCORE 7475.802
AT ITER 1582 NEW BEST:: SOT 66562 SOS 48795 HAS SOPS 25934 HAS SOUS 7727 HAS SOUPS 7422 WITH SCORE 7470.795
AT ITER 1650 NEW BEST:: SOT 66546 SOS 48789 HAS SOPS 25902 HAS SOUS 7698 HAS SOUPS 7393 WITH SCORE 7441.789
AT ITER 1664 NEW BEST:: SOT 66552 SOS 48786 HAS SOPS 25905 HAS SOUS 7692 HAS SOUPS 7387 WITH SCORE 7435.786
AT ITER 1705 NEW BEST:: SOT 66550 SOS 48782 HAS SOPS 25900 HAS SOUS 7687 HAS SOUPS 7382 WITH SCORE 7430.782
AT ITER 1747 NEW BEST:: SOT 66547 SOS 48773 HAS SOPS 25891 HAS SOUS 7678 HAS SOUPS 7373 WITH SCORE 7421.773
AT ITER 1754 NEW BEST:: SOT 66520 SOS 48746 HAS SOPS 25861 HAS SOUS 7663 HAS SOUPS 7358 WITH SCORE 7406.746
AT ITER 1763 NEW BEST:: SOT 66536 SOS 48744 HAS SOPS 25859 HAS SOUS 7661 HAS SOUPS 7356 WITH SCORE 7404.744
AT ITER 1789 NEW BEST:: SOT 66508 SOS 48684 HAS SOPS 25787 HAS SOUS 7605 HAS SOUPS 7300 WITH SCORE 7348.684
AT ITER 1792 NEW BEST:: SOT 66508 SOS 48650 HAS SOPS 25770 HAS SOUS 7605 HAS SOUPS 7300 WITH SCORE 7348.65
AT ITER 1797 NEW BEST:: SOT 66505 SOS 48660 HAS SOPS 25771 HAS SOUS 7599 HAS SOUPS 7294 WITH SCORE 7342.66
AT ITER 1813 NEW BEST:: SOT 66508 SOS 48654 HAS SOPS 25763 HAS SOUS 7598 HAS SOUPS 7293 WITH SCORE 7341.654
AT ITER 1830 NEW BEST:: SOT 66541 SOS 48684 HAS SOPS 25790 HAS SOUS 7593 HAS SOUPS 7288 WITH SCORE 7336.684
AT ITER 1843 NEW BEST:: SOT 66496 SOS 48636 HAS SOPS 25748 HAS SOUS 7587 HAS SOUPS 7282 WITH SCORE 7330.636
AT ITER 1844 NEW BEST:: SOT 66497 SOS 48635 HAS SOPS 25747 HAS SOUS 7587 HAS SOUPS 7282 WITH SCORE 7330.635
AT ITER 1852 NEW BEST:: SOT 66505 SOS 47630 HAS SOPS 24517 HAS SOUS 7574 HAS SOUPS 7269 WITH SCORE 7316.63
AT ITER 1854 NEW BEST:: SOT 66506 SOS 47624 HAS SOPS 24506 HAS SOUS 7570 HAS SOUPS 7265 WITH SCORE 7312.624
AT ITER 1860 NEW BEST:: SOT 66509 SOS 47627 HAS SOPS 24501 HAS SOUS 7565 HAS SOUPS 7260 WITH SCORE 7307.627
AT ITER 1864 NEW BEST:: SOT 66500 SOS 47618 HAS SOPS 24492 HAS SOUS 7556 HAS SOUPS 7251 WITH SCORE 7298.618
AT ITER 1871 NEW BEST:: SOT 66500 SOS 47619 HAS SOPS 24455 HAS SOUS 7549 HAS SOUPS 7244 WITH SCORE 7291.619
AT ITER 1889 NEW BEST:: SOT 66359 SOS 47478 HAS SOPS 24314 HAS SOUS 7477 HAS SOUPS 7172 WITH SCORE 7219.478
AT ITER 1907 NEW BEST:: SOT 66356 SOS 47478 HAS SOPS 24311 HAS SOUS 7474 HAS SOUPS 7169 WITH SCORE 7216.478
AT ITER 1925 NEW BEST:: SOT 66313 SOS 47420 HAS SOPS 24225 HAS SOUS 7403 HAS SOUPS 7098 WITH SCORE 7145.42
AT ITER 1933 NEW BEST:: SOT 66315 SOS 47429 HAS SOPS 24229 HAS SOUS 7400 HAS SOUPS 7095 WITH SCORE 7142.429
AT ITER 1951 NEW BEST:: SOT 66307 SOS 47436 HAS SOPS 24213 HAS SOUS 7357 HAS SOUPS 7052 WITH SCORE 7099.436
AT ITER 1959 NEW BEST:: SOT 66290 SOS 47399 HAS SOPS 24169 HAS SOUS 7315 HAS SOUPS 7010 WITH SCORE 7057.399
AT ITER 1987 NEW BEST:: SOT 66290 SOS 47394 HAS SOPS 24164 HAS SOUS 7310 HAS SOUPS 7005 WITH SCORE 7052.394
AT ITER 1997 NEW BEST:: SOT 66288 SOS 47392 HAS SOPS 24162 HAS SOUS 7309 HAS SOUPS 7004 WITH SCORE 7051.392
AT ITER 2000 NEW BEST:: SOT 66295 SOS 47389 HAS SOPS 24162 HAS SOUS 7308 HAS SOUPS 7004 WITH SCORE 7051.389
AT ITER 2010 NEW BEST:: SOT 66282 SOS 47357 HAS SOPS 24126 HAS SOUS 7285 HAS SOUPS 6981 WITH SCORE 7028.357
AT ITER 2021 NEW BEST:: SOT 66272 SOS 47342 HAS SOPS 24101 HAS SOUS 7260 HAS SOUPS 6956 WITH SCORE 7003.342
AT ITER 2117 NEW BEST:: SOT 66254 SOS 47355 HAS SOPS 24096 HAS SOUS 7255 HAS SOUPS 6951 WITH SCORE 6998.355
AT ITER 2135 NEW BEST:: SOT 66252 SOS 47351 HAS SOPS 24078 HAS SOUS 7237 HAS SOUPS 6933 WITH SCORE 6980.351
AT ITER 2136 NEW BEST:: SOT 66261 SOS 47339 HAS SOPS 24076 HAS SOUS 7234 HAS SOUPS 6930 WITH SCORE 6977.339
AT ITER 2139 NEW BEST:: SOT 66246 SOS 47324 HAS SOPS 24046 HAS SOUS 7204 HAS SOUPS 6900 WITH SCORE 6947.324
AT ITER 2143 NEW BEST:: SOT 66246 SOS 47316 HAS SOPS 24046 HAS SOUS 7204 HAS SOUPS 6900 WITH SCORE 6947.316
AT ITER 2152 NEW BEST:: SOT 66241 SOS 47306 HAS SOPS 24036 HAS SOUS 7204 HAS SOUPS 6900 WITH SCORE 6947.306
AT ITER 2170 NEW BEST:: SOT 66231 SOS 47303 HAS SOPS 24023 HAS SOUS 7191 HAS SOUPS 6887 WITH SCORE 6934.303
AT ITER 2173 NEW BEST:: SOT 66272 SOS 47335 HAS SOPS 23955 HAS SOUS 7180 HAS SOUPS 6876 WITH SCORE 6923.335
AT ITER 2178 NEW BEST:: SOT 66275 SOS 47325 HAS SOPS 23945 HAS SOUS 7171 HAS SOUPS 6867 WITH SCORE 6914.325
AT ITER 2188 NEW BEST:: SOT 66267 SOS 47289 HAS SOPS 23929 HAS SOUS 7142 HAS SOUPS 6838 WITH SCORE 6885.289
AT ITER 2249 NEW BEST:: SOT 66263 SOS 47274 HAS SOPS 23914 HAS SOUS 7127 HAS SOUPS 6823 WITH SCORE 6870.274
AT ITER 2271 NEW BEST:: SOT 66145 SOS 47158 HAS SOPS 23888 HAS SOUS 7103 HAS SOUPS 6799 WITH SCORE 6846.158
AT ITER 2308 NEW BEST:: SOT 66134 SOS 47193 HAS SOPS 23866 HAS SOUS 7081 HAS SOUPS 6777 WITH SCORE 6824.193
AT ITER 2311 NEW BEST:: SOT 66137 SOS 47199 HAS SOPS 23861 HAS SOUS 7077 HAS SOUPS 6773 WITH SCORE 6820.199
AT ITER 2335 NEW BEST:: SOT 66122 SOS 47175 HAS SOPS 23831 HAS SOUS 7064 HAS SOUPS 6760 WITH SCORE 6807.175
AT ITER 2349 NEW BEST:: SOT 66122 SOS 47175 HAS SOPS 23830 HAS SOUS 7062 HAS SOUPS 6758 WITH SCORE 6805.175
AT ITER 2376 NEW BEST:: SOT 66120 SOS 47171 HAS SOPS 23824 HAS SOUS 7058 HAS SOUPS 6754 WITH SCORE 6801.171
AT ITER 2416 NEW BEST:: SOT 66102 SOS 47146 HAS SOPS 23803 HAS SOUS 7032 HAS SOUPS 6728 WITH SCORE 6775.146
AT ITER 2435 NEW BEST:: SOT 66051 SOS 47082 HAS SOPS 23733 HAS SOUS 6962 HAS SOUPS 6658 WITH SCORE 6705.082
AT ITER 2497 NEW BEST:: SOT 66041 SOS 47034 HAS SOPS 23694 HAS SOUS 6942 HAS SOUPS 6638 WITH SCORE 6685.034
AT ITER 2528 NEW BEST:: SOT 66041 SOS 47033 HAS SOPS 23693 HAS SOUS 6941 HAS SOUPS 6637 WITH SCORE 6684.033
AT ITER 2546 NEW BEST:: SOT 66043 SOS 47032 HAS SOPS 23691 HAS SOUS 6940 HAS SOUPS 6635 WITH SCORE 6682.032
AT ITER 2553 NEW BEST:: SOT 66041 SOS 47028 HAS SOPS 23686 HAS SOUS 6936 HAS SOUPS 6631 WITH SCORE 6678.028
AT ITER 2567 NEW BEST:: SOT 66038 SOS 47028 HAS SOPS 23683 HAS SOUS 6933 HAS SOUPS 6628 WITH SCORE 6675.028
AT ITER 2600 NEW BEST:: SOT 66031 SOS 47003 HAS SOPS 23651 HAS SOUS 6901 HAS SOUPS 6596 WITH SCORE 6643.003
AT ITER 2627 NEW BEST:: SOT 66021 SOS 46968 HAS SOPS 23631 HAS SOUS 6891 HAS SOUPS 6586 WITH SCORE 6632.968
AT ITER 2645 NEW BEST:: SOT 66019 SOS 46966 HAS SOPS 23628 HAS SOUS 6888 HAS SOUPS 6583 WITH SCORE 6629.966
AT ITER 2650 NEW BEST:: SOT 66005 SOS 46952 HAS SOPS 23600 HAS SOUS 6860 HAS SOUPS 6555 WITH SCORE 6601.952
AT ITER 2699 NEW BEST:: SOT 66013 SOS 46952 HAS SOPS 23600 HAS SOUS 6859 HAS SOUPS 6554 WITH SCORE 6600.952
AT ITER 2703 NEW BEST:: SOT 66019 SOS 46958 HAS SOPS 23604 HAS SOUS 6855 HAS SOUPS 6550 WITH SCORE 6596.958
AT ITER 2743 NEW BEST:: SOT 66000 SOS 46893 HAS SOPS 23566 HAS SOUS 6826 HAS SOUPS 6521 WITH SCORE 6567.893
AT ITER 2744 NEW BEST:: SOT 66000 SOS 46843 HAS SOPS 23541 HAS SOUS 6826 HAS SOUPS 6521 WITH SCORE 6567.843
AT ITER 2754 NEW BEST:: SOT 65997 SOS 46843 HAS SOPS 23538 HAS SOUS 6820 HAS SOUPS 6515 WITH SCORE 6561.843
AT ITER 2795 NEW BEST:: SOT 65995 SOS 46837 HAS SOPS 23530 HAS SOUS 6812 HAS SOUPS 6507 WITH SCORE 6553.837
AT ITER 2800 NEW BEST:: SOT 65987 SOS 46797 HAS SOPS 23514 HAS SOUS 6796 HAS SOUPS 6491 WITH SCORE 6537.797
AT ITER 2816 NEW BEST:: SOT 65986 SOS 46797 HAS SOPS 23513 HAS SOUS 6794 HAS SOUPS 6489 WITH SCORE 6535.797
AT ITER 2823 NEW BEST:: SOT 65983 SOS 46796 HAS SOPS 23507 HAS SOUS 6786 HAS SOUPS 6481 WITH SCORE 6527.796
AT ITER 2828 NEW BEST:: SOT 65983 SOS 46789 HAS SOPS 23502 HAS SOUS 6780 HAS SOUPS 6475 WITH SCORE 6521.789
AT ITER 2829 NEW BEST:: SOT 65981 SOS 46786 HAS SOPS 23498 HAS SOUS 6778 HAS SOUPS 6473 WITH SCORE 6519.786
AT ITER 2859 NEW BEST:: SOT 65967 SOS 46799 HAS SOPS 23497 HAS SOUS 6777 HAS SOUPS 6472 WITH SCORE 6518.799
AT ITER 2877 NEW BEST:: SOT 65966 SOS 46798 HAS SOPS 23495 HAS SOUS 6775 HAS SOUPS 6470 WITH SCORE 6516.798
AT ITER 2881 NEW BEST:: SOT 65958 SOS 46804 HAS SOPS 23490 HAS SOUS 6771 HAS SOUPS 6466 WITH SCORE 6512.804
AT ITER 2924 NEW BEST:: SOT 65960 SOS 46791 HAS SOPS 23482 HAS SOUS 6762 HAS SOUPS 6457 WITH SCORE 6503.791
AT ITER 2944 NEW BEST:: SOT 65955 SOS 46788 HAS SOPS 23476 HAS SOUS 6758 HAS SOUPS 6453 WITH SCORE 6499.788
AT ITER 2951 NEW BEST:: SOT 66000 SOS 46833 HAS SOPS 23455 HAS SOUS 6737 HAS SOUPS 6432 WITH SCORE 6478.833
AT ITER 2956 NEW BEST:: SOT 66002 SOS 46835 HAS SOPS 23447 HAS SOUS 6729 HAS SOUPS 6424 WITH SCORE 6470.835
AT ITER 2968 NEW BEST:: SOT 66001 SOS 46818 HAS SOPS 23437 HAS SOUS 6727 HAS SOUPS 6422 WITH SCORE 6468.818
AT ITER 2972 NEW BEST:: SOT 65999 SOS 46818 HAS SOPS 23435 HAS SOUS 6725 HAS SOUPS 6420 WITH SCORE 6466.818
AT ITER 3015 NEW BEST:: SOT 66006 SOS 46799 HAS SOPS 23419 HAS SOUS 6709 HAS SOUPS 6404 WITH SCORE 6450.799
AT ITER 3023 NEW BEST:: SOT 65991 SOS 46784 HAS SOPS 23404 HAS SOUS 6709 HAS SOUPS 6404 WITH SCORE 6450.784
AT ITER 3026 NEW BEST:: SOT 65989 SOS 46784 HAS SOPS 23402 HAS SOUS 6707 HAS SOUPS 6402 WITH SCORE 6448.784
AT ITER 3110 NEW BEST:: SOT 65936 SOS 46732 HAS SOPS 23348 HAS SOUS 6678 HAS SOUPS 6373 WITH SCORE 6419.732
AT ITER 3131 NEW BEST:: SOT 65921 SOS 46735 HAS SOPS 23333 HAS SOUS 6672 HAS SOUPS 6367 WITH SCORE 6413.735
AT ITER 3222 NEW BEST:: SOT 65952 SOS 46760 HAS SOPS 23110 HAS SOUS 6659 HAS SOUPS 6354 WITH SCORE 6400.76
AT ITER 3228 NEW BEST:: SOT 65951 SOS 46758 HAS SOPS 23108 HAS SOUS 6657 HAS SOUPS 6352 WITH SCORE 6398.758
AT ITER 3235 NEW BEST:: SOT 65951 SOS 46752 HAS SOPS 23102 HAS SOUS 6657 HAS SOUPS 6352 WITH SCORE 6398.752
AT ITER 3257 NEW BEST:: SOT 65947 SOS 46746 HAS SOPS 23094 HAS SOUS 6642 HAS SOUPS 6337 WITH SCORE 6383.746
AT ITER 3258 NEW BEST:: SOT 65935 SOS 46722 HAS SOPS 23082 HAS SOUS 6630 HAS SOUPS 6325 WITH SCORE 6371.722
AT ITER 3281 NEW BEST:: SOT 65929 SOS 46713 HAS SOPS 23070 HAS SOUS 6621 HAS SOUPS 6316 WITH SCORE 6362.713
AT ITER 3283 NEW BEST:: SOT 65924 SOS 46711 HAS SOPS 23064 HAS SOUS 6615 HAS SOUPS 6310 WITH SCORE 6356.711
AT ITER 3296 NEW BEST:: SOT 65922 SOS 46709 HAS SOPS 23061 HAS SOUS 6612 HAS SOUPS 6307 WITH SCORE 6353.709
AT ITER 3315 NEW BEST:: SOT 65916 SOS 46697 HAS SOPS 23049 HAS SOUS 6603 HAS SOUPS 6298 WITH SCORE 6344.697
AT ITER 3320 NEW BEST:: SOT 65913 SOS 46693 HAS SOPS 23044 HAS SOUS 6599 HAS SOUPS 6294 WITH SCORE 6340.693
AT ITER 3321 NEW BEST:: SOT 65889 SOS 46668 HAS SOPS 23019 HAS SOUS 6586 HAS SOUPS 6281 WITH SCORE 6327.668
AT ITER 3324 NEW BEST:: SOT 65861 SOS 46621 HAS SOPS 22963 HAS SOUS 6526 HAS SOUPS 6221 WITH SCORE 6267.621
AT ITER 3347 NEW BEST:: SOT 65861 SOS 46619 HAS SOPS 22962 HAS SOUS 6526 HAS SOUPS 6221 WITH SCORE 6267.619
AT ITER 3350 NEW BEST:: SOT 65857 SOS 46611 HAS SOPS 22954 HAS SOUS 6505 HAS SOUPS 6200 WITH SCORE 6246.611
AT ITER 3390 NEW BEST:: SOT 65849 SOS 46590 HAS SOPS 22927 HAS SOUS 6489 HAS SOUPS 6184 WITH SCORE 6230.59
AT ITER 3432 NEW BEST:: SOT 65845 SOS 46586 HAS SOPS 22919 HAS SOUS 6481 HAS SOUPS 6176 WITH SCORE 6222.586
AT ITER 3445 NEW BEST:: SOT 65843 SOS 46558 HAS SOPS 22901 HAS SOUS 6476 HAS SOUPS 6171 WITH SCORE 6217.558
AT ITER 3466 NEW BEST:: SOT 65835 SOS 46550 HAS SOPS 22889 HAS SOUS 6468 HAS SOUPS 6163 WITH SCORE 6209.55
AT ITER 3530 NEW BEST:: SOT 65839 SOS 46549 HAS SOPS 22892 HAS SOUS 6466 HAS SOUPS 6161 WITH SCORE 6207.549
AT ITER 3535 NEW BEST:: SOT 65835 SOS 46563 HAS SOPS 22884 HAS SOUS 6446 HAS SOUPS 6141 WITH SCORE 6187.563
AT ITER 3547 NEW BEST:: SOT 65832 SOS 46544 HAS SOPS 22862 HAS SOUS 6424 HAS SOUPS 6119 WITH SCORE 6165.544
AT ITER 3562 NEW BEST:: SOT 65832 SOS 46544 HAS SOPS 22862 HAS SOUS 6398 HAS SOUPS 6093 WITH SCORE 6139.544
AT ITER 3567 NEW BEST:: SOT 65828 SOS 46544 HAS SOPS 22858 HAS SOUS 6394 HAS SOUPS 6089 WITH SCORE 6135.544
AT ITER 3587 NEW BEST:: SOT 65833 SOS 46538 HAS SOPS 22856 HAS SOUS 6394 HAS SOUPS 6089 WITH SCORE 6135.538
AT ITER 3600 NEW BEST:: SOT 65831 SOS 46536 HAS SOPS 22852 HAS SOUS 6390 HAS SOUPS 6085 WITH SCORE 6131.536
AT ITER 3605 NEW BEST:: SOT 65784 SOS 46492 HAS SOPS 22810 HAS SOUS 6373 HAS SOUPS 6068 WITH SCORE 6114.492
AT ITER 3614 NEW BEST:: SOT 65772 SOS 46469 HAS SOPS 22786 HAS SOUS 6365 HAS SOUPS 6060 WITH SCORE 6106.469
AT ITER 3621 NEW BEST:: SOT 65770 SOS 46466 HAS SOPS 22782 HAS SOUS 6363 HAS SOUPS 6058 WITH SCORE 6104.466
AT ITER 3641 NEW BEST:: SOT 65721 SOS 46430 HAS SOPS 22746 HAS SOUS 6350 HAS SOUPS 6045 WITH SCORE 6091.43
AT ITER 3654 NEW BEST:: SOT 65736 SOS 46413 HAS SOPS 22749 HAS SOUS 6340 HAS SOUPS 6035 WITH SCORE 6081.413
AT ITER 3665 NEW BEST:: SOT 65733 SOS 46407 HAS SOPS 22743 HAS SOUS 6334 HAS SOUPS 6029 WITH SCORE 6075.407
AT ITER 3685 NEW BEST:: SOT 65702 SOS 46418 HAS SOPS 22982 HAS SOUS 6328 HAS SOUPS 6023 WITH SCORE 6069.418
AT ITER 3707 NEW BEST:: SOT 65697 SOS 46412 HAS SOPS 22972 HAS SOUS 6318 HAS SOUPS 6013 WITH SCORE 6059.412
AT ITER 3708 NEW BEST:: SOT 65694 SOS 46407 HAS SOPS 22966 HAS SOUS 6311 HAS SOUPS 6006 WITH SCORE 6052.407
AT ITER 3745 NEW BEST:: SOT 65687 SOS 46393 HAS SOPS 22952 HAS SOUS 6299 HAS SOUPS 5994 WITH SCORE 6040.393
AT ITER 3774 NEW BEST:: SOT 65686 SOS 46392 HAS SOPS 22951 HAS SOUS 6298 HAS SOUPS 5993 WITH SCORE 6039.392
AT ITER 3781 NEW BEST:: SOT 65682 SOS 46368 HAS SOPS 22943 HAS SOUS 6297 HAS SOUPS 5992 WITH SCORE 6038.368
AT ITER 3805 NEW BEST:: SOT 65674 SOS 46364 HAS SOPS 22939 HAS SOUS 6293 HAS SOUPS 5988 WITH SCORE 6034.364
AT ITER 3819 NEW BEST:: SOT 65670 SOS 46360 HAS SOPS 22933 HAS SOUS 6289 HAS SOUPS 5984 WITH SCORE 6030.36
AT ITER 3833 NEW BEST:: SOT 65657 SOS 46337 HAS SOPS 22907 HAS SOUS 6282 HAS SOUPS 5977 WITH SCORE 6023.337
AT ITER 3884 NEW BEST:: SOT 65656 SOS 46333 HAS SOPS 22903 HAS SOUS 6282 HAS SOUPS 5977 WITH SCORE 6023.333
AT ITER 3913 NEW BEST:: SOT 65629 SOS 46306 HAS SOPS 22874 HAS SOUS 6275 HAS SOUPS 5970 WITH SCORE 6016.306
AT ITER 3929 NEW BEST:: SOT 65623 SOS 46299 HAS SOPS 22866 HAS SOUS 6270 HAS SOUPS 5965 WITH SCORE 6011.299
AT ITER 3967 NEW BEST:: SOT 65616 SOS 46285 HAS SOPS 22852 HAS SOUS 6263 HAS SOUPS 5958 WITH SCORE 6004.285
AT ITER 3985 NEW BEST:: SOT 65605 SOS 46276 HAS SOPS 22830 HAS SOUS 6253 HAS SOUPS 5948 WITH SCORE 5994.276
AT ITER 3986 NEW BEST:: SOT 65605 SOS 46269 HAS SOPS 22823 HAS SOUS 6246 HAS SOUPS 5941 WITH SCORE 5987.269
AT ITER 3989 NEW BEST:: SOT 65604 SOS 46267 HAS SOPS 22821 HAS SOUS 6245 HAS SOUPS 5940 WITH SCORE 5986.267
AT ITER 4084 NEW BEST:: SOT 65604 SOS 46255 HAS SOPS 22809 HAS SOUS 6233 HAS SOUPS 5928 WITH SCORE 5974.255
AT ITER 4095 NEW BEST:: SOT 65590 SOS 46237 HAS SOPS 22781 HAS SOUS 6194 HAS SOUPS 5889 WITH SCORE 5935.237
AT ITER 4114 NEW BEST:: SOT 65591 SOS 46227 HAS SOPS 22778 HAS SOUS 6190 HAS SOUPS 5885 WITH SCORE 5931.227
AT ITER 4143 NEW BEST:: SOT 65588 SOS 46224 HAS SOPS 22772 HAS SOUS 6184 HAS SOUPS 5879 WITH SCORE 5925.224
AT ITER 4166 NEW BEST:: SOT 65594 SOS 46226 HAS SOPS 22766 HAS SOUS 6178 HAS SOUPS 5873 WITH SCORE 5919.226
AT ITER 4199 NEW BEST:: SOT 65567 SOS 46189 HAS SOPS 22712 HAS SOUS 6134 HAS SOUPS 5829 WITH SCORE 5875.189
AT ITER 4280 NEW BEST:: SOT 65552 SOS 46189 HAS SOPS 22712 HAS SOUS 6131 HAS SOUPS 5826 WITH SCORE 5872.189
AT ITER 4405 NEW BEST:: SOT 65540 SOS 46152 HAS SOPS 22675 HAS SOUS 6110 HAS SOUPS 5805 WITH SCORE 5851.152
AT ITER 4442 NEW BEST:: SOT 65528 SOS 46128 HAS SOPS 22651 HAS SOUS 6098 HAS SOUPS 5793 WITH SCORE 5839.128
AT ITER 4453 NEW BEST:: SOT 65527 SOS 46126 HAS SOPS 22649 HAS SOUS 6097 HAS SOUPS 5792 WITH SCORE 5838.126
AT ITER 4472 NEW BEST:: SOT 65516 SOS 46108 HAS SOPS 22634 HAS SOUS 6083 HAS SOUPS 5778 WITH SCORE 5824.108
AT ITER 4479 NEW BEST:: SOT 65515 SOS 46108 HAS SOPS 22633 HAS SOUS 6082 HAS SOUPS 5777 WITH SCORE 5823.108
AT ITER 4488 NEW BEST:: SOT 65505 SOS 53535 HAS SOPS 22600 HAS SOUS 6080 HAS SOUPS 5754 WITH SCORE 5807.535
AT ITER 4513 NEW BEST:: SOT 65488 SOS 53510 HAS SOPS 22575 HAS SOUS 6055 HAS SOUPS 5729 WITH SCORE 5782.51
AT ITER 4520 NEW BEST:: SOT 65488 SOS 53511 HAS SOPS 22575 HAS SOUS 6052 HAS SOUPS 5726 WITH SCORE 5779.511
AT ITER 4611 NEW BEST:: SOT 65487 SOS 53510 HAS SOPS 22573 HAS SOUS 6050 HAS SOUPS 5724 WITH SCORE 5777.51
AT ITER 4648 NEW BEST:: SOT 65467 SOS 53495 HAS SOPS 22551 HAS SOUS 6035 HAS SOUPS 5709 WITH SCORE 5762.495
AT ITER 4675 NEW BEST:: SOT 65457 SOS 53477 HAS SOPS 22531 HAS SOUS 6016 HAS SOUPS 5690 WITH SCORE 5743.477
AT ITER 4719 NEW BEST:: SOT 65396 SOS 53415 HAS SOPS 22529 HAS SOUS 6009 HAS SOUPS 5683 WITH SCORE 5736.415
AT ITER 4724 NEW BEST:: SOT 65395 SOS 53414 HAS SOPS 22527 HAS SOUS 6007 HAS SOUPS 5681 WITH SCORE 5734.414
AT ITER 4729 NEW BEST:: SOT 65390 SOS 53409 HAS SOPS 22517 HAS SOUS 5997 HAS SOUPS 5671 WITH SCORE 5724.409
AT ITER 4739 NEW BEST:: SOT 65388 SOS 52213 HAS SOPS 22515 HAS SOUS 5997 HAS SOUPS 5671 WITH SCORE 5723.213
AT ITER 4752 NEW BEST:: SOT 65378 SOS 52196 HAS SOPS 22495 HAS SOUS 5987 HAS SOUPS 5661 WITH SCORE 5713.196
AT ITER 4757 NEW BEST:: SOT 65375 SOS 52195 HAS SOPS 22489 HAS SOUS 5984 HAS SOUPS 5658 WITH SCORE 5710.195
AT ITER 4783 NEW BEST:: SOT 65359 SOS 52171 HAS SOPS 22457 HAS SOUS 5960 HAS SOUPS 5634 WITH SCORE 5686.171
AT ITER 4804 NEW BEST:: SOT 65345 SOS 52157 HAS SOPS 22429 HAS SOUS 5932 HAS SOUPS 5606 WITH SCORE 5658.157
AT ITER 4834 NEW BEST:: SOT 65331 SOS 52150 HAS SOPS 22415 HAS SOUS 5918 HAS SOUPS 5592 WITH SCORE 5644.15
AT ITER 4860 NEW BEST:: SOT 65315 SOS 52132 HAS SOPS 22390 HAS SOUS 5888 HAS SOUPS 5562 WITH SCORE 5614.132
AT ITER 4882 NEW BEST:: SOT 65305 SOS 52122 HAS SOPS 22390 HAS SOUS 5888 HAS SOUPS 5562 WITH SCORE 5614.122
AT ITER 4941 NEW BEST:: SOT 65288 SOS 52120 HAS SOPS 22384 HAS SOUS 5884 HAS SOUPS 5558 WITH SCORE 5610.12
AT ITER 4956 NEW BEST:: SOT 65264 SOS 52096 HAS SOPS 22364 HAS SOUS 5879 HAS SOUPS 5553 WITH SCORE 5605.096
AT ITER 4999 NEW BEST:: SOT 65264 SOS 52029 HAS SOPS 22366 HAS SOUS 5878 HAS SOUPS 5553 WITH SCORE 5605.029
AT ITER 5148 NEW BEST:: SOT 65264 SOS 52027 HAS SOPS 22364 HAS SOUS 5876 HAS SOUPS 5551 WITH SCORE 5603.027
AT ITER 5153 NEW BEST:: SOT 65262 SOS 52025 HAS SOPS 22360 HAS SOUS 5874 HAS SOUPS 5549 WITH SCORE 5601.025
AT ITER 5177 NEW BEST:: SOT 65262 SOS 52023 HAS SOPS 22360 HAS SOUS 5874 HAS SOUPS 5549 WITH SCORE 5601.023
AT ITER 5231 NEW BEST:: SOT 65262 SOS 52021 HAS SOPS 22358 HAS SOUS 5872 HAS SOUPS 5547 WITH SCORE 5599.021
AT ITER 5363 NEW BEST:: SOT 65261 SOS 52014 HAS SOPS 22356 HAS SOUS 5870 HAS SOUPS 5545 WITH SCORE 5597.014
AT ITER 5400 NEW BEST:: SOT 65252 SOS 52005 HAS SOPS 22338 HAS SOUS 5852 HAS SOUPS 5527 WITH SCORE 5579.005
AT ITER 5509 NEW BEST:: SOT 65248 SOS 52005 HAS SOPS 22335 HAS SOUS 5852 HAS SOUPS 5524 WITH SCORE 5576.005
AT ITER 5532 NEW BEST:: SOT 65178 SOS 51935 HAS SOPS 22285 HAS SOUS 5802 HAS SOUPS 5474 WITH SCORE 5525.935
AT ITER 5609 NEW BEST:: SOT 65154 SOS 51911 HAS SOPS 22265 HAS SOUS 5797 HAS SOUPS 5469 WITH SCORE 5520.911
AT ITER 5625 NEW BEST:: SOT 65157 SOS 51917 HAS SOPS 22133 HAS SOUS 5788 HAS SOUPS 5460 WITH SCORE 5511.917
AT ITER 5636 NEW BEST:: SOT 65155 SOS 51917 HAS SOPS 22132 HAS SOUS 5787 HAS SOUPS 5459 WITH SCORE 5510.917
AT ITER 5682 NEW BEST:: SOT 65154 SOS 51916 HAS SOPS 22130 HAS SOUS 5786 HAS SOUPS 5458 WITH SCORE 5509.916
AT ITER 5766 NEW BEST:: SOT 65154 SOS 51906 HAS SOPS 22120 HAS SOUS 5776 HAS SOUPS 5448 WITH SCORE 5499.906
AT ITER 5786 NEW BEST:: SOT 65152 SOS 51904 HAS SOPS 22116 HAS SOUS 5772 HAS SOUPS 5444 WITH SCORE 5495.904
AT ITER 5897 NEW BEST:: SOT 65147 SOS 51889 HAS SOPS 22101 HAS SOUS 5762 HAS SOUPS 5434 WITH SCORE 5485.889
AT ITER 5937 NEW BEST:: SOT 65146 SOS 51883 HAS SOPS 22095 HAS SOUS 5759 HAS SOUPS 5431 WITH SCORE 5482.883
AT ITER 5942 NEW BEST:: SOT 65159 SOS 51893 HAS SOPS 22099 HAS SOUS 5758 HAS SOUPS 5430 WITH SCORE 5481.893
AT ITER 5960 NEW BEST:: SOT 65159 SOS 51891 HAS SOPS 22097 HAS SOUS 5756 HAS SOUPS 5428 WITH SCORE 5479.891
AT ITER 6034 NEW BEST:: SOT 65165 SOS 51895 HAS SOPS 22101 HAS SOUS 5754 HAS SOUPS 5426 WITH SCORE 5477.895
AT ITER 6076 NEW BEST:: SOT 65204 SOS 51929 HAS SOPS 22079 HAS SOUS 5751 HAS SOUPS 5423 WITH SCORE 5474.929
AT ITER 6115 NEW BEST:: SOT 65202 SOS 51924 HAS SOPS 22075 HAS SOUS 5750 HAS SOUPS 5422 WITH SCORE 5473.924
AT ITER 6146 NEW BEST:: SOT 65200 SOS 51920 HAS SOPS 22071 HAS SOUS 5746 HAS SOUPS 5418 WITH SCORE 5469.92
AT ITER 6154 NEW BEST:: SOT 65220 SOS 51944 HAS SOPS 21993 HAS SOUS 5728 HAS SOUPS 5400 WITH SCORE 5451.944
AT ITER 6172 NEW BEST:: SOT 65215 SOS 51931 HAS SOPS 21978 HAS SOUS 5717 HAS SOUPS 5389 WITH SCORE 5440.931
AT ITER 6187 NEW BEST:: SOT 65215 SOS 51998 HAS SOPS 21977 HAS SOUS 5717 HAS SOUPS 5388 WITH SCORE 5439.998
AT ITER 6210 NEW BEST:: SOT 65215 SOS 51998 HAS SOPS 21977 HAS SOUS 5716 HAS SOUPS 5387 WITH SCORE 5438.998
AT ITER 6400 NEW BEST:: SOT 65215 SOS 51997 HAS SOPS 21977 HAS SOUS 5716 HAS SOUPS 5387 WITH SCORE 5438.997
AT ITER 6472 NEW BEST:: SOT 65214 SOS 51996 HAS SOPS 21975 HAS SOUS 5714 HAS SOUPS 5385 WITH SCORE 5436.996
AT ITER 6486 NEW BEST:: SOT 65218 SOS 51989 HAS SOPS 21972 HAS SOUS 5711 HAS SOUPS 5382 WITH SCORE 5433.989
AT ITER 6835 NEW BEST:: SOT 65217 SOS 51986 HAS SOPS 21969 HAS SOUS 5709 HAS SOUPS 5380 WITH SCORE 5431.986
AT ITER 6963 NEW BEST:: SOT 65216 SOS 51983 HAS SOPS 21967 HAS SOUS 5707 HAS SOUPS 5378 WITH SCORE 5429.983
AT ITER 6964 NEW BEST:: SOT 65216 SOS 51976 HAS SOPS 21960 HAS SOUS 5707 HAS SOUPS 5378 WITH SCORE 5429.976
AT ITER 7064 NEW BEST:: SOT 65230 SOS 52059 HAS SOPS 21988 HAS SOUS 5695 HAS SOUPS 5366 WITH SCORE 5418.059
AT ITER 7107 NEW BEST:: SOT 65229 SOS 52058 HAS SOPS 21986 HAS SOUS 5694 HAS SOUPS 5365 WITH SCORE 5417.058
AT ITER 7136 NEW BEST:: SOT 65213 SOS 52042 HAS SOPS 21972 HAS SOUS 5688 HAS SOUPS 5359 WITH SCORE 5411.042
AT ITER 7194 NEW BEST:: SOT 65212 SOS 52051 HAS SOPS 21975 HAS SOUS 5686 HAS SOUPS 5357 WITH SCORE 5409.051
AT ITER 7241 NEW BEST:: SOT 65212 SOS 52046 HAS SOPS 21970 HAS SOUS 5686 HAS SOUPS 5357 WITH SCORE 5409.046
AT ITER 7301 NEW BEST:: SOT 65209 SOS 52043 HAS SOPS 21964 HAS SOUS 5685 HAS SOUPS 5356 WITH SCORE 5408.043
AT ITER 7342 NEW BEST:: SOT 65203 SOS 52037 HAS SOPS 21955 HAS SOUS 5676 HAS SOUPS 5347 WITH SCORE 5399.037
AT ITER 7443 NEW BEST:: SOT 65200 SOS 52034 HAS SOPS 21949 HAS SOUS 5670 HAS SOUPS 5341 WITH SCORE 5393.034
AT ITER 7471 NEW BEST:: SOT 65200 SOS 52034 HAS SOPS 21949 HAS SOUS 5669 HAS SOUPS 5340 WITH SCORE 5392.034
AT ITER 7483 NEW BEST:: SOT 65199 SOS 52033 HAS SOPS 21948 HAS SOUS 5669 HAS SOUPS 5340 WITH SCORE 5392.033
AT ITER 7485 NEW BEST:: SOT 65199 SOS 52006 HAS SOPS 21948 HAS SOUS 5669 HAS SOUPS 5340 WITH SCORE 5392.006
AT ITER 7530 NEW BEST:: SOT 65194 SOS 51996 HAS SOPS 21931 HAS SOUS 5652 HAS SOUPS 5323 WITH SCORE 5374.996
AT ITER 7564 NEW BEST:: SOT 65192 SOS 51993 HAS SOPS 21927 HAS SOUS 5648 HAS SOUPS 5319 WITH SCORE 5370.993
AT ITER 7565 NEW BEST:: SOT 65188 SOS 51988 HAS SOPS 21922 HAS SOUS 5644 HAS SOUPS 5315 WITH SCORE 5366.988
AT ITER 7593 NEW BEST:: SOT 65186 SOS 51994 HAS SOPS 21918 HAS SOUS 5640 HAS SOUPS 5311 WITH SCORE 5362.994
AT ITER 7676 NEW BEST:: SOT 65185 SOS 51992 HAS SOPS 21911 HAS SOUS 5633 HAS SOUPS 5304 WITH SCORE 5355.992
AT ITER 7871 NEW BEST:: SOT 65183 SOS 51990 HAS SOPS 21907 HAS SOUS 5631 HAS SOUPS 5300 WITH SCORE 5351.99
AT ITER 8026 NEW BEST:: SOT 65183 SOS 51990 HAS SOPS 21905 HAS SOUS 5629 HAS SOUPS 5298 WITH SCORE 5349.99
AT ITER 8029 NEW BEST:: SOT 65180 SOS 51987 HAS SOPS 21899 HAS SOUS 5623 HAS SOUPS 5292 WITH SCORE 5343.987
AT ITER 8085 NEW BEST:: SOT 65179 SOS 51986 HAS SOPS 21897 HAS SOUS 5621 HAS SOUPS 5290 WITH SCORE 5341.986
AT ITER 8095 NEW BEST:: SOT 65156 SOS 52000 HAS SOPS 21885 HAS SOUS 5606 HAS SOUPS 5275 WITH SCORE 5327.0
AT ITER 8299 NEW BEST:: SOT 65152 SOS 51993 HAS SOPS 21877 HAS SOUS 5597 HAS SOUPS 5266 WITH SCORE 5317.993
AT ITER 8331 NEW BEST:: SOT 65154 SOS 51995 HAS SOPS 21878 HAS SOUS 5595 HAS SOUPS 5264 WITH SCORE 5315.995
AT ITER 8342 NEW BEST:: SOT 65167 SOS 52016 HAS SOPS 21904 HAS SOUS 5588 HAS SOUPS 5257 WITH SCORE 5309.016
AT ITER 8481 NEW BEST:: SOT 65166 SOS 52015 HAS SOPS 21902 HAS SOUS 5586 HAS SOUPS 5255 WITH SCORE 5307.015
AT ITER 8489 NEW BEST:: SOT 65162 SOS 52006 HAS SOPS 21894 HAS SOUS 5581 HAS SOUPS 5250 WITH SCORE 5302.006
AT ITER 8521 NEW BEST:: SOT 65159 SOS 52000 HAS SOPS 21888 HAS SOUS 5573 HAS SOUPS 5242 WITH SCORE 5294.0
AT ITER 8533 NEW BEST:: SOT 65157 SOS 51994 HAS SOPS 21881 HAS SOUS 5566 HAS SOUPS 5235 WITH SCORE 5286.994
AT ITER 8587 NEW BEST:: SOT 65155 SOS 52001 HAS SOPS 21886 HAS SOUS 5562 HAS SOUPS 5231 WITH SCORE 5283.001
AT ITER 8633 NEW BEST:: SOT 65134 SOS 51981 HAS SOPS 21903 HAS SOUS 5560 HAS SOUPS 5229 WITH SCORE 5280.981
AT ITER 8703 NEW BEST:: SOT 65094 SOS 51941 HAS SOPS 21893 HAS SOUS 5550 HAS SOUPS 5219 WITH SCORE 5270.941
AT ITER 8705 NEW BEST:: SOT 65094 SOS 51938 HAS SOPS 21890 HAS SOUS 5550 HAS SOUPS 5219 WITH SCORE 5270.938
AT ITER 8757 NEW BEST:: SOT 65090 SOS 51932 HAS SOPS 21882 HAS SOUS 5545 HAS SOUPS 5214 WITH SCORE 5265.932
AT ITER 8795 NEW BEST:: SOT 65090 SOS 51929 HAS SOPS 21831 HAS SOUS 5543 HAS SOUPS 5212 WITH SCORE 5263.929
AT ITER 8897 NEW BEST:: SOT 65090 SOS 51907 HAS SOPS 21818 HAS SOUS 5539 HAS SOUPS 5208 WITH SCORE 5259.907
AT ITER 8930 NEW BEST:: SOT 65092 SOS 51908 HAS SOPS 21818 HAS SOUS 5537 HAS SOUPS 5206 WITH SCORE 5257.908
AT ITER 8997 NEW BEST:: SOT 65093 SOS 51905 HAS SOPS 21814 HAS SOUS 5532 HAS SOUPS 5201 WITH SCORE 5252.905
AT ITER 9069 NEW BEST:: SOT 65092 SOS 51902 HAS SOPS 21811 HAS SOUS 5529 HAS SOUPS 5198 WITH SCORE 5249.902
AT ITER 9074 NEW BEST:: SOT 65082 SOS 51892 HAS SOPS 21791 HAS SOUS 5509 HAS SOUPS 5178 WITH SCORE 5229.892
AT ITER 9088 NEW BEST:: SOT 65082 SOS 51890 HAS SOPS 21791 HAS SOUS 5506 HAS SOUPS 5175 WITH SCORE 5226.89
AT ITER 9102 NEW BEST:: SOT 65071 SOS 51879 HAS SOPS 21780 HAS SOUS 5506 HAS SOUPS 5175 WITH SCORE 5226.879
AT ITER 9155 NEW BEST:: SOT 65070 SOS 51876 HAS SOPS 21776 HAS SOUS 5502 HAS SOUPS 5171 WITH SCORE 5222.876
AT ITER 9156 NEW BEST:: SOT 65071 SOS 51863 HAS SOPS 21770 HAS SOUS 5502 HAS SOUPS 5171 WITH SCORE 5222.863
AT ITER 9212 NEW BEST:: SOT 65066 SOS 51855 HAS SOPS 21760 HAS SOUS 5495 HAS SOUPS 5164 WITH SCORE 5215.855
AT ITER 9243 NEW BEST:: SOT 65068 SOS 51858 HAS SOPS 21764 HAS SOUS 5494 HAS SOUPS 5163 WITH SCORE 5214.858
AT ITER 9367 NEW BEST:: SOT 65067 SOS 51855 HAS SOPS 21762 HAS SOUS 5494 HAS SOUPS 5163 WITH SCORE 5214.855
AT ITER 9375 NEW BEST:: SOT 65064 SOS 51852 HAS SOPS 21756 HAS SOUS 5488 HAS SOUPS 5157 WITH SCORE 5208.852
AT ITER 9387 NEW BEST:: SOT 65058 SOS 51840 HAS SOPS 21744 HAS SOUS 5481 HAS SOUPS 5150 WITH SCORE 5201.84
AT ITER 9397 NEW BEST:: SOT 65055 SOS 51840 HAS SOPS 21738 HAS SOUS 5475 HAS SOUPS 5144 WITH SCORE 5195.84
AT ITER 9454 NEW BEST:: SOT 65053 SOS 51838 HAS SOPS 21734 HAS SOUS 5471 HAS SOUPS 5140 WITH SCORE 5191.838
AT ITER 9507 NEW BEST:: SOT 65053 SOS 51826 HAS SOPS 21728 HAS SOUS 5471 HAS SOUPS 5140 WITH SCORE 5191.826
AT ITER 9560 NEW BEST:: SOT 65052 SOS 51828 HAS SOPS 21729 HAS SOUS 5469 HAS SOUPS 5138 WITH SCORE 5189.828
AT ITER 9632 NEW BEST:: SOT 65050 SOS 51826 HAS SOPS 21725 HAS SOUS 5465 HAS SOUPS 5134 WITH SCORE 5185.826
AT ITER 9707 NEW BEST:: SOT 65049 SOS 51824 HAS SOPS 21723 HAS SOUS 5464 HAS SOUPS 5133 WITH SCORE 5184.824
AT ITER 9752 NEW BEST:: SOT 65047 SOS 51820 HAS SOPS 21719 HAS SOUS 5460 HAS SOUPS 5129 WITH SCORE 5180.82
AT ITER 9894 NEW BEST:: SOT 65037 SOS 51810 HAS SOPS 21713 HAS SOUS 5450 HAS SOUPS 5119 WITH SCORE 5170.81
STATE_SPACE STATES 1283918464548865 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 16 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 28585018037108737 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1589428022413

--------------------
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="FlexibleBarrier-PT-14a"
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 FlexibleBarrier-PT-14a, 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 r078-smll-158922972500344"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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