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.r395-oct2-167903718700408.qcow2', fmt=qcow2 cluster_size=65536 extended_l2=off compression_type=zlib size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 backing_fmt=qcow2 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
......................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is ShieldPPPs-PT-004A, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r395-oct2-167903718700408
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 536K
-rw-r--r-- 1 mcc users 7.6K Feb 26 02:02 CTLCardinality.txt
-rw-r--r-- 1 mcc users 86K Feb 26 02:02 CTLCardinality.xml
-rw-r--r-- 1 mcc users 6.4K Feb 26 02:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 65K Feb 26 02:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.4K Feb 25 16:58 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:58 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:58 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:58 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 02:05 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 126K Feb 26 02:05 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 26 02:04 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 98K Feb 26 02:04 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:58 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 16:58 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 5 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 35K 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 1679565135269

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=smartxred
BK_EXAMINATION=StateSpace
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=ShieldPPPs-PT-004A
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-23 09:52:18] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-23 09:52:18] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-23 09:52:18] [INFO ] Load time of PNML (sax parser for PT used): 83 ms
[2023-03-23 09:52:18] [INFO ] Transformed 127 places.
[2023-03-23 09:52:18] [INFO ] Transformed 107 transitions.
[2023-03-23 09:52:18] [INFO ] Found NUPN structural information;
[2023-03-23 09:52:18] [INFO ] Parsed PT model containing 127 places and 107 transitions and 406 arcs in 183 ms.
[2023-03-23 09:52:18] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 127 places, 107 transitions and 406 arcs took 6 ms.
Total runtime 267 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running ShieldPPPs (PT), instance 004A
Examination StateSpace
Parser /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//parser/StateSpaceParse.jar
Model checker /home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//main//smart

