fond
Model Checking Contest 2023
13th edition, Paris, France, April 26, 2023 (at TOOLympics II)
Execution of r361-smll-167891811500425
Last Updated
May 14, 2023

About the Execution of LTSMin+red for SemanticWebServices-PT-S256P09

Execution Summary
Max Memory
Used (MB)
Time wait (ms) CPU Usage (ms) I/O Wait (ms) Computed Result Execution
Status
1818.716 345578.00 1327849.00 545.40 ???F??T????????T normal

Execution Chart

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

Trace from the execution

Formatting '/data/fkordon/mcc2023-input.r361-smll-167891811500425.qcow2', fmt=qcow2 size=4294967296 backing_file=/data/fkordon/mcc2023-input.qcow2 cluster_size=65536 lazy_refcounts=off refcount_bits=16
Waiting for the VM to be ready (probing ssh)
...................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................................
=====================================================================
Generated by BenchKit 2-5348
Executing tool ltsminxred
Input is SemanticWebServices-PT-S256P09, examination is CTLCardinality
Time confinement is 3600 seconds
Memory confinement is 16384 MBytes
Number of cores is 4
Run identifier is r361-smll-167891811500425
=====================================================================

--------------------
preparation of the directory to be used:
/home/mcc/execution
total 32M
-rw-r--r-- 1 mcc users 6.7K Feb 26 10:21 CTLCardinality.txt
-rw-r--r-- 1 mcc users 68K Feb 26 10:21 CTLCardinality.xml
-rw-r--r-- 1 mcc users 5.2K Feb 26 10:20 CTLFireability.txt
-rw-r--r-- 1 mcc users 43K Feb 26 10:20 CTLFireability.xml
-rw-r--r-- 1 mcc users 3.5K Feb 25 16:51 LTLCardinality.txt
-rw-r--r-- 1 mcc users 22K Feb 25 16:51 LTLCardinality.xml
-rw-r--r-- 1 mcc users 2.4K Feb 25 16:51 LTLFireability.txt
-rw-r--r-- 1 mcc users 16K Feb 25 16:51 LTLFireability.xml
-rw-r--r-- 1 mcc users 14K Feb 26 10:23 ReachabilityCardinality.txt
-rw-r--r-- 1 mcc users 148K Feb 26 10:23 ReachabilityCardinality.xml
-rw-r--r-- 1 mcc users 6.3K Feb 26 10:22 ReachabilityFireability.txt
-rw-r--r-- 1 mcc users 44K Feb 26 10:22 ReachabilityFireability.xml
-rw-r--r-- 1 mcc users 1.8K Feb 25 16:51 UpperBounds.txt
-rw-r--r-- 1 mcc users 3.9K Feb 25 16:51 UpperBounds.xml
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 equiv_col
-rw-r--r-- 1 mcc users 8 Mar 5 18:23 instance
-rw-r--r-- 1 mcc users 6 Mar 5 18:23 iscolored
-rw-r--r-- 1 mcc users 32M Mar 5 18:23 model.pnml

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

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

The expected result is a vector of booleans
BOOL_VECTOR

here is the order used to build the result vector(from text file)
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-00
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-01
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-02
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-03
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-04
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-05
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-06
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-07
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-08
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-09
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-10
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-11
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-12
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-13
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-14
FORMULA_NAME SemanticWebServices-PT-S256P09-CTLCardinality-15

=== Now, execution of the tool begins

BK_START 1679261892189

