Execution Chart

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

Trace from the execution

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

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 552K
-rw-r--r-- 1 mcc users 8.5K Feb 26 17:49 CTLCardinality.txt
-rw-r--r-- 1 mcc users 99K Feb 26 17:49 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.4K Feb 26 17:44 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 26 17:44 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:13 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 16:13 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.1K Feb 25 16:13 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:13 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 26 17:50 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 160K Feb 26 17:50 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 26 17:49 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 17:49 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:13 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:13 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 3 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 49K Mar 5 18:22 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1678492664529

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

Filename model.pnml
Petri model created: 121 places, 232 transitions, 597 arcs.
AT ITER 0 NEW BEST:: SOT 20504 SOS 11171 HAS SOPS 11159 HAS SOUS 6858 HAS SOUPS 6849 WITH SCORE 6860.171
AT ITER 2 NEW BEST:: SOT 20493 SOS 11156 HAS SOPS 11144 HAS SOUS 6842 HAS SOUPS 6833 WITH SCORE 6844.156
AT ITER 3 NEW BEST:: SOT 20198 SOS 10864 HAS SOPS 10852 HAS SOUS 6768 HAS SOUPS 6759 WITH SCORE 6769.864
AT ITER 6 NEW BEST:: SOT 19631 SOS 10974 HAS SOPS 10962 HAS SOUS 6574 HAS SOUPS 6565 WITH SCORE 6575.974
AT ITER 7 NEW BEST:: SOT 19539 SOS 10835 HAS SOPS 10823 HAS SOUS 6497 HAS SOUPS 6488 WITH SCORE 6498.835
AT ITER 9 NEW BEST:: SOT 19434 SOS 10672 HAS SOPS 10660 HAS SOUS 6455 HAS SOUPS 6446 WITH SCORE 6456.672
AT ITER 10 NEW BEST:: SOT 19434 SOS 10672 HAS SOPS 10660 HAS SOUS 6446 HAS SOUPS 6437 WITH SCORE 6447.672
AT ITER 11 NEW BEST:: SOT 19434 SOS 10672 HAS SOPS 10660 HAS SOUS 6417 HAS SOUPS 6408 WITH SCORE 6418.672
AT ITER 12 NEW BEST:: SOT 19434 SOS 10640 HAS SOPS 10628 HAS SOUS 6381 HAS SOUPS 6372 WITH SCORE 6382.64
AT ITER 20 NEW BEST:: SOT 18670 SOS 11600 HAS SOPS 11588 HAS SOUS 5657 HAS SOUPS 5648 WITH SCORE 5659.6
AT ITER 22 NEW BEST:: SOT 18670 SOS 11585 HAS SOPS 11573 HAS SOUS 5647 HAS SOUPS 5638 WITH SCORE 5649.585
AT ITER 27 NEW BEST:: SOT 18547 SOS 11339 HAS SOPS 11327 HAS SOUS 5624 HAS SOUPS 5615 WITH SCORE 5626.339
AT ITER 28 NEW BEST:: SOT 18544 SOS 11307 HAS SOPS 11295 HAS SOUS 5592 HAS SOUPS 5583 WITH SCORE 5594.307
AT ITER 33 NEW BEST:: SOT 18435 SOS 11114 HAS SOPS 11102 HAS SOUS 5489 HAS SOUPS 5480 WITH SCORE 5491.114
AT ITER 39 NEW BEST:: SOT 18357 SOS 10990 HAS SOPS 10978 HAS SOUS 5457 HAS SOUPS 5448 WITH SCORE 5458.99
AT ITER 44 NEW BEST:: SOT 18308 SOS 10920 HAS SOPS 10908 HAS SOUS 5403 HAS SOUPS 5394 WITH SCORE 5404.92
AT ITER 49 NEW BEST:: SOT 18211 SOS 10753 HAS SOPS 10741 HAS SOUS 5313 HAS SOUPS 5304 WITH SCORE 5314.753
AT ITER 51 NEW BEST:: SOT 18155 SOS 10610 HAS SOPS 10598 HAS SOUS 5282 HAS SOUPS 5273 WITH SCORE 5283.61
AT ITER 56 NEW BEST:: SOT 18154 SOS 10608 HAS SOPS 10596 HAS SOUS 5281 HAS SOUPS 5272 WITH SCORE 5282.608
AT ITER 59 NEW BEST:: SOT 18147 SOS 10601 HAS SOPS 10589 HAS SOUS 5274 HAS SOUPS 5265 WITH SCORE 5275.601
AT ITER 67 NEW BEST:: SOT 18147 SOS 10579 HAS SOPS 10567 HAS SOUS 5273 HAS SOUPS 5264 WITH SCORE 5274.579
AT ITER 70 NEW BEST:: SOT 18085 SOS 10420 HAS SOPS 10408 HAS SOUS 5231 HAS SOUPS 5222 WITH SCORE 5232.42
AT ITER 71 NEW BEST:: SOT 18034 SOS 10216 HAS SOPS 10204 HAS SOUS 5121 HAS SOUPS 5112 WITH SCORE 5122.216
AT ITER 72 NEW BEST:: SOT 18022 SOS 10183 HAS SOPS 10171 HAS SOUS 5104 HAS SOUPS 5095 WITH SCORE 5105.183
AT ITER 78 NEW BEST:: SOT 18023 SOS 10153 HAS SOPS 10141 HAS SOUS 5102 HAS SOUPS 5093 WITH SCORE 5103.153
AT ITER 80 NEW BEST:: SOT 18023 SOS 10140 HAS SOPS 10128 HAS SOUS 5102 HAS SOUPS 5093 WITH SCORE 5103.14
AT ITER 83 NEW BEST:: SOT 17982 SOS 10075 HAS SOPS 10063 HAS SOUS 5037 HAS SOUPS 5028 WITH SCORE 5038.075
AT ITER 91 NEW BEST:: SOT 17944 SOS 9999 HAS SOPS 9987 HAS SOUS 5018 HAS SOUPS 5009 WITH SCORE 5018.999
AT ITER 92 NEW BEST:: SOT 17944 SOS 10012 HAS SOPS 10000 HAS SOUS 5016 HAS SOUPS 5007 WITH SCORE 5017.012
AT ITER 95 NEW BEST:: SOT 17955 SOS 10091 HAS SOPS 10079 HAS SOUS 5008 HAS SOUPS 4999 WITH SCORE 5009.091
AT ITER 98 NEW BEST:: SOT 17948 SOS 10077 HAS SOPS 10065 HAS SOUS 5008 HAS SOUPS 4999 WITH SCORE 5009.077
AT ITER 101 NEW BEST:: SOT 17950 SOS 10071 HAS SOPS 10059 HAS SOUS 4990 HAS SOUPS 4981 WITH SCORE 4991.071
AT ITER 103 NEW BEST:: SOT 17934 SOS 10047 HAS SOPS 10035 HAS SOUS 4979 HAS SOUPS 4970 WITH SCORE 4980.047
AT ITER 106 NEW BEST:: SOT 17860 SOS 9873 HAS SOPS 9861 HAS SOUS 4962 HAS SOUPS 4953 WITH SCORE 4962.873
AT ITER 113 NEW BEST:: SOT 17859 SOS 9872 HAS SOPS 9860 HAS SOUS 4961 HAS SOUPS 4952 WITH SCORE 4961.872
AT ITER 118 NEW BEST:: SOT 17844 SOS 9857 HAS SOPS 9845 HAS SOUS 4961 HAS SOUPS 4952 WITH SCORE 4961.857
AT ITER 122 NEW BEST:: SOT 17813 SOS 9795 HAS SOPS 9783 HAS SOUS 4961 HAS SOUPS 4952 WITH SCORE 4961.795
AT ITER 126 NEW BEST:: SOT 17773 SOS 9757 HAS SOPS 9745 HAS SOUS 4909 HAS SOUPS 4900 WITH SCORE 4909.757
AT ITER 131 NEW BEST:: SOT 17773 SOS 9757 HAS SOPS 9745 HAS SOUS 4907 HAS SOUPS 4898 WITH SCORE 4907.757
AT ITER 132 NEW BEST:: SOT 17773 SOS 9757 HAS SOPS 9745 HAS SOUS 4905 HAS SOUPS 4896 WITH SCORE 4905.757
AT ITER 136 NEW BEST:: SOT 17760 SOS 9720 HAS SOPS 9708 HAS SOUS 4904 HAS SOUPS 4895 WITH SCORE 4904.72
AT ITER 139 NEW BEST:: SOT 17760 SOS 9721 HAS SOPS 9709 HAS SOUS 4903 HAS SOUPS 4894 WITH SCORE 4903.721
AT ITER 159 NEW BEST:: SOT 17024 SOS 9365 HAS SOPS 9353 HAS SOUS 4585 HAS SOUPS 4576 WITH SCORE 4585.365
AT ITER 164 NEW BEST:: SOT 17021 SOS 9362 HAS SOPS 9350 HAS SOUS 4582 HAS SOUPS 4573 WITH SCORE 4582.362
AT ITER 165 NEW BEST:: SOT 17028 SOS 9290 HAS SOPS 9278 HAS SOUS 4563 HAS SOUPS 4554 WITH SCORE 4563.29
AT ITER 169 NEW BEST:: SOT 17018 SOS 9275 HAS SOPS 9263 HAS SOUS 4553 HAS SOUPS 4544 WITH SCORE 4553.275
AT ITER 171 NEW BEST:: SOT 16941 SOS 9165 HAS SOPS 9153 HAS SOUS 4530 HAS SOUPS 4521 WITH SCORE 4530.165
AT ITER 173 NEW BEST:: SOT 16950 SOS 9183 HAS SOPS 9171 HAS SOUS 4521 HAS SOUPS 4512 WITH SCORE 4521.183
AT ITER 183 NEW BEST:: SOT 16950 SOS 9183 HAS SOPS 9171 HAS SOUS 4485 HAS SOUPS 4476 WITH SCORE 4485.183
AT ITER 186 NEW BEST:: SOT 16912 SOS 9097 HAS SOPS 9085 HAS SOUS 4435 HAS SOUPS 4426 WITH SCORE 4435.097
AT ITER 193 NEW BEST:: SOT 16863 SOS 8993 HAS SOPS 8981 HAS SOUS 4430 HAS SOUPS 4421 WITH SCORE 4429.993
AT ITER 195 NEW BEST:: SOT 16837 SOS 8928 HAS SOPS 8916 HAS SOUS 4417 HAS SOUPS 4408 WITH SCORE 4416.928
AT ITER 200 NEW BEST:: SOT 16404 SOS 10060 HAS SOPS 10048 HAS SOUS 4265 HAS SOUPS 4256 WITH SCORE 4266.06
AT ITER 203 NEW BEST:: SOT 16431 SOS 10114 HAS SOPS 10102 HAS SOUS 4238 HAS SOUPS 4229 WITH SCORE 4239.114
AT ITER 204 NEW BEST:: SOT 16395 SOS 10012 HAS SOPS 10000 HAS SOUS 4205 HAS SOUPS 4196 WITH SCORE 4206.012
AT ITER 207 NEW BEST:: SOT 16392 SOS 9955 HAS SOPS 9943 HAS SOUS 4173 HAS SOUPS 4164 WITH SCORE 4173.955
AT ITER 210 NEW BEST:: SOT 16392 SOS 9944 HAS SOPS 9932 HAS SOUS 4173 HAS SOUPS 4164 WITH SCORE 4173.944
AT ITER 216 NEW BEST:: SOT 16368 SOS 9884 HAS SOPS 9872 HAS SOUS 4149 HAS SOUPS 4140 WITH SCORE 4149.884
AT ITER 221 NEW BEST:: SOT 16371 SOS 9884 HAS SOPS 9872 HAS SOUS 4146 HAS SOUPS 4137 WITH SCORE 4146.884
AT ITER 225 NEW BEST:: SOT 16401 SOS 9995 HAS SOPS 9983 HAS SOUS 4107 HAS SOUPS 4098 WITH SCORE 4107.995
AT ITER 226 NEW BEST:: SOT 16369 SOS 9960 HAS SOPS 9948 HAS SOUS 4102 HAS SOUPS 4093 WITH SCORE 4102.96
AT ITER 227 NEW BEST:: SOT 16369 SOS 9908 HAS SOPS 9896 HAS SOUS 4072 HAS SOUPS 4063 WITH SCORE 4072.908
AT ITER 231 NEW BEST:: SOT 16368 SOS 9907 HAS SOPS 9895 HAS SOUS 4071 HAS SOUPS 4062 WITH SCORE 4071.907
AT ITER 236 NEW BEST:: SOT 16363 SOS 9864 HAS SOPS 9852 HAS SOUS 4071 HAS SOUPS 4062 WITH SCORE 4071.864
AT ITER 246 NEW BEST:: SOT 16363 SOS 9867 HAS SOPS 9855 HAS SOUS 4070 HAS SOUPS 4061 WITH SCORE 4070.867
AT ITER 251 NEW BEST:: SOT 16361 SOS 9863 HAS SOPS 9851 HAS SOUS 4068 HAS SOUPS 4059 WITH SCORE 4068.863
AT ITER 258 NEW BEST:: SOT 16361 SOS 9863 HAS SOPS 9851 HAS SOUS 4061 HAS SOUPS 4052 WITH SCORE 4061.863
AT ITER 267 NEW BEST:: SOT 16358 SOS 9857 HAS SOPS 9845 HAS SOUS 4058 HAS SOUPS 4049 WITH SCORE 4058.857
AT ITER 271 NEW BEST:: SOT 16358 SOS 9857 HAS SOPS 9845 HAS SOUS 4053 HAS SOUPS 4044 WITH SCORE 4053.857
AT ITER 272 NEW BEST:: SOT 16321 SOS 9782 HAS SOPS 9770 HAS SOUS 4029 HAS SOUPS 4020 WITH SCORE 4029.782
AT ITER 273 NEW BEST:: SOT 15565 SOS 10218 HAS SOPS 10206 HAS SOUS 3347 HAS SOUPS 3338 WITH SCORE 3348.218
AT ITER 281 NEW BEST:: SOT 15569 SOS 10222 HAS SOPS 10210 HAS SOUS 3333 HAS SOUPS 3324 WITH SCORE 3334.222
AT ITER 296 NEW BEST:: SOT 15540 SOS 10106 HAS SOPS 10094 HAS SOUS 3321 HAS SOUPS 3312 WITH SCORE 3322.106
AT ITER 301 NEW BEST:: SOT 15540 SOS 10106 HAS SOPS 10094 HAS SOUS 3318 HAS SOUPS 3309 WITH SCORE 3319.106
AT ITER 305 NEW BEST:: SOT 15540 SOS 10106 HAS SOPS 10094 HAS SOUS 3306 HAS SOUPS 3297 WITH SCORE 3307.106
AT ITER 309 NEW BEST:: SOT 15541 SOS 10107 HAS SOPS 10095 HAS SOUS 3301 HAS SOUPS 3292 WITH SCORE 3302.107
AT ITER 312 NEW BEST:: SOT 15536 SOS 10081 HAS SOPS 10069 HAS SOUS 3277 HAS SOUPS 3268 WITH SCORE 3278.081
AT ITER 313 NEW BEST:: SOT 15532 SOS 10073 HAS SOPS 10061 HAS SOUS 3275 HAS SOUPS 3266 WITH SCORE 3276.073
AT ITER 314 NEW BEST:: SOT 15514 SOS 10037 HAS SOPS 10025 HAS SOUS 3263 HAS SOUPS 3254 WITH SCORE 3264.037
AT ITER 315 NEW BEST:: SOT 15499 SOS 10012 HAS SOPS 10000 HAS SOUS 3248 HAS SOUPS 3239 WITH SCORE 3249.012
AT ITER 318 NEW BEST:: SOT 15524 SOS 10025 HAS SOPS 10013 HAS SOUS 3222 HAS SOUPS 3213 WITH SCORE 3223.025
AT ITER 319 NEW BEST:: SOT 15510 SOS 9950 HAS SOPS 9938 HAS SOUS 3200 HAS SOUPS 3191 WITH SCORE 3200.95
AT ITER 335 NEW BEST:: SOT 15513 SOS 9953 HAS SOPS 9941 HAS SOUS 3199 HAS SOUPS 3190 WITH SCORE 3199.953
AT ITER 345 NEW BEST:: SOT 15507 SOS 9945 HAS SOPS 9933 HAS SOUS 3189 HAS SOUPS 3180 WITH SCORE 3189.945
AT ITER 346 NEW BEST:: SOT 15510 SOS 9948 HAS SOPS 9936 HAS SOUS 3187 HAS SOUPS 3178 WITH SCORE 3187.948
AT ITER 349 NEW BEST:: SOT 15504 SOS 9942 HAS SOPS 9930 HAS SOUS 3187 HAS SOUPS 3178 WITH SCORE 3187.942
AT ITER 353 NEW BEST:: SOT 15504 SOS 9942 HAS SOPS 9930 HAS SOUS 3184 HAS SOUPS 3175 WITH SCORE 3184.942
AT ITER 362 NEW BEST:: SOT 15537 SOS 10048 HAS SOPS 10036 HAS SOUS 3178 HAS SOUPS 3169 WITH SCORE 3179.048
AT ITER 367 NEW BEST:: SOT 15537 SOS 10045 HAS SOPS 10033 HAS SOUS 3166 HAS SOUPS 3157 WITH SCORE 3167.045
AT ITER 370 NEW BEST:: SOT 15521 SOS 10029 HAS SOPS 10017 HAS SOUS 3166 HAS SOUPS 3157 WITH SCORE 3167.029
AT ITER 384 NEW BEST:: SOT 15470 SOS 9978 HAS SOPS 9966 HAS SOUS 3105 HAS SOUPS 3096 WITH SCORE 3105.978
AT ITER 387 NEW BEST:: SOT 15433 SOS 9835 HAS SOPS 9823 HAS SOUS 3008 HAS SOUPS 2999 WITH SCORE 3008.835
AT ITER 390 NEW BEST:: SOT 15433 SOS 9761 HAS SOPS 9749 HAS SOUS 3008 HAS SOUPS 2999 WITH SCORE 3008.761
AT ITER 397 NEW BEST:: SOT 15416 SOS 9744 HAS SOPS 9732 HAS SOUS 2974 HAS SOUPS 2965 WITH SCORE 2974.744
AT ITER 401 NEW BEST:: SOT 15408 SOS 9728 HAS SOPS 9716 HAS SOUS 2972 HAS SOUPS 2963 WITH SCORE 2972.728
AT ITER 404 NEW BEST:: SOT 15405 SOS 9723 HAS SOPS 9711 HAS SOUS 2968 HAS SOUPS 2959 WITH SCORE 2968.723
AT ITER 407 NEW BEST:: SOT 15393 SOS 9699 HAS SOPS 9687 HAS SOUS 2956 HAS SOUPS 2947 WITH SCORE 2956.699
AT ITER 408 NEW BEST:: SOT 15353 SOS 9659 HAS SOPS 9647 HAS SOUS 2924 HAS SOUPS 2915 WITH SCORE 2924.659
AT ITER 409 NEW BEST:: SOT 15384 SOS 9721 HAS SOPS 9709 HAS SOUS 2891 HAS SOUPS 2882 WITH SCORE 2891.721
AT ITER 427 NEW BEST:: SOT 15403 SOS 9740 HAS SOPS 9728 HAS SOUS 2867 HAS SOUPS 2858 WITH SCORE 2867.74
AT ITER 432 NEW BEST:: SOT 15311 SOS 9594 HAS SOPS 9582 HAS SOUS 2841 HAS SOUPS 2832 WITH SCORE 2841.594
AT ITER 434 NEW BEST:: SOT 15303 SOS 9586 HAS SOPS 9574 HAS SOUS 2837 HAS SOUPS 2828 WITH SCORE 2837.586
AT ITER 453 NEW BEST:: SOT 15284 SOS 9567 HAS SOPS 9555 HAS SOUS 2832 HAS SOUPS 2823 WITH SCORE 2832.567
AT ITER 478 NEW BEST:: SOT 15284 SOS 9567 HAS SOPS 9555 HAS SOUS 2824 HAS SOUPS 2815 WITH SCORE 2824.567
AT ITER 479 NEW BEST:: SOT 15236 SOS 9359 HAS SOPS 9347 HAS SOUS 2656 HAS SOUPS 2647 WITH SCORE 2656.359
AT ITER 484 NEW BEST:: SOT 15224 SOS 9347 HAS SOPS 9335 HAS SOUS 2644 HAS SOUPS 2635 WITH SCORE 2644.347
AT ITER 500 NEW BEST:: SOT 15224 SOS 9344 HAS SOPS 9332 HAS SOUS 2644 HAS SOUPS 2635 WITH SCORE 2644.344
AT ITER 529 NEW BEST:: SOT 15222 SOS 9340 HAS SOPS 9328 HAS SOUS 2644 HAS SOUPS 2635 WITH SCORE 2644.34
AT ITER 543 NEW BEST:: SOT 15217 SOS 9335 HAS SOPS 9323 HAS SOUS 2639 HAS SOUPS 2630 WITH SCORE 2639.335
AT ITER 551 NEW BEST:: SOT 15194 SOS 9312 HAS SOPS 9300 HAS SOUS 2595 HAS SOUPS 2586 WITH SCORE 2595.312
AT ITER 606 NEW BEST:: SOT 15190 SOS 9308 HAS SOPS 9296 HAS SOUS 2591 HAS SOUPS 2582 WITH SCORE 2591.308
AT ITER 628 NEW BEST:: SOT 15195 SOS 9313 HAS SOPS 9301 HAS SOUS 2586 HAS SOUPS 2577 WITH SCORE 2586.313
AT ITER 647 NEW BEST:: SOT 15188 SOS 9332 HAS SOPS 9320 HAS SOUS 2576 HAS SOUPS 2567 WITH SCORE 2576.332
AT ITER 655 NEW BEST:: SOT 15206 SOS 9363 HAS SOPS 9351 HAS SOUS 2568 HAS SOUPS 2559 WITH SCORE 2568.363
AT ITER 661 NEW BEST:: SOT 15208 SOS 9365 HAS SOPS 9353 HAS SOUS 2551 HAS SOUPS 2542 WITH SCORE 2551.365
AT ITER 662 NEW BEST:: SOT 15204 SOS 9361 HAS SOPS 9349 HAS SOUS 2549 HAS SOUPS 2540 WITH SCORE 2549.361
AT ITER 663 NEW BEST:: SOT 15189 SOS 9338 HAS SOPS 9326 HAS SOUS 2537 HAS SOUPS 2528 WITH SCORE 2537.338
AT ITER 665 NEW BEST:: SOT 15179 SOS 9313 HAS SOPS 9301 HAS SOUS 2524 HAS SOUPS 2515 WITH SCORE 2524.313
AT ITER 671 NEW BEST:: SOT 15187 SOS 9321 HAS SOPS 9309 HAS SOUS 2504 HAS SOUPS 2495 WITH SCORE 2504.321
AT ITER 680 NEW BEST:: SOT 15191 SOS 9321 HAS SOPS 9309 HAS SOUS 2500 HAS SOUPS 2491 WITH SCORE 2500.321
AT ITER 689 NEW BEST:: SOT 15170 SOS 9279 HAS SOPS 9267 HAS SOUS 2476 HAS SOUPS 2467 WITH SCORE 2476.279
AT ITER 690 NEW BEST:: SOT 15143 SOS 9252 HAS SOPS 9240 HAS SOUS 2439 HAS SOUPS 2430 WITH SCORE 2439.252
AT ITER 692 NEW BEST:: SOT 15150 SOS 9259 HAS SOPS 9247 HAS SOUS 2426 HAS SOUPS 2417 WITH SCORE 2426.259
AT ITER 708 NEW BEST:: SOT 15145 SOS 9249 HAS SOPS 9237 HAS SOUS 2416 HAS SOUPS 2407 WITH SCORE 2416.249
AT ITER 716 NEW BEST:: SOT 15144 SOS 9248 HAS SOPS 9236 HAS SOUS 2410 HAS SOUPS 2401 WITH SCORE 2410.248
AT ITER 723 NEW BEST:: SOT 15128 SOS 9232 HAS SOPS 9220 HAS SOUS 2386 HAS SOUPS 2377 WITH SCORE 2386.232
AT ITER 754 NEW BEST:: SOT 15128 SOS 9198 HAS SOPS 9186 HAS SOUS 2386 HAS SOUPS 2377 WITH SCORE 2386.198
AT ITER 779 NEW BEST:: SOT 15126 SOS 9196 HAS SOPS 9184 HAS SOUS 2383 HAS SOUPS 2374 WITH SCORE 2383.196
AT ITER 780 NEW BEST:: SOT 15126 SOS 9196 HAS SOPS 9184 HAS SOUS 2370 HAS SOUPS 2361 WITH SCORE 2370.196
AT ITER 824 NEW BEST:: SOT 15120 SOS 9184 HAS SOPS 9172 HAS SOUS 2370 HAS SOUPS 2361 WITH SCORE 2370.184
AT ITER 827 NEW BEST:: SOT 15124 SOS 9188 HAS SOPS 9176 HAS SOUS 2354 HAS SOUPS 2345 WITH SCORE 2354.188
AT ITER 845 NEW BEST:: SOT 15123 SOS 9187 HAS SOPS 9175 HAS SOUS 2353 HAS SOUPS 2344 WITH SCORE 2353.187
AT ITER 882 NEW BEST:: SOT 15120 SOS 9184 HAS SOPS 9172 HAS SOUS 2344 HAS SOUPS 2335 WITH SCORE 2344.184
AT ITER 885 NEW BEST:: SOT 15113 SOS 9149 HAS SOPS 9137 HAS SOUS 2342 HAS SOUPS 2333 WITH SCORE 2342.149
AT ITER 893 NEW BEST:: SOT 15086 SOS 9122 HAS SOPS 9110 HAS SOUS 2329 HAS SOUPS 2320 WITH SCORE 2329.122
AT ITER 904 NEW BEST:: SOT 15078 SOS 9114 HAS SOPS 9102 HAS SOUS 2325 HAS SOUPS 2316 WITH SCORE 2325.114
AT ITER 912 NEW BEST:: SOT 15078 SOS 9114 HAS SOPS 9102 HAS SOUS 2324 HAS SOUPS 2315 WITH SCORE 2324.114
AT ITER 913 NEW BEST:: SOT 15069 SOS 9105 HAS SOPS 9093 HAS SOUS 2318 HAS SOUPS 2309 WITH SCORE 2318.105
AT ITER 918 NEW BEST:: SOT 15067 SOS 9100 HAS SOPS 9088 HAS SOUS 2316 HAS SOUPS 2307 WITH SCORE 2316.1
AT ITER 920 NEW BEST:: SOT 15061 SOS 9094 HAS SOPS 9082 HAS SOUS 2310 HAS SOUPS 2301 WITH SCORE 2310.094
AT ITER 928 NEW BEST:: SOT 15055 SOS 9074 HAS SOPS 9062 HAS SOUS 2300 HAS SOUPS 2291 WITH SCORE 2300.074
AT ITER 934 NEW BEST:: SOT 15052 SOS 9062 HAS SOPS 9050 HAS SOUS 2294 HAS SOUPS 2285 WITH SCORE 2294.062
AT ITER 939 NEW BEST:: SOT 15045 SOS 9051 HAS SOPS 9039 HAS SOUS 2279 HAS SOUPS 2270 WITH SCORE 2279.051
AT ITER 966 NEW BEST:: SOT 15037 SOS 8992 HAS SOPS 8980 HAS SOUS 2276 HAS SOUPS 2267 WITH SCORE 2275.992
AT ITER 977 NEW BEST:: SOT 15055 SOS 8944 HAS SOPS 8932 HAS SOUS 2274 HAS SOUPS 2265 WITH SCORE 2273.944
AT ITER 979 NEW BEST:: SOT 15048 SOS 8937 HAS SOPS 8925 HAS SOUS 2274 HAS SOUPS 2265 WITH SCORE 2273.937
AT ITER 988 NEW BEST:: SOT 15042 SOS 8925 HAS SOPS 8913 HAS SOUS 2272 HAS SOUPS 2263 WITH SCORE 2271.925
AT ITER 993 NEW BEST:: SOT 15033 SOS 8599 HAS SOPS 8587 HAS SOUS 2256 HAS SOUPS 2247 WITH SCORE 2255.599
AT ITER 1004 NEW BEST:: SOT 15039 SOS 8605 HAS SOPS 8593 HAS SOUS 2243 HAS SOUPS 2234 WITH SCORE 2242.605
AT ITER 1036 NEW BEST:: SOT 15008 SOS 8555 HAS SOPS 8543 HAS SOUS 2228 HAS SOUPS 2219 WITH SCORE 2227.555
AT ITER 1084 NEW BEST:: SOT 15001 SOS 8548 HAS SOPS 8536 HAS SOUS 2215 HAS SOUPS 2206 WITH SCORE 2214.548
AT ITER 1112 NEW BEST:: SOT 14990 SOS 8525 HAS SOPS 8513 HAS SOUS 2206 HAS SOUPS 2197 WITH SCORE 2205.525
AT ITER 1123 NEW BEST:: SOT 14990 SOS 8525 HAS SOPS 8513 HAS SOUS 2204 HAS SOUPS 2195 WITH SCORE 2203.525
AT ITER 1163 NEW BEST:: SOT 14984 SOS 8507 HAS SOPS 8495 HAS SOUS 2192 HAS SOUPS 2183 WITH SCORE 2191.507
AT ITER 1269 NEW BEST:: SOT 14989 SOS 8519 HAS SOPS 8507 HAS SOUS 2189 HAS SOUPS 2180 WITH SCORE 2188.519
AT ITER 1277 NEW BEST:: SOT 14986 SOS 8516 HAS SOPS 8504 HAS SOUS 2186 HAS SOUPS 2177 WITH SCORE 2185.516
AT ITER 1404 NEW BEST:: SOT 14986 SOS 8517 HAS SOPS 8505 HAS SOUS 2174 HAS SOUPS 2165 WITH SCORE 2173.517
AT ITER 1420 NEW BEST:: SOT 14980 SOS 8507 HAS SOPS 8495 HAS SOUS 2174 HAS SOUPS 2165 WITH SCORE 2173.507
AT ITER 1421 NEW BEST:: SOT 14980 SOS 8507 HAS SOPS 8495 HAS SOUS 2173 HAS SOUPS 2164 WITH SCORE 2172.507
AT ITER 1423 NEW BEST:: SOT 14985 SOS 8512 HAS SOPS 8500 HAS SOUS 2169 HAS SOUPS 2160 WITH SCORE 2168.512
AT ITER 1434 NEW BEST:: SOT 14981 SOS 8540 HAS SOPS 8528 HAS SOUS 2166 HAS SOUPS 2157 WITH SCORE 2165.54
AT ITER 1438 NEW BEST:: SOT 14978 SOS 8537 HAS SOPS 8525 HAS SOUS 2164 HAS SOUPS 2155 WITH SCORE 2163.537
AT ITER 1454 NEW BEST:: SOT 14978 SOS 8537 HAS SOPS 8525 HAS SOUS 2163 HAS SOUPS 2154 WITH SCORE 2162.537
AT ITER 1474 NEW BEST:: SOT 14954 SOS 8489 HAS SOPS 8477 HAS SOUS 2150 HAS SOUPS 2141 WITH SCORE 2149.489
AT ITER 1475 NEW BEST:: SOT 14941 SOS 8428 HAS SOPS 8416 HAS SOUS 2135 HAS SOUPS 2126 WITH SCORE 2134.428
AT ITER 1490 NEW BEST:: SOT 14935 SOS 8418 HAS SOPS 8406 HAS SOUS 2125 HAS SOUPS 2116 WITH SCORE 2124.418
AT ITER 1504 NEW BEST:: SOT 14933 SOS 8412 HAS SOPS 8400 HAS SOUS 2121 HAS SOUPS 2112 WITH SCORE 2120.412
AT ITER 1577 NEW BEST:: SOT 14931 SOS 8409 HAS SOPS 8397 HAS SOUS 2117 HAS SOUPS 2108 WITH SCORE 2116.409
AT ITER 1602 NEW BEST:: SOT 14913 SOS 8391 HAS SOPS 8379 HAS SOUS 2109 HAS SOUPS 2100 WITH SCORE 2108.391
AT ITER 1693 NEW BEST:: SOT 14898 SOS 8361 HAS SOPS 8349 HAS SOUS 2094 HAS SOUPS 2085 WITH SCORE 2093.361
AT ITER 1705 NEW BEST:: SOT 14898 SOS 8358 HAS SOPS 8346 HAS SOUS 2094 HAS SOUPS 2085 WITH SCORE 2093.358
AT ITER 1728 NEW BEST:: SOT 14896 SOS 8356 HAS SOPS 8344 HAS SOUS 2092 HAS SOUPS 2083 WITH SCORE 2091.356
AT ITER 1741 NEW BEST:: SOT 14895 SOS 8355 HAS SOPS 8343 HAS SOUS 2092 HAS SOUPS 2083 WITH SCORE 2091.355
AT ITER 1766 NEW BEST:: SOT 14895 SOS 8355 HAS SOPS 8343 HAS SOUS 2089 HAS SOUPS 2080 WITH SCORE 2088.355
AT ITER 1783 NEW BEST:: SOT 14895 SOS 8363 HAS SOPS 8351 HAS SOUS 2087 HAS SOUPS 2078 WITH SCORE 2086.363
AT ITER 1794 NEW BEST:: SOT 14903 SOS 8403 HAS SOPS 8391 HAS SOUS 2086 HAS SOUPS 2077 WITH SCORE 2085.403
AT ITER 1835 NEW BEST:: SOT 14896 SOS 8375 HAS SOPS 8363 HAS SOUS 2077 HAS SOUPS 2068 WITH SCORE 2076.375
AT ITER 1885 NEW BEST:: SOT 14895 SOS 8150 HAS SOPS 8138 HAS SOUS 2061 HAS SOUPS 2052 WITH SCORE 2060.15
AT ITER 1911 NEW BEST:: SOT 14895 SOS 8150 HAS SOPS 8138 HAS SOUS 2058 HAS SOUPS 2049 WITH SCORE 2057.15
AT ITER 1939 NEW BEST:: SOT 14885 SOS 8130 HAS SOPS 8118 HAS SOUS 2051 HAS SOUPS 2042 WITH SCORE 2050.13
AT ITER 1940 NEW BEST:: SOT 14890 SOS 8135 HAS SOPS 8123 HAS SOUS 2045 HAS SOUPS 2036 WITH SCORE 2044.135
AT ITER 1963 NEW BEST:: SOT 14880 SOS 8121 HAS SOPS 8109 HAS SOUS 2041 HAS SOUPS 2032 WITH SCORE 2040.121
AT ITER 1973 NEW BEST:: SOT 14793 SOS 7963 HAS SOPS 7951 HAS SOUS 2039 HAS SOUPS 2030 WITH SCORE 2037.963
AT ITER 2054 NEW BEST:: SOT 14800 SOS 7987 HAS SOPS 7975 HAS SOUS 2032 HAS SOUPS 2023 WITH SCORE 2030.987
AT ITER 2058 NEW BEST:: SOT 14801 SOS 7989 HAS SOPS 7977 HAS SOUS 2018 HAS SOUPS 2009 WITH SCORE 2016.989
AT ITER 2063 NEW BEST:: SOT 14792 SOS 7980 HAS SOPS 7968 HAS SOUS 2018 HAS SOUPS 2009 WITH SCORE 2016.98
AT ITER 2136 NEW BEST:: SOT 14788 SOS 7976 HAS SOPS 7964 HAS SOUS 2015 HAS SOUPS 2006 WITH SCORE 2013.976
AT ITER 2138 NEW BEST:: SOT 14783 SOS 7971 HAS SOPS 7959 HAS SOUS 2011 HAS SOUPS 2002 WITH SCORE 2009.971
AT ITER 2147 NEW BEST:: SOT 14783 SOS 7971 HAS SOPS 7959 HAS SOUS 2010 HAS SOUPS 2001 WITH SCORE 2008.971
AT ITER 2154 NEW BEST:: SOT 14782 SOS 7964 HAS SOPS 7952 HAS SOUS 2007 HAS SOUPS 1998 WITH SCORE 2005.964
AT ITER 2162 NEW BEST:: SOT 14771 SOS 7948 HAS SOPS 7936 HAS SOUS 2007 HAS SOUPS 1998 WITH SCORE 2005.948
AT ITER 2171 NEW BEST:: SOT 14771 SOS 7949 HAS SOPS 7937 HAS SOUS 2005 HAS SOUPS 1996 WITH SCORE 2003.949
AT ITER 2177 NEW BEST:: SOT 14759 SOS 7937 HAS SOPS 7925 HAS SOUS 2003 HAS SOUPS 1994 WITH SCORE 2001.937
AT ITER 2235 NEW BEST:: SOT 14755 SOS 7921 HAS SOPS 7909 HAS SOUS 1999 HAS SOUPS 1990 WITH SCORE 1997.921
AT ITER 2238 NEW BEST:: SOT 14755 SOS 7919 HAS SOPS 7907 HAS SOUS 1999 HAS SOUPS 1990 WITH SCORE 1997.919
AT ITER 2281 NEW BEST:: SOT 14758 SOS 7922 HAS SOPS 7910 HAS SOUS 1997 HAS SOUPS 1988 WITH SCORE 1995.922
AT ITER 2284 NEW BEST:: SOT 14758 SOS 7922 HAS SOPS 7910 HAS SOUS 1996 HAS SOUPS 1987 WITH SCORE 1994.922
AT ITER 2287 NEW BEST:: SOT 14752 SOS 7908 HAS SOPS 7896 HAS SOUS 1984 HAS SOUPS 1975 WITH SCORE 1982.908
AT ITER 2321 NEW BEST:: SOT 14749 SOS 7905 HAS SOPS 7893 HAS SOUS 1981 HAS SOUPS 1972 WITH SCORE 1979.905
AT ITER 2339 NEW BEST:: SOT 14766 SOS 7929 HAS SOPS 7917 HAS SOUS 1979 HAS SOUPS 1970 WITH SCORE 1977.929
AT ITER 2342 NEW BEST:: SOT 14767 SOS 7918 HAS SOPS 7906 HAS SOUS 1979 HAS SOUPS 1970 WITH SCORE 1977.918
AT ITER 2379 NEW BEST:: SOT 14781 SOS 7932 HAS SOPS 7920 HAS SOUS 1976 HAS SOUPS 1967 WITH SCORE 1974.932
AT ITER 2386 NEW BEST:: SOT 14778 SOS 7929 HAS SOPS 7917 HAS SOUS 1976 HAS SOUPS 1967 WITH SCORE 1974.929
AT ITER 2453 NEW BEST:: SOT 14782 SOS 7933 HAS SOPS 7921 HAS SOUS 1975 HAS SOUPS 1966 WITH SCORE 1973.933
AT ITER 2480 NEW BEST:: SOT 14754 SOS 8054 HAS SOPS 8042 HAS SOUS 1973 HAS SOUPS 1964 WITH SCORE 1972.054
AT ITER 2485 NEW BEST:: SOT 14756 SOS 8056 HAS SOPS 8044 HAS SOUS 1971 HAS SOUPS 1962 WITH SCORE 1970.056
AT ITER 2496 NEW BEST:: SOT 14752 SOS 8044 HAS SOPS 8032 HAS SOUS 1965 HAS SOUPS 1956 WITH SCORE 1964.044
AT ITER 2690 NEW BEST:: SOT 14748 SOS 8040 HAS SOPS 8028 HAS SOUS 1956 HAS SOUPS 1947 WITH SCORE 1955.04
AT ITER 2705 NEW BEST:: SOT 14747 SOS 8039 HAS SOPS 8027 HAS SOUS 1956 HAS SOUPS 1947 WITH SCORE 1955.039
AT ITER 2758 NEW BEST:: SOT 14748 SOS 8040 HAS SOPS 8028 HAS SOUS 1952 HAS SOUPS 1943 WITH SCORE 1951.04
AT ITER 2774 NEW BEST:: SOT 14747 SOS 8036 HAS SOPS 8024 HAS SOUS 1952 HAS SOUPS 1943 WITH SCORE 1951.036
AT ITER 2811 NEW BEST:: SOT 14743 SOS 8032 HAS SOPS 8020 HAS SOUS 1949 HAS SOUPS 1940 WITH SCORE 1948.032
AT ITER 2864 NEW BEST:: SOT 14742 SOS 8031 HAS SOPS 8019 HAS SOUS 1946 HAS SOUPS 1937 WITH SCORE 1945.031
AT ITER 2867 NEW BEST:: SOT 14737 SOS 8025 HAS SOPS 8013 HAS SOUS 1941 HAS SOUPS 1932 WITH SCORE 1940.025
AT ITER 2872 NEW BEST:: SOT 14734 SOS 8022 HAS SOPS 8010 HAS SOUS 1935 HAS SOUPS 1926 WITH SCORE 1934.022
AT ITER 2892 NEW BEST:: SOT 14727 SOS 8015 HAS SOPS 8003 HAS SOUS 1935 HAS SOUPS 1926 WITH SCORE 1934.015
AT ITER 2935 NEW BEST:: SOT 14738 SOS 8036 HAS SOPS 8024 HAS SOUS 1934 HAS SOUPS 1925 WITH SCORE 1933.036
AT ITER 2941 NEW BEST:: SOT 14712 SOS 8000 HAS SOPS 7988 HAS SOUS 1932 HAS SOUPS 1923 WITH SCORE 1931.0
AT ITER 2945 NEW BEST:: SOT 14693 SOS 7971 HAS SOPS 7959 HAS SOUS 1922 HAS SOUPS 1913 WITH SCORE 1920.971
AT ITER 2960 NEW BEST:: SOT 14693 SOS 7971 HAS SOPS 7959 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1919.971
AT ITER 3000 NEW BEST:: SOT 14691 SOS 7967 HAS SOPS 7955 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1919.967
AT ITER 3003 NEW BEST:: SOT 14686 SOS 7962 HAS SOPS 7950 HAS SOUS 1921 HAS SOUPS 1912 WITH SCORE 1919.962
AT ITER 3022 NEW BEST:: SOT 14695 SOS 7971 HAS SOPS 7959 HAS SOUS 1920 HAS SOUPS 1911 WITH SCORE 1918.971
AT ITER 3025 NEW BEST:: SOT 14699 SOS 7975 HAS SOPS 7963 HAS SOUS 1916 HAS SOUPS 1907 WITH SCORE 1914.975
AT ITER 3027 NEW BEST:: SOT 14699 SOS 7973 HAS SOPS 7961 HAS SOUS 1914 HAS SOUPS 1905 WITH SCORE 1912.973
AT ITER 3037 NEW BEST:: SOT 14699 SOS 7973 HAS SOPS 7961 HAS SOUS 1909 HAS SOUPS 1900 WITH SCORE 1907.973
AT ITER 3044 NEW BEST:: SOT 14699 SOS 7825 HAS SOPS 7813 HAS SOUS 1908 HAS SOUPS 1899 WITH SCORE 1906.825
AT ITER 3080 NEW BEST:: SOT 14690 SOS 7816 HAS SOPS 7804 HAS SOUS 1908 HAS SOUPS 1899 WITH SCORE 1906.816
AT ITER 3100 NEW BEST:: SOT 14690 SOS 7816 HAS SOPS 7804 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1904.816
AT ITER 3115 NEW BEST:: SOT 14690 SOS 7753 HAS SOPS 7741 HAS SOUS 1906 HAS SOUPS 1897 WITH SCORE 1904.753
AT ITER 3121 NEW BEST:: SOT 14700 SOS 7781 HAS SOPS 7769 HAS SOUS 1905 HAS SOUPS 1896 WITH SCORE 1903.781
AT ITER 3228 NEW BEST:: SOT 14698 SOS 7779 HAS SOPS 7767 HAS SOUS 1900 HAS SOUPS 1891 WITH SCORE 1898.779
AT ITER 3324 NEW BEST:: SOT 14697 SOS 7775 HAS SOPS 7763 HAS SOUS 1898 HAS SOUPS 1889 WITH SCORE 1896.775
AT ITER 3368 NEW BEST:: SOT 14697 SOS 7774 HAS SOPS 7762 HAS SOUS 1897 HAS SOUPS 1888 WITH SCORE 1895.774
AT ITER 3423 NEW BEST:: SOT 14695 SOS 7772 HAS SOPS 7760 HAS SOUS 1897 HAS SOUPS 1888 WITH SCORE 1895.772
AT ITER 3426 NEW BEST:: SOT 14694 SOS 7771 HAS SOPS 7759 HAS SOUS 1897 HAS SOUPS 1888 WITH SCORE 1895.771
AT ITER 3448 NEW BEST:: SOT 14694 SOS 7771 HAS SOPS 7759 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1893.771
AT ITER 3461 NEW BEST:: SOT 14694 SOS 7770 HAS SOPS 7758 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1893.77
AT ITER 3467 NEW BEST:: SOT 14692 SOS 7766 HAS SOPS 7754 HAS SOUS 1895 HAS SOUPS 1886 WITH SCORE 1893.766
AT ITER 3523 NEW BEST:: SOT 14692 SOS 7766 HAS SOPS 7754 HAS SOUS 1892 HAS SOUPS 1883 WITH SCORE 1890.766
AT ITER 3532 NEW BEST:: SOT 14701 SOS 7775 HAS SOPS 7763 HAS SOUS 1885 HAS SOUPS 1876 WITH SCORE 1883.775
AT ITER 3541 NEW BEST:: SOT 14695 SOS 7757 HAS SOPS 7745 HAS SOUS 1882 HAS SOUPS 1873 WITH SCORE 1880.757
AT ITER 3614 NEW BEST:: SOT 14695 SOS 7751 HAS SOPS 7739 HAS SOUS 1878 HAS SOUPS 1869 WITH SCORE 1876.751
AT ITER 3685 NEW BEST:: SOT 14693 SOS 7749 HAS SOPS 7737 HAS SOUS 1877 HAS SOUPS 1868 WITH SCORE 1875.749
AT ITER 3734 NEW BEST:: SOT 14695 SOS 7751 HAS SOPS 7739 HAS SOUS 1874 HAS SOUPS 1865 WITH SCORE 1872.751
AT ITER 3796 NEW BEST:: SOT 14690 SOS 7740 HAS SOPS 7728 HAS SOUS 1872 HAS SOUPS 1863 WITH SCORE 1870.74
AT ITER 3811 NEW BEST:: SOT 14689 SOS 7739 HAS SOPS 7727 HAS SOUS 1871 HAS SOUPS 1862 WITH SCORE 1869.739
AT ITER 3866 NEW BEST:: SOT 14690 SOS 7740 HAS SOPS 7728 HAS SOUS 1870 HAS SOUPS 1861 WITH SCORE 1868.74
AT ITER 3881 NEW BEST:: SOT 14689 SOS 7739 HAS SOPS 7727 HAS SOUS 1869 HAS SOUPS 1860 WITH SCORE 1867.739
AT ITER 3907 NEW BEST:: SOT 14682 SOS 7713 HAS SOPS 7701 HAS SOUS 1854 HAS SOUPS 1845 WITH SCORE 1852.713
AT ITER 3919 NEW BEST:: SOT 14682 SOS 7714 HAS SOPS 7702 HAS SOUS 1852 HAS SOUPS 1843 WITH SCORE 1850.714
AT ITER 3939 NEW BEST:: SOT 14682 SOS 7713 HAS SOPS 7701 HAS SOUS 1851 HAS SOUPS 1842 WITH SCORE 1849.713
AT ITER 3996 NEW BEST:: SOT 14681 SOS 7712 HAS SOPS 7700 HAS SOUS 1850 HAS SOUPS 1841 WITH SCORE 1848.712
AT ITER 4062 NEW BEST:: SOT 14681 SOS 7712 HAS SOPS 7700 HAS SOUS 1849 HAS SOUPS 1840 WITH SCORE 1847.712
AT ITER 4163 NEW BEST:: SOT 14681 SOS 7708 HAS SOPS 7696 HAS SOUS 1849 HAS SOUPS 1840 WITH SCORE 1847.708
AT ITER 4191 NEW BEST:: SOT 14681 SOS 7708 HAS SOPS 7696 HAS SOUS 1848 HAS SOUPS 1839 WITH SCORE 1846.708
AT ITER 4360 NEW BEST:: SOT 14670 SOS 7697 HAS SOPS 7685 HAS SOUS 1837 HAS SOUPS 1828 WITH SCORE 1835.697
AT ITER 4428 NEW BEST:: SOT 14672 SOS 7700 HAS SOPS 7688 HAS SOUS 1831 HAS SOUPS 1822 WITH SCORE 1829.7
AT ITER 4470 NEW BEST:: SOT 14676 SOS 7704 HAS SOPS 7692 HAS SOUS 1828 HAS SOUPS 1819 WITH SCORE 1826.704
AT ITER 4581 NEW BEST:: SOT 14678 SOS 7706 HAS SOPS 7694 HAS SOUS 1825 HAS SOUPS 1816 WITH SCORE 1823.706
AT ITER 4630 NEW BEST:: SOT 14679 SOS 7707 HAS SOPS 7695 HAS SOUS 1823 HAS SOUPS 1814 WITH SCORE 1821.707
AT ITER 4664 NEW BEST:: SOT 14679 SOS 7707 HAS SOPS 7695 HAS SOUS 1821 HAS SOUPS 1812 WITH SCORE 1819.707
AT ITER 4786 NEW BEST:: SOT 14678 SOS 7704 HAS SOPS 7692 HAS SOUS 1820 HAS SOUPS 1811 WITH SCORE 1818.704
AT ITER 4821 NEW BEST:: SOT 14677 SOS 7703 HAS SOPS 7691 HAS SOUS 1819 HAS SOUPS 1810 WITH SCORE 1817.703
AT ITER 4902 NEW BEST:: SOT 14678 SOS 7702 HAS SOPS 7690 HAS SOUS 1815 HAS SOUPS 1806 WITH SCORE 1813.702
AT ITER 4938 NEW BEST:: SOT 14678 SOS 7702 HAS SOPS 7690 HAS SOUS 1814 HAS SOUPS 1805 WITH SCORE 1812.702
AT ITER 5026 NEW BEST:: SOT 14680 SOS 7704 HAS SOPS 7692 HAS SOUS 1812 HAS SOUPS 1803 WITH SCORE 1810.704
AT ITER 5066 NEW BEST:: SOT 14680 SOS 7704 HAS SOPS 7692 HAS SOUS 1811 HAS SOUPS 1802 WITH SCORE 1809.704
AT ITER 5096 NEW BEST:: SOT 14666 SOS 7675 HAS SOPS 7663 HAS SOUS 1802 HAS SOUPS 1793 WITH SCORE 1800.675
AT ITER 5121 NEW BEST:: SOT 14665 SOS 7672 HAS SOPS 7660 HAS SOUS 1800 HAS SOUPS 1791 WITH SCORE 1798.672
AT ITER 5505 NEW BEST:: SOT 14665 SOS 7666 HAS SOPS 7654 HAS SOUS 1800 HAS SOUPS 1791 WITH SCORE 1798.666
AT ITER 5640 NEW BEST:: SOT 14659 SOS 7660 HAS SOPS 7648 HAS SOUS 1798 HAS SOUPS 1789 WITH SCORE 1796.66
AT ITER 5765 NEW BEST:: SOT 14656 SOS 7657 HAS SOPS 7645 HAS SOUS 1797 HAS SOUPS 1788 WITH SCORE 1795.657
AT ITER 5771 NEW BEST:: SOT 14653 SOS 7654 HAS SOPS 7642 HAS SOUS 1794 HAS SOUPS 1785 WITH SCORE 1792.654
AT ITER 5828 NEW BEST:: SOT 14654 SOS 7660 HAS SOPS 7648 HAS SOUS 1793 HAS SOUPS 1784 WITH SCORE 1791.66
AT ITER 6042 NEW BEST:: SOT 14650 SOS 7656 HAS SOPS 7644 HAS SOUS 1790 HAS SOUPS 1781 WITH SCORE 1788.656
AT ITER 6080 NEW BEST:: SOT 14650 SOS 7656 HAS SOPS 7644 HAS SOUS 1788 HAS SOUPS 1779 WITH SCORE 1786.656
AT ITER 6211 NEW BEST:: SOT 14648 SOS 7647 HAS SOPS 7635 HAS SOUS 1785 HAS SOUPS 1776 WITH SCORE 1783.647
AT ITER 6277 NEW BEST:: SOT 14647 SOS 7646 HAS SOPS 7634 HAS SOUS 1785 HAS SOUPS 1776 WITH SCORE 1783.646
AT ITER 6323 NEW BEST:: SOT 14646 SOS 7645 HAS SOPS 7633 HAS SOUS 1784 HAS SOUPS 1775 WITH SCORE 1782.645
AT ITER 6425 NEW BEST:: SOT 14646 SOS 7649 HAS SOPS 7637 HAS SOUS 1782 HAS SOUPS 1773 WITH SCORE 1780.649
AT ITER 6643 NEW BEST:: SOT 14652 SOS 7655 HAS SOPS 7643 HAS SOUS 1781 HAS SOUPS 1772 WITH SCORE 1779.655
AT ITER 6688 NEW BEST:: SOT 14644 SOS 7635 HAS SOPS 7623 HAS SOUS 1770 HAS SOUPS 1761 WITH SCORE 1768.635
AT ITER 6898 NEW BEST:: SOT 14643 SOS 7634 HAS SOPS 7622 HAS SOUS 1770 HAS SOUPS 1761 WITH SCORE 1768.634
AT ITER 6905 NEW BEST:: SOT 14648 SOS 7639 HAS SOPS 7627 HAS SOUS 1769 HAS SOUPS 1760 WITH SCORE 1767.639
AT ITER 6964 NEW BEST:: SOT 14648 SOS 7639 HAS SOPS 7627 HAS SOUS 1767 HAS SOUPS 1758 WITH SCORE 1765.639
AT ITER 6996 NEW BEST:: SOT 14647 SOS 7638 HAS SOPS 7626 HAS SOUS 1763 HAS SOUPS 1754 WITH SCORE 1761.638
AT ITER 7049 NEW BEST:: SOT 14642 SOS 7633 HAS SOPS 7621 HAS SOUS 1761 HAS SOUPS 1752 WITH SCORE 1759.633
AT ITER 7113 NEW BEST:: SOT 14643 SOS 7634 HAS SOPS 7622 HAS SOUS 1760 HAS SOUPS 1751 WITH SCORE 1758.634
AT ITER 7129 NEW BEST:: SOT 14641 SOS 7632 HAS SOPS 7620 HAS SOUS 1759 HAS SOUPS 1750 WITH SCORE 1757.632
AT ITER 7206 NEW BEST:: SOT 14633 SOS 7620 HAS SOPS 7608 HAS SOUS 1749 HAS SOUPS 1740 WITH SCORE 1747.62
AT ITER 7279 NEW BEST:: SOT 14631 SOS 7618 HAS SOPS 7606 HAS SOUS 1749 HAS SOUPS 1740 WITH SCORE 1747.618
AT ITER 7440 NEW BEST:: SOT 14631 SOS 7618 HAS SOPS 7606 HAS SOUS 1747 HAS SOUPS 1738 WITH SCORE 1745.618
AT ITER 7749 NEW BEST:: SOT 14629 SOS 7616 HAS SOPS 7604 HAS SOUS 1745 HAS SOUPS 1736 WITH SCORE 1743.616
AT ITER 7818 NEW BEST:: SOT 14625 SOS 7612 HAS SOPS 7600 HAS SOUS 1745 HAS SOUPS 1736 WITH SCORE 1743.612
AT ITER 7886 NEW BEST:: SOT 14623 SOS 7610 HAS SOPS 7598 HAS SOUS 1742 HAS SOUPS 1733 WITH SCORE 1740.61
AT ITER 7939 NEW BEST:: SOT 14619 SOS 7606 HAS SOPS 7594 HAS SOUS 1741 HAS SOUPS 1732 WITH SCORE 1739.606
AT ITER 7965 NEW BEST:: SOT 14618 SOS 7605 HAS SOPS 7593 HAS SOUS 1741 HAS SOUPS 1732 WITH SCORE 1739.605
AT ITER 8134 NEW BEST:: SOT 14618 SOS 7605 HAS SOPS 7593 HAS SOUS 1736 HAS SOUPS 1727 WITH SCORE 1734.605
AT ITER 8209 NEW BEST:: SOT 14611 SOS 7598 HAS SOPS 7586 HAS SOUS 1734 HAS SOUPS 1725 WITH SCORE 1732.598
AT ITER 8422 NEW BEST:: SOT 14611 SOS 7598 HAS SOPS 7586 HAS SOUS 1733 HAS SOUPS 1724 WITH SCORE 1731.598
AT ITER 8468 NEW BEST:: SOT 14611 SOS 7598 HAS SOPS 7586 HAS SOUS 1730 HAS SOUPS 1721 WITH SCORE 1728.598
AT ITER 8481 NEW BEST:: SOT 14609 SOS 7596 HAS SOPS 7584 HAS SOUS 1728 HAS SOUPS 1719 WITH SCORE 1726.596
AT ITER 8770 NEW BEST:: SOT 14609 SOS 7595 HAS SOPS 7583 HAS SOUS 1727 HAS SOUPS 1718 WITH SCORE 1725.595
AT ITER 9017 NEW BEST:: SOT 14609 SOS 7595 HAS SOPS 7583 HAS SOUS 1726 HAS SOUPS 1717 WITH SCORE 1724.595
AT ITER 9028 NEW BEST:: SOT 14606 SOS 7588 HAS SOPS 7576 HAS SOUS 1726 HAS SOUPS 1717 WITH SCORE 1724.588
AT ITER 9030 NEW BEST:: SOT 14606 SOS 7588 HAS SOPS 7576 HAS SOUS 1725 HAS SOUPS 1716 WITH SCORE 1723.588
AT ITER 9210 NEW BEST:: SOT 14606 SOS 7588 HAS SOPS 7576 HAS SOUS 1724 HAS SOUPS 1715 WITH SCORE 1722.588
AT ITER 9249 NEW BEST:: SOT 14606 SOS 7588 HAS SOPS 7576 HAS SOUS 1720 HAS SOUPS 1711 WITH SCORE 1718.588
AT ITER 9314 NEW BEST:: SOT 14610 SOS 7572 HAS SOPS 7560 HAS SOUS 1719 HAS SOUPS 1710 WITH SCORE 1717.572
AT ITER 9362 NEW BEST:: SOT 14609 SOS 7571 HAS SOPS 7559 HAS SOUS 1718 HAS SOUPS 1709 WITH SCORE 1716.571
AT ITER 9463 NEW BEST:: SOT 14608 SOS 7570 HAS SOPS 7558 HAS SOUS 1717 HAS SOUPS 1708 WITH SCORE 1715.57
AT ITER 9528 NEW BEST:: SOT 14607 SOS 7568 HAS SOPS 7556 HAS SOUS 1717 HAS SOUPS 1708 WITH SCORE 1715.568
AT ITER 9563 NEW BEST:: SOT 14606 SOS 7567 HAS SOPS 7555 HAS SOUS 1717 HAS SOUPS 1708 WITH SCORE 1715.567
AT ITER 9741 NEW BEST:: SOT 14606 SOS 7567 HAS SOPS 7555 HAS SOUS 1716 HAS SOUPS 1707 WITH SCORE 1714.567
AT ITER 9825 NEW BEST:: SOT 14607 SOS 7566 HAS SOPS 7554 HAS SOUS 1716 HAS SOUPS 1707 WITH SCORE 1714.566
AT ITER 9918 NEW BEST:: SOT 14605 SOS 7564 HAS SOPS 7552 HAS SOUS 1715 HAS SOUPS 1706 WITH SCORE 1713.564
AT ITER 9930 NEW BEST:: SOT 14605 SOS 7562 HAS SOPS 7550 HAS SOUS 1714 HAS SOUPS 1705 WITH SCORE 1712.562
STATE_SPACE STATES 4773308 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 1 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 8 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 54664040 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678492675155

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

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is HealthRecord-PT-03, 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 r195-smll-167840342200256"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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