fond
Model Checking Contest 2020
10th edition, Paris, France, June 23, 2020
Execution of r006-smll-158897516200521
Last Updated
Jun 28, 2020

About the Execution of ITS-Tools for AutoFlight-PT-96b

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
15785.780 2835862.00 2722811.00 72877.80 [undef] Cannot compute

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2020-input.r006-smll-158897516200521.qcow2', fmt=qcow2 size=4294967296 backing_file='/data/fkordon/mcc2020-input.qcow2' encryption=off cluster_size=65536 lazy_refcounts=off
Waiting for the VM to be ready (probing ssh)
..................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-4028
Executing tool itstools
Input is AutoFlight-PT-96b, examination is StateSpace
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r006-smll-158897516200521
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 2.1M
-rw-r--r-- 1 mcc users 3.3K Mar 26 00:14 CTLCardinality.txt
-rw-r--r-- 1 mcc users 18K Mar 26 00:14 CTLCardinality.xml
-rw-r--r-- 1 mcc users 2.5K Mar 25 19:23 CTLFireability.txt
-rw-r--r-- 1 mcc users 17K Mar 25 19:23 CTLFireability.xml
-rw-r--r-- 1 mcc users 4.0K Mar 24 05:37 GenericPropertiesDefinition.xml
-rw-r--r-- 1 mcc users 3.6K Apr 8 14:42 LTLCardinality.txt
-rw-r--r-- 1 mcc users 27K Apr 28 14:00 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.0K Apr 8 14:42 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Apr 28 14:00 LTLFireability.xml
-rw-r--r-- 1 mcc users 3.4K Mar 25 15:42 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 17K Mar 25 15:42 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 2.7K Mar 25 11:20 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 16K Mar 25 11:20 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.6K Mar 25 17:54 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.7K Mar 25 17:54 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 equiv_col
-rw-r--r-- 1 mcc users 4 Mar 24 05:37 instance
-rw-r--r-- 1 mcc users 6 Mar 24 05:37 iscolored
-rw-r--r-- 1 mcc users 1.9M Mar 24 05:37 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 1589626213732