bash -c /home/mcc/BenchKit/BenchKit_head.sh 2> STDERR ; echo ; echo -n "BK_STOP " ; date -u +%s%3N
Invoking MCC driver with
BK_TOOL=ltsminxred
BK_EXAMINATION=CTLCardinality
BK_BIN_PATH=/home/mcc/BenchKit/bin/
BK_TIME_CONFINEMENT=3600
BK_INPUT=SemanticWebServices-PT-S256P09
Applying reductions before tool ltsmin
Invoking reducer
Running Version 202303021504
[2023-03-19 21:38:14] [INFO ] Running its-tools with arguments : [-pnfolder, /home/mcc/execution, -examination, CTLCardinality, -timeout, 360, -rebuildPNML]
[2023-03-19 21:38:14] [INFO ] Parsing pnml file : /home/mcc/execution/model.pnml
[2023-03-19 21:38:16] [INFO ] Load time of PNML (sax parser for PT used): 1744 ms
[2023-03-19 21:38:16] [INFO ] Transformed 418 places.
[2023-03-19 21:38:16] [INFO ] Transformed 27524 transitions.
[2023-03-19 21:38:16] [INFO ] Parsed PT model containing 418 places and 27524 transitions and 270595 arcs in 1993 ms.
Parsed 16 properties from file /home/mcc/execution/CTLCardinality.xml in 20 ms.
Deduced a syphon composed of 59 places in 53 ms
Reduce places removed 59 places and 19423 transitions.
Ensure Unique test removed 2463 transitions
Reduce redundant transitions removed 2463 transitions.
Support contains 96 out of 359 places. Attempting structural reductions.
Starting structural reductions in LTL mode, iteration 0 : 359/359 places, 5638/5638 transitions.
Ensure Unique test removed 18 places
Reduce places removed 67 places and 0 transitions.
Ensure Unique test removed 492 transitions
Reduce isomorphic transitions removed 492 transitions.
Iterating post reduction 0 with 559 rules applied. Total rules applied 559 place count 292 transition count 5146
Discarding 25 places :
Symmetric choice reduction at 1 with 25 rule applications. Total rules 584 place count 267 transition count 3943
Iterating global reduction 1 with 25 rules applied. Total rules applied 609 place count 267 transition count 3943
Ensure Unique test removed 430 transitions
Reduce isomorphic transitions removed 430 transitions.
Iterating post reduction 1 with 430 rules applied. Total rules applied 1039 place count 267 transition count 3513
Discarding 2 places :
Symmetric choice reduction at 2 with 2 rule applications. Total rules 1041 place count 265 transition count 3489
Iterating global reduction 2 with 2 rules applied. Total rules applied 1043 place count 265 transition count 3489
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 28 transitions.
Iterating post reduction 2 with 28 rules applied. Total rules applied 1071 place count 265 transition count 3461
Drop transitions removed 463 transitions
Redundant transition composition rules discarded 463 transitions
Iterating global reduction 3 with 463 rules applied. Total rules applied 1534 place count 265 transition count 2998
Reduce places removed 13 places and 0 transitions.
Ensure Unique test removed 67 transitions
Reduce isomorphic transitions removed 67 transitions.
Iterating post reduction 3 with 80 rules applied. Total rules applied 1614 place count 252 transition count 2931
Discarding 3 places :
Symmetric choice reduction at 4 with 3 rule applications. Total rules 1617 place count 249 transition count 2843
Iterating global reduction 4 with 3 rules applied. Total rules applied 1620 place count 249 transition count 2843
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 4 with 8 rules applied. Total rules applied 1628 place count 249 transition count 2835
Drop transitions removed 78 transitions
Redundant transition composition rules discarded 78 transitions
Iterating global reduction 5 with 78 rules applied. Total rules applied 1706 place count 249 transition count 2757
Discarding 1 places :
Symmetric choice reduction at 5 with 1 rule applications. Total rules 1707 place count 248 transition count 2756
Iterating global reduction 5 with 1 rules applied. Total rules applied 1708 place count 248 transition count 2756
Ensure Unique test removed 133 transitions
Reduce isomorphic transitions removed 133 transitions.
Iterating post reduction 5 with 133 rules applied. Total rules applied 1841 place count 248 transition count 2623
Applied a total of 1841 rules in 308 ms. Remains 248 /359 variables (removed 111) and now considering 2623/5638 (removed 3015) transitions.
[2023-03-19 21:38:17] [INFO ] Flow matrix only has 750 transitions (discarded 1873 similar events)
// Phase 1: matrix 750 rows 248 cols
[2023-03-19 21:38:17] [INFO ] Computed 3 place invariants in 21 ms
[2023-03-19 21:38:18] [INFO ] Implicit Places using invariants in 740 ms returned []
[2023-03-19 21:38:18] [INFO ] Flow matrix only has 750 transitions (discarded 1873 similar events)
[2023-03-19 21:38:18] [INFO ] Invariant cache hit.
[2023-03-19 21:38:18] [INFO ] State equation strengthened by 378 read => feed constraints.
[2023-03-19 21:38:19] [INFO ] Implicit Places using invariants and state equation in 1256 ms returned []
Implicit Place search using SMT with State Equation took 2080 ms to find 0 implicit places.
[2023-03-19 21:38:19] [INFO ] Flow matrix only has 750 transitions (discarded 1873 similar events)
[2023-03-19 21:38:19] [INFO ] Invariant cache hit.
[2023-03-19 21:38:20] [INFO ] Dead Transitions using invariants and state equation in 1415 ms found 0 transitions.
Starting structural reductions in LTL mode, iteration 1 : 248/359 places, 2623/5638 transitions.
Finished structural reductions in LTL mode , in 1 iterations and 3806 ms. Remains : 248/359 places, 2623/5638 transitions.
Support contains 96 out of 248 places after structural reductions.
[2023-03-19 21:38:21] [INFO ] Flatten gal took : 263 ms
[2023-03-19 21:38:21] [INFO ] Initial state reduction rules for CTL removed 3 formulas.
FORMULA SemanticWebServices-PT-S256P09-CTLCardinality-15 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLCardinality-06 TRUE TECHNIQUES TOPOLOGICAL INITIAL_STATE
FORMULA SemanticWebServices-PT-S256P09-CTLCardinality-03 FALSE TECHNIQUES TOPOLOGICAL INITIAL_STATE
[2023-03-19 21:38:21] [INFO ] Flatten gal took : 178 ms
[2023-03-19 21:38:22] [INFO ] Input system was already deterministic with 2623 transitions.
Support contains 78 out of 248 places (down from 96) after GAL structural reductions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 950 ms. (steps per millisecond=10 ) properties (out of 51) seen :47
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 11 ms. (steps per millisecond=909 ) properties (out of 4) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 10 ms. (steps per millisecond=1000 ) properties (out of 3) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 21 ms. (steps per millisecond=476 ) properties (out of 3) seen :0
Running SMT prover for 3 properties.
[2023-03-19 21:38:23] [INFO ] Flow matrix only has 750 transitions (discarded 1873 similar events)
[2023-03-19 21:38:23] [INFO ] Invariant cache hit.
[2023-03-19 21:38:23] [INFO ] After 205ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:3
[2023-03-19 21:38:23] [INFO ] [Nat]Absence check using 0 positive and 3 generalized place invariants in 2 ms returned sat
[2023-03-19 21:38:23] [INFO ] After 279ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :3
[2023-03-19 21:38:23] [INFO ] State equation strengthened by 378 read => feed constraints.
[2023-03-19 21:38:24] [INFO ] After 226ms SMT Verify possible using 378 Read/Feed constraints in natural domain returned unsat :0 sat :3
[2023-03-19 21:38:24] [INFO ] After 416ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :3
Attempting to minimize the solution found.
Minimization took 104 ms.
[2023-03-19 21:38:24] [INFO ] After 986ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :3
Fused 3 Parikh solutions to 2 different solutions.
Parikh walk visited 0 properties in 23 ms.
Support contains 8 out of 248 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Graph (complete) has 1213 edges and 248 vertex of which 177 are kept as prefixes of interest. Removing 71 places using SCC suffix rule.14 ms
Discarding 71 places :
Also discarding 32 output transitions
Drop transitions removed 32 transitions
Drop transitions removed 136 transitions
Ensure Unique test removed 257 transitions
Reduce isomorphic transitions removed 393 transitions.
Iterating post reduction 0 with 393 rules applied. Total rules applied 394 place count 177 transition count 2198
Discarding 17 places :
Symmetric choice reduction at 1 with 17 rule applications. Total rules 411 place count 160 transition count 1675
Iterating global reduction 1 with 17 rules applied. Total rules applied 428 place count 160 transition count 1675
Ensure Unique test removed 230 transitions
Reduce isomorphic transitions removed 230 transitions.
Iterating post reduction 1 with 230 rules applied. Total rules applied 658 place count 160 transition count 1445
Discarding 3 places :
Symmetric choice reduction at 2 with 3 rule applications. Total rules 661 place count 157 transition count 1357
Iterating global reduction 2 with 3 rules applied. Total rules applied 664 place count 157 transition count 1357
Ensure Unique test removed 11 transitions
Reduce isomorphic transitions removed 11 transitions.
Iterating post reduction 2 with 11 rules applied. Total rules applied 675 place count 157 transition count 1346
Drop transitions removed 196 transitions
Redundant transition composition rules discarded 196 transitions
Iterating global reduction 3 with 196 rules applied. Total rules applied 871 place count 157 transition count 1150
Reduce places removed 8 places and 0 transitions.
Drop transitions removed 19 transitions
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 26 transitions.
Graph (complete) has 677 edges and 149 vertex of which 135 are kept as prefixes of interest. Removing 14 places using SCC suffix rule.1 ms
Discarding 14 places :
Also discarding 0 output transitions
Iterating post reduction 3 with 35 rules applied. Total rules applied 906 place count 135 transition count 1124
Drop transitions removed 40 transitions
Ensure Unique test removed 282 transitions
Reduce isomorphic transitions removed 322 transitions.
Iterating post reduction 4 with 322 rules applied. Total rules applied 1228 place count 135 transition count 802
Discarding 7 places :
Symmetric choice reduction at 5 with 7 rule applications. Total rules 1235 place count 128 transition count 715
Iterating global reduction 5 with 7 rules applied. Total rules applied 1242 place count 128 transition count 715
Ensure Unique test removed 17 transitions
Reduce isomorphic transitions removed 17 transitions.
Iterating post reduction 5 with 17 rules applied. Total rules applied 1259 place count 128 transition count 698
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 1260 place count 127 transition count 688
Iterating global reduction 6 with 1 rules applied. Total rules applied 1261 place count 127 transition count 688
Ensure Unique test removed 51 transitions
Reduce isomorphic transitions removed 51 transitions.
Iterating post reduction 6 with 51 rules applied. Total rules applied 1312 place count 127 transition count 637
Drop transitions removed 19 transitions
Redundant transition composition rules discarded 19 transitions
Iterating global reduction 7 with 19 rules applied. Total rules applied 1331 place count 127 transition count 618
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 2 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 7 with 6 rules applied. Total rules applied 1337 place count 125 transition count 614
Free-agglomeration rule applied 3 times.
Iterating global reduction 8 with 3 rules applied. Total rules applied 1340 place count 125 transition count 611
Reduce places removed 3 places and 0 transitions.
Iterating post reduction 8 with 3 rules applied. Total rules applied 1343 place count 122 transition count 611
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 1345 place count 122 transition count 609
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 6 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 9 with 10 rules applied. Total rules applied 1355 place count 120 transition count 601
Discarding 1 places :
Symmetric choice reduction at 10 with 1 rule applications. Total rules 1356 place count 119 transition count 599
Iterating global reduction 10 with 1 rules applied. Total rules applied 1357 place count 119 transition count 599
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 10 with 10 rules applied. Total rules applied 1367 place count 119 transition count 589
Drop transitions removed 10 transitions
Redundant transition composition rules discarded 10 transitions
Iterating global reduction 11 with 10 rules applied. Total rules applied 1377 place count 119 transition count 579
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Graph (complete) has 451 edges and 117 vertex of which 112 are kept as prefixes of interest. Removing 5 places using SCC suffix rule.1 ms
Discarding 5 places :
Also discarding 0 output transitions
Iterating post reduction 11 with 5 rules applied. Total rules applied 1382 place count 112 transition count 577
Drop transitions removed 7 transitions
Ensure Unique test removed 43 transitions
Reduce isomorphic transitions removed 50 transitions.
Iterating post reduction 12 with 50 rules applied. Total rules applied 1432 place count 112 transition count 527
Discarding 2 places :
Symmetric choice reduction at 13 with 2 rule applications. Total rules 1434 place count 110 transition count 519
Iterating global reduction 13 with 2 rules applied. Total rules applied 1436 place count 110 transition count 519
Ensure Unique test removed 5 transitions
Reduce isomorphic transitions removed 5 transitions.
Iterating post reduction 13 with 5 rules applied. Total rules applied 1441 place count 110 transition count 514
Drop transitions removed 35 transitions
Redundant transition composition rules discarded 35 transitions
Iterating global reduction 14 with 35 rules applied. Total rules applied 1476 place count 110 transition count 479
Reduce places removed 6 places and 0 transitions.
Drop transitions removed 9 transitions
Ensure Unique test removed 26 transitions
Reduce isomorphic transitions removed 35 transitions.
Iterating post reduction 14 with 41 rules applied. Total rules applied 1517 place count 104 transition count 444
Drop transitions removed 30 transitions
Redundant transition composition rules discarded 30 transitions
Iterating global reduction 15 with 30 rules applied. Total rules applied 1547 place count 104 transition count 414
Reduce places removed 7 places and 0 transitions.
Drop transitions removed 36 transitions
Ensure Unique test removed 50 transitions
Reduce isomorphic transitions removed 86 transitions.
Iterating post reduction 15 with 93 rules applied. Total rules applied 1640 place count 97 transition count 328
Discarding 1 places :
Symmetric choice reduction at 16 with 1 rule applications. Total rules 1641 place count 96 transition count 325
Iterating global reduction 16 with 1 rules applied. Total rules applied 1642 place count 96 transition count 325
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 16 with 7 rules applied. Total rules applied 1649 place count 96 transition count 318
Drop transitions removed 6 transitions
Redundant transition composition rules discarded 6 transitions
Iterating global reduction 17 with 6 rules applied. Total rules applied 1655 place count 96 transition count 312
Free-agglomeration rule applied 3 times.
Iterating global reduction 17 with 3 rules applied. Total rules applied 1658 place count 96 transition count 309
Reduce places removed 3 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 17 with 5 rules applied. Total rules applied 1663 place count 93 transition count 307
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 18 with 2 rules applied. Total rules applied 1665 place count 93 transition count 305
Reduce places removed 1 places and 1 transitions.
Iterating global reduction 18 with 1 rules applied. Total rules applied 1666 place count 92 transition count 304
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 18 with 1 rules applied. Total rules applied 1667 place count 91 transition count 304
Applied a total of 1667 rules in 400 ms. Remains 91 /248 variables (removed 157) and now considering 304/2623 (removed 2319) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 400 ms. Remains : 91/248 places, 304/2623 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 270 ms. (steps per millisecond=37 ) properties (out of 3) seen :1
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 12 ms. (steps per millisecond=833 ) properties (out of 2) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 13 ms. (steps per millisecond=769 ) properties (out of 2) seen :0
Running SMT prover for 2 properties.
[2023-03-19 21:38:25] [INFO ] Flow matrix only has 193 transitions (discarded 111 similar events)
// Phase 1: matrix 193 rows 91 cols
[2023-03-19 21:38:25] [INFO ] Computed 1 place invariants in 2 ms
[2023-03-19 21:38:25] [INFO ] After 78ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:2
[2023-03-19 21:38:25] [INFO ] [Nat]Absence check using 0 positive and 1 generalized place invariants in 1 ms returned sat
[2023-03-19 21:38:25] [INFO ] After 83ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :2
[2023-03-19 21:38:25] [INFO ] State equation strengthened by 71 read => feed constraints.
[2023-03-19 21:38:25] [INFO ] After 40ms SMT Verify possible using 71 Read/Feed constraints in natural domain returned unsat :0 sat :2
[2023-03-19 21:38:25] [INFO ] After 74ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :2
Attempting to minimize the solution found.
Minimization took 24 ms.
[2023-03-19 21:38:25] [INFO ] After 249ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :2
Parikh walk visited 1 properties in 3 ms.
Support contains 4 out of 91 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 91/91 places, 304/304 transitions.
Graph (complete) has 275 edges and 91 vertex of which 74 are kept as prefixes of interest. Removing 17 places using SCC suffix rule.0 ms
Discarding 17 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Drop transitions removed 38 transitions
Ensure Unique test removed 28 transitions
Reduce isomorphic transitions removed 66 transitions.
Iterating post reduction 0 with 66 rules applied. Total rules applied 67 place count 74 transition count 235
Drop transitions removed 3 transitions
Redundant transition composition rules discarded 3 transitions
Iterating global reduction 1 with 3 rules applied. Total rules applied 70 place count 74 transition count 232
Reduce places removed 2 places and 0 transitions.
Drop transitions removed 1 transitions
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 1 with 5 rules applied. Total rules applied 75 place count 72 transition count 229
Free-agglomeration rule applied 1 times.
Iterating global reduction 2 with 1 rules applied. Total rules applied 76 place count 72 transition count 228
Reduce places removed 1 places and 0 transitions.
Drop transitions removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 2 rules applied. Total rules applied 78 place count 71 transition count 227
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 3 with 1 rules applied. Total rules applied 79 place count 71 transition count 226
Applied a total of 79 rules in 34 ms. Remains 71 /91 variables (removed 20) and now considering 226/304 (removed 78) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 36 ms. Remains : 71/91 places, 226/304 transitions.
Incomplete random walk after 10000 steps, including 2 resets, run finished after 69 ms. (steps per millisecond=144 ) properties (out of 1) seen :0
Incomplete Best-First random walk after 10001 steps, including 2 resets, run finished after 9 ms. (steps per millisecond=1111 ) properties (out of 1) seen :0
Interrupted probabilistic random walk after 2134677 steps, run timeout after 3001 ms. (steps per millisecond=711 ) properties seen :{}
Probabilistic random walk after 2134677 steps, saw 2034575 distinct states, run finished after 3002 ms. (steps per millisecond=711 ) properties seen :0
Running SMT prover for 1 properties.
[2023-03-19 21:38:28] [INFO ] Flow matrix only has 135 transitions (discarded 91 similar events)
// Phase 1: matrix 135 rows 71 cols
[2023-03-19 21:38:28] [INFO ] Computed 0 place invariants in 1 ms
[2023-03-19 21:38:28] [INFO ] After 37ms SMT Verify possible using all constraints in real domain returned unsat :0 sat :0 real:1
[2023-03-19 21:38:28] [INFO ] After 54ms SMT Verify possible using state equation in natural domain returned unsat :0 sat :1
[2023-03-19 21:38:28] [INFO ] State equation strengthened by 53 read => feed constraints.
[2023-03-19 21:38:28] [INFO ] After 20ms SMT Verify possible using 53 Read/Feed constraints in natural domain returned unsat :0 sat :1
[2023-03-19 21:38:28] [INFO ] After 32ms SMT Verify possible using trap constraints in natural domain returned unsat :0 sat :1
Attempting to minimize the solution found.
Minimization took 11 ms.
[2023-03-19 21:38:28] [INFO ] After 137ms SMT Verify possible using all constraints in natural domain returned unsat :0 sat :1
Parikh walk visited 0 properties in 2 ms.
Support contains 4 out of 71 places. Attempting structural reductions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 71/71 places, 226/226 transitions.
Applied a total of 0 rules in 5 ms. Remains 71 /71 variables (removed 0) and now considering 226/226 (removed 0) transitions.
Finished structural reductions in REACHABILITY mode , in 1 iterations and 5 ms. Remains : 71/71 places, 226/226 transitions.
Starting structural reductions in REACHABILITY mode, iteration 0 : 71/71 places, 226/226 transitions.
Applied a total of 0 rules in 7 ms. Remains 71 /71 variables (removed 0) and now considering 226/226 (removed 0) transitions.
[2023-03-19 21:38:28] [INFO ] Flow matrix only has 135 transitions (discarded 91 similar events)
[2023-03-19 21:38:28] [INFO ] Invariant cache hit.
[2023-03-19 21:38:28] [INFO ] Implicit Places using invariants in 90 ms returned []
[2023-03-19 21:38:28] [INFO ] Flow matrix only has 135 transitions (discarded 91 similar events)
[2023-03-19 21:38:28] [INFO ] Invariant cache hit.
[2023-03-19 21:38:29] [INFO ] State equation strengthened by 53 read => feed constraints.
[2023-03-19 21:38:29] [INFO ] Implicit Places using invariants and state equation in 255 ms returned []
Implicit Place search using SMT with State Equation took 365 ms to find 0 implicit places.
[2023-03-19 21:38:29] [INFO ] Redundant transitions in 354 ms returned [14, 15, 27, 30, 31, 32, 35, 36, 42, 49, 52, 54, 57, 58, 64, 69, 74, 76, 77, 90, 91, 93, 95, 98, 99, 100, 101, 108, 110, 112, 113, 115, 116, 117, 118, 122, 126, 127, 128, 129, 130, 131, 132, 133]
Found 44 redundant transitions using SMT.
Drop transitions removed 44 transitions
Redundant transitions reduction (with SMT) removed 44 transitions.
[2023-03-19 21:38:29] [INFO ] Flow matrix only has 102 transitions (discarded 80 similar events)
// Phase 1: matrix 102 rows 71 cols
[2023-03-19 21:38:29] [INFO ] Computed 0 place invariants in 2 ms
[2023-03-19 21:38:29] [INFO ] Dead Transitions using invariants and state equation in 117 ms found 0 transitions.
Starting structural reductions in REACHABILITY mode, iteration 1 : 71/71 places, 182/226 transitions.
Graph (complete) has 166 edges and 71 vertex of which 63 are kept as prefixes of interest. Removing 8 places using SCC suffix rule.0 ms
Discarding 8 places :
Also discarding 0 output transitions
Drop transitions removed 11 transitions
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 14 transitions.
Iterating post reduction 0 with 14 rules applied. Total rules applied 15 place count 63 transition count 168
Discarding 2 places :
Symmetric choice reduction at 1 with 2 rule applications. Total rules 17 place count 61 transition count 159
Iterating global reduction 1 with 2 rules applied. Total rules applied 19 place count 61 transition count 159
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 1 with 1 rules applied. Total rules applied 20 place count 61 transition count 158
Discarding 1 places :
Symmetric choice reduction at 2 with 1 rule applications. Total rules 21 place count 60 transition count 152
Iterating global reduction 2 with 1 rules applied. Total rules applied 22 place count 60 transition count 152
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 23 place count 60 transition count 151
Free-agglomeration rule applied 3 times.
Iterating global reduction 3 with 3 rules applied. Total rules applied 26 place count 60 transition count 148
Reduce places removed 3 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 30 place count 57 transition count 147
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 4 with 1 rules applied. Total rules applied 31 place count 57 transition count 146
Applied a total of 31 rules in 29 ms. Remains 57 /71 variables (removed 14) and now considering 146/182 (removed 36) transitions.
[2023-03-19 21:38:29] [INFO ] Flow matrix only has 80 transitions (discarded 66 similar events)
// Phase 1: matrix 80 rows 57 cols
[2023-03-19 21:38:29] [INFO ] Computed 0 place invariants in 2 ms
[2023-03-19 21:38:29] [INFO ] Implicit Places using invariants in 68 ms returned []
[2023-03-19 21:38:29] [INFO ] Flow matrix only has 80 transitions (discarded 66 similar events)
[2023-03-19 21:38:29] [INFO ] Invariant cache hit.
[2023-03-19 21:38:29] [INFO ] State equation strengthened by 33 read => feed constraints.
[2023-03-19 21:38:29] [INFO ] Implicit Places using invariants and state equation in 133 ms returned []
Implicit Place search using SMT with State Equation took 205 ms to find 0 implicit places.
Starting structural reductions in REACHABILITY mode, iteration 2 : 57/71 places, 146/226 transitions.
Finished structural reductions in REACHABILITY mode , in 2 iterations and 1088 ms. Remains : 57/71 places, 146/226 transitions.
Finished random walk after 1048 steps, including 0 resets, run visited all 1 properties in 6 ms. (steps per millisecond=174 )
[2023-03-19 21:38:29] [INFO ] Flatten gal took : 134 ms
[2023-03-19 21:38:30] [INFO ] Flatten gal took : 132 ms
[2023-03-19 21:38:30] [INFO ] Input system was already deterministic with 2623 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 31 places and 0 transitions.
Ensure Unique test removed 298 transitions
Reduce isomorphic transitions removed 298 transitions.
Iterating post reduction 0 with 329 rules applied. Total rules applied 329 place count 217 transition count 2325
Discarding 25 places :
Symmetric choice reduction at 1 with 25 rule applications. Total rules 354 place count 192 transition count 1776
Iterating global reduction 1 with 25 rules applied. Total rules applied 379 place count 192 transition count 1776
Ensure Unique test removed 161 transitions
Reduce isomorphic transitions removed 161 transitions.
Iterating post reduction 1 with 161 rules applied. Total rules applied 540 place count 192 transition count 1615
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 545 place count 187 transition count 1607
Iterating global reduction 2 with 5 rules applied. Total rules applied 550 place count 187 transition count 1607
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 2 with 1 rules applied. Total rules applied 551 place count 187 transition count 1606
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 554 place count 184 transition count 1603
Iterating global reduction 3 with 3 rules applied. Total rules applied 557 place count 184 transition count 1603
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 560 place count 184 transition count 1600
Drop transitions removed 127 transitions
Redundant transition composition rules discarded 127 transitions
Iterating global reduction 4 with 127 rules applied. Total rules applied 687 place count 184 transition count 1473
Reduce places removed 12 places and 0 transitions.
Ensure Unique test removed 56 transitions
Reduce isomorphic transitions removed 56 transitions.
Iterating post reduction 4 with 68 rules applied. Total rules applied 755 place count 172 transition count 1417
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 761 place count 166 transition count 1192
Iterating global reduction 5 with 6 rules applied. Total rules applied 767 place count 166 transition count 1192
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 822 place count 166 transition count 1137
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 823 place count 165 transition count 1065
Iterating global reduction 6 with 1 rules applied. Total rules applied 824 place count 165 transition count 1065
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 825 place count 165 transition count 1064
Drop transitions removed 53 transitions
Redundant transition composition rules discarded 53 transitions
Iterating global reduction 7 with 53 rules applied. Total rules applied 878 place count 165 transition count 1011
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 901 place count 161 transition count 992
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 902 place count 160 transition count 985
Iterating global reduction 8 with 1 rules applied. Total rules applied 903 place count 160 transition count 985
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 904 place count 160 transition count 984
Applied a total of 904 rules in 68 ms. Remains 160 /248 variables (removed 88) and now considering 984/2623 (removed 1639) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 68 ms. Remains : 160/248 places, 984/2623 transitions.
[2023-03-19 21:38:30] [INFO ] Flatten gal took : 32 ms
[2023-03-19 21:38:30] [INFO ] Flatten gal took : 35 ms
[2023-03-19 21:38:30] [INFO ] Input system was already deterministic with 984 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 33 places and 0 transitions.
Ensure Unique test removed 301 transitions
Reduce isomorphic transitions removed 301 transitions.
Iterating post reduction 0 with 334 rules applied. Total rules applied 334 place count 215 transition count 2322
Discarding 26 places :
Symmetric choice reduction at 1 with 26 rule applications. Total rules 360 place count 189 transition count 1765
Iterating global reduction 1 with 26 rules applied. Total rules applied 386 place count 189 transition count 1765
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 1 with 170 rules applied. Total rules applied 556 place count 189 transition count 1595
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 562 place count 183 transition count 1575
Iterating global reduction 2 with 6 rules applied. Total rules applied 568 place count 183 transition count 1575
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 578 place count 183 transition count 1565
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 580 place count 181 transition count 1563
Iterating global reduction 3 with 2 rules applied. Total rules applied 582 place count 181 transition count 1563
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 584 place count 181 transition count 1561
Drop transitions removed 123 transitions
Redundant transition composition rules discarded 123 transitions
Iterating global reduction 4 with 123 rules applied. Total rules applied 707 place count 181 transition count 1438
Reduce places removed 11 places and 0 transitions.
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 4 with 66 rules applied. Total rules applied 773 place count 170 transition count 1383
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 779 place count 164 transition count 1158
Iterating global reduction 5 with 6 rules applied. Total rules applied 785 place count 164 transition count 1158
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 840 place count 164 transition count 1103
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 841 place count 163 transition count 1031
Iterating global reduction 6 with 1 rules applied. Total rules applied 842 place count 163 transition count 1031
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 843 place count 163 transition count 1030
Drop transitions removed 53 transitions
Redundant transition composition rules discarded 53 transitions
Iterating global reduction 7 with 53 rules applied. Total rules applied 896 place count 163 transition count 977
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 919 place count 159 transition count 958
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 920 place count 158 transition count 951
Iterating global reduction 8 with 1 rules applied. Total rules applied 921 place count 158 transition count 951
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 922 place count 158 transition count 950
Applied a total of 922 rules in 65 ms. Remains 158 /248 variables (removed 90) and now considering 950/2623 (removed 1673) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 66 ms. Remains : 158/248 places, 950/2623 transitions.
[2023-03-19 21:38:30] [INFO ] Flatten gal took : 31 ms
[2023-03-19 21:38:30] [INFO ] Flatten gal took : 32 ms
[2023-03-19 21:38:30] [INFO ] Input system was already deterministic with 950 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 32 places and 0 transitions.
Ensure Unique test removed 251 transitions
Reduce isomorphic transitions removed 251 transitions.
Iterating post reduction 0 with 283 rules applied. Total rules applied 283 place count 216 transition count 2372
Discarding 26 places :
Symmetric choice reduction at 1 with 26 rule applications. Total rules 309 place count 190 transition count 1791
Iterating global reduction 1 with 26 rules applied. Total rules applied 335 place count 190 transition count 1791
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 1 with 170 rules applied. Total rules applied 505 place count 190 transition count 1621
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 512 place count 183 transition count 1600
Iterating global reduction 2 with 7 rules applied. Total rules applied 519 place count 183 transition count 1600
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 529 place count 183 transition count 1590
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 533 place count 179 transition count 1586
Iterating global reduction 3 with 4 rules applied. Total rules applied 537 place count 179 transition count 1586
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 541 place count 179 transition count 1582
Drop transitions removed 127 transitions
Redundant transition composition rules discarded 127 transitions
Iterating global reduction 4 with 127 rules applied. Total rules applied 668 place count 179 transition count 1455
Reduce places removed 12 places and 0 transitions.
Ensure Unique test removed 69 transitions
Reduce isomorphic transitions removed 69 transitions.
Iterating post reduction 4 with 81 rules applied. Total rules applied 749 place count 167 transition count 1386
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 755 place count 161 transition count 1161
Iterating global reduction 5 with 6 rules applied. Total rules applied 761 place count 161 transition count 1161
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 816 place count 161 transition count 1106
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 817 place count 160 transition count 1034
Iterating global reduction 6 with 1 rules applied. Total rules applied 818 place count 160 transition count 1034
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 819 place count 160 transition count 1033
Drop transitions removed 57 transitions
Redundant transition composition rules discarded 57 transitions
Iterating global reduction 7 with 57 rules applied. Total rules applied 876 place count 160 transition count 976
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 899 place count 156 transition count 957
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 900 place count 155 transition count 950
Iterating global reduction 8 with 1 rules applied. Total rules applied 901 place count 155 transition count 950
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 902 place count 155 transition count 949
Applied a total of 902 rules in 67 ms. Remains 155 /248 variables (removed 93) and now considering 949/2623 (removed 1674) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 69 ms. Remains : 155/248 places, 949/2623 transitions.
[2023-03-19 21:38:31] [INFO ] Flatten gal took : 29 ms
[2023-03-19 21:38:31] [INFO ] Flatten gal took : 31 ms
[2023-03-19 21:38:31] [INFO ] Input system was already deterministic with 949 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Graph (complete) has 2501 edges and 248 vertex of which 211 are kept as prefixes of interest. Removing 37 places using SCC suffix rule.12 ms
Discarding 37 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 2 places
Ensure Unique test removed 301 transitions
Reduce isomorphic transitions removed 301 transitions.
Iterating post reduction 0 with 301 rules applied. Total rules applied 302 place count 209 transition count 2319
Discarding 27 places :
Symmetric choice reduction at 1 with 27 rule applications. Total rules 329 place count 182 transition count 1761
Iterating global reduction 1 with 27 rules applied. Total rules applied 356 place count 182 transition count 1761
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 1 with 170 rules applied. Total rules applied 526 place count 182 transition count 1591
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 535 place count 173 transition count 1568
Iterating global reduction 2 with 9 rules applied. Total rules applied 544 place count 173 transition count 1568
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 554 place count 173 transition count 1558
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 562 place count 165 transition count 1550
Iterating global reduction 3 with 8 rules applied. Total rules applied 570 place count 165 transition count 1550
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 578 place count 165 transition count 1542
Drop transitions removed 164 transitions
Redundant transition composition rules discarded 164 transitions
Iterating global reduction 4 with 164 rules applied. Total rules applied 742 place count 165 transition count 1378
Reduce places removed 13 places and 0 transitions.
Ensure Unique test removed 48 transitions
Reduce isomorphic transitions removed 48 transitions.
Graph (complete) has 1493 edges and 152 vertex of which 151 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.5 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 4 with 62 rules applied. Total rules applied 804 place count 151 transition count 1329
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 810 place count 145 transition count 1104
Iterating global reduction 5 with 6 rules applied. Total rules applied 816 place count 145 transition count 1104
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 871 place count 145 transition count 1049
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 872 place count 144 transition count 977
Iterating global reduction 6 with 1 rules applied. Total rules applied 873 place count 144 transition count 977
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 874 place count 144 transition count 976
Drop transitions removed 54 transitions
Redundant transition composition rules discarded 54 transitions
Iterating global reduction 7 with 54 rules applied. Total rules applied 928 place count 144 transition count 922
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 24 rules applied. Total rules applied 952 place count 139 transition count 903
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 954 place count 137 transition count 895
Iterating global reduction 8 with 2 rules applied. Total rules applied 956 place count 137 transition count 895
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 8 with 2 rules applied. Total rules applied 958 place count 137 transition count 893
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 959 place count 137 transition count 892
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 960 place count 136 transition count 892
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 961 place count 136 transition count 891
Applied a total of 961 rules in 418 ms. Remains 136 /248 variables (removed 112) and now considering 891/2623 (removed 1732) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 419 ms. Remains : 136/248 places, 891/2623 transitions.
[2023-03-19 21:38:31] [INFO ] Flatten gal took : 24 ms
[2023-03-19 21:38:31] [INFO ] Flatten gal took : 27 ms
[2023-03-19 21:38:31] [INFO ] Input system was already deterministic with 891 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 28 places and 0 transitions.
Ensure Unique test removed 246 transitions
Reduce isomorphic transitions removed 246 transitions.
Iterating post reduction 0 with 274 rules applied. Total rules applied 274 place count 220 transition count 2377
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 295 place count 199 transition count 1859
Iterating global reduction 1 with 21 rules applied. Total rules applied 316 place count 199 transition count 1859
Ensure Unique test removed 157 transitions
Reduce isomorphic transitions removed 157 transitions.
Iterating post reduction 1 with 157 rules applied. Total rules applied 473 place count 199 transition count 1702
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 479 place count 193 transition count 1682
Iterating global reduction 2 with 6 rules applied. Total rules applied 485 place count 193 transition count 1682
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 495 place count 193 transition count 1672
Discarding 3 places :
Symmetric choice reduction at 3 with 3 rule applications. Total rules 498 place count 190 transition count 1669
Iterating global reduction 3 with 3 rules applied. Total rules applied 501 place count 190 transition count 1669
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 3 with 3 rules applied. Total rules applied 504 place count 190 transition count 1666
Drop transitions removed 128 transitions
Redundant transition composition rules discarded 128 transitions
Iterating global reduction 4 with 128 rules applied. Total rules applied 632 place count 190 transition count 1538
Reduce places removed 12 places and 0 transitions.
Ensure Unique test removed 100 transitions
Reduce isomorphic transitions removed 100 transitions.
Iterating post reduction 4 with 112 rules applied. Total rules applied 744 place count 178 transition count 1438
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 749 place count 173 transition count 1309
Iterating global reduction 5 with 5 rules applied. Total rules applied 754 place count 173 transition count 1309
Ensure Unique test removed 79 transitions
Reduce isomorphic transitions removed 79 transitions.
Iterating post reduction 5 with 79 rules applied. Total rules applied 833 place count 173 transition count 1230
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 834 place count 172 transition count 1158
Iterating global reduction 6 with 1 rules applied. Total rules applied 835 place count 172 transition count 1158
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 836 place count 172 transition count 1157
Drop transitions removed 65 transitions
Redundant transition composition rules discarded 65 transitions
Iterating global reduction 7 with 65 rules applied. Total rules applied 901 place count 172 transition count 1092
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 924 place count 168 transition count 1073
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 925 place count 167 transition count 1066
Iterating global reduction 8 with 1 rules applied. Total rules applied 926 place count 167 transition count 1066
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 927 place count 167 transition count 1065
Applied a total of 927 rules in 65 ms. Remains 167 /248 variables (removed 81) and now considering 1065/2623 (removed 1558) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 65 ms. Remains : 167/248 places, 1065/2623 transitions.
[2023-03-19 21:38:31] [INFO ] Flatten gal took : 30 ms
[2023-03-19 21:38:31] [INFO ] Flatten gal took : 35 ms
[2023-03-19 21:38:31] [INFO ] Input system was already deterministic with 1065 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Graph (complete) has 2501 edges and 248 vertex of which 211 are kept as prefixes of interest. Removing 37 places using SCC suffix rule.6 ms
Discarding 37 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 2 places
Reduce places removed 3 places and 1 transitions.
Ensure Unique test removed 301 transitions
Reduce isomorphic transitions removed 301 transitions.
Iterating post reduction 0 with 301 rules applied. Total rules applied 302 place count 208 transition count 2318
Discarding 27 places :
Symmetric choice reduction at 1 with 27 rule applications. Total rules 329 place count 181 transition count 1760
Iterating global reduction 1 with 27 rules applied. Total rules applied 356 place count 181 transition count 1760
Ensure Unique test removed 170 transitions
Reduce isomorphic transitions removed 170 transitions.
Iterating post reduction 1 with 170 rules applied. Total rules applied 526 place count 181 transition count 1590
Discarding 9 places :
Symmetric choice reduction at 2 with 9 rule applications. Total rules 535 place count 172 transition count 1567
Iterating global reduction 2 with 9 rules applied. Total rules applied 544 place count 172 transition count 1567
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 554 place count 172 transition count 1557
Discarding 8 places :
Symmetric choice reduction at 3 with 8 rule applications. Total rules 562 place count 164 transition count 1549
Iterating global reduction 3 with 8 rules applied. Total rules applied 570 place count 164 transition count 1549
Ensure Unique test removed 8 transitions
Reduce isomorphic transitions removed 8 transitions.
Iterating post reduction 3 with 8 rules applied. Total rules applied 578 place count 164 transition count 1541
Drop transitions removed 164 transitions
Redundant transition composition rules discarded 164 transitions
Iterating global reduction 4 with 164 rules applied. Total rules applied 742 place count 164 transition count 1377
Reduce places removed 13 places and 0 transitions.
Ensure Unique test removed 48 transitions
Reduce isomorphic transitions removed 48 transitions.
Graph (complete) has 1492 edges and 151 vertex of which 150 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.2 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 4 with 62 rules applied. Total rules applied 804 place count 150 transition count 1328
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 810 place count 144 transition count 1103
Iterating global reduction 5 with 6 rules applied. Total rules applied 816 place count 144 transition count 1103
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 871 place count 144 transition count 1048
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 872 place count 143 transition count 976
Iterating global reduction 6 with 1 rules applied. Total rules applied 873 place count 143 transition count 976
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 874 place count 143 transition count 975
Drop transitions removed 54 transitions
Redundant transition composition rules discarded 54 transitions
Iterating global reduction 7 with 54 rules applied. Total rules applied 928 place count 143 transition count 921
Reduce places removed 5 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 24 rules applied. Total rules applied 952 place count 138 transition count 902
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 954 place count 136 transition count 894
Iterating global reduction 8 with 2 rules applied. Total rules applied 956 place count 136 transition count 894
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 8 with 2 rules applied. Total rules applied 958 place count 136 transition count 892
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 959 place count 136 transition count 891
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 960 place count 135 transition count 891
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 961 place count 135 transition count 890
Applied a total of 961 rules in 283 ms. Remains 135 /248 variables (removed 113) and now considering 890/2623 (removed 1733) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 284 ms. Remains : 135/248 places, 890/2623 transitions.
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 21 ms
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 23 ms
[2023-03-19 21:38:32] [INFO ] Input system was already deterministic with 890 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 25 places and 0 transitions.
Ensure Unique test removed 204 transitions
Reduce isomorphic transitions removed 204 transitions.
Iterating post reduction 0 with 229 rules applied. Total rules applied 229 place count 223 transition count 2419
Discarding 20 places :
Symmetric choice reduction at 1 with 20 rule applications. Total rules 249 place count 203 transition count 1852
Iterating global reduction 1 with 20 rules applied. Total rules applied 269 place count 203 transition count 1852
Ensure Unique test removed 124 transitions
Reduce isomorphic transitions removed 124 transitions.
Iterating post reduction 1 with 124 rules applied. Total rules applied 393 place count 203 transition count 1728
Discarding 5 places :
Symmetric choice reduction at 2 with 5 rule applications. Total rules 398 place count 198 transition count 1712
Iterating global reduction 2 with 5 rules applied. Total rules applied 403 place count 198 transition count 1712
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 412 place count 198 transition count 1703
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 414 place count 196 transition count 1701
Iterating global reduction 3 with 2 rules applied. Total rules applied 416 place count 196 transition count 1701
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 418 place count 196 transition count 1699
Drop transitions removed 109 transitions
Redundant transition composition rules discarded 109 transitions
Iterating global reduction 4 with 109 rules applied. Total rules applied 527 place count 196 transition count 1590
Reduce places removed 12 places and 0 transitions.
Ensure Unique test removed 72 transitions
Reduce isomorphic transitions removed 72 transitions.
Iterating post reduction 4 with 84 rules applied. Total rules applied 611 place count 184 transition count 1518
Discarding 3 places :
Symmetric choice reduction at 5 with 3 rule applications. Total rules 614 place count 181 transition count 1480
Iterating global reduction 5 with 3 rules applied. Total rules applied 617 place count 181 transition count 1480
Ensure Unique test removed 99 transitions
Reduce isomorphic transitions removed 99 transitions.
Iterating post reduction 5 with 99 rules applied. Total rules applied 716 place count 181 transition count 1381
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 717 place count 180 transition count 1309
Iterating global reduction 6 with 1 rules applied. Total rules applied 718 place count 180 transition count 1309
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 719 place count 180 transition count 1308
Drop transitions removed 67 transitions
Redundant transition composition rules discarded 67 transitions
Iterating global reduction 7 with 67 rules applied. Total rules applied 786 place count 180 transition count 1241
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 788 place count 179 transition count 1240
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 790 place count 177 transition count 1226
Iterating global reduction 8 with 2 rules applied. Total rules applied 792 place count 177 transition count 1226
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 8 with 2 rules applied. Total rules applied 794 place count 177 transition count 1224
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 795 place count 177 transition count 1223
Applied a total of 795 rules in 73 ms. Remains 177 /248 variables (removed 71) and now considering 1223/2623 (removed 1400) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 73 ms. Remains : 177/248 places, 1223/2623 transitions.
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 29 ms
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 31 ms
[2023-03-19 21:38:32] [INFO ] Input system was already deterministic with 1223 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 31 places and 0 transitions.
Ensure Unique test removed 279 transitions
Reduce isomorphic transitions removed 279 transitions.
Iterating post reduction 0 with 310 rules applied. Total rules applied 310 place count 217 transition count 2344
Discarding 21 places :
Symmetric choice reduction at 1 with 21 rule applications. Total rules 331 place count 196 transition count 1904
Iterating global reduction 1 with 21 rules applied. Total rules applied 352 place count 196 transition count 1904
Ensure Unique test removed 130 transitions
Reduce isomorphic transitions removed 130 transitions.
Iterating post reduction 1 with 130 rules applied. Total rules applied 482 place count 196 transition count 1774
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 488 place count 190 transition count 1754
Iterating global reduction 2 with 6 rules applied. Total rules applied 494 place count 190 transition count 1754
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 504 place count 190 transition count 1744
Discarding 2 places :
Symmetric choice reduction at 3 with 2 rule applications. Total rules 506 place count 188 transition count 1742
Iterating global reduction 3 with 2 rules applied. Total rules applied 508 place count 188 transition count 1742
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 3 with 2 rules applied. Total rules applied 510 place count 188 transition count 1740
Drop transitions removed 149 transitions
Redundant transition composition rules discarded 149 transitions
Iterating global reduction 4 with 149 rules applied. Total rules applied 659 place count 188 transition count 1591
Reduce places removed 11 places and 0 transitions.
Ensure Unique test removed 53 transitions
Reduce isomorphic transitions removed 53 transitions.
Iterating post reduction 4 with 64 rules applied. Total rules applied 723 place count 177 transition count 1538
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 729 place count 171 transition count 1303
Iterating global reduction 5 with 6 rules applied. Total rules applied 735 place count 171 transition count 1303
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 790 place count 171 transition count 1248
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 791 place count 170 transition count 1176
Iterating global reduction 6 with 1 rules applied. Total rules applied 792 place count 170 transition count 1176
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 793 place count 170 transition count 1175
Drop transitions removed 53 transitions
Redundant transition composition rules discarded 53 transitions
Iterating global reduction 7 with 53 rules applied. Total rules applied 846 place count 170 transition count 1122
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 869 place count 166 transition count 1103
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 870 place count 165 transition count 1096
Iterating global reduction 8 with 1 rules applied. Total rules applied 871 place count 165 transition count 1096
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 872 place count 165 transition count 1095
Applied a total of 872 rules in 62 ms. Remains 165 /248 variables (removed 83) and now considering 1095/2623 (removed 1528) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 66 ms. Remains : 165/248 places, 1095/2623 transitions.
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 26 ms
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 30 ms
[2023-03-19 21:38:32] [INFO ] Input system was already deterministic with 1095 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 29 places and 0 transitions.
Ensure Unique test removed 216 transitions
Reduce isomorphic transitions removed 216 transitions.
Iterating post reduction 0 with 245 rules applied. Total rules applied 245 place count 219 transition count 2407
Discarding 23 places :
Symmetric choice reduction at 1 with 23 rule applications. Total rules 268 place count 196 transition count 1962
Iterating global reduction 1 with 23 rules applied. Total rules applied 291 place count 196 transition count 1962
Ensure Unique test removed 123 transitions
Reduce isomorphic transitions removed 123 transitions.
Iterating post reduction 1 with 123 rules applied. Total rules applied 414 place count 196 transition count 1839
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 420 place count 190 transition count 1822
Iterating global reduction 2 with 6 rules applied. Total rules applied 426 place count 190 transition count 1822
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 435 place count 190 transition count 1813
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 439 place count 186 transition count 1809
Iterating global reduction 3 with 4 rules applied. Total rules applied 443 place count 186 transition count 1809
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 447 place count 186 transition count 1805
Drop transitions removed 132 transitions
Redundant transition composition rules discarded 132 transitions
Iterating global reduction 4 with 132 rules applied. Total rules applied 579 place count 186 transition count 1673
Reduce places removed 9 places and 0 transitions.
Ensure Unique test removed 45 transitions
Reduce isomorphic transitions removed 45 transitions.
Iterating post reduction 4 with 54 rules applied. Total rules applied 633 place count 177 transition count 1628
Discarding 2 places :
Symmetric choice reduction at 5 with 2 rule applications. Total rules 635 place count 175 transition count 1622
Iterating global reduction 5 with 2 rules applied. Total rules applied 637 place count 175 transition count 1622
Ensure Unique test removed 98 transitions
Reduce isomorphic transitions removed 98 transitions.
Iterating post reduction 5 with 98 rules applied. Total rules applied 735 place count 175 transition count 1524
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 736 place count 174 transition count 1452
Iterating global reduction 6 with 1 rules applied. Total rules applied 737 place count 174 transition count 1452
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 6 with 2 rules applied. Total rules applied 739 place count 174 transition count 1450
Drop transitions removed 48 transitions
Redundant transition composition rules discarded 48 transitions
Iterating global reduction 7 with 48 rules applied. Total rules applied 787 place count 174 transition count 1402
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 789 place count 173 transition count 1401
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 790 place count 172 transition count 1392
Iterating global reduction 8 with 1 rules applied. Total rules applied 791 place count 172 transition count 1392
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 792 place count 172 transition count 1391
Applied a total of 792 rules in 67 ms. Remains 172 /248 variables (removed 76) and now considering 1391/2623 (removed 1232) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 68 ms. Remains : 172/248 places, 1391/2623 transitions.
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 33 ms
[2023-03-19 21:38:32] [INFO ] Flatten gal took : 38 ms
[2023-03-19 21:38:33] [INFO ] Input system was already deterministic with 1391 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 32 places and 0 transitions.
Ensure Unique test removed 300 transitions
Reduce isomorphic transitions removed 300 transitions.
Iterating post reduction 0 with 332 rules applied. Total rules applied 332 place count 216 transition count 2323
Discarding 25 places :
Symmetric choice reduction at 1 with 25 rule applications. Total rules 357 place count 191 transition count 1774
Iterating global reduction 1 with 25 rules applied. Total rules applied 382 place count 191 transition count 1774
Ensure Unique test removed 158 transitions
Reduce isomorphic transitions removed 158 transitions.
Iterating post reduction 1 with 158 rules applied. Total rules applied 540 place count 191 transition count 1616
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 547 place count 184 transition count 1591
Iterating global reduction 2 with 7 rules applied. Total rules applied 554 place count 184 transition count 1591
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 564 place count 184 transition count 1581
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 568 place count 180 transition count 1577
Iterating global reduction 3 with 4 rules applied. Total rules applied 572 place count 180 transition count 1577
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 576 place count 180 transition count 1573
Drop transitions removed 119 transitions
Redundant transition composition rules discarded 119 transitions
Iterating global reduction 4 with 119 rules applied. Total rules applied 695 place count 180 transition count 1454
Reduce places removed 12 places and 0 transitions.
Ensure Unique test removed 56 transitions
Reduce isomorphic transitions removed 56 transitions.
Iterating post reduction 4 with 68 rules applied. Total rules applied 763 place count 168 transition count 1398
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 769 place count 162 transition count 1173
Iterating global reduction 5 with 6 rules applied. Total rules applied 775 place count 162 transition count 1173
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 830 place count 162 transition count 1118
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 831 place count 161 transition count 1046
Iterating global reduction 6 with 1 rules applied. Total rules applied 832 place count 161 transition count 1046
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 833 place count 161 transition count 1045
Drop transitions removed 53 transitions
Redundant transition composition rules discarded 53 transitions
Iterating global reduction 7 with 53 rules applied. Total rules applied 886 place count 161 transition count 992
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 909 place count 157 transition count 973
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 910 place count 156 transition count 964
Iterating global reduction 8 with 1 rules applied. Total rules applied 911 place count 156 transition count 964
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 912 place count 156 transition count 963
Applied a total of 912 rules in 55 ms. Remains 156 /248 variables (removed 92) and now considering 963/2623 (removed 1660) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 56 ms. Remains : 156/248 places, 963/2623 transitions.
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 22 ms
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 27 ms
[2023-03-19 21:38:33] [INFO ] Input system was already deterministic with 963 transitions.
Starting structural reductions in SI_CTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Graph (complete) has 2501 edges and 248 vertex of which 213 are kept as prefixes of interest. Removing 35 places using SCC suffix rule.4 ms
Discarding 35 places :
Also discarding 3 output transitions
Drop transitions removed 3 transitions
Ensure Unique test removed 2 places
Reduce places removed 3 places and 1 transitions.
Ensure Unique test removed 287 transitions
Reduce isomorphic transitions removed 287 transitions.
Iterating post reduction 0 with 287 rules applied. Total rules applied 288 place count 210 transition count 2332
Discarding 25 places :
Symmetric choice reduction at 1 with 25 rule applications. Total rules 313 place count 185 transition count 1772
Iterating global reduction 1 with 25 rules applied. Total rules applied 338 place count 185 transition count 1772
Ensure Unique test removed 163 transitions
Reduce isomorphic transitions removed 163 transitions.
Iterating post reduction 1 with 163 rules applied. Total rules applied 501 place count 185 transition count 1609
Discarding 8 places :
Symmetric choice reduction at 2 with 8 rule applications. Total rules 509 place count 177 transition count 1587
Iterating global reduction 2 with 8 rules applied. Total rules applied 517 place count 177 transition count 1587
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 527 place count 177 transition count 1577
Discarding 7 places :
Symmetric choice reduction at 3 with 7 rule applications. Total rules 534 place count 170 transition count 1570
Iterating global reduction 3 with 7 rules applied. Total rules applied 541 place count 170 transition count 1570
Ensure Unique test removed 7 transitions
Reduce isomorphic transitions removed 7 transitions.
Iterating post reduction 3 with 7 rules applied. Total rules applied 548 place count 170 transition count 1563
Drop transitions removed 149 transitions
Redundant transition composition rules discarded 149 transitions
Iterating global reduction 4 with 149 rules applied. Total rules applied 697 place count 170 transition count 1414
Reduce places removed 10 places and 0 transitions.
Ensure Unique test removed 44 transitions
Reduce isomorphic transitions removed 44 transitions.
Graph (complete) has 1587 edges and 160 vertex of which 159 are kept as prefixes of interest. Removing 1 places using SCC suffix rule.2 ms
Discarding 1 places :
Also discarding 1 output transitions
Drop transitions removed 1 transitions
Iterating post reduction 4 with 55 rules applied. Total rules applied 752 place count 159 transition count 1369
Discarding 5 places :
Symmetric choice reduction at 5 with 5 rule applications. Total rules 757 place count 154 transition count 1164
Iterating global reduction 5 with 5 rules applied. Total rules applied 762 place count 154 transition count 1164
Ensure Unique test removed 54 transitions
Reduce isomorphic transitions removed 54 transitions.
Iterating post reduction 5 with 54 rules applied. Total rules applied 816 place count 154 transition count 1110
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 817 place count 153 transition count 1038
Iterating global reduction 6 with 1 rules applied. Total rules applied 818 place count 153 transition count 1038
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 819 place count 153 transition count 1037
Drop transitions removed 49 transitions
Redundant transition composition rules discarded 49 transitions
Iterating global reduction 7 with 49 rules applied. Total rules applied 868 place count 153 transition count 988
Reduce places removed 2 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 3 rules applied. Total rules applied 871 place count 151 transition count 987
Discarding 2 places :
Symmetric choice reduction at 8 with 2 rule applications. Total rules 873 place count 149 transition count 977
Iterating global reduction 8 with 2 rules applied. Total rules applied 875 place count 149 transition count 977
Ensure Unique test removed 2 transitions
Reduce isomorphic transitions removed 2 transitions.
Iterating post reduction 8 with 2 rules applied. Total rules applied 877 place count 149 transition count 975
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 9 with 1 rules applied. Total rules applied 878 place count 149 transition count 974
Reduce places removed 1 places and 0 transitions.
Iterating post reduction 9 with 1 rules applied. Total rules applied 879 place count 148 transition count 974
Drop transitions removed 1 transitions
Redundant transition composition rules discarded 1 transitions
Iterating global reduction 10 with 1 rules applied. Total rules applied 880 place count 148 transition count 973
Applied a total of 880 rules in 287 ms. Remains 148 /248 variables (removed 100) and now considering 973/2623 (removed 1650) transitions.
Finished structural reductions in SI_CTL mode , in 1 iterations and 287 ms. Remains : 148/248 places, 973/2623 transitions.
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 21 ms
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 24 ms
[2023-03-19 21:38:33] [INFO ] Input system was already deterministic with 973 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 32 places and 0 transitions.
Ensure Unique test removed 283 transitions
Reduce isomorphic transitions removed 283 transitions.
Iterating post reduction 0 with 315 rules applied. Total rules applied 315 place count 216 transition count 2340
Discarding 26 places :
Symmetric choice reduction at 1 with 26 rule applications. Total rules 341 place count 190 transition count 1783
Iterating global reduction 1 with 26 rules applied. Total rules applied 367 place count 190 transition count 1783
Ensure Unique test removed 172 transitions
Reduce isomorphic transitions removed 172 transitions.
Iterating post reduction 1 with 172 rules applied. Total rules applied 539 place count 190 transition count 1611
Discarding 7 places :
Symmetric choice reduction at 2 with 7 rule applications. Total rules 546 place count 183 transition count 1590
Iterating global reduction 2 with 7 rules applied. Total rules applied 553 place count 183 transition count 1590
Ensure Unique test removed 10 transitions
Reduce isomorphic transitions removed 10 transitions.
Iterating post reduction 2 with 10 rules applied. Total rules applied 563 place count 183 transition count 1580
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 567 place count 179 transition count 1576
Iterating global reduction 3 with 4 rules applied. Total rules applied 571 place count 179 transition count 1576
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 575 place count 179 transition count 1572
Drop transitions removed 123 transitions
Redundant transition composition rules discarded 123 transitions
Iterating global reduction 4 with 123 rules applied. Total rules applied 698 place count 179 transition count 1449
Reduce places removed 11 places and 0 transitions.
Ensure Unique test removed 53 transitions
Reduce isomorphic transitions removed 53 transitions.
Iterating post reduction 4 with 64 rules applied. Total rules applied 762 place count 168 transition count 1396
Discarding 6 places :
Symmetric choice reduction at 5 with 6 rule applications. Total rules 768 place count 162 transition count 1171
Iterating global reduction 5 with 6 rules applied. Total rules applied 774 place count 162 transition count 1171
Ensure Unique test removed 55 transitions
Reduce isomorphic transitions removed 55 transitions.
Iterating post reduction 5 with 55 rules applied. Total rules applied 829 place count 162 transition count 1116
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 830 place count 161 transition count 1044
Iterating global reduction 6 with 1 rules applied. Total rules applied 831 place count 161 transition count 1044
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 832 place count 161 transition count 1043
Drop transitions removed 53 transitions
Redundant transition composition rules discarded 53 transitions
Iterating global reduction 7 with 53 rules applied. Total rules applied 885 place count 161 transition count 990
Reduce places removed 4 places and 0 transitions.
Ensure Unique test removed 19 transitions
Reduce isomorphic transitions removed 19 transitions.
Iterating post reduction 7 with 23 rules applied. Total rules applied 908 place count 157 transition count 971
Discarding 1 places :
Symmetric choice reduction at 8 with 1 rule applications. Total rules 909 place count 156 transition count 964
Iterating global reduction 8 with 1 rules applied. Total rules applied 910 place count 156 transition count 964
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 8 with 1 rules applied. Total rules applied 911 place count 156 transition count 963
Applied a total of 911 rules in 63 ms. Remains 156 /248 variables (removed 92) and now considering 963/2623 (removed 1660) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 63 ms. Remains : 156/248 places, 963/2623 transitions.
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 22 ms
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 25 ms
[2023-03-19 21:38:33] [INFO ] Input system was already deterministic with 963 transitions.
Starting structural reductions in LTL mode, iteration 0 : 248/248 places, 2623/2623 transitions.
Ensure Unique test removed 2 places
Reduce places removed 27 places and 0 transitions.
Ensure Unique test removed 274 transitions
Reduce isomorphic transitions removed 274 transitions.
Iterating post reduction 0 with 301 rules applied. Total rules applied 301 place count 221 transition count 2349
Discarding 22 places :
Symmetric choice reduction at 1 with 22 rule applications. Total rules 323 place count 199 transition count 1905
Iterating global reduction 1 with 22 rules applied. Total rules applied 345 place count 199 transition count 1905
Ensure Unique test removed 137 transitions
Reduce isomorphic transitions removed 137 transitions.
Iterating post reduction 1 with 137 rules applied. Total rules applied 482 place count 199 transition count 1768
Discarding 6 places :
Symmetric choice reduction at 2 with 6 rule applications. Total rules 488 place count 193 transition count 1751
Iterating global reduction 2 with 6 rules applied. Total rules applied 494 place count 193 transition count 1751
Ensure Unique test removed 9 transitions
Reduce isomorphic transitions removed 9 transitions.
Iterating post reduction 2 with 9 rules applied. Total rules applied 503 place count 193 transition count 1742
Discarding 4 places :
Symmetric choice reduction at 3 with 4 rule applications. Total rules 507 place count 189 transition count 1738
Iterating global reduction 3 with 4 rules applied. Total rules applied 511 place count 189 transition count 1738
Ensure Unique test removed 4 transitions
Reduce isomorphic transitions removed 4 transitions.
Iterating post reduction 3 with 4 rules applied. Total rules applied 515 place count 189 transition count 1734
Drop transitions removed 113 transitions
Redundant transition composition rules discarded 113 transitions
Iterating global reduction 4 with 113 rules applied. Total rules applied 628 place count 189 transition count 1621
Reduce places removed 11 places and 0 transitions.
Ensure Unique test removed 53 transitions
Reduce isomorphic transitions removed 53 transitions.
Iterating post reduction 4 with 64 rules applied. Total rules applied 692 place count 178 transition count 1568
Discarding 4 places :
Symmetric choice reduction at 5 with 4 rule applications. Total rules 696 place count 174 transition count 1368
Iterating global reduction 5 with 4 rules applied. Total rules applied 700 place count 174 transition count 1368
Ensure Unique test removed 52 transitions
Reduce isomorphic transitions removed 52 transitions.
Iterating post reduction 5 with 52 rules applied. Total rules applied 752 place count 174 transition count 1316
Discarding 1 places :
Symmetric choice reduction at 6 with 1 rule applications. Total rules 753 place count 173 transition count 1244
Iterating global reduction 6 with 1 rules applied. Total rules applied 754 place count 173 transition count 1244
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 6 with 1 rules applied. Total rules applied 755 place count 173 transition count 1243
Drop transitions removed 76 transitions
Redundant transition composition rules discarded 76 transitions
Iterating global reduction 7 with 76 rules applied. Total rules applied 831 place count 173 transition count 1167
Reduce places removed 1 places and 0 transitions.
Ensure Unique test removed 1 transitions
Reduce isomorphic transitions removed 1 transitions.
Iterating post reduction 7 with 2 rules applied. Total rules applied 833 place count 172 transition count 1166
Discarding 3 places :
Symmetric choice reduction at 8 with 3 rule applications. Total rules 836 place count 169 transition count 1142
Iterating global reduction 8 with 3 rules applied. Total rules applied 839 place count 169 transition count 1142
Ensure Unique test removed 3 transitions
Reduce isomorphic transitions removed 3 transitions.
Iterating post reduction 8 with 3 rules applied. Total rules applied 842 place count 169 transition count 1139
Drop transitions removed 2 transitions
Redundant transition composition rules discarded 2 transitions
Iterating global reduction 9 with 2 rules applied. Total rules applied 844 place count 169 transition count 1137
Applied a total of 844 rules in 55 ms. Remains 169 /248 variables (removed 79) and now considering 1137/2623 (removed 1486) transitions.
Finished structural reductions in LTL mode , in 1 iterations and 55 ms. Remains : 169/248 places, 1137/2623 transitions.
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 26 ms
[2023-03-19 21:38:33] [INFO ] Flatten gal took : 30 ms
[2023-03-19 21:38:33] [INFO ] Input system was already deterministic with 1137 transitions.
[2023-03-19 21:38:34] [INFO ] Flatten gal took : 72 ms
[2023-03-19 21:38:34] [INFO ] Flatten gal took : 71 ms
[2023-03-19 21:38:34] [INFO ] Export to MCC of 13 properties in file /home/mcc/execution/CTLCardinality.sr.xml took 3 ms.
[2023-03-19 21:38:34] [INFO ] Export to PNML in file /home/mcc/execution/model.sr.pnml of net with 248 places, 2623 transitions and 20264 arcs took 26 ms.
Total runtime 19302 ms.
There are residual formulas that ITS could not solve within timeout
pnml2lts-sym model.pnml --lace-workers=4 --vset=lddmc --saturation=sat -rbs,w2W,ru,hf --sylvan-sizes=20,28,20,28 --ctl=/tmp/515/ctl_0_ --ctl=/tmp/515/ctl_1_ --ctl=/tmp/515/ctl_2_ --ctl=/tmp/515/ctl_3_ --ctl=/tmp/515/ctl_4_ --ctl=/tmp/515/ctl_5_ --ctl=/tmp/515/ctl_6_ --ctl=/tmp/515/ctl_7_ --ctl=/tmp/515/ctl_8_ --ctl=/tmp/515/ctl_9_ --ctl=/tmp/515/ctl_10_ --ctl=/tmp/515/ctl_11_ --ctl=/tmp/515/ctl_12_ --mu-par --mu-opt
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-00
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-01
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-02
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-04
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-05
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-07
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-08
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-09
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-10
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-11
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-12
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-13
Could not compute solution for formula : SemanticWebServices-PT-S256P09-CTLCardinality-14

