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.r203-smll-167840349100104.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 smartxred
Input is GPUForwardProgress-PT-28a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r203-smll-167840349100104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 560K
-rw-r--r-- 1 mcc users 7.0K Feb 25 14:30 CTLCardinality.txt
-rw-r--r-- 1 mcc users 78K Feb 25 14:30 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.3K Feb 25 14:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 14:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 23K Feb 25 16:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 16:12 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:12 LTLFireability.xml
-rw-r--r-- 1 mcc users 17K Feb 25 14:35 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 202K Feb 25 14:35 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 7.3K Feb 25 14:33 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 14:33 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 16:12 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 16:12 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 44K 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 1678536464764

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=GPUForwardProgress-PT-28a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-11 12:07:47] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-11 12:07:47] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-11 12:07:47] [INFO ] Load time of PNML (sax parser for PT used): 99 ms
[2023-03-11 12:07:47] [INFO ] Transformed 120 places.
[2023-03-11 12:07:47] [INFO ] Transformed 149 transitions.
[2023-03-11 12:07:47] [INFO ] Found NUPN structural information;
[2023-03-11 12:07:47] [INFO ] Parsed PT model containing 120 places and 149 transitions and 581 arcs in 267 ms.
[2023-03-11 12:07:47] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 120 places, 149 transitions and 581 arcs took 10 ms.
Total runtime 344 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running GPUForwardProgress (PT), instance 28a
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: 120 places, 149 transitions, 581 arcs.
AT ITER 0 NEW BEST:: SOT 11668 SOS 10072 HAS SOPS 10070 HAS SOUS 7522 HAS SOUPS 7521 WITH SCORE 7531.072
AT ITER 1 NEW BEST:: SOT 11754 SOS 10111 HAS SOPS 10109 HAS SOUS 7520 HAS SOUPS 7519 WITH SCORE 7529.111
AT ITER 3 NEW BEST:: SOT 11824 SOS 10057 HAS SOPS 10055 HAS SOUS 7419 HAS SOUPS 7418 WITH SCORE 7428.057
AT ITER 4 NEW BEST:: SOT 11824 SOS 10057 HAS SOPS 10055 HAS SOUS 7415 HAS SOUPS 7414 WITH SCORE 7424.057
AT ITER 11 NEW BEST:: SOT 11811 SOS 10031 HAS SOPS 10029 HAS SOUS 7389 HAS SOUPS 7388 WITH SCORE 7398.031
AT ITER 13 NEW BEST:: SOT 11761 SOS 9895 HAS SOPS 9893 HAS SOUS 7303 HAS SOUPS 7302 WITH SCORE 7311.895
AT ITER 14 NEW BEST:: SOT 11715 SOS 9772 HAS SOPS 9770 HAS SOUS 7226 HAS SOUPS 7225 WITH SCORE 7234.772
AT ITER 15 NEW BEST:: SOT 11827 SOS 9592 HAS SOPS 9590 HAS SOUS 7108 HAS SOUPS 7107 WITH SCORE 7116.592
AT ITER 17 NEW BEST:: SOT 11869 SOS 9634 HAS SOPS 9632 HAS SOUS 7088 HAS SOUPS 7087 WITH SCORE 7096.634
AT ITER 18 NEW BEST:: SOT 11829 SOS 9520 HAS SOPS 9518 HAS SOUS 7014 HAS SOUPS 7013 WITH SCORE 7022.52
AT ITER 19 NEW BEST:: SOT 11821 SOS 9504 HAS SOPS 9502 HAS SOUS 7006 HAS SOUPS 7005 WITH SCORE 7014.504
AT ITER 20 NEW BEST:: SOT 11811 SOS 9494 HAS SOPS 9492 HAS SOUS 6996 HAS SOUPS 6995 WITH SCORE 7004.494
AT ITER 21 NEW BEST:: SOT 11903 SOS 9597 HAS SOPS 9595 HAS SOUS 6973 HAS SOUPS 6972 WITH SCORE 6981.597
AT ITER 23 NEW BEST:: SOT 11966 SOS 9660 HAS SOPS 9658 HAS SOUS 6931 HAS SOUPS 6930 WITH SCORE 6939.66
AT ITER 25 NEW BEST:: SOT 11966 SOS 9660 HAS SOPS 9658 HAS SOUS 6928 HAS SOUPS 6927 WITH SCORE 6936.66
AT ITER 27 NEW BEST:: SOT 12038 SOS 9656 HAS SOPS 9654 HAS SOUS 6871 HAS SOUPS 6870 WITH SCORE 6879.656
AT ITER 28 NEW BEST:: SOT 12122 SOS 9613 HAS SOPS 9611 HAS SOUS 6768 HAS SOUPS 6767 WITH SCORE 6776.613
AT ITER 29 NEW BEST:: SOT 12126 SOS 9529 HAS SOPS 9527 HAS SOUS 6690 HAS SOUPS 6689 WITH SCORE 6698.529
AT ITER 31 NEW BEST:: SOT 12109 SOS 9512 HAS SOPS 9510 HAS SOUS 6683 HAS SOUPS 6682 WITH SCORE 6691.512
AT ITER 32 NEW BEST:: SOT 12109 SOS 9533 HAS SOPS 9531 HAS SOUS 6676 HAS SOUPS 6675 WITH SCORE 6684.533
AT ITER 35 NEW BEST:: SOT 12066 SOS 9404 HAS SOPS 9402 HAS SOUS 6547 HAS SOUPS 6546 WITH SCORE 6555.404
AT ITER 36 NEW BEST:: SOT 12052 SOS 9362 HAS SOPS 9360 HAS SOUS 6533 HAS SOUPS 6532 WITH SCORE 6541.362
AT ITER 38 NEW BEST:: SOT 11996 SOS 8553 HAS SOPS 8551 HAS SOUS 6444 HAS SOUPS 6443 WITH SCORE 6451.553
AT ITER 40 NEW BEST:: SOT 11987 SOS 8404 HAS SOPS 8402 HAS SOUS 6305 HAS SOUPS 6304 WITH SCORE 6312.404
AT ITER 45 NEW BEST:: SOT 12039 SOS 8407 HAS SOPS 8405 HAS SOUS 6238 HAS SOUPS 6237 WITH SCORE 6245.407
AT ITER 46 NEW BEST:: SOT 12029 SOS 8395 HAS SOPS 8393 HAS SOUS 6236 HAS SOUPS 6235 WITH SCORE 6243.395
AT ITER 52 NEW BEST:: SOT 11870 SOS 8284 HAS SOPS 8282 HAS SOUS 6224 HAS SOUPS 6223 WITH SCORE 6231.284
AT ITER 53 NEW BEST:: SOT 11846 SOS 8260 HAS SOPS 8258 HAS SOUS 6199 HAS SOUPS 6198 WITH SCORE 6206.26
AT ITER 55 NEW BEST:: SOT 11910 SOS 8292 HAS SOPS 8290 HAS SOUS 6178 HAS SOUPS 6177 WITH SCORE 6185.292
AT ITER 56 NEW BEST:: SOT 11911 SOS 8122 HAS SOPS 8120 HAS SOUS 6029 HAS SOUPS 6028 WITH SCORE 6036.122
AT ITER 58 NEW BEST:: SOT 11911 SOS 8121 HAS SOPS 8119 HAS SOUS 6024 HAS SOUPS 6023 WITH SCORE 6031.121
AT ITER 59 NEW BEST:: SOT 12007 SOS 8123 HAS SOPS 8121 HAS SOUS 5935 HAS SOUPS 5934 WITH SCORE 5942.123
AT ITER 60 NEW BEST:: SOT 12007 SOS 8120 HAS SOPS 8118 HAS SOUS 5924 HAS SOUPS 5923 WITH SCORE 5931.12
AT ITER 63 NEW BEST:: SOT 12006 SOS 8119 HAS SOPS 8117 HAS SOUS 5923 HAS SOUPS 5922 WITH SCORE 5930.119
AT ITER 64 NEW BEST:: SOT 12082 SOS 8124 HAS SOPS 8122 HAS SOUS 5886 HAS SOUPS 5885 WITH SCORE 5893.124
AT ITER 70 NEW BEST:: SOT 12015 SOS 8101 HAS SOPS 8099 HAS SOUS 5863 HAS SOUPS 5862 WITH SCORE 5870.101
AT ITER 71 NEW BEST:: SOT 12149 SOS 8215 HAS SOPS 8213 HAS SOUS 5856 HAS SOUPS 5855 WITH SCORE 5863.215
AT ITER 73 NEW BEST:: SOT 12132 SOS 8134 HAS SOPS 8132 HAS SOUS 5749 HAS SOUPS 5748 WITH SCORE 5756.134
AT ITER 75 NEW BEST:: SOT 12116 SOS 8102 HAS SOPS 8100 HAS SOUS 5721 HAS SOUPS 5720 WITH SCORE 5728.102
AT ITER 76 NEW BEST:: SOT 12148 SOS 8055 HAS SOPS 8053 HAS SOUS 5690 HAS SOUPS 5689 WITH SCORE 5697.055
AT ITER 77 NEW BEST:: SOT 12106 SOS 7963 HAS SOPS 7961 HAS SOUS 5627 HAS SOUPS 5626 WITH SCORE 5633.963
AT ITER 78 NEW BEST:: SOT 12091 SOS 7948 HAS SOPS 7946 HAS SOUS 5612 HAS SOUPS 5611 WITH SCORE 5618.948
AT ITER 80 NEW BEST:: SOT 12087 SOS 7940 HAS SOPS 7938 HAS SOUS 5604 HAS SOUPS 5603 WITH SCORE 5610.94
AT ITER 84 NEW BEST:: SOT 12079 SOS 7933 HAS SOPS 7931 HAS SOUS 5597 HAS SOUPS 5596 WITH SCORE 5603.933
AT ITER 86 NEW BEST:: SOT 11975 SOS 7829 HAS SOPS 7827 HAS SOUS 5548 HAS SOUPS 5547 WITH SCORE 5554.829
AT ITER 89 NEW BEST:: SOT 11933 SOS 7724 HAS SOPS 7722 HAS SOUS 5464 HAS SOUPS 5463 WITH SCORE 5470.724
AT ITER 90 NEW BEST:: SOT 11931 SOS 7722 HAS SOPS 7720 HAS SOUS 5462 HAS SOUPS 5461 WITH SCORE 5468.722
AT ITER 94 NEW BEST:: SOT 11982 SOS 7761 HAS SOPS 7759 HAS SOUS 5450 HAS SOUPS 5449 WITH SCORE 5456.761
AT ITER 97 NEW BEST:: SOT 11913 SOS 7692 HAS SOPS 7690 HAS SOUS 5399 HAS SOUPS 5398 WITH SCORE 5405.692
AT ITER 101 NEW BEST:: SOT 11910 SOS 7689 HAS SOPS 7687 HAS SOUS 5393 HAS SOUPS 5392 WITH SCORE 5399.689
AT ITER 109 NEW BEST:: SOT 11878 SOS 7641 HAS SOPS 7639 HAS SOUS 5361 HAS SOUPS 5360 WITH SCORE 5367.641
AT ITER 111 NEW BEST:: SOT 11878 SOS 7628 HAS SOPS 7626 HAS SOUS 5349 HAS SOUPS 5348 WITH SCORE 5355.628
AT ITER 113 NEW BEST:: SOT 11939 SOS 7433 HAS SOPS 7431 HAS SOUS 5201 HAS SOUPS 5200 WITH SCORE 5207.433
AT ITER 116 NEW BEST:: SOT 11963 SOS 7340 HAS SOPS 7338 HAS SOUS 5126 HAS SOUPS 5125 WITH SCORE 5132.34
AT ITER 118 NEW BEST:: SOT 11953 SOS 7327 HAS SOPS 7325 HAS SOUS 5118 HAS SOUPS 5117 WITH SCORE 5124.327
AT ITER 133 NEW BEST:: SOT 11941 SOS 7315 HAS SOPS 7313 HAS SOUS 5110 HAS SOUPS 5109 WITH SCORE 5116.315
AT ITER 137 NEW BEST:: SOT 11941 SOS 7305 HAS SOPS 7303 HAS SOUS 5100 HAS SOUPS 5099 WITH SCORE 5106.305
AT ITER 138 NEW BEST:: SOT 11974 SOS 7272 HAS SOPS 7270 HAS SOUS 5067 HAS SOUPS 5066 WITH SCORE 5073.272
AT ITER 143 NEW BEST:: SOT 11964 SOS 7262 HAS SOPS 7260 HAS SOUS 5049 HAS SOUPS 5048 WITH SCORE 5055.262
AT ITER 146 NEW BEST:: SOT 11684 SOS 6970 HAS SOPS 6968 HAS SOUS 4746 HAS SOUPS 4745 WITH SCORE 4751.97
AT ITER 149 NEW BEST:: SOT 11682 SOS 6939 HAS SOPS 6937 HAS SOUS 4697 HAS SOUPS 4696 WITH SCORE 4702.939
AT ITER 150 NEW BEST:: SOT 11627 SOS 6829 HAS SOPS 6827 HAS SOUS 4619 HAS SOUPS 4618 WITH SCORE 4624.829
AT ITER 156 NEW BEST:: SOT 11627 SOS 6820 HAS SOPS 6818 HAS SOUS 4619 HAS SOUPS 4618 WITH SCORE 4624.82
AT ITER 162 NEW BEST:: SOT 11654 SOS 6914 HAS SOPS 6912 HAS SOUS 4589 HAS SOUPS 4588 WITH SCORE 4594.914
AT ITER 163 NEW BEST:: SOT 11720 SOS 6863 HAS SOPS 6861 HAS SOUS 4539 HAS SOUPS 4538 WITH SCORE 4544.863
AT ITER 164 NEW BEST:: SOT 11695 SOS 6838 HAS SOPS 6836 HAS SOUS 4514 HAS SOUPS 4513 WITH SCORE 4519.838
AT ITER 167 NEW BEST:: SOT 11680 SOS 6823 HAS SOPS 6821 HAS SOUS 4514 HAS SOUPS 4513 WITH SCORE 4519.823
AT ITER 172 NEW BEST:: SOT 11680 SOS 6795 HAS SOPS 6793 HAS SOUS 4460 HAS SOUPS 4459 WITH SCORE 4465.795
AT ITER 177 NEW BEST:: SOT 11681 SOS 6795 HAS SOPS 6793 HAS SOUS 4453 HAS SOUPS 4452 WITH SCORE 4458.795
AT ITER 179 NEW BEST:: SOT 11681 SOS 6697 HAS SOPS 6695 HAS SOUS 4379 HAS SOUPS 4378 WITH SCORE 4384.697
AT ITER 181 NEW BEST:: SOT 11655 SOS 6671 HAS SOPS 6669 HAS SOUS 4353 HAS SOUPS 4352 WITH SCORE 4358.671
AT ITER 182 NEW BEST:: SOT 11615 SOS 6676 HAS SOPS 6674 HAS SOUS 4349 HAS SOUPS 4348 WITH SCORE 4354.676
AT ITER 199 NEW BEST:: SOT 11652 SOS 6676 HAS SOPS 6674 HAS SOUS 4325 HAS SOUPS 4324 WITH SCORE 4330.676
AT ITER 202 NEW BEST:: SOT 11600 SOS 6640 HAS SOPS 6638 HAS SOUS 4299 HAS SOUPS 4298 WITH SCORE 4304.64
AT ITER 204 NEW BEST:: SOT 11586 SOS 6598 HAS SOPS 6596 HAS SOUS 4257 HAS SOUPS 4256 WITH SCORE 4262.598
AT ITER 207 NEW BEST:: SOT 11586 SOS 6586 HAS SOPS 6584 HAS SOUS 4245 HAS SOUPS 4244 WITH SCORE 4250.586
AT ITER 210 NEW BEST:: SOT 11522 SOS 6508 HAS SOPS 6506 HAS SOUS 4192 HAS SOUPS 4191 WITH SCORE 4197.508
AT ITER 214 NEW BEST:: SOT 11508 SOS 6428 HAS SOPS 6426 HAS SOUS 4046 HAS SOUPS 4045 WITH SCORE 4051.428
AT ITER 218 NEW BEST:: SOT 11481 SOS 6396 HAS SOPS 6394 HAS SOUS 4030 HAS SOUPS 4029 WITH SCORE 4035.396
AT ITER 225 NEW BEST:: SOT 11483 SOS 6398 HAS SOPS 6396 HAS SOUS 4013 HAS SOUPS 4012 WITH SCORE 4018.398
AT ITER 230 NEW BEST:: SOT 11482 SOS 6386 HAS SOPS 6384 HAS SOUS 4006 HAS SOUPS 4005 WITH SCORE 4011.386
AT ITER 238 NEW BEST:: SOT 11482 SOS 6380 HAS SOPS 6378 HAS SOUS 4000 HAS SOUPS 3999 WITH SCORE 4005.38
AT ITER 243 NEW BEST:: SOT 11479 SOS 6377 HAS SOPS 6375 HAS SOUS 3995 HAS SOUPS 3994 WITH SCORE 4000.377
AT ITER 244 NEW BEST:: SOT 11468 SOS 6355 HAS SOPS 6353 HAS SOUS 3989 HAS SOUPS 3988 WITH SCORE 3994.355
AT ITER 246 NEW BEST:: SOT 11453 SOS 6340 HAS SOPS 6338 HAS SOUS 3974 HAS SOUPS 3973 WITH SCORE 3979.34
AT ITER 249 NEW BEST:: SOT 11434 SOS 6321 HAS SOPS 6319 HAS SOUS 3946 HAS SOUPS 3945 WITH SCORE 3951.321
AT ITER 252 NEW BEST:: SOT 11433 SOS 6224 HAS SOPS 6222 HAS SOUS 3892 HAS SOUPS 3891 WITH SCORE 3897.224
AT ITER 255 NEW BEST:: SOT 11419 SOS 6200 HAS SOPS 6198 HAS SOUS 3874 HAS SOUPS 3873 WITH SCORE 3879.2
AT ITER 261 NEW BEST:: SOT 11419 SOS 6198 HAS SOPS 6196 HAS SOUS 3872 HAS SOUPS 3871 WITH SCORE 3877.198
AT ITER 269 NEW BEST:: SOT 11405 SOS 6166 HAS SOPS 6164 HAS SOUS 3867 HAS SOUPS 3866 WITH SCORE 3872.166
AT ITER 282 NEW BEST:: SOT 11405 SOS 6122 HAS SOPS 6120 HAS SOUS 3808 HAS SOUPS 3807 WITH SCORE 3813.122
AT ITER 287 NEW BEST:: SOT 11405 SOS 6116 HAS SOPS 6114 HAS SOUS 3808 HAS SOUPS 3807 WITH SCORE 3813.116
AT ITER 294 NEW BEST:: SOT 11410 SOS 5003 HAS SOPS 4957 HAS SOUS 3680 HAS SOUPS 3674 WITH SCORE 3679.003
AT ITER 305 NEW BEST:: SOT 11408 SOS 5002 HAS SOPS 4956 HAS SOUS 3679 HAS SOUPS 3673 WITH SCORE 3678.002
AT ITER 307 NEW BEST:: SOT 11420 SOS 5018 HAS SOPS 4972 HAS SOUS 3676 HAS SOUPS 3670 WITH SCORE 3675.018
AT ITER 323 NEW BEST:: SOT 11414 SOS 5012 HAS SOPS 4966 HAS SOUS 3664 HAS SOUPS 3658 WITH SCORE 3663.012
AT ITER 332 NEW BEST:: SOT 11409 SOS 4989 HAS SOPS 4943 HAS SOUS 3654 HAS SOUPS 3648 WITH SCORE 3652.989
AT ITER 358 NEW BEST:: SOT 11409 SOS 4984 HAS SOPS 4938 HAS SOUS 3650 HAS SOUPS 3644 WITH SCORE 3648.984
AT ITER 367 NEW BEST:: SOT 11412 SOS 4949 HAS SOPS 4903 HAS SOUS 3646 HAS SOUPS 3640 WITH SCORE 3644.949
AT ITER 369 NEW BEST:: SOT 11427 SOS 4944 HAS SOPS 4898 HAS SOUS 3632 HAS SOUPS 3626 WITH SCORE 3630.944
AT ITER 382 NEW BEST:: SOT 11419 SOS 4932 HAS SOPS 4886 HAS SOUS 3624 HAS SOUPS 3618 WITH SCORE 3622.932
AT ITER 384 NEW BEST:: SOT 11325 SOS 4838 HAS SOPS 4792 HAS SOUS 3579 HAS SOUPS 3573 WITH SCORE 3577.838
AT ITER 387 NEW BEST:: SOT 11162 SOS 4675 HAS SOPS 4629 HAS SOUS 3426 HAS SOUPS 3420 WITH SCORE 3424.675
AT ITER 392 NEW BEST:: SOT 11162 SOS 4639 HAS SOPS 4593 HAS SOUS 3420 HAS SOUPS 3414 WITH SCORE 3418.639
AT ITER 394 NEW BEST:: SOT 11157 SOS 4642 HAS SOPS 4596 HAS SOUS 3412 HAS SOUPS 3406 WITH SCORE 3410.642
AT ITER 410 NEW BEST:: SOT 11157 SOS 4616 HAS SOPS 4570 HAS SOUS 3412 HAS SOUPS 3406 WITH SCORE 3410.616
AT ITER 420 NEW BEST:: SOT 11143 SOS 4594 HAS SOPS 4548 HAS SOUS 3398 HAS SOUPS 3392 WITH SCORE 3396.594
AT ITER 427 NEW BEST:: SOT 11114 SOS 4568 HAS SOPS 4522 HAS SOUS 3381 HAS SOUPS 3375 WITH SCORE 3379.568
AT ITER 435 NEW BEST:: SOT 11078 SOS 4604 HAS SOPS 4558 HAS SOUS 3377 HAS SOUPS 3371 WITH SCORE 3375.604
AT ITER 438 NEW BEST:: SOT 11069 SOS 4554 HAS SOPS 4508 HAS SOUS 3343 HAS SOUPS 3337 WITH SCORE 3341.554
AT ITER 440 NEW BEST:: SOT 11067 SOS 4546 HAS SOPS 4500 HAS SOUS 3337 HAS SOUPS 3331 WITH SCORE 3335.546
AT ITER 466 NEW BEST:: SOT 11067 SOS 4538 HAS SOPS 4492 HAS SOUS 3333 HAS SOUPS 3327 WITH SCORE 3331.538
AT ITER 470 NEW BEST:: SOT 11047 SOS 4519 HAS SOPS 4473 HAS SOUS 3329 HAS SOUPS 3323 WITH SCORE 3327.519
AT ITER 471 NEW BEST:: SOT 11042 SOS 4509 HAS SOPS 4463 HAS SOUS 3319 HAS SOUPS 3313 WITH SCORE 3317.509
AT ITER 476 NEW BEST:: SOT 11042 SOS 4504 HAS SOPS 4458 HAS SOUS 3305 HAS SOUPS 3299 WITH SCORE 3303.504
AT ITER 479 NEW BEST:: SOT 11029 SOS 4483 HAS SOPS 4437 HAS SOUS 3287 HAS SOUPS 3281 WITH SCORE 3285.483
AT ITER 480 NEW BEST:: SOT 11018 SOS 4459 HAS SOPS 4413 HAS SOUS 3239 HAS SOUPS 3233 WITH SCORE 3237.459
AT ITER 502 NEW BEST:: SOT 10983 SOS 4424 HAS SOPS 4378 HAS SOUS 3203 HAS SOUPS 3197 WITH SCORE 3201.424
AT ITER 506 NEW BEST:: SOT 10967 SOS 4400 HAS SOPS 4354 HAS SOUS 3195 HAS SOUPS 3189 WITH SCORE 3193.4
AT ITER 515 NEW BEST:: SOT 10962 SOS 4392 HAS SOPS 4346 HAS SOUS 3185 HAS SOUPS 3179 WITH SCORE 3183.392
AT ITER 518 NEW BEST:: SOT 10924 SOS 4382 HAS SOPS 4336 HAS SOUS 3168 HAS SOUPS 3162 WITH SCORE 3166.382
AT ITER 521 NEW BEST:: SOT 10802 SOS 4456 HAS SOPS 4454 HAS SOUS 3055 HAS SOUPS 3054 WITH SCORE 3058.456
AT ITER 527 NEW BEST:: SOT 10801 SOS 4455 HAS SOPS 4453 HAS SOUS 3054 HAS SOUPS 3053 WITH SCORE 3057.455
AT ITER 532 NEW BEST:: SOT 10667 SOS 4433 HAS SOPS 4431 HAS SOUS 2939 HAS SOUPS 2938 WITH SCORE 2942.433
AT ITER 539 NEW BEST:: SOT 10643 SOS 4401 HAS SOPS 4399 HAS SOUS 2915 HAS SOUPS 2914 WITH SCORE 2918.401
AT ITER 544 NEW BEST:: SOT 10600 SOS 4378 HAS SOPS 4376 HAS SOUS 2881 HAS SOUPS 2880 WITH SCORE 2884.378
AT ITER 548 NEW BEST:: SOT 10590 SOS 4339 HAS SOPS 4337 HAS SOUS 2824 HAS SOUPS 2823 WITH SCORE 2827.339
AT ITER 549 NEW BEST:: SOT 10590 SOS 4333 HAS SOPS 4331 HAS SOUS 2822 HAS SOUPS 2821 WITH SCORE 2825.333
AT ITER 550 NEW BEST:: SOT 10572 SOS 4324 HAS SOPS 4322 HAS SOUS 2812 HAS SOUPS 2811 WITH SCORE 2815.324
AT ITER 555 NEW BEST:: SOT 10559 SOS 4311 HAS SOPS 4309 HAS SOUS 2808 HAS SOUPS 2807 WITH SCORE 2811.311
AT ITER 561 NEW BEST:: SOT 10559 SOS 4303 HAS SOPS 4301 HAS SOUS 2808 HAS SOUPS 2807 WITH SCORE 2811.303
AT ITER 562 NEW BEST:: SOT 10559 SOS 4300 HAS SOPS 4298 HAS SOUS 2806 HAS SOUPS 2805 WITH SCORE 2809.3
AT ITER 564 NEW BEST:: SOT 10550 SOS 4296 HAS SOPS 4294 HAS SOUS 2802 HAS SOUPS 2801 WITH SCORE 2805.296
AT ITER 565 NEW BEST:: SOT 10308 SOS 4066 HAS SOPS 4064 HAS SOUS 2553 HAS SOUPS 2552 WITH SCORE 2556.066
AT ITER 568 NEW BEST:: SOT 10284 SOS 4050 HAS SOPS 4048 HAS SOUS 2533 HAS SOUPS 2532 WITH SCORE 2536.05
AT ITER 583 NEW BEST:: SOT 10264 SOS 4030 HAS SOPS 4028 HAS SOUS 2513 HAS SOUPS 2512 WITH SCORE 2516.03
AT ITER 593 NEW BEST:: SOT 10184 SOS 4301 HAS SOPS 4299 HAS SOUS 2503 HAS SOUPS 2502 WITH SCORE 2506.301
AT ITER 599 NEW BEST:: SOT 10194 SOS 4321 HAS SOPS 4319 HAS SOUS 2500 HAS SOUPS 2499 WITH SCORE 2503.321
AT ITER 601 NEW BEST:: SOT 10223 SOS 4294 HAS SOPS 4292 HAS SOUS 2461 HAS SOUPS 2460 WITH SCORE 2464.294
AT ITER 602 NEW BEST:: SOT 10213 SOS 4311 HAS SOPS 4309 HAS SOUS 2456 HAS SOUPS 2455 WITH SCORE 2459.311
AT ITER 605 NEW BEST:: SOT 10212 SOS 4309 HAS SOPS 4307 HAS SOUS 2454 HAS SOUPS 2453 WITH SCORE 2457.309
AT ITER 618 NEW BEST:: SOT 10211 SOS 4311 HAS SOPS 4309 HAS SOUS 2452 HAS SOUPS 2451 WITH SCORE 2455.311
AT ITER 622 NEW BEST:: SOT 10207 SOS 4306 HAS SOPS 4304 HAS SOUS 2451 HAS SOUPS 2450 WITH SCORE 2454.306
AT ITER 645 NEW BEST:: SOT 10209 SOS 4268 HAS SOPS 4266 HAS SOUS 2451 HAS SOUPS 2450 WITH SCORE 2454.268
AT ITER 656 NEW BEST:: SOT 10207 SOS 4265 HAS SOPS 4263 HAS SOUS 2449 HAS SOUPS 2448 WITH SCORE 2452.265
AT ITER 662 NEW BEST:: SOT 10204 SOS 4262 HAS SOPS 4260 HAS SOUS 2446 HAS SOUPS 2445 WITH SCORE 2449.262
AT ITER 665 NEW BEST:: SOT 10204 SOS 4254 HAS SOPS 4252 HAS SOUS 2446 HAS SOUPS 2445 WITH SCORE 2449.254
AT ITER 668 NEW BEST:: SOT 10200 SOS 4250 HAS SOPS 4248 HAS SOUS 2446 HAS SOUPS 2445 WITH SCORE 2449.25
AT ITER 671 NEW BEST:: SOT 10200 SOS 4244 HAS SOPS 4242 HAS SOUS 2443 HAS SOUPS 2442 WITH SCORE 2446.244
AT ITER 675 NEW BEST:: SOT 10170 SOS 4194 HAS SOPS 4192 HAS SOUS 2383 HAS SOUPS 2382 WITH SCORE 2386.194
AT ITER 681 NEW BEST:: SOT 10164 SOS 4185 HAS SOPS 4183 HAS SOUS 2380 HAS SOUPS 2379 WITH SCORE 2383.185
AT ITER 702 NEW BEST:: SOT 10154 SOS 4146 HAS SOPS 4144 HAS SOUS 2360 HAS SOUPS 2359 WITH SCORE 2363.146
AT ITER 706 NEW BEST:: SOT 10146 SOS 4152 HAS SOPS 4150 HAS SOUS 2352 HAS SOUPS 2351 WITH SCORE 2355.152
AT ITER 709 NEW BEST:: SOT 10153 SOS 4151 HAS SOPS 4149 HAS SOUS 2347 HAS SOUPS 2346 WITH SCORE 2350.151
AT ITER 722 NEW BEST:: SOT 10147 SOS 4145 HAS SOPS 4143 HAS SOUS 2335 HAS SOUPS 2334 WITH SCORE 2338.145
AT ITER 735 NEW BEST:: SOT 10140 SOS 4137 HAS SOPS 4135 HAS SOUS 2321 HAS SOUPS 2320 WITH SCORE 2324.137
AT ITER 742 NEW BEST:: SOT 10220 SOS 4100 HAS SOPS 4098 HAS SOUS 2310 HAS SOUPS 2309 WITH SCORE 2313.1
AT ITER 745 NEW BEST:: SOT 10220 SOS 4094 HAS SOPS 4092 HAS SOUS 2303 HAS SOUPS 2302 WITH SCORE 2306.094
AT ITER 759 NEW BEST:: SOT 10187 SOS 4051 HAS SOPS 4049 HAS SOUS 2273 HAS SOUPS 2272 WITH SCORE 2276.051
AT ITER 766 NEW BEST:: SOT 10174 SOS 4053 HAS SOPS 4051 HAS SOUS 2262 HAS SOUPS 2261 WITH SCORE 2265.053
AT ITER 774 NEW BEST:: SOT 10159 SOS 4038 HAS SOPS 4036 HAS SOUS 2256 HAS SOUPS 2255 WITH SCORE 2259.038
AT ITER 775 NEW BEST:: SOT 10165 SOS 4020 HAS SOPS 4018 HAS SOUS 2247 HAS SOUPS 2246 WITH SCORE 2250.02
AT ITER 789 NEW BEST:: SOT 10159 SOS 4008 HAS SOPS 4006 HAS SOUS 2239 HAS SOUPS 2238 WITH SCORE 2242.008
AT ITER 791 NEW BEST:: SOT 10143 SOS 3976 HAS SOPS 3974 HAS SOUS 2221 HAS SOUPS 2220 WITH SCORE 2223.976
AT ITER 814 NEW BEST:: SOT 10141 SOS 3974 HAS SOPS 3972 HAS SOUS 2221 HAS SOUPS 2220 WITH SCORE 2223.974
AT ITER 825 NEW BEST:: SOT 10101 SOS 3954 HAS SOPS 3952 HAS SOUS 2221 HAS SOUPS 2220 WITH SCORE 2223.954
AT ITER 854 NEW BEST:: SOT 10104 SOS 3954 HAS SOPS 3952 HAS SOUS 2219 HAS SOUPS 2218 WITH SCORE 2221.954
AT ITER 863 NEW BEST:: SOT 10100 SOS 3950 HAS SOPS 3948 HAS SOUS 2219 HAS SOUPS 2218 WITH SCORE 2221.95
AT ITER 866 NEW BEST:: SOT 10089 SOS 3938 HAS SOPS 3936 HAS SOUS 2207 HAS SOUPS 2206 WITH SCORE 2209.938
AT ITER 877 NEW BEST:: SOT 10051 SOS 3900 HAS SOPS 3898 HAS SOUS 2131 HAS SOUPS 2130 WITH SCORE 2133.9
AT ITER 923 NEW BEST:: SOT 10036 SOS 3887 HAS SOPS 3885 HAS SOUS 2118 HAS SOUPS 2117 WITH SCORE 2120.887
AT ITER 942 NEW BEST:: SOT 10044 SOS 3890 HAS SOPS 3888 HAS SOUS 2115 HAS SOUPS 2114 WITH SCORE 2117.89
AT ITER 944 NEW BEST:: SOT 10023 SOS 3869 HAS SOPS 3867 HAS SOUS 2080 HAS SOUPS 2079 WITH SCORE 2082.869
AT ITER 953 NEW BEST:: SOT 10063 SOS 3495 HAS SOPS 3493 HAS SOUS 2060 HAS SOUPS 2059 WITH SCORE 2062.495
AT ITER 959 NEW BEST:: SOT 10066 SOS 3501 HAS SOPS 3499 HAS SOUS 2052 HAS SOUPS 2051 WITH SCORE 2054.501
AT ITER 964 NEW BEST:: SOT 10056 SOS 3494 HAS SOPS 3492 HAS SOUS 2049 HAS SOUPS 2048 WITH SCORE 2051.494
AT ITER 979 NEW BEST:: SOT 10047 SOS 3473 HAS SOPS 3471 HAS SOUS 2035 HAS SOUPS 2034 WITH SCORE 2037.473
AT ITER 983 NEW BEST:: SOT 10047 SOS 3460 HAS SOPS 3458 HAS SOUS 2030 HAS SOUPS 2029 WITH SCORE 2032.46
AT ITER 990 NEW BEST:: SOT 10041 SOS 3454 HAS SOPS 3452 HAS SOUS 2027 HAS SOUPS 2026 WITH SCORE 2029.454
AT ITER 1004 NEW BEST:: SOT 9996 SOS 3409 HAS SOPS 3407 HAS SOUS 1995 HAS SOUPS 1994 WITH SCORE 1997.409
AT ITER 1005 NEW BEST:: SOT 9990 SOS 3397 HAS SOPS 3395 HAS SOUS 1989 HAS SOUPS 1988 WITH SCORE 1991.397
AT ITER 1061 NEW BEST:: SOT 9982 SOS 3396 HAS SOPS 3394 HAS SOUS 1988 HAS SOUPS 1987 WITH SCORE 1990.396
AT ITER 1064 NEW BEST:: SOT 10014 SOS 3373 HAS SOPS 3371 HAS SOUS 1974 HAS SOUPS 1973 WITH SCORE 1976.373
AT ITER 1067 NEW BEST:: SOT 9999 SOS 3346 HAS SOPS 3344 HAS SOUS 1959 HAS SOUPS 1958 WITH SCORE 1961.346
AT ITER 1075 NEW BEST:: SOT 10010 SOS 3337 HAS SOPS 3335 HAS SOUS 1956 HAS SOUPS 1955 WITH SCORE 1958.337
AT ITER 1085 NEW BEST:: SOT 10009 SOS 3336 HAS SOPS 3334 HAS SOUS 1954 HAS SOUPS 1953 WITH SCORE 1956.336
AT ITER 1102 NEW BEST:: SOT 9943 SOS 3260 HAS SOPS 3258 HAS SOUS 1907 HAS SOUPS 1906 WITH SCORE 1909.26
AT ITER 1121 NEW BEST:: SOT 9912 SOS 3229 HAS SOPS 3227 HAS SOUS 1876 HAS SOUPS 1875 WITH SCORE 1878.229
AT ITER 1135 NEW BEST:: SOT 9912 SOS 3228 HAS SOPS 3226 HAS SOUS 1876 HAS SOUPS 1875 WITH SCORE 1878.228
AT ITER 1138 NEW BEST:: SOT 9905 SOS 3216 HAS SOPS 3214 HAS SOUS 1864 HAS SOUPS 1863 WITH SCORE 1866.216
AT ITER 1144 NEW BEST:: SOT 9903 SOS 3214 HAS SOPS 3212 HAS SOUS 1860 HAS SOUPS 1859 WITH SCORE 1862.214
AT ITER 1189 NEW BEST:: SOT 9907 SOS 3215 HAS SOPS 3213 HAS SOUS 1857 HAS SOUPS 1856 WITH SCORE 1859.215
AT ITER 1196 NEW BEST:: SOT 9906 SOS 3214 HAS SOPS 3212 HAS SOUS 1855 HAS SOUPS 1854 WITH SCORE 1857.214
AT ITER 1206 NEW BEST:: SOT 9898 SOS 3202 HAS SOPS 3200 HAS SOUS 1847 HAS SOUPS 1846 WITH SCORE 1849.202
AT ITER 1216 NEW BEST:: SOT 9875 SOS 3204 HAS SOPS 3202 HAS SOUS 1831 HAS SOUPS 1830 WITH SCORE 1833.204
AT ITER 1228 NEW BEST:: SOT 9879 SOS 3208 HAS SOPS 3206 HAS SOUS 1830 HAS SOUPS 1829 WITH SCORE 1832.208
AT ITER 1244 NEW BEST:: SOT 9876 SOS 3205 HAS SOPS 3203 HAS SOUS 1824 HAS SOUPS 1823 WITH SCORE 1826.205
AT ITER 1249 NEW BEST:: SOT 9877 SOS 3207 HAS SOPS 3205 HAS SOUS 1822 HAS SOUPS 1821 WITH SCORE 1824.207
AT ITER 1253 NEW BEST:: SOT 9874 SOS 3206 HAS SOPS 3204 HAS SOUS 1819 HAS SOUPS 1818 WITH SCORE 1821.206
AT ITER 1254 NEW BEST:: SOT 9871 SOS 3203 HAS SOPS 3201 HAS SOUS 1815 HAS SOUPS 1814 WITH SCORE 1817.203
AT ITER 1256 NEW BEST:: SOT 9872 SOS 3192 HAS SOPS 3190 HAS SOUS 1809 HAS SOUPS 1808 WITH SCORE 1811.192
AT ITER 1275 NEW BEST:: SOT 9873 SOS 3193 HAS SOPS 3191 HAS SOUS 1808 HAS SOUPS 1807 WITH SCORE 1810.193
AT ITER 1289 NEW BEST:: SOT 9871 SOS 3185 HAS SOPS 3183 HAS SOUS 1806 HAS SOUPS 1805 WITH SCORE 1808.185
AT ITER 1292 NEW BEST:: SOT 9872 SOS 3183 HAS SOPS 3181 HAS SOUS 1806 HAS SOUPS 1805 WITH SCORE 1808.183
AT ITER 1308 NEW BEST:: SOT 9862 SOS 3167 HAS SOPS 3165 HAS SOUS 1786 HAS SOUPS 1785 WITH SCORE 1788.167
AT ITER 1341 NEW BEST:: SOT 9889 SOS 3170 HAS SOPS 3168 HAS SOUS 1779 HAS SOUPS 1778 WITH SCORE 1781.17
AT ITER 1346 NEW BEST:: SOT 9879 SOS 3161 HAS SOPS 3159 HAS SOUS 1774 HAS SOUPS 1773 WITH SCORE 1776.161
AT ITER 1365 NEW BEST:: SOT 9861 SOS 3144 HAS SOPS 3142 HAS SOUS 1774 HAS SOUPS 1773 WITH SCORE 1776.144
AT ITER 1370 NEW BEST:: SOT 9863 SOS 3139 HAS SOPS 3137 HAS SOUS 1772 HAS SOUPS 1771 WITH SCORE 1774.139
AT ITER 1386 NEW BEST:: SOT 9862 SOS 3143 HAS SOPS 3141 HAS SOUS 1771 HAS SOUPS 1770 WITH SCORE 1773.143
AT ITER 1523 NEW BEST:: SOT 9861 SOS 3130 HAS SOPS 3128 HAS SOUS 1760 HAS SOUPS 1759 WITH SCORE 1762.13
AT ITER 1528 NEW BEST:: SOT 9861 SOS 3127 HAS SOPS 3125 HAS SOUS 1757 HAS SOUPS 1756 WITH SCORE 1759.127
AT ITER 1566 NEW BEST:: SOT 9853 SOS 3121 HAS SOPS 3119 HAS SOUS 1755 HAS SOUPS 1754 WITH SCORE 1757.121
AT ITER 1597 NEW BEST:: SOT 9848 SOS 3116 HAS SOPS 3114 HAS SOUS 1750 HAS SOUPS 1749 WITH SCORE 1752.116
AT ITER 1598 NEW BEST:: SOT 9850 SOS 3114 HAS SOPS 3112 HAS SOUS 1750 HAS SOUPS 1749 WITH SCORE 1752.114
AT ITER 1672 NEW BEST:: SOT 9836 SOS 3102 HAS SOPS 3100 HAS SOUS 1747 HAS SOUPS 1746 WITH SCORE 1749.102
AT ITER 1676 NEW BEST:: SOT 9832 SOS 3099 HAS SOPS 3097 HAS SOUS 1743 HAS SOUPS 1742 WITH SCORE 1745.099
AT ITER 1715 NEW BEST:: SOT 9828 SOS 3095 HAS SOPS 3093 HAS SOUS 1741 HAS SOUPS 1740 WITH SCORE 1743.095
AT ITER 1742 NEW BEST:: SOT 9827 SOS 3087 HAS SOPS 3085 HAS SOUS 1740 HAS SOUPS 1739 WITH SCORE 1742.087
AT ITER 1760 NEW BEST:: SOT 9816 SOS 3084 HAS SOPS 3082 HAS SOUS 1735 HAS SOUPS 1734 WITH SCORE 1737.084
AT ITER 1791 NEW BEST:: SOT 9812 SOS 3078 HAS SOPS 3076 HAS SOUS 1727 HAS SOUPS 1726 WITH SCORE 1729.078
AT ITER 1816 NEW BEST:: SOT 9812 SOS 3068 HAS SOPS 3066 HAS SOUS 1717 HAS SOUPS 1716 WITH SCORE 1719.068
AT ITER 1832 NEW BEST:: SOT 9791 SOS 3047 HAS SOPS 3045 HAS SOUS 1675 HAS SOUPS 1674 WITH SCORE 1677.047
AT ITER 1878 NEW BEST:: SOT 9790 SOS 3045 HAS SOPS 3043 HAS SOUS 1673 HAS SOUPS 1672 WITH SCORE 1675.045
AT ITER 1942 NEW BEST:: SOT 9791 SOS 3043 HAS SOPS 3041 HAS SOUS 1673 HAS SOUPS 1672 WITH SCORE 1675.043
AT ITER 1957 NEW BEST:: SOT 9789 SOS 3041 HAS SOPS 3039 HAS SOUS 1673 HAS SOUPS 1672 WITH SCORE 1675.041
AT ITER 2023 NEW BEST:: SOT 9788 SOS 3040 HAS SOPS 3038 HAS SOUS 1672 HAS SOUPS 1671 WITH SCORE 1674.04
AT ITER 2052 NEW BEST:: SOT 9786 SOS 3040 HAS SOPS 3038 HAS SOUS 1670 HAS SOUPS 1669 WITH SCORE 1672.04
AT ITER 2095 NEW BEST:: SOT 9786 SOS 3028 HAS SOPS 3026 HAS SOUS 1652 HAS SOUPS 1651 WITH SCORE 1654.028
AT ITER 2158 NEW BEST:: SOT 9795 SOS 3010 HAS SOPS 3008 HAS SOUS 1652 HAS SOUPS 1651 WITH SCORE 1654.01
AT ITER 2161 NEW BEST:: SOT 9798 SOS 3000 HAS SOPS 2998 HAS SOUS 1642 HAS SOUPS 1641 WITH SCORE 1644.0
AT ITER 2167 NEW BEST:: SOT 9801 SOS 2991 HAS SOPS 2989 HAS SOUS 1638 HAS SOUPS 1637 WITH SCORE 1639.991
AT ITER 2190 NEW BEST:: SOT 9792 SOS 2985 HAS SOPS 2983 HAS SOUS 1638 HAS SOUPS 1637 WITH SCORE 1639.985
AT ITER 2214 NEW BEST:: SOT 9788 SOS 2977 HAS SOPS 2975 HAS SOUS 1634 HAS SOUPS 1633 WITH SCORE 1635.977
AT ITER 2220 NEW BEST:: SOT 9776 SOS 3059 HAS SOPS 3008 HAS SOUS 1636 HAS SOUPS 1632 WITH SCORE 1635.059
AT ITER 2248 NEW BEST:: SOT 9773 SOS 3057 HAS SOPS 3006 HAS SOUS 1635 HAS SOUPS 1631 WITH SCORE 1634.057
AT ITER 2258 NEW BEST:: SOT 9758 SOS 3042 HAS SOPS 2991 HAS SOUS 1605 HAS SOUPS 1601 WITH SCORE 1604.042
AT ITER 2261 NEW BEST:: SOT 9757 SOS 3042 HAS SOPS 2991 HAS SOUS 1604 HAS SOUPS 1600 WITH SCORE 1603.042
AT ITER 2264 NEW BEST:: SOT 9759 SOS 3029 HAS SOPS 2978 HAS SOUS 1597 HAS SOUPS 1593 WITH SCORE 1596.029
AT ITER 2268 NEW BEST:: SOT 9730 SOS 3106 HAS SOPS 3055 HAS SOUS 1587 HAS SOUPS 1583 WITH SCORE 1586.106
AT ITER 2288 NEW BEST:: SOT 9727 SOS 3103 HAS SOPS 3052 HAS SOUS 1575 HAS SOUPS 1571 WITH SCORE 1574.103
AT ITER 2322 NEW BEST:: SOT 9726 SOS 3102 HAS SOPS 3051 HAS SOUS 1573 HAS SOUPS 1569 WITH SCORE 1572.102
AT ITER 2328 NEW BEST:: SOT 9726 SOS 3102 HAS SOPS 3051 HAS SOUS 1572 HAS SOUPS 1568 WITH SCORE 1571.102
AT ITER 2346 NEW BEST:: SOT 9721 SOS 3097 HAS SOPS 3046 HAS SOUS 1567 HAS SOUPS 1563 WITH SCORE 1566.097
AT ITER 2375 NEW BEST:: SOT 9720 SOS 3096 HAS SOPS 3045 HAS SOUS 1566 HAS SOUPS 1562 WITH SCORE 1565.096
AT ITER 2411 NEW BEST:: SOT 9718 SOS 3094 HAS SOPS 3043 HAS SOUS 1562 HAS SOUPS 1558 WITH SCORE 1561.094
AT ITER 2657 NEW BEST:: SOT 9727 SOS 3099 HAS SOPS 3048 HAS SOUS 1560 HAS SOUPS 1556 WITH SCORE 1559.099
AT ITER 2667 NEW BEST:: SOT 9731 SOS 3095 HAS SOPS 3044 HAS SOUS 1560 HAS SOUPS 1556 WITH SCORE 1559.095
AT ITER 2698 NEW BEST:: SOT 9734 SOS 3093 HAS SOPS 3042 HAS SOUS 1560 HAS SOUPS 1556 WITH SCORE 1559.093
AT ITER 2703 NEW BEST:: SOT 9723 SOS 3084 HAS SOPS 3033 HAS SOUS 1557 HAS SOUPS 1553 WITH SCORE 1556.084
AT ITER 2705 NEW BEST:: SOT 9718 SOS 3079 HAS SOPS 3028 HAS SOUS 1542 HAS SOUPS 1538 WITH SCORE 1541.079
AT ITER 2708 NEW BEST:: SOT 9713 SOS 3069 HAS SOPS 3018 HAS SOUS 1537 HAS SOUPS 1533 WITH SCORE 1536.069
AT ITER 2715 NEW BEST:: SOT 9713 SOS 3058 HAS SOPS 3007 HAS SOUS 1533 HAS SOUPS 1529 WITH SCORE 1532.058
AT ITER 2730 NEW BEST:: SOT 9711 SOS 3056 HAS SOPS 3005 HAS SOUS 1531 HAS SOUPS 1527 WITH SCORE 1530.056
AT ITER 2764 NEW BEST:: SOT 9707 SOS 3053 HAS SOPS 3002 HAS SOUS 1527 HAS SOUPS 1523 WITH SCORE 1526.053
AT ITER 2784 NEW BEST:: SOT 9697 SOS 3043 HAS SOPS 2992 HAS SOUS 1517 HAS SOUPS 1513 WITH SCORE 1516.043
AT ITER 2791 NEW BEST:: SOT 9696 SOS 3042 HAS SOPS 2991 HAS SOUS 1515 HAS SOUPS 1511 WITH SCORE 1514.042
AT ITER 2930 NEW BEST:: SOT 9696 SOS 3040 HAS SOPS 2989 HAS SOUS 1514 HAS SOUPS 1510 WITH SCORE 1513.04
AT ITER 3017 NEW BEST:: SOT 9695 SOS 3036 HAS SOPS 2985 HAS SOUS 1506 HAS SOUPS 1502 WITH SCORE 1505.036
AT ITER 3025 NEW BEST:: SOT 9696 SOS 3035 HAS SOPS 2984 HAS SOUS 1504 HAS SOUPS 1500 WITH SCORE 1503.035
AT ITER 3046 NEW BEST:: SOT 9662 SOS 3081 HAS SOPS 3079 HAS SOUS 1482 HAS SOUPS 1481 WITH SCORE 1484.081
AT ITER 3052 NEW BEST:: SOT 9651 SOS 3070 HAS SOPS 3068 HAS SOUS 1471 HAS SOUPS 1470 WITH SCORE 1473.07
AT ITER 3081 NEW BEST:: SOT 9652 SOS 3071 HAS SOPS 3069 HAS SOUS 1470 HAS SOUPS 1469 WITH SCORE 1472.071
AT ITER 3101 NEW BEST:: SOT 9647 SOS 3066 HAS SOPS 3064 HAS SOUS 1465 HAS SOUPS 1464 WITH SCORE 1467.066
AT ITER 3138 NEW BEST:: SOT 9645 SOS 3061 HAS SOPS 3059 HAS SOUS 1462 HAS SOUPS 1461 WITH SCORE 1464.061
AT ITER 3146 NEW BEST:: SOT 9643 SOS 3059 HAS SOPS 3057 HAS SOUS 1461 HAS SOUPS 1460 WITH SCORE 1463.059
AT ITER 3166 NEW BEST:: SOT 9639 SOS 3055 HAS SOPS 3053 HAS SOUS 1453 HAS SOUPS 1452 WITH SCORE 1455.055
AT ITER 3342 NEW BEST:: SOT 9638 SOS 3016 HAS SOPS 3014 HAS SOUS 1449 HAS SOUPS 1448 WITH SCORE 1451.016
AT ITER 3366 NEW BEST:: SOT 9648 SOS 3009 HAS SOPS 3007 HAS SOUS 1440 HAS SOUPS 1439 WITH SCORE 1442.009
AT ITER 3376 NEW BEST:: SOT 9645 SOS 3006 HAS SOPS 3004 HAS SOUS 1432 HAS SOUPS 1431 WITH SCORE 1434.006
AT ITER 3382 NEW BEST:: SOT 9645 SOS 3005 HAS SOPS 3003 HAS SOUS 1431 HAS SOUPS 1430 WITH SCORE 1433.005
AT ITER 3541 NEW BEST:: SOT 9645 SOS 3004 HAS SOPS 3002 HAS SOUS 1430 HAS SOUPS 1429 WITH SCORE 1432.004
AT ITER 3592 NEW BEST:: SOT 9621 SOS 2982 HAS SOPS 2980 HAS SOUS 1408 HAS SOUPS 1407 WITH SCORE 1409.982
AT ITER 3604 NEW BEST:: SOT 9629 SOS 2980 HAS SOPS 2978 HAS SOUS 1398 HAS SOUPS 1397 WITH SCORE 1399.98
AT ITER 3612 NEW BEST:: SOT 9627 SOS 2974 HAS SOPS 2972 HAS SOUS 1394 HAS SOUPS 1393 WITH SCORE 1395.974
AT ITER 3653 NEW BEST:: SOT 9623 SOS 2972 HAS SOPS 2970 HAS SOUS 1390 HAS SOUPS 1389 WITH SCORE 1391.972
AT ITER 3685 NEW BEST:: SOT 9620 SOS 2969 HAS SOPS 2967 HAS SOUS 1387 HAS SOUPS 1386 WITH SCORE 1388.969
AT ITER 3758 NEW BEST:: SOT 9613 SOS 2972 HAS SOPS 2970 HAS SOUS 1385 HAS SOUPS 1384 WITH SCORE 1386.972
AT ITER 3829 NEW BEST:: SOT 9612 SOS 2971 HAS SOPS 2969 HAS SOUS 1383 HAS SOUPS 1382 WITH SCORE 1384.971
AT ITER 3839 NEW BEST:: SOT 9610 SOS 2969 HAS SOPS 2967 HAS SOUS 1381 HAS SOUPS 1380 WITH SCORE 1382.969
AT ITER 3951 NEW BEST:: SOT 9615 SOS 2970 HAS SOPS 2968 HAS SOUS 1375 HAS SOUPS 1374 WITH SCORE 1376.97
AT ITER 3985 NEW BEST:: SOT 9610 SOS 2969 HAS SOPS 2967 HAS SOUS 1373 HAS SOUPS 1372 WITH SCORE 1374.969
AT ITER 4076 NEW BEST:: SOT 9602 SOS 2961 HAS SOPS 2959 HAS SOUS 1365 HAS SOUPS 1364 WITH SCORE 1366.961
AT ITER 4086 NEW BEST:: SOT 9623 SOS 2970 HAS SOPS 2968 HAS SOUS 1359 HAS SOUPS 1358 WITH SCORE 1360.97
AT ITER 4168 NEW BEST:: SOT 9619 SOS 2966 HAS SOPS 2964 HAS SOUS 1351 HAS SOUPS 1350 WITH SCORE 1352.966
AT ITER 4265 NEW BEST:: SOT 9618 SOS 2965 HAS SOPS 2963 HAS SOUS 1349 HAS SOUPS 1348 WITH SCORE 1350.965
AT ITER 4270 NEW BEST:: SOT 9622 SOS 2885 HAS SOPS 2883 HAS SOUS 1338 HAS SOUPS 1337 WITH SCORE 1339.885
AT ITER 4300 NEW BEST:: SOT 9618 SOS 2882 HAS SOPS 2880 HAS SOUS 1338 HAS SOUPS 1337 WITH SCORE 1339.882
AT ITER 4311 NEW BEST:: SOT 9620 SOS 2881 HAS SOPS 2879 HAS SOUS 1335 HAS SOUPS 1334 WITH SCORE 1336.881
AT ITER 4313 NEW BEST:: SOT 9618 SOS 2879 HAS SOPS 2877 HAS SOUS 1334 HAS SOUPS 1333 WITH SCORE 1335.879
AT ITER 4331 NEW BEST:: SOT 9615 SOS 2876 HAS SOPS 2874 HAS SOUS 1332 HAS SOUPS 1331 WITH SCORE 1333.876
AT ITER 4407 NEW BEST:: SOT 9608 SOS 2865 HAS SOPS 2863 HAS SOUS 1320 HAS SOUPS 1319 WITH SCORE 1321.865
AT ITER 4420 NEW BEST:: SOT 9607 SOS 2862 HAS SOPS 2860 HAS SOUS 1316 HAS SOUPS 1315 WITH SCORE 1317.862
AT ITER 4609 NEW BEST:: SOT 9621 SOS 2870 HAS SOPS 2868 HAS SOUS 1315 HAS SOUPS 1314 WITH SCORE 1316.87
AT ITER 4762 NEW BEST:: SOT 9619 SOS 2868 HAS SOPS 2866 HAS SOUS 1313 HAS SOUPS 1312 WITH SCORE 1314.868
AT ITER 4781 NEW BEST:: SOT 9609 SOS 2845 HAS SOPS 2843 HAS SOUS 1296 HAS SOUPS 1295 WITH SCORE 1297.845
AT ITER 4853 NEW BEST:: SOT 9599 SOS 2879 HAS SOPS 2877 HAS SOUS 1293 HAS SOUPS 1292 WITH SCORE 1294.879
AT ITER 4895 NEW BEST:: SOT 9602 SOS 2874 HAS SOPS 2872 HAS SOUS 1292 HAS SOUPS 1291 WITH SCORE 1293.874
AT ITER 4932 NEW BEST:: SOT 9607 SOS 2879 HAS SOPS 2877 HAS SOUS 1287 HAS SOUPS 1286 WITH SCORE 1288.879
AT ITER 4950 NEW BEST:: SOT 9607 SOS 2876 HAS SOPS 2874 HAS SOUS 1285 HAS SOUPS 1284 WITH SCORE 1286.876
AT ITER 5099 NEW BEST:: SOT 9608 SOS 2872 HAS SOPS 2870 HAS SOUS 1283 HAS SOUPS 1282 WITH SCORE 1284.872
AT ITER 5208 NEW BEST:: SOT 9610 SOS 2870 HAS SOPS 2868 HAS SOUS 1282 HAS SOUPS 1281 WITH SCORE 1283.87
AT ITER 5280 NEW BEST:: SOT 9636 SOS 2873 HAS SOPS 2871 HAS SOUS 1275 HAS SOUPS 1274 WITH SCORE 1276.873
AT ITER 5371 NEW BEST:: SOT 9635 SOS 2871 HAS SOPS 2869 HAS SOUS 1273 HAS SOUPS 1272 WITH SCORE 1274.871
AT ITER 5501 NEW BEST:: SOT 9641 SOS 2869 HAS SOPS 2867 HAS SOUS 1267 HAS SOUPS 1266 WITH SCORE 1268.869
AT ITER 5519 NEW BEST:: SOT 9641 SOS 2868 HAS SOPS 2866 HAS SOUS 1267 HAS SOUPS 1266 WITH SCORE 1268.868
AT ITER 5625 NEW BEST:: SOT 9647 SOS 2867 HAS SOPS 2865 HAS SOUS 1265 HAS SOUPS 1264 WITH SCORE 1266.867
AT ITER 5673 NEW BEST:: SOT 9646 SOS 2866 HAS SOPS 2864 HAS SOUS 1265 HAS SOUPS 1264 WITH SCORE 1266.866
AT ITER 5706 NEW BEST:: SOT 9647 SOS 2865 HAS SOPS 2863 HAS SOUS 1264 HAS SOUPS 1263 WITH SCORE 1265.865
AT ITER 5869 NEW BEST:: SOT 9653 SOS 2858 HAS SOPS 2856 HAS SOUS 1258 HAS SOUPS 1257 WITH SCORE 1259.858
AT ITER 5890 NEW BEST:: SOT 9656 SOS 2860 HAS SOPS 2858 HAS SOUS 1256 HAS SOUPS 1255 WITH SCORE 1257.86
AT ITER 6043 NEW BEST:: SOT 9656 SOS 2859 HAS SOPS 2857 HAS SOUS 1256 HAS SOUPS 1255 WITH SCORE 1257.859
AT ITER 6226 NEW BEST:: SOT 9676 SOS 2867 HAS SOPS 2865 HAS SOUS 1255 HAS SOUPS 1254 WITH SCORE 1256.867
AT ITER 6316 NEW BEST:: SOT 9676 SOS 2866 HAS SOPS 2864 HAS SOUS 1254 HAS SOUPS 1253 WITH SCORE 1255.866
AT ITER 6629 NEW BEST:: SOT 9675 SOS 2865 HAS SOPS 2863 HAS SOUS 1252 HAS SOUPS 1251 WITH SCORE 1253.865
AT ITER 6656 NEW BEST:: SOT 9673 SOS 2821 HAS SOPS 2819 HAS SOUS 1218 HAS SOUPS 1217 WITH SCORE 1219.821
AT ITER 6761 NEW BEST:: SOT 9672 SOS 2819 HAS SOPS 2817 HAS SOUS 1216 HAS SOUPS 1215 WITH SCORE 1217.819
AT ITER 6894 NEW BEST:: SOT 9665 SOS 2812 HAS SOPS 2810 HAS SOUS 1206 HAS SOUPS 1205 WITH SCORE 1207.812
AT ITER 7030 NEW BEST:: SOT 9655 SOS 2822 HAS SOPS 2820 HAS SOUS 1198 HAS SOUPS 1197 WITH SCORE 1199.822
AT ITER 7046 NEW BEST:: SOT 9655 SOS 2821 HAS SOPS 2819 HAS SOUS 1198 HAS SOUPS 1197 WITH SCORE 1199.821
AT ITER 7240 NEW BEST:: SOT 9656 SOS 2819 HAS SOPS 2817 HAS SOUS 1198 HAS SOUPS 1197 WITH SCORE 1199.819
AT ITER 7311 NEW BEST:: SOT 9655 SOS 2818 HAS SOPS 2816 HAS SOUS 1196 HAS SOUPS 1195 WITH SCORE 1197.818
AT ITER 7394 NEW BEST:: SOT 9656 SOS 2815 HAS SOPS 2813 HAS SOUS 1193 HAS SOUPS 1192 WITH SCORE 1194.815
AT ITER 7484 NEW BEST:: SOT 9650 SOS 2809 HAS SOPS 2807 HAS SOUS 1189 HAS SOUPS 1188 WITH SCORE 1190.809
AT ITER 7691 NEW BEST:: SOT 9647 SOS 2811 HAS SOPS 2809 HAS SOUS 1187 HAS SOUPS 1186 WITH SCORE 1188.811
AT ITER 7851 NEW BEST:: SOT 9647 SOS 2809 HAS SOPS 2807 HAS SOUS 1187 HAS SOUPS 1186 WITH SCORE 1188.809
AT ITER 7921 NEW BEST:: SOT 9644 SOS 2808 HAS SOPS 2806 HAS SOUS 1185 HAS SOUPS 1184 WITH SCORE 1186.808
AT ITER 7924 NEW BEST:: SOT 9646 SOS 2806 HAS SOPS 2804 HAS SOUS 1183 HAS SOUPS 1182 WITH SCORE 1184.806
AT ITER 8113 NEW BEST:: SOT 9644 SOS 2804 HAS SOPS 2802 HAS SOUS 1181 HAS SOUPS 1180 WITH SCORE 1182.804
AT ITER 8188 NEW BEST:: SOT 9641 SOS 2803 HAS SOPS 2801 HAS SOUS 1179 HAS SOUPS 1178 WITH SCORE 1180.803
AT ITER 8343 NEW BEST:: SOT 9641 SOS 2802 HAS SOPS 2800 HAS SOUS 1179 HAS SOUPS 1178 WITH SCORE 1180.802
AT ITER 8382 NEW BEST:: SOT 9635 SOS 2797 HAS SOPS 2795 HAS SOUS 1178 HAS SOUPS 1177 WITH SCORE 1179.797
AT ITER 8565 NEW BEST:: SOT 9633 SOS 2795 HAS SOPS 2793 HAS SOUS 1178 HAS SOUPS 1177 WITH SCORE 1179.795
AT ITER 8611 NEW BEST:: SOT 9615 SOS 2785 HAS SOPS 2783 HAS SOUS 1175 HAS SOUPS 1174 WITH SCORE 1176.785
AT ITER 8750 NEW BEST:: SOT 9615 SOS 2785 HAS SOPS 2783 HAS SOUS 1174 HAS SOUPS 1173 WITH SCORE 1175.785
AT ITER 9144 NEW BEST:: SOT 9615 SOS 2781 HAS SOPS 2779 HAS SOUS 1170 HAS SOUPS 1169 WITH SCORE 1171.781
AT ITER 9278 NEW BEST:: SOT 9613 SOS 2778 HAS SOPS 2776 HAS SOUS 1168 HAS SOUPS 1167 WITH SCORE 1169.778
AT ITER 9472 NEW BEST:: SOT 9610 SOS 2775 HAS SOPS 2773 HAS SOUS 1162 HAS SOUPS 1161 WITH SCORE 1163.775
AT ITER 9734 NEW BEST:: SOT 9597 SOS 2805 HAS SOPS 2784 HAS SOUS 1156 HAS SOUPS 1154 WITH SCORE 1156.805
AT ITER 9931 NEW BEST:: SOT 9596 SOS 2800 HAS SOPS 2779 HAS SOUS 1154 HAS SOUPS 1152 WITH SCORE 1154.8
STATE_SPACE STATES 432299810642657693 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 30 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 10951427439802658526 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678536476528

--------------------
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:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ 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

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="GPUForwardProgress-PT-28a"
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 GPUForwardProgress-PT-28a, 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 r203-smll-167840349100104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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