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.r139-smll-167819421500016.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 Dekker-PT-015, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r139-smll-167819421500016
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 620K
-rw-r--r-- 1 mcc users 7.8K Feb 26 01:43 CTLCardinality.txt
-rw-r--r-- 1 mcc users 83K Feb 26 01:43 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.5K Feb 26 01:41 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 01:41 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:56 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:56 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Feb 25 15:56 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:56 LTLFireability.xml
-rw-r--r-- 1 mcc users 16K Feb 26 01:45 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 166K Feb 26 01:45 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 8.1K Feb 26 01:44 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 56K Feb 26 01:44 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 15:56 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:56 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 141K 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 1678295700942

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=Dekker-PT-015
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-08 17:15:04] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-08 17:15:04] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-08 17:15:04] [INFO ] Load time of PNML (sax parser for PT used): 186 ms
[2023-03-08 17:15:04] [INFO ] Transformed 75 places.
[2023-03-08 17:15:04] [INFO ] Transformed 255 transitions.
[2023-03-08 17:15:04] [INFO ] Found NUPN structural information;
[2023-03-08 17:15:04] [INFO ] Parsed PT model containing 75 places and 255 transitions and 1830 arcs in 518 ms.
[2023-03-08 17:15:04] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 75 places, 255 transitions and 1830 arcs took 15 ms.
Total runtime 655 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Dekker (PT), instance 015
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: 75 places, 255 transitions, 1830 arcs.
AT ITER 0 NEW BEST:: SOT 16597 SOS 14826 HAS SOPS 13465 HAS SOUS 13524 HAS SOUPS 12618 WITH SCORE 12632.826
AT ITER 1 NEW BEST:: SOT 16146 SOS 14589 HAS SOPS 13014 HAS SOUS 13108 HAS SOUPS 12167 WITH SCORE 12181.589
AT ITER 2 NEW BEST:: SOT 16147 SOS 14504 HAS SOPS 12927 HAS SOUS 12725 HAS SOUPS 11811 WITH SCORE 11825.504
AT ITER 4 NEW BEST:: SOT 16073 SOS 14430 HAS SOPS 12853 HAS SOUS 12651 HAS SOUPS 11737 WITH SCORE 11751.43
AT ITER 5 NEW BEST:: SOT 16083 SOS 14182 HAS SOPS 12565 HAS SOUS 12020 HAS SOUPS 11147 WITH SCORE 11161.182
AT ITER 6 NEW BEST:: SOT 16105 SOS 14065 HAS SOPS 12599 HAS SOUS 11455 HAS SOUPS 10632 WITH SCORE 10646.065
AT ITER 7 NEW BEST:: SOT 15771 SOS 13955 HAS SOPS 12245 HAS SOUS 11109 HAS SOUPS 10251 WITH SCORE 10264.955
AT ITER 8 NEW BEST:: SOT 15665 SOS 13881 HAS SOPS 12158 HAS SOUS 11004 HAS SOUPS 10153 WITH SCORE 10166.881
AT ITER 15 NEW BEST:: SOT 15554 SOS 13770 HAS SOPS 12047 HAS SOUS 10893 HAS SOUPS 10042 WITH SCORE 10055.77
AT ITER 16 NEW BEST:: SOT 15554 SOS 13770 HAS SOPS 12041 HAS SOUS 10881 HAS SOUPS 10030 WITH SCORE 10043.77
AT ITER 17 NEW BEST:: SOT 15554 SOS 13685 HAS SOPS 11793 HAS SOUS 10708 HAS SOUPS 9857 WITH SCORE 9870.685
AT ITER 18 NEW BEST:: SOT 15354 SOS 13485 HAS SOPS 11585 HAS SOUS 10492 HAS SOUPS 9641 WITH SCORE 9654.485
AT ITER 20 NEW BEST:: SOT 15419 SOS 13450 HAS SOPS 11772 HAS SOUS 9990 HAS SOUPS 9146 WITH SCORE 9159.45
AT ITER 22 NEW BEST:: SOT 15539 SOS 13389 HAS SOPS 11533 HAS SOUS 9909 HAS SOUPS 9065 WITH SCORE 9078.389
AT ITER 26 NEW BEST:: SOT 15535 SOS 13385 HAS SOPS 11517 HAS SOUS 9890 HAS SOUPS 9037 WITH SCORE 9050.385
AT ITER 27 NEW BEST:: SOT 15564 SOS 13355 HAS SOPS 11584 HAS SOUS 9617 HAS SOUPS 8791 WITH SCORE 8804.355
AT ITER 28 NEW BEST:: SOT 15596 SOS 13097 HAS SOPS 11218 HAS SOUS 8834 HAS SOUPS 8051 WITH SCORE 8064.097
AT ITER 29 NEW BEST:: SOT 15596 SOS 13026 HAS SOPS 11083 HAS SOUS 8761 HAS SOUPS 7978 WITH SCORE 7991.026
AT ITER 36 NEW BEST:: SOT 15811 SOS 13035 HAS SOPS 11208 HAS SOUS 8484 HAS SOUPS 7743 WITH SCORE 7756.035
AT ITER 37 NEW BEST:: SOT 15811 SOS 13002 HAS SOPS 11145 HAS SOUS 8446 HAS SOUPS 7705 WITH SCORE 7718.002
AT ITER 39 NEW BEST:: SOT 15478 SOS 12544 HAS SOPS 10585 HAS SOUS 7988 HAS SOUPS 7239 WITH SCORE 7251.544
AT ITER 41 NEW BEST:: SOT 15478 SOS 12494 HAS SOPS 10585 HAS SOUS 7948 HAS SOUPS 7205 WITH SCORE 7217.494
AT ITER 42 NEW BEST:: SOT 15533 SOS 12325 HAS SOPS 10535 HAS SOUS 7531 HAS SOUPS 6828 WITH SCORE 6840.325
AT ITER 43 NEW BEST:: SOT 15533 SOS 12348 HAS SOPS 10557 HAS SOUS 7523 HAS SOUPS 6820 WITH SCORE 6832.348
AT ITER 47 NEW BEST:: SOT 15533 SOS 12356 HAS SOPS 10550 HAS SOUS 7488 HAS SOUPS 6785 WITH SCORE 6797.356
AT ITER 49 NEW BEST:: SOT 15375 SOS 12045 HAS SOPS 10145 HAS SOUS 7202 HAS SOUPS 6524 WITH SCORE 6536.045
AT ITER 52 NEW BEST:: SOT 15375 SOS 12037 HAS SOPS 10130 HAS SOUS 7193 HAS SOUPS 6515 WITH SCORE 6527.037
AT ITER 53 NEW BEST:: SOT 15421 SOS 12096 HAS SOPS 10249 HAS SOUS 7112 HAS SOUPS 6456 WITH SCORE 6468.096
AT ITER 54 NEW BEST:: SOT 15421 SOS 11932 HAS SOPS 10090 HAS SOUS 7043 HAS SOUPS 6414 WITH SCORE 6425.932
AT ITER 58 NEW BEST:: SOT 15388 SOS 11899 HAS SOPS 10057 HAS SOUS 7004 HAS SOUPS 6381 WITH SCORE 6392.899
AT ITER 62 NEW BEST:: SOT 15472 SOS 11974 HAS SOPS 10141 HAS SOUS 6962 HAS SOUPS 6348 WITH SCORE 6359.974
AT ITER 63 NEW BEST:: SOT 15484 SOS 11980 HAS SOPS 10153 HAS SOUS 6890 HAS SOUPS 6282 WITH SCORE 6293.98
AT ITER 66 NEW BEST:: SOT 15458 SOS 11919 HAS SOPS 10096 HAS SOUS 6878 HAS SOUPS 6270 WITH SCORE 6281.919
AT ITER 72 NEW BEST:: SOT 15109 SOS 11292 HAS SOPS 9267 HAS SOUS 6277 HAS SOUPS 5659 WITH SCORE 5670.292
AT ITER 83 NEW BEST:: SOT 15100 SOS 11283 HAS SOPS 9241 HAS SOUS 6251 HAS SOUPS 5616 WITH SCORE 5627.283
AT ITER 86 NEW BEST:: SOT 15278 SOS 11124 HAS SOPS 9323 HAS SOUS 5825 HAS SOUPS 5225 WITH SCORE 5236.124
AT ITER 87 NEW BEST:: SOT 15278 SOS 11033 HAS SOPS 9195 HAS SOUS 5782 HAS SOUPS 5172 WITH SCORE 5183.033
AT ITER 95 NEW BEST:: SOT 15278 SOS 11033 HAS SOPS 9188 HAS SOUS 5767 HAS SOUPS 5158 WITH SCORE 5169.033
AT ITER 102 NEW BEST:: SOT 15278 SOS 11033 HAS SOPS 9185 HAS SOUS 5764 HAS SOUPS 5152 WITH SCORE 5163.033
AT ITER 107 NEW BEST:: SOT 15278 SOS 10989 HAS SOPS 9121 HAS SOUS 5736 HAS SOUPS 5124 WITH SCORE 5134.989
AT ITER 110 NEW BEST:: SOT 15278 SOS 10986 HAS SOPS 9152 HAS SOUS 5730 HAS SOUPS 5120 WITH SCORE 5130.986
AT ITER 112 NEW BEST:: SOT 15425 SOS 10894 HAS SOPS 9238 HAS SOUS 5384 HAS SOUPS 4818 WITH SCORE 4828.894
AT ITER 115 NEW BEST:: SOT 15409 SOS 10854 HAS SOPS 9190 HAS SOUS 5352 HAS SOUPS 4790 WITH SCORE 4800.854
AT ITER 119 NEW BEST:: SOT 15409 SOS 10791 HAS SOPS 9092 HAS SOUS 5310 HAS SOUPS 4748 WITH SCORE 4758.791
AT ITER 126 NEW BEST:: SOT 15388 SOS 10770 HAS SOPS 9071 HAS SOUS 5289 HAS SOUPS 4727 WITH SCORE 4737.77
AT ITER 132 NEW BEST:: SOT 15494 SOS 10626 HAS SOPS 9247 HAS SOUS 5226 HAS SOUPS 4699 WITH SCORE 4709.626
AT ITER 135 NEW BEST:: SOT 15491 SOS 10596 HAS SOPS 9213 HAS SOUS 5214 HAS SOUPS 4688 WITH SCORE 4698.596
AT ITER 150 NEW BEST:: SOT 15459 SOS 10539 HAS SOPS 9117 HAS SOUS 5195 HAS SOUPS 4665 WITH SCORE 4675.539
AT ITER 151 NEW BEST:: SOT 15432 SOS 10512 HAS SOPS 9099 HAS SOUS 5177 HAS SOUPS 4656 WITH SCORE 4666.512
AT ITER 155 NEW BEST:: SOT 15432 SOS 10480 HAS SOPS 9099 HAS SOUS 5167 HAS SOUPS 4646 WITH SCORE 4656.48
AT ITER 158 NEW BEST:: SOT 15280 SOS 10328 HAS SOPS 8947 HAS SOUS 5015 HAS SOUPS 4494 WITH SCORE 4504.328
AT ITER 159 NEW BEST:: SOT 14800 SOS 9862 HAS SOPS 8184 HAS SOUS 5040 HAS SOUPS 4463 WITH SCORE 4472.862
AT ITER 163 NEW BEST:: SOT 14792 SOS 9849 HAS SOPS 8171 HAS SOUS 5027 HAS SOUPS 4450 WITH SCORE 4459.849
AT ITER 164 NEW BEST:: SOT 14792 SOS 9832 HAS SOPS 8154 HAS SOUS 5008 HAS SOUPS 4448 WITH SCORE 4457.832
AT ITER 184 NEW BEST:: SOT 14792 SOS 9851 HAS SOPS 8173 HAS SOUS 4997 HAS SOUPS 4437 WITH SCORE 4446.851
AT ITER 187 NEW BEST:: SOT 14752 SOS 9811 HAS SOPS 8133 HAS SOUS 4957 HAS SOUPS 4397 WITH SCORE 4406.811
AT ITER 193 NEW BEST:: SOT 14752 SOS 9812 HAS SOPS 8133 HAS SOUS 4957 HAS SOUPS 4396 WITH SCORE 4405.812
AT ITER 217 NEW BEST:: SOT 14752 SOS 9768 HAS SOPS 8105 HAS SOUS 4941 HAS SOUPS 4382 WITH SCORE 4391.768
AT ITER 226 NEW BEST:: SOT 14545 SOS 9622 HAS SOPS 7987 HAS SOUS 4774 HAS SOUPS 4214 WITH SCORE 4223.622
AT ITER 236 NEW BEST:: SOT 14762 SOS 9764 HAS SOPS 8213 HAS SOUS 4640 HAS SOUPS 4118 WITH SCORE 4127.764
AT ITER 239 NEW BEST:: SOT 14834 SOS 9751 HAS SOPS 8120 HAS SOUS 4610 HAS SOUPS 4088 WITH SCORE 4097.751
AT ITER 250 NEW BEST:: SOT 14834 SOS 9750 HAS SOPS 8119 HAS SOUS 4609 HAS SOUPS 4088 WITH SCORE 4097.75
AT ITER 257 NEW BEST:: SOT 14834 SOS 9816 HAS SOPS 8129 HAS SOUS 4609 HAS SOUPS 4073 WITH SCORE 4082.816
AT ITER 259 NEW BEST:: SOT 14834 SOS 9750 HAS SOPS 8043 HAS SOUS 4593 HAS SOUPS 4057 WITH SCORE 4066.75
AT ITER 265 NEW BEST:: SOT 14723 SOS 9679 HAS SOPS 7930 HAS SOUS 4603 HAS SOUPS 4056 WITH SCORE 4065.679
AT ITER 277 NEW BEST:: SOT 14618 SOS 9913 HAS SOPS 8249 HAS SOUS 4606 HAS SOUPS 4050 WITH SCORE 4059.913
AT ITER 282 NEW BEST:: SOT 14769 SOS 9682 HAS SOPS 8176 HAS SOUS 4377 HAS SOUPS 3855 WITH SCORE 3864.682
AT ITER 290 NEW BEST:: SOT 14757 SOS 9644 HAS SOPS 8132 HAS SOUS 4355 HAS SOUPS 3833 WITH SCORE 3842.644
AT ITER 291 NEW BEST:: SOT 14861 SOS 9738 HAS SOPS 8236 HAS SOUS 4319 HAS SOUPS 3807 WITH SCORE 3816.738
AT ITER 293 NEW BEST:: SOT 14861 SOS 9724 HAS SOPS 8236 HAS SOUS 4318 HAS SOUPS 3807 WITH SCORE 3816.724
AT ITER 303 NEW BEST:: SOT 14653 SOS 9600 HAS SOPS 8004 HAS SOUS 4362 HAS SOUPS 3803 WITH SCORE 3812.6
AT ITER 345 NEW BEST:: SOT 14644 SOS 9591 HAS SOPS 7998 HAS SOUS 4356 HAS SOUPS 3800 WITH SCORE 3809.591
AT ITER 346 NEW BEST:: SOT 14644 SOS 9591 HAS SOPS 7977 HAS SOUS 4335 HAS SOUPS 3758 WITH SCORE 3767.591
AT ITER 363 NEW BEST:: SOT 14179 SOS 9263 HAS SOPS 7512 HAS SOUS 4282 HAS SOUPS 3688 WITH SCORE 3697.263
AT ITER 370 NEW BEST:: SOT 14175 SOS 9259 HAS SOPS 7508 HAS SOUS 4278 HAS SOUPS 3684 WITH SCORE 3693.259
AT ITER 385 NEW BEST:: SOT 14169 SOS 9253 HAS SOPS 7502 HAS SOUS 4275 HAS SOUPS 3678 WITH SCORE 3687.253
AT ITER 388 NEW BEST:: SOT 14170 SOS 9227 HAS SOPS 7506 HAS SOUS 4264 HAS SOUPS 3670 WITH SCORE 3679.227
AT ITER 411 NEW BEST:: SOT 14079 SOS 9140 HAS SOPS 7415 HAS SOUS 4229 HAS SOUPS 3631 WITH SCORE 3640.14
AT ITER 412 NEW BEST:: SOT 14080 SOS 9117 HAS SOPS 7364 HAS SOUS 4205 HAS SOUPS 3605 WITH SCORE 3614.117
AT ITER 414 NEW BEST:: SOT 14127 SOS 9159 HAS SOPS 7416 HAS SOUS 4192 HAS SOUPS 3592 WITH SCORE 3601.159
AT ITER 453 NEW BEST:: SOT 14127 SOS 9128 HAS SOPS 7376 HAS SOUS 4166 HAS SOUPS 3579 WITH SCORE 3588.128
AT ITER 467 NEW BEST:: SOT 14122 SOS 9123 HAS SOPS 7371 HAS SOUS 4161 HAS SOUPS 3574 WITH SCORE 3583.123
AT ITER 469 NEW BEST:: SOT 14233 SOS 9224 HAS SOPS 7482 HAS SOUS 4132 HAS SOUPS 3555 WITH SCORE 3564.224
AT ITER 496 NEW BEST:: SOT 14233 SOS 9159 HAS SOPS 7456 HAS SOUS 4125 HAS SOUPS 3551 WITH SCORE 3560.159
AT ITER 522 NEW BEST:: SOT 14192 SOS 9118 HAS SOPS 7415 HAS SOUS 4084 HAS SOUPS 3510 WITH SCORE 3519.118
AT ITER 558 NEW BEST:: SOT 14149 SOS 9075 HAS SOPS 7391 HAS SOUS 4076 HAS SOUPS 3505 WITH SCORE 3514.075
AT ITER 572 NEW BEST:: SOT 14155 SOS 9015 HAS SOPS 7193 HAS SOUS 3904 HAS SOUPS 3351 WITH SCORE 3360.015
AT ITER 577 NEW BEST:: SOT 13890 SOS 8635 HAS SOPS 6482 HAS SOUS 3646 HAS SOUPS 3091 WITH SCORE 3099.635
AT ITER 588 NEW BEST:: SOT 13890 SOS 8606 HAS SOPS 6454 HAS SOUS 3646 HAS SOUPS 3091 WITH SCORE 3099.606
AT ITER 590 NEW BEST:: SOT 13888 SOS 8602 HAS SOPS 6448 HAS SOUS 3640 HAS SOUPS 3085 WITH SCORE 3093.602
AT ITER 592 NEW BEST:: SOT 13882 SOS 8596 HAS SOPS 6442 HAS SOUS 3634 HAS SOUPS 3079 WITH SCORE 3087.596
AT ITER 593 NEW BEST:: SOT 13767 SOS 8489 HAS SOPS 6103 HAS SOUS 3604 HAS SOUPS 3026 WITH SCORE 3034.489
AT ITER 608 NEW BEST:: SOT 13767 SOS 8489 HAS SOPS 6087 HAS SOUS 3588 HAS SOUPS 2994 WITH SCORE 3002.489
AT ITER 639 NEW BEST:: SOT 13662 SOS 8677 HAS SOPS 6265 HAS SOUS 3527 HAS SOUPS 2909 WITH SCORE 2917.677
AT ITER 662 NEW BEST:: SOT 13567 SOS 8609 HAS SOPS 6170 HAS SOUS 3495 HAS SOUPS 2871 WITH SCORE 2879.609
AT ITER 669 NEW BEST:: SOT 13562 SOS 8604 HAS SOPS 6165 HAS SOUS 3490 HAS SOUPS 2866 WITH SCORE 2874.604
AT ITER 671 NEW BEST:: SOT 13562 SOS 8566 HAS SOPS 6140 HAS SOUS 3477 HAS SOUPS 2859 WITH SCORE 2867.566
AT ITER 685 NEW BEST:: SOT 13479 SOS 8479 HAS SOPS 5997 HAS SOUS 3390 HAS SOUPS 2768 WITH SCORE 2776.479
AT ITER 700 NEW BEST:: SOT 13479 SOS 8468 HAS SOPS 5997 HAS SOUS 3386 HAS SOUPS 2765 WITH SCORE 2773.468
AT ITER 713 NEW BEST:: SOT 13470 SOS 8459 HAS SOPS 5988 HAS SOUS 3377 HAS SOUPS 2756 WITH SCORE 2764.459
AT ITER 721 NEW BEST:: SOT 13470 SOS 8448 HAS SOPS 5988 HAS SOUS 3374 HAS SOUPS 2753 WITH SCORE 2761.448
AT ITER 722 NEW BEST:: SOT 13486 SOS 8432 HAS SOPS 6008 HAS SOUS 3366 HAS SOUPS 2753 WITH SCORE 2761.432
AT ITER 726 NEW BEST:: SOT 13486 SOS 8431 HAS SOPS 6007 HAS SOUS 3365 HAS SOUPS 2753 WITH SCORE 2761.431
AT ITER 746 NEW BEST:: SOT 13475 SOS 8420 HAS SOPS 5992 HAS SOUS 3346 HAS SOUPS 2734 WITH SCORE 2742.42
AT ITER 748 NEW BEST:: SOT 13470 SOS 8414 HAS SOPS 5984 HAS SOUS 3338 HAS SOUPS 2725 WITH SCORE 2733.414
AT ITER 753 NEW BEST:: SOT 13470 SOS 8414 HAS SOPS 5981 HAS SOUS 3337 HAS SOUPS 2719 WITH SCORE 2727.414
AT ITER 772 NEW BEST:: SOT 13470 SOS 8408 HAS SOPS 5968 HAS SOUS 3324 HAS SOUPS 2705 WITH SCORE 2713.408
AT ITER 776 NEW BEST:: SOT 13458 SOS 8369 HAS SOPS 5918 HAS SOUS 3285 HAS SOUPS 2672 WITH SCORE 2680.369
AT ITER 782 NEW BEST:: SOT 13445 SOS 8362 HAS SOPS 5904 HAS SOUS 3280 HAS SOUPS 2665 WITH SCORE 2673.362
AT ITER 799 NEW BEST:: SOT 13433 SOS 8351 HAS SOPS 5891 HAS SOUS 3280 HAS SOUPS 2664 WITH SCORE 2672.351
AT ITER 813 NEW BEST:: SOT 13433 SOS 8361 HAS SOPS 5889 HAS SOUS 3268 HAS SOUPS 2650 WITH SCORE 2658.361
AT ITER 836 NEW BEST:: SOT 13433 SOS 8319 HAS SOPS 5893 HAS SOUS 3254 HAS SOUPS 2644 WITH SCORE 2652.319
AT ITER 840 NEW BEST:: SOT 13412 SOS 8298 HAS SOPS 5863 HAS SOUS 3224 HAS SOUPS 2605 WITH SCORE 2613.298
AT ITER 854 NEW BEST:: SOT 13412 SOS 8283 HAS SOPS 5847 HAS SOUS 3220 HAS SOUPS 2602 WITH SCORE 2610.283
AT ITER 861 NEW BEST:: SOT 13429 SOS 8282 HAS SOPS 5880 HAS SOUS 3213 HAS SOUPS 2599 WITH SCORE 2607.282
AT ITER 891 NEW BEST:: SOT 13434 SOS 8280 HAS SOPS 5885 HAS SOUS 3210 HAS SOUPS 2597 WITH SCORE 2605.28
AT ITER 899 NEW BEST:: SOT 13392 SOS 8259 HAS SOPS 5811 HAS SOUS 3201 HAS SOUPS 2582 WITH SCORE 2590.259
AT ITER 924 NEW BEST:: SOT 13368 SOS 8212 HAS SOPS 5740 HAS SOUS 3129 HAS SOUPS 2510 WITH SCORE 2518.212
AT ITER 932 NEW BEST:: SOT 13364 SOS 8208 HAS SOPS 5736 HAS SOUS 3123 HAS SOUPS 2506 WITH SCORE 2514.208
AT ITER 946 NEW BEST:: SOT 13364 SOS 8208 HAS SOPS 5734 HAS SOUS 3121 HAS SOUPS 2502 WITH SCORE 2510.208
AT ITER 955 NEW BEST:: SOT 13248 SOS 8136 HAS SOPS 5618 HAS SOUS 3126 HAS SOUPS 2496 WITH SCORE 2504.136
AT ITER 967 NEW BEST:: SOT 13256 SOS 8139 HAS SOPS 5626 HAS SOUS 3124 HAS SOUPS 2495 WITH SCORE 2503.139
AT ITER 975 NEW BEST:: SOT 13229 SOS 8120 HAS SOPS 5599 HAS SOUS 3119 HAS SOUPS 2488 WITH SCORE 2496.12
AT ITER 982 NEW BEST:: SOT 13227 SOS 8118 HAS SOPS 5597 HAS SOUS 3117 HAS SOUPS 2486 WITH SCORE 2494.118
AT ITER 1003 NEW BEST:: SOT 13164 SOS 8095 HAS SOPS 5527 HAS SOUS 3110 HAS SOUPS 2467 WITH SCORE 2475.095
AT ITER 1005 NEW BEST:: SOT 13157 SOS 8046 HAS SOPS 5456 HAS SOUS 3066 HAS SOUPS 2430 WITH SCORE 2438.046
AT ITER 1030 NEW BEST:: SOT 13141 SOS 8030 HAS SOPS 5440 HAS SOUS 3050 HAS SOUPS 2414 WITH SCORE 2422.03
AT ITER 1062 NEW BEST:: SOT 13141 SOS 8030 HAS SOPS 5438 HAS SOUS 3048 HAS SOUPS 2410 WITH SCORE 2418.03
AT ITER 1081 NEW BEST:: SOT 13117 SOS 8006 HAS SOPS 5415 HAS SOUS 3025 HAS SOUPS 2388 WITH SCORE 2396.006
AT ITER 1115 NEW BEST:: SOT 13117 SOS 7992 HAS SOPS 5415 HAS SOUS 3024 HAS SOUPS 2388 WITH SCORE 2395.992
AT ITER 1125 NEW BEST:: SOT 13123 SOS 7981 HAS SOPS 5405 HAS SOUS 3014 HAS SOUPS 2379 WITH SCORE 2386.981
AT ITER 1136 NEW BEST:: SOT 13146 SOS 8004 HAS SOPS 5416 HAS SOUS 3025 HAS SOUPS 2378 WITH SCORE 2386.004
AT ITER 1197 NEW BEST:: SOT 13230 SOS 8005 HAS SOPS 5480 HAS SOUS 3005 HAS SOUPS 2377 WITH SCORE 2385.005
AT ITER 1221 NEW BEST:: SOT 13230 SOS 7928 HAS SOPS 5405 HAS SOUS 3002 HAS SOUPS 2375 WITH SCORE 2382.928
AT ITER 1288 NEW BEST:: SOT 13230 SOS 7917 HAS SOPS 5388 HAS SOUS 2994 HAS SOUPS 2367 WITH SCORE 2374.917
AT ITER 1302 NEW BEST:: SOT 13238 SOS 7902 HAS SOPS 5348 HAS SOUS 2971 HAS SOUPS 2344 WITH SCORE 2351.902
AT ITER 1350 NEW BEST:: SOT 13240 SOS 7890 HAS SOPS 5336 HAS SOUS 2971 HAS SOUPS 2344 WITH SCORE 2351.89
AT ITER 1370 NEW BEST:: SOT 13239 SOS 7889 HAS SOPS 5335 HAS SOUS 2970 HAS SOUPS 2343 WITH SCORE 2350.889
AT ITER 1371 NEW BEST:: SOT 13271 SOS 7888 HAS SOPS 5431 HAS SOUS 2966 HAS SOUPS 2340 WITH SCORE 2347.888
AT ITER 1387 NEW BEST:: SOT 13272 SOS 7880 HAS SOPS 5432 HAS SOUS 2961 HAS SOUPS 2336 WITH SCORE 2343.88
AT ITER 1449 NEW BEST:: SOT 13272 SOS 7832 HAS SOPS 5384 HAS SOUS 2955 HAS SOUPS 2330 WITH SCORE 2337.832
AT ITER 1458 NEW BEST:: SOT 13261 SOS 7800 HAS SOPS 5343 HAS SOUS 2929 HAS SOUPS 2308 WITH SCORE 2315.8
AT ITER 1465 NEW BEST:: SOT 13260 SOS 7799 HAS SOPS 5342 HAS SOUS 2928 HAS SOUPS 2307 WITH SCORE 2314.799
AT ITER 1517 NEW BEST:: SOT 13213 SOS 7775 HAS SOPS 5247 HAS SOUS 2924 HAS SOUPS 2295 WITH SCORE 2302.775
AT ITER 1591 NEW BEST:: SOT 13220 SOS 7768 HAS SOPS 5256 HAS SOUS 2917 HAS SOUPS 2292 WITH SCORE 2299.768
AT ITER 1613 NEW BEST:: SOT 13211 SOS 7768 HAS SOPS 5246 HAS SOUS 2913 HAS SOUPS 2286 WITH SCORE 2293.768
AT ITER 1622 NEW BEST:: SOT 13317 SOS 7830 HAS SOPS 5352 HAS SOUS 2898 HAS SOUPS 2282 WITH SCORE 2289.83
AT ITER 1626 NEW BEST:: SOT 13292 SOS 7818 HAS SOPS 5312 HAS SOUS 2888 HAS SOUPS 2269 WITH SCORE 2276.818
AT ITER 1640 NEW BEST:: SOT 13292 SOS 7802 HAS SOPS 5297 HAS SOUS 2886 HAS SOUPS 2269 WITH SCORE 2276.802
AT ITER 1667 NEW BEST:: SOT 13240 SOS 7759 HAS SOPS 5240 HAS SOUS 2863 HAS SOUPS 2242 WITH SCORE 2249.759
AT ITER 1676 NEW BEST:: SOT 13229 SOS 7748 HAS SOPS 5229 HAS SOUS 2852 HAS SOUPS 2231 WITH SCORE 2238.748
AT ITER 1690 NEW BEST:: SOT 13227 SOS 7746 HAS SOPS 5224 HAS SOUS 2847 HAS SOUPS 2223 WITH SCORE 2230.746
AT ITER 1717 NEW BEST:: SOT 13226 SOS 7745 HAS SOPS 5222 HAS SOUS 2845 HAS SOUPS 2220 WITH SCORE 2227.745
AT ITER 1732 NEW BEST:: SOT 13216 SOS 7735 HAS SOPS 5212 HAS SOUS 2835 HAS SOUPS 2210 WITH SCORE 2217.735
AT ITER 1738 NEW BEST:: SOT 13215 SOS 7734 HAS SOPS 5211 HAS SOUS 2834 HAS SOUPS 2209 WITH SCORE 2216.734
AT ITER 1761 NEW BEST:: SOT 13236 SOS 7736 HAS SOPS 5232 HAS SOUS 2829 HAS SOUPS 2207 WITH SCORE 2214.736
AT ITER 1815 NEW BEST:: SOT 13228 SOS 7726 HAS SOPS 5212 HAS SOUS 2809 HAS SOUPS 2179 WITH SCORE 2186.726
AT ITER 1834 NEW BEST:: SOT 13225 SOS 7705 HAS SOPS 5178 HAS SOUS 2786 HAS SOUPS 2160 WITH SCORE 2167.705
AT ITER 1943 NEW BEST:: SOT 13211 SOS 7695 HAS SOPS 5148 HAS SOUS 2778 HAS SOUPS 2152 WITH SCORE 2159.695
AT ITER 1995 NEW BEST:: SOT 13191 SOS 7666 HAS SOPS 5048 HAS SOUS 2775 HAS SOUPS 2149 WITH SCORE 2156.666
AT ITER 2045 NEW BEST:: SOT 13183 SOS 7658 HAS SOPS 5042 HAS SOUS 2769 HAS SOUPS 2145 WITH SCORE 2152.658
AT ITER 2058 NEW BEST:: SOT 13183 SOS 7653 HAS SOPS 5014 HAS SOUS 2744 HAS SOUPS 2120 WITH SCORE 2127.653
AT ITER 2134 NEW BEST:: SOT 13170 SOS 7638 HAS SOPS 4986 HAS SOUS 2716 HAS SOUPS 2092 WITH SCORE 2099.638
AT ITER 2144 NEW BEST:: SOT 13166 SOS 7643 HAS SOPS 4981 HAS SOUS 2717 HAS SOUPS 2091 WITH SCORE 2098.643
AT ITER 2164 NEW BEST:: SOT 13166 SOS 7642 HAS SOPS 4981 HAS SOUS 2716 HAS SOUPS 2091 WITH SCORE 2098.642
AT ITER 2409 NEW BEST:: SOT 13163 SOS 7613 HAS SOPS 4965 HAS SOUS 2679 HAS SOUPS 2060 WITH SCORE 2067.613
AT ITER 2467 NEW BEST:: SOT 13163 SOS 7582 HAS SOPS 4933 HAS SOUS 2670 HAS SOUPS 2055 WITH SCORE 2062.582
AT ITER 2472 NEW BEST:: SOT 13163 SOS 7567 HAS SOPS 4917 HAS SOUS 2667 HAS SOUPS 2052 WITH SCORE 2059.567
AT ITER 2478 NEW BEST:: SOT 13161 SOS 7555 HAS SOPS 4899 HAS SOUS 2655 HAS SOUPS 2042 WITH SCORE 2049.555
AT ITER 2495 NEW BEST:: SOT 13160 SOS 7554 HAS SOPS 4898 HAS SOUS 2653 HAS SOUPS 2041 WITH SCORE 2048.554
AT ITER 2621 NEW BEST:: SOT 13100 SOS 7504 HAS SOPS 4838 HAS SOUS 2658 HAS SOUPS 2041 WITH SCORE 2048.504
AT ITER 2629 NEW BEST:: SOT 13095 SOS 7466 HAS SOPS 4753 HAS SOUS 2596 HAS SOUPS 1979 WITH SCORE 1986.466
AT ITER 2853 NEW BEST:: SOT 13131 SOS 7490 HAS SOPS 4762 HAS SOUS 2570 HAS SOUPS 1957 WITH SCORE 1964.49
AT ITER 2863 NEW BEST:: SOT 13131 SOS 7476 HAS SOPS 4746 HAS SOUS 2566 HAS SOUPS 1953 WITH SCORE 1960.476
AT ITER 2945 NEW BEST:: SOT 13113 SOS 7468 HAS SOPS 4728 HAS SOUS 2566 HAS SOUPS 1953 WITH SCORE 1960.468
AT ITER 2997 NEW BEST:: SOT 13110 SOS 7451 HAS SOPS 4712 HAS SOUS 2562 HAS SOUPS 1952 WITH SCORE 1959.451
AT ITER 3033 NEW BEST:: SOT 13106 SOS 7443 HAS SOPS 4692 HAS SOUS 2558 HAS SOUPS 1948 WITH SCORE 1955.443
AT ITER 3114 NEW BEST:: SOT 13100 SOS 7437 HAS SOPS 4686 HAS SOUS 2552 HAS SOUPS 1942 WITH SCORE 1949.437
AT ITER 3117 NEW BEST:: SOT 13095 SOS 7428 HAS SOPS 4665 HAS SOUS 2547 HAS SOUPS 1937 WITH SCORE 1944.428
AT ITER 3172 NEW BEST:: SOT 13094 SOS 7421 HAS SOPS 4648 HAS SOUS 2534 HAS SOUPS 1924 WITH SCORE 1931.421
AT ITER 3226 NEW BEST:: SOT 13086 SOS 7421 HAS SOPS 4624 HAS SOUS 2530 HAS SOUPS 1918 WITH SCORE 1925.421
AT ITER 3258 NEW BEST:: SOT 13128 SOS 7436 HAS SOPS 4650 HAS SOUS 2521 HAS SOUPS 1913 WITH SCORE 1920.436
AT ITER 3277 NEW BEST:: SOT 13122 SOS 7436 HAS SOPS 4628 HAS SOUS 2519 HAS SOUPS 1911 WITH SCORE 1918.436
AT ITER 3290 NEW BEST:: SOT 13122 SOS 7435 HAS SOPS 4617 HAS SOUS 2509 HAS SOUPS 1901 WITH SCORE 1908.435
AT ITER 3383 NEW BEST:: SOT 13149 SOS 7398 HAS SOPS 4644 HAS SOUS 2495 HAS SOUPS 1894 WITH SCORE 1901.398
AT ITER 3530 NEW BEST:: SOT 13136 SOS 7384 HAS SOPS 4638 HAS SOUS 2488 HAS SOUPS 1887 WITH SCORE 1894.384
AT ITER 3570 NEW BEST:: SOT 13132 SOS 7404 HAS SOPS 4633 HAS SOUS 2489 HAS SOUPS 1885 WITH SCORE 1892.404
AT ITER 3617 NEW BEST:: SOT 13132 SOS 7444 HAS SOPS 4645 HAS SOUS 2489 HAS SOUPS 1883 WITH SCORE 1890.444
AT ITER 3709 NEW BEST:: SOT 13124 SOS 7445 HAS SOPS 4637 HAS SOUS 2487 HAS SOUPS 1880 WITH SCORE 1887.445
AT ITER 3803 NEW BEST:: SOT 13108 SOS 7441 HAS SOPS 4621 HAS SOUS 2488 HAS SOUPS 1880 WITH SCORE 1887.441
AT ITER 3820 NEW BEST:: SOT 13107 SOS 7435 HAS SOPS 4604 HAS SOUS 2473 HAS SOUPS 1866 WITH SCORE 1873.435
AT ITER 3853 NEW BEST:: SOT 13095 SOS 7425 HAS SOPS 4592 HAS SOUS 2474 HAS SOUPS 1866 WITH SCORE 1873.425
AT ITER 3871 NEW BEST:: SOT 13091 SOS 7430 HAS SOPS 4572 HAS SOUS 2471 HAS SOUPS 1863 WITH SCORE 1870.43
AT ITER 3935 NEW BEST:: SOT 13091 SOS 7430 HAS SOPS 4570 HAS SOUS 2468 HAS SOUPS 1859 WITH SCORE 1866.43
AT ITER 4021 NEW BEST:: SOT 13073 SOS 7422 HAS SOPS 4552 HAS SOUS 2469 HAS SOUPS 1859 WITH SCORE 1866.422
AT ITER 4351 NEW BEST:: SOT 13070 SOS 7431 HAS SOPS 4549 HAS SOUS 2469 HAS SOUPS 1858 WITH SCORE 1865.431
AT ITER 4430 NEW BEST:: SOT 13078 SOS 7434 HAS SOPS 4541 HAS SOUS 2461 HAS SOUPS 1853 WITH SCORE 1860.434
AT ITER 5069 NEW BEST:: SOT 13078 SOS 7434 HAS SOPS 4540 HAS SOUS 2460 HAS SOUPS 1851 WITH SCORE 1858.434
AT ITER 5196 NEW BEST:: SOT 13069 SOS 7430 HAS SOPS 4531 HAS SOUS 2461 HAS SOUPS 1851 WITH SCORE 1858.43
AT ITER 5302 NEW BEST:: SOT 13069 SOS 7416 HAS SOPS 4531 HAS SOUS 2460 HAS SOUPS 1851 WITH SCORE 1858.416
AT ITER 5564 NEW BEST:: SOT 13056 SOS 7404 HAS SOPS 4518 HAS SOUS 2461 HAS SOUPS 1851 WITH SCORE 1858.404
AT ITER 5989 NEW BEST:: SOT 13056 SOS 7404 HAS SOPS 4517 HAS SOUS 2460 HAS SOUPS 1849 WITH SCORE 1856.404
AT ITER 6014 NEW BEST:: SOT 13093 SOS 7409 HAS SOPS 4538 HAS SOUS 2451 HAS SOUPS 1844 WITH SCORE 1851.409
AT ITER 6036 NEW BEST:: SOT 13082 SOS 7401 HAS SOPS 4527 HAS SOUS 2452 HAS SOUPS 1844 WITH SCORE 1851.401
AT ITER 6194 NEW BEST:: SOT 13085 SOS 7404 HAS SOPS 4528 HAS SOUS 2453 HAS SOUPS 1843 WITH SCORE 1850.404
AT ITER 6551 NEW BEST:: SOT 13077 SOS 7402 HAS SOPS 4519 HAS SOUS 2453 HAS SOUPS 1841 WITH SCORE 1848.402
AT ITER 6569 NEW BEST:: SOT 13076 SOS 7400 HAS SOPS 4516 HAS SOUS 2450 HAS SOUPS 1838 WITH SCORE 1845.4
AT ITER 6607 NEW BEST:: SOT 13060 SOS 7396 HAS SOPS 4500 HAS SOUS 2452 HAS SOUPS 1838 WITH SCORE 1845.396
AT ITER 7103 NEW BEST:: SOT 13097 SOS 7401 HAS SOPS 4521 HAS SOUS 2443 HAS SOUPS 1833 WITH SCORE 1840.401
AT ITER 7549 NEW BEST:: SOT 13096 SOS 7412 HAS SOPS 4519 HAS SOUS 2444 HAS SOUPS 1832 WITH SCORE 1839.412
AT ITER 7621 NEW BEST:: SOT 13083 SOS 7402 HAS SOPS 4519 HAS SOUS 2441 HAS SOUPS 1829 WITH SCORE 1836.402
AT ITER 7746 NEW BEST:: SOT 13063 SOS 7390 HAS SOPS 4499 HAS SOUS 2443 HAS SOUPS 1829 WITH SCORE 1836.39
AT ITER 8318 NEW BEST:: SOT 13039 SOS 7384 HAS SOPS 4475 HAS SOUS 2444 HAS SOUPS 1829 WITH SCORE 1836.384
AT ITER 8412 NEW BEST:: SOT 13043 SOS 7379 HAS SOPS 4463 HAS SOUS 2439 HAS SOUPS 1824 WITH SCORE 1831.379
AT ITER 8418 NEW BEST:: SOT 13043 SOS 7379 HAS SOPS 4462 HAS SOUS 2438 HAS SOUPS 1822 WITH SCORE 1829.379
AT ITER 8904 NEW BEST:: SOT 13031 SOS 7369 HAS SOPS 4450 HAS SOUS 2439 HAS SOUPS 1822 WITH SCORE 1829.369
AT ITER 8954 NEW BEST:: SOT 13031 SOS 7369 HAS SOPS 4449 HAS SOUS 2438 HAS SOUPS 1820 WITH SCORE 1827.369
STATE_SPACE STATES 278528 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 16834575 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678295727645

--------------------
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="Dekker-PT-015"
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 Dekker-PT-015, 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 r139-smll-167819421500016"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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