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.r483-tall-167912696601144.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 UtilityControlRoom-PT-Z2T4N06, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r483-tall-167912696601144
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 968K
-rw-r--r-- 1 mcc users 18K Feb 26 14:45 CTLCardinality.txt
-rw-r--r-- 1 mcc users 115K Feb 26 14:45 CTLCardinality.xml
-rw-r--r-- 1 mcc users 29K Feb 26 14:43 CTLFireability.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:43 CTLFireability.xml
-rw-r--r-- 1 mcc users 9.6K Feb 25 17:25 LTLCardinality.txt
-rw-r--r-- 1 mcc users 40K Feb 25 17:25 LTLCardinality.xml
-rw-r--r-- 1 mcc users 12K Feb 25 17:25 LTLFireability.txt
-rw-r--r-- 1 mcc users 42K Feb 25 17:25 LTLFireability.xml
-rw-r--r-- 1 mcc users 43K Feb 26 14:48 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 218K Feb 26 14:48 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 33K Feb 26 14:47 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 146K Feb 26 14:47 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 17:25 UpperBounds.txt
-rw-r--r-- 1 mcc users 5.2K Feb 25 17:25 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 70K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679190715659

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=UtilityControlRoom-PT-Z2T4N06
Not applying reductions.
Model is PT
StateSpace PT
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running UtilityControlRoom (PT), instance Z2T4N06
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: 106 places, 162 transitions, 510 arcs.
AT ITER 0 NEW BEST:: SOT 13896 SOS 10272 HAS SOPS 10272 HAS SOUS 6806 HAS SOUPS 6806 WITH SCORE 6816.272
AT ITER 1 NEW BEST:: SOT 13896 SOS 10246 HAS SOPS 10246 HAS SOUS 6793 HAS SOUPS 6793 WITH SCORE 6803.246
AT ITER 5 NEW BEST:: SOT 13894 SOS 10200 HAS SOPS 10200 HAS SOUS 6768 HAS SOUPS 6768 WITH SCORE 6778.2
AT ITER 7 NEW BEST:: SOT 13851 SOS 10103 HAS SOPS 10103 HAS SOUS 6716 HAS SOUPS 6716 WITH SCORE 6726.103
AT ITER 8 NEW BEST:: SOT 13850 SOS 10101 HAS SOPS 10101 HAS SOUS 6707 HAS SOUPS 6707 WITH SCORE 6717.101
AT ITER 12 NEW BEST:: SOT 13822 SOS 10077 HAS SOPS 10077 HAS SOUS 6675 HAS SOUPS 6675 WITH SCORE 6685.077
AT ITER 19 NEW BEST:: SOT 13790 SOS 10045 HAS SOPS 10045 HAS SOUS 6664 HAS SOUPS 6664 WITH SCORE 6674.045
AT ITER 22 NEW BEST:: SOT 13783 SOS 10025 HAS SOPS 10025 HAS SOUS 6642 HAS SOUPS 6642 WITH SCORE 6652.025
AT ITER 23 NEW BEST:: SOT 13760 SOS 10002 HAS SOPS 10002 HAS SOUS 6617 HAS SOUPS 6617 WITH SCORE 6627.002
AT ITER 24 NEW BEST:: SOT 13757 SOS 9999 HAS SOPS 9999 HAS SOUS 6614 HAS SOUPS 6614 WITH SCORE 6623.999
AT ITER 26 NEW BEST:: SOT 13752 SOS 9989 HAS SOPS 9989 HAS SOUS 6561 HAS SOUPS 6561 WITH SCORE 6570.989
AT ITER 30 NEW BEST:: SOT 12725 SOS 8980 HAS SOPS 8980 HAS SOUS 5972 HAS SOUPS 5972 WITH SCORE 5980.98
AT ITER 35 NEW BEST:: SOT 12701 SOS 8960 HAS SOPS 8960 HAS SOUS 5964 HAS SOUPS 5964 WITH SCORE 5972.96
AT ITER 36 NEW BEST:: SOT 12681 SOS 8932 HAS SOPS 8932 HAS SOUS 5917 HAS SOUPS 5917 WITH SCORE 5925.932
AT ITER 37 NEW BEST:: SOT 12669 SOS 8930 HAS SOPS 8930 HAS SOUS 5891 HAS SOUPS 5891 WITH SCORE 5899.93
AT ITER 40 NEW BEST:: SOT 12604 SOS 8866 HAS SOPS 8866 HAS SOUS 5792 HAS SOUPS 5792 WITH SCORE 5800.866
AT ITER 41 NEW BEST:: SOT 11565 SOS 7933 HAS SOPS 7933 HAS SOUS 5189 HAS SOUPS 5189 WITH SCORE 5196.933
AT ITER 46 NEW BEST:: SOT 11565 SOS 7933 HAS SOPS 7933 HAS SOUS 5171 HAS SOUPS 5171 WITH SCORE 5178.933
AT ITER 51 NEW BEST:: SOT 11549 SOS 7901 HAS SOPS 7901 HAS SOUS 5136 HAS SOUPS 5136 WITH SCORE 5143.901
AT ITER 54 NEW BEST:: SOT 11527 SOS 7468 HAS SOPS 7468 HAS SOUS 5112 HAS SOUPS 5112 WITH SCORE 5119.468
AT ITER 55 NEW BEST:: SOT 11512 SOS 7456 HAS SOPS 7456 HAS SOUS 5100 HAS SOUPS 5100 WITH SCORE 5107.456
AT ITER 57 NEW BEST:: SOT 11539 SOS 7405 HAS SOPS 7405 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5008.405
AT ITER 58 NEW BEST:: SOT 11530 SOS 7405 HAS SOPS 7405 HAS SOUS 4898 HAS SOUPS 4898 WITH SCORE 4905.405
AT ITER 60 NEW BEST:: SOT 11564 SOS 7384 HAS SOPS 7384 HAS SOUS 4865 HAS SOUPS 4865 WITH SCORE 4872.384
AT ITER 61 NEW BEST:: SOT 11554 SOS 7348 HAS SOPS 7348 HAS SOUS 4854 HAS SOUPS 4854 WITH SCORE 4861.348
AT ITER 64 NEW BEST:: SOT 11558 SOS 7330 HAS SOPS 7330 HAS SOUS 4802 HAS SOUPS 4802 WITH SCORE 4809.33
AT ITER 74 NEW BEST:: SOT 11554 SOS 7333 HAS SOPS 7333 HAS SOUS 4780 HAS SOUPS 4780 WITH SCORE 4787.333
AT ITER 79 NEW BEST:: SOT 11274 SOS 7672 HAS SOPS 7672 HAS SOUS 4589 HAS SOUPS 4589 WITH SCORE 4596.672
AT ITER 81 NEW BEST:: SOT 11227 SOS 7630 HAS SOPS 7630 HAS SOUS 4564 HAS SOUPS 4564 WITH SCORE 4571.63
AT ITER 87 NEW BEST:: SOT 11224 SOS 7627 HAS SOPS 7627 HAS SOUS 4561 HAS SOUPS 4561 WITH SCORE 4568.627
AT ITER 89 NEW BEST:: SOT 11188 SOS 7555 HAS SOPS 7555 HAS SOUS 4525 HAS SOUPS 4525 WITH SCORE 4532.555
AT ITER 92 NEW BEST:: SOT 11139 SOS 7533 HAS SOPS 7533 HAS SOUS 4489 HAS SOUPS 4489 WITH SCORE 4496.533
AT ITER 103 NEW BEST:: SOT 11133 SOS 7509 HAS SOPS 7509 HAS SOUS 4483 HAS SOUPS 4483 WITH SCORE 4490.509
AT ITER 104 NEW BEST:: SOT 11122 SOS 7505 HAS SOPS 7505 HAS SOUS 4481 HAS SOUPS 4481 WITH SCORE 4488.505
AT ITER 105 NEW BEST:: SOT 11114 SOS 7497 HAS SOPS 7497 HAS SOUS 4467 HAS SOUPS 4467 WITH SCORE 4474.497
AT ITER 107 NEW BEST:: SOT 11041 SOS 7410 HAS SOPS 7410 HAS SOUS 4445 HAS SOUPS 4445 WITH SCORE 4452.41
AT ITER 111 NEW BEST:: SOT 11011 SOS 7380 HAS SOPS 7380 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4439.38
AT ITER 112 NEW BEST:: SOT 10894 SOS 7218 HAS SOPS 7218 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4338.218
AT ITER 114 NEW BEST:: SOT 10907 SOS 7222 HAS SOPS 7222 HAS SOUS 4321 HAS SOUPS 4321 WITH SCORE 4328.222
AT ITER 128 NEW BEST:: SOT 10907 SOS 7228 HAS SOPS 7228 HAS SOUS 4307 HAS SOUPS 4307 WITH SCORE 4314.228
AT ITER 129 NEW BEST:: SOT 10899 SOS 7222 HAS SOPS 7222 HAS SOUS 4274 HAS SOUPS 4274 WITH SCORE 4281.222
AT ITER 132 NEW BEST:: SOT 10860 SOS 7168 HAS SOPS 7168 HAS SOUS 4222 HAS SOUPS 4222 WITH SCORE 4229.168
AT ITER 135 NEW BEST:: SOT 10867 SOS 7174 HAS SOPS 7174 HAS SOUS 4221 HAS SOUPS 4221 WITH SCORE 4228.174
AT ITER 140 NEW BEST:: SOT 10849 SOS 7183 HAS SOPS 7183 HAS SOUS 4216 HAS SOUPS 4216 WITH SCORE 4223.183
AT ITER 148 NEW BEST:: SOT 10791 SOS 7094 HAS SOPS 7094 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4199.094
AT ITER 151 NEW BEST:: SOT 10791 SOS 7151 HAS SOPS 7151 HAS SOUS 4168 HAS SOUPS 4168 WITH SCORE 4175.151
AT ITER 155 NEW BEST:: SOT 10750 SOS 7081 HAS SOPS 7081 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4002.081
AT ITER 167 NEW BEST:: SOT 10655 SOS 6999 HAS SOPS 6999 HAS SOUS 3957 HAS SOUPS 3957 WITH SCORE 3963.999
AT ITER 168 NEW BEST:: SOT 10668 SOS 7012 HAS SOPS 7012 HAS SOUS 3953 HAS SOUPS 3953 WITH SCORE 3960.012
AT ITER 175 NEW BEST:: SOT 10673 SOS 7021 HAS SOPS 7021 HAS SOUS 3944 HAS SOUPS 3944 WITH SCORE 3951.021
AT ITER 184 NEW BEST:: SOT 10647 SOS 6949 HAS SOPS 6949 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3901.949
AT ITER 186 NEW BEST:: SOT 10626 SOS 6958 HAS SOPS 6958 HAS SOUS 3886 HAS SOUPS 3886 WITH SCORE 3892.958
AT ITER 193 NEW BEST:: SOT 10590 SOS 6886 HAS SOPS 6886 HAS SOUS 3820 HAS SOUPS 3820 WITH SCORE 3826.886
AT ITER 195 NEW BEST:: SOT 10569 SOS 6895 HAS SOPS 6895 HAS SOUS 3812 HAS SOUPS 3812 WITH SCORE 3818.895
AT ITER 219 NEW BEST:: SOT 10615 SOS 6915 HAS SOPS 6915 HAS SOUS 3806 HAS SOUPS 3806 WITH SCORE 3812.915
AT ITER 230 NEW BEST:: SOT 10612 SOS 6901 HAS SOPS 6901 HAS SOUS 3805 HAS SOUPS 3805 WITH SCORE 3811.901
AT ITER 232 NEW BEST:: SOT 10601 SOS 6783 HAS SOPS 6783 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3736.783
AT ITER 234 NEW BEST:: SOT 10601 SOS 6782 HAS SOPS 6782 HAS SOUS 3730 HAS SOUPS 3730 WITH SCORE 3736.782
AT ITER 239 NEW BEST:: SOT 10619 SOS 6774 HAS SOPS 6774 HAS SOUS 3651 HAS SOUPS 3651 WITH SCORE 3657.774
AT ITER 243 NEW BEST:: SOT 10600 SOS 6755 HAS SOPS 6755 HAS SOUS 3613 HAS SOUPS 3613 WITH SCORE 3619.755
AT ITER 256 NEW BEST:: SOT 10588 SOS 6743 HAS SOPS 6743 HAS SOUS 3606 HAS SOUPS 3606 WITH SCORE 3612.743
AT ITER 260 NEW BEST:: SOT 10591 SOS 6643 HAS SOPS 6643 HAS SOUS 3604 HAS SOUPS 3604 WITH SCORE 3610.643
AT ITER 262 NEW BEST:: SOT 10590 SOS 6621 HAS SOPS 6621 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3589.621
AT ITER 263 NEW BEST:: SOT 10551 SOS 6567 HAS SOPS 6567 HAS SOUS 3539 HAS SOUPS 3539 WITH SCORE 3545.567
AT ITER 271 NEW BEST:: SOT 10545 SOS 6561 HAS SOPS 6561 HAS SOUS 3531 HAS SOUPS 3531 WITH SCORE 3537.561
AT ITER 293 NEW BEST:: SOT 10508 SOS 6475 HAS SOPS 6475 HAS SOUS 3508 HAS SOUPS 3508 WITH SCORE 3514.475
AT ITER 300 NEW BEST:: SOT 10505 SOS 6618 HAS SOPS 6618 HAS SOUS 3493 HAS SOUPS 3493 WITH SCORE 3499.618
AT ITER 301 NEW BEST:: SOT 10503 SOS 6615 HAS SOPS 6615 HAS SOUS 3491 HAS SOUPS 3491 WITH SCORE 3497.615
AT ITER 302 NEW BEST:: SOT 10577 SOS 6586 HAS SOPS 6586 HAS SOUS 3489 HAS SOUPS 3489 WITH SCORE 3495.586
AT ITER 312 NEW BEST:: SOT 10562 SOS 6548 HAS SOPS 6548 HAS SOUS 3451 HAS SOUPS 3451 WITH SCORE 3457.548
AT ITER 314 NEW BEST:: SOT 10544 SOS 6539 HAS SOPS 6539 HAS SOUS 3442 HAS SOUPS 3442 WITH SCORE 3448.539
AT ITER 317 NEW BEST:: SOT 10537 SOS 6525 HAS SOPS 6525 HAS SOUS 3423 HAS SOUPS 3423 WITH SCORE 3429.525
AT ITER 326 NEW BEST:: SOT 10518 SOS 6517 HAS SOPS 6517 HAS SOUS 3420 HAS SOUPS 3420 WITH SCORE 3426.517
AT ITER 332 NEW BEST:: SOT 10509 SOS 6499 HAS SOPS 6499 HAS SOUS 3408 HAS SOUPS 3408 WITH SCORE 3414.499
AT ITER 333 NEW BEST:: SOT 10488 SOS 6459 HAS SOPS 6459 HAS SOUS 3387 HAS SOUPS 3387 WITH SCORE 3393.459
AT ITER 338 NEW BEST:: SOT 10475 SOS 6462 HAS SOPS 6462 HAS SOUS 3380 HAS SOUPS 3380 WITH SCORE 3386.462
AT ITER 348 NEW BEST:: SOT 10457 SOS 6434 HAS SOPS 6434 HAS SOUS 3372 HAS SOUPS 3372 WITH SCORE 3378.434
AT ITER 354 NEW BEST:: SOT 10469 SOS 6446 HAS SOPS 6446 HAS SOUS 3366 HAS SOUPS 3366 WITH SCORE 3372.446
AT ITER 361 NEW BEST:: SOT 10461 SOS 6438 HAS SOPS 6438 HAS SOUS 3363 HAS SOUPS 3363 WITH SCORE 3369.438
AT ITER 362 NEW BEST:: SOT 10452 SOS 6411 HAS SOPS 6411 HAS SOUS 3353 HAS SOUPS 3353 WITH SCORE 3359.411
AT ITER 365 NEW BEST:: SOT 10448 SOS 6419 HAS SOPS 6419 HAS SOUS 3351 HAS SOUPS 3351 WITH SCORE 3357.419
AT ITER 379 NEW BEST:: SOT 10463 SOS 6434 HAS SOPS 6434 HAS SOUS 3338 HAS SOUPS 3338 WITH SCORE 3344.434
AT ITER 381 NEW BEST:: SOT 10454 SOS 6425 HAS SOPS 6425 HAS SOUS 3330 HAS SOUPS 3330 WITH SCORE 3336.425
AT ITER 383 NEW BEST:: SOT 10463 SOS 6342 HAS SOPS 6342 HAS SOUS 3323 HAS SOUPS 3323 WITH SCORE 3329.342
AT ITER 386 NEW BEST:: SOT 10405 SOS 6235 HAS SOPS 6235 HAS SOUS 3285 HAS SOUPS 3285 WITH SCORE 3291.235
AT ITER 387 NEW BEST:: SOT 10405 SOS 6235 HAS SOPS 6235 HAS SOUS 3283 HAS SOUPS 3283 WITH SCORE 3289.235
AT ITER 395 NEW BEST:: SOT 10377 SOS 6125 HAS SOPS 6125 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3265.125
AT ITER 398 NEW BEST:: SOT 10403 SOS 6097 HAS SOPS 6097 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3259.097
AT ITER 401 NEW BEST:: SOT 10403 SOS 6092 HAS SOPS 6092 HAS SOUS 3248 HAS SOUPS 3248 WITH SCORE 3254.092
AT ITER 407 NEW BEST:: SOT 10407 SOS 6096 HAS SOPS 6096 HAS SOUS 3241 HAS SOUPS 3241 WITH SCORE 3247.096
AT ITER 408 NEW BEST:: SOT 10399 SOS 6087 HAS SOPS 6087 HAS SOUS 3221 HAS SOUPS 3221 WITH SCORE 3227.087
AT ITER 416 NEW BEST:: SOT 10389 SOS 6061 HAS SOPS 6061 HAS SOUS 3193 HAS SOUPS 3193 WITH SCORE 3199.061
AT ITER 420 NEW BEST:: SOT 10379 SOS 6056 HAS SOPS 6056 HAS SOUS 3188 HAS SOUPS 3188 WITH SCORE 3194.056
AT ITER 428 NEW BEST:: SOT 10396 SOS 6060 HAS SOPS 6060 HAS SOUS 3172 HAS SOUPS 3172 WITH SCORE 3178.06
AT ITER 443 NEW BEST:: SOT 10396 SOS 6054 HAS SOPS 6054 HAS SOUS 3169 HAS SOUPS 3169 WITH SCORE 3175.054
AT ITER 448 NEW BEST:: SOT 10401 SOS 6053 HAS SOPS 6053 HAS SOUS 3168 HAS SOUPS 3168 WITH SCORE 3174.053
AT ITER 449 NEW BEST:: SOT 10430 SOS 6060 HAS SOPS 6060 HAS SOUS 3151 HAS SOUPS 3151 WITH SCORE 3157.06
AT ITER 456 NEW BEST:: SOT 10422 SOS 6046 HAS SOPS 6046 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3132.046
AT ITER 474 NEW BEST:: SOT 10422 SOS 6013 HAS SOPS 6013 HAS SOUS 3126 HAS SOUPS 3126 WITH SCORE 3132.013
AT ITER 495 NEW BEST:: SOT 10414 SOS 6037 HAS SOPS 6037 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3127.037
AT ITER 501 NEW BEST:: SOT 10408 SOS 6028 HAS SOPS 6028 HAS SOUS 3118 HAS SOUPS 3118 WITH SCORE 3124.028
AT ITER 503 NEW BEST:: SOT 10354 SOS 5990 HAS SOPS 5990 HAS SOUS 3101 HAS SOUPS 3101 WITH SCORE 3106.99
AT ITER 520 NEW BEST:: SOT 10368 SOS 6014 HAS SOPS 6014 HAS SOUS 3098 HAS SOUPS 3098 WITH SCORE 3104.014
AT ITER 524 NEW BEST:: SOT 10356 SOS 6002 HAS SOPS 6002 HAS SOUS 3086 HAS SOUPS 3086 WITH SCORE 3092.002
AT ITER 525 NEW BEST:: SOT 10380 SOS 6026 HAS SOPS 6026 HAS SOUS 3083 HAS SOUPS 3083 WITH SCORE 3089.026
AT ITER 531 NEW BEST:: SOT 10380 SOS 6029 HAS SOPS 6029 HAS SOUS 3077 HAS SOUPS 3077 WITH SCORE 3083.029
AT ITER 560 NEW BEST:: SOT 10377 SOS 6026 HAS SOPS 6026 HAS SOUS 3074 HAS SOUPS 3074 WITH SCORE 3080.026
AT ITER 580 NEW BEST:: SOT 10351 SOS 5964 HAS SOPS 5964 HAS SOUS 3037 HAS SOUPS 3037 WITH SCORE 3042.964
AT ITER 591 NEW BEST:: SOT 10317 SOS 5896 HAS SOPS 5896 HAS SOUS 2978 HAS SOUPS 2978 WITH SCORE 2983.896
AT ITER 594 NEW BEST:: SOT 10314 SOS 5890 HAS SOPS 5890 HAS SOUS 2975 HAS SOUPS 2975 WITH SCORE 2980.89
AT ITER 605 NEW BEST:: SOT 10314 SOS 5890 HAS SOPS 5890 HAS SOUS 2974 HAS SOUPS 2974 WITH SCORE 2979.89
AT ITER 610 NEW BEST:: SOT 10320 SOS 5892 HAS SOPS 5892 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2975.892
AT ITER 627 NEW BEST:: SOT 10324 SOS 5867 HAS SOPS 5867 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2971.867
AT ITER 631 NEW BEST:: SOT 10324 SOS 5859 HAS SOPS 5859 HAS SOUS 2966 HAS SOUPS 2966 WITH SCORE 2971.859
AT ITER 641 NEW BEST:: SOT 10324 SOS 5859 HAS SOPS 5859 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2967.859
AT ITER 642 NEW BEST:: SOT 10324 SOS 5843 HAS SOPS 5843 HAS SOUS 2962 HAS SOUPS 2962 WITH SCORE 2967.843
AT ITER 648 NEW BEST:: SOT 10324 SOS 5841 HAS SOPS 5841 HAS SOUS 2960 HAS SOUPS 2960 WITH SCORE 2965.841
AT ITER 651 NEW BEST:: SOT 10323 SOS 5815 HAS SOPS 5815 HAS SOUS 2959 HAS SOUPS 2959 WITH SCORE 2964.815
AT ITER 658 NEW BEST:: SOT 10341 SOS 5760 HAS SOPS 5760 HAS SOUS 2945 HAS SOUPS 2945 WITH SCORE 2950.76
AT ITER 664 NEW BEST:: SOT 10353 SOS 5777 HAS SOPS 5777 HAS SOUS 2929 HAS SOUPS 2929 WITH SCORE 2934.777
AT ITER 667 NEW BEST:: SOT 10301 SOS 5734 HAS SOPS 5734 HAS SOUS 2909 HAS SOUPS 2909 WITH SCORE 2914.734
AT ITER 690 NEW BEST:: SOT 10300 SOS 5733 HAS SOPS 5733 HAS SOUS 2908 HAS SOUPS 2908 WITH SCORE 2913.733
AT ITER 726 NEW BEST:: SOT 10269 SOS 5703 HAS SOPS 5703 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2888.703
AT ITER 734 NEW BEST:: SOT 10252 SOS 5686 HAS SOPS 5686 HAS SOUS 2883 HAS SOUPS 2883 WITH SCORE 2888.686
AT ITER 738 NEW BEST:: SOT 10266 SOS 5700 HAS SOPS 5700 HAS SOUS 2862 HAS SOUPS 2862 WITH SCORE 2867.7
AT ITER 739 NEW BEST:: SOT 10262 SOS 5694 HAS SOPS 5694 HAS SOUS 2856 HAS SOUPS 2856 WITH SCORE 2861.694
AT ITER 743 NEW BEST:: SOT 10259 SOS 5688 HAS SOPS 5688 HAS SOUS 2850 HAS SOUPS 2850 WITH SCORE 2855.688
AT ITER 753 NEW BEST:: SOT 10224 SOS 5662 HAS SOPS 5662 HAS SOUS 2833 HAS SOUPS 2833 WITH SCORE 2838.662
AT ITER 758 NEW BEST:: SOT 10208 SOS 5598 HAS SOPS 5598 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2806.598
AT ITER 769 NEW BEST:: SOT 10202 SOS 5591 HAS SOPS 5591 HAS SOUS 2796 HAS SOUPS 2796 WITH SCORE 2801.591
AT ITER 779 NEW BEST:: SOT 10202 SOS 5583 HAS SOPS 5583 HAS SOUS 2794 HAS SOUPS 2794 WITH SCORE 2799.583
AT ITER 793 NEW BEST:: SOT 10182 SOS 5556 HAS SOPS 5556 HAS SOUS 2793 HAS SOUPS 2793 WITH SCORE 2798.556
AT ITER 808 NEW BEST:: SOT 10181 SOS 5555 HAS SOPS 5555 HAS SOUS 2791 HAS SOUPS 2791 WITH SCORE 2796.555
AT ITER 812 NEW BEST:: SOT 10143 SOS 5488 HAS SOPS 5488 HAS SOUS 2746 HAS SOUPS 2746 WITH SCORE 2751.488
AT ITER 828 NEW BEST:: SOT 10141 SOS 5492 HAS SOPS 5492 HAS SOUS 2709 HAS SOUPS 2709 WITH SCORE 2714.492
AT ITER 829 NEW BEST:: SOT 10140 SOS 5490 HAS SOPS 5490 HAS SOUS 2708 HAS SOUPS 2708 WITH SCORE 2713.49
AT ITER 832 NEW BEST:: SOT 10139 SOS 5488 HAS SOPS 5488 HAS SOUS 2706 HAS SOUPS 2706 WITH SCORE 2711.488
AT ITER 840 NEW BEST:: SOT 10128 SOS 5477 HAS SOPS 5477 HAS SOUS 2704 HAS SOUPS 2704 WITH SCORE 2709.477
AT ITER 846 NEW BEST:: SOT 10130 SOS 5467 HAS SOPS 5467 HAS SOUS 2696 HAS SOUPS 2696 WITH SCORE 2701.467
AT ITER 852 NEW BEST:: SOT 10128 SOS 5465 HAS SOPS 5465 HAS SOUS 2694 HAS SOUPS 2694 WITH SCORE 2699.465
AT ITER 877 NEW BEST:: SOT 10128 SOS 5457 HAS SOPS 5457 HAS SOUS 2690 HAS SOUPS 2690 WITH SCORE 2695.457
AT ITER 897 NEW BEST:: SOT 10113 SOS 5421 HAS SOPS 5421 HAS SOUS 2682 HAS SOUPS 2682 WITH SCORE 2687.421
AT ITER 903 NEW BEST:: SOT 10109 SOS 5411 HAS SOPS 5411 HAS SOUS 2657 HAS SOUPS 2657 WITH SCORE 2662.411
AT ITER 907 NEW BEST:: SOT 10099 SOS 5394 HAS SOPS 5394 HAS SOUS 2643 HAS SOUPS 2643 WITH SCORE 2648.394
AT ITER 921 NEW BEST:: SOT 10097 SOS 5390 HAS SOPS 5390 HAS SOUS 2639 HAS SOUPS 2639 WITH SCORE 2644.39
AT ITER 938 NEW BEST:: SOT 10098 SOS 5391 HAS SOPS 5391 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2640.391
AT ITER 950 NEW BEST:: SOT 10098 SOS 5387 HAS SOPS 5387 HAS SOUS 2635 HAS SOUPS 2635 WITH SCORE 2640.387
AT ITER 975 NEW BEST:: SOT 10087 SOS 5367 HAS SOPS 5367 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2615.367
AT ITER 984 NEW BEST:: SOT 10074 SOS 5353 HAS SOPS 5353 HAS SOUS 2596 HAS SOUPS 2596 WITH SCORE 2601.353
AT ITER 988 NEW BEST:: SOT 10074 SOS 5353 HAS SOPS 5353 HAS SOUS 2590 HAS SOUPS 2590 WITH SCORE 2595.353
AT ITER 989 NEW BEST:: SOT 10075 SOS 5334 HAS SOPS 5334 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2585.334
AT ITER 993 NEW BEST:: SOT 10072 SOS 5324 HAS SOPS 5324 HAS SOUS 2576 HAS SOUPS 2576 WITH SCORE 2581.324
AT ITER 1005 NEW BEST:: SOT 10070 SOS 5322 HAS SOPS 5322 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2577.322
AT ITER 1006 NEW BEST:: SOT 10065 SOS 5310 HAS SOPS 5310 HAS SOUS 2568 HAS SOUPS 2568 WITH SCORE 2573.31
AT ITER 1012 NEW BEST:: SOT 10029 SOS 5264 HAS SOPS 5264 HAS SOUS 2534 HAS SOUPS 2534 WITH SCORE 2539.264
AT ITER 1030 NEW BEST:: SOT 10027 SOS 5262 HAS SOPS 5262 HAS SOUS 2530 HAS SOUPS 2530 WITH SCORE 2535.262
AT ITER 1042 NEW BEST:: SOT 10019 SOS 5254 HAS SOPS 5254 HAS SOUS 2522 HAS SOUPS 2522 WITH SCORE 2527.254
AT ITER 1054 NEW BEST:: SOT 10010 SOS 5221 HAS SOPS 5221 HAS SOUS 2501 HAS SOUPS 2501 WITH SCORE 2506.221
AT ITER 1094 NEW BEST:: SOT 10009 SOS 5219 HAS SOPS 5219 HAS SOUS 2499 HAS SOUPS 2499 WITH SCORE 2504.219
AT ITER 1107 NEW BEST:: SOT 10005 SOS 5219 HAS SOPS 5219 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2500.219
AT ITER 1118 NEW BEST:: SOT 10005 SOS 5197 HAS SOPS 5197 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2500.197
AT ITER 1120 NEW BEST:: SOT 10004 SOS 5195 HAS SOPS 5195 HAS SOUS 2495 HAS SOUPS 2495 WITH SCORE 2500.195
AT ITER 1134 NEW BEST:: SOT 9991 SOS 5177 HAS SOPS 5177 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2489.177
AT ITER 1135 NEW BEST:: SOT 9973 SOS 5168 HAS SOPS 5168 HAS SOUS 2484 HAS SOUPS 2484 WITH SCORE 2489.168
AT ITER 1138 NEW BEST:: SOT 9972 SOS 5157 HAS SOPS 5157 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2469.157
AT ITER 1143 NEW BEST:: SOT 9968 SOS 5155 HAS SOPS 5155 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2465.155
AT ITER 1160 NEW BEST:: SOT 9969 SOS 5168 HAS SOPS 5168 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2461.168
AT ITER 1195 NEW BEST:: SOT 10012 SOS 5191 HAS SOPS 5191 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2460.191
AT ITER 1198 NEW BEST:: SOT 9997 SOS 5176 HAS SOPS 5176 HAS SOUS 2455 HAS SOUPS 2455 WITH SCORE 2460.176
AT ITER 1200 NEW BEST:: SOT 9996 SOS 5175 HAS SOPS 5175 HAS SOUS 2453 HAS SOUPS 2453 WITH SCORE 2458.175
AT ITER 1211 NEW BEST:: SOT 9974 SOS 5131 HAS SOPS 5131 HAS SOUS 2420 HAS SOUPS 2420 WITH SCORE 2425.131
AT ITER 1218 NEW BEST:: SOT 9956 SOS 5097 HAS SOPS 5097 HAS SOUS 2401 HAS SOUPS 2401 WITH SCORE 2406.097
AT ITER 1224 NEW BEST:: SOT 9940 SOS 5088 HAS SOPS 5088 HAS SOUS 2400 HAS SOUPS 2400 WITH SCORE 2405.088
AT ITER 1261 NEW BEST:: SOT 9924 SOS 5072 HAS SOPS 5072 HAS SOUS 2384 HAS SOUPS 2384 WITH SCORE 2389.072
AT ITER 1282 NEW BEST:: SOT 9940 SOS 5091 HAS SOPS 5091 HAS SOUS 2383 HAS SOUPS 2383 WITH SCORE 2388.091
AT ITER 1316 NEW BEST:: SOT 9913 SOS 5078 HAS SOPS 5078 HAS SOUS 2376 HAS SOUPS 2376 WITH SCORE 2381.078
AT ITER 1320 NEW BEST:: SOT 9913 SOS 5078 HAS SOPS 5078 HAS SOUS 2375 HAS SOUPS 2375 WITH SCORE 2380.078
AT ITER 1326 NEW BEST:: SOT 9892 SOS 5043 HAS SOPS 5043 HAS SOUS 2347 HAS SOUPS 2347 WITH SCORE 2352.043
AT ITER 1328 NEW BEST:: SOT 9885 SOS 5040 HAS SOPS 5040 HAS SOUS 2340 HAS SOUPS 2340 WITH SCORE 2345.04
AT ITER 1335 NEW BEST:: SOT 9874 SOS 5028 HAS SOPS 5028 HAS SOUS 2335 HAS SOUPS 2335 WITH SCORE 2340.028
AT ITER 1347 NEW BEST:: SOT 9873 SOS 4997 HAS SOPS 4997 HAS SOUS 2316 HAS SOUPS 2316 WITH SCORE 2320.997
AT ITER 1348 NEW BEST:: SOT 9873 SOS 4997 HAS SOPS 4997 HAS SOUS 2314 HAS SOUPS 2314 WITH SCORE 2318.997
AT ITER 1350 NEW BEST:: SOT 9868 SOS 4987 HAS SOPS 4987 HAS SOUS 2307 HAS SOUPS 2307 WITH SCORE 2311.987
AT ITER 1351 NEW BEST:: SOT 9866 SOS 4987 HAS SOPS 4987 HAS SOUS 2305 HAS SOUPS 2305 WITH SCORE 2309.987
AT ITER 1352 NEW BEST:: SOT 9867 SOS 4986 HAS SOPS 4986 HAS SOUS 2303 HAS SOUPS 2303 WITH SCORE 2307.986
AT ITER 1364 NEW BEST:: SOT 9867 SOS 4986 HAS SOPS 4986 HAS SOUS 2301 HAS SOUPS 2301 WITH SCORE 2305.986
AT ITER 1383 NEW BEST:: SOT 9852 SOS 4971 HAS SOPS 4971 HAS SOUS 2286 HAS SOUPS 2286 WITH SCORE 2290.971
AT ITER 1412 NEW BEST:: SOT 9812 SOS 4942 HAS SOPS 4942 HAS SOUS 2275 HAS SOUPS 2275 WITH SCORE 2279.942
AT ITER 1418 NEW BEST:: SOT 9812 SOS 4977 HAS SOPS 4977 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2267.977
AT ITER 1424 NEW BEST:: SOT 9794 SOS 4959 HAS SOPS 4959 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2267.959
AT ITER 1443 NEW BEST:: SOT 9785 SOS 4928 HAS SOPS 4928 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2245.928
AT ITER 1454 NEW BEST:: SOT 9783 SOS 4918 HAS SOPS 4918 HAS SOUS 2241 HAS SOUPS 2241 WITH SCORE 2245.918
AT ITER 1477 NEW BEST:: SOT 9780 SOS 4914 HAS SOPS 4914 HAS SOUS 2235 HAS SOUPS 2235 WITH SCORE 2239.914
AT ITER 1490 NEW BEST:: SOT 9777 SOS 4910 HAS SOPS 4910 HAS SOUS 2231 HAS SOUPS 2231 WITH SCORE 2235.91
AT ITER 1506 NEW BEST:: SOT 9779 SOS 4909 HAS SOPS 4909 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2232.909
AT ITER 1513 NEW BEST:: SOT 9765 SOS 4895 HAS SOPS 4895 HAS SOUS 2228 HAS SOUPS 2228 WITH SCORE 2232.895
AT ITER 1530 NEW BEST:: SOT 9737 SOS 4839 HAS SOPS 4839 HAS SOUS 2172 HAS SOUPS 2172 WITH SCORE 2176.839
AT ITER 1558 NEW BEST:: SOT 9734 SOS 4836 HAS SOPS 4836 HAS SOUS 2156 HAS SOUPS 2156 WITH SCORE 2160.836
AT ITER 1571 NEW BEST:: SOT 9744 SOS 4838 HAS SOPS 4838 HAS SOUS 2150 HAS SOUPS 2150 WITH SCORE 2154.838
AT ITER 1577 NEW BEST:: SOT 9735 SOS 4819 HAS SOPS 4819 HAS SOUS 2137 HAS SOUPS 2137 WITH SCORE 2141.819
AT ITER 1580 NEW BEST:: SOT 9775 SOS 4834 HAS SOPS 4834 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2130.834
AT ITER 1590 NEW BEST:: SOT 9765 SOS 4824 HAS SOPS 4824 HAS SOUS 2126 HAS SOUPS 2126 WITH SCORE 2130.824
AT ITER 1602 NEW BEST:: SOT 9736 SOS 4803 HAS SOPS 4803 HAS SOUS 2121 HAS SOUPS 2121 WITH SCORE 2125.803
AT ITER 1608 NEW BEST:: SOT 9737 SOS 4804 HAS SOPS 4804 HAS SOUS 2105 HAS SOUPS 2105 WITH SCORE 2109.804
AT ITER 1628 NEW BEST:: SOT 9737 SOS 4801 HAS SOPS 4801 HAS SOUS 2096 HAS SOUPS 2096 WITH SCORE 2100.801
AT ITER 1660 NEW BEST:: SOT 9727 SOS 4794 HAS SOPS 4794 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2098.794
AT ITER 1672 NEW BEST:: SOT 9727 SOS 4793 HAS SOPS 4793 HAS SOUS 2094 HAS SOUPS 2094 WITH SCORE 2098.793
AT ITER 1732 NEW BEST:: SOT 9713 SOS 4779 HAS SOPS 4779 HAS SOUS 2080 HAS SOUPS 2080 WITH SCORE 2084.779
AT ITER 1775 NEW BEST:: SOT 9708 SOS 4772 HAS SOPS 4772 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2076.772
AT ITER 1812 NEW BEST:: SOT 9695 SOS 4757 HAS SOPS 4757 HAS SOUS 2005 HAS SOUPS 2005 WITH SCORE 2009.757
AT ITER 1819 NEW BEST:: SOT 9697 SOS 4759 HAS SOPS 4759 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2007.759
AT ITER 1829 NEW BEST:: SOT 9697 SOS 4754 HAS SOPS 4754 HAS SOUS 2003 HAS SOUPS 2003 WITH SCORE 2007.754
AT ITER 1854 NEW BEST:: SOT 9697 SOS 4752 HAS SOPS 4752 HAS SOUS 2001 HAS SOUPS 2001 WITH SCORE 2005.752
AT ITER 1860 NEW BEST:: SOT 9685 SOS 4750 HAS SOPS 4750 HAS SOUS 1998 HAS SOUPS 1998 WITH SCORE 2002.75
AT ITER 1869 NEW BEST:: SOT 9683 SOS 4748 HAS SOPS 4748 HAS SOUS 1996 HAS SOUPS 1996 WITH SCORE 2000.748
AT ITER 1945 NEW BEST:: SOT 9682 SOS 4730 HAS SOPS 4730 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1977.73
AT ITER 1946 NEW BEST:: SOT 9682 SOS 4729 HAS SOPS 4729 HAS SOUS 1973 HAS SOUPS 1973 WITH SCORE 1977.729
AT ITER 1983 NEW BEST:: SOT 9682 SOS 4721 HAS SOPS 4721 HAS SOUS 1965 HAS SOUPS 1965 WITH SCORE 1969.721
AT ITER 1990 NEW BEST:: SOT 9687 SOS 4726 HAS SOPS 4726 HAS SOUS 1953 HAS SOUPS 1953 WITH SCORE 1957.726
AT ITER 1997 NEW BEST:: SOT 9688 SOS 4742 HAS SOPS 4742 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1953.742
AT ITER 2018 NEW BEST:: SOT 9677 SOS 4731 HAS SOPS 4731 HAS SOUS 1947 HAS SOUPS 1947 WITH SCORE 1951.731
AT ITER 2038 NEW BEST:: SOT 9652 SOS 4697 HAS SOPS 4697 HAS SOUS 1904 HAS SOUPS 1904 WITH SCORE 1908.697
AT ITER 2042 NEW BEST:: SOT 9658 SOS 4692 HAS SOPS 4692 HAS SOUS 1895 HAS SOUPS 1895 WITH SCORE 1899.692
AT ITER 2062 NEW BEST:: SOT 9658 SOS 4690 HAS SOPS 4690 HAS SOUS 1894 HAS SOUPS 1894 WITH SCORE 1898.69
AT ITER 2150 NEW BEST:: SOT 9656 SOS 4688 HAS SOPS 4688 HAS SOUS 1892 HAS SOUPS 1892 WITH SCORE 1896.688
AT ITER 2194 NEW BEST:: SOT 9655 SOS 4686 HAS SOPS 4686 HAS SOUS 1891 HAS SOUPS 1891 WITH SCORE 1895.686
AT ITER 2244 NEW BEST:: SOT 9653 SOS 4680 HAS SOPS 4680 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1881.68
AT ITER 2267 NEW BEST:: SOT 9645 SOS 4666 HAS SOPS 4666 HAS SOUS 1862 HAS SOUPS 1862 WITH SCORE 1866.666
AT ITER 2317 NEW BEST:: SOT 9642 SOS 4653 HAS SOPS 4653 HAS SOUS 1854 HAS SOUPS 1854 WITH SCORE 1858.653
AT ITER 2319 NEW BEST:: SOT 9644 SOS 4649 HAS SOPS 4649 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1852.649
AT ITER 2330 NEW BEST:: SOT 9651 SOS 4639 HAS SOPS 4639 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1850.639
AT ITER 2331 NEW BEST:: SOT 9655 SOS 4635 HAS SOPS 4635 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1850.635
AT ITER 2332 NEW BEST:: SOT 9668 SOS 4637 HAS SOPS 4637 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1836.637
AT ITER 2355 NEW BEST:: SOT 9661 SOS 4625 HAS SOPS 4625 HAS SOUS 1831 HAS SOUPS 1831 WITH SCORE 1835.625
AT ITER 2356 NEW BEST:: SOT 9655 SOS 4626 HAS SOPS 4626 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1834.626
AT ITER 2404 NEW BEST:: SOT 9661 SOS 4622 HAS SOPS 4622 HAS SOUS 1830 HAS SOUPS 1830 WITH SCORE 1834.622
AT ITER 2406 NEW BEST:: SOT 9659 SOS 4620 HAS SOPS 4620 HAS SOUS 1825 HAS SOUPS 1825 WITH SCORE 1829.62
AT ITER 2421 NEW BEST:: SOT 9658 SOS 4619 HAS SOPS 4619 HAS SOUS 1823 HAS SOUPS 1823 WITH SCORE 1827.619
AT ITER 2436 NEW BEST:: SOT 9662 SOS 4625 HAS SOPS 4625 HAS SOUS 1802 HAS SOUPS 1802 WITH SCORE 1806.625
AT ITER 2438 NEW BEST:: SOT 9662 SOS 4625 HAS SOPS 4625 HAS SOUS 1801 HAS SOUPS 1801 WITH SCORE 1805.625
AT ITER 2484 NEW BEST:: SOT 9653 SOS 4625 HAS SOPS 4625 HAS SOUS 1796 HAS SOUPS 1796 WITH SCORE 1800.625
AT ITER 2524 NEW BEST:: SOT 9656 SOS 4623 HAS SOPS 4623 HAS SOUS 1794 HAS SOUPS 1794 WITH SCORE 1798.623
AT ITER 2529 NEW BEST:: SOT 9655 SOS 4623 HAS SOPS 4623 HAS SOUS 1790 HAS SOUPS 1790 WITH SCORE 1794.623
AT ITER 2545 NEW BEST:: SOT 9649 SOS 4608 HAS SOPS 4608 HAS SOUS 1773 HAS SOUPS 1773 WITH SCORE 1777.608
AT ITER 2555 NEW BEST:: SOT 9656 SOS 4612 HAS SOPS 4612 HAS SOUS 1771 HAS SOUPS 1771 WITH SCORE 1775.612
AT ITER 2559 NEW BEST:: SOT 9644 SOS 4593 HAS SOPS 4593 HAS SOUS 1767 HAS SOUPS 1767 WITH SCORE 1771.593
AT ITER 2564 NEW BEST:: SOT 9640 SOS 4589 HAS SOPS 4589 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1769.589
AT ITER 2577 NEW BEST:: SOT 9614 SOS 4555 HAS SOPS 4555 HAS SOUS 1731 HAS SOUPS 1731 WITH SCORE 1735.555
AT ITER 2596 NEW BEST:: SOT 9614 SOS 4553 HAS SOPS 4553 HAS SOUS 1729 HAS SOUPS 1729 WITH SCORE 1733.553
AT ITER 2601 NEW BEST:: SOT 9607 SOS 4539 HAS SOPS 4539 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1719.539
AT ITER 2602 NEW BEST:: SOT 9600 SOS 4531 HAS SOPS 4531 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1711.531
AT ITER 2657 NEW BEST:: SOT 9624 SOS 4536 HAS SOPS 4536 HAS SOUS 1706 HAS SOUPS 1706 WITH SCORE 1710.536
AT ITER 2680 NEW BEST:: SOT 9624 SOS 4534 HAS SOPS 4534 HAS SOUS 1705 HAS SOUPS 1705 WITH SCORE 1709.534
AT ITER 2702 NEW BEST:: SOT 9614 SOS 4514 HAS SOPS 4514 HAS SOUS 1682 HAS SOUPS 1682 WITH SCORE 1686.514
AT ITER 2733 NEW BEST:: SOT 9613 SOS 4512 HAS SOPS 4512 HAS SOUS 1681 HAS SOUPS 1681 WITH SCORE 1685.512
AT ITER 2741 NEW BEST:: SOT 9600 SOS 4493 HAS SOPS 4493 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1666.493
AT ITER 2757 NEW BEST:: SOT 9583 SOS 4476 HAS SOPS 4476 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1666.476
AT ITER 2768 NEW BEST:: SOT 9581 SOS 4472 HAS SOPS 4472 HAS SOUS 1662 HAS SOUPS 1662 WITH SCORE 1666.472
AT ITER 2805 NEW BEST:: SOT 9578 SOS 4469 HAS SOPS 4469 HAS SOUS 1659 HAS SOUPS 1659 WITH SCORE 1663.469
AT ITER 2901 NEW BEST:: SOT 9572 SOS 4468 HAS SOPS 4468 HAS SOUS 1653 HAS SOUPS 1653 WITH SCORE 1657.468
AT ITER 2910 NEW BEST:: SOT 9571 SOS 4466 HAS SOPS 4466 HAS SOUS 1651 HAS SOUPS 1651 WITH SCORE 1655.466
AT ITER 2932 NEW BEST:: SOT 9562 SOS 4448 HAS SOPS 4448 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1651.448
AT ITER 2961 NEW BEST:: SOT 9561 SOS 4442 HAS SOPS 4442 HAS SOUS 1647 HAS SOUPS 1647 WITH SCORE 1651.442
AT ITER 2967 NEW BEST:: SOT 9584 SOS 4472 HAS SOPS 4472 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1650.472
AT ITER 3032 NEW BEST:: SOT 9578 SOS 4455 HAS SOPS 4455 HAS SOUS 1634 HAS SOUPS 1634 WITH SCORE 1638.455
AT ITER 3035 NEW BEST:: SOT 9572 SOS 4443 HAS SOPS 4443 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1628.443
AT ITER 3036 NEW BEST:: SOT 9572 SOS 4443 HAS SOPS 4443 HAS SOUS 1622 HAS SOUPS 1622 WITH SCORE 1626.443
AT ITER 3041 NEW BEST:: SOT 9535 SOS 4406 HAS SOPS 4406 HAS SOUS 1607 HAS SOUPS 1607 WITH SCORE 1611.406
AT ITER 3048 NEW BEST:: SOT 9529 SOS 4408 HAS SOPS 4408 HAS SOUS 1601 HAS SOUPS 1601 WITH SCORE 1605.408
AT ITER 3115 NEW BEST:: SOT 9526 SOS 4402 HAS SOPS 4402 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1599.402
AT ITER 3117 NEW BEST:: SOT 9526 SOS 4402 HAS SOPS 4402 HAS SOUS 1591 HAS SOUPS 1591 WITH SCORE 1595.402
AT ITER 3128 NEW BEST:: SOT 9527 SOS 4419 HAS SOPS 4419 HAS SOUS 1585 HAS SOUPS 1585 WITH SCORE 1589.419
AT ITER 3150 NEW BEST:: SOT 9517 SOS 4409 HAS SOPS 4409 HAS SOUS 1576 HAS SOUPS 1576 WITH SCORE 1580.409
AT ITER 3190 NEW BEST:: SOT 9516 SOS 4405 HAS SOPS 4405 HAS SOUS 1572 HAS SOUPS 1572 WITH SCORE 1576.405
AT ITER 3194 NEW BEST:: SOT 9512 SOS 4400 HAS SOPS 4400 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1572.4
AT ITER 3210 NEW BEST:: SOT 9511 SOS 4398 HAS SOPS 4398 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1572.398
AT ITER 3222 NEW BEST:: SOT 9505 SOS 4392 HAS SOPS 4392 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1559.392
AT ITER 3226 NEW BEST:: SOT 9497 SOS 4373 HAS SOPS 4373 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1555.373
AT ITER 3241 NEW BEST:: SOT 9493 SOS 4369 HAS SOPS 4369 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1551.369
AT ITER 3255 NEW BEST:: SOT 9493 SOS 4368 HAS SOPS 4368 HAS SOUS 1547 HAS SOUPS 1547 WITH SCORE 1551.368
AT ITER 3300 NEW BEST:: SOT 9493 SOS 4367 HAS SOPS 4367 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1548.367
AT ITER 3310 NEW BEST:: SOT 9492 SOS 4366 HAS SOPS 4366 HAS SOUS 1543 HAS SOUPS 1543 WITH SCORE 1547.366
AT ITER 3319 NEW BEST:: SOT 9484 SOS 4344 HAS SOPS 4344 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1521.344
AT ITER 3345 NEW BEST:: SOT 9480 SOS 4340 HAS SOPS 4340 HAS SOUS 1517 HAS SOUPS 1517 WITH SCORE 1521.34
AT ITER 3386 NEW BEST:: SOT 9476 SOS 4330 HAS SOPS 4330 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1519.33
AT ITER 3436 NEW BEST:: SOT 9476 SOS 4324 HAS SOPS 4324 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1513.324
AT ITER 3496 NEW BEST:: SOT 9480 SOS 4301 HAS SOPS 4301 HAS SOUS 1489 HAS SOUPS 1489 WITH SCORE 1493.301
AT ITER 3570 NEW BEST:: SOT 9479 SOS 4306 HAS SOPS 4306 HAS SOUS 1488 HAS SOUPS 1488 WITH SCORE 1492.306
AT ITER 3582 NEW BEST:: SOT 9477 SOS 4302 HAS SOPS 4302 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1490.302
AT ITER 3602 NEW BEST:: SOT 9476 SOS 4301 HAS SOPS 4301 HAS SOUS 1486 HAS SOUPS 1486 WITH SCORE 1490.301
AT ITER 3629 NEW BEST:: SOT 9476 SOS 4302 HAS SOPS 4302 HAS SOUS 1478 HAS SOUPS 1478 WITH SCORE 1482.302
AT ITER 3787 NEW BEST:: SOT 9478 SOS 4306 HAS SOPS 4306 HAS SOUS 1476 HAS SOUPS 1476 WITH SCORE 1480.306
AT ITER 3847 NEW BEST:: SOT 9442 SOS 4255 HAS SOPS 4255 HAS SOUS 1459 HAS SOUPS 1459 WITH SCORE 1463.255
AT ITER 3954 NEW BEST:: SOT 9434 SOS 4247 HAS SOPS 4247 HAS SOUS 1451 HAS SOUPS 1451 WITH SCORE 1455.247
AT ITER 3978 NEW BEST:: SOT 9434 SOS 4243 HAS SOPS 4243 HAS SOUS 1449 HAS SOUPS 1449 WITH SCORE 1453.243
AT ITER 4009 NEW BEST:: SOT 9434 SOS 4243 HAS SOPS 4243 HAS SOUS 1446 HAS SOUPS 1446 WITH SCORE 1450.243
AT ITER 4020 NEW BEST:: SOT 9435 SOS 4239 HAS SOPS 4239 HAS SOUS 1438 HAS SOUPS 1438 WITH SCORE 1442.239
AT ITER 4052 NEW BEST:: SOT 9436 SOS 4237 HAS SOPS 4237 HAS SOUS 1436 HAS SOUPS 1436 WITH SCORE 1440.237
AT ITER 4094 NEW BEST:: SOT 9435 SOS 4236 HAS SOPS 4236 HAS SOUS 1435 HAS SOUPS 1435 WITH SCORE 1439.236
AT ITER 4356 NEW BEST:: SOT 9432 SOS 4232 HAS SOPS 4232 HAS SOUS 1427 HAS SOUPS 1427 WITH SCORE 1431.232
AT ITER 4377 NEW BEST:: SOT 9431 SOS 4231 HAS SOPS 4231 HAS SOUS 1426 HAS SOUPS 1426 WITH SCORE 1430.231
AT ITER 4454 NEW BEST:: SOT 9431 SOS 4231 HAS SOPS 4231 HAS SOUS 1425 HAS SOUPS 1425 WITH SCORE 1429.231
AT ITER 4556 NEW BEST:: SOT 9429 SOS 4230 HAS SOPS 4230 HAS SOUS 1424 HAS SOUPS 1424 WITH SCORE 1428.23
AT ITER 4642 NEW BEST:: SOT 9413 SOS 4248 HAS SOPS 4248 HAS SOUS 1420 HAS SOUPS 1420 WITH SCORE 1424.248
AT ITER 4655 NEW BEST:: SOT 9416 SOS 4276 HAS SOPS 4276 HAS SOUS 1417 HAS SOUPS 1417 WITH SCORE 1421.276
AT ITER 4663 NEW BEST:: SOT 9409 SOS 4282 HAS SOPS 4282 HAS SOUS 1413 HAS SOUPS 1413 WITH SCORE 1417.282
AT ITER 4670 NEW BEST:: SOT 9406 SOS 4281 HAS SOPS 4281 HAS SOUS 1410 HAS SOUPS 1410 WITH SCORE 1414.281
AT ITER 4709 NEW BEST:: SOT 9407 SOS 4259 HAS SOPS 4259 HAS SOUS 1406 HAS SOUPS 1406 WITH SCORE 1410.259
AT ITER 4724 NEW BEST:: SOT 9399 SOS 4249 HAS SOPS 4249 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1397.249
AT ITER 4752 NEW BEST:: SOT 9395 SOS 4241 HAS SOPS 4241 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1397.241
AT ITER 4851 NEW BEST:: SOT 9395 SOS 4238 HAS SOPS 4238 HAS SOUS 1393 HAS SOUPS 1393 WITH SCORE 1397.238
AT ITER 4859 NEW BEST:: SOT 9396 SOS 4244 HAS SOPS 4244 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1396.244
AT ITER 4970 NEW BEST:: SOT 9394 SOS 4242 HAS SOPS 4242 HAS SOUS 1392 HAS SOUPS 1392 WITH SCORE 1396.242
AT ITER 4976 NEW BEST:: SOT 9393 SOS 4240 HAS SOPS 4240 HAS SOUS 1391 HAS SOUPS 1391 WITH SCORE 1395.24
AT ITER 4993 NEW BEST:: SOT 9392 SOS 4239 HAS SOPS 4239 HAS SOUS 1390 HAS SOUPS 1390 WITH SCORE 1394.239
AT ITER 5002 NEW BEST:: SOT 9391 SOS 4240 HAS SOPS 4240 HAS SOUS 1388 HAS SOUPS 1388 WITH SCORE 1392.24
AT ITER 5050 NEW BEST:: SOT 9381 SOS 4245 HAS SOPS 4245 HAS SOUS 1386 HAS SOUPS 1386 WITH SCORE 1390.245
AT ITER 5091 NEW BEST:: SOT 9373 SOS 4229 HAS SOPS 4229 HAS SOUS 1382 HAS SOUPS 1382 WITH SCORE 1386.229
AT ITER 5155 NEW BEST:: SOT 9379 SOS 4231 HAS SOPS 4231 HAS SOUS 1376 HAS SOUPS 1376 WITH SCORE 1380.231
AT ITER 5189 NEW BEST:: SOT 9378 SOS 4230 HAS SOPS 4230 HAS SOUS 1374 HAS SOUPS 1374 WITH SCORE 1378.23
AT ITER 5219 NEW BEST:: SOT 9376 SOS 4226 HAS SOPS 4226 HAS SOUS 1372 HAS SOUPS 1372 WITH SCORE 1376.226
AT ITER 5252 NEW BEST:: SOT 9371 SOS 4221 HAS SOPS 4221 HAS SOUS 1367 HAS SOUPS 1367 WITH SCORE 1371.221
AT ITER 5386 NEW BEST:: SOT 9369 SOS 4216 HAS SOPS 4216 HAS SOUS 1362 HAS SOUPS 1362 WITH SCORE 1366.216
AT ITER 5469 NEW BEST:: SOT 9367 SOS 4212 HAS SOPS 4212 HAS SOUS 1360 HAS SOUPS 1360 WITH SCORE 1364.212
AT ITER 5581 NEW BEST:: SOT 9368 SOS 4208 HAS SOPS 4208 HAS SOUS 1353 HAS SOUPS 1353 WITH SCORE 1357.208
AT ITER 5584 NEW BEST:: SOT 9368 SOS 4208 HAS SOPS 4208 HAS SOUS 1351 HAS SOUPS 1351 WITH SCORE 1355.208
AT ITER 5718 NEW BEST:: SOT 9368 SOS 4206 HAS SOPS 4206 HAS SOUS 1349 HAS SOUPS 1349 WITH SCORE 1353.206
AT ITER 5742 NEW BEST:: SOT 9365 SOS 4200 HAS SOPS 4200 HAS SOUS 1346 HAS SOUPS 1346 WITH SCORE 1350.2
AT ITER 6033 NEW BEST:: SOT 9353 SOS 4176 HAS SOPS 4176 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1344.176
AT ITER 6046 NEW BEST:: SOT 9353 SOS 4175 HAS SOPS 4175 HAS SOUS 1340 HAS SOUPS 1340 WITH SCORE 1344.175
AT ITER 6071 NEW BEST:: SOT 9352 SOS 4172 HAS SOPS 4172 HAS SOUS 1338 HAS SOUPS 1338 WITH SCORE 1342.172
AT ITER 6122 NEW BEST:: SOT 9343 SOS 4159 HAS SOPS 4159 HAS SOUS 1330 HAS SOUPS 1330 WITH SCORE 1334.159
AT ITER 6158 NEW BEST:: SOT 9341 SOS 4156 HAS SOPS 4156 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1333.156
AT ITER 6192 NEW BEST:: SOT 9341 SOS 4154 HAS SOPS 4154 HAS SOUS 1329 HAS SOUPS 1329 WITH SCORE 1333.154
AT ITER 6324 NEW BEST:: SOT 9341 SOS 4152 HAS SOPS 4152 HAS SOUS 1327 HAS SOUPS 1327 WITH SCORE 1331.152
AT ITER 6394 NEW BEST:: SOT 9339 SOS 4150 HAS SOPS 4150 HAS SOUS 1325 HAS SOUPS 1325 WITH SCORE 1329.15
AT ITER 6417 NEW BEST:: SOT 9337 SOS 4146 HAS SOPS 4146 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1327.146
AT ITER 6464 NEW BEST:: SOT 9337 SOS 4144 HAS SOPS 4144 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1327.144
AT ITER 6510 NEW BEST:: SOT 9336 SOS 4143 HAS SOPS 4143 HAS SOUS 1323 HAS SOUPS 1323 WITH SCORE 1327.143
AT ITER 6765 NEW BEST:: SOT 9338 SOS 4144 HAS SOPS 4144 HAS SOUS 1322 HAS SOUPS 1322 WITH SCORE 1326.144
AT ITER 6963 NEW BEST:: SOT 9337 SOS 4143 HAS SOPS 4143 HAS SOUS 1320 HAS SOUPS 1320 WITH SCORE 1324.143
AT ITER 7552 NEW BEST:: SOT 9335 SOS 4141 HAS SOPS 4141 HAS SOUS 1318 HAS SOUPS 1318 WITH SCORE 1322.141
AT ITER 7553 NEW BEST:: SOT 9334 SOS 4142 HAS SOPS 4142 HAS SOUS 1316 HAS SOUPS 1316 WITH SCORE 1320.142
AT ITER 7577 NEW BEST:: SOT 9334 SOS 4128 HAS SOPS 4128 HAS SOUS 1302 HAS SOUPS 1302 WITH SCORE 1306.128
AT ITER 7732 NEW BEST:: SOT 9328 SOS 4118 HAS SOPS 4118 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1294.118
AT ITER 7903 NEW BEST:: SOT 9327 SOS 4116 HAS SOPS 4116 HAS SOUS 1290 HAS SOUPS 1290 WITH SCORE 1294.116
AT ITER 8059 NEW BEST:: SOT 9329 SOS 4120 HAS SOPS 4120 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1292.12
AT ITER 8182 NEW BEST:: SOT 9328 SOS 4119 HAS SOPS 4119 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1292.119
AT ITER 8256 NEW BEST:: SOT 9328 SOS 4118 HAS SOPS 4118 HAS SOUS 1288 HAS SOUPS 1288 WITH SCORE 1292.118
AT ITER 8288 NEW BEST:: SOT 9323 SOS 4191 HAS SOPS 4191 HAS SOUS 1287 HAS SOUPS 1287 WITH SCORE 1291.191
AT ITER 8291 NEW BEST:: SOT 9323 SOS 4191 HAS SOPS 4191 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1290.191
AT ITER 8323 NEW BEST:: SOT 9325 SOS 4190 HAS SOPS 4190 HAS SOUS 1286 HAS SOUPS 1286 WITH SCORE 1290.19
AT ITER 8631 NEW BEST:: SOT 9325 SOS 4188 HAS SOPS 4188 HAS SOUS 1285 HAS SOUPS 1285 WITH SCORE 1289.188
AT ITER 8633 NEW BEST:: SOT 9320 SOS 4183 HAS SOPS 4183 HAS SOUS 1278 HAS SOUPS 1278 WITH SCORE 1282.183
AT ITER 8791 NEW BEST:: SOT 9319 SOS 4181 HAS SOPS 4181 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1280.181
AT ITER 8944 NEW BEST:: SOT 9318 SOS 4179 HAS SOPS 4179 HAS SOUS 1276 HAS SOUPS 1276 WITH SCORE 1280.179
AT ITER 9026 NEW BEST:: SOT 9318 SOS 4179 HAS SOPS 4179 HAS SOUS 1275 HAS SOUPS 1275 WITH SCORE 1279.179
AT ITER 9226 NEW BEST:: SOT 9305 SOS 4166 HAS SOPS 4166 HAS SOUS 1269 HAS SOUPS 1269 WITH SCORE 1273.166
AT ITER 9386 NEW BEST:: SOT 9304 SOS 4165 HAS SOPS 4165 HAS SOUS 1266 HAS SOUPS 1266 WITH SCORE 1270.165
AT ITER 9677 NEW BEST:: SOT 9315 SOS 4182 HAS SOPS 4182 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1269.182
AT ITER 9713 NEW BEST:: SOT 9315 SOS 4179 HAS SOPS 4179 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1269.179
AT ITER 9747 NEW BEST:: SOT 9314 SOS 4173 HAS SOPS 4173 HAS SOUS 1265 HAS SOUPS 1265 WITH SCORE 1269.173
AT ITER 9771 NEW BEST:: SOT 9312 SOS 4169 HAS SOPS 4169 HAS SOUS 1262 HAS SOUPS 1262 WITH SCORE 1266.169
AT ITER 9780 NEW BEST:: SOT 9311 SOS 4168 HAS SOPS 4168 HAS SOUS 1260 HAS SOUPS 1260 WITH SCORE 1264.168
AT ITER 9909 NEW BEST:: SOT 9310 SOS 4163 HAS SOPS 4163 HAS SOUS 1257 HAS SOUPS 1257 WITH SCORE 1261.163
AT ITER 9941 NEW BEST:: SOT 9294 SOS 4141 HAS SOPS 4141 HAS SOUS 1253 HAS SOUPS 1253 WITH SCORE 1257.141
STATE_SPACE STATES 27622035 TECHNIQUES SEQUENTIAL_PROCESSING DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_IN_PLACE 6 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE MAX_TOKEN_PER_MARKING 24 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 253169448 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679190723001

--------------------
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="UtilityControlRoom-PT-Z2T4N06"
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 UtilityControlRoom-PT-Z2T4N06, 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 r483-tall-167912696601144"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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