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.r459-smll-167912651200448.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 StigmergyCommit-PT-05a, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651200448
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 1.1M
-rw-r--r-- 1 mcc users 6.0K Feb 26 11:07 CTLCardinality.txt
-rw-r--r-- 1 mcc users 65K Feb 26 11:07 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.9K Feb 26 11:01 CTLFireability.txt
-rw-r--r-- 1 mcc users 54K Feb 26 11:01 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 26K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.3K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 18K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 12K Feb 26 11:11 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 132K Feb 26 11:11 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 5.8K Feb 26 11:09 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 11:09 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 613K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679357043867

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=StigmergyCommit-PT-05a
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 00:04:07] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 00:04:07] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 00:04:07] [INFO ] Load time of PNML (sax parser for PT used): 225 ms
[2023-03-21 00:04:07] [INFO ] Transformed 220 places.
[2023-03-21 00:04:07] [INFO ] Transformed 1212 transitions.
[2023-03-21 00:04:07] [INFO ] Found NUPN structural information;
[2023-03-21 00:04:07] [INFO ] Parsed PT model containing 220 places and 1212 transitions and 11640 arcs in 347 ms.
[2023-03-21 00:04:07] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 220 places, 1212 transitions and 11640 arcs took 32 ms.
Total runtime 425 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running StigmergyCommit (PT), instance 05a
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: 220 places, 1212 transitions, 11640 arcs.
AT ITER 0 NEW BEST:: SOT 101795 SOS 65123 HAS SOPS 41484 HAS SOUS 11619 HAS SOUPS 11556 WITH SCORE 11621.123
AT ITER 5 NEW BEST:: SOT 101794 SOS 65109 HAS SOPS 41470 HAS SOUS 11612 HAS SOUPS 11549 WITH SCORE 11614.109
AT ITER 26 NEW BEST:: SOT 101778 SOS 65133 HAS SOPS 41494 HAS SOUS 11588 HAS SOUPS 11525 WITH SCORE 11590.133
AT ITER 38 NEW BEST:: SOT 101777 SOS 65133 HAS SOPS 41494 HAS SOUS 11587 HAS SOUPS 11524 WITH SCORE 11589.133
AT ITER 41 NEW BEST:: SOT 101860 SOS 65191 HAS SOPS 41552 HAS SOUS 11584 HAS SOUPS 11521 WITH SCORE 11586.191
AT ITER 57 NEW BEST:: SOT 101847 SOS 65175 HAS SOPS 41536 HAS SOUS 11576 HAS SOUPS 11513 WITH SCORE 11578.175
AT ITER 59 NEW BEST:: SOT 101837 SOS 65163 HAS SOPS 41524 HAS SOUS 11574 HAS SOUPS 11511 WITH SCORE 11576.163
AT ITER 79 NEW BEST:: SOT 101820 SOS 74249 HAS SOPS 44870 HAS SOUS 11567 HAS SOUPS 11494 WITH SCORE 11568.249
AT ITER 97 NEW BEST:: SOT 101814 SOS 74242 HAS SOPS 44863 HAS SOUS 11560 HAS SOUPS 11487 WITH SCORE 11561.242
AT ITER 114 NEW BEST:: SOT 101763 SOS 74240 HAS SOPS 46941 HAS SOUS 11519 HAS SOUPS 11446 WITH SCORE 11520.24
AT ITER 131 NEW BEST:: SOT 101763 SOS 74230 HAS SOPS 46931 HAS SOUS 11509 HAS SOUPS 11436 WITH SCORE 11510.23
AT ITER 150 NEW BEST:: SOT 101788 SOS 74212 HAS SOPS 46913 HAS SOUS 11500 HAS SOUPS 11427 WITH SCORE 11501.212
AT ITER 164 NEW BEST:: SOT 101770 SOS 74224 HAS SOPS 46925 HAS SOUS 11464 HAS SOUPS 11391 WITH SCORE 11465.224
AT ITER 171 NEW BEST:: SOT 101764 SOS 74212 HAS SOPS 46913 HAS SOUS 11458 HAS SOUPS 11385 WITH SCORE 11459.212
AT ITER 175 NEW BEST:: SOT 101716 SOS 74184 HAS SOPS 46885 HAS SOUS 11430 HAS SOUPS 11357 WITH SCORE 11431.184
AT ITER 193 NEW BEST:: SOT 101717 SOS 74226 HAS SOPS 46927 HAS SOUS 11413 HAS SOUPS 11340 WITH SCORE 11414.226
AT ITER 207 NEW BEST:: SOT 101757 SOS 74206 HAS SOPS 46907 HAS SOUS 11403 HAS SOUPS 11330 WITH SCORE 11404.206
AT ITER 216 NEW BEST:: SOT 101725 SOS 74174 HAS SOPS 46875 HAS SOUS 11403 HAS SOUPS 11330 WITH SCORE 11404.174
AT ITER 254 NEW BEST:: SOT 101749 SOS 74030 HAS SOPS 46699 HAS SOUS 11395 HAS SOUPS 11322 WITH SCORE 11396.03
AT ITER 267 NEW BEST:: SOT 101748 SOS 74028 HAS SOPS 46697 HAS SOUS 11393 HAS SOUPS 11320 WITH SCORE 11394.028
AT ITER 296 NEW BEST:: SOT 101749 SOS 74104 HAS SOPS 46773 HAS SOUS 11379 HAS SOUPS 11306 WITH SCORE 11380.104
AT ITER 303 NEW BEST:: SOT 95590 SOS 73644 HAS SOPS 40581 HAS SOUS 7541 HAS SOUPS 7314 WITH SCORE 7387.644
AT ITER 329 NEW BEST:: SOT 95589 SOS 73643 HAS SOPS 40579 HAS SOUS 7539 HAS SOUPS 7312 WITH SCORE 7385.643
AT ITER 370 NEW BEST:: SOT 96158 SOS 74144 HAS SOPS 39514 HAS SOUS 7492 HAS SOUPS 7260 WITH SCORE 7334.144
AT ITER 384 NEW BEST:: SOT 96126 SOS 74114 HAS SOPS 39510 HAS SOUS 7490 HAS SOUPS 7258 WITH SCORE 7332.114
AT ITER 404 NEW BEST:: SOT 96126 SOS 74108 HAS SOPS 39504 HAS SOUS 7484 HAS SOUPS 7252 WITH SCORE 7326.108
AT ITER 419 NEW BEST:: SOT 96073 SOS 74003 HAS SOPS 39398 HAS SOUS 7406 HAS SOUPS 7174 WITH SCORE 7248.003
AT ITER 423 NEW BEST:: SOT 96072 SOS 74002 HAS SOPS 39396 HAS SOUS 7401 HAS SOUPS 7169 WITH SCORE 7243.002
AT ITER 427 NEW BEST:: SOT 96152 SOS 74040 HAS SOPS 39462 HAS SOUS 7396 HAS SOUPS 7164 WITH SCORE 7238.04
AT ITER 429 NEW BEST:: SOT 96885 SOS 74713 HAS SOPS 39729 HAS SOUS 7388 HAS SOUPS 7153 WITH SCORE 7227.713
AT ITER 446 NEW BEST:: SOT 96883 SOS 74709 HAS SOPS 39725 HAS SOUS 7386 HAS SOUPS 7151 WITH SCORE 7225.709
AT ITER 468 NEW BEST:: SOT 96868 SOS 74703 HAS SOPS 39719 HAS SOUS 7371 HAS SOUPS 7136 WITH SCORE 7210.703
AT ITER 473 NEW BEST:: SOT 96483 SOS 74318 HAS SOPS 39334 HAS SOUS 6956 HAS SOUPS 6721 WITH SCORE 6795.318
AT ITER 478 NEW BEST:: SOT 96004 SOS 73885 HAS SOPS 38901 HAS SOUS 6458 HAS SOUPS 6223 WITH SCORE 6296.885
AT ITER 546 NEW BEST:: SOT 95593 SOS 73471 HAS SOPS 38487 HAS SOUS 6447 HAS SOUPS 6212 WITH SCORE 6285.471
AT ITER 550 NEW BEST:: SOT 95590 SOS 73466 HAS SOPS 38481 HAS SOUS 6441 HAS SOUPS 6206 WITH SCORE 6279.466
AT ITER 606 NEW BEST:: SOT 94444 SOS 72498 HAS SOPS 42614 HAS SOUS 6421 HAS SOUPS 6189 WITH SCORE 6261.498
AT ITER 638 NEW BEST:: SOT 94385 SOS 72380 HAS SOPS 42496 HAS SOUS 6380 HAS SOUPS 6148 WITH SCORE 6220.38
AT ITER 640 NEW BEST:: SOT 94333 SOS 72327 HAS SOPS 42392 HAS SOUS 6306 HAS SOUPS 6071 WITH SCORE 6143.327
AT ITER 652 NEW BEST:: SOT 94289 SOS 72239 HAS SOPS 42304 HAS SOUS 6300 HAS SOUPS 6065 WITH SCORE 6137.239
AT ITER 682 NEW BEST:: SOT 94289 SOS 72227 HAS SOPS 42292 HAS SOUS 6288 HAS SOUPS 6053 WITH SCORE 6125.227
AT ITER 701 NEW BEST:: SOT 94295 SOS 72227 HAS SOPS 42292 HAS SOUS 6285 HAS SOUPS 6050 WITH SCORE 6122.227
AT ITER 713 NEW BEST:: SOT 94249 SOS 72245 HAS SOPS 42346 HAS SOUS 6239 HAS SOUPS 6004 WITH SCORE 6076.245
AT ITER 736 NEW BEST:: SOT 94248 SOS 72244 HAS SOPS 42344 HAS SOUS 6239 HAS SOUPS 6004 WITH SCORE 6076.244
AT ITER 753 NEW BEST:: SOT 94194 SOS 72184 HAS SOPS 42284 HAS SOUS 6182 HAS SOUPS 5947 WITH SCORE 6019.184
AT ITER 847 NEW BEST:: SOT 94204 SOS 72273 HAS SOPS 42373 HAS SOUS 6131 HAS SOUPS 5896 WITH SCORE 5968.273
AT ITER 866 NEW BEST:: SOT 94196 SOS 72265 HAS SOPS 42357 HAS SOUS 6113 HAS SOUPS 5878 WITH SCORE 5950.265
AT ITER 870 NEW BEST:: SOT 94195 SOS 72264 HAS SOPS 42355 HAS SOUS 6109 HAS SOUPS 5874 WITH SCORE 5946.264
AT ITER 872 NEW BEST:: SOT 94185 SOS 72244 HAS SOPS 42335 HAS SOUS 6089 HAS SOUPS 5854 WITH SCORE 5926.244
AT ITER 887 NEW BEST:: SOT 94173 SOS 72244 HAS SOPS 42335 HAS SOUS 6083 HAS SOUPS 5848 WITH SCORE 5920.244
AT ITER 893 NEW BEST:: SOT 94192 SOS 72238 HAS SOPS 42329 HAS SOUS 6069 HAS SOUPS 5834 WITH SCORE 5906.238
AT ITER 909 NEW BEST:: SOT 94187 SOS 73698 HAS SOPS 42289 HAS SOUS 6084 HAS SOUPS 5829 WITH SCORE 5902.698
AT ITER 939 NEW BEST:: SOT 94170 SOS 73680 HAS SOPS 42293 HAS SOUS 6067 HAS SOUPS 5812 WITH SCORE 5885.68
AT ITER 945 NEW BEST:: SOT 94180 SOS 73640 HAS SOPS 40682 HAS SOUS 6066 HAS SOUPS 5811 WITH SCORE 5884.64
AT ITER 963 NEW BEST:: SOT 94168 SOS 73672 HAS SOPS 40728 HAS SOUS 6054 HAS SOUPS 5799 WITH SCORE 5872.672
AT ITER 981 NEW BEST:: SOT 94162 SOS 73660 HAS SOPS 40716 HAS SOUS 6048 HAS SOUPS 5793 WITH SCORE 5866.66
AT ITER 982 NEW BEST:: SOT 94189 SOS 73642 HAS SOPS 40698 HAS SOUS 6021 HAS SOUPS 5766 WITH SCORE 5839.642
AT ITER 1061 NEW BEST:: SOT 94187 SOS 73639 HAS SOPS 40694 HAS SOUS 6017 HAS SOUPS 5762 WITH SCORE 5835.639
AT ITER 1083 NEW BEST:: SOT 94186 SOS 73637 HAS SOPS 40692 HAS SOUS 6015 HAS SOUPS 5760 WITH SCORE 5833.637
AT ITER 1090 NEW BEST:: SOT 94207 SOS 73663 HAS SOPS 40678 HAS SOUS 6008 HAS SOUPS 5753 WITH SCORE 5826.663
AT ITER 1105 NEW BEST:: SOT 94203 SOS 73663 HAS SOPS 40678 HAS SOUS 6006 HAS SOUPS 5751 WITH SCORE 5824.663
AT ITER 1111 NEW BEST:: SOT 94203 SOS 73663 HAS SOPS 40678 HAS SOUS 6001 HAS SOUPS 5746 WITH SCORE 5819.663
AT ITER 1144 NEW BEST:: SOT 94152 SOS 73562 HAS SOPS 40576 HAS SOUS 5944 HAS SOUPS 5689 WITH SCORE 5762.562
AT ITER 1160 NEW BEST:: SOT 94151 SOS 73561 HAS SOPS 40574 HAS SOUS 5942 HAS SOUPS 5687 WITH SCORE 5760.561
AT ITER 1192 NEW BEST:: SOT 94175 SOS 73609 HAS SOPS 40622 HAS SOUS 5940 HAS SOUPS 5685 WITH SCORE 5758.609
AT ITER 1211 NEW BEST:: SOT 94171 SOS 73577 HAS SOPS 40584 HAS SOUS 5936 HAS SOUPS 5681 WITH SCORE 5754.577
AT ITER 1318 NEW BEST:: SOT 94169 SOS 73575 HAS SOPS 40582 HAS SOUS 5936 HAS SOUPS 5681 WITH SCORE 5754.575
AT ITER 1321 NEW BEST:: SOT 94153 SOS 73575 HAS SOPS 40596 HAS SOUS 5929 HAS SOUPS 5674 WITH SCORE 5747.575
AT ITER 1337 NEW BEST:: SOT 93333 SOS 72743 HAS SOPS 39764 HAS SOUS 5757 HAS SOUPS 5502 WITH SCORE 5574.743
AT ITER 1357 NEW BEST:: SOT 93337 SOS 72760 HAS SOPS 39772 HAS SOUS 5751 HAS SOUPS 5496 WITH SCORE 5568.76
AT ITER 1411 NEW BEST:: SOT 93389 SOS 72785 HAS SOPS 39797 HAS SOUS 5734 HAS SOUPS 5479 WITH SCORE 5551.785
AT ITER 1430 NEW BEST:: SOT 93380 SOS 72767 HAS SOPS 39779 HAS SOUS 5725 HAS SOUPS 5470 WITH SCORE 5542.767
AT ITER 1444 NEW BEST:: SOT 93379 SOS 72765 HAS SOPS 39777 HAS SOUS 5723 HAS SOUPS 5468 WITH SCORE 5540.765
AT ITER 1477 NEW BEST:: SOT 93376 SOS 72769 HAS SOPS 39781 HAS SOUS 5720 HAS SOUPS 5465 WITH SCORE 5537.769
AT ITER 1487 NEW BEST:: SOT 93368 SOS 72821 HAS SOPS 39833 HAS SOUS 5713 HAS SOUPS 5458 WITH SCORE 5530.821
AT ITER 1492 NEW BEST:: SOT 93343 SOS 72807 HAS SOPS 39819 HAS SOUS 5699 HAS SOUPS 5444 WITH SCORE 5516.807
AT ITER 1504 NEW BEST:: SOT 93325 SOS 72747 HAS SOPS 39759 HAS SOUS 5665 HAS SOUPS 5410 WITH SCORE 5482.747
AT ITER 1511 NEW BEST:: SOT 93310 SOS 72733 HAS SOPS 39745 HAS SOUS 5650 HAS SOUPS 5395 WITH SCORE 5467.733
AT ITER 1547 NEW BEST:: SOT 93322 SOS 72733 HAS SOPS 39744 HAS SOUS 5649 HAS SOUPS 5394 WITH SCORE 5466.733
AT ITER 1675 NEW BEST:: SOT 93322 SOS 72715 HAS SOPS 39726 HAS SOUS 5640 HAS SOUPS 5385 WITH SCORE 5457.715
AT ITER 1840 NEW BEST:: SOT 93312 SOS 72705 HAS SOPS 39716 HAS SOUS 5630 HAS SOUPS 5375 WITH SCORE 5447.705
AT ITER 1849 NEW BEST:: SOT 93306 SOS 72676 HAS SOPS 39704 HAS SOUS 5618 HAS SOUPS 5363 WITH SCORE 5435.676
AT ITER 1858 NEW BEST:: SOT 93308 SOS 72672 HAS SOPS 39704 HAS SOUS 5616 HAS SOUPS 5361 WITH SCORE 5433.672
AT ITER 1878 NEW BEST:: SOT 93318 SOS 72647 HAS SOPS 39562 HAS SOUS 5571 HAS SOUPS 5316 WITH SCORE 5388.647
AT ITER 1972 NEW BEST:: SOT 93317 SOS 72646 HAS SOPS 39560 HAS SOUS 5567 HAS SOUPS 5312 WITH SCORE 5384.646
AT ITER 1979 NEW BEST:: SOT 93316 SOS 72643 HAS SOPS 39558 HAS SOUS 5564 HAS SOUPS 5310 WITH SCORE 5382.643
AT ITER 2061 NEW BEST:: SOT 93342 SOS 73445 HAS SOPS 40360 HAS SOUS 5542 HAS SOUPS 5288 WITH SCORE 5361.445
AT ITER 2067 NEW BEST:: SOT 93342 SOS 73408 HAS SOPS 40360 HAS SOUS 5542 HAS SOUPS 5288 WITH SCORE 5361.408
AT ITER 2150 NEW BEST:: SOT 93307 SOS 73390 HAS SOPS 40342 HAS SOUS 5537 HAS SOUPS 5283 WITH SCORE 5356.39
AT ITER 2156 NEW BEST:: SOT 93303 SOS 73381 HAS SOPS 40334 HAS SOUS 5529 HAS SOUPS 5275 WITH SCORE 5348.381
AT ITER 2165 NEW BEST:: SOT 93302 SOS 73369 HAS SOPS 40322 HAS SOUS 5528 HAS SOUPS 5274 WITH SCORE 5347.369
AT ITER 2174 NEW BEST:: SOT 93302 SOS 73369 HAS SOPS 40322 HAS SOUS 5521 HAS SOUPS 5267 WITH SCORE 5340.369
AT ITER 2198 NEW BEST:: SOT 93313 SOS 73262 HAS SOPS 38745 HAS SOUS 5506 HAS SOUPS 5252 WITH SCORE 5325.262
AT ITER 2237 NEW BEST:: SOT 93310 SOS 73256 HAS SOPS 38739 HAS SOUS 5503 HAS SOUPS 5249 WITH SCORE 5322.256
AT ITER 2254 NEW BEST:: SOT 93305 SOS 73258 HAS SOPS 37945 HAS SOUS 5491 HAS SOUPS 5237 WITH SCORE 5310.258
AT ITER 2305 NEW BEST:: SOT 93296 SOS 73225 HAS SOPS 37912 HAS SOUS 5482 HAS SOUPS 5228 WITH SCORE 5301.225
AT ITER 2338 NEW BEST:: SOT 93283 SOS 73212 HAS SOPS 37886 HAS SOUS 5467 HAS SOUPS 5213 WITH SCORE 5286.212
AT ITER 2387 NEW BEST:: SOT 93280 SOS 73206 HAS SOPS 37880 HAS SOUS 5461 HAS SOUPS 5207 WITH SCORE 5280.206
AT ITER 2396 NEW BEST:: SOT 93339 SOS 73324 HAS SOPS 37998 HAS SOUS 5459 HAS SOUPS 5205 WITH SCORE 5278.324
AT ITER 2439 NEW BEST:: SOT 93374 SOS 73391 HAS SOPS 37977 HAS SOUS 5440 HAS SOUPS 5184 WITH SCORE 5257.391
AT ITER 2457 NEW BEST:: SOT 93373 SOS 73389 HAS SOPS 37975 HAS SOUS 5438 HAS SOUPS 5182 WITH SCORE 5255.389
AT ITER 2471 NEW BEST:: SOT 93369 SOS 73385 HAS SOPS 37975 HAS SOUS 5438 HAS SOUPS 5182 WITH SCORE 5255.385
AT ITER 2501 NEW BEST:: SOT 93368 SOS 73383 HAS SOPS 37973 HAS SOUS 5436 HAS SOUPS 5180 WITH SCORE 5253.383
AT ITER 2527 NEW BEST:: SOT 93397 SOS 73361 HAS SOPS 37951 HAS SOUS 5426 HAS SOUPS 5170 WITH SCORE 5243.361
AT ITER 2558 NEW BEST:: SOT 93401 SOS 73377 HAS SOPS 37959 HAS SOUS 5422 HAS SOUPS 5166 WITH SCORE 5239.377
AT ITER 2563 NEW BEST:: SOT 93414 SOS 73391 HAS SOPS 37951 HAS SOUS 5418 HAS SOUPS 5162 WITH SCORE 5235.391
AT ITER 2581 NEW BEST:: SOT 93434 SOS 73411 HAS SOPS 37991 HAS SOUS 5416 HAS SOUPS 5160 WITH SCORE 5233.411
AT ITER 2611 NEW BEST:: SOT 93341 SOS 73429 HAS SOPS 38009 HAS SOUS 5409 HAS SOUPS 5153 WITH SCORE 5226.429
AT ITER 2620 NEW BEST:: SOT 93339 SOS 73425 HAS SOPS 38005 HAS SOUS 5407 HAS SOUPS 5151 WITH SCORE 5224.425
AT ITER 2717 NEW BEST:: SOT 93335 SOS 73421 HAS SOPS 37997 HAS SOUS 5399 HAS SOUPS 5143 WITH SCORE 5216.421
AT ITER 2810 NEW BEST:: SOT 93351 SOS 73437 HAS SOPS 37941 HAS SOUS 5351 HAS SOUPS 5095 WITH SCORE 5168.437
AT ITER 2826 NEW BEST:: SOT 93349 SOS 73446 HAS SOPS 37884 HAS SOUS 5349 HAS SOUPS 5093 WITH SCORE 5166.446
AT ITER 3060 NEW BEST:: SOT 93354 SOS 73456 HAS SOPS 37894 HAS SOUS 5347 HAS SOUPS 5091 WITH SCORE 5164.456
AT ITER 3064 NEW BEST:: SOT 93342 SOS 73687 HAS SOPS 37873 HAS SOUS 5341 HAS SOUPS 5082 WITH SCORE 5155.687
AT ITER 3067 NEW BEST:: SOT 93341 SOS 73686 HAS SOPS 37871 HAS SOUS 5339 HAS SOUPS 5080 WITH SCORE 5153.686
AT ITER 3085 NEW BEST:: SOT 93392 SOS 73588 HAS SOPS 37773 HAS SOUS 5290 HAS SOUPS 5031 WITH SCORE 5104.588
AT ITER 3165 NEW BEST:: SOT 93430 SOS 73540 HAS SOPS 37725 HAS SOUS 5273 HAS SOUPS 5014 WITH SCORE 5087.54
AT ITER 3226 NEW BEST:: SOT 93420 SOS 73535 HAS SOPS 37720 HAS SOUS 5273 HAS SOUPS 5014 WITH SCORE 5087.535
AT ITER 3236 NEW BEST:: SOT 93411 SOS 77260 HAS SOPS 38575 HAS SOUS 5269 HAS SOUPS 5005 WITH SCORE 5082.26
AT ITER 3246 NEW BEST:: SOT 93410 SOS 77257 HAS SOPS 38569 HAS SOUS 5266 HAS SOUPS 4999 WITH SCORE 5076.257
AT ITER 3348 NEW BEST:: SOT 93410 SOS 77227 HAS SOPS 38569 HAS SOUS 5266 HAS SOUPS 4999 WITH SCORE 5076.227
AT ITER 3376 NEW BEST:: SOT 93410 SOS 77177 HAS SOPS 38509 HAS SOUS 5266 HAS SOUPS 4999 WITH SCORE 5076.177
AT ITER 3434 NEW BEST:: SOT 93403 SOS 77154 HAS SOPS 38495 HAS SOUS 5252 HAS SOUPS 4985 WITH SCORE 5062.154
AT ITER 3488 NEW BEST:: SOT 93403 SOS 77151 HAS SOPS 38492 HAS SOUS 5249 HAS SOUPS 4982 WITH SCORE 5059.151
AT ITER 3744 NEW BEST:: SOT 93402 SOS 77153 HAS SOPS 38490 HAS SOUS 5247 HAS SOUPS 4980 WITH SCORE 5057.153
AT ITER 3768 NEW BEST:: SOT 93390 SOS 77141 HAS SOPS 38466 HAS SOUS 5224 HAS SOUPS 4957 WITH SCORE 5034.141
AT ITER 3836 NEW BEST:: SOT 93379 SOS 77119 HAS SOPS 38444 HAS SOUS 5224 HAS SOUPS 4957 WITH SCORE 5034.119
AT ITER 3874 NEW BEST:: SOT 93402 SOS 77142 HAS SOPS 38490 HAS SOUS 5210 HAS SOUPS 4943 WITH SCORE 5020.142
AT ITER 3935 NEW BEST:: SOT 93401 SOS 77138 HAS SOPS 38486 HAS SOUS 5207 HAS SOUPS 4940 WITH SCORE 5017.138
AT ITER 3936 NEW BEST:: SOT 93399 SOS 77128 HAS SOPS 38476 HAS SOUS 5203 HAS SOUPS 4936 WITH SCORE 5013.128
AT ITER 4064 NEW BEST:: SOT 93398 SOS 77126 HAS SOPS 38474 HAS SOUS 5201 HAS SOUPS 4934 WITH SCORE 5011.126
AT ITER 4080 NEW BEST:: SOT 93406 SOS 77126 HAS SOPS 38474 HAS SOUS 5197 HAS SOUPS 4930 WITH SCORE 5007.126
AT ITER 4184 NEW BEST:: SOT 93406 SOS 77125 HAS SOPS 38473 HAS SOUS 5197 HAS SOUPS 4930 WITH SCORE 5007.125
AT ITER 4277 NEW BEST:: SOT 93406 SOS 77117 HAS SOPS 38435 HAS SOUS 5197 HAS SOUPS 4930 WITH SCORE 5007.117
AT ITER 4286 NEW BEST:: SOT 93402 SOS 77087 HAS SOPS 38427 HAS SOUS 5189 HAS SOUPS 4922 WITH SCORE 4999.087
AT ITER 4301 NEW BEST:: SOT 93403 SOS 77089 HAS SOPS 38429 HAS SOUS 5186 HAS SOUPS 4919 WITH SCORE 4996.089
AT ITER 4414 NEW BEST:: SOT 93402 SOS 77088 HAS SOPS 38427 HAS SOUS 5184 HAS SOUPS 4917 WITH SCORE 4994.088
AT ITER 4491 NEW BEST:: SOT 93397 SOS 77082 HAS SOPS 38421 HAS SOUS 5182 HAS SOUPS 4915 WITH SCORE 4992.082
AT ITER 4553 NEW BEST:: SOT 93407 SOS 77042 HAS SOPS 38371 HAS SOUS 5182 HAS SOUPS 4915 WITH SCORE 4992.042
AT ITER 4555 NEW BEST:: SOT 93408 SOS 77046 HAS SOPS 38373 HAS SOUS 5181 HAS SOUPS 4914 WITH SCORE 4991.046
AT ITER 4636 NEW BEST:: SOT 93407 SOS 77045 HAS SOPS 38371 HAS SOUS 5180 HAS SOUPS 4913 WITH SCORE 4990.045
AT ITER 4641 NEW BEST:: SOT 93405 SOS 77042 HAS SOPS 38367 HAS SOUS 5176 HAS SOUPS 4909 WITH SCORE 4986.042
AT ITER 4649 NEW BEST:: SOT 93435 SOS 77052 HAS SOPS 38395 HAS SOUS 5174 HAS SOUPS 4907 WITH SCORE 4984.052
AT ITER 4784 NEW BEST:: SOT 93411 SOS 77040 HAS SOPS 38383 HAS SOUS 5174 HAS SOUPS 4907 WITH SCORE 4984.04
AT ITER 4881 NEW BEST:: SOT 93320 SOS 76932 HAS SOPS 38285 HAS SOUS 5158 HAS SOUPS 4891 WITH SCORE 4967.932
AT ITER 4952 NEW BEST:: SOT 93320 SOS 76928 HAS SOPS 38285 HAS SOUS 5158 HAS SOUPS 4891 WITH SCORE 4967.928
AT ITER 5107 NEW BEST:: SOT 93319 SOS 76927 HAS SOPS 38284 HAS SOUS 5157 HAS SOUPS 4890 WITH SCORE 4966.927
AT ITER 5128 NEW BEST:: SOT 93316 SOS 76915 HAS SOPS 38272 HAS SOUS 5154 HAS SOUPS 4887 WITH SCORE 4963.915
AT ITER 5148 NEW BEST:: SOT 93308 SOS 76899 HAS SOPS 38256 HAS SOUS 5146 HAS SOUPS 4879 WITH SCORE 4955.899
AT ITER 5207 NEW BEST:: SOT 93308 SOS 76891 HAS SOPS 38256 HAS SOUS 5146 HAS SOUPS 4879 WITH SCORE 4955.891
AT ITER 5213 NEW BEST:: SOT 93326 SOS 76905 HAS SOPS 38270 HAS SOUS 5142 HAS SOUPS 4875 WITH SCORE 4951.905
AT ITER 5220 NEW BEST:: SOT 93324 SOS 76905 HAS SOPS 38268 HAS SOUS 5140 HAS SOUPS 4873 WITH SCORE 4949.905
AT ITER 5235 NEW BEST:: SOT 93301 SOS 76882 HAS SOPS 38222 HAS SOUS 5118 HAS SOUPS 4851 WITH SCORE 4927.882
AT ITER 5259 NEW BEST:: SOT 93308 SOS 76881 HAS SOPS 38224 HAS SOUS 5117 HAS SOUPS 4850 WITH SCORE 4926.881
AT ITER 5375 NEW BEST:: SOT 93304 SOS 76841 HAS SOPS 38184 HAS SOUS 5117 HAS SOUPS 4850 WITH SCORE 4926.841
AT ITER 5427 NEW BEST:: SOT 93300 SOS 76833 HAS SOPS 38176 HAS SOUS 5115 HAS SOUPS 4848 WITH SCORE 4924.833
AT ITER 5617 NEW BEST:: SOT 93278 SOS 76811 HAS SOPS 38132 HAS SOUS 5115 HAS SOUPS 4848 WITH SCORE 4924.811
AT ITER 5666 NEW BEST:: SOT 93277 SOS 76810 HAS SOPS 38130 HAS SOUS 5113 HAS SOUPS 4846 WITH SCORE 4922.81
AT ITER 5676 NEW BEST:: SOT 93286 SOS 76819 HAS SOPS 38148 HAS SOUS 5111 HAS SOUPS 4844 WITH SCORE 4920.819
AT ITER 5763 NEW BEST:: SOT 93285 SOS 76818 HAS SOPS 38146 HAS SOUS 5110 HAS SOUPS 4843 WITH SCORE 4919.818
AT ITER 5782 NEW BEST:: SOT 93280 SOS 76782 HAS SOPS 38110 HAS SOUS 5105 HAS SOUPS 4838 WITH SCORE 4914.782
AT ITER 5795 NEW BEST:: SOT 93271 SOS 76773 HAS SOPS 38092 HAS SOUS 5101 HAS SOUPS 4834 WITH SCORE 4910.773
AT ITER 5804 NEW BEST:: SOT 93267 SOS 76768 HAS SOPS 38087 HAS SOUS 5096 HAS SOUPS 4829 WITH SCORE 4905.768
AT ITER 5805 NEW BEST:: SOT 93189 SOS 76690 HAS SOPS 38003 HAS SOUS 5060 HAS SOUPS 4793 WITH SCORE 4869.69
AT ITER 5890 NEW BEST:: SOT 93188 SOS 76688 HAS SOPS 38002 HAS SOUS 5060 HAS SOUPS 4793 WITH SCORE 4869.688
AT ITER 5892 NEW BEST:: SOT 93187 SOS 76686 HAS SOPS 38000 HAS SOUS 5058 HAS SOUPS 4791 WITH SCORE 4867.686
AT ITER 5938 NEW BEST:: SOT 93186 SOS 76685 HAS SOPS 37998 HAS SOUS 5058 HAS SOUPS 4791 WITH SCORE 4867.685
AT ITER 5961 NEW BEST:: SOT 93184 SOS 76681 HAS SOPS 37994 HAS SOUS 5056 HAS SOUPS 4789 WITH SCORE 4865.681
AT ITER 6036 NEW BEST:: SOT 93164 SOS 76719 HAS SOPS 38042 HAS SOUS 5055 HAS SOUPS 4788 WITH SCORE 4864.719
AT ITER 6038 NEW BEST:: SOT 93158 SOS 76713 HAS SOPS 38030 HAS SOUS 5050 HAS SOUPS 4783 WITH SCORE 4859.713
AT ITER 6116 NEW BEST:: SOT 93153 SOS 76708 HAS SOPS 38025 HAS SOUS 5045 HAS SOUPS 4778 WITH SCORE 4854.708
AT ITER 6141 NEW BEST:: SOT 93140 SOS 76695 HAS SOPS 38012 HAS SOUS 5032 HAS SOUPS 4765 WITH SCORE 4841.695
AT ITER 6253 NEW BEST:: SOT 93127 SOS 76669 HAS SOPS 37986 HAS SOUS 5032 HAS SOUPS 4765 WITH SCORE 4841.669
AT ITER 6336 NEW BEST:: SOT 93118 SOS 76667 HAS SOPS 37984 HAS SOUS 5023 HAS SOUPS 4756 WITH SCORE 4832.667
AT ITER 6403 NEW BEST:: SOT 93118 SOS 76667 HAS SOPS 37984 HAS SOUS 5021 HAS SOUPS 4754 WITH SCORE 4830.667
AT ITER 6409 NEW BEST:: SOT 93117 SOS 76665 HAS SOPS 37983 HAS SOUS 5019 HAS SOUPS 4753 WITH SCORE 4829.665
AT ITER 6457 NEW BEST:: SOT 93116 SOS 76648 HAS SOPS 37981 HAS SOUS 5017 HAS SOUPS 4751 WITH SCORE 4827.648
AT ITER 6695 NEW BEST:: SOT 93104 SOS 76640 HAS SOPS 37973 HAS SOUS 5012 HAS SOUPS 4746 WITH SCORE 4822.64
AT ITER 6736 NEW BEST:: SOT 93101 SOS 76634 HAS SOPS 37967 HAS SOUS 5006 HAS SOUPS 4740 WITH SCORE 4816.634
AT ITER 6780 NEW BEST:: SOT 93127 SOS 76598 HAS SOPS 37957 HAS SOUS 4977 HAS SOUPS 4711 WITH SCORE 4787.598
AT ITER 6790 NEW BEST:: SOT 93123 SOS 76590 HAS SOPS 37949 HAS SOUS 4973 HAS SOUPS 4707 WITH SCORE 4783.59
AT ITER 6846 NEW BEST:: SOT 93117 SOS 76578 HAS SOPS 37937 HAS SOUS 4967 HAS SOUPS 4701 WITH SCORE 4777.578
AT ITER 6905 NEW BEST:: SOT 93115 SOS 76576 HAS SOPS 37933 HAS SOUS 4967 HAS SOUPS 4701 WITH SCORE 4777.576
AT ITER 6907 NEW BEST:: SOT 93119 SOS 76576 HAS SOPS 37933 HAS SOUS 4965 HAS SOUPS 4699 WITH SCORE 4775.576
AT ITER 6917 NEW BEST:: SOT 93065 SOS 76556 HAS SOPS 37869 HAS SOUS 4950 HAS SOUPS 4684 WITH SCORE 4760.556
AT ITER 6960 NEW BEST:: SOT 93065 SOS 76524 HAS SOPS 38397 HAS SOUS 4939 HAS SOUPS 4673 WITH SCORE 4749.524
AT ITER 7107 NEW BEST:: SOT 93061 SOS 76516 HAS SOPS 38389 HAS SOUS 4935 HAS SOUPS 4669 WITH SCORE 4745.516
AT ITER 7213 NEW BEST:: SOT 93060 SOS 76515 HAS SOPS 38389 HAS SOUS 4935 HAS SOUPS 4669 WITH SCORE 4745.515
AT ITER 7454 NEW BEST:: SOT 93061 SOS 76516 HAS SOPS 38388 HAS SOUS 4936 HAS SOUPS 4668 WITH SCORE 4744.516
AT ITER 7489 NEW BEST:: SOT 93060 SOS 76514 HAS SOPS 38386 HAS SOUS 4935 HAS SOUPS 4667 WITH SCORE 4743.514
AT ITER 7511 NEW BEST:: SOT 93062 SOS 76518 HAS SOPS 38390 HAS SOUS 4931 HAS SOUPS 4663 WITH SCORE 4739.518
AT ITER 7550 NEW BEST:: SOT 93062 SOS 76513 HAS SOPS 38384 HAS SOUS 4931 HAS SOUPS 4663 WITH SCORE 4739.513
AT ITER 7727 NEW BEST:: SOT 92900 SOS 76351 HAS SOPS 38222 HAS SOUS 4901 HAS SOUPS 4633 WITH SCORE 4709.351
AT ITER 7770 NEW BEST:: SOT 92902 SOS 76351 HAS SOPS 38222 HAS SOUS 4899 HAS SOUPS 4631 WITH SCORE 4707.351
AT ITER 7846 NEW BEST:: SOT 92903 SOS 76339 HAS SOPS 38206 HAS SOUS 4898 HAS SOUPS 4630 WITH SCORE 4706.339
AT ITER 8080 NEW BEST:: SOT 92880 SOS 76316 HAS SOPS 38160 HAS SOUS 4898 HAS SOUPS 4630 WITH SCORE 4706.316
AT ITER 8502 NEW BEST:: SOT 92882 SOS 76320 HAS SOPS 38164 HAS SOUS 4896 HAS SOUPS 4628 WITH SCORE 4704.32
AT ITER 8686 NEW BEST:: SOT 92881 SOS 76319 HAS SOPS 38162 HAS SOUS 4894 HAS SOUPS 4626 WITH SCORE 4702.319
AT ITER 8709 NEW BEST:: SOT 92873 SOS 78017 HAS SOPS 38148 HAS SOUS 4907 HAS SOUPS 4619 WITH SCORE 4697.017
AT ITER 8790 NEW BEST:: SOT 92874 SOS 78023 HAS SOPS 38150 HAS SOUS 4904 HAS SOUPS 4616 WITH SCORE 4694.023
AT ITER 8957 NEW BEST:: SOT 92578 SOS 77725 HAS SOPS 37854 HAS SOUS 4856 HAS SOUPS 4568 WITH SCORE 4645.725
AT ITER 8984 NEW BEST:: SOT 92578 SOS 77677 HAS SOPS 37798 HAS SOUS 4856 HAS SOUPS 4568 WITH SCORE 4645.677
AT ITER 9073 NEW BEST:: SOT 92578 SOS 77676 HAS SOPS 37798 HAS SOUS 4856 HAS SOUPS 4568 WITH SCORE 4645.676
AT ITER 9207 NEW BEST:: SOT 92573 SOS 77676 HAS SOPS 37796 HAS SOUS 4854 HAS SOUPS 4566 WITH SCORE 4643.676
AT ITER 9452 NEW BEST:: SOT 92595 SOS 77648 HAS SOPS 37768 HAS SOUS 4826 HAS SOUPS 4538 WITH SCORE 4615.648
AT ITER 9476 NEW BEST:: SOT 92594 SOS 77647 HAS SOPS 37766 HAS SOUS 4825 HAS SOUPS 4537 WITH SCORE 4614.647
AT ITER 9481 NEW BEST:: SOT 92586 SOS 77639 HAS SOPS 37750 HAS SOUS 4809 HAS SOUPS 4521 WITH SCORE 4598.639
AT ITER 9705 NEW BEST:: SOT 92588 SOS 75817 HAS SOPS 37076 HAS SOUS 4808 HAS SOUPS 4522 WITH SCORE 4597.817
AT ITER 9710 NEW BEST:: SOT 92585 SOS 75815 HAS SOPS 37074 HAS SOUS 4806 HAS SOUPS 4520 WITH SCORE 4595.815
AT ITER 9846 NEW BEST:: SOT 92584 SOS 75758 HAS SOPS 37006 HAS SOUS 4805 HAS SOUPS 4519 WITH SCORE 4594.758
AT ITER 9907 NEW BEST:: SOT 92583 SOS 75756 HAS SOPS 37004 HAS SOUS 4804 HAS SOUPS 4518 WITH SCORE 4593.756
STATE_SPACE STATES 171115 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 7 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS
STATE_SPACE TRANSITIONS 995562 TECHNIQUES SEQUENTIAL_PROCESSING IMPLICIT RELATIONS DECISION_DIAGRAMS

BK_STOP 1679357283843

--------------------
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="StigmergyCommit-PT-05a"
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 StigmergyCommit-PT-05a, 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 r459-smll-167912651200448"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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