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.r171-tall-167838858100104.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 Echo-PT-d03r07, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r171-tall-167838858100104
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.7M
-rw-r--r-- 1 mcc users 9.4K Feb 25 14:11 CTLCardinality.txt
-rw-r--r-- 1 mcc users 106K Feb 25 14:11 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.0K Feb 25 14:10 CTLFireability.txt
-rw-r--r-- 1 mcc users 45K Feb 25 14:10 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:40 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:03 LTLCardinality.txt
-rw-r--r-- 1 mcc users 24K Feb 25 16:03 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.2K Feb 25 16:03 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 16:03 LTLFireability.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:15 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 105K Feb 25 14:15 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 14:13 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 91K Feb 25 14:13 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Feb 25 16:03 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.6K Feb 25 16:03 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:22 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:22 iscolored
-rw-r--r-- 1 mcc users 2.2M 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 1679424107762

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=Echo-PT-d03r07
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-21 18:41:49] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-21 18:41:49] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-21 18:41:49] [INFO ] Load time of PNML (sax parser for PT used): 245 ms
[2023-03-21 18:41:49] [INFO ] Transformed 4209 places.
[2023-03-21 18:41:49] [INFO ] Transformed 3518 transitions.
[2023-03-21 18:41:49] [INFO ] Found NUPN structural information;
[2023-03-21 18:41:49] [INFO ] Parsed PT model containing 4209 places and 3518 transitions and 25540 arcs in 437 ms.
[2023-03-21 18:41:49] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 4209 places, 3518 transitions and 25540 arcs took 51 ms.
Total runtime 599 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running Echo (PT), instance d03r07
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: 4209 places, 3518 transitions, 25540 arcs.
AT ITER 0 NEW BEST:: SOT 8756576 SOS 2564455 HAS SOPS 2564455 HAS SOUS 1999377 HAS SOUPS 1999377 WITH SCORE 2001941.455
AT ITER 42 NEW BEST:: SOT 8756576 SOS 2564455 HAS SOPS 2564455 HAS SOUS 1999369 HAS SOUPS 1999369 WITH SCORE 2001933.455
AT ITER 185 NEW BEST:: SOT 8756576 SOS 2564512 HAS SOPS 2564512 HAS SOUS 1999367 HAS SOUPS 1999367 WITH SCORE 2001931.512
AT ITER 302 NEW BEST:: SOT 8756576 SOS 2564512 HAS SOPS 2564512 HAS SOUS 1999365 HAS SOUPS 1999365 WITH SCORE 2001929.512
AT ITER 358 NEW BEST:: SOT 8756216 SOS 2565825 HAS SOPS 2565825 HAS SOUS 1999347 HAS SOUPS 1999347 WITH SCORE 2001912.825
AT ITER 404 NEW BEST:: SOT 8756092 SOS 2566161 HAS SOPS 2566161 HAS SOUS 1999309 HAS SOUPS 1999309 WITH SCORE 2001875.161
AT ITER 463 NEW BEST:: SOT 8756092 SOS 2566161 HAS SOPS 2566161 HAS SOUS 1999285 HAS SOUPS 1999285 WITH SCORE 2001851.161
AT ITER 626 NEW BEST:: SOT 8755898 SOS 2566163 HAS SOPS 2566163 HAS SOUS 1999140 HAS SOUPS 1999140 WITH SCORE 2001706.163
AT ITER 923 NEW BEST:: SOT 8755898 SOS 2566163 HAS SOPS 2566163 HAS SOUS 1999132 HAS SOUPS 1999132 WITH SCORE 2001698.163
AT ITER 960 NEW BEST:: SOT 8755898 SOS 2566163 HAS SOPS 2566163 HAS SOUS 1999128 HAS SOUPS 1999128 WITH SCORE 2001694.163
AT ITER 1104 NEW BEST:: SOT 8755364 SOS 2567771 HAS SOPS 2567771 HAS SOUS 1999024 HAS SOUPS 1999024 WITH SCORE 2001591.771
AT ITER 1105 NEW BEST:: SOT 8755197 SOS 2568029 HAS SOPS 2568029 HAS SOUS 1998874 HAS SOUPS 1998874 WITH SCORE 2001442.029
AT ITER 1150 NEW BEST:: SOT 8754786 SOS 2568610 HAS SOPS 2568610 HAS SOUS 1998648 HAS SOUPS 1998648 WITH SCORE 2001216.61
AT ITER 1185 NEW BEST:: SOT 8754786 SOS 2568610 HAS SOPS 2568610 HAS SOUS 1998544 HAS SOUPS 1998544 WITH SCORE 2001112.61
AT ITER 1261 NEW BEST:: SOT 8754786 SOS 2568769 HAS SOPS 2568769 HAS SOUS 1998531 HAS SOUPS 1998531 WITH SCORE 2001099.769
AT ITER 1277 NEW BEST:: SOT 8754786 SOS 2568769 HAS SOPS 2568769 HAS SOUS 1998527 HAS SOUPS 1998527 WITH SCORE 2001095.769
AT ITER 1434 NEW BEST:: SOT 8754786 SOS 2568769 HAS SOPS 2568769 HAS SOUS 1998523 HAS SOUPS 1998523 WITH SCORE 2001091.769
AT ITER 1537 NEW BEST:: SOT 8754786 SOS 2568769 HAS SOPS 2568769 HAS SOUS 1998521 HAS SOUPS 1998521 WITH SCORE 2001089.769
AT ITER 1561 NEW BEST:: SOT 8754480 SOS 2569015 HAS SOPS 2569015 HAS SOUS 1998349 HAS SOUPS 1998349 WITH SCORE 2000918.015
AT ITER 1576 NEW BEST:: SOT 8754480 SOS 2569015 HAS SOPS 2569015 HAS SOUS 1998347 HAS SOUPS 1998347 WITH SCORE 2000916.015
AT ITER 1609 NEW BEST:: SOT 8754480 SOS 2569015 HAS SOPS 2569015 HAS SOUS 1998345 HAS SOUPS 1998345 WITH SCORE 2000914.015
AT ITER 1630 NEW BEST:: SOT 8754478 SOS 2569011 HAS SOPS 2569011 HAS SOUS 1998343 HAS SOUPS 1998343 WITH SCORE 2000912.011
AT ITER 1686 NEW BEST:: SOT 8754478 SOS 2569011 HAS SOPS 2569011 HAS SOUS 1998337 HAS SOUPS 1998337 WITH SCORE 2000906.011
AT ITER 1734 NEW BEST:: SOT 8754200 SOS 2569350 HAS SOPS 2569350 HAS SOUS 1998180 HAS SOUPS 1998180 WITH SCORE 2000749.35
AT ITER 1817 NEW BEST:: SOT 8754200 SOS 2569350 HAS SOPS 2569350 HAS SOUS 1998038 HAS SOUPS 1998038 WITH SCORE 2000607.35
AT ITER 1867 NEW BEST:: SOT 8753740 SOS 2569739 HAS SOPS 2569739 HAS SOUS 1997738 HAS SOUPS 1997738 WITH SCORE 2000307.739
AT ITER 1904 NEW BEST:: SOT 8753740 SOS 2569739 HAS SOPS 2569739 HAS SOUS 1997736 HAS SOUPS 1997736 WITH SCORE 2000305.739
AT ITER 1920 NEW BEST:: SOT 8753737 SOS 2570306 HAS SOPS 2570306 HAS SOUS 1997685 HAS SOUPS 1997685 WITH SCORE 2000255.306
AT ITER 1927 NEW BEST:: SOT 8753718 SOS 2570287 HAS SOPS 2570287 HAS SOUS 1997666 HAS SOUPS 1997666 WITH SCORE 2000236.287
AT ITER 1970 NEW BEST:: SOT 8753718 SOS 2571556 HAS SOPS 2571556 HAS SOUS 1997620 HAS SOUPS 1997620 WITH SCORE 2000191.556
AT ITER 2007 NEW BEST:: SOT 8753707 SOS 2571700 HAS SOPS 2571700 HAS SOUS 1997609 HAS SOUPS 1997609 WITH SCORE 2000180.7
AT ITER 2055 NEW BEST:: SOT 8753693 SOS 2571710 HAS SOPS 2571710 HAS SOUS 1997600 HAS SOUPS 1997600 WITH SCORE 2000171.71
AT ITER 2100 NEW BEST:: SOT 8753693 SOS 2571710 HAS SOPS 2571710 HAS SOUS 1997594 HAS SOUPS 1997594 WITH SCORE 2000165.71
AT ITER 2115 NEW BEST:: SOT 8753533 SOS 2571732 HAS SOPS 2571732 HAS SOUS 1997460 HAS SOUPS 1997460 WITH SCORE 2000031.732
AT ITER 2312 NEW BEST:: SOT 8753109 SOS 2571892 HAS SOPS 2571892 HAS SOUS 1997162 HAS SOUPS 1997162 WITH SCORE 1999733.892
AT ITER 2370 NEW BEST:: SOT 8752504 SOS 2573525 HAS SOPS 2573525 HAS SOUS 1996927 HAS SOUPS 1996927 WITH SCORE 1999500.525
AT ITER 2390 NEW BEST:: SOT 8752504 SOS 2573525 HAS SOPS 2573525 HAS SOUS 1996925 HAS SOUPS 1996925 WITH SCORE 1999498.525
AT ITER 2743 NEW BEST:: SOT 8751671 SOS 2575078 HAS SOPS 2575078 HAS SOUS 1996566 HAS SOUPS 1996566 WITH SCORE 1999141.078
AT ITER 2982 NEW BEST:: SOT 8751671 SOS 2575078 HAS SOPS 2575078 HAS SOUS 1996564 HAS SOUPS 1996564 WITH SCORE 1999139.078
AT ITER 3002 NEW BEST:: SOT 8751671 SOS 2575078 HAS SOPS 2575078 HAS SOUS 1996518 HAS SOUPS 1996518 WITH SCORE 1999093.078
AT ITER 3079 NEW BEST:: SOT 8751671 SOS 2575078 HAS SOPS 2575078 HAS SOUS 1996480 HAS SOUPS 1996480 WITH SCORE 1999055.078
AT ITER 3189 NEW BEST:: SOT 8751506 SOS 2575078 HAS SOPS 2575078 HAS SOUS 1996346 HAS SOUPS 1996346 WITH SCORE 1998921.078
AT ITER 3205 NEW BEST:: SOT 8751506 SOS 2575078 HAS SOPS 2575078 HAS SOUS 1996344 HAS SOUPS 1996344 WITH SCORE 1998919.078
AT ITER 3243 NEW BEST:: SOT 8751506 SOS 2575078 HAS SOPS 2575078 HAS SOUS 1996342 HAS SOUPS 1996342 WITH SCORE 1998917.078
AT ITER 3285 NEW BEST:: SOT 8751019 SOS 2575681 HAS SOPS 2575681 HAS SOUS 1996054 HAS SOUPS 1996054 WITH SCORE 1998629.681
AT ITER 3289 NEW BEST:: SOT 8751019 SOS 2575681 HAS SOPS 2575681 HAS SOUS 1995984 HAS SOUPS 1995984 WITH SCORE 1998559.681
AT ITER 3318 NEW BEST:: SOT 8751019 SOS 2575681 HAS SOPS 2575681 HAS SOUS 1995944 HAS SOUPS 1995944 WITH SCORE 1998519.681
AT ITER 3367 NEW BEST:: SOT 8751013 SOS 2576300 HAS SOPS 2576300 HAS SOUS 1995897 HAS SOUPS 1995897 WITH SCORE 1998473.3
AT ITER 3541 NEW BEST:: SOT 8751013 SOS 2576300 HAS SOPS 2576300 HAS SOUS 1995893 HAS SOUPS 1995893 WITH SCORE 1998469.3
AT ITER 3548 NEW BEST:: SOT 8751013 SOS 2576300 HAS SOPS 2576300 HAS SOUS 1995891 HAS SOUPS 1995891 WITH SCORE 1998467.3
AT ITER 3623 NEW BEST:: SOT 8750828 SOS 2576300 HAS SOPS 2576300 HAS SOUS 1995739 HAS SOUPS 1995739 WITH SCORE 1998315.3
AT ITER 3650 NEW BEST:: SOT 8750828 SOS 2576300 HAS SOPS 2576300 HAS SOUS 1995735 HAS SOUPS 1995735 WITH SCORE 1998311.3
AT ITER 3690 NEW BEST:: SOT 8750255 SOS 2576447 HAS SOPS 2576447 HAS SOUS 1995316 HAS SOUPS 1995316 WITH SCORE 1997892.447
AT ITER 3754 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1995106 HAS SOUPS 1995106 WITH SCORE 1997682.365
AT ITER 3889 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1995102 HAS SOUPS 1995102 WITH SCORE 1997678.365
AT ITER 3919 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1994970 HAS SOUPS 1994970 WITH SCORE 1997546.365
AT ITER 3996 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1994968 HAS SOUPS 1994968 WITH SCORE 1997544.365
AT ITER 4061 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1994966 HAS SOUPS 1994966 WITH SCORE 1997542.365
AT ITER 4126 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1994958 HAS SOUPS 1994958 WITH SCORE 1997534.365
AT ITER 4151 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1994934 HAS SOUPS 1994934 WITH SCORE 1997510.365
AT ITER 4178 NEW BEST:: SOT 8750075 SOS 2576365 HAS SOPS 2576365 HAS SOUS 1994930 HAS SOUPS 1994930 WITH SCORE 1997506.365
AT ITER 4190 NEW BEST:: SOT 8749924 SOS 2576376 HAS SOPS 2576376 HAS SOUS 1994824 HAS SOUPS 1994824 WITH SCORE 1997400.376
AT ITER 4241 NEW BEST:: SOT 8749924 SOS 2576376 HAS SOPS 2576376 HAS SOUS 1994680 HAS SOUPS 1994680 WITH SCORE 1997256.376
AT ITER 4313 NEW BEST:: SOT 8749924 SOS 2576376 HAS SOPS 2576376 HAS SOUS 1994626 HAS SOUPS 1994626 WITH SCORE 1997202.376
AT ITER 4371 NEW BEST:: SOT 8749924 SOS 2576376 HAS SOPS 2576376 HAS SOUS 1994622 HAS SOUPS 1994622 WITH SCORE 1997198.376
AT ITER 4424 NEW BEST:: SOT 8749924 SOS 2576376 HAS SOPS 2576376 HAS SOUS 1994614 HAS SOUPS 1994614 WITH SCORE 1997190.376
AT ITER 4506 NEW BEST:: SOT 8749924 SOS 2576376 HAS SOPS 2576376 HAS SOUS 1994548 HAS SOUPS 1994548 WITH SCORE 1997124.376
AT ITER 4509 NEW BEST:: SOT 8749462 SOS 2576302 HAS SOPS 2576302 HAS SOUS 1994293 HAS SOUPS 1994293 WITH SCORE 1996869.302
AT ITER 4532 NEW BEST:: SOT 8749462 SOS 2576302 HAS SOPS 2576302 HAS SOUS 1994155 HAS SOUPS 1994155 WITH SCORE 1996731.302
AT ITER 4564 NEW BEST:: SOT 8749005 SOS 2578405 HAS SOPS 2578405 HAS SOUS 1993821 HAS SOUPS 1993821 WITH SCORE 1996399.405
AT ITER 4673 NEW BEST:: SOT 8749005 SOS 2578405 HAS SOPS 2578405 HAS SOUS 1993689 HAS SOUPS 1993689 WITH SCORE 1996267.405
AT ITER 4674 NEW BEST:: SOT 8749005 SOS 2578405 HAS SOPS 2578405 HAS SOUS 1993683 HAS SOUPS 1993683 WITH SCORE 1996261.405
AT ITER 4778 NEW BEST:: SOT 8749005 SOS 2578405 HAS SOPS 2578405 HAS SOUS 1993639 HAS SOUPS 1993639 WITH SCORE 1996217.405
AT ITER 4803 NEW BEST:: SOT 8749005 SOS 2578405 HAS SOPS 2578405 HAS SOUS 1993635 HAS SOUPS 1993635 WITH SCORE 1996213.405
AT ITER 4901 NEW BEST:: SOT 8749005 SOS 2578405 HAS SOPS 2578405 HAS SOUS 1993631 HAS SOUPS 1993631 WITH SCORE 1996209.405
AT ITER 4970 NEW BEST:: SOT 8749005 SOS 2578405 HAS SOPS 2578405 HAS SOUS 1993629 HAS SOUPS 1993629 WITH SCORE 1996207.405
AT ITER 4985 NEW BEST:: SOT 8749005 SOS 2577493 HAS SOPS 2577493 HAS SOUS 1993421 HAS SOUPS 1993421 WITH SCORE 1995998.493
AT ITER 5033 NEW BEST:: SOT 8749005 SOS 2577493 HAS SOPS 2577493 HAS SOUS 1993409 HAS SOUPS 1993409 WITH SCORE 1995986.493
AT ITER 5041 NEW BEST:: SOT 8747801 SOS 2576853 HAS SOPS 2576853 HAS SOUS 1992590 HAS SOUPS 1992590 WITH SCORE 1995166.853
AT ITER 5052 NEW BEST:: SOT 8747801 SOS 2576853 HAS SOPS 2576853 HAS SOUS 1992588 HAS SOUPS 1992588 WITH SCORE 1995164.853
AT ITER 5127 NEW BEST:: SOT 8747801 SOS 2576853 HAS SOPS 2576853 HAS SOUS 1992560 HAS SOUPS 1992560 WITH SCORE 1995136.853
AT ITER 5192 NEW BEST:: SOT 8747307 SOS 2578537 HAS SOPS 2578537 HAS SOUS 1992534 HAS SOUPS 1992534 WITH SCORE 1995112.537
AT ITER 5205 NEW BEST:: SOT 8747305 SOS 2578535 HAS SOPS 2578535 HAS SOUS 1992530 HAS SOUPS 1992530 WITH SCORE 1995108.535
AT ITER 5218 NEW BEST:: SOT 8746644 SOS 2580096 HAS SOPS 2580096 HAS SOUS 1992514 HAS SOUPS 1992514 WITH SCORE 1995094.096
AT ITER 5226 NEW BEST:: SOT 8746644 SOS 2580096 HAS SOPS 2580096 HAS SOUS 1992510 HAS SOUPS 1992510 WITH SCORE 1995090.096
AT ITER 5384 NEW BEST:: SOT 8746644 SOS 2580096 HAS SOPS 2580096 HAS SOUS 1992504 HAS SOUPS 1992504 WITH SCORE 1995084.096
AT ITER 5568 NEW BEST:: SOT 8746049 SOS 2581178 HAS SOPS 2581178 HAS SOUS 1992256 HAS SOUPS 1992256 WITH SCORE 1994837.178
AT ITER 5591 NEW BEST:: SOT 8746049 SOS 2581178 HAS SOPS 2581178 HAS SOUS 1992254 HAS SOUPS 1992254 WITH SCORE 1994835.178
AT ITER 5600 NEW BEST:: SOT 8745929 SOS 2581322 HAS SOPS 2581322 HAS SOUS 1992245 HAS SOUPS 1992245 WITH SCORE 1994826.322
AT ITER 5654 NEW BEST:: SOT 8745929 SOS 2581354 HAS SOPS 2581354 HAS SOUS 1992224 HAS SOUPS 1992224 WITH SCORE 1994805.354
AT ITER 5655 NEW BEST:: SOT 8745660 SOS 2581348 HAS SOPS 2581348 HAS SOUS 1992018 HAS SOUPS 1992018 WITH SCORE 1994599.348
AT ITER 5707 NEW BEST:: SOT 8745211 SOS 2582843 HAS SOPS 2582843 HAS SOUS 1991968 HAS SOUPS 1991968 WITH SCORE 1994550.843
AT ITER 5868 NEW BEST:: SOT 8745007 SOS 2583484 HAS SOPS 2583484 HAS SOUS 1991964 HAS SOUPS 1991964 WITH SCORE 1994547.484
AT ITER 5906 NEW BEST:: SOT 8745007 SOS 2583484 HAS SOPS 2583484 HAS SOUS 1991744 HAS SOUPS 1991744 WITH SCORE 1994327.484
AT ITER 6137 NEW BEST:: SOT 8744817 SOS 2584400 HAS SOPS 2584400 HAS SOUS 1991739 HAS SOUPS 1991739 WITH SCORE 1994323.4
AT ITER 6214 NEW BEST:: SOT 8744817 SOS 2584400 HAS SOPS 2584400 HAS SOUS 1991699 HAS SOUPS 1991699 WITH SCORE 1994283.4
AT ITER 6475 NEW BEST:: SOT 8744621 SOS 2584398 HAS SOPS 2584398 HAS SOUS 1991557 HAS SOUPS 1991557 WITH SCORE 1994141.398
AT ITER 6578 NEW BEST:: SOT 8743409 SOS 2583836 HAS SOPS 2583836 HAS SOUS 1990455 HAS SOUPS 1990455 WITH SCORE 1993038.836
AT ITER 6643 NEW BEST:: SOT 8743409 SOS 2583836 HAS SOPS 2583836 HAS SOUS 1990449 HAS SOUPS 1990449 WITH SCORE 1993032.836
AT ITER 6678 NEW BEST:: SOT 8742982 SOS 2586245 HAS SOPS 2586245 HAS SOUS 1990093 HAS SOUPS 1990093 WITH SCORE 1992679.245
AT ITER 6725 NEW BEST:: SOT 8742982 SOS 2586245 HAS SOPS 2586245 HAS SOUS 1990089 HAS SOUPS 1990089 WITH SCORE 1992675.245
AT ITER 6794 NEW BEST:: SOT 8742795 SOS 2586297 HAS SOPS 2586297 HAS SOUS 1989946 HAS SOUPS 1989946 WITH SCORE 1992532.297
AT ITER 6911 NEW BEST:: SOT 8742723 SOS 2586290 HAS SOPS 2586290 HAS SOUS 1989852 HAS SOUPS 1989852 WITH SCORE 1992438.29
AT ITER 7063 NEW BEST:: SOT 8742723 SOS 2586290 HAS SOPS 2586290 HAS SOUS 1989846 HAS SOUPS 1989846 WITH SCORE 1992432.29
AT ITER 7214 NEW BEST:: SOT 8742092 SOS 2587271 HAS SOPS 2587271 HAS SOUS 1989783 HAS SOUPS 1989783 WITH SCORE 1992370.271
AT ITER 7263 NEW BEST:: SOT 8741844 SOS 2587154 HAS SOPS 2587154 HAS SOUS 1989693 HAS SOUPS 1989693 WITH SCORE 1992280.154
AT ITER 7302 NEW BEST:: SOT 8741844 SOS 2587154 HAS SOPS 2587154 HAS SOUS 1989665 HAS SOUPS 1989665 WITH SCORE 1992252.154
AT ITER 7345 NEW BEST:: SOT 8741844 SOS 2587154 HAS SOPS 2587154 HAS SOUS 1989657 HAS SOUPS 1989657 WITH SCORE 1992244.154
AT ITER 7498 NEW BEST:: SOT 8741817 SOS 2587172 HAS SOPS 2587172 HAS SOUS 1989639 HAS SOUPS 1989639 WITH SCORE 1992226.172
AT ITER 7569 NEW BEST:: SOT 8741817 SOS 2587172 HAS SOPS 2587172 HAS SOUS 1989637 HAS SOUPS 1989637 WITH SCORE 1992224.172
AT ITER 7649 NEW BEST:: SOT 8741817 SOS 2587172 HAS SOPS 2587172 HAS SOUS 1989635 HAS SOUPS 1989635 WITH SCORE 1992222.172
AT ITER 7656 NEW BEST:: SOT 8741817 SOS 2587172 HAS SOPS 2587172 HAS SOUS 1989627 HAS SOUPS 1989627 WITH SCORE 1992214.172
AT ITER 7728 NEW BEST:: SOT 8741797 SOS 2587152 HAS SOPS 2587152 HAS SOUS 1989607 HAS SOUPS 1989607 WITH SCORE 1992194.152
AT ITER 7837 NEW BEST:: SOT 8741797 SOS 2587152 HAS SOPS 2587152 HAS SOUS 1989605 HAS SOUPS 1989605 WITH SCORE 1992192.152
AT ITER 7887 NEW BEST:: SOT 8741716 SOS 2587071 HAS SOPS 2587071 HAS SOUS 1989516 HAS SOUPS 1989516 WITH SCORE 1992103.071
AT ITER 8067 NEW BEST:: SOT 8741716 SOS 2587124 HAS SOPS 2587124 HAS SOUS 1989463 HAS SOUPS 1989463 WITH SCORE 1992050.124
AT ITER 8337 NEW BEST:: SOT 8741505 SOS 2587745 HAS SOPS 2587745 HAS SOUS 1989454 HAS SOUPS 1989454 WITH SCORE 1992041.745
AT ITER 8388 NEW BEST:: SOT 8740739 SOS 2587927 HAS SOPS 2587927 HAS SOUS 1989406 HAS SOUPS 1989406 WITH SCORE 1991993.927
AT ITER 8431 NEW BEST:: SOT 8740739 SOS 2587927 HAS SOPS 2587927 HAS SOUS 1989404 HAS SOUPS 1989404 WITH SCORE 1991991.927
AT ITER 8743 NEW BEST:: SOT 8740976 SOS 2586819 HAS SOPS 2586819 HAS SOUS 1989368 HAS SOUPS 1989368 WITH SCORE 1991954.819
AT ITER 8781 NEW BEST:: SOT 8740976 SOS 2586819 HAS SOPS 2586819 HAS SOUS 1989360 HAS SOUPS 1989360 WITH SCORE 1991946.819
AT ITER 8951 NEW BEST:: SOT 8740976 SOS 2586819 HAS SOPS 2586819 HAS SOUS 1989352 HAS SOUPS 1989352 WITH SCORE 1991938.819
AT ITER 8963 NEW BEST:: SOT 8740976 SOS 2586819 HAS SOPS 2586819 HAS SOUS 1989344 HAS SOUPS 1989344 WITH SCORE 1991930.819
AT ITER 8975 NEW BEST:: SOT 8740976 SOS 2586819 HAS SOPS 2586819 HAS SOUS 1989342 HAS SOUPS 1989342 WITH SCORE 1991928.819
AT ITER 9154 NEW BEST:: SOT 8740982 SOS 2586825 HAS SOPS 2586825 HAS SOUS 1989334 HAS SOUPS 1989334 WITH SCORE 1991920.825
AT ITER 9428 NEW BEST:: SOT 8740759 SOS 2586828 HAS SOPS 2586828 HAS SOUS 1989233 HAS SOUPS 1989233 WITH SCORE 1991819.828
AT ITER 9455 NEW BEST:: SOT 8739382 SOS 2589131 HAS SOPS 2589131 HAS SOUS 1988592 HAS SOUPS 1988592 WITH SCORE 1991181.131
AT ITER 9548 NEW BEST:: SOT 8739382 SOS 2589131 HAS SOPS 2589131 HAS SOUS 1988586 HAS SOUPS 1988586 WITH SCORE 1991175.131
AT ITER 9649 NEW BEST:: SOT 8739382 SOS 2589131 HAS SOPS 2589131 HAS SOUS 1988410 HAS SOUPS 1988410 WITH SCORE 1990999.131
AT ITER 9709 NEW BEST:: SOT 8739196 SOS 2589511 HAS SOPS 2589511 HAS SOUS 1988190 HAS SOUPS 1988190 WITH SCORE 1990779.511
AT ITER 9878 NEW BEST:: SOT 8739239 SOS 2589093 HAS SOPS 2589093 HAS SOUS 1988138 HAS SOUPS 1988138 WITH SCORE 1990727.093
TIME LIMIT: Killed by timeout after 3600 seconds
MemTotal: 16393216 kB
MemFree: 11669008 kB
After kill :
MemTotal: 16393216 kB
MemFree: 16117360 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="Echo-PT-d03r07"
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 Echo-PT-d03r07, 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 r171-tall-167838858100104"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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