Filename model.pnml
Petri model created: 127 places, 107 transitions, 406 arcs.
AT ITER 0 NEW BEST:: SOT 8875 SOS 6347 HAS SOPS 6347 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.347
AT ITER 8 NEW BEST:: SOT 8831 SOS 6127 HAS SOPS 6127 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.127
AT ITER 9 NEW BEST:: SOT 8825 SOS 6097 HAS SOPS 6097 HAS SOUS 5065 HAS SOUPS 5065 WITH SCORE 5071.097
AT ITER 41 NEW BEST:: SOT 8825 SOS 6096 HAS SOPS 6096 HAS SOUS 5064 HAS SOUPS 5064 WITH SCORE 5070.096
AT ITER 51 NEW BEST:: SOT 8814 SOS 6103 HAS SOPS 6103 HAS SOUS 4946 HAS SOUPS 4946 WITH SCORE 4952.103
AT ITER 52 NEW BEST:: SOT 8814 SOS 6040 HAS SOPS 6040 HAS SOUS 4943 HAS SOUPS 4943 WITH SCORE 4949.04
AT ITER 55 NEW BEST:: SOT 8770 SOS 5996 HAS SOPS 5996 HAS SOUS 4926 HAS SOUPS 4926 WITH SCORE 4931.996
AT ITER 62 NEW BEST:: SOT 8731 SOS 5956 HAS SOPS 5956 HAS SOUS 4886 HAS SOUPS 4886 WITH SCORE 4891.956
AT ITER 63 NEW BEST:: SOT 8701 SOS 5813 HAS SOPS 5813 HAS SOUS 4852 HAS SOUPS 4852 WITH SCORE 4857.813
AT ITER 67 NEW BEST:: SOT 8679 SOS 5783 HAS SOPS 5783 HAS SOUS 4822 HAS SOUPS 4822 WITH SCORE 4827.783
AT ITER 75 NEW BEST:: SOT 8658 SOS 5762 HAS SOPS 5762 HAS SOUS 4801 HAS SOUPS 4801 WITH SCORE 4806.762
AT ITER 79 NEW BEST:: SOT 8638 SOS 5742 HAS SOPS 5742 HAS SOUS 4781 HAS SOUPS 4781 WITH SCORE 4786.742
AT ITER 93 NEW BEST:: SOT 8638 SOS 5730 HAS SOPS 5730 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4773.73
AT ITER 97 NEW BEST:: SOT 8620 SOS 5710 HAS SOPS 5710 HAS SOUS 4748 HAS SOUPS 4748 WITH SCORE 4753.71
AT ITER 99 NEW BEST:: SOT 8640 SOS 5709 HAS SOPS 5709 HAS SOUS 4747 HAS SOUPS 4747 WITH SCORE 4752.709
AT ITER 102 NEW BEST:: SOT 8648 SOS 5712 HAS SOPS 5712 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4744.712
AT ITER 103 NEW BEST:: SOT 8645 SOS 5689 HAS SOPS 5689 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4744.689
AT ITER 108 NEW BEST:: SOT 8670 SOS 5749 HAS SOPS 5749 HAS SOUS 4724 HAS SOUPS 4724 WITH SCORE 4729.749
AT ITER 109 NEW BEST:: SOT 8666 SOS 5745 HAS SOPS 5745 HAS SOUS 4720 HAS SOUPS 4720 WITH SCORE 4725.745
AT ITER 114 NEW BEST:: SOT 8666 SOS 5741 HAS SOPS 5741 HAS SOUS 4716 HAS SOUPS 4716 WITH SCORE 4721.741
AT ITER 122 NEW BEST:: SOT 8665 SOS 5705 HAS SOPS 5705 HAS SOUS 4682 HAS SOUPS 4682 WITH SCORE 4687.705
AT ITER 129 NEW BEST:: SOT 8641 SOS 5657 HAS SOPS 5657 HAS SOUS 4658 HAS SOUPS 4658 WITH SCORE 4663.657
AT ITER 145 NEW BEST:: SOT 8653 SOS 5619 HAS SOPS 5619 HAS SOUS 4637 HAS SOUPS 4637 WITH SCORE 4642.619
AT ITER 146 NEW BEST:: SOT 8667 SOS 5597 HAS SOPS 5597 HAS SOUS 4628 HAS SOUPS 4628 WITH SCORE 4633.597
AT ITER 149 NEW BEST:: SOT 8670 SOS 5595 HAS SOPS 5595 HAS SOUS 4626 HAS SOUPS 4626 WITH SCORE 4631.595
AT ITER 150 NEW BEST:: SOT 8640 SOS 5565 HAS SOPS 5565 HAS SOUS 4596 HAS SOUPS 4596 WITH SCORE 4601.565
AT ITER 155 NEW BEST:: SOT 8596 SOS 5519 HAS SOPS 5519 HAS SOUS 4554 HAS SOUPS 4554 WITH SCORE 4559.519
AT ITER 156 NEW BEST:: SOT 8524 SOS 5421 HAS SOPS 5421 HAS SOUS 4535 HAS SOUPS 4535 WITH SCORE 4540.421
AT ITER 170 NEW BEST:: SOT 8519 SOS 5420 HAS SOPS 5420 HAS SOUS 4534 HAS SOUPS 4534 WITH SCORE 4539.42
AT ITER 173 NEW BEST:: SOT 8446 SOS 5354 HAS SOPS 5354 HAS SOUS 4468 HAS SOUPS 4468 WITH SCORE 4473.354
AT ITER 174 NEW BEST:: SOT 8445 SOS 5283 HAS SOPS 5283 HAS SOUS 4449 HAS SOUPS 4449 WITH SCORE 4454.283
AT ITER 183 NEW BEST:: SOT 8391 SOS 5230 HAS SOPS 5230 HAS SOUS 4396 HAS SOUPS 4396 WITH SCORE 4401.23
AT ITER 187 NEW BEST:: SOT 8402 SOS 5205 HAS SOPS 5205 HAS SOUS 4363 HAS SOUPS 4363 WITH SCORE 4368.205
AT ITER 207 NEW BEST:: SOT 8400 SOS 5201 HAS SOPS 5201 HAS SOUS 4359 HAS SOUPS 4359 WITH SCORE 4364.201
AT ITER 208 NEW BEST:: SOT 8397 SOS 5128 HAS SOPS 5128 HAS SOUS 4337 HAS SOUPS 4337 WITH SCORE 4342.128
AT ITER 209 NEW BEST:: SOT 8413 SOS 5135 HAS SOPS 5135 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4336.135
AT ITER 224 NEW BEST:: SOT 8407 SOS 5129 HAS SOPS 5129 HAS SOUS 4325 HAS SOUPS 4325 WITH SCORE 4330.129
AT ITER 232 NEW BEST:: SOT 8400 SOS 5122 HAS SOPS 5122 HAS SOUS 4318 HAS SOUPS 4318 WITH SCORE 4323.122
AT ITER 233 NEW BEST:: SOT 8399 SOS 5119 HAS SOPS 5119 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4322.119
AT ITER 236 NEW BEST:: SOT 8397 SOS 5109 HAS SOPS 5109 HAS SOUS 4317 HAS SOUPS 4317 WITH SCORE 4322.109
AT ITER 238 NEW BEST:: SOT 8397 SOS 5109 HAS SOPS 5109 HAS SOUS 4313 HAS SOUPS 4313 WITH SCORE 4318.109
AT ITER 241 NEW BEST:: SOT 8361 SOS 5065 HAS SOPS 5065 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4261.065
AT ITER 248 NEW BEST:: SOT 8339 SOS 5032 HAS SOPS 5032 HAS SOUS 4223 HAS SOUPS 4223 WITH SCORE 4228.032
AT ITER 265 NEW BEST:: SOT 8325 SOS 5018 HAS SOPS 5018 HAS SOUS 4209 HAS SOUPS 4209 WITH SCORE 4214.018
AT ITER 268 NEW BEST:: SOT 8325 SOS 4981 HAS SOPS 4981 HAS SOUS 4199 HAS SOUPS 4199 WITH SCORE 4203.981
AT ITER 271 NEW BEST:: SOT 8334 SOS 4967 HAS SOPS 4967 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4199.967
AT ITER 278 NEW BEST:: SOT 8406 SOS 4850 HAS SOPS 4850 HAS SOUS 4189 HAS SOUPS 4189 WITH SCORE 4193.85
AT ITER 279 NEW BEST:: SOT 8403 SOS 4845 HAS SOPS 4845 HAS SOUS 4184 HAS SOUPS 4184 WITH SCORE 4188.845
AT ITER 281 NEW BEST:: SOT 8379 SOS 4821 HAS SOPS 4821 HAS SOUS 4160 HAS SOUPS 4160 WITH SCORE 4164.821
AT ITER 286 NEW BEST:: SOT 8375 SOS 4810 HAS SOPS 4810 HAS SOUS 4149 HAS SOUPS 4149 WITH SCORE 4153.81
AT ITER 295 NEW BEST:: SOT 8373 SOS 4808 HAS SOPS 4808 HAS SOUS 4147 HAS SOUPS 4147 WITH SCORE 4151.808
AT ITER 300 NEW BEST:: SOT 8370 SOS 4764 HAS SOPS 4764 HAS SOUS 4118 HAS SOUPS 4118 WITH SCORE 4122.764
AT ITER 301 NEW BEST:: SOT 8369 SOS 4725 HAS SOPS 4725 HAS SOUS 4090 HAS SOUPS 4090 WITH SCORE 4094.725
AT ITER 302 NEW BEST:: SOT 8380 SOS 4721 HAS SOPS 4721 HAS SOUS 4088 HAS SOUPS 4088 WITH SCORE 4092.721
AT ITER 306 NEW BEST:: SOT 8372 SOS 4688 HAS SOPS 4688 HAS SOUS 4053 HAS SOUPS 4053 WITH SCORE 4057.688
AT ITER 322 NEW BEST:: SOT 8390 SOS 4715 HAS SOPS 4715 HAS SOUS 4034 HAS SOUPS 4034 WITH SCORE 4038.715
AT ITER 323 NEW BEST:: SOT 8390 SOS 4714 HAS SOPS 4714 HAS SOUS 4033 HAS SOUPS 4033 WITH SCORE 4037.714
AT ITER 344 NEW BEST:: SOT 8390 SOS 4712 HAS SOPS 4712 HAS SOUS 4027 HAS SOUPS 4027 WITH SCORE 4031.712
AT ITER 347 NEW BEST:: SOT 8464 SOS 4765 HAS SOPS 4765 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4028.765
AT ITER 356 NEW BEST:: SOT 8456 SOS 4757 HAS SOPS 4757 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4020.757
AT ITER 364 NEW BEST:: SOT 8455 SOS 4751 HAS SOPS 4751 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4011.751
AT ITER 373 NEW BEST:: SOT 8438 SOS 4734 HAS SOPS 4734 HAS SOUS 3990 HAS SOUPS 3990 WITH SCORE 3994.734
AT ITER 383 NEW BEST:: SOT 8463 SOS 4747 HAS SOPS 4747 HAS SOUS 3981 HAS SOUPS 3981 WITH SCORE 3985.747
AT ITER 386 NEW BEST:: SOT 8449 SOS 4733 HAS SOPS 4733 HAS SOUS 3967 HAS SOUPS 3967 WITH SCORE 3971.733
AT ITER 387 NEW BEST:: SOT 8451 SOS 4732 HAS SOPS 4732 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3970.732
AT ITER 390 NEW BEST:: SOT 8495 SOS 4561 HAS SOPS 4561 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3935.561
AT ITER 392 NEW BEST:: SOT 8505 SOS 4553 HAS SOPS 4553 HAS SOUS 3901 HAS SOUPS 3901 WITH SCORE 3905.553
AT ITER 404 NEW BEST:: SOT 8482 SOS 4516 HAS SOPS 4516 HAS SOUS 3899 HAS SOUPS 3899 WITH SCORE 3903.516
AT ITER 410 NEW BEST:: SOT 8476 SOS 4333 HAS SOPS 4333 HAS SOUS 3857 HAS SOUPS 3857 WITH SCORE 3861.333
AT ITER 411 NEW BEST:: SOT 8487 SOS 4315 HAS SOPS 4315 HAS SOUS 3849 HAS SOUPS 3849 WITH SCORE 3853.315
AT ITER 412 NEW BEST:: SOT 8486 SOS 4314 HAS SOPS 4314 HAS SOUS 3848 HAS SOUPS 3848 WITH SCORE 3852.314
AT ITER 420 NEW BEST:: SOT 8479 SOS 4288 HAS SOPS 4288 HAS SOUS 3754 HAS SOUPS 3754 WITH SCORE 3758.288
AT ITER 422 NEW BEST:: SOT 8467 SOS 4258 HAS SOPS 4258 HAS SOUS 3724 HAS SOUPS 3724 WITH SCORE 3728.258
AT ITER 423 NEW BEST:: SOT 8466 SOS 4257 HAS SOPS 4257 HAS SOUS 3723 HAS SOUPS 3723 WITH SCORE 3727.257
AT ITER 434 NEW BEST:: SOT 8450 SOS 4243 HAS SOPS 4243 HAS SOUS 3709 HAS SOUPS 3709 WITH SCORE 3713.243
AT ITER 438 NEW BEST:: SOT 8446 SOS 4239 HAS SOPS 4239 HAS SOUS 3705 HAS SOUPS 3705 WITH SCORE 3709.239
AT ITER 439 NEW BEST:: SOT 8446 SOS 4239 HAS SOPS 4239 HAS SOUS 3704 HAS SOUPS 3704 WITH SCORE 3708.239
AT ITER 441 NEW BEST:: SOT 8442 SOS 4232 HAS SOPS 4232 HAS SOUS 3696 HAS SOUPS 3696 WITH SCORE 3700.232
AT ITER 443 NEW BEST:: SOT 8425 SOS 4215 HAS SOPS 4215 HAS SOUS 3679 HAS SOUPS 3679 WITH SCORE 3683.215
AT ITER 444 NEW BEST:: SOT 8423 SOS 4204 HAS SOPS 4204 HAS SOUS 3668 HAS SOUPS 3668 WITH SCORE 3672.204
AT ITER 452 NEW BEST:: SOT 8425 SOS 4224 HAS SOPS 4224 HAS SOUS 3627 HAS SOUPS 3627 WITH SCORE 3631.224
AT ITER 454 NEW BEST:: SOT 8420 SOS 4212 HAS SOPS 4212 HAS SOUS 3625 HAS SOUPS 3625 WITH SCORE 3629.212
AT ITER 456 NEW BEST:: SOT 8454 SOS 4192 HAS SOPS 4192 HAS SOUS 3591 HAS SOUPS 3591 WITH SCORE 3595.192
AT ITER 457 NEW BEST:: SOT 8459 SOS 4185 HAS SOPS 4185 HAS SOUS 3583 HAS SOUPS 3583 WITH SCORE 3587.185
AT ITER 462 NEW BEST:: SOT 8459 SOS 4180 HAS SOPS 4180 HAS SOUS 3578 HAS SOUPS 3578 WITH SCORE 3582.18
AT ITER 500 NEW BEST:: SOT 8447 SOS 4161 HAS SOPS 4161 HAS SOUS 3559 HAS SOUPS 3559 WITH SCORE 3563.161
AT ITER 501 NEW BEST:: SOT 8447 SOS 4149 HAS SOPS 4149 HAS SOUS 3554 HAS SOUPS 3554 WITH SCORE 3558.149
AT ITER 508 NEW BEST:: SOT 8446 SOS 4145 HAS SOPS 4145 HAS SOUS 3551 HAS SOUPS 3551 WITH SCORE 3555.145
AT ITER 513 NEW BEST:: SOT 8415 SOS 4114 HAS SOPS 4114 HAS SOUS 3527 HAS SOUPS 3527 WITH SCORE 3531.114
AT ITER 516 NEW BEST:: SOT 8427 SOS 4113 HAS SOPS 4113 HAS SOUS 3478 HAS SOUPS 3478 WITH SCORE 3482.113
AT ITER 517 NEW BEST:: SOT 8428 SOS 4101 HAS SOPS 4101 HAS SOUS 3466 HAS SOUPS 3466 WITH SCORE 3470.101
AT ITER 518 NEW BEST:: SOT 8426 SOS 4084 HAS SOPS 4084 HAS SOUS 3455 HAS SOUPS 3455 WITH SCORE 3459.084
AT ITER 534 NEW BEST:: SOT 8408 SOS 4048 HAS SOPS 4048 HAS SOUS 3419 HAS SOUPS 3419 WITH SCORE 3423.048
AT ITER 539 NEW BEST:: SOT 8409 SOS 4043 HAS SOPS 4043 HAS SOUS 3414 HAS SOUPS 3414 WITH SCORE 3418.043
AT ITER 541 NEW BEST:: SOT 8409 SOS 4058 HAS SOPS 4058 HAS SOUS 3402 HAS SOUPS 3402 WITH SCORE 3406.058
AT ITER 547 NEW BEST:: SOT 8404 SOS 4053 HAS SOPS 4053 HAS SOUS 3397 HAS SOUPS 3397 WITH SCORE 3401.053
AT ITER 557 NEW BEST:: SOT 8404 SOS 4020 HAS SOPS 4020 HAS SOUS 3377 HAS SOUPS 3377 WITH SCORE 3381.02
AT ITER 566 NEW BEST:: SOT 8355 SOS 3976 HAS SOPS 3976 HAS SOUS 3308 HAS SOUPS 3308 WITH SCORE 3311.976
AT ITER 572 NEW BEST:: SOT 8354 SOS 3956 HAS SOPS 3956 HAS SOUS 3287 HAS SOUPS 3287 WITH SCORE 3290.956
AT ITER 589 NEW BEST:: SOT 8363 SOS 3960 HAS SOPS 3960 HAS SOUS 3281 HAS SOUPS 3281 WITH SCORE 3284.96
AT ITER 593 NEW BEST:: SOT 8368 SOS 3957 HAS SOPS 3957 HAS SOUS 3278 HAS SOUPS 3278 WITH SCORE 3281.957
AT ITER 597 NEW BEST:: SOT 8361 SOS 3950 HAS SOPS 3950 HAS SOUS 3271 HAS SOUPS 3271 WITH SCORE 3274.95
AT ITER 615 NEW BEST:: SOT 8361 SOS 3936 HAS SOPS 3936 HAS SOUS 3264 HAS SOUPS 3264 WITH SCORE 3267.936
AT ITER 625 NEW BEST:: SOT 8356 SOS 3931 HAS SOPS 3931 HAS SOUS 3259 HAS SOUPS 3259 WITH SCORE 3262.931
AT ITER 631 NEW BEST:: SOT 8366 SOS 3915 HAS SOPS 3915 HAS SOUS 3253 HAS SOUPS 3253 WITH SCORE 3256.915
AT ITER 653 NEW BEST:: SOT 8363 SOS 3914 HAS SOPS 3914 HAS SOUS 3252 HAS SOUPS 3252 WITH SCORE 3255.914
AT ITER 663 NEW BEST:: SOT 8363 SOS 3908 HAS SOPS 3908 HAS SOUS 3246 HAS SOUPS 3246 WITH SCORE 3249.908
AT ITER 665 NEW BEST:: SOT 8363 SOS 3904 HAS SOPS 3904 HAS SOUS 3244 HAS SOUPS 3244 WITH SCORE 3247.904
AT ITER 672 NEW BEST:: SOT 8350 SOS 3894 HAS SOPS 3894 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.894
AT ITER 697 NEW BEST:: SOT 8350 SOS 3893 HAS SOPS 3893 HAS SOUS 3195 HAS SOUPS 3195 WITH SCORE 3198.893
AT ITER 705 NEW BEST:: SOT 8367 SOS 3874 HAS SOPS 3874 HAS SOUS 3176 HAS SOUPS 3176 WITH SCORE 3179.874
AT ITER 706 NEW BEST:: SOT 8367 SOS 3842 HAS SOPS 3842 HAS SOUS 3161 HAS SOUPS 3161 WITH SCORE 3164.842
AT ITER 711 NEW BEST:: SOT 8336 SOS 3811 HAS SOPS 3811 HAS SOUS 3130 HAS SOUPS 3130 WITH SCORE 3133.811
AT ITER 726 NEW BEST:: SOT 8326 SOS 3760 HAS SOPS 3760 HAS SOUS 3121 HAS SOUPS 3121 WITH SCORE 3124.76
AT ITER 739 NEW BEST:: SOT 8329 SOS 3751 HAS SOPS 3751 HAS SOUS 3112 HAS SOUPS 3112 WITH SCORE 3115.751
AT ITER 750 NEW BEST:: SOT 8328 SOS 3750 HAS SOPS 3750 HAS SOUS 3111 HAS SOUPS 3111 WITH SCORE 3114.75
AT ITER 775 NEW BEST:: SOT 8320 SOS 3738 HAS SOPS 3738 HAS SOUS 3099 HAS SOUPS 3099 WITH SCORE 3102.738
AT ITER 787 NEW BEST:: SOT 8282 SOS 3700 HAS SOPS 3700 HAS SOUS 3061 HAS SOUPS 3061 WITH SCORE 3064.7
AT ITER 799 NEW BEST:: SOT 8282 SOS 3730 HAS SOPS 3730 HAS SOUS 3026 HAS SOUPS 3026 WITH SCORE 3029.73
AT ITER 804 NEW BEST:: SOT 8279 SOS 3717 HAS SOPS 3717 HAS SOUS 3021 HAS SOUPS 3021 WITH SCORE 3024.717
AT ITER 824 NEW BEST:: SOT 8279 SOS 3713 HAS SOPS 3713 HAS SOUS 3017 HAS SOUPS 3017 WITH SCORE 3020.713
AT ITER 832 NEW BEST:: SOT 8264 SOS 3698 HAS SOPS 3698 HAS SOUS 2999 HAS SOUPS 2999 WITH SCORE 3002.698
AT ITER 856 NEW BEST:: SOT 8264 SOS 3649 HAS SOPS 3649 HAS SOUS 2979 HAS SOUPS 2979 WITH SCORE 2982.649
AT ITER 872 NEW BEST:: SOT 8280 SOS 3613 HAS SOPS 3613 HAS SOUS 2971 HAS SOUPS 2971 WITH SCORE 2974.613
AT ITER 874 NEW BEST:: SOT 8279 SOS 3612 HAS SOPS 3612 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.612
AT ITER 881 NEW BEST:: SOT 8263 SOS 3606 HAS SOPS 3606 HAS SOUS 2970 HAS SOUPS 2970 WITH SCORE 2973.606
AT ITER 912 NEW BEST:: SOT 8254 SOS 3597 HAS SOPS 3597 HAS SOUS 2954 HAS SOUPS 2954 WITH SCORE 2957.597
AT ITER 917 NEW BEST:: SOT 8235 SOS 3591 HAS SOPS 3591 HAS SOUS 2952 HAS SOUPS 2952 WITH SCORE 2955.591
AT ITER 921 NEW BEST:: SOT 8231 SOS 3587 HAS SOPS 3587 HAS SOUS 2948 HAS SOUPS 2948 WITH SCORE 2951.587
AT ITER 944 NEW BEST:: SOT 8276 SOS 3567 HAS SOPS 3567 HAS SOUS 2943 HAS SOUPS 2943 WITH SCORE 2946.567
AT ITER 976 NEW BEST:: SOT 8274 SOS 3563 HAS SOPS 3563 HAS SOUS 2939 HAS SOUPS 2939 WITH SCORE 2942.563
AT ITER 979 NEW BEST:: SOT 8273 SOS 3562 HAS SOPS 3562 HAS SOUS 2938 HAS SOUPS 2938 WITH SCORE 2941.562
AT ITER 988 NEW BEST:: SOT 8279 SOS 3558 HAS SOPS 3558 HAS SOUS 2934 HAS SOUPS 2934 WITH SCORE 2937.558
AT ITER 990 NEW BEST:: SOT 8268 SOS 3558 HAS SOPS 3558 HAS SOUS 2927 HAS SOUPS 2927 WITH SCORE 2930.558
AT ITER 992 NEW BEST:: SOT 8246 SOS 3536 HAS SOPS 3536 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.536
AT ITER 1002 NEW BEST:: SOT 8249 SOS 3533 HAS SOPS 3533 HAS SOUS 2905 HAS SOUPS 2905 WITH SCORE 2908.533
AT ITER 1023 NEW BEST:: SOT 8237 SOS 3521 HAS SOPS 3521 HAS SOUS 2893 HAS SOUPS 2893 WITH SCORE 2896.521
AT ITER 1051 NEW BEST:: SOT 8224 SOS 3505 HAS SOPS 3505 HAS SOUS 2877 HAS SOUPS 2877 WITH SCORE 2880.505
AT ITER 1052 NEW BEST:: SOT 8221 SOS 3497 HAS SOPS 3497 HAS SOUS 2869 HAS SOUPS 2869 WITH SCORE 2872.497
AT ITER 1083 NEW BEST:: SOT 8216 SOS 3480 HAS SOPS 3480 HAS SOUS 2852 HAS SOUPS 2852 WITH SCORE 2855.48
AT ITER 1089 NEW BEST:: SOT 8216 SOS 3476 HAS SOPS 3476 HAS SOUS 2848 HAS SOUPS 2848 WITH SCORE 2851.476
AT ITER 1097 NEW BEST:: SOT 8219 SOS 3473 HAS SOPS 3473 HAS SOUS 2845 HAS SOUPS 2845 WITH SCORE 2848.473
AT ITER 1117 NEW BEST:: SOT 8219 SOS 3467 HAS SOPS 3467 HAS SOUS 2839 HAS SOUPS 2839 WITH SCORE 2842.467
AT ITER 1122 NEW BEST:: SOT 8202 SOS 3428 HAS SOPS 3428 HAS SOUS 2801 HAS SOUPS 2801 WITH SCORE 2804.428
AT ITER 1180 NEW BEST:: SOT 8195 SOS 3421 HAS SOPS 3421 HAS SOUS 2795 HAS SOUPS 2795 WITH SCORE 2798.421
AT ITER 1212 NEW BEST:: SOT 8177 SOS 3372 HAS SOPS 3372 HAS SOUS 2757 HAS SOUPS 2757 WITH SCORE 2760.372
AT ITER 1214 NEW BEST:: SOT 8179 SOS 3370 HAS SOPS 3370 HAS SOUS 2753 HAS SOUPS 2753 WITH SCORE 2756.37
AT ITER 1235 NEW BEST:: SOT 8179 SOS 3374 HAS SOPS 3374 HAS SOUS 2749 HAS SOUPS 2749 WITH SCORE 2752.374
AT ITER 1249 NEW BEST:: SOT 8175 SOS 3367 HAS SOPS 3367 HAS SOUS 2736 HAS SOUPS 2736 WITH SCORE 2739.367
AT ITER 1269 NEW BEST:: SOT 8173 SOS 3333 HAS SOPS 3333 HAS SOUS 2685 HAS SOUPS 2685 WITH SCORE 2688.333
AT ITER 1309 NEW BEST:: SOT 8173 SOS 3325 HAS SOPS 3325 HAS SOUS 2680 HAS SOUPS 2680 WITH SCORE 2683.325
AT ITER 1322 NEW BEST:: SOT 8165 SOS 3310 HAS SOPS 3310 HAS SOUS 2667 HAS SOUPS 2667 WITH SCORE 2670.31
AT ITER 1331 NEW BEST:: SOT 8159 SOS 3304 HAS SOPS 3304 HAS SOUS 2663 HAS SOUPS 2663 WITH SCORE 2666.304
AT ITER 1343 NEW BEST:: SOT 8159 SOS 3302 HAS SOPS 3302 HAS SOUS 2661 HAS SOUPS 2661 WITH SCORE 2664.302
AT ITER 1366 NEW BEST:: SOT 8151 SOS 3305 HAS SOPS 3305 HAS SOUS 2658 HAS SOUPS 2658 WITH SCORE 2661.305
AT ITER 1375 NEW BEST:: SOT 8149 SOS 3303 HAS SOPS 3303 HAS SOUS 2656 HAS SOUPS 2656 WITH SCORE 2659.303
AT ITER 1406 NEW BEST:: SOT 8147 SOS 3301 HAS SOPS 3301 HAS SOUS 2654 HAS SOUPS 2654 WITH SCORE 2657.301
AT ITER 1407 NEW BEST:: SOT 8139 SOS 3294 HAS SOPS 3294 HAS SOUS 2636 HAS SOUPS 2636 WITH SCORE 2639.294
AT ITER 1408 NEW BEST:: SOT 8139 SOS 3292 HAS SOPS 3292 HAS SOUS 2634 HAS SOUPS 2634 WITH SCORE 2637.292
AT ITER 1415 NEW BEST:: SOT 8132 SOS 3285 HAS SOPS 3285 HAS SOUS 2627 HAS SOUPS 2627 WITH SCORE 2630.285
AT ITER 1416 NEW BEST:: SOT 8132 SOS 3285 HAS SOPS 3285 HAS SOUS 2622 HAS SOUPS 2622 WITH SCORE 2625.285
AT ITER 1440 NEW BEST:: SOT 8135 SOS 3279 HAS SOPS 3279 HAS SOUS 2620 HAS SOUPS 2620 WITH SCORE 2623.279
AT ITER 1468 NEW BEST:: SOT 8105 SOS 3139 HAS SOPS 3139 HAS SOUS 2610 HAS SOUPS 2610 WITH SCORE 2613.139
AT ITER 1477 NEW BEST:: SOT 8103 SOS 3097 HAS SOPS 3097 HAS SOUS 2589 HAS SOUPS 2589 WITH SCORE 2592.097
AT ITER 1481 NEW BEST:: SOT 8087 SOS 3079 HAS SOPS 3079 HAS SOUS 2585 HAS SOUPS 2585 WITH SCORE 2588.079
AT ITER 1487 NEW BEST:: SOT 8089 SOS 3083 HAS SOPS 3083 HAS SOUS 2582 HAS SOUPS 2582 WITH SCORE 2585.083
AT ITER 1505 NEW BEST:: SOT 8088 SOS 3082 HAS SOPS 3082 HAS SOUS 2581 HAS SOUPS 2581 WITH SCORE 2584.082
AT ITER 1556 NEW BEST:: SOT 8090 SOS 3082 HAS SOPS 3082 HAS SOUS 2580 HAS SOUPS 2580 WITH SCORE 2583.082
AT ITER 1578 NEW BEST:: SOT 8090 SOS 3081 HAS SOPS 3081 HAS SOUS 2577 HAS SOUPS 2577 WITH SCORE 2580.081
AT ITER 1586 NEW BEST:: SOT 8090 SOS 3076 HAS SOPS 3076 HAS SOUS 2572 HAS SOUPS 2572 WITH SCORE 2575.076
AT ITER 1588 NEW BEST:: SOT 8066 SOS 3039 HAS SOPS 3039 HAS SOUS 2538 HAS SOUPS 2538 WITH SCORE 2541.039
AT ITER 1603 NEW BEST:: SOT 8062 SOS 3023 HAS SOPS 3023 HAS SOUS 2526 HAS SOUPS 2526 WITH SCORE 2529.023
AT ITER 1606 NEW BEST:: SOT 8048 SOS 2997 HAS SOPS 2997 HAS SOUS 2506 HAS SOUPS 2506 WITH SCORE 2508.997
AT ITER 1610 NEW BEST:: SOT 8035 SOS 2960 HAS SOPS 2960 HAS SOUS 2469 HAS SOUPS 2469 WITH SCORE 2471.96
AT ITER 1621 NEW BEST:: SOT 8029 SOS 2981 HAS SOPS 2981 HAS SOUS 2465 HAS SOUPS 2465 WITH SCORE 2467.981
AT ITER 1627 NEW BEST:: SOT 8029 SOS 2977 HAS SOPS 2977 HAS SOUS 2464 HAS SOUPS 2464 WITH SCORE 2466.977
AT ITER 1685 NEW BEST:: SOT 8027 SOS 2971 HAS SOPS 2971 HAS SOUS 2460 HAS SOUPS 2460 WITH SCORE 2462.971
AT ITER 1708 NEW BEST:: SOT 8027 SOS 2967 HAS SOPS 2967 HAS SOUS 2458 HAS SOUPS 2458 WITH SCORE 2460.967
AT ITER 1750 NEW BEST:: SOT 8025 SOS 2965 HAS SOPS 2965 HAS SOUS 2456 HAS SOUPS 2456 WITH SCORE 2458.965
AT ITER 1758 NEW BEST:: SOT 8003 SOS 2929 HAS SOPS 2929 HAS SOUS 2411 HAS SOUPS 2411 WITH SCORE 2413.929
AT ITER 1777 NEW BEST:: SOT 8001 SOS 2925 HAS SOPS 2925 HAS SOUS 2406 HAS SOUPS 2406 WITH SCORE 2408.925
AT ITER 1804 NEW BEST:: SOT 8000 SOS 2923 HAS SOPS 2923 HAS SOUS 2405 HAS SOUPS 2405 WITH SCORE 2407.923
AT ITER 1820 NEW BEST:: SOT 8006 SOS 2883 HAS SOPS 2883 HAS SOUS 2392 HAS SOUPS 2392 WITH SCORE 2394.883
AT ITER 1831 NEW BEST:: SOT 8006 SOS 2881 HAS SOPS 2881 HAS SOUS 2391 HAS SOUPS 2391 WITH SCORE 2393.881
AT ITER 1833 NEW BEST:: SOT 8006 SOS 2879 HAS SOPS 2879 HAS SOUS 2390 HAS SOUPS 2390 WITH SCORE 2392.879
AT ITER 1871 NEW BEST:: SOT 7997 SOS 2859 HAS SOPS 2859 HAS SOUS 2372 HAS SOUPS 2372 WITH SCORE 2374.859
AT ITER 1879 NEW BEST:: SOT 7995 SOS 2857 HAS SOPS 2857 HAS SOUS 2370 HAS SOUPS 2370 WITH SCORE 2372.857
AT ITER 1886 NEW BEST:: SOT 7987 SOS 2857 HAS SOPS 2857 HAS SOUS 2358 HAS SOUPS 2358 WITH SCORE 2360.857
AT ITER 1915 NEW BEST:: SOT 7977 SOS 2785 HAS SOPS 2785 HAS SOUS 2312 HAS SOUPS 2312 WITH SCORE 2314.785
AT ITER 1954 NEW BEST:: SOT 7963 SOS 2777 HAS SOPS 2777 HAS SOUS 2295 HAS SOUPS 2295 WITH SCORE 2297.777
AT ITER 1970 NEW BEST:: SOT 7961 SOS 2773 HAS SOPS 2773 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2293.773
AT ITER 2046 NEW BEST:: SOT 7961 SOS 2767 HAS SOPS 2767 HAS SOUS 2291 HAS SOUPS 2291 WITH SCORE 2293.767
AT ITER 2057 NEW BEST:: SOT 7946 SOS 2714 HAS SOPS 2714 HAS SOUS 2265 HAS SOUPS 2265 WITH SCORE 2267.714
AT ITER 2059 NEW BEST:: SOT 7945 SOS 2712 HAS SOPS 2712 HAS SOUS 2263 HAS SOUPS 2263 WITH SCORE 2265.712
AT ITER 2061 NEW BEST:: SOT 7938 SOS 2705 HAS SOPS 2705 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2258.705
AT ITER 2077 NEW BEST:: SOT 7937 SOS 2704 HAS SOPS 2704 HAS SOUS 2256 HAS SOUPS 2256 WITH SCORE 2258.704
AT ITER 2086 NEW BEST:: SOT 7929 SOS 2701 HAS SOPS 2701 HAS SOUS 2251 HAS SOUPS 2251 WITH SCORE 2253.701
AT ITER 2092 NEW BEST:: SOT 7929 SOS 2699 HAS SOPS 2699 HAS SOUS 2250 HAS SOUPS 2250 WITH SCORE 2252.699
AT ITER 2100 NEW BEST:: SOT 7901 SOS 2641 HAS SOPS 2641 HAS SOUS 2203 HAS SOUPS 2203 WITH SCORE 2205.641
AT ITER 2102 NEW BEST:: SOT 7880 SOS 2593 HAS SOPS 2593 HAS SOUS 2167 HAS SOUPS 2167 WITH SCORE 2169.593
AT ITER 2105 NEW BEST:: SOT 7871 SOS 2584 HAS SOPS 2584 HAS SOUS 2158 HAS SOUPS 2158 WITH SCORE 2160.584
AT ITER 2112 NEW BEST:: SOT 7879 SOS 2588 HAS SOPS 2588 HAS SOUS 2146 HAS SOUPS 2146 WITH SCORE 2148.588
AT ITER 2114 NEW BEST:: SOT 7865 SOS 2584 HAS SOPS 2584 HAS SOUS 2143 HAS SOUPS 2143 WITH SCORE 2145.584
AT ITER 2134 NEW BEST:: SOT 7863 SOS 2582 HAS SOPS 2582 HAS SOUS 2141 HAS SOUPS 2141 WITH SCORE 2143.582
AT ITER 2139 NEW BEST:: SOT 7868 SOS 2580 HAS SOPS 2580 HAS SOUS 2133 HAS SOUPS 2133 WITH SCORE 2135.58
AT ITER 2169 NEW BEST:: SOT 7874 SOS 2584 HAS SOPS 2584 HAS SOUS 2129 HAS SOUPS 2129 WITH SCORE 2131.584
AT ITER 2239 NEW BEST:: SOT 7865 SOS 2570 HAS SOPS 2570 HAS SOUS 2124 HAS SOUPS 2124 WITH SCORE 2126.57
AT ITER 2244 NEW BEST:: SOT 7868 SOS 2553 HAS SOPS 2553 HAS SOUS 2103 HAS SOUPS 2103 WITH SCORE 2105.553
AT ITER 2249 NEW BEST:: SOT 7866 SOS 2551 HAS SOPS 2551 HAS SOUS 2101 HAS SOUPS 2101 WITH SCORE 2103.551
AT ITER 2251 NEW BEST:: SOT 7866 SOS 2544 HAS SOPS 2544 HAS SOUS 2100 HAS SOUPS 2100 WITH SCORE 2102.544
AT ITER 2271 NEW BEST:: SOT 7869 SOS 2547 HAS SOPS 2547 HAS SOUS 2086 HAS SOUPS 2086 WITH SCORE 2088.547
AT ITER 2295 NEW BEST:: SOT 7868 SOS 2543 HAS SOPS 2543 HAS SOUS 2074 HAS SOUPS 2074 WITH SCORE 2076.543
AT ITER 2396 NEW BEST:: SOT 7868 SOS 2539 HAS SOPS 2539 HAS SOUS 2072 HAS SOUPS 2072 WITH SCORE 2074.539
AT ITER 2430 NEW BEST:: SOT 7865 SOS 2536 HAS SOPS 2536 HAS SOUS 2069 HAS SOUPS 2069 WITH SCORE 2071.536
AT ITER 2432 NEW BEST:: SOT 7866 SOS 2532 HAS SOPS 2532 HAS SOUS 2064 HAS SOUPS 2064 WITH SCORE 2066.532
AT ITER 2448 NEW BEST:: SOT 7839 SOS 2513 HAS SOPS 2513 HAS SOUS 2062 HAS SOUPS 2062 WITH SCORE 2064.513
AT ITER 2489 NEW BEST:: SOT 7835 SOS 2507 HAS SOPS 2507 HAS SOUS 2059 HAS SOUPS 2059 WITH SCORE 2061.507
AT ITER 2502 NEW BEST:: SOT 7835 SOS 2506 HAS SOPS 2506 HAS SOUS 2058 HAS SOUPS 2058 WITH SCORE 2060.506
AT ITER 2512 NEW BEST:: SOT 7828 SOS 2500 HAS SOPS 2500 HAS SOUS 2053 HAS SOUPS 2053 WITH SCORE 2055.5
AT ITER 2546 NEW BEST:: SOT 7828 SOS 2500 HAS SOPS 2500 HAS SOUS 2052 HAS SOUPS 2052 WITH SCORE 2054.5
AT ITER 2589 NEW BEST:: SOT 7823 SOS 2491 HAS SOPS 2491 HAS SOUS 2042 HAS SOUPS 2042 WITH SCORE 2044.491
AT ITER 2625 NEW BEST:: SOT 7823 SOS 2483 HAS SOPS 2483 HAS SOUS 2038 HAS SOUPS 2038 WITH SCORE 2040.483
AT ITER 2653 NEW BEST:: SOT 7818 SOS 2470 HAS SOPS 2470 HAS SOUS 2024 HAS SOUPS 2024 WITH SCORE 2026.47
AT ITER 2662 NEW BEST:: SOT 7818 SOS 2422 HAS SOPS 2422 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.422
AT ITER 2686 NEW BEST:: SOT 7816 SOS 2417 HAS SOPS 2417 HAS SOUS 2000 HAS SOUPS 2000 WITH SCORE 2002.417
AT ITER 2708 NEW BEST:: SOT 7815 SOS 2416 HAS SOPS 2416 HAS SOUS 1999 HAS SOUPS 1999 WITH SCORE 2001.416
AT ITER 2710 NEW BEST:: SOT 7805 SOS 2407 HAS SOPS 2407 HAS SOUS 1992 HAS SOUPS 1992 WITH SCORE 1994.407
AT ITER 2717 NEW BEST:: SOT 7801 SOS 2392 HAS SOPS 2392 HAS SOUS 1977 HAS SOUPS 1977 WITH SCORE 1979.392
AT ITER 2735 NEW BEST:: SOT 7796 SOS 2383 HAS SOPS 2383 HAS SOUS 1968 HAS SOUPS 1968 WITH SCORE 1970.383
AT ITER 2744 NEW BEST:: SOT 7795 SOS 2382 HAS SOPS 2382 HAS SOUS 1967 HAS SOUPS 1967 WITH SCORE 1969.382
AT ITER 2762 NEW BEST:: SOT 7792 SOS 2379 HAS SOPS 2379 HAS SOUS 1964 HAS SOUPS 1964 WITH SCORE 1966.379
AT ITER 2767 NEW BEST:: SOT 7780 SOS 2361 HAS SOPS 2361 HAS SOUS 1949 HAS SOUPS 1949 WITH SCORE 1951.361
AT ITER 2768 NEW BEST:: SOT 7782 SOS 2363 HAS SOPS 2363 HAS SOUS 1945 HAS SOUPS 1945 WITH SCORE 1947.363
AT ITER 2779 NEW BEST:: SOT 7778 SOS 2362 HAS SOPS 2362 HAS SOUS 1944 HAS SOUPS 1944 WITH SCORE 1946.362
AT ITER 2782 NEW BEST:: SOT 7777 SOS 2361 HAS SOPS 2361 HAS SOUS 1943 HAS SOUPS 1943 WITH SCORE 1945.361
AT ITER 2791 NEW BEST:: SOT 7776 SOS 2350 HAS SOPS 2350 HAS SOUS 1927 HAS SOUPS 1927 WITH SCORE 1929.35
AT ITER 2825 NEW BEST:: SOT 7782 SOS 2358 HAS SOPS 2358 HAS SOUS 1923 HAS SOUPS 1923 WITH SCORE 1925.358
AT ITER 2865 NEW BEST:: SOT 7770 SOS 2344 HAS SOPS 2344 HAS SOUS 1903 HAS SOUPS 1903 WITH SCORE 1905.344
AT ITER 2898 NEW BEST:: SOT 7770 SOS 2342 HAS SOPS 2342 HAS SOUS 1899 HAS SOUPS 1899 WITH SCORE 1901.342
AT ITER 2902 NEW BEST:: SOT 7771 SOS 2343 HAS SOPS 2343 HAS SOUS 1897 HAS SOUPS 1897 WITH SCORE 1899.343
AT ITER 2931 NEW BEST:: SOT 7762 SOS 2339 HAS SOPS 2339 HAS SOUS 1888 HAS SOUPS 1888 WITH SCORE 1890.339
AT ITER 2973 NEW BEST:: SOT 7760 SOS 2329 HAS SOPS 2329 HAS SOUS 1884 HAS SOUPS 1884 WITH SCORE 1886.329
AT ITER 2985 NEW BEST:: SOT 7766 SOS 2297 HAS SOPS 2297 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.297
AT ITER 3037 NEW BEST:: SOT 7764 SOS 2296 HAS SOPS 2296 HAS SOUS 1882 HAS SOUPS 1882 WITH SCORE 1884.296
AT ITER 3057 NEW BEST:: SOT 7764 SOS 2291 HAS SOPS 2291 HAS SOUS 1878 HAS SOUPS 1878 WITH SCORE 1880.291
AT ITER 3109 NEW BEST:: SOT 7762 SOS 2289 HAS SOPS 2289 HAS SOUS 1877 HAS SOUPS 1877 WITH SCORE 1879.289
AT ITER 3121 NEW BEST:: SOT 7750 SOS 2277 HAS SOPS 2277 HAS SOUS 1865 HAS SOUPS 1865 WITH SCORE 1867.277
AT ITER 3139 NEW BEST:: SOT 7745 SOS 2270 HAS SOPS 2270 HAS SOUS 1858 HAS SOUPS 1858 WITH SCORE 1860.27
AT ITER 3175 NEW BEST:: SOT 7743 SOS 2267 HAS SOPS 2267 HAS SOUS 1856 HAS SOUPS 1856 WITH SCORE 1858.267
AT ITER 3182 NEW BEST:: SOT 7739 SOS 2263 HAS SOPS 2263 HAS SOUS 1852 HAS SOUPS 1852 WITH SCORE 1854.263
AT ITER 3229 NEW BEST:: SOT 7741 SOS 2261 HAS SOPS 2261 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1850.261
AT ITER 3240 NEW BEST:: SOT 7741 SOS 2258 HAS SOPS 2258 HAS SOUS 1848 HAS SOUPS 1848 WITH SCORE 1850.258
AT ITER 3246 NEW BEST:: SOT 7742 SOS 2256 HAS SOPS 2256 HAS SOUS 1846 HAS SOUPS 1846 WITH SCORE 1848.256
AT ITER 3291 NEW BEST:: SOT 7741 SOS 2255 HAS SOPS 2255 HAS SOUS 1845 HAS SOUPS 1845 WITH SCORE 1847.255
AT ITER 3355 NEW BEST:: SOT 7739 SOS 2254 HAS SOPS 2254 HAS SOUS 1844 HAS SOUPS 1844 WITH SCORE 1846.254
AT ITER 3368 NEW BEST:: SOT 7738 SOS 2253 HAS SOPS 2253 HAS SOUS 1842 HAS SOUPS 1842 WITH SCORE 1844.253
AT ITER 3425 NEW BEST:: SOT 7734 SOS 2249 HAS SOPS 2249 HAS SOUS 1838 HAS SOUPS 1838 WITH SCORE 1840.249
AT ITER 3447 NEW BEST:: SOT 7730 SOS 2241 HAS SOPS 2241 HAS SOUS 1832 HAS SOUPS 1832 WITH SCORE 1834.241
AT ITER 3473 NEW BEST:: SOT 7724 SOS 2228 HAS SOPS 2228 HAS SOUS 1822 HAS SOUPS 1822 WITH SCORE 1824.228
AT ITER 3478 NEW BEST:: SOT 7724 SOS 2226 HAS SOPS 2226 HAS SOUS 1821 HAS SOUPS 1821 WITH SCORE 1823.226
AT ITER 3523 NEW BEST:: SOT 7721 SOS 2221 HAS SOPS 2221 HAS SOUS 1814 HAS SOUPS 1814 WITH SCORE 1816.221
AT ITER 3524 NEW BEST:: SOT 7718 SOS 2216 HAS SOPS 2216 HAS SOUS 1809 HAS SOUPS 1809 WITH SCORE 1811.216
AT ITER 3542 NEW BEST:: SOT 7718 SOS 2210 HAS SOPS 2210 HAS SOUS 1806 HAS SOUPS 1806 WITH SCORE 1808.21
AT ITER 3703 NEW BEST:: SOT 7709 SOS 2197 HAS SOPS 2197 HAS SOUS 1795 HAS SOUPS 1795 WITH SCORE 1797.197
AT ITER 3716 NEW BEST:: SOT 7707 SOS 2195 HAS SOPS 2195 HAS SOUS 1793 HAS SOUPS 1793 WITH SCORE 1795.195
AT ITER 3758 NEW BEST:: SOT 7700 SOS 2161 HAS SOPS 2161 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1774.161
AT ITER 3759 NEW BEST:: SOT 7706 SOS 2155 HAS SOPS 2155 HAS SOUS 1772 HAS SOUPS 1772 WITH SCORE 1774.155
AT ITER 3812 NEW BEST:: SOT 7704 SOS 2153 HAS SOPS 2153 HAS SOUS 1770 HAS SOUPS 1770 WITH SCORE 1772.153
AT ITER 3878 NEW BEST:: SOT 7699 SOS 2148 HAS SOPS 2148 HAS SOUS 1765 HAS SOUPS 1765 WITH SCORE 1767.148
AT ITER 3999 NEW BEST:: SOT 7689 SOS 2138 HAS SOPS 2138 HAS SOUS 1755 HAS SOUPS 1755 WITH SCORE 1757.138
AT ITER 4018 NEW BEST:: SOT 7685 SOS 2138 HAS SOPS 2138 HAS SOUS 1754 HAS SOUPS 1754 WITH SCORE 1756.138
AT ITER 4069 NEW BEST:: SOT 7680 SOS 2131 HAS SOPS 2131 HAS SOUS 1747 HAS SOUPS 1747 WITH SCORE 1749.131
AT ITER 4204 NEW BEST:: SOT 7680 SOS 2122 HAS SOPS 2122 HAS SOUS 1741 HAS SOUPS 1741 WITH SCORE 1743.122
AT ITER 4244 NEW BEST:: SOT 7678 SOS 2119 HAS SOPS 2119 HAS SOUS 1738 HAS SOUPS 1738 WITH SCORE 1740.119
AT ITER 4245 NEW BEST:: SOT 7678 SOS 2118 HAS SOPS 2118 HAS SOUS 1737 HAS SOUPS 1737 WITH SCORE 1739.118
AT ITER 4323 NEW BEST:: SOT 7677 SOS 2109 HAS SOPS 2109 HAS SOUS 1732 HAS SOUPS 1732 WITH SCORE 1734.109
AT ITER 4358 NEW BEST:: SOT 7670 SOS 2102 HAS SOPS 2102 HAS SOUS 1730 HAS SOUPS 1730 WITH SCORE 1732.102
AT ITER 4406 NEW BEST:: SOT 7666 SOS 2091 HAS SOPS 2091 HAS SOUS 1719 HAS SOUPS 1719 WITH SCORE 1721.091
AT ITER 4431 NEW BEST:: SOT 7666 SOS 2089 HAS SOPS 2089 HAS SOUS 1717 HAS SOUPS 1717 WITH SCORE 1719.089
AT ITER 4469 NEW BEST:: SOT 7666 SOS 2085 HAS SOPS 2085 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.085
AT ITER 4470 NEW BEST:: SOT 7670 SOS 2081 HAS SOPS 2081 HAS SOUS 1715 HAS SOUPS 1715 WITH SCORE 1717.081
AT ITER 4487 NEW BEST:: SOT 7662 SOS 2073 HAS SOPS 2073 HAS SOUS 1707 HAS SOUPS 1707 WITH SCORE 1709.073
AT ITER 4553 NEW BEST:: SOT 7662 SOS 2076 HAS SOPS 2076 HAS SOUS 1701 HAS SOUPS 1701 WITH SCORE 1703.076
AT ITER 4566 NEW BEST:: SOT 7662 SOS 2076 HAS SOPS 2076 HAS SOUS 1700 HAS SOUPS 1700 WITH SCORE 1702.076
AT ITER 4605 NEW BEST:: SOT 7665 SOS 2069 HAS SOPS 2069 HAS SOUS 1698 HAS SOUPS 1698 WITH SCORE 1700.069
AT ITER 4615 NEW BEST:: SOT 7655 SOS 2065 HAS SOPS 2065 HAS SOUS 1694 HAS SOUPS 1694 WITH SCORE 1696.065
AT ITER 4676 NEW BEST:: SOT 7656 SOS 2064 HAS SOPS 2064 HAS SOUS 1693 HAS SOUPS 1693 WITH SCORE 1695.064
AT ITER 4743 NEW BEST:: SOT 7656 SOS 2063 HAS SOPS 2063 HAS SOUS 1690 HAS SOUPS 1690 WITH SCORE 1692.063
AT ITER 4747 NEW BEST:: SOT 7656 SOS 2061 HAS SOPS 2061 HAS SOUS 1689 HAS SOUPS 1689 WITH SCORE 1691.061
AT ITER 4752 NEW BEST:: SOT 7649 SOS 2052 HAS SOPS 2052 HAS SOUS 1676 HAS SOUPS 1676 WITH SCORE 1678.052
AT ITER 4806 NEW BEST:: SOT 7645 SOS 2048 HAS SOPS 2048 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1676.048
AT ITER 4849 NEW BEST:: SOT 7645 SOS 2027 HAS SOPS 2027 HAS SOUS 1674 HAS SOUPS 1674 WITH SCORE 1676.027
AT ITER 4855 NEW BEST:: SOT 7647 SOS 2028 HAS SOPS 2028 HAS SOUS 1673 HAS SOUPS 1673 WITH SCORE 1675.028
AT ITER 4919 NEW BEST:: SOT 7645 SOS 2023 HAS SOPS 2023 HAS SOUS 1665 HAS SOUPS 1665 WITH SCORE 1667.023
AT ITER 4920 NEW BEST:: SOT 7634 SOS 2004 HAS SOPS 2004 HAS SOUS 1646 HAS SOUPS 1646 WITH SCORE 1648.004
AT ITER 4934 NEW BEST:: SOT 7632 SOS 1998 HAS SOPS 1998 HAS SOUS 1640 HAS SOUPS 1640 WITH SCORE 1641.998
AT ITER 4976 NEW BEST:: SOT 7628 SOS 1994 HAS SOPS 1994 HAS SOUS 1636 HAS SOUPS 1636 WITH SCORE 1637.994
AT ITER 5036 NEW BEST:: SOT 7628 SOS 1987 HAS SOPS 1987 HAS SOUS 1629 HAS SOUPS 1629 WITH SCORE 1630.987
AT ITER 5089 NEW BEST:: SOT 7630 SOS 1989 HAS SOPS 1989 HAS SOUS 1628 HAS SOUPS 1628 WITH SCORE 1629.989
AT ITER 5124 NEW BEST:: SOT 7626 SOS 1985 HAS SOPS 1985 HAS SOUS 1624 HAS SOUPS 1624 WITH SCORE 1625.985
AT ITER 5334 NEW BEST:: SOT 7626 SOS 1983 HAS SOPS 1983 HAS SOUS 1623 HAS SOUPS 1623 WITH SCORE 1624.983
AT ITER 5345 NEW BEST:: SOT 7626 SOS 1983 HAS SOPS 1983 HAS SOUS 1620 HAS SOUPS 1620 WITH SCORE 1621.983
AT ITER 5385 NEW BEST:: SOT 7624 SOS 1974 HAS SOPS 1974 HAS SOUS 1617 HAS SOUPS 1617 WITH SCORE 1618.974
AT ITER 5407 NEW BEST:: SOT 7623 SOS 1973 HAS SOPS 1973 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1617.973
AT ITER 5422 NEW BEST:: SOT 7622 SOS 1972 HAS SOPS 1972 HAS SOUS 1616 HAS SOUPS 1616 WITH SCORE 1617.972
AT ITER 5433 NEW BEST:: SOT 7621 SOS 1969 HAS SOPS 1969 HAS SOUS 1614 HAS SOUPS 1614 WITH SCORE 1615.969
AT ITER 5457 NEW BEST:: SOT 7614 SOS 1959 HAS SOPS 1959 HAS SOUS 1605 HAS SOUPS 1605 WITH SCORE 1606.959
AT ITER 5467 NEW BEST:: SOT 7612 SOS 1955 HAS SOPS 1955 HAS SOUS 1603 HAS SOUPS 1603 WITH SCORE 1604.955
AT ITER 5534 NEW BEST:: SOT 7610 SOS 1949 HAS SOPS 1949 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.949
AT ITER 5542 NEW BEST:: SOT 7609 SOS 1947 HAS SOPS 1947 HAS SOUS 1599 HAS SOUPS 1599 WITH SCORE 1600.947
AT ITER 5577 NEW BEST:: SOT 7608 SOS 1946 HAS SOPS 1946 HAS SOUS 1598 HAS SOUPS 1598 WITH SCORE 1599.946
AT ITER 5610 NEW BEST:: SOT 7606 SOS 1945 HAS SOPS 1945 HAS SOUS 1597 HAS SOUPS 1597 WITH SCORE 1598.945
AT ITER 5770 NEW BEST:: SOT 7606 SOS 1941 HAS SOPS 1941 HAS SOUS 1596 HAS SOUPS 1596 WITH SCORE 1597.941
AT ITER 5799 NEW BEST:: SOT 7605 SOS 1940 HAS SOPS 1940 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.94
AT ITER 5832 NEW BEST:: SOT 7604 SOS 1939 HAS SOPS 1939 HAS SOUS 1595 HAS SOUPS 1595 WITH SCORE 1596.939
AT ITER 5979 NEW BEST:: SOT 7604 SOS 1939 HAS SOPS 1939 HAS SOUS 1594 HAS SOUPS 1594 WITH SCORE 1595.939
AT ITER 5996 NEW BEST:: SOT 7608 SOS 1937 HAS SOPS 1937 HAS SOUS 1592 HAS SOUPS 1592 WITH SCORE 1593.937
AT ITER 6003 NEW BEST:: SOT 7607 SOS 1934 HAS SOPS 1934 HAS SOUS 1588 HAS SOUPS 1588 WITH SCORE 1589.934
AT ITER 6063 NEW BEST:: SOT 7605 SOS 1925 HAS SOPS 1925 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.925
AT ITER 6084 NEW BEST:: SOT 7606 SOS 1924 HAS SOPS 1924 HAS SOUS 1580 HAS SOUPS 1580 WITH SCORE 1581.924
AT ITER 6111 NEW BEST:: SOT 7605 SOS 1923 HAS SOPS 1923 HAS SOUS 1579 HAS SOUPS 1579 WITH SCORE 1580.923
AT ITER 6112 NEW BEST:: SOT 7603 SOS 1914 HAS SOPS 1914 HAS SOUS 1573 HAS SOUPS 1573 WITH SCORE 1574.914
AT ITER 6235 NEW BEST:: SOT 7604 SOS 1912 HAS SOPS 1912 HAS SOUS 1568 HAS SOUPS 1568 WITH SCORE 1569.912
AT ITER 6289 NEW BEST:: SOT 7604 SOS 1899 HAS SOPS 1899 HAS SOUS 1562 HAS SOUPS 1562 WITH SCORE 1563.899
AT ITER 6329 NEW BEST:: SOT 7600 SOS 1895 HAS SOPS 1895 HAS SOUS 1558 HAS SOUPS 1558 WITH SCORE 1559.895
AT ITER 6334 NEW BEST:: SOT 7598 SOS 1892 HAS SOPS 1892 HAS SOUS 1555 HAS SOUPS 1555 WITH SCORE 1556.892
AT ITER 6411 NEW BEST:: SOT 7594 SOS 1886 HAS SOPS 1886 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1552.886
AT ITER 6561 NEW BEST:: SOT 7591 SOS 1884 HAS SOPS 1884 HAS SOUS 1551 HAS SOUPS 1551 WITH SCORE 1552.884
AT ITER 6610 NEW BEST:: SOT 7590 SOS 1883 HAS SOPS 1883 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1551.883
AT ITER 6707 NEW BEST:: SOT 7588 SOS 1882 HAS SOPS 1882 HAS SOUS 1550 HAS SOUPS 1550 WITH SCORE 1551.882
AT ITER 6736 NEW BEST:: SOT 7586 SOS 1877 HAS SOPS 1877 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1547.877
AT ITER 6802 NEW BEST:: SOT 7586 SOS 1867 HAS SOPS 1867 HAS SOUS 1546 HAS SOUPS 1546 WITH SCORE 1547.867
AT ITER 6835 NEW BEST:: SOT 7586 SOS 1863 HAS SOPS 1863 HAS SOUS 1544 HAS SOUPS 1544 WITH SCORE 1545.863
AT ITER 7043 NEW BEST:: SOT 7584 SOS 1856 HAS SOPS 1856 HAS SOUS 1539 HAS SOUPS 1539 WITH SCORE 1540.856
AT ITER 7380 NEW BEST:: SOT 7585 SOS 1844 HAS SOPS 1844 HAS SOUS 1533 HAS SOUPS 1533 WITH SCORE 1534.844
AT ITER 7427 NEW BEST:: SOT 7585 SOS 1842 HAS SOPS 1842 HAS SOUS 1531 HAS SOUPS 1531 WITH SCORE 1532.842
AT ITER 7445 NEW BEST:: SOT 7583 SOS 1839 HAS SOPS 1839 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1530.839
AT ITER 7469 NEW BEST:: SOT 7582 SOS 1838 HAS SOPS 1838 HAS SOUS 1529 HAS SOUPS 1529 WITH SCORE 1530.838
AT ITER 7590 NEW BEST:: SOT 7583 SOS 1831 HAS SOPS 1831 HAS SOUS 1526 HAS SOUPS 1526 WITH SCORE 1527.831
AT ITER 7603 NEW BEST:: SOT 7581 SOS 1831 HAS SOPS 1831 HAS SOUS 1525 HAS SOUPS 1525 WITH SCORE 1526.831
AT ITER 7664 NEW BEST:: SOT 7576 SOS 1844 HAS SOPS 1844 HAS SOUS 1520 HAS SOUPS 1520 WITH SCORE 1521.844
AT ITER 7759 NEW BEST:: SOT 7575 SOS 1842 HAS SOPS 1842 HAS SOUS 1518 HAS SOUPS 1518 WITH SCORE 1519.842
AT ITER 7820 NEW BEST:: SOT 7573 SOS 1839 HAS SOPS 1839 HAS SOUS 1515 HAS SOUPS 1515 WITH SCORE 1516.839
AT ITER 7946 NEW BEST:: SOT 7573 SOS 1823 HAS SOPS 1823 HAS SOUS 1513 HAS SOUPS 1513 WITH SCORE 1514.823
AT ITER 8000 NEW BEST:: SOT 7571 SOS 1819 HAS SOPS 1819 HAS SOUS 1509 HAS SOUPS 1509 WITH SCORE 1510.819
AT ITER 8171 NEW BEST:: SOT 7566 SOS 1814 HAS SOPS 1814 HAS SOUS 1503 HAS SOUPS 1503 WITH SCORE 1504.814
AT ITER 8195 NEW BEST:: SOT 7564 SOS 1812 HAS SOPS 1812 HAS SOUS 1501 HAS SOUPS 1501 WITH SCORE 1502.812
AT ITER 8315 NEW BEST:: SOT 7562 SOS 1811 HAS SOPS 1811 HAS SOUS 1500 HAS SOUPS 1500 WITH SCORE 1501.811
AT ITER 8356 NEW BEST:: SOT 7562 SOS 1805 HAS SOPS 1805 HAS SOUS 1497 HAS SOUPS 1497 WITH SCORE 1498.805
AT ITER 8486 NEW BEST:: SOT 7560 SOS 1799 HAS SOPS 1799 HAS SOUS 1493 HAS SOUPS 1493 WITH SCORE 1494.799
AT ITER 8572 NEW BEST:: SOT 7558 SOS 1796 HAS SOPS 1796 HAS SOUS 1491 HAS SOUPS 1491 WITH SCORE 1492.796
AT ITER 8636 NEW BEST:: SOT 7558 SOS 1794 HAS SOPS 1794 HAS SOUS 1487 HAS SOUPS 1487 WITH SCORE 1488.794
AT ITER 8699 NEW BEST:: SOT 7559 SOS 1792 HAS SOPS 1792 HAS SOUS 1483 HAS SOUPS 1483 WITH SCORE 1484.792
AT ITER 8736 NEW BEST:: SOT 7556 SOS 1789 HAS SOPS 1789 HAS SOUS 1480 HAS SOUPS 1480 WITH SCORE 1481.789
AT ITER 8906 NEW BEST:: SOT 7552 SOS 1782 HAS SOPS 1782 HAS SOUS 1472 HAS SOUPS 1472 WITH SCORE 1473.782
AT ITER 8980 NEW BEST:: SOT 7550 SOS 1778 HAS SOPS 1778 HAS SOUS 1469 HAS SOUPS 1469 WITH SCORE 1470.778
AT ITER 9004 NEW BEST:: SOT 7546 SOS 1775 HAS SOPS 1775 HAS SOUS 1466 HAS SOUPS 1466 WITH SCORE 1467.775
AT ITER 9019 NEW BEST:: SOT 7545 SOS 1773 HAS SOPS 1773 HAS SOUS 1464 HAS SOUPS 1464 WITH SCORE 1465.773
AT ITER 9145 NEW BEST:: SOT 7543 SOS 1771 HAS SOPS 1771 HAS SOUS 1462 HAS SOUPS 1462 WITH SCORE 1463.771
AT ITER 9298 NEW BEST:: SOT 7541 SOS 1770 HAS SOPS 1770 HAS SOUS 1461 HAS SOUPS 1461 WITH SCORE 1462.77
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393220 kB
MemFree: 4531128 kB
After kill :
MemTotal: 16393220 kB
MemFree: 16125928 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ perl -pe 's/.*\.//g'
++ sed s/.jar//
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination StateSpace -timeout 360 -rebuildPNML
cp: cannot stat 'StateSpace.sr.xml': No such file or directory
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="ShieldPPPs-PT-004A"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smartxred"
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 smartxred"
echo " Input is ShieldPPPs-PT-004A, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r395-oct2-167903718700408"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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