[2020-05-16 10:50:16] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, StateSpace, -z3path, /home/mcc/BenchKit//z3/bin/z3, -yices2path, /home/mcc/BenchKit//yices/bin/yices, -its, -ltsminpath, /home/mcc/BenchKit//lts_install_dir/, -greatspnpath, /home/mcc/BenchKit//greatspn/, -order, META, -manyOrder, -smt, -timeout, 3600]
[2020-05-16 10:50:16] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2020-05-16 10:50:17] [INFO ] Load time of PNML (sax parser for PT used): 544 ms
[2020-05-16 10:50:17] [INFO ] Transformed 7894 places.
[2020-05-16 10:50:17] [INFO ] Transformed 7868 transitions.
[2020-05-16 10:50:17] [INFO ] Found NUPN structural information;
[2020-05-16 10:50:17] [INFO ] Parsed PT model containing 7894 places and 7868 transitions in 1027 ms.
[2020-05-16 10:50:19] [INFO ] Flatten gal took : 870 ms
[2020-05-16 10:50:19] [INFO ] Applying decomposition
[2020-05-16 10:50:20] [INFO ] Flatten gal took : 298 ms
Converted graph to binary with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/convert-linux64, -i, /tmp/graph6679268194298522918.txt, -o, /tmp/graph6679268194298522918.bin, -w, /tmp/graph6679268194298522918.weights], workingDir=null]
Built communities with : CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.louvain.binaries_1.0.0.202005100927/bin/louvain-linux64, /tmp/graph6679268194298522918.bin, -l, -1, -v, -w, /tmp/graph6679268194298522918.weights, -q, 0, -e, 0.001], workingDir=null]
[2020-05-16 10:50:21] [INFO ] Decomposing Gal with order
[2020-05-16 10:50:22] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-16 10:50:26] [INFO ] Removed a total of 778 redundant transitions.
[2020-05-16 10:50:27] [INFO ] Flatten gal took : 832 ms
[2020-05-16 10:50:27] [INFO ] Fuse similar labels procedure discarded/fused a total of 14 labels/synchronizations in 139 ms.
[2020-05-16 10:50:27] [INFO ] Time to serialize gal into /home/mcc/execution/StateSpace.pnml.gal : 196 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/StateSpace.pnml.gal, -t, CGAL, --stats], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/StateSpace.pnml.gal -t CGAL --stats
built 267 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 17 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 12 ordering constraints for composite.
built 72 ordering constraints for composite.
built 91 ordering constraints for composite.
built 27 ordering constraints for composite.
built 19 ordering constraints for composite.
built 11 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 15 ordering constraints for composite.
built 7 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 21 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 80 ordering constraints for composite.
built 61 ordering constraints for composite.
built 51 ordering constraints for composite.
built 56 ordering constraints for composite.
built 56 ordering constraints for composite.
built 89 ordering constraints for composite.
built 56 ordering constraints for composite.
built 46 ordering constraints for composite.
built 31 ordering constraints for composite.
built 24 ordering constraints for composite.
built 15 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 15 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 14 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 7 ordering constraints for composite.
built 10 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 34 ordering constraints for composite.
built 10 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 18 ordering constraints for composite.
built 10 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 25 ordering constraints for composite.
built 20 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 10 ordering constraints for composite.
built 46 ordering constraints for composite.
built 26 ordering constraints for composite.
built 9 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 30 ordering constraints for composite.
built 15 ordering constraints for composite.
built 7 ordering constraints for composite.
built 11 ordering constraints for composite.
built 8 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 38 ordering constraints for composite.
built 31 ordering constraints for composite.
built 25 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 10 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 12 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 22 ordering constraints for composite.
built 14 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 14 ordering constraints for composite.
built 13 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 87 ordering constraints for composite.
built 38 ordering constraints for composite.
built 32 ordering constraints for composite.
built 17 ordering constraints for composite.
built 15 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 19 ordering constraints for composite.
built 19 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 10 ordering constraints for composite.
built 13 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 41 ordering constraints for composite.
built 56 ordering constraints for composite.
built 57 ordering constraints for composite.
built 81 ordering constraints for composite.
built 29 ordering constraints for composite.
built 16 ordering constraints for composite.
built 11 ordering constraints for composite.
built 6 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 10 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 11 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 27 ordering constraints for composite.
built 15 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 15 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 15 ordering constraints for composite.
built 51 ordering constraints for composite.
built 28 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 50 ordering constraints for composite.
built 36 ordering constraints for composite.
built 25 ordering constraints for composite.
built 20 ordering constraints for composite.
built 14 ordering constraints for composite.
built 11 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 101 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 50 ordering constraints for composite.
built 27 ordering constraints for composite.
built 12 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 10 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 12 ordering constraints for composite.
built 14 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 51 ordering constraints for composite.
built 55 ordering constraints for composite.
built 64 ordering constraints for composite.
built 44 ordering constraints for composite.
built 21 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 17 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 38 ordering constraints for composite.
built 24 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 30 ordering constraints for composite.
built 19 ordering constraints for composite.
built 19 ordering constraints for composite.
built 7 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 7 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 15 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 87 ordering constraints for composite.
built 42 ordering constraints for composite.
built 56 ordering constraints for composite.
built 37 ordering constraints for composite.
built 12 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 11 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 33 ordering constraints for composite.
built 31 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 23 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 10 ordering constraints for composite.
built 9 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 12 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 12 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 84 ordering constraints for composite.
built 6 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 21 ordering constraints for composite.
built 22 ordering constraints for composite.
built 13 ordering constraints for composite.
built 10 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 6 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 23 ordering constraints for composite.
built 15 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 15 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 10 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 13 ordering constraints for composite.
built 38 ordering constraints for composite.
built 47 ordering constraints for composite.
built 13 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 16 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 14 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 14 ordering constraints for composite.
built 8 ordering constraints for composite.
built 7 ordering constraints for composite.
built 7 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 6 ordering constraints for composite.
built 17 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 10 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 36 ordering constraints for composite.
built 16 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 7 ordering constraints for composite.
built 13 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 10 ordering constraints for composite.
built 10 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 12 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 6 ordering constraints for composite.
built 10 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 18 ordering constraints for composite.
built 18 ordering constraints for composite.
built 17 ordering constraints for composite.
built 11 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 52 ordering constraints for composite.
built 65 ordering constraints for composite.
built 57 ordering constraints for composite.
built 41 ordering constraints for composite.
built 52 ordering constraints for composite.
built 56 ordering constraints for composite.
built 6 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 34 ordering constraints for composite.
built 56 ordering constraints for composite.
built 21 ordering constraints for composite.
built 24 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 24 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 21 ordering constraints for composite.
built 7 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 3 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 4 ordering constraints for composite.
built 28 ordering constraints for composite.
built 35 ordering constraints for composite.
built 57 ordering constraints for composite.
built 56 ordering constraints for composite.
built 35 ordering constraints for composite.
built 32 ordering constraints for composite.
built 14 ordering constraints for composite.
built 6 ordering constraints for composite.
built 9 ordering constraints for composite.
built 10 ordering constraints for composite.
built 14 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 10 ordering constraints for composite.
built 8 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 15 ordering constraints for composite.
built 7 ordering constraints for composite.
built 9 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 20 ordering constraints for composite.
built 19 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 10 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 39 ordering constraints for composite.
built 24 ordering constraints for composite.
built 21 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 5 ordering constraints for composite.
built 12 ordering constraints for composite.
built 7 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 11 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 11 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 6 ordering constraints for composite.
built 5 ordering constraints for composite.
built 13 ordering constraints for composite.
built 14 ordering constraints for composite.
built 9 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 8 ordering constraints for composite.
built 5 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 9 ordering constraints for composite.
built 6 ordering constraints for composite.
built 4 ordering constraints for composite.
built 5 ordering constraints for composite.
built 7 ordering constraints for composite.
built 7 ordering constraints for composite.
built 5 ordering constraints for composite.
built 82 ordering constraints for composite.
built 66 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 4 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 3 ordering constraints for composite.
built 18 ordering constraints for composite.
Detected timeout of ITS tools.
[2020-05-16 11:10:32] [INFO ] Applying decomposition
[2020-05-16 11:10:34] [INFO ] Flatten gal took : 1626 ms
[2020-05-16 11:10:37] [INFO ] Decomposing Gal with order
[2020-05-16 11:10:53] [INFO ] Rewriting arrays to variables to allow decomposition.
[2020-05-16 11:10:55] [INFO ] Removed a total of 206 redundant transitions.
[2020-05-16 11:10:55] [INFO ] Flatten gal took : 558 ms
[2020-05-16 11:11:35] [INFO ] Fuse similar labels procedure discarded/fused a total of 10710 labels/synchronizations in 33214 ms.
[2020-05-16 11:11:36] [INFO ] Time to serialize gal into /home/mcc/execution/StateSpace.pnml.gal : 1316 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/StateSpace.pnml.gal, -t, CGAL, --stats], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/StateSpace.pnml.gal -t CGAL --stats
built 2 ordering constraints for composite.
built 770 ordering constraints for composite.
built 769 ordering constraints for composite.
built 768 ordering constraints for composite.
built 767 ordering constraints for composite.
built 766 ordering constraints for composite.
built 765 ordering constraints for composite.
built 764 ordering constraints for composite.
built 763 ordering constraints for composite.
built 762 ordering constraints for composite.
built 761 ordering constraints for composite.
built 760 ordering constraints for composite.
built 759 ordering constraints for composite.
built 758 ordering constraints for composite.
built 757 ordering constraints for composite.
built 756 ordering constraints for composite.
built 755 ordering constraints for composite.
built 754 ordering constraints for composite.
built 753 ordering constraints for composite.
built 752 ordering constraints for composite.
built 751 ordering constraints for composite.
built 750 ordering constraints for composite.
built 749 ordering constraints for composite.
built 748 ordering constraints for composite.
built 747 ordering constraints for composite.
built 746 ordering constraints for composite.
built 745 ordering constraints for composite.
built 744 ordering constraints for composite.
built 743 ordering constraints for composite.
built 742 ordering constraints for composite.
built 741 ordering constraints for composite.
built 740 ordering constraints for composite.
built 739 ordering constraints for composite.
built 738 ordering constraints for composite.
built 737 ordering constraints for composite.
built 736 ordering constraints for composite.
built 735 ordering constraints for composite.
built 734 ordering constraints for composite.
built 733 ordering constraints for composite.
built 732 ordering constraints for composite.
built 731 ordering constraints for composite.
built 730 ordering constraints for composite.
built 729 ordering constraints for composite.
built 728 ordering constraints for composite.
built 727 ordering constraints for composite.
built 726 ordering constraints for composite.
built 725 ordering constraints for composite.
built 724 ordering constraints for composite.
built 723 ordering constraints for composite.
built 722 ordering constraints for composite.
built 721 ordering constraints for composite.
built 720 ordering constraints for composite.
built 719 ordering constraints for composite.
built 718 ordering constraints for composite.
built 717 ordering constraints for composite.
built 716 ordering constraints for composite.
built 715 ordering constraints for composite.
built 714 ordering constraints for composite.
built 713 ordering constraints for composite.
built 712 ordering constraints for composite.
built 711 ordering constraints for composite.
built 710 ordering constraints for composite.
built 709 ordering constraints for composite.
built 708 ordering constraints for composite.
built 707 ordering constraints for composite.
built 706 ordering constraints for composite.
built 705 ordering constraints for composite.
built 704 ordering constraints for composite.
built 703 ordering constraints for composite.
built 702 ordering constraints for composite.
built 701 ordering constraints for composite.
built 700 ordering constraints for composite.
built 699 ordering constraints for composite.
built 698 ordering constraints for composite.
built 697 ordering constraints for composite.
built 696 ordering constraints for composite.
built 695 ordering constraints for composite.
built 694 ordering constraints for composite.
built 693 ordering constraints for composite.
built 692 ordering constraints for composite.
built 691 ordering constraints for composite.
built 690 ordering constraints for composite.
built 689 ordering constraints for composite.
built 688 ordering constraints for composite.
built 687 ordering constraints for composite.
built 686 ordering constraints for composite.
built 685 ordering constraints for composite.
built 684 ordering constraints for composite.
built 683 ordering constraints for composite.
built 682 ordering constraints for composite.
built 681 ordering constraints for composite.
built 680 ordering constraints for composite.
built 679 ordering constraints for composite.
built 678 ordering constraints for composite.
built 677 ordering constraints for composite.
built 676 ordering constraints for composite.
built 675 ordering constraints for composite.
built 674 ordering constraints for composite.
built 673 ordering constraints for composite.
built 672 ordering constraints for composite.
built 671 ordering constraints for composite.
built 670 ordering constraints for composite.
built 669 ordering constraints for composite.
built 668 ordering constraints for composite.
built 667 ordering constraints for composite.
built 666 ordering constraints for composite.
built 665 ordering constraints for composite.
built 664 ordering constraints for composite.
built 663 ordering constraints for composite.
built 662 ordering constraints for composite.
built 661 ordering constraints for composite.
built 660 ordering constraints for composite.
built 659 ordering constraints for composite.
built 658 ordering constraints for composite.
built 657 ordering constraints for composite.
built 656 ordering constraints for composite.
built 655 ordering constraints for composite.
built 654 ordering constraints for composite.
built 653 ordering constraints for composite.
built 652 ordering constraints for composite.
built 651 ordering constraints for composite.
built 650 ordering constraints for composite.
built 649 ordering constraints for composite.
built 648 ordering constraints for composite.
built 647 ordering constraints for composite.
built 646 ordering constraints for composite.
built 645 ordering constraints for composite.
built 644 ordering constraints for composite.
built 643 ordering constraints for composite.
built 642 ordering constraints for composite.
built 641 ordering constraints for composite.
built 640 ordering constraints for composite.
built 639 ordering constraints for composite.
built 638 ordering constraints for composite.
built 637 ordering constraints for composite.
built 636 ordering constraints for composite.
built 635 ordering constraints for composite.
built 634 ordering constraints for composite.
built 633 ordering constraints for composite.
built 632 ordering constraints for composite.
built 631 ordering constraints for composite.
built 630 ordering constraints for composite.
built 629 ordering constraints for composite.
built 628 ordering constraints for composite.
built 627 ordering constraints for composite.
built 626 ordering constraints for composite.
built 625 ordering constraints for composite.
built 624 ordering constraints for composite.
built 623 ordering constraints for composite.
built 622 ordering constraints for composite.
built 621 ordering constraints for composite.
built 620 ordering constraints for composite.
built 619 ordering constraints for composite.
built 618 ordering constraints for composite.
built 617 ordering constraints for composite.
built 616 ordering constraints for composite.
built 615 ordering constraints for composite.
built 614 ordering constraints for composite.
built 613 ordering constraints for composite.
built 612 ordering constraints for composite.
built 611 ordering constraints for composite.
built 610 ordering constraints for composite.
built 609 ordering constraints for composite.
built 608 ordering constraints for composite.
built 607 ordering constraints for composite.
built 606 ordering constraints for composite.
built 605 ordering constraints for composite.
built 604 ordering constraints for composite.
built 603 ordering constraints for composite.
built 602 ordering constraints for composite.
built 601 ordering constraints for composite.
built 600 ordering constraints for composite.
built 599 ordering constraints for composite.
built 598 ordering constraints for composite.
built 597 ordering constraints for composite.
built 596 ordering constraints for composite.
built 595 ordering constraints for composite.
built 594 ordering constraints for composite.
built 593 ordering constraints for composite.
built 592 ordering constraints for composite.
built 591 ordering constraints for composite.
built 590 ordering constraints for composite.
built 589 ordering constraints for composite.
built 588 ordering constraints for composite.
built 587 ordering constraints for composite.
built 586 ordering constraints for composite.
built 585 ordering constraints for composite.
built 584 ordering constraints for composite.
built 583 ordering constraints for composite.
built 582 ordering constraints for composite.
built 581 ordering constraints for composite.
built 580 ordering constraints for composite.
built 579 ordering constraints for composite.
built 578 ordering constraints for composite.
built 574 ordering constraints for composite.
built 572 ordering constraints for composite.
built 570 ordering constraints for composite.
built 566 ordering constraints for composite.
built 564 ordering constraints for composite.
built 562 ordering constraints for composite.
built 558 ordering constraints for composite.
built 556 ordering constraints for composite.
built 554 ordering constraints for composite.
built 550 ordering constraints for composite.
built 548 ordering constraints for composite.
built 546 ordering constraints for composite.
built 542 ordering constraints for composite.
built 540 ordering constraints for composite.
built 538 ordering constraints for composite.
built 534 ordering constraints for composite.
built 532 ordering constraints for composite.
built 530 ordering constraints for composite.
built 526 ordering constraints for composite.
built 524 ordering constraints for composite.
built 522 ordering constraints for composite.
built 518 ordering constraints for composite.
built 516 ordering constraints for composite.
built 514 ordering constraints for composite.
built 510 ordering constraints for composite.
built 508 ordering constraints for composite.
built 506 ordering constraints for composite.
built 502 ordering constraints for composite.
built 500 ordering constraints for composite.
built 498 ordering constraints for composite.
built 494 ordering constraints for composite.
built 492 ordering constraints for composite.
built 490 ordering constraints for composite.
built 486 ordering constraints for composite.
built 484 ordering constraints for composite.
built 482 ordering constraints for composite.
built 478 ordering constraints for composite.
built 476 ordering constraints for composite.
built 474 ordering constraints for composite.
built 470 ordering constraints for composite.
built 468 ordering constraints for composite.
built 466 ordering constraints for composite.
built 462 ordering constraints for composite.
built 460 ordering constraints for composite.
built 458 ordering constraints for composite.
built 454 ordering constraints for composite.
built 452 ordering constraints for composite.
built 450 ordering constraints for composite.
built 446 ordering constraints for composite.
built 444 ordering constraints for composite.
built 442 ordering constraints for composite.
built 438 ordering constraints for composite.
built 436 ordering constraints for composite.
built 434 ordering constraints for composite.
built 430 ordering constraints for composite.
built 428 ordering constraints for composite.
built 426 ordering constraints for composite.
built 422 ordering constraints for composite.
built 420 ordering constraints for composite.
built 418 ordering constraints for composite.
built 414 ordering constraints for composite.
built 412 ordering constraints for composite.
built 410 ordering constraints for composite.
built 406 ordering constraints for composite.
built 404 ordering constraints for composite.
built 402 ordering constraints for composite.
built 398 ordering constraints for composite.
built 396 ordering constraints for composite.
built 394 ordering constraints for composite.
built 390 ordering constraints for composite.
built 388 ordering constraints for composite.
built 386 ordering constraints for composite.
built 382 ordering constraints for composite.
built 380 ordering constraints for composite.
built 378 ordering constraints for composite.
built 374 ordering constraints for composite.
built 372 ordering constraints for composite.
built 370 ordering constraints for composite.
built 366 ordering constraints for composite.
built 364 ordering constraints for composite.
built 362 ordering constraints for composite.
built 358 ordering constraints for composite.
built 356 ordering constraints for composite.
built 354 ordering constraints for composite.
built 350 ordering constraints for composite.
built 348 ordering constraints for composite.
built 346 ordering constraints for composite.
built 342 ordering constraints for composite.
built 340 ordering constraints for composite.
built 338 ordering constraints for composite.
built 334 ordering constraints for composite.
built 332 ordering constraints for composite.
built 330 ordering constraints for composite.
built 326 ordering constraints for composite.
built 324 ordering constraints for composite.
built 322 ordering constraints for composite.
built 318 ordering constraints for composite.
built 316 ordering constraints for composite.
built 314 ordering constraints for composite.
built 310 ordering constraints for composite.
built 308 ordering constraints for composite.
built 306 ordering constraints for composite.
built 302 ordering constraints for composite.
built 300 ordering constraints for composite.
built 298 ordering constraints for composite.
built 294 ordering constraints for composite.
built 292 ordering constraints for composite.
built 290 ordering constraints for composite.
built 286 ordering constraints for composite.
built 284 ordering constraints for composite.
built 282 ordering constraints for composite.
built 278 ordering constraints for composite.
built 276 ordering constraints for composite.
built 274 ordering constraints for composite.
built 270 ordering constraints for composite.
built 268 ordering constraints for composite.
built 266 ordering constraints for composite.
built 262 ordering constraints for composite.
built 260 ordering constraints for composite.
built 258 ordering constraints for composite.
built 254 ordering constraints for composite.
built 252 ordering constraints for composite.
built 250 ordering constraints for composite.
built 246 ordering constraints for composite.
built 244 ordering constraints for composite.
built 242 ordering constraints for composite.
built 238 ordering constraints for composite.
built 236 ordering constraints for composite.
built 234 ordering constraints for composite.
built 230 ordering constraints for composite.
built 228 ordering constraints for composite.
built 226 ordering constraints for composite.
built 222 ordering constraints for composite.
built 220 ordering constraints for composite.
built 218 ordering constraints for composite.
built 214 ordering constraints for composite.
built 212 ordering constraints for composite.
built 210 ordering constraints for composite.
built 206 ordering constraints for composite.
built 204 ordering constraints for composite.
built 202 ordering constraints for composite.
built 198 ordering constraints for composite.
built 196 ordering constraints for composite.
built 194 ordering constraints for composite.
built 190 ordering constraints for composite.
built 188 ordering constraints for composite.
built 186 ordering constraints for composite.
built 182 ordering constraints for composite.
built 180 ordering constraints for composite.
built 178 ordering constraints for composite.
built 174 ordering constraints for composite.
built 172 ordering constraints for composite.
built 170 ordering constraints for composite.
built 166 ordering constraints for composite.
built 164 ordering constraints for composite.
built 162 ordering constraints for composite.
built 158 ordering constraints for composite.
built 156 ordering constraints for composite.
built 154 ordering constraints for composite.
built 150 ordering constraints for composite.
built 148 ordering constraints for composite.
built 146 ordering constraints for composite.
built 142 ordering constraints for composite.
built 140 ordering constraints for composite.
built 138 ordering constraints for composite.
built 134 ordering constraints for composite.
built 132 ordering constraints for composite.
built 130 ordering constraints for composite.
built 126 ordering constraints for composite.
built 124 ordering constraints for composite.
built 122 ordering constraints for composite.
built 118 ordering constraints for composite.
built 116 ordering constraints for composite.
built 114 ordering constraints for composite.
built 110 ordering constraints for composite.
built 108 ordering constraints for composite.
built 106 ordering constraints for composite.
built 102 ordering constraints for composite.
built 100 ordering constraints for composite.
built 98 ordering constraints for composite.
built 94 ordering constraints for composite.
built 92 ordering constraints for composite.
built 90 ordering constraints for composite.
built 86 ordering constraints for composite.
built 84 ordering constraints for composite.
built 82 ordering constraints for composite.
built 78 ordering constraints for composite.
built 76 ordering constraints for composite.
built 74 ordering constraints for composite.
built 70 ordering constraints for composite.
built 68 ordering constraints for composite.
built 66 ordering constraints for composite.
built 62 ordering constraints for composite.
built 60 ordering constraints for composite.
built 58 ordering constraints for composite.
built 54 ordering constraints for composite.
built 52 ordering constraints for composite.
built 50 ordering constraints for composite.
built 46 ordering constraints for composite.
built 44 ordering constraints for composite.
built 42 ordering constraints for composite.
built 38 ordering constraints for composite.
built 36 ordering constraints for composite.
built 34 ordering constraints for composite.
built 30 ordering constraints for composite.
built 28 ordering constraints for composite.
built 26 ordering constraints for composite.
built 22 ordering constraints for composite.
built 20 ordering constraints for composite.
built 18 ordering constraints for composite.
built 14 ordering constraints for composite.
built 12 ordering constraints for composite.
built 10 ordering constraints for composite.
built 6 ordering constraints for composite.
built 771 ordering constraints for composite.
built 776 ordering constraints for composite.
built 772 ordering constraints for composite.
built 768 ordering constraints for composite.
built 764 ordering constraints for composite.
built 760 ordering constraints for composite.
built 756 ordering constraints for composite.
built 752 ordering constraints for composite.
built 748 ordering constraints for composite.
built 744 ordering constraints for composite.
built 740 ordering constraints for composite.
built 736 ordering constraints for composite.
built 732 ordering constraints for composite.
built 728 ordering constraints for composite.
built 726 ordering constraints for composite.
built 724 ordering constraints for composite.
built 722 ordering constraints for composite.
built 720 ordering constraints for composite.
built 718 ordering constraints for composite.
built 716 ordering constraints for composite.
built 714 ordering constraints for composite.
built 712 ordering constraints for composite.
built 710 ordering constraints for composite.
built 708 ordering constraints for composite.
built 706 ordering constraints for composite.
built 704 ordering constraints for composite.
built 700 ordering constraints for composite.
built 696 ordering constraints for composite.
built 692 ordering constraints for composite.
built 688 ordering constraints for composite.
built 684 ordering constraints for composite.
built 680 ordering constraints for composite.
built 676 ordering constraints for composite.
built 672 ordering constraints for composite.
built 668 ordering constraints for composite.
built 664 ordering constraints for composite.
built 660 ordering constraints for composite.
built 656 ordering constraints for composite.
built 654 ordering constraints for composite.
built 652 ordering constraints for composite.
built 650 ordering constraints for composite.
built 648 ordering constraints for composite.
built 646 ordering constraints for composite.
built 644 ordering constraints for composite.
built 642 ordering constraints for composite.
built 640 ordering constraints for composite.
built 638 ordering constraints for composite.
built 636 ordering constraints for composite.
built 634 ordering constraints for composite.
built 632 ordering constraints for composite.
built 628 ordering constraints for composite.
built 624 ordering constraints for composite.
built 620 ordering constraints for composite.
built 616 ordering constraints for composite.
built 612 ordering constraints for composite.
built 608 ordering constraints for composite.
built 604 ordering constraints for composite.
built 600 ordering constraints for composite.
built 596 ordering constraints for composite.
built 592 ordering constraints for composite.
built 588 ordering constraints for composite.
built 584 ordering constraints for composite.
built 580 ordering constraints for composite.
built 576 ordering constraints for composite.
built 572 ordering constraints for composite.
built 568 ordering constraints for composite.
built 564 ordering constraints for composite.
built 560 ordering constraints for composite.
built 556 ordering constraints for composite.
built 552 ordering constraints for composite.
built 548 ordering constraints for composite.
built 544 ordering constraints for composite.
built 540 ordering constraints for composite.
built 536 ordering constraints for composite.
built 532 ordering constraints for composite.
built 528 ordering constraints for composite.
built 524 ordering constraints for composite.
built 520 ordering constraints for composite.
built 516 ordering constraints for composite.
built 512 ordering constraints for composite.
built 508 ordering constraints for composite.
built 504 ordering constraints for composite.
built 500 ordering constraints for composite.
built 496 ordering constraints for composite.
built 492 ordering constraints for composite.
built 488 ordering constraints for composite.
built 484 ordering constraints for composite.
built 480 ordering constraints for composite.
built 476 ordering constraints for composite.
built 472 ordering constraints for composite.
built 468 ordering constraints for composite.
built 464 ordering constraints for composite.
built 460 ordering constraints for composite.
built 456 ordering constraints for composite.
built 452 ordering constraints for composite.
built 448 ordering constraints for composite.
built 444 ordering constraints for composite.
built 440 ordering constraints for composite.
built 404 ordering constraints for composite.
built 368 ordering constraints for composite.
built 296 ordering constraints for composite.
built 224 ordering constraints for composite.
built 188 ordering constraints for composite.
built 150 ordering constraints for composite.
ITS-tools command line returned an error code 137
[2020-05-16 11:21:19] [INFO ] Flatten gal took : 2265 ms
[2020-05-16 11:21:31] [INFO ] Input system was already deterministic with 7868 transitions.
[2020-05-16 11:21:32] [INFO ] Transformed 7894 places.
[2020-05-16 11:21:32] [INFO ] Transformed 7868 transitions.
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/pinvar, /home/mcc/execution/gspn], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Running greatSPN : CommandLine [args=[/home/mcc/BenchKit//greatspn//bin/RGMEDD2, /home/mcc/execution/gspn, -META, -varord-only], workingDir=/home/mcc/execution]
Run of greatSPN captured in /home/mcc/execution/outPut.txt
Using order generated by GreatSPN with heuristic : META
[2020-05-16 11:21:42] [INFO ] Time to serialize gal into /home/mcc/execution/StateSpace.pnml.gal : 41 ms
Invoking ITS tools like this :CommandLine [args=[/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64, --gc-threshold, 2000000, --quiet, -i, /home/mcc/execution/StateSpace.pnml.gal, -t, CGAL, --stats, --load-order, /home/mcc/execution/model.ord, --gen-order, FOLLOW], workingDir=/home/mcc/execution]

its-reach command run as :

/home/mcc/BenchKit/itstools/plugins/fr.lip6.move.gal.itstools.binaries_1.0.0.202005100927/bin/its-reach-linux64 --gc-threshold 2000000 --quiet -i /home/mcc/execution/StateSpace.pnml.gal -t CGAL --stats --load-order /home/mcc/execution/model.ord --gen-order FOLLOW
Successfully loaded order from file /home/mcc/execution/model.ord
ITS-tools command line returned an error code 137

BK_STOP 1589629049594

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

+ export BINDIR=/home/mcc/BenchKit/
+ BINDIR=/home/mcc/BenchKit/
++ pwd
+ export MODEL=/home/mcc/execution
+ MODEL=/home/mcc/execution
+ [[ StateSpace = StateSpace ]]
+ [[ -f modelMain.xml ]]
+ /home/mcc/BenchKit//runeclipse.sh /home/mcc/execution StateSpace -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600
+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ /home/mcc/BenchKit//itstools/its-tools -data /home/mcc/execution/workspace -pnfolder /home/mcc/execution -examination StateSpace -z3path /home/mcc/BenchKit//z3/bin/z3 -yices2path /home/mcc/BenchKit//yices/bin/yices -its -ltsminpath /home/mcc/BenchKit//lts_install_dir/ -greatspnpath /home/mcc/BenchKit//greatspn/ -order META -manyOrder -smt -timeout 3600 -vmargs -Dosgi.locking=none -Declipse.stateSaveDelayInterval=-1 -Dosgi.configuration.area=/tmp/.eclipse -Xss128m -Xms40m -Xmx16000m -Dfile.encoding=UTF-8 -Dosgi.requiredJavaVersion=1.6

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="AutoFlight-PT-96b"
export BK_EXAMINATION="StateSpace"
export BK_TOOL="itstools"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"

# 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-4028"
echo " Executing tool itstools"
echo " Input is AutoFlight-PT-96b, 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 r006-smll-158897516200521"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

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