Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r459-smll-167912651100368.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 SquareGrid-PT-040204, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r459-smll-167912651100368
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 600K
-rw-r--r-- 1 mcc users 6.2K Feb 25 12:19 CTLCardinality.txt
-rw-r--r-- 1 mcc users 59K Feb 25 12:19 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.7K Feb 25 12:09 CTLFireability.txt
-rw-r--r-- 1 mcc users 49K Feb 25 12:09 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.2K Jan 29 11:41 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 4.4K Feb 25 17:11 LTLCardinality.txt
-rw-r--r-- 1 mcc users 29K Feb 25 17:11 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 17:11 LTLFireability.txt
-rw-r--r-- 1 mcc users 17K Feb 25 17:11 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 25 12:36 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 134K Feb 25 12:36 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 11K Feb 25 12:27 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 81K Feb 25 12:27 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.7K Feb 25 17:11 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.8K Feb 25 17:11 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 7 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rwxr-xr-x 1 mcc users 130K Mar 5 18:23 model.pnml

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

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

no data necessary for post analysis


=== Now, execution of the tool begins

BK_START 1679336502712

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=SquareGrid-PT-040204
Applying reductions before tool smart
Invoking reducer
Running Version 202303021504
[2023-03-20 18:21:46] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -timeout, 360, -rebuildPNML]
[2023-03-20 18:21:46] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-20 18:21:46] [INFO ] Load time of PNML (sax parser for PT used): 132 ms
[2023-03-20 18:21:46] [INFO ] Transformed 240 places.
[2023-03-20 18:21:46] [INFO ] Transformed 272 transitions.
[2023-03-20 18:21:46] [INFO ] Parsed PT model containing 240 places and 272 transitions and 1088 arcs in 307 ms.
[2023-03-20 18:21:46] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 240 places, 272 transitions and 1088 arcs took 9 ms.
Total runtime 379 ms.
There are residual formulas that ITS could not solve within timeout
======================================================
========== this is Smart for the MCC'2018 ============
======================================================
Running SquareGrid (PT), instance 040204
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: 240 places, 272 transitions, 1088 arcs.
AT ITER 0 NEW BEST:: SOT 36519 SOS 7960 HAS SOPS 7960 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5227.96
AT ITER 8 NEW BEST:: SOT 36513 SOS 7930 HAS SOPS 7930 HAS SOUS 5220 HAS SOUPS 5220 WITH SCORE 5227.93
AT ITER 12 NEW BEST:: SOT 36513 SOS 7912 HAS SOPS 7912 HAS SOUS 5214 HAS SOUPS 5214 WITH SCORE 5221.912
AT ITER 35 NEW BEST:: SOT 36495 SOS 7876 HAS SOPS 7876 HAS SOUS 5162 HAS SOUPS 5162 WITH SCORE 5169.876
AT ITER 70 NEW BEST:: SOT 36478 SOS 7854 HAS SOPS 7854 HAS SOUS 5128 HAS SOUPS 5128 WITH SCORE 5135.854
AT ITER 75 NEW BEST:: SOT 36478 SOS 7852 HAS SOPS 7852 HAS SOUS 5126 HAS SOUPS 5126 WITH SCORE 5133.852
AT ITER 85 NEW BEST:: SOT 36478 SOS 7852 HAS SOPS 7852 HAS SOUS 5125 HAS SOUPS 5125 WITH SCORE 5132.852
AT ITER 170 NEW BEST:: SOT 36468 SOS 7828 HAS SOPS 7828 HAS SOUS 5099 HAS SOUPS 5099 WITH SCORE 5106.828
AT ITER 186 NEW BEST:: SOT 36456 SOS 7776 HAS SOPS 7776 HAS SOUS 5071 HAS SOUPS 5071 WITH SCORE 5078.776
AT ITER 190 NEW BEST:: SOT 36456 SOS 7776 HAS SOPS 7776 HAS SOUS 5057 HAS SOUPS 5057 WITH SCORE 5064.776
AT ITER 206 NEW BEST:: SOT 36458 SOS 7778 HAS SOPS 7778 HAS SOUS 5055 HAS SOUPS 5055 WITH SCORE 5062.778
AT ITER 215 NEW BEST:: SOT 36451 SOS 7771 HAS SOPS 7771 HAS SOUS 5042 HAS SOUPS 5042 WITH SCORE 5049.771
AT ITER 230 NEW BEST:: SOT 36451 SOS 7771 HAS SOPS 7771 HAS SOUS 5025 HAS SOUPS 5025 WITH SCORE 5032.771
AT ITER 282 NEW BEST:: SOT 36443 SOS 7731 HAS SOPS 7731 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5008.731
AT ITER 283 NEW BEST:: SOT 36443 SOS 7727 HAS SOPS 7727 HAS SOUS 5001 HAS SOUPS 5001 WITH SCORE 5008.727
AT ITER 305 NEW BEST:: SOT 36443 SOS 7719 HAS SOPS 7719 HAS SOUS 4994 HAS SOUPS 4994 WITH SCORE 5001.719
AT ITER 349 NEW BEST:: SOT 36438 SOS 7709 HAS SOPS 7709 HAS SOUS 4974 HAS SOUPS 4974 WITH SCORE 4981.709
AT ITER 362 NEW BEST:: SOT 36430 SOS 7677 HAS SOPS 7677 HAS SOUS 4954 HAS SOUPS 4954 WITH SCORE 4961.677
AT ITER 396 NEW BEST:: SOT 36429 SOS 7672 HAS SOPS 7672 HAS SOUS 4951 HAS SOUPS 4951 WITH SCORE 4958.672
AT ITER 421 NEW BEST:: SOT 36415 SOS 7602 HAS SOPS 7602 HAS SOUS 4909 HAS SOUPS 4909 WITH SCORE 4916.602
AT ITER 462 NEW BEST:: SOT 36408 SOS 7567 HAS SOPS 7567 HAS SOUS 4888 HAS SOUPS 4888 WITH SCORE 4895.567
AT ITER 477 NEW BEST:: SOT 36408 SOS 7532 HAS SOPS 7532 HAS SOUS 4879 HAS SOUPS 4879 WITH SCORE 4886.532
AT ITER 566 NEW BEST:: SOT 36396 SOS 7516 HAS SOPS 7516 HAS SOUS 4861 HAS SOUPS 4861 WITH SCORE 4868.516
AT ITER 592 NEW BEST:: SOT 36390 SOS 7494 HAS SOPS 7494 HAS SOUS 4847 HAS SOUPS 4847 WITH SCORE 4854.494
AT ITER 605 NEW BEST:: SOT 36397 SOS 7501 HAS SOPS 7501 HAS SOUS 4844 HAS SOUPS 4844 WITH SCORE 4851.501
AT ITER 614 NEW BEST:: SOT 36391 SOS 7493 HAS SOPS 7493 HAS SOUS 4836 HAS SOUPS 4836 WITH SCORE 4843.493
AT ITER 623 NEW BEST:: SOT 36373 SOS 7459 HAS SOPS 7459 HAS SOUS 4795 HAS SOUPS 4795 WITH SCORE 4802.459
AT ITER 626 NEW BEST:: SOT 36373 SOS 7450 HAS SOPS 7450 HAS SOUS 4792 HAS SOUPS 4792 WITH SCORE 4799.45
AT ITER 698 NEW BEST:: SOT 36373 SOS 7450 HAS SOPS 7450 HAS SOUS 4791 HAS SOUPS 4791 WITH SCORE 4798.45
AT ITER 703 NEW BEST:: SOT 36369 SOS 7430 HAS SOPS 7430 HAS SOUS 4779 HAS SOUPS 4779 WITH SCORE 4786.43
AT ITER 796 NEW BEST:: SOT 36369 SOS 7388 HAS SOPS 7388 HAS SOUS 4774 HAS SOUPS 4774 WITH SCORE 4781.388
AT ITER 816 NEW BEST:: SOT 36369 SOS 7385 HAS SOPS 7385 HAS SOUS 4773 HAS SOUPS 4773 WITH SCORE 4780.385
AT ITER 820 NEW BEST:: SOT 36377 SOS 7415 HAS SOPS 7415 HAS SOUS 4770 HAS SOUPS 4770 WITH SCORE 4777.415
AT ITER 848 NEW BEST:: SOT 36377 SOS 7413 HAS SOPS 7413 HAS SOUS 4768 HAS SOUPS 4768 WITH SCORE 4775.413
AT ITER 906 NEW BEST:: SOT 36377 SOS 7418 HAS SOPS 7418 HAS SOUS 4767 HAS SOUPS 4767 WITH SCORE 4774.418
AT ITER 913 NEW BEST:: SOT 36358 SOS 7375 HAS SOPS 7375 HAS SOUS 4740 HAS SOUPS 4740 WITH SCORE 4747.375
AT ITER 916 NEW BEST:: SOT 36343 SOS 7377 HAS SOPS 7377 HAS SOUS 4739 HAS SOUPS 4739 WITH SCORE 4746.377
AT ITER 924 NEW BEST:: SOT 36340 SOS 7373 HAS SOPS 7373 HAS SOUS 4733 HAS SOUPS 4733 WITH SCORE 4740.373
AT ITER 933 NEW BEST:: SOT 36340 SOS 7373 HAS SOPS 7373 HAS SOUS 4727 HAS SOUPS 4727 WITH SCORE 4734.373
AT ITER 1018 NEW BEST:: SOT 36340 SOS 7370 HAS SOPS 7370 HAS SOUS 4726 HAS SOUPS 4726 WITH SCORE 4733.37
AT ITER 1026 NEW BEST:: SOT 36334 SOS 7361 HAS SOPS 7361 HAS SOUS 4721 HAS SOUPS 4721 WITH SCORE 4728.361
AT ITER 1059 NEW BEST:: SOT 36327 SOS 7354 HAS SOPS 7354 HAS SOUS 4714 HAS SOUPS 4714 WITH SCORE 4721.354
AT ITER 1060 NEW BEST:: SOT 36321 SOS 7332 HAS SOPS 7332 HAS SOUS 4710 HAS SOUPS 4710 WITH SCORE 4717.332
AT ITER 1069 NEW BEST:: SOT 36243 SOS 7175 HAS SOPS 7175 HAS SOUS 4605 HAS SOUPS 4605 WITH SCORE 4612.175
AT ITER 1076 NEW BEST:: SOT 36228 SOS 7145 HAS SOPS 7145 HAS SOUS 4585 HAS SOUPS 4585 WITH SCORE 4592.145
AT ITER 1112 NEW BEST:: SOT 36231 SOS 7149 HAS SOPS 7149 HAS SOUS 4577 HAS SOUPS 4577 WITH SCORE 4584.149
AT ITER 1163 NEW BEST:: SOT 36226 SOS 7144 HAS SOPS 7144 HAS SOUS 4572 HAS SOUPS 4572 WITH SCORE 4579.144
AT ITER 1166 NEW BEST:: SOT 36226 SOS 7126 HAS SOPS 7126 HAS SOUS 4566 HAS SOUPS 4566 WITH SCORE 4573.126
AT ITER 1169 NEW BEST:: SOT 36199 SOS 7072 HAS SOPS 7072 HAS SOUS 4530 HAS SOUPS 4530 WITH SCORE 4537.072
AT ITER 1173 NEW BEST:: SOT 36195 SOS 7048 HAS SOPS 7048 HAS SOUS 4526 HAS SOUPS 4526 WITH SCORE 4533.048
AT ITER 1217 NEW BEST:: SOT 36187 SOS 7016 HAS SOPS 7016 HAS SOUS 4510 HAS SOUPS 4510 WITH SCORE 4517.016
AT ITER 1283 NEW BEST:: SOT 36187 SOS 7016 HAS SOPS 7016 HAS SOUS 4508 HAS SOUPS 4508 WITH SCORE 4515.016
AT ITER 1332 NEW BEST:: SOT 36187 SOS 7016 HAS SOPS 7016 HAS SOUS 4502 HAS SOUPS 4502 WITH SCORE 4509.016
AT ITER 1598 NEW BEST:: SOT 36186 SOS 7015 HAS SOPS 7015 HAS SOUS 4501 HAS SOUPS 4501 WITH SCORE 4508.015
AT ITER 1623 NEW BEST:: SOT 36186 SOS 7015 HAS SOPS 7015 HAS SOUS 4498 HAS SOUPS 4498 WITH SCORE 4505.015
AT ITER 1647 NEW BEST:: SOT 36186 SOS 7015 HAS SOPS 7015 HAS SOUS 4488 HAS SOUPS 4488 WITH SCORE 4495.015
AT ITER 1716 NEW BEST:: SOT 36180 SOS 7007 HAS SOPS 7007 HAS SOUS 4476 HAS SOUPS 4476 WITH SCORE 4483.007
AT ITER 1723 NEW BEST:: SOT 36177 SOS 6990 HAS SOPS 6990 HAS SOUS 4465 HAS SOUPS 4465 WITH SCORE 4471.99
AT ITER 1752 NEW BEST:: SOT 36174 SOS 6984 HAS SOPS 6984 HAS SOUS 4461 HAS SOUPS 4461 WITH SCORE 4467.984
AT ITER 1926 NEW BEST:: SOT 36170 SOS 6980 HAS SOPS 6980 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4463.98
AT ITER 2020 NEW BEST:: SOT 36170 SOS 6962 HAS SOPS 6962 HAS SOUS 4457 HAS SOUPS 4457 WITH SCORE 4463.962
AT ITER 2367 NEW BEST:: SOT 36173 SOS 6965 HAS SOPS 6965 HAS SOUS 4456 HAS SOUPS 4456 WITH SCORE 4462.965
AT ITER 2448 NEW BEST:: SOT 36175 SOS 6971 HAS SOPS 6971 HAS SOUS 4438 HAS SOUPS 4438 WITH SCORE 4444.971
AT ITER 2505 NEW BEST:: SOT 36175 SOS 6971 HAS SOPS 6971 HAS SOUS 4432 HAS SOUPS 4432 WITH SCORE 4438.971
AT ITER 2537 NEW BEST:: SOT 36167 SOS 6951 HAS SOPS 6951 HAS SOUS 4392 HAS SOUPS 4392 WITH SCORE 4398.951
AT ITER 2655 NEW BEST:: SOT 36136 SOS 6885 HAS SOPS 6885 HAS SOUS 4352 HAS SOUPS 4352 WITH SCORE 4358.885
AT ITER 2693 NEW BEST:: SOT 36133 SOS 6878 HAS SOPS 6878 HAS SOUS 4350 HAS SOUPS 4350 WITH SCORE 4356.878
AT ITER 2756 NEW BEST:: SOT 36132 SOS 6877 HAS SOPS 6877 HAS SOUS 4349 HAS SOUPS 4349 WITH SCORE 4355.877
AT ITER 2807 NEW BEST:: SOT 36132 SOS 6873 HAS SOPS 6873 HAS SOUS 4347 HAS SOUPS 4347 WITH SCORE 4353.873
AT ITER 2817 NEW BEST:: SOT 36120 SOS 6857 HAS SOPS 6857 HAS SOUS 4331 HAS SOUPS 4331 WITH SCORE 4337.857
AT ITER 2844 NEW BEST:: SOT 36113 SOS 6850 HAS SOPS 6850 HAS SOUS 4316 HAS SOUPS 4316 WITH SCORE 4322.85
AT ITER 2896 NEW BEST:: SOT 36113 SOS 6850 HAS SOPS 6850 HAS SOUS 4308 HAS SOUPS 4308 WITH SCORE 4314.85
AT ITER 3057 NEW BEST:: SOT 36109 SOS 6837 HAS SOPS 6837 HAS SOUS 4303 HAS SOUPS 4303 WITH SCORE 4309.837
AT ITER 3083 NEW BEST:: SOT 36106 SOS 6825 HAS SOPS 6825 HAS SOUS 4297 HAS SOUPS 4297 WITH SCORE 4303.825
AT ITER 3089 NEW BEST:: SOT 36106 SOS 6823 HAS SOPS 6823 HAS SOUS 4295 HAS SOUPS 4295 WITH SCORE 4301.823
AT ITER 3188 NEW BEST:: SOT 36105 SOS 6821 HAS SOPS 6821 HAS SOUS 4293 HAS SOUPS 4293 WITH SCORE 4299.821
AT ITER 3323 NEW BEST:: SOT 36105 SOS 6820 HAS SOPS 6820 HAS SOUS 4291 HAS SOUPS 4291 WITH SCORE 4297.82
AT ITER 3409 NEW BEST:: SOT 36106 SOS 6809 HAS SOPS 6809 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4294.809
AT ITER 3449 NEW BEST:: SOT 36106 SOS 6793 HAS SOPS 6793 HAS SOUS 4288 HAS SOUPS 4288 WITH SCORE 4294.793
AT ITER 3488 NEW BEST:: SOT 36103 SOS 6780 HAS SOPS 6780 HAS SOUS 4283 HAS SOUPS 4283 WITH SCORE 4289.78
AT ITER 3509 NEW BEST:: SOT 36100 SOS 6773 HAS SOPS 6773 HAS SOUS 4278 HAS SOUPS 4278 WITH SCORE 4284.773
AT ITER 3523 NEW BEST:: SOT 36100 SOS 6774 HAS SOPS 6774 HAS SOUS 4277 HAS SOUPS 4277 WITH SCORE 4283.774
AT ITER 3542 NEW BEST:: SOT 36094 SOS 6760 HAS SOPS 6760 HAS SOUS 4267 HAS SOUPS 4267 WITH SCORE 4273.76
AT ITER 3616 NEW BEST:: SOT 36091 SOS 6757 HAS SOPS 6757 HAS SOUS 4262 HAS SOUPS 4262 WITH SCORE 4268.757
AT ITER 3718 NEW BEST:: SOT 36091 SOS 6750 HAS SOPS 6750 HAS SOUS 4261 HAS SOUPS 4261 WITH SCORE 4267.75
AT ITER 3780 NEW BEST:: SOT 36091 SOS 6749 HAS SOPS 6749 HAS SOUS 4260 HAS SOUPS 4260 WITH SCORE 4266.749
AT ITER 3835 NEW BEST:: SOT 36086 SOS 6744 HAS SOPS 6744 HAS SOUS 4256 HAS SOUPS 4256 WITH SCORE 4262.744
AT ITER 3843 NEW BEST:: SOT 36080 SOS 6738 HAS SOPS 6738 HAS SOUS 4250 HAS SOUPS 4250 WITH SCORE 4256.738
AT ITER 4025 NEW BEST:: SOT 36071 SOS 6720 HAS SOPS 6720 HAS SOUS 4238 HAS SOUPS 4238 WITH SCORE 4244.72
AT ITER 4057 NEW BEST:: SOT 36070 SOS 6719 HAS SOPS 6719 HAS SOUS 4236 HAS SOUPS 4236 WITH SCORE 4242.719
AT ITER 4063 NEW BEST:: SOT 36067 SOS 6708 HAS SOPS 6708 HAS SOUS 4233 HAS SOUPS 4233 WITH SCORE 4239.708
AT ITER 4113 NEW BEST:: SOT 36066 SOS 6706 HAS SOPS 6706 HAS SOUS 4231 HAS SOUPS 4231 WITH SCORE 4237.706
AT ITER 4166 NEW BEST:: SOT 36058 SOS 6690 HAS SOPS 6690 HAS SOUS 4215 HAS SOUPS 4215 WITH SCORE 4221.69
AT ITER 4206 NEW BEST:: SOT 36056 SOS 6689 HAS SOPS 6689 HAS SOUS 4214 HAS SOUPS 4214 WITH SCORE 4220.689
AT ITER 4294 NEW BEST:: SOT 36051 SOS 6680 HAS SOPS 6680 HAS SOUS 4207 HAS SOUPS 4207 WITH SCORE 4213.68
AT ITER 4326 NEW BEST:: SOT 36050 SOS 6696 HAS SOPS 6696 HAS SOUS 4195 HAS SOUPS 4195 WITH SCORE 4201.696
AT ITER 4362 NEW BEST:: SOT 36047 SOS 6693 HAS SOPS 6693 HAS SOUS 4192 HAS SOUPS 4192 WITH SCORE 4198.693
AT ITER 4389 NEW BEST:: SOT 36032 SOS 6657 HAS SOPS 6657 HAS SOUS 4174 HAS SOUPS 4174 WITH SCORE 4180.657
AT ITER 4402 NEW BEST:: SOT 36028 SOS 6647 HAS SOPS 6647 HAS SOUS 4173 HAS SOUPS 4173 WITH SCORE 4179.647
AT ITER 4482 NEW BEST:: SOT 36010 SOS 6623 HAS SOPS 6623 HAS SOUS 4153 HAS SOUPS 4153 WITH SCORE 4159.623
AT ITER 4697 NEW BEST:: SOT 36001 SOS 6587 HAS SOPS 6587 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4141.587
AT ITER 4796 NEW BEST:: SOT 35995 SOS 6546 HAS SOPS 6546 HAS SOUS 4135 HAS SOUPS 4135 WITH SCORE 4141.546
AT ITER 5089 NEW BEST:: SOT 35989 SOS 6540 HAS SOPS 6540 HAS SOUS 4129 HAS SOUPS 4129 WITH SCORE 4135.54
AT ITER 5123 NEW BEST:: SOT 35989 SOS 6542 HAS SOPS 6542 HAS SOUS 4127 HAS SOUPS 4127 WITH SCORE 4133.542
AT ITER 5146 NEW BEST:: SOT 35987 SOS 6538 HAS SOPS 6538 HAS SOUS 4123 HAS SOUPS 4123 WITH SCORE 4129.538
AT ITER 5166 NEW BEST:: SOT 35984 SOS 6530 HAS SOPS 6530 HAS SOUS 4119 HAS SOUPS 4119 WITH SCORE 4125.53
AT ITER 5480 NEW BEST:: SOT 35981 SOS 6522 HAS SOPS 6522 HAS SOUS 4117 HAS SOUPS 4117 WITH SCORE 4123.522
AT ITER 5510 NEW BEST:: SOT 35979 SOS 6520 HAS SOPS 6520 HAS SOUS 4115 HAS SOUPS 4115 WITH SCORE 4121.52
AT ITER 5562 NEW BEST:: SOT 35979 SOS 6520 HAS SOPS 6520 HAS SOUS 4114 HAS SOUPS 4114 WITH SCORE 4120.52
AT ITER 5630 NEW BEST:: SOT 35979 SOS 6520 HAS SOPS 6520 HAS SOUS 4112 HAS SOUPS 4112 WITH SCORE 4118.52
AT ITER 5837 NEW BEST:: SOT 35968 SOS 6509 HAS SOPS 6509 HAS SOUS 4097 HAS SOUPS 4097 WITH SCORE 4103.509
AT ITER 6024 NEW BEST:: SOT 35958 SOS 6447 HAS SOPS 6447 HAS SOUS 4087 HAS SOUPS 4087 WITH SCORE 4093.447
AT ITER 6104 NEW BEST:: SOT 35952 SOS 6439 HAS SOPS 6439 HAS SOUS 4079 HAS SOUPS 4079 WITH SCORE 4085.439
AT ITER 6129 NEW BEST:: SOT 35943 SOS 6415 HAS SOPS 6415 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4073.415
AT ITER 6293 NEW BEST:: SOT 35937 SOS 6409 HAS SOPS 6409 HAS SOUS 4067 HAS SOUPS 4067 WITH SCORE 4073.409
AT ITER 6539 NEW BEST:: SOT 35925 SOS 6385 HAS SOPS 6385 HAS SOUS 4051 HAS SOUPS 4051 WITH SCORE 4057.385
AT ITER 6828 NEW BEST:: SOT 35922 SOS 6374 HAS SOPS 6374 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4048.374
AT ITER 6867 NEW BEST:: SOT 35922 SOS 6364 HAS SOPS 6364 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4048.364
AT ITER 6918 NEW BEST:: SOT 35934 SOS 6286 HAS SOPS 6286 HAS SOUS 4042 HAS SOUPS 4042 WITH SCORE 4048.286
AT ITER 6921 NEW BEST:: SOT 35931 SOS 6274 HAS SOPS 6274 HAS SOUS 4040 HAS SOUPS 4040 WITH SCORE 4046.274
AT ITER 6960 NEW BEST:: SOT 35922 SOS 6262 HAS SOPS 6262 HAS SOUS 4024 HAS SOUPS 4024 WITH SCORE 4030.262
AT ITER 6977 NEW BEST:: SOT 35920 SOS 6260 HAS SOPS 6260 HAS SOUS 4023 HAS SOUPS 4023 WITH SCORE 4029.26
AT ITER 7089 NEW BEST:: SOT 35920 SOS 6260 HAS SOPS 6260 HAS SOUS 4019 HAS SOUPS 4019 WITH SCORE 4025.26
AT ITER 7231 NEW BEST:: SOT 35918 SOS 6258 HAS SOPS 6258 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4022.258
AT ITER 7273 NEW BEST:: SOT 35918 SOS 6256 HAS SOPS 6256 HAS SOUS 4016 HAS SOUPS 4016 WITH SCORE 4022.256
AT ITER 7296 NEW BEST:: SOT 35918 SOS 6255 HAS SOPS 6255 HAS SOUS 4015 HAS SOUPS 4015 WITH SCORE 4021.255
AT ITER 7389 NEW BEST:: SOT 35918 SOS 6255 HAS SOPS 6255 HAS SOUS 4009 HAS SOUPS 4009 WITH SCORE 4015.255
AT ITER 7392 NEW BEST:: SOT 35917 SOS 6251 HAS SOPS 6251 HAS SOUS 4007 HAS SOUPS 4007 WITH SCORE 4013.251
AT ITER 7454 NEW BEST:: SOT 35916 SOS 6249 HAS SOPS 6249 HAS SOUS 4005 HAS SOUPS 4005 WITH SCORE 4011.249
AT ITER 7576 NEW BEST:: SOT 35915 SOS 6247 HAS SOPS 6247 HAS SOUS 3995 HAS SOUPS 3995 WITH SCORE 4001.247
AT ITER 7593 NEW BEST:: SOT 35914 SOS 6246 HAS SOPS 6246 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4000.246
AT ITER 7647 NEW BEST:: SOT 35914 SOS 6240 HAS SOPS 6240 HAS SOUS 3994 HAS SOUPS 3994 WITH SCORE 4000.24
AT ITER 7845 NEW BEST:: SOT 35914 SOS 6236 HAS SOPS 6236 HAS SOUS 3992 HAS SOUPS 3992 WITH SCORE 3998.236
AT ITER 8120 NEW BEST:: SOT 35914 SOS 6235 HAS SOPS 6235 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3997.235
AT ITER 8194 NEW BEST:: SOT 35911 SOS 6233 HAS SOPS 6233 HAS SOUS 3991 HAS SOUPS 3991 WITH SCORE 3997.233
AT ITER 8271 NEW BEST:: SOT 35910 SOS 6228 HAS SOPS 6228 HAS SOUS 3988 HAS SOUPS 3988 WITH SCORE 3994.228
AT ITER 8304 NEW BEST:: SOT 35908 SOS 6219 HAS SOPS 6219 HAS SOUS 3983 HAS SOUPS 3983 WITH SCORE 3989.219
AT ITER 8340 NEW BEST:: SOT 35902 SOS 6211 HAS SOPS 6211 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3976.211
AT ITER 8563 NEW BEST:: SOT 35902 SOS 6203 HAS SOPS 6203 HAS SOUS 3970 HAS SOUPS 3970 WITH SCORE 3976.203
AT ITER 8638 NEW BEST:: SOT 35893 SOS 6191 HAS SOPS 6191 HAS SOUS 3968 HAS SOUPS 3968 WITH SCORE 3974.191
AT ITER 8707 NEW BEST:: SOT 35892 SOS 6187 HAS SOPS 6187 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3972.187
AT ITER 8851 NEW BEST:: SOT 35892 SOS 6163 HAS SOPS 6163 HAS SOUS 3966 HAS SOUPS 3966 WITH SCORE 3972.163
AT ITER 8931 NEW BEST:: SOT 35877 SOS 6140 HAS SOPS 6140 HAS SOUS 3960 HAS SOUPS 3960 WITH SCORE 3966.14
AT ITER 9174 NEW BEST:: SOT 35872 SOS 6133 HAS SOPS 6133 HAS SOUS 3947 HAS SOUPS 3947 WITH SCORE 3953.133
AT ITER 9181 NEW BEST:: SOT 35860 SOS 6117 HAS SOPS 6117 HAS SOUS 3931 HAS SOUPS 3931 WITH SCORE 3937.117
AT ITER 9205 NEW BEST:: SOT 35859 SOS 6114 HAS SOPS 6114 HAS SOUS 3920 HAS SOUPS 3920 WITH SCORE 3926.114
AT ITER 9243 NEW BEST:: SOT 35858 SOS 6109 HAS SOPS 6109 HAS SOUS 3917 HAS SOUPS 3917 WITH SCORE 3923.109
AT ITER 9407 NEW BEST:: SOT 35858 SOS 6109 HAS SOPS 6109 HAS SOUS 3913 HAS SOUPS 3913 WITH SCORE 3919.109
AT ITER 9422 NEW BEST:: SOT 35855 SOS 6099 HAS SOPS 6099 HAS SOUS 3911 HAS SOUPS 3911 WITH SCORE 3917.099
AT ITER 9428 NEW BEST:: SOT 35854 SOS 6095 HAS SOPS 6095 HAS SOUS 3909 HAS SOUPS 3909 WITH SCORE 3915.095
AT ITER 9490 NEW BEST:: SOT 35853 SOS 6093 HAS SOPS 6093 HAS SOUS 3907 HAS SOUPS 3907 WITH SCORE 3913.093
AT ITER 9651 NEW BEST:: SOT 35851 SOS 6089 HAS SOPS 6089 HAS SOUS 3905 HAS SOUPS 3905 WITH SCORE 3911.089
AT ITER 9757 NEW BEST:: SOT 35847 SOS 6079 HAS SOPS 6079 HAS SOUS 3895 HAS SOUPS 3895 WITH SCORE 3901.079
AT ITER 9855 NEW BEST:: SOT 35847 SOS 6080 HAS SOPS 6080 HAS SOUS 3894 HAS SOUPS 3894 WITH SCORE 3900.08
AT ITER 9927 NEW BEST:: SOT 35841 SOS 6070 HAS SOPS 6070 HAS SOUS 3888 HAS SOUPS 3888 WITH SCORE 3894.07

BK_STOP 1679337606476

--------------------
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
/home/mcc/BenchKit/bin//../reducer/bin//../../smart/bin//smart.sh: line 116: 477 Killed ${SMART}/smart ${INPUT_SM}

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="SquareGrid-PT-040204"
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 SquareGrid-PT-040204, examination is StateSpace"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r459-smll-167912651100368"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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