Execution Chart

We display below the execution chart for this examination (boot time has been removed).

Trace from the execution

Formatting '/mnt/tpsp/fkordon/mcc2023-input.r043-tajo-167813696400136.qcow2', fmt=qcow2 size=4294967296 backing_file='/mnt/tpsp/fkordon/mcc2023-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
.............................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool smartxred
Input is BridgeAndVehicles-COL-V80P20N50, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r043-tajo-167813696400136
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 528K
-rw-r--r-- 1 mcc users 6.6K Feb 25 13:03 CTLCardinality.txt
-rw-r--r-- 1 mcc users 60K Feb 25 13:03 CTLCardinality.xml
-rw-r--r-- 1 mcc users 7.7K Feb 25 12:55 CTLFireability.txt
-rw-r--r-- 1 mcc users 61K Feb 25 12:55 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.2K Feb 25 15:36 LTLCardinality.txt
-rw-r--r-- 1 mcc users 25K Feb 25 15:36 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.9K Feb 25 15:36 LTLFireability.txt
-rw-r--r-- 1 mcc users 19K Feb 25 15:36 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 14:40 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 127K Feb 25 14:40 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 13K Feb 25 14:31 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 90K Feb 25 14:31 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.9K Feb 25 15:36 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 15:36 UpperBounds.xml
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 equiv_pt
-rw-r--r-- 1 mcc users 10 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 5 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 47K 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 1678776358236

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=BridgeAndVehicles-COL-V80P20N50
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-14 06:45:59] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-14 06:45:59] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-14 06:45:59] [INFO ] Detected file is not PT type :http://www.pnml.org/version-2009/grammar/symmetricnet
log4j:WARN No appenders could be found for logger (org.apache.axiom.locator.DefaultOMMetaFactoryLocator).
log4j:WARN Please initialize the log4j system properly.
log4j:WARN See http://logging.apache.org/log4j/1.2/faq.html#noconfig for more info.
[2023-03-14 06:46:00] [WARNING] Using fallBack plugin, rng conformance not checked
[2023-03-14 06:46:00] [INFO ] Load time of PNML (colored model parsed with PNMLFW) : 459 ms
[2023-03-14 06:46:00] [INFO ] Imported 15 HL places and 11 HL transitions for a total of 228 PT places and 1339138.0 transition bindings in 17 ms.
[2023-03-14 06:46:00] [INFO ] Unfolded HLPN to a Petri net with 228 places and 8588 transitions 67470 arcs in 217 ms.
[2023-03-14 06:46:00] [INFO ] Unfolded 0 HLPN properties in 0 ms.
[2023-03-14 06:46:00] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 228 places, 8588 transitions and 67470 arcs took 88 ms.
Total runtime 870 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running BridgeAndVehicles (COL), instance V80P20N50
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: 228 places, 8588 transitions, 67470 arcs.
AT ITER 0 NEW BEST:: SOT 1238184 SOS 1217952 HAS SOPS 1209072 HAS SOUS 45601 HAS SOUPS 45543 WITH SCORE 46760.952
AT ITER 99 NEW BEST:: SOT 1238183 SOS 1217951 HAS SOPS 1209071 HAS SOUS 45598 HAS SOUPS 45540 WITH SCORE 46757.951
AT ITER 148 NEW BEST:: SOT 1238182 SOS 1217950 HAS SOPS 1209070 HAS SOUS 45595 HAS SOUPS 45537 WITH SCORE 46754.95
AT ITER 163 NEW BEST:: SOT 1238181 SOS 1217949 HAS SOPS 1209069 HAS SOUS 45592 HAS SOUPS 45534 WITH SCORE 46751.949
AT ITER 262 NEW BEST:: SOT 1238180 SOS 1217948 HAS SOPS 1209068 HAS SOUS 45589 HAS SOUPS 45531 WITH SCORE 46748.948
AT ITER 283 NEW BEST:: SOT 1238179 SOS 1217947 HAS SOPS 1209067 HAS SOUS 45586 HAS SOUPS 45528 WITH SCORE 46745.947
AT ITER 314 NEW BEST:: SOT 1238177 SOS 1217945 HAS SOPS 1209065 HAS SOUS 45529 HAS SOUPS 45471 WITH SCORE 46688.945
AT ITER 549 NEW BEST:: SOT 1238176 SOS 1217944 HAS SOPS 1209064 HAS SOUS 45220 HAS SOUPS 45162 WITH SCORE 46379.944
AT ITER 560 NEW BEST:: SOT 1238176 SOS 1035768 HAS SOPS 1032328 HAS SOUS 45186 HAS SOUPS 45162 WITH SCORE 46197.768
AT ITER 669 NEW BEST:: SOT 1238235 SOS 1035827 HAS SOPS 1032387 HAS SOUS 45086 HAS SOUPS 45062 WITH SCORE 46097.827
AT ITER 738 NEW BEST:: SOT 1238233 SOS 1035825 HAS SOPS 1032385 HAS SOUS 45080 HAS SOUPS 45056 WITH SCORE 46091.825
AT ITER 790 NEW BEST:: SOT 1238233 SOS 1035622 HAS SOPS 1032182 HAS SOUS 45061 HAS SOUPS 45037 WITH SCORE 46072.622
AT ITER 870 NEW BEST:: SOT 1238233 SOS 1035938 HAS SOPS 1032498 HAS SOUS 45047 HAS SOUPS 45023 WITH SCORE 46058.938
AT ITER 875 NEW BEST:: SOT 1238232 SOS 1035937 HAS SOPS 1032497 HAS SOUS 45044 HAS SOUPS 45020 WITH SCORE 46055.937
AT ITER 892 NEW BEST:: SOT 1237986 SOS 1035455 HAS SOPS 1031935 HAS SOUS 44797 HAS SOUPS 44772 WITH SCORE 45807.455
AT ITER 897 NEW BEST:: SOT 1237986 SOS 1035293 HAS SOPS 1031773 HAS SOUS 44795 HAS SOUPS 44770 WITH SCORE 45805.293
AT ITER 931 NEW BEST:: SOT 1237984 SOS 1035291 HAS SOPS 1031771 HAS SOUS 44791 HAS SOUPS 44766 WITH SCORE 45801.291
AT ITER 935 NEW BEST:: SOT 1237984 SOS 1035131 HAS SOPS 1031611 HAS SOUS 44789 HAS SOUPS 44764 WITH SCORE 45799.131
AT ITER 1009 NEW BEST:: SOT 1237984 SOS 1024577 HAS SOPS 1021697 HAS SOUS 44777 HAS SOUPS 44756 WITH SCORE 45780.577
AT ITER 1016 NEW BEST:: SOT 1237965 SOS 1024558 HAS SOPS 1021678 HAS SOUS 44720 HAS SOUPS 44699 WITH SCORE 45723.558
AT ITER 1045 NEW BEST:: SOT 1237964 SOS 1024557 HAS SOPS 1021677 HAS SOUS 44717 HAS SOUPS 44696 WITH SCORE 45720.557
AT ITER 1087 NEW BEST:: SOT 1237963 SOS 1024556 HAS SOPS 1021676 HAS SOUS 44714 HAS SOUPS 44693 WITH SCORE 45717.556
AT ITER 1101 NEW BEST:: SOT 1237955 SOS 1024552 HAS SOPS 1021672 HAS SOUS 44709 HAS SOUPS 44688 WITH SCORE 45712.552
AT ITER 1137 NEW BEST:: SOT 1241703 SOS 1028448 HAS SOPS 1025568 HAS SOUS 44705 HAS SOUPS 44684 WITH SCORE 45712.448
AT ITER 1164 NEW BEST:: SOT 1241702 SOS 1028447 HAS SOPS 1025567 HAS SOUS 44702 HAS SOUPS 44681 WITH SCORE 45709.447
AT ITER 1174 NEW BEST:: SOT 1241696 SOS 1028441 HAS SOPS 1025561 HAS SOUS 44686 HAS SOUPS 44665 WITH SCORE 45693.441
AT ITER 1226 NEW BEST:: SOT 1241695 SOS 1028440 HAS SOPS 1025560 HAS SOUS 44683 HAS SOUPS 44662 WITH SCORE 45690.44
AT ITER 1229 NEW BEST:: SOT 1241417 SOS 1028162 HAS SOPS 1025282 HAS SOUS 42999 HAS SOUPS 42978 WITH SCORE 44006.162
AT ITER 1274 NEW BEST:: SOT 1241401 SOS 1028146 HAS SOPS 1025266 HAS SOUS 42951 HAS SOUPS 42930 WITH SCORE 43958.146
AT ITER 1285 NEW BEST:: SOT 1239761 SOS 1026506 HAS SOPS 1023626 HAS SOUS 37597 HAS SOUPS 37576 WITH SCORE 38602.506
AT ITER 1287 NEW BEST:: SOT 1239761 SOS 1026504 HAS SOPS 1023624 HAS SOUS 37596 HAS SOUPS 37575 WITH SCORE 38601.504
AT ITER 1293 NEW BEST:: SOT 1240047 SOS 1026796 HAS SOPS 1023916 HAS SOUS 37480 HAS SOUPS 37459 WITH SCORE 38485.796
AT ITER 1294 NEW BEST:: SOT 1240047 SOS 1026794 HAS SOPS 1023914 HAS SOUS 37480 HAS SOUPS 37459 WITH SCORE 38485.794
AT ITER 1295 NEW BEST:: SOT 1240046 SOS 1026793 HAS SOPS 1023913 HAS SOUS 37477 HAS SOUPS 37456 WITH SCORE 38482.793
AT ITER 1375 NEW BEST:: SOT 1240046 SOS 1026791 HAS SOPS 1023911 HAS SOUS 37476 HAS SOUPS 37455 WITH SCORE 38481.791
AT ITER 1428 NEW BEST:: SOT 1239996 SOS 1026741 HAS SOPS 1023861 HAS SOUS 37426 HAS SOUPS 37405 WITH SCORE 38431.741
AT ITER 1477 NEW BEST:: SOT 1239985 SOS 1026730 HAS SOPS 1023850 HAS SOUS 37393 HAS SOUPS 37372 WITH SCORE 38398.73
AT ITER 1486 NEW BEST:: SOT 1245666 SOS 1032495 HAS SOPS 1029615 HAS SOUS 36237 HAS SOUPS 36216 WITH SCORE 37248.495
AT ITER 1490 NEW BEST:: SOT 1245664 SOS 1032493 HAS SOPS 1029613 HAS SOUS 36233 HAS SOUPS 36212 WITH SCORE 37244.493
AT ITER 1508 NEW BEST:: SOT 1245662 SOS 1032491 HAS SOPS 1029611 HAS SOUS 36229 HAS SOUPS 36208 WITH SCORE 37240.491
AT ITER 1514 NEW BEST:: SOT 1245629 SOS 1032458 HAS SOPS 1029578 HAS SOUS 36196 HAS SOUPS 36175 WITH SCORE 37207.458
AT ITER 1533 NEW BEST:: SOT 1245629 SOS 1032456 HAS SOPS 1029576 HAS SOUS 36196 HAS SOUPS 36175 WITH SCORE 37207.456
AT ITER 1568 NEW BEST:: SOT 1245627 SOS 1032454 HAS SOPS 1029574 HAS SOUS 36192 HAS SOUPS 36171 WITH SCORE 37203.454
AT ITER 1609 NEW BEST:: SOT 1245625 SOS 1032452 HAS SOPS 1029572 HAS SOUS 36188 HAS SOUPS 36167 WITH SCORE 37199.452
AT ITER 1657 NEW BEST:: SOT 1245625 SOS 1032450 HAS SOPS 1029570 HAS SOUS 36188 HAS SOUPS 36167 WITH SCORE 37199.45
AT ITER 1683 NEW BEST:: SOT 1245625 SOS 1033027 HAS SOPS 1030147 HAS SOUS 36182 HAS SOUPS 36161 WITH SCORE 37194.027
AT ITER 1799 NEW BEST:: SOT 1245623 SOS 1033025 HAS SOPS 1030145 HAS SOUS 36178 HAS SOUPS 36157 WITH SCORE 37190.025
AT ITER 1863 NEW BEST:: SOT 1245597 SOS 1032999 HAS SOPS 1030119 HAS SOUS 36126 HAS SOUPS 36105 WITH SCORE 37137.999
AT ITER 1933 NEW BEST:: SOT 1245587 SOS 1032989 HAS SOPS 1030109 HAS SOUS 35555 HAS SOUPS 35534 WITH SCORE 36566.989
AT ITER 2013 NEW BEST:: SOT 1245586 SOS 1032988 HAS SOPS 1030108 HAS SOUS 35552 HAS SOUPS 35531 WITH SCORE 36563.988
AT ITER 2066 NEW BEST:: SOT 1245570 SOS 1032972 HAS SOPS 1030092 HAS SOUS 35520 HAS SOUPS 35499 WITH SCORE 36531.972
AT ITER 2088 NEW BEST:: SOT 1245570 SOS 1032022 HAS SOPS 1029142 HAS SOUS 35508 HAS SOUPS 35487 WITH SCORE 36519.022
AT ITER 2127 NEW BEST:: SOT 1245518 SOS 1031970 HAS SOPS 1029090 HAS SOUS 35408 HAS SOUPS 35387 WITH SCORE 36418.97
AT ITER 2232 NEW BEST:: SOT 1245470 SOS 1031925 HAS SOPS 1029045 HAS SOUS 35405 HAS SOUPS 35385 WITH SCORE 36416.925
AT ITER 2233 NEW BEST:: SOT 1245422 SOS 1031876 HAS SOPS 1029076 HAS SOUS 35354 HAS SOUPS 35335 WITH SCORE 36366.876
AT ITER 2337 NEW BEST:: SOT 1245412 SOS 1031866 HAS SOPS 1029066 HAS SOUS 35334 HAS SOUPS 35315 WITH SCORE 36346.866
AT ITER 2357 NEW BEST:: SOT 1245410 SOS 1031864 HAS SOPS 1029064 HAS SOUS 35330 HAS SOUPS 35311 WITH SCORE 36342.864
AT ITER 2408 NEW BEST:: SOT 1245950 SOS 1032422 HAS SOPS 1029622 HAS SOUS 34662 HAS SOUPS 34643 WITH SCORE 35675.422
AT ITER 2418 NEW BEST:: SOT 1245950 SOS 1032420 HAS SOPS 1029620 HAS SOUS 34662 HAS SOUPS 34643 WITH SCORE 35675.42
AT ITER 2434 NEW BEST:: SOT 1245935 SOS 1032405 HAS SOPS 1029605 HAS SOUS 34623 HAS SOUPS 34604 WITH SCORE 35636.405
AT ITER 2438 NEW BEST:: SOT 1245935 SOS 1031688 HAS SOPS 1028888 HAS SOUS 34614 HAS SOUPS 34595 WITH SCORE 35626.688
AT ITER 2439 NEW BEST:: SOT 1245923 SOS 1031676 HAS SOPS 1028876 HAS SOUS 34590 HAS SOUPS 34571 WITH SCORE 35602.676
AT ITER 2459 NEW BEST:: SOT 1246062 SOS 1031817 HAS SOPS 1029017 HAS SOUS 33689 HAS SOUPS 33670 WITH SCORE 34701.817
AT ITER 2472 NEW BEST:: SOT 1246052 SOS 1031807 HAS SOPS 1029007 HAS SOUS 33683 HAS SOUPS 33664 WITH SCORE 34695.807
AT ITER 2502 NEW BEST:: SOT 1244742 SOS 1030472 HAS SOPS 1027672 HAS SOUS 33653 HAS SOUPS 33634 WITH SCORE 34664.472
AT ITER 2515 NEW BEST:: SOT 1244742 SOS 1030470 HAS SOPS 1027670 HAS SOUS 33653 HAS SOUPS 33634 WITH SCORE 34664.47
AT ITER 2543 NEW BEST:: SOT 1244730 SOS 1030458 HAS SOPS 1027658 HAS SOUS 33629 HAS SOUPS 33610 WITH SCORE 34640.458
AT ITER 2566 NEW BEST:: SOT 1244728 SOS 1030456 HAS SOPS 1027656 HAS SOUS 33625 HAS SOUPS 33606 WITH SCORE 34636.456
AT ITER 2666 NEW BEST:: SOT 1244728 SOS 1030430 HAS SOPS 1027630 HAS SOUS 33625 HAS SOUPS 33606 WITH SCORE 34636.43
AT ITER 2675 NEW BEST:: SOT 1244680 SOS 1030382 HAS SOPS 1027582 HAS SOUS 33529 HAS SOUPS 33510 WITH SCORE 34540.382
AT ITER 2760 NEW BEST:: SOT 1244680 SOS 1030374 HAS SOPS 1027574 HAS SOUS 33529 HAS SOUPS 33510 WITH SCORE 34540.374
AT ITER 2775 NEW BEST:: SOT 1244680 SOS 1030372 HAS SOPS 1027572 HAS SOUS 33529 HAS SOUPS 33510 WITH SCORE 34540.372
AT ITER 2786 NEW BEST:: SOT 1244678 SOS 1030370 HAS SOPS 1027570 HAS SOUS 33525 HAS SOUPS 33506 WITH SCORE 34536.37
AT ITER 2823 NEW BEST:: SOT 1244676 SOS 1030368 HAS SOPS 1027568 HAS SOUS 33521 HAS SOUPS 33502 WITH SCORE 34532.368
AT ITER 2836 NEW BEST:: SOT 1244674 SOS 1030366 HAS SOPS 1027566 HAS SOUS 33517 HAS SOUPS 33498 WITH SCORE 34528.366
AT ITER 2895 NEW BEST:: SOT 1244672 SOS 1030364 HAS SOPS 1027564 HAS SOUS 33513 HAS SOUPS 33494 WITH SCORE 34524.364
AT ITER 2918 NEW BEST:: SOT 1244681 SOS 1030373 HAS SOPS 1027573 HAS SOUS 33486 HAS SOUPS 33467 WITH SCORE 34497.373
AT ITER 3081 NEW BEST:: SOT 1244659 SOS 1030351 HAS SOPS 1027551 HAS SOUS 33442 HAS SOUPS 33423 WITH SCORE 34453.351
AT ITER 3339 NEW BEST:: SOT 1247105 SOS 1032797 HAS SOPS 1029997 HAS SOUS 33401 HAS SOUPS 33382 WITH SCORE 34414.797
AT ITER 3360 NEW BEST:: SOT 1247103 SOS 1032795 HAS SOPS 1029995 HAS SOUS 33397 HAS SOUPS 33378 WITH SCORE 34410.795
AT ITER 3410 NEW BEST:: SOT 1247061 SOS 1032753 HAS SOPS 1029953 HAS SOUS 33313 HAS SOUPS 33294 WITH SCORE 34326.753
AT ITER 3460 NEW BEST:: SOT 1247061 SOS 1032753 HAS SOPS 1030033 HAS SOUS 33310 HAS SOUPS 33292 WITH SCORE 34324.753
AT ITER 3464 NEW BEST:: SOT 1247061 SOS 1033069 HAS SOPS 1030429 HAS SOUS 33302 HAS SOUPS 33285 WITH SCORE 34318.069
AT ITER 3475 NEW BEST:: SOT 1247069 SOS 1033077 HAS SOPS 1030437 HAS SOUS 33300 HAS SOUPS 33283 WITH SCORE 34316.077
AT ITER 3492 NEW BEST:: SOT 1247053 SOS 1033061 HAS SOPS 1030421 HAS SOUS 33252 HAS SOUPS 33235 WITH SCORE 34268.061
AT ITER 3555 NEW BEST:: SOT 1247071 SOS 1033157 HAS SOPS 1030517 HAS SOUS 33243 HAS SOUPS 33226 WITH SCORE 34259.157
AT ITER 3599 NEW BEST:: SOT 1247071 SOS 1018611 HAS SOPS 1017091 HAS SOUS 33209 HAS SOUPS 33199 WITH SCORE 34217.611
AT ITER 3637 NEW BEST:: SOT 1247070 SOS 1018610 HAS SOPS 1017090 HAS SOUS 33206 HAS SOUPS 33196 WITH SCORE 34214.61
AT ITER 3665 NEW BEST:: SOT 1247039 SOS 1018579 HAS SOPS 1017059 HAS SOUS 33161 HAS SOUPS 33151 WITH SCORE 34169.579
AT ITER 3702 NEW BEST:: SOT 1247039 SOS 1018577 HAS SOPS 1017057 HAS SOUS 33161 HAS SOUPS 33151 WITH SCORE 34169.577
AT ITER 3746 NEW BEST:: SOT 1247051 SOS 1018589 HAS SOPS 1017069 HAS SOUS 32667 HAS SOUPS 32657 WITH SCORE 33675.589
AT ITER 3790 NEW BEST:: SOT 1247051 SOS 1018541 HAS SOPS 1017021 HAS SOUS 32667 HAS SOUPS 32657 WITH SCORE 33675.541
AT ITER 3810 NEW BEST:: SOT 1249611 SOS 1021182 HAS SOPS 1019662 HAS SOUS 32257 HAS SOUPS 32247 WITH SCORE 33268.182
AT ITER 3865 NEW BEST:: SOT 1249589 SOS 1021160 HAS SOPS 1019640 HAS SOUS 32213 HAS SOUPS 32203 WITH SCORE 33224.16
AT ITER 3881 NEW BEST:: SOT 1249587 SOS 1021158 HAS SOPS 1019638 HAS SOUS 32209 HAS SOUPS 32199 WITH SCORE 33220.158
AT ITER 4030 NEW BEST:: SOT 1249330 SOS 1020911 HAS SOPS 1019391 HAS SOUS 32148 HAS SOUPS 32138 WITH SCORE 33158.911
AT ITER 4073 NEW BEST:: SOT 1249317 SOS 1020878 HAS SOPS 1019358 HAS SOUS 32126 HAS SOUPS 32116 WITH SCORE 33136.878
AT ITER 4109 NEW BEST:: SOT 1249311 SOS 1020872 HAS SOPS 1019352 HAS SOUS 32114 HAS SOUPS 32104 WITH SCORE 33124.872
AT ITER 4122 NEW BEST:: SOT 1249305 SOS 1020866 HAS SOPS 1019346 HAS SOUS 32114 HAS SOUPS 32104 WITH SCORE 33124.866
AT ITER 4195 NEW BEST:: SOT 1249303 SOS 1020864 HAS SOPS 1019344 HAS SOUS 32110 HAS SOUPS 32100 WITH SCORE 33120.864
AT ITER 4240 NEW BEST:: SOT 1249303 SOS 1020862 HAS SOPS 1019342 HAS SOUS 32106 HAS SOUPS 32096 WITH SCORE 33116.862
AT ITER 4281 NEW BEST:: SOT 1249350 SOS 1020909 HAS SOPS 1019389 HAS SOUS 31941 HAS SOUPS 31931 WITH SCORE 32951.909
AT ITER 4364 NEW BEST:: SOT 1250227 SOS 1021786 HAS SOPS 1020266 HAS SOUS 31866 HAS SOUPS 31856 WITH SCORE 32877.786
AT ITER 4376 NEW BEST:: SOT 1250227 SOS 1014597 HAS SOPS 1014197 HAS SOUS 31844 HAS SOUPS 31841 WITH SCORE 32855.597
AT ITER 4398 NEW BEST:: SOT 1250227 SOS 1014612 HAS SOPS 1014212 HAS SOUS 31843 HAS SOUPS 31840 WITH SCORE 32854.612
AT ITER 4452 NEW BEST:: SOT 1249807 SOS 1015126 HAS SOPS 1014726 HAS SOUS 31498 HAS SOUPS 31495 WITH SCORE 32510.126
AT ITER 4542 NEW BEST:: SOT 1249807 SOS 1015124 HAS SOPS 1014724 HAS SOUS 31498 HAS SOUPS 31495 WITH SCORE 32510.124
AT ITER 4614 NEW BEST:: SOT 1249807 SOS 1015122 HAS SOPS 1014722 HAS SOUS 31498 HAS SOUPS 31495 WITH SCORE 32510.122
AT ITER 4646 NEW BEST:: SOT 1249803 SOS 1015118 HAS SOPS 1014718 HAS SOUS 31490 HAS SOUPS 31487 WITH SCORE 32502.118
AT ITER 4722 NEW BEST:: SOT 1249835 SOS 1010763 HAS SOPS 1010309 HAS SOUS 31520 HAS SOUPS 31488 WITH SCORE 32498.763
AT ITER 4786 NEW BEST:: SOT 1250508 SOS 1011436 HAS SOPS 1010982 HAS SOUS 31426 HAS SOUPS 31394 WITH SCORE 32405.436
AT ITER 4840 NEW BEST:: SOT 1250496 SOS 1011424 HAS SOPS 1010970 HAS SOUS 31402 HAS SOUPS 31370 WITH SCORE 32381.424
AT ITER 4843 NEW BEST:: SOT 1252339 SOS 1013267 HAS SOPS 1012813 HAS SOUS 31230 HAS SOUPS 31198 WITH SCORE 32211.267
AT ITER 4864 NEW BEST:: SOT 1252337 SOS 1013265 HAS SOPS 1012811 HAS SOUS 31226 HAS SOUPS 31194 WITH SCORE 32207.265
AT ITER 4866 NEW BEST:: SOT 1252245 SOS 1013173 HAS SOPS 1012719 HAS SOUS 31042 HAS SOUPS 31010 WITH SCORE 32023.173
AT ITER 4898 NEW BEST:: SOT 1252245 SOS 1011577 HAS SOPS 1011103 HAS SOUS 31042 HAS SOUPS 31000 WITH SCORE 32011.577
AT ITER 4970 NEW BEST:: SOT 1252284 SOS 1009360 HAS SOPS 1008886 HAS SOUS 31030 HAS SOUPS 30988 WITH SCORE 31997.36
AT ITER 5051 NEW BEST:: SOT 1252284 SOS 1009360 HAS SOPS 1008886 HAS SOUS 30979 HAS SOUPS 30937 WITH SCORE 31946.36
AT ITER 5072 NEW BEST:: SOT 1252270 SOS 1009346 HAS SOPS 1008872 HAS SOUS 30951 HAS SOUPS 30909 WITH SCORE 31918.346
AT ITER 5092 NEW BEST:: SOT 1252264 SOS 1009340 HAS SOPS 1008866 HAS SOUS 30939 HAS SOUPS 30897 WITH SCORE 31906.34
AT ITER 5127 NEW BEST:: SOT 1252240 SOS 1009316 HAS SOPS 1008842 HAS SOUS 30891 HAS SOUPS 30849 WITH SCORE 31858.316
AT ITER 5134 NEW BEST:: SOT 1252240 SOS 1009316 HAS SOPS 1008842 HAS SOUS 30889 HAS SOUPS 30847 WITH SCORE 31856.316
AT ITER 5185 NEW BEST:: SOT 1251598 SOS 1008674 HAS SOPS 1008200 HAS SOUS 30865 HAS SOUPS 30823 WITH SCORE 31831.674
AT ITER 5212 NEW BEST:: SOT 1251586 SOS 1008662 HAS SOPS 1008188 HAS SOUS 30841 HAS SOUPS 30799 WITH SCORE 31807.662
AT ITER 5228 NEW BEST:: SOT 1251600 SOS 1008676 HAS SOPS 1008202 HAS SOUS 30818 HAS SOUPS 30776 WITH SCORE 31784.676
AT ITER 5236 NEW BEST:: SOT 1251600 SOS 1007211 HAS SOPS 1006737 HAS SOUS 30800 HAS SOUPS 30758 WITH SCORE 31765.211
AT ITER 5316 NEW BEST:: SOT 1251600 SOS 1007209 HAS SOPS 1006735 HAS SOUS 30800 HAS SOUPS 30758 WITH SCORE 31765.209
AT ITER 5321 NEW BEST:: SOT 1251600 SOS 1007207 HAS SOPS 1006733 HAS SOUS 30800 HAS SOUPS 30758 WITH SCORE 31765.207
AT ITER 5347 NEW BEST:: SOT 1251596 SOS 1007203 HAS SOPS 1006729 HAS SOUS 30792 HAS SOUPS 30750 WITH SCORE 31757.203
AT ITER 5367 NEW BEST:: SOT 1251594 SOS 1007201 HAS SOPS 1006727 HAS SOUS 30788 HAS SOUPS 30746 WITH SCORE 31753.201
AT ITER 5401 NEW BEST:: SOT 1251594 SOS 1006410 HAS SOPS 1005922 HAS SOUS 30792 HAS SOUPS 30743 WITH SCORE 31749.41
AT ITER 5439 NEW BEST:: SOT 1251594 SOS 1006088 HAS SOPS 1005600 HAS SOUS 30790 HAS SOUPS 30741 WITH SCORE 31747.088
AT ITER 5499 NEW BEST:: SOT 1251586 SOS 1006080 HAS SOPS 1005592 HAS SOUS 30774 HAS SOUPS 30725 WITH SCORE 31731.08
AT ITER 5528 NEW BEST:: SOT 1251584 SOS 1006078 HAS SOPS 1005590 HAS SOUS 30770 HAS SOUPS 30721 WITH SCORE 31727.078
AT ITER 5554 NEW BEST:: SOT 1251582 SOS 1006076 HAS SOPS 1005588 HAS SOUS 30766 HAS SOUPS 30717 WITH SCORE 31723.076
AT ITER 5628 NEW BEST:: SOT 1251580 SOS 1006074 HAS SOPS 1005586 HAS SOUS 30762 HAS SOUPS 30713 WITH SCORE 31719.074
AT ITER 5869 NEW BEST:: SOT 1251580 SOS 1006072 HAS SOPS 1005584 HAS SOUS 30762 HAS SOUPS 30713 WITH SCORE 31719.072
AT ITER 5926 NEW BEST:: SOT 1251574 SOS 1006066 HAS SOPS 1005578 HAS SOUS 30750 HAS SOUPS 30701 WITH SCORE 31707.066
AT ITER 5967 NEW BEST:: SOT 1251572 SOS 1006064 HAS SOPS 1005576 HAS SOUS 30746 HAS SOUPS 30697 WITH SCORE 31703.064
AT ITER 6031 NEW BEST:: SOT 1251632 SOS 1004182 HAS SOPS 1003694 HAS SOUS 30741 HAS SOUPS 30692 WITH SCORE 31696.182
AT ITER 6042 NEW BEST:: SOT 1251626 SOS 1004176 HAS SOPS 1003688 HAS SOUS 30729 HAS SOUPS 30680 WITH SCORE 31684.176
AT ITER 6043 NEW BEST:: SOT 1251623 SOS 1004173 HAS SOPS 1003685 HAS SOUS 30720 HAS SOUPS 30671 WITH SCORE 31675.173
AT ITER 6076 NEW BEST:: SOT 1251623 SOS 1000621 HAS SOPS 1000133 HAS SOUS 30676 HAS SOUPS 30627 WITH SCORE 31627.621
AT ITER 6092 NEW BEST:: SOT 1251617 SOS 1000615 HAS SOPS 1000127 HAS SOUS 30664 HAS SOUPS 30615 WITH SCORE 31615.615
AT ITER 6109 NEW BEST:: SOT 1251615 SOS 1000613 HAS SOPS 1000125 HAS SOUS 30660 HAS SOUPS 30611 WITH SCORE 31611.613
AT ITER 6250 NEW BEST:: SOT 1251615 SOS 997859 HAS SOPS 997371 HAS SOUS 30626 HAS SOUPS 30577 WITH SCORE 31574.859
AT ITER 6256 NEW BEST:: SOT 1251613 SOS 997857 HAS SOPS 997369 HAS SOUS 30622 HAS SOUPS 30573 WITH SCORE 31570.857
AT ITER 6331 NEW BEST:: SOT 1251611 SOS 997855 HAS SOPS 997367 HAS SOUS 30618 HAS SOUPS 30569 WITH SCORE 31566.855
AT ITER 6355 NEW BEST:: SOT 1251611 SOS 997851 HAS SOPS 997363 HAS SOUS 30618 HAS SOUPS 30569 WITH SCORE 31566.851
AT ITER 6375 NEW BEST:: SOT 1251591 SOS 997831 HAS SOPS 997343 HAS SOUS 30600 HAS SOUPS 30551 WITH SCORE 31548.831
AT ITER 6381 NEW BEST:: SOT 1251591 SOS 997829 HAS SOPS 997341 HAS SOUS 30600 HAS SOUPS 30551 WITH SCORE 31548.829
AT ITER 6412 NEW BEST:: SOT 1251549 SOS 997787 HAS SOPS 997299 HAS SOUS 30516 HAS SOUPS 30467 WITH SCORE 31464.787
AT ITER 6589 NEW BEST:: SOT 1251547 SOS 997785 HAS SOPS 997297 HAS SOUS 30512 HAS SOUPS 30463 WITH SCORE 31460.785
AT ITER 6594 NEW BEST:: SOT 1251539 SOS 997777 HAS SOPS 997289 HAS SOUS 30496 HAS SOUPS 30447 WITH SCORE 31444.777000000002
AT ITER 6740 NEW BEST:: SOT 1251539 SOS 997765 HAS SOPS 997277 HAS SOUS 30496 HAS SOUPS 30447 WITH SCORE 31444.765
AT ITER 6979 NEW BEST:: SOT 1251537 SOS 997763 HAS SOPS 997275 HAS SOUS 30492 HAS SOUPS 30443 WITH SCORE 31440.763
AT ITER 6991 NEW BEST:: SOT 1251549 SOS 997775 HAS SOPS 997287 HAS SOUS 30406 HAS SOUPS 30357 WITH SCORE 31354.775
AT ITER 7030 NEW BEST:: SOT 1252329 SOS 998555 HAS SOPS 998067 HAS SOUS 30391 HAS SOUPS 30342 WITH SCORE 31340.555
AT ITER 7061 NEW BEST:: SOT 1252327 SOS 998553 HAS SOPS 998065 HAS SOUS 30387 HAS SOUPS 30338 WITH SCORE 31336.553
AT ITER 7161 NEW BEST:: SOT 1252325 SOS 998551 HAS SOPS 998063 HAS SOUS 30383 HAS SOUPS 30334 WITH SCORE 31332.551
AT ITER 7191 NEW BEST:: SOT 1252325 SOS 999115 HAS SOPS 998627 HAS SOUS 30378 HAS SOUPS 30329 WITH SCORE 31328.115
AT ITER 7202 NEW BEST:: SOT 1252323 SOS 999113 HAS SOPS 998625 HAS SOUS 30374 HAS SOUPS 30325 WITH SCORE 31324.113
AT ITER 7218 NEW BEST:: SOT 1252323 SOS 998295 HAS SOPS 997807 HAS SOUS 30364 HAS SOUPS 30315 WITH SCORE 31313.295
AT ITER 7246 NEW BEST:: SOT 1252321 SOS 998293 HAS SOPS 997805 HAS SOUS 30360 HAS SOUPS 30311 WITH SCORE 31309.293
AT ITER 7256 NEW BEST:: SOT 1252315 SOS 998287 HAS SOPS 997799 HAS SOUS 30342 HAS SOUPS 30293 WITH SCORE 31291.287
AT ITER 7266 NEW BEST:: SOT 1252315 SOS 997657 HAS SOPS 997155 HAS SOUS 30347 HAS SOUPS 30291 WITH SCORE 31288.657
AT ITER 7434 NEW BEST:: SOT 1252313 SOS 997655 HAS SOPS 997153 HAS SOUS 30343 HAS SOUPS 30287 WITH SCORE 31284.655
AT ITER 7566 NEW BEST:: SOT 1252306 SOS 997646 HAS SOPS 997144 HAS SOUS 30323 HAS SOUPS 30267 WITH SCORE 31264.646
AT ITER 7614 NEW BEST:: SOT 1252304 SOS 997644 HAS SOPS 997142 HAS SOUS 30319 HAS SOUPS 30263 WITH SCORE 31260.644
AT ITER 7615 NEW BEST:: SOT 1252304 SOS 996356 HAS SOPS 995854 HAS SOUS 30304 HAS SOUPS 30248 WITH SCORE 31244.356
AT ITER 7639 NEW BEST:: SOT 1252302 SOS 996354 HAS SOPS 995852 HAS SOUS 30300 HAS SOUPS 30244 WITH SCORE 31240.354
AT ITER 7806 NEW BEST:: SOT 1252300 SOS 996352 HAS SOPS 995850 HAS SOUS 30296 HAS SOUPS 30240 WITH SCORE 31236.352
AT ITER 7833 NEW BEST:: SOT 1252294 SOS 996346 HAS SOPS 995844 HAS SOUS 30284 HAS SOUPS 30228 WITH SCORE 31224.346
AT ITER 7861 NEW BEST:: SOT 1252290 SOS 996360 HAS SOPS 995858 HAS SOUS 30276 HAS SOUPS 30220 WITH SCORE 31216.36
AT ITER 7873 NEW BEST:: SOT 1252290 SOS 996306 HAS SOPS 995804 HAS SOUS 30272 HAS SOUPS 30216 WITH SCORE 31212.306
AT ITER 7881 NEW BEST:: SOT 1252288 SOS 996304 HAS SOPS 995802 HAS SOUS 30268 HAS SOUPS 30212 WITH SCORE 31208.304
AT ITER 7899 NEW BEST:: SOT 1252284 SOS 996300 HAS SOPS 995798 HAS SOUS 30260 HAS SOUPS 30204 WITH SCORE 31200.3
AT ITER 7961 NEW BEST:: SOT 1252284 SOS 994854 HAS SOPS 994352 HAS SOUS 30242 HAS SOUPS 30186 WITH SCORE 31180.854
AT ITER 7970 NEW BEST:: SOT 1252284 SOS 994846 HAS SOPS 994344 HAS SOUS 30242 HAS SOUPS 30186 WITH SCORE 31180.846
AT ITER 7995 NEW BEST:: SOT 1252284 SOS 994844 HAS SOPS 994342 HAS SOUS 30242 HAS SOUPS 30186 WITH SCORE 31180.844
AT ITER 8063 NEW BEST:: SOT 1252306 SOS 994866 HAS SOPS 994364 HAS SOUS 29915 HAS SOUPS 29859 WITH SCORE 30853.866
AT ITER 8145 NEW BEST:: SOT 1252304 SOS 994864 HAS SOPS 994362 HAS SOUS 29911 HAS SOUPS 29855 WITH SCORE 30849.864
AT ITER 8265 NEW BEST:: SOT 1252294 SOS 994854 HAS SOPS 994352 HAS SOUS 29891 HAS SOUPS 29835 WITH SCORE 30829.854
AT ITER 8292 NEW BEST:: SOT 1252294 SOS 994854 HAS SOPS 994352 HAS SOUS 29889 HAS SOUPS 29833 WITH SCORE 30827.854
AT ITER 8405 NEW BEST:: SOT 1252286 SOS 994846 HAS SOPS 994344 HAS SOUS 29873 HAS SOUPS 29817 WITH SCORE 30811.846
AT ITER 8472 NEW BEST:: SOT 1252278 SOS 994838 HAS SOPS 994336 HAS SOUS 29857 HAS SOUPS 29801 WITH SCORE 30795.838
AT ITER 8531 NEW BEST:: SOT 1252278 SOS 994830 HAS SOPS 994328 HAS SOUS 29857 HAS SOUPS 29801 WITH SCORE 30795.83
AT ITER 8569 NEW BEST:: SOT 1252252 SOS 994804 HAS SOPS 994302 HAS SOUS 29805 HAS SOUPS 29749 WITH SCORE 30743.804
AT ITER 8614 NEW BEST:: SOT 1252246 SOS 994798 HAS SOPS 994296 HAS SOUS 29793 HAS SOUPS 29737 WITH SCORE 30731.798
AT ITER 8616 NEW BEST:: SOT 1252246 SOS 994796 HAS SOPS 994294 HAS SOUS 29793 HAS SOUPS 29737 WITH SCORE 30731.796
AT ITER 8725 NEW BEST:: SOT 1252242 SOS 994792 HAS SOPS 994290 HAS SOUS 29785 HAS SOUPS 29729 WITH SCORE 30723.792
AT ITER 8731 NEW BEST:: SOT 1252236 SOS 994786 HAS SOPS 994284 HAS SOUS 29773 HAS SOUPS 29717 WITH SCORE 30711.786
AT ITER 8764 NEW BEST:: SOT 1252236 SOS 994462 HAS SOPS 993960 HAS SOUS 29770 HAS SOUPS 29714 WITH SCORE 30708.462
AT ITER 8809 NEW BEST:: SOT 1252234 SOS 994460 HAS SOPS 993958 HAS SOUS 29766 HAS SOUPS 29710 WITH SCORE 30704.46
AT ITER 8867 NEW BEST:: SOT 1252230 SOS 994456 HAS SOPS 993954 HAS SOUS 29758 HAS SOUPS 29702 WITH SCORE 30696.456
AT ITER 9056 NEW BEST:: SOT 1252228 SOS 994454 HAS SOPS 993952 HAS SOUS 29754 HAS SOUPS 29698 WITH SCORE 30692.454
AT ITER 9149 NEW BEST:: SOT 1252228 SOS 993334 HAS SOPS 992832 HAS SOUS 29747 HAS SOUPS 29691 WITH SCORE 30684.334
AT ITER 9351 NEW BEST:: SOT 1252228 SOS 993330 HAS SOPS 992828 HAS SOUS 29747 HAS SOUPS 29691 WITH SCORE 30684.33
AT ITER 9353 NEW BEST:: SOT 1252222 SOS 993324 HAS SOPS 992822 HAS SOUS 29735 HAS SOUPS 29679 WITH SCORE 30672.324
AT ITER 9358 NEW BEST:: SOT 1252103 SOS 992085 HAS SOPS 991983 HAS SOUS 29697 HAS SOUPS 29644 WITH SCORE 30636.085
AT ITER 9742 NEW BEST:: SOT 1252101 SOS 992083 HAS SOPS 991981 HAS SOUS 29693 HAS SOUPS 29640 WITH SCORE 30632.083
AT ITER 9807 NEW BEST:: SOT 1252101 SOS 992002 HAS SOPS 991900 HAS SOUS 29692 HAS SOUPS 29639 WITH SCORE 30631.002
AT ITER 9837 NEW BEST:: SOT 1252099 SOS 992000 HAS SOPS 991898 HAS SOUS 29688 HAS SOUPS 29635 WITH SCORE 30627.0
AT ITER 9901 NEW BEST:: SOT 1252085 SOS 991986 HAS SOPS 991884 HAS SOUS 29405 HAS SOUPS 29352 WITH SCORE 30343.986
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393356 kB
MemFree: 149616 kB
After kill :
MemTotal: 16393356 kB
MemFree: 16301476 kB

BK_TIME_CONFINEMENT_REACHED

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ 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
Caught signal 15, terminating.

Sequence of Actions to be Executed by the VM

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

set -x
# this is for BenchKit: configuration of major elements for the test
export BK_INPUT="BridgeAndVehicles-COL-V80P20N50"
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 BridgeAndVehicles-COL-V80P20N50, 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 r043-tajo-167813696400136"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/BridgeAndVehicles-COL-V80P20N50.tgz
mv BridgeAndVehicles-COL-V80P20N50 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 ;