BK_STOP 1679262237767

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

+ ulimit -s 65536
+ [[ -z '' ]]
+ export LTSMIN_MEM_SIZE=8589934592
+ LTSMIN_MEM_SIZE=8589934592
+ export PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ PYTHONPATH=/home/mcc/BenchKit/itstools/pylibs
+ export LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
+ LD_LIBRARY_PATH=/home/mcc/BenchKit/itstools/pylibs:
++ sed s/.jar//
++ perl -pe 's/.*\.//g'
++ ls /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/plugins/fr.lip6.move.gal.application.pnmcc_1.0.0.202303021504.jar
+ VERSION=202303021504
+ echo 'Running Version 202303021504'
+ /home/mcc/BenchKit/bin//../reducer/bin//../../itstools//itstools/its-tools -pnfolder /home/mcc/execution -examination CTLCardinality -timeout 360 -rebuildPNML
mcc2023
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-00
ctl formula formula --ctl=/tmp/515/ctl_0_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-01
ctl formula formula --ctl=/tmp/515/ctl_1_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-02
ctl formula formula --ctl=/tmp/515/ctl_2_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-04
ctl formula formula --ctl=/tmp/515/ctl_3_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-05
ctl formula formula --ctl=/tmp/515/ctl_4_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-07
ctl formula formula --ctl=/tmp/515/ctl_5_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-08
ctl formula formula --ctl=/tmp/515/ctl_6_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-09
ctl formula formula --ctl=/tmp/515/ctl_7_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-10
ctl formula formula --ctl=/tmp/515/ctl_8_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-11
ctl formula formula --ctl=/tmp/515/ctl_9_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-12
ctl formula formula --ctl=/tmp/515/ctl_10_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-13
ctl formula formula --ctl=/tmp/515/ctl_11_
ctl formula name SemanticWebServices-PT-S256P09-CTLCardinality-14
ctl formula formula --ctl=/tmp/515/ctl_12_
pnml2lts-sym: Exploration order is bfs-prev
pnml2lts-sym: Saturation strategy is sat
pnml2lts-sym: Guided search strategy is unguided
pnml2lts-sym: Attractor strategy is default
pnml2lts-sym: opening model.pnml
pnml2lts-sym: Edge label is id
Warning: program compiled against libxml 210 using older 209
pnml2lts-sym: Petri net has 248 places, 2623 transitions and 20264 arcs
pnml2lts-sym: Petri net Petri analyzed
pnml2lts-sym: There are no safe places
pnml2lts-sym: Loading Petri net took 0.050 real 0.040 user 0.010 sys
pnml2lts-sym: Initializing regrouping layer
pnml2lts-sym: Regroup specification: bs,w2W,ru,hf
pnml2lts-sym: Regroup Boost's Sloan
pnml2lts-sym: Regroup over-approximate must-write to may-write
pnml2lts-sym: Regroup Row sUbsume
pnml2lts-sym: Reqroup Horizontal Flip
pnml2lts-sym: Regrouping: 2623->1584 groups
pnml2lts-sym: Regrouping took 4.800 real 4.800 user 0.000 sys
pnml2lts-sym: state vector length is 248; there are 1584 groups
pnml2lts-sym: Creating a multi-core ListDD domain.
pnml2lts-sym: Sylvan allocates 15.000 GB virtual memory for nodes table and operation cache.
pnml2lts-sym: Initial nodes table and operation cache requires 60.00 MB.
pnml2lts-sym: Using GBgetTransitionsShortR2W as next-state function
pnml2lts-sym: got initial state
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: parsing CTL formula
pnml2lts-sym: converting CTL to mu-calculus...
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done
pnml2lts-sym: vset_sylvan: starting garbage collection
pnml2lts-sym: vset_sylvan: garbage collection done

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="SemanticWebServices-PT-S256P09"
export BK_EXAMINATION="CTLCardinality"
export BK_TOOL="ltsminxred"
export BK_RESULT_DIR="/tmp/BK_RESULTS/OUTPUTS"
export BK_TIME_CONFINEMENT="3600"
export BK_MEMORY_CONFINEMENT="16384"
export BK_BIN_PATH="/home/mcc/BenchKit/bin/"

