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.r003-oct2-167813591100632.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 smart
Input is AutonomousCar-PT-07a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 1
Run identifier is r003-oct2-167813591100632
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 712K
-rw-r--r-- 1 mcc users 6.0K Feb 25 12:52 CTLCardinality.txt
-rw-r--r-- 1 mcc users 63K Feb 25 12:52 CTLCardinality.xml
-rw-r--r-- 1 mcc users 4.6K Feb 25 12:52 CTLFireability.txt
-rw-r--r-- 1 mcc users 39K Feb 25 12:52 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.6K Feb 25 15:34 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 15:34 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 15:34 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 15:34 LTLFireability.xml
-rw-r--r-- 1 mcc users 15K Feb 25 12:54 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 165K Feb 25 12:54 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 25 12:53 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 50K Feb 25 12:53 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 15:34 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 15:34 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 276K 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 1678474271133

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

Filename model.pnml
Petri model created: 73 places, 593 transitions, 5357 arcs.
AT ITER 0 NEW BEST:: SOT 37317 SOS 31326 HAS SOPS 31324 HAS SOUS 13812 HAS SOUPS 13810 WITH SCORE 13841.326
AT ITER 1 NEW BEST:: SOT 37282 SOS 31256 HAS SOPS 31254 HAS SOUS 13329 HAS SOUPS 13327 WITH SCORE 13358.256
AT ITER 8 NEW BEST:: SOT 37282 SOS 31292 HAS SOPS 31290 HAS SOUS 13094 HAS SOUPS 13092 WITH SCORE 13123.292
AT ITER 10 NEW BEST:: SOT 37192 SOS 31209 HAS SOPS 31207 HAS SOUS 13004 HAS SOUPS 13002 WITH SCORE 13033.209
AT ITER 11 NEW BEST:: SOT 37150 SOS 31174 HAS SOPS 31172 HAS SOUS 12963 HAS SOUPS 12961 WITH SCORE 12992.174
AT ITER 13 NEW BEST:: SOT 37158 SOS 31190 HAS SOPS 31188 HAS SOUS 12954 HAS SOUPS 12952 WITH SCORE 12983.19
AT ITER 17 NEW BEST:: SOT 37141 SOS 31166 HAS SOPS 31164 HAS SOUS 12859 HAS SOUPS 12857 WITH SCORE 12888.166
AT ITER 18 NEW BEST:: SOT 37043 SOS 31067 HAS SOPS 31065 HAS SOUS 12799 HAS SOUPS 12797 WITH SCORE 12828.067
AT ITER 26 NEW BEST:: SOT 37126 SOS 31134 HAS SOPS 31132 HAS SOUS 12646 HAS SOUPS 12644 WITH SCORE 12675.134
AT ITER 27 NEW BEST:: SOT 37129 SOS 31102 HAS SOPS 31100 HAS SOUS 12561 HAS SOUPS 12559 WITH SCORE 12590.102
AT ITER 30 NEW BEST:: SOT 37161 SOS 31134 HAS SOPS 31132 HAS SOUS 12513 HAS SOUPS 12511 WITH SCORE 12542.134
AT ITER 38 NEW BEST:: SOT 37163 SOS 31136 HAS SOPS 31134 HAS SOUS 12499 HAS SOUPS 12497 WITH SCORE 12528.136
AT ITER 39 NEW BEST:: SOT 37163 SOS 31436 HAS SOPS 31434 HAS SOUS 12498 HAS SOUPS 12496 WITH SCORE 12527.436
AT ITER 40 NEW BEST:: SOT 37163 SOS 31436 HAS SOPS 31434 HAS SOUS 12496 HAS SOUPS 12494 WITH SCORE 12525.436
AT ITER 42 NEW BEST:: SOT 37047 SOS 31321 HAS SOPS 31319 HAS SOUS 12322 HAS SOUPS 12320 WITH SCORE 12351.321
AT ITER 44 NEW BEST:: SOT 37095 SOS 31349 HAS SOPS 31347 HAS SOUS 12264 HAS SOUPS 12262 WITH SCORE 12293.349
AT ITER 46 NEW BEST:: SOT 37196 SOS 31450 HAS SOPS 31448 HAS SOUS 12251 HAS SOUPS 12249 WITH SCORE 12280.45
AT ITER 51 NEW BEST:: SOT 37132 SOS 31350 HAS SOPS 31348 HAS SOUS 11678 HAS SOUPS 11676 WITH SCORE 11707.35
AT ITER 54 NEW BEST:: SOT 37126 SOS 31332 HAS SOPS 31330 HAS SOUS 11672 HAS SOUPS 11670 WITH SCORE 11701.332
AT ITER 55 NEW BEST:: SOT 37122 SOS 31366 HAS SOPS 31364 HAS SOUS 11584 HAS SOUPS 11582 WITH SCORE 11613.366
AT ITER 56 NEW BEST:: SOT 37132 SOS 31376 HAS SOPS 31374 HAS SOUS 11546 HAS SOUPS 11544 WITH SCORE 11575.376
AT ITER 64 NEW BEST:: SOT 37132 SOS 31370 HAS SOPS 31368 HAS SOUS 11540 HAS SOUPS 11538 WITH SCORE 11569.37
AT ITER 67 NEW BEST:: SOT 36872 SOS 31110 HAS SOPS 31108 HAS SOUS 11350 HAS SOUPS 11348 WITH SCORE 11379.11
AT ITER 71 NEW BEST:: SOT 36792 SOS 30734 HAS SOPS 30732 HAS SOUS 11339 HAS SOUPS 11337 WITH SCORE 11367.734
AT ITER 75 NEW BEST:: SOT 36792 SOS 31146 HAS SOPS 31144 HAS SOUS 11337 HAS SOUPS 11335 WITH SCORE 11366.146
AT ITER 78 NEW BEST:: SOT 34489 SOS 28826 HAS SOPS 28824 HAS SOUS 10177 HAS SOUPS 10175 WITH SCORE 10203.826
AT ITER 79 NEW BEST:: SOT 34475 SOS 28814 HAS SOPS 28812 HAS SOUS 10166 HAS SOUPS 10164 WITH SCORE 10192.814
AT ITER 87 NEW BEST:: SOT 34475 SOS 28808 HAS SOPS 28806 HAS SOUS 10003 HAS SOUPS 10001 WITH SCORE 10029.808
AT ITER 96 NEW BEST:: SOT 33900 SOS 28236 HAS SOPS 28234 HAS SOUS 9710 HAS SOUPS 9708 WITH SCORE 9736.236
AT ITER 102 NEW BEST:: SOT 33904 SOS 28244 HAS SOPS 28242 HAS SOUS 9704 HAS SOUPS 9702 WITH SCORE 9730.244
AT ITER 107 NEW BEST:: SOT 33898 SOS 30122 HAS SOPS 30120 HAS SOUS 9698 HAS SOUPS 9696 WITH SCORE 9726.122
AT ITER 108 NEW BEST:: SOT 33829 SOS 30050 HAS SOPS 30048 HAS SOUS 8756 HAS SOUPS 8754 WITH SCORE 8784.05
AT ITER 116 NEW BEST:: SOT 33839 SOS 30060 HAS SOPS 30058 HAS SOUS 8686 HAS SOUPS 8684 WITH SCORE 8714.06
AT ITER 121 NEW BEST:: SOT 33421 SOS 29612 HAS SOPS 29610 HAS SOUS 8282 HAS SOUPS 8280 WITH SCORE 8309.612
AT ITER 127 NEW BEST:: SOT 32659 SOS 29513 HAS SOPS 28711 HAS SOUS 7852 HAS SOUPS 7842 WITH SCORE 7871.513
AT ITER 131 NEW BEST:: SOT 32421 SOS 29258 HAS SOPS 28456 HAS SOUS 7597 HAS SOUPS 7587 WITH SCORE 7616.258
AT ITER 133 NEW BEST:: SOT 32415 SOS 29255 HAS SOPS 28453 HAS SOUS 7594 HAS SOUPS 7584 WITH SCORE 7613.255
AT ITER 134 NEW BEST:: SOT 31951 SOS 28709 HAS SOPS 27907 HAS SOUS 7519 HAS SOUPS 7509 WITH SCORE 7537.709
AT ITER 141 NEW BEST:: SOT 31937 SOS 28687 HAS SOPS 27885 HAS SOUS 7448 HAS SOUPS 7438 WITH SCORE 7466.687
AT ITER 142 NEW BEST:: SOT 32850 SOS 29563 HAS SOPS 28761 HAS SOUS 7078 HAS SOUPS 7068 WITH SCORE 7097.563
AT ITER 145 NEW BEST:: SOT 33038 SOS 29761 HAS SOPS 28959 HAS SOUS 7068 HAS SOUPS 7058 WITH SCORE 7087.761
AT ITER 154 NEW BEST:: SOT 33164 SOS 29917 HAS SOPS 29115 HAS SOUS 7063 HAS SOUPS 7053 WITH SCORE 7082.917
AT ITER 161 NEW BEST:: SOT 32865 SOS 29525 HAS SOPS 28723 HAS SOUS 7057 HAS SOUPS 7047 WITH SCORE 7076.525
AT ITER 163 NEW BEST:: SOT 32808 SOS 29459 HAS SOPS 28657 HAS SOUS 6988 HAS SOUPS 6978 WITH SCORE 7007.459
AT ITER 169 NEW BEST:: SOT 32959 SOS 29620 HAS SOPS 28818 HAS SOUS 6916 HAS SOUPS 6906 WITH SCORE 6935.62
AT ITER 175 NEW BEST:: SOT 32959 SOS 29599 HAS SOPS 28797 HAS SOUS 6916 HAS SOUPS 6906 WITH SCORE 6935.599
AT ITER 176 NEW BEST:: SOT 32855 SOS 29495 HAS SOPS 28693 HAS SOUS 6860 HAS SOUPS 6850 WITH SCORE 6879.495
AT ITER 202 NEW BEST:: SOT 32855 SOS 29495 HAS SOPS 28693 HAS SOUS 6853 HAS SOUPS 6843 WITH SCORE 6872.495
AT ITER 205 NEW BEST:: SOT 32855 SOS 29535 HAS SOPS 28733 HAS SOUS 6848 HAS SOUPS 6838 WITH SCORE 6867.535
AT ITER 218 NEW BEST:: SOT 32692 SOS 29358 HAS SOPS 28556 HAS SOUS 6837 HAS SOUPS 6827 WITH SCORE 6856.358
AT ITER 221 NEW BEST:: SOT 32710 SOS 29303 HAS SOPS 28501 HAS SOUS 6819 HAS SOUPS 6809 WITH SCORE 6838.303
AT ITER 229 NEW BEST:: SOT 32911 SOS 29520 HAS SOPS 28718 HAS SOUS 6752 HAS SOUPS 6742 WITH SCORE 6771.52
AT ITER 231 NEW BEST:: SOT 32898 SOS 29509 HAS SOPS 28707 HAS SOUS 6737 HAS SOUPS 6727 WITH SCORE 6756.509
AT ITER 235 NEW BEST:: SOT 32898 SOS 29507 HAS SOPS 28705 HAS SOUS 6735 HAS SOUPS 6725 WITH SCORE 6754.507
AT ITER 236 NEW BEST:: SOT 32503 SOS 29113 HAS SOPS 28311 HAS SOUS 6383 HAS SOUPS 6373 WITH SCORE 6402.113
AT ITER 252 NEW BEST:: SOT 32399 SOS 29009 HAS SOPS 28207 HAS SOUS 6319 HAS SOUPS 6309 WITH SCORE 6338.009
AT ITER 265 NEW BEST:: SOT 32529 SOS 29105 HAS SOPS 28303 HAS SOUS 6217 HAS SOUPS 6207 WITH SCORE 6236.105
AT ITER 276 NEW BEST:: SOT 31910 SOS 28486 HAS SOPS 27684 HAS SOUS 5900 HAS SOUPS 5890 WITH SCORE 5918.486
AT ITER 292 NEW BEST:: SOT 31908 SOS 28412 HAS SOPS 27620 HAS SOUS 5881 HAS SOUPS 5876 WITH SCORE 5904.412
AT ITER 299 NEW BEST:: SOT 31868 SOS 28368 HAS SOPS 27576 HAS SOUS 5870 HAS SOUPS 5865 WITH SCORE 5893.368
AT ITER 306 NEW BEST:: SOT 31751 SOS 28251 HAS SOPS 27459 HAS SOUS 5863 HAS SOUPS 5858 WITH SCORE 5886.251
AT ITER 315 NEW BEST:: SOT 31737 SOS 28236 HAS SOPS 27444 HAS SOUS 5862 HAS SOUPS 5857 WITH SCORE 5885.236
AT ITER 319 NEW BEST:: SOT 31649 SOS 28153 HAS SOPS 27361 HAS SOUS 5854 HAS SOUPS 5849 WITH SCORE 5877.153
AT ITER 323 NEW BEST:: SOT 31634 SOS 28138 HAS SOPS 27346 HAS SOUS 5800 HAS SOUPS 5795 WITH SCORE 5823.138
AT ITER 324 NEW BEST:: SOT 31657 SOS 28148 HAS SOPS 27356 HAS SOUS 5709 HAS SOUPS 5704 WITH SCORE 5732.148
AT ITER 329 NEW BEST:: SOT 31546 SOS 28029 HAS SOPS 27237 HAS SOUS 5302 HAS SOUPS 5297 WITH SCORE 5325.029
AT ITER 330 NEW BEST:: SOT 31504 SOS 27811 HAS SOPS 27019 HAS SOUS 5169 HAS SOUPS 5164 WITH SCORE 5191.811
AT ITER 332 NEW BEST:: SOT 31504 SOS 27799 HAS SOPS 27007 HAS SOUS 5140 HAS SOUPS 5135 WITH SCORE 5162.799
AT ITER 349 NEW BEST:: SOT 31498 SOS 27797 HAS SOPS 27005 HAS SOUS 5138 HAS SOUPS 5133 WITH SCORE 5160.797
AT ITER 358 NEW BEST:: SOT 31521 SOS 27760 HAS SOPS 26968 HAS SOUS 5088 HAS SOUPS 5083 WITH SCORE 5110.76
AT ITER 371 NEW BEST:: SOT 31521 SOS 27756 HAS SOPS 26964 HAS SOUS 5088 HAS SOUPS 5083 WITH SCORE 5110.756
AT ITER 378 NEW BEST:: SOT 31521 SOS 27753 HAS SOPS 26961 HAS SOUS 5058 HAS SOUPS 5053 WITH SCORE 5080.753
AT ITER 380 NEW BEST:: SOT 31451 SOS 27673 HAS SOPS 26881 HAS SOUS 5013 HAS SOUPS 5008 WITH SCORE 5035.673
AT ITER 387 NEW BEST:: SOT 31479 SOS 27699 HAS SOPS 26907 HAS SOUS 5009 HAS SOUPS 5004 WITH SCORE 5031.699
AT ITER 388 NEW BEST:: SOT 31480 SOS 27710 HAS SOPS 25184 HAS SOUS 5010 HAS SOUPS 5000 WITH SCORE 5027.71
AT ITER 398 NEW BEST:: SOT 31490 SOS 27720 HAS SOPS 25194 HAS SOUS 5004 HAS SOUPS 4994 WITH SCORE 5021.72
AT ITER 401 NEW BEST:: SOT 31492 SOS 27718 HAS SOPS 25192 HAS SOUS 5002 HAS SOUPS 4992 WITH SCORE 5019.718
AT ITER 409 NEW BEST:: SOT 31496 SOS 27698 HAS SOPS 25172 HAS SOUS 4992 HAS SOUPS 4982 WITH SCORE 5009.698
AT ITER 414 NEW BEST:: SOT 31496 SOS 27698 HAS SOPS 25004 HAS SOUS 4981 HAS SOUPS 4971 WITH SCORE 4998.698
AT ITER 417 NEW BEST:: SOT 31384 SOS 27570 HAS SOPS 24876 HAS SOUS 4731 HAS SOUPS 4721 WITH SCORE 4748.57
AT ITER 420 NEW BEST:: SOT 31382 SOS 27568 HAS SOPS 24874 HAS SOUS 4730 HAS SOUPS 4720 WITH SCORE 4747.568
AT ITER 465 NEW BEST:: SOT 31379 SOS 27565 HAS SOPS 24871 HAS SOUS 4710 HAS SOUPS 4700 WITH SCORE 4727.565
AT ITER 475 NEW BEST:: SOT 31379 SOS 27571 HAS SOPS 24877 HAS SOUS 4696 HAS SOUPS 4686 WITH SCORE 4713.571
AT ITER 503 NEW BEST:: SOT 31379 SOS 27568 HAS SOPS 26050 HAS SOUS 4691 HAS SOUPS 4685 WITH SCORE 4712.568
AT ITER 514 NEW BEST:: SOT 31379 SOS 27656 HAS SOPS 26530 HAS SOUS 4689 HAS SOUPS 4683 WITH SCORE 4710.656
AT ITER 524 NEW BEST:: SOT 31378 SOS 27603 HAS SOPS 26477 HAS SOUS 4664 HAS SOUPS 4658 WITH SCORE 4685.603
AT ITER 531 NEW BEST:: SOT 31376 SOS 27599 HAS SOPS 26473 HAS SOUS 4656 HAS SOUPS 4650 WITH SCORE 4677.599
AT ITER 532 NEW BEST:: SOT 31376 SOS 26756 HAS SOPS 26474 HAS SOUS 4652 HAS SOUPS 4649 WITH SCORE 4675.756
AT ITER 541 NEW BEST:: SOT 31196 SOS 26570 HAS SOPS 26288 HAS SOUS 4598 HAS SOUPS 4595 WITH SCORE 4621.57
AT ITER 551 NEW BEST:: SOT 31166 SOS 26532 HAS SOPS 26250 HAS SOUS 4578 HAS SOUPS 4575 WITH SCORE 4601.532
AT ITER 558 NEW BEST:: SOT 31150 SOS 26528 HAS SOPS 26246 HAS SOUS 4574 HAS SOUPS 4571 WITH SCORE 4597.528
AT ITER 570 NEW BEST:: SOT 31084 SOS 26480 HAS SOPS 26198 HAS SOUS 4570 HAS SOUPS 4567 WITH SCORE 4593.48
AT ITER 591 NEW BEST:: SOT 31084 SOS 26476 HAS SOPS 26194 HAS SOUS 4538 HAS SOUPS 4535 WITH SCORE 4561.476
AT ITER 605 NEW BEST:: SOT 31064 SOS 26476 HAS SOPS 26194 HAS SOUS 4533 HAS SOUPS 4530 WITH SCORE 4556.476
AT ITER 646 NEW BEST:: SOT 30874 SOS 26322 HAS SOPS 26040 HAS SOUS 4469 HAS SOUPS 4466 WITH SCORE 4492.322
AT ITER 650 NEW BEST:: SOT 30878 SOS 25177 HAS SOPS 24895 HAS SOUS 4465 HAS SOUPS 4462 WITH SCORE 4487.177
AT ITER 655 NEW BEST:: SOT 30869 SOS 25295 HAS SOPS 25013 HAS SOUS 4453 HAS SOUPS 4450 WITH SCORE 4475.295
AT ITER 666 NEW BEST:: SOT 30825 SOS 25250 HAS SOPS 24968 HAS SOUS 4446 HAS SOUPS 4443 WITH SCORE 4468.25
AT ITER 671 NEW BEST:: SOT 30821 SOS 25242 HAS SOPS 24960 HAS SOUS 4414 HAS SOUPS 4411 WITH SCORE 4436.242
AT ITER 698 NEW BEST:: SOT 30819 SOS 25236 HAS SOPS 24954 HAS SOUS 4410 HAS SOUPS 4407 WITH SCORE 4432.236
AT ITER 706 NEW BEST:: SOT 30821 SOS 25228 HAS SOPS 24946 HAS SOUS 4396 HAS SOUPS 4393 WITH SCORE 4418.228
AT ITER 725 NEW BEST:: SOT 30806 SOS 25212 HAS SOPS 24930 HAS SOUS 4324 HAS SOUPS 4321 WITH SCORE 4346.212
AT ITER 736 NEW BEST:: SOT 30684 SOS 25076 HAS SOPS 24794 HAS SOUS 4252 HAS SOUPS 4249 WITH SCORE 4274.076
AT ITER 744 NEW BEST:: SOT 30693 SOS 25084 HAS SOPS 24802 HAS SOUS 4239 HAS SOUPS 4236 WITH SCORE 4261.084
AT ITER 745 NEW BEST:: SOT 30670 SOS 25055 HAS SOPS 24773 HAS SOUS 4214 HAS SOUPS 4211 WITH SCORE 4236.055
AT ITER 764 NEW BEST:: SOT 30673 SOS 25055 HAS SOPS 24773 HAS SOUS 4212 HAS SOUPS 4209 WITH SCORE 4234.055
AT ITER 771 NEW BEST:: SOT 30645 SOS 25023 HAS SOPS 24741 HAS SOUS 4196 HAS SOUPS 4193 WITH SCORE 4218.023
AT ITER 799 NEW BEST:: SOT 30633 SOS 25011 HAS SOPS 24729 HAS SOUS 4189 HAS SOUPS 4186 WITH SCORE 4211.011
AT ITER 804 NEW BEST:: SOT 30645 SOS 25021 HAS SOPS 24739 HAS SOUS 4165 HAS SOUPS 4162 WITH SCORE 4187.021
AT ITER 814 NEW BEST:: SOT 30578 SOS 24962 HAS SOPS 24680 HAS SOUS 4138 HAS SOUPS 4135 WITH SCORE 4159.962
AT ITER 821 NEW BEST:: SOT 30560 SOS 24917 HAS SOPS 24635 HAS SOUS 4111 HAS SOUPS 4108 WITH SCORE 4132.917
AT ITER 822 NEW BEST:: SOT 30515 SOS 24873 HAS SOPS 24591 HAS SOUS 4095 HAS SOUPS 4092 WITH SCORE 4116.873
AT ITER 825 NEW BEST:: SOT 30526 SOS 24885 HAS SOPS 24603 HAS SOUS 4090 HAS SOUPS 4087 WITH SCORE 4111.885
AT ITER 830 NEW BEST:: SOT 30394 SOS 24785 HAS SOPS 24503 HAS SOUS 4054 HAS SOUPS 4051 WITH SCORE 4075.785
AT ITER 831 NEW BEST:: SOT 30380 SOS 24767 HAS SOPS 24485 HAS SOUS 4052 HAS SOUPS 4049 WITH SCORE 4073.767
AT ITER 873 NEW BEST:: SOT 30378 SOS 24761 HAS SOPS 24479 HAS SOUS 4032 HAS SOUPS 4029 WITH SCORE 4053.761
AT ITER 886 NEW BEST:: SOT 30389 SOS 24783 HAS SOPS 24501 HAS SOUS 3977 HAS SOUPS 3974 WITH SCORE 3998.783
AT ITER 911 NEW BEST:: SOT 30162 SOS 24481 HAS SOPS 24199 HAS SOUS 3928 HAS SOUPS 3925 WITH SCORE 3949.481
AT ITER 940 NEW BEST:: SOT 30072 SOS 24355 HAS SOPS 24073 HAS SOUS 3924 HAS SOUPS 3921 WITH SCORE 3945.355
AT ITER 951 NEW BEST:: SOT 30084 SOS 24359 HAS SOPS 24077 HAS SOUS 3912 HAS SOUPS 3909 WITH SCORE 3933.359
AT ITER 998 NEW BEST:: SOT 30040 SOS 24271 HAS SOPS 23989 HAS SOUS 3884 HAS SOUPS 3881 WITH SCORE 3905.271
AT ITER 1026 NEW BEST:: SOT 30040 SOS 24217 HAS SOPS 23935 HAS SOUS 3884 HAS SOUPS 3881 WITH SCORE 3905.217
AT ITER 1031 NEW BEST:: SOT 30026 SOS 24201 HAS SOPS 23919 HAS SOUS 3875 HAS SOUPS 3872 WITH SCORE 3896.201
AT ITER 1069 NEW BEST:: SOT 30011 SOS 24182 HAS SOPS 23900 HAS SOUS 3865 HAS SOUPS 3862 WITH SCORE 3886.182
AT ITER 1135 NEW BEST:: SOT 30003 SOS 24180 HAS SOPS 23898 HAS SOUS 3863 HAS SOUPS 3860 WITH SCORE 3884.18
AT ITER 1140 NEW BEST:: SOT 30042 SOS 24210 HAS SOPS 23928 HAS SOUS 3843 HAS SOUPS 3840 WITH SCORE 3864.21
AT ITER 1146 NEW BEST:: SOT 30027 SOS 24189 HAS SOPS 23907 HAS SOUS 3835 HAS SOUPS 3832 WITH SCORE 3856.189
AT ITER 1151 NEW BEST:: SOT 30029 SOS 24186 HAS SOPS 23904 HAS SOUS 3834 HAS SOUPS 3831 WITH SCORE 3855.186
AT ITER 1157 NEW BEST:: SOT 30027 SOS 24183 HAS SOPS 23901 HAS SOUS 3832 HAS SOUPS 3829 WITH SCORE 3853.183
AT ITER 1180 NEW BEST:: SOT 29968 SOS 24121 HAS SOPS 23839 HAS SOUS 3794 HAS SOUPS 3791 WITH SCORE 3815.121
AT ITER 1183 NEW BEST:: SOT 29966 SOS 24117 HAS SOPS 23835 HAS SOUS 3753 HAS SOUPS 3750 WITH SCORE 3774.117
AT ITER 1204 NEW BEST:: SOT 29956 SOS 24109 HAS SOPS 23827 HAS SOUS 3629 HAS SOUPS 3626 WITH SCORE 3650.109
AT ITER 1222 NEW BEST:: SOT 29524 SOS 23615 HAS SOPS 23333 HAS SOUS 3548 HAS SOUPS 3545 WITH SCORE 3568.615
AT ITER 1236 NEW BEST:: SOT 29522 SOS 23611 HAS SOPS 23329 HAS SOUS 3546 HAS SOUPS 3543 WITH SCORE 3566.611
AT ITER 1266 NEW BEST:: SOT 29515 SOS 23649 HAS SOPS 23367 HAS SOUS 3525 HAS SOUPS 3522 WITH SCORE 3545.649
AT ITER 1299 NEW BEST:: SOT 29516 SOS 23648 HAS SOPS 23366 HAS SOUS 3525 HAS SOUPS 3522 WITH SCORE 3545.648
AT ITER 1318 NEW BEST:: SOT 29492 SOS 23619 HAS SOPS 23337 HAS SOUS 3456 HAS SOUPS 3453 WITH SCORE 3476.619
AT ITER 1340 NEW BEST:: SOT 29489 SOS 23591 HAS SOPS 23309 HAS SOUS 3441 HAS SOUPS 3438 WITH SCORE 3461.591
AT ITER 1392 NEW BEST:: SOT 29487 SOS 23596 HAS SOPS 21746 HAS SOUS 3448 HAS SOUPS 3437 WITH SCORE 3460.596
AT ITER 1399 NEW BEST:: SOT 29403 SOS 23524 HAS SOPS 21674 HAS SOUS 3412 HAS SOUPS 3401 WITH SCORE 3424.524
AT ITER 1427 NEW BEST:: SOT 29360 SOS 23478 HAS SOPS 21628 HAS SOUS 3374 HAS SOUPS 3363 WITH SCORE 3386.478
AT ITER 1430 NEW BEST:: SOT 29335 SOS 23456 HAS SOPS 21606 HAS SOUS 3374 HAS SOUPS 3363 WITH SCORE 3386.456
AT ITER 1460 NEW BEST:: SOT 29329 SOS 23444 HAS SOPS 21594 HAS SOUS 3368 HAS SOUPS 3357 WITH SCORE 3380.444
AT ITER 1570 NEW BEST:: SOT 29317 SOS 23432 HAS SOPS 21582 HAS SOUS 3361 HAS SOUPS 3350 WITH SCORE 3373.432
AT ITER 1590 NEW BEST:: SOT 29316 SOS 23430 HAS SOPS 21580 HAS SOUS 3361 HAS SOUPS 3350 WITH SCORE 3373.43
AT ITER 1599 NEW BEST:: SOT 29303 SOS 23418 HAS SOPS 21568 HAS SOUS 3343 HAS SOUPS 3332 WITH SCORE 3355.418
AT ITER 1621 NEW BEST:: SOT 29299 SOS 23414 HAS SOPS 21564 HAS SOUS 3339 HAS SOUPS 3328 WITH SCORE 3351.414
AT ITER 1642 NEW BEST:: SOT 29277 SOS 23394 HAS SOPS 21544 HAS SOUS 3329 HAS SOUPS 3318 WITH SCORE 3341.394
AT ITER 1652 NEW BEST:: SOT 29249 SOS 23358 HAS SOPS 21508 HAS SOUS 3325 HAS SOUPS 3314 WITH SCORE 3337.358
AT ITER 1664 NEW BEST:: SOT 29249 SOS 23338 HAS SOPS 21768 HAS SOUS 3320 HAS SOUPS 3309 WITH SCORE 3332.338
AT ITER 1698 NEW BEST:: SOT 29235 SOS 23575 HAS SOPS 22005 HAS SOUS 3310 HAS SOUPS 3299 WITH SCORE 3322.575
AT ITER 1729 NEW BEST:: SOT 29237 SOS 23573 HAS SOPS 22115 HAS SOUS 3310 HAS SOUPS 3299 WITH SCORE 3322.573
AT ITER 1752 NEW BEST:: SOT 29231 SOS 23569 HAS SOPS 22279 HAS SOUS 3305 HAS SOUPS 3297 WITH SCORE 3320.569
AT ITER 1813 NEW BEST:: SOT 29231 SOS 23567 HAS SOPS 22277 HAS SOUS 3303 HAS SOUPS 3295 WITH SCORE 3318.567
AT ITER 1858 NEW BEST:: SOT 29201 SOS 23533 HAS SOPS 22243 HAS SOUS 3269 HAS SOUPS 3261 WITH SCORE 3284.533
AT ITER 1893 NEW BEST:: SOT 29197 SOS 23785 HAS SOPS 22495 HAS SOUS 3268 HAS SOUPS 3260 WITH SCORE 3283.785
AT ITER 1959 NEW BEST:: SOT 29189 SOS 23775 HAS SOPS 22485 HAS SOUS 3262 HAS SOUPS 3254 WITH SCORE 3277.775
AT ITER 1966 NEW BEST:: SOT 29183 SOS 23763 HAS SOPS 22473 HAS SOUS 3256 HAS SOUPS 3248 WITH SCORE 3271.763
AT ITER 1976 NEW BEST:: SOT 29138 SOS 23723 HAS SOPS 22433 HAS SOUS 3252 HAS SOUPS 3244 WITH SCORE 3267.723
AT ITER 2026 NEW BEST:: SOT 29118 SOS 23707 HAS SOPS 22417 HAS SOUS 3244 HAS SOUPS 3236 WITH SCORE 3259.707
AT ITER 2148 NEW BEST:: SOT 29103 SOS 23689 HAS SOPS 22399 HAS SOUS 3236 HAS SOUPS 3228 WITH SCORE 3251.689
AT ITER 2162 NEW BEST:: SOT 29124 SOS 23706 HAS SOPS 22416 HAS SOUS 3227 HAS SOUPS 3219 WITH SCORE 3242.706
AT ITER 2169 NEW BEST:: SOT 29098 SOS 23680 HAS SOPS 22390 HAS SOUS 3227 HAS SOUPS 3219 WITH SCORE 3242.68
AT ITER 2210 NEW BEST:: SOT 28984 SOS 23578 HAS SOPS 22288 HAS SOUS 3197 HAS SOUPS 3189 WITH SCORE 3212.578
AT ITER 2273 NEW BEST:: SOT 28982 SOS 23520 HAS SOPS 22230 HAS SOUS 3196 HAS SOUPS 3188 WITH SCORE 3211.52
AT ITER 2290 NEW BEST:: SOT 28982 SOS 23518 HAS SOPS 22228 HAS SOUS 3187 HAS SOUPS 3179 WITH SCORE 3202.518
AT ITER 2322 NEW BEST:: SOT 28979 SOS 23515 HAS SOPS 22225 HAS SOUS 3186 HAS SOUPS 3178 WITH SCORE 3201.515
AT ITER 2379 NEW BEST:: SOT 28964 SOS 23500 HAS SOPS 22210 HAS SOUS 3114 HAS SOUPS 3106 WITH SCORE 3129.5
AT ITER 2380 NEW BEST:: SOT 28960 SOS 23501 HAS SOPS 22211 HAS SOUS 3096 HAS SOUPS 3088 WITH SCORE 3111.501
AT ITER 2434 NEW BEST:: SOT 28941 SOS 23483 HAS SOPS 22193 HAS SOUS 3086 HAS SOUPS 3078 WITH SCORE 3101.483
AT ITER 2456 NEW BEST:: SOT 28943 SOS 23101 HAS SOPS 21811 HAS SOUS 3085 HAS SOUPS 3077 WITH SCORE 3100.101
AT ITER 2518 NEW BEST:: SOT 28967 SOS 23121 HAS SOPS 21831 HAS SOUS 3079 HAS SOUPS 3071 WITH SCORE 3094.121
AT ITER 2519 NEW BEST:: SOT 28906 SOS 23065 HAS SOPS 21775 HAS SOUS 3068 HAS SOUPS 3060 WITH SCORE 3083.065
AT ITER 2584 NEW BEST:: SOT 28909 SOS 23062 HAS SOPS 21772 HAS SOUS 3066 HAS SOUPS 3058 WITH SCORE 3081.062
AT ITER 2587 NEW BEST:: SOT 28935 SOS 23078 HAS SOPS 21788 HAS SOUS 3056 HAS SOUPS 3048 WITH SCORE 3071.078
AT ITER 2603 NEW BEST:: SOT 28922 SOS 23065 HAS SOPS 21775 HAS SOUS 3049 HAS SOUPS 3041 WITH SCORE 3064.065
AT ITER 2605 NEW BEST:: SOT 28908 SOS 23037 HAS SOPS 21747 HAS SOUS 3023 HAS SOUPS 3015 WITH SCORE 3038.037
AT ITER 2765 NEW BEST:: SOT 29010 SOS 23129 HAS SOPS 21839 HAS SOUS 3010 HAS SOUPS 3002 WITH SCORE 3025.129
AT ITER 2810 NEW BEST:: SOT 28995 SOS 23114 HAS SOPS 21824 HAS SOUS 3002 HAS SOUPS 2994 WITH SCORE 3017.114
AT ITER 2827 NEW BEST:: SOT 28980 SOS 23098 HAS SOPS 21808 HAS SOUS 2971 HAS SOUPS 2963 WITH SCORE 2986.098
AT ITER 3133 NEW BEST:: SOT 28972 SOS 23474 HAS SOPS 22184 HAS SOUS 2970 HAS SOUPS 2962 WITH SCORE 2985.474
AT ITER 3232 NEW BEST:: SOT 28880 SOS 23388 HAS SOPS 22098 HAS SOUS 2966 HAS SOUPS 2958 WITH SCORE 2981.388
AT ITER 3241 NEW BEST:: SOT 28850 SOS 23358 HAS SOPS 22068 HAS SOUS 2950 HAS SOUPS 2942 WITH SCORE 2965.358
AT ITER 3329 NEW BEST:: SOT 28850 SOS 23486 HAS SOPS 22196 HAS SOUS 2949 HAS SOUPS 2941 WITH SCORE 2964.486
AT ITER 3330 NEW BEST:: SOT 28836 SOS 23471 HAS SOPS 22181 HAS SOUS 2942 HAS SOUPS 2934 WITH SCORE 2957.471
AT ITER 3384 NEW BEST:: SOT 28866 SOS 23497 HAS SOPS 22207 HAS SOUS 2939 HAS SOUPS 2931 WITH SCORE 2954.497
AT ITER 3577 NEW BEST:: SOT 28866 SOS 23496 HAS SOPS 22206 HAS SOUS 2939 HAS SOUPS 2931 WITH SCORE 2954.496
AT ITER 3580 NEW BEST:: SOT 28826 SOS 23464 HAS SOPS 22174 HAS SOUS 2923 HAS SOUPS 2915 WITH SCORE 2938.464
AT ITER 3779 NEW BEST:: SOT 28824 SOS 23462 HAS SOPS 22172 HAS SOUS 2922 HAS SOUPS 2914 WITH SCORE 2937.462
AT ITER 3820 NEW BEST:: SOT 28809 SOS 23445 HAS SOPS 22155 HAS SOUS 2914 HAS SOUPS 2906 WITH SCORE 2929.445
AT ITER 3855 NEW BEST:: SOT 28808 SOS 23442 HAS SOPS 22152 HAS SOUS 2912 HAS SOUPS 2904 WITH SCORE 2927.442
AT ITER 4026 NEW BEST:: SOT 28808 SOS 23434 HAS SOPS 22144 HAS SOUS 2912 HAS SOUPS 2904 WITH SCORE 2927.434
AT ITER 4077 NEW BEST:: SOT 28809 SOS 23433 HAS SOPS 22143 HAS SOUS 2911 HAS SOUPS 2903 WITH SCORE 2926.433
AT ITER 4132 NEW BEST:: SOT 28809 SOS 23432 HAS SOPS 22142 HAS SOUS 2911 HAS SOUPS 2903 WITH SCORE 2926.432
AT ITER 4144 NEW BEST:: SOT 28799 SOS 23424 HAS SOPS 22134 HAS SOUS 2907 HAS SOUPS 2899 WITH SCORE 2922.424
AT ITER 4285 NEW BEST:: SOT 28799 SOS 23370 HAS SOPS 22080 HAS SOUS 2907 HAS SOUPS 2899 WITH SCORE 2922.37
AT ITER 4304 NEW BEST:: SOT 28798 SOS 23371 HAS SOPS 22081 HAS SOUS 2906 HAS SOUPS 2898 WITH SCORE 2921.371
AT ITER 4606 NEW BEST:: SOT 28783 SOS 23355 HAS SOPS 22065 HAS SOUS 2894 HAS SOUPS 2886 WITH SCORE 2909.355
AT ITER 4615 NEW BEST:: SOT 28742 SOS 23315 HAS SOPS 22025 HAS SOUS 2890 HAS SOUPS 2882 WITH SCORE 2905.315
AT ITER 4661 NEW BEST:: SOT 28754 SOS 23331 HAS SOPS 22041 HAS SOUS 2888 HAS SOUPS 2880 WITH SCORE 2903.331
AT ITER 4681 NEW BEST:: SOT 28739 SOS 23315 HAS SOPS 22025 HAS SOUS 2873 HAS SOUPS 2865 WITH SCORE 2888.315
AT ITER 4800 NEW BEST:: SOT 28724 SOS 23298 HAS SOPS 22008 HAS SOUS 2865 HAS SOUPS 2857 WITH SCORE 2880.298
AT ITER 4853 NEW BEST:: SOT 28725 SOS 23300 HAS SOPS 22010 HAS SOUS 2860 HAS SOUPS 2852 WITH SCORE 2875.3
AT ITER 4940 NEW BEST:: SOT 28770 SOS 23350 HAS SOPS 22060 HAS SOUS 2834 HAS SOUPS 2826 WITH SCORE 2849.35
AT ITER 5014 NEW BEST:: SOT 28778 SOS 23350 HAS SOPS 22060 HAS SOUS 2833 HAS SOUPS 2825 WITH SCORE 2848.35
AT ITER 5058 NEW BEST:: SOT 28785 SOS 23356 HAS SOPS 22066 HAS SOUS 2808 HAS SOUPS 2800 WITH SCORE 2823.356
AT ITER 5117 NEW BEST:: SOT 28784 SOS 23355 HAS SOPS 22065 HAS SOUS 2808 HAS SOUPS 2800 WITH SCORE 2823.355
AT ITER 5317 NEW BEST:: SOT 28783 SOS 23300 HAS SOPS 22010 HAS SOUS 2807 HAS SOUPS 2799 WITH SCORE 2822.3
AT ITER 5381 NEW BEST:: SOT 28782 SOS 23304 HAS SOPS 22014 HAS SOUS 2800 HAS SOUPS 2792 WITH SCORE 2815.304
AT ITER 5577 NEW BEST:: SOT 28782 SOS 23301 HAS SOPS 22011 HAS SOUS 2793 HAS SOUPS 2785 WITH SCORE 2808.301
AT ITER 5651 NEW BEST:: SOT 28799 SOS 23315 HAS SOPS 22025 HAS SOUS 2753 HAS SOUPS 2745 WITH SCORE 2768.315
AT ITER 5920 NEW BEST:: SOT 28798 SOS 23314 HAS SOPS 22024 HAS SOUS 2752 HAS SOUPS 2744 WITH SCORE 2767.314
AT ITER 6180 NEW BEST:: SOT 28798 SOS 22864 HAS SOPS 22134 HAS SOUS 2750 HAS SOUPS 2744 WITH SCORE 2766.864
AT ITER 6404 NEW BEST:: SOT 28798 SOS 22864 HAS SOPS 22134 HAS SOUS 2749 HAS SOUPS 2743 WITH SCORE 2765.864
AT ITER 6424 NEW BEST:: SOT 28797 SOS 22862 HAS SOPS 22132 HAS SOUS 2740 HAS SOUPS 2734 WITH SCORE 2756.862
AT ITER 6538 NEW BEST:: SOT 28891 SOS 22926 HAS SOPS 22196 HAS SOUS 2737 HAS SOUPS 2731 WITH SCORE 2753.926
AT ITER 6670 NEW BEST:: SOT 28915 SOS 22946 HAS SOPS 22216 HAS SOUS 2728 HAS SOUPS 2722 WITH SCORE 2744.946
AT ITER 6759 NEW BEST:: SOT 28914 SOS 22947 HAS SOPS 22217 HAS SOUS 2727 HAS SOUPS 2721 WITH SCORE 2743.947
AT ITER 7441 NEW BEST:: SOT 28913 SOS 22892 HAS SOPS 22162 HAS SOUS 2726 HAS SOUPS 2720 WITH SCORE 2742.892
AT ITER 7462 NEW BEST:: SOT 28913 SOS 22783 HAS SOPS 21997 HAS SOUS 2726 HAS SOUPS 2720 WITH SCORE 2742.783
AT ITER 7670 NEW BEST:: SOT 28907 SOS 22724 HAS SOPS 21938 HAS SOUS 2725 HAS SOUPS 2719 WITH SCORE 2741.724
AT ITER 7913 NEW BEST:: SOT 28907 SOS 22723 HAS SOPS 21937 HAS SOUS 2725 HAS SOUPS 2719 WITH SCORE 2741.723
AT ITER 8018 NEW BEST:: SOT 28962 SOS 22719 HAS SOPS 21933 HAS SOUS 2725 HAS SOUPS 2719 WITH SCORE 2741.719
AT ITER 8140 NEW BEST:: SOT 28961 SOS 22718 HAS SOPS 21932 HAS SOUS 2724 HAS SOUPS 2718 WITH SCORE 2740.718
AT ITER 8268 NEW BEST:: SOT 28961 SOS 22717 HAS SOPS 21931 HAS SOUS 2723 HAS SOUPS 2717 WITH SCORE 2739.717
AT ITER 8549 NEW BEST:: SOT 28961 SOS 22719 HAS SOPS 21933 HAS SOUS 2721 HAS SOUPS 2715 WITH SCORE 2737.719
AT ITER 8673 NEW BEST:: SOT 28960 SOS 22717 HAS SOPS 21931 HAS SOUS 2720 HAS SOUPS 2714 WITH SCORE 2736.717
AT ITER 8806 NEW BEST:: SOT 28960 SOS 23560 HAS SOPS 21710 HAS SOUS 2722 HAS SOUPS 2713 WITH SCORE 2736.56
AT ITER 8837 NEW BEST:: SOT 28958 SOS 23557 HAS SOPS 21707 HAS SOUS 2721 HAS SOUPS 2712 WITH SCORE 2735.557
AT ITER 9250 NEW BEST:: SOT 28958 SOS 23220 HAS SOPS 21762 HAS SOUS 2720 HAS SOUPS 2712 WITH SCORE 2735.22
AT ITER 9551 NEW BEST:: SOT 28958 SOS 22884 HAS SOPS 21762 HAS SOUS 2719 HAS SOUPS 2712 WITH SCORE 2734.884
STATE_SPACE STATES 124045181 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 12 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 1413031463 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1678474382350

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

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="AutonomousCar-PT-07a"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="smart"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

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

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool smart"
echo " Input is AutonomousCar-PT-07a, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 1"
echo " Run identifier is r003-oct2-167813591100632"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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