# this is specific to your benchmark or test

export BIN_DIR="$HOME/BenchKit/bin"

# remove the execution directoty if it exists (to avoid increse of .vmdk images)
if [ -d execution ] ; then
rm -rf execution
fi

# this is for BenchKit: explicit launching of the test
echo "====================================================================="
echo " Generated by BenchKit 2-5348"
echo " Executing tool ltsminxred"
echo " Input is SemanticWebServices-PT-S256P09, examination is CTLCardinality"
echo " Time confinement is $BK_TIME_CONFINEMENT seconds"
echo " Memory confinement is 16384 MBytes"
echo " Number of cores is 4"
echo " Run identifier is r361-smll-167891811500425"
echo "====================================================================="
echo
echo "--------------------"
echo "preparation of the directory to be used:"

tar xzf /home/mcc/BenchKit/INPUTS/SemanticWebServices-PT-S256P09.tgz
mv SemanticWebServices-PT-S256P09 execution
cd execution
if [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "UpperBounds" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] || [ "CTLCardinality" = "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 [ "CTLCardinality" = "UpperBounds" ] ; then
echo "The expected result is a vector of positive values"
echo NUM_VECTOR
elif [ "CTLCardinality" != "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 "CTLCardinality.txt" ] ; then
echo "here is the order used to build the result vector(from text file)"
for x in $(grep Property CTLCardinality.txt | cut -d ' ' -f 2 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ -f "CTLCardinality.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 '' CTLCardinality.xml | cut -d '>' -f 2 | cut -d '<' -f 1 | sort -u) ; do
echo "FORMULA_NAME $x"
done
elif [ "CTLCardinality" = "ReachabilityDeadlock" ] || [ "CTLCardinality" = "QuasiLiveness" ] || [ "CTLCardinality" = "StableMarking" ] || [ "CTLCardinality" = "Liveness" ] || [ "CTLCardinality" = "OneSafe" ] ; then
echo "FORMULA_NAME CTLCardinality"
